मंद विलयन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{Short description|Mathematical solution}}
{{Short description|Mathematical solution}}
गणित में, एक [[साधारण अंतर समीकरण]] या आंशिक अंतर समीकरण के लिए एक कमजोर उपाय (जिसे सामान्यीकृत उपाय भी कहा जाता है) एक फलन (गणित) है जिसके लिए व्युत्पन्न सभी स्थित नहीं हो सकते हैं, परन्तु फिर भी कुछ यथार्थ परिभाषित अर्थों में समीकरण को संतुष्ट करने के लिए माना जाता है। कमजोर उपाय की कई अलग-अलग परिभाषाएं हैं, जो विभिन्न वर्गों के समीकरणों के लिए उपयुक्त हैं। सबसे महत्वपूर्ण में से एक [[वितरण (गणित)]] की धारणा पर आधारित है।
गणित में, एक [[साधारण अंतर समीकरण|साधारण अवकल समीकरण]] या आंशिक अवकल समीकरण के लिए एक मंद विलयन (जिसे सामान्यीकृत उपाय भी कहा जाता है) एक फलन (गणित) है जिसके लिए व्युत्पन्न सभी स्थित नहीं हो सकते हैं, परन्तु फिर भी कुछ यथार्थ परिभाषित अर्थों में समीकरण को संतुष्ट करने के लिए माना जाता है। मंद विलयन की कई अलग-अलग परिभाषाएं हैं, जो विभिन्न वर्गों के समीकरणों के लिए उपयुक्त हैं। सबसे महत्वपूर्ण में से [[वितरण (गणित)|वितरण (गणित]]) की धारणा पर आधारित है।


वितरण की भाषा से बचने के लिए, एक अंतर समीकरण के साथ प्रारंभ होता है और इसे इस प्रकार से फिर से लिखता है कि समीकरण के उपाय का कोई व्युत्पन्न दिखाई नहीं देता (नवीन रूप को [[कमजोर सूत्रीकरण]] कहा जाता है, और इसके उपाय को कमजोर उपाय कहा जाता है)। कुछ आश्चर्यजनक रूप से, एक अवकल समीकरण के ऐसे हल हो सकते हैं जो अवकलनीय फलन नहीं हैं; और कमजोर सूत्रीकरण किसी को ऐसे उपाय खोजने की अनुमति देता है।
वितरण की भाषा से बचने के लिए, अवकल समीकरण के साथ प्रारंभ होते है और इसे इस प्रकार से फिर से लिखते है कि समीकरण के उपाय के कोई व्युत्पन्न दिखाई नहीं देते (नवीन रूप को [[कमजोर सूत्रीकरण]] कहा जाता है, और इसके उपाय को मंद विलयन कहा जाता है)। कुछ आश्चर्यजनक रूप से, अवकल समीकरण के ऐसे उपाय हो सकते हैं जो अवकलनीय फलन नहीं हैं; और कमजोर सूत्रीकरण किसी को ऐसे उपाय खोजने की अनुमति देते है।


कमजोर उपाय महत्वपूर्ण हैं क्योंकि वास्तविक संसार की घटनाओं के मॉडलिंग में आने वाले कई विभेदक समीकरण पर्याप्त रूप से सहज उपायों को स्वीकार नहीं करते हैं, और ऐसे समीकरणों को हल करने का एकमात्र विधि कमजोर सूत्रीकरण का उपयोग करना है। यहां तक ​​कि उन स्थितियों में भी जहां एक समीकरण के अलग-अलग उपाय होते हैं, यह प्रायः पूर्व कमजोर उपायों के अस्तित्व को सिद्ध करने के लिए सुविधाजनक होता है और बाद में मात्र यह दिखाता है कि वे उपाय वस्तुतः अत्यधिक सहज हैं।
मंद विलयन महत्वपूर्ण हैं क्योंकि वास्तविक संसार की घटनाओं के मॉडलिंग में आने वाले कई विभेदक समीकरण पर्याप्त रूप से सुचारू उपायों को स्वीकार नहीं करते हैं, और ऐसे समीकरणों को उपाय करने का एकमात्र विधि कमजोर सूत्रीकरण का उपयोग करना है। यहां तक ​​कि उन स्थितियों में भी जहां एक समीकरण के अलग-अलग उपाय होते हैं, यह प्रायः पूर्व मंद विलयनों के अस्तित्व को सिद्ध करने के लिए सुविधाजनक होते है और बाद में मात्र यह दिखाता है कि वे उपाय वस्तुतः अत्यधिक सुचारू हैं।


