अवशिष्ट प्रमेय: Difference between revisions

From Vigyanwiki
(text)
No edit summary
 
(5 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Concept of complex analysis}}
{{short description|Concept of complex analysis}}
{{Complex analysis sidebar}}
[[जटिल विश्लेषण]] में, अवशिष्ट प्रमेय, जिसे कभी-कभी '''कौशी का अवशिष्ट प्रमेय''' भी कहा जाता है, बंद वक्रों पर [[विश्लेषणात्मक कार्य|विश्लेषणात्मक कार्यों]] के [[ रेखा अभिन्न |रेखा अभिन्न]] का मूल्यांकन करने के लिए एक शक्तिशाली उपकरण है; इसका उपयोग प्रायः वास्तविक अभिन्न और [[अनंत श्रृंखला]] की गणना करने के लिए भी किया जा सकता है। यह कॉशी पूर्णांकी प्रमेय और [[कॉची अभिन्न प्रमेय]] का सामान्यीकरण करता है। एक ज्यामितीय परिप्रेक्ष्य से, इसे सामान्यीकृत स्टोक्स प्रमेय की विशेष स्तिथि के रूप में देखा जा सकता है।
[[जटिल विश्लेषण]] में, अवशिष्ट प्रमेय, जिसे कभी-कभी '''कौशी का अवशिष्ट प्रमेय''' भी कहा जाता है, बंद वक्रों पर [[विश्लेषणात्मक कार्य|विश्लेषणात्मक कार्यों]] के [[ रेखा अभिन्न |रेखा अभिन्न]] का मूल्यांकन करने के लिए एक शक्तिशाली उपकरण है; इसका उपयोग प्रायः वास्तविक अभिन्न और [[अनंत श्रृंखला]] की गणना करने के लिए भी किया जा सकता है। यह कॉशी पूर्णांकी प्रमेय और [[कॉची अभिन्न प्रमेय]] का सामान्यीकरण करता है। एक ज्यामितीय परिप्रेक्ष्य से, इसे सामान्यीकृत स्टोक्स प्रमेय की विशेष स्तिथि के रूप में देखा जा सकता है।


== कथन ==
== कथन ==
बयान इस प्रकार है:
बयान इस प्रकार है:
[[Image:Residue theorem illustration.png|left|250px|thumb|सम्मुच्चयिंग का चित्रण।]]मान लीजिये {{mvar|U}} {{math|''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub>}} बिंदुओं की एक परिमित सूची वाले जटिल तल का एक सरल रूप से जुड़ा हुआ [[खुला उपसमुच्चय]] है ,
[[Image:Residue theorem illustration.png|left|250px|thumb|समुच्चयन का चित्रण।]]मान लीजिये {{mvar|U}} {{math|''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub>}} बिंदुओं की एक परिमित सूची वाले जटिल तल का एक सरल रूप से जुड़ा हुआ [[खुला उपसमुच्चय]] है ,
  {{math|1=''U''<sub>0</sub> = ''U'' \ {''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>}<nowiki/>}},
  {{math|1=''U''<sub>0</sub> = ''U'' \ {''a''<sub>1</sub>, …, ''a''<sub>''n''</sub>}<nowiki/>}},
