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

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


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


ऊपर वर्णित दृष्टिकोण प्रमुख सामान्यता में काम करता है। वस्तुतः, एक खुले समूह W में "R<sup>n</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>) '''N'''<sup>n</sup> में कुछ परिमित समूह पर भिन्न होता है और गुणांक <math>a_{\alpha_1, \alpha_2, \dots, \alpha_n}</math> R<sup>n</sup> में x के पर्याप्त सुचारू फलन हैं।
जहां [[ बहु सूचकांक |बहु सूचकांक]] (α<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> द्वारा गुणा किए जाने के बाद W और समाकलन द्वारा एकीकृत, के रूप में लिखा जाए
विभेदक समीकरण 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> डब्ल्यू में सघन समर्थन के साथ।


== अन्य प्रकार के कमजोर उपाय ==
== अन्य प्रकार के कमजोर उपाय ==


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


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

Revision as of 11:11, 28 April 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.