== एक ठोस उदाहरण ==
== एक ठोस उदाहरण ==
Line 11: Line 11:
{{NumBlk|:|<math>\frac{\partial u}{\partial t} + \frac{\partial u}{\partial x} = 0 </math>|{{EquationRef|1}}}}
{{NumBlk|:|<math>\frac{\partial u}{\partial t} + \frac{\partial u}{\partial x} = 0 </math>|{{EquationRef|1}}}}


जहाँ u = u(t, x) दो [[वास्तविक संख्या]] चरों का फलन है। अप्रत्यक्ष रूप से एक संभावित उपाय u के गुणों की जांच करने के लिए, इसे [[ कॉम्पैक्ट समर्थन |सघन समर्थन]] के यादृच्छिक रूप से सुचारू फलन <math>\varphi\,\!</math> के विरुद्ध एकीकृत किया जाता है, जिसे
जहाँ u = u (t, x) दो [[वास्तविक संख्या]] चरों का फलन है। अप्रत्यक्ष रूप से संभावित उपाय u के गुणों की जांच करने के लिए, इसे [[ कॉम्पैक्ट समर्थन |सघन समर्थन]] के यादृच्छिक रूप से सुचारू फलन <math>\varphi\,\!</math> के विरुद्ध एकीकृत किया जाता है, जिसे


:<math>\int_{-\infty}^\infty \int_{-\infty}^\infty u(t,x)\,\varphi(t,x)\,dx\,dt</math>
:<math>\int_{-\infty}^\infty \int_{-\infty}^\infty u(t,x)\,\varphi(t,x)\,dx\,dt</math>
:लेते हुए परीक्षण फलन के रूप में जाना जाता है।
:लेते हुए परीक्षण फलन के रूप में जाना जाता है।
उदाहरण के लिए, यदि <math>\varphi</math> एक बिंदु <math>(t, x) = (t_\circ, x_\circ)</math> के पास केंद्रित एक सहज संभाव्यता वितरण है, तो अभिन्न लगभग <math>u(t_\circ,x_\circ)</math> है। ध्यान दें कि जबकि पूर्णांकी <math>-\infty</math> को <math>\infty</math> से जाते हैं, वे अनिवार्य रूप से एक परिमित कक्ष पर होते हैं जहां <math>\varphi</math> शून्य नहीं होता है।
उदाहरण के लिए, यदि <math>\varphi</math> बिंदु <math>(t, x) = (t_\circ, x_\circ)</math> के पास केंद्रित सुचारू संभाव्यता वितरण है, तो अभिन्न लगभग <math>u(t_\circ,x_\circ)</math> है। ध्यान दें कि जबकि पूर्णांकी <math>-\infty</math> को <math>\infty</math> से जाते हैं, वे अनिवार्य रूप से परिमित कक्ष पर होते हैं जहां <math>\varphi</math> शून्य नहीं होता है।


इस प्रकार, मान लें कि एक उपाय u [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] ''''R'''<sup>2</sup>' पर निरंतर अलग-अलग है, समीकरण ({{EquationNote|1}}) को परीक्षण फलन द्वारा <math>\varphi</math> (सघन समर्थन के सुचारु) से गुणा करें, और एकीकृत करें:
इस प्रकार, मान लें कि उपाय u [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थान]] ''''R'''<sup>2</sup>' पर निरंतर अलग-अलग है, समीकरण ({{EquationNote|1}}) को परीक्षण फलन द्वारा <math>\varphi</math> (सघन समर्थन के सुचारु) से गुणा करें, और एकीकृत करें:


:<math>\int_{-\infty}^\infty \int_{-\infty}^\infty  \frac{\partial u(t, x)}{\partial t}  \varphi (t, x) \, \mathrm{d} t \, \mathrm{d} x +\int_{-\infty}^\infty \int_{-\infty}^\infty  \frac{\partial u(t, x)}{\partial x} \varphi(t,x) \, \mathrm{d}t \, \mathrm{d} x = 0. </math>
:<math>\int_{-\infty}^\infty \int_{-\infty}^\infty  \frac{\partial u(t, x)}{\partial t}  \varphi (t, x) \, \mathrm{d} t \, \mathrm{d} x +\int_{-\infty}^\infty \int_{-\infty}^\infty  \frac{\partial u(t, x)}{\partial x} \varphi(t,x) \, \mathrm{d}t \, \mathrm{d} x = 0. </math>
फ़ुबिनी के प्रमेय का उपयोग करना जो एक को एकीकरण के क्रम को बदलने की अनुमति देता है, साथ ही [[भागों द्वारा एकीकरण]] (पहली अवधि के लिए t में और दूसरी अवधि के लिए x में) यह समीकरण बन जाता है:
फ़ुबिनी के प्रमेय का उपयोग करना जो एक को एकीकरण के क्रम को बदलने की अनुमति देते है, साथ ही [[भागों द्वारा एकीकरण|समाकलन द्वारा एकीकरण]] (पहली अवधि के लिए t में और दूसरी अवधि के लिए x में) यह समीकरण बन जाता है:


{{NumBlk|:|<math>-\int_{-\infty}^\infty \int_{-\infty}^\infty  u (t, x)  \frac{\partial \varphi (t, x)}{\partial t}  \, \mathrm{d} t \, \mathrm{d} x -\int_{-\infty}^\infty \int_{-\infty}^\infty u (t, x)  \frac{\partial\varphi (t, x)}{\partial x} \, \mathrm{d} t \,  \mathrm{d} x = 0. </math>|{{EquationRef|2}}}}
{{NumBlk|:|<math>-\int_{-\infty}^\infty \int_{-\infty}^\infty  u (t, x)  \frac{\partial \varphi (t, x)}{\partial t}  \, \mathrm{d} t \, \mathrm{d} x -\int_{-\infty}^\infty \int_{-\infty}^\infty u (t, x)  \frac{\partial\varphi (t, x)}{\partial x} \, \mathrm{d} t \,  \mathrm{d} x = 0. </math>|{{EquationRef|2}}}}


(सीमा प्रतिबंधों लुप्त हो जाती हैं क्योंकि <math>\varphi</math> एक परिमित कक्ष के बाहर शून्य है।) हमने दिखाया है कि समीकरण ({{EquationNote|1}}) का तात्पर्य समीकरण ({{EquationNote|2}}) से है, जब तक कि यू निरंतर अवकलनीय है।
(सीमा प्रतिबंधों लुप्त हो जाती हैं क्योंकि <math>\varphi</math> परिमित कक्ष के बाहर शून्य है।) हमने दिखाया है कि समीकरण ({{EquationNote|1}}) का तात्पर्य समीकरण ({{EquationNote|2}}) से है, जब तक कि u निरंतर अवकलनीय है।


