View source for घात श्रेणी

{{short description|Infinite sum of monomials}}

गणित में, '''घात श्रेणी''' ([[चर (गणित)|चर]] में) रूप की अनंत श्रेणी होती है:
<math display="block">\sum_{n=0}^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots</math>
जहाँ ''a''<sub>n</sub>वें पद के गुणांक का प्रतिनिधित्व करता है और c स्थिरांक है। घात श्रेणी [[गणितीय विश्लेषण]] में उपयोगी होती है, जहां वे असीम रूप से भिन्न फलन की [[टेलर श्रृंखला|टेलर श्रेणी]] के रूप में उत्पन्न होती हैं। वास्तव में, बोरेल की प्रमेय का तात्पर्य है कि प्रत्येक घात श्रेणी कुछ सुचारु कार्य की टेलर श्रेणी है।

कई स्थितियों में, c (श्रेणी का केंद्र) शून्य के समान होता है, उदाहरण के लिए [[मैकलॉरिन श्रृंखला|मैकलॉरिन श्रेणी]] पर विचार करते समय होता है। ऐसी स्थिति में, घात श्रेणी सरल रूप लेती है:
<math display="block">\sum_{n=0}^\infty a_n x^n = a_0 + a_1 x + a_2 x^2 + \dots.</math>
गणितीय विश्लेषण में उनकी भूमिका से परे, घात श्रेणी [[साहचर्य]] में [[जनरेटिंग फ़ंक्शन|जनक फलन]] (एक प्रकार की औपचारिक घात श्रेणी) और इलेक्ट्रॉनिक इंजीनियरिंग ([[जेड को बदलने|जेड-ट्रांसफॉर्म]] के नाम के अनुसार) के रूप में भी होती है। [[वास्तविक संख्या|वास्तविक संख्याओं]] के लिए परिचित [[दशमलव प्रतिनिधित्व|दशमलव संकेतन]] को [[पूर्णांक]] गुणांक के साथ घात श्रेणी के उदाहरण के रूप में भी देखा जा सकता है, किन्तु तर्क x के साथ {{Fraction|1|10}} पर निश्चित किया गया है। [[संख्या सिद्धांत]] में, पी-एडिक संख्या|पी-एडिक संख्याओं की अवधारणा भी घात श्रेणी से निकटता से संबंधित है।

==उदाहरण==

===बहुपद===
[[Image:Exp series.gif|right|thumb|घातीय फलन (नीले रंग में), और इसकी मैकलॉरिन श्रेणी (लाल रंग में) के पूर्व n + 1 शब्दों के योग से इसका सुधार सन्निकटन है। इसलिए,<br> n=0 देता है <math>f(x) = 1</math>,<br> n=1 <math>f(x) = 1 + x</math>,<br> n=2 <math>f(x)= 1 + x + x^2/2</math>, <br> n=3 <math>f(x)= 1 + x + x^2/2 + x^3/6</math> इत्यादि। ]]किसी भी [[बहुपद]] को किसी भी केंद्र c के चारों ओर घात श्रेणी के रूप में सरलता से व्यक्त किया जा सकता है, चूँकि सीमित रूप से कई गुणांकों को त्यागकर सभी शून्य होंगे क्योंकि परिभाषा के अनुसार घात श्रेणी में अनंत रूप से कई पद होते हैं। उदाहरण के लिए, बहुपद <math display="inline">f(x) = x^2 + 2x + 3</math> को केंद्र के चारों ओर घात श्रेणी के रूप में लिखा जा सकता है <math display="inline">c = 0</math> के रूप में लिखा जा सकता है: 
<math display="block">f(x) = 3 + 2 x + 1 x^2 + 0 x^3 + 0 x^4 + \cdots</math>
या केंद्र के निकट <math display="inline">c = 1</math> के रूप में लिखा जा सकता है: 
<math display="block">f(x) = 6 + 4(x - 1) + 1(x - 1)^2 + 0(x - 1)^3 + 0(x - 1)^4 + \cdots </math>
इसका कारण टेलर श्रेणी के चारों ओर f(x) का विस्तार है <math display="inline">x = 1</math> है:

<math display="block">f(x) = f(1)+\frac {f'(1)}{1!} (x-1)+ \frac{f''(1)}{2!} (x-1)^2+\frac{f'''(1)}{3!}(x-1)^3+ \cdots, </math>
जैसा <math display="inline">f(x=1) = 1 + 2 +3 = 6 </math> और गैर-शून्य व्युत्पन्न हैं <math display="inline">f'(x) = 2x + 2</math>, इसलिए <math display="inline">f'(1) = 4</math> और <math display="inline">f''(x) = 2</math>, स्थिरांक हैं।

या वास्तव में किसी अन्य केंद्र के निकट विस्तार संभव है।<ref>{{cite book|author=Howard Levi|title=बहुपद, घात श्रृंखला, और कैलकुलस| url=https://books.google.com/books?id=AcI-AAAAIAAJ|year=1967|publisher=Van Nostrand|pages=24|author-link=Howard Levi}}</ref> कोई घात श्रेणी को अनंत डिग्री के बहुपदों के रूप में देख सकता है, चूँकि घात श्रेणी बहुपद नहीं हैं।

===ज्यामितीय श्रेणी, घातांकीय फलन और ज्या===
ज्यामितीय श्रेणी सूत्र;
<math display="block">\frac{1}{1 - x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + x^3 + \cdots,</math>
जिसके लिए <math display="inline">|x| < 1</math> मान्य है, घात श्रेणी के सबसे महत्वपूर्ण उदाहरणों में से है, जैसे कि घातीय फलन सूत्र हैं;
<math display="block">e^x = \sum_{n=0}^\infty \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots,</math>
और ज्या सूत्र
<math display="block">\sin(x) = \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n + 1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots,</math>
सभी वास्तविक x के लिए मान्य हैं।

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

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

किसी घात शृंखला में नकारात्मक घातों की अनुमति नहीं है; उदाहरण के लिए, <math display="inline">1 + x^{-1} + x^{-2} + \cdots</math> इसे घात श्रेणी नहीं माना जाता है (चूँकि यह [[लॉरेंट श्रृंखला|लॉरेंट श्रेणी]] है)। इसी प्रकार, भिन्नात्मक घात जैसे <math display="inline">x^\frac{1}{2}</math> की अनुमति नहीं है (किन्तु [[पुइसेक्स श्रृंखला|पुइसेक्स श्रेणी]] देखें)। गुणांक <math display="inline"> a_n</math> पर निर्भर रहने की अनुमति नहीं है {{nowrap|<math display="inline">x</math>,}} इस प्रकार उदाहरण के लिए:
<math display="block">\sin(x) x + \sin(2x) x^2 + \sin(3x) x^3 + \cdots </math>
कोई घात शृंखला नहीं है।

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

घात श्रेणी <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^{-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|{{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 के चारों ओर घात श्रेणी में विघटित किया जाता है, तो फलन के योग या अंतर की घात श्रेणी शब्दवार जोड़ और घटाव द्वारा प्राप्त की जा सकती है। अर्थात यदि;
<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="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}
  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) \\
           &= \sum_{i=0}^\infty \sum_{j=0}^\infty  a_i b_j (x - c)^{i+j} \\
           &= \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) (x - c)^n.
\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>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">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_n=\frac{1}{b_0^{n+1}} \begin{vmatrix}
a_n    &b_1   &b_2   &\cdots&b_n    \\
a_{n-1}&b_0   &b_1   &\cdots&b_{n-1}\\
a_{n-2}&0     &b_0   &\cdots&b_{n-2}\\
\vdots &\vdots&\vdots&\ddots&\vdots \\
a_0    &0     &0     &\cdots&b_0\end{vmatrix}</math>
===विभेदीकरण और एकीकरण===
फलन <math>f(x)</math> उपरोक्त के अनुसार घात श्रेणी के रूप में दिया गया है, यह अभिसरण के क्षेत्र के [[आंतरिक (टोपोलॉजी)|आंतरिक]] पर व्युत्पन्न है। प्रत्येक पद को भिन्न-भिन्न मानकर इसे सरलता से विभेदित और [[अभिन्न|एकीकृत]] किया जा सकता है:
<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, \\
  \int f(x)\,dx &= \sum_{n=0}^\infty \frac{a_n (x - c)^{n+1}}{n + 1} + k = \sum_{n=1}^\infty \frac{a_{n-1} (x - c)^n}{n} + k.
\end{align}</math>
इन दोनों श्रेणीओं में मूल श्रेणी के समान ही अभिसरण की त्रिज्या है।

== विश्लेषणात्मक फलन ==
{{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>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}} पर परिभाषित नहीं की जा सकती है।

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

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

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

# विचलन जबकि योग विश्लेषणात्मक फलन तक विस्तारित होता है: <math display="inline">\sum_{n=0}^{\infty}z^n</math> अभिसरण की त्रिज्या <math>1</math> के समान है और प्रत्येक बिंदु <math>|z|=1</math> पर विचलन होता है। फिर भी, योग <math>|z|<1</math> है <math display="inline">\frac{1}{1-z}</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> हाइपर-हार्मोनिक अभिसरण श्रेणी के साथ प्रारम्भ [[वीयरस्ट्रैस एम-टेस्ट|वीयरस्ट्रैस एम-परीक्षण]]  के कारण <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> है, किन्तु योग असीमित कार्य है और, विशेष रूप से असंतत है। सीमा बिंदु पर एक तरफा निरंतरता के लिए पर्याप्त नियम हाबिल के प्रमेय द्वारा दी गई है।

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

== कई चर में घात श्रेणी ==
बहुपरिवर्तनीय कलन के प्रयोजनों के लिए सिद्धांत का विस्तार आवश्यक है। यहाँ घात श्रेणी को अनंत श्रेणी के रूप में परिभाषित किया गया है:
<math display="block">f(x_1, \dots, x_n) = \sum_{j_1, \dots, j_n = 0}^\infty a_{j_1, \dots, j_n} \prod_{k=1}^n (x_k - c_k)^{j_k},</math>
जहां {{math|1=''j'' = (''j''<sub>1</sub>, …, ''j''<sub>''n''</sub>)}} प्राकृतिक संख्याओं, गुणांकों {{math|''a''<sub>(''j''<sub>1</sub>, …, ''j''<sub>''n''</sub>)</sub>}} का सदिश है सामान्यतः वास्तविक या सम्मिश्र संख्याएँ और केंद्र {{math|1=''c'' = (''c''<sub>1</sub>, …, ''c''<sub>''n''</sub>)}} और तर्क {{math|1=''x'' = (''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}} सामान्यतः वास्तविक या जटिल वेक्टर होते हैं। प्रतीक <math>\Pi</math> गुणन को दर्शाने वाला उत्पाद प्रतीक है। इसे अधिक सुविधाजनक [[ बहु सूचकांक |बहु सूचकांक]] नोटेशन में लिखा जा सकता है:
<math display="block">f(x) = \sum_{\alpha \in \N^n} a_\alpha (x - c)^\alpha.</math>
जहां <math>\N</math> [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] का समुच्चय है, इत्यादि <math>\N^n</math> प्राकृतिक संख्याओं के क्रमित n-टुपल्स का समुच्चय है।

ऐसी श्रेणी का सिद्धांत एकल-चर श्रेणी की तुलना में अधिक जटिल है, जिसमें अभिसरण के अधिक जटिल क्षेत्र हैं। उदाहरण के लिए, घात श्रेणी <math display="inline">\sum_{n=0}^\infty x_1^n x_2^n</math> समुच्चय में बिल्कुल अभिसरण है <math>\{ (x_1, x_2): |x_1 x_2| < 1\}</math> दो अतिपरवलय के मध्य है। (यह लॉग-उत्तल समुच्चय का उदाहरण है, इस अर्थ में कि बिंदुओं का समुच्चय <math>(\log |x_1|, \log |x_2|)</math>, जहां <math>(x_1, x_2)</math> उपरोक्त क्षेत्र में स्थित, उत्तल समुच्चय है। अधिक सामान्यतः, कोई यह दिखा सकता है कि जब c=0, पूर्ण अभिसरण के क्षेत्र का आंतरिक भाग सदैव इस अर्थ में लॉग-उत्तल समुच्चय होता है।) दूसरी ओर, अभिसरण के इस क्षेत्र के आंतरिक भाग में कोई अंतर और एकीकरण कर सकता है, जैसे कोई सामान्य घात श्रेणी के साथ कर सकता है।<ref>{{cite journal |doi=10.1090/S0002-9904-1948-08994-7|title=उत्तल कार्य|year=1948|last1=Beckenbach|first1=E. F.|journal=Bulletin of the American Mathematical Society|volume=54|issue=5|pages=439–460|doi-access=free}}</ref>
== घात श्रेणी का क्रम ==
मान लीजिए {{mvar|α}} घात श्रेणी  {{math|''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>, …, ''x''<sub>''n''</sub>)}} के लिए बहु-सूचकांक है। घात श्रेणी f के क्रम को न्यूनतम मान के रूप में परिभाषित किया गया है <math>r</math> इस प्रकार है कि ''a<sub>α</sub>'' ≠ 0 है। <math>r = |\alpha| = \alpha_1 + \alpha_2 + \cdots + \alpha_n</math>, या <math>\infty</math> यदि f ≡ 0 है। विशेष रूप से, एकल चर x में घात श्रेणी f(x) के लिए, f का क्रम गैर-शून्य गुणांक के साथ x की सबसे छोटी घात है। यह परिभाषा सरलता से लॉरेंट श्रेणी तक विस्तारित है।

== टिप्पणियाँ ==
{{Reflist}}

== संदर्भ ==
*{{SpringerEOM|title=Power series|id=Power_series&oldid=15309|last=Solomentsev|first=E.D.}}
== बाहरी संबंध ==
* {{MathWorld | urlname= FormalPowerSeries | title= Formal Power Series }}
* {{MathWorld | urlname= PowerSeries | title= Power Series }}
* [http://demonstrations.wolfram.com/PowersOfComplexNumbers/ Powers of Complex Numbers] by Michael Schreiber, [[Wolfram Demonstrations Project]].
{{DEFAULTSORT:Power Series}}

[[Category:Articles with hatnote templates targeting a nonexistent page|Power Series]]
[[Category:Collapse templates|Power Series]]
[[Category:Created On 04/07/2023|Power Series]]
[[Category:Lua-based templates|Power Series]]
[[Category:Machine Translated Page|Power Series]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Power Series]]
[[Category:Pages with script errors|Power Series]]
[[Category:Short description with empty Wikidata description|Power Series]]
[[Category:Sidebars with styles needing conversion|Power Series]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Power Series]]
[[Category:Templates generating microformats|Power Series]]
[[Category:Templates that add a tracking category|Power Series]]
[[Category:Templates that are not mobile friendly|Power Series]]
[[Category:Templates that generate short descriptions|Power Series]]
[[Category:Templates using TemplateData|Power Series]]
[[Category:Wikipedia metatemplates|Power Series]]
[[Category:गणितीय श्रृंखला|Power Series]]
[[Category:जटिल विश्लेषण|Power Series]]
[[Category:बहुचरीय कलन|Power Series]]
[[Category:वास्तविक विश्लेषण|Power Series]]