वैश्‍लेषिक फलन: Difference between revisions

From Vigyanwiki
(text)
(text)
Line 3: Line 3:
{{about|दोनों वास्तविक और जटिल विश्लेषणात्मक कार्य|विशेष रूप से जटिल विश्लेषण में विश्लेषणात्मक कार्य| होलोमार्फिक फलन|SQL में विश्लेषणात्मक कार्य| गवाक्ष  प्रकार्य}}
{{about|दोनों वास्तविक और जटिल विश्लेषणात्मक कार्य|विशेष रूप से जटिल विश्लेषण में विश्लेषणात्मक कार्य| होलोमार्फिक फलन|SQL में विश्लेषणात्मक कार्य| गवाक्ष  प्रकार्य}}
{{Complex analysis sidebar}}
{{Complex analysis sidebar}}
गणित में, विश्लेषणात्मक कार्य एक क्रिया (गणित) है जो स्थानीय रूप से [[अभिसरण श्रृंखला]] शक्ति द्वारा दिया जाता है। वास्तविक विश्लेषणात्मक कार्य और जटिल विश्लेषणात्मक कार्य दोनों का अस्तित्व हैं। प्रत्येक प्रकार के कार्य सहज कार्य होते हैं, लेकिन जटिल विश्लेषणात्मक कार्य उन गुणों को प्रदर्शित करते हैं जो सामान्यतः वास्तविक विश्लेषणात्मक कार्यों के लिए नहीं होते हैं। एक प्रकार्य विश्लेषणात्मक है यदिऔर केवल यदिइसकी [[टेलर श्रृंखला]] ''x<sub>0</sub> '' के बारे में है प्रत्येक x<sub>0</sub> के लिए कुछ प्रतिवैस[[पड़ोस (टोपोलॉजी)|(सांस्थिति)]] में कार्य करने के लिए एक प्रकार्य के अपने कार्यक्षेत्र में अभिसरण करता है।
गणित में, विश्लेषणात्मक कार्य एक क्रिया (गणित) है जो स्थानीय रूप से [[अभिसरण श्रृंखला]] शक्ति द्वारा दिया जाता है। वास्तविक विश्लेषणात्मक कार्य और जटिल विश्लेषणात्मक कार्य दोनों का अस्तित्व हैं। प्रत्येक प्रकार के कार्य सहज कार्य होते हैं, लेकिन जटिल विश्लेषणात्मक कार्य उन गुणों को प्रदर्शित करते हैं जो सामान्यतः वास्तविक विश्लेषणात्मक कार्यों के लिए नहीं होते हैं। प्रकार्य विश्लेषणात्मक है अगर और केवल अगर इसकी टेलर श्रृंखला x0 के बारे में किसी प्रतिवैस में प्रकार्य को अपने कार्यक्षेत्र में प्रत्येक x0 के लिए अभिसरण करती है।


== परिभाषाएँ ==
== परिभाषाएँ ==


औपचारिक रूप से, एक प्रकार्य <math>f</math> एक खुले समुच्चय पर वास्तविक विश्लेषणात्मक <math>D</math> वास्तविक रेखा में है यदिकिसी <math>x_0\in D</math> के लिए कोई लिख सकता है:
औपचारिक रूप से, एक प्रकार्य <math>f</math> खुले समुच्चय पर वास्तविक विश्लेषणात्मक <math>D</math> वास्तविक रेखा में है यदि किसी <math>x_0\in D</math> के लिए कोई लिख सकता है:
:<math>
:<math>
f(x) = \sum_{n=0}^\infty a_{n} \left( x-x_0 \right)^{n} = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots
f(x) = \sum_{n=0}^\infty a_{n} \left( x-x_0 \right)^{n} = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots
Line 13: Line 13:
जिसमें गुणांक <math>a_0, a_1, \dots</math> वास्तविक संख्याएँ हैं और [[श्रृंखला (गणित)]] अभिसरण श्रृंखला <math>x</math> के लिये <math>f(x)</math> <math>x_0</math> के प्रतिवैस में है।
जिसमें गुणांक <math>a_0, a_1, \dots</math> वास्तविक संख्याएँ हैं और [[श्रृंखला (गणित)]] अभिसरण श्रृंखला <math>x</math> के लिये <math>f(x)</math> <math>x_0</math> के प्रतिवैस में है।


वैकल्पिक रूप से, एक वास्तविक विश्लेषणात्मक कार्य एक सुचारू कार्य है जैसे कि टेलर श्रृंखला किसी भी बिंदु  <math>x_0</math> पर इसके कार्यक्षेत्र  
वैकल्पिक रूप से, वास्तविक विश्लेषणात्मक कार्य एक सुचारू कार्य है जैसे कि टेलर श्रृंखला किसी भी बिंदु  <math>x_0</math> पर इसके कार्यक्षेत्र  


