अवशिष्‍ट (सम्मिश्र विश्लेषण)

गणित में, अधिक विशेष रूप से जटिल विश्लेषण में, अवशेष जटिल संख्या है जो गणितीय विलक्षणता को घेरने वाले पथ के साथ मेरोमोर्फिक फ़ंक्शन के लाइन इंटीग्रल के समानुपाती होती है। (अधिक सामान्यतः, अवशेषों की गणना किसी भी फ़ंक्शन के लिए की जा सकती है $f\colon \mathbb {C} \setminus \{a_{k}\}_{k}\rightarrow \mathbb {C}$ यह असतत बिंदुओं को छोड़कर होलोमोर्फिक फ़ंक्शन है {ए_k}_k, भले ही उनमें से कुछ आवश्यक विलक्षणता हों।) अवशेषों की गणना काफी आसानी से की जा सकती है और, बार ज्ञात होने पर, अवशेष प्रमेय के माध्यम से सामान्य समोच्च अभिन्न अंग के निर्धारण की अनुमति मिलती है।

परिभाषा

मेरोमोर्फिक फ़ंक्शन का अवशेष $f$ अलग विलक्षणता पर $a$, अक्सर निरूपित किया जाता है $\operatorname {Res} (f,a)$, $\operatorname {Res} _{a}(f)$, $\mathop {\operatorname {Res} } _{z=a}f(z)$ या $\mathop {\operatorname {res} } _{z=a}f(z)$, अद्वितीय मान है $R$ ऐसा है कि $f(z)-R/(z-a)$ छिद्रित डिस्क में विश्लेषणात्मक फ़ंक्शन एंटीडेरिवेटिव (जटिल विश्लेषण) होता है $0<\vert z-a\vert <\delta$.

वैकल्पिक रूप से, अवशेषों की गणना लॉरेंट श्रृंखला के विस्तार को खोजकर की जा सकती है, और अवशेषों को गुणांक ए के रूप में परिभाषित किया जा सकता है₋₁ लॉरेंट श्रृंखला का।

अवशेष की परिभाषा को मनमानी रीमैन सतहों के लिए सामान्यीकृत किया जा सकता है। कल्पना करना $\omega$ रीमैन सतह पर एक-रूप|1-रूप है। होने देना $\omega$ किसी बिंदु पर मेरोमोर्फिक बनें $x$, ताकि हम लिख सकें $\omega$ स्थानीय निर्देशांक में जैसे $f(z)\;dz$. फिर, का अवशेष $\omega$ पर $x$ के अवशेष के रूप में परिभाषित किया गया है $f(z)$ के अनुरूप बिंदु पर $x$.

उदाहरण

एकपदी का अवशेष

एकपदी के अवशेष की गणना करना

$\oint _{C}z^{k}\,dz$

अधिकांश अवशेषों की गणना करना आसान बनाता है। चूँकि पथ अभिन्न अभिकलन समरूपी अपरिवर्तनीय हैं, हम जाने देंगे $C$ त्रिज्या वाला वृत्त हो $1$. फिर, निर्देशांक के परिवर्तन का उपयोग करके $z\to e^{i\theta }$ हम उसे ढूंढते हैं

$dz\to d(e^{i\theta })=ie^{i\theta }\,d\theta$

इसलिए हमारा अभिन्न अंग अब इस प्रकार पढ़ता है

$\oint _{C}z^{k}dz=\int _{0}^{2\pi }ie^{i(k+1)\theta }\,d\theta ={\begin{cases}2\pi i&{\text{if }}k=-1,\\0&{\text{otherwise}}.\end{cases}}$

एकपदी अवशेषों का अनुप्रयोग

उदाहरण के तौर पर, समोच्च अभिन्न पर विचार करें

$\oint _{C}{e^{z} \over z^{5}}\,dz$

जहाँ C 0 के बारे में कुछ सरल बंद वक्र है।

आइए हम श्रृंखला द्वारा एकीकरण के बारे में मानक अभिसरण परिणाम का उपयोग करके इस अभिन्न का मूल्यांकन करें। हम टेलर श्रृंखला को स्थानापन्न कर सकते हैं $e^{z}$ एकीकरण में. तब अभिन्न हो जाता है

