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

From Vigyanwiki
(text)
Line 1: Line 1:
{{Short description|Type of function in mathematics}}
{{Short description|Type of function in mathematics}}
{{Distinguish|analytic expression|analytic signal}}
{{Distinguish|विश्लेषणात्मक अभिव्यक्ति|विश्लेषणात्मक संकेत}}
{{about|both real and complex analytic functions|analytic functions in complex analysis specifically|holomorphic function|analytic functions in SQL|Window function (SQL)}}
{{about|दोनों वास्तविक और जटिल विश्लेषणात्मक कार्य|विशेष रूप से जटिल विश्लेषण में विश्लेषणात्मक कार्य| होलोमार्फिक फलन|SQL में विश्लेषणात्मक कार्य| गवाक्ष  प्रकार्य}}
{{Complex analysis sidebar}}
{{Complex analysis sidebar}}
गणित में, एक विश्लेषणात्मक कार्य एक फ़ंक्शन (गणित) है जो स्थानीय रूप से एक [[अभिसरण श्रृंखला]] शक्ति श्रृंखला द्वारा दिया जाता है। वास्तविक विश्लेषणात्मक कार्य और जटिल विश्लेषणात्मक कार्य दोनों मौजूद हैं। प्रत्येक प्रकार के कार्य सहज कार्य होते हैं, लेकिन जटिल विश्लेषणात्मक कार्य उन गुणों को प्रदर्शित करते हैं जो आम तौर पर वास्तविक विश्लेषणात्मक कार्यों के लिए नहीं होते हैं। एक समारोह विश्लेषणात्मक है अगर और केवल अगर इसकी [[टेलर श्रृंखला]] '' x '' के बारे में है<sub>0</sub> प्रत्येक एक्स के लिए कुछ [[पड़ोस (टोपोलॉजी)]] में कार्य करने के लिए अभिसरण करता है<sub>0</sub> एक समारोह के अपने डोमेन में।
गणित में, विश्लेषणात्मक कार्य एक क्रिया (गणित) है जो स्थानीय रूप से [[अभिसरण श्रृंखला]] शक्ति द्वारा दिया जाता है। वास्तविक विश्लेषणात्मक कार्य और जटिल विश्लेषणात्मक कार्य दोनों का अस्तित्व हैं। प्रत्येक प्रकार के कार्य सहज कार्य होते हैं, लेकिन जटिल विश्लेषणात्मक कार्य उन गुणों को प्रदर्शित करते हैं जो सामान्यतः वास्तविक विश्लेषणात्मक कार्यों के लिए नहीं होते हैं। एक प्रकार्य विश्लेषणात्मक है अगर और केवल अगर इसकी [[टेलर श्रृंखला]] ''x<sub>0</sub> '' के बारे में है प्रत्येक x<sub>0</sub> के लिए कुछ प्रतिवैस[[पड़ोस (टोपोलॉजी)|(सांस्थिति)]] में कार्य करने के लिए एक प्रकार्य के अपने कार्यक्षेत्र में अभिसरण करता है।


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


