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

जटिल विश्लेषण में, जटिल चर का $$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$$ निकटतम विलक्षणता के लिए।