कमजोर उपाय की अवधारणा की कुंजी यह है कि ऐसे फलन स्थित हैं जो समीकरण को संतुष्ट करते हैं ({{EquationNote|2}}) किसी के लिए <math>\varphi</math>, परन्तु इस प्रकार आप अवकलनीय नहीं हो सकते हैं और इसलिए समीकरण को संतुष्ट नहीं कर सकते हैं ({{EquationNote|1}})एक उदाहरण u(t, x) = |t − x| है, जैसा कि क्षेत्रों x ≥ t और x ≤ t पर समाकलों को विभाजित करके जाँचा जा सकता है जहाँ u सुचारू है, और भागों द्वारा एकीकरण का उपयोग करके उपरोक्त गणना को उल्टा कर सकता है। समीकरण का एक कमजोर उपाय ({{EquationNote|1}}) का अर्थ है समीकरण का कोई हल u ({{EquationNote|2}}) सभी परीक्षण फलनों पर <math>\varphi</math>
मंद विलयन की अवधारणा की कुंजी यह है कि ऐसे फलन स्थित हैं जो किसी भी <math>\varphi</math> के लिए समीकरण ({{EquationNote|2}}) को संतुष्ट करते हैं, परन्तु ऐसे u अलग-अलग नहीं हो सकते हैं और इसलिए समीकरण ({{EquationNote|1}}) को संतुष्ट नहीं कर सकते हैं। एक उदाहरण u (t, x) = |t − x| है, जैसा कि क्षेत्रों x ≥ t और x ≤ t पर समाकलों को विभाजित करके जाँचा जा सकता है जहाँ u सुचारू है, और समाकलन द्वारा एकीकरण का उपयोग करके उपरोक्त गणना को व्युत्क्रम कर सकते है। समीकरण ({{EquationNote|1}}) का मंद विलयन का अर्थ है समीकरण ({{EquationNote|2}}) का कोई उपाय u सभी परीक्षण फलनों <math>\varphi</math> पर।


== सामान्य मामला ==
== सामान्य स्थिति ==
इस उदाहरण से जो सामान्य विचार आता है, वह यह है कि u में अवकल समीकरण को हल करते समय, एक परीक्षण फलन का उपयोग करके इसे फिर से लिखा जा सकता है। <math>\varphi</math>, जैसे कि यू में जो भी व्युत्पन्न समीकरण में दिखाई देते हैं, उन्हें एकीकरण के माध्यम से भागों में स्थानांतरित कर दिया जाता है <math>\varphi</math>, जिसके परिणामस्वरूप यू के व्युत्पन्न के बिना समीकरण होता है। यह नया समीकरण उन उपायों को शामिल करने के लिए मूल समीकरण का सामान्यीकरण करता है जो आवश्यक रूप से अवकलनीय नहीं हैं।
इस उदाहरण से जो सामान्य विचार आता है, वह यह है कि u में अवकल समीकरण को हल करते समय, कोई परीक्षण फलन <math>\varphi</math> का उपयोग करके इसे फिर से लिखा जा सकता है, जैसे कि u में जो भी व्युत्पन्न समीकरण में दिखाई देते हैं, वे समाकलन द्वारा <math>\varphi</math> में एकीकरण के माध्यम से "स्थानांतरित" होते हैं, जिसके परिणामस्वरूप u के व्युत्पन्न के बिना समीकरण एक होता है। यह नवीन समीकरण उन उपायों को सम्मिलित करने के लिए मूल समीकरण का सामान्यीकरण करता है जो आवश्यक रूप से अवकलनीय नहीं हैं।


ऊपर वर्णित दृष्टिकोण महान सामान्यता में काम करता है। दरअसल, 'आर' में खुले सेट डब्ल्यू में एक रैखिक [[अंतर ऑपरेटर]] पर विचार करें<sup>एन</sup>:
ऊपर वर्णित दृष्टिकोण प्रमुख सामान्यता में काम करता है। वस्तुतः, विवृत  समूह W में "R<sup>n</sup>":


