होलोमार्फिक फलन: Difference between revisions
No edit summary |
|||
| Line 3: | Line 3: | ||
{{for|ज़रिस्की का बीजगणितीय विविधता पर होलोमोर्फिक कार्यों का सिद्धांत|औपचारिक होलोमॉर्फिक फलन}} | {{for|ज़रिस्की का बीजगणितीय विविधता पर होलोमोर्फिक कार्यों का सिद्धांत|औपचारिक होलोमॉर्फिक फलन}} | ||
{{Complex analysis sidebar}} | {{Complex analysis sidebar}} | ||
[[Image:Conformal map.svg|right|thumb|एक आयताकार ग्रिड (शीर्ष) और इसकी छवि एक अनुरूप मानचित्र के तहत {{mvar|f}} (नीचे)।]][[गणित]] में, एक होलोमॉर्फिक | [[Image:Conformal map.svg|right|thumb|एक आयताकार ग्रिड (शीर्ष) और इसकी छवि एक अनुरूप मानचित्र के तहत {{mvar|f}} (नीचे)।]][[गणित]] में, एक होलोमॉर्फिक फलन एक या एक से अधिक सम्मिश्र-मूल्यवान फलन है या विविध सम्मिश्र चर [[जटिल संख्या|सम्मिश्र संख्या]] चर का कार्य है जो अलग-अलग कार्य है, फलन में [[डोमेन (गणितीय विश्लेषण)|प्रभावक्षेत्र (गणितीय विश्लेषण)]] में प्रत्येक बिंदु के [[पड़ोस (गणित)|नेइबोरहुड (गणित)]] में सम्मिश्र विश्लेषण में भिन्नता विविध सम्मिश्र चरों का सम्मिश्र समन्वय स्थान {{math|'''C'''<sup>''n''</sup>}}. एक नेइबोरहुड में सम्मिश्र व्युत्पन्न का अस्तित्व एक बहुत ही मजबूत स्थिति है: इसका तात्पर्य है कि एक होलोमोर्फिक फलन [[असीम रूप से भिन्न कार्य]] है और स्थानीय रूप से अपनी [[टेलर श्रृंखला|टेलर श्रेणी]] (विश्लेषणात्मक) के बराबर है। होलोमॉर्फिक फलन [[जटिल विश्लेषण|सम्मिश्र विश्लेषण]] में अध्ययन की केंद्रीय वस्तुएं हैं। | ||
हालांकि शब्द विश्लेषणात्मक कार्य अक्सर "होलोमोर्फिक | हालांकि शब्द विश्लेषणात्मक कार्य अक्सर "होलोमोर्फिक फलन" के साथ एक दूसरे के रूप में प्रयोग किया जाता है, शब्द "विश्लेषणात्मक" को किसी भी फलन (वास्तविक, सम्मिश्र, या अधिक सामान्य प्रकार) को निरूपित करने के लिए व्यापक अर्थ में परिभाषित किया जाता है जिसे इसके प्रभावक्षेत्र में प्रत्येक बिंदु के नेइबोरहुड में अभिसरण शक्ति श्रेणी के रूप में लिखा जा सकता है। कि सभी होलोमॉर्फिक कार्य सम्मिश्र विश्लेषणात्मक कार्य हैं, और इसके विपरीत, सम्मिश्र विश्लेषण में एक प्रमुख प्रमेय हैl | ||
होलोमोर्फिक कार्यों को कभी-कभी ''नियमित कार्यों'' के रूप में भी जाना जाता है। <ref>{{SpringerEOM}}</ref> एक होलोमॉर्फिक | होलोमोर्फिक कार्यों को कभी-कभी ''नियमित कार्यों'' के रूप में भी जाना जाता है। <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̅''}} शून्य पर | [[File:Non-holomorphic complex conjugate.svg|thumb|कार्यक्रम {{math|1=''f''(''z'') = ''z̅''}} शून्य पर सम्मिश्र अवकलनीय नहीं है, क्योंकि जैसा कि ऊपर दिखाया गया है, का मान {{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:अवकलज|अवकलज]] के लिए है, सिवाय इसके कि सभी मात्राएँ | यह वही परिभाषा है जो किसी [[: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 | |||
(2011) ''[https://books.google.com/books?id=3GeUgafFRgMC&printsec=frontcover#v=snippet&q=holomorphic&f=false Complex Analysis]'' Springer Science & Business Media</ref> कुछ गैर-खुले | (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''(''x'' + ''i y'') = ''u''(''x'', ''y'') + ''i 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̅''}}, का | या, समकक्ष, विर्टिंगर का व्युत्पन्न {{mvar|f}} इसके संबंध में {{math|''z̅''}}, का सम्मिश्र संयुग्म {{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̅''}}, का | कहने का तात्पर्य यह है कि, मोटे तौर पर, {{mvar|f}} से कार्यात्मक रूप से स्वतंत्र है {{math|''z̅''}}, का सम्मिश्र संयुग्म {{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> | |||
{{ | |||
== गुण == | == गुण == | ||
क्योंकि | क्योंकि सम्मिश्र भेदभाव रैखिक है और उत्पाद, भागफल और श्रेणी नियमों का पालन करता है, होलोमोर्फिक कार्यों की रकम, उत्पाद और रचनाएं होलोमोर्फिक होती हैं, और दो होलोमोर्फिक कार्यों का अंश होलोमोर्फिक होता है जहां हर शून्य नहीं होता है। <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 g''}} भी हैं।{{Math|''f g''}}, और {{Math|''f'' ∘ ''g''}} । इसके अलावा, {{Math|''f'' / ''g''}} होलोमॉर्फिक है यदि g का U में कोई शून्य नहीं है, या अन्यथा मेरोमोर्फिक है। | ||
यदि कोई वास्तविक [[: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 y'') = ''u''(''x'', ''y'') + ''i v''(''x'', ''y'')}} में अलग किया जा सकता है{{Math|1=''f''(''x'' + ''i y'') = ''u''(''x'', ''y'') + ''i v''(''x'', ''y'')}}, और इनमें से प्रत्येक {{Math|'''R'''<sup>2</sup>}} पर एक [[:hi:हार्मोनिक फ़ंक्शन|हार्मोनिक फलन]] है (प्रत्येक [[:hi:लाप्लास का समीकरण|लैपलेस के समीकरण]] {{Math|1=∇<sup>2</sup> ''u'' = ∇<sup>2</sup> ''v'' = 0}} को संतुष्ट करता है{{Math|1=∇<sup>2</sup> ''u'' = ∇<sup>2</sup> ''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 y'') = ''u''(''x'', ''y'') + ''i v''(''x'', ''y'')}} होलोमोर्फिक है। | ||
कौशी के अभिन्न प्रमेय का | [[: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'' = { ''z'' : {{abs|''z'' − ''z''<sub>0</sub>}} ≤ ''r'' } }} नेइबोरहुड (गणित) है # एक समुच्चय का नेइबोरहुड {{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> प्रत्येक होलोमॉर्फिक कार्य विश्लेषणात्मक होते हैं। यानी एक होलोमॉर्फिक फंक्शन {{mvar|f}} प्रत्येक बिंदु पर प्रत्येक आदेश का डेरिवेटिव है {{mvar|a}} अपने प्रभावक्षेत्र में, और यह अपनी टेलर श्रेणी के साथ मेल खाता है {{mvar|a}} के नेइबोरहुड में {{mvar|a}}. वास्तव में, {{mvar|f}} इसकी टेलर श्रेणी के साथ मेल खाता है {{mvar|a}} किसी भी डिस्क में उस बिंदु पर केंद्रित है और फलन के प्रभावक्षेत्र के भीतर स्थित है। | ||
प्रत्येक होलोमॉर्फिक कार्य विश्लेषणात्मक होते हैं। यानी एक होलोमॉर्फिक फंक्शन {{mvar|f}} प्रत्येक बिंदु पर प्रत्येक आदेश का डेरिवेटिव है {{mvar|a}} अपने | |||
एक बीजगणितीय दृष्टिकोण से, खुले | एक बीजगणितीय दृष्टिकोण से, खुले समुच्चय पर होलोमोर्फिक कार्यों का समुच्चय एक [[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]] और एक सम्मिश्र दिष्ट (वेक्टर) स्पेस है। इसके अतिरिक्त, एक खुले समुच्चय में होलोमोर्फिक कार्यों का समुच्चय {{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'') ''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> [[जॉर्डन वक्र प्रमेय]] और स्टोक्स प्रमेय | (एक पथ के लिए {{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''}}.) | ||
== उदाहरण == | == उदाहरण == | ||
में सभी [[बहुपद]] कार्य | सम्मिश्र [[: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|\]] { ''z'' ∈ '''R''' : z ≤ 0 }.}} पर होलोमॉर्फिक है{{Math|'''C''' [[complement (set theory)#Relative complement|\]] { ''z'' ∈ '''R''' : z ≤ 0 }.}} [[:hi:वर्गमूल|वर्गमूल]] फलन को इस प्रकार परिभाषित किया जा सकता है <math display="inline">\sqrt{z} = \exp\bigl(\tfrac12 \log z\bigr)</math> और इसलिए जहाँ भी लघुगणक {{Math|log ''z''}} है, होलोमोर्फिक है। [[:hi:गुणात्मक प्रतिलोम|पारस्परिक कार्य]] {{Math|1 / ''z''}} {{Math|'''C''' \ { 0 }.}} पर होलोमॉर्फिक है{{Math|'''C''' \ { 0 }.}} (पारस्परिक कार्य, और कोई अन्य [[:hi:तर्कसंगत कार्य|तर्कसंगत कार्य]], {{Math|'''C'''}} पर [[:hi:मेरोमॉर्फिक फ़ंक्शन|मेरोमोर्फिक]] है।) | ||
कॉची-रीमैन समीकरणों के परिणामस्वरूप, | [[:hi:कौशी-रीमान समीकरण|कॉची-रीमैन समीकरणों]] के परिणामस्वरूप, कोई भी वास्तविक-मूल्यवान होलोमोर्फिक फ़ंक्शन [[:hi:लगातार कार्य|स्थिर]] होना चाहिए। इसलिए, [[:hi:निरपेक्ष मान|निरपेक्ष मान]] {{Math|{{!}} ''z'' {{!}}}}, [[:hi:तर्क (जटिल विश्लेषण)|तर्क]] {{Math|arg (''z'')}}, [[:hi:समिश्र संख्या|असली हिस्सा]] {{Math|Re (''z'')}} और [[:hi:समिश्र संख्या|काल्पनिक भाग]] {{Math|Im (''z'')}} होलोमॉर्फिक नहीं हैं। एक निरंतर कार्य का एक और विशिष्ट उदाहरण जो होलोमोर्फिक नहीं है, [[:hi:जटिल सन्युग्म|सम्मिश्र संयुग्म]] {{Math|''z̅''.}} (सम्मिश्र संयुग्म [[: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}} होलोमोर्फिक है अगर और केवल अगर यह प्रत्येक चर में अलग-अलग होलोमोर्फिक है। | |||
अधिक आम तौर पर, | अधिक आम तौर पर, विविध सम्मिश्र चरों का एक कार्य जो अपने प्रभावक्षेत्र के प्रत्येक [[कॉम्पैक्ट सेट|कॉम्पैक्ट समुच्चय]] पर [[चौकोर पूर्णांक]] होता है, विश्लेषणात्मक होता है और केवल अगर यह वितरण के अर्थ में कॉची-रीमैन समीकरणों को संतुष्ट करता है। | ||
एक | एक सम्मिश्र चर के कार्यों की तुलना में विविध सम्मिश्र चर के कार्य कुछ बुनियादी तरीकों से अधिक सम्मिश्र हैं। उदाहरण के लिए, घात श्रेणी का अभिसरण का क्षेत्र आवश्यक रूप से एक खुली गेंद नहीं है; ये क्षेत्र लघुगणकीय-उत्तल [[रेनहार्ड्ट डोमेन|रेनहार्ड्ट प्रभावक्षेत्र]] हैं, जिसका सबसे सरल उदाहरण एक [[polydisk|पॉलीडिस्क]] है। हालाँकि, वे कुछ मूलभूत प्रतिबंधों के साथ भी आते हैं। एकल सम्मिश्र चर के कार्यों के विपरीत, संभावित प्रभावक्षेत्र जिनमें होलोमोर्फिक फलन होते हैं जिन्हें बड़े प्रभावक्षेत्र तक नहीं बढ़ाया जा सकता है, वे अत्यधिक सीमित हैं। ऐसे समुच्चय को होलोमॉर्फी का प्रभावक्षेत्र कहा जाता है। | ||
एक | एक सम्मिश्र विभेदक रूप होलोमोर्फिक रूप|सम्मिश्र अंतर {{math|(''p'',0)}}-प्रपत्र {{mvar|α}} होलोमॉर्फिक है अगर और केवल अगर इसका एंटीहोलोमॉर्फिक कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बियॉल्ट ऑपरेटर शून्य है, {{math|1=∂̅''α'' = 0}}. | ||
== कार्यात्मक विश्लेषण का विस्तार == | == कार्यात्मक विश्लेषण का विस्तार == | ||
{{Main article| | {{Main article|अपरिमित-आयामी होलोमॉर्फी}} | ||
होलोमॉर्फिक | |||
होलोमॉर्फिक फलन की अवधारणा को [[कार्यात्मक विश्लेषण]] के अनंत-आयामी स्थानों तक बढ़ाया जा सकता है। उदाहरण के लिए, फ्रेचेट व्युत्पन्न | फ्रेचेट या गेटॉक्स व्युत्पन्न का उपयोग सम्मिश्र संख्याओं के क्षेत्र में [[बनच स्थान]] पर एक होलोमोर्फिक फलन की धारणा को परिभाषित करने के लिए किया जा सकता है। | |||
== यह भी देखें == | == यह भी देखें == | ||
* [[एंटीडेरिवेटिव (जटिल विश्लेषण)]] | * [[एंटीडेरिवेटिव (जटिल विश्लेषण)|एंटीडेरिवेटिव (सम्मिश्र विश्लेषण)]] | ||
* एंटीहोलोमॉर्फिक | * एंटीहोलोमॉर्फिक फलन | ||
* [[बिहोलोमॉर्फी]] | * [[बिहोलोमॉर्फी]] | ||
* [[होलोमॉर्फिक पृथक्करण]] | * [[होलोमॉर्फिक पृथक्करण]] | ||
* मेरोमॉर्फिक | * मेरोमॉर्फिक फलन | ||
* [[चतुर्भुज डोमेन]] | * [[चतुर्भुज डोमेन|चतुर्भुज प्रभावक्षेत्र]] | ||
[[हार्मोनिक नक्शा]] मानचित्र | |||
* [[हार्मोनिक नक्शा|हार्मोनिक]] मानचित्र | |||
* हार्मोनिक morphisms | * हार्मोनिक morphisms | ||
* [[विर्टिंगर डेरिवेटिव]] | * [[विर्टिंगर डेरिवेटिव]] | ||
Revision as of 17:50, 4 December 2022
| Mathematical analysis → Complex analysis |
| Complex analysis |
|---|
| Complex numbers |
| Complex functions |
| Basic Theory |
| Geometric function theory |
| People |
|
|
गणित में, एक होलोमॉर्फिक फलन एक या एक से अधिक सम्मिश्र-मूल्यवान फलन है या विविध सम्मिश्र चर सम्मिश्र संख्या चर का कार्य है जो अलग-अलग कार्य है, फलन में प्रभावक्षेत्र (गणितीय विश्लेषण) में प्रत्येक बिंदु के नेइबोरहुड (गणित) में सम्मिश्र विश्लेषण में भिन्नता विविध सम्मिश्र चरों का सम्मिश्र समन्वय स्थान Cn. एक नेइबोरहुड में सम्मिश्र व्युत्पन्न का अस्तित्व एक बहुत ही मजबूत स्थिति है: इसका तात्पर्य है कि एक होलोमोर्फिक फलन असीम रूप से भिन्न कार्य है और स्थानीय रूप से अपनी टेलर श्रेणी (विश्लेषणात्मक) के बराबर है। होलोमॉर्फिक फलन सम्मिश्र विश्लेषण में अध्ययन की केंद्रीय वस्तुएं हैं।
हालांकि शब्द विश्लेषणात्मक कार्य अक्सर "होलोमोर्फिक फलन" के साथ एक दूसरे के रूप में प्रयोग किया जाता है, शब्द "विश्लेषणात्मक" को किसी भी फलन (वास्तविक, सम्मिश्र, या अधिक सामान्य प्रकार) को निरूपित करने के लिए व्यापक अर्थ में परिभाषित किया जाता है जिसे इसके प्रभावक्षेत्र में प्रत्येक बिंदु के नेइबोरहुड में अभिसरण शक्ति श्रेणी के रूप में लिखा जा सकता है। कि सभी होलोमॉर्फिक कार्य सम्मिश्र विश्लेषणात्मक कार्य हैं, और इसके विपरीत, सम्मिश्र विश्लेषण में एक प्रमुख प्रमेय हैl
होलोमोर्फिक कार्यों को कभी-कभी नियमित कार्यों के रूप में भी जाना जाता है। [1] एक होलोमॉर्फिक फलन जिसका प्रभावक्षेत्र संपूर्ण सम्मिश्र तल है, संपूर्ण फलन कहलाता है। वाक्यांश "होलोमॉर्फिक एट ए पॉइंट z0 " का अर्थ न केवल z0 पर अवकलनीय है, बल्कि सम्मिश्र तल में z0 के कुछ नेइबोरहुड के भीतर हर जगह अवकलनीय है।
परिभाषा
सम्मिश्र-मूल्यवान फलन दिया गया 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̅, का सम्मिश्र संयुग्म z, शून्य है:[6]
कहने का तात्पर्य यह है कि, मोटे तौर पर, f से कार्यात्मक रूप से स्वतंत्र है z̅, का सम्मिश्र संयुग्म z.
यदि निरंतरता नहीं दी गई है, तो इसका विलोम आवश्यक रूप से सत्य नहीं है। एक साधारण बातचीत यह है कि अगर u तथा v निरंतर पहले आंशिक डेरिवेटिव हैं और कॉची-रीमैन समीकरणों को संतुष्ट करते हैं f होलोमॉर्फिक है। एक अधिक संतोषजनक बातचीत, जिसे सिद्ध करना बहुत कठिन है, लूमन-मेन्चॉफ प्रमेय है: यदि f निरंतर है, u तथा v पहले आंशिक डेरिवेटिव हैं (लेकिन जरूरी नहीं कि निरंतर), और फिर वे कॉची-रीमैन समीकरणों को संतुष्ट करते हैं f होलोमॉर्फिक है।[7]
शब्दावली
होलोमोर्फिक शब्द 1875 में चार्ल्स ब्रियट और जीन-क्लाउड बाउक्वेट, ऑगस्टिन-लुई कॉची के दो छात्रों द्वारा पेश किया गया था, और ग्रीक ὅλος ( होलोस ) से निकला है जिसका अर्थ है "संपूर्ण", और μορφή (मोर्फ) जिसका अर्थ है "रूप" या "उपस्थिति" या "प्रकार", शब्द मेरोमोर्फिक के विपरीत μέρος (मेरोस ) से लिया गया है जिसका अर्थ है "भाग"। एक होलोमोर्फिक फलन सम्मिश्र समतल के प्रभावक्षेत्र में एक संपूर्ण फलन ("संपूर्ण") जैसा दिखता है, जबकि एक मेरोमॉर्फिक फलन (कुछ पृथक ध्रुवों को छोड़कर होलोमोर्फिक का अर्थ परिभाषित किया गया है), सम्मिश्र समतल के एक प्रभावक्षेत्र में संपूर्ण कार्यों के एक तर्कसंगत अंश जैसा दिखता है।[8] कॉची ने इसके बजाय सिनेक्टिक शब्द का प्रयोग किया था।[9]
गुण
क्योंकि सम्मिश्र भेदभाव रैखिक है और उत्पाद, भागफल और श्रेणी नियमों का पालन करता है, होलोमोर्फिक कार्यों की रकम, उत्पाद और रचनाएं होलोमोर्फिक होती हैं, और दो होलोमोर्फिक कार्यों का अंश होलोमोर्फिक होता है जहां हर शून्य नहीं होता है। [10] अर्थात्, यदि फलन f और g प्रभावक्षेत्र U में होलोमॉर्फिक हैं, तो f + g, f − g, 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 पर एक हार्मोनिक फलन है (प्रत्येक लैपलेस के समीकरण ∇2 u = ∇2 v = 0 को संतुष्ट करता है∇2 u = ∇2 v = 0 ), v के साथ u का हार्मोनिक संयुग्म । [12] इसके विपरीत, सरलता से जुड़े प्रभावक्षेत्र Ω ⊂ R2 पर प्रत्येक हार्मोनिक फलन u(x, y) एक होलोमोर्फिक फलन का वास्तविक हिस्सा है: यदि v u का हार्मोनिक संयुग्म है, जो एक स्थिरांक तक अद्वितीय है, तो f(x + i y) = u(x, y) + i v(x, y) होलोमोर्फिक है।
कॉची के अभिन्न प्रमेय का अर्थ है कि लूप के साथ प्रत्येक होलोमोर्फिक फलन का समोच्च अभिन्न अंग लुप्त हो जाता है: [13]
यहां γ सरलता से जुड़े प्रभावक्षेत्र (गणितीय विश्लेषण) में सुधार योग्य पथ है U ⊂ C जिसका प्रारंभ बिंदु इसके अंत बिंदु के बराबर है, और f : U → C एक होलोमोर्फिक फलन है।
कॉची के अभिन्न सूत्र में कहा गया है कि एक डिस्क (गणित) के अंदर होलोमोर्फिक प्रत्येक फलन डिस्क की सीमा पर इसके मूल्यों द्वारा पूरी तरह से निर्धारित होता है।[14]इसके अलावा: मान लीजिए U ⊂ C एक सम्मिश्र प्रभावक्षेत्र है, f : U → C एक होलोमॉर्फिक फलन और बंद डिस्क है D = { z : |z − z0| ≤ 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) = f′ dz ∧ dz = 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 \ { z ∈ R : z ≤ 0 }. पर होलोमॉर्फिक हैC \ { z ∈ R : z ≤ 0 }. वर्गमूल फलन को इस प्रकार परिभाषित किया जा सकता है और इसलिए जहाँ भी लघुगणक log z है, होलोमोर्फिक है। पारस्परिक कार्य 1 / z C \ { 0 }. पर होलोमॉर्फिक हैC \ { 0 }. (पारस्परिक कार्य, और कोई अन्य तर्कसंगत कार्य, C पर मेरोमोर्फिक है।)
कॉची-रीमैन समीकरणों के परिणामस्वरूप, कोई भी वास्तविक-मूल्यवान होलोमोर्फिक फ़ंक्शन स्थिर होना चाहिए। इसलिए, निरपेक्ष मान | z |, तर्क arg (z), असली हिस्सा Re (z) और काल्पनिक भाग Im (z) होलोमॉर्फिक नहीं हैं। एक निरंतर कार्य का एक और विशिष्ट उदाहरण जो होलोमोर्फिक नहीं है, सम्मिश्र संयुग्म z̅. (सम्मिश्र संयुग्म एंटीहोलोमॉर्फिक है। )
विविध चर
होलोमोर्फिक फलन की परिभाषा विविध सम्मिश्र चरों को सीधे तरीके से सामान्यीकृत करती है। होने देना D पॉलीडिस्क होना और भी, एक खुले उपसमुच्चय को निरूपित करना Cn, और जाने f : D → C. कार्यक्रम f एक बिंदु पर विश्लेषणात्मक है p में D यदि कोई खुला नेइबोरहुड उपस्थित है p जिसमें f में एक अभिसरण शक्ति श्रेणी के बराबर है n सम्मिश्र चर।[16] परिभाषित करना f होलोमॉर्फिक होना यदि यह अपने प्रभावक्षेत्र में प्रत्येक बिंदु पर विश्लेषणात्मक है। ऑसगूड का लेम्मा दिखाता है (बहुभिन्नरूपी कॉची अभिन्न सूत्र का उपयोग करके) कि, एक सतत कार्य के लिए f, यह इसके बराबर है f अलग-अलग प्रत्येक चर में होलोमोर्फिक होना (जिसका अर्थ है कि यदि कोई हो n − 1 निर्देशांक निश्चित हैं, फिर का प्रतिबंध f शेष निर्देशांक का एक होलोमोर्फिक कार्य है)। बहुत गहरा हार्टोग्स प्रमेय साबित करता है कि निरंतरता धारणा अनावश्यक है: f होलोमोर्फिक है अगर और केवल अगर यह प्रत्येक चर में अलग-अलग होलोमोर्फिक है।
अधिक आम तौर पर, विविध सम्मिश्र चरों का एक कार्य जो अपने प्रभावक्षेत्र के प्रत्येक कॉम्पैक्ट समुच्चय पर चौकोर पूर्णांक होता है, विश्लेषणात्मक होता है और केवल अगर यह वितरण के अर्थ में कॉची-रीमैन समीकरणों को संतुष्ट करता है।
एक सम्मिश्र चर के कार्यों की तुलना में विविध सम्मिश्र चर के कार्य कुछ बुनियादी तरीकों से अधिक सम्मिश्र हैं। उदाहरण के लिए, घात श्रेणी का अभिसरण का क्षेत्र आवश्यक रूप से एक खुली गेंद नहीं है; ये क्षेत्र लघुगणकीय-उत्तल रेनहार्ड्ट प्रभावक्षेत्र हैं, जिसका सबसे सरल उदाहरण एक पॉलीडिस्क है। हालाँकि, वे कुछ मूलभूत प्रतिबंधों के साथ भी आते हैं। एकल सम्मिश्र चर के कार्यों के विपरीत, संभावित प्रभावक्षेत्र जिनमें होलोमोर्फिक फलन होते हैं जिन्हें बड़े प्रभावक्षेत्र तक नहीं बढ़ाया जा सकता है, वे अत्यधिक सीमित हैं। ऐसे समुच्चय को होलोमॉर्फी का प्रभावक्षेत्र कहा जाता है।
एक सम्मिश्र विभेदक रूप होलोमोर्फिक रूप|सम्मिश्र अंतर (p,0)-प्रपत्र α होलोमॉर्फिक है अगर और केवल अगर इसका एंटीहोलोमॉर्फिक कॉम्प्लेक्स डिफरेंशियल फॉर्म#डॉल्बियॉल्ट ऑपरेटर शून्य है, ∂̅α = 0.
कार्यात्मक विश्लेषण का विस्तार
होलोमॉर्फिक फलन की अवधारणा को कार्यात्मक विश्लेषण के अनंत-आयामी स्थानों तक बढ़ाया जा सकता है। उदाहरण के लिए, फ्रेचेट व्युत्पन्न | फ्रेचेट या गेटॉक्स व्युत्पन्न का उपयोग सम्मिश्र संख्याओं के क्षेत्र में बनच स्थान पर एक होलोमोर्फिक फलन की धारणा को परिभाषित करने के लिए किया जा सकता है।
यह भी देखें
- एंटीडेरिवेटिव (सम्मिश्र विश्लेषण)
- एंटीहोलोमॉर्फिक फलन
- बिहोलोमॉर्फी
- होलोमॉर्फिक पृथक्करण
- मेरोमॉर्फिक फलन
- चतुर्भुज प्रभावक्षेत्र
- हार्मोनिक मानचित्र
- हार्मोनिक morphisms
- विर्टिंगर डेरिवेटिव
संदर्भ
- ↑ "होलोमार्फिक फलन", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- ↑ Ahlfors, L., Complex Analysis, 3 ed. (McGraw-Hill, 1979).
- ↑ Henrici, P., Applied and Computational Complex Analysis (Wiley). [Three volumes: 1974, 1977, 1986.]
- ↑ Peter Ebenfelt, Norbert Hungerbühler, Joseph J. Kohn, Ngaiming Mok, Emil J. Straube (2011) Complex Analysis Springer Science & Business Media
- ↑ Markushevich, A.I.,Theory of Functions of a Complex Variable (Prentice-Hall, 1965). [Three volumes.]
- ↑ 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.
- ↑ 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.
- ↑ 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. - ↑ 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.
- ↑ 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.
- ↑ Markushevich, A.I.,Theory of Functions of a Complex Variable (Prentice-Hall, 1965). [Three volumes.]
- ↑ Evans, Lawrence C. (1998), Partial Differential Equations, American Mathematical Society.
- ↑ Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag
- ↑ 14.0 14.1 Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag
- ↑ Rudin, Walter (1987), Real and complex analysis (3rd ed.), New York: McGraw–Hill Book Co., ISBN 978-0-07-054234-1, MR 0924157
- ↑ Gunning and Rossi, Analytic Functions of Several Complex Variables, p. 2.
अग्रिम पठन
बाहरी संबंध
- "Analytic function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]