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

गणित में कौशी संघनन परीक्षण, जिसे ऑगस्टिन लुइस कौशी के नाम से नामकरण किया गया एक अनन्त श्रेणी एक लिए मानक अभिसरण परीक्षण है। धनात्मक ह्रासमान अनुक्रम 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 < 1 के लिए अपसारी। जब a = 1, संघनन रुपांतर आवश्यक रूप से निम्न श्रेणी देता है

\sum n^{-b}(\log n)^{-c}.

लघुगणक 'वाम विस्थापन'। अतः जब a = 1, तो हमें b > 1 के लिए अभिसरण प्राप्त होता है, b < 1 के लिए अपसरण। जब b = 1 तो c पर निर्भरता होती है।

प्रमाण[संपादित करें]

माना f(n) वास्तविक संख्याओं का धनात्मक, वर्धमान रहित अनुक्रम है। संकेतन की सरलता के लिए, a_n = f(n) लिखने पर। हम श्रेणी $a_{1}+a_{2}+a_{3}+\cdots$ का अध्ययन करते हैं। संघनन परीक्षण के लिए श्रेणी के व्यंजकों को लम्बाई $2^{n}$ के समूहों में लेने पर, एकदिष्‍टता द्वारा प्रत्येक समूह $2^{n}a_{2^{n}}$ से कम होगा। अतः

{\begin{aligned}\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}+2a_{2}+4a_{4}+\cdots +2^{n}a_{2^{n}}+\cdots =\sum _{n=0}^{\infty }2^{n}a_{2^{n}}.\end{aligned}}

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

{\begin{aligned}\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{aligned}}

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

\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}<u_{1}<u_{2}<\cdots$ आवश्यक रूप से धनात्मक पूर्णांको का वर्धमान अनुक्रम है, इस प्रकार