मंद विलयन: Difference between revisions
No edit summary |
No edit summary |
||
Line 2: | Line 2: | ||
गणित में, एक [[साधारण अंतर समीकरण]] या आंशिक अंतर समीकरण के लिए एक कमजोर उपाय (जिसे सामान्यीकृत उपाय भी कहा जाता है) एक फलन (गणित) है जिसके लिए व्युत्पन्न सभी स्थित नहीं हो सकते हैं, परन्तु फिर भी कुछ यथार्थ परिभाषित अर्थों में समीकरण को संतुष्ट करने के लिए माना जाता है। कमजोर उपाय की कई अलग-अलग परिभाषाएं हैं, जो विभिन्न वर्गों के समीकरणों के लिए उपयुक्त हैं। सबसे महत्वपूर्ण में से एक [[वितरण (गणित)]] की धारणा पर आधारित है। | गणित में, एक [[साधारण अंतर समीकरण]] या आंशिक अंतर समीकरण के लिए एक कमजोर उपाय (जिसे सामान्यीकृत उपाय भी कहा जाता है) एक फलन (गणित) है जिसके लिए व्युत्पन्न सभी स्थित नहीं हो सकते हैं, परन्तु फिर भी कुछ यथार्थ परिभाषित अर्थों में समीकरण को संतुष्ट करने के लिए माना जाता है। कमजोर उपाय की कई अलग-अलग परिभाषाएं हैं, जो विभिन्न वर्गों के समीकरणों के लिए उपयुक्त हैं। सबसे महत्वपूर्ण में से एक [[वितरण (गणित)]] की धारणा पर आधारित है। | ||
वितरण की भाषा से बचने के लिए, एक अंतर समीकरण के साथ प्रारंभ होता है और इसे इस प्रकार से फिर से लिखता है कि समीकरण के उपाय का कोई व्युत्पन्न दिखाई नहीं देता (नवीन रूप को [[कमजोर सूत्रीकरण]] कहा जाता है, और इसके उपाय को कमजोर उपाय कहा जाता है)। कुछ आश्चर्यजनक रूप से, एक अवकल समीकरण के ऐसे | वितरण की भाषा से बचने के लिए, एक अंतर समीकरण के साथ प्रारंभ होता है और इसे इस प्रकार से फिर से लिखता है कि समीकरण के उपाय का कोई व्युत्पन्न दिखाई नहीं देता (नवीन रूप को [[कमजोर सूत्रीकरण]] कहा जाता है, और इसके उपाय को कमजोर उपाय कहा जाता है)। कुछ आश्चर्यजनक रूप से, एक अवकल समीकरण के ऐसे उपाय हो सकते हैं जो अवकलनीय फलन नहीं हैं; और कमजोर सूत्रीकरण किसी को ऐसे उपाय खोजने की अनुमति देता है। | ||
कमजोर उपाय महत्वपूर्ण हैं क्योंकि वास्तविक संसार की घटनाओं के मॉडलिंग में आने वाले कई विभेदक समीकरण पर्याप्त रूप से | कमजोर उपाय महत्वपूर्ण हैं क्योंकि वास्तविक संसार की घटनाओं के मॉडलिंग में आने वाले कई विभेदक समीकरण पर्याप्त रूप से सुचारू उपायों को स्वीकार नहीं करते हैं, और ऐसे समीकरणों को उपाय करने का एकमात्र विधि कमजोर सूत्रीकरण का उपयोग करना है। यहां तक कि उन स्थितियों में भी जहां एक समीकरण के अलग-अलग उपाय होते हैं, यह प्रायः पूर्व कमजोर उपायों के अस्तित्व को सिद्ध करने के लिए सुविधाजनक होता है और बाद में मात्र यह दिखाता है कि वे उपाय वस्तुतः अत्यधिक सुचारू हैं। | ||
== एक ठोस उदाहरण == | == एक ठोस उदाहरण == | ||
Line 15: | Line 15: | ||
:<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>\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 निरंतर अवकलनीय है। | ||
कमजोर उपाय की अवधारणा की कुंजी यह है कि ऐसे फलन स्थित हैं जो समीकरण | कमजोर उपाय की अवधारणा की कुंजी यह है कि ऐसे फलन स्थित हैं जो किसी भी <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 में अवकल समीकरण को हल करते समय, | इस उदाहरण से जो सामान्य विचार आता है, वह यह है कि u में अवकल समीकरण को हल करते समय, कोई परीक्षण फलन <math>\varphi</math> का उपयोग करके इसे फिर से लिखा जा सकता है, जैसे कि u में जो भी व्युत्पन्न समीकरण में दिखाई देते हैं, वे समाकलन द्वारा <math>\varphi</math> में एकीकरण के माध्यम से "स्थानांतरित" होते हैं, जिसके परिणामस्वरूप u के व्युत्पन्न के बिना समीकरण एक होता है। यह नवीन समीकरण उन उपायों को सम्मिलित करने के लिए मूल समीकरण का सामान्यीकरण करता है जो आवश्यक रूप से अवकलनीय नहीं हैं। | ||
ऊपर वर्णित दृष्टिकोण | ऊपर वर्णित दृष्टिकोण प्रमुख सामान्यता में काम करता है। वस्तुतः, एक खुले समूह 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>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>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 | विभेदक समीकरण P(x, ∂)u(x) = 0 में सघन समर्थन के साथ एक सुचारू परीक्षण फलन <math>\varphi</math> द्वारा गुणा किए जाने के बाद W और समाकलन द्वारा एकीकृत, के रूप में लिखा जाए | ||
:<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> | ||
Line 44: | Line 44: | ||
जो नंबर | जो नंबर | ||
:<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> सभी आंशिक व्युत्पन्न को यू से स्थानांतरित करने के लिए | दिखाता है क्योंकि किसी को α की आवश्यकता होती है<sub>1</sub> + ए<sub>2</sub> + ⋯ + ए<sub>''n''</sub> सभी आंशिक व्युत्पन्न को यू से स्थानांतरित करने के लिए समाकलन द्वारा एकीकरण <math>\varphi</math> अंतर समीकरण के प्रत्येक पद में, और समाकलन द्वारा प्रत्येक एकीकरण में -1 से गुणन होता है। | ||
अवकल संकारक Q(x, ∂) P(x, ∂) का 'औपचारिक संलग्न' है (संचालक का cf संलग्न)। | अवकल संकारक Q(x, ∂) P(x, ∂) का 'औपचारिक संलग्न' है (संचालक का cf संलग्न)। | ||
संक्षेप में, यदि मूल (मजबूत) समस्या एक |α|-समय अलग-अलग फलन को खोजने के लिए थी जिसे खुले | संक्षेप में, यदि मूल (मजबूत) समस्या एक |α|-समय अलग-अलग फलन को खोजने के लिए थी जिसे खुले समूह डब्ल्यू पर परिभाषित किया गया था जैसे कि | ||
:<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> | ||
(एक तथाकथित मजबूत उपाय), तो एक पूर्णांक फलन 'यू' को एक कमजोर उपाय कहा जाएगा यदि | (एक तथाकथित मजबूत उपाय), तो एक पूर्णांक फलन 'यू' को एक कमजोर उपाय कहा जाएगा यदि | ||
Line 56: | Line 56: | ||
== अन्य प्रकार के कमजोर उपाय == | == अन्य प्रकार के कमजोर उपाय == | ||
बंटन पर आधारित कमजोर उपाय की धारणा कभी-कभी अपर्याप्त होती है। अतिशयोक्तिपूर्ण प्रणालियों | बंटन पर आधारित कमजोर उपाय की धारणा कभी-कभी अपर्याप्त होती है। अतिशयोक्तिपूर्ण प्रणालियों की स्थिति में, वितरण के आधार पर कमजोर उपाय की धारणा अद्वितीयता की गारंटी नहीं देती है, और [[एन्ट्रापी स्थिति]]यों या कुछ अन्य चयन मानदंड के साथ इसे पूरक करना आवश्यक है। हैमिल्टन-जैकोबी समीकरण जैसे पूर्ण रूप से अरैखिक पीडीई में, कमजोर उपाय की एक बहुत अलग परिभाषा है जिसे विस्कोसिटी उपाय कहा जाता है। | ||
==संदर्भ== | ==संदर्भ== |
Revision as of 09:39, 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, ∂) सूत्र द्वारा दिया गया है
जो नंबर
दिखाता है क्योंकि किसी को α की आवश्यकता होती है1 + ए2 + ⋯ + एn सभी आंशिक व्युत्पन्न को यू से स्थानांतरित करने के लिए समाकलन द्वारा एकीकरण अंतर समीकरण के प्रत्येक पद में, और समाकलन द्वारा प्रत्येक एकीकरण में -1 से गुणन होता है।
अवकल संकारक Q(x, ∂) P(x, ∂) का 'औपचारिक संलग्न' है (संचालक का cf संलग्न)।
संक्षेप में, यदि मूल (मजबूत) समस्या एक |α|-समय अलग-अलग फलन को खोजने के लिए थी जिसे खुले समूह डब्ल्यू पर परिभाषित किया गया था जैसे कि
(एक तथाकथित मजबूत उपाय), तो एक पूर्णांक फलन 'यू' को एक कमजोर उपाय कहा जाएगा यदि
हर सुचारू फलन के लिए डब्ल्यू में सघन समर्थन के साथ।
अन्य प्रकार के कमजोर उपाय
बंटन पर आधारित कमजोर उपाय की धारणा कभी-कभी अपर्याप्त होती है। अतिशयोक्तिपूर्ण प्रणालियों की स्थिति में, वितरण के आधार पर कमजोर उपाय की धारणा अद्वितीयता की गारंटी नहीं देती है, और एन्ट्रापी स्थितियों या कुछ अन्य चयन मानदंड के साथ इसे पूरक करना आवश्यक है। हैमिल्टन-जैकोबी समीकरण जैसे पूर्ण रूप से अरैखिक पीडीई में, कमजोर उपाय की एक बहुत अलग परिभाषा है जिसे विस्कोसिटी उपाय कहा जाता है।
संदर्भ
- Evans, L. C. (1998). Partial Differential Equations. Providence: American Mathematical Society. ISBN 0-8218-0772-2.