गणित में, जटिल विश्लेषण में कॉची इंटीग्रल प्रमेय (जिसे कॉची-गॉरसैट प्रमेय के रूप में भी जाना जाता है), जिसका नाम ऑगस्टिन-लुई कॉची (और एडौर्ड गौरसैट) के नाम पर रखा गया है, जटिल संख्या में होलोमोर्फिक फ़ंक्शन के लिए लाइन इंटीग्रल के बारे में एक महत्वपूर्ण कथन है। मूलतः, यह कहता है कि यदि एक सरल रूप से जुड़े डोमेन (गणितीय विश्लेषण) में होलोमोर्फिक है, फिर किसी भी बंद समोच्च के लिए Ω में, वह समोच्च समाकलन शून्य है।
अगर f(z) एक खुले क्षेत्र पर एक होलोमोर्फिक फ़ंक्शन है (गणितीय विश्लेषण) U, और में एक वक्र है U से को तब,
इसके अलावा, कब f(z) एक खुले क्षेत्र में एकल-मूल्यवान प्रतिअवकलन है U, फिर पथ अभिन्न सभी पथों के लिए पथ स्वतंत्र है U.
सरलता से जुड़े क्षेत्रों पर सूत्रीकरण
होने देना एक बस जुड़ा हुआ स्थान ओपन सब्मिट सेट बनें, और जाने दें एक होलोमोर्फिक फ़ंक्शन बनें। होने देना एक चिकना बंद वक्र बनें। तब:
(शर्त यह है कि बस जुड़े रहने का मतलब है इसमें कोई छेद नहीं है, या दूसरे शब्दों में, इसका मूल समूह है तुच्छ है.)
सामान्य सूत्रीकरण
होने देना एक खुला उपसमुच्चय बनें, और रहने दें एक होलोमोर्फिक फ़ंक्शन बनें। होने देना एक चिकना बंद वक्र बनें। अगर एक स्थिर वक्र की समरूपता है, तो:
(याद रखें कि एक वक्र एक स्थिर वक्र का समरूप है यदि उसके भीतर एक चिकनी समरूपता मौजूद है ) वक्र से स्थिर वक्र तक। सहज रूप से, इसका मतलब यह है कि कोई व्यक्ति अंतरिक्ष से बाहर निकले बिना वक्र को एक बिंदु में सिकोड़ सकता है।) पहला संस्करण इसका एक विशेष मामला है क्योंकि सरल रूप से जुड़े स्थान सेट पर, प्रत्येक बंद वक्र एक स्थिर वक्र का समरूप है।
मुख्य उदाहरण
दोनों ही मामलों में, यह याद रखना महत्वपूर्ण है कि वक्र डोमेन में कोई छेद नहीं घेरता है, अन्यथा प्रमेय लागू नहीं होता है। एक प्रसिद्ध उदाहरण निम्नलिखित वक्र है:
जो यूनिट सर्कल का पता लगाता है। यहाँ निम्नलिखित अभिन्न है:
शून्येतर है. कॉची इंटीग्रल प्रमेय यहां लागू नहीं होता है पर परिभाषित नहीं है . सहजता से, के क्षेत्र में एक छिद्र को घेर लेता है , इसलिए स्थान से बाहर निकले बिना किसी बिंदु तक सिकुड़ा नहीं जा सकता। इस प्रकार, प्रमेय लागू नहीं होता है।
चर्चा
जैसा कि एडौर्ड गौरसैट ने दिखाया, कॉची के अभिन्न प्रमेय को केवल यह मानते हुए सिद्ध किया जा सकता है कि जटिल व्युत्पन्न में हर जगह मौजूद है . यह महत्वपूर्ण है क्योंकि तब कोई इन कार्यों के लिए कॉची के अभिन्न सूत्र को सिद्ध कर सकता है, और उससे यह निष्कर्ष निकाल सकता है कि ये कार्य असीम रूप से भिन्न हैं।
शर्त यह है कि बस जुड़े रहने का मतलब है इसमें कोई छेद नहीं है या, समरूप शब्दों में, इसका मूल समूह है तुच्छ है; उदाहरण के लिए, प्रत्येक खुली डिस्क , के लिए , अर्हता प्राप्त करता है। स्थिति महत्वपूर्ण है; विचार करना
जो यूनिट सर्कल और फिर पथ इंटीग्रल का पता लगाता है
शून्येतर है; कॉची इंटीग्रल प्रमेय यहां लागू नहीं होता है परिभाषित नहीं है (और निश्चित रूप से होलोमोर्फिक नहीं है)। .
प्रमेय का एक महत्वपूर्ण परिणाम यह है कि बस जुड़े हुए डोमेन पर होलोमोर्फिक कार्यों के पथ इंटीग्रल्स की गणना कैलकुलस के मौलिक प्रमेय से परिचित तरीके से की जा सकती है: चलो का एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय बनें , होने देना एक होलोमोर्फिक फ़ंक्शन बनें, और चलो एक टुकड़े में लगातार अलग-अलग पथ बनें प्रारंभ बिंदु के साथ और अंत बिंदु . अगर का एक जटिल प्रतिव्युत्पन्न है , तब
कॉची इंटीग्रल प्रमेय ऊपर दी गई परिकल्पना से कमजोर परिकल्पना के साथ मान्य है, उदाहरण के लिए दिया गया , एक सरल रूप से जुड़ा हुआ खुला उपसमुच्चय , हम धारणाओं को कमजोर कर सकते हैं पर होलोमोर्फिक होना और निरंतर बंद होने पर (टोपोलॉजी)|और एक सुधार योग्य वक्रजॉर्डन वक्र प्रमेय.[1]
कॉची इंटीग्रल प्रमेय कॉची के इंटीग्रल सूत्र और अवशेष प्रमेय की ओर ले जाता है।
प्रमाण
यदि कोई मानता है कि होलोमोर्फिक फ़ंक्शन के आंशिक व्युत्पन्न निरंतर हैं, तो कॉची इंटीग्रल प्रमेय को ग्रीन के प्रमेय के प्रत्यक्ष परिणाम के रूप में सिद्ध किया जा सकता है और यह तथ्य कि वास्तविक और काल्पनिक भाग से घिरे क्षेत्र में कॉची-रीमैन समीकरणों को संतुष्ट करना होगा , और इसके अलावा खुले पड़ोस में Uइस क्षेत्र का. कॉची ने यह प्रमाण प्रदान किया, लेकिन बाद में इसे वेक्टर कैलकुलस, या आंशिक डेरिवेटिव की निरंतरता की तकनीकों की आवश्यकता के बिना गौरसैट द्वारा सिद्ध किया गया।
हम एकीकरण को तोड़ सकते हैं , साथ ही अंतर भी उनके वास्तविक और काल्पनिक घटकों में:
इस मामले में हमारे पास है
ग्रीन के प्रमेय के अनुसार, हम बंद समोच्च के चारों ओर अभिन्नों को प्रतिस्थापित कर सकते हैं पूरे डोमेन में एक अभिन्न क्षेत्र के साथ जो कि संलग्न है निम्नलिखित नुसार:
लेकिन डोमेन में फ़ंक्शन होलोमोर्फिक के वास्तविक और काल्पनिक भागों के रूप में , और वहां कॉची-रीमैन समीकरणों को संतुष्ट करना होगा:
इसलिए हम पाते हैं कि दोनों समाकलन (और इसलिए उनके समाकलन) शून्य हैं