$\oint _{C}{1 \over z^{5}}\left(1+z+{z^{2} \over 2!}+{z^{3} \over 3!}+{z^{4} \over 4!}+{z^{5} \over 5!}+{z^{6} \over 6!}+\cdots \right)\,dz.$

चलिए 1/z लाते हैं^{श्रृंखला में 5}कारक। फिर श्रृंखला का समोच्च अभिन्न अंग लिखता है

${\begin{aligned}&\oint _{C}\left({1 \over z^{5}}+{z \over z^{5}}+{z^{2} \over 2!\;z^{5}}+{z^{3} \over 3!\;z^{5}}+{z^{4} \over 4!\;z^{5}}+{z^{5} \over 5!\;z^{5}}+{z^{6} \over 6!\;z^{5}}+\cdots \right)\,dz\\[4pt]={}&\oint _{C}\left({1 \over \;z^{5}}+{1 \over \;z^{4}}+{1 \over 2!\;z^{3}}+{1 \over 3!\;z^{2}}+{1 \over 4!\;z}+{1 \over \;5!}+{z \over 6!}+\cdots \right)\,dz.\end{aligned}}$

चूंकि श्रृंखला एकीकरण पथ के समर्थन पर समान रूप से अभिसरण करती है, इसलिए हमें एकीकरण और सारांश का आदान-प्रदान करने की अनुमति है। पथ इंटीग्रल्स की श्रृंखला पिछली गणना के कारण बहुत सरल रूप में ढह जाती है। तो अब प्रत्येक अन्य पद का C के आसपास का समाकलन cz के रूप में नहीं है⁻¹शून्य है, और समाकलन को घटाकर कर दिया गया है

$\oint _{C}{1 \over 4!\;z}\,dz={1 \over 4!}\oint _{C}{1 \over z}\,dz={1 \over 4!}(2\pi i)={\pi i \over 12}.$

मान 1/4! ई का अवशेष है^z/z⁵z = 0 पर, और निरूपित किया जाता है

$\operatorname {Res} _{0}{e^{z} \over z^{5}},{\text{ or }}\operatorname {Res} _{z=0}{e^{z} \over z^{5}},{\text{ or }}\operatorname {Res} (f,0){\text{ for }}f={e^{z} \over z^{5}}.$

अवशेषों की गणना

मान लीजिए कि छिद्रित डिस्क D = {z : 0 < |z − c| जटिल तल में < R } दिया गया है और f होलोमोर्फिक फ़ंक्शन है जिसे D पर (कम से कम) परिभाषित किया गया है। c पर f का अवशेष Res(f, c) गुणांक a है₋₁ का (z − c)⁻¹ लॉरेंट श्रृंखला में c के चारों ओर f का विस्तार। इस मान की गणना के लिए विभिन्न विधियाँ मौजूद हैं, और किस विधि का उपयोग करना है यह प्रश्न में फ़ंक्शन और विलक्षणता की प्रकृति पर निर्भर करता है।

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

$\operatorname {Res} (f,c)={1 \over 2\pi i}\oint _{\gamma }f(z)\,dz$

जहां γ वामावर्त तरीके से c के चारों ओर वृत्त का पता लगाता है। हम पथ γ को c के चारों ओर त्रिज्या ε का वृत्त चुन सकते हैं, जहां ε उतना छोटा है जितना हम चाहते हैं। इसका उपयोग उन मामलों में गणना के लिए किया जा सकता है जहां अभिन्न की गणना सीधे की जा सकती है, लेकिन आमतौर पर ऐसा होता है कि अवशेषों का उपयोग अभिन्न की गणना को सरल बनाने के लिए किया जाता है, न कि दूसरे तरीके से।

हटाने योग्य विलक्षणताएं

यदि फ़ंक्शन f संपूर्ण डिस्क पर होलोमोर्फिक फ़ंक्शन के लिए विश्लेषणात्मक निरंतरता हो सकता है $|y-c|<R$, फिर Res(f, c) = 0. इसका विपरीत आम तौर पर सत्य नहीं है।

सरल ध्रुव

