होलोमोर्फिक कार्यों की विश्लेषणात्मकता

जटिल विश्लेषण में, सम्मिश्र चर $$z$$ का एक संमिश्र मान फलन f:


 * एक बिंदु पर होलोमॉर्फिक कहा जाता है a अगर यह a पर केंद्रित कुछ विवृत डिस्क के अंदर हर बिंदु पर अलग-अलग होता है, और
 * a पर विश्लेषणात्मक कार्य कहा जाता है यदि $$a$$ पर केंद्रित कुछ विवृत डिस्क में इसे अभिसारी शक्ति श्रृंखला के रूप में विस्तारित किया जा सकता है$$f(z)=\sum_{n=0}^\infty c_n(z-a)^n$$ (इसका तात्पर्य है कि अभिसरण की त्रिज्या धनात्मक है)।

जटिल विश्लेषण के सबसे महत्वपूर्ण प्रमेयों में से एक यह है कि होलोमार्फिक फलन वैश्लेषिक और विपर्येण हैं। इस प्रमेय के परिणाम हैं


 * पहचान प्रमेय कि दो होलोमोर्फिक कार्य जो एक अनंत सेट के हर बिंदु पर सहमत होते हैं $$S$$ एक समारोह के अपने डोमेन के चौराहे के अंदर एक संचय बिंदु के साथ भी उनके डोमेन के हर जुड़े हुए खुले उपसमुच्चय में हर जगह सहमत होते हैं जिसमें सबसेट होता है $$S$$, और
 * तथ्य यह है कि, चूंकि शक्ति श्रृंखला असीम रूप से भिन्न होती है, इसलिए होलोमोर्फिक कार्य भी होते हैं (यह वास्तविक भिन्न कार्यों के मामले के विपरीत है), और
 * तथ्य यह है कि अभिसरण की त्रिज्या हमेशा केंद्र से दूरी होती है $$a$$ निकटतम गैर-हटाने योग्य गणितीय विलक्षणता के लिए; यदि कोई विलक्षणता नहीं है (अर्थात, यदि $$f$$ एक संपूर्ण कार्य है), तो अभिसरण की त्रिज्या अनंत है। कड़ाई से बोलना, यह प्रमेय का परिणाम नहीं है, बल्कि प्रमाण का उप-उत्पाद है।
 * कॉम्प्लेक्स प्लेन पर कोई टक्कर समारोह पूरा नहीं हो सकता। विशेष रूप से, किसी भी जुड़े हुए सेट पर जटिल विमान के खुले सबसेट पर, उस सेट पर परिभाषित कोई बम्प फ़ंक्शन नहीं हो सकता है जो सेट पर होलोमोर्फिक हो। जटिल कई गुना  के अध्ययन के लिए इसके महत्वपूर्ण प्रभाव हैं, क्योंकि यह एकता के विभाजन के उपयोग को रोकता है। इसके विपरीत एकता का विभाजन एक उपकरण है जिसका उपयोग किसी वास्तविक कई गुना पर किया जा सकता है।

प्रमाण
तर्क, पहले कॉची द्वारा दिया गया, कॉची के अभिन्न सूत्र और अभिव्यक्ति की शक्ति श्रृंखला विस्तार पर टिका है


 * $$\frac 1 {w-z} .$$

होने देना $$D$$ पर केंद्रित एक खुली डिस्क हो $$a$$ और मान लीजिए $$f$$ बंद होने वाले खुले पड़ोस के भीतर हर जगह अलग-अलग है $$D$$. होने देना $$C$$ सकारात्मक रूप से उन्मुख (यानी, वामावर्त) वृत्त हो जो की सीमा है $$D$$ और जाने $$z$$ में एक बिंदु हो $$D$$. कॉची के समाकलन सूत्र से प्रारंभ करके, हमारे पास है


 * $$\begin{align}f(z) &{}= {1 \over 2\pi i}\int_C {f(w) \over w-z}\,\mathrm{d}w \\[10pt]

