मूल परीक्षण

गणित में, मूल परीक्षण अनंत श्रृंखला की अभिसरण श्रृंखला (एक अभिसरण परीक्षण) के लिए मानदंड है। इस प्रकार से यह मात्रा पर निर्भर करता है
 * $$\limsup_{n\rightarrow\infty}\sqrt[n]{|a_n|},$$

जहाँ $$a_n$$ श्रृंखला का नियम  हैं, और यह दर्शाती हैं कि यदि यह मात्रा से कम है तो श्रृंखला पूर्ण रूप से परिवर्तित हो जाती है, किन्तु यदि एक से अधिक है तो यह भिन्न हो जाती है। यह घात शृंखला के संबंध में विशेष रूप से उपयोगी है।

मूल परीक्षण स्पष्टीकरण
इस प्रकार से मूल परीक्षण अधिक पूर्व ऑगस्टिन-लुई कॉची द्वारा विकसित किया गया था जिन्होंने इसे अपनी पाठ्यपुस्तक कौर्स डी'एनालिसिस (1821) में प्रकाशित किया था। इस प्रकार, इसे कभी-कभी कॉची मूल परीक्षण या कॉची मौलिक परीक्षण के रूप में जाना जाता है। अतः श्रृंखला के लिए जहाँ:


 * $$\sum_{n=1}^\infty a_n$$

मूल परीक्षण संख्या का उपयोग करता है


 * $$C = \limsup_{n\rightarrow\infty}\sqrt[n]{|a_n|},$$

जहां लिम सुपर, संभवतः +∞ से उत्तम सीमा को दर्शाता है। ध्यान दें कि यदि


 * $$\lim_{n\rightarrow\infty}\sqrt[n]{|a_n|},$$

इस प्रकार से अभिसरण होता है तो यह C के समान होता है और इसके अतिरिक्त  मूल  परीक्षण में इसका उपयोग किया जा सकता है।

अतः मूल परीक्षण यह दर्शाता है कि:
 * यदि C <1 है तो श्रृंखला पूर्ण रूप से अभिसरित होती है,
 * यदि C > 1 है तो श्रृंखला विचलन करती है,
 * यदि C = 1 है और सीमा ऊपर से दृढ़ता से पहुंचती है तो श्रृंखला भिन्न हो जाती है,
 * अन्यथा परीक्षण अनिर्णीत है (श्रृंखला भिन्न हो सकती है, पूर्ण रूप से परिवर्तित हो सकती है या सशर्त रूप से परिवर्तित हो सकती है)।

इस प्रकार से कुछ श्रृंखलाएं हैं जिनके लिए C = 1 है और श्रृंखला अभिसरण करती है, उदाहरण के लिए $$\textstyle \sum 1/{n^2}$$, और कुछ अन्य भी हैं जिनके लिए C = 1 है और श्रृंखला भिन्न हो जाती है, उदाहरण के लिए $$\textstyle\sum 1/n$$.

घात श्रृंखला के लिए आवेदन
इस परीक्षण का उपयोग घात श्रृंखला के साथ किया जा सकता है


 * $$f(z) = \sum_{n=0}^\infty c_n (z-p)^n$$

जहां गुणांक cn, और केंद्र p सम्मिश्र संख्याएँ हैं और तर्क z सम्मिश्र वेरिएबल  है।

इस प्रकार से इस श्रृंखला का नियम तब an = cn(z − p)n द्वारा दी दर्शायी गयी है। इसके पश्चात् ऊपर दर्शाए गए मूल परीक्षण को an पर प्रयुक्त  किया जाता है। ध्यान दें कि कभी-कभी इस प्रकार की श्रृंखला को "p के निकट" घात श्रृंखला कहा जाता है, क्योंकि अभिसरण की त्रिज्या अचिक उच्च अंतराल या p  पर केंद्रित डिस्क की त्रिज्या R  है, जैसे कि श्रृंखला दृढ़ता  से आंतरिक रूप से सभी बिंदुओं z के लिए अभिसरण करेगी (अंतराल या डिस्क की सीमा पर अभिसरण को सामान्यतः अलग से जांचना पड़ता है)। अतः घात श्रृंखला पर प्रयुक्त  मूल परीक्षण का एक परिणाम कॉची-हैडामर्ड प्रमेय है: अभिसरण की त्रिज्या मान लीजिए जहाँ  $$1/\limsup_{n \rightarrow \infty}{\sqrt[n]{|c_n|}},$$ है, इस तथ्य का ध्यान रखते हुए कि यदि हर 0 है तो हमारा वास्तव में कारण ∞ है।