साधारण ध्रुव c पर, f का अवशेष इस प्रकार दिया जाता है:

$\operatorname {Res} (f,c)=\lim _{z\to c}(z-c)f(z).$

यदि वह सीमा मौजूद नहीं है, तो वहां आवश्यक विलक्षणता है। यदि यह 0 है तो यह वहां या तो विश्लेषणात्मक है या हटाने योग्य विलक्षणता है। यदि यह अनंत के बराबर है तो क्रम 1 से अधिक है।

ऐसा हो सकता है कि फलन f को दो फलनों के भागफल के रूप में व्यक्त किया जा सके, $f(z)={\frac {g(z)}{h(z)}}$, जहां g और h c के पड़ोस (गणित) में h(c) = 0 और h'(c) ≠ 0 के साथ होलोमोर्फिक फ़ंक्शन हैं। ऐसे मामले में, L'Hôpital के नियम का उपयोग उपरोक्त सूत्र को सरल बनाने के लिए किया जा सकता है को:

${\begin{aligned}\operatorname {Res} (f,c)&=\lim _{z\to c}(z-c)f(z)=\lim _{z\to c}{\frac {zg(z)-cg(z)}{h(z)}}\\[4pt]&=\lim _{z\to c}{\frac {g(z)+zg'(z)-cg'(z)}{h'(z)}}={\frac {g(c)}{h'(c)}}.\end{aligned}}$

उच्च-क्रम वाले ध्रुवों के लिए सीमा सूत्र

अधिक सामान्यतः, यदि c क्रम n का ध्रुव (जटिल विश्लेषण) है, तो z = c के आसपास f का अवशेष सूत्र द्वारा पाया जा सकता है:

$\operatorname {Res} (f,c)={\frac {1}{(n-1)!}}\lim _{z\to c}{\frac {d^{n-1}}{dz^{n-1}}}\left((z-c)^{n}f(z)\right).$

निम्न-क्रम वाले ध्रुवों के लिए अवशेष निर्धारित करने में यह सूत्र बहुत उपयोगी हो सकता है। उच्च-क्रम वाले ध्रुवों के लिए, गणनाएँ असहनीय हो सकती हैं, और श्रृंखला विस्तार आमतौर पर आसान होता है। आवश्यक विलक्षणता के लिए, ऐसा कोई सरल सूत्र मौजूद नहीं है, और अवशेषों को आमतौर पर श्रृंखला विस्तार से सीधे लिया जाना चाहिए।

अनंत पर अवशेष

सामान्य तौर पर, अनंत पर अवशेष को इस प्रकार परिभाषित किया गया है:

$\operatorname {Res} (f(z),\infty )=-\operatorname {Res} \left({\frac {1}{z^{2}}}f\left({\frac {1}{z}}\right),0\right).$

यदि निम्नलिखित शर्त पूरी होती है:

$\lim _{|z|\to \infty }f(z)=0,$

तो अनंत पर अवशेष की गणना निम्न सूत्र का उपयोग करके की जा सकती है:

$\operatorname {Res} (f,\infty )=-\lim _{|z|\to \infty }z\cdot f(z).$

यदि इसके बजाय

$\lim _{|z|\to \infty }f(z)=c\neq 0,$

तो अनंत पर अवशेष है

$\operatorname {Res} (f,\infty )=\lim _{|z|\to \infty }z^{2}\cdot f'(z).$

होलोमोर्फिक फ़ंक्शंस के लिए पृथक विलक्षणताओं पर अवशेषों और अनंत पर अवशेषों का योग शून्य है।

श्रृंखला विधियाँ

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

