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

गणित में, एक वैकल्पिक श्रृंखला प्रपत्र की एक अनंत श्रृंखला है $$\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}$$ एक वैकल्पिक श्रृंखला भी देता है जहां लीबनिज़ परीक्षण लागू होता है और इस प्रकार यह सरल त्रुटि सीमा इष्टतम नहीं होती है। यह Calabrese बाउंड द्वारा सुधारा गया था, 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.