होलोमार्फिक फलन: Difference between revisions

From Vigyanwiki
No edit summary
Line 3: Line 3:
{{for|ज़रिस्की का बीजगणितीय विविधता पर होलोमोर्फिक कार्यों का सिद्धांत|औपचारिक होलोमॉर्फिक फलन}}
{{for|ज़रिस्की का बीजगणितीय विविधता पर होलोमोर्फिक कार्यों का सिद्धांत|औपचारिक होलोमॉर्फिक फलन}}
{{Complex analysis sidebar}}
{{Complex analysis sidebar}}
[[Image:Conformal map.svg|right|thumb|एक आयताकार ग्रिड (शीर्ष) और इसकी छवि एक अनुरूप मानचित्र के तहत {{mvar|f}} (नीचे)।]][[गणित]] में, एक होलोमॉर्फिक फ़ंक्शन एक का एक जटिल-मूल्यवान फ़ंक्शन है या कई सम्मिश्र चर [[जटिल संख्या]] चर का कार्य है जो अलग-अलग कार्य है # फ़ंक्शन में [[डोमेन (गणितीय विश्लेषण)]] में प्रत्येक बिंदु के [[पड़ोस (गणित)]] में जटिल विश्लेषण में भिन्नता कई जटिल चरों का जटिल समन्वय स्थान {{math|'''C'''<sup>''n''</sup>}}. एक नेइबोरहुड में जटिल व्युत्पन्न का अस्तित्व एक बहुत ही मजबूत स्थिति है: इसका तात्पर्य है कि एक होलोमोर्फिक फ़ंक्शन [[असीम रूप से भिन्न कार्य]] है और स्थानीय रूप से अपनी [[टेलर श्रृंखला]] (विश्लेषणात्मक) के बराबर है। होलोमॉर्फिक फ़ंक्शन [[जटिल विश्लेषण]] में अध्ययन की केंद्रीय वस्तुएं हैं।
[[Image:Conformal map.svg|right|thumb|एक आयताकार ग्रिड (शीर्ष) और इसकी छवि एक अनुरूप मानचित्र के तहत {{mvar|f}} (नीचे)।]][[गणित]] में, एक होलोमॉर्फिक फलन एक या एक से अधिक सम्मिश्र-मूल्यवान फलन है या विविध सम्मिश्र चर [[जटिल संख्या|सम्मिश्र संख्या]] चर का कार्य है जो अलग-अलग कार्य है, फलन में [[डोमेन (गणितीय विश्लेषण)|प्रभावक्षेत्र (गणितीय विश्लेषण)]] में प्रत्येक बिंदु के [[पड़ोस (गणित)|नेइबोरहुड (गणित)]] में सम्मिश्र विश्लेषण में भिन्नता विविध सम्मिश्र चरों का सम्मिश्र समन्वय स्थान {{math|'''C'''<sup>''n''</sup>}}. एक नेइबोरहुड में सम्मिश्र व्युत्पन्न का अस्तित्व एक बहुत ही मजबूत स्थिति है: इसका तात्पर्य है कि एक होलोमोर्फिक फलन [[असीम रूप से भिन्न कार्य]] है और स्थानीय रूप से अपनी [[टेलर श्रृंखला|टेलर श्रेणी]] (विश्लेषणात्मक) के बराबर है। होलोमॉर्फिक फलन [[जटिल विश्लेषण|सम्मिश्र विश्लेषण]] में अध्ययन की केंद्रीय वस्तुएं हैं।


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


होलोमोर्फिक कार्यों को कभी-कभी ''नियमित कार्यों'' के रूप में भी जाना जाता है। <ref>{{SpringerEOM}}</ref> एक होलोमॉर्फिक फ़ंक्शन जिसका डोमेन संपूर्ण [[:hi:जटिल विमान|जटिल तल]] है, [[:hi:संपूर्ण समारोह|संपूर्ण फ़ंक्शन]] कहलाता है। वाक्यांश "होलोमॉर्फिक एट ए पॉइंट {{Math|''z''<sub>0</sub>}} " का अर्थ न केवल {{Math|''z''<sub>0</sub>}} पर अवकलनीय है, बल्कि जटिल तल में {{Math|''z''<sub>0</sub>}} के कुछ पड़ोस के भीतर हर जगह अवकलनीय है।
होलोमोर्फिक कार्यों को कभी-कभी ''नियमित कार्यों'' के रूप में भी जाना जाता है। <ref>{{SpringerEOM}}</ref> एक होलोमॉर्फिक फलन जिसका प्रभावक्षेत्र संपूर्ण [[:hi:जटिल विमान|सम्मिश्र तल]] है, [[:hi:संपूर्ण समारोह|संपूर्ण फलन]] कहलाता है। वाक्यांश "होलोमॉर्फिक एट ए पॉइंट {{Math|''z''<sub>0</sub>}} " का अर्थ न केवल {{Math|''z''<sub>0</sub>}} पर अवकलनीय है, बल्कि सम्मिश्र तल में {{Math|''z''<sub>0</sub>}} के कुछ नेइबोरहुड के भीतर हर जगह अवकलनीय है।


== परिभाषा ==
== परिभाषा ==
[[File:Non-holomorphic complex conjugate.svg|thumb|कार्यक्रम {{math|1=''f''(''z'') = ''z&#773;''}} शून्य पर जटिल अवकलनीय नहीं है, क्योंकि जैसा कि ऊपर दिखाया गया है, का मान {{math|''f''(''z'') − ''f''(0) / ''z'' − 0}} उस दिशा के आधार पर भिन्न होता है जिससे शून्य तक पहुंचा जाता है। वास्तविक धुरी के साथ, {{mvar|f}} कार्य के बराबर है {{math|1=''g''(''z'') = ''z''}} और सीमा है {{math|1}}, जबकि काल्पनिक अक्ष के साथ, {{mvar|f}} बराबरी {{math|1=''h''(''z'') = −''z''}} और सीमा है {{math|−1}}. अन्य दिशाएँ और भी सीमाएँ उत्पन्न करती हैं।]]जटिल-मूल्यवान फ़ंक्शन दिया गया {{mvar|f}} एकल जटिल चर का, का व्युत्पन्न {{mvar|f}} एक बिंदु पर {{math|''z''<sub>0</sub>}} इसके डोमेन में एक फ़ंक्शन की सीमा के रूप में परिभाषित किया गया है<ref>[[Lars Ahlfors|Ahlfors, L.]], ''Complex Analysis, 3 ed.'' (McGraw-Hill, 1979).</ref>
[[File:Non-holomorphic complex conjugate.svg|thumb|कार्यक्रम {{math|1=''f''(''z'') = ''z&#773;''}} शून्य पर सम्मिश्र अवकलनीय नहीं है, क्योंकि जैसा कि ऊपर दिखाया गया है, का मान {{math|''f''(''z'') − ''f''(0) / ''z'' − 0}} उस दिशा के आधार पर भिन्न होता है जिससे शून्य तक पहुंचा जाता है। वास्तविक धुरी के साथ, {{mvar|f}} कार्य के बराबर है {{math|1=''g''(''z'') = ''z''}} और सीमा है {{math|1}}, जबकि काल्पनिक अक्ष के साथ, {{mvar|f}} बराबरी {{math|1=''h''(''z'') = −''z''}} और सीमा है {{math|−1}}. अन्य दिशाएँ और भी सीमाएँ उत्पन्न करती हैं।]]सम्मिश्र-मूल्यवान फलन दिया गया {{mvar|f}} एकल सम्मिश्र चर का, का व्युत्पन्न {{mvar|f}} एक बिंदु पर {{math|''z''<sub>0</sub>}} इसके प्रभावक्षेत्र में एक फलन की सीमा के रूप में परिभाषित किया गया है<ref>[[Lars Ahlfors|Ahlfors, L.]], ''Complex Analysis, 3 ed.'' (McGraw-Hill, 1979).</ref>
:<math>f'(z_0) = \lim_{z \to z_0} {f(z) - f(z_0) \over z - z_0 }. </math>
:<math>f'(z_0) = \lim_{z \to z_0} {f(z) - f(z_0) \over z - z_0 }. </math>
यह वही परिभाषा है जो किसी [[:hi:वास्तविक कार्य|वास्तविक फलन]] के [[:hi:अवकलज|अवकलज]] के लिए है, सिवाय इसके कि सभी मात्राएँ जटिल होती हैं। विशेष रूप से, सीमा को तब लिया जाता है जब सम्मिश्र संख्या z {{Math|''z''<sub>0</sub>}} ओर प्रवृत्त होती है, और इसका अर्थ यह है कि z के सम्मिश्र मानों के किसी अनुक्रम के लिए वही मान प्राप्त होता है जो {{Math|''z''<sub>0</sub>}} की ओर प्रवृत्त होता है। यदि सीमा मौजूद है, f को {{Math|''z''<sub>0</sub>}} पर '''जटिल''' अवकलनीय कहा जाता है। जटिल विभेदीकरण की यह अवधारणा [[:hi:अवकलज|वास्तविक भिन्नता]] के साथ कई गुण साझा करती है: यह [[रैखिक]] है और [[:hi:गुणन नियम|उत्पाद नियम]], [[:hi:भागफल नियम|भागफल नियम]] और [[:hi:शृंखला नियम (अवकलन)|श्रृंखला नियम]] का पालन करता है। <ref>[[Peter Henrici (mathematician)|Henrici, P.]], ''Applied and Computational Complex Analysis'' (Wiley). [Three volumes: 1974, 1977, 1986.]</ref>
यह वही परिभाषा है जो किसी [[:hi:वास्तविक कार्य|वास्तविक फलन]] के [[:hi:अवकलज|अवकलज]] के लिए है, सिवाय इसके कि सभी मात्राएँ सम्मिश्र होती हैं। विशेष रूप से, सीमा को तब लिया जाता है जब सम्मिश्र संख्या z {{Math|''z''<sub>0</sub>}} ओर प्रवृत्त होती है, और इसका अर्थ यह है कि z के सम्मिश्र मानों के किसी अनुक्रम के लिए वही मान प्राप्त होता है जो {{Math|''z''<sub>0</sub>}} की ओर प्रवृत्त होता है। यदि सीमा उपस्थित है, f को {{Math|''z''<sub>0</sub>}} पर '''सम्मिश्र''' अवकलनीय कहा जाता है। सम्मिश्र विभेदीकरण की यह अवधारणा [[:hi:अवकलज|वास्तविक भिन्नता]] के साथ विविध गुण साझा करती है: यह [[रैखिक]] है और [[:hi:गुणन नियम|उत्पाद नियम]], [[:hi:भागफल नियम|भागफल नियम]] और [[:hi:शृंखला नियम (अवकलन)|श्रेणी नियम]] का पालन करता है। <ref>[[Peter Henrici (mathematician)|Henrici, P.]], ''Applied and Computational Complex Analysis'' (Wiley). [Three volumes: 1974, 1977, 1986.]</ref>


'''एक खुले सेट पर एक समारोह होलोमोर्फिक है {{mvar|U}} यदि यह प्रत्येक बिंदु पर जटिल भिन्न है {{mvar|U}}. एक समारोह {{mvar|f}} एक बिंदु पर होलोमोर्फिक है {{math|''z''<sub>0</sub>}} अगर यह कुछ पड़ोस (गणित) पर होलोमोर्फिक है {{math|''z''<sub>0</sub>}}.<ref>Peter Ebenfelt, Norbert Hungerbühler, Joseph J. Kohn, Ngaiming Mok, Emil J. Straube
एक खुले समुच्चय पर एक समारोह होलोमोर्फिक है {{mvar|U}} यदि यह प्रत्येक बिंदु पर सम्मिश्र भिन्न है {{mvar|U}}. एक समारोह {{mvar|f}} एक बिंदु पर होलोमोर्फिक है {{math|''z''<sub>0</sub>}} अगर यह कुछ नेइबोरहुड (गणित) पर होलोमोर्फिक है {{math|''z''<sub>0</sub>}}.<ref>Peter Ebenfelt, Norbert Hungerbühler, Joseph J. Kohn, Ngaiming Mok, Emil J. Straube
(2011) ''[https://books.google.com/books?id=3GeUgafFRgMC&printsec=frontcover#v=snippet&q=holomorphic&f=false Complex Analysis]'' Springer Science & Business Media</ref> कुछ गैर-खुले सेट पर एक फ़ंक्शन होलोमोर्फिक होता है {{mvar|A}} अगर यह हर बिंदु पर होलोमोर्फिक है {{mvar|A}}.'''
(2011) ''[https://books.google.com/books?id=3GeUgafFRgMC&printsec=frontcover#v=snippet&q=holomorphic&f=false Complex Analysis]'' Springer Science & Business Media</ref> कुछ गैर-खुले समुच्चय पर एक फलन होलोमोर्फिक होता है {{mvar|A}} अगर यह हर बिंदु पर होलोमोर्फिक है {{mvar|A}}.


एक बिंदु पर एक फ़ंक्शन जटिल भिन्न हो सकता है लेकिन इस बिंदु पर होलोमोर्फिक नहीं हो सकता है। उदाहरण के लिए, समारोह {{math|1=''f''(''z'') = {{abs|''z''}}<sup>2</sup>}} पर जटिल अवकलनीय है {{math|0}}, लेकिन अन्यत्र जटिल अवकलनीय नहीं है। तो, यह होलोमोर्फिक नहीं है {{math|0}}.
एक बिंदु पर एक फलन सम्मिश्र भिन्न हो सकता है लेकिन इस बिंदु पर होलोमोर्फिक नहीं हो सकता है। उदाहरण के लिए, समारोह {{math|1=''f''(''z'') = {{abs|''z''}}<sup>2</sup>}} पर सम्मिश्र अवकलनीय है {{math|0}}, लेकिन अन्यत्र सम्मिश्र अवकलनीय नहीं है। तो, यह होलोमोर्फिक नहीं है {{math|0}}.


वास्तविक अवकलनीयता और जटिल अवकलनीयता के बीच संबंध निम्नलिखित है: यदि कोई जटिल फलन {{math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}} होलोमोर्फिक है, तो {{mvar|u}} तथा {{mvar|v}} के संबंध में पहले आंशिक डेरिवेटिव हैं {{mvar|x}} तथा {{mvar|y}}, और कॉची-रीमैन समीकरणों को संतुष्ट करें:<ref name=Mark>Markushevich, A.I.,''Theory of Functions of a Complex Variable'' (Prentice-Hall, 1965). [Three volumes.]</ref>
वास्तविक अवकलनीयता और सम्मिश्र अवकलनीयता के बीच संबंध निम्नलिखित है: यदि कोई सम्मिश्र फलन {{math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}} होलोमोर्फिक है, तो {{mvar|u}} तथा {{mvar|v}} के संबंध में पहले आंशिक डेरिवेटिव हैं {{mvar|x}} तथा {{mvar|y}}, और कॉची-रीमैन समीकरणों को संतुष्ट करें:<ref name=Mark>Markushevich, A.I.,''Theory of Functions of a Complex Variable'' (Prentice-Hall, 1965). [Three volumes.]</ref>
:<math>\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \mbox{and} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\,</math>
:<math>\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \qquad \mbox{and} \qquad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}\,</math>
या, समकक्ष, विर्टिंगर का व्युत्पन्न {{mvar|f}} इसके संबंध में {{math|''z&#773;''}}, का जटिल संयुग्म {{mvar|z}}, शून्य है:<ref name=Gunning>{{cite book |last1 = Gunning | first1 = Robert C. |author-link1 = Robert Gunning (mathematician) |last2 = Rossi |first2 = Hugo |title = कई जटिल चर के विश्लेषणात्मक कार्य|series = Prentice-Hall series in Modern Analysis |place = Englewood Cliffs, N.J. |publisher = [[Prentice-Hall]] |pages = xiv+317 |year = 1965 |url = https://books.google.com/books?id=L0zJmamx5AAC |mr = 0180696 |zbl = 0141.08601 |isbn = 9780821869536
या, समकक्ष, विर्टिंगर का व्युत्पन्न {{mvar|f}} इसके संबंध में {{math|''z&#773;''}}, का सम्मिश्र संयुग्म {{mvar|z}}, शून्य है:<ref name=Gunning>{{cite book |last1 = Gunning | first1 = Robert C. |author-link1 = Robert Gunning (mathematician) |last2 = Rossi |first2 = Hugo |title = कई जटिल चर के विश्लेषणात्मक कार्य|series = Prentice-Hall series in Modern Analysis |place = Englewood Cliffs, N.J. |publisher = [[Prentice-Hall]] |pages = xiv+317 |year = 1965 |url = https://books.google.com/books?id=L0zJmamx5AAC |mr = 0180696 |zbl = 0141.08601 |isbn = 9780821869536
}}</ref>
}}</ref>
:<math>\frac{\partial f}{\partial\overline{z}} = 0,</math>
:<math>\frac{\partial f}{\partial\overline{z}} = 0,</math>
कहने का तात्पर्य यह है कि, मोटे तौर पर, {{mvar|f}} से कार्यात्मक रूप से स्वतंत्र है {{math|''z&#773;''}}, का जटिल संयुग्म {{mvar|z}}.
कहने का तात्पर्य यह है कि, मोटे तौर पर, {{mvar|f}} से कार्यात्मक रूप से स्वतंत्र है {{math|''z&#773;''}}, का सम्मिश्र संयुग्म {{mvar|z}}.


यदि निरंतरता नहीं दी गई है, तो इसका विलोम आवश्यक रूप से सत्य नहीं है। एक साधारण बातचीत यह है कि अगर {{mvar|u}} तथा {{mvar|v}} निरंतर पहले आंशिक डेरिवेटिव हैं और कॉची-रीमैन समीकरणों को संतुष्ट करते हैं {{mvar|f}} होलोमॉर्फिक है। एक अधिक संतोषजनक बातचीत, जिसे सिद्ध करना बहुत कठिन है, लूमन-मेन्चॉफ प्रमेय है: यदि {{mvar|f}} निरंतर है, {{mvar|u}} तथा {{mvar|v}} पहले आंशिक डेरिवेटिव हैं (लेकिन जरूरी नहीं कि निरंतर), और फिर वे कॉची-रीमैन समीकरणों को संतुष्ट करते हैं {{mvar|f}} होलोमॉर्फिक है।<ref>{{citation|title=When is a Function that Satisfies the Cauchy-Riemann Equations Analytic?|first1=J. D.|last1=Gray|first2=S. A.|last2=Morris|journal=The American Mathematical Monthly|volume=85|year=1978|publication-date=April 1978|pages=246–256|jstor=2321164|doi=10.2307/2321164|issue=4}}.</ref>
यदि निरंतरता नहीं दी गई है, तो इसका विलोम आवश्यक रूप से सत्य नहीं है। एक साधारण बातचीत यह है कि अगर {{mvar|u}} तथा {{mvar|v}} निरंतर पहले आंशिक डेरिवेटिव हैं और कॉची-रीमैन समीकरणों को संतुष्ट करते हैं {{mvar|f}} होलोमॉर्फिक है। एक अधिक संतोषजनक बातचीत, जिसे सिद्ध करना बहुत कठिन है, लूमन-मेन्चॉफ प्रमेय है: यदि {{mvar|f}} निरंतर है, {{mvar|u}} तथा {{mvar|v}} पहले आंशिक डेरिवेटिव हैं (लेकिन जरूरी नहीं कि निरंतर), और फिर वे कॉची-रीमैन समीकरणों को संतुष्ट करते हैं {{mvar|f}} होलोमॉर्फिक है।<ref>{{citation|title=When is a Function that Satisfies the Cauchy-Riemann Equations Analytic?|first1=J. D.|last1=Gray|first2=S. A.|last2=Morris|journal=The American Mathematical Monthly|volume=85|year=1978|publication-date=April 1978|pages=246–256|jstor=2321164|doi=10.2307/2321164|issue=4}}.</ref>


== शब्दावली ==
''होलोमोर्फिक'' शब्द 1875 में [[:hi:चार्ल्स अगस्टे ब्रियट|चार्ल्स ब्रियट]] और जीन-क्लाउड बाउक्वेट, ऑगस्टिन-लुई कॉची के दो छात्रों द्वारा पेश किया गया था, और ग्रीक [[ὅλος]] ( ''होलोस'' ) से निकला है जिसका अर्थ है "संपूर्ण", और [[wikt:μορφή|μορφή]] (''मोर्फ'') जिसका अर्थ है "रूप" या "उपस्थिति" या "प्रकार", शब्द ''मेरोमोर्फिक'' के विपरीत [[μέρος]] (''मेरोस'' ) से लिया गया है जिसका अर्थ है "भाग"। एक होलोमोर्फिक फलन सम्मिश्र समतल के [[:hi:डोमेन|प्रभावक्षेत्र]] में एक [[:hi:संपूर्ण समारोह|संपूर्ण फलन]] ("संपूर्ण") जैसा दिखता है, जबकि एक मेरोमॉर्फिक फलन (कुछ पृथक [[ध्रुवों]] को छोड़कर होलोमोर्फिक का अर्थ परिभाषित किया गया है), सम्मिश्र समतल के एक प्रभावक्षेत्र में संपूर्ण कार्यों के एक तर्कसंगत अंश जैसा दिखता है।<ref>The original French terms were ''holomorphe'' and ''méromorphe''. {{Cite book|last=Briot|first=Charles Auguste|title=Théorie des fonctions elliptiques|last2=Bouquet|first2=Jean-Claude|date=1875|publisher=Gauthier-Villars|edition=2nd|pages=14–15|chapter=§15 fonctions holomorphes|quote=Lorsqu'une fonction est continue, monotrope, et a une dérivée, quand la variable se meut dans une certaine partie du plan, nous dirons qu'elle est ''holomorphe'' dans cette partie du plan. Nous indiquons par cette dénomination qu'elle est semblable aux fonctions entières qui jouissent de ces propriétés dans toute l'étendue du plan. [...] ¶ Une fraction rationnelle admet comme pôles les racines du dénominateur; c'est une fonction holomorphe dans toute partie du plan qui ne contient aucun de ses pôles. ¶ Lorsqu'une fonction est holomorphe dans une partie du plan, excepté en certains pôles, nous dirons qu'elle est ''méromorphe'' dans cette partie du plan, c'est-à-dire semblable aux fractions rationnelles.|author-link=Charles Auguste Briot|author-link2=Jean-Claude Bouquet|chapter-url=https://archive.org/details/thoriedesfonct00briouoft/page/14/}}


== शब्दावली ==
{{Cite book|last=Harkness|first=James|title=A Treatise on the Theory of Functions|last2=Morley|first2=Frank|date=1893|publisher=Macmillan|page=161|chapter=5. Integration|author-link=James Harkness (mathematician)|author-link2=Frank Morley|chapter-url=https://archive.org/details/treatiseontheory00harkrich/page/n176/}}</ref> कॉची ने इसके बजाय ''सिनेक्टिक'' शब्द का प्रयोग किया था।<ref>Briot & Bouquet had previously also adopted Cauchy’s term ''synectic'' (''synectique'' in French), in the 1859 first edition of their book. {{Cite book|last=Briot|first=Charles Auguste|title=Théorie des fonctions doublement périodiques|last2=Bouquet|first2=Jean-Claude|date=1875|publisher=Mallet-Bachelier|page=11|chapter=§10|author-link=Charles Auguste Briot|author-link2=Jean-Claude Bouquet|chapter-url=https://archive.org/details/fonctsdoublement00briorich/page/n37/}}</ref>
होलोमोर्फिक शब्द 1875 में [[चार्ल्स अगस्टे ब्रियट]] और [[जीन क्लाउड गुलदस्ता]], [[ऑगस्टिन-लुई कॉची]] के दो छात्रों द्वारा पेश किया गया था, और ग्रीक शब्द से निकला है: ὅλος|ὅλος (होलोस) जिसका अर्थ है संपूर्ण, और विक्ट:μορφή|μορφή (मॉर्फ) अर्थ रूप या रूप या प्रकार, विक्ट से प्राप्त मेरोमोर्फिक फ़ंक्शन शब्द के विपरीत:μέρος|μέρος (मेरोस) जिसका अर्थ है भाग। एक होलोमोर्फिक फ़ंक्शन जटिल विमान के एक डोमेन (गणितीय विश्लेषण) में एक संपूर्ण फ़ंक्शन (संपूर्ण) जैसा दिखता है, जबकि एक [[मेरोमॉर्फिक फ़ंक्शन]] (कुछ पृथक शून्य और ध्रुवों को छोड़कर होलोमोर्फिक का अर्थ परिभाषित किया गया है), पूरे कार्यों के एक तर्कसंगत अंश (भाग) जैसा दिखता है। जटिल विमान का एक डोमेन।<ref>The original French terms were ''holomorphe'' and ''méromorphe''.
{{cite book |authorlink1= Charles Auguste Briot |last1=Briot |first1=Charles Auguste |authorlink2=Jean-Claude Bouquet |last2=Bouquet |first2=Jean-Claude |date=1875 |title=Théorie des fonctions elliptiques |edition=2nd |publisher=Gauthier-Villars |chapter=§15 fonctions holomorphes |chapter-url=https://archive.org/details/thoriedesfonct00briouoft/page/14/ |pages=14–15 |quote=Lorsqu'une fonction est continue, monotrope, et a une dérivée, quand la variable se meut dans une certaine partie du plan, nous dirons qu'elle est ''holomorphe'' dans cette partie du plan. Nous indiquons par cette dénomination qu'elle est semblable aux fonctions entières qui jouissent de ces propriétés dans toute l'étendue du plan. [...] ¶ Une fraction rationnelle admet comme pôles les racines du dénominateur; c'est une fonction holomorphe dans toute partie du plan qui ne contient aucun de ses pôles. ¶ Lorsqu'une fonction est holomorphe dans une partie du plan, excepté en certains pôles, nous dirons qu'elle est ''méromorphe'' dans cette partie du plan, c'est-à-dire semblable aux fractions rationnelles. |trans-quote=When a function is continuous, [[Monodromy|monotropic]], and has a derivative, when the variable moves in a certain part of the plane, we say that it is ''holomorphic'' in that part of the plane. We mean by this name that it resembles [[entire function]]s which enjoy these properties in the full extent of the plane. [...] ¶ A rational fraction admits as [[zeros and poles|poles]] the [[zeros and poles|roots]] of the denominator; it is a holomorphic function in all that part of the plane which does not contain any poles. ¶ When a function is holomorphic in part of the plane, except at certain poles, we say that it is ''meromorphic'' in that part of the plane, that is to say it resembles rational fractions.}}<br>
{{cite book |authorlink1=James Harkness (mathematician) |first1=James |last1=Harkness |authorlink2=Frank Morley |first2=Frank |last2=Morley |date=1893 |chapter=5. Integration |chapter-url=https://archive.org/details/treatiseontheory00harkrich/page/n176/ |title=A Treatise on the Theory of Functions |publisher=Macmillan |page=161}}</ref> कॉची ने इसके बजाय सिनेक्टिक शब्द का इस्तेमाल किया था।<ref>Briot & Bouquet had previously also adopted Cauchy’s term ''synectic'' (''synectique'' in French), in the 1859 first edition of their book. {{cite book |authorlink1= Charles Auguste Briot |last1=Briot |first1=Charles Auguste |authorlink2=Jean-Claude Bouquet |last2=Bouquet |first2=Jean-Claude |date=1875 |title= Théorie des fonctions doublement périodiques |publisher= Mallet-Bachelier |chapter=§10 |chapter-url=https://archive.org/details/fonctsdoublement00briorich/page/n37/ |page=11 }}</ref>
आज, होलोमोर्फिक फ़ंक्शन शब्द को कभी-कभी विश्लेषणात्मक फ़ंक्शन के लिए पसंद किया जाता है। जटिल विश्लेषण में एक महत्वपूर्ण परिणाम यह है कि प्रत्येक होलोमोर्फिक फ़ंक्शन जटिल विश्लेषणात्मक है, एक ऐसा तथ्य जो परिभाषाओं से स्पष्ट रूप से अनुसरण नहीं करता है। हालांकि विश्लेषणात्मक शब्द भी व्यापक उपयोग में है।


== गुण ==
== गुण ==
क्योंकि जटिल भेदभाव रैखिक है और उत्पाद, भागफल और श्रृंखला नियमों का पालन करता है, होलोमोर्फिक कार्यों की रकम, उत्पाद और रचनाएं होलोमोर्फिक होती हैं, और दो होलोमोर्फिक कार्यों का अंश होलोमोर्फिक होता है जहां भाजक शून्य नहीं होता है।<ref>{{Citation
क्योंकि सम्मिश्र भेदभाव रैखिक है और उत्पाद, भागफल और श्रेणी नियमों का पालन करता है, होलोमोर्फिक कार्यों की रकम, उत्पाद और रचनाएं होलोमोर्फिक होती हैं, और दो होलोमोर्फिक कार्यों का अंश होलोमोर्फिक होता है जहां हर शून्य नहीं होता है। <ref>{{Citation|last=Henrici|first=Peter|author-link=Peter Henrici (mathematician)|title=Applied and Computational Complex Analysis Volume 3|place=New York - Chichester - Brisbane - Toronto - Singapore|publisher=[[John Wiley & Sons]]|orig-year=1986|year=1993|series=Wiley Classics Library|edition=Reprint|pages=X+637|url=https://books.google.com/books?id=vKZPsjaXuF4C|mr=0822470|zbl=1107.30300|isbn=0-471-58986-1}}.</ref> अर्थात्, यदि फलन f और g प्रभावक्षेत्र U में होलोमॉर्फिक हैं, तो {{Math|''f'' + ''g''}}, {{Math|''f'' − ''g''}}, {{Math|''f&hairsp;g''}} भी हैं।{{Math|''f&hairsp;g''}}, और {{Math|''f''&thinsp;∘&thinsp;''g''}} । इसके अलावा, {{Math|''f''&thinsp;/&hairsp;''g''}} होलोमॉर्फिक है यदि g का U में कोई शून्य नहीं है, या अन्यथा मेरोमोर्फिक है।
  | last = Henrici
  | first = Peter
  | author-link = Peter Henrici (mathematician)
  | title = Applied and Computational Complex Analysis Volume 3
  | place = New York - Chichester - Brisbane - Toronto - Singapore
  | publisher = [[John Wiley & Sons]]
  | orig-year = 1986
  | year = 1993
  | series = Wiley Classics Library
  | edition = Reprint
  | pages = X+637
  | url = https://books.google.com/books?id=vKZPsjaXuF4C
  | mr = 0822470
  | zbl = 1107.30300
  | isbn = 0-471-58986-1}}.</ref> यानी अगर काम करता है {{mvar|f}} तथा {{mvar|g}} एक डोमेन में होलोमोर्फिक हैं {{mvar|U}}, तो हैं {{math|''f'' + ''g''}}, {{math|''f'' − ''g''}}, {{math|''f&hairsp;g''}}, तथा {{math|''f''&thinsp;∘&thinsp;''g''}}. आगे, {{math|''f''&thinsp;/&hairsp;''g''}} होलोमोर्फिक है अगर {{mvar|g}} में शून्य नहीं है {{mvar|U}}, या [[meromorphic]] अन्यथा है।


अगर कोई पहचान करता है {{math|'''C'''}} वास्तविक विमान (ज्यामिति) के साथ {{math|'''R'''<sup>2</sup>}}, तब होलोमॉर्फिक फलन दो वास्तविक चरों के उन फलनों के साथ मेल खाते हैं जिनके साथ निरंतर प्रथम अवकलज होते हैं जो कौशी-रीमैन समीकरणों को हल करते हैं, जो दो आंशिक अवकल समीकरणों का एक समुच्चय है।<ref name=Mark />
यदि कोई वास्तविक [[:hi:समतल (ज्यामिति)|समतल]] {{Math|'''R'''<sup>2</sup>}} साथ {{Math|'''C'''}} की पहचान करता है, तो होलोमोर्फिक फलन दो वास्तविक चरों के उन कार्यों के साथ मेल खाते हैं जिनमें निरंतर पहला डेरिवेटिव होता है, जो [[:hi:कौशी-रीमान समीकरण|कौशी-रीमैन समीकरणों]] को हल करते हैं, जो दो [[:hi:आंशिक अवकल समीकरण|आंशिक अंतर समीकरणों]] का एक समुच्चय है। <ref name="Mark2">Markushevich, A.I.,''Theory of Functions of a Complex Variable'' (Prentice-Hall, 1965). [Three volumes.]</ref>


प्रत्येक होलोमॉर्फिक फ़ंक्शन को उसके वास्तविक और काल्पनिक भागों में विभाजित किया जा सकता है {{math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}}, और इनमें से प्रत्येक एक [[हार्मोनिक फ़ंक्शन]] है {{math|'''R'''<sup>2</sup>}} (प्रत्येक लैपलेस के समीकरण को संतुष्ट करता है {{math|1=∇<sup>2</sup>&hairsp;''u'' = ∇<sup>2</sup>&hairsp;''v'' = 0}}), साथ {{mvar|v}} के [[हार्मोनिक संयुग्म]] {{mvar|u}}.<ref>{{citation|first=Lawrence C.|last=Evans|author-link=Lawrence C. Evans|year=1998|title=Partial Differential Equations|publisher=American Mathematical Society}}.</ref> इसके विपरीत, हर हार्मोनिक फ़ंक्शन {{math|''u''(''x'', ''y'')}} साधारण रूप [[बस जुड़ा हुआ स्थान]] डोमेन पर {{math|Ω ⊂ '''R'''<sup>2</sup>}} होलोमोर्फिक फ़ंक्शन का वास्तविक हिस्सा है: यदि {{mvar|v}} का हार्मोनिक संयुग्म है {{mvar|u}}, फिर एक स्थिरांक तक अद्वितीय {{math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}} होलोमॉर्फिक है।
प्रत्येक होलोमॉर्फिक फलन को उसके वास्तविक और काल्पनिक भागों {{Math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}} में अलग किया जा सकता है{{Math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}}, और इनमें से प्रत्येक {{Math|'''R'''<sup>2</sup>}} पर एक [[:hi:हार्मोनिक फ़ंक्शन|हार्मोनिक फलन]] है (प्रत्येक [[:hi:लाप्लास का समीकरण|लैपलेस के समीकरण]] {{Math|1=∇<sup>2</sup>&hairsp;''u'' = ∇<sup>2</sup>&hairsp;''v'' = 0}} को संतुष्ट करता है{{Math|1=∇<sup>2</sup>&hairsp;''u'' = ∇<sup>2</sup>&hairsp;''v'' = 0}} ), v के साथ u का [[:hi:हार्मोनिक संयुग्म|हार्मोनिक संयुग्म]] <ref>{{Citation|first=Lawrence C.|last=Evans|author-link=Lawrence C. Evans|year=1998|title=Partial Differential Equations|publisher=American Mathematical Society}}.</ref> इसके विपरीत, [[:hi:बस जुड़ा हुआ स्थान|सरलता से जुड़े]] प्रभावक्षेत्र {{Math|Ω ⊂ '''R'''<sup>2</sup>}} पर प्रत्येक हार्मोनिक फलन {{Math|''u''(''x'', ''y'')}} एक होलोमोर्फिक फलन का वास्तविक हिस्सा है: यदि v u का हार्मोनिक संयुग्म है, जो एक स्थिरांक तक अद्वितीय है, तो {{Math|1=''f''(''x'' + ''i&hairsp;y'') = ''u''(''x'', ''y'') + ''i&hairsp;v''(''x'', ''y'')}} होलोमोर्फिक है।


कौशी के अभिन्न प्रमेय का तात्पर्य है कि [[लूप (टोपोलॉजी)]] के साथ प्रत्येक होलोमोर्फिक फ़ंक्शन का [[समोच्च अभिन्न]] अंग गायब हो जाता है:<ref name=Lang>{{citation
[[:hi:कौशी समाकल प्रमेय|कॉची के अभिन्न प्रमेय]] का अर्थ है कि [[:hi:लूप (टोपोलॉजी)|लूप]] के साथ प्रत्येक होलोमोर्फिक फलन का [[:hi:समोच्च अभिन्न|समोच्च अभिन्न अंग]] लुप्त हो जाता है: <ref name="Lang2">{{Citation|first=Serge|last=Lang|author-link=Serge Lang|year=2003|title=Complex Analysis|series=Springer Verlag GTM|publisher=[[Springer Verlag]]}}</ref>
:<math>\oint_\gamma f(z)\,dz = 0. </math>
यहां {{mvar|γ}} सरलता से जुड़े प्रभावक्षेत्र (गणितीय विश्लेषण) में [[सुधार योग्य पथ]] है {{math|''U'' ⊂ '''C'''}} जिसका प्रारंभ बिंदु इसके अंत बिंदु के बराबर है, और {{math|''f'' : ''U'' → '''C'''}} एक होलोमोर्फिक फलन है।
 
कॉची के अभिन्न सूत्र में कहा गया है कि एक [[डिस्क (गणित)]] के अंदर होलोमोर्फिक प्रत्येक फलन डिस्क की सीमा पर इसके मूल्यों द्वारा पूरी तरह से निर्धारित होता है।<ref name="Lang">{{citation
  |first = Serge
  |first = Serge
  |last = Lang
  |last = Lang
Line 65: Line 52:
  | series= Springer Verlag GTM
  | series= Springer Verlag GTM
  | publisher = [[Springer Verlag]]
  | publisher = [[Springer Verlag]]
}}</ref>
}}</ref>इसके अलावा: मान लीजिए {{math|''U'' ⊂ '''C'''}} एक सम्मिश्र प्रभावक्षेत्र है, {{math|''f'' : ''U'' → '''C'''}} एक होलोमॉर्फिक फलन और बंद डिस्क है {{math|1=''D'' = {&hairsp;''z'' : {{abs|''z'' − ''z''<sub>0</sub>}} ≤ ''r''&hairsp;} }} नेइबोरहुड (गणित) है # एक समुच्चय का नेइबोरहुड {{mvar|U}}. होने देना {{mvar|γ}} की [[सीमा (टोपोलॉजी)]] बनाने वाला वृत्त हो {{mvar|D}}. फिर प्रत्येक के लिए {{mvar|a}} के आंतरिक (टोपोलॉजी) में {{mvar|D}}:
:<math>\oint_\gamma f(z)\,dz = 0. </math>
यहां {{mvar|γ}} सरलता से जुड़े डोमेन (गणितीय विश्लेषण) में [[सुधार योग्य पथ]] है {{math|''U'' ⊂ '''C'''}} जिसका प्रारंभ बिंदु इसके अंत बिंदु के बराबर है, और {{math|''f'' : ''U'' → '''C'''}} एक होलोमोर्फिक फ़ंक्शन है।
 
कॉची के अभिन्न सूत्र में कहा गया है कि एक [[डिस्क (गणित)]] के अंदर होलोमोर्फिक प्रत्येक फ़ंक्शन डिस्क की सीमा पर इसके मूल्यों द्वारा पूरी तरह से निर्धारित होता है।<ref name=Lang />इसके अलावा: मान लीजिए {{math|''U'' ⊂ '''C'''}} एक जटिल डोमेन है, {{math|''f'' : ''U'' → '''C'''}} एक होलोमॉर्फिक फ़ंक्शन और बंद डिस्क है {{math|1=''D'' = {&hairsp;''z'' : {{abs|''z'' − ''z''<sub>0</sub>}} ≤ ''r''&hairsp;} }} पड़ोस (गणित) है # एक सेट का पड़ोस {{mvar|U}}. होने देना {{mvar|γ}} की [[सीमा (टोपोलॉजी)]] बनाने वाला वृत्त हो {{mvar|D}}. फिर प्रत्येक के लिए {{mvar|a}} के आंतरिक (टोपोलॉजी) में {{mvar|D}}:


:<math>f(a) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z-a}\,dz </math>
:<math>f(a) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z-a}\,dz </math>
जहां कंटूर इंटीग्रल लिया जाता है [[वक्र अभिविन्यास]]|वामावर्त।
जहां कंटूर इंटीग्रल लिया जाता है [[वक्र अभिविन्यास]]|वामावर्त।


व्युत्पन्न {{math|''f''{{px2}}′(''a'')}} समोच्च अभिन्न के रूप में लिखा जा सकता है<ref name=Lang />कॉची के विभेदीकरण सूत्र का उपयोग करना:
व्युत्पन्न {{math|''f''{{px2}}′(''a'')}} समोच्च अभिन्न के रूप में लिखा जा सकता है<ref name=Lang /> कॉची के विभेदीकरण सूत्र का उपयोग करना:


:<math>f'(a) = {1 \over 2\pi i} \oint_\gamma {f(z) \over (z-a)^{2}}\,dz,</math>
:<math>f'(a) = {1 \over 2\pi i} \oint_\gamma {f(z) \over (z-a)^{2}}\,dz,</math>
Line 82: Line 65:
अनंत सकारात्मक छोरों के लिए {{mvar|γ}} चारों ओर {{mvar|a}}.
अनंत सकारात्मक छोरों के लिए {{mvar|γ}} चारों ओर {{mvar|a}}.


उन क्षेत्रों में जहां पहला व्युत्पन्न शून्य नहीं है, होलोमोर्फिक फ़ंक्शन अनुरूप मानचित्र हैं: वे छोटे आंकड़ों के कोण और आकार (लेकिन आकार नहीं) को संरक्षित करते हैं।<ref>{{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Real and complex analysis | publisher=McGraw–Hill Book Co. | location=New York | edition=3rd | isbn=978-0-07-054234-1 | mr=924157 | year=1987}}</ref>
उन क्षेत्रों में जहां पहला व्युत्पन्न शून्य नहीं है, होलोमोर्फिक फलन अनुरूप मानचित्र हैं: वे छोटे आंकड़ों के कोण और आकार (लेकिन आकार नहीं) को संरक्षित करते हैं।<ref>{{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Real and complex analysis | publisher=McGraw–Hill Book Co. | location=New York | edition=3rd | isbn=978-0-07-054234-1 | mr=924157 | year=1987}}</ref> प्रत्येक होलोमॉर्फिक कार्य विश्लेषणात्मक होते हैं। यानी एक होलोमॉर्फिक फंक्शन {{mvar|f}} प्रत्येक बिंदु पर प्रत्येक आदेश का डेरिवेटिव है {{mvar|a}} अपने प्रभावक्षेत्र में, और यह अपनी टेलर श्रेणी के साथ मेल खाता है {{mvar|a}} के नेइबोरहुड में {{mvar|a}}. वास्तव में, {{mvar|f}} इसकी टेलर श्रेणी के साथ मेल खाता है {{mvar|a}} किसी भी डिस्क में उस बिंदु पर केंद्रित है और फलन के प्रभावक्षेत्र के भीतर स्थित है।
प्रत्येक होलोमॉर्फिक कार्य विश्लेषणात्मक होते हैं। यानी एक होलोमॉर्फिक फंक्शन {{mvar|f}} प्रत्येक बिंदु पर प्रत्येक आदेश का डेरिवेटिव है {{mvar|a}} अपने डोमेन में, और यह अपनी टेलर श्रृंखला के साथ मेल खाता है {{mvar|a}} के पड़ोस में {{mvar|a}}. वास्तव में, {{mvar|f}} इसकी टेलर श्रृंखला के साथ मेल खाता है {{mvar|a}} किसी भी डिस्क में उस बिंदु पर केंद्रित है और फ़ंक्शन के डोमेन के भीतर स्थित है।


एक बीजगणितीय दृष्टिकोण से, खुले सेट पर होलोमोर्फिक कार्यों का सेट एक [[क्रमविनिमेय अंगूठी]] और एक जटिल वेक्टर स्पेस है। इसके अतिरिक्त, एक खुले सेट में होलोमोर्फिक कार्यों का सेट {{mvar|U}} एक [[अभिन्न डोमेन]] है अगर और केवल अगर खुला सेट {{mvar|U}} जुड़ा हुआ है। <ref name=Gunning />वास्तव में, यह एक [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस]] है, जिसमें आदर्श (गणित) [[कॉम्पैक्ट उपसमुच्चय]] पर सर्वोच्च है।
एक बीजगणितीय दृष्टिकोण से, खुले समुच्चय पर होलोमोर्फिक कार्यों का समुच्चय एक [[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]] और एक सम्मिश्र दिष्‍ट (वेक्टर) स्पेस है। इसके अतिरिक्त, एक खुले समुच्चय में होलोमोर्फिक कार्यों का समुच्चय {{mvar|U}} एक [[अभिन्न डोमेन|अभिन्न प्रभावक्षेत्र]] है अगर और केवल अगर खुला समुच्चय {{mvar|U}} जुड़ा हुआ है।<ref name=Gunning /> वास्तव में, यह एक [[स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस|स्थानीय रूप से उत्तल टोपोलॉजिकल दिष्‍ट स्पेस]] है, जिसमें आदर्श (गणित) [[कॉम्पैक्ट उपसमुच्चय]] पर सर्वोच्च है।


एक ज्यामितीय परिप्रेक्ष्य से, एक समारोह {{mvar|f}} पर होलोमॉर्फिक है {{math|''z''<sub>0</sub>}} अगर और केवल अगर इसका [[बाहरी व्युत्पन्न]] {{mvar|df}} एक पड़ोस में {{mvar|U}} का {{math|''z''<sub>0</sub>}} के बराबर है {{math|''f''{{px2}}′(''z'')&thinsp;''dz''}} कुछ निरंतर कार्य के लिए {{math|''f''{{px2}}′}}. यह इस प्रकार है
ज्यामितीय परिप्रेक्ष्य से, एक समारोह {{mvar|f}} पर होलोमॉर्फिक है {{math|''z''<sub>0</sub>}} अगर और केवल अगर इसका [[बाहरी व्युत्पन्न]] {{mvar|df}} एक नेइबोरहुड में {{mvar|U}} का {{math|''z''<sub>0</sub>}} के बराबर है {{math|''f''{{px2}}′(''z'')&thinsp;''dz''}} कुछ निरंतर कार्य के लिए {{math|''f''{{px2}}′}}. यह इस प्रकार है


:<math>\textstyle 0 = d^2 f = d(f^\prime dz) = df^\prime \wedge dz</math>
:<math>\textstyle 0 = d^2 f = d(f^\prime dz) = df^\prime \wedge dz</math>
वह {{math|''df''{{px2}}′}} के समानुपाती भी है {{mvar|dz}}, जिसका अर्थ है कि व्युत्पन्न {{math|''f''{{px2}}′}} स्वयं होलोमोर्फिक है और इस प्रकार वह {{mvar|f}} असीम रूप से भिन्न है। इसी प्रकार, {{math|1=''d''(''f dz'') = ''f''{{px2}}′ ''dz'' ∧ ''dz'' = 0}} तात्पर्य यह है कि कोई भी कार्य {{mvar|f}} यह सरल रूप से जुड़े क्षेत्र पर होलोमोर्फिक है {{mvar|U}} पर भी समाकलनीय है {{mvar|U}}.
वह {{math|''df''{{px2}}′}} के समानुपाती भी है {{mvar|dz}}, जिसका अर्थ है कि व्युत्पन्न {{math|''f''{{px2}}′}} स्वयं होलोमोर्फिक है और इस प्रकार वह {{mvar|f}} असीम रूप से भिन्न है। इसी प्रकार, {{math|1=''d''(''f dz'') = ''f''{{px2}}′ ''dz'' ∧ ''dz'' = 0}} तात्पर्य यह है कि कोई भी कार्य {{mvar|f}} यह सरल रूप से जुड़े क्षेत्र पर होलोमोर्फिक है {{mvar|U}} पर भी समाकलनीय है {{mvar|U}}.


(एक पथ के लिए {{mvar|γ}} से {{math|''z''<sub>0</sub>}} प्रति {{mvar|z}} पूरी तरह से पड़ा हुआ {{mvar|U}}, परिभाषित करना <math display=inline> F_\gamma(z) = F_0 + \int_\gamma f\,dz;</math> [[जॉर्डन वक्र प्रमेय]] और स्टोक्स प्रमेय|सामान्यीकृत स्टोक्स प्रमेय के प्रकाश में, {{math|''F''<sub>γ</sub>(''z'')}} पथ की विशेष पसंद से स्वतंत्र है {{mvar|γ}}, और इस तरह {{math|''F''(''z'')}} पर एक अच्छी तरह से परिभाषित कार्य है {{mvar|U}} रखना {{math|1=''F''(''z''<sub>0</sub>) = ''F''<sub>0</sub>}} तथा {{math|1=''dF'' = ''f dz''}}.)
(एक पथ के लिए {{mvar|γ}} से {{math|''z''<sub>0</sub>}} प्रति {{mvar|z}} पूरी तरह से पड़ा हुआ {{mvar|U}}, परिभाषित करना <math display=inline> F_\gamma(z) = F_0 + \int_\gamma f\,dz;</math> [[जॉर्डन वक्र प्रमेय]] और स्टोक्स प्रमेय हैl सामान्यीकृत स्टोक्स प्रमेय के प्रकाश में, {{math|''F''<sub>γ</sub>(''z'')}} पथ की विशेष पसंद से स्वतंत्र है {{mvar|γ}}, और इस तरह {{math|''F''(''z'')}} पर एक अच्छी तरह से परिभाषित कार्य है {{mvar|U}} रखना {{math|1=''F''(''z''<sub>0</sub>) = ''F''<sub>0</sub>}} तथा {{math|1=''dF'' = ''f dz''}}.)


== उदाहरण ==
== उदाहरण ==
में सभी [[बहुपद]] कार्य {{mvar|z}} जटिल गुणांक वाले पूरे कार्य हैं (पूरे जटिल विमान में होलोमोर्फिक {{math|'''C'''}}), और इसी तरह एक्सपोनेंशियल फंक्शन#कॉम्प्लेक्स प्लेन भी हैं {{math|exp ''z''}} और त्रिकोणमितीय कार्य <math display=inline>\cos{z} = \tfrac12\bigl(\exp(iz) + \exp(-iz)\bigr)</math> तथा <math display=inline>\sin{z} = -\tfrac12i\bigl(\exp(iz) - \exp(-iz)\bigr)</math> (cf. यूलर का सूत्र)। [[जटिल लघुगणक]] फ़ंक्शन की मुख्य शाखा {{math|log ''z''}} डोमेन पर होलोमोर्फिक है {{math|1='''C''' [[complement (set theory)#Relative complement|\]] {&hairsp;''z'' ∈ '''R''' : z ≤ 0&hairsp;}.}} किसी सम्मिश्र संख्या फलन के वर्गमूल#मुख्य वर्गमूल को इस प्रकार परिभाषित किया जा सकता है <math display=inline>\sqrt{z} = \exp\bigl(\tfrac12 \log z\bigr)</math> और इसलिए जहां भी लघुगणक होलोमोर्फिक है {{math|log ''z''}} है। गुणक प्रतिलोम#जटिल संख्याएँ {{math|1&hairsp;/&hairsp;''z''}} होलोमॉर्फिक चालू है {{math|1='''C''' \ {&hairsp;0&hairsp;}.}} (पारस्परिक कार्य, और कोई अन्य [[तर्कसंगत कार्य]], मेरोमोर्फिक फ़ंक्शन है {{math|'''C'''}}.)
सम्मिश्र [[:hi:गुणक|गुणांक]] वाले z में सभी [[:hi:बहुपद|बहुपद]] कार्य [[:hi:संपूर्ण कार्य|संपूर्ण कार्य]] हैं (संपूर्ण सम्मिश्र तल {{Math|'''C'''}} में होलोमोर्फिक), और इसलिए [[:hi:चरघातांकी फलन|घातीय फलन]] {{Math|exp ''z''}} और [[:hi:त्रिकोणमितीय फलन|त्रिकोणमितीय फलन हैं]] <math display="inline">\cos{z} = \tfrac12\bigl(\exp(iz) + \exp(-iz)\bigr)</math> तथा <math display="inline">\sin{z} = -\tfrac12i\bigl(\exp(iz) - \exp(-iz)\bigr)</math> (सीएफ। [[:hi:ऑयलर का सूत्र|यूलर का सूत्र]] )। [[:hi:जटिल लघुगणक|सम्मिश्र लघुगणक]] फलन {{Math|log ''z''}} की [[:hi:प्रधान शाखा|प्रधान शाखा]] डोमेन {{Math|'''C''' [[complement (set theory)#Relative complement|\]] {&hairsp;''z'' ∈ '''R''' : z ≤ 0&hairsp;}.}} पर होलोमॉर्फिक है{{Math|'''C''' [[complement (set theory)#Relative complement|\]] {&hairsp;''z'' ∈ '''R''' : z ≤ 0&hairsp;}.}} [[:hi:वर्गमूल|वर्गमूल]] फलन को इस प्रकार परिभाषित किया जा सकता है <math display="inline">\sqrt{z} = \exp\bigl(\tfrac12 \log z\bigr)</math> और इसलिए जहाँ भी लघुगणक {{Math|log ''z''}} है, होलोमोर्फिक है। [[:hi:गुणात्मक प्रतिलोम|पारस्परिक कार्य]] {{Math|1&hairsp;/&hairsp;''z''}} {{Math|'''C''' \ {&hairsp;0&hairsp;}.}} पर होलोमॉर्फिक है{{Math|'''C''' \ {&hairsp;0&hairsp;}.}} (पारस्परिक कार्य, और कोई अन्य [[:hi:तर्कसंगत कार्य|तर्कसंगत कार्य]], {{Math|'''C'''}} पर [[:hi:मेरोमॉर्फिक फ़ंक्शन|मेरोमोर्फिक]] है।)


कॉची-रीमैन समीकरणों के परिणामस्वरूप, किसी भी वास्तविक-मूल्यवान होलोमोर्फिक फ़ंक्शन को निरंतर फ़ंक्शन होना चाहिए। इसलिए, निरपेक्ष मान#जटिल संख्याएँ {{math|{{!}}&hairsp;''z''&hairsp;{{!}}}}, [[तर्क (जटिल विश्लेषण)]] {{math|arg&hairsp;(''z'')}}, कॉम्प्लेक्स नंबर # नोटेशन {{math|Re&hairsp;(''z'')}} और कॉम्प्लेक्स नंबर # नोटेशन {{math|Im&hairsp;(''z'')}} होलोमॉर्फिक नहीं हैं। एक निरंतर कार्य का एक और विशिष्ट उदाहरण जो होलोमोर्फिक नहीं है, जटिल संयुग्म है {{math|''z&#773;''.}} (जटिल संयुग्म [[एंटीहोलोमॉर्फिक फ़ंक्शन]] है।)
[[:hi:कौशी-रीमान समीकरण|कॉची-रीमैन समीकरणों]] के परिणामस्वरूप, कोई भी वास्तविक-मूल्यवान होलोमोर्फिक फ़ंक्शन [[:hi:लगातार कार्य|स्थिर]] होना चाहिए। इसलिए, [[:hi:निरपेक्ष मान|निरपेक्ष मान]] {{Math|{{!}}&hairsp;''z''&hairsp;{{!}}}}, [[:hi:तर्क (जटिल विश्लेषण)|तर्क]] {{Math|arg&hairsp;(''z'')}}, [[:hi:समिश्र संख्या|असली हिस्सा]] {{Math|Re&hairsp;(''z'')}} और [[:hi:समिश्र संख्या|काल्पनिक भाग]] {{Math|Im&hairsp;(''z'')}} होलोमॉर्फिक नहीं हैं। एक निरंतर कार्य का एक और विशिष्ट उदाहरण जो होलोमोर्फिक नहीं है, [[:hi:जटिल सन्युग्म|सम्मिश्र संयुग्म]] {{Math|''z&#773;''.}} (सम्मिश्र संयुग्म [[:hi:एंटीहोलोमॉर्फिक फ़ंक्शन|एंटीहोलोमॉर्फिक]] है। )


== कई चर ==
== विविध चर ==
एक होलोमोर्फिक फ़ंक्शन की परिभाषा कई जटिल चरों को सीधे तरीके से सामान्यीकृत करती है। होने देना {{mvar|D}} पॉलीडिस्क होना और भी, एक खुले उपसमुच्चय को निरूपित करना {{math|'''C'''<sup>''n''</sup>}}, और जाने {{math|''f'' : ''D'' → '''C'''}}. कार्यक्रम {{mvar|f}} एक बिंदु पर विश्लेषणात्मक है {{mvar|p}} में {{mvar|D}} यदि कोई खुला पड़ोस मौजूद है {{mvar|p}} जिसमें {{mvar|f}} में एक अभिसरण शक्ति श्रृंखला के बराबर है {{mvar|n}} जटिल चर।<ref>Gunning and Rossi, ''Analytic Functions of Several Complex Variables'', p. 2.</ref> परिभाषित करना {{mvar|f}} होलोमॉर्फिक होना यदि यह अपने डोमेन में प्रत्येक बिंदु पर विश्लेषणात्मक है। ऑसगूड का लेम्मा दिखाता है (बहुभिन्नरूपी कॉची अभिन्न सूत्र का उपयोग करके) कि, एक सतत कार्य के लिए {{mvar|f}}, यह इसके बराबर है {{mvar|f}} अलग-अलग प्रत्येक चर में होलोमोर्फिक होना (जिसका अर्थ है कि यदि कोई हो {{math|''n'' − 1}} निर्देशांक निश्चित हैं, फिर का प्रतिबंध {{mvar|f}} शेष निर्देशांक का एक होलोमोर्फिक कार्य है)। बहुत गहरा हार्टोग्स प्रमेय साबित करता है कि निरंतरता धारणा अनावश्यक है: {{mvar|f}} होलोमोर्फिक है अगर और केवल अगर यह प्रत्येक चर में अलग-अलग होलोमोर्फिक है।
होलोमोर्फिक फलन की परिभाषा विविध सम्मिश्र चरों को सीधे तरीके से सामान्यीकृत करती है। होने देना {{mvar|D}} पॉलीडिस्क होना और भी, एक खुले उपसमुच्चय को निरूपित करना {{math|'''C'''<sup>''n''</sup>}}, और जाने {{math|''f'' : ''D'' → '''C'''}}. कार्यक्रम {{mvar|f}} एक बिंदु पर विश्लेषणात्मक है {{mvar|p}} में {{mvar|D}} यदि कोई खुला नेइबोरहुड उपस्थित है {{mvar|p}} जिसमें {{mvar|f}} में एक अभिसरण शक्ति श्रेणी के बराबर है {{mvar|n}} सम्मिश्र चर।<ref>Gunning and Rossi, ''Analytic Functions of Several Complex Variables'', p. 2.</ref> परिभाषित करना {{mvar|f}} होलोमॉर्फिक होना यदि यह अपने प्रभावक्षेत्र में प्रत्येक बिंदु पर विश्लेषणात्मक है। ऑसगूड का लेम्मा दिखाता है (बहुभिन्नरूपी कॉची अभिन्न सूत्र का उपयोग करके) कि, एक सतत कार्य के लिए {{mvar|f}}, यह इसके बराबर है {{mvar|f}} अलग-अलग प्रत्येक चर में होलोमोर्फिक होना (जिसका अर्थ है कि यदि कोई हो {{math|''n'' − 1}} निर्देशांक निश्चित हैं, फिर का प्रतिबंध {{mvar|f}} शेष निर्देशांक का एक होलोमोर्फिक कार्य है)। बहुत गहरा हार्टोग्स प्रमेय साबित करता है कि निरंतरता धारणा अनावश्यक है: {{mvar|f}} होलोमोर्फिक है अगर और केवल अगर यह प्रत्येक चर में अलग-अलग होलोमोर्फिक है।


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


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


एक जटिल विभेदक रूप#होलोमोर्फिक रूप|जटिल अंतर {{math|(''p'',0)}}-प्रपत्र {{mvar|α}} होलोमॉर्फिक है अगर और केवल अगर इसका एंटीहोलोमॉर्फिक कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बियॉल्ट ऑपरेटर शून्य है, {{math|1=∂&#773;''α'' = 0}}.
एक सम्मिश्र विभेदक रूप होलोमोर्फिक रूप|सम्मिश्र अंतर {{math|(''p'',0)}}-प्रपत्र {{mvar|α}} होलोमॉर्फिक है अगर और केवल अगर इसका एंटीहोलोमॉर्फिक कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बियॉल्ट ऑपरेटर शून्य है, {{math|1=∂&#773;''α'' = 0}}.


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


== यह भी देखें ==
== यह भी देखें ==
* [[एंटीडेरिवेटिव (जटिल विश्लेषण)]]
* [[एंटीडेरिवेटिव (जटिल विश्लेषण)|एंटीडेरिवेटिव (सम्मिश्र विश्लेषण)]]
* एंटीहोलोमॉर्फिक फ़ंक्शन
* एंटीहोलोमॉर्फिक फलन
* [[बिहोलोमॉर्फी]]
* [[बिहोलोमॉर्फी]]
* [[होलोमॉर्फिक पृथक्करण]]
* [[होलोमॉर्फिक पृथक्करण]]
* मेरोमॉर्फिक फ़ंक्शन
* मेरोमॉर्फिक फलन
* [[चतुर्भुज डोमेन]]
* [[चतुर्भुज डोमेन|चतुर्भुज प्रभावक्षेत्र]]
[[हार्मोनिक नक्शा]] मानचित्र
 
* [[हार्मोनिक नक्शा|हार्मोनिक]] मानचित्र
* हार्मोनिक morphisms
* हार्मोनिक morphisms
* [[विर्टिंगर डेरिवेटिव]]
* [[विर्टिंगर डेरिवेटिव]]

Revision as of 17:50, 4 December 2022

एक आयताकार ग्रिड (शीर्ष) और इसकी छवि एक अनुरूप मानचित्र के तहत f (नीचे)।

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

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

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

परिभाषा

कार्यक्रम f(z) = शून्य पर सम्मिश्र अवकलनीय नहीं है, क्योंकि जैसा कि ऊपर दिखाया गया है, का मान f(z) − f(0) / z − 0 उस दिशा के आधार पर भिन्न होता है जिससे शून्य तक पहुंचा जाता है। वास्तविक धुरी के साथ, f कार्य के बराबर है g(z) = z और सीमा है 1, जबकि काल्पनिक अक्ष के साथ, f बराबरी h(z) = −z और सीमा है −1. अन्य दिशाएँ और भी सीमाएँ उत्पन्न करती हैं।

सम्मिश्र-मूल्यवान फलन दिया गया f एकल सम्मिश्र चर का, का व्युत्पन्न f एक बिंदु पर z0 इसके प्रभावक्षेत्र में एक फलन की सीमा के रूप में परिभाषित किया गया है[2]

यह वही परिभाषा है जो किसी वास्तविक फलन के अवकलज के लिए है, सिवाय इसके कि सभी मात्राएँ सम्मिश्र होती हैं। विशेष रूप से, सीमा को तब लिया जाता है जब सम्मिश्र संख्या z z0 ओर प्रवृत्त होती है, और इसका अर्थ यह है कि z के सम्मिश्र मानों के किसी अनुक्रम के लिए वही मान प्राप्त होता है जो z0 की ओर प्रवृत्त होता है। यदि सीमा उपस्थित है, f को z0 पर सम्मिश्र अवकलनीय कहा जाता है। सम्मिश्र विभेदीकरण की यह अवधारणा वास्तविक भिन्नता के साथ विविध गुण साझा करती है: यह रैखिक है और उत्पाद नियम, भागफल नियम और श्रेणी नियम का पालन करता है। [3]

एक खुले समुच्चय पर एक समारोह होलोमोर्फिक है U यदि यह प्रत्येक बिंदु पर सम्मिश्र भिन्न है U. एक समारोह f एक बिंदु पर होलोमोर्फिक है z0 अगर यह कुछ नेइबोरहुड (गणित) पर होलोमोर्फिक है z0.[4] कुछ गैर-खुले समुच्चय पर एक फलन होलोमोर्फिक होता है A अगर यह हर बिंदु पर होलोमोर्फिक है A.

एक बिंदु पर एक फलन सम्मिश्र भिन्न हो सकता है लेकिन इस बिंदु पर होलोमोर्फिक नहीं हो सकता है। उदाहरण के लिए, समारोह f(z) = |z|2 पर सम्मिश्र अवकलनीय है 0, लेकिन अन्यत्र सम्मिश्र अवकलनीय नहीं है। तो, यह होलोमोर्फिक नहीं है 0.

वास्तविक अवकलनीयता और सम्मिश्र अवकलनीयता के बीच संबंध निम्नलिखित है: यदि कोई सम्मिश्र फलन f(x + i y) = u(x, y) + i v(x, y) होलोमोर्फिक है, तो u तथा v के संबंध में पहले आंशिक डेरिवेटिव हैं x तथा y, और कॉची-रीमैन समीकरणों को संतुष्ट करें:[5]

या, समकक्ष, विर्टिंगर का व्युत्पन्न f इसके संबंध में , का सम्मिश्र संयुग्म z, शून्य है:[6]

कहने का तात्पर्य यह है कि, मोटे तौर पर, f से कार्यात्मक रूप से स्वतंत्र है , का सम्मिश्र संयुग्म z.

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

शब्दावली

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

गुण

क्योंकि सम्मिश्र भेदभाव रैखिक है और उत्पाद, भागफल और श्रेणी नियमों का पालन करता है, होलोमोर्फिक कार्यों की रकम, उत्पाद और रचनाएं होलोमोर्फिक होती हैं, और दो होलोमोर्फिक कार्यों का अंश होलोमोर्फिक होता है जहां हर शून्य नहीं होता है। [10] अर्थात्, यदि फलन f और g प्रभावक्षेत्र U में होलोमॉर्फिक हैं, तो f + g, fg, f g भी हैं।f g, और f ∘ g । इसके अलावा, f / g होलोमॉर्फिक है यदि g का U में कोई शून्य नहीं है, या अन्यथा मेरोमोर्फिक है।

यदि कोई वास्तविक समतल R2 साथ C की पहचान करता है, तो होलोमोर्फिक फलन दो वास्तविक चरों के उन कार्यों के साथ मेल खाते हैं जिनमें निरंतर पहला डेरिवेटिव होता है, जो कौशी-रीमैन समीकरणों को हल करते हैं, जो दो आंशिक अंतर समीकरणों का एक समुच्चय है। [11]

प्रत्येक होलोमॉर्फिक फलन को उसके वास्तविक और काल्पनिक भागों f(x + i y) = u(x, y) + i v(x, y) में अलग किया जा सकता हैf(x + i y) = u(x, y) + i v(x, y), और इनमें से प्रत्येक R2 पर एक हार्मोनिक फलन है (प्रत्येक लैपलेस के समीकरण 2u = ∇2v = 0 को संतुष्ट करता है2u = ∇2v = 0 ), v के साथ u का हार्मोनिक संयुग्म[12] इसके विपरीत, सरलता से जुड़े प्रभावक्षेत्र Ω ⊂ R2 पर प्रत्येक हार्मोनिक फलन u(x, y) एक होलोमोर्फिक फलन का वास्तविक हिस्सा है: यदि v u का हार्मोनिक संयुग्म है, जो एक स्थिरांक तक अद्वितीय है, तो f(x + i y) = u(x, y) + i v(x, y) होलोमोर्फिक है।

कॉची के अभिन्न प्रमेय का अर्थ है कि लूप के साथ प्रत्येक होलोमोर्फिक फलन का समोच्च अभिन्न अंग लुप्त हो जाता है: [13]

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

कॉची के अभिन्न सूत्र में कहा गया है कि एक डिस्क (गणित) के अंदर होलोमोर्फिक प्रत्येक फलन डिस्क की सीमा पर इसके मूल्यों द्वारा पूरी तरह से निर्धारित होता है।[14]इसके अलावा: मान लीजिए UC एक सम्मिश्र प्रभावक्षेत्र है, f : UC एक होलोमॉर्फिक फलन और बंद डिस्क है D = { z : |zz0| ≤ r } नेइबोरहुड (गणित) है # एक समुच्चय का नेइबोरहुड U. होने देना γ की सीमा (टोपोलॉजी) बनाने वाला वृत्त हो D. फिर प्रत्येक के लिए a के आंतरिक (टोपोलॉजी) में D:

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

व्युत्पन्न f′(a) समोच्च अभिन्न के रूप में लिखा जा सकता है[14] कॉची के विभेदीकरण सूत्र का उपयोग करना:

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

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

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

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

ज्यामितीय परिप्रेक्ष्य से, एक समारोह f पर होलोमॉर्फिक है z0 अगर और केवल अगर इसका बाहरी व्युत्पन्न df एक नेइबोरहुड में U का z0 के बराबर है f′(z) dz कुछ निरंतर कार्य के लिए f. यह इस प्रकार है

वह df के समानुपाती भी है dz, जिसका अर्थ है कि व्युत्पन्न f स्वयं होलोमोर्फिक है और इस प्रकार वह f असीम रूप से भिन्न है। इसी प्रकार, d(f dz) = fdzdz = 0 तात्पर्य यह है कि कोई भी कार्य f यह सरल रूप से जुड़े क्षेत्र पर होलोमोर्फिक है U पर भी समाकलनीय है U.

(एक पथ के लिए γ से z0 प्रति z पूरी तरह से पड़ा हुआ U, परिभाषित करना जॉर्डन वक्र प्रमेय और स्टोक्स प्रमेय हैl सामान्यीकृत स्टोक्स प्रमेय के प्रकाश में, Fγ(z) पथ की विशेष पसंद से स्वतंत्र है γ, और इस तरह F(z) पर एक अच्छी तरह से परिभाषित कार्य है U रखना F(z0) = F0 तथा dF = f dz.)

उदाहरण

सम्मिश्र गुणांक वाले z में सभी बहुपद कार्य संपूर्ण कार्य हैं (संपूर्ण सम्मिश्र तल C में होलोमोर्फिक), और इसलिए घातीय फलन exp z और त्रिकोणमितीय फलन हैं तथा (सीएफ। यूलर का सूत्र )। सम्मिश्र लघुगणक फलन log z की प्रधान शाखा डोमेन C \ { zR : z ≤ 0 }. पर होलोमॉर्फिक हैC \ { zR : z ≤ 0 }. वर्गमूल फलन को इस प्रकार परिभाषित किया जा सकता है और इसलिए जहाँ भी लघुगणक log z है, होलोमोर्फिक है। पारस्परिक कार्य 1 / z C \ { 0 }. पर होलोमॉर्फिक हैC \ { 0 }. (पारस्परिक कार्य, और कोई अन्य तर्कसंगत कार्य, C पर मेरोमोर्फिक है।)

कॉची-रीमैन समीकरणों के परिणामस्वरूप, कोई भी वास्तविक-मूल्यवान होलोमोर्फिक फ़ंक्शन स्थिर होना चाहिए। इसलिए, निरपेक्ष मान | z |, तर्क arg (z), असली हिस्सा Re (z) और काल्पनिक भाग Im (z) होलोमॉर्फिक नहीं हैं। एक निरंतर कार्य का एक और विशिष्ट उदाहरण जो होलोमोर्फिक नहीं है, सम्मिश्र संयुग्म . (सम्मिश्र संयुग्म एंटीहोलोमॉर्फिक है। )

विविध चर

होलोमोर्फिक फलन की परिभाषा विविध सम्मिश्र चरों को सीधे तरीके से सामान्यीकृत करती है। होने देना D पॉलीडिस्क होना और भी, एक खुले उपसमुच्चय को निरूपित करना Cn, और जाने f : DC. कार्यक्रम f एक बिंदु पर विश्लेषणात्मक है p में D यदि कोई खुला नेइबोरहुड उपस्थित है p जिसमें f में एक अभिसरण शक्ति श्रेणी के बराबर है n सम्मिश्र चर।[16] परिभाषित करना f होलोमॉर्फिक होना यदि यह अपने प्रभावक्षेत्र में प्रत्येक बिंदु पर विश्लेषणात्मक है। ऑसगूड का लेम्मा दिखाता है (बहुभिन्नरूपी कॉची अभिन्न सूत्र का उपयोग करके) कि, एक सतत कार्य के लिए f, यह इसके बराबर है f अलग-अलग प्रत्येक चर में होलोमोर्फिक होना (जिसका अर्थ है कि यदि कोई हो n − 1 निर्देशांक निश्चित हैं, फिर का प्रतिबंध f शेष निर्देशांक का एक होलोमोर्फिक कार्य है)। बहुत गहरा हार्टोग्स प्रमेय साबित करता है कि निरंतरता धारणा अनावश्यक है: f होलोमोर्फिक है अगर और केवल अगर यह प्रत्येक चर में अलग-अलग होलोमोर्फिक है।

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

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

एक सम्मिश्र विभेदक रूप होलोमोर्फिक रूप|सम्मिश्र अंतर (p,0)-प्रपत्र α होलोमॉर्फिक है अगर और केवल अगर इसका एंटीहोलोमॉर्फिक कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बियॉल्ट ऑपरेटर शून्य है, ∂̅α = 0.

कार्यात्मक विश्लेषण का विस्तार

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

यह भी देखें

संदर्भ

  1. "होलोमार्फिक फलन", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
  2. Ahlfors, L., Complex Analysis, 3 ed. (McGraw-Hill, 1979).
  3. Henrici, P., Applied and Computational Complex Analysis (Wiley). [Three volumes: 1974, 1977, 1986.]
  4. Peter Ebenfelt, Norbert Hungerbühler, Joseph J. Kohn, Ngaiming Mok, Emil J. Straube (2011) Complex Analysis Springer Science & Business Media
  5. Markushevich, A.I.,Theory of Functions of a Complex Variable (Prentice-Hall, 1965). [Three volumes.]
  6. 6.0 6.1 Gunning, Robert C.; Rossi, Hugo (1965). कई जटिल चर के विश्लेषणात्मक कार्य. Prentice-Hall series in Modern Analysis. Englewood Cliffs, N.J.: Prentice-Hall. pp. xiv+317. ISBN 9780821869536. MR 0180696. Zbl 0141.08601.
  7. Gray, J. D.; Morris, S. A. (1978), "When is a Function that Satisfies the Cauchy-Riemann Equations Analytic?", The American Mathematical Monthly (published April 1978), 85 (4): 246–256, doi:10.2307/2321164, JSTOR 2321164.
  8. The original French terms were holomorphe and méromorphe. Briot, Charles Auguste; Bouquet, Jean-Claude (1875). "§15 fonctions holomorphes". Théorie des fonctions elliptiques (2nd ed.). Gauthier-Villars. pp. 14–15. Lorsqu'une fonction est continue, monotrope, et a une dérivée, quand la variable se meut dans une certaine partie du plan, nous dirons qu'elle est holomorphe dans cette partie du plan. Nous indiquons par cette dénomination qu'elle est semblable aux fonctions entières qui jouissent de ces propriétés dans toute l'étendue du plan. [...] ¶ Une fraction rationnelle admet comme pôles les racines du dénominateur; c'est une fonction holomorphe dans toute partie du plan qui ne contient aucun de ses pôles. ¶ Lorsqu'une fonction est holomorphe dans une partie du plan, excepté en certains pôles, nous dirons qu'elle est méromorphe dans cette partie du plan, c'est-à-dire semblable aux fractions rationnelles. Harkness, James; Morley, Frank (1893). "5. Integration". A Treatise on the Theory of Functions. Macmillan. p. 161.
  9. Briot & Bouquet had previously also adopted Cauchy’s term synectic (synectique in French), in the 1859 first edition of their book. Briot, Charles Auguste; Bouquet, Jean-Claude (1875). "§10". Théorie des fonctions doublement périodiques. Mallet-Bachelier. p. 11.
  10. Henrici, Peter (1993) [1986], Applied and Computational Complex Analysis Volume 3, Wiley Classics Library (Reprint ed.), New York - Chichester - Brisbane - Toronto - Singapore: John Wiley & Sons, pp. X+637, ISBN 0-471-58986-1, MR 0822470, Zbl 1107.30300.
  11. Markushevich, A.I.,Theory of Functions of a Complex Variable (Prentice-Hall, 1965). [Three volumes.]
  12. Evans, Lawrence C. (1998), Partial Differential Equations, American Mathematical Society.
  13. Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag
  14. 14.0 14.1 Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag
  15. Rudin, Walter (1987), Real and complex analysis (3rd ed.), New York: McGraw–Hill Book Co., ISBN 978-0-07-054234-1, MR 0924157
  16. Gunning and Rossi, Analytic Functions of Several Complex Variables, p. 2.


अग्रिम पठन

  • Blakey, Joseph (1958). University Mathematics (2nd ed.). London: Blackie and Sons. OCLC 2370110.


बाहरी संबंध