&{}= {1 \over 2\pi i}\int_C {f(w) \over (w-a)-(z-a)} \,\mathrm{d}w \\[10pt] &{}={1 \over 2\pi i}\int_C {1 \over w-a}\cdot{1 \over 1-{z-a \over w-a}}f(w)\,\mathrm{d}w \\[10pt] &{}={1 \over 2\pi i}\int_C {1 \over w-a}\cdot{\sum_{n=0}^\infty\left({z-a \over w-a}\right)^n} f(w)\,\mathrm{d}w \\[10pt] &{}=\sum_{n=0}^\infty{1 \over 2\pi i}\int_C {(z-a)^n \over (w-a)^{n+1}} f(w)\,\mathrm{d}w.\end{align}$$ अभिन्न और अनंत योग का आदान-प्रदान उसी को देखकर उचित है $$f(w)/(w-a)$$ पर आबद्ध है $$C$$ कुछ सकारात्मक संख्या से $$M$$, जबकि सभी के लिए $$w$$ में $$C$$
 * $$\left|\frac{z-a}{w-a}\right|\leq r < 1 $$

कुछ सकारात्मक के लिए $$r$$ भी। इसलिए हमारे पास है


 * $$\left| {(z-a)^n \over (w-a)^{n+1} }f(w) \right| \le Mr^n,$$

पर $$C$$, और जैसा कि वीयरस्ट्रैस एम-टेस्ट दिखाता है कि श्रृंखला समान रूप से अभिसरण करती है $$C$$, योग और समाकल को आपस में बदला जा सकता है।

कारक के रूप में $$(z-a)^n$$ एकीकरण के चर पर निर्भर नहीं करता है $$w$$, इसे उपज के लिए फैक्टर किया जा सकता है


 * $$f(z)=\sum_{n=0}^\infty (z-a)^n {1 \over 2\pi i}\int_C {f(w) \over (w-a)^{n+1}} \,\mathrm{d}w,$$

जिसमें एक शक्ति श्रृंखला का वांछित रूप है $$z$$:


 * $$f(z)=\sum_{n=0}^\infty c_n(z-a)^n$$

गुणांक के साथ


 * $$c_n={1 \over 2\pi i}\int_C {f(w) \over (w-a)^{n+1}} \,\mathrm{d}w.$$

टिप्पणियाँ

 * चूँकि घात श्रेणी को पद-वार (टर्म-वाइज़) अवकलित किया जा सकता है, उपरोक्त तर्क को विपरीत दिशा में लागू करने और $$ \frac 1 {(w-z)^{n+1}} $$ के लिए घात श्रेणी व्यंजक $$f^{(n)}(a) = {n! \over 2\pi i} \int_C {f(w) \over (w-a)^{n+1}}\, dw$$देती है|                                                                                                           यह डेरिवेटिव के लिए कॉची का अभिन्न सूत्र है। अतः ऊपर प्राप्त घात श्रेणी की टेलर श्रेणी है $$f$$.
 * तर्क काम करता है अगर $$z$$ कोई भी बिंदु है जो केंद्र के करीब है $$a$$ की तुलना में कोई विलक्षणता है $$f$$. इसलिए, टेलर श्रृंखला के अभिसरण की त्रिज्या दूरी से छोटी नहीं हो सकती है $$a$$ निकटतम विलक्षणता के लिए (न ही यह बड़ा हो सकता है, क्योंकि शक्ति श्रृंखला में अभिसरण के अपने हलकों के अंदरूनी हिस्सों में कोई विलक्षणता नहीं है)।
 * पूर्ववर्ती टिप्पणी से पहचान प्रमेय का एक विशेष मामला अनुसरण करता है। यदि दो होलोमॉर्फिक कार्य खुले पड़ोस (संभवतः काफी छोटे) पर सहमत होते हैं $$U$$ का $$a$$, फिर वे खुली डिस्क पर मेल खाते हैं $$B_d(a)$$, कहाँ $$d$$ से दूरी है $$a$$ निकटतम विलक्षणता के लिए।