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

ऑगस्टिन लुइस कौशी

कृपया भ्रमित न हों और इसे कौशी अभिसरण परीक्षण से भिन्न समझें।

कलन
मूलभूत प्रमेय फलन की सीमा निरंतरता माध्यमान प्रमेय रॉल प्रमेय
अंतर कलन अवकलज Change of variables Implicit differentiation टेलर प्रमेय Related rates अवकलजों की सूची घात नियम गुणन का नियम भाग का नियम शृंखला नियम
समाकलन समाकल समाकल सूची अनंत समाकल समाकलन भागों से चक्र cylindrical shells प्रतिस्थापन से त्रिकोणमितीय प्रतिस्थापन आंशिक भिन्न changing order
सदिश कलन प्रवणता डाइवर्जेन्स (अपसरण) कर्ल लाप्लास संकारक प्रवणता प्रमेय ग्रीन प्रमेय स्टॉक प्रमेय अपसरण प्रमेय
बहुचर कलन मेट्रिक्स कलन आंशिक अवकलज गुणित समाकल रेखा समाकलन पृष्ठ समाकल आयतन समाकल जेकोबियन
दे वा सं

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

${\displaystyle \sum _{n=1}^{\infty }f(n)}$

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

${\displaystyle \sum _{n=0}^{\infty }2^{n}f(2^{n})}$

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

${\displaystyle \sum _{n=1}^{\infty }f(n)\leq \sum _{n=0}^{\infty }2^{n}f(2^{n})\leq 2\sum _{n=1}^{\infty }f(n).}$

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

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

यहाँ श्रेणी a > 1 के लिए अभिसारी है और a < 1 के लिए अपसारी। जब a = 1, संघनन रुपांतर आवश्यक रूप से निम्न श्रेणी देता है

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

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

प्रमाण

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

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

${\displaystyle {\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}}}$

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

${\displaystyle \sum _{n=1}^{\infty }a_{n}\leq \sum _{n=0}^{\infty }2^{n}a_{2^{n}}\leq 2\sum _{n=1}^{\infty }a_{n}.}$

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

व्यापकीकरण

यह व्यापकीकरण सकलोमिल्क के अनुसार है। माना ${\displaystyle \sum _{n=0}^{\infty }a_{n}}$ एक अनन्त वास्तविक श्रेणी है जिसके व्यंजक धनात्मक और वर्धमान रहित हैं, तथा माना ${\displaystyle u_{0}<u_{1}<u_{2}<\cdots }$ आवश्यक रूप से धनात्मक पूर्णांको का वर्धमान अनुक्रम है, इस प्रकार

${\displaystyle {\frac {\Delta u_{n}}{\Delta u_{n-1}}}={\frac {u_{n+1}-u_{n}}{u_{n}-u_{n-1}}}}$

परिबद्ध है, जहाँ ${\displaystyle \Delta u_{n}}$ अग्र अंतर है। तब श्रेणी ${\displaystyle \sum _{n=0}^{\infty }a_{n}}$ अभिसारी होगी यदि श्रेणी

${\displaystyle \sum _{n=0}^{\infty }{\Delta u_{n}}a_{u_{n}}=\sum _{n=0}^{\infty }(u_{n+1}-u_{n})a_{u_{n}}}$

अभिसारी हो।

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

सन्दर्भ

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

बाहरी कड़ियाँ

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