:<math> T(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x-x_0)^{n}</math>
:<math> T(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x-x_0)^{n}</math>
<math>x</math> के लिये <math>f(x)</math> <math>x_0</math> के प्रतिवैस में [[बिंदुवार अभिसरण|बिंदुवार]] अभिसरित हो जाता है।{{efn|This implies [[uniform convergence]] as well in a (possibly smaller) neighborhood of <math>x_0</math>.}} किसी दिए गए समुच्चय पर सभी वास्तविक विश्लेषणात्मक कार्यों का समुच्चय <math>D</math> द्वारा प्रायः <math>\mathcal{C}^{\,\omega}(D)</math> दर्शाया जाता है।
<math>x</math> के लिये <math>f(x)</math> <math>x_0</math> के प्रतिवैस में [[बिंदुवार अभिसरण|बिंदुवार]] अभिसरित हो जाता है।{{efn|This implies [[uniform convergence]] as well in a (possibly smaller) neighborhood of <math>x_0</math>.}} किसी दिए गए समुच्चय पर सभी वास्तविक विश्लेषणात्मक कार्यों का समुच्चय <math>D</math> द्वारा प्रायः <math>\mathcal{C}^{\,\omega}(D)</math> दर्शाया जाता है।


एक प्रकार्य  <math>f</math> वास्तविक रेखा के कुछ उपसमुच्चय को एक बिंदु <math>x</math> पर वापर परिभाषित स्तविक विश्लेषणात्मक कहा जाता है यदिकिसी  <math>x</math> का प्रतिवैस <math>D</math> है जिस पर <math>f</math> वास्तविक विश्लेषणात्मक है।
एक प्रकार्य  <math>f</math> वास्तविक रेखा के कुछ उपसमुच्चय को बिंदु <math>x</math> पर वापर परिभाषित स्तविक विश्लेषणात्मक कहा जाता है यदि किसी <math>x</math> का प्रतिवैस <math>D</math> है जिस पर <math>f</math> वास्तविक विश्लेषणात्मक है।


