कॉची समाकलन प्रमेय

गणित में, जटिल विश्लेषण में कॉची समाकलन प्रमेय (जिसे कॉची-गॉरसैट प्रमेय के रूप में भी जाना जाता है), जिसका नाम ऑगस्टिन-लुई कॉची (और एडौर्ड गौरसैट) के नाम पर रखा गया है, जटिल संख्या में होलोमोर्फिक फलन के लिए रेखीय समाकलन के बारे में एक महत्वपूर्ण कथन है। मूलतः यह कहता है कि यदि $$f(z)$$ किसी सरल रूप से जुड़े डोमेन Ω में होलोमोर्फिक है, फिर किसी भी सरल रूप से बंद समोच्च के लिए Ω में $$C$$, वह समोच्च समाकलन शून्य है।

$$\int_C f(z)\,dz = 0. $$

जटिल रेखा समाकलनों के लिए मौलिक प्रमेय
अगर $f(z)$ एक खुले डोमेन $U$ पर होलोमोर्फिक फलन है, और $U$ में  $$z_0$$ से$$z_1$$ $$\gamma$$ एक वक्र है तब, $$\int_{\gamma}f'(z) \, dz = f(z_1)-f(z_0).$$ इसके अतिरिक्त, जब $f(z)$ एक खुले डोमेन $U$ में एकल-मूल्यवान प्रतिअवकलन है , फिर पथ समाकलन $\int_{\gamma}f'(z) \, dz$  सभी पथों $U$ के लिए पथ स्वतंत्र है।

सरलता से जुड़े डोमेनों पर सूत्रीकरण
माना की $$U \subseteq \Complex$$ एक सरल रूप से जुड़ा हुआ खुला समुच्चय हो, और माना की $$f: U \to \Complex$$ एक होलोमोर्फिक फलन हैं। माना की $$\gamma: [a,b] \to U$$ एक चिकना बंद वक्र हैं। तब$$\int_\gamma f(z)\,dz = 0. $$ (अनुबंध यह है कि $$U$$ संयोजित रहने का तात्पर्य है $$U$$ इसमें कोई ख़ाली स्थान नहीं है, या दूसरे शब्दों में कहें तो $$U$$ का यह मूल समूह नगण्य है)

सामान्य सूत्रीकरण
माना की $$U \subseteq \Complex$$ एक अनावृत समुच्चय बनें, और माना की $$f: U \to \Complex$$ एक होलोमोर्फिक फलन हैं। माना की $$\gamma: [a,b] \to U$$ एक चिकना बंद वक्र हैं। अगर $$\gamma$$ एक स्थिर वक्र की समरूपता है, तो: $$\int_\gamma f(z)\,dz = 0. $$ (याद रखें कि एक वक्र एक स्थिर वक्र का समरूप है यदि उसके अंदर एक चिकनी समरूपता ( अंदर U में) वक्र से स्थिर वक्र तक उपस्थित है। सहज रूप से, इसका तात्पर्य यह है कि कोई व्यक्ति अंतरिक्ष से बाहर निकले बिना वक्र को एक बिंदु में सिकोड़ सकता है।) पहला संस्करण इसका एक विशेष स्थिति है क्योंकि सरल रूप से जुड़े स्थान समुच्चय पर, प्रत्येक बंद वक्र एक स्थिर वक्र का समरूप है।

मुख्य उदाहरण
दोनों ही स्थितियों में, यह याद रखना महत्वपूर्ण है कि वक्र $$\gamma$$ डोमेन में कोई ख़ाली स्थान नहीं घेरता है, अन्यथा प्रमेय लागू नहीं होता है। एक प्रसिद्ध उदाहरण निम्नलिखित वक्र है: $$\gamma(t) = e^{it} \quad t \in \left[0, 2\pi\right] ,$$ जो यूनिट सर्कल का पता लगाता है। यहाँ निम्नलिखित समाकलन है: $$\int_{\gamma} \frac{1}{z}\,dz = 2\pi i \neq 0, $$ शून्येतर है. कॉची समाकलन प्रमेय यहां लागू नहीं होता है $$f(z) = 1/z$$ पर परिभाषित नहीं है $$z = 0$$. सहजता से, $$\gamma$$ के डोमेन में एक छिद्र को घेर लेता है $$f$$, इसलिए $$\gamma$$ स्थान से बाहर निकले बिना किसी बिंदु तक सिकुड़ा नहीं जा सकता। इस प्रकार, प्रमेय लागू नहीं होता है।

चर्चा
जैसा कि एडौर्ड गौरसैट ने दिखाया, कॉची के समाकलन प्रमेय को केवल यह मानते हुए सिद्ध किया जा सकता है कि जटिल व्युत्पन्न $$f'(z)$$ में हर जगह उपस्थित है $$U$$. यह महत्वपूर्ण है क्योंकि तब कोई इन कार्यों के लिए कॉची के समाकलन सूत्र को सिद्ध कर सकता है, और उससे यह निष्कर्ष निकाल सकता है कि ये कार्य असीम रूप से भिन्न हैं।

