प्रसंवादी फलन: Difference between revisions

From Vigyanwiki
(text)
(text)
Line 48: Line 48:
भौतिकी में उत्पन्न होने वाले प्रसंवादी फलन उनकी[[ गणितीय विलक्षणता ]]और सीमा स्थितियों (जैसे डिरिचलेट सीमा स्थिति या न्यूमैन सीमा स्थिति) द्वारा निर्धारित किए जाते हैं। सीमाओं के बिना क्षेत्रों पर, किसी भी संपूर्ण कार्य के वास्तविक या काल्पनिक भाग को जोड़ने से समान विलक्षणता के साथ एक प्रसंवादी फलन उत्पन्न होगा, इसलिए इस मामले में प्रसंवादी फलन इसकी विलक्षणता से निर्धारित नहीं होता है; हालाँकि, हम भौतिक स्थितियों में समाधान को अद्वितीय बना सकते हैं, यह आवश्यक है कि समाधान 0 तक पहुँचता है क्योंकि r अनंत तक पहुँचता है। इस मामले में, विशिष्टता लिउविल के प्रमेय द्वारा अनुसरण करती है।
भौतिकी में उत्पन्न होने वाले प्रसंवादी फलन उनकी[[ गणितीय विलक्षणता ]]और सीमा स्थितियों (जैसे डिरिचलेट सीमा स्थिति या न्यूमैन सीमा स्थिति) द्वारा निर्धारित किए जाते हैं। सीमाओं के बिना क्षेत्रों पर, किसी भी संपूर्ण कार्य के वास्तविक या काल्पनिक भाग को जोड़ने से समान विलक्षणता के साथ एक प्रसंवादी फलन उत्पन्न होगा, इसलिए इस मामले में प्रसंवादी फलन इसकी विलक्षणता से निर्धारित नहीं होता है; हालाँकि, हम भौतिक स्थितियों में समाधान को अद्वितीय बना सकते हैं, यह आवश्यक है कि समाधान 0 तक पहुँचता है क्योंकि r अनंत तक पहुँचता है। इस मामले में, विशिष्टता लिउविल के प्रमेय द्वारा अनुसरण करती है।


उपरोक्त प्रसंवादी कार्यों के एकल बिंदुओं को [[ इलेक्ट्रोस्टाटिक्स |स्थिर विद्युतिकी]] की शब्दावली का उपयोग करके [[ चार्ज (भौतिकी) |आवेश (भौतिकी)]] और आवेश घनत्व के रूप में व्यक्त किया जाता है, और इसलिए संबंधित प्रसंवादी फलन इन आवेश वितरणों के कारण विद्युत क्षमता के समानुपाती होगा। उपरोक्त प्रत्येक फलन एक स्थिर, घुमाए गए, और/या निरंतर जोड़े जाने पर गुणा किए जाने पर एक और प्रसंवादी फलन उत्पन्न करेगा। प्रत्येक फलन के व्युत्क्रम की विधि से एक और प्रसंवादी फलन निकलेगा जिसमें विलक्षणताएं हैं जो एक गोलाकार दर्पण में मूल विलक्षणताओं की छवियां हैं। साथ ही, किसी भी दो प्रसंवादी कार्यों का योग एक और प्रसंवादी फलन उत्पन्न करेगा।
उपरोक्त प्रसंवादी कार्यों के एकल बिंदुओं को [[ इलेक्ट्रोस्टाटिक्स |स्थिर विद्युतिकी]] की शब्दावली का उपयोग करके [[ चार्ज (भौतिकी) |आवेश (भौतिकी)]] और आवेश घनत्व के रूप में व्यक्त किया जाता है, और इसलिए संबंधित प्रसंवादी फलन इन आवेश विभाजनों के कारण विद्युत क्षमता के समानुपाती होगा। उपरोक्त प्रत्येक फलन एक स्थिर, घुमाए गए, और/या निरंतर जोड़े जाने पर गुणा किए जाने पर एक और प्रसंवादी फलन उत्पन्न करेगा। प्रत्येक फलन के व्युत्क्रम की विधि से एक और प्रसंवादी फलन निकलेगा जिसमें विलक्षणताएं हैं जो एक गोलाकार दर्पण में मूल विलक्षणताओं की छवियां हैं। साथ ही, किसी भी दो प्रसंवादी कार्यों का योग एक और प्रसंवादी फलन उत्पन्न करेगा।


अंत में, प्रसंवादी कार्यों के उदाहरण {{mvar|n}} चर हैं:
अंत में, प्रसंवादी कार्यों के उदाहरण {{mvar|n}} चर हैं:
Line 101: Line 101:
सम्मुच्चय {{math|Ω{{sub|''r''}}}} सभी बिंदुओं {{mvar|x}} में {{math|Ω}} साथ <math>\operatorname{dist}(x,\partial\Omega) > r</math> में   
सम्मुच्चय {{math|Ω{{sub|''r''}}}} सभी बिंदुओं {{mvar|x}} में {{math|Ω}} साथ <math>\operatorname{dist}(x,\partial\Omega) > r</math> में   


तब से {{mvar|u}} '''में {{math|Ω}} निरंतर है, <math>u * \chi_r</math> में {{mvar|u}} विलीन हो जाता है जैसे {{math|''s'' → 0}}''' के लिए {{math|Ω}} में {{mvar|u}} औसत मूल्य संपत्ति दिखा रहा है। इसके विपरीत {{mvar|u}} क्या किसी <math>L^1_{\mathrm{loc}}\;</math>में माध्य-मूल्य गुण को संतुष्ट करने वाला फलन {{math|Ω}} है, वह है,
तब से {{mvar|u}} में {{math|Ω}} निरंतर है, <math>u * \chi_r</math> में {{mvar|u}} विलीन हो जाता है जैसे '''{{math|''s'' → 0}}''' के लिए {{math|Ω}} में {{mvar|u}} औसत मूल्य विशेषता दिखा रहा है। इसके विपरीत, यदि {{mvar|u}} कोई <math>L^1_{\mathrm{loc}}\;</math> Ω में माध्य-मूल्य गुण को संतुष्ट करने वाला फलन है, तो वह है,


:<math>u*\chi_r = u*\chi_s\;</math>
:<math>u*\chi_r = u*\chi_s\;</math>
{{math|Ω{{sub|''r''}}}} में सबके लिए {{math|0 < ''s'' < ''r''}} रखता है फिर, पुनरावृति {{mvar|m}} के साथ कनवल्शन का गुना {{math|χ{{sub|''r''}}}} किसी के पास:
सभी {{math|0 < ''s'' < ''r''}} के लिए {{math|Ω{{sub|''r''}}}} में रखता है, फिर, {{math|χ{{sub|''r''}}}} के साथ कनवल्शन को {{mvar|m}} गुना दोहराता है:


