वैकल्पिक श्रृंखला

गणित में, एक वैकल्पिक श्रृंखला प्रपत्र की एक अनंत श्रृंखला है $$\sum_{n=0}^\infty (-1)^n a_n$$ या $$\sum_{n=0}^\infty (-1)^{n+1} a_n$$ साथ $a_{n} > 0$ सभी के लिए$n$. सामान्य शब्दों के संकेत धनात्मक और ऋणात्मक के बीच वैकल्पिक होते हैं। किसी भी श्रृंखला की तरह, एक वैकल्पिक श्रृंखला अभिसरण करती है यदि और केवल तभी जब आंशिक योगों का संबद्ध अनुक्रम अभिसरण करता है।

उदाहरण
ज्यामितीय श्रृंखला 1/2 - 1/4 + 1/8 - 1/16 + ⋯ का योग 1/3 होता है।

वैकल्पिक हार्मोनिक श्रृंखला (गणित) में एक सीमित योग होता है लेकिन हार्मोनिक श्रृंखला में नहीं होता है।

मर्केटर श्रृंखला प्राकृतिक लघुगणक की एक विश्लेषणात्मक अभिव्यक्ति प्रदान करती है: $$ \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} x^n \;=\; \ln (1+x).$$ त्रिकोणमिति में उपयोग किए जाने वाले फलन साइन और कोसाइन को कैलकुलस में वैकल्पिक श्रृंखला के रूप में परिभाषित किया जा सकता है, भले ही उन्हें प्रारंभिक बीजगणित में एक समकोण त्रिभुज की भुजाओं के अनुपात के रूप में प्रस्तुत किया गया हो। वास्तव में, $$\sin x = \sum_{n=0}^\infty (-1)^n \frac{x^{2n+1}}{(2n+1)!},$$ और $$\cos x = \sum_{n=0}^\infty (-1)^n \frac{x^{2n}}{(2n)!} .$$ जब वैकल्पिक कारक $(–1)^{n}$ को इन श्रंखलाओं से हटा दिया जाता है तो हमें कैलकुलस में प्रयुक्त अतिशयोक्तिपूर्ण फलन sinh और cosh प्राप्त होते हैं।

पूर्णांक या धनात्मक सूचकांक α के लिए पहली तरह के बेसेल फलन को वैकल्पिक श्रृंखला के साथ परिभाषित किया जा सकता है $$ J_\alpha(x) = \sum_{m=0}^\infty \frac{(-1)^m}{m! \, \Gamma(m+\alpha+1)} {\left(\frac{x}{2}\right)}^{2m+\alpha} $$ कहाँ $Γ(z)$ गामा फलन है।

यदि s एक जटिल संख्या है, तो डिरिचलेट एटा (Dirichlet eta) फलन एक वैकल्पिक श्रृंखला के रूप में बनता है $$\eta(s) = \sum_{n=1}^{\infty}{(-1)^{n-1} \over n^s} = \frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \frac{1}{4^s} + \cdots$$ जिसका उपयोग विश्लेषणात्मक संख्या सिद्धांत में किया जाता है।

वैकल्पिक श्रृंखला परीक्षण
"लीबनिज परीक्षण" या प्रत्यावर्ती श्रेणी परीक्षण के रूप में जाना जाने वाला प्रमेय हमें बताता है कि एक प्रत्यावर्ती श्रृंखला अभिसरित होगी यदि पद $a_{n}$ 0 मोनोटोनिक फलन में अभिसरण करें।