1. As a first example, consider calculating the residues at the singularities of the function
   $$f(z)={\sin z \over z^{2}-z}$$

   which may be used to calculate certain contour integrals. This function appears to have a singularity at z = 0, but if one factorizes the denominator and thus writes the function as

   $$f(z)={\sin z \over z(z-1)}$$

   it is apparent that the singularity at z = 0 is a removable singularity and then the residue at z = 0 is therefore 0.

   The only other singularity is at z = 1. Recall the expression for the Taylor series for a function g(z) about z = a:

   $$g(z)=g(a)+g'(a)(z-a)+{g''(a)(z-a)^{2} \over 2!}+{g'''(a)(z-a)^{3} \over 3!}+\cdots$$

   So, for g(z) = sin z and a = 1 we have

   $$\sin z=\sin 1+(\cos 1)(z-1)+{-(\sin 1)(z-1)^{2} \over 2!}+{-(\cos 1)(z-1)^{3} \over 3!}+\cdots .$$
   and for g(z) = 1/z and a = 1 we have
   $${\frac {1}{z}}={\frac {1}{(z-1)+1}}=1-(z-1)+(z-1)^{2}-(z-1)^{3}+\cdots .$$

   Multiplying those two series and introducing 1/(z − 1) gives us

   $${\frac {\sin z}{z(z-1)}}={\sin 1 \over z-1}+(\cos 1-\sin 1)+(z-1)\left(-{\frac {\sin 1}{2!}}-\cos 1+\sin 1\right)+\cdots .$$
   So the residue of f(z) at z = 1 is sin 1.
2. The next example shows that, computing a residue by series expansion, a major role is played by the Lagrange inversion theorem. Let
   $$u(z):=\sum _{k\geq 1}u_{k}z^{k}$$
   be an entire function, and let
   $$v(z):=\sum _{k\geq 1}v_{k}z^{k}$$
   with positive radius of convergence, and with ${\textstyle v_{1}\neq 0}$. So ${\textstyle v(z)}$ has a local inverse ${\textstyle V(z)}$ at 0, and ${\textstyle u(1/V(z))}$ is meromorphic at 0. Then we have:
   $$\operatorname {Res} _{0}{\big (}u(1/V(z)){\big )}=\sum _{k=0}^{\infty }ku_{k}v_{k}.$$
   Indeed,
   $$\operatorname {Res} _{0}{\big (}u(1/V(z)){\big )}=\operatorname {Res} _{0}\left(\sum _{k\geq 1}u_{k}V(z)^{-k}\right)=\sum _{k\geq 1}u_{k}\operatorname {Res} _{0}{\big (}V(z)^{-k}{\big )}$$
   because the first series converges uniformly on any small circle around 0. Using the Lagrange inversion theorem
   $$\operatorname {Res} _{0}{\big (}V(z)^{-k}{\big )}=kv_{k},$$
   and we get the above expression. For example, if $u(z)=z+z^{2}$ and also $v(z)=z+z^{2}$, then
   $$V(z)={\frac {2z}{1+{\sqrt {1+4z}}}}$$
   and
   $$u(1/V(z))={\frac {1+{\sqrt {1+4z}}}{2z}}+{\frac {1+2z+{\sqrt {1+4z}}}{2z^{2}}}.$$
   The first term contributes 1 to the residue, and the second term contributes 2 since it is asymptotic to $1/z^{2}+2/z$. Note that, with the corresponding stronger symmetric assumptions on ${\textstyle u(z)}$ and ${\textstyle v(z)}$, it also follows
   $$\operatorname {Res} _{0}\left(u(1/V)\right)=\operatorname {Res} _{0}\left(v(1/U)\right),$$
   where ${\textstyle U(z)}$ is a local inverse of ${\textstyle u(z)}$ at 0.

यह भी देखें

• अवशेष प्रमेय किसी फ़ंक्शन के कुछ ध्रुवों के चारों ओर समोच्च अभिन्न अंग को उनके अवशेषों के योग से जोड़ता है
• कॉची का अभिन्न सूत्र
• कॉची का अभिन्न प्रमेय
• मित्तग-लेफ़लर का प्रमेय
• समोच्च एकीकरण के तरीके
• मोरेरा का प्रमेय
• जटिल विश्लेषण में आंशिक अंश

संदर्भ

• Ahlfors, Lars (1979). Complex Analysis. McGraw Hill.
• Marsden, Jerrold E.; Hoffman, Michael J. (1998). Basic Complex Analysis (3rd ed.). W. H. Freeman. ISBN 978-0-7167-2877-1.

बाहरी संबंध

• "Residue of an analytic function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Weisstein, Eric W. "Complex Residue". MathWorld.