औपचारिक रूप से, एक समारोह <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
</math>
</math>
जिसमें गुणांक <math>a_0, a_1, \dots</math> वास्तविक संख्याएँ हैं और [[श्रृंखला (गणित)]] अभिसरण श्रृंखला है <math>f(x)</math> के लिये <math>x</math> के पड़ोस में <math>x_0</math>.
जिसमें गुणांक <math>a_0, a_1, \dots</math> वास्तविक संख्याएँ हैं और [[श्रृंखला (गणित)]] अभिसरण श्रृंखला है <math>f(x)</math> के लिये <math>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>f(x)</math> के लिये <math>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(x)</math> के लिये <math>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>D</math> का <math>x</math> जिस पर <math>f</math> वास्तविक विश्लेषणात्मक है।
एक प्रकार्य  <math>f</math> वास्तविक रेखा के कुछ उपसमुच्चय पर परिभाषित को एक बिंदु पर वास्तविक विश्लेषणात्मक कहा जाता है <math>x</math> अगर कोईप्रतिवैसहै <math>D</math> का <math>x</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 27: Line 27:
* सभी प्राथमिक कार्य:
* सभी प्राथमिक कार्य:
** सभी [[बहुपद]]: यदि किसी बहुपद की डिग्री n है, तो उसके टेलर श्रृंखला विस्तार में n से बड़ी डिग्री की कोई भी शर्तें तुरंत 0 से गायब हो जानी चाहिए, और इसलिए यह श्रृंखला तुच्छ रूप से अभिसरण होगी। इसके अलावा, प्रत्येक बहुपद की अपनी [[मैकलॉरिन श्रृंखला]] होती है।
** सभी [[बहुपद]]: यदि किसी बहुपद की डिग्री n है, तो उसके टेलर श्रृंखला विस्तार में n से बड़ी डिग्री की कोई भी शर्तें तुरंत 0 से गायब हो जानी चाहिए, और इसलिए यह श्रृंखला तुच्छ रूप से अभिसरण होगी। इसके अलावा, प्रत्येक बहुपद की अपनी [[मैकलॉरिन श्रृंखला]] होती है।
** घातीय कार्य विश्लेषणात्मक है। इस फ़ंक्शन के लिए कोई भी टेलर श्रृंखला न केवल x के लिए पर्याप्त रूप से x के करीब अभिसरण करती है<sub>0</sub> (जैसा कि परिभाषा में है) लेकिन x (वास्तविक या जटिल) के सभी मानों के लिए।
** घातीय कार्य विश्लेषणात्मक है। इस क्रिया के लिए कोई भी टेलर श्रृंखला न केवल x के लिए पर्याप्त रूप से x के करीब अभिसरण करती है<sub>0</sub> (जैसा कि परिभाषा में है) लेकिन x (वास्तविक या जटिल) के सभी मानों के लिए।
** त्रिकोणमितीय कार्य, लघुगणक और [[घातांक]] उनके डोमेन के किसी भी खुले सेट पर विश्लेषणात्मक हैं।
** त्रिकोणमितीय कार्य, लघुगणक और [[घातांक]] उनके डोमेन के किसी भी खुले समुच्चय पर विश्लेषणात्मक हैं।
* सबसे विशेष कार्य (कम से कम जटिल विमान की कुछ सीमा में):
* सबसे विशेष कार्य (कम से कम जटिल विमान की कुछ सीमा में):
** हाइपरज्यामितीय कार्य
** हाइपरज्यामितीय कार्य
Line 36: Line 36:
विश्लेषणात्मक नहीं होने वाले कार्यों के विशिष्ट उदाहरण हैं
विश्लेषणात्मक नहीं होने वाले कार्यों के विशिष्ट उदाहरण हैं