प्रमाण: मान लीजिए कि अनुक्रम $$a_n$$ शून्य पर परिवर्तित हो जाता है और मोनोटोन घट रहा है। यदि $$m$$ विषम है और $$m<n$$, हम अनुमान प्राप्त करते हैं $$S_n - S_m \le a_{m}$$ निम्नलिखित गणना के माध्यम से: $$\begin{align} S_n - S_m & = \sum_{k=0}^n(-1)^k\,a_k\,-\,\sum_{k=0}^m\,(-1)^k\,a_k\ = \sum_{k=m+1}^n\,(-1)^k\,a_k \\ & =a_{m+1} - a_{m+2} + a_{m+3} - a_{m+4} + \cdots + a_n\\ & = a_{m+1}-(a_{m+2}-a_{m+3}) - (a_{m+4}-a_{m+5}) - \cdots - a_n \le a_{m+1} \le a_{m}. \end{align}$$ तब से $$a_n$$ साधारण रूप से घट रहा है, शर्तें $$-(a_m - a_{m+1})$$ ऋणात्मक हैं। इस प्रकार, हमारे पास अंतिम असमानता है: $$S_n - S_m \le a_m$$. इसी तरह, यह दिखाया जा सकता है $$-a_m \le S_n - S_m $$. तब से $$a_m$$ में विलीन हो जाता है $$0$$, हमारी आंशिक योग $$S_m$$ एक कॉशी अनुक्रम बनाता है (यानी, श्रृंखला कौशी मानदंड को संतुष्ट करती है) और इसलिए अभिसरण करती है। के लिए तर्क $$m$$ समान है।

अनुमानित योग
उपरोक्त अनुमान पर निर्भर नहीं करता है $$n$$. तो यदि $$a_n$$ 0 साधारण रूप से आ रहा है, अनुमान आंशिक योग से अनंत योग का अनुमान लगाने के लिए एक त्रुटि सीमा प्रदान करता है: $$\left|\sum_{k=0}^\infty(-1)^k\,a_k\,-\,\sum_{k=0}^m\,(-1)^k\,a_k\right|\le |a_{m+1}|.$$इसका अर्थ यह नहीं है कि यह अनुमान हमेशा सबसे पहले तत्व को खोजता है जिसके बाद त्रुटि श्रृंखला में अगले पद के मापांक से कम होती है। वास्तव में यदि आप लेते हैं $$1-1/2+1/3-1/4+... = \ln 2$$ और उस पद को खोजने का प्रयास करें जिसके बाद त्रुटि अधिकतम 0.00005 है, उपरोक्त असमानता से पता चलता है कि आंशिक योग के माध्यम से $$a_{20000}$$ पर्याप्त है, लेकिन वास्तव में यह आवश्यकता से दोगुना शब्द है। वास्तव में, पहले 9999 तत्वों के योग के बाद त्रुटि 0.0000500025 है, और इसलिए आंशिक योग को लेते हुए $$a_{10000}$$ काफी है। इस श्रृंखला में ऐसा गुण होता है जो एक नई श्रृंखला का निर्माण करता है $$a_n -a_{n+1}$$ एक वैकल्पिक श्रृंखला भी देता है जहां लीबनिज़ परीक्षण लागू होता है और इस प्रकार यह सरल त्रुटि सीमा इष्टतम नहीं होती है। यह केलाब्रेसी बाउंड द्वारा सुधारा गया था, 1962 में खोजा गया, जो कहता है कि यह संपत्ति लीबनिज़ त्रुटि सीमा की तुलना में 2 गुना कम परिणाम देती है। वास्तव में यह श्रृंखला के लिए भी इष्टतम नहीं है जहां यह संपत्ति 2 या अधिक बार लागू होती है, जिसे रिचर्ड जॉनसनबॉघ त्रुटि बाध्य द्वारा वर्णित किया गया है। यदि कोई एक गुण को अनंत बार प्रयुक्त कर सकता है, तो यूलर का परिवर्तन लागू होता है।

पूर्ण अभिसरण
यदि श्रृंखला $\sum a_n$ अभिसरण करती है तो एक श्रृंखला $\sum |a_n|$  पूर्णतः अभिसरण करती है।

प्रमेय: पूर्णतः अभिसारी श्रृंखला अभिसारी होती है।