:<math>P(x, \partial)u(x)=\sum a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x) \, \partial^{\alpha_1}\partial^{\alpha_2}\cdots \partial^{\alpha_n} u(x), </math>
:<math>P(x, \partial)u(x)=\sum a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x) \, \partial^{\alpha_1}\partial^{\alpha_2}\cdots \partial^{\alpha_n} u(x) </math> रैखिक [[अंतर ऑपरेटर|अवकलन संक्रियक]] पर विचार करें।
जहां [[ बहु सूचकांक |बहु सूचकांक]] (α<sub>1</sub>, <sub>2</sub>, ..., <sub>''n''</sub>) एन में कुछ परिमित सेट पर भिन्न होता है<sup>n</sup> और गुणांक <math>a_{\alpha_1, \alpha_2, \dots, \alpha_n}</math> 'आर' में एक्स के पर्याप्त चिकनी फलन हैं<sup>एन</sup>
जहां [[ बहु सूचकांक |बहु सूचकांक]] (α<sub>1</sub>, α<sub>2</sub>, ..., α<sub>''n''</sub>) '''N'''<sup>n</sup> में कुछ परिमित समूह पर भिन्न होता है और गुणांक <math>a_{\alpha_1, \alpha_2, \dots, \alpha_n}</math> R<sup>n</sup> में x के पर्याप्त सुचारू फलन हैं।


विभेदक समीकरण P(x, ∂)u(x) = 0, एक सहज परीक्षण फलन द्वारा गुणा किए जाने के बाद <math>\varphi</math> डब्ल्यू में सघन समर्थन के साथ और भागों द्वारा एकीकृत, के रूप में लिखा जाए
विभेदक समीकरण P (x, ∂) u (x) = 0, W में सघन समर्थन के साथ \सुचारू परीक्षण फलन <math>\varphi</math> द्वारा गुणा किए जाने और समाकलन द्वारा एकीकृत होने के बाद,


:<math>\int_W u(x) Q(x, \partial) \varphi (x) \, \mathrm{d} x=0</math>
:<math>\int_W u(x) Q(x, \partial) \varphi (x) \, \mathrm{d} x=0</math>
जहां अवकल संकारक Q(x, ∂) सूत्र द्वारा दिया गया है
के रूप में लिखा जा सकता है जहां अवकल संकारक Q (x, ∂) सूत्र


:<math>Q(x, \partial)\varphi (x) = \sum (-1)^{| \alpha |} \partial^{\alpha_1} \partial^{\alpha_2} \cdots \partial^{\alpha_n} \left[a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x)  \varphi(x) \right].</math>
:<math>Q(x, \partial)\varphi (x) = \sum (-1)^{| \alpha |} \partial^{\alpha_1} \partial^{\alpha_2} \cdots \partial^{\alpha_n} \left[a_{\alpha_1, \alpha_2, \dots, \alpha_n}(x)  \varphi(x) \right]</math> द्वारा दिया गया है।
जो नंबर
संख्या
:<math>(-1)^{| \alpha |} = (-1)^{\alpha_1+\alpha_2+\cdots+\alpha_n}</math>
:<math>(-1)^{| \alpha |} = (-1)^{\alpha_1+\alpha_2+\cdots+\alpha_n}</math>
दिखाता है क्योंकि किसी को α की आवश्यकता होती है<sub>1</sub> + <sub>2</sub> + ⋯ + <sub>''n''</sub> सभी आंशिक व्युत्पन्न को यू से स्थानांतरित करने के लिए भागों द्वारा एकीकरण <math>\varphi</math> अंतर समीकरण के प्रत्येक पद में, और भागों द्वारा प्रत्येक एकीकरण में -1 से गुणन होता है।
दिखाई देती है क्योंकि अवकल समीकरण के प्रत्येक पद में u से <math>\varphi</math> तक सभी आंशिक व्युत्पन्न को स्थानांतरित करने के लिए समाकलन द्वारा α<sub>1</sub> + α<sub>2</sub> + ⋯ + α<sub>''n''</sub> एकीकरण की आवश्यकता होती है, और समाकलन द्वारा प्रत्येक एकीकरण में -1 से गुणन होता है।


अवकल संकारक Q(x, ∂) P(x, ∂) का 'औपचारिक संलग्न' है (संचालक का cf संलग्न)
अवकल संकारक Q (x, ∂) P (x, ∂) (संचालक का cf संलग्न) का 'औपचारिक संलग्न' है।


