अवशिष्ट (सम्मिश्र विश्लेषण): Difference between revisions
(Created page with "{{Short description|Attribute of a mathematical function}} {{Complex analysis sidebar}} गणित में, अधिक विशेष रूप से जटिल...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Attribute of a mathematical function}} | {{Short description|Attribute of a mathematical function}} | ||
{{Complex analysis sidebar}} | {{Complex analysis sidebar}} | ||
गणित में, अधिक विशेष रूप से [[जटिल विश्लेषण]] में, अवशेष | गणित में, अधिक विशेष रूप से [[जटिल विश्लेषण]] में, अवशेष [[जटिल संख्या]] है जो [[गणितीय विलक्षणता]] को घेरने वाले पथ के साथ [[मेरोमोर्फिक फ़ंक्शन]] के [[लाइन इंटीग्रल]] के समानुपाती होती है। (अधिक सामान्यतः, अवशेषों की गणना किसी भी फ़ंक्शन के लिए की जा सकती है <math> f\colon \mathbb{C} \setminus \{a_k\}_k \rightarrow \mathbb{C}</math> यह असतत बिंदुओं को छोड़कर [[होलोमोर्फिक फ़ंक्शन]] है {ए<sub>''k''</sub>}<sub>''k''</sub>, भले ही उनमें से कुछ [[आवश्यक विलक्षणता]] हों।) अवशेषों की गणना काफी आसानी से की जा सकती है और, बार ज्ञात होने पर, अवशेष प्रमेय के माध्यम से सामान्य समोच्च अभिन्न अंग के निर्धारण की अनुमति मिलती है। | ||
== परिभाषा == | == परिभाषा == | ||
मेरोमोर्फिक फ़ंक्शन का अवशेष <math>f</math> | मेरोमोर्फिक फ़ंक्शन का अवशेष <math>f</math> अलग विलक्षणता पर <math>a</math>, अक्सर निरूपित किया जाता है <math>\operatorname{Res}(f,a)</math>, <math>\operatorname{Res}_a(f)</math>, <math>\mathop{\operatorname{Res}}_{z=a}f(z)</math> या <math>\mathop{\operatorname{res}}_{z=a}f(z)</math>, अद्वितीय मान है <math>R</math> ऐसा है कि <math>f(z)- R/(z-a)</math> [[छिद्रित डिस्क]] में विश्लेषणात्मक फ़ंक्शन एंटीडेरिवेटिव (जटिल विश्लेषण) होता है <math>0<\vert z-a\vert<\delta</math>. | ||
वैकल्पिक रूप से, अवशेषों की गणना [[लॉरेंट श्रृंखला]] के विस्तार को खोजकर की जा सकती है, और अवशेषों को गुणांक ए के रूप में परिभाषित किया जा सकता है<sub>−1</sub> लॉरेंट श्रृंखला का। | वैकल्पिक रूप से, अवशेषों की गणना [[लॉरेंट श्रृंखला]] के विस्तार को खोजकर की जा सकती है, और अवशेषों को गुणांक ए के रूप में परिभाषित किया जा सकता है<sub>−1</sub> लॉरेंट श्रृंखला का। | ||
Line 29: | Line 29: | ||
</math> | </math> | ||
'''एकपदी अवशेषों का अनुप्रयोग''' | |||
उदाहरण के तौर पर, [[समोच्च अभिन्न]] पर विचार करें | उदाहरण के तौर पर, [[समोच्च अभिन्न]] पर विचार करें | ||
:<math>\oint_C {e^z \over z^5}\,dz</math> | :<math>\oint_C {e^z \over z^5}\,dz</math> | ||
जहाँ C 0 के बारे में कुछ [[सरल बंद वक्र]] है। | जहाँ C 0 के बारे में कुछ [[सरल बंद वक्र]] है। | ||
आइए हम श्रृंखला द्वारा एकीकरण के बारे में | आइए हम श्रृंखला द्वारा एकीकरण के बारे में मानक अभिसरण परिणाम का उपयोग करके इस अभिन्न का मूल्यांकन करें। हम [[टेलर श्रृंखला]] को स्थानापन्न कर सकते हैं <math>e^z</math> एकीकरण में. तब अभिन्न हो जाता है | ||
:<math>\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.</math> | :<math>\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.</math> | ||
Line 53: | Line 53: | ||
: <math>\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}.</math> | : <math>\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}.</math> | ||
== अवशेषों की गणना == | == अवशेषों की गणना == | ||
मान लीजिए कि | मान लीजिए कि छिद्रित डिस्क D = {z : 0 < |z − c| जटिल तल में < R } दिया गया है और f होलोमोर्फिक फ़ंक्शन है जिसे D पर (कम से कम) परिभाषित किया गया है। c पर f का अवशेष Res(f, c) गुणांक a है<sub>−1</sub> का {{nowrap|(''z'' − ''c'')<sup>−1</sup>}} लॉरेंट श्रृंखला में c के चारों ओर f का विस्तार। इस मान की गणना के लिए विभिन्न विधियाँ मौजूद हैं, और किस विधि का उपयोग करना है यह प्रश्न में फ़ंक्शन और विलक्षणता की प्रकृति पर निर्भर करता है। | ||
अवशेष प्रमेय के अनुसार, हमारे पास है: | अवशेष प्रमेय के अनुसार, हमारे पास है: | ||
: <math>\operatorname{Res}(f,c) = {1 \over 2\pi i} \oint_\gamma f(z)\,dz</math> | : <math>\operatorname{Res}(f,c) = {1 \over 2\pi i} \oint_\gamma f(z)\,dz</math> | ||
जहां γ वामावर्त तरीके से c के चारों ओर | जहां γ वामावर्त तरीके से c के चारों ओर वृत्त का पता लगाता है। हम पथ γ को c के चारों ओर त्रिज्या ε का वृत्त चुन सकते हैं, जहां ε उतना छोटा है जितना हम चाहते हैं। इसका उपयोग उन मामलों में गणना के लिए किया जा सकता है जहां अभिन्न की गणना सीधे की जा सकती है, लेकिन आमतौर पर ऐसा होता है कि अवशेषों का उपयोग अभिन्न की गणना को सरल बनाने के लिए किया जाता है, न कि दूसरे तरीके से। | ||
===हटाने योग्य विलक्षणताएं=== | ===हटाने योग्य विलक्षणताएं=== | ||
यदि फ़ंक्शन f संपूर्ण डिस्क पर | यदि फ़ंक्शन f संपूर्ण डिस्क पर होलोमोर्फिक फ़ंक्शन के लिए [[विश्लेषणात्मक निरंतरता]] हो सकता है <math>|y-c|<R</math>, फिर Res(f, c) = 0. इसका विपरीत आम तौर पर सत्य नहीं है। | ||
===सरल ध्रुव=== | ===सरल ध्रुव=== | ||
साधारण ध्रुव c पर, f का अवशेष इस प्रकार दिया जाता है: | |||
:<math>\operatorname{Res}(f,c)=\lim_{z\to c}(z-c)f(z).</math> | :<math>\operatorname{Res}(f,c)=\lim_{z\to c}(z-c)f(z).</math> | ||
यदि वह सीमा मौजूद नहीं है, तो वहां | यदि वह सीमा मौजूद नहीं है, तो वहां आवश्यक विलक्षणता है। यदि यह 0 है तो यह वहां या तो विश्लेषणात्मक है या हटाने योग्य विलक्षणता है। यदि यह अनंत के बराबर है तो क्रम 1 से अधिक है। | ||
ऐसा हो सकता है कि फलन f को दो फलनों के भागफल के रूप में व्यक्त किया जा सके, <math>f(z)=\frac{g(z)}{h(z)}</math>, जहां g और h c के [[पड़ोस (गणित)]] में h(c) = 0 और h'(c) ≠ 0 के साथ होलोमोर्फिक फ़ंक्शन हैं। ऐसे मामले में, L'Hôpital के नियम का उपयोग उपरोक्त सूत्र को सरल बनाने के लिए किया जा सकता है को: | ऐसा हो सकता है कि फलन f को दो फलनों के भागफल के रूप में व्यक्त किया जा सके, <math>f(z)=\frac{g(z)}{h(z)}</math>, जहां g और h c के [[पड़ोस (गणित)]] में h(c) = 0 और h'(c) ≠ 0 के साथ होलोमोर्फिक फ़ंक्शन हैं। ऐसे मामले में, L'Hôpital के नियम का उपयोग उपरोक्त सूत्र को सरल बनाने के लिए किया जा सकता है को: | ||
Line 83: | Line 82: | ||
===उच्च-क्रम वाले ध्रुवों के लिए सीमा सूत्र=== | ===उच्च-क्रम वाले ध्रुवों के लिए सीमा सूत्र=== | ||
अधिक सामान्यतः, यदि c क्रम n का | अधिक सामान्यतः, यदि c क्रम n का [[ध्रुव (जटिल विश्लेषण)]] है, तो z = c के आसपास f का अवशेष सूत्र द्वारा पाया जा सकता है: | ||
: <math> \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). </math> | : <math> \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). </math> | ||
Line 107: | Line 106: | ||
=== श्रृंखला विधियाँ === | === श्रृंखला विधियाँ === | ||
यदि किसी फ़ंक्शन के हिस्सों या सभी को टेलर श्रृंखला या लॉरेंट श्रृंखला में विस्तारित किया जा सकता है, जो संभव हो सकता है यदि भागों या पूरे फ़ंक्शन में | यदि किसी फ़ंक्शन के हिस्सों या सभी को टेलर श्रृंखला या लॉरेंट श्रृंखला में विस्तारित किया जा सकता है, जो संभव हो सकता है यदि भागों या पूरे फ़ंक्शन में मानक श्रृंखला विस्तार हो, तो अवशेष की गणना करना अन्य तरीकों की तुलना में काफी सरल है। | ||
{{ordered list | {{ordered list | ||
Line 155: | Line 154: | ||
==यह भी देखें== | ==यह भी देखें== | ||
* अवशेष प्रमेय किसी फ़ंक्शन के कुछ ध्रुवों के चारों ओर | * अवशेष प्रमेय किसी फ़ंक्शन के कुछ ध्रुवों के चारों ओर समोच्च अभिन्न अंग को उनके अवशेषों के योग से जोड़ता है | ||
* कॉची का अभिन्न सूत्र | * कॉची का अभिन्न सूत्र | ||
* कॉची का अभिन्न प्रमेय | * कॉची का अभिन्न प्रमेय |
Revision as of 17:53, 21 July 2023
Mathematical analysis → Complex analysis |
Complex analysis |
---|
Complex numbers |
Complex functions |
Basic Theory |
Geometric function theory |
People |
|
गणित में, अधिक विशेष रूप से जटिल विश्लेषण में, अवशेष जटिल संख्या है जो गणितीय विलक्षणता को घेरने वाले पथ के साथ मेरोमोर्फिक फ़ंक्शन के लाइन इंटीग्रल के समानुपाती होती है। (अधिक सामान्यतः, अवशेषों की गणना किसी भी फ़ंक्शन के लिए की जा सकती है यह असतत बिंदुओं को छोड़कर होलोमोर्फिक फ़ंक्शन है {एk}k, भले ही उनमें से कुछ आवश्यक विलक्षणता हों।) अवशेषों की गणना काफी आसानी से की जा सकती है और, बार ज्ञात होने पर, अवशेष प्रमेय के माध्यम से सामान्य समोच्च अभिन्न अंग के निर्धारण की अनुमति मिलती है।
परिभाषा
मेरोमोर्फिक फ़ंक्शन का अवशेष अलग विलक्षणता पर , अक्सर निरूपित किया जाता है , , या , अद्वितीय मान है ऐसा है कि छिद्रित डिस्क में विश्लेषणात्मक फ़ंक्शन एंटीडेरिवेटिव (जटिल विश्लेषण) होता है .
वैकल्पिक रूप से, अवशेषों की गणना लॉरेंट श्रृंखला के विस्तार को खोजकर की जा सकती है, और अवशेषों को गुणांक ए के रूप में परिभाषित किया जा सकता है−1 लॉरेंट श्रृंखला का।
अवशेष की परिभाषा को मनमानी रीमैन सतहों के लिए सामान्यीकृत किया जा सकता है। कल्पना करना रीमैन सतह पर एक-रूप|1-रूप है। होने देना किसी बिंदु पर मेरोमोर्फिक बनें , ताकि हम लिख सकें स्थानीय निर्देशांक में जैसे . फिर, का अवशेष पर के अवशेष के रूप में परिभाषित किया गया है के अनुरूप बिंदु पर .
उदाहरण
एकपदी का अवशेष
एकपदी के अवशेष की गणना करना
अधिकांश अवशेषों की गणना करना आसान बनाता है। चूँकि पथ अभिन्न अभिकलन समरूपी अपरिवर्तनीय हैं, हम जाने देंगे त्रिज्या वाला वृत्त हो . फिर, निर्देशांक के परिवर्तन का उपयोग करके हम उसे ढूंढते हैं
इसलिए हमारा अभिन्न अंग अब इस प्रकार पढ़ता है
एकपदी अवशेषों का अनुप्रयोग
उदाहरण के तौर पर, समोच्च अभिन्न पर विचार करें
जहाँ C 0 के बारे में कुछ सरल बंद वक्र है।
आइए हम श्रृंखला द्वारा एकीकरण के बारे में मानक अभिसरण परिणाम का उपयोग करके इस अभिन्न का मूल्यांकन करें। हम टेलर श्रृंखला को स्थानापन्न कर सकते हैं एकीकरण में. तब अभिन्न हो जाता है
चलिए 1/z लाते हैंश्रृंखला में 5कारक। फिर श्रृंखला का समोच्च अभिन्न अंग लिखता है
चूंकि श्रृंखला एकीकरण पथ के समर्थन पर समान रूप से अभिसरण करती है, इसलिए हमें एकीकरण और सारांश का आदान-प्रदान करने की अनुमति है। पथ इंटीग्रल्स की श्रृंखला पिछली गणना के कारण बहुत सरल रूप में ढह जाती है। तो अब प्रत्येक अन्य पद का C के आसपास का समाकलन cz के रूप में नहीं है−1शून्य है, और समाकलन को घटाकर कर दिया गया है
मान 1/4! ई का अवशेष हैz/z5z = 0 पर, और निरूपित किया जाता है
अवशेषों की गणना
मान लीजिए कि छिद्रित डिस्क D = {z : 0 < |z − c| जटिल तल में < R } दिया गया है और f होलोमोर्फिक फ़ंक्शन है जिसे D पर (कम से कम) परिभाषित किया गया है। c पर f का अवशेष Res(f, c) गुणांक a है−1 का (z − c)−1 लॉरेंट श्रृंखला में c के चारों ओर f का विस्तार। इस मान की गणना के लिए विभिन्न विधियाँ मौजूद हैं, और किस विधि का उपयोग करना है यह प्रश्न में फ़ंक्शन और विलक्षणता की प्रकृति पर निर्भर करता है।
अवशेष प्रमेय के अनुसार, हमारे पास है:
जहां γ वामावर्त तरीके से c के चारों ओर वृत्त का पता लगाता है। हम पथ γ को c के चारों ओर त्रिज्या ε का वृत्त चुन सकते हैं, जहां ε उतना छोटा है जितना हम चाहते हैं। इसका उपयोग उन मामलों में गणना के लिए किया जा सकता है जहां अभिन्न की गणना सीधे की जा सकती है, लेकिन आमतौर पर ऐसा होता है कि अवशेषों का उपयोग अभिन्न की गणना को सरल बनाने के लिए किया जाता है, न कि दूसरे तरीके से।
हटाने योग्य विलक्षणताएं
यदि फ़ंक्शन f संपूर्ण डिस्क पर होलोमोर्फिक फ़ंक्शन के लिए विश्लेषणात्मक निरंतरता हो सकता है , फिर Res(f, c) = 0. इसका विपरीत आम तौर पर सत्य नहीं है।
सरल ध्रुव
साधारण ध्रुव c पर, f का अवशेष इस प्रकार दिया जाता है:
यदि वह सीमा मौजूद नहीं है, तो वहां आवश्यक विलक्षणता है। यदि यह 0 है तो यह वहां या तो विश्लेषणात्मक है या हटाने योग्य विलक्षणता है। यदि यह अनंत के बराबर है तो क्रम 1 से अधिक है।
ऐसा हो सकता है कि फलन f को दो फलनों के भागफल के रूप में व्यक्त किया जा सके, , जहां g और h c के पड़ोस (गणित) में h(c) = 0 और h'(c) ≠ 0 के साथ होलोमोर्फिक फ़ंक्शन हैं। ऐसे मामले में, L'Hôpital के नियम का उपयोग उपरोक्त सूत्र को सरल बनाने के लिए किया जा सकता है को:
उच्च-क्रम वाले ध्रुवों के लिए सीमा सूत्र
अधिक सामान्यतः, यदि c क्रम n का ध्रुव (जटिल विश्लेषण) है, तो z = c के आसपास f का अवशेष सूत्र द्वारा पाया जा सकता है:
निम्न-क्रम वाले ध्रुवों के लिए अवशेष निर्धारित करने में यह सूत्र बहुत उपयोगी हो सकता है। उच्च-क्रम वाले ध्रुवों के लिए, गणनाएँ असहनीय हो सकती हैं, और श्रृंखला विस्तार आमतौर पर आसान होता है। आवश्यक विलक्षणता के लिए, ऐसा कोई सरल सूत्र मौजूद नहीं है, और अवशेषों को आमतौर पर श्रृंखला विस्तार से सीधे लिया जाना चाहिए।
अनंत पर अवशेष
सामान्य तौर पर, अनंत पर अवशेष को इस प्रकार परिभाषित किया गया है:
यदि निम्नलिखित शर्त पूरी होती है:
तो अनंत पर अवशेष की गणना निम्न सूत्र का उपयोग करके की जा सकती है:
यदि इसके बजाय
तो अनंत पर अवशेष है
होलोमोर्फिक फ़ंक्शंस के लिए पृथक विलक्षणताओं पर अवशेषों और अनंत पर अवशेषों का योग शून्य है।
श्रृंखला विधियाँ
यदि किसी फ़ंक्शन के हिस्सों या सभी को टेलर श्रृंखला या लॉरेंट श्रृंखला में विस्तारित किया जा सकता है, जो संभव हो सकता है यदि भागों या पूरे फ़ंक्शन में मानक श्रृंखला विस्तार हो, तो अवशेष की गणना करना अन्य तरीकों की तुलना में काफी सरल है।
- As a first example, consider calculating the residues at the singularities of the function
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
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:
So, for g(z) = sin z and a = 1 we have
and for g(z) = 1/z and a = 1 we haveMultiplying those two series and introducing 1/(z − 1) gives us
So the residue of f(z) at z = 1 is sin 1. - The next example shows that, computing a residue by series expansion, a major role is played by the Lagrange inversion theorem. Let
be an entire function, and letwith positive radius of convergence, and with . So has a local inverse at 0, and is meromorphic at 0. Then we have:Indeed,because the first series converges uniformly on any small circle around 0. Using the Lagrange inversion theoremand we get the above expression. For example, if and also , thenandThe first term contributes 1 to the residue, and the second term contributes 2 since it is asymptotic to . Note that, with the corresponding stronger symmetric assumptions on and , it also followswhere is a local inverse of 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.