कौशी संघनन परीक्षण

अंगूठाकार|ऑगस्टिन लुइस कौशी

गणित में **कौशी संघनन परीक्षण**, जिसे ऑगस्टिन लुइस कौशी के नाम से नामकरण किया गया एक अनन्त श्रेणी एक लिए मानक अभिसरण परीक्षण है। धनात्मक ह्रासमान अनुक्रम *f*(*n*) के लिए

:\sum_{n=1}^{\infty}f(n) 

अभिसारी है यदि और केवल यदि

:\sum_{n=0}^{\infty} 2^{n}f(2^{n}) 

अभिसारी है। इसके अतिरिक्त, इस अवस्था में

:\sum_{n=1}^{\infty}f(n) \leq \sum_{n=0}^{\infty} 2^{n}f(2^{n}) \leq 2 \sum_{n=1}^{\infty}f(n). 

एक ज्यामितिय दृश्य यह है कि हम प्रत्येक 2^{n} पर समलंबाभ सहित योग को सन्निकटक करते हैं। इसको अन्य रूप में इस प्रकार लिख सकते हैं कि समाकलन और निश्चित योग के मध्य अनुक्रम के लिए, 'संघनन' के व्यंजक चरघातांकी फलन के प्रतिस्थापन के अनुरूप है। यह निम्न उदाहरण से स्पष्ट है

:\ f(n) = n^{-a} (\log n)^{-b} (\log \log n)^{-c}.

यहाँ श्रेणी *a* > 1 के लिए अभिसारी है और *a* \sum n^{-b} (\log n)^{-c}.

लघुगणक 'वाम विस्थापन'। अतः जब *a* = 1, तो हमें *b* > 1 के लिए अभिसरण प्राप्त होता है, *b* *n* = *f*(*n*) लिखने पर। हम श्रेणी a_1+a_2+a_3+\cdots का अध्ययन करते हैं। संघनन परीक्षण के लिए श्रेणी के व्यंजकों को लम्बाई 2^{n} के समूहों में लेने पर, एकदिष्‍टता द्वारा प्रत्येक समूह 2^{n} a_{2^{n}} से कम होगा। अतः

:\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}

हमने यहाँ यह माना है कि अनुक्रम *a**n* वर्धमान नहीं है, अतः प्रत्येक n\geq m के लिए a_n\leq a_m। अतः मूल श्रेणी का अभिसरण इस "संघनन" श्रेणी के सीधे तुलना के अनुसार चलता है। यह देखने के लिए कि मूल श्रेणी अभिसारी है जिसके परिणामस्वरूप पिछली श्रेणी भी अभिसारी है, अतः निम्न प्रकार मान रखने पर

:\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}

और हमें पुनः सीधे तुलना से अभिसरण प्राप्त होता है। और यह हमने सिद्ध कर दिया है। ध्यान रहे हमने निम्न प्रकार मान प्राप्त किये हैं

:\sum_{n=1}^{\infty} a_n \leq \sum_{n=0}^{\infty} 2^n a_{2^n} \leq 2 \sum_{n=1}^{\infty} a_n.

यह प्रमाण हरात्मक श्रेणी के अपसरण के ओरेस्मे प्रमाण का व्यापकीकरण है।

## व्यापकीकरण

यह व्यापकीकरण सकलोमिल्क के अनुसार है। माना \sum_{n=0}^{\infty} a_n एक अनन्त वास्तविक श्रेणी है जिसके व्यंजक धनात्मक और वर्धमान रहित हैं, तथा माना u_0 आवश्यक रूप से धनात्मक पूर्णांको का वर्धमान अनुक्रम है, इस प्रकार

:\frac{\Delta u_n}{\Delta u_{n-1}} = \frac{u_{n+1}-u_n}{u_n-u_{n-1}}

परिबद्ध है, जहाँ \Delta u_n अग्र अंतर है। तब श्रेणी \sum_{n=0}^{\infty} a_n अभिसारी होगी यदि श्रेणी

:\sum_{n=0}^{\infty} {\Delta u_n} a_{u_n} = \sum_{n=0}^{\infty} (u_{n+1}-u_n) a_{u_n}

अभिसारी हो।

u_n = 2^n लेने पर, \Delta u_n = 2^n प्राप्त होता है, अतः कौशी संघनन परीक्षण विशेष अवस्था के रूप में प्राप्त होता है।

## सन्दर्भ
* बोनार, खौरी (2006). *वास्तविक अनन्त श्रेणी (Real Infinite Series)*, मैथमेटिकल एसोसिएशन ऑफ़ अमेरिका, आई॰ऍस॰बी॰ऍन॰ 0-88385-745-6.

## बाहरी कड़ियाँ
* कौशी संघनन परीक्षण का प्रमाण
* कौशी संघनन परीक्षण से जुड़ी कड़ियाँ

श्रेणी:सम्मिश्र विश्लेषण
श्रेणी:कौशी नामकरण
श्रेणी:अभिसरण परीक्षण
श्रेणी:गणितीय श्रेणी