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

सम्मिश्र विश्लेषण में, सम्मिश्र चर $$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$$ से निकटतम सिंगयुलैरीटी की दूरी है।