:<math>u = u*\chi_r = u*\chi_r*\cdots*\chi_r\,,\qquad x\in\Omega_{mr},</math>
:<math>u = u*\chi_r = u*\chi_r*\cdots*\chi_r\,,\qquad x\in\Omega_{mr},</math>
ताकि {{mvar|u}} है <math>C^{m-1}(\Omega_{mr})\;</math> क्यों कि {{mvar|m}}-गुना पुनरावृत्त कनवल्शन {{math|χ{{sub|''r''}}}} श्रेणी का है <math>C^{m-1}\;</math> समर्थन के साथ  {{math|''B''(0, ''mr'')}}. तब से {{mvar|r}} और {{mvar|m}} मनमाना हैं, {{mvar|u}} है <math>C^{\infty}(\Omega)\;</math> भी। इसके अतिरिक्त,
ताकि {{mvar|u}} <math>C^{m-1}(\Omega_{mr})\;</math>है क्यों कि {{mvar|m}}-गुना पुनरावृत्त कनवल्शन {{math|χ{{sub|''r''}}}} श्रेणी का है और <math>C^{m-1}\;</math> समर्थन के साथ  {{math|''B''(0, ''mr'')}} है, तब से {{mvar|r}} और {{mvar|m}} स्वेच्छाचारी हैं, {{mvar|u}} भी <math>C^{\infty}(\Omega)\;</math>है। इसके अतिरिक्त,


: <math>\Delta u * w_{r,s} = u*\Delta w_{r,s} = u*\chi_r  - u*\chi_s = 0\;</math>
: <math>\Delta u * w_{r,s} = u*\Delta w_{r,s} = u*\chi_r  - u*\chi_s = 0\;</math>
सबके लिए {{math|0 < ''s'' < ''r''}} ताकि {{math|1=Δ''u'' = 0}} में {{math|Ω}} भिन्नताओं की कलन के मौलिक प्रमेय द्वारा, सामंजस्य और माध्य-मूल्य संपत्ति के बीच समानता को साबित करना।
सबके लिए {{math|0 < ''s'' < ''r''}} ताकि {{math|1=Δ''u'' = 0}} में {{math|Ω}} भिन्नताओं की कलन के मौलिक प्रमेय द्वारा, सामंजस्य और माध्य-मूल्य संपत्ति के बीच समानता को प्रमाणित करना।


औसत मूल्य संपत्ति के इस बयान को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि {{mvar|h}} कोई भी गोलाकार रूप से सममित कार्य [[ समर्थन (गणित) ]]{{math|''B''(''x'', ''r'')}} है ऐसा है कि <math display="inline">\int h = 1,</math> तब <math>u(x) = h * u(x).</math> दूसरे शब्दों में, हम का भारित औसत ले सकते हैं {{mvar|u}} एक बिंदु के बारे में और ठीक हो जाओ {{math|''u''(''x'')}}. विशेष रूप से, लेने से {{mvar|h}} बनने के लिए {{math|''C''<sup>∞</sup>}} समारोह, हम के मूल्य को पुनर्प्राप्त कर सकते हैं {{mvar|u}} किसी भी बिंदु पर भले ही हम केवल यह जानते हों कि कैसे {{mvar|u}} एक [[ वितरण (गणित) ]] के रूप में कार्य करता है। वेइल की लेम्मा (लाप्लास समीकरण) देखें | वेइल की लेम्मा।
औसत मूल्य संपत्ति के इस बयान को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि {{mvar|h}} कोई भी गोलाकार रूप से सममित कार्य आधार {{math|''B''(''x'', ''r'')}} है ऐसे कि <math display="inline">\int h = 1,</math> तब <math>u(x) = h * u(x)</math>दूसरे शब्दों में, हम एक बिंदु {{mvar|u}} का भारित औसत ले सकते हैं और {{math|''u''(''x'')}} को पुनः प्राप्त कर सकते हैं। विशेष रूप से, {{mvar|h}} को {{math|''C''<sup>∞</sup>}} फलन मानकर, हम किसी भी बिंदु पर {{mvar|u}} के मूल्य को पुनर्प्राप्त कर सकते हैं भले ही हम केवल यह जानते हों कि कैसे {{mvar|u}} एक विभाजन (गणित) के रूप में कार्य करता है। वेइल की लेम्मा (लाप्लास समीकरण) देखें।


=== हार्नैक की असमानता ===
=== हार्नैक की असमानता ===
होने देना {{mvar|u}} एक बंधे हुए डोमेन में एक गैर-नकारात्मक प्रसंवादी फलन बनें {{math|Ω}}. फिर हर जुड़े सेट के लिए
{{mvar|u}} को एक बंधे हुए कार्यछेत्र में एक गैर-नकारात्मक प्रसंवादी फलन {{math|Ω}} मान लीजिये। फिर हर जुड़े सम्मुच्चय के लिए
:<math>V \subset \overline{V} \subset \Omega,</math>
:<math>V \subset \overline{V} \subset \Omega,</math>
हार्नैक की असमानता
हार्नैक की असमानता
:<math>\sup_V u \le C \inf_V u</math>
:<math>\sup_V u \le C \inf_V u</math>
कुछ स्थिर के लिए रखता है {{mvar|C}} पर ही निर्भर करता है {{mvar|V}} और {{math|Ω}}.
कुछ स्थिर {{mvar|C}} के लिए धारण करता है जो केवल {{mvar|V}} और {{math|Ω}} पर निर्भर करता है।


=== विलक्षणताओं को हटाना ===
=== विलक्षणताओं को हटाना ===
विलक्षणताओं को हटाने का निम्नलिखित सिद्धांत प्रसंवादी कार्यों के लिए है। यदि {{mvar|f }} बिंदीदार खुले उपसमुच्चय पर परिभाषित एक प्रसंवादी फलन है <math>\Omega\,\setminus\,\{x_0\}</math> का {{tmath|\R^n,}}, जो कम विलक्षण है {{math|''x''{{sub|0}}}} मौलिक समाधान की तुलना में (के लिए {{math|''n'' > 2}}), वह है
विलक्षणताओं को हटाने का निम्नलिखित सिद्धांत प्रसंवादी कार्यों के लिए है। यदि {{mvar|f }} {{tmath|\R^n}} के बिंदीदार खुले उपसमुच्चय <math>\Omega\,\setminus\,\{x_0\}</math> पर परिभाषित एक प्रसंवादी फलन है, मौलिक समाधान की तुलना में (के लिए {{math|''n'' > 2}}) जो कम विलक्षण {{math|''x''{{sub|0}}}} है, वह है


