घात श्रेणी: Difference between revisions
No edit summary |
No edit summary |
||
Line 43: | Line 43: | ||
==अभिसरण की त्रिज्या== | ==अभिसरण की त्रिज्या== | ||
घात श्रृंखला <math display="inline"> \sum_{n=0}^\infty a_n(x-c)^n</math> चर {{math|''x''}} के कुछ मानों के लिए [[अभिसरण श्रृंखला]] है , जिसमें सदैव {{math|1=''x'' = ''c''}} सम्मिलित होगा (सदैव के जैसे, <math>(x-c)^0</math> के रूप में मूल्यांकन {{val|1}} है और श्रृंखला का योग इस प्रकार है <math>a_0</math> के लिए {{math|1=''x'' = ''c''}})। {{mvar|x}} के अन्य मानों के लिए श्रृंखला भिन्न हो सकती है। यदि {{math|''c''}} अभिसरण का एकमात्र बिंदु नहीं है, तो सदैव {{math|0 < ''r'' ≤ ∞}} के साथ संख्या {{math|''r''}} होती है, जिससे शृंखला जब भी अभिसरित होती है {{math|{{abs|''x'' – ''c''}} < ''r''}} और जब भी {{math|{{abs|''x'' – ''c''}} > ''r''}} विचलन होता है। संख्या {{math|''r''}} को घात श्रृंखला के [[अभिसरण की त्रिज्या]] कहा जाता है; सामान्यतः इसे इस प्रकार दिया जाता है: | |||
<math display="block">r = \liminf_{n\to\infty} \left|a_n\right|^{-\frac{1}{n}}</math> | <math display="block">r = \liminf_{n\to\infty} \left|a_n\right|^{-\frac{1}{n}}</math> | ||
या, समकक्ष, | या, समकक्ष, | ||
<math display="block">r^{-1} = \limsup_{n\to\infty} \left|a_n\right|^\frac{1}{n}</math> | <math display="block">r^{-1} = \limsup_{n\to\infty} \left|a_n\right|^\frac{1}{n}</math> | ||
(यह कॉची-हैडामर्ड प्रमेय है; अंकन की व्याख्या के लिए सीमा श्रेष्ठ और सीमा निम्न देखें)। | (यह कॉची-हैडामर्ड प्रमेय है; अंकन की व्याख्या के लिए सीमा श्रेष्ठ और सीमा निम्न देखें)। संबंध; | ||
<math display="block">r^{-1} = \lim_{n\to\infty}\left|{a_{n+1}\over a_n}\right|</math> | <math display="block">r^{-1} = \lim_{n\to\infty}\left|{a_{n+1}\over a_n}\right|</math> | ||
यदि यह सीमा उपस्थित है तो वह भी संतुष्ट है। | यदि यह सीमा उपस्थित है तो वह भी संतुष्ट है। | ||
सम्मिश्र संख्याओं का समुच्चय इस प्रकार है {{math|{{abs|''x'' – ''c''}} < ''r''}}श्रृंखला की अभिसरण डिस्क | सम्मिश्र संख्याओं का समुच्चय इस प्रकार है कि {{math|{{abs|''x'' – ''c''}} < ''r''}} को श्रृंखला की अभिसरण डिस्क कहा जाता है। [[अभिसरण की डिस्क]] के अंदर श्रृंखला [[पूर्ण अभिसरण]], और अभिसरण की डिस्क के प्रत्येक [[ सघन स्थान |सघन स्थान]] उपसमुच्चय पर समान अभिसरणकरती है। | ||
{{math|1={{abs|''x'' – ''c''}} = ''r''}}, के लिए श्रृंखला के अभिसरण पर कोई सामान्य कथन नहीं है। चूँकि, एबेल के प्रमेय में कहा गया है कि यदि श्रृंखला कुछ मूल्य {{mvar|z}} के लिए अभिसरण है, जैसे कि {{math|1={{abs|''z'' – ''c''}} = ''r''}}, तो {{math|1=''x'' = ''z''}} के लिए श्रृंखला का योग {{math|1=''x'' = ''c'' + ''t'' (''z'' – ''c'')}} के लिए श्रृंखला के योग की सीमा है, जहां {{mvar|t}} 1 से कम एक वास्तविक चर है जो 1 की ओर प्रवृत्त होता है। | |||
== | == घात श्रृंखला पर संचालन == | ||
=== | === जोड़ना और घटाना === | ||
जब दो फलन f और g को ही केंद्र c के चारों ओर घात श्रृंखला में विघटित किया जाता है, तो फलन के योग या अंतर की घात श्रृंखला शब्दवार जोड़ और घटाव द्वारा प्राप्त की जा सकती है। अर्थात यदि | जब दो फलन f और g को एक ही केंद्र c के चारों ओर घात श्रृंखला में विघटित किया जाता है, तो फलन के योग या अंतर की घात श्रृंखला शब्दवार जोड़ और घटाव द्वारा प्राप्त की जा सकती है। अर्थात यदि; | ||
<math display="block">f(x) = \sum_{n=0}^\infty a_n (x - c)^n</math> और <math display="block">g(x) = \sum_{n=0}^\infty b_n (x - c)^n</math> | <math display="block">f(x) = \sum_{n=0}^\infty a_n (x - c)^n</math> और, <math display="block">g(x) = \sum_{n=0}^\infty b_n (x - c)^n</math> | ||
तब | तब; | ||
<math display="block">f(x) \pm g(x) = \sum_{n=0}^\infty (a_n \pm b_n) (x - c)^n.</math> | <math display="block">f(x) \pm g(x) = \sum_{n=0}^\infty (a_n \pm b_n) (x - c)^n.</math> | ||
यह सत्य नहीं है कि यदि दो घात श्रृंखला है <math display="inline">\sum_{n=0}^\infty a_n x^n</math> और <math display="inline">\sum_{n=0}^\infty b_n x^n</math> तब अभिसरण की त्रिज्या समान | यह सत्य नहीं है कि यदि दो घात श्रृंखला है <math display="inline">\sum_{n=0}^\infty a_n x^n</math> और <math display="inline">\sum_{n=0}^\infty b_n x^n</math> तब अभिसरण की त्रिज्या समान <math display="inline">\sum_{n=0}^\infty \left(a_n + b_n\right) x^n</math> होती है अभिसरण की यह त्रिज्या भी है। यदि <math display="inline">a_n = (-1)^n</math> और <math display="inline">b_n = (-1)^{n+1} \left(1 - \frac{1}{3^n}\right)</math>, तो दोनों श्रृंखलाओं में 1 के अभिसरण की समान त्रिज्या है, किन्तु श्रृंखला <math display="inline">\sum_{n=0}^\infty \left(a_n + b_n\right) x^n = \sum_{n=0}^\infty \frac{(-1)^n}{3^n} x^n</math> अभिसरण की त्रिज्या 3 है। | ||
दो | दो घात श्रृंखलाओं के योग में, कम से कम, दो श्रृंखलाओं के अभिसरण की दो त्रिज्याओं में से छोटी त्रिज्या के अभिसरण की त्रिज्या होगी (और यह दोनों में से किसी से अधिक हो सकती है, जैसा कि ऊपर दिए गए उदाहरण में देखा गया है)।<ref>Erwin Kreyszig, Advanced Engineering Mathematics, 8th ed, page 747</ref> | ||
=== गुणा और भाग === | === गुणा और भाग === | ||
समान परिभाषाओं के साथ <math>f(x)</math> और <math>g(x)</math> के लिए, उत्पाद की घातश्रृंखला और कार्यों का भागफल निम्नानुसार प्राप्त किया जा सकता है: | |||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
f(x)g(x) &= \left(\sum_{n=0}^\infty a_n (x-c)^n\right)\left(\sum_{n=0}^\infty b_n (x - c)^n\right) \\ | f(x)g(x) &= \left(\sum_{n=0}^\infty a_n (x-c)^n\right)\left(\sum_{n=0}^\infty b_n (x - c)^n\right) \\ | ||
Line 72: | Line 72: | ||
&= \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) (x - c)^n. | &= \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) (x - c)^n. | ||
\end{align}</math> | \end{align}</math> | ||
क्रम <math display="inline">m_n = \sum_{i=0}^n a_i b_{n-i}</math> अनुक्रमों के [[कनवल्शन]] | क्रम <math display="inline">m_n = \sum_{i=0}^n a_i b_{n-i}</math> को अनुक्रमों के [[कनवल्शन]] <math>a_n</math> और {{nowrap|<math>b_n</math>.}} के रूप में जाना जाता है। | ||
विभाजन के लिए, यदि कोई अनुक्रम को | विभाजन के लिए, यदि कोई अनुक्रम को <math>d_n</math> द्वारा परिभाषित करता है; | ||
<math display="block">\frac{f(x)}{g(x)} = \frac{\sum_{n=0}^\infty a_n (x - c)^n}{\sum_{n=0}^\infty b_n (x - c)^n} = \sum_{n=0}^\infty d_n (x - c)^n</math> | <math display="block">\frac{f(x)}{g(x)} = \frac{\sum_{n=0}^\infty a_n (x - c)^n}{\sum_{n=0}^\infty b_n (x - c)^n} = \sum_{n=0}^\infty d_n (x - c)^n</math> | ||
तब | तब, | ||
<math display="block">f(x) = \left(\sum_{n=0}^\infty b_n (x - c)^n\right)\left(\sum_{n=0}^\infty d_n (x - c)^n\right)</math> | |||
और कोई भी | और कोई भी नियमों का पुनरावर्ती रूप से <math>d_n</math> गुणांकों की तुलना करके समाधान कर सकता है। | ||
संगत समीकरणों | संगत समीकरणों का समाधान करने से गुणांक के कुछ आव्यूहों के निर्धारकों के आधार पर सूत्र <math>f(x)</math> और <math>g(x)</math> प्राप्त होते हैं: | ||
<math display="block">d_0=\frac{a_0}{b_0}</math> | <math display="block">d_0=\frac{a_0}{b_0}</math> | ||
<math display="block">d_n=\frac{1}{b_0^{n+1}} \begin{vmatrix} | <math display="block">d_n=\frac{1}{b_0^{n+1}} \begin{vmatrix} | ||
Line 88: | Line 88: | ||
\vdots &\vdots&\vdots&\ddots&\vdots \\ | \vdots &\vdots&\vdots&\ddots&\vdots \\ | ||
a_0 &0 &0 &\cdots&b_0\end{vmatrix}</math> | a_0 &0 &0 &\cdots&b_0\end{vmatrix}</math> | ||
===विभेदीकरण और | ===विभेदीकरण और एकीकरण=== | ||
फलन <math>f(x)</math> उपरोक्त के अनुसार घात श्रृंखला के रूप में दिया गया है, यह अभिसरण के क्षेत्र के [[आंतरिक (टोपोलॉजी)|आंतरिक]] पर व्युत्पन्न है। प्रत्येक पद को भिन्न-भिन्न मानकर इसे सरलता से विभेदित और [[अभिन्न|एकीकृत]] किया जा सकता है: | |||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
f'(x) &= \sum_{n=1}^\infty a_n n (x - c)^{n-1} = \sum_{n=0}^\infty a_{n+1} (n + 1) (x - c)^n, \\ | f'(x) &= \sum_{n=1}^\infty a_n n (x - c)^{n-1} = \sum_{n=0}^\infty a_{n+1} (n + 1) (x - c)^n, \\ | ||
Line 98: | Line 98: | ||
== विश्लेषणात्मक फलन == | == विश्लेषणात्मक फलन == | ||
{{main|विश्लेषणात्मक फलन }} | {{main|विश्लेषणात्मक फलन }} | ||
' | '<nowiki/>'''R'''<nowiki/>' या ''''C'''<nowiki/>' के कुछ खुले उपसमुच्चय U पर परिभाषित फलन f को विश्लेषणात्मक कहा जाता है यदि यह स्थानीय रूप से अभिसरण घात श्रृंखला द्वारा दिया जाता है। इसका तात्पर्य यह है कि प्रत्येक a ∈ U में विवृत [[पड़ोस (टोपोलॉजी)|निकट]] V ⊆ U है, जैसे कि केंद्र a के साथ घात श्रृंखला उपस्थित है जो प्रत्येक x ∈ V के लिए f(x) में परिवर्तित होती है। | ||
अभिसरण की सकारात्मक त्रिज्या वाली प्रत्येक | अभिसरण की सकारात्मक त्रिज्या वाली प्रत्येक घात श्रृंखला अपने अभिसरण क्षेत्र के [[टोपोलॉजिकल इंटीरियर|आंतरिक भाग]] पर विश्लेषणात्मक होती है। सभी [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] जटिल-विश्लेषणात्मक हैं। [[विश्लेषणात्मक कार्य|विश्लेषणात्मक कार्यों]] के योग और उत्पाद विश्लेषणात्मक होते हैं, जैसे कि भागफल तब तक विश्लेषणात्मक होते हैं जब तक हर गैर-शून्य होता है। | ||
यदि कोई | यदि कोई फलन विश्लेषणात्मक है, तो यह असीम रूप से भिन्न होता है, किन्तु वास्तविक स्थिति में इसका विपरीत सामान्यतः सत्य नहीं होता है। विश्लेषणात्मक फलन के लिए, गुणांक a<sub>''n''</sub> के रूप में गणना की जा सकती है: | ||
<math display="block">a_n = \frac{f^{\left( n \right)} \left( c \right)}{n!}</math> | <math display="block">a_n = \frac{f^{\left( n \right)} \left( c \right)}{n!}</math> | ||
जहां <math>f^{(n)}(c)</math> c पर f के nवें अवकलज को दर्शाता है, और <math>f^{(0)}(c) = f(c)</math>है, इसका तात्पर्य यह है कि प्रत्येक विश्लेषणात्मक फलन को स्थानीय रूप से उसकी टेलर श्रृंखला द्वारा दर्शाया जाता है। | |||
विश्लेषणात्मक | विश्लेषणात्मक फलन का वैश्विक रूप निम्नलिखित अर्थों में उसके स्थानीय व्यवहार से पूर्ण रूप से निर्धारित होता है: यदि ''f'' और ''g'' दो विश्लेषणात्मक फलन हैं जो एक ही कनेक्टिविटी ओपन समुच्चय ''U'' पर परिभाषित हैं, और यदि कोई तत्व {{math|''c'' ∈ ''U''}} उपस्थित है जैसे कि {{math|1=''f''{{i sup|(''n'')}}(''c'') = ''g''{{i sup|(''n'')}}(''c'')}} सभी के लिए {{math|''n'' ≥ 0}}, तब सभी {{math|''x'' ∈ ''U''}} के लिए {{math|1=''f''(''x'') = ''g''(''x'')}} है। | ||
यदि अभिसरण | यदि अभिसरण r की त्रिज्या के साथ घात श्रृंखला दी गई है, तो कोई श्रृंखला की [[विश्लेषणात्मक निरंतरता]] पर विचार कर सकता है, अर्थात विश्लेषणात्मक फलन f जो कि {{math|{{mset| ''x'' | {{abs|''x'' − ''c''}} < ''r'' }}}} और इस समुच्चय पर दी गई पर घात श्रृंखला से सहमत हैं। संख्या r निम्नलिखित अर्थ में अधिकतम है: {{math|1={{abs|''x'' − ''c''}} = ''r''}} के साथ सदैव जटिल संख्या {{mvar|x}} उपस्थित होती है, यह इस प्रकार है कि श्रृंखला की कोई भी विश्लेषणात्मक निरंतरता {{mvar|x}} पर परिभाषित नहीं की जा सकती है। | ||
विश्लेषणात्मक | विश्लेषणात्मक फलन के व्युत्क्रम फलन की घात श्रृंखला विस्तार को [[लैग्रेंज व्युत्क्रम प्रमेय]] का उपयोग करके निर्धारित किया जा सकता है। | ||
=== सीमा के निकट व्यवहार === | === सीमा के निकट व्यवहार === | ||
Line 119: | Line 119: | ||
# कुछ बिंदुओं पर अभिसरण दूसरों पर भिन्न: <math display="inline">\sum_{n=1}^{\infty}\frac{z^n}{n}</math> अभिसरण की त्रिज्या है <math>1</math>. इसके लिए अभिसरण होता है <math>z=-1</math>, जबकि यह भिन्न होता है <math>z=1</math>. | # कुछ बिंदुओं पर अभिसरण दूसरों पर भिन्न: <math display="inline">\sum_{n=1}^{\infty}\frac{z^n}{n}</math> अभिसरण की त्रिज्या है <math>1</math>. इसके लिए अभिसरण होता है <math>z=-1</math>, जबकि यह भिन्न होता है <math>z=1</math>. | ||
# सीमा के प्रत्येक बिंदु पर पूर्ण अभिसरण: <math display="inline">\sum_{n=1}^{\infty}\frac{z^n}{n^2}</math> अभिसरण की त्रिज्या है <math>1</math>, जबकि यह हर बिंदु पर पूर्णतः और समान रूप से अभिसरित होता है <math>|z|=1</math> हार्मोनिक श्रृंखला (गणित) के साथ लागू [[वीयरस्ट्रैस एम-टेस्ट]] के कारण#p-श्रृंखला|हाइपर-हार्मोनिक अभिसरण श्रृंखला <math display="inline">\sum_{n=1}^{\infty}\frac{1}{n^2}</math>. | # सीमा के प्रत्येक बिंदु पर पूर्ण अभिसरण: <math display="inline">\sum_{n=1}^{\infty}\frac{z^n}{n^2}</math> अभिसरण की त्रिज्या है <math>1</math>, जबकि यह हर बिंदु पर पूर्णतः और समान रूप से अभिसरित होता है <math>|z|=1</math> हार्मोनिक श्रृंखला (गणित) के साथ लागू [[वीयरस्ट्रैस एम-टेस्ट]] के कारण#p-श्रृंखला|हाइपर-हार्मोनिक अभिसरण श्रृंखला <math display="inline">\sum_{n=1}^{\infty}\frac{1}{n^2}</math>. | ||
# अभिसरण की डिस्क के बंद होने पर अभिसरण | # अभिसरण की डिस्क के बंद होने पर अभिसरण किन्तु निरंतर योग नहीं: वाकलॉ सिएरपिंस्की|सिएरपिंस्की ने उदाहरण दिया<ref>{{cite journal|author=Wacław Sierpiński|title=Sur une série potentielle qui, étant convergente en tout point de son cercle de convergence, représente sur ce cercle une fonction discontinue. (French)|journal=Rendiconti del Circolo Matematico di Palermo| url=https://zbmath.org/?q=an:46.1466.03|year=1916|volume=41|publisher=Palermo Rend.|pages=187–190 | doi=10.1007/BF03018294 |jfm=46.1466.03 | s2cid=121218640| author-link=Wacław Sierpiński}}</ref> अभिसरण की त्रिज्या के साथ घातश्रृंखला की <math>1</math>, सभी बिंदुओं पर अभिसरण <math>|z|=1</math>, किन्तु योग असीमित कार्य है और, विशेष रूप से, असंतत है। सीमा बिंदु पर तरफा निरंतरता के लिए पर्याप्त शर्त हाबिल के प्रमेय द्वारा दी गई है। | ||
== औपचारिक घात श्रृंखला == | == औपचारिक घात श्रृंखला == |
Revision as of 10:48, 5 July 2023
गणित में, घात श्रृंखला (चर में) रूप की अनंत श्रृंखला होती है:
कई स्थितियों में, c (श्रृंखला का केंद्र) शून्य के समान होता है, उदाहरण के लिए मैकलॉरिन श्रृंखला पर विचार करते समय होता है। ऐसी स्थिति में, घात श्रृंखला सरल रूप लेती है:
उदाहरण
बहुपद
किसी भी बहुपद को किसी भी केंद्र c के चारों ओर घात श्रृंखला के रूप में सरलता से व्यक्त किया जा सकता है, चूँकि सीमित रूप से कई गुणांकों को त्यागकर सभी शून्य होंगे क्योंकि परिभाषा के अनुसार घात श्रृंखला में अनंत रूप से कई पद होते हैं। उदाहरण के लिए, बहुपद को केंद्र के चारों ओर घात श्रृंखला के रूप में लिखा जा सकता है के रूप में लिखा जा सकता है:
या वास्तव में किसी अन्य केंद्र के निकट विस्तार संभव है।[1] कोई घात श्रृंखला को अनंत डिग्री के बहुपदों के रूप में देख सकता है, चूँकि घात श्रृंखला बहुपद नहीं हैं।
ज्यामितीय श्रृंखला, घातांकीय फलन और ज्या
ज्यामितीय श्रृंखला सूत्र;
ये घात श्रृंखला भी टेलर श्रृंखला के उदाहरण हैं।
घातांक के समुच्चय पर
किसी घात शृंखला में नकारात्मक घातों की अनुमति नहीं है; उदाहरण के लिए, इसे घात श्रृंखला नहीं माना जाता है (चूँकि यह लॉरेंट श्रृंखला है)। इसी प्रकार, भिन्नात्मक घात जैसे की अनुमति नहीं है (किन्तु पुइसेक्स श्रृंखला देखें)। गुणांक पर निर्भर रहने की अनुमति नहीं है , इस प्रकार उदाहरण के लिए:
अभिसरण की त्रिज्या
घात श्रृंखला चर x के कुछ मानों के लिए अभिसरण श्रृंखला है , जिसमें सदैव x = c सम्मिलित होगा (सदैव के जैसे, के रूप में मूल्यांकन 1 है और श्रृंखला का योग इस प्रकार है के लिए x = c)। x के अन्य मानों के लिए श्रृंखला भिन्न हो सकती है। यदि c अभिसरण का एकमात्र बिंदु नहीं है, तो सदैव 0 < r ≤ ∞ के साथ संख्या r होती है, जिससे शृंखला जब भी अभिसरित होती है |x – c| < r और जब भी |x – c| > r विचलन होता है। संख्या r को घात श्रृंखला के अभिसरण की त्रिज्या कहा जाता है; सामान्यतः इसे इस प्रकार दिया जाता है:
सम्मिश्र संख्याओं का समुच्चय इस प्रकार है कि |x – c| < r को श्रृंखला की अभिसरण डिस्क कहा जाता है। अभिसरण की डिस्क के अंदर श्रृंखला पूर्ण अभिसरण, और अभिसरण की डिस्क के प्रत्येक सघन स्थान उपसमुच्चय पर समान अभिसरणकरती है।
|x – c| = r, के लिए श्रृंखला के अभिसरण पर कोई सामान्य कथन नहीं है। चूँकि, एबेल के प्रमेय में कहा गया है कि यदि श्रृंखला कुछ मूल्य z के लिए अभिसरण है, जैसे कि |z – c| = r, तो x = z के लिए श्रृंखला का योग x = c + t (z – c) के लिए श्रृंखला के योग की सीमा है, जहां t 1 से कम एक वास्तविक चर है जो 1 की ओर प्रवृत्त होता है।
घात श्रृंखला पर संचालन
जोड़ना और घटाना
जब दो फलन f और g को एक ही केंद्र c के चारों ओर घात श्रृंखला में विघटित किया जाता है, तो फलन के योग या अंतर की घात श्रृंखला शब्दवार जोड़ और घटाव द्वारा प्राप्त की जा सकती है। अर्थात यदि;
दो घात श्रृंखलाओं के योग में, कम से कम, दो श्रृंखलाओं के अभिसरण की दो त्रिज्याओं में से छोटी त्रिज्या के अभिसरण की त्रिज्या होगी (और यह दोनों में से किसी से अधिक हो सकती है, जैसा कि ऊपर दिए गए उदाहरण में देखा गया है)।[2]
गुणा और भाग
समान परिभाषाओं के साथ और के लिए, उत्पाद की घातश्रृंखला और कार्यों का भागफल निम्नानुसार प्राप्त किया जा सकता है:
विभाजन के लिए, यदि कोई अनुक्रम को द्वारा परिभाषित करता है;
संगत समीकरणों का समाधान करने से गुणांक के कुछ आव्यूहों के निर्धारकों के आधार पर सूत्र और प्राप्त होते हैं:
विभेदीकरण और एकीकरण
फलन उपरोक्त के अनुसार घात श्रृंखला के रूप में दिया गया है, यह अभिसरण के क्षेत्र के आंतरिक पर व्युत्पन्न है। प्रत्येक पद को भिन्न-भिन्न मानकर इसे सरलता से विभेदित और एकीकृत किया जा सकता है:
विश्लेषणात्मक फलन
'R' या 'C' के कुछ खुले उपसमुच्चय U पर परिभाषित फलन f को विश्लेषणात्मक कहा जाता है यदि यह स्थानीय रूप से अभिसरण घात श्रृंखला द्वारा दिया जाता है। इसका तात्पर्य यह है कि प्रत्येक a ∈ U में विवृत निकट V ⊆ U है, जैसे कि केंद्र a के साथ घात श्रृंखला उपस्थित है जो प्रत्येक x ∈ V के लिए f(x) में परिवर्तित होती है।
अभिसरण की सकारात्मक त्रिज्या वाली प्रत्येक घात श्रृंखला अपने अभिसरण क्षेत्र के आंतरिक भाग पर विश्लेषणात्मक होती है। सभी होलोमोर्फिक फलन जटिल-विश्लेषणात्मक हैं। विश्लेषणात्मक कार्यों के योग और उत्पाद विश्लेषणात्मक होते हैं, जैसे कि भागफल तब तक विश्लेषणात्मक होते हैं जब तक हर गैर-शून्य होता है।
यदि कोई फलन विश्लेषणात्मक है, तो यह असीम रूप से भिन्न होता है, किन्तु वास्तविक स्थिति में इसका विपरीत सामान्यतः सत्य नहीं होता है। विश्लेषणात्मक फलन के लिए, गुणांक an के रूप में गणना की जा सकती है:
विश्लेषणात्मक फलन का वैश्विक रूप निम्नलिखित अर्थों में उसके स्थानीय व्यवहार से पूर्ण रूप से निर्धारित होता है: यदि f और g दो विश्लेषणात्मक फलन हैं जो एक ही कनेक्टिविटी ओपन समुच्चय U पर परिभाषित हैं, और यदि कोई तत्व c ∈ U उपस्थित है जैसे कि f(n)(c) = g(n)(c) सभी के लिए n ≥ 0, तब सभी x ∈ U के लिए f(x) = g(x) है।
यदि अभिसरण r की त्रिज्या के साथ घात श्रृंखला दी गई है, तो कोई श्रृंखला की विश्लेषणात्मक निरंतरता पर विचार कर सकता है, अर्थात विश्लेषणात्मक फलन f जो कि { x | |x − c| < r} और इस समुच्चय पर दी गई पर घात श्रृंखला से सहमत हैं। संख्या r निम्नलिखित अर्थ में अधिकतम है: |x − c| = r के साथ सदैव जटिल संख्या x उपस्थित होती है, यह इस प्रकार है कि श्रृंखला की कोई भी विश्लेषणात्मक निरंतरता x पर परिभाषित नहीं की जा सकती है।
विश्लेषणात्मक फलन के व्युत्क्रम फलन की घात श्रृंखला विस्तार को लैग्रेंज व्युत्क्रम प्रमेय का उपयोग करके निर्धारित किया जा सकता है।
सीमा के निकट व्यवहार
अभिसरण की सकारात्मक त्रिज्या के साथ घातश्रृंखला का योग अभिसरण डिस्क के आंतरिक भाग में प्रत्येक बिंदु पर विश्लेषणात्मक कार्य है। हालाँकि, उस डिस्क की सीमा पर बिंदुओं पर भिन्न व्यवहार हो सकता है। उदाहरण के लिए:
- विचलन जबकि योग विश्लेषणात्मक फ़ंक्शन तक विस्तारित होता है: अभिसरण की त्रिज्या के समान है और हर बिंदु पर अलग हो जाता है . फिर भी, योग है को छोड़कर, जो विमान के हर बिंदु पर विश्लेषणात्मक है .
- कुछ बिंदुओं पर अभिसरण दूसरों पर भिन्न: अभिसरण की त्रिज्या है . इसके लिए अभिसरण होता है , जबकि यह भिन्न होता है .
- सीमा के प्रत्येक बिंदु पर पूर्ण अभिसरण: अभिसरण की त्रिज्या है , जबकि यह हर बिंदु पर पूर्णतः और समान रूप से अभिसरित होता है हार्मोनिक श्रृंखला (गणित) के साथ लागू वीयरस्ट्रैस एम-टेस्ट के कारण#p-श्रृंखला|हाइपर-हार्मोनिक अभिसरण श्रृंखला .
- अभिसरण की डिस्क के बंद होने पर अभिसरण किन्तु निरंतर योग नहीं: वाकलॉ सिएरपिंस्की|सिएरपिंस्की ने उदाहरण दिया[3] अभिसरण की त्रिज्या के साथ घातश्रृंखला की , सभी बिंदुओं पर अभिसरण , किन्तु योग असीमित कार्य है और, विशेष रूप से, असंतत है। सीमा बिंदु पर तरफा निरंतरता के लिए पर्याप्त शर्त हाबिल के प्रमेय द्वारा दी गई है।
औपचारिक घात श्रृंखला
अमूर्त बीजगणित में, व्यक्ति वास्तविक और जटिल संख्याओं के क्षेत्र तक सीमित हुए बिना और अभिसरण के विषय में विचार किए बिना घात श्रृंखला के सार को पकड़ने का प्रयास करता है। यह औपचारिक घात श्रृंखला की अवधारणा की ओर ले जाता है, जो बीजगणितीय कॉम्बिनेटरिक्स में महान उपयोगिता की अवधारणा है।
कई चर में पावर श्रृंखला
बहुपरिवर्तनीय कलन के प्रयोजनों के लिए सिद्धांत का विस्तार आवश्यक है। यहाँ घातश्रृंखला को रूप की अनंत श्रृंखला के रूप में परिभाषित किया गया है
ऐसी श्रृंखला का सिद्धांत ल-चर श्रृंखला की तुलना में अधिक पेचीदा है, जिसमें अभिसरण के अधिक जटिल क्षेत्र हैं। उदाहरण के लिए, पावर श्रृंखला सेट में बिल्कुल अभिसरण है दो अतिपरवलय के बीच. (यह लॉग-उत्तल सेट का उदाहरण है, इस अर्थ में कि बिंदुओं का सेट , कहाँ उपरोक्त क्षेत्र में स्थित, उत्तल समुच्चय है। अधिक सामान्यतः, कोई यह दिखा सकता है कि जब c=0, पूर्ण अभिसरण के क्षेत्र का आंतरिक भाग हमेशा इस अर्थ में लॉग-उत्तल सेट होता है।) दूसरी ओर, अभिसरण के इस क्षेत्र के आंतरिक भाग में कोई अंतर और ीकृत हो सकता है श्रृंखला चिह्न के अंतर्गत, ठीक वैसे ही जैसे कोई सामान्य घातश्रृंखला के साथ कर सकता है।[4]
घात श्रृंखला का क्रम
मान लीजिए α घात श्रृंखला f(x1, x2, …, xn) के लिए बहु-सूचकांक है। घात श्रृंखला f के क्रम को न्यूनतम मान के रूप में परिभाषित किया गया है इस प्रकार है कि aα ≠ 0 है। , या यदि f ≡ 0 है। विशेष रूप से, एकल चर x में घात श्रृंखला f(x) के लिए, f का क्रम गैर-शून्य गुणांक के साथ x की सबसे छोटी घात है। यह परिभाषा सरलता से लॉरेंट श्रृंखला तक विस्तारित है।
टिप्पणियाँ
- ↑ Howard Levi (1967). बहुपद, घात श्रृंखला, और कैलकुलस. Van Nostrand. p. 24.
- ↑ Erwin Kreyszig, Advanced Engineering Mathematics, 8th ed, page 747
- ↑ Wacław Sierpiński (1916). "Sur une série potentielle qui, étant convergente en tout point de son cercle de convergence, représente sur ce cercle une fonction discontinue. (French)". Rendiconti del Circolo Matematico di Palermo. Palermo Rend. 41: 187–190. doi:10.1007/BF03018294. JFM 46.1466.03. S2CID 121218640.
- ↑ Beckenbach, E. F. (1948). "उत्तल कार्य". Bulletin of the American Mathematical Society. 54 (5): 439–460. doi:10.1090/S0002-9904-1948-08994-7.
संदर्भ
- Solomentsev, E.D. (2001) [1994], "Power series", Encyclopedia of Mathematics, EMS Press