संक्षेप में, यदि मूल (मजबूत) समस्या एक |α|-समय अलग-अलग फलन को खोजने के लिए थी जिसे खुले सेट डब्ल्यू पर परिभाषित किया गया था जैसे कि
संक्षेप में, यदि मूल (प्रबल) समस्या एक |α|-समय अलग-अलग फलन को खोजने के लिए थी जिसे विवृत  समूह W पर परिभाषित किया गया था जैसे कि
:<math>P(x, \partial)u(x) = 0 \text{ for all } x \in W</math>
:<math>P(x, \partial)u(x) = 0 \text{ for all } x \in W</math>
(एक तथाकथित मजबूत उपाय), तो एक पूर्णांक फलन 'यू' को एक कमजोर उपाय कहा जाएगा यदि
(एक तथाकथित प्रबल उपाय), तो पूर्णांक फलन 'u' कहा जाएगा, यदि W में सघन समर्थन के साथ प्रत्येक सुचारू फलन <math>\varphi</math> के लिए
:<math>\int_W u(x)\, Q(x, \partial) \varphi (x)\, \mathrm{d} x = 0</math>
:<math>\int_W u(x)\, Q(x, \partial) \varphi (x)\, \mathrm{d} x = 0</math>
हर सुचारू फलन के लिए <math>\varphi</math> डब्ल्यू में सघन समर्थन के साथ।


== अन्य प्रकार के कमजोर उपाय ==
== अन्य प्रकार के मंद विलयन ==


बंटन पर आधारित कमजोर उपाय की धारणा कभी-कभी अपर्याप्त होती है। अतिशयोक्तिपूर्ण प्रणालियों के मामले में, वितरण के आधार पर कमजोर उपाय की धारणा अद्वितीयता की गारंटी नहीं देती है, और [[एन्ट्रापी स्थिति]]यों या कुछ अन्य चयन मानदंड के साथ इसे पूरक करना आवश्यक है। हैमिल्टन-जैकोबी समीकरण जैसे पूर्ण रूप से अरैखिक पीडीई में, कमजोर उपाय की एक बहुत अलग परिभाषा है जिसे विस्कोसिटी उपाय कहा जाता है।
वितरण पर आधारित मंद विलयन की धारणा कभी-कभी अपर्याप्त होती है। अतिपरवलयिक प्रणालियों की स्थिति में, वितरण के आधार पर मंद विलयन की धारणा अद्वितीयता की गारंटी नहीं देती है, और [[एन्ट्रापी स्थिति|एन्ट्रापी स्थितियों]] या कुछ अन्य चयन मानदंड के साथ इसे पूरक करना आवश्यक है। हैमिल्टन-जैकोबी समीकरण जैसे पूर्ण रूप से अरैखिक पीडीई में, मंद विलयन की एक बहुत अलग परिभाषा है जिसे श्यानता उपाय कहा जाता है।


==संदर्भ==
==संदर्भ==


*{{cite book |first=L. C. |last=Evans |title=Partial Differential Equations |publisher=American Mathematical Society |location=Providence |year=1998 |isbn=0-8218-0772-2 }}
*{{cite book |first=L. C. |last=Evans |title=Partial Differential Equations |publisher=American Mathematical Society |location=Providence |year=1998 |isbn=0-8218-0772-2 }}
[[Category: विभेदक समीकरण]] [[Category: सामान्यीकृत कार्य]] [[Category: श्वार्ट्ज वितरण]]


[[Category: Machine Translated Page]]
[[Category:Created On 24/04/2023]]
[[Category:Created On 24/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:विभेदक समीकरण]]
[[Category:श्वार्ट्ज वितरण]]
[[Category:सामान्यीकृत कार्य]]

Latest revision as of 10:36, 4 May 2023

