घात श्रेणी

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

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

बहुपद
किसी भी बहुपद को किसी भी केंद्र c के चारों ओर घात श्रृंखला के रूप में सरलता से व्यक्त किया जा सकता है, चूँकि सीमित रूप से कई गुणांकों को त्यागकर सभी शून्य होंगे क्योंकि परिभाषा के अनुसार घात श्रृंखला में अनंत रूप से कई पद होते हैं। उदाहरण के लिए, बहुपद $f(x) = x^2 + 2x + 3$ को केंद्र के चारों ओर घात श्रृंखला के रूप में लिखा जा सकता है $c = 0$  के रूप में लिखा जा सकता है: $$f(x) = 3 + 2 x + 1 x^2 + 0 x^3 + 0 x^4 + \cdots$$ या केंद्र के निकट $c = 1$ के रूप में लिखा जा सकता है: $$f(x) = 6 + 4(x - 1) + 1(x - 1)^2 + 0(x - 1)^3 + 0(x - 1)^4 + \cdots $$ इसका कारण टेलर श्रृंखला के चारों ओर f(x) का विस्तार है $x = 1$ है:

$$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, $$ जैसा $f(x=1) = 1 + 2 +3 = 6 $ और गैर-शून्य व्युत्पन्न हैं $f'(x) = 2x + 2$, इसलिए $f'(1) = 4$  और $f''(x) = 2$ , स्थिरांक हैं।

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

ज्यामितीय श्रृंखला, घातांकीय फलन और ज्या
ज्यामितीय श्रृंखला सूत्र; $$\frac{1}{1 - x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + x^3 + \cdots,$$ जिसके लिए $|x| < 1$ मान्य है, घात श्रृंखला के सबसे महत्वपूर्ण उदाहरणों में से है, जैसे कि घातीय फलन सूत्र हैं; $$e^x = \sum_{n=0}^\infty \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots,$$ और ज्या सूत्र $$\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,$$ सभी वास्तविक x के लिए मान्य हैं।

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

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

अभिसरण की त्रिज्या
घात श्रृंखला $ \sum_{n=0}^\infty a_n(x-c)^n$ चर $x$ के कुछ मानों के लिए अभिसरण श्रृंखला है, जिसमें सदैव $x = c$ सम्मिलित होगा (सदैव के जैसे, $$(x-c)^0$$ के रूप में मूल्यांकन $1$ है और श्रृंखला का योग इस प्रकार है $$a_0$$ के लिए $x = c$)। $x$ के अन्य मानों के लिए श्रृंखला भिन्न हो सकती है। यदि $c$ अभिसरण का एकमात्र बिंदु नहीं है, तो सदैव $0 < r ≤ ∞$ के साथ संख्या $r$ होती है, जिससे शृंखला जब भी अभिसरित होती है $|x – c| < r$ और जब भी $|x – c| > r$ विचलन होता है। संख्या  $r$ को घात श्रृंखला के अभिसरण की त्रिज्या कहा जाता है; सामान्यतः इसे इस प्रकार दिया जाता है: $$r = \liminf_{n\to\infty} \left|a_n\right|^{-\frac{1}{n}}$$ या, समकक्ष, $$r^{-1} = \limsup_{n\to\infty} \left|a_n\right|^\frac{1}{n}$$ (यह कॉची-हैडामर्ड प्रमेय है; अंकन की व्याख्या के लिए सीमा श्रेष्ठ और सीमा निम्न देखें)। संबंध; $$r^{-1} = \lim_{n\to\infty}\left|{a_{n+1}\over a_n}\right|$$ यदि यह सीमा उपस्थित है तो वह भी संतुष्ट है।

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

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

जोड़ना और घटाना
जब दो फलन f और g को एक ही केंद्र c के चारों ओर घात श्रृंखला में विघटित किया जाता है, तो फलन के योग या अंतर की घात श्रृंखला शब्दवार जोड़ और घटाव द्वारा प्राप्त की जा सकती है। अर्थात यदि; $$f(x) = \sum_{n=0}^\infty a_n (x - c)^n$$ और, $$g(x) = \sum_{n=0}^\infty b_n (x - c)^n$$ तब; $$f(x) \pm g(x) = \sum_{n=0}^\infty (a_n \pm b_n) (x - c)^n.$$ यह सत्य नहीं है कि यदि दो घात श्रृंखला है $\sum_{n=0}^\infty a_n x^n$ और $\sum_{n=0}^\infty b_n x^n$  तब अभिसरण की त्रिज्या समान $\sum_{n=0}^\infty \left(a_n + b_n\right) x^n$  होती है अभिसरण की यह त्रिज्या भी है। यदि $a_n = (-1)^n$  और $b_n = (-1)^{n+1} \left(1 - \frac{1}{3^n}\right)$, तो दोनों श्रृंखलाओं में 1 के अभिसरण की समान त्रिज्या है, किन्तु श्रृंखला $\sum_{n=0}^\infty \left(a_n + b_n\right) x^n = \sum_{n=0}^\infty \frac{(-1)^n}{3^n} x^n$  अभिसरण की त्रिज्या 3 है।

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

गुणा और भाग
समान परिभाषाओं के साथ $$f(x)$$ और $$g(x)$$ के लिए, उत्पाद की घातश्रृंखला और कार्यों का भागफल निम्नानुसार प्राप्त किया जा सकता है: $$\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}$$ क्रम $m_n = \sum_{i=0}^n a_i b_{n-i}$ को अनुक्रमों के कनवल्शन $$a_n$$ और $b_n$. के रूप में जाना जाता है।

