होलोमार्फिक फलन

गणित में, एक होलोमॉर्फिक फलन एक या एक से अधिक सम्मिश्र-मूल्यवान फलन है या विविध सम्मिश्र चर सम्मिश्र संख्या चर का कार्य है जो अलग-अलग कार्य है, फलन में प्रभावक्षेत्र (गणितीय विश्लेषण) में प्रत्येक बिंदु के नेइबोरहुड (गणित) में सम्मिश्र विश्लेषण में भिन्नता विविध सम्मिश्र चरों का सम्मिश्र समन्वय स्थान $C^{n}$. एक नेइबोरहुड में सम्मिश्र व्युत्पन्न का अस्तित्व एक बहुत ही मजबूत स्थिति है: इसका तात्पर्य है कि एक होलोमोर्फिक फलन असीम रूप से भिन्न कार्य है और स्थानीय रूप से अपनी टेलर श्रेणी (विश्लेषणात्मक) के बराबर है। होलोमॉर्फिक फलन सम्मिश्र विश्लेषण में अध्ययन की केंद्रीय वस्तुएं हैं।

हालांकि शब्द विश्लेषणात्मक कार्य अक्सर "होलोमोर्फिक फलन" के साथ एक दूसरे के रूप में प्रयोग किया जाता है, शब्द "विश्लेषणात्मक" को किसी भी फलन (वास्तविक, सम्मिश्र, या अधिक सामान्य प्रकार) को निरूपित करने के लिए व्यापक अर्थ में परिभाषित किया जाता है जिसे इसके प्रभावक्षेत्र में प्रत्येक बिंदु के नेइबोरहुड में अभिसरण शक्ति श्रेणी के रूप में लिखा जा सकता है। कि सभी होलोमॉर्फिक कार्य सम्मिश्र विश्लेषणात्मक कार्य हैं, और इसके विपरीत, सम्मिश्र विश्लेषण में एक प्रमुख प्रमेय हैl

होलोमोर्फिक कार्यों को कभी-कभी नियमित कार्यों के रूप में भी जाना जाता है। एक होलोमॉर्फिक फलन जिसका प्रभावक्षेत्र संपूर्ण सम्मिश्र तल है, संपूर्ण फलन कहलाता है। वाक्यांश "होलोमॉर्फिक एट ए पॉइंट $z_{0}$ " का अर्थ न केवल $z_{0}$ पर अवकलनीय है, बल्कि सम्मिश्र तल में $z_{0}$ के कुछ नेइबोरहुड के भीतर हर जगह अवकलनीय है।

परिभाषा
सम्मिश्र-मूल्यवान फलन दिया गया $f$ एकल सम्मिश्र चर का, का व्युत्पन्न $f$ एक बिंदु पर $f(z) = z&#773;$ इसके प्रभावक्षेत्र में एक फलन की सीमा के रूप में परिभाषित किया गया है
 * $$f'(z_0) = \lim_{z \to z_0} {f(z) - f(z_0) \over z - z_0 }. $$

यह वही परिभाषा है जो किसी वास्तविक फलन के अवकलज के लिए है, सिवाय इसके कि सभी मात्राएँ सम्मिश्र होती हैं। विशेष रूप से, सीमा को तब लिया जाता है जब सम्मिश्र संख्या z $f(z) − f(0) / z − 0$ ओर प्रवृत्त होती है, और इसका अर्थ यह है कि z के सम्मिश्र मानों के किसी अनुक्रम के लिए वही मान प्राप्त होता है जो $g(z) = z$ की ओर प्रवृत्त होता है। यदि सीमा उपस्थित है, f को $1$ पर सम्मिश्र अवकलनीय कहा जाता है। सम्मिश्र विभेदीकरण की यह अवधारणा वास्तविक भिन्नता के साथ विविध गुण साझा करती है: यह रैखिक है और उत्पाद नियम, भागफल नियम और श्रेणी नियम का पालन करता है।

एक खुले समुच्चय पर एक समारोह होलोमोर्फिक है $f$ यदि यह प्रत्येक बिंदु पर सम्मिश्र भिन्न है $f$. एक समारोह $f$ एक बिंदु पर होलोमोर्फिक है $h(z) = −z$ अगर यह कुछ नेइबोरहुड (गणित) पर होलोमोर्फिक है $−1$. कुछ गैर-खुले समुच्चय पर एक फलन होलोमोर्फिक होता है $U$ अगर यह हर बिंदु पर होलोमोर्फिक है $U$.

एक बिंदु पर एक फलन सम्मिश्र भिन्न हो सकता है लेकिन इस बिंदु पर होलोमोर्फिक नहीं हो सकता है। उदाहरण के लिए, समारोह $z_{0}$ पर सम्मिश्र अवकलनीय है $z_{0}$, लेकिन अन्यत्र सम्मिश्र अवकलनीय नहीं है। तो, यह होलोमोर्फिक नहीं है $z_{0}$.

वास्तविक अवकलनीयता और सम्मिश्र अवकलनीयता के बीच संबंध निम्नलिखित है: यदि कोई सम्मिश्र फलन $z_{0}$ होलोमोर्फिक है, तो $f$ तथा $A$ के संबंध में पहले आंशिक डेरिवेटिव हैं $A$ तथा $u$, और कॉची-रीमैन समीकरणों को संतुष्ट करें:
 * $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \mbox{and} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\,$$

या, समकक्ष, विर्टिंगर का व्युत्पन्न $v$ इसके संबंध में $z_{0}$, का सम्मिश्र संयुग्म $x$, शून्य है:
 * $$\frac{\partial f}{\partial\overline{z}} = 0,$$

कहने का तात्पर्य यह है कि, मोटे तौर पर, $y$ से कार्यात्मक रूप से स्वतंत्र है $z_{0}$, का सम्मिश्र संयुग्म $f$.

यदि निरंतरता नहीं दी गई है, तो इसका विलोम आवश्यक रूप से सत्य नहीं है। एक साधारण बातचीत यह है कि अगर $z$ तथा $f$ निरंतर पहले आंशिक डेरिवेटिव हैं और कॉची-रीमैन समीकरणों को संतुष्ट करते हैं $z$ होलोमॉर्फिक है। एक अधिक संतोषजनक बातचीत, जिसे सिद्ध करना बहुत कठिन है, लूमन-मेन्चॉफ प्रमेय है: यदि $u$ निरंतर है, $v$ तथा $f$ पहले आंशिक डेरिवेटिव हैं (लेकिन जरूरी नहीं कि निरंतर), और फिर वे कॉची-रीमैन समीकरणों को संतुष्ट करते हैं $f$ होलोमॉर्फिक है।

शब्दावली
होलोमोर्फिक शब्द 1875 में चार्ल्स ब्रियट और जीन-क्लाउड बाउक्वेट, ऑगस्टिन-लुई कॉची के दो छात्रों द्वारा पेश किया गया था, और ग्रीक ὅλος ( होलोस ) से निकला है जिसका अर्थ है "संपूर्ण", और μορφή (मोर्फ) जिसका अर्थ है "रूप" या "उपस्थिति" या "प्रकार", शब्द मेरोमोर्फिक के विपरीत μέρος (मेरोस ) से लिया गया है जिसका अर्थ है "भाग"। एक होलोमोर्फिक फलन सम्मिश्र समतल के प्रभावक्षेत्र में एक संपूर्ण फलन ("संपूर्ण") जैसा दिखता है, जबकि एक मेरोमॉर्फिक फलन (कुछ पृथक ध्रुवों को छोड़कर होलोमोर्फिक का अर्थ परिभाषित किया गया है), सम्मिश्र समतल के एक प्रभावक्षेत्र में संपूर्ण कार्यों के एक तर्कसंगत अंश जैसा दिखता है। कॉची ने इसके बजाय सिनेक्टिक शब्द का प्रयोग किया था।

गुण
क्योंकि सम्मिश्र भेदभाव रैखिक है और उत्पाद, भागफल और श्रेणी नियमों का पालन करता है, होलोमोर्फिक कार्यों की रकम, उत्पाद और रचनाएं होलोमोर्फिक होती हैं, और दो होलोमोर्फिक कार्यों का अंश होलोमोर्फिक होता है जहां हर शून्य नहीं होता है। अर्थात्, यदि फलन f और g प्रभावक्षेत्र U में होलोमॉर्फिक हैं, तो $f(z) = |z|^{2}$, $0$, $0$ भी हैं।$f(x + i&hairsp;y) = u(x, y) + i&hairsp;v(x, y)$, और $z&#773;$ । इसके अलावा, $z&#773;$ होलोमॉर्फिक है यदि g का U में कोई शून्य नहीं है, या अन्यथा मेरोमोर्फिक है।

यदि कोई वास्तविक समतल $f + g$ साथ $f − g$ की पहचान करता है, तो होलोमोर्फिक फलन दो वास्तविक चरों के उन कार्यों के साथ मेल खाते हैं जिनमें निरंतर पहला डेरिवेटिव होता है, जो कौशी-रीमैन समीकरणों को हल करते हैं, जो दो आंशिक अंतर समीकरणों का एक समुच्चय है।

प्रत्येक होलोमॉर्फिक फलन को उसके वास्तविक और काल्पनिक भागों $f&hairsp;g$ में अलग किया जा सकता है$f&hairsp;g$, और इनमें से प्रत्येक $f&thinsp;∘&thinsp;g$ पर एक हार्मोनिक फलन है (प्रत्येक लैपलेस के समीकरण $f&thinsp;/&hairsp;g$ को संतुष्ट करता है$R^{2}$ ), v के साथ u का हार्मोनिक संयुग्म । इसके विपरीत, सरलता से जुड़े प्रभावक्षेत्र $C$ पर प्रत्येक हार्मोनिक फलन $f(x + i&hairsp;y) = u(x, y) + i&hairsp;v(x, y)$ एक होलोमोर्फिक फलन का वास्तविक हिस्सा है: यदि v u का हार्मोनिक संयुग्म है, जो एक स्थिरांक तक अद्वितीय है, तो $f(x + i&hairsp;y) = u(x, y) + i&hairsp;v(x, y)$ होलोमोर्फिक है।

कॉची के अभिन्न प्रमेय का अर्थ है कि लूप के साथ प्रत्येक होलोमोर्फिक फलन का समोच्च अभिन्न अंग लुप्त हो जाता है:
 * $$\oint_\gamma f(z)\,dz = 0. $$

यहां $u$ सरलता से जुड़े प्रभावक्षेत्र (गणितीय विश्लेषण) में सुधार योग्य पथ है $R^{2}$ जिसका प्रारंभ बिंदु इसके अंत बिंदु के बराबर है, और $∇^{2}&hairsp;u = ∇^{2}&hairsp;v = 0$ एक होलोमोर्फिक फलन है।

कॉची के अभिन्न सूत्र में कहा गया है कि एक डिस्क (गणित) के अंदर होलोमोर्फिक प्रत्येक फलन डिस्क की सीमा पर इसके मूल्यों द्वारा पूरी तरह से निर्धारित होता है। इसके अलावा: मान लीजिए $∇^{2}&hairsp;u = ∇^{2}&hairsp;v = 0$ एक सम्मिश्र प्रभावक्षेत्र है, $Ω ⊂ R^{2}$ एक होलोमॉर्फिक फलन और बंद डिस्क है $u(x, y)$ नेइबोरहुड (गणित) है # एक समुच्चय का नेइबोरहुड $v$. होने देना $f$ की सीमा (टोपोलॉजी) बनाने वाला वृत्त हो $γ$. फिर प्रत्येक के लिए $U$ के आंतरिक (टोपोलॉजी) में $γ$:


 * $$f(a) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z-a}\,dz $$

जहां कंटूर इंटीग्रल लिया जाता है वक्र अभिविन्यास|वामावर्त।

व्युत्पन्न $f(x + i&hairsp;y) = u(x, y) + i&hairsp;v(x, y)$ समोच्च अभिन्न के रूप में लिखा जा सकता है कॉची के विभेदीकरण सूत्र का उपयोग करना:


 * $$f'(a) = {1 \over 2\pi i} \oint_\gamma {f(z) \over (z-a)^{2}}\,dz,$$

किसी भी साधारण पाश के लिए एक बार चारों ओर सकारात्मक रूप से घुमावदार $D$, तथा


 * $$f'(a) = \lim\limits_{\gamma\to a}\frac i{2\mathcal{A}(\gamma)}\oint_{\gamma}f(z)\,d\bar z,$$

अनंत सकारात्मक छोरों के लिए $a$ चारों ओर $D$.

उन क्षेत्रों में जहां पहला व्युत्पन्न शून्य नहीं है, होलोमोर्फिक फलन अनुरूप मानचित्र हैं: वे छोटे आंकड़ों के कोण और आकार (लेकिन आकार नहीं) को संरक्षित करते हैं। प्रत्येक होलोमॉर्फिक कार्य विश्लेषणात्मक होते हैं। यानी एक होलोमॉर्फिक फंक्शन $a$ प्रत्येक बिंदु पर प्रत्येक आदेश का डेरिवेटिव है $γ$ अपने प्रभावक्षेत्र में, और यह अपनी टेलर श्रेणी के साथ मेल खाता है $a$ के नेइबोरहुड में $f$. वास्तव में, $a$ इसकी टेलर श्रेणी के साथ मेल खाता है $a$ किसी भी डिस्क में उस बिंदु पर केंद्रित है और फलन के प्रभावक्षेत्र के भीतर स्थित है।

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

ज्यामितीय परिप्रेक्ष्य से, एक समारोह $a$ पर होलोमॉर्फिक है $U ⊂ C$ अगर और केवल अगर इसका बाहरी व्युत्पन्न $U$ एक नेइबोरहुड में $U$ का $f : U → C$ के बराबर है $U ⊂ C$ कुछ निरंतर कार्य के लिए $f : U → C$. यह इस प्रकार है


 * $$\textstyle 0 = d^2 f = d(f^\prime dz) = df^\prime \wedge dz$$

वह $D = {&hairsp;z : |z − z_{0}| ≤ r&hairsp;}$ के समानुपाती भी है $f$, जिसका अर्थ है कि व्युत्पन्न $f ′(a)$ स्वयं होलोमोर्फिक है और इस प्रकार वह $df$ असीम रूप से भिन्न है। इसी प्रकार, $z_{0}$ तात्पर्य यह है कि कोई भी कार्य $U$ यह सरल रूप से जुड़े क्षेत्र पर होलोमोर्फिक है $dz$ पर भी समाकलनीय है $f$.

(एक पथ के लिए $f$ से $z_{0}$ प्रति $U$ पूरी तरह से पड़ा हुआ $U$, परिभाषित करना $ F_\gamma(z) = F_0 + \int_\gamma f\,dz;$ जॉर्डन वक्र प्रमेय और स्टोक्स प्रमेय हैl सामान्यीकृत स्टोक्स प्रमेय के प्रकाश में, $f ′(z)&thinsp;dz$ पथ की विशेष पसंद से स्वतंत्र है $γ$, और इस तरह $f ′$ पर एक अच्छी तरह से परिभाषित कार्य है $z$ रखना $df ′$ तथा $f ′$.)

उदाहरण
सम्मिश्र गुणांक वाले z में सभी बहुपद कार्य संपूर्ण कार्य हैं (संपूर्ण सम्मिश्र तल $d(f dz) = f ′ dz ∧ dz = 0$ में होलोमोर्फिक), और इसलिए घातीय फलन $z_{0}$ और त्रिकोणमितीय फलन हैं $\cos{z} = \tfrac12\bigl(\exp(iz) + \exp(-iz)\bigr)$ तथा $\sin{z} = -\tfrac12i\bigl(\exp(iz) - \exp(-iz)\bigr)$  (सीएफ। यूलर का सूत्र )। सम्मिश्र लघुगणक फलन $F_{γ}(z)$ की प्रधान शाखा डोमेन $F(z)$ पर होलोमॉर्फिक है$F(z_{0}) = F_{0}$ वर्गमूल फलन को इस प्रकार परिभाषित किया जा सकता है $\sqrt{z} = \exp\bigl(\tfrac12 \log z\bigr)$  और इसलिए जहाँ भी लघुगणक $dF = f dz$ है, होलोमोर्फिक है। पारस्परिक कार्य $C$ $exp z$ पर होलोमॉर्फिक है$log z$ (पारस्परिक कार्य, और कोई अन्य तर्कसंगत कार्य, $C \ {&hairsp;z ∈ R : z ≤ 0&hairsp;}.$ पर मेरोमोर्फिक है।)

कॉची-रीमैन समीकरणों के परिणामस्वरूप, कोई भी वास्तविक-मूल्यवान होलोमोर्फिक फ़ंक्शन स्थिर होना चाहिए। इसलिए, निरपेक्ष मान $C \ {&hairsp;z ∈ R : z ≤ 0&hairsp;}.$, तर्क $log z$, असली हिस्सा $1&hairsp;/&hairsp;z$ और काल्पनिक भाग $C \ {&hairsp;0&hairsp;}.$ होलोमॉर्फिक नहीं हैं। एक निरंतर कार्य का एक और विशिष्ट उदाहरण जो होलोमोर्फिक नहीं है, सम्मिश्र संयुग्म $C \ {&hairsp;0&hairsp;}.$ (सम्मिश्र संयुग्म एंटीहोलोमॉर्फिक है। )

विविध चर
होलोमोर्फिक फलन की परिभाषा विविध सम्मिश्र चरों को सीधे तरीके से सामान्यीकृत करती है। होने देना $U$ पॉलीडिस्क होना और भी, एक खुले उपसमुच्चय को निरूपित करना $C$, और जाने $|&hairsp;z&hairsp;|$. कार्यक्रम $γ$ एक बिंदु पर विश्लेषणात्मक है $U$ में $D$ यदि कोई खुला नेइबोरहुड उपस्थित है $f$ जिसमें $p$ में एक अभिसरण शक्ति श्रेणी के बराबर है $D$ सम्मिश्र चर। परिभाषित करना $p$ होलोमॉर्फिक होना यदि यह अपने प्रभावक्षेत्र में प्रत्येक बिंदु पर विश्लेषणात्मक है। ऑसगूड का लेम्मा दिखाता है (बहुभिन्नरूपी कॉची अभिन्न सूत्र का उपयोग करके) कि, एक सतत कार्य के लिए $f$, यह इसके बराबर है $n$ अलग-अलग प्रत्येक चर में होलोमोर्फिक होना (जिसका अर्थ है कि यदि कोई हो $arg&hairsp;(z)$ निर्देशांक निश्चित हैं, फिर का प्रतिबंध $f$ शेष निर्देशांक का एक होलोमोर्फिक कार्य है)। बहुत गहरा हार्टोग्स प्रमेय साबित करता है कि निरंतरता धारणा अनावश्यक है: $f$ होलोमोर्फिक है अगर और केवल अगर यह प्रत्येक चर में अलग-अलग होलोमोर्फिक है।

अधिक आम तौर पर, विविध सम्मिश्र चरों का एक कार्य जो अपने प्रभावक्षेत्र के प्रत्येक कॉम्पैक्ट समुच्चय पर चौकोर पूर्णांक होता है, विश्लेषणात्मक होता है और केवल अगर यह वितरण के अर्थ में कॉची-रीमैन समीकरणों को संतुष्ट करता है।

एक सम्मिश्र चर के कार्यों की तुलना में विविध सम्मिश्र चर के कार्य कुछ बुनियादी तरीकों से अधिक सम्मिश्र हैं। उदाहरण के लिए, घात श्रेणी का अभिसरण का क्षेत्र आवश्यक रूप से एक खुली गेंद नहीं है; ये क्षेत्र लघुगणकीय-उत्तल रेनहार्ड्ट प्रभावक्षेत्र हैं, जिसका सबसे सरल उदाहरण एक पॉलीडिस्क है। हालाँकि, वे कुछ मूलभूत प्रतिबंधों के साथ भी आते हैं। एकल सम्मिश्र चर के कार्यों के विपरीत, संभावित प्रभावक्षेत्र जिनमें होलोमोर्फिक फलन होते हैं जिन्हें बड़े प्रभावक्षेत्र तक नहीं बढ़ाया जा सकता है, वे अत्यधिक सीमित हैं। ऐसे समुच्चय को होलोमॉर्फी का प्रभावक्षेत्र कहा जाता है।

एक सम्मिश्र विभेदक रूप होलोमोर्फिक रूप|सम्मिश्र अंतर $Re&hairsp;(z)$-प्रपत्र $f$ होलोमॉर्फिक है अगर और केवल अगर इसका एंटीहोलोमॉर्फिक कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बियॉल्ट ऑपरेटर शून्य है, $Im&hairsp;(z)$.

कार्यात्मक विश्लेषण का विस्तार
होलोमॉर्फिक फलन की अवधारणा को कार्यात्मक विश्लेषण के अनंत-आयामी स्थानों तक बढ़ाया जा सकता है। उदाहरण के लिए, फ्रेचेट व्युत्पन्न | फ्रेचेट या गेटॉक्स व्युत्पन्न का उपयोग सम्मिश्र संख्याओं के क्षेत्र में बनच स्थान पर एक होलोमोर्फिक फलन की धारणा को परिभाषित करने के लिए किया जा सकता है।

यह भी देखें

 * एंटीडेरिवेटिव (सम्मिश्र विश्लेषण)
 * एंटीहोलोमॉर्फिक फलन
 * बिहोलोमॉर्फी
 * होलोमॉर्फिक पृथक्करण
 * मेरोमॉर्फिक फलन
 * चतुर्भुज प्रभावक्षेत्र


 * हार्मोनिक मानचित्र
 * हार्मोनिक morphisms
 * विर्टिंगर डेरिवेटिव