पीटर प्रमेय: Difference between revisions
No edit summary |
No edit summary |
||
(5 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, जाक पीटर के नाम पर (रैखिक) '''पीटर प्रमेय''' कार्यात्मक विश्लेषण का परिणाम है जो सामान्यीकृत फलन स्थानों पर उनके प्रभाव के संदर्भ में और स्पष्ट शब्दों में विभेदन का उल्लेख किए बिना विभेदक [[ऑपरेटर]] का लक्षण वर्णन देता है। पेत्रे प्रमेय | गणित में, जाक पीटर के नाम पर (रैखिक) '''पीटर प्रमेय''' कार्यात्मक विश्लेषण का परिणाम है जो सामान्यीकृत फलन स्थानों पर उनके प्रभाव के संदर्भ में और स्पष्ट शब्दों में विभेदन का उल्लेख किए बिना विभेदक [[ऑपरेटर]] का लक्षण वर्णन देता है। पेत्रे प्रमेय [[परिमित क्रम प्रमेय]] का उदाहरण है जिसमें फलन या कारक, जिसे बहुत सामान्य विधि से परिभाषित किया गया है, वास्तव में उस पर लगाए गए कुछ बाहरी स्थिति या समरूपता के कारण बहुपद के रूप में दिखाया जा सकता है। | ||
यह लेख पीटर प्रमेय के दो रूपों पर विचार करता है। पहला मूल संस्करण है, जो चूँकि अपने आप में अधिक उपयोगी है, वास्तव में अधिकांश अनुप्रयोगों के लिए बहुत सामान्य है। | यह लेख पीटर प्रमेय के दो रूपों पर विचार करता है। पहला मूल संस्करण है, जो चूँकि अपने आप में अधिक उपयोगी है, वास्तव में अधिकांश अनुप्रयोगों के लिए बहुत सामान्य है। | ||
== मूल पीटर प्रमेय == | == मूल पीटर प्रमेय == | ||
मान लीजिए कि M | मान लीजिए कि M स्मूथ मैनिफोल्ड है और E और F, M मान पर दो [[वेक्टर बंडल|सदिश बंडल]] हैं | ||
:<math>\Gamma^\infty (E),\ \hbox{and}\ \Gamma^\infty (F)</math> | :<math>\Gamma^\infty (E),\ \hbox{and}\ \Gamma^\infty (F)</math> | ||
E और F | E और F ऑपरेटर के स्मूथ खंडों के समष्टि बनें | ||
:<math>D:\Gamma^\infty (E)\rightarrow \Gamma^\infty(F)</math> | :<math>D:\Gamma^\infty (E)\rightarrow \Gamma^\infty(F)</math> | ||
एक शीफ (गणित) है जो खंडों पर रैखिक है जैसे कि D का [[समर्थन (गणित)]] बढ़ रहा है: E के प्रत्येक स्मूथ अनुभाग के लिए | एक शीफ (गणित) है जो खंडों पर रैखिक है जैसे कि D का [[समर्थन (गणित)]] बढ़ रहा है: E के प्रत्येक स्मूथ अनुभाग के लिए DS ⊆ ''supp'' S मूल पेत्रे प्रमेय का प्रमाण है कि, M में प्रत्येक बिंदु P के लिए, P का निकट U और पूर्णांक के (U पर निर्भर करता है) जैसे कि D, U पर ऑर्डर के का विभेदक ऑपरेटर है। इसका कारण है कि D E के k-[[जेट (गणित)]] से F के स्मूथ खंडों के समष्टि में रैखिक मैपिंग I<sub>''D''</sub> के माध्यम से कारक है: | ||
:<math>D=i_D\circ j^k</math> | :<math>D=i_D\circ j^k</math> | ||
Line 18: | Line 18: | ||
=== प्रमाण === | === प्रमाण === | ||
समस्या स्थानीय भिन्नता के अनुसार अपरिवर्तनीय है, इसलिए इसे सिद्ध करना पर्याप्त है जब M R<sup>n</sup> में | समस्या स्थानीय भिन्नता के अनुसार अपरिवर्तनीय है, इसलिए इसे सिद्ध करना पर्याप्त है जब M R<sup>n</sup> में विवृत समुच्चय है और E और F सामान्य बंडल हैं। इस बिंदु पर यह मुख्य रूप से दो लेम्मा पर निर्भर करता है: | ||
*लेम्मा 1. यदि प्रमेय की परिकल्पनाएं संतुष्ट हैं, तो प्रत्येक x∈M और C > 0 के लिए, x का | *लेम्मा 1. यदि प्रमेय की परिकल्पनाएं संतुष्ट हैं, तो प्रत्येक x∈M और C > 0 के लिए, x का निकट V और धनात्मक पूर्णांक k उपस्थित है जैसे कि किसी भी y∈V\{x} और किसी भी अनुभाग के लिए E का s जिसका k-जेट y (j<sup>k</sup>s(y)=0) पर विलुप्त हो जाता है, हमारे पास |Ds(y)|<C है। | ||
*'लेम्मा 2.' प्रमेय को सिद्ध करने के लिए पहली प्रमेयिका पर्याप्त है। | *'लेम्मा 2.' प्रमेय को सिद्ध करने के लिए पहली प्रमेयिका पर्याप्त है। | ||
Line 25: | Line 25: | ||
: | : | ||
:मान लीजिए कि लेम्मा गलत है। फिर x की ओर प्रवृत्ति वाला | :मान लीजिए कि लेम्मा गलत है। फिर x की ओर प्रवृत्ति वाला अनुक्रम x<sub>k</sub> होता है और xk के चारों ओर बहुत असंयुक्त गोलों B<sub>k</sub> का क्रम होता है (जिसका अर्थ है कि किन्हीं दो ऐसी गोलों के बीच की जियोडेसिक दूरी गैर-शून्य है) और प्रत्येक B<sub>k</sub> पर E के अनुभाग s<sub>k</sub> ऐसे होते हैं कि j<sub>k</sub>s<sub>k</sub>(x<sub>k</sub>) =0 किन्तु |Ds<sub>k</sub>(x<sub>k</sub>)|≥C>0 है | ||
: मान लें कि ρ(x) मूल बिंदु पर इकाई बॉल के लिए मानक [[टक्कर समारोह|बम्प फलन]] को दर्शाता है: प्रारंभ वास्तविक-मूल्य वाला फलन जो ''B''<sub>1/2</sub>(0) पर 1 के समान है, जो इकाई बॉल की सीमा पर अनंत क्रम में विलुप्त हो जाता है। | : मान लें कि ρ(x) मूल बिंदु पर इकाई बॉल के लिए मानक [[टक्कर समारोह|बम्प फलन]] को दर्शाता है: प्रारंभ वास्तविक-मूल्य वाला फलन जो ''B''<sub>1/2</sub>(0) पर 1 के समान है, जो इकाई बॉल की सीमा पर अनंत क्रम में विलुप्त हो जाता है। | ||
Line 32: | Line 32: | ||
:प्रत्येक दूसरे अनुभाग पर विचार करें s<sub>''2k''</sub> x<sub>''2k''</sub> पर यह संतुष्ट करते हैं | :प्रत्येक दूसरे अनुभाग पर विचार करें s<sub>''2k''</sub> x<sub>''2k''</sub> पर यह संतुष्ट करते हैं | ||
::''j<sup>2k</sup>s''<sub>2k</sub>(''x<sub>2k</sub>'')=0. | ::''j<sup>2k</sup>s''<sub>2k</sub>(''x<sub>2k</sub>'')=0. | ||
:मान लीजिए कि 2k दिया गया है। फिर, चूंकि यह फलन प्रारंभ हैं और प्रत्येक | :मान लीजिए कि 2k दिया गया है। फिर, चूंकि यह फलन प्रारंभ हैं और प्रत्येक ''j''<sup>2k</sup>(''s''<sub>2k</sub>)(''x''<sub>2k</sub>)=0 को संतुष्ट करते हैं, इसलिए छोटी गोला ''B′''<sub>δ</sub>(''x<sub>2k</sub>'') को निर्दिष्ट करना संभव है जिससे उच्च क्रम के डेरिवेटिव निम्नलिखित अनुमान का पालन करें: | ||
::<math>\sum_{|\alpha|\le k}\ \sup_{y\in B'_\delta(x_{2k})} |\nabla^\alpha s_k(y)|\le \frac{1}{M_k}\left(\frac{\delta}{2}\right)^k</math> | ::<math>\sum_{|\alpha|\le k}\ \sup_{y\in B'_\delta(x_{2k})} |\nabla^\alpha s_k(y)|\le \frac{1}{M_k}\left(\frac{\delta}{2}\right)^k</math> | ||
:जहाँ | :जहाँ | ||
Line 38: | Line 38: | ||
:अब | :अब | ||
::<math>\rho_{2k}(y):=\rho\left(\frac{y-x_{2k}}{\delta}\right)</math> | ::<math>\rho_{2k}(y):=\rho\left(\frac{y-x_{2k}}{\delta}\right)</math> | ||
:''B′''<sub>δ</sub>(''x<sub>2k</sub>'') में समर्थित | :''B′''<sub>δ</sub>(''x<sub>2k</sub>'') में समर्थित मानक बम्प फलन है, और उत्पाद ''s''<sub>2k</sub>ρ<sub>2k</sub> का व्युत्पन्न इस तरह से घिरा हुआ है | ||
::<math>\max_{|\alpha|\le k}\ \sup_{y\in B'_\delta(x_{2k})}|\nabla^\alpha (\rho_{2k}s_{2k})|\le 2^{-k}.</math> | ::<math>\max_{|\alpha|\le k}\ \sup_{y\in B'_\delta(x_{2k})}|\nabla^\alpha (\rho_{2k}s_{2k})|\le 2^{-k}.</math> | ||
:परिणामस्वरूप, क्योंकि निम्नलिखित श्रृंखला और इसके डेरिवेटिव के सभी आंशिक योग समान रूप से अभिसरित होते हैं | :परिणामस्वरूप, क्योंकि निम्नलिखित श्रृंखला और इसके डेरिवेटिव के सभी आंशिक योग समान रूप से अभिसरित होते हैं | ||
Line 75: | Line 75: | ||
:<math>(L f)(x_0) = \lim_{r \to 0} \frac{2d}{r^2}\frac{1}{|S_r|} \int_{S_r} (f(x)-f(x_0)) dx</math> | :<math>(L f)(x_0) = \lim_{r \to 0} \frac{2d}{r^2}\frac{1}{|S_r|} \int_{S_r} (f(x)-f(x_0)) dx</math> | ||
जहां <math> f \in C^\infty(\mathbb{R}^d) </math> और <math>S_r</math> त्रिज्या <math>r</math> के साथ <math>x_0</math> पर केन्द्रित गोला है। यह वास्तव में लाप्लासियन है। हम दिखाएंगे कि पीटर के प्रमेय के अनुसार <math>L</math> | जहां <math> f \in C^\infty(\mathbb{R}^d) </math> और <math>S_r</math> त्रिज्या <math>r</math> के साथ <math>x_0</math> पर केन्द्रित गोला है। यह वास्तव में लाप्लासियन है। हम दिखाएंगे कि पीटर के प्रमेय के अनुसार <math>L</math> विभेदक संचालिका है। मुख्य विचार यह है कि चूँकि <math> Lf(x_0) </math> को केवल <math>x_0</math> के निकट <math>f</math> के व्यवहार के संदर्भ में परिभाषित किया गया है, यह प्रकृति में स्थानीय है; विशेष रूप से, यदि <math>f</math> स्थानीय रूप से शून्य है, तो यह <math>Lf</math> भी है, और इसलिए समर्थन नहीं बढ़ सकता है। | ||
तकनीकी प्रमाण इस प्रकार है। | तकनीकी प्रमाण इस प्रकार है। | ||
Line 82: | Line 82: | ||
मान लीजिए कि <math> M = \mathbb{R}^d </math> और <math>E</math> और <math>F</math> रैंक <math>1</math> के सामान्य बंडल हैं। | मान लीजिए कि <math> M = \mathbb{R}^d </math> और <math>E</math> और <math>F</math> रैंक <math>1</math> के सामान्य बंडल हैं। | ||
फिर <math>\Gamma^\infty(E)</math> और <math>\Gamma^\infty(F)</math> बस | फिर <math>\Gamma^\infty(E)</math> और <math>\Gamma^\infty(F)</math> बस समष्टि हैं <math>C^\infty(\mathbb{R}^d)</math> पर सुचारू फलन का <math>\mathbb{R}^d</math> है। शीफ <math>\mathcal{F}(U)</math> के रूप में विवृत समुच्चय <math>U</math> पर सुचारू फलन का समुच्चय है और प्रतिबंध फलन है। | ||
यह देखने के लिए कि <math>L</math> वास्तव में | यह देखने के लिए कि <math>L</math> वास्तव में रूपवाद है, हमें विवृत समुच्चय <math>U</math> और <math>V</math> के लिए <math>(Lu)|V = L(u|V)</math> की जांच करने की आवश्यकता है, जिससे <math>V \subseteq U</math> और <math>u \in C^\infty(U)</math> में. यह स्पष्ट है क्योंकि <math>x \in V</math> के लिए, दोनों <math>[(Lu)|V](x)</math> और <math>[L(u|V)](x)</math> बस <math> \lim_{r \to 0} \frac{2d}{r^2}\frac{1}{|S_r|} \int_{S_r} (u(y)-u(x)) dy</math>, क्योंकि <math> S_r </math> अंततः <math>U</math> और <math>V</math> दोनों के अंदर बैठता है। | ||
यह जाँचना सरल है कि <math>L </math> रैखिक है: | यह जाँचना सरल है कि <math>L </math> रैखिक है: | ||
Line 100: | Line 100: | ||
* Peetre, J., Rectification à l'article ''Une caractérisation abstraite des opérateurs différentiels'', Math. Scand. '''8''' (1960), 116-120. | * Peetre, J., Rectification à l'article ''Une caractérisation abstraite des opérateurs différentiels'', Math. Scand. '''8''' (1960), 116-120. | ||
* [[Chuu-Lian Terng|Terng, C.L.]], ''Natural vector bundles and natural differential operators'', Am. J. Math. '''100''' (1978), 775-828. | * [[Chuu-Lian Terng|Terng, C.L.]], ''Natural vector bundles and natural differential operators'', Am. J. Math. '''100''' (1978), 775-828. | ||
[[Category:Created On 25/07/2023]] | [[Category:Created On 25/07/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:कार्यात्मक विश्लेषण में प्रमेय]] | |||
[[Category:प्रमाण युक्त लेख]] | |||
[[Category:विभेदक संचालक]] |
Latest revision as of 11:30, 14 August 2023
गणित में, जाक पीटर के नाम पर (रैखिक) पीटर प्रमेय कार्यात्मक विश्लेषण का परिणाम है जो सामान्यीकृत फलन स्थानों पर उनके प्रभाव के संदर्भ में और स्पष्ट शब्दों में विभेदन का उल्लेख किए बिना विभेदक ऑपरेटर का लक्षण वर्णन देता है। पेत्रे प्रमेय परिमित क्रम प्रमेय का उदाहरण है जिसमें फलन या कारक, जिसे बहुत सामान्य विधि से परिभाषित किया गया है, वास्तव में उस पर लगाए गए कुछ बाहरी स्थिति या समरूपता के कारण बहुपद के रूप में दिखाया जा सकता है।
यह लेख पीटर प्रमेय के दो रूपों पर विचार करता है। पहला मूल संस्करण है, जो चूँकि अपने आप में अधिक उपयोगी है, वास्तव में अधिकांश अनुप्रयोगों के लिए बहुत सामान्य है।
मूल पीटर प्रमेय
मान लीजिए कि M स्मूथ मैनिफोल्ड है और E और F, M मान पर दो सदिश बंडल हैं
E और F ऑपरेटर के स्मूथ खंडों के समष्टि बनें
एक शीफ (गणित) है जो खंडों पर रैखिक है जैसे कि D का समर्थन (गणित) बढ़ रहा है: E के प्रत्येक स्मूथ अनुभाग के लिए DS ⊆ supp S मूल पेत्रे प्रमेय का प्रमाण है कि, M में प्रत्येक बिंदु P के लिए, P का निकट U और पूर्णांक के (U पर निर्भर करता है) जैसे कि D, U पर ऑर्डर के का विभेदक ऑपरेटर है। इसका कारण है कि D E के k-जेट (गणित) से F के स्मूथ खंडों के समष्टि में रैखिक मैपिंग ID के माध्यम से कारक है:
जहाँ
k-जेट ऑपरेटर है और
सदिश बंडलों का रैखिक मानचित्रण है।
प्रमाण
समस्या स्थानीय भिन्नता के अनुसार अपरिवर्तनीय है, इसलिए इसे सिद्ध करना पर्याप्त है जब M Rn में विवृत समुच्चय है और E और F सामान्य बंडल हैं। इस बिंदु पर यह मुख्य रूप से दो लेम्मा पर निर्भर करता है:
- लेम्मा 1. यदि प्रमेय की परिकल्पनाएं संतुष्ट हैं, तो प्रत्येक x∈M और C > 0 के लिए, x का निकट V और धनात्मक पूर्णांक k उपस्थित है जैसे कि किसी भी y∈V\{x} और किसी भी अनुभाग के लिए E का s जिसका k-जेट y (jks(y)=0) पर विलुप्त हो जाता है, हमारे पास |Ds(y)|<C है।
- 'लेम्मा 2.' प्रमेय को सिद्ध करने के लिए पहली प्रमेयिका पर्याप्त है।
हम लेम्मा 1 के प्रमाण से प्रारंभ करते हैं।
- मान लीजिए कि लेम्मा गलत है। फिर x की ओर प्रवृत्ति वाला अनुक्रम xk होता है और xk के चारों ओर बहुत असंयुक्त गोलों Bk का क्रम होता है (जिसका अर्थ है कि किन्हीं दो ऐसी गोलों के बीच की जियोडेसिक दूरी गैर-शून्य है) और प्रत्येक Bk पर E के अनुभाग sk ऐसे होते हैं कि jksk(xk) =0 किन्तु |Dsk(xk)|≥C>0 है
- मान लें कि ρ(x) मूल बिंदु पर इकाई बॉल के लिए मानक बम्प फलन को दर्शाता है: प्रारंभ वास्तविक-मूल्य वाला फलन जो B1/2(0) पर 1 के समान है, जो इकाई बॉल की सीमा पर अनंत क्रम में विलुप्त हो जाता है।
- प्रत्येक दूसरे अनुभाग पर विचार करें s2k x2k पर यह संतुष्ट करते हैं
- j2ks2k(x2k)=0.
- मान लीजिए कि 2k दिया गया है। फिर, चूंकि यह फलन प्रारंभ हैं और प्रत्येक j2k(s2k)(x2k)=0 को संतुष्ट करते हैं, इसलिए छोटी गोला B′δ(x2k) को निर्दिष्ट करना संभव है जिससे उच्च क्रम के डेरिवेटिव निम्नलिखित अनुमान का पालन करें:
- जहाँ
- अब
- B′δ(x2k) में समर्थित मानक बम्प फलन है, और उत्पाद s2kρ2k का व्युत्पन्न इस तरह से घिरा हुआ है
- परिणामस्वरूप, क्योंकि निम्नलिखित श्रृंखला और इसके डेरिवेटिव के सभी आंशिक योग समान रूप से अभिसरित होते हैं
- q(y) सभी V पर प्रारंभ फलन है।
- अब हम देखते हैं कि चूँकि x2k के निकट में s2k और 2ks2k समान हैं
- तो निरंतरता से |Dq(x)|≥ C>0. वहीं दूसरी ओर,
-
- चूंकि Dq(x2k+1)=0 क्योंकि q, B2k+1 में समान रूप से शून्य है और D गैर-बढ़ने वाला समर्थन है। जिससे Dq(x)=0. यह विरोधाभास है.
अब हम लेम्मा 2 को सिद्ध करते हैं।
- सबसे पहले, आइए हम पहले लेम्मा से स्थिरांक C को हटा दें। हम दिखाते हैं कि, लेम्मा 1 जैसी समान परिकल्पना के अनुसार, |Ds(y)|=0। V\{x} में a y चुनें जिससे jks(y)=0 किन्तु |Ds(y)|=g>0. 2C/g के कारक द्वारा पुनर्स्केल करें। फिर यदि g गैर-शून्य है, तो D की रैखिकता से |Ds(y)|=2C>C, जो लेम्मा 1 द्वारा असंभव है। यह छिद्रित निकट V\{x} में प्रमेय को सिद्ध करता है।
- अब, हमें विभेदक ऑपरेटर को छिद्रित निकट में केंद्रीय बिंदु x तक जारी रखना चाहिए। D प्रारंभ गुणांक वाला रैखिक विभेदक ऑपरेटर है। इसके अतिरिक्त, यह x पर प्रारंभ फलन के जर्म्स को भी प्रारंभ फलन के जर्म्स को भेजता है। इस प्रकार D के गुणांक भी x पर सहज हैं।
एक विशेष अनुप्रयोग
मान लीजिए कि M कॉम्पैक्ट (टोपोलॉजी) स्मूथ मैनिफोल्ड (संभवतः मैनिफोल्ड के साथ) है, और E और F, M पर परिमित आयामी सदिश बंडल हैं।
- ऑपरेटर के सुचारू अनुभागों का संग्रह हो
एक प्रारंभ फलन है (फ़्रेचेट मैनिफोल्ड्स का) जो फाइबर पर रैखिक है और M पर आधार बिंदु का सम्मान करता है:
पेत्रे प्रमेय का प्रमाण है कि प्रत्येक ऑपरेटर D के लिए, पूर्णांक k उपस्थित है जैसे कि D ऑर्डर k का विभेदक ऑपरेटर है। विशेष रूप से, हम विघटित कर सकते हैं
जहाँ E के अनुभागों के जेट (गणित) से बंडल F तक मैपिंग है। डिफरेंशियल ऑपरेटर कोऑर्डिनेट-इंडिपेंडेंट डिस्क्रिप्शन भी देखें।
उदाहरण: लाप्लासियन
निम्नलिखित ऑपरेटर पर विचार करें:
जहां और त्रिज्या के साथ पर केन्द्रित गोला है। यह वास्तव में लाप्लासियन है। हम दिखाएंगे कि पीटर के प्रमेय के अनुसार विभेदक संचालिका है। मुख्य विचार यह है कि चूँकि को केवल के निकट के व्यवहार के संदर्भ में परिभाषित किया गया है, यह प्रकृति में स्थानीय है; विशेष रूप से, यदि स्थानीय रूप से शून्य है, तो यह भी है, और इसलिए समर्थन नहीं बढ़ सकता है।
तकनीकी प्रमाण इस प्रकार है।
मान लीजिए कि और और रैंक के सामान्य बंडल हैं।
फिर और बस समष्टि हैं पर सुचारू फलन का है। शीफ के रूप में विवृत समुच्चय पर सुचारू फलन का समुच्चय है और प्रतिबंध फलन है।
यह देखने के लिए कि वास्तव में रूपवाद है, हमें विवृत समुच्चय और के लिए की जांच करने की आवश्यकता है, जिससे और में. यह स्पष्ट है क्योंकि के लिए, दोनों और बस , क्योंकि अंततः और दोनों के अंदर बैठता है।
यह जाँचना सरल है कि रैखिक है:
- और
अंत में, हम जाँचते हैं कि इस अर्थ में स्थानीय है कि यदि तो इस प्रकार है कि त्रिज्या की गोला में पर केंद्रित है। इस प्रकार, के लिए
के लिए, और इसलिए इसलिए,
तो पीटर के प्रमेय के अनुसार विभेदक संचालिका है।
संदर्भ
- Peetre, J., Une caractérisation abstraite des opérateurs différentiels, Math. Scand. 7 (1959), 211-218.
- Peetre, J., Rectification à l'article Une caractérisation abstraite des opérateurs différentiels, Math. Scand. 8 (1960), 116-120.
- Terng, C.L., Natural vector bundles and natural differential operators, Am. J. Math. 100 (1978), 775-828.