कॉची समाकलन प्रमेय: Difference between revisions
No edit summary |
(+) |
||
Line 9: | Line 9: | ||
=== जटिल रेखा समाकलनों के लिए मौलिक प्रमेय === | === जटिल रेखा समाकलनों के लिए मौलिक प्रमेय === | ||
अगर {{math|''f''(''z'')}} एक खुले | अगर {{math|''f''(''z'')}} एक खुले डोमेन {{mvar|U}} पर होलोमोर्फिक फलन है, और {{mvar|U}} में <math>z_0</math> से<math>z_1</math> <math>\gamma</math> एक वक्र है तब, | ||
<math display="block">\int_{\gamma}f'(z) \, dz = f(z_1)-f(z_0).</math> | <math display="block">\int_{\gamma}f'(z) \, dz = f(z_1)-f(z_0).</math> | ||
इसके अतिरिक्त , जब {{math|''f''(''z'')}} एक खुले | इसके अतिरिक्त , जब {{math|''f''(''z'')}} एक खुले डोमेन {{mvar|U}} में एकल-मूल्यवान प्रतिअवकलन है , फिर पथ समाकलन <math display="inline">\int_{\gamma}f'(z) \, dz</math> सभी पथों {{mvar|U}} के लिए पथ स्वतंत्र है। | ||
==== सरलता से जुड़े | ==== सरलता से जुड़े डोमेनों पर सूत्रीकरण ==== | ||
माना की <math>U \subseteq \Complex</math> एक सरल रूप से जुड़ा हुआ खुला समुच्चय हो, और माना की <math>f: U \to \Complex</math> एक होलोमोर्फिक फलन हैं। माना की <math>\gamma: [a,b] \to U</math> एक चिकना बंद वक्र हैं। तब<math display="block">\int_\gamma f(z)\,dz = 0. </math><br />(अनुबंध यह है कि <math>U</math> संयोजित रहने का तात्पर्य है <math>U</math> इसमें कोई ख़ाली स्थान नहीं है, या दूसरे शब्दों में कहें तो <math>U</math> का यह मूल समूह नगण्य है) | |||
==== सामान्य सूत्रीकरण ==== | ==== सामान्य सूत्रीकरण ==== | ||
माना की <math>U \subseteq \Complex</math> एक अनावृत समुच्चय बनें, और माना की <math>f: U \to \Complex</math> एक होलोमोर्फिक फलन हैं। माना की <math>\gamma: [a,b] \to U</math> एक चिकना बंद वक्र हैं। अगर <math>\gamma</math> एक स्थिर वक्र की समरूपता है, तो: | |||
<math display="block">\int_\gamma f(z)\,dz = 0. </math> | <math display="block">\int_\gamma f(z)\,dz = 0. </math> | ||
(याद रखें कि एक वक्र एक स्थिर वक्र का समरूप है यदि उसके | (याद रखें कि एक वक्र एक स्थिर वक्र का समरूप है यदि उसके अंदर एक चिकनी समरूपता ( अंदर U में) वक्र से स्थिर वक्र तक उपस्थित है। सहज रूप से, इसका तात्पर्य यह है कि कोई व्यक्ति अंतरिक्ष से बाहर निकले बिना वक्र को एक बिंदु में सिकोड़ सकता है।) पहला संस्करण इसका एक विशेष स्थिति है क्योंकि सरल रूप से जुड़े स्थान समुच्चय पर, प्रत्येक बंद वक्र एक स्थिर वक्र का समरूप है। | ||
==== मुख्य उदाहरण ==== | ==== मुख्य उदाहरण ==== | ||
दोनों ही | दोनों ही स्थितियों में, यह याद रखना महत्वपूर्ण है कि वक्र <math>\gamma</math> डोमेन में कोई ख़ाली स्थान नहीं घेरता है, अन्यथा प्रमेय लागू नहीं होता है। एक प्रसिद्ध उदाहरण निम्नलिखित वक्र है: | ||
<math display="block">\gamma(t) = e^{it} \quad t \in \left[0, 2\pi\right] ,</math> | <math display="block">\gamma(t) = e^{it} \quad t \in \left[0, 2\pi\right] ,</math> | ||
जो यूनिट सर्कल का पता लगाता है। यहाँ निम्नलिखित समाकलन है: | जो यूनिट सर्कल का पता लगाता है। यहाँ निम्नलिखित समाकलन है: | ||
<math display="block">\int_{\gamma} \frac{1}{z}\,dz = 2\pi i \neq 0 , </math> | <math display="block">\int_{\gamma} \frac{1}{z}\,dz = 2\pi i \neq 0 , </math> | ||
शून्येतर है. कॉची समाकलन प्रमेय यहां लागू नहीं होता है <math>f(z) = 1/z</math> पर परिभाषित नहीं है <math>z = 0</math>. सहजता से, <math>\gamma</math> के | शून्येतर है. कॉची समाकलन प्रमेय यहां लागू नहीं होता है <math>f(z) = 1/z</math> पर परिभाषित नहीं है <math>z = 0</math>. सहजता से, <math>\gamma</math> के डोमेन में एक छिद्र को घेर लेता है <math>f</math>, इसलिए <math>\gamma</math> स्थान से बाहर निकले बिना किसी बिंदु तक सिकुड़ा नहीं जा सकता। इस प्रकार, प्रमेय लागू नहीं होता है। | ||
==चर्चा== | ==चर्चा== | ||
जैसा कि एडौर्ड गौरसैट ने दिखाया, कॉची के समाकलन प्रमेय को केवल यह मानते हुए सिद्ध किया जा सकता है कि जटिल व्युत्पन्न <math>f'(z)</math> में हर जगह | जैसा कि एडौर्ड गौरसैट ने दिखाया, कॉची के समाकलन प्रमेय को केवल यह मानते हुए सिद्ध किया जा सकता है कि जटिल व्युत्पन्न <math>f'(z)</math> में हर जगह उपस्थित है <math>U</math>. यह महत्वपूर्ण है क्योंकि तब कोई इन कार्यों के लिए कॉची के समाकलन सूत्र को सिद्ध कर सकता है, और उससे यह निष्कर्ष निकाल सकता है कि ये कार्य [[असीम रूप से भिन्न]] हैं। | ||
शर्त यह है कि <math>U</math> बस जुड़े रहने का तात्पर्य है <math>U</math> इसमें कोई ख़ाली स्थान नहीं है या, समरूप शब्दों में, इसका मूल समूह है <math>U</math> तुच्छ है; उदाहरण के लिए, प्रत्येक खुली डिस्क <math>U_{z_0} = \{ z : \left|z-z_{0}\right| < r\}</math>, के लिए <math>z_0 \in \Complex</math>, अर्हता प्राप्त करता है। स्थिति महत्वपूर्ण है; विचार करना | शर्त यह है कि <math>U</math> बस जुड़े रहने का तात्पर्य है <math>U</math> इसमें कोई ख़ाली स्थान नहीं है या, समरूप शब्दों में, इसका मूल समूह है <math>U</math> तुच्छ है; उदाहरण के लिए, प्रत्येक खुली डिस्क <math>U_{z_0} = \{ z : \left|z-z_{0}\right| < r\}</math>, के लिए <math>z_0 \in \Complex</math>, अर्हता प्राप्त करता है। स्थिति महत्वपूर्ण है; विचार करना | ||
Line 43: | Line 39: | ||
शून्येतर है; कॉची समाकलन प्रमेय यहां लागू नहीं होता है <math>f(z) = 1/z</math> परिभाषित नहीं है (और निश्चित रूप से होलोमोर्फिक नहीं है)। <math>z = 0</math>. | शून्येतर है; कॉची समाकलन प्रमेय यहां लागू नहीं होता है <math>f(z) = 1/z</math> परिभाषित नहीं है (और निश्चित रूप से होलोमोर्फिक नहीं है)। <math>z = 0</math>. | ||
प्रमेय का एक महत्वपूर्ण परिणाम यह है कि बस जुड़े हुए डोमेन पर होलोमोर्फिक कार्यों के पथ समाकलन्स की गणना कैलकुलस के मौलिक प्रमेय से परिचित तरीके से की जा सकती है: चलो <math>U</math> का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय बनें <math>\Complex</math>, | प्रमेय का एक महत्वपूर्ण परिणाम यह है कि बस जुड़े हुए डोमेन पर होलोमोर्फिक कार्यों के पथ समाकलन्स की गणना कैलकुलस के मौलिक प्रमेय से परिचित तरीके से की जा सकती है: चलो <math>U</math> का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय बनें <math>\Complex</math>, माना की <math>f: U \to \Complex</math> एक होलोमोर्फिक फलन बनें, और चलो <math>\gamma</math> एक टुकड़े में लगातार अलग-अलग पथ बनें <math>U</math> प्रारंभ बिंदु के साथ <math>a</math> और अंत बिंदु <math>b</math>. अगर <math>F</math> का एक [[जटिल प्रतिव्युत्पन्न]] है <math>f</math>, तब | ||
<math display="block">\int_\gamma f(z)\,dz=F(b)-F(a).</math> | <math display="block">\int_\gamma f(z)\,dz=F(b)-F(a).</math> | ||
कॉची समाकलन प्रमेय ऊपर दी गई परिकल्पना से कमजोर परिकल्पना के साथ मान्य है, उदाहरण के लिए दिया गया <math>U</math>, एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय <math>\Complex</math>, हम धारणाओं को कमजोर कर सकते हैं <math>f</math> पर होलोमोर्फिक होना <math>U</math> और निरंतर बंद होने पर (टोपोलॉजी)|<math display="inline">\overline{U}</math>और <math>\gamma</math> एक [[सुधार योग्य वक्र]] [[जॉर्डन वक्र प्रमेय]] <math display="inline">\overline{U}</math>.<ref>{{Cite journal|last=Walsh|first=J. L.|date=1933-05-01|title=रेक्टिफ़िएबल जॉर्डन कर्व्स के लिए कॉची-गॉरसैट प्रमेय|journal=Proceedings of the National Academy of Sciences|volume=19|issue=5|pages=540–541| doi=10.1073/pnas.19.5.540|pmid=16587781|pmc=1086062|issn=0027-8424|doi-access=free}}</ref> | कॉची समाकलन प्रमेय ऊपर दी गई परिकल्पना से कमजोर परिकल्पना के साथ मान्य है, उदाहरण के लिए दिया गया <math>U</math>, एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय <math>\Complex</math>, हम धारणाओं को कमजोर कर सकते हैं <math>f</math> पर होलोमोर्फिक होना <math>U</math> और निरंतर बंद होने पर (टोपोलॉजी)|<math display="inline">\overline{U}</math>और <math>\gamma</math> एक [[सुधार योग्य वक्र]] [[जॉर्डन वक्र प्रमेय]] <math display="inline">\overline{U}</math>.<ref>{{Cite journal|last=Walsh|first=J. L.|date=1933-05-01|title=रेक्टिफ़िएबल जॉर्डन कर्व्स के लिए कॉची-गॉरसैट प्रमेय|journal=Proceedings of the National Academy of Sciences|volume=19|issue=5|pages=540–541| doi=10.1073/pnas.19.5.540|pmid=16587781|pmc=1086062|issn=0027-8424|doi-access=free}}</ref> | ||
Line 49: | Line 45: | ||
==प्रमाण== | ==प्रमाण== | ||
यदि कोई मानता है कि होलोमोर्फिक फलन के आंशिक व्युत्पन्न निरंतर हैं, तो कॉची समाकलन प्रमेय को ग्रीन के प्रमेय के प्रत्यक्ष परिणाम के रूप में सिद्ध किया जा सकता है और यह तथ्य कि वास्तविक और काल्पनिक भाग <math>f=u+iv</math> से घिरे | यदि कोई मानता है कि होलोमोर्फिक फलन के आंशिक व्युत्पन्न निरंतर हैं, तो कॉची समाकलन प्रमेय को ग्रीन के प्रमेय के प्रत्यक्ष परिणाम के रूप में सिद्ध किया जा सकता है और यह तथ्य कि वास्तविक और काल्पनिक भाग <math>f=u+iv</math> से घिरे डोमेन {{nowrap|<math>\gamma</math>}} में और इसके अलावा इस क्षेत्र के खुले पड़ोस U में कॉची-रीमैन समीकरणों को संतुष्ट करना होगा। कॉची ने यह प्रमाण प्रदान किया, लेकिन बाद में इसे वेक्टर कैलकुलस, या आंशिक व्युत्पन्न (शब्द) की निरंतरता की तकनीकों की आवश्यकता के बिना गौरसैट द्वारा सिद्ध किया गया। | ||
हम | हम एकीकृत {{nowrap|<math>f</math>}} को साथ ही अवकल <math>dz</math> को भी उनके वास्तविक और काल्पनिक घटकों में रोक सकते हैं | ||
<math display="block"> f=u+iv </math> | <math display="block"> f=u+iv </math><math display="block"> dz=dx+i\,dy </math> | ||
<math display="block"> dz=dx+i\,dy </math> | इस सन्दर्भ में हमारे पास है | ||
इस | |||
<math display="block">\oint_\gamma f(z)\,dz = \oint_\gamma (u+iv)(dx+i\,dy) = \oint_\gamma (u\,dx-v\,dy) +i\oint_\gamma (v\,dx+u\,dy)</math> | <math display="block">\oint_\gamma f(z)\,dz = \oint_\gamma (u+iv)(dx+i\,dy) = \oint_\gamma (u\,dx-v\,dy) +i\oint_\gamma (v\,dx+u\,dy)</math> | ||
ग्रीन के प्रमेय के अनुसार, हम बंद समोच्च के चारों ओर समाकलनों को प्रतिस्थापित कर सकते हैं <math>\gamma</math> पूरे डोमेन में एक समाकलन | ग्रीन के प्रमेय के अनुसार, हम बंद समोच्च के चारों ओर समाकलनों को प्रतिस्थापित कर सकते हैं <math>\gamma</math> पूरे डोमेन में एक समाकलन डोमेन के साथ <math>D</math> जो कि <math>\gamma</math> संलग्न है निम्नलिखितनुसार: | ||
<math display="block">\oint_\gamma (u\,dx-v\,dy) = \iint_D \left( -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right) \,dx\,dy </math> | <math display="block">\oint_\gamma (u\,dx-v\,dy) = \iint_D \left( -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right) \,dx\,dy </math><math display="block">\oint_\gamma (v\,dx+u\,dy) = \iint_D \left( \frac{\partial u}{\partial x} -\frac{\partial v}{\partial y} \right) \,dx\,dy </math> | ||
<math display="block">\oint_\gamma (v\,dx+u\,dy) = \iint_D \left( \frac{\partial u}{\partial x} -\frac{\partial v}{\partial y} \right) \,dx\,dy </math> | लेकिन डोमेन में फलन होलोमोर्फिक के वास्तविक और काल्पनिक भागों के रूप में {{nowrap|<math>D</math>,}} <math>u</math> और <math>v</math> कॉची-रीमैन समीकरणों को संतुष्ट करते है यहाँ | ||
लेकिन डोमेन में फलन होलोमोर्फिक के वास्तविक और काल्पनिक भागों के रूप में {{nowrap|<math>D</math>,}} <math>u</math> और <math>v</math> | <math display="block">\frac{ \partial u }{ \partial x } = \frac{ \partial v }{ \partial y } </math><math display="block">\frac{ \partial u }{ \partial y } = -\frac{ \partial v }{ \partial x } </math> | ||
<math display="block">\frac{ \partial u }{ \partial x } = \frac{ \partial v }{ \partial y } </math> | इसलिए हम पाते हैं कि दोनों समाकलन (और इसलिए उनके समाकलन) शून्य हैं | ||
<math display="block">\frac{ \partial u }{ \partial y } = -\frac{ \partial v }{ \partial x } </math> | |||
इसलिए हम पाते हैं कि दोनों | |||
<math display="block">\iint_D \left( -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right )\,dx\,dy = \iint_D \left( \frac{\partial u}{\partial y} - \frac{\partial u}{\partial y} \right ) \, dx \, dy =0</math> | <math display="block">\iint_D \left( -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right )\,dx\,dy = \iint_D \left( \frac{\partial u}{\partial y} - \frac{\partial u}{\partial y} \right ) \, dx \, dy =0</math><math display="block">\iint_D \left( \frac{\partial u}{\partial x}-\frac{\partial v}{\partial y} \right )\,dx\,dy = \iint_D \left( \frac{\partial u}{\partial x} - \frac{\partial u}{\partial x} \right ) \, dx \, dy = 0</math> | ||
<math display="block">\iint_D \left( \frac{\partial u}{\partial x}-\frac{\partial v}{\partial y} \right )\,dx\,dy = \iint_D \left( \frac{\partial u}{\partial x} - \frac{\partial u}{\partial x} \right ) \, dx \, dy = 0</math> | इससे अभीष्ट परिणाम मिलता है | ||
इससे | |||
<math display="block">\oint_\gamma f(z)\,dz = 0</math> | <math display="block">\oint_\gamma f(z)\,dz = 0</math> | ||
==यह भी देखें== | ==यह भी देखें== | ||
*मोरेरा का प्रमेय | *मोरेरा का प्रमेय |
Revision as of 01:32, 24 July 2023
Mathematical analysis → Complex analysis |
Complex analysis |
---|
Complex numbers |
Complex functions |
Basic Theory |
Geometric function theory |
People |
|
गणित में, जटिल विश्लेषण में कॉची समाकलन प्रमेय (जिसे कॉची-गॉरसैट प्रमेय के रूप में भी जाना जाता है), जिसका नाम ऑगस्टिन-लुई कॉची (और एडौर्ड गौरसैट) के नाम पर रखा गया है, जटिल संख्या में होलोमोर्फिक फलन के लिए रेखीय समाकलन के बारे में एक महत्वपूर्ण कथन है। मूलतः यह कहता है कि यदि किसी सरल रूप से जुड़े डोमेन Ω में होलोमोर्फिक है, फिर किसी भी सरल रूप से बंद समोच्च के लिए Ω में , वह समोच्च समाकलन शून्य है।
कथन
जटिल रेखा समाकलनों के लिए मौलिक प्रमेय
अगर f(z) एक खुले डोमेन U पर होलोमोर्फिक फलन है, और U में से एक वक्र है तब,
सरलता से जुड़े डोमेनों पर सूत्रीकरण
माना की एक सरल रूप से जुड़ा हुआ खुला समुच्चय हो, और माना की एक होलोमोर्फिक फलन हैं। माना की एक चिकना बंद वक्र हैं। तब
(अनुबंध यह है कि संयोजित रहने का तात्पर्य है इसमें कोई ख़ाली स्थान नहीं है, या दूसरे शब्दों में कहें तो का यह मूल समूह नगण्य है)
सामान्य सूत्रीकरण
माना की एक अनावृत समुच्चय बनें, और माना की एक होलोमोर्फिक फलन हैं। माना की एक चिकना बंद वक्र हैं। अगर एक स्थिर वक्र की समरूपता है, तो:
मुख्य उदाहरण
दोनों ही स्थितियों में, यह याद रखना महत्वपूर्ण है कि वक्र डोमेन में कोई ख़ाली स्थान नहीं घेरता है, अन्यथा प्रमेय लागू नहीं होता है। एक प्रसिद्ध उदाहरण निम्नलिखित वक्र है:
चर्चा
जैसा कि एडौर्ड गौरसैट ने दिखाया, कॉची के समाकलन प्रमेय को केवल यह मानते हुए सिद्ध किया जा सकता है कि जटिल व्युत्पन्न में हर जगह उपस्थित है . यह महत्वपूर्ण है क्योंकि तब कोई इन कार्यों के लिए कॉची के समाकलन सूत्र को सिद्ध कर सकता है, और उससे यह निष्कर्ष निकाल सकता है कि ये कार्य असीम रूप से भिन्न हैं।
शर्त यह है कि बस जुड़े रहने का तात्पर्य है इसमें कोई ख़ाली स्थान नहीं है या, समरूप शब्दों में, इसका मूल समूह है तुच्छ है; उदाहरण के लिए, प्रत्येक खुली डिस्क , के लिए , अर्हता प्राप्त करता है। स्थिति महत्वपूर्ण है; विचार करना
प्रमेय का एक महत्वपूर्ण परिणाम यह है कि बस जुड़े हुए डोमेन पर होलोमोर्फिक कार्यों के पथ समाकलन्स की गणना कैलकुलस के मौलिक प्रमेय से परिचित तरीके से की जा सकती है: चलो का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय बनें , माना की एक होलोमोर्फिक फलन बनें, और चलो एक टुकड़े में लगातार अलग-अलग पथ बनें प्रारंभ बिंदु के साथ और अंत बिंदु . अगर का एक जटिल प्रतिव्युत्पन्न है , तब
प्रमाण
यदि कोई मानता है कि होलोमोर्फिक फलन के आंशिक व्युत्पन्न निरंतर हैं, तो कॉची समाकलन प्रमेय को ग्रीन के प्रमेय के प्रत्यक्ष परिणाम के रूप में सिद्ध किया जा सकता है और यह तथ्य कि वास्तविक और काल्पनिक भाग से घिरे डोमेन में और इसके अलावा इस क्षेत्र के खुले पड़ोस U में कॉची-रीमैन समीकरणों को संतुष्ट करना होगा। कॉची ने यह प्रमाण प्रदान किया, लेकिन बाद में इसे वेक्टर कैलकुलस, या आंशिक व्युत्पन्न (शब्द) की निरंतरता की तकनीकों की आवश्यकता के बिना गौरसैट द्वारा सिद्ध किया गया।
हम एकीकृत को साथ ही अवकल को भी उनके वास्तविक और काल्पनिक घटकों में रोक सकते हैं
यह भी देखें
- मोरेरा का प्रमेय
- समोच्च एकीकरण के तरीके
- स्टार डोमेन
संदर्भ
- ↑ Walsh, J. L. (1933-05-01). "रेक्टिफ़िएबल जॉर्डन कर्व्स के लिए कॉची-गॉरसैट प्रमेय". Proceedings of the National Academy of Sciences. 19 (5): 540–541. doi:10.1073/pnas.19.5.540. ISSN 0027-8424. PMC 1086062. PMID 16587781.
- Kodaira, Kunihiko (2007), Complex Analysis, Cambridge Stud. Adv. Math., 107, CUP, ISBN 978-0-521-80937-5
- Ahlfors, Lars (2000), Complex Analysis, McGraw-Hill series in Mathematics, McGraw-Hill, ISBN 0-07-000657-1
- Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag
- Rudin, Walter (2000), Real and Complex Analysis, McGraw-Hill series in mathematics, McGraw-Hill
बाहरी संबंध
- "Cauchy integral theorem", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Weisstein, Eric W. "Cauchy Integral Theorem". MathWorld.
- Jeremy Orloff, 18.04 Complex Variables with Applications Spring 2018 Massachusetts Institute of Technology: MIT OpenCourseWare Creative Commons.