:<math>f(x)=o\left( \vert x-x_0 \vert^{2-n}\right),\qquad\text{as }x\to x_0,</math>
:<math>f(x)=o\left( \vert x-x_0 \vert^{2-n}\right),\qquad\text{as }x\to x_0,</math>
तब {{mvar|f }} एक प्रसंवादी फलन पर विस्तारित होता है {{math|Ω}} (रिमूवेबल सिंगुलैरिटी की तुलना करें # रीमैन की प्रमेय | एक जटिल चर के कार्यों के लिए रीमैन की प्रमेय)।
तब {{mvar|f }} एक प्रसंवादी फलन {{math|Ω}} पर विस्तारित होता है (एक जटिल चर के कार्यों के लिए रीमैन की प्रमेय की तुलना करें)।


=== लिउविल का प्रमेय ===
=== लिउविल का प्रमेय ===
प्रमेय: यदि {{mvar|f }} सभी पर परिभाषित एक प्रसंवादी फलन है {{tmath|\R^n}} जो ऊपर से घिरा हुआ है या नीचे घिरा हुआ है {{mvar|f }} स्थिर है।
प्रमेय: यदि {{mvar|f }} सभी {{tmath|\R^n}}पर परिभाषित एक प्रसंवादी फलन है जो ऊपर या नीचे घिरा हुआ है तो {{mvar|f }} स्थिर है।


(लिउविले के प्रमेय (जटिल विश्लेषण) की तुलना करें। एक जटिल चर के कार्यों के लिए लिउविल के प्रमेय)।
(लिउविले के प्रमेय (जटिल विश्लेषण) की तुलना करें)।


[[ एडवर्ड नेल्सन ]] ने परिबद्ध फलनों के मामले में इस प्रमेय का विशेष रूप से संक्षिप्त प्रमाण दिया,<ref>{{cite journal |first=Edward |last=Nelson |title=लिउविल के प्रमेय का प्रमाण|journal=[[Proceedings of the American Mathematical Society]] |year=1961 |volume=12 |issue=6 |pages=995 |doi=10.1090/S0002-9939-1961-0259149-4 |doi-access=free }}</ref> ऊपर वर्णित औसत मूल्य संपत्ति का उपयोग करना:
[[ एडवर्ड नेल्सन ]]ने परिबद्ध फलनों के मामले में ऊपर वर्णित औसत मूल्य संपत्ति का उपयोग करके इस प्रमेय का विशेष रूप से संक्षिप्त प्रमाण दिया,<ref>{{cite journal |first=Edward |last=Nelson |title=लिउविल के प्रमेय का प्रमाण|journal=[[Proceedings of the American Mathematical Society]] |year=1961 |volume=12 |issue=6 |pages=995 |doi=10.1090/S0002-9939-1961-0259149-4 |doi-access=free }}</ref> :
<blockquote>दो बिंदुओं को देखते हुए, दिए गए बिंदुओं को केंद्र के रूप में और समान त्रिज्या वाली दो गेंदों का चयन करें। यदि त्रिज्या काफी बड़ी है, तो दो गेंदें एक साथ आ जाएंगी, सिवाय उनके आयतन के मनमाने ढंग से छोटे अनुपात के। तब से {{mvar|f }} घिरा हुआ है, दो गेंदों पर इसका औसत मनमाने ढंग से करीब है, और इसी तरह {{mvar|f }} किसी भी दो बिंदुओं पर समान मान लेता है। </ब्लॉककोट>
<blockquote>दो बिंदुओं को देखते हुए, दिए गए बिंदुओं को केंद्र के रूप में और समान त्रिज्या वाली दो गेंदों का चयन करें। यदि त्रिज्या काफी बड़ी है, तो दो गेंदें एक साथ आ जाएंगी, सिवाय उनके आयतन के मनमाने ढंग से छोटे अनुपात के। चूँकि f घिरा हुआ है, दो गेंदों पर इसका औसत मनमाने ढंग से करीब है, और इसलिए f किसी भी दो बिंदुओं पर समान मान लेता है।
प्रमाण को उस मामले में अनुकूलित किया जा सकता है जहां प्रसंवादी फलन {{mvar|f }} केवल ऊपर या नीचे बँधा हुआ है। एक स्थिरांक जोड़कर और संभवतः -1 से गुणा करके, हम यह मान सकते हैं {{mvar|f }} गैर-नकारात्मक है। फिर किन्हीं दो बिंदुओं के लिए {{mvar|x}} और {{mvar|y}}, और कोई सकारात्मक संख्या {{mvar|R}}, हम जाने <math>r=R+d(x,y).</math> फिर हम गेंदों पर विचार करते हैं {{math|''B{{sub|R}}''(''x'')}} और {{math|''B{{sub|R}}''(''y'')}} जहां त्रिभुज असमानता से, पहली गेंद दूसरे में समाहित है।
सबूत को उस मामले में अनुकूलित किया जा सकता है जहां प्रसंवादी फलन {{mvar|f }} केवल ऊपर या नीचे घिरा हुआ है। एक स्थिरांक जोड़कर और संभवतः -1 से गुणा करके, हम मान सकते हैं कि {{mvar|f }}गैर-ऋणात्मक है। फिर किन्हीं दो बिंदुओं {{mvar|x}} और {{mvar|y}} के लिए, और किसी सकारात्मक संख्या {{mvar|R}} के लिए, हम मान लेते हैं कि <math>r=R+d(x,y)</math>फिर हम गेंदों {{math|''B{{sub|R}}''(''x'')}} और {{math|''B{{sub|R}}''(''y'')}} पर विचार करते हैं जहां त्रिभुज असमानता से, पहली गेंद दूसरे में समाहित है।


औसत संपत्ति और अभिन्न की एकरसता से, हमारे पास है
औसत संपत्ति और अभिन्न की एकरसता से, हमारे पास है
:<math>f(x)=\frac{1}{\operatorname{vol}(B_R)}\int_{B_R(x)}f(z)\, dz\leq \frac{1}{\operatorname{vol}(B_R)} \int_{B_r(y)}f(z)\, dz.</math>
:<math>f(x)=\frac{1}{\operatorname{vol}(B_R)}\int_{B_R(x)}f(z)\, dz\leq \frac{1}{\operatorname{vol}(B_R)} \int_{B_r(y)}f(z)\, dz.</math>
(ध्यान दें कि चूंकि {{math|vol ''B{{sub|R}}''(''x'')}} से स्वतंत्र है {{mvar|x}}, हम इसे केवल के रूप में निरूपित करते हैं {{math|vol ''B{{sub|R}}''}}.) अंतिम व्यंजक में, हम गुणा और भाग कर सकते हैं {{math|vol ''B{{sub|r}}''}} और प्राप्त करने के लिए फिर से औसत संपत्ति का उपयोग करें
(ध्यान दें कि चूंकि {{math|vol ''B{{sub|R}}''(''x'')}} {{mvar|x}} से स्वतंत्र है, हम इसे केवल {{math|vol ''B{{sub|R}}''}} के रूप में निरूपित करते हैं।) अंतिम व्यंजक में, हम {{math|vol ''B{{sub|r}}''}} से गुणा और भाग कर सकते हैं और निम्न प्राप्त करने के लिए फिर से औसत संपत्ति का उपयोग करें
:<math>f(x)\leq \frac{\operatorname{vol}(B_r)}{\operatorname{vol}(B_R)}f(y).</math>
:<math>f(x)\leq \frac{\operatorname{vol}(B_r)}{\operatorname{vol}(B_R)}f(y).</math>
लेकिन जैसे <math>R\rightarrow\infty ,</math> मात्रा
लेकिन जैसे <math>R\rightarrow\infty ,</math> मात्रा
:<math>\frac{\operatorname{vol}(B_r)}{\operatorname{vol}(B_R)}=\frac{(R+d(x,y))^n}{R^n}</math> 1 की ओर जाता है। इस प्रकार, <math>f(x)\leq f(y).</math> की भूमिकाओं के साथ एक ही तर्क {{mvar|x}} और {{mvar|y}} उल्टा दिखाता है <math>f(y)\leq f(x)</math>, ताकि <math>f(x) = f(y).</math>
:<math>\frac{\operatorname{vol}(B_r)}{\operatorname{vol}(B_R)}=\frac{(R+d(x,y))^n}{R^n}</math> 1 की ओर जाता है। इस प्रकार, <math>f(x)\leq f(y).</math> {{mvar|x}} और {{mvar|y}} की भूमिकाओं के साथ एक ही तर्क उलटा दिखाता है कि <math>f(y)\leq f(x)</math>, ताकि <math>f(x) = f(y)</math>
एक अन्य प्रमाण इस तथ्य का उपयोग करता है कि [[ वीनर प्रक्रिया ]] दी गई है {{mvar|B{{sub|t}}}} में {{tmath|\R^n,}} ऐसा है कि <math>B_0 = x_0,</math> अपने पास <math>E[f(B_t)] = f(x_0)</math> सबके लिए {{math|''t'' ≥ 0}}. शब्दों में, यह कहता है कि एक प्रसंवादी फलन ब्राउनियन गति के लिए [[ मार्टिंगेल (संभाव्यता सिद्धांत) ]] को परिभाषित करता है। तब एक युग्मन (संभाव्यता) तर्क प्रमाण को समाप्त करता है।<ref>{{Cite web |date=2012-01-24 |title=संभाव्य युग्मन|url=https://blameitontheanalyst.wordpress.com/2012/01/24/probabilistic-coupling/ |archive-url=https://web.archive.org/web/20210508091536/https://blameitontheanalyst.wordpress.com/2012/01/24/probabilistic-coupling/ |archive-date=8 May 2021 |access-date=2022-05-26 |website=Blame It On The Analyst |language=en}}</ref>
एक और प्रमाण इस तथ्य का उपयोग करता है कि {{tmath|\R^n}} में एक ब्राउनियन गति {{mvar|B{{sub|t}}}} दी गई है, जैसे कि <math>B_0 = x_0</math>, सभी {{math|''t'' ≥ 0}} के लिए हमारे पास <math>E[f(B_t)] = f(x_0)</math> है। शब्दों में, यह कहता है कि एक प्रसंवादी फलन ब्राउनियन गति के लिए मार्टिंगेल को परिभाषित करता है। तब एक युग्मन (संभाव्यता) तर्क प्रमाण को समाप्त करता है।<ref>{{Cite web |date=2012-01-24 |title=संभाव्य युग्मन|url=https://blameitontheanalyst.wordpress.com/2012/01/24/probabilistic-coupling/ |archive-url=https://web.archive.org/web/20210508091536/https://blameitontheanalyst.wordpress.com/2012/01/24/probabilistic-coupling/ |archive-date=8 May 2021 |access-date=2022-05-26 |website=Blame It On The Analyst |language=en}}</ref>




Line 148: Line 148:


=== [[ कमजोर हार्मोनिक | कमजोर प्रसंवादी]] फलन ===
=== [[ कमजोर हार्मोनिक | कमजोर प्रसंवादी]] फलन ===
एक समारोह (या, अधिक आम तौर पर, एक वितरण (गणित)) कमजोर रूप से प्रसंवादी  होता है यदि यह लाप्लास के समीकरण को संतुष्ट करता है
एक फलन (या, अधिक सामान्यतः, एक विभाजन (गणित) कमजोर रूप से प्रसंवादी  होता है यदि यह लाप्लास के समीकरण को संतुष्ट करता है
:<math>\Delta f = 0\,</math>
:<math>\Delta f = 0\,</math>
एक [[ कमजोर व्युत्पन्न ]] अर्थ में (या, समतुल्य, वितरण के अर्थ में)। एक कमजोर प्रसंवादी फलन लगभग हर जगह दृढ़ता से प्रसंवादी फलन के साथ मेल खाता है, और विशेष रूप से चिकनी है। एक कमजोर प्रसंवादी वितरण ठीक एक मजबूत प्रसंवादी फलन से जुड़ा वितरण है, और इसलिए यह भी चिकना है। यह वेइल की लेम्मा (लाप्लास समीकरण) है | वेइल की लेम्मा।
एक [[ कमजोर व्युत्पन्न |कमजोर व्युत्पन्न]] अर्थ में (या, समतुल्य, विभाजन के अर्थ में)। एक कमजोर प्रसंवादी फलन लगभग हर जगह दृढ़ता से प्रसंवादी फलन के साथ मेल खाता है, और विशेष रूप से सुचारू है। एक कमजोर प्रसंवादी विभाजन ठीक एक मजबूत प्रसंवादी फलन से जुड़ा विभाजन है, और इसलिए यह भी सुचारू है। यह वेइल की लेम्मा (लाप्लास समीकरण) है।


लाप्लास के समीकरण के अन्य कमजोर योग हैं जो अक्सर उपयोगी होते हैं। इनमें से एक डिरिचलेट का सिद्धांत है, जो सोबोलेव अंतरिक्ष में प्रसंवादी कार्यों का प्रतिनिधित्व करता है {{math|''H''<sup>1</sup>(Ω)}} [[ डिरिचलेट ऊर्जा ]] इंटीग्रल के मिनिमाइज़र के रूप में
लाप्लास के समीकरण के अन्य कमजोर योग हैं जो प्रायः उपयोगी होते हैं। इनमें से एक डिरिचलेट का सिद्धांत है, जो सोबोलेव अंतरिक्ष में प्रसंवादी कार्यों {{math|''H''<sup>1</sup>(Ω)}} का प्रतिनिधित्व करता है।[[ डिरिचलेट ऊर्जा ]]अभिन्न के मिनिमाइज़र के रूप में
:<math>J(u):=\int_\Omega |\nabla u|^2\, dx</math>
:<math>J(u):=\int_\Omega |\nabla u|^2\, dx</math>
स्थानीय विविधताओं के संबंध में, यानी सभी कार्य <math>u\in H^1(\Omega)</math> ऐसा है कि <math>J(u) \leq J(u+v)</math> सभी के लिए रखता है <math>v\in C^\infty_c(\Omega),</math> या समकक्ष, सभी के लिए <math>v\in H^1_0(\Omega).</math>
स्थानीय विविधताओं के संबंध में, यानी सभी कार्य <math>u\in H^1(\Omega)</math> ऐसे है कि <math>J(u) \leq J(u+v)</math> सभी के लिए <math>v\in C^\infty_c(\Omega)</math> रखता है या तुल्यतः, सभी के लिए <math>v\in H^1_0(\Omega)</math>




=== कई गुना पर प्रसंवादी  कार्य ===
=== कई गुना पर प्रसंवादी  कार्य ===
लाप्लास-बेल्ट्रामी ऑपरेटर का उपयोग करके प्रसंवादी कार्यों को मनमाने ढंग से [[ रीमैनियन कई गुना ]] पर परिभाषित किया जा सकता है {{math|Δ}}. इस संदर्भ में, एक समारोह को प्रसंवादी अगर कहा जाता है
लाप्लास-बेल्ट्रामी संचालक का उपयोग करके प्रसंवादी कार्यों को मनमाने ढंग से [[ रीमैनियन कई गुना |रीमैनियन विविध]] पर {{math|Δ}} परिभाषित किया जा सकता है। इस संदर्भ में, एक प्रकार्य को प्रसंवादी कहा जाता है यदि
:<math>\ \Delta f = 0.</math>
:<math>\ \Delta f = 0.</math>
यूक्लिडियन अंतरिक्ष में डोमेन पर प्रसंवादी फ़ंक्शंस के कई गुण इस अधिक सामान्य सेटिंग पर ले जाते हैं, जिसमें माध्य मान प्रमेय ([[ geodesic ]] गेंदों पर), अधिकतम सिद्धांत और हार्नैक असमानता सम्मिलित है। औसत मूल्य प्रमेय के अपवाद के साथ, ये दूसरे क्रम के सामान्य रैखिक [[ अण्डाकार आंशिक अंतर समीकरण ]]ों के संगत परिणामों के आसान परिणाम हैं।
यूक्लिडियन स्थल में कार्यक्षेत्र पर प्रसंवादी प्रकार्य के कई गुण इस अधिक सामान्य व्यवस्थान पर ले जाते हैं, जिसमें माध्य मान प्रमेय ([[ geodesic |अल्पान्तरी]] गेंदों पर), अधिकतम सिद्धांत और हार्नैक असमानता सम्मिलित है। औसत मूल्य प्रमेय के अपवाद के साथ, ये दूसरे क्रम के सामान्य रैखिक [[ अण्डाकार आंशिक अंतर समीकरण |दीर्घवृत्तीय आंशिक अंतर समीकरणों]] के संगत परिणामों के आसान परिणाम हैं।


=== Subharmonic कार्य ===
=== अवसंनादी कार्य ===
{{math|''C''<sup>2</sup>}} समारोह जो संतुष्ट करता है {{math|Δ''f'' ≥ 0}} सबप्रसंवादी कहा जाता है। यह शर्त गारंटी देती है कि अधिकतम सिद्धांत कायम रहेगा, हालांकि प्रसंवादी कार्यों के अन्य गुण विफल हो सकते हैं। अधिक आम तौर पर, एक फलन सबप्रसंवादी होता है, अगर और केवल अगर, इसके डोमेन में किसी भी गेंद के इंटीरियर में, इसका ग्राफ उस प्रसंवादी फलन के नीचे स्थित होता है जो गेंद पर अपने सीमा मूल्यों को प्रक्षेपित करता है।
{{math|''C''<sup>2</sup>}} समारोह जो {{math|Δ''f'' ≥ 0}} संतुष्ट करता है अवसंनादी कहा जाता है। यह स्थिति प्रत्याभुति देती है कि अधिकतम सिद्धांत स्थायी रहेगा, हालांकि प्रसंवादी कार्यों के अन्य गुण विफल हो सकते हैं। अधिक सामान्यतः, एक फलन अवसंनादी होता है, यदि और केवल यदि, इसके कार्यछेत्र में किसी भी गेंद के अंतस्थ में, इसका लेखाचित्र उस प्रसंवादी फलन के नीचे स्थित होता है जो गेंद पर अपने सीमा मूल्यों को प्रक्षेपित करता है।


=== [[ हार्मोनिक रूप | प्रसंवादी  रूप]] ===
=== [[ हार्मोनिक रूप | प्रसंवादी  रूप]] ===
प्रसंवादी कार्यों के अध्ययन का एक सामान्यीकरण रीमैनियन मैनिफोल्ड्स पर प्रसंवादी रूपों का अध्ययन है, और यह [[ सह-समरूपता ]] के अध्ययन से संबंधित है। इसके अलावा, प्रसंवादी वेक्टर-मूल्यवान फ़ंक्शंस, या दो रिमेंनियन मैनिफोल्ड्स के प्रसंवादी मैप्स को परिभाषित करना संभव है, जो एक सामान्यीकृत डिरिचलेट एनर्जी फंक्शनल के महत्वपूर्ण बिंदु हैं (इसमें एक विशेष मामले के रूप में प्रसंवादी फलन सम्मिलित हैं, जिसके परिणामस्वरूप [[ डिरिचलेट सिद्धांत ]] के रूप में जाना जाता है)। इस प्रकार का प्रसंवादी नक्शा न्यूनतम सतहों के सिद्धांत में प्रकट होता है। उदाहरण के लिए, एक वक्र, जो कि एक अंतराल से एक नक्शा है {{tmath|\R}} रिमेंनियन मैनिफोल्ड के लिए, एक प्रसंवादी नक्शा है अगर और केवल अगर यह एक जियोडेसिक है।
प्रसंवादी कार्यों के अध्ययन का एक सामान्यीकरण रीमैनियन विविध पर प्रसंवादी रूपों का अध्ययन है, और यह [[ सह-समरूपता ]]के अध्ययन से संबंधित है। इसके अलावा, प्रसंवादी सदिश-मूल्यवान फलन, या दो रिमेंनियन विविध के प्रसंवादी मानचित्र को परिभाषित करना संभव है, जो एक सामान्यीकृत डिरिचलेट ऊर्जा कार्यात्मक के महत्वपूर्ण बिंदु हैं (इसमें एक विशेष मामले के रूप में प्रसंवादी फलन सम्मिलित हैं, जिसके परिणामस्वरूप [[ डिरिचलेट सिद्धांत |डिरिचलेट सिद्धांत]] के रूप में जाना जाता है)। इस प्रकार का प्रसंवादी मानचित्र न्यूनतम सतहों के सिद्धांत में प्रकट होता है। उदाहरण के लिए, एक वक्र, यानी, {{tmath|\R}} में एक अंतराल से एक रिमेंनियन विविध में प्रसंवादी मानचित्र है यदि और केवल यदि यह एक अल्पान्तरी है।


=== कई गुना के बीच प्रसंवादी मानचित्र ===
=== बहुविध के बीच प्रसंवादी मानचित्र ===
{{main|Harmonic map}}
{{main|प्रसंवादी मानचित्र}}
यदि {{mvar|M}} और {{mvar|N}} दो रीमैनियन मैनिफोल्ड हैं, फिर एक प्रसंवादी मैप <math>u: M \to N</math> डिरिचलेट ऊर्जा के एक महत्वपूर्ण बिंदु के रूप में परिभाषित किया गया है
यदि {{mvar|M}} और {{mvar|N}} दो रीमैनियन बहुविध हैं, फिर एक प्रसंवादी मानचित्र <math>u: M \to N</math> डिरिचलेट ऊर्जा के एक महत्वपूर्ण बिंदु के रूप में परिभाषित किया गया है
:<math>D[u] = \frac{1}{2}\int_M \|du\|^2\,d\operatorname{Vol}</math>
:<math>D[u] = \frac{1}{2}\int_M \|du\|^2\,d\operatorname{Vol}</math>
जिसमें <math>du: TM \to TN </math> का अंतर है {{mvar|u}}, और मानदंड वह है जो मीट्रिक द्वारा प्रेरित है {{mvar|M}} और उस पर {{mvar|N}} टेंसर उत्पाद बंडल पर <math>T^\ast M \otimes u^{-1} TN.</math>
जिसमें <math>du: TM \to TN </math> का अंतर {{mvar|u}} है, और मानक वह है जो {{mvar|M}} पर मीट्रिक द्वारा प्रेरित है और {{mvar|N}} पर टेंसर उत्पाद बंडल <math>T^\ast M \otimes u^{-1} TN</math> द्वारा प्रेरित है।
मैनिफोल्ड्स के बीच प्रसंवादी  मानचित्रों के महत्वपूर्ण विशेष मामलों में [[ न्यूनतम सतह ]]ें सम्मिलित हैं, जो सतह के त्रि-आयामी यूक्लिडियन अंतरिक्ष में सटीक रूप से प्रसंवादी विसर्जन हैं। अधिक आम तौर पर, न्यूनतम सबमनिफोल्ड्स एक मैनिफोल्ड के दूसरे में प्रसंवादी विसर्जन होते हैं। [[ हार्मोनिक निर्देशांक | प्रसंवादी निर्देशांक]] एक ही आयाम के एक यूक्लिडियन अंतरिक्ष के कई गुना से एक खुले उपसमुच्चय से एक प्रसंवादी भिन्नता है।
 
बहुविध के बीच प्रसंवादी  मानचित्रों के महत्वपूर्ण विशेष मामलों में [[ न्यूनतम सतह |न्यूनतम सतहें]] सम्मिलित हैं, जो सतह के त्रि-आयामी यूक्लिडियन स्थल में सटीक रूप से प्रसंवादी विसर्जन हैं। अधिक सामान्यतः, न्यूनतम उपबहुविध एक बहुविध के दूसरे में प्रसंवादी विसर्जन होते हैं।[[ हार्मोनिक निर्देशांक | प्रसंवादी निर्देशांक]] एक ही आयाम के एक यूक्लिडियन स्थल के कई गुना से एक खुले उपसमुच्चय से एक प्रसंवादी भिन्नता है।


== यह भी देखें ==
== यह भी देखें ==
{{Div col|colwidth=20em}}
{{Div col|colwidth=20em}}
*बलायज
*बलायज
[[ बिहारमोनिक नक्शा ]] मानचित्र
[[ बाइहार्मोनिक मानचित्र ]]  
* [[ डिरिचलेट समस्या ]]
* [[ डिरिचलेट समस्या ]]
* [[ हार्मोनिक रूपवाद ]]
* [[ प्रसंवादी रूपवाद ]]
* [[ हार्मोनिक बहुपद ]]
* [[ प्रसंवादी बहुपद ]]
* [[ ताप समीकरण ]]
* [[ ताप समीकरण ]]
*इरोटेशनल फ्लो के लिए लाप्लास समीकरण
*अघूर्णी प्रवाह के लिए लाप्लास समीकरण
* पोइसन का समीकरण
* पोइसन का समीकरण
* [[ चतुर्भुज डोमेन ]]
* [[ चतुर्भुज कार्यछेत्र ]]
{{Div col end}}
{{Div col end}}



Revision as of 12:20, 6 January 2023

एनुलस (गणित) पर परिभाषित एक प्रसंवादी फलन।

गणित में,गणितीय भौतिकी और प्रसंभाव्य प्रक्रियाओं के सिद्धांत में, एक प्रसंवादी फलन एक दो बार लगातार भिन्न होने वाला फलन (गणित) है। जहाँ U का खुला उपसमुच्चय है जो लाप्लास के समीकरण को संतुष्ट करता है, अर्थात,

U पर हर जगह। यह आमतौर पर निम्न लिखा जाता है

या


प्रसंवादी शब्द की व्युत्पत्ति

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


उदाहरण

दो चरों के प्रसंवादी फलन के उदाहरण हैं:

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

नीचे दी गई तालिका में के साथ तीन चर के प्रसंवादी कार्यों के उदाहरण दिए गए हैं:

फलन विशिष्टता
मूल बिंदु पर इकाई बिंदु प्रभार
x-निर्देशित द्विध्रुवीय मूल में
संपूर्ण z-अक्ष पर इकाई आवेश घनत्व की रेखा
ऋणात्मक z-अक्ष पर इकाई आवेश घनत्व की रेखा
संपूर्ण z अक्ष पर x-निर्देशित द्विध्रुवों की रेखा
ऋणात्मक z अक्ष पर x-निर्देशित द्विध्रुवों की रेखा

भौतिकी में उत्पन्न होने वाले प्रसंवादी फलन उनकीगणितीय विलक्षणता और सीमा स्थितियों (जैसे डिरिचलेट सीमा स्थिति या न्यूमैन सीमा स्थिति) द्वारा निर्धारित किए जाते हैं। सीमाओं के बिना क्षेत्रों पर, किसी भी संपूर्ण कार्य के वास्तविक या काल्पनिक भाग को जोड़ने से समान विलक्षणता के साथ एक प्रसंवादी फलन उत्पन्न होगा, इसलिए इस मामले में प्रसंवादी फलन इसकी विलक्षणता से निर्धारित नहीं होता है; हालाँकि, हम भौतिक स्थितियों में समाधान को अद्वितीय बना सकते हैं, यह आवश्यक है कि समाधान 0 तक पहुँचता है क्योंकि r अनंत तक पहुँचता है। इस मामले में, विशिष्टता लिउविल के प्रमेय द्वारा अनुसरण करती है।

उपरोक्त प्रसंवादी कार्यों के एकल बिंदुओं को स्थिर विद्युतिकी की शब्दावली का उपयोग करके आवेश (भौतिकी) और आवेश घनत्व के रूप में व्यक्त किया जाता है, और इसलिए संबंधित प्रसंवादी फलन इन आवेश विभाजनों के कारण विद्युत क्षमता के समानुपाती होगा। उपरोक्त प्रत्येक फलन एक स्थिर, घुमाए गए, और/या निरंतर जोड़े जाने पर गुणा किए जाने पर एक और प्रसंवादी फलन उत्पन्न करेगा। प्रत्येक फलन के व्युत्क्रम की विधि से एक और प्रसंवादी फलन निकलेगा जिसमें विलक्षणताएं हैं जो एक गोलाकार दर्पण में मूल विलक्षणताओं की छवियां हैं। साथ ही, किसी भी दो प्रसंवादी कार्यों का योग एक और प्रसंवादी फलन उत्पन्न करेगा।

अंत में, प्रसंवादी कार्यों के उदाहरण n चर हैं:

  • सभी पर स्थिर, रैखिक और सजातीय कार्य करता है (उदाहरण के लिए, संधारित्र की पट्टिका के बीच विद्युत क्षमता और खंड की गुरुत्वाकर्षण क्षमता )
  • n > 2 के लिए पर प्रकार्य

गुण

किसी दिए गए खुले सम्मुच्चय पर प्रसंवादी फलक का सम्मुच्चय U लाप्लास संचालक Δ के कर्नेल (रैखिक संचालक) के रूप में देखा जा सकता है और इसलिए पर एक सदिश स्थल है, प्रसंवादी कार्यों के रैखिक संयोजन फिर से प्रसंवादी होते हैं।

यदि f पर एक प्रसंवादी फलन U है, तो f के सभी आंशिक व्युत्पादित पर भी प्रसंवादी कार्य U हैं। लाप्लास संचालक Δ और आंशिक व्युत्पादित संचालक इस वर्ग के कार्यों पर काम करेगा।

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

प्रसंवादी कार्यों के अभिसरण अनुक्रम की समान सीमा अभी भी प्रसंवादी है। यह सच है क्योंकि औसत मूल्य संपत्ति को संतुष्ट करने वाला प्रत्येक निरंतर कार्य प्रसंवादी है। द्वारा परिभाषित क्रम पर विचार करें। यह अनुक्रम प्रसंवादी है और समान रूप से शून्य फलन में परिवर्तित होता है; हालांकि ध्यान दें कि आंशिक व्युत्पादित समान रूप से शून्य फलन (शून्य फलन के व्युत्पन्न) के अभिसरण नहीं होते हैं। यह उदाहरण औसत मूल्य संपत्ति पर भरोसा करने और यह तर्क देने के लिए निरंतरता दिखाता है कि सीमा प्रसंवादी है।

जटिल कार्य सिद्धांत के साथ संबंध

किसी भी पूर्णसममितिक फलन का वास्तविक और काल्पनिक हिस्सा प्रसंवादी फलन उत्पन्न करता है (इन्हें प्रसंवादी संयुग्म कार्यों की एक जोड़ी कहा जाता है)। इसके विपरीत, कोई प्रसंवादी फलन u एक के खुले उपसमुच्चय Ω पर स्थानीय रूप से एक पूर्णसममितिक फलन का वास्तविक हिस्सा है। यह देखते हुए तुरंत देखा जाता है कि, लिखना जटिल कार्य में पूर्णसममितिक Ω है क्योंकि यह कॉची-रीमैन समीकरणों को संतुष्ट करता है। इसलिए, g स्थानीय रूप से एक आदिम f है , और u का वास्तविक भाग एक स्थिरांक तक f है, जैसे ux का वास्तविक भाग है।

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

प्रसंवादी कार्यों के गुण

लाप्लास के समीकरण से प्रसंवादी कार्यों के कुछ महत्वपूर्ण गुण निकाले जा सकते हैं।

प्रसंवादी कार्यों के लिए नियमितता प्रमेय

खुले सम्मुच्चय में प्रसंवादी फलन असीम रूप से भिन्न होते हैं। वास्तव में, प्रसंवादी कार्य विश्लेषणात्मक कार्य हैं।

अधिकतम सिद्धांत

प्रसंवादी फलन निम्नलिखित अधिकतम मापांक सिद्धांत को संतुष्ट करते हैं: यदि K का एक गैर-खाली संक्षिप्त जगह U है, तब f के लिए प्रतिबंधित K की सीमा (सांस्थिति) पर अपनी अधिकतम और निम्नतम प्राप्त करता है। यदि U आनुषंगिक है, इसका मतलब है कि जहाँ f स्थिर है उन असाधारण मामलों के अलावा f स्थानीय दीर्घतम या न्यूनतम नहीं हो सकता है। अवसंनादी कार्यों के लिए समान गुण दिखाए जा सकते हैं।

औसत मूल्य संपत्ति

यदि B(x, r) केंद्र x वाली एक गेंद (गणित) है और त्रिज्या r जो पूरी तरह से खुले सम्मुच्चय में समाहित है तो गेंद के केंद्र में प्रसंवादी फलक का मान u(x) द्वारा गेंद की सतह पर u का औसत मूल्य दिया जाता है; यह औसत मान भी गेंद के आंतरिक भाग में u के औसत मान के बराबर है। दूसरे शब्दों में,

जहाँ ωn ईकाई बॉल का आयतन n आयाम है और σ (n − 1)-आयामी सतह माप है।

इसके विपरीत, सभी स्थानीय रूप से पूर्णांकित कार्य (मात्रा) माध्य-मूल्य विशेशता को संतुष्ट करते हैं, दोनों असीम रूप से भिन्न और प्रसंवादी हैं।

संकल्पों के संदर्भ में, यदि

मूल के बारे में त्रिज्या r के साथ गेंद के विशिष्ट कार्य को दर्शाता है, सामान्यीकृत ताकि प्रकार्य u Ω पर सुसंगत है यदि और केवल यदि

जैसे ही

प्रमाण का रेखाचित्र। प्रसंवादी कार्यों की औसत-मूल्य संपत्ति का प्रमाण और इसका विलोम तुरंत किसी के लिए गैर-सजातीय समीकरण 0 < s < r को देखते हुए अनुसरण करता है

B(0, r) में संक्षिप्त समर्थन के साथ कक्षा C1,1 के एक आसान स्पष्ट समाधान wr,s को स्वीकार करता है। इस प्रकार, यदि u Ω में सुसंगत है। इस प्रकार, यदि में प्रसंवादी है

सम्मुच्चय Ωr सभी बिंदुओं x में Ω साथ में

तब से u में Ω निरंतर है, में u विलीन हो जाता है जैसे s → 0 के लिए Ω में u औसत मूल्य विशेषता दिखा रहा है। इसके विपरीत, यदि u कोई Ω में माध्य-मूल्य गुण को संतुष्ट करने वाला फलन है, तो वह है,

सभी 0 < s < r के लिए Ωr में रखता है, फिर, χr के साथ कनवल्शन को m गुना दोहराता है:

ताकि u है क्यों कि m-गुना पुनरावृत्त कनवल्शन χr श्रेणी का है और समर्थन के साथ B(0, mr) है, तब से r और m स्वेच्छाचारी हैं, u भी है। इसके अतिरिक्त,

सबके लिए 0 < s < r ताकि Δu = 0 में Ω भिन्नताओं की कलन के मौलिक प्रमेय द्वारा, सामंजस्य और माध्य-मूल्य संपत्ति के बीच समानता को प्रमाणित करना।

औसत मूल्य संपत्ति के इस बयान को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि h कोई भी गोलाकार रूप से सममित कार्य आधार B(x, r) है ऐसे कि तब । दूसरे शब्दों में, हम एक बिंदु u का भारित औसत ले सकते हैं और u(x) को पुनः प्राप्त कर सकते हैं। विशेष रूप से, h को C फलन मानकर, हम किसी भी बिंदु पर u के मूल्य को पुनर्प्राप्त कर सकते हैं भले ही हम केवल यह जानते हों कि कैसे u एक विभाजन (गणित) के रूप में कार्य करता है। वेइल की लेम्मा (लाप्लास समीकरण) देखें।

हार्नैक की असमानता

u को एक बंधे हुए कार्यछेत्र में एक गैर-नकारात्मक प्रसंवादी फलन Ω मान लीजिये। फिर हर जुड़े सम्मुच्चय के लिए

हार्नैक की असमानता

कुछ स्थिर C के लिए धारण करता है जो केवल V और Ω पर निर्भर करता है।

विलक्षणताओं को हटाना

विलक्षणताओं को हटाने का निम्नलिखित सिद्धांत प्रसंवादी कार्यों के लिए है। यदि f के बिंदीदार खुले उपसमुच्चय पर परिभाषित एक प्रसंवादी फलन है, मौलिक समाधान की तुलना में (के लिए n > 2) जो कम विलक्षण x0 है, वह है

तब f एक प्रसंवादी फलन Ω पर विस्तारित होता है (एक जटिल चर के कार्यों के लिए रीमैन की प्रमेय की तुलना करें)।

लिउविल का प्रमेय

प्रमेय: यदि f सभी पर परिभाषित एक प्रसंवादी फलन है जो ऊपर या नीचे घिरा हुआ है तो f स्थिर है।

(लिउविले के प्रमेय (जटिल विश्लेषण) की तुलना करें)।

एडवर्ड नेल्सन ने परिबद्ध फलनों के मामले में ऊपर वर्णित औसत मूल्य संपत्ति का उपयोग करके इस प्रमेय का विशेष रूप से संक्षिप्त प्रमाण दिया,[2] :

दो बिंदुओं को देखते हुए, दिए गए बिंदुओं को केंद्र के रूप में और समान त्रिज्या वाली दो गेंदों का चयन करें। यदि त्रिज्या काफी बड़ी है, तो दो गेंदें एक साथ आ जाएंगी, सिवाय उनके आयतन के मनमाने ढंग से छोटे अनुपात के। चूँकि f घिरा हुआ है, दो गेंदों पर इसका औसत मनमाने ढंग से करीब है, और इसलिए f किसी भी दो बिंदुओं पर समान मान लेता है।

सबूत को उस मामले में अनुकूलित किया जा सकता है जहां प्रसंवादी फलन f केवल ऊपर या नीचे घिरा हुआ है। एक स्थिरांक जोड़कर और संभवतः -1 से गुणा करके, हम मान सकते हैं कि f गैर-ऋणात्मक है। फिर किन्हीं दो बिंदुओं x और y के लिए, और किसी सकारात्मक संख्या R के लिए, हम मान लेते हैं कि । फिर हम गेंदों BR(x) और BR(y) पर विचार करते हैं जहां त्रिभुज असमानता से, पहली गेंद दूसरे में समाहित है।

औसत संपत्ति और अभिन्न की एकरसता से, हमारे पास है

(ध्यान दें कि चूंकि vol BR(x) x से स्वतंत्र है, हम इसे केवल vol BR के रूप में निरूपित करते हैं।) अंतिम व्यंजक में, हम vol Br से गुणा और भाग कर सकते हैं और निम्न प्राप्त करने के लिए फिर से औसत संपत्ति का उपयोग करें

लेकिन जैसे मात्रा

1 की ओर जाता है। इस प्रकार, x और y की भूमिकाओं के साथ एक ही तर्क उलटा दिखाता है कि , ताकि

एक और प्रमाण इस तथ्य का उपयोग करता है कि में एक ब्राउनियन गति Bt दी गई है, जैसे कि , सभी t ≥ 0 के लिए हमारे पास है। शब्दों में, यह कहता है कि एक प्रसंवादी फलन ब्राउनियन गति के लिए मार्टिंगेल को परिभाषित करता है। तब एक युग्मन (संभाव्यता) तर्क प्रमाण को समाप्त करता है।[3]


सामान्यीकरण

कमजोर प्रसंवादी फलन

एक फलन (या, अधिक सामान्यतः, एक विभाजन (गणित) कमजोर रूप से प्रसंवादी होता है यदि यह लाप्लास के समीकरण को संतुष्ट करता है

एक कमजोर व्युत्पन्न अर्थ में (या, समतुल्य, विभाजन के अर्थ में)। एक कमजोर प्रसंवादी फलन लगभग हर जगह दृढ़ता से प्रसंवादी फलन के साथ मेल खाता है, और विशेष रूप से सुचारू है। एक कमजोर प्रसंवादी विभाजन ठीक एक मजबूत प्रसंवादी फलन से जुड़ा विभाजन है, और इसलिए यह भी सुचारू है। यह वेइल की लेम्मा (लाप्लास समीकरण) है।

लाप्लास के समीकरण के अन्य कमजोर योग हैं जो प्रायः उपयोगी होते हैं। इनमें से एक डिरिचलेट का सिद्धांत है, जो सोबोलेव अंतरिक्ष में प्रसंवादी कार्यों H1(Ω) का प्रतिनिधित्व करता है।डिरिचलेट ऊर्जा अभिन्न के मिनिमाइज़र के रूप में

स्थानीय विविधताओं के संबंध में, यानी सभी कार्य ऐसे है कि सभी के लिए रखता है या तुल्यतः, सभी के लिए


कई गुना पर प्रसंवादी कार्य

लाप्लास-बेल्ट्रामी संचालक का उपयोग करके प्रसंवादी कार्यों को मनमाने ढंग से रीमैनियन विविध पर Δ परिभाषित किया जा सकता है। इस संदर्भ में, एक प्रकार्य को प्रसंवादी कहा जाता है यदि

यूक्लिडियन स्थल में कार्यक्षेत्र पर प्रसंवादी प्रकार्य के कई गुण इस अधिक सामान्य व्यवस्थान पर ले जाते हैं, जिसमें माध्य मान प्रमेय (अल्पान्तरी गेंदों पर), अधिकतम सिद्धांत और हार्नैक असमानता सम्मिलित है। औसत मूल्य प्रमेय के अपवाद के साथ, ये दूसरे क्रम के सामान्य रैखिक दीर्घवृत्तीय आंशिक अंतर समीकरणों के संगत परिणामों के आसान परिणाम हैं।

अवसंनादी कार्य

C2 समारोह जो Δf ≥ 0 संतुष्ट करता है अवसंनादी कहा जाता है। यह स्थिति प्रत्याभुति देती है कि अधिकतम सिद्धांत स्थायी रहेगा, हालांकि प्रसंवादी कार्यों के अन्य गुण विफल हो सकते हैं। अधिक सामान्यतः, एक फलन अवसंनादी होता है, यदि और केवल यदि, इसके कार्यछेत्र में किसी भी गेंद के अंतस्थ में, इसका लेखाचित्र उस प्रसंवादी फलन के नीचे स्थित होता है जो गेंद पर अपने सीमा मूल्यों को प्रक्षेपित करता है।

प्रसंवादी रूप

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

बहुविध के बीच प्रसंवादी मानचित्र

यदि M और N दो रीमैनियन बहुविध हैं, फिर एक प्रसंवादी मानचित्र डिरिचलेट ऊर्जा के एक महत्वपूर्ण बिंदु के रूप में परिभाषित किया गया है

जिसमें का अंतर u है, और मानक वह है जो M पर मीट्रिक द्वारा प्रेरित है और N पर टेंसर उत्पाद बंडल द्वारा प्रेरित है।

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

यह भी देखें


टिप्पणियाँ

  1. Axler, Sheldon; Bourdon, Paul; Ramey, Wade (2001). हार्मोनिक फंक्शन थ्योरी. New York: Springer. p. 25. ISBN 0-387-95218-7.
  2. Nelson, Edward (1961). "लिउविल के प्रमेय का प्रमाण". Proceedings of the American Mathematical Society. 12 (6): 995. doi:10.1090/S0002-9939-1961-0259149-4.
  3. "संभाव्य युग्मन". Blame It On The Analyst (in English). 2012-01-24. Archived from the original on 8 May 2021. Retrieved 2022-05-26.


संदर्भ


बाहरी कड़ियाँ