प्रमाण
श्रृंखला Σan के अभिसरण का प्रमाण प्रत्यक्ष तुलना परीक्षण का अनुप्रयोग है। यदि सभी n ≥ N (N कुछ निश्चित प्राकृतिक संख्या) के लिए हमारे पास $$\sqrt[n]{|a_n|} \le k < 1$$ है, तब $$|a_n| \le k^n < 1$$. क्योंकि ज्यामितीय श्रृंखला के पश्चात् से $$\sum_{n=N}^\infty k^n$$ अभिसरण करती है इसलिए ऐसा होता है

तुलना परीक्षण द्वारा $$\sum_{n=N}^\infty |a_n|$$. अतः Σan पूर्णतः अभिसरित होता है।

अपरिमित रूप से अनेक n के लिए $$\sqrt[n]{|a_n|} > 1$$, तब an 0, पर अभिसरण करने में विफल रहता है, इसलिए श्रृंखला अपसारी है।

परिणाम का प्रमाण:

परिणाम का प्रमाण: एक घात श्रृंखला Σan = Σcn(z − p)n, के लिए, हम ऊपर देखते हैं कि श्रृंखला अभिसरण करती है यदि कोई N उपस्तिथ  है जैसे कि सभी n ≥ N के लिए हमारे पास है


 * $$\sqrt[n]{|a_n|} = \sqrt[n]{|c_n(z - p)^n|} < 1,$$

के समतुल्य:


 * $$\sqrt[n]{|c_n|}\cdot|z - p| < 1$$

सभी n ≥ N के लिए, जिसका अर्थ है कि श्रृंखला को अभिसरण करने के लिए हमारे पास सभी पर्याप्त उच्च n के लिए $$|z - p| < 1/\sqrt[n]{|c_n|}$$ होना चाहिए। ये कहने के लिए समान्य है


 * $$|z - p| < 1/\limsup_{n \rightarrow \infty}{\sqrt[n]{|c_n|}},$$

इसलिए $$R \le 1/\limsup_{n \rightarrow \infty}{\sqrt[n]{|c_n|}}.$$ अब एकमात्र अन्य स्थान जहां अभिसरण संभव है वह है जब


 * $$\sqrt[n]{|a_n|} = \sqrt[n]{|c_n(z - p)^n|} = 1,$$

(चूंकि बिंदु> 1 भिन्न हो जाएंगे) और इससे अभिसरण की त्रिज्या परिवर्तित नहीं होगी, क्योंकि ये केवल अंतराल या डिस्क की सीमा पर स्थित बिंदु हैं, इसलिए


 * $$R = 1/\limsup_{n \rightarrow \infty}{\sqrt[n]{|c_n|}}.$$

उदाहरण
इस प्रकार से उदाहरण के लिए 1:
 * $$ \sum_{i=1}^\infty \frac{2^i}{i^9} $$

मूल परीक्षण प्रयुक्त करना और उस तथ्य का उपयोग करना $$ \lim_{n \rightarrow \infty} n^{1/n}=1,$$ इस प्रकार उदाहरण 2:
 * $$ C = \sqrt[n]{|\frac{2^n}{n^9}|}= \frac{ \sqrt[n]{2^n} } { \sqrt[n]{n^9} } = \frac{ 2 }  {(n^{1/n})^9 }  = 2 $$ तब से $$ C=2>1,$$ श्रृंखला भिन्न हो जाती है।
 * $$1 + 1 + 0.5 + 0.5 + 0.25 + 0.25 + 0.125 + 0.125 + ...  $$

मूल परीक्षण अभिसरण दर्शाता है क्योंकि
 * $$r=\limsup_{n\to\infty}\sqrt[n]{|a_n|} = \limsup_{n\to\infty}\sqrt[n]{|.5^n|}=.5<1.$$

