घात श्रेणी

गणित में, घात श्रेणी (चर में) रूप की अनंत श्रेणी होती है: $$\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.