कौशी संघनन परीक्षण
साँचा:distinguish साँचा:sidebar with collapsible lists गणित में कौशी संघनन परीक्षण, जिसे ऑगस्टिन लुइस कौशी के नाम से नामकरण किया गया एक अनन्त श्रेणी एक लिए मानक अभिसरण परीक्षण है। धनात्मक ह्रासमान अनुक्रम f(n) के लिए
- <math>\sum_{n=1}^{\infty}f(n)</math>
अभिसारी है यदि और केवल यदि
- <math>\sum_{n=0}^{\infty} 2^{n}f(2^{n})</math>
अभिसारी है। इसके अतिरिक्त, इस अवस्था में
- <math>\sum_{n=1}^{\infty}f(n) \leq \sum_{n=0}^{\infty} 2^{n}f(2^{n}) \leq 2 \sum_{n=1}^{\infty}f(n). </math>
एक ज्यामितिय दृश्य यह है कि हम प्रत्येक <math>2^{n}</math> पर समलंबाभ सहित योग को सन्निकटक करते हैं। इसको अन्य रूप में इस प्रकार लिख सकते हैं कि समाकलन और निश्चित योग के मध्य अनुक्रम के लिए, 'संघनन' के व्यंजक चरघातांकी फलन के प्रतिस्थापन के अनुरूप है। यह निम्न उदाहरण से स्पष्ट है
- <math>\ f(n) = n^{-a} (\log n)^{-b} (\log \log n)^{-c}.</math>
यहाँ श्रेणी a > 1 के लिए अभिसारी है और a < 1 के लिए अपसारी। जब a = 1, संघनन रुपांतर आवश्यक रूप से निम्न श्रेणी देता है
- <math>\sum n^{-b} (\log n)^{-c}.</math>
लघुगणक 'वाम विस्थापन'। अतः जब a = 1, तो हमें b > 1 के लिए अभिसरण प्राप्त होता है, b < 1 के लिए अपसरण। जब b = 1 तो c पर निर्भरता होती है।
प्रमाण
माना f(n) वास्तविक संख्याओं का धनात्मक, वर्धमान रहित अनुक्रम है। संकेतन की सरलता के लिए, an = f(n) लिखने पर। हम श्रेणी <math>a_1+a_2+a_3+\cdots</math> का अध्ययन करते हैं। संघनन परीक्षण के लिए श्रेणी के व्यंजकों को लम्बाई <math>2^{n}</math> के समूहों में लेने पर, एकदिष्टता द्वारा प्रत्येक समूह <math>2^{n} a_{2^{n}}</math> से कम होगा। अतः
- <math>\begin{align}
\sum_{n=1}^{\infty} a_n & = a_1+\underbrace{a_2+a_3}_{\leq a_2+a_2}+\underbrace{a_4+a_5+a_6+a_7}_{\leq a_4+a_4+a_4+a_4}+\cdots +\underbrace{a_{2^n}+a_{2^n+1}+\cdots +a_{2^{n+1}-1}}_{\leq a_{2^n}+a_{2^n}+\cdots +a_{2^n}}+\cdots \\
& \leq a_1 + 2 a_2 + 4 a_4 + \cdots + 2^n a_{2^n} + \cdots = \sum_{n=0}^{\infty} 2^n a_{2^n}.
\end{align}</math>
हमने यहाँ यह माना है कि अनुक्रम an वर्धमान नहीं है, अतः प्रत्येक <math>n\geq m</math> के लिए <math>a_n\leq a_m</math>। अतः मूल श्रेणी का अभिसरण इस "संघनन" श्रेणी के सीधे तुलना के अनुसार चलता है। यह देखने के लिए कि मूल श्रेणी अभिसारी है जिसके परिणामस्वरूप पिछली श्रेणी भी अभिसारी है, अतः निम्न प्रकार मान रखने पर
- <math>\begin{align}
\sum_{n=0}^{\infty} 2^n a_{2^n} & = \underbrace{a_1+a_2}_{\leq a_1+a_1}+\underbrace{a_2+a_4+a_4+a_4}_{\leq a_2+a_2+a_3+a_3}+\cdots +\underbrace{a_{2^n}+a_{2^{n+1}}+\cdots +a_{2^{n+1}}}_{\leq a_{2^n}+a_{2^n}+a_{(2^n+1)}+a_{(2^n+1)}+\cdots +a_{(2^{n+1}-1)}}+\cdots \\
& \leq a_1 + a_1 + a_2 +a_2 + a_3 + a_3 + \cdots + a_n + a_n + \cdots = 2 \sum_{n=1}^{\infty} a_n.
\end{align}</math>
और हमें पुनः सीधे तुलना से अभिसरण प्राप्त होता है। और यह हमने सिद्ध कर दिया है। ध्यान रहे हमने निम्न प्रकार मान प्राप्त किये हैं
- <math>\sum_{n=1}^{\infty} a_n \leq \sum_{n=0}^{\infty} 2^n a_{2^n} \leq 2 \sum_{n=1}^{\infty} a_n.</math>
यह प्रमाण हरात्मक श्रेणी के अपसरण के ओरेस्मे प्रमाण का व्यापकीकरण है।
व्यापकीकरण
यह व्यापकीकरण सकलोमिल्क के अनुसार है। माना <math>\sum_{n=0}^{\infty} a_n</math> एक अनन्त वास्तविक श्रेणी है जिसके व्यंजक धनात्मक और वर्धमान रहित हैं, तथा माना <math>u_0<u_1<u_2<\cdots</math> आवश्यक रूप से धनात्मक पूर्णांको का वर्धमान अनुक्रम है, इस प्रकार
- <math>\frac{\Delta u_n}{\Delta u_{n-1}} = \frac{u_{n+1}-u_n}{u_n-u_{n-1}}</math>
परिबद्ध है, जहाँ <math>\Delta u_n</math> अग्र अंतर है। तब श्रेणी <math>\sum_{n=0}^{\infty} a_n</math> अभिसारी होगी यदि श्रेणी
- <math>\sum_{n=0}^{\infty} {\Delta u_n} a_{u_n} = \sum_{n=0}^{\infty} (u_{n+1}-u_n) a_{u_n}</math>
अभिसारी हो।
<math>u_n = 2^n</math> लेने पर, <math>\Delta u_n = 2^n</math> प्राप्त होता है, अतः कौशी संघनन परीक्षण विशेष अवस्था के रूप में प्राप्त होता है।
सन्दर्भ
- बोनार, खौरी (2006). वास्तविक अनन्त श्रेणी (Real Infinite Series), मैथमेटिकल एसोसिएशन ऑफ़ अमेरिका, आई॰ऍस॰बी॰ऍन॰ 0-88385-745-6.