गणित में, एक साधारण अवकल समीकरण या आंशिक अवकल समीकरण के लिए एक मंद विलयन (जिसे सामान्यीकृत उपाय भी कहा जाता है) एक फलन (गणित) है जिसके लिए व्युत्पन्न सभी स्थित नहीं हो सकते हैं, परन्तु फिर भी कुछ यथार्थ परिभाषित अर्थों में समीकरण को संतुष्ट करने के लिए माना जाता है। मंद विलयन की कई अलग-अलग परिभाषाएं हैं, जो विभिन्न वर्गों के समीकरणों के लिए उपयुक्त हैं। सबसे महत्वपूर्ण में से वितरण (गणित) की धारणा पर आधारित है।

वितरण की भाषा से बचने के लिए, अवकल समीकरण के साथ प्रारंभ होते है और इसे इस प्रकार से फिर से लिखते है कि समीकरण के उपाय के कोई व्युत्पन्न दिखाई नहीं देते (नवीन रूप को कमजोर सूत्रीकरण कहा जाता है, और इसके उपाय को मंद विलयन कहा जाता है)। कुछ आश्चर्यजनक रूप से, अवकल समीकरण के ऐसे उपाय हो सकते हैं जो अवकलनीय फलन नहीं हैं; और कमजोर सूत्रीकरण किसी को ऐसे उपाय खोजने की अनुमति देते है।

मंद विलयन महत्वपूर्ण हैं क्योंकि वास्तविक संसार की घटनाओं के मॉडलिंग में आने वाले कई विभेदक समीकरण पर्याप्त रूप से सुचारू उपायों को स्वीकार नहीं करते हैं, और ऐसे समीकरणों को उपाय करने का एकमात्र विधि कमजोर सूत्रीकरण का उपयोग करना है। यहां तक ​​कि उन स्थितियों में भी जहां एक समीकरण के अलग-अलग उपाय होते हैं, यह प्रायः पूर्व मंद विलयनों के अस्तित्व को सिद्ध करने के लिए सुविधाजनक होते है और बाद में मात्र यह दिखाता है कि वे उपाय वस्तुतः अत्यधिक सुचारू हैं।

एक ठोस उदाहरण

अवधारणा के उदाहरण के रूप में, प्रथम-क्रम तरंग समीकरण पर विचार करें:

 

 

 

 

(1)

जहाँ u = u (t, x) दो वास्तविक संख्या चरों का फलन है। अप्रत्यक्ष रूप से संभावित उपाय u के गुणों की जांच करने के लिए, इसे सघन समर्थन के यादृच्छिक रूप से सुचारू फलन के विरुद्ध एकीकृत किया जाता है, जिसे

लेते हुए परीक्षण फलन के रूप में जाना जाता है।

उदाहरण के लिए, यदि बिंदु के पास केंद्रित सुचारू संभाव्यता वितरण है, तो अभिन्न लगभग है। ध्यान दें कि जबकि पूर्णांकी को से जाते हैं, वे अनिवार्य रूप से परिमित कक्ष पर होते हैं जहां शून्य नहीं होता है।

इस प्रकार, मान लें कि उपाय u यूक्लिडियन स्थान 'R2' पर निरंतर अलग-अलग है, समीकरण (1) को परीक्षण फलन द्वारा (सघन समर्थन के सुचारु) से गुणा करें, और एकीकृत करें:

फ़ुबिनी के प्रमेय का उपयोग करना जो एक को एकीकरण के क्रम को बदलने की अनुमति देते है, साथ ही समाकलन द्वारा एकीकरण (पहली अवधि के लिए t में और दूसरी अवधि के लिए x में) यह समीकरण बन जाता है:

 

 

 

 

(2)

(सीमा प्रतिबंधों लुप्त हो जाती हैं क्योंकि परिमित कक्ष के बाहर शून्य है।) हमने दिखाया है कि समीकरण (1) का तात्पर्य समीकरण (2) से है, जब तक कि u निरंतर अवकलनीय है।

