दीर्घवृत्तीय संक्रियक: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Type of differential operator}} | {{Short description|Type of differential operator}} | ||
[[File:Laplace's equation on an annulus.svg|right|thumb|300px|एनुलस (गणित) पर परिभाषित लाप्लास के समीकरण का समाधान। [[लाप्लास ऑपरेटर|लाप्लास संक्रियक]] एक दीर्घवृत्तीय संक्रियक का सबसे प्रसिद्ध उदाहरण है।]]आंशिक अवकल समीकरणों के सिद्धांत में '''दीर्घवृत्तीय संक्रियक''' अवकल संक्रियक होते हैं जो लाप्लास | [[File:Laplace's equation on an annulus.svg|right|thumb|300px|एनुलस (गणित) पर परिभाषित लाप्लास के समीकरण का समाधान। [[लाप्लास ऑपरेटर|लाप्लास संक्रियक]] एक दीर्घवृत्तीय संक्रियक का सबसे प्रसिद्ध उदाहरण है।]]आंशिक अवकल समीकरणों के सिद्धांत में '''दीर्घवृत्तीय संक्रियक''' अवकल संक्रियक होते हैं जो लाप्लास संक्रियक का सामान्यीकरण करते हैं। उन्हें इस शर्त से परिभाषित किया जाता है जिससे उच्चतम-क्रम व्युत्पन्न के गुणांक घनात्मक होते हैं, जिसकी मुख्य विशेषता का तात्पर्य है कि मुख्य प्रतीक व्युत्क्रम या समकक्ष है। जिसकी कोई वास्तविक विशिष्ट दिशा नहीं होती हैं। | ||
दीर्घवृत्तीय | दीर्घवृत्तीय संक्रियक [[संभावित सिद्धांत]] के लिए विशिष्ट हैं वे प्रायः [[ इलेक्ट्रोस्टाटिक्स |स्थिरवैद्युतिकी]] और सातत्य यांत्रिकी में दिखाई देते हैं। [[अण्डाकार नियमितता|दीर्घवृत्तीय नियमितता]] का अर्थ है कि उनके समाधान नियमित रूप से कार्य करते हैं यदि संक्रियक में गुणांक स्थिर हैं। परवलयिक और [[परवलयिक आंशिक अंतर समीकरण|परवलयिक आंशिक अवकल समीकरणों]] के स्थिर संक्रियक सामान्यतः दीर्घवृत्तीय समीकरणों को हल करते हैं। | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
मान लीजिए <math>L</math>, '''R'''<sup>''n''</sup> में दिए गए डोमेन <math>\Omega</math> पर | मान लीजिए <math>L</math>, '''R'''<sup>''n''</sup> में दिए गए डोमेन <math>\Omega</math> पर अनुक्रम m का एक रैखिक अवकल संक्रियक है:<math display="block"> Lu = \sum_{|\alpha| \le m} a_\alpha(x)\partial^\alpha u </math>जहां <math>\alpha = (\alpha_1, \dots, \alpha_n)</math> [[मल्टी-इंडेक्स नोटेशन|बहु सूचकांक]] को दर्शाता है और <math>\partial^\alpha u = \partial^{\alpha_1}_1 \cdots \partial_n^{\alpha_n}u </math> में अनुक्रम <math>\alpha_i</math> के आंशिक व्युत्पन्न <math>x_i</math> को दर्शाता है। तब <math>L</math> को दीर्घवृत्तीय कहा जाता है यदि <math>\Omega</math> में प्रत्येक <math>\xi</math> और '''R'''<sup>''n''</sup> में प्रत्येक गैर-शून्य के लिए निम्न सूचकांक है:<math display="block"> \sum_{|\alpha| = m} a_\alpha(x)\xi^\alpha \neq 0,</math>जहाँ <math>\xi^\alpha = \xi_1^{\alpha_1} \cdots \xi_n^{\alpha_n}</math> कई अनुप्रयोगों में यह स्थिति पर्याप्त प्रबल नहीं है और इसके अतिरिक्त अनीकरम m = 2k के संक्रियकों के लिए एक समान दीर्घवृत्तीय स्थिति प्रयुक्त की जा सकती है:<math display="block"> (-1)^k\sum_{|\alpha| = 2k} a_\alpha(x) \xi^\alpha > C |\xi|^{2k},</math>जहाँ C एक धनात्मक स्थिरांक है। ध्यान दें कि दीर्घवृत्तीयता केवल उच्चतम-क्रम की शर्तों पर निर्भर करती है।<ref>Note that this is sometimes called ''strict ellipticity'', with ''uniform ellipticity'' being used to mean that an upper bound exists on the symbol of the operator as well. It is important to check the definitions the author is using, as conventions may differ. See, e.g., Evans, Chapter 6, for a use of the first definition, and Gilbarg and Trudinger, Chapter 3, for a use of the second.</ref> | ||
यदि एक गैर-रेखीय संक्रियक इसका रैखिककरण है। अर्थात किसी भी बिंदु के विषय में ''u'' इसके व्युत्पन्न के संबंध में पहला अनुक्रम टेलर विस्तार का दीर्घवृत्तीय संक्रियक है:<math display="block"> L(u) = F\left(x, u, \left(\partial^\alpha u\right)_{|\alpha| \le m}\right)</math> | |||
; उदाहरण 1: '''R'''<sup>''d''</sup> में [[लाप्लासियन]] का ऋणात्मक फलन दिया गया है:<math display="block"> - \Delta u = - \sum_{i=1}^d \partial_i^2 u </math> उपरोक्त समीकरण समान रूप से दीर्घवृत्तीय संक्रियक है। लाप्लास संक्रियक प्रायः स्थिरवैद्युतिकी में होता है। यदि ρ किसी क्षेत्र Ω के भीतर आवेशित घनत्व है, तो संभावित Φ को समीकरण को संतुष्ट किया जा सकता है:<math display="block"> - \Delta \Phi = 4\pi\rho</math> | |||
; उदाहरण 2: आव्यूह संख्या फलन ''A''(''x'') दिया गया है जो प्रत्येक ''x'' के लिए सममित और घनात्मक निश्चित है, जिसमें संक्रियक के घटक दीर्घवृत्तीय होते है: <math display="block"> Lu = -\partial_i\left(a^{ij}(x)\partial_ju\right) + b^j(x)\partial_ju + cu </math> यह दूसरे अनुक्रम के विचलन रैखिक दीर्घवृत्तीय अवकल संक्रियक के रूप का सबसे सामान्य रूप है। लाप्लास संक्रियक को A = I लेकर प्राप्त किया जाता है। ये संक्रियक ध्रुवीकृत माध्यम में स्थिर वैद्युतिकी में पाए जाते हैं। | |||
; उदाहरण 3: p के लिए एक गैर-ऋणात्मक संख्या, p लैप्लासियन गैर-रैखिक दीर्घवृत्तीय संक्रियक है जिसे परिभाषित किया गया है:<math display="block"> L(u) = -\sum_{i = 1}^d\partial_i\left(|\nabla u|^{p - 2}\partial_i u\right).</math> एक समान गैर-रेखीय संक्रियक [[बर्फ की चादर की गतिशीलता|ग्लेशियर यांत्रिकी]] में होता है। ग्लेन के प्रवाह नियम के अनुसार, बर्फ का कॉशी तनाव प्रदिश निम्न समीकरण द्वारा दिया जाता है: <math display="block">\tau_{ij} = B\left(\sum_{k,l = 1}^3\left(\partial_lu_k\right)^2\right)^{-\frac{1}{3}} \cdot \frac{1}{2} \left(\partial_ju_i + \partial_iu_j\right)</math> नियतांक B के लिए स्थिर अवस्था में बर्फ की परत का वेग तब अरेखीय दीर्घवृत्तीय प्रणाली को हल कर सकता है: <math display="block">\sum_{j = 1}^3\partial_j\tau_{ij} + \rho g_i - \partial_ip = Q,</math> जहां ρ बर्फ का घनत्व है, g गुरुत्वाकर्षण त्वरण सदिश है, p दबाव है और Q प्रणोदन है। | |||
; उदाहरण 1: '''R'''<sup>''d''</sup> में [[लाप्लासियन]] का ऋणात्मक दिया गया है:<math display="block"> - \Delta u = - \sum_{i=1}^d \partial_i^2 u </math> | |||
; उदाहरण 2: | |||
; उदाहरण 3: | |||
== दीर्घवृत्तीय नियमितता प्रमेय == | == दीर्घवृत्तीय नियमितता प्रमेय == | ||
माना कि <math>L</math> नियमित व्युत्पन्न 2k वाले गुणांक अनुक्रम 2k का एक दीर्घवृत्तीय सूचकांक है। <math>L</math> के लिए डिरिचलेट समस्या का फलन u को खोजने के लिए फलन f और कुछ उपयुक्त सीमा मान दिए गए हैं। जैसे कि <math>Lu = f</math> और '''u''' के पास उपयुक्त सीमा मान सामान्य व्युत्पन्न हैं। गर्डिंग की असमानता और लक्स-मिलग्राम लेम्मा का उपयोग करते हुए दीर्घवृत्तीय संक्रियकों के लिए अस्तित्व सिद्धांत, केवल दायित्व करता है कि एक दुर्बल समाधान '''u''' सोबोलेव समष्टि '''''H<sup>k</sup>''''' में सम्मिलित है। | |||
दीर्घवृत्तीय नियमितता प्रमेय | यह स्थिति अंततः असंतोषजनक है क्योंकि दुर्बल समाधान u के पास पारम्परिक अर्थों में अच्छी तरह से परिभाषित होने के लिए अभिव्यक्ति '''''Lu''''' के लिए पर्याप्त व्युत्पन्न नहीं हो सकता है। दीर्घवृत्तीय नियमितता प्रमेय दायित्व करता है कि यदि '''<math>f</math>''' वर्ग-अभिन्नीकरणीय है तो वास्तव में आपके पास 2k वर्ग समाकलन योग्य दुर्बल व्युत्पन्न हो सकते है। विशेष रूप से यदि <math>f</math> अपरिमित है तब प्रायः u अवकलनीय होता है। | ||
इस | इस विशेषता को प्रदर्शित करने वाले किसी भी अवकल संक्रियक को [[हाइपोएलिप्टिक ऑपरेटर|हाइपोएलिप्टिक संक्रियक]] कहा जाता है। इस प्रकार, प्रत्येक दीर्घवृत्तीय संक्रियक हाइपोएलिप्टिक संक्रियक होते है। इस विशेषता का अर्थ यह है कि एक दीर्घवृत्तीय संक्रियक का प्रत्येक [[मौलिक समाधान]] किसी भी निकटतम फलन में असीम रूप से भिन्न होता है अर्थात जिसमें 0 नहीं होता है। | ||
एक अनुप्रयोग के रूप में, मान लीजिए कि | एक अनुप्रयोग के रूप में, मान लीजिए कि फलन <math>f</math> कॉची-रीमैन समीकरणों को संतुष्ट करता है। चूंकि कौशी-रीमैन समीकरण दीर्घवृत्तीय संक्रियक बनाते हैं। इसलिए यह अनुसरण करता है कि <math>f</math> समतल है। | ||
== सामान्य परिभाषा == | == सामान्य परिभाषा == | ||
माना कि <math>D</math> किसी भी स्थित सदिश समूहों के बीच एक (संभवतः गैर-रैखिक) अवकल संक्रियक है। और माना कि अवकल संक्रियक संबंध <math>\sigma_\xi(D)</math> मे इसका प्रतीक <math>\xi</math> है। सामान्यतः यह फलन उच्चतम-क्रम के सहपरिवर्ती व्युत्पन्न को <math>\nabla</math> सदिश क्षेत्र <math>\xi</math> द्वारा प्रतिस्थापित करता है। | |||
हम कहते हैं कि <math>D</math> | हम कहते हैं कि <math>D</math> दुर्बल रूप से दीर्घवृत्तीय है यदि <math>\sigma_\xi(D)</math> प्रत्येक गैर-शून्य <math>\xi</math> के लिए रैखिक समरूपता है। | ||
हम कहते हैं कि <math>D</math> समान रूप से प्रबल दीर्घवृत्तीय है यदि यह <math>c > 0</math> के लिए स्थिर है।<math display="block">\left([\sigma_\xi(D)](v), v\right) \geq c\|v\|^2 </math>उपरोक्त सभी <math>\|\xi\|=1</math> और <math>v</math> के लिए यह ध्यान रखना महत्वपूर्ण है कि लेख के पिछले भाग में दीर्घवृत्त की परिभाषा प्रबल दीर्घवृत्तीय है। यहाँ <math>(\cdot,\cdot)</math> एक आंतरिक उत्पाद है। ध्यान दें कि <math>\xi</math> सदिश क्षेत्र या सूचकांक हैं लेकिन <math>v</math> सदिश समूह के तत्व हैं जिन पर <math>D</math> कार्य करता है।<br />दीर्घवृत्तीय संक्रियक का सर्वोत्कृष्ट उदाहरण लाप्लासियन या इसके ऋणात्मक फलन के आधार पर है। यह देखना कठिन नहीं है कि <math>D</math> एक विकल्प होने के लिए प्रबल दीर्घवृत्तीयता के लिए समान क्रम की आवश्यकता होती है। अन्यथा दोनों के समीकरण पर विचार करें कि <math>\xi</math> और इसका ऋणात्मक फलन दूसरी ओर एक दुर्बल दीर्घवृत्तीय प्रथम-अनुक्रम सूचकांक जैसे कि डायराक सूचकांक, लाप्लासियन जैसे कि प्रबल दीर्घवृत्तीय सूचकांक बनने के लिए वर्गाकार हो सकते है। दुर्बल दीर्घवृत्तीय संक्रियकों की संरचना दुर्बल दीर्घवृत्तीय होती है। | |||
दुर्बल दीर्घवृत्तीयता | दुर्बल दीर्घवृत्तीयता फ्रेडहोम सिद्धान्त, शाउडर अनुमान और अतियाह-सिंगर सूचकांक प्रमेय के लिए पर्याप्त प्रबल है। दूसरी ओर [[अधिकतम सिद्धांत]] के लिए प्रबल दीर्घवृत्तीयता की आवश्यकता होती है और यह दायित्व देने के लिए कि आइगेन मान असतत हैं और उनका एकमात्र सीमा बिंदु अनंत होता है। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 11:19, 23 May 2023
आंशिक अवकल समीकरणों के सिद्धांत में दीर्घवृत्तीय संक्रियक अवकल संक्रियक होते हैं जो लाप्लास संक्रियक का सामान्यीकरण करते हैं। उन्हें इस शर्त से परिभाषित किया जाता है जिससे उच्चतम-क्रम व्युत्पन्न के गुणांक घनात्मक होते हैं, जिसकी मुख्य विशेषता का तात्पर्य है कि मुख्य प्रतीक व्युत्क्रम या समकक्ष है। जिसकी कोई वास्तविक विशिष्ट दिशा नहीं होती हैं।
दीर्घवृत्तीय संक्रियक संभावित सिद्धांत के लिए विशिष्ट हैं वे प्रायः स्थिरवैद्युतिकी और सातत्य यांत्रिकी में दिखाई देते हैं। दीर्घवृत्तीय नियमितता का अर्थ है कि उनके समाधान नियमित रूप से कार्य करते हैं यदि संक्रियक में गुणांक स्थिर हैं। परवलयिक और परवलयिक आंशिक अवकल समीकरणों के स्थिर संक्रियक सामान्यतः दीर्घवृत्तीय समीकरणों को हल करते हैं।
परिभाषाएँ
मान लीजिए , Rn में दिए गए डोमेन पर अनुक्रम m का एक रैखिक अवकल संक्रियक है:
यदि एक गैर-रेखीय संक्रियक इसका रैखिककरण है। अर्थात किसी भी बिंदु के विषय में u इसके व्युत्पन्न के संबंध में पहला अनुक्रम टेलर विस्तार का दीर्घवृत्तीय संक्रियक है:
- उदाहरण 1
- Rd में लाप्लासियन का ऋणात्मक फलन दिया गया है:उपरोक्त समीकरण समान रूप से दीर्घवृत्तीय संक्रियक है। लाप्लास संक्रियक प्रायः स्थिरवैद्युतिकी में होता है। यदि ρ किसी क्षेत्र Ω के भीतर आवेशित घनत्व है, तो संभावित Φ को समीकरण को संतुष्ट किया जा सकता है:
- उदाहरण 2
- आव्यूह संख्या फलन A(x) दिया गया है जो प्रत्येक x के लिए सममित और घनात्मक निश्चित है, जिसमें संक्रियक के घटक दीर्घवृत्तीय होते है: यह दूसरे अनुक्रम के विचलन रैखिक दीर्घवृत्तीय अवकल संक्रियक के रूप का सबसे सामान्य रूप है। लाप्लास संक्रियक को A = I लेकर प्राप्त किया जाता है। ये संक्रियक ध्रुवीकृत माध्यम में स्थिर वैद्युतिकी में पाए जाते हैं।
- उदाहरण 3
- p के लिए एक गैर-ऋणात्मक संख्या, p लैप्लासियन गैर-रैखिक दीर्घवृत्तीय संक्रियक है जिसे परिभाषित किया गया है:एक समान गैर-रेखीय संक्रियक ग्लेशियर यांत्रिकी में होता है। ग्लेन के प्रवाह नियम के अनुसार, बर्फ का कॉशी तनाव प्रदिश निम्न समीकरण द्वारा दिया जाता है:नियतांक B के लिए स्थिर अवस्था में बर्फ की परत का वेग तब अरेखीय दीर्घवृत्तीय प्रणाली को हल कर सकता है:जहां ρ बर्फ का घनत्व है, g गुरुत्वाकर्षण त्वरण सदिश है, p दबाव है और Q प्रणोदन है।
दीर्घवृत्तीय नियमितता प्रमेय
माना कि नियमित व्युत्पन्न 2k वाले गुणांक अनुक्रम 2k का एक दीर्घवृत्तीय सूचकांक है। के लिए डिरिचलेट समस्या का फलन u को खोजने के लिए फलन f और कुछ उपयुक्त सीमा मान दिए गए हैं। जैसे कि और u के पास उपयुक्त सीमा मान सामान्य व्युत्पन्न हैं। गर्डिंग की असमानता और लक्स-मिलग्राम लेम्मा का उपयोग करते हुए दीर्घवृत्तीय संक्रियकों के लिए अस्तित्व सिद्धांत, केवल दायित्व करता है कि एक दुर्बल समाधान u सोबोलेव समष्टि Hk में सम्मिलित है।
यह स्थिति अंततः असंतोषजनक है क्योंकि दुर्बल समाधान u के पास पारम्परिक अर्थों में अच्छी तरह से परिभाषित होने के लिए अभिव्यक्ति Lu के लिए पर्याप्त व्युत्पन्न नहीं हो सकता है। दीर्घवृत्तीय नियमितता प्रमेय दायित्व करता है कि यदि वर्ग-अभिन्नीकरणीय है तो वास्तव में आपके पास 2k वर्ग समाकलन योग्य दुर्बल व्युत्पन्न हो सकते है। विशेष रूप से यदि अपरिमित है तब प्रायः u अवकलनीय होता है।
इस विशेषता को प्रदर्शित करने वाले किसी भी अवकल संक्रियक को हाइपोएलिप्टिक संक्रियक कहा जाता है। इस प्रकार, प्रत्येक दीर्घवृत्तीय संक्रियक हाइपोएलिप्टिक संक्रियक होते है। इस विशेषता का अर्थ यह है कि एक दीर्घवृत्तीय संक्रियक का प्रत्येक मौलिक समाधान किसी भी निकटतम फलन में असीम रूप से भिन्न होता है अर्थात जिसमें 0 नहीं होता है।
एक अनुप्रयोग के रूप में, मान लीजिए कि फलन कॉची-रीमैन समीकरणों को संतुष्ट करता है। चूंकि कौशी-रीमैन समीकरण दीर्घवृत्तीय संक्रियक बनाते हैं। इसलिए यह अनुसरण करता है कि समतल है।
सामान्य परिभाषा
माना कि किसी भी स्थित सदिश समूहों के बीच एक (संभवतः गैर-रैखिक) अवकल संक्रियक है। और माना कि अवकल संक्रियक संबंध मे इसका प्रतीक है। सामान्यतः यह फलन उच्चतम-क्रम के सहपरिवर्ती व्युत्पन्न को सदिश क्षेत्र द्वारा प्रतिस्थापित करता है।
हम कहते हैं कि दुर्बल रूप से दीर्घवृत्तीय है यदि प्रत्येक गैर-शून्य के लिए रैखिक समरूपता है।
हम कहते हैं कि समान रूप से प्रबल दीर्घवृत्तीय है यदि यह के लिए स्थिर है।
दीर्घवृत्तीय संक्रियक का सर्वोत्कृष्ट उदाहरण लाप्लासियन या इसके ऋणात्मक फलन के आधार पर है। यह देखना कठिन नहीं है कि एक विकल्प होने के लिए प्रबल दीर्घवृत्तीयता के लिए समान क्रम की आवश्यकता होती है। अन्यथा दोनों के समीकरण पर विचार करें कि और इसका ऋणात्मक फलन दूसरी ओर एक दुर्बल दीर्घवृत्तीय प्रथम-अनुक्रम सूचकांक जैसे कि डायराक सूचकांक, लाप्लासियन जैसे कि प्रबल दीर्घवृत्तीय सूचकांक बनने के लिए वर्गाकार हो सकते है। दुर्बल दीर्घवृत्तीय संक्रियकों की संरचना दुर्बल दीर्घवृत्तीय होती है।
दुर्बल दीर्घवृत्तीयता फ्रेडहोम सिद्धान्त, शाउडर अनुमान और अतियाह-सिंगर सूचकांक प्रमेय के लिए पर्याप्त प्रबल है। दूसरी ओर अधिकतम सिद्धांत के लिए प्रबल दीर्घवृत्तीयता की आवश्यकता होती है और यह दायित्व देने के लिए कि आइगेन मान असतत हैं और उनका एकमात्र सीमा बिंदु अनंत होता है।
यह भी देखें
- दीर्घवृत्तीय आंशिक अवकल समीकरण
- अतिपरवलयिक आंशिक अवकल समीकरण
- परवलयिक आंशिक अवकल समीकरण
- हॉफ अधिकतम सिद्धांत
- दीर्घवृत्तीय सम्मिश्र
- अतिपरवलयिक तरंग समीकरण
- अर्ध-दीर्घवृत्तीय संक्रियक
- वेइल्स लेम्मा (लाप्लास समीकरण)
टिप्पणियाँ
- ↑ Note that this is sometimes called strict ellipticity, with uniform ellipticity being used to mean that an upper bound exists on the symbol of the operator as well. It is important to check the definitions the author is using, as conventions may differ. See, e.g., Evans, Chapter 6, for a use of the first definition, and Gilbarg and Trudinger, Chapter 3, for a use of the second.
संदर्भ
- Evans, L. C. (2010) [1998], Partial differential equations, Graduate Studies in Mathematics, vol. 19 (2nd ed.), Providence, RI: American Mathematical Society, ISBN 978-0-8218-4974-3, MR 2597943
Review:
Rauch, J. (2000). "Partial differential equations, by L. C. Evans" (PDF). Journal of the American Mathematical Society. 37 (3): 363–367. doi:10.1090/s0273-0979-00-00868-5. - Gilbarg, D.; Trudinger, N. S. (1983) [1977], Elliptic partial differential equations of second order, Grundlehren der Mathematischen Wissenschaften, vol. 224 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-13025-3, MR 0737190
- Shubin, M. A. (2001) [1994], "Elliptic operator", Encyclopedia of Mathematics, EMS Press
बाहरी संबंध
- Linear Elliptic Equations at EqWorld: The World of Mathematical Equations.
- Nonlinear Elliptic Equations at EqWorld: The World of Mathematical Equations.