प्रसंवादी फलन: Difference between revisions
(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: | ||
[[Image:Laplace's equation on an annulus.svg|right|thumb|300px|एनुलस (गणित) पर परिभाषित एक प्रसंवादी फलन।]] | |||
[[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> \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}} पर हर जगह। यह सामान्यतः निम्न लिखा जाता है | |||
:<math> \nabla^2 f = 0 </math> | :<math> \nabla^2 f = 0 </math> | ||
Line 14: | Line 12: | ||
== | == प्रसंवादी शब्द की व्युत्पत्ति == | ||
प्रसंवादी फलन नाम में निरुपक प्रसंवादी एक तनावयुक्त तंतु पर एक बिंदु से उत्पन्न होता है जो सरल प्रसंवादी गति से गुजर रहा है। इस प्रकार की गति के लिए अवकल समीकरण का हल द्विज्या और कोटिज्या के रूप में लिखा जा सकता है, ऐसे फलन जिन्हें प्रसंवादी कहा जाता है। [[ फूरियर विश्लेषण |फूरियर विश्लेषण]] में इन प्रसंवादी की एक श्रृंखला के संदर्भ में एकांक वृत्त पर कार्यों का विस्तार करना सम्मिलित है। इकाई 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) = \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> के साथ तीन चर के प्रसंवादी कार्यों के उदाहरण दिए गए हैं: | ||
:{| class="wikitable" | :{| class="wikitable" | ||
! | ! फलन !! [[Mathematical singularity|विशिष्टता]] | ||
|- | |- | ||
|align=center|<math>\frac{1}{r}</math> | |align=center|<math>\frac{1}{r}</math> | ||
| | |मूल बिंदु पर इकाई बिंदु प्रभार | ||
|- | |- | ||
|align=center|<math>\frac{x}{r^3}</math> | |align=center|<math>\frac{x}{r^3}</math> | ||
| | |x-निर्देशित द्विध्रुवीय मूल में | ||
|- | |- | ||
|align=center|<math>-\ln\left(r^2 - z^2\right)\,</math> | |align=center|<math>-\ln\left(r^2 - z^2\right)\,</math> | ||
| | |संपूर्ण z-अक्ष पर इकाई आवेश घनत्व की रेखा | ||
|- | |- | ||
|align=center|<math>-\ln(r + z)\,</math> | |align=center|<math>-\ln(r + z)\,</math> | ||
| | |ऋणात्मक z-अक्ष पर इकाई आवेश घनत्व की रेखा | ||
|- | |- | ||
|align=center|<math>\frac{x}{r^2 - z^2}\,</math> | |align=center|<math>\frac{x}{r^2 - z^2}\,</math> | ||
| | |संपूर्ण z अक्ष पर x-निर्देशित द्विध्रुवों की रेखा | ||
|- | |- | ||
|align=center|<math>\frac{x}{r(r + z)}\,</math> | |align=center|<math>\frac{x}{r(r + z)}\,</math> | ||
| | |ऋणात्मक z अक्ष पर x-निर्देशित द्विध्रुवों की रेखा | ||
|} | |} | ||
भौतिकी में उत्पन्न होने वाले | भौतिकी में उत्पन्न होने वाले प्रसंवादी फलन उनकी[[ गणितीय विलक्षणता ]]और सीमा स्थितियों (जैसे डिरिचलेट सीमा स्थिति या न्यूमैन सीमा स्थिति) द्वारा निर्धारित किए जाते हैं। सीमाओं के बिना क्षेत्रों पर, किसी भी संपूर्ण कार्य के वास्तविक या काल्पनिक भाग को जोड़ने से समान विलक्षणता के साथ एक प्रसंवादी फलन उत्पन्न होगा, इसलिए इस मामले में प्रसंवादी फलन इसकी विलक्षणता से निर्धारित नहीं होता है; हालाँकि, हम भौतिक स्थितियों में समाधान को अद्वितीय बना सकते हैं, यह आवश्यक है कि समाधान 0 तक पहुँचता है क्योंकि r अनंत तक पहुँचता है। इस मामले में, विशिष्टता लिउविल के प्रमेय द्वारा अनुसरण करती है। | ||
उपरोक्त | उपरोक्त प्रसंवादी कार्यों के एकल बिंदुओं को [[ इलेक्ट्रोस्टाटिक्स |स्थिर विद्युतिकी]] की शब्दावली का उपयोग करके [[ चार्ज (भौतिकी) |आवेश (भौतिकी)]] और आवेश घनत्व के रूप में व्यक्त किया जाता है, और इसलिए संबंधित प्रसंवादी फलन इन आवेश विभाजनों के कारण विद्युत क्षमता के समानुपाती होगा। उपरोक्त प्रत्येक फलन एक स्थिर, घुमाए गए, और/या निरंतर जोड़े जाने पर गुणा किए जाने पर एक और प्रसंवादी फलन उत्पन्न करेगा। प्रत्येक फलन के व्युत्क्रम की विधि से एक और प्रसंवादी फलन निकलेगा जिसमें विलक्षणताएं हैं जो एक गोलाकार दर्पण में मूल विलक्षणताओं की छवियां हैं। साथ ही, किसी भी दो प्रसंवादी कार्यों का योग एक और प्रसंवादी फलन उत्पन्न करेगा। | ||
अंत में, | अंत में, प्रसंवादी कार्यों के उदाहरण {{mvar|n}} चर हैं: | ||
* सभी | * सभी {{tmath|\mathbb R^n}} पर स्थिर, रैखिक और सजातीय कार्य करता है (उदाहरण के लिए, [[ संधारित्र |संधारित्र]] की पट्टिका के बीच विद्युत क्षमता और खंड की [[ गुरुत्वाकर्षण क्षमता |गुरुत्वाकर्षण क्षमता]] ) | ||
* | * {{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|f}} पर एक | यदि {{mvar|f}} पर एक प्रसंवादी फलन {{mvar|U}} है, तो {{mvar|f}} के सभी आंशिक व्युत्पादित पर भी प्रसंवादी कार्य {{mvar|U}} हैं। लाप्लास संचालक {{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}} एक {{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|K}} का एक गैर-खाली [[ कॉम्पैक्ट जगह |संक्षिप्त जगह]] {{mvar|U}} है, तब {{mvar|f }} के लिए प्रतिबंधित {{mvar|K}} की [[ सीमा (टोपोलॉजी) |सीमा (सांस्थिति)]] पर अपनी अधिकतम और निम्नतम प्राप्त करता है। यदि {{mvar|U}} [[ जुड़ा हुआ स्थान |आनुषंगिक]] है, इसका मतलब है कि जहाँ {{mvar|f }}[[ निरंतर कार्य | स्थिर]] है उन असाधारण मामलों के अलावा {{mvar|f }} स्थानीय दीर्घतम या न्यूनतम नहीं हो सकता है। अवसंनादी कार्यों के लिए समान गुण दिखाए जा सकते हैं। | |||
=== औसत मूल्य संपत्ति === | === औसत मूल्य संपत्ति === | ||
यदि {{math|''B''(''x'', ''r'')}} केंद्र वाली एक [[ गेंद (गणित) ]] है | यदि {{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)}}-आयामी सतह माप है। | |||
इसके विपरीत, सभी स्थानीय रूप से पूर्णांकित कार्य (मात्रा) माध्य-मूल्य | इसके विपरीत, सभी स्थानीय रूप से पूर्णांकित कार्य (मात्रा) माध्य-मूल्य विशेशता को संतुष्ट करते हैं, दोनों असीम रूप से भिन्न और प्रसंवादी हैं। | ||
संकल्पों के संदर्भ में, यदि | संकल्पों के संदर्भ में, यदि | ||
:<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> | ||
त्रिज्या के साथ गेंद के | मूल के बारे में त्रिज्या 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>\Delta w = \chi_r - \chi_s\;</math> | :<math>\Delta w = \chi_r - \chi_s\;</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> में | |||
तब से {{mvar|u}} में | |||
तब से {{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|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}} | ताकि {{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}} कोई भी गोलाकार रूप से सममित कार्य | औसत मूल्य संपत्ति के इस बयान को निम्नानुसार सामान्यीकृत किया जा सकता है: यदि {{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|Ω}} मान लीजिये। फिर हर जुड़े सम्मुच्चय के लिए | |||
:<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|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 }} एक | तब {{mvar|f }} एक प्रसंवादी फलन {{math|Ω}} पर विस्तारित होता है (एक जटिल चर के कार्यों के लिए रीमैन की प्रमेय की तुलना करें)। | ||
=== लिउविल का प्रमेय === | === लिउविल का प्रमेय === | ||
प्रमेय: यदि {{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>दो बिंदुओं को देखते हुए, दिए गए बिंदुओं को केंद्र के रूप में और समान त्रिज्या वाली दो गेंदों का चयन करें। यदि त्रिज्या काफी बड़ी है, तो दो गेंदें एक साथ आ जाएंगी, सिवाय उनके आयतन के मनमाने ढंग से छोटे अनुपात के। | <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'')}} पर विचार करते हैं जहां त्रिभुज असमानता से, पहली गेंद दूसरे में समाहित है। | ||
औसत संपत्ति और अभिन्न की एकरसता से, हमारे पास है | औसत संपत्ति और अभिन्न की एकरसता से, हमारे पास है | ||
:<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'')}} | (ध्यान दें कि चूंकि {{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> | :<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>। | ||
एक | एक और प्रमाण इस तथ्य का उपयोग करता है कि {{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>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>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>\ \Delta f = 0.</math> | :<math>\ \Delta f = 0.</math> | ||
यूक्लिडियन | यूक्लिडियन स्थल में कार्यक्षेत्र पर प्रसंवादी प्रकार्य के कई गुण इस अधिक सामान्य व्यवस्थान पर ले जाते हैं, जिसमें माध्य मान प्रमेय ([[ geodesic |अल्पान्तरी]] गेंदों पर), अधिकतम सिद्धांत और हार्नैक असमानता सम्मिलित है। औसत मूल्य प्रमेय के अपवाद के साथ, ये दूसरे क्रम के सामान्य रैखिक [[ अण्डाकार आंशिक अंतर समीकरण |दीर्घवृत्तीय आंशिक अंतर समीकरणों]] के संगत परिणामों के आसान परिणाम हैं। | ||
=== | === अवसंनादी कार्य === | ||
{{math|''C''<sup>2</sup>}} समारोह जो {{math|Δ''f'' ≥ 0}} संतुष्ट करता है अवसंनादी कहा जाता है। यह स्थिति प्रत्याभुति देती है कि अधिकतम सिद्धांत स्थायी रहेगा, हालांकि प्रसंवादी कार्यों के अन्य गुण विफल हो सकते हैं। अधिक सामान्यतः, एक फलन अवसंनादी होता है, यदि और केवल यदि, इसके कार्यछेत्र में किसी भी गेंद के अंतस्थ में, इसका लेखाचित्र उस प्रसंवादी फलन के नीचे स्थित होता है जो गेंद पर अपने सीमा मूल्यों को प्रक्षेपित करता है। | |||
=== [[ हार्मोनिक रूप ]] === | === [[ हार्मोनिक रूप | प्रसंवादी रूप]] === | ||
प्रसंवादी कार्यों के अध्ययन का एक सामान्यीकरण रीमैनियन विविध पर प्रसंवादी रूपों का अध्ययन है, और यह [[ सह-समरूपता ]]के अध्ययन से संबंधित है। इसके अलावा, प्रसंवादी सदिश-मूल्यवान फलन, या दो रिमेंनियन विविध के प्रसंवादी मानचित्र को परिभाषित करना संभव है, जो एक सामान्यीकृत डिरिचलेट ऊर्जा कार्यात्मक के महत्वपूर्ण बिंदु हैं (इसमें एक विशेष मामले के रूप में प्रसंवादी फलन सम्मिलित हैं, जिसके परिणामस्वरूप [[ डिरिचलेट सिद्धांत |डिरिचलेट सिद्धांत]] के रूप में जाना जाता है)। इस प्रकार का प्रसंवादी मानचित्र न्यूनतम सतहों के सिद्धांत में प्रकट होता है। उदाहरण के लिए, एक वक्र, यानी, {{tmath|\R}} में एक अंतराल से एक रिमेंनियन विविध में प्रसंवादी मानचित्र है यदि और केवल यदि यह एक अल्पान्तरी है। | |||
=== | === बहुविध के बीच प्रसंवादी मानचित्र === | ||
{{main| | {{main|प्रसंवादी मानचित्र}} | ||
यदि {{mvar|M}} और {{mvar|N}} दो रीमैनियन | |||
यदि {{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> का अंतर | जिसमें <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}}. | ||
== बाहरी कड़ियाँ == | == बाहरी कड़ियाँ == | ||
* {{springer|title=Harmonic function|id=p/h046470}} | * {{springer|title=Harmonic function|id=p/h046470}} | ||
Line 247: | Line 212: | ||
{{Authority control}} | {{Authority control}} | ||
[[श्रेणी: हार्मोनिक कार्य| ]] | |||
[[Category: | [[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
Mathematical analysis → Complex analysis |
Complex analysis |
---|
Complex numbers |
Complex functions |
Basic Theory |
Geometric function theory |
People |
|
गणित में,गणितीय भौतिकी और प्रसंभाव्य प्रक्रियाओं के सिद्धांत में, एक प्रसंवादी फलन एक दो बार लगातार भिन्न होने वाला फलन (गणित) है। जहाँ 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 पर टेंसर उत्पाद बंडल द्वारा प्रेरित है।
बहुविध के बीच प्रसंवादी मानचित्रों के महत्वपूर्ण विशेष मामलों में न्यूनतम सतहें सम्मिलित हैं, जो सतह के त्रि-आयामी यूक्लिडियन स्थल में सटीक रूप से प्रसंवादी विसर्जन हैं। अधिक सामान्यतः, न्यूनतम उपबहुविध एक बहुविध के दूसरे में प्रसंवादी विसर्जन होते हैं। प्रसंवादी निर्देशांक एक ही आयाम के एक यूक्लिडियन स्थल के कई गुना से एक खुले उपसमुच्चय से एक प्रसंवादी भिन्नता है।
यह भी देखें
- बलायज
- डिरिचलेट समस्या
- प्रसंवादी रूपवाद
- प्रसंवादी बहुपद
- ताप समीकरण
- अघूर्णी प्रवाह के लिए लाप्लास समीकरण
- पोइसन का समीकरण
- चतुर्भुज कार्यछेत्र
टिप्पणियाँ
- ↑ Axler, Sheldon; Bourdon, Paul; Ramey, Wade (2001). हार्मोनिक फंक्शन थ्योरी. New York: Springer. p. 25. ISBN 0-387-95218-7.
- ↑ Nelson, Edward (1961). "लिउविल के प्रमेय का प्रमाण". Proceedings of the American Mathematical Society. 12 (6): 995. doi:10.1090/S0002-9939-1961-0259149-4.
- ↑ "संभाव्य युग्मन". Blame It On The Analyst (in English). 2012-01-24. Archived from the original on 8 May 2021. Retrieved 2022-05-26.
संदर्भ
- Evans, Lawrence C. (1998), Partial Differential Equations, American Mathematical Society.
- Gilbarg, David; Trudinger, Neil (12 January 2001), Elliptic Partial Differential Equations of Second Order, ISBN 3-540-41160-7.
- Han, Q.; Lin, F. (2000), Elliptic Partial Differential Equations, American Mathematical Society.
- Jost, Jürgen (2005), Riemannian Geometry and Geometric Analysis (4th ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-25907-7.
- Axler, Sheldon; Bourdon, Paul; Ramey, Wade (2001). Harmonic function theory. Vol. 137 (Second ed.). New York: Springer-Verlag. doi:10.1007/978-1-4757-8137-3. ISBN 0-387-95218-7..
बाहरी कड़ियाँ