* जब वास्तविक संख्याओं या जटिल संख्याओं के सेट पर परिभाषित किया जाता है तो निरपेक्ष [[गामा समारोह]] हर जगह विश्लेषणात्मक नहीं होता है क्योंकि यह 0 पर अलग-अलग नहीं होता है। टुकड़ों के अनुसार कार्य (विभिन्न क्षेत्रों में विभिन्न सूत्रों द्वारा दिए गए कार्य) आम तौर पर विश्लेषणात्मक नहीं होते हैं जहां टुकड़े मिलते हैं।
* जब वास्तविक संख्याओं या जटिल संख्याओं के समुच्चय पर परिभाषित किया जाता है तो निरपेक्ष [[गामा समारोह|गामा  प्रकार्य]] हर जगह विश्लेषणात्मक नहीं होता है क्योंकि यह 0 पर अलग-अलग नहीं होता है। टुकड़ों के अनुसार कार्य (विभिन्न क्षेत्रों में विभिन्न सूत्रों द्वारा दिए गए कार्य) सामान्यतः विश्लेषणात्मक नहीं होते हैं जहां टुकड़े मिलते हैं।
* जटिल संयुग्म कार्य z → z* जटिल विश्लेषणात्मक नहीं है, हालांकि वास्तविक रेखा के लिए इसका प्रतिबंध पहचान कार्य है और इसलिए वास्तविक विश्लेषणात्मक है, और यह एक वास्तविक विश्लेषणात्मक कार्य है <math>\mathbb{R}^{2}</math> प्रति <math>\mathbb{R}^{2}</math>.
* जटिल संयुग्म कार्य z → z* जटिल विश्लेषणात्मक नहीं है, हालांकि वास्तविक रेखा के लिए इसका प्रतिबंध पहचान कार्य है और इसलिए वास्तविक विश्लेषणात्मक है, और यह एक वास्तविक विश्लेषणात्मक कार्य है <math>\mathbb{R}^{2}</math> प्रति <math>\mathbb{R}^{2}</math>.
* अन्य [[गैर-विश्लेषणात्मक सुचारू कार्य]], और विशेष रूप से कोई भी सुचारू कार्य <math>f</math> कॉम्पैक्ट सपोर्ट के साथ, यानी। <math>f \in \mathcal{C}^\infty_0(\R^n)</math>, पर विश्लेषणात्मक नहीं हो सकता <math>\R^n</math>.<ref>{{Cite book|last=Strichartz, Robert S.|url=https://www.worldcat.org/oclc/28890674|title=वितरण सिद्धांत और फूरियर रूपांतरण के लिए एक गाइड|date=1994|publisher=CRC Press|isbn=0-8493-8273-4|location=Boca Raton|oclc=28890674}}</ref>
* अन्य [[गैर-विश्लेषणात्मक सुचारू कार्य]], और विशेष रूप से कोई भी सुचारू कार्य <math>f</math> कॉम्पैक्ट सपोर्ट के साथ, यानी। <math>f \in \mathcal{C}^\infty_0(\R^n)</math>, पर विश्लेषणात्मक नहीं हो सकता <math>\R^n</math>.<ref>{{Cite book|last=Strichartz, Robert S.|url=https://www.worldcat.org/oclc/28890674|title=वितरण सिद्धांत और फूरियर रूपांतरण के लिए एक गाइड|date=1994|publisher=CRC Press|isbn=0-8493-8273-4|location=Boca Raton|oclc=28890674}}</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>
जटिल विश्लेषणात्मक कार्य होलोमोर्फिक फ़ंक्शन के बिल्कुल समकक्ष हैं, और इस प्रकार अधिक आसानी से विशेषता हैं।
जटिल विश्लेषणात्मक कार्य होलोमोर्फिक क्रिया के बिल्कुल समकक्ष हैं, और इस प्रकार अधिक आसानी से विशेषता हैं।


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


बहुभिन्नरूपी मामले में, वास्तविक विश्लेषणात्मक कार्य तीसरे लक्षण वर्णन के प्रत्यक्ष सामान्यीकरण को संतुष्ट करते हैं।<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>, सभी विश्लेषणात्मक कार्यों का सेट ए (Ω)। <math>u\ :\ \Omega \to \mathbb{C}</math> कॉम्पैक्ट सेट पर एकसमान अभिसरण के संबंध में एक फ्रेचेट स्थान है। तथ्य यह है कि विश्लेषणात्मक कार्यों के कॉम्पैक्ट सेट पर समान सीमाएं विश्लेषणात्मक हैं, मोरेरा के प्रमेय का एक आसान परिणाम है। सेट <math>\scriptstyle A_\infty(\Omega)</math> [[उच्चतम मानक]] के साथ सभी [[परिबद्ध समारोह]] एनालिटिकल फंक्शन्स में से एक [[बनच स्थान]] है।
* किसी भी खुले समुच्चय के लिए <math>\Omega \subseteq \mathbb{C}</math>, सभी विश्लेषणात्मक कार्यों का समुच्चय ए (Ω)। <math>u\ :\ \Omega \to \mathbb{C}</math> कॉम्पैक्ट समुच्चय पर एकसमान अभिसरण के संबंध में एक फ्रेचेट स्थान है। तथ्य यह है कि विश्लेषणात्मक कार्यों के कॉम्पैक्ट समुच्चय पर समान सीमाएं विश्लेषणात्मक हैं, मोरेरा के प्रमेय का एक आसान परिणाम है। समुच्चय <math>\scriptstyle A_\infty(\Omega)</math> [[उच्चतम मानक]] के साथ सभी [[परिबद्ध समारोह|परिबद्ध  प्रकार्य]] एनालिटिकल फंक्शन्स में से एक [[बनच स्थान]] है।


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


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


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


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


== वास्तविक बनाम जटिल विश्लेषणात्मक कार्य ==
== वास्तविक बनाम जटिल विश्लेषणात्मक कार्य ==
Line 82: Line 82:
इसके अलावा, यदि एक बिंदु x के चारों ओर एक खुली [[गेंद (गणित)]] में एक जटिल विश्लेषणात्मक कार्य परिभाषित किया गया है<sub>0</sub>, एक्स पर इसकी शक्ति श्रृंखला विस्तार<sub>0</sub> पूरी खुली गेंद में अभिसारी है ([[होलोमोर्फिक कार्यों की विश्लेषणात्मकता]])। वास्तविक विश्लेषणात्मक कार्यों के लिए यह कथन (जटिल विमान की एक खुली [[डिस्क (गणित)]] के बजाय वास्तविक रेखा का एक खुला [[अंतराल (गणित)]] का अर्थ है) सामान्य रूप से सही नहीं है; उपरोक्त उदाहरण का कार्य x के लिए एक उदाहरण देता है<sub>0</sub>= 0 और त्रिज्या की एक गेंद 1 से अधिक, शक्ति श्रृंखला के बाद से {{nowrap|1 − ''x''<sup>2</sup> + ''x''<sup>4</sup> − ''x''<sup>6</sup>...}} |x| के लिए विचलन करता है ≥ 1।
इसके अलावा, यदि एक बिंदु x के चारों ओर एक खुली [[गेंद (गणित)]] में एक जटिल विश्लेषणात्मक कार्य परिभाषित किया गया है<sub>0</sub>, एक्स पर इसकी शक्ति श्रृंखला विस्तार<sub>0</sub> पूरी खुली गेंद में अभिसारी है ([[होलोमोर्फिक कार्यों की विश्लेषणात्मकता]])। वास्तविक विश्लेषणात्मक कार्यों के लिए यह कथन (जटिल विमान की एक खुली [[डिस्क (गणित)]] के बजाय वास्तविक रेखा का एक खुला [[अंतराल (गणित)]] का अर्थ है) सामान्य रूप से सही नहीं है; उपरोक्त उदाहरण का कार्य x के लिए एक उदाहरण देता है<sub>0</sub>= 0 और त्रिज्या की एक गेंद 1 से अधिक, शक्ति श्रृंखला के बाद से {{nowrap|1 − ''x''<sup>2</sup> + ''x''<sup>4</sup> − ''x''<sup>6</sup>...}} |x| के लिए विचलन करता है ≥ 1।


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


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


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


== यह भी देखें ==
== यह भी देखें ==
* कॉची-रीमैन समीकरण
* कॉची-रीमैन समीकरण
* होलोमॉर्फिक फ़ंक्शन
* होलोमॉर्फिक क्रिया
* पाले-वीनर प्रमेय
* पाले-वीनर प्रमेय
* [[अर्ध-विश्लेषणात्मक कार्य]]
* [[अर्ध-विश्लेषणात्मक कार्य]]
Line 112: Line 112:
*बिजली की श्रृंखला
*बिजली की श्रृंखला
*अंक शास्त्र
*अंक शास्त्र
*समारोह (गणित)
*प्रकार्य  (गणित)
*चिकना समारोह
*चिकना प्रकार्य
*किसी फ़ंक्शन का डोमेन
*किसी क्रिया का डोमेन
*खुला सेट
*खुला समुच्चय
*वास्तविक रेखा
*वास्तविक रेखा
*प्राथमिक समारोह
*प्राथमिक प्रकार्य
*घातांक प्रकार्य
*घातांक प्रकार्य
*त्रिकोणमितीय समारोह
*त्रिकोणमितीय प्रकार्य
*निरपेक्ष मूल्य
*निरपेक्ष मूल्य
*हाइपरज्यामितीय समारोह
*हाइपरज्यामितीय प्रकार्य
*बेसेल समारोह
*बेसेल प्रकार्य
*जटिल सन्युग्म
*जटिल सन्युग्म
*खंड अनुसार
*खंड अनुसार
*लोगारित्म
*लोगारित्म
*विशेष समारोह
*विशेष प्रकार्य
*गुणात्मक प्रतिलोम
*गुणात्मक प्रतिलोम
*यौगिक
*यौगिक
*लैग्रेंज उलटा प्रमेय
*लैग्रेंज उलटा प्रमेय
*समारोह रचना
*प्रकार्य  रचना
*जुड़ा हुआ स्थान
*जुड़ा हुआ स्थान
*अनुक्रम की सीमा
*अनुक्रम की सीमा
*स्वतंत्रता की डिग्री (भौतिकी और रसायन विज्ञान)
*स्वतंत्रता की डिग्री (भौतिकी और रसायन विज्ञान)
*सबूत है कि होलोमोर्फिक फ़ंक्शन विश्लेषणात्मक हैं
*सबूत है कि होलोमोर्फिक क्रिया विश्लेषणात्मक हैं
==बाहरी संबंध==
==बाहरी संबंध==
* {{springer|title=Analytic function|id=p/a012240}}
* {{springer|title=Analytic function|id=p/a012240}}

Revision as of 05:51, 2 December 2022

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

परिभाषाएँ

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

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

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

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

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

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


उदाहरण

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

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

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

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


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

निम्नलिखित शर्तें समतुल्य हैं:

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

इसके अलावा, यदि एक बिंदु x के चारों ओर एक खुली गेंद (गणित) में एक जटिल विश्लेषणात्मक कार्य परिभाषित किया गया है0, एक्स पर इसकी शक्ति श्रृंखला विस्तार0 पूरी खुली गेंद में अभिसारी है (होलोमोर्फिक कार्यों की विश्लेषणात्मकता)। वास्तविक विश्लेषणात्मक कार्यों के लिए यह कथन (जटिल विमान की एक खुली डिस्क (गणित) के बजाय वास्तविक रेखा का एक खुला अंतराल (गणित) का अर्थ है) सामान्य रूप से सही नहीं है; उपरोक्त उदाहरण का कार्य x के लिए एक उदाहरण देता है0= 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.


संदर्भ


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

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

बाहरी संबंध