यह उदाहरण दिखाता है कि मूल परीक्षण अनुपात परीक्षण से कैसे अधिक शसक्त है। इस श्रृंखला के लिए अनुपात परीक्षण अनिर्णीत है यदि $$n$$ विषम है तो $$a_n=a_{n+1} = .5^n                                                                 $$ (चूंकि यदि $$n$$ सम है तो नहीं), क्योंकि
 * $$r=\lim_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right| = \lim_{n\to\infty}\left|\frac{ 2 \cdot.5^{n}}{2 \cdot.5^{n}}\right| =1. $$

मूल परीक्षण पदानुक्रम
इस प्रकार से मूल परीक्षण पदानुक्रम  अनुपात परीक्षण पदानुक्रम के समान ही बनाया गया है (अनुपात परीक्षण की धारा 4.1 और विशेष रूप से उपधारा 4.1.4 देखें)।

धनात्मक पदों वाली श्रृंखला $$\sum_{n=1}^\infty a_n$$ के लिए हमारे पास अभिसरण/विचलन के लिए निम्नलिखित परीक्षण हैं।

मान लीजिये $$K\geq1$$ एक पूर्णांक है, और $$\ln_{(K)}(x)$$ प्राकृतिक लघुगणक के $$K$$th पुनरावृत्त को निरूपित करता है, अर्थात $$\ln_{(1)}(x)=\ln (x)$$ और $$2\leq k\leq K$$किसी के लिए, $$\ln_{(k)}(x)=\ln_{(k-1)}(\ln (x))$$.

मान लीजिये कि $$\sqrt[-n]{a_n}$$, जहाँ $$n$$ उच्च है, रूप में प्रस्तुत किया जा सकता है


 * $$\sqrt[-n]{a_n}=1+\frac{1}{n}+\frac{1}{n}\sum_{i=1}^{K-1}\frac{1}{\prod_{k=1}^i\ln_{(k)}(n)}+\frac{\rho_n}{n\prod_{k=1}^K\ln_{(k)}(n)}.$$

(रिक्त योग 0 माना गया है।)


 * शृंखला अभिसरित होती है, यदि $$\liminf_{n\to\infty}\rho_n>1$$
 * श्रृंखला भिन्न हो जाती है, यदि $$\limsup_{n\to\infty}\rho_n<1$$
 * अन्यथा, परीक्षण अनिर्णायक है.

प्रमाण
तब से $$\sqrt[-n]{a_n}=\mathrm{e}^{-\frac{1}{n}\ln a_n}$$, तो हमारे पास हैं


 * $$\mathrm{e}^{-\frac{1}{n}\ln a_n}=1+\frac{1}{n}+\frac{1}{n}\sum_{i=1}^{K-1}\frac{1}{\prod_{k=1}^i\ln_{(k)}(n)}+\frac{\rho_n}{n\prod_{k=1}^K\ln_{(k)}(n)}.$$

इस से,


 * $$ \ln a_n=-n\ln\left(1+\frac{1}{n}+\frac{1}{n}\sum_{i=1}^{K-1}\frac{1}{\prod_{k=1}^i\ln_{(k)}(n)}+\frac{\rho_n}{n\prod_{k=1}^K\ln_{(k)}(n)}\right).$$

टेलर सीरीज से| टेलर के विस्तार को दाहिनी ओर प्रयुक्त करने पर, हमें प्राप्त होता है:


 * $$ \ln a_n=-1-\sum_{i=1}^{K-1}\frac{1}{\prod_{k=1}^i\ln_{(k)}(n)}-\frac{\rho_n}{\prod_{k=1}^K\ln_{(k)}(n)}+O\left(\frac{1}{n}\right).$$

इस तरह,


 * $$a_n=\begin{cases}\mathrm{e}^{-1+O(1/n)}\frac{1}{(n\prod_{k=1}^{K-2}\ln_{(k)}n)\ln^{\rho_n}_{(K-1)}n}, &K\geq2,\\

\mathrm{e}^{-1+O(1/n)}\frac{1}{n^{\rho_n}}, &K=1. \end{cases} $$ (खाली उत्पाद 1 पर सेट है।)

अंतिम परिणाम अभिसरण के लिए अभिन्न परीक्षण से आता है।

यह भी देखें

 * अनुपात परीक्षण
 * अभिसारी श्रृंखला

संदर्भ


Kryteria zbieżności szeregów