मूल परीक्षण

गणित में, मूल परीक्षण अनंत श्रृंखला की अभिसरण श्रृंखला (एक अभिसरण परीक्षण) के लिए मानदंड है। यह मात्रा पर निर्भर करता है
 * $$\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$$

जहां गुणांक सीn, और केंद्र p सम्मिश्र संख्याएँ हैं और तर्क z सम्मिश्र चर है।

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

प्रमाण
एक श्रृंखला Σa के अभिसरण का प्रमाणn प्रत्यक्ष तुलना परीक्षण का अनुप्रयोग है। यदि सभी 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 बिल्कुल एकाग्र हो जाता है।

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

परिणाम का प्रमाण: एक शक्ति श्रृंखला के लिए Σan = Σcn(जेड - पी)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 के लिए, जिसका अर्थ है कि श्रृंखला को अभिसरण करने के लिए हमारे पास होना चाहिए $$|z - p| < 1/\sqrt[n]{|c_n|}$$ सभी पर्याप्त रूप से बड़े 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$$प्राकृतिक लघुगणक का वां पुनरावृत्ति, अर्थात $$\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