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

From Vigyanwiki
(Created page with "{{short description|Functions in mathematics}} {{about|harmonic functions in mathematics|harmonic function in music|diatonic functionality}} Image:Laplace's equation on an a...")
 
No edit summary
 
(8 intermediate revisions by 6 users not shown)
Line 1: Line 1:
{{short description|Functions in mathematics}}
[[Image:Laplace's equation on an annulus.svg|right|thumb|300px|एनुलस (गणित) पर परिभाषित एक प्रसंवादी फलन।]]
{{about|harmonic functions in mathematics|harmonic function in music|diatonic functionality}}
[[Image:Laplace's equation on an annulus.svg|right|thumb|300px|एनुलस (गणित) पर परिभाषित एक हार्मोनिक फ़ंक्शन।]]
{{Complex analysis sidebar}}
{{Complex analysis sidebar}}
गणित, [[ गणितीय भौतिकी ]] और स्टोकेस्टिक प्रक्रियाओं के सिद्धांत में, एक हार्मोनिक फ़ंक्शन एक दो बार लगातार भिन्न होने वाला फ़ंक्शन (गणित) है। <math>f: U \to \mathbb R,</math> कहां {{mvar|U}} का [[ खुला सेट ]] है {{tmath|\mathbb R^n,}} जो लाप्लास के समीकरण को संतुष्ट करता है, अर्थात,
गणित में,[[ गणितीय भौतिकी ]]और प्रसंभाव्य प्रक्रियाओं के सिद्धांत में, एक '''प्रसंवादी फलन''' एक दो बार लगातार भिन्न होने वाला फलन (गणित) <math>f: U \to \mathbb R</math> है। जहाँ {{mvar|U}} का [[ खुला सेट |खुला उपसमुच्चय]] {{tmath|\mathbb R^n}} है जो लाप्लास के समीकरण को संतुष्ट करता है, अर्थात,


:<math> \frac{\partial^2f}{\partial x_1^2} + \frac{\partial^2f}{\partial x_2^2} + \cdots + \frac{\partial^2f}{\partial x_n^2} = 0</math>
:<math> \frac{\partial^2f}{\partial x_1^2} + \frac{\partial^2f}{\partial x_2^2} + \cdots + \frac{\partial^2f}{\partial x_n^2} = 0</math>
हर जगह पर {{mvar|U}}. यह आमतौर पर लिखा जाता है
{{mvar|U}} पर हर जगह। यह सामान्यतः निम्न लिखा जाता है


:<math> \nabla^2 f = 0 </math>
:<math> \nabla^2 f = 0 </math>
Line 14: Line 12:




== हार्मोनिक शब्द की व्युत्पत्ति ==
== प्रसंवादी शब्द की व्युत्पत्ति ==
हार्मोनिक फ़ंक्शन नाम में डिस्क्रिप्टर हार्मोनिक एक तंग स्ट्रिंग पर एक बिंदु से उत्पन्न होता है जो सरल हार्मोनिक गति से गुजर रहा है। इस प्रकार की गति के लिए अवकल समीकरण का हल ज्या और कोज्या के रूप में लिखा जा सकता है, ऐसे फलन जिन्हें हार्मोनिक्स कहा जाता है। [[ फूरियर विश्लेषण ]] में इन हार्मोनिक्स की एक श्रृंखला के संदर्भ में यूनिट सर्कल पर कार्यों का विस्तार करना शामिल है। इकाई n-sphere|n-sphere पर हार्मोनिक्स के उच्च आयामी एनालॉग्स को ध्यान में रखते हुए, एक [[ गोलाकार हार्मोनिक्स ]] पर आता है। ये फलन लाप्लास के समीकरण को संतुष्ट करते हैं और समय के साथ हार्मोनिक फलन लाप्लास के समीकरण को संतुष्ट करते हैं।<ref>{{cite book |last1=Axler |first1=Sheldon |last2=Bourdon |first2=Paul |last3=Ramey |first3=Wade |date=2001 |title=हार्मोनिक फंक्शन थ्योरी|url=https://archive.org/details/harmonicfunction00axle_418 |url-access=limited |location=New York |publisher=Springer |page=[https://archive.org/details/harmonicfunction00axle_418/page/n34 25] |isbn=0-387-95218-7}}</ref>
प्रसंवादी फलन नाम में निरुपक प्रसंवादी एक तनावयुक्त तंतु पर एक बिंदु से उत्पन्न होता है जो सरल प्रसंवादी गति से गुजर रहा है। इस प्रकार की गति के लिए अवकल समीकरण का हल द्विज्या और कोटिज्या के रूप में लिखा जा सकता है, ऐसे फलन जिन्हें प्रसंवादी कहा जाता है। [[ फूरियर विश्लेषण |फूरियर विश्लेषण]] में इन प्रसंवादी की एक श्रृंखला के संदर्भ में एकांक वृत्त पर कार्यों का विस्तार करना सम्मिलित है। इकाई n-वृत्त पर प्रसंवादी के उच्च आयामी सादृश्य को ध्यान में रखते हुए, एक [[ गोलाकार हार्मोनिक्स |गोलाकार प्रसंवादी]] पर आता है। ये फलन लाप्लास के समीकरण को संतुष्ट करते हैं और समय के साथ प्रसंवादी फलन लाप्लास के समीकरण को संतुष्ट करते हैं।<ref>{{cite book |last1=Axler |first1=Sheldon |last2=Bourdon |first2=Paul |last3=Ramey |first3=Wade |date=2001 |title=हार्मोनिक फंक्शन थ्योरी|url=https://archive.org/details/harmonicfunction00axle_418 |url-access=limited |location=New York |publisher=Springer |page=[https://archive.org/details/harmonicfunction00axle_418/page/n34 25] |isbn=0-387-95218-7}}</ref>
 
 
== उदाहरण ==
== उदाहरण ==
दो चरों के हार्मोनिक कार्यों के उदाहरण हैं:
दो चरों के प्रसंवादी फलन के उदाहरण हैं:
* किसी भी [[ होलोमॉर्फिक फ़ंक्शन ]] के वास्तविक और काल्पनिक भाग।
* किसी भी [[ होलोमॉर्फिक फ़ंक्शन |पूर्णसममितिक फलन]] के वास्तविक और काल्पनिक भाग।
* कार्यक्रम <math>\,\! f(x, y) = e^{x} \sin y;</math> यह उपरोक्त उदाहरण का एक विशेष मामला है, जैसे <math>f(x, y) = \operatorname{Im}\left(e^{x+iy}\right) ,</math> और <math>e^{x+iy}</math> एक होलोमोर्फिक फ़ंक्शन है।
* प्रकार्य <math>\,\! f(x, y) = e^{x} \sin y;</math> यह उपरोक्त उदाहरण का एक विशेष मामला है, जैसे <math>f(x, y) = \operatorname{Im}\left(e^{x+iy}\right) ,</math> और <math>e^{x+iy}</math> एक पूर्णसममितिक फलन है।
* कार्यक्रम <math>\,\! f(x, y) = \ln \left(x^2 + y^2\right)</math> पर परिभाषित <math>\mathbb{R}^2 \setminus \lbrace 0 \rbrace .</math> यह एक लाइन चार्ज या लंबे बेलनाकार द्रव्यमान के कारण गुरुत्वाकर्षण क्षमता के कारण विद्युत क्षमता का वर्णन कर सकता है।
* प्रकार्य <math>\,\! f(x, y) = \ln \left(x^2 + y^2\right)</math> पर परिभाषित <math>\mathbb{R}^2 \setminus \lbrace 0 \rbrace </math>यह एक रेखा आवेश के कारण विद्युत क्षमता या लंबे बेलनाकार द्रव्यमान के कारण गुरुत्वाकर्षण क्षमता का वर्णन कर सकता है।


नीचे दी गई तालिका में तीन चर के हार्मोनिक कार्यों के उदाहरण दिए गए हैं <math>r^2=x^2+y^2+z^2:</math>
नीचे दी गई तालिका में <math>r^2=x^2+y^2+z^2</math> के साथ तीन चर के प्रसंवादी कार्यों के उदाहरण दिए गए हैं:
:{| class="wikitable"
:{| class="wikitable"
! Function !! [[Mathematical singularity|Singularity]]
! फलन !! [[Mathematical singularity|विशिष्टता]]
|-
|-
|align=center|<math>\frac{1}{r}</math>
|align=center|<math>\frac{1}{r}</math>
|Unit point charge at origin
|मूल बिंदु पर इकाई बिंदु प्रभार
|-
|-
|align=center|<math>\frac{x}{r^3}</math>
|align=center|<math>\frac{x}{r^3}</math>
|''x''-directed dipole at origin
|x-निर्देशित द्विध्रुवीय मूल में
|-
|-
|align=center|<math>-\ln\left(r^2 - z^2\right)\,</math>
|align=center|<math>-\ln\left(r^2 - z^2\right)\,</math>
|Line of unit charge density on entire z-axis
|संपूर्ण z-अक्ष पर इकाई आवेश घनत्व की रेखा
|-
|-
|align=center|<math>-\ln(r + z)\,</math>
|align=center|<math>-\ln(r + z)\,</math>
|Line of unit charge density on negative z-axis
|ऋणात्मक z-अक्ष पर इकाई आवेश घनत्व की रेखा
|-
|-
|align=center|<math>\frac{x}{r^2 - z^2}\,</math>
|align=center|<math>\frac{x}{r^2 - z^2}\,</math>
|Line of ''x''-directed dipoles on entire ''z'' axis
|संपूर्ण z अक्ष पर x-निर्देशित द्विध्रुवों की रेखा
|-
|-
|align=center|<math>\frac{x}{r(r + z)}\,</math>
|align=center|<math>\frac{x}{r(r + z)}\,</math>
|Line of ''x''-directed dipoles on negative ''z'' axis
|ऋणात्मक z अक्ष पर x-निर्देशित द्विध्रुवों की रेखा
|}
|}
भौतिकी में उत्पन्न होने वाले सुरीले फलन उनकी [[ गणितीय विलक्षणता ]] और सीमा स्थितियों (जैसे डिरिचलेट सीमा स्थिति या न्यूमैन सीमा स्थिति) द्वारा निर्धारित किए जाते हैं। सीमाओं के बिना क्षेत्रों पर, किसी भी संपूर्ण कार्य के वास्तविक या काल्पनिक भाग को जोड़ने से समान विलक्षणता के साथ एक हार्मोनिक फ़ंक्शन उत्पन्न होगा, इसलिए इस मामले में हार्मोनिक फ़ंक्शन इसकी विलक्षणता से निर्धारित नहीं होता है; हालाँकि, हम भौतिक स्थितियों में समाधान को अद्वितीय बना सकते हैं, यह आवश्यक है कि समाधान 0 तक पहुँचता है क्योंकि r अनंत तक पहुँचता है। इस मामले में, विशिष्टता लिउविल के प्रमेय (जटिल विश्लेषण) | लिउविल के प्रमेय द्वारा अनुसरण करती है।
भौतिकी में उत्पन्न होने वाले प्रसंवादी फलन उनकी[[ गणितीय विलक्षणता ]]और सीमा स्थितियों (जैसे डिरिचलेट सीमा स्थिति या न्यूमैन सीमा स्थिति) द्वारा निर्धारित किए जाते हैं। सीमाओं के बिना क्षेत्रों पर, किसी भी संपूर्ण कार्य के वास्तविक या काल्पनिक भाग को जोड़ने से समान विलक्षणता के साथ एक प्रसंवादी फलन उत्पन्न होगा, इसलिए इस मामले में प्रसंवादी फलन इसकी विलक्षणता से निर्धारित नहीं होता है; हालाँकि, हम भौतिक स्थितियों में समाधान को अद्वितीय बना सकते हैं, यह आवश्यक है कि समाधान 0 तक पहुँचता है क्योंकि r अनंत तक पहुँचता है। इस मामले में, विशिष्टता लिउविल के प्रमेय द्वारा अनुसरण करती है।


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


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


* सभी पर स्थिर, रेखीय और एफ़ाइन कार्य करता है {{tmath|\mathbb R^n}} (उदाहरण के लिए, [[ संधारित्र ]] की प्लेटों के बीच विद्युत क्षमता और स्लैब की [[ गुरुत्वाकर्षण क्षमता ]])
* सभी {{tmath|\mathbb R^n}} पर स्थिर, रैखिक और सजातीय कार्य करता है  (उदाहरण के लिए, [[ संधारित्र |संधारित्र]] की पट्टिका के बीच विद्युत क्षमता और खंड की [[ गुरुत्वाकर्षण क्षमता |गुरुत्वाकर्षण क्षमता]] )
* कार्यक्रम <math>\,\! f(x_1, \dots, x_n) = \left({x_1}^2 + \cdots + {x_n}^2\right)^{1-n/2}</math> पर <math>\mathbb{R}^n \setminus \lbrace 0 \rbrace</math> के लिए {{math|''n'' > 2}}.
* {{math|''n'' > 2}} के लिए <math>\mathbb{R}^n \setminus \lbrace 0 \rbrace</math> पर प्रकार्य <math>\,\! f(x_1, \dots, x_n) = \left({x_1}^2 + \cdots + {x_n}^2\right)^{1-n/2}</math> । 


== गुण ==
== गुण ==


किसी दिए गए खुले सेट पर हार्मोनिक फ़ंक्शंस का सेट {{mvar|U}} [[ लाप्लास ऑपरेटर ]] के [[ कर्नेल (रैखिक ऑपरेटर) ]] के रूप में देखा जा सकता है {{math|Δ}} और इसलिए एक [[ सदिश स्थल ]] ओवर है {{tmath|\mathbb R\! :}} हार्मोनिक कार्यों के रैखिक संयोजन फिर से हार्मोनिक होते हैं।
किसी दिए गए खुले सम्मुच्चय पर प्रसंवादी फलक का सम्मुच्चय {{mvar|U}} [[ लाप्लास ऑपरेटर |लाप्लास संचालक]] {{math|Δ}} के [[ कर्नेल (रैखिक ऑपरेटर) |कर्नेल (रैखिक संचालक)]] के रूप में देखा जा सकता है और इसलिए {{tmath|\mathbb R\! :}} पर एक [[ सदिश स्थल |सदिश स्थल]] है, प्रसंवादी कार्यों के रैखिक संयोजन फिर से प्रसंवादी होते हैं।


यदि {{mvar|f}} पर एक हार्मोनिक फ़ंक्शन है {{mvar|U}}, तो के सभी आंशिक डेरिवेटिव {{mvar|f}} पर भी हार्मोनिक कार्य हैं {{mvar|U}}. लाप्लास ऑपरेटर {{math|Δ}} और आंशिक डेरिवेटिव ऑपरेटर इस वर्ग के कार्यों पर काम करेगा।
यदि {{mvar|f}} पर एक प्रसंवादी फलन {{mvar|U}} है, तो {{mvar|f}} के सभी आंशिक व्युत्पादित पर भी प्रसंवादी कार्य {{mvar|U}} हैं। लाप्लास संचालक {{math|Δ}} और आंशिक व्युत्पादित संचालक इस वर्ग के कार्यों पर काम करेगा।


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


हार्मोनिक कार्यों के अभिसरण अनुक्रम की समान सीमा अभी भी हार्मोनिक है। यह सच है क्योंकि औसत मूल्य संपत्ति को संतुष्ट करने वाला प्रत्येक निरंतर कार्य हार्मोनिक है। क्रम पर विचार करें {{tmath|(-\infty,0) \times \mathbb R}} द्वारा परिभाषित <math display="inline">f_n(x,y) = \frac 1 n \exp(nx)\cos(ny);</math> यह अनुक्रम हार्मोनिक है और समान रूप से शून्य फ़ंक्शन में परिवर्तित होता है; हालांकि ध्यान दें कि आंशिक डेरिवेटिव समान रूप से शून्य फ़ंक्शन (शून्य फ़ंक्शन के व्युत्पन्न) के अभिसरण नहीं होते हैं। यह उदाहरण औसत मूल्य संपत्ति पर भरोसा करने और यह तर्क देने के लिए निरंतरता दिखाता है कि सीमा हार्मोनिक है।
प्रसंवादी कार्यों के अभिसरण अनुक्रम की समान सीमा अभी भी प्रसंवादी है। यह सच है क्योंकि औसत मूल्य संपत्ति को संतुष्ट करने वाला प्रत्येक निरंतर कार्य प्रसंवादी है। <math display="inline">f_n(x,y) = \frac 1 n \exp(nx)\cos(ny)</math> द्वारा परिभाषित {{tmath|(-\infty,0) \times \mathbb R}} क्रम पर विचार करें। यह अनुक्रम प्रसंवादी है और समान रूप से शून्य फलन में परिवर्तित होता है; हालांकि ध्यान दें कि आंशिक व्युत्पादित समान रूप से शून्य फलन (शून्य फलन के व्युत्पन्न) के अभिसरण नहीं होते हैं। यह उदाहरण औसत मूल्य संपत्ति पर भरोसा करने और यह तर्क देने के लिए निरंतरता दिखाता है कि सीमा प्रसंवादी है।


== जटिल कार्य सिद्धांत के साथ संबंध ==
== जटिल कार्य सिद्धांत के साथ संबंध ==
किसी भी होलोमोर्फिक फ़ंक्शन का वास्तविक और काल्पनिक हिस्सा हार्मोनिक फ़ंक्शंस उत्पन्न करता है {{tmath|\mathbb R^2}} (इन्हें [[ हार्मोनिक संयुग्म ]] कार्यों की एक जोड़ी कहा जाता है)। इसके विपरीत, कोई हार्मोनिक फ़ंक्शन {{mvar|u}} एक खुले उपसमुच्चय पर {{math|Ω}} का {{tmath|\mathbb R^2}} स्थानीय रूप से एक होलोमोर्फिक फ़ंक्शन का वास्तविक हिस्सा है। यह देखते हुए तुरंत देखा जाता है कि, लिख रहा हूँ <math>z = x + iy,</math> जटिल कार्य <math>g(z) := u_x - i u_y</math> में होलोमॉर्फिक है {{math|Ω}} क्योंकि यह कॉची-रीमैन समीकरणों को संतुष्ट करता है। इसलिए, {{mvar|g}} स्थानीय रूप से एक आदिम है {{mvar|f}}, और {{mvar|u}} का वास्तविक भाग है {{mvar|f}} एक स्थिरांक तक, जैसा {{mvar|u{{sub|x}}}} का वास्तविक भाग है <math>f' = g.</math>
किसी भी पूर्णसममितिक फलन का वास्तविक और काल्पनिक हिस्सा प्रसंवादी फलन {{tmath|\mathbb R^2}} उत्पन्न करता है (इन्हें [[ हार्मोनिक संयुग्म |प्रसंवादी संयुग्म]] कार्यों की एक जोड़ी कहा जाता है)। इसके विपरीत, कोई प्रसंवादी फलन {{mvar|u}} एक {{tmath|\mathbb R^2}} के खुले उपसमुच्चय {{math|Ω}} पर स्थानीय रूप से एक पूर्णसममितिक फलन का वास्तविक हिस्सा है। यह देखते हुए तुरंत देखा जाता है कि, <math>z = x + iy,</math> लिखना जटिल कार्य <math>g(z) := u_x - i u_y</math> में पूर्णसममितिक {{math|Ω}} है क्योंकि यह कॉची-रीमैन समीकरणों को संतुष्ट करता है। इसलिए, {{mvar|g}} स्थानीय रूप से एक आदिम {{mvar|f}} है , और {{mvar|u}} का वास्तविक भाग एक स्थिरांक तक {{mvar|f}} है, जैसे {{mvar|u{{sub|x}}}} का वास्तविक भाग <math>f' = g</math> है।  
यद्यपि होलोमोर्फिक कार्यों के साथ उपरोक्त पत्राचार केवल दो वास्तविक चर, हार्मोनिक कार्यों के कार्यों के लिए है {{mvar|n}} चर अभी भी होलोमोर्फिक कार्यों के विशिष्ट गुणों का आनंद लेते हैं। वे (वास्तविक) विश्लेषणात्मक हैं; उनके पास अधिकतम सिद्धांत और औसत मूल्य सिद्धांत है; विलक्षणताओं को हटाने का एक प्रमेय और साथ ही एक लिउविल प्रमेय उनके लिए जटिल कार्य सिद्धांत में संबंधित प्रमेयों के अनुरूप है।


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


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


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


=== औसत मूल्य संपत्ति ===
=== औसत मूल्य संपत्ति ===
यदि {{math|''B''(''x'', ''r'')}} केंद्र वाली एक [[ गेंद (गणित) ]] है {{mvar|x}} और त्रिज्या {{mvar|r}} जो पूरी तरह से खुले सेट में समाहित है <math>\Omega \subset \R^n,</math> फिर मूल्य {{math|''u''(''x'')}} एक हार्मोनिक फ़ंक्शन का <math>u: \Omega \to \R</math> गेंद के केंद्र में के औसत मूल्य द्वारा दिया जाता है {{mvar|u}} गेंद की सतह पर; यह औसत मान भी के औसत मान के बराबर है {{mvar|u}} गेंद के भीतरी भाग में। दूसरे शब्दों में,
यदि {{math|''B''(''x'', ''r'')}} केंद्र {{mvar|x}} वाली एक[[ गेंद (गणित) | गेंद (गणित)]] है और त्रिज्या {{mvar|r}} जो पूरी तरह से खुले सम्मुच्चय <math>\Omega \subset \R^n</math> में समाहित है तो गेंद के केंद्र में प्रसंवादी फलक <math>u: \Omega \to \R</math> का मान {{math|''u''(''x'')}} द्वारा गेंद की सतह पर {{mvar|u}} का औसत मूल्य दिया जाता है; यह औसत मान भी गेंद के आंतरिक भाग में {{mvar|u}} के औसत मान के बराबर है। दूसरे शब्दों में,


:<math>u(x) = \frac{1}{n\omega_n r^{n-1}}\int_{\partial B(x,r)} u\, d\sigma  = \frac{1}{\omega_n r^n}\int_{B(x,r)} u\, dV</math>
:<math>u(x) = \frac{1}{n\omega_n r^{n-1}}\int_{\partial B(x,r)} u\, d\sigma  = \frac{1}{\omega_n r^n}\int_{B(x,r)} u\, dV</math>
कहां {{mvar|ω{{sub|n}}}} यूनिट बॉल का आयतन है {{mvar|n}} आयाम और {{mvar|σ}} है {{math|(''n'' − 1)}}-आयामी सतह माप।
जहाँ {{mvar|ω{{sub|n}}}} ईकाई बॉल का आयतन {{mvar|n}} आयाम है और {{mvar|σ}} {{math|(''n'' − 1)}}-आयामी सतह माप है।


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


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


:<math>\chi_r := \frac{1}{|B(0, r)|}\chi_{B(0, r)} = \frac{n}{\omega_n r^n}\chi_{B(0, r)}</math>
:<math>\chi_r := \frac{1}{|B(0, r)|}\chi_{B(0, r)} = \frac{n}{\omega_n r^n}\chi_{B(0, r)}</math>
त्रिज्या के साथ गेंद के सूचक कार्य को दर्शाता है {{mvar|r}} उत्पत्ति के बारे में, सामान्यीकृत ताकि <math display="inline">\int_{\R^n}\chi_r\, dx = 1,</math> कार्यक्रम {{mvar|u}} हार्मोनिक चालू है {{math|Ω}} अगर और केवल अगर
मूल के बारे में त्रिज्या r के साथ गेंद के विशिष्ट कार्य को दर्शाता है, सामान्यीकृत ताकि <math display="inline">\int_{\R^n}\chi_r\, dx = 1,</math> प्रकार्य {{mvar|u}} {{math|Ω}} पर सुसंगत है यदि और केवल यदि


:<math>u(x) = u*\chi_r(x)\;</math>
:<math>u(x) = u*\chi_r(x)\;</math>
जैसे ही <math>B(x,r) \subset \Omega.</math>
जैसे ही <math>B(x,r) \subset \Omega.</math>
सबूत का स्केच। हार्मोनिक कार्यों की औसत-मूल्य संपत्ति का प्रमाण और इसका विलोम तुरंत किसी के लिए गैर-सजातीय समीकरण को देखते हुए अनुसरण करता है {{math|0 < ''s'' < ''r''}}
 
'''प्रमाण का रेखाचित्र'''। प्रसंवादी कार्यों की औसत-मूल्य संपत्ति का प्रमाण और इसका विलोम तुरंत किसी के लिए गैर-सजातीय समीकरण {{math|0 < ''s'' < ''r''}} को देखते हुए अनुसरण करता है
:<math>\Delta w = \chi_r  - \chi_s\;</math>
:<math>\Delta w = \chi_r  - \chi_s\;</math>
एक आसान स्पष्ट समाधान स्वीकार करता है {{mvar|w{{sub|r,s}}}} वर्ग का {{math|''C''<sup>1,1</sup>}} में कॉम्पैक्ट समर्थन के साथ {{math|''B''(0, ''r'')}}. इस प्रकार, यदि {{mvar|u}} में हार्मोनिक है {{math|Ω}}
{{math|''B''(0, ''r'')}} में संक्षिप्त समर्थन के साथ कक्षा {{math|''C''<sup>1,1</sup>}} के एक आसान स्पष्ट समाधान {{mvar|w{{sub|r,s}}}} को स्वीकार करता है। इस प्रकार, यदि {{mvar|u}} {{math|Ω}} में सुसंगत है। इस प्रकार, यदि में प्रसंवादी है
:<math>0=\Delta u * w_{r,s} = u*\Delta w_{r,s}= u*\chi_r  - u*\chi_s\;</math>
:<math>0=\Delta u * w_{r,s} = u*\Delta w_{r,s}= u*\chi_r  - u*\chi_s\;</math>
सेट में रखता है {{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}} के लिए औसत मूल्य संपत्ति दिखा रहा है {{mvar|u}} में {{math|Ω}}. इसके विपरीत यदि {{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>
 
 
== सामान्यीकरण ==
== सामान्यीकरण ==


=== [[ कमजोर हार्मोनिक ]] फ़ंक्शन ===
=== [[ कमजोर हार्मोनिक | कमजोर प्रसंवादी]] फलन ===
एक समारोह (या, अधिक आम तौर पर, एक वितरण (गणित)) कमजोर रूप से हार्मोनिक होता है यदि यह लाप्लास के समीकरण को संतुष्ट करता है
एक फलन (या, अधिक सामान्यतः, एक विभाजन (गणित) कमजोर रूप से प्रसंवादी  होता है यदि यह लाप्लास के समीकरण को संतुष्ट करता है
:<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}}
== टिप्पणियाँ ==
== टिप्पणियाँ ==
{{Reflist}}
{{Reflist}}
== संदर्भ ==
== संदर्भ ==
* {{citation|first=Lawrence C.|last=Evans|author-link=Lawrence C. Evans|year=1998|title=Partial Differential Equations|publisher=American Mathematical Society}}.
* {{citation|first=Lawrence C.|last=Evans|author-link=Lawrence C. Evans|year=1998|title=Partial Differential Equations|publisher=American Mathematical Society}}.
Line 210: Line 205:
| year=2001
| year=2001
| doi=10.1007/978-1-4757-8137-3}}.
| doi=10.1007/978-1-4757-8137-3}}.
==इस पेज में लापता आंतरिक लिंक की सूची==
*वलय (गणित)
*समारोह (गणित)
*अनेक संभावनाओं में से चुनी हूई प्रक्रिया
*लगातार अलग करने योग्य
*अंक शास्त्र
*उपलक्ष्य अलंकार जिस में अंश के लिये पूर्ण अथवा पूर्ण के लिये अंश का प्र
*सरल आवर्त गति
*संपूर्ण समारोह
*न्यूमैन सीमा की स्थिति
*विद्युतीय संभाव्यता
*उलटा करने का तरीका
*चार्ज का घनत्व
*डिरिचलेट सीमा की स्थिति
*आंशिक व्युत्पन्न
*बिजली की श्रृंखला
*मैक्सिमा और मिनिमा
*सबहार्मोनिक फ़ंक्शन
*घुमाव
*सूचक समारोह
*युग्मन (संभावना)
*सोबोलेव स्पेस
*कमजोर सूत्रीकरण
*डिफियोमोर्फिज्म
*Balayage
*अघूर्णी प्रवाह के लिए लाप्लास समीकरण
== बाहरी कड़ियाँ ==
== बाहरी कड़ियाँ ==
* {{springer|title=Harmonic function|id=p/h046470}}
* {{springer|title=Harmonic function|id=p/h046470}}
Line 247: Line 212:
{{Authority control}}
{{Authority control}}


{{DEFAULTSORT:Harmonic Function}}[[श्रेणी: हार्मोनिक कार्य| ]]
[[श्रेणी: हार्मोनिक कार्य| ]]
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 27/12/2022]]
[[Category:Created On 27/12/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Multi-column templates]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]

Latest revision as of 12:31, 3 November 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.

संदर्भ

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