एक जटिल विश्लेषणात्मक कार्य की परिभाषा, ऊपर की परिभाषाओं में, जटिल समतल के साथ वास्तविक और जटिल विमान के साथ वास्तविक रेखा को प्रतिस्थापित करके प्राप्त की जाती है। एक फलन जटिल विश्लेषणात्मक होता है यदि और केवल यदि यह [[पूर्णसममितिक क्रिया]] है अर्थात यह जटिल अवकलनीय है। इस कारण से पूर्णसममितिक और विश्लेषणात्मक शब्द प्रायः ऐसे कार्यों के लिए परस्पर विनिमेयता के अनुसार उपयोग किए जाते हैं।<ref>{{cite book |quote=कॉम्प्लेक्स वेरिएबल ''z'' का एक फंक्शन ''f'' बिंदु ''z''<sub>0</sub> पर ''एनालिटिक'' है, अगर इसका डेरिवेटिव न केवल ''z'' पर मौजूद है, बल्कि ''z''<sub>0</sub> के किसी पड़ोस में प्रत्येक बिंदु ''z'' पर। यह 'आर' क्षेत्र में विश्लेषणात्मक है यदि यह 'आर' में हर बिंदु पर विश्लेषणात्मक है। साहित्य में 'होलोमॉर्फिक' शब्द का प्रयोग विश्लेषणात्मकता को दर्शाता है|last=Churchill |last2=Brown |last3=Verhey |title=जटिल चर और अनुप्रयोग|publisher=McGraw-Hill |year=1948 |isbn=0-07-010855-2 |page=[https://archive.org/details/complexvariable00chur/page/46 46] |url-access=registration |url=https://archive.org/details/complexvariable00chur/page/46 }}</ref>
जटिल विश्लेषणात्मक कार्य की परिभाषा, ऊपर की परिभाषाओं में, जटिल समतल के साथ वास्तविक और जटिल विमान के साथ वास्तविक रेखा को प्रतिस्थापित करके प्राप्त की जाती है। एक फलन जटिल विश्लेषणात्मक होता है यदि और केवल यदि यह [[पूर्णसममितिक क्रिया]] है अर्थात यह जटिल अवकलनीय है। इस कारण से पूर्णसममितिक और विश्लेषणात्मक शब्द प्रायः ऐसे कार्यों के लिए परस्पर विनिमेयता के अनुसार उपयोग किए जाते हैं।<ref>{{cite book |quote=कॉम्प्लेक्स वेरिएबल ''z'' का एक फंक्शन ''f'' बिंदु ''z''<sub>0</sub> पर ''एनालिटिक'' है, अगर इसका डेरिवेटिव न केवल ''z'' पर मौजूद है, बल्कि ''z''<sub>0</sub> के किसी पड़ोस में प्रत्येक बिंदु ''z'' पर। यह 'आर' क्षेत्र में विश्लेषणात्मक है यदि यह 'आर' में हर बिंदु पर विश्लेषणात्मक है। साहित्य में 'होलोमॉर्फिक' शब्द का प्रयोग विश्लेषणात्मकता को दर्शाता है|last=Churchill |last2=Brown |last3=Verhey |title=जटिल चर और अनुप्रयोग|publisher=McGraw-Hill |year=1948 |isbn=0-07-010855-2 |page=[https://archive.org/details/complexvariable00chur/page/46 46] |url-access=registration |url=https://archive.org/details/complexvariable00chur/page/46 }}</ref>




Line 45: Line 45:
निम्नलिखित स्थितियाँ समतुल्य हैं:
निम्नलिखित स्थितियाँ समतुल्य हैं:


#<math>f</math> एक खुले समुच्चय पर वास्तविक विश्लेषणात्मक <math>D</math> है
#<math>f</math> खुले समुच्चय पर वास्तविक विश्लेषणात्मक <math>D</math> है
# यहाँ एक जटिल विश्लेषणात्मक विस्तार <math>f</math> है एक खुले समुच्चय <math>G \subset \mathbb{C}</math> के लिए  जिसमें <math>D</math> है
# यहाँ जटिल विश्लेषणात्मक विस्तार <math>f</math> है एक खुले समुच्चय <math>G \subset \mathbb{C}</math> के लिए  जिसमें <math>D</math> है
#<math>f</math> चिकना है और हर [[कॉम्पैक्ट सेट|सघनसमुच्चय]] <math>K \subset D</math> के लिए एक स्थिर <math>C</math> इस तरह से मौजूद है कि प्रत्येक <math>x \in K</math> के लिए और प्रत्येक गैर-नकारात्मक पूर्णांक <math>k</math> निम्नलिखित सीमा रखती है{{sfn |Krantz |Parks |2002|p=15}} <math display="block"> \left| \frac{d^k f}{dx^k}(x) \right| \leq C^{k+1} k!</math>
#<math>f</math> चिकना है और हर [[कॉम्पैक्ट सेट|सघनसमुच्चय]] <math>K \subset D</math> के लिए एक स्थिर <math>C</math> इस तरह से मौजूद है कि प्रत्येक <math>x \in K</math> के लिए और प्रत्येक गैर-नकारात्मक पूर्णांक <math>k</math> निम्नलिखित सीमा रखती है{{sfn |Krantz |Parks |2002|p=15}} <math display="block"> \left| \frac{d^k f}{dx^k}(x) \right| \leq C^{k+1} k!</math>
जटिल विश्लेषणात्मक कार्य पूर्णसममितिक क्रिया के बिल्कुल समकक्ष हैं, और इस प्रकार अधिक आसानी से चरित्र-चित्रण किया गया है।
जटिल विश्लेषणात्मक कार्य पूर्णसममितिक क्रिया के बिल्कुल समकक्ष हैं, और इस प्रकार अधिक आसानी से चरित्र-चित्रण किया गया है।
Line 52: Line 52:
कई चर (नीचे देखें) के साथ एक विश्लेषणात्मक क्रिया के प्रकर्ण में, वास्तविक विश्लेषणात्मकता को फूरियर-ब्रोस-इगोलनिट्ज़र रूपांतरण का उपयोग करके चित्रित किया जा सकता है।
कई चर (नीचे देखें) के साथ एक विश्लेषणात्मक क्रिया के प्रकर्ण में, वास्तविक विश्लेषणात्मकता को फूरियर-ब्रोस-इगोलनिट्ज़र रूपांतरण का उपयोग करके चित्रित किया जा सकता है।


बहुभिन्नरूपी प्रकर्ण में, वास्तविक विश्लेषणात्मक कार्य तीसरे लक्षण वर्णन के प्रत्यक्ष सामान्यीकरण को संतुष्ट करते हैं।<ref>{{Cite journal|last=Komatsu|first=Hikosaburo|date=1960|title=वास्तविक विश्लेषणात्मक कार्यों का एक लक्षण वर्णन|url=https://projecteuclid.org/euclid.pja/1195524081|journal=Proceedings of the Japan Academy|language=EN|volume=36|issue=3|pages=90–93|doi=10.3792/pja/1195524081|issn=0021-4280|doi-access=free}}</ref> मान लीजिए  <math>U \subset \R^n</math> एक खुला समुच्चय है, और मान लीजिए <math>f: U \to \R</math>.
बहुभिन्नरूपी प्रकर्ण में, वास्तविक विश्लेषणात्मक कार्य तीसरे लक्षण वर्णन के प्रत्यक्ष सामान्यीकरण को संतुष्ट करते हैं।<ref>{{Cite journal|last=Komatsu|first=Hikosaburo|date=1960|title=वास्तविक विश्लेषणात्मक कार्यों का एक लक्षण वर्णन|url=https://projecteuclid.org/euclid.pja/1195524081|journal=Proceedings of the Japan Academy|language=EN|volume=36|issue=3|pages=90–93|doi=10.3792/pja/1195524081|issn=0021-4280|doi-access=free}}</ref> मान लीजिए  <math>U \subset \R^n</math> खुला समुच्चय है, और मान लीजिए <math>f: U \to \R</math>.


फिर <math>f</math> वास्तविक विश्लेषणात्मक <math>U</math> है यदि और केवल यदि <math>f \in C^\infty(U)</math> और हर सघन <math>K \subseteq U</math> के लिए एक स्थिर <math>C</math> मौजूद है, इस तरह कि प्रत्येक बहु-सूचकांक <math>\alpha \in \Z_{\geq 0}^n</math> के लिए निम्नलिखित सीमा रखती है<ref>{{Cite web|title=गेव्रे वर्ग - गणित का विश्वकोश|url=https://encyclopediaofmath.org/wiki/Gevrey_class#References|access-date=2020-08-30|website=encyclopediaofmath.org}}</ref>
फिर <math>f</math> वास्तविक विश्लेषणात्मक <math>U</math> है यदि और केवल यदि <math>f \in C^\infty(U)</math> और हर सघन <math>K \subseteq U</math> के लिए एक स्थिर <math>C</math> मौजूद है, इस तरह कि प्रत्येक बहु-सूचकांक <math>\alpha \in \Z_{\geq 0}^n</math> के लिए निम्नलिखित सीमा रखती है<ref>{{Cite web|title=गेव्रे वर्ग - गणित का विश्वकोश|url=https://encyclopediaofmath.org/wiki/Gevrey_class#References|access-date=2020-08-30|website=encyclopediaofmath.org}}</ref>
Line 60: Line 60:
== विश्लेषणात्मक कार्यों के गुण ==
== विश्लेषणात्मक कार्यों के गुण ==
* विश्लेषणात्मक कार्यों के योग, उत्पाद और कार्य संरचना विश्लेषणात्मक हैं।
* विश्लेषणात्मक कार्यों के योग, उत्पाद और कार्य संरचना विश्लेषणात्मक हैं।
* एक विश्लेषणात्मक क्रिया का गुणात्मक व्युत्क्रम जो कहीं भी शून्य नहीं है, विश्लेषणात्मक है, जैसा कि एक व्युत्क्रमणीय विश्लेषणात्मक क्रिया का व्युत्क्रम है जिसका व्युत्पन्न कहीं भी शून्य नहीं है। (लैग्रेंज व्युत्क्रम प्रमेय भी देखें।)
* विश्लेषणात्मक क्रिया का गुणात्मक व्युत्क्रम जो कहीं भी शून्य नहीं है, विश्लेषणात्मक है, जैसा कि एक व्युत्क्रमणीय विश्लेषणात्मक क्रिया का व्युत्क्रम है जिसका व्युत्पन्न कहीं भी शून्य नहीं है। (लैग्रेंज व्युत्क्रम प्रमेय भी देखें।)
* कोई भी विश्लेषणात्मक कार्य सुचारू कार्य है, जो कि असीम रूप से भिन्न है। वास्तविक कार्यों के लिए विलोम सत्य नहीं है; वस्तुत:, एक निश्चित अर्थ में, वास्तविक विश्लेषणात्मक कार्य सभी वास्तविक असीम रूप से अलग-अलग कार्यों की तुलना में विरल हैं। सम्मिश्र संख्याओं के लिए, विपरीत पकड़ में आता है, और वस्तुत: खुले समुच्चय पर एक बार अलग-अलग होने वाला कोई भी कार्य उस समुच्चय पर विश्लेषणात्मक होता है (नीचे विश्लेषणात्मकता और भिन्नता देखें)।
* कोई भी विश्लेषणात्मक कार्य सुचारू कार्य है, जो कि असीम रूप से भिन्न है। वास्तविक कार्यों के लिए विलोम सत्य नहीं है; वस्तुत:, एक निश्चित अर्थ में, वास्तविक विश्लेषणात्मक कार्य सभी वास्तविक असीम रूप से अलग-अलग कार्यों की तुलना में विरल हैं। सम्मिश्र संख्याओं के लिए, विपरीत पकड़ में आता है, और वस्तुत: खुले समुच्चय पर एक बार अलग-अलग होने वाला कोई भी कार्य उस समुच्चय पर विश्लेषणात्मक होता है (नीचे विश्लेषणात्मकता और भिन्नता देखें)।
* किसी भी खुले समुच्चय के लिए <math>\Omega \subseteq \mathbb{C}</math>, सभी विश्लेषणात्मक कार्यों का समुच्चय A (Ω)। <math>u\ :\ \Omega \to \mathbb{C}</math>  सघनसमुच्चय पर एकसमान अभिसरण के संबंध में एक फ्रेचेट स्थान है। तथ्य यह है कि विश्लेषणात्मक कार्यों के सघनसमुच्चय पर समान सीमाएं विश्लेषणात्मक हैं, मोरेरा के प्रमेय का एक आसान परिणाम है। समुच्चय <math>\scriptstyle A_\infty(\Omega)</math> [[उच्चतम मानक]] के साथ सभी [[परिबद्ध समारोह|परिबद्ध प्रकार्य]]  विश्लेषणात्मकल फंक्शन्स में से एक [[बनच स्थान]] है।
* किसी भी खुले समुच्चय के लिए <math>\Omega \subseteq \mathbb{C}</math>, सभी विश्लेषणात्मक कार्यों का समुच्चय A (Ω)। <math>u\ :\ \Omega \to \mathbb{C}</math>  सघनसमुच्चय पर एक समान अभिसरण के संबंध में एक फ्रेचेट स्थान है। तथ्य यह है कि विश्लेषणात्मक कार्यों के सघनसमुच्चय पर समान सीमाएं विश्लेषणात्मक हैं, मोरेरा के प्रमेय का एक आसान परिणाम है। समुच्चय <math>\scriptstyle A_\infty(\Omega)</math> [[उच्चतम मानक]] के साथ सभी [[परिबद्ध समारोह|परिबद्ध प्रकार्य]]  विश्लेषणात्मकल फंक्शन्स में से एक [[बनच स्थान]] है।


एक बहुपद बहुत अधिक बिंदुओं पर शून्य नहीं हो सकता जब तक कि यह शून्य बहुपद न हो (अधिक सटीक रूप से, शून्यों की संख्या बहुपद की अधिक से अधिक घात होती है)। विश्लेषणात्मक कार्यों के लिए एक समान लेकिन कमजोर कथन है। यदि किसी विश्लेषणात्मक फलन के शून्यों के समुच्चय ƒ का किसी फलन के अपने क्षेत्र के अंदर संचयन बिंदु है, तो ƒ [[संचय बिंदु]] वाले जुड़े हुए स्थान पर हर जगह शून्य है। दूसरे शब्दों में, यदि (r<sub>n</sub>) विशिष्ट संख्याओं का एक [[क्रम]] है जैसे कि ƒ(r<sub>''n''</sub>) = सभी n के लिए 0 और D के कार्यक्षेत्र में एक बिंदु r के अनुक्रम की यह अनुक्रम सीमा, फिर ƒ D युक्त r के जुड़े घटक पर समान रूप से शून्य है। इसे [[पहचान प्रमेय]] के रूप में जाना जाता है।
एक बहुपद बहुत अधिक बिंदुओं पर शून्य नहीं हो सकता जब तक कि यह शून्य बहुपद न हो (अधिक सटीक रूप से, शून्यों की संख्या बहुपद की अधिक से अधिक घात होती है)। विश्लेषणात्मक कार्यों के लिए एक समान लेकिन कमजोर कथन है। यदि किसी विश्लेषणात्मक फलन के शून्यों के समुच्चय ƒ का किसी फलन के अपने क्षेत्र के अंदर संचयन बिंदु है, तो ƒ [[संचय बिंदु]] वाले जुड़े हुए स्थान पर हर जगह शून्य है। दूसरे शब्दों में, यदि (r<sub>n</sub>) विशिष्ट संख्याओं का एक [[क्रम]] है जैसे कि ƒ(r<sub>''n''</sub>) = सभी n के लिए 0 और D के कार्यक्षेत्र में एक बिंदु r के अनुक्रम की यह अनुक्रम सीमा, फिर ƒ D युक्त r के जुड़े घटक पर समान रूप से शून्य है। इसे [[पहचान प्रमेय]] के रूप में जाना जाता है।
Line 73: Line 73:
जैसा कि ऊपर उल्लेख किया गया है, कोई भी विश्लेषणात्मक कार्य (वास्तविक या जटिल) असीम रूप से भिन्न होता है (जिसे शिष्ट, या <math>\mathcal{C}^{\infty}</math>). (ध्यान दें कि यह भिन्नता वास्तविक चर के अर्थ में है; नीचे जटिल व्युत्पादित की तुलना करें।) ऐसे सहज वास्तविक कार्य मौजूद हैं जो विश्लेषणात्मक नहीं हैं: गैर-विश्लेषणात्मक सुचारू कार्य देखें। वस्तुत: ऐसे कई कार्य हैं।
जैसा कि ऊपर उल्लेख किया गया है, कोई भी विश्लेषणात्मक कार्य (वास्तविक या जटिल) असीम रूप से भिन्न होता है (जिसे शिष्ट, या <math>\mathcal{C}^{\infty}</math>). (ध्यान दें कि यह भिन्नता वास्तविक चर के अर्थ में है; नीचे जटिल व्युत्पादित की तुलना करें।) ऐसे सहज वास्तविक कार्य मौजूद हैं जो विश्लेषणात्मक नहीं हैं: गैर-विश्लेषणात्मक सुचारू कार्य देखें। वस्तुत: ऐसे कई कार्य हैं।


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


== वास्तविक बनाम जटिल विश्लेषणात्मक कार्य ==
== वास्तविक बनाम जटिल विश्लेषणात्मक कार्य ==

Revision as of 19:16, 2 December 2022

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

परिभाषाएँ

औपचारिक रूप से, एक प्रकार्य खुले समुच्चय पर वास्तविक विश्लेषणात्मक वास्तविक रेखा में है यदि किसी के लिए कोई लिख सकता है:

जिसमें गुणांक वास्तविक संख्याएँ हैं और श्रृंखला (गणित) अभिसरण श्रृंखला के लिये के प्रतिवैस में है।

वैकल्पिक रूप से, वास्तविक विश्लेषणात्मक कार्य एक सुचारू कार्य है जैसे कि टेलर श्रृंखला किसी भी बिंदु पर इसके कार्यक्षेत्र

के लिये के प्रतिवैस में बिंदुवार अभिसरित हो जाता है।[lower-alpha 1] किसी दिए गए समुच्चय पर सभी वास्तविक विश्लेषणात्मक कार्यों का समुच्चय द्वारा प्रायः दर्शाया जाता है।

एक प्रकार्य वास्तविक रेखा के कुछ उपसमुच्चय को बिंदु पर वापर परिभाषित स्तविक विश्लेषणात्मक कहा जाता है यदि किसी का प्रतिवैस है जिस पर वास्तविक विश्लेषणात्मक है।

जटिल विश्लेषणात्मक कार्य की परिभाषा, ऊपर की परिभाषाओं में, जटिल समतल के साथ वास्तविक और जटिल विमान के साथ वास्तविक रेखा को प्रतिस्थापित करके प्राप्त की जाती है। एक फलन जटिल विश्लेषणात्मक होता है यदि और केवल यदि यह पूर्णसममितिक क्रिया है अर्थात यह जटिल अवकलनीय है। इस कारण से पूर्णसममितिक और विश्लेषणात्मक शब्द प्रायः ऐसे कार्यों के लिए परस्पर विनिमेयता के अनुसार उपयोग किए जाते हैं।[1]


उदाहरण

विश्लेषणात्मक कार्यों के विशिष्ट उदाहरण हैं

  • सभी प्राथमिक कार्य:
    • सभी बहुपद: यदि किसी बहुपद की घात n है, तो उसके टेलर श्रृंखला विस्तार में n से बड़ी घात की कोई भी शर्तें तुरंत 0 से लुप्‍त हो जानी चाहिए, और इसलिए यह श्रृंखला तुच्छ रूप से अभिसरण होगी। इसके अलावा, प्रत्येक बहुपद की अपनी मैकलॉरिन श्रृंखला होती है।
    • घातीय कार्य विश्लेषणात्मक है। इस क्रिया के लिए कोई भी टेलर श्रृंखला न केवल x के लिए पर्याप्त रूप से x0 के करीब अभिसरण करती है (जैसा कि परिभाषा में है) लेकिन x (वास्तविक या जटिल) के सभी मानों के लिए अभिसरण करती है।
    • त्रिकोणमितीय कार्य, लघुगणक और घातांक उनके कार्यक्षेत्र के किसी भी खुले समुच्चय पर विश्लेषणात्मक हैं।
  • सबसे विशेष कार्य (कम से कम जटिल विमान की कुछ सीमा में):
    • अतिज्यामितीय कार्य
    • बेसेल कार्य
    • गामा कार्य

विश्लेषणात्मक नहीं होने वाले कार्यों के विशिष्ट उदाहरण हैं

  • जब वास्तविक संख्याओं या जटिल संख्याओं के समुच्चय पर परिभाषित किया जाता है तो निरपेक्ष गामा प्रकार्य हर जगह विश्लेषणात्मक नहीं होता है क्योंकि यह 0 पर अलग-अलग नहीं होता है। टुकड़ों के अनुसार कार्य (विभिन्न क्षेत्रों में विभिन्न सूत्रों द्वारा दिए गए कार्य) जहां टुकड़े मिलते हैं सामान्यतः विश्लेषणात्मक नहीं होते हैं।
  • जटिल संयुग्म कार्य z → z* जटिल विश्लेषणात्मक नहीं है, हालांकि वास्तविक रेखा के लिए इसका प्रतिबंध पहचान कार्य है और इसलिए वास्तविक विश्लेषणात्मक है, और यह एक वास्तविक विश्लेषणात्मक कार्य से है।
  • अन्य गैर-विश्लेषणात्मक सुचारू कार्य, और विशेष रूप से कोई भी सुचारू कार्य सघन आश्रय के साथ, यानी , पर विश्लेषणात्मक नहीं हो सकता।[2]


वैकल्पिक लक्षण वर्णन

निम्नलिखित स्थितियाँ समतुल्य हैं:

  1. खुले समुच्चय पर वास्तविक विश्लेषणात्मक है
  2. यहाँ जटिल विश्लेषणात्मक विस्तार है एक खुले समुच्चय के लिए जिसमें है
  3. चिकना है और हर सघनसमुच्चय के लिए एक स्थिर इस तरह से मौजूद है कि प्रत्येक के लिए और प्रत्येक गैर-नकारात्मक पूर्णांक निम्नलिखित सीमा रखती है[3]

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

कई चर (नीचे देखें) के साथ एक विश्लेषणात्मक क्रिया के प्रकर्ण में, वास्तविक विश्लेषणात्मकता को फूरियर-ब्रोस-इगोलनिट्ज़र रूपांतरण का उपयोग करके चित्रित किया जा सकता है।

बहुभिन्नरूपी प्रकर्ण में, वास्तविक विश्लेषणात्मक कार्य तीसरे लक्षण वर्णन के प्रत्यक्ष सामान्यीकरण को संतुष्ट करते हैं।[4] मान लीजिए खुला समुच्चय है, और मान लीजिए .

फिर वास्तविक विश्लेषणात्मक है यदि और केवल यदि और हर सघन के लिए एक स्थिर मौजूद है, इस तरह कि प्रत्येक बहु-सूचकांक के लिए निम्नलिखित सीमा रखती है[5]


विश्लेषणात्मक कार्यों के गुण

  • विश्लेषणात्मक कार्यों के योग, उत्पाद और कार्य संरचना विश्लेषणात्मक हैं।
  • विश्लेषणात्मक क्रिया का गुणात्मक व्युत्क्रम जो कहीं भी शून्य नहीं है, विश्लेषणात्मक है, जैसा कि एक व्युत्क्रमणीय विश्लेषणात्मक क्रिया का व्युत्क्रम है जिसका व्युत्पन्न कहीं भी शून्य नहीं है। (लैग्रेंज व्युत्क्रम प्रमेय भी देखें।)
  • कोई भी विश्लेषणात्मक कार्य सुचारू कार्य है, जो कि असीम रूप से भिन्न है। वास्तविक कार्यों के लिए विलोम सत्य नहीं है; वस्तुत:, एक निश्चित अर्थ में, वास्तविक विश्लेषणात्मक कार्य सभी वास्तविक असीम रूप से अलग-अलग कार्यों की तुलना में विरल हैं। सम्मिश्र संख्याओं के लिए, विपरीत पकड़ में आता है, और वस्तुत: खुले समुच्चय पर एक बार अलग-अलग होने वाला कोई भी कार्य उस समुच्चय पर विश्लेषणात्मक होता है (नीचे विश्लेषणात्मकता और भिन्नता देखें)।
  • किसी भी खुले समुच्चय के लिए , सभी विश्लेषणात्मक कार्यों का समुच्चय A (Ω)। सघनसमुच्चय पर एक समान अभिसरण के संबंध में एक फ्रेचेट स्थान है। तथ्य यह है कि विश्लेषणात्मक कार्यों के सघनसमुच्चय पर समान सीमाएं विश्लेषणात्मक हैं, मोरेरा के प्रमेय का एक आसान परिणाम है। समुच्चय उच्चतम मानक के साथ सभी परिबद्ध प्रकार्य विश्लेषणात्मकल फंक्शन्स में से एक बनच स्थान है।

एक बहुपद बहुत अधिक बिंदुओं पर शून्य नहीं हो सकता जब तक कि यह शून्य बहुपद न हो (अधिक सटीक रूप से, शून्यों की संख्या बहुपद की अधिक से अधिक घात होती है)। विश्लेषणात्मक कार्यों के लिए एक समान लेकिन कमजोर कथन है। यदि किसी विश्लेषणात्मक फलन के शून्यों के समुच्चय ƒ का किसी फलन के अपने क्षेत्र के अंदर संचयन बिंदु है, तो ƒ संचय बिंदु वाले जुड़े हुए स्थान पर हर जगह शून्य है। दूसरे शब्दों में, यदि (rn) विशिष्ट संख्याओं का एक क्रम है जैसे कि ƒ(rn) = सभी n के लिए 0 और D के कार्यक्षेत्र में एक बिंदु r के अनुक्रम की यह अनुक्रम सीमा, फिर ƒ D युक्त r के जुड़े घटक पर समान रूप से शून्य है। इसे पहचान प्रमेय के रूप में जाना जाता है।

साथ ही, यदि एक बिंदु पर एक विश्लेषणात्मक क्रिया के सभी व्युत्पादित शून्य हैं, तो संबंधित घटक पर क्रिया स्थिर है।

इन कथनों का अर्थ है कि उस अवधि में विश्लेषणात्मक कार्यों में बहुपदों की तुलना में अधिक स्वतंत्रता (भौतिकी और रसायन विज्ञान) की घात होती है, वे अभी भी काफी कठोर हैं।

विश्लेषणात्मकता और भिन्नता

जैसा कि ऊपर उल्लेख किया गया है, कोई भी विश्लेषणात्मक कार्य (वास्तविक या जटिल) असीम रूप से भिन्न होता है (जिसे शिष्ट, या ). (ध्यान दें कि यह भिन्नता वास्तविक चर के अर्थ में है; नीचे जटिल व्युत्पादित की तुलना करें।) ऐसे सहज वास्तविक कार्य मौजूद हैं जो विश्लेषणात्मक नहीं हैं: गैर-विश्लेषणात्मक सुचारू कार्य देखें। वस्तुत: ऐसे कई कार्य हैं।

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

वास्तविक बनाम जटिल विश्लेषणात्मक कार्य

वास्तविक और जटिल विश्लेषणात्मक कार्यों में महत्वपूर्ण अंतर हैं (कोई यह समीक्षा कर सकता है कि भिन्नता के साथ उनके अलग-अलग संबंधों से भी)। जटिल कार्यों की विश्लेषणात्मकता एक अधिक प्रतिबंधात्मक संपत्ति है, क्योंकि इसमें अधिक प्रतिबंधात्मक आवश्यक शर्तें हैं और जटिल विश्लेषणात्मक कार्यों में उनके वास्तविक-रेखा समकक्षों की तुलना में अधिक संरचना है।[6] लिउविले के प्रमेय (जटिल विश्लेषण) के अनुसार, पूरे जटिल विमान पर परिभाषित कोई भी बाध्य जटिल विश्लेषणात्मक कार्य स्थिर है। वास्तविक विश्लेषणात्मक कार्यों के लिए संबंधित कथन, वास्तविक रेखा द्वारा प्रतिस्थापित जटिल विमान के साथ, स्पष्ट रूप से गलत है; यह ऐसे दर्शाया गया है:

इसके अलावा, यदि एक बिंदु x0 के चारों ओर एक खुली गेंद (गणित) में एक जटिल विश्लेषणात्मक कार्य परिभाषित किया गया है, x0 पर इसकी शक्ति श्रृंखला विस्तार पूरी खुली गेंद में अभिसारी है ( पूर्णसममितिक कार्यों की विश्लेषणात्मकता)। वास्तविक विश्लेषणात्मक कार्यों के लिए यह कथन (जटिल विमान की एक खुली चक्रिका (गणित) के बजाय वास्तविक रेखा का एक खुला अंतराल (गणित) का अर्थ है) सामान्य रूप से सही नहीं है; उपरोक्त उदाहरण का कार्य के लिए एक उदाहरण देता है x0= 0 और त्रिज्या की एक गेंद 1 से अधिक है, क्योंकि शक्ति श्रृंखला 1 − x2 + x4x6... |x| ≥ 1 के लिए विचलन करता है।

वास्तविक रेखा पर कुछ खुले समुच्चय पर कोई भी वास्तविक विश्लेषणात्मक कार्य जटिल विमान के कुछ खुले समुच्चय पर एक जटिल विश्लेषणात्मक कार्य के लिए बढ़ाया जा सकता है। हालाँकि, संपूर्ण वास्तविक रेखा पर परिभाषित प्रत्येक वास्तविक विश्लेषणात्मक कार्य को पूरे जटिल तल पर परिभाषित एक जटिल कार्य तक नहीं बढ़ाया जा सकता है। उपरोक्त अनुच्छेद में परिभाषित क्रिया ƒ(x) एक प्रतिउदाहरण है, क्योंकि यह x=±i के लिए परिभाषित नहीं है। यह बताता है कि क्यों ƒ(x) की टेलर श्रृंखला |x| > 1 के लिए विचलन करती है, अर्थात अभिसरण की त्रिज्या 1 है क्योंकि जटिल कार्य में मूल्यांकन बिंदु 0 से दूरी 1 पर एक ध्रुव है और मूल्यांकन बिंदु के चारों ओर त्रिज्या 1 की खुली चकती के भीतर कोई और ध्रुव नहीं है।

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

कोई उन चरों में शक्ति श्रृंखला के माध्यम से कई चरों में विश्लेषणात्मक कार्यों को परिभाषित कर सकता है (शक्ति श्रृंखला देखें)। कई चर के विश्लेषणात्मक कार्यों में कुछ समान गुण होते हैं जो एक चर के विश्लेषणात्मक कार्यों के रूप में होते हैं। हालाँकि, विशेष रूप से जटिल विश्लेषणात्मक कार्यों के लिए, नई और दिलचस्प घटनाएँ 2 या अधिक जटिल आयामों में दिखाई देती हैं:

  • एक से अधिक चर में जटिल विश्लेषणात्मक कार्यों के शून्य समुच्चय कभी भी असतत स्थान नहीं होते हैं। इसे हार्टोग्स के विस्तार प्रमेय द्वारा सिद्ध किया जा सकता है।
  • एकल-मूल्यवान कार्यों के लिए समरूपता के कार्यक्षेत्र में मनमाने (जुड़े) खुले समुच्चय होते हैं। हालाँकि, कई जटिल चरों में, केवल कुछ जुड़े हुए खुले समुच्चय ही समरूपता का कार्यक्षेत्र के लक्षण वर्णन से छद्म उत्तलता की धारणा बनती है।

यह भी देखें

टिप्पणियाँ

  1. This implies uniform convergence as well in a (possibly smaller) neighborhood of .
  1. Churchill; Brown; Verhey (1948). जटिल चर और अनुप्रयोग. McGraw-Hill. p. 46. ISBN 0-07-010855-2. कॉम्प्लेक्स वेरिएबल z का एक फंक्शन f बिंदु z0 पर एनालिटिक है, अगर इसका डेरिवेटिव न केवल z पर मौजूद है, बल्कि z0 के किसी पड़ोस में प्रत्येक बिंदु z पर। यह 'आर' क्षेत्र में विश्लेषणात्मक है यदि यह 'आर' में हर बिंदु पर विश्लेषणात्मक है। साहित्य में 'होलोमॉर्फिक' शब्द का प्रयोग विश्लेषणात्मकता को दर्शाता है
  2. Strichartz, Robert S. (1994). वितरण सिद्धांत और फूरियर रूपांतरण के लिए एक गाइड. Boca Raton: CRC Press. ISBN 0-8493-8273-4. OCLC 28890674.
  3. Krantz & Parks 2002, p. 15.
  4. Komatsu, Hikosaburo (1960). "वास्तविक विश्लेषणात्मक कार्यों का एक लक्षण वर्णन". Proceedings of the Japan Academy (in English). 36 (3): 90–93. doi:10.3792/pja/1195524081. ISSN 0021-4280.
  5. "गेव्रे वर्ग - गणित का विश्वकोश". encyclopediaofmath.org. Retrieved 2020-08-30.
  6. Krantz & Parks 2002.


संदर्भ


इस पेज में लापता आंतरिक लिंक की सूची

  • बिजली की श्रृंखला
  • अंक शास्त्र
  • प्रकार्य (गणित)
  • चिकना प्रकार्य
  • किसी क्रिया का कार्यक्षेत्र
  • खुला समुच्चय
  • वास्तविक रेखा
  • प्राथमिक प्रकार्य
  • घातांक प्रकार्य
  • त्रिकोणमितीय प्रकार्य
  • निरपेक्ष मूल्य
  • हाइपरज्यामितीय प्रकार्य
  • बेसेल प्रकार्य
  • जटिल सन्युग्म
  • खंड अनुसार
  • लोगारित्म
  • विशेष प्रकार्य
  • गुणात्मक प्रतिलोम
  • यौगिक
  • लैग्रेंज उलटा प्रमेय
  • प्रकार्य रचना
  • जुड़ा हुआ स्थान
  • अनुक्रम की सीमा
  • स्वतंत्रता की घात (भौतिकी और रसायन विज्ञान)
  • सबूत है कि पूर्णसममितिक क्रिया विश्लेषणात्मक हैं

बाहरी संबंध