विभाजन के लिए, यदि कोई अनुक्रम को $$d_n$$ द्वारा परिभाषित करता है; $$\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$$ तब, $$f(x) = \left(\sum_{n=0}^\infty b_n (x - c)^n\right)\left(\sum_{n=0}^\infty d_n (x - c)^n\right)$$ और कोई भी नियमों का पुनरावर्ती रूप से $$d_n$$ गुणांकों की तुलना करके समाधान कर सकता है।

संगत समीकरणों का समाधान करने से गुणांक के कुछ आव्यूहों के निर्धारकों के आधार पर सूत्र $$f(x)$$ और $$g(x)$$ प्राप्त होते हैं: $$d_0=\frac{a_0}{b_0}$$ $$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}$$

विभेदीकरण और एकीकरण
फलन $$f(x)$$ उपरोक्त के अनुसार घात श्रृंखला के रूप में दिया गया है, यह अभिसरण के क्षेत्र के आंतरिक पर व्युत्पन्न है। प्रत्येक पद को भिन्न-भिन्न मानकर इसे सरलता से विभेदित और एकीकृत किया जा सकता है: $$\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}$$ इन दोनों श्रृंखलाओं में मूल श्रृंखला के समान ही अभिसरण की त्रिज्या है।

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

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

यदि कोई फलन विश्लेषणात्मक है, तो यह असीम रूप से भिन्न होता है, किन्तु वास्तविक स्थिति में इसका विपरीत सामान्यतः सत्य नहीं होता है। विश्लेषणात्मक फलन के लिए, गुणांक an के रूप में गणना की जा सकती है: $$a_n = \frac{f^{\left( n \right)} \left( c \right)}{n!}$$ जहां $$f^{(n)}(c)$$ c पर f के nवें अवकलज को दर्शाता है, और $$f^{(0)}(c) = f(c)$$है, इसका तात्पर्य यह है कि प्रत्येक विश्लेषणात्मक फलन को स्थानीय रूप से उसकी टेलर श्रृंखला द्वारा दर्शाया जाता है।

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

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

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

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


 * 1) विचलन जबकि योग विश्लेषणात्मक फलन तक विस्तारित होता है: $\sum_{n=0}^{\infty}z^n$  अभिसरण की त्रिज्या $$1$$ के समान है और प्रत्येक बिंदु $$|z|=1$$ पर विचलन होता है। फिर भी, योग $$|z|<1$$ है $\frac{1}{1-z}$ को छोड़कर, जो समतल के प्रत्येक बिंदु पर विश्लेषणात्मक $$z=1$$ है।
 * 2) कुछ बिंदुओं पर अभिसरण दूसरों पर भिन्न: $\sum_{n=1}^{\infty}\frac{z^n}{n}$  अभिसरण की त्रिज्या $$1$$ है, इसके लिए अभिसरण $$z=-1$$ होता है, जबकि यह $$z=1$$ भिन्न होता है।
 * 3) सीमा के प्रत्येक बिंदु पर पूर्ण अभिसरण: $\sum_{n=1}^{\infty}\frac{z^n}{n^2}$  अभिसरण की त्रिज्या $$1$$ है, जबकि यह प्रत्येक बिंदु पर पूर्णतः और समान रूप से अभिसरित होता है $$|z|=1$$ हाइपर-हार्मोनिक अभिसरण श्रृंखला के साथ प्रारम्भ वीयरस्ट्रैस एम-परीक्षण  के कारण $\sum_{n=1}^{\infty}\frac{1}{n^2}$  होता है।
 * 4) अभिसरण की डिस्क के संवृत होने पर अभिसरण किन्तु निरंतर योग नहीं: सिएरपिंस्की ने उदाहरण दिया अभिसरण की त्रिज्या के साथ घात श्रृंखला $$1$$ है, सभी बिंदुओं पर अभिसरण $$|z|=1$$ है, किन्तु योग असीमित कार्य है और, विशेष रूप से असंतत है। सीमा बिंदु पर एक तरफा निरंतरता के लिए पर्याप्त नियम हाबिल के प्रमेय द्वारा दी गई है।

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

कई चर में घात श्रृंखला
बहुपरिवर्तनीय कलन के प्रयोजनों के लिए सिद्धांत का विस्तार आवश्यक है। यहाँ घात श्रृंखला को अनंत श्रृंखला के रूप में परिभाषित किया गया है: $$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},$$ जहां $j = (j_{1}, …, j_{n})$ प्राकृतिक संख्याओं, गुणांकों $a_{(j_{1}, …, j_{n})}$ का सदिश है सामान्यतः वास्तविक या सम्मिश्र संख्याएँ और केंद्र $c = (c_{1}, …, c_{n})$ और तर्क $x = (x_{1}, …, x_{n})$ सामान्यतः वास्तविक या जटिल वेक्टर होते हैं। प्रतीक $$\Pi$$ गुणन को दर्शाने वाला उत्पाद प्रतीक है। इसे अधिक सुविधाजनक बहु सूचकांक नोटेशन में लिखा जा सकता है: $$f(x) = \sum_{\alpha \in \N^n} a_\alpha (x - c)^\alpha.$$ जहां $$\N$$ प्राकृतिक संख्याओं का समुच्चय है, इत्यादि $$\N^n$$ प्राकृतिक संख्याओं के क्रमित n-टुपल्स का समुच्चय है।

ऐसी श्रृंखला का सिद्धांत एकल-चर श्रृंखला की तुलना में अधिक जटिल है, जिसमें अभिसरण के अधिक जटिल क्षेत्र हैं। उदाहरण के लिए, घात श्रृंखला $\sum_{n=0}^\infty x_1^n x_2^n$ समुच्चय में बिल्कुल अभिसरण है $$\{ (x_1, x_2): |x_1 x_2| < 1\}$$ दो अतिपरवलय के मध्य है। (यह लॉग-उत्तल समुच्चय का उदाहरण है, इस अर्थ में कि बिंदुओं का समुच्चय $$(\log |x_1|, \log |x_2|)$$, जहां $$(x_1, x_2)$$ उपरोक्त क्षेत्र में स्थित, उत्तल समुच्चय है। अधिक सामान्यतः, कोई यह दिखा सकता है कि जब c=0, पूर्ण अभिसरण के क्षेत्र का आंतरिक भाग सदैव इस अर्थ में लॉग-उत्तल समुच्चय होता है।) दूसरी ओर, अभिसरण के इस क्षेत्र के आंतरिक भाग में कोई अंतर और एकीकरण कर सकता है, जैसे कोई सामान्य घात श्रृंखला के साथ कर सकता है।

घात श्रृंखला का क्रम
मान लीजिए $α$ घात श्रृंखला $f(x_{1}, x_{2}, …, x_{n})$ के लिए बहु-सूचकांक है। घात श्रृंखला f के क्रम को न्यूनतम मान के रूप में परिभाषित किया गया है $$r$$ इस प्रकार है कि aα ≠ 0 है। $$r = |\alpha| = \alpha_1 + \alpha_2 + \cdots + \alpha_n$$, या $$\infty$$ यदि f ≡ 0 है। विशेष रूप से, एकल चर x में घात श्रृंखला f(x) के लिए, f का क्रम गैर-शून्य गुणांक के साथ x की सबसे छोटी घात है। यह परिभाषा सरलता से लॉरेंट श्रृंखला तक विस्तारित है।

बाहरी संबंध

 * Powers of Complex Numbers by Michael Schreiber, Wolfram Demonstrations Project.
 * Powers of Complex Numbers by Michael Schreiber, Wolfram Demonstrations Project.
 * Powers of Complex Numbers by Michael Schreiber, Wolfram Demonstrations Project.