शर्त यह है कि $$U$$ बस जुड़े रहने का तात्पर्य है $$U$$ इसमें कोई ख़ाली स्थान नहीं है या, समरूप शब्दों में, इसका मूल समूह है $$U$$ तुच्छ है; उदाहरण के लिए, प्रत्येक खुली डिस्क $$U_{z_0} = \{ z : \left|z-z_{0}\right| < r\}$$, के लिए $$z_0 \in \Complex$$, अर्हता प्राप्त करता है। स्थिति महत्वपूर्ण है; विचार करना $$\gamma(t) = e^{it} \quad t \in \left[0, 2\pi\right]$$ जो यूनिट सर्कल और फिर पथ समाकलन का पता लगाता है $$\oint_\gamma \frac{1}{z}\,dz = \int_0^{2\pi} \frac{1}{e^{it}}(ie^{it} \,dt) = \int_0^{2\pi}i\,dt = 2\pi i $$ शून्येतर है; कॉची समाकलन प्रमेय यहां लागू नहीं होता है $$f(z) = 1/z$$ परिभाषित नहीं है (और निश्चित रूप से होलोमोर्फिक नहीं है)। $$z = 0$$.

प्रमेय का एक महत्वपूर्ण परिणाम यह है कि बस जुड़े हुए डोमेन पर होलोमोर्फिक कार्यों के पथ समाकलन्स की गणना कैलकुलस के मौलिक प्रमेय से परिचित तरीके से की जा सकती है: चलो $$U$$ का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय बनें $$\Complex$$, माना की $$f: U \to \Complex$$ एक होलोमोर्फिक फलन बनें, और चलो $$\gamma$$ एक टुकड़े में लगातार अलग-अलग पथ बनें $$U$$ प्रारंभ बिंदु के साथ $$a$$ और अंत बिंदु $$b$$. अगर $$F$$ का एक जटिल प्रतिव्युत्पन्न है $$f$$, तब $$\int_\gamma f(z)\,dz=F(b)-F(a).$$ कॉची समाकलन प्रमेय ऊपर दी गई परिकल्पना से कमजोर परिकल्पना के साथ मान्य है, उदाहरण के लिए दिया गया $$U$$, एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय $$\Complex$$, हम धारणाओं को कमजोर कर सकते हैं $$f$$ पर होलोमोर्फिक होना $$U$$ और निरंतर बंद होने पर (टोपोलॉजी)|$\overline{U}$ और $$\gamma$$ एक सुधार योग्य वक्र जॉर्डन वक्र प्रमेय $\overline{U}$. कॉची समाकलन प्रमेय कॉची के समाकलन सूत्र और अवशेष प्रमेय की ओर ले जाता है।

प्रमाण
यदि कोई मानता है कि होलोमोर्फिक फलन के आंशिक व्युत्पन्न निरंतर हैं, तो कॉची समाकलन प्रमेय को ग्रीन के प्रमेय के प्रत्यक्ष परिणाम के रूप में सिद्ध किया जा सकता है और यह तथ्य कि वास्तविक और काल्पनिक भाग $$f=u+iv$$ से घिरे डोमेन $\gamma$ में और इसके अलावा इस क्षेत्र के खुले पड़ोस U में कॉची-रीमैन समीकरणों को संतुष्ट करना होगा। कॉची ने यह प्रमाण प्रदान किया, लेकिन बाद में इसे वेक्टर कैलकुलस, या आंशिक व्युत्पन्न (शब्द) की निरंतरता की तकनीकों की आवश्यकता के बिना गौरसैट द्वारा सिद्ध किया गया।

हम एकीकृत $f$ को साथ ही अवकल $$dz$$ को भी उनके वास्तविक और काल्पनिक घटकों में रोक सकते हैं

$$ f=u+iv $$$$ dz=dx+i\,dy $$ इस सन्दर्भ में हमारे पास है $$\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)$$ ग्रीन के प्रमेय के अनुसार, हम बंद समोच्च के चारों ओर समाकलनों को प्रतिस्थापित कर सकते हैं $$\gamma$$ पूरे डोमेन में एक समाकलन डोमेन के साथ $$D$$ जो कि $$\gamma$$ संलग्न है निम्नलिखितनुसार:

$$\oint_\gamma (u\,dx-v\,dy) = \iint_D \left( -\frac{\partial v}{\partial x} -\frac{\partial u}{\partial y} \right) \,dx\,dy $$$$\oint_\gamma (v\,dx+u\,dy) = \iint_D \left( \frac{\partial u}{\partial x} -\frac{\partial v}{\partial y} \right) \,dx\,dy $$ लेकिन डोमेन में फलन होलोमोर्फिक के वास्तविक और काल्पनिक भागों के रूप में $D$, $$u$$ और $$v$$ कॉची-रीमैन समीकरणों को संतुष्ट करते है यहाँ $$\frac{ \partial u }{ \partial x } = \frac{ \partial v }{ \partial y } $$$$\frac{ \partial u }{ \partial y } = -\frac{ \partial v }{ \partial x } $$ इसलिए हम पाते हैं कि दोनों समाकलन (और इसलिए उनके समाकलन) शून्य हैं

$$\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$$$$\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$$ इससे अभीष्ट परिणाम मिलता है $$\oint_\gamma f(z)\,dz = 0$$

यह भी देखें

 * मोरेरा का प्रमेय
 * समोच्च एकीकरण के तरीके
 * स्टार डोमेन

बाहरी संबंध

 * Jeremy Orloff, 18.04 Complex Variables with Applications Spring 2018 Massachusetts Institute of Technology: MIT OpenCourseWare Creative Commons.
 * Jeremy Orloff, 18.04 Complex Variables with Applications Spring 2018 Massachusetts Institute of Technology: MIT OpenCourseWare Creative Commons.
 * Jeremy Orloff, 18.04 Complex Variables with Applications Spring 2018 Massachusetts Institute of Technology: MIT OpenCourseWare Creative Commons.