मंद विलयन की अवधारणा की कुंजी यह है कि ऐसे फलन स्थित हैं जो किसी भी के लिए समीकरण (2) को संतुष्ट करते हैं, परन्तु ऐसे u अलग-अलग नहीं हो सकते हैं और इसलिए समीकरण (1) को संतुष्ट नहीं कर सकते हैं। एक उदाहरण u (t, x) = |t − x| है, जैसा कि क्षेत्रों x ≥ t और x ≤ t पर समाकलों को विभाजित करके जाँचा जा सकता है जहाँ u सुचारू है, और समाकलन द्वारा एकीकरण का उपयोग करके उपरोक्त गणना को व्युत्क्रम कर सकते है। समीकरण (1) का मंद विलयन का अर्थ है समीकरण (2) का कोई उपाय u सभी परीक्षण फलनों पर।

सामान्य स्थिति

इस उदाहरण से जो सामान्य विचार आता है, वह यह है कि u में अवकल समीकरण को हल करते समय, कोई परीक्षण फलन का उपयोग करके इसे फिर से लिखा जा सकता है, जैसे कि u में जो भी व्युत्पन्न समीकरण में दिखाई देते हैं, वे समाकलन द्वारा में एकीकरण के माध्यम से "स्थानांतरित" होते हैं, जिसके परिणामस्वरूप u के व्युत्पन्न के बिना समीकरण एक होता है। यह नवीन समीकरण उन उपायों को सम्मिलित करने के लिए मूल समीकरण का सामान्यीकरण करता है जो आवश्यक रूप से अवकलनीय नहीं हैं।

ऊपर वर्णित दृष्टिकोण प्रमुख सामान्यता में काम करता है। वस्तुतः, विवृत समूह W में "Rn":

रैखिक अवकलन संक्रियक पर विचार करें।

जहां बहु सूचकांक1, α2, ..., αn) Nn में कुछ परिमित समूह पर भिन्न होता है और गुणांक Rn में x के पर्याप्त सुचारू फलन हैं।

विभेदक समीकरण P (x, ∂) u (x) = 0, W में सघन समर्थन के साथ \सुचारू परीक्षण फलन द्वारा गुणा किए जाने और समाकलन द्वारा एकीकृत होने के बाद,

के रूप में लिखा जा सकता है जहां अवकल संकारक Q (x, ∂) सूत्र

द्वारा दिया गया है।

संख्या

दिखाई देती है क्योंकि अवकल समीकरण के प्रत्येक पद में u से तक सभी आंशिक व्युत्पन्न को स्थानांतरित करने के लिए समाकलन द्वारा α1 + α2 + ⋯ + αn एकीकरण की आवश्यकता होती है, और समाकलन द्वारा प्रत्येक एकीकरण में -1 से गुणन होता है।

अवकल संकारक Q (x, ∂) P (x, ∂) (संचालक का cf संलग्न) का 'औपचारिक संलग्न' है।

संक्षेप में, यदि मूल (प्रबल) समस्या एक |α|-समय अलग-अलग फलन को खोजने के लिए थी जिसे विवृत समूह W पर परिभाषित किया गया था जैसे कि

(एक तथाकथित प्रबल उपाय), तो पूर्णांक फलन 'u' कहा जाएगा, यदि W में सघन समर्थन के साथ प्रत्येक सुचारू फलन के लिए

अन्य प्रकार के मंद विलयन

वितरण पर आधारित मंद विलयन की धारणा कभी-कभी अपर्याप्त होती है। अतिपरवलयिक प्रणालियों की स्थिति में, वितरण के आधार पर मंद विलयन की धारणा अद्वितीयता की गारंटी नहीं देती है, और एन्ट्रापी स्थितियों या कुछ अन्य चयन मानदंड के साथ इसे पूरक करना आवश्यक है। हैमिल्टन-जैकोबी समीकरण जैसे पूर्ण रूप से अरैखिक पीडीई में, मंद विलयन की एक बहुत अलग परिभाषा है जिसे श्यानता उपाय कहा जाता है।

संदर्भ

  • Evans, L. C. (1998). Partial Differential Equations. Providence: American Mathematical Society. ISBN 0-8218-0772-2.