अवशिष्ट प्रमेय

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

कथन

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

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

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

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

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

$$\oint _{\gamma }f(z)\,dz=2\pi i\sum _{k=1}^{n}\operatorname {I} (\gamma ,a_{k})\operatorname {Res} (f,a_{k}).$$

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

$$\oint _{\gamma }f(z)\,dz=2\pi i\sum \operatorname {Res} (f,a_{k})$$

γ के अंदर उन a_k योग के साथ है।

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

$$\int _{V\setminus W}d(f\,dz)-\int _{W\setminus V}d(f\,dz)$$

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

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

उदाहरण

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

अभिन्न

$$\int _{-\infty }^{\infty }{\frac {e^{itx}}{x^{2}+1}}\,dx$$

समोच्च C.

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

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

$$\int _{C}{f(z)}\,dz=\int _{C}{\frac {e^{itz}}{z^{2}+1}}\,dz.$$

तब से e^itz एक संपूर्ण कार्य है (जटिल तल में किसी भी बिंदु पर कोई गणितीय विलक्षणता नहीं है), इस कार्य में विलक्षणताएँ केवल वहीं हैं जहाँ भाजक z² + 1 शून्य है। तब से z² + 1 = (z + i)(z − i), वह केवल वहीं होता है z = i या z = −i. उनमें से केवल एक बिंदु इस समोच्च से घिरे क्षेत्र में है। क्योंकि f(z) है

$${\begin{aligned}{\frac {e^{itz}}{z^{2}+1}}&={\frac {e^{itz}}{2i}}\left({\frac {1}{z-i}}-{\frac {1}{z+i}}\right)\\&={\frac {e^{itz}}{2i(z-i)}}-{\frac {e^{itz}}{2i(z+i)}},\end{aligned}}$$

के अवशेष (जटिल विश्लेषण)। f(z) पर z = i है

$$\operatorname {Res} _{z=i}f(z)={\frac {e^{-t}}{2i}}.$$

अवशिष्ट प्रमेय के अनुसार, हमारे पास है

$$\int _{C}f(z)\,dz=2\pi i\cdot \operatorname {Res} \limits _{z=i}f(z)=2\pi i{\frac {e^{-t}}{2i}}=\pi e^{-t}.$$

समोच्च C को सीधे भाग और घुमावदार चाप में विभाजित किया जा सकता है, ताकि

$$\int _{\mathrm {straight} }f(z)\,dz+\int _{\mathrm {arc} }f(z)\,dz=\pi e^{-t}$$

और इस तरह

$$\int _{-a}^{a}f(z)\,dz=\pi e^{-t}-\int _{\mathrm {arc} }f(z)\,dz.$$

कुछ अनुमान लेम्मा का उपयोग करके, हमारे पास है

$$\left|\int _{\mathrm {arc} }{\frac {e^{itz}}{z^{2}+1}}\,dz\right|\leq \pi a\cdot \sup _{\text{arc}}\left|{\frac {e^{itz}}{z^{2}+1}}\right|\leq \pi a\cdot \sup _{\text{arc}}{\frac {1}{|z^{2}+1|}}\leq {\frac {\pi a}{a^{2}-1}},$$

और

$$\lim _{a\to \infty }{\frac {\pi a}{a^{2}-1}}=0.$$

अंश पर अनुमान इस प्रकार है t > 0, और सम्मिश्र संख्याओं के लिए z चाप के साथ (जो ऊपरी अर्ध-तल में स्थित है), तर्क φ का z 0 और के बीच स्थित है π. इसलिए,

$$\left|e^{itz}\right|=\left|e^{it|z|(\cos \varphi +i\sin \varphi )}\right|=\left|e^{-t|z|\sin \varphi +it|z|\cos \varphi }\right|=e^{-t|z|\sin \varphi }\leq 1.$$

इसलिए,

$$\int _{-\infty }^{\infty }{\frac {e^{itz}}{z^{2}+1}}\,dz=\pi e^{-t}.$$

अगर t < 0 फिर चाप के साथ एक समान तर्क C′ जो चारों ओर घूमता है −i इसके बजाय i पता चलता है कि

समोच्च C′.

$$\int _{-\infty }^{\infty }{\frac {e^{itz}}{z^{2}+1}}\,dz=\pi e^{t},$$

और अंत में हमारे पास है

$$\int _{-\infty }^{\infty }{\frac {e^{itz}}{z^{2}+1}}\,dz=\pi e^{-\left|t\right|}.$$

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

एक अनंत राशि

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

$$\sum _{n=-\infty }^{\infty }f(n).$$

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

$${\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\neq 0}^{N}n^{-2}.$$

बाएं हाथ की ओर शून्य हो जाता है N → ∞ चूंकि इंटीग्रैंड में ऑर्डर है $O(n^{-2})$. वहीं दूसरी ओर,

$${\frac {z}{2}}\cot \left({\frac {z}{2}}\right)=1-B_{2}{\frac {z^{2}}{2!}}+\cdots$$

जहां बरनौली संख्या $B_{2}={\frac {1}{6}}.$ (वास्तव में, z/2 cot(z/2) = iz/1 − e^−iz − iz/2।) इस प्रकार, अवशेष Res_z=0 है −π²/3. हम निष्कर्ष निकालते हैं:

$$\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}$$

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

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

$$\pi \cot(\pi z)=\lim _{N\to \infty }\sum _{n=-N}^{N}(z-n)^{-1}.$$

हम लेते हैं f(z) = (w − z)⁻¹ साथ w एक गैर-पूर्णांक और हम उपरोक्त के लिए दिखाएंगे w. इस मामले में कठिनाई अनंत पर समोच्च समाकल के गायब होने को दर्शाने की है। अपने पास:

$$\int _{\Gamma _{N}}{\frac {\pi \cot(\pi z)}{z}}\,dz=0$$

चूँकि समाकलन एक समान कार्य है और इसलिए बाएँ-आधे तल में समोच्च से योगदान और दाईं ओर समोच्च एक दूसरे को रद्द कर देते हैं। इस प्रकार,

$$\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$$

के रूप में शून्य हो जाता है N → ∞.

यह भी देखें

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

संदर्भ

• 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.

बाहरी संबंध

• "Cauchy integral theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Residue theorem in MathWorld