घात श्रेणी: Difference between revisions

From Vigyanwiki
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|''r''}} साथ {{math|0 < ''r'' ≤ ∞}} ऐसा कि शृंखला जब भी अभिसरित होती है {{math|{{abs|''x'' – ''c''}} < ''r''}} और जब भी विचलन होता है {{math|{{abs|''x'' – ''c''}} > ''r''}}. जो नंबर {{math|''r''}} को घातश्रृंखला के [[अभिसरण की त्रिज्या]] कहा जाता है; सामान्यतः इसे इस प्रकार दिया जाता है
घात श्रृंखला <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}} से कम वास्तविक चर है {{val|1}} ऐसा होता है {{val|1}}.
{{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 \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 है।
यह सत्य नहीं है कि यदि दो घात श्रृंखला है <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>
दो घात श्रृंखलाओं के योग में, कम से कम, दो श्रृंखलाओं के अभिसरण की दो त्रिज्याओं में से छोटी त्रिज्या के अभिसरण की त्रिज्या होगी (और यह दोनों में से किसी से अधिक हो सकती है, जैसा कि ऊपर दिए गए उदाहरण में देखा गया है)।<ref>Erwin Kreyszig, Advanced Engineering Mathematics, 8th ed, page 747</ref>
=== गुणा और भाग ===
=== गुणा और भाग ===
के लिए समान परिभाषाओं के साथ <math>f(x)</math> और <math>g(x)</math>, उत्पाद की घातश्रृंखला और कार्यों का भागफल निम्नानुसार प्राप्त किया जा सकता है:
समान परिभाषाओं के साथ <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>a_n</math> और {{nowrap|<math>b_n</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>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 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>d_n</math> गुणांकों की तुलना करके समाधान कर सकता है।


संगत समीकरणों को हल करने से गुणांक के कुछ आव्यूहों के निर्धारकों के आधार पर सूत्र प्राप्त होते हैं <math>f(x)</math> और <math>g(x)</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>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|विश्लेषणात्मक फलन }}
'आर' या 'सी' के कुछ खुले सेट यू पर परिभाषित फ़ंक्शन एफ को विश्लेषणात्मक फ़ंक्शन कहा जाता है यदि यह स्थानीय रूप से अभिसरण घातश्रृंखला द्वारा दिया जाता है। इसका मतलब यह है कि प्रत्येक a ∈ U में खुला [[पड़ोस (टोपोलॉजी)]] V ⊆ U है, जैसे कि केंद्र a के साथ घातश्रृंखला उपस्थित है जो प्रत्येक x ∈ V के लिए f(x) में परिवर्तित होती है।
'<nowiki/>'''R'''<nowiki/>' या ''''C'''<nowiki/>' के कुछ खुले उपसमुच्चय U पर परिभाषित फलन f को विश्लेषणात्मक कहा जाता है यदि यह स्थानीय रूप से अभिसरण घात श्रृंखला द्वारा दिया जाता है। इसका तात्पर्य यह है कि प्रत्येक a ∈ U में विवृत [[पड़ोस (टोपोलॉजी)|निकट]] V ⊆ U है, जैसे कि केंद्र a के साथ घात श्रृंखला उपस्थित है जो प्रत्येक x ∈ V के लिए f(x) में परिवर्तित होती है।


अभिसरण की सकारात्मक त्रिज्या वाली प्रत्येक घातश्रृंखला अपने अभिसरण क्षेत्र के [[टोपोलॉजिकल इंटीरियर]] पर विश्लेषणात्मक है। सभी [[होलोमोर्फिक फ़ंक्शन]] जटिल-विश्लेषणात्मक हैं। [[विश्लेषणात्मक कार्य]]ों के योग और उत्पाद विश्लेषणात्मक होते हैं, जैसे कि भागफल तब तक विश्लेषणात्मक होते हैं जब तक हर गैर-शून्य होता है।
अभिसरण की सकारात्मक त्रिज्या वाली प्रत्येक घात श्रृंखला अपने अभिसरण क्षेत्र के [[टोपोलॉजिकल इंटीरियर|आंतरिक भाग]] पर विश्लेषणात्मक होती है। सभी [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] जटिल-विश्लेषणात्मक हैं। [[विश्लेषणात्मक कार्य|विश्लेषणात्मक कार्यों]] के योग और उत्पाद विश्लेषणात्मक होते हैं, जैसे कि भागफल तब तक विश्लेषणात्मक होते हैं जब तक हर गैर-शून्य होता है।


यदि कोई फ़ंक्शन विश्लेषणात्मक है, तो यह असीम रूप से भिन्न होता है, लेकिन वास्तविक मामले में इसका विपरीत सामान्यतः सत्य नहीं होता है। विश्लेषणात्मक फ़ंक्शन के लिए, गुणांक a<sub>''n''</sub> के रूप में गणना की जा सकती है
यदि कोई फलन विश्लेषणात्मक है, तो यह असीम रूप से भिन्न होता है, किन्तु वास्तविक स्थिति में इसका विपरीत सामान्यतः सत्य नहीं होता है। विश्लेषणात्मक फलन के लिए, गुणांक 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>. इसका मतलब यह है कि प्रत्येक विश्लेषणात्मक फ़ंक्शन को स्थानीय रूप से उसकी टेलर श्रृंखला द्वारा दर्शाया जाता है।
जहां <math>f^{(n)}(c)</math> c पर f के nवें अवकलज को दर्शाता है, और <math>f^{(0)}(c) = f(c)</math>है, इसका तात्पर्य यह है कि प्रत्येक विश्लेषणात्मक फलन को स्थानीय रूप से उसकी टेलर श्रृंखला द्वारा दर्शाया जाता है।


विश्लेषणात्मक फ़ंक्शन का वैश्विक रूप निम्नलिखित अर्थों में उसके स्थानीय व्यवहार से पूरी तरह से निर्धारित होता है: यदि एफ और जी दो विश्लेषणात्मक फ़ंक्शन हैं जो ही कनेक्टिविटी ओपन सेट यू पर परिभाषित हैं, और यदि कोई तत्व उपस्थित है {{math|''c'' ∈ ''U''}} ऐसा है कि {{math|1=''f''{{i sup|(''n'')}}(''c'') = ''g''{{i sup|(''n'')}}(''c'')}} सभी के लिए {{math|''n'' ≥ 0}}, तब {{math|1=''f''(''x'') = ''g''(''x'')}} सभी के लिए {{math|''x'' ''U''}}.
विश्लेषणात्मक फलन का वैश्विक रूप निम्नलिखित अर्थों में उसके स्थानीय व्यवहार से पूर्ण रूप से निर्धारित होता है: यदि ''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'')}} है।


