सीमा तुलना परीक्षण

गणित में, सीमा तुलना परीक्षण (एलसीटी) (संबंधित प्रत्यक्ष तुलना परीक्षण के विपरीत) एक अनंत श्रृंखला के अभिसरण के परीक्षण की एक विधि है।

कथन
मान लीजिए कि हमारे पास सभी $$ n$$ के लिए $$ a_n\geq 0, b_n > 0 $$ के साथ दो श्रृंखलाएँ $$ \Sigma_n a_n $$ और $$\Sigma_n b_n$$ हैं। फिर यदि $$ \lim_{n \to \infty} \frac{a_n}{b_n} = c$$ $$ 0 < c < \infty $$ के साथ हैं, तब या तो दोनों श्रृंखलाएं अभिसरण करती हैं या दोनों श्रृंखलाएं अलग हो जाती हैं।

प्रमाण
क्योंकि $$ \lim_{n \to \infty} \frac{a_n}{b_n} = c$$ हम जानते हैं कि प्रत्येक $$ \varepsilon > 0 $$ के लिए एक धनात्मक पूर्णांक $$n_0$$ होता है, जैसे कि सभी $$n \geq n_0 $$ के लिए हमारे पास वह $$ \left| \frac{a_n}{b_n} - c \right| < \varepsilon $$, या समकक्ष


 * $$ - \varepsilon < \frac{a_n}{b_n} - c < \varepsilon $$
 * $$ c - \varepsilon < \frac{a_n}{b_n} < c + \varepsilon $$
 * $$ (c - \varepsilon)b_n < a_n < (c + \varepsilon)b_n $$

होता है $$ c > 0 $$ के रूप में हम $$ \varepsilon $$ को इतना छोटा चुन सकते हैं कि $$ c-\varepsilon $$ धनात्मक हो।

तो $$ b_n < \frac{1}{c-\varepsilon} a_n $$ और प्रत्यक्ष तुलना परीक्षण से, यदि $$\sum_n a_n$$ अभिसरण होता है तो $$\sum_n b_n $$ भी अभिसरण करता है।

इसी तरह $$ a_n < (c + \varepsilon)b_n $$, तो यदि $$ \sum_n a_n $$ विचलन करता है, फिर से प्रत्यक्ष तुलना परीक्षण द्वारा, तो $$\sum_n b_n $$ भी वैसा ही होता है, अर्थात, दोनों श्रृंखलाएँ अभिसरित होती हैं या दोनों श्रृंखलाएँ भिन्न होती हैं।

उदाहरण
हम यह निर्धारित करना चाहते हैं कि श्रृंखला $$ \sum_{n=1}^{\infty} \frac{1}{n^2 + 2n} $$ अभिसरण करती है या नहीं। इसके लिए हम इसकी तुलना अभिसरण श्रृंखला $$ \sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6} $$ से करते हैं, जैसा कि $$ \lim_{n \to \infty} \frac{1}{n^2 + 2n} \frac{n^2}{1} = 1 > 0 $$ से पता चलता है कि मूल श्रृंखला भी अभिसरण करती है।

एकतरफ़ा संस्करण
लिमिट सुपीरियर का उपयोग करके कोई एक तरफा तुलना परीक्षण बता सकता है। मान लीजिए Z सभी n के लिए है। फिर यदि $$ 0 \leq c < \infty $$ और $$\Sigma_n b_n$$ के साथ $$ \limsup_{n \to \infty} \frac{a_n}{b_n} = c$$ अभिसरण करता है, तो आवश्यक रूप से $$ \Sigma_n a_n $$ अभिसरण होता है।

उदाहरण
मान लीजिए सभी प्राकृतिक संख्याओं $$ n $$ के लिए $$ a_n = \frac{1-(-1)^n}{n^2} $$ और $$ b_n = \frac{1}{n^2} $$ हैं। अब $$ \lim_{n\to\infty} \frac{a_n}{b_n} = \lim_{n\to\infty}(1-(-1)^n) $$ अस्तित्व में नहीं है, इसलिए हम मानक तुलना परीक्षण लागू नहीं कर सकते हैं। चूँकि, $$ \limsup_{n\to\infty} \frac{a_n}{b_n} = \limsup_{n\to\infty}(1-(-1)^n) =2\in [0,\infty) $$ और चूंकि $$\sum_{n=1}^{\infty} \frac{1}{n^2}$$ अभिसरण होता है, एक तरफा तुलना परीक्षण का तात्पर्य है कि $$\sum_{n=1}^{\infty}\frac{1-(-1)^n}{n^2}$$ अभिसरण होता है।

एकतरफ़ा तुलना परीक्षण का व्युत्क्रम
मान लीजिए कि सभी $$ n$$ के लिए $$ a_n, b_n \geq 0 $$ है। यदि $$\Sigma_n a_n $$ विचलन करता है और $$\Sigma_n b_n $$ अभिसरण करता है, तो आवश्यक रूप से $$ \limsup_{n\to\infty} \frac{a_n}{b_n}=\infty $$, होता है, जो कि, $$ \liminf_{n\to\infty} \frac{b_n}{a_n}= 0 $$ है। यहां आवश्यक सामग्री यह है कि कुछ अर्थों में संख्याएं $$ a_n $$ संख्याएं $$ b_n $$ से बड़ी हैं।

उदाहरण
मान लीजिए $$ f(z)=\sum_{n=0}^{\infty}a_nz^n $$ यूनिट डिस्क $$D = \{ z\in\mathbb{C} : |z|<1\}$$ में विश्लेषणात्मक है और इसमें परिमित क्षेत्र की छवि है। पार्सेवल के सूत्र के अनुसार $$ f $$ की छवि का क्षेत्रफल $$ \sum_{n=1}^{\infty} n|a_n|^2$$ के समानुपाती होता है। इसके अतिरिक्त, $$ \sum_{n=1}^{\infty} 1/n$$ विचलन करता है। इसलिए, तुलना परीक्षण के व्युत्क्रम से, हमारे पास $$ \liminf_{n\to\infty} \frac{n|a_n|^2}{1/n}= \liminf_{n\to\infty} (n|a_n|)^2 = 0 $$, है, जो कि, $$ \liminf_{n\to\infty} n|a_n| = 0 $$ है।

यह भी देखें

 * अभिसरण परीक्षण
 * प्रत्यक्ष तुलना परीक्षण

अग्रिम पठन

 * Rinaldo B. Schinazi: From Calculus to Analysis. Springer, 2011, ISBN 9780817682897, pp. 50
 * Michele Longo and Vincenzo Valori: The Comparison Test: Not Just for Nonnegative Series. Mathematics Magazine, Vol. 79, No. 3 (Jun., 2006), pp. 205–210 (JSTOR)
 * J. Marshall Ash: The Limit Comparison Test Needs Positivity. Mathematics Magazine, Vol. 85, No. 5 (December 2012), pp. 374–375 (JSTOR)

बाहरी संबंध

 * Pauls Online Notes on Comparison Test