और एक फलन {{mvar|f}} {{math|''U''<sub>0</sub>}} पर परिभाषित और [[होलोमॉर्फिक फ़ंक्शन|पूर्णसममितिक फलन]] है। मान लीजिये {{mvar|γ}} में एक बंद [[सुधार योग्य वक्र|संशोधनीय वक्र]] {{math|''U''<sub>0</sub>}} है, और {{mvar|γ}} की [[घुमावदार संख्या]] को {{math|''a''<sub>''k''</sub>}} के आस-पास {{math|I(''γ'', ''a''<sub>''k''</sub>)}} से निरूपित करें। {{mvar|γ}} के चारों ओर {{mvar|f}} का लाइन इंटीग्रल बिंदुओं पर {{mvar|f}} के अवशेषों के योग के {{math|2''πi''}} गुणा के बराबर है, हर किसी को उतने बार गिना जाता है जितने बार {{mvar|γ}} निम्न बिंदु पर घुमाव लेता है:
और एक फलन {{mvar|f}} {{math|''U''<sub>0</sub>}} पर परिभाषित और [[होलोमॉर्फिक फ़ंक्शन|पूर्णसममितिक फलन]] है। मान लीजिये {{mvar|γ}} में एक बंद [[सुधार योग्य वक्र|संशोधनीय वक्र]] {{math|''U''<sub>0</sub>}} है, और {{mvar|γ}} की [[घुमावदार संख्या]] को {{math|''a''<sub>''k''</sub>}} के आस-पास {{math|I(''γ'', ''a''<sub>''k''</sub>)}} से निरूपित करें। {{mvar|γ}} के चारों ओर {{mvar|f}} का लाइन इंटीग्रल बिंदुओं पर {{mvar|f}} के अवशेषों के योग के {{math|2''πi''}} गुणा के बराबर है, हर किसी को उतने बार गिना जाता है जितने बार {{mvar|γ}} निम्न बिंदु पर घुमाव लेता है:
<math display="block">\oint_\gamma f(z)\, dz = 2\pi i \sum_{k=1}^n \operatorname{I}(\gamma, a_k) \operatorname{Res}( f, a_k ). </math>
<math display="block">\oint_\gamma f(z)\, dz = 2\pi i \sum_{k=1}^n \operatorname{I}(\gamma, a_k) \operatorname{Res}( f, a_k ). </math>
अगर {{mvar|γ}} [[वक्र अभिविन्यास]] [[जॉर्डन वक्र]] है तो, {{math|1=I(''γ'', ''a''<sub>''k''</sub>) = 1}} अगर {{math|''a''<sub>''k''</sub>}} {{mvar|γ}} के भीतरी भाग में है, और यदि नहीं है तो 0 है,  
यदि {{mvar|γ}} [[वक्र अभिविन्यास]] [[जॉर्डन वक्र]] है तो, {{math|1=I(''γ'', ''a''<sub>''k''</sub>) = 1}} यदि {{math|''a''<sub>''k''</sub>}} {{mvar|γ}} के भीतरी भाग में है, और यदि नहीं है तो 0 है,  
<math display="block">\oint_\gamma f(z)\, dz = 2\pi i \sum \operatorname{Res}( f, a_k ) </math>
<math display="block">\oint_\gamma f(z)\, dz = 2\pi i \sum \operatorname{Res}( f, a_k ) </math>
{{mvar|γ}} के अंदर उन {{math|''a''<sub>''k''</sub>}} योग के साथ है।<ref>{{harvnb|Whittaker|Watson|1920|loc=§6.1|page=112}}.</ref>
{{mvar|γ}} के अंदर उन {{math|''a''<sub>''k''</sub>}} योग के साथ है।<ref>{{harvnb|Whittaker|Watson|1920|loc=§6.1|page=112}}.</ref>
Line 57: Line 56:
और अंत में हमारे पास है
और अंत में हमारे पास है
<math display="block">\int_{-\infty}^\infty\frac{e^{itz}}{z^2+1}\,dz=\pi e^{-\left|t\right|}.</math>
<math display="block">\int_{-\infty}^\infty\frac{e^{itz}}{z^2+1}\,dz=\pi e^{-\left|t\right|}.</math>
(अगर {{math|1=''t'' = 0}} तब समाकलन प्राथमिक कलन पद्धतियों के लिए तुरंत उत्पन्न होता है और इसका मूल्य {{pi}} है।)
(यदि {{math|1=''t'' = 0}} तब समाकलन प्राथमिक कलन पद्धतियों के लिए तुरंत उत्पन्न होता है और इसका मूल्य {{pi}} है।)


=== एक अनंत राशि ===
=== एक अनंत राशि ===
Line 65: Line 64:


<math display="block">\frac{1}{2 \pi i} \int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz = \operatorname{Res}\limits_{z = 0} + \sum_{n = -N \atop n\ne 0}^N n^{-2}.</math>
<math display="block">\frac{1}{2 \pi i} \int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz = \operatorname{Res}\limits_{z = 0} + \sum_{n = -N \atop n\ne 0}^N n^{-2}.</math>
'''बाएं हाथ की ओर शून्य हो जाता''' है {{math|''N'' → ∞}} चूंकि इंटीग्रैंड में ऑर्डर है <math>O(n^{-2})</math>. वहीं दूसरी ओर,<ref>{{harvnb|Whittaker|Watson|1920|loc=§7.2|page=125}}. Note that the Bernoulli number <math>B_{2n}</math> is denoted by <math>B_{n}</math> in Whittaker & Watson's book.</ref>
बाएं हाथ की ओर {{math|''N'' → ∞}} के रूप में शून्य हो जाता है चूंकि इंटीग्रैंड में अनुक्रम <math>O(n^{-2})</math> है। वहीं दूसरी ओर,<ref>{{harvnb|Whittaker|Watson|1920|loc=§7.2|page=125}}. Note that the Bernoulli number <math>B_{2n}</math> is denoted by <math>B_{n}</math> in Whittaker & Watson's book.</ref>


<math display="block">\frac{z}{2} \cot\left(\frac{z}{2}\right) = 1 - B_2 \frac{z^2}{2!} + \cdots </math> जहां [[बरनौली संख्या]] <math>B_2 = \frac{1}{6}.</math>
<math display="block">\frac{z}{2} \cot\left(\frac{z}{2}\right) = 1 - B_2 \frac{z^2}{2!} + \cdots </math> जहां [[बरनौली संख्या]] <math>B_2 = \frac{1}{6}.</math>
(वास्तव में, {{math|1={{sfrac|''z''|2}} cot({{sfrac|''z''|2}}) = {{sfrac|''iz''|1 − ''e''<sup>−''iz''</sup>}} − {{sfrac|''iz''|2}}}}।) इस प्रकार, अवशेष {{math|Res{{sub|1=''z''=0}}}} है {{math|−{{sfrac|''π''<sup>2</sup>|3}}}}. हम निष्कर्ष निकालते हैं:
(वास्तव में, {{math|1={{sfrac|''z''|2}} cot({{sfrac|''z''|2}}) = {{sfrac|''iz''|1 − ''e''<sup>−''iz''</sup>}} − {{sfrac|''iz''|2}}}}।) इस प्रकार, अवशेष {{math|Res{{sub|1=''z''=0}}}} {{math|−{{sfrac|''π''<sup>2</sup>|3}}}} है। हम निष्कर्ष निकालते हैं:


<math display="block">\sum_{n = 1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}</math>
<math display="block">\sum_{n = 1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}</math>
Line 75: Line 74:
आइज़ेंस्टीन श्रृंखला का योग स्थापित करने के लिए एक ही चाल का उपयोग किया जा सकता है:
आइज़ेंस्टीन श्रृंखला का योग स्थापित करने के लिए एक ही चाल का उपयोग किया जा सकता है:
<math display="block">\pi \cot(\pi z) = \lim_{N \to \infty} \sum_{n=-N}^N (z - n)^{-1}.</math>
<math display="block">\pi \cot(\pi z) = \lim_{N \to \infty} \sum_{n=-N}^N (z - n)^{-1}.</math>
हम लेते हैं {{math|1=''f''(''z'') = (''w'' − ''z'')<sup>−1</sup>}} साथ {{mvar|w}} एक गैर-पूर्णांक और हम उपरोक्त के लिए दिखाएंगे {{mvar|w}}. इस मामले में कठिनाई अनंत पर समोच्च समाकल के गायब होने को दर्शाने की है। अपने पास:
हम {{math|1=''f''(''z'') = (''w'' − ''z'')<sup>−1</sup>}} लेते हैं जिसमें {{mvar|w}} एक पूर्णांक नहीं होता है और हम उपरोक्त को {{mvar|w}} के लिए दिखाएंगे। इस स्तिथि में कठिनाई अनंत पर समोच्च समाकल के गायब होने को दर्शाने की है। अपने पास निम्न है:
<math display="block">\int_{\Gamma_N} \frac{\pi \cot(\pi z)}{z} \, dz = 0</math>
<math display="block">\int_{\Gamma_N} \frac{\pi \cot(\pi z)}{z} \, dz = 0</math>
चूँकि समाकलन एक समान कार्य है और इसलिए बाएँ-आधे तल में समोच्च से योगदान और दाईं ओर समोच्च एक दूसरे को रद्द कर देते हैं। इस प्रकार,
चूँकि समाकलन एक समान कार्य है और इसलिए बाएँ-आधे तल में समोच्च से योगदान और दाईं ओर समोच्च एक दूसरे को रद्द कर देते हैं। इस प्रकार,
<math display="block">\int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz = \int_{\Gamma_N} \left(\frac{1}{w - z} + \frac{1}{z}\right) \pi \cot(\pi z) \, dz</math>
<math display="block">\int_{\Gamma_N} f(z) \pi \cot(\pi z) \, dz = \int_{\Gamma_N} \left(\frac{1}{w - z} + \frac{1}{z}\right) \pi \cot(\pi z) \, dz</math>
के रूप में शून्य हो जाता है {{math|''N'' → ∞}}.
{{math|''N'' → ∞}} के रूप में शून्य हो जाता है।


== यह भी देखें ==
== यह भी देखें ==
Line 143: Line 142:
* {{springer|title=Cauchy integral theorem|id=p/c020900}}
* {{springer|title=Cauchy integral theorem|id=p/c020900}}
* [http://mathworld.wolfram.com/ResidueTheorem.html Residue theorem] in [[MathWorld]]
* [http://mathworld.wolfram.com/ResidueTheorem.html Residue theorem] in [[MathWorld]]
[[Category: जटिल विश्लेषण में प्रमेय]] [[Category: विश्लेषणात्मक कार्य]]


 
[[Category:CS1 français-language sources (fr)]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 17/03/2023]]
[[Category:Created On 17/03/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[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:जटिल विश्लेषण में प्रमेय]]
[[Category:विश्लेषणात्मक कार्य]]

Latest revision as of 21:02, 17 April 2023

जटिल विश्लेषण में, अवशिष्ट प्रमेय, जिसे कभी-कभी कौशी का अवशिष्ट प्रमेय भी कहा जाता है, बंद वक्रों पर विश्लेषणात्मक कार्यों के रेखा अभिन्न का मूल्यांकन करने के लिए एक शक्तिशाली उपकरण है; इसका उपयोग प्रायः वास्तविक अभिन्न और अनंत श्रृंखला की गणना करने के लिए भी किया जा सकता है। यह कॉशी पूर्णांकी प्रमेय और कॉची अभिन्न प्रमेय का सामान्यीकरण करता है। एक ज्यामितीय परिप्रेक्ष्य से, इसे सामान्यीकृत स्टोक्स प्रमेय की विशेष स्तिथि के रूप में देखा जा सकता है।

कथन

बयान इस प्रकार है:

समुच्चयन का चित्रण।

मान लीजिये U a1, ..., an बिंदुओं की एक परिमित सूची वाले जटिल तल का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय है ,

U0 = U \ {a1, …, an},

और एक फलन f U0 पर परिभाषित और पूर्णसममितिक फलन है। मान लीजिये γ में एक बंद संशोधनीय वक्र U0 है, और γ की घुमावदार संख्या को ak के आस-पास I(γ, ak) से निरूपित करें। γ के चारों ओर f का लाइन इंटीग्रल बिंदुओं पर f के अवशेषों के योग के 2πi गुणा के बराबर है, हर किसी को उतने बार गिना जाता है जितने बार γ निम्न बिंदु पर घुमाव लेता है:

यदि γ वक्र अभिविन्यास जॉर्डन वक्र है तो, I(γ, ak) = 1 यदि ak γ के भीतरी भाग में है, और यदि नहीं है तो 0 है,
γ के अंदर उन ak योग के साथ है।[1]

अवशिष्ट प्रमेय का स्टोक्स प्रमेय से संबंध जॉर्डन वक्र प्रमेय द्वारा दिया गया है। सामान्य समतल वक्र γ को पहले सरल बंद वक्रों {γi} के एक सम्मुच्चय में कम किया जाना चाहिए जिसका योग γ एकीकरण उद्देश्यों के लिए बराबर है; यह आंतरिक V के साथ जॉर्डन वक्र γi के साथ f dz का समाकलन ज्ञात करने की समस्या को कम करता है। f U0 = U \ {ak}पर पूर्णसममितिक होने की आवश्यकता इस कथन के बराबर है कि बाह्य व्युत्पन्न d(f dz) = 0 पर U0 है। इस प्रकार यदि U के दो तलीय क्षेत्र V और W, {ak} के समान उपसमुच्चय {aj} को घेरते हैं, तो क्षेत्र V \ W और W \ V पूरी तरह से U0 में स्थित होते हैं, और इसलिए

अच्छी तरह से परिभाषित और शून्य के बराबर है। नतीजतन, f dz का समोच्च अभिन्न साथ में γj = ∂V पथ λj के साथ समाकलों के समुच्चय के योग के बराबर है, प्रत्येक एकल aj के चारों ओर स्वेच्छतः छोटे क्षेत्र को घेरता है -{aj} पर f के अवशेष (पारंपरिक कारक 2πi तक)। {γj} पर सारांश, हम घुमावदार संख्या {I(γ, ak)} के संदर्भ में समोच्च अभिन्न की अंतिम अभिव्यक्ति को पुनर्प्राप्त करते हैं।

वास्तविक समाकलों का मूल्यांकन करने के लिए, अवशिष्ट प्रमेय का उपयोग निम्नलिखित तरीके से किया जाता है: समाकलन को जटिल तल तक विस्तारित किया जाता है और इसके अवशेषों की गणना की जाती है (जो सामान्यतः आसान होता है), और वास्तविक अक्ष का एक हिस्सा ऊपरी या निचले अर्ध समतल में एक अर्ध-चक्र संलग्न करके एक अर्धवृत्त बनाकर एक बंद वक्र तक बढ़ाया जाता है। इस वक्र पर समाकलन की गणना अवशिष्ट प्रमेय का उपयोग करके की जा सकती है। प्रायः, समाकल का अर्ध-वृत्त भाग शून्य की ओर झुक जाता है, क्योंकि अर्ध-वृत्त की त्रिज्या बढ़ती है, केवल समाकल का वास्तविक-अक्ष भाग छोड़ता है, जिसमें हम मूल रूप से रुचि रखते थे।

उदाहरण

वास्तविक अक्ष के साथ एक अभिन्न

अभिन्न

समोच्च C.

कॉची वितरण के विशिष्ट कार्य (संभावना सिद्धांत) की गणना करते समय संभाव्यता सिद्धांत में उत्पन्न होता है। यह प्रारंभिक कलन की तकनीकों का विरोध करता है लेकिन इसे समोच्च समाकलों की सीमा के रूप में व्यक्त करके मूल्यांकन किया जा सकता है।

मान लीजिए t > 0 और समोच्च C को परिभाषित करें जो वास्तविक रेखा के साथ -a से a तक जाता है और फिर 0 से -a पर केंद्रित अर्धवृत्त के साथ वामावर्त। a को 1 से a को 1 से बड़ा लें, जिससे कि काल्पनिक इकाई i वक्र के भीतर बंद हो लें, जिससे कि काल्पनिक इकाई i वक्र के भीतर बंद हो। अब समोच्च अभिन्न पर विचार करें

चूँकि eitz एक संपूर्ण कार्य है (जटिल तल में किसी भी बिंदु पर कोई विलक्षणता नहीं है), इस कार्य में केवल एकवचन है जहाँ भाजक z2 + 1 शून्य है। चूँकि z2 + 1 = (z + i)(zi), यह केवल वहीं होता है जहाँ z = i या z = −i। उनमें से केवल एक बिंदु इस समोच्च से घिरे क्षेत्र में है। क्योंकि f(z) निम्न है
z = i पर f(z) के अवशेष (जटिल विश्लेषण) है
अवशिष्ट प्रमेय के अनुसार, हमारे पास निम्न है
समोच्च C को सीधे भाग और घुमावदार चाप में विभाजित किया जा सकता है, ताकि
और इस तरह
कुछ अनुमान लेम्मा का उपयोग करके, हमारे पास है
और
अंश पर अनुमान t> 0 के बाद से है, और चाप के साथ जटिल संख्या z के लिए (जो ऊपरी अर्ध-तल में स्थित है), z का तर्क φ 0 और π के बीच स्थित है। इसलिए,
इसलिए,
यदि t < 0 तो चाप C' के साथ एक समान तर्क जो i के स्थान पर -i के चारों ओर घूमता है, वह दिखाता है

समोच्च C.

और अंत में हमारे पास है
(यदि t = 0 तब समाकलन प्राथमिक कलन पद्धतियों के लिए तुरंत उत्पन्न होता है और इसका मूल्य π है।)

एक अनंत राशि

यह तथ्य कि π cot(πz) में प्रत्येक पूर्णांक पर अवशेष 1 के साथ साधारण ध्रुव होते हैं जिनका उपयोग योग की गणना के लिए किया जा सकता है

उदाहरण के लिए, f(z) = z−2 पर विचार करें। मान लीजिए कि ΓN आयत है जो [−N1/2, N + 1/2]2 की सीमा है, जिसमें पूर्णांक N के साथ अभिविन्यास है। अवशेष सूत्र द्वारा,

बाएं हाथ की ओर N → ∞ के रूप में शून्य हो जाता है चूंकि इंटीग्रैंड में अनुक्रम है। वहीं दूसरी ओर,[2]

जहां बरनौली संख्या (वास्तव में, z/2 cot(z/2) = iz/1 − eiziz/2।) इस प्रकार, अवशेष Resz=0 π2/3 है। हम निष्कर्ष निकालते हैं:

जो बेसल समस्या का प्रमाण है।

आइज़ेंस्टीन श्रृंखला का योग स्थापित करने के लिए एक ही चाल का उपयोग किया जा सकता है:

हम f(z) = (wz)−1 लेते हैं जिसमें w एक पूर्णांक नहीं होता है और हम उपरोक्त को w के लिए दिखाएंगे। इस स्तिथि में कठिनाई अनंत पर समोच्च समाकल के गायब होने को दर्शाने की है। अपने पास निम्न है:
चूँकि समाकलन एक समान कार्य है और इसलिए बाएँ-आधे तल में समोच्च से योगदान और दाईं ओर समोच्च एक दूसरे को रद्द कर देते हैं। इस प्रकार,
N → ∞ के रूप में शून्य हो जाता है।

यह भी देखें

  • कॉची का अभिन्न सूत्र
  • ग्लासर का मास्टर प्रमेय
  • जॉर्डन की लेम्मा
  • समोच्च एकीकरण के तरीके
  • मोरेरा की प्रमेय
  • नाचबिन का प्रमेय
  • अवशेष अनंत पर
  • लघुगणक रूप

टिप्पणियाँ

  1. Whittaker & Watson 1920, p. 112, §6.1.
  2. Whittaker & Watson 1920, p. 125, §7.2. Note that the Bernoulli number is denoted by in Whittaker & Watson's book.


संदर्भ

  • Ahlfors, Lars (1979). Complex Analysis. McGraw Hill. ISBN 0-07-085008-9.
  • Lindelöf, Ernst L. (1905). Le calcul des résidus et ses applications à la théorie des fonctions (in français). Editions Jacques Gabay (published 1989). ISBN 2-87647-060-8.
  • Mitrinović, Dragoslav; Kečkić, Jovan (1984). The Cauchy method of residues: Theory and applications. D. Reidel Publishing Company. ISBN 90-277-1623-4.
  • Whittaker, E. T.; Watson, G. N. (1920). A Course of Modern Analysis (3rd ed.). Cambridge University Press.


बाहरी संबंध