यदि अभिसरण आर की त्रिज्या के साथ घातश्रृंखला दी गई है, तो कोई श्रृंखला की [[विश्लेषणात्मक निरंतरता]] पर विचार कर सकता है, अर्थात विश्लेषणात्मक कार्य एफ जो कि बड़े सेटों पर परिभाषित होते हैं {{math|{{mset| ''x'' | {{abs|''x'' − ''c''}} < ''r'' }}}} और इस सेट पर दी गई पावर श्रृंखला से सहमत हूं। संख्या r निम्नलिखित अर्थ में अधिकतम है: हमेशा जटिल संख्या उपस्थित होती है {{mvar|x}} साथ {{math|1={{abs|''x'' − ''c''}} = ''r''}} ऐसा कि श्रृंखला की किसी भी विश्लेषणात्मक निरंतरता को परिभाषित नहीं किया जा सकता है {{mvar|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>, लेकिन योग असीमित कार्य है और, विशेष रूप से, असंतत है। सीमा बिंदु पर तरफा निरंतरता के लिए पर्याप्त शर्त हाबिल के प्रमेय द्वारा दी गई है।
# अभिसरण की डिस्क के बंद होने पर अभिसरण किन्तु निरंतर योग नहीं: वाकलॉ सिएरपिंस्की|सिएरपिंस्की ने उदाहरण दिया<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

गणित में, घात श्रृंखला (चर में) रूप की अनंत श्रृंखला होती है:

जहाँ anवें पद के गुणांक का प्रतिनिधित्व करता है और c स्थिरांक है। घात श्रृंखला गणितीय विश्लेषण में उपयोगी होती है, जहां वे असीम रूप से भिन्न कार्यों की टेलर श्रृंखला के रूप में उत्पन्न होती हैं। वास्तव में, बोरेल की प्रमेय का तात्पर्य है कि प्रत्येक घात श्रृंखला कुछ सुचारु कार्य की टेलर श्रृंखला है।

कई स्थितियों में, c (श्रृंखला का केंद्र) शून्य के समान होता है, उदाहरण के लिए मैकलॉरिन श्रृंखला पर विचार करते समय होता है। ऐसी स्थिति में, घात श्रृंखला सरल रूप लेती है:

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

उदाहरण

बहुपद

घातीय फ़ंक्शन (नीले रंग में), और इसकी मैकलॉरिन श्रृंखला (लाल रंग में) के पहले n + 1 शब्दों के योग से इसका सुधार सन्निकटन। तो
n=0 देता है ,
n=1 ,
n=2 ,
n=3 वगैरह-वगैरह.

किसी भी बहुपद को किसी भी केंद्र c के चारों ओर घात श्रृंखला के रूप में सरलता से व्यक्त किया जा सकता है, चूँकि सीमित रूप से कई गुणांकों को त्यागकर सभी शून्य होंगे क्योंकि परिभाषा के अनुसार घात श्रृंखला में अनंत रूप से कई पद होते हैं। उदाहरण के लिए, बहुपद को केंद्र के चारों ओर घात श्रृंखला के रूप में लिखा जा सकता है के रूप में लिखा जा सकता है:

या केंद्र के निकट के रूप में लिखा जा सकता है:
इसका कारण टेलर श्रृंखला के चारों ओर f(x) का विस्तार है है:

जैसा और गैर-शून्य व्युत्पन्न हैं , इसलिए और , स्थिरांक हैं।

या वास्तव में किसी अन्य केंद्र के निकट विस्तार संभव है।[1] कोई घात श्रृंखला को अनंत डिग्री के बहुपदों के रूप में देख सकता है, चूँकि घात श्रृंखला बहुपद नहीं हैं।

ज्यामितीय श्रृंखला, घातांकीय फलन और ज्या

ज्यामितीय श्रृंखला सूत्र;

जिसके लिए मान्य है, घात श्रृंखला के सबसे महत्वपूर्ण उदाहरणों में से है, जैसे कि घातीय फलन सूत्र हैं;
और ज्या सूत्र
सभी वास्तविक x के लिए मान्य हैं।

ये घात श्रृंखला भी टेलर श्रृंखला के उदाहरण हैं।

घातांक के समुच्चय पर

किसी घात शृंखला में नकारात्मक घातों की अनुमति नहीं है; उदाहरण के लिए, इसे घात श्रृंखला नहीं माना जाता है (चूँकि यह लॉरेंट श्रृंखला है)। इसी प्रकार, भिन्नात्मक घात जैसे की अनुमति नहीं है (किन्तु पुइसेक्स श्रृंखला देखें)। गुणांक पर निर्भर रहने की अनुमति नहीं है , इस प्रकार उदाहरण के लिए:

कोई घात शृंखला नहीं है।

अभिसरण की त्रिज्या

घात श्रृंखला चर x के कुछ मानों के लिए अभिसरण श्रृंखला है , जिसमें सदैव x = c सम्मिलित होगा (सदैव के जैसे, के रूप में मूल्यांकन 1 है और श्रृंखला का योग इस प्रकार है के लिए x = c)। x के अन्य मानों के लिए श्रृंखला भिन्न हो सकती है। यदि c अभिसरण का एकमात्र बिंदु नहीं है, तो सदैव 0 < r ≤ ∞ के साथ संख्या r होती है, जिससे शृंखला जब भी अभिसरित होती है |xc| < r और जब भी |xc| > r विचलन होता है। संख्या r को घात श्रृंखला के अभिसरण की त्रिज्या कहा जाता है; सामान्यतः इसे इस प्रकार दिया जाता है:

या, समकक्ष,
(यह कॉची-हैडामर्ड प्रमेय है; अंकन की व्याख्या के लिए सीमा श्रेष्ठ और सीमा निम्न देखें)। संबंध;
यदि यह सीमा उपस्थित है तो वह भी संतुष्ट है।

सम्मिश्र संख्याओं का समुच्चय इस प्रकार है कि |xc| < r को श्रृंखला की अभिसरण डिस्क कहा जाता है। अभिसरण की डिस्क के अंदर श्रृंखला पूर्ण अभिसरण, और अभिसरण की डिस्क के प्रत्येक सघन स्थान उपसमुच्चय पर समान अभिसरणकरती है।

|xc| = r, के लिए श्रृंखला के अभिसरण पर कोई सामान्य कथन नहीं है। चूँकि, एबेल के प्रमेय में कहा गया है कि यदि श्रृंखला कुछ मूल्य z के लिए अभिसरण है, जैसे कि |zc| = r, तो x = z के लिए श्रृंखला का योग x = c + t (zc) के लिए श्रृंखला के योग की सीमा है, जहां t 1 से कम एक वास्तविक चर है जो 1 की ओर प्रवृत्त होता है।

घात श्रृंखला पर संचालन

जोड़ना और घटाना

जब दो फलन f और g को एक ही केंद्र c के चारों ओर घात श्रृंखला में विघटित किया जाता है, तो फलन के योग या अंतर की घात श्रृंखला शब्दवार जोड़ और घटाव द्वारा प्राप्त की जा सकती है। अर्थात यदि;

और,
तब;
यह सत्य नहीं है कि यदि दो घात श्रृंखला है और तब अभिसरण की त्रिज्या समान होती है अभिसरण की यह त्रिज्या भी है। यदि और , तो दोनों श्रृंखलाओं में 1 के अभिसरण की समान त्रिज्या है, किन्तु श्रृंखला अभिसरण की त्रिज्या 3 है।

दो घात श्रृंखलाओं के योग में, कम से कम, दो श्रृंखलाओं के अभिसरण की दो त्रिज्याओं में से छोटी त्रिज्या के अभिसरण की त्रिज्या होगी (और यह दोनों में से किसी से अधिक हो सकती है, जैसा कि ऊपर दिए गए उदाहरण में देखा गया है)।[2]

गुणा और भाग

समान परिभाषाओं के साथ और के लिए, उत्पाद की घातश्रृंखला और कार्यों का भागफल निम्नानुसार प्राप्त किया जा सकता है:

क्रम को अनुक्रमों के कनवल्शन और . के रूप में जाना जाता है।

विभाजन के लिए, यदि कोई अनुक्रम को द्वारा परिभाषित करता है;

तब,
और कोई भी नियमों का पुनरावर्ती रूप से गुणांकों की तुलना करके समाधान कर सकता है।

संगत समीकरणों का समाधान करने से गुणांक के कुछ आव्यूहों के निर्धारकों के आधार पर सूत्र और प्राप्त होते हैं:

विभेदीकरण और एकीकरण

फलन उपरोक्त के अनुसार घात श्रृंखला के रूप में दिया गया है, यह अभिसरण के क्षेत्र के आंतरिक पर व्युत्पन्न है। प्रत्येक पद को भिन्न-भिन्न मानकर इसे सरलता से विभेदित और एकीकृत किया जा सकता है:

इन दोनों श्रृंखलाओं में मूल श्रृंखला के समान ही अभिसरण की त्रिज्या है।

विश्लेषणात्मक फलन

'R' या 'C' के कुछ खुले उपसमुच्चय U पर परिभाषित फलन f को विश्लेषणात्मक कहा जाता है यदि यह स्थानीय रूप से अभिसरण घात श्रृंखला द्वारा दिया जाता है। इसका तात्पर्य यह है कि प्रत्येक a ∈ U में विवृत निकट V ⊆ U है, जैसे कि केंद्र a के साथ घात श्रृंखला उपस्थित है जो प्रत्येक x ∈ V के लिए f(x) में परिवर्तित होती है।

अभिसरण की सकारात्मक त्रिज्या वाली प्रत्येक घात श्रृंखला अपने अभिसरण क्षेत्र के आंतरिक भाग पर विश्लेषणात्मक होती है। सभी होलोमोर्फिक फलन जटिल-विश्लेषणात्मक हैं। विश्लेषणात्मक कार्यों के योग और उत्पाद विश्लेषणात्मक होते हैं, जैसे कि भागफल तब तक विश्लेषणात्मक होते हैं जब तक हर गैर-शून्य होता है।

यदि कोई फलन विश्लेषणात्मक है, तो यह असीम रूप से भिन्न होता है, किन्तु वास्तविक स्थिति में इसका विपरीत सामान्यतः सत्य नहीं होता है। विश्लेषणात्मक फलन के लिए, गुणांक an के रूप में गणना की जा सकती है:

जहां c पर f के nवें अवकलज को दर्शाता है, और है, इसका तात्पर्य यह है कि प्रत्येक विश्लेषणात्मक फलन को स्थानीय रूप से उसकी टेलर श्रृंखला द्वारा दर्शाया जाता है।

विश्लेषणात्मक फलन का वैश्विक रूप निम्नलिखित अर्थों में उसके स्थानीय व्यवहार से पूर्ण रूप से निर्धारित होता है: यदि f और g दो विश्लेषणात्मक फलन हैं जो एक ही कनेक्टिविटी ओपन समुच्चय U पर परिभाषित हैं, और यदि कोई तत्व cU उपस्थित है जैसे कि f(n)(c) = g(n)(c) सभी के लिए n ≥ 0, तब सभी xU के लिए f(x) = g(x) है।

यदि अभिसरण r की त्रिज्या के साथ घात श्रृंखला दी गई है, तो कोई श्रृंखला की विश्लेषणात्मक निरंतरता पर विचार कर सकता है, अर्थात विश्लेषणात्मक फलन f जो कि { x | |xc| < r} और इस समुच्चय पर दी गई पर घात श्रृंखला से सहमत हैं। संख्या r निम्नलिखित अर्थ में अधिकतम है: |xc| = r के साथ सदैव जटिल संख्या x उपस्थित होती है, यह इस प्रकार है कि श्रृंखला की कोई भी विश्लेषणात्मक निरंतरता x पर परिभाषित नहीं की जा सकती है।

विश्लेषणात्मक फलन के व्युत्क्रम फलन की घात श्रृंखला विस्तार को लैग्रेंज व्युत्क्रम प्रमेय का उपयोग करके निर्धारित किया जा सकता है।

सीमा के निकट व्यवहार

अभिसरण की सकारात्मक त्रिज्या के साथ घातश्रृंखला का योग अभिसरण डिस्क के आंतरिक भाग में प्रत्येक बिंदु पर विश्लेषणात्मक कार्य है। हालाँकि, उस डिस्क की सीमा पर बिंदुओं पर भिन्न व्यवहार हो सकता है। उदाहरण के लिए:

  1. विचलन जबकि योग विश्लेषणात्मक फ़ंक्शन तक विस्तारित होता है: अभिसरण की त्रिज्या के समान है और हर बिंदु पर अलग हो जाता है . फिर भी, योग है को छोड़कर, जो विमान के हर बिंदु पर विश्लेषणात्मक है .
  2. कुछ बिंदुओं पर अभिसरण दूसरों पर भिन्न: अभिसरण की त्रिज्या है . इसके लिए अभिसरण होता है , जबकि यह भिन्न होता है .
  3. सीमा के प्रत्येक बिंदु पर पूर्ण अभिसरण: अभिसरण की त्रिज्या है , जबकि यह हर बिंदु पर पूर्णतः और समान रूप से अभिसरित होता है हार्मोनिक श्रृंखला (गणित) के साथ लागू वीयरस्ट्रैस एम-टेस्ट के कारण#p-श्रृंखला|हाइपर-हार्मोनिक अभिसरण श्रृंखला .
  4. अभिसरण की डिस्क के बंद होने पर अभिसरण किन्तु निरंतर योग नहीं: वाकलॉ सिएरपिंस्की|सिएरपिंस्की ने उदाहरण दिया[3] अभिसरण की त्रिज्या के साथ घातश्रृंखला की , सभी बिंदुओं पर अभिसरण , किन्तु योग असीमित कार्य है और, विशेष रूप से, असंतत है। सीमा बिंदु पर तरफा निरंतरता के लिए पर्याप्त शर्त हाबिल के प्रमेय द्वारा दी गई है।

औपचारिक घात श्रृंखला

अमूर्त बीजगणित में, व्यक्ति वास्तविक और जटिल संख्याओं के क्षेत्र तक सीमित हुए बिना और अभिसरण के विषय में विचार किए बिना घात श्रृंखला के सार को पकड़ने का प्रयास करता है। यह औपचारिक घात श्रृंखला की अवधारणा की ओर ले जाता है, जो बीजगणितीय कॉम्बिनेटरिक्स में महान उपयोगिता की अवधारणा है।

कई चर में पावर श्रृंखला

बहुपरिवर्तनीय कलन के प्रयोजनों के लिए सिद्धांत का विस्तार आवश्यक है। यहाँ घातश्रृंखला को रूप की अनंत श्रृंखला के रूप में परिभाषित किया गया है

कहाँ j = (j1, …, jn) प्राकृतिक संख्याओं, गुणांकों का सदिश है a(j1, …, jn) सामान्यतः वास्तविक या सम्मिश्र संख्याएँ और केंद्र होते हैं c = (c1, …, cn) और तर्क x = (x1, …, xn) सामान्यतः वास्तविक या जटिल वेक्टर होते हैं। प्रतीक गुणन#कैपिटल पाई नोटेशन है, जो गुणन को दर्शाता है। इसे अधिक सुविधाजनक बहु सूचकांक नोटेशन में लिखा जा सकता है
कहाँ प्राकृतिक संख्याओं का समुच्चय है, इत्यादि प्राकृतिक संख्याओं के क्रमित n-टुपल्स का समुच्चय है।

ऐसी श्रृंखला का सिद्धांत ल-चर श्रृंखला की तुलना में अधिक पेचीदा है, जिसमें अभिसरण के अधिक जटिल क्षेत्र हैं। उदाहरण के लिए, पावर श्रृंखला सेट में बिल्कुल अभिसरण है दो अतिपरवलय के बीच. (यह लॉग-उत्तल सेट का उदाहरण है, इस अर्थ में कि बिंदुओं का सेट , कहाँ उपरोक्त क्षेत्र में स्थित, उत्तल समुच्चय है। अधिक सामान्यतः, कोई यह दिखा सकता है कि जब c=0, पूर्ण अभिसरण के क्षेत्र का आंतरिक भाग हमेशा इस अर्थ में लॉग-उत्तल सेट होता है।) दूसरी ओर, अभिसरण के इस क्षेत्र के आंतरिक भाग में कोई अंतर और ीकृत हो सकता है श्रृंखला चिह्न के अंतर्गत, ठीक वैसे ही जैसे कोई सामान्य घातश्रृंखला के साथ कर सकता है।[4]

घात श्रृंखला का क्रम

मान लीजिए α घात श्रृंखला f(x1, x2, …, xn) के लिए बहु-सूचकांक है। घात श्रृंखला f के क्रम को न्यूनतम मान के रूप में परिभाषित किया गया है इस प्रकार है कि aα ≠ 0 है। , या यदि f ≡ 0 है। विशेष रूप से, एकल चर x में घात श्रृंखला f(x) के लिए, f का क्रम गैर-शून्य गुणांक के साथ x की सबसे छोटी घात है। यह परिभाषा सरलता से लॉरेंट श्रृंखला तक विस्तारित है।

टिप्पणियाँ

  1. Howard Levi (1967). बहुपद, घात श्रृंखला, और कैलकुलस. Van Nostrand. p. 24.
  2. Erwin Kreyszig, Advanced Engineering Mathematics, 8th ed, page 747
  3. 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.
  4. Beckenbach, E. F. (1948). "उत्तल कार्य". Bulletin of the American Mathematical Society. 54 (5): 439–460. doi:10.1090/S0002-9904-1948-08994-7.

संदर्भ

बाहरी संबंध