प्रमाण: मान लीजिए $\sum a_n$ कि यह बिल्कुल अभिसरण है। फिर, $\sum |a_n|$  अभिसरण है और यह उसका अनुसरण करता है $\sum 2|a_n|$  भी अभिसरण करता है। इसलिए $ 0 \leq a_n + |a_n| \leq 2|a_n|$, श्रृंखला $\sum (a_n + |a_n|)$   तुलना परीक्षण द्वारा अभिसरण होता है। इसलिए, श्रृंखला $\sum a_n$  दो अभिसारी श्रृंखलाओं के अंतर के रूप में अभिसरण होता है $\sum a_n = \sum (a_n + |a_n|) - \sum |a_n|$.

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

उदाहरण के लिए, हार्मोनिक श्रृंखला (गणित) $$\sum_{n=1}^\infty \frac{1}{n}, $$ विचलन, जबकि वैकल्पिक संस्करण $$\sum_{n=1}^\infty \frac{(-1)^{n+1}}{n}, $$ वैकल्पिक श्रृंखला परीक्षण द्वारा अभिसरित होता है।

पुनर्व्यवस्था
किसी भी श्रृंखला के लिए, हम योग के क्रम को पुनर्व्यवस्थित करके एक नई श्रृंखला बना सकते हैं। एक श्रृंखला बिना शर्त अभिसरण होती है यदि कोई पुनर्व्यवस्था मूल श्रृंखला के समान अभिसरण के साथ एक श्रृंखला बनाती है। पूर्णतः अभिसारी श्रृंखला बिना शर्त अभिसरण है। लेकिन रीमैन श्रृंखला प्रमेय में कहा गया है कि मनमाना अभिसरण बनाने के लिए सशर्त रूप से अभिसरण श्रृंखला को पुनर्व्यवस्थित किया जा सकता है। सामान्य सिद्धांत यह है कि अनंत योगों का योग केवल पूर्ण रूप से अभिसरण श्रृंखला के लिए क्रमविनिमेय है।

उदाहरण के लिए, एक ली प्रमाण कि 1=0 अनंत राशियों के लिए साहचर्य की विफलता का लाभ उठाता है।

एक अन्य उदाहरण के रूप में, मर्केटर श्रृंखला द्वारा $$\ln(2) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots.$$ लेकिन, चूंकि श्रृंखला पूरी तरह से अभिसरण नहीं करती है, इसलिए हम श्रृंखला प्राप्त करने के लिए शब्दों को पुनर्व्यवस्थित कर सकते हैं $\tfrac 1 2 \ln(2)$ : $$\begin{align} & {} \quad \left(1-\frac{1}{2}\right)-\frac{1}{4} +\left(\frac{1}{3}-\frac{1}{6}\right) -\frac{1}{8}+\left(\frac{1}{5} -\frac{1}{10}\right)-\frac{1}{12}+\cdots \\[8pt] & = \frac{1}{2}-\frac{1}{4}+\frac{1}{6} -\frac{1}{8}+\frac{1}{10}-\frac{1}{12} +\cdots \\[8pt] & = \frac{1}{2}\left(1-\frac{1}{2} + \frac{1}{3} -\frac{1}{4}+\frac{1}{5}- \frac{1}{6}+ \cdots\right)= \frac{1}{2} \ln(2). \end{align}$$

श्रृंखला त्वरण
व्यवहार में, विभिन्न प्रकार की श्रृंखला त्वरण तकनीकों में से किसी एक का उपयोग करके एक वैकल्पिक श्रृंखला के संख्यात्मक योग को तेज़ किया जा सकता है। सबसे पुरानी तकनीकों में से एक यूलर योग है, और कई आधुनिक तकनीकें हैं जो और भी अधिक तेजी से अभिसरण प्रदान कर सकती हैं।

यह भी देखें

 * ग्रैंडी की श्रृंखला
 * नोरलुंड- राइस इंटीग्रल

संदर्भ

 * Earl D. Rainville (1967) Infinite Series, pp 73–6, Macmillan Publishers.