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

गणित में, तुलना परीक्षण को कभी-कभी प्रत्यक्ष तुलना परीक्षण भी कहा जाता है जिससे इसे समान संबंधित परीक्षणों (विशेष रूप से सीमा तुलना परीक्षण) से अलग किया जा सके, जो अनंत श्रृंखला (गणित) या अनुचित अभिन्न अंग के अभिसरण या विचलन को निकालने की एक प्रणाली प्रदान करता है। दोनों स्थितियों में, परीक्षण दी गई श्रृंखला या अभिन्न अंग की तुलना उस श्रृंखला से करके काम करता है जिसके अभिसरण गुण ज्ञात हैं।

श्रृंखला के लिए
कैलकुलस में, श्रृंखला के लिए तुलना परीक्षण में सामान्यतः गैर-नकारात्मक (वास्तविक संख्या) शब्दों के साथ अनंत श्रृंखला के बारे में कथनों की एक जोड़ी होती है: ध्यान दें कि बड़े पदों वाली श्रृंखला कभी-कभी छोटे पदों वाली श्रृंखला पर प्रमुख हो जाती है (या अंततः प्रमुख हो जाती है)।
 * यदि अनंत श्रृंखला $$\sum b_n$$ अभिसरण करती है और सभी पर्याप्त रूप से बड़े n के लिए $$0 \le a_n \le b_n$$ (अर्थात, कुछ निश्चित मान N के लिए सभी $$n>N$$ के लिए) हैं, तो अनंत श्रृंखला $$\sum a_n$$ भी अभिसरण करती है।
 * यदि अनंत श्रृंखला $$\sum b_n$$ विचलन करती है और सभी पर्याप्त रूप से बड़े n के लिए $$0 \le b_n \le a_n$$ है, तो अनंत श्रृंखला $$\sum a_n$$ भी विचलन करती है।

वैकल्पिक रूप से, परीक्षण को पूर्ण अभिसरण के संदर्भ में कहा जा सकता है, इस स्थिति में यह जटिल संख्या शर्तों वाली श्रृंखला पर भी लागू होता है: ध्यान दें कि इस अंतिम कथन में, श्रृंखला $$\sum a_n$$ अभी भी वास्तविक-मूल्यवान श्रृंखला के लिए सशर्त रूप से अभिसरण हो सकती है, ऐसा तब हो सकता है जब an सभी गैर-नकारात्मक न हों।
 * यदि अनंत श्रृंखला $$\sum b_n$$ पूर्णतः अभिसारी है और सभी पर्याप्त रूप से बड़े n के लिए $$|a_n| \le |b_n|$$ है, तो अनंत श्रृंखला $$\sum a_n$$ भी पूर्णतः अभिसारी है।
 * यदि अनंत श्रृंखला $$\sum b_n$$ पूर्णतया अभिसरण नहीं है और सभी पर्याप्त रूप से बड़े n के लिए $$|b_n| \le |a_n|$$ है, तो अनंत श्रृंखला $$\sum a_n$$ भी पूर्णतः अभिसरण नहीं है।

वास्तविक-मूल्यवान श्रृंखला के स्थिति में कथनों की दूसरी जोड़ी पहले के बराबर है क्योंकि $$\sum c_n$$} पूर्ण रूप से अभिसरण करता है यदि और केवल यदि $$\sum |c_n|$$, गैर-नकारात्मक शब्दों वाली श्रृंखला अभिसरण करती है।

प्रमाण
ऊपर दिए गए सभी कथनों के प्रमाण समान हैं। यहाँ तीसरे कथन का प्रमाण है।

मान लीजिए कि $$\sum a_n$$ और $$\sum b_n$$ ऐसी अनंत श्रृंखला हैं कि $$\sum b_n$$ पूर्णतः अभिसरण करता है (इस प्रकार $$\sum |b_n|$$ अभिसरण करता है) और व्यापकता की हानि के बिना मान लें कि सभी धनात्मक पूर्णांक n के लिए $$|a_n| \le |b_n|$$ है। आंशिक योग पर विचार करें
 * $$S_n = |a_1| + |a_2| + \ldots + |a_n|,\ T_n = |b_1| + |b_2| + \ldots + |b_n|. $$

चूँकि $$\sum b_n$$ किसी वास्तविक संख्या T के लिए पूर्णतः $$\lim_{n\to\infty} T_n = T$$ पर अभिसरण करता है। सभी n के लिए
 * $$ 0 \le S_n = |a_1| + |a_2| + \ldots + |a_n| \le |a_1| + \ldots + |a_n| + |b_{n+1}| + \ldots = S_n + (T-T_n) \le T.$$

$$S_n$$ एक न घटने वाला क्रम है और $$S_n + (T - T_n)$$ न बढ़ने वाला क्रम है। $$m,n > N$$ दिया गया है तो $$S_n, S_m$$ दोनों अंतराल $$[S_N, S_N + (T - T_N)]$$ से संबंधित हैं, जिसकी लम्बाई $$T - T_N$$ $$N$$ के अनंत तक जाने पर शून्य हो जाती है। इससे पता चलता है कि $$(S_n)_{n=1,2,\ldots}$$ कॉची अनुक्रम है, और इसलिए इसे एक सीमा तक परिवर्तित होना चाहिए। इसलिए, $$\sum a_n$$ पूर्णतः अभिसरण है।

अभिन्न के लिए
इंटीग्रल के लिए तुलना परीक्षण इस प्रकार कहा जा सकता है, जिसमें निरंतर वास्तविक-मूल्य वाले फलन f और g को $$[a,b)$$ पर b या तो $$+\infty$$ या एक वास्तविक संख्या के साथ माना जा सकता है, जिस पर f और g प्रत्येक में एक लंबवत अनंतस्पर्शी है:
 * यदि $$a \le x < b$$ के लिए अनुचित इंटीग्रल $$\int_a^b g(x)\,dx$$ और $$0 \le f(x) \le g(x)$$ पर अभिसरण होता है, तो अनुचित इंटीग्रल $$\int_a^b f(x)\,dx$$ भी $$\int_a^b f(x)\,dx \le \int_a^b g(x)\,dx$$ के साथ अभिसरण करता है।
 * यदि $$a \le x < b$$ के लिए अनुचित इंटीग्रल $$\int_a^b g(x)\,dx$$ विचलन करता है और $$0 \le g(x) \le f(x)$$, तो अनुचित इंटीग्रल $$\int_a^b f(x)\,dx$$ भी विचलन करता है।

अनुपात तुलना परीक्षण
वास्तविक-मूल्यवान श्रृंखला के अभिसरण के लिए और परीक्षण, उपरोक्त प्रत्यक्ष तुलना परीक्षण और अनुपात परीक्षण दोनों के समान, अनुपात तुलना परीक्षण कहा जाता है:
 * यदि अनंत श्रृंखला $$\sum b_n$$ अभिसरण करती है और $$a_n>0$$, $$b_n>0$$, और $$\frac{a_{n+1}}{a_n} \le \frac{b_{n+1}}{b_n}$$ सभी पर्याप्त रूप से बड़े n के लिए अभिसरण करती है, तो अनंत श्रृंखला $$\sum a_n$$ भी अभिसरण करती है।
 * यदि अनंत शृंखला $$\sum b_n$$ विचलन करती हैं और $$a_n>0$$, $$b_n>0$$, और $$\frac{a_{n+1}}{a_n} \ge \frac{b_{n+1}}{b_n}$$ सभी पर्याप्त रूप से बड़े n के लिए विचलन करती हैं, तो अनंत श्रृंखला $$\sum a_n$$ भी विचलन करती है।

यह भी देखें

 * अभिसरण परीक्षण
 * अभिसरण (गणित)
 * प्रभुत्व अभिसरण प्रमेय
 * अभिसरण के लिए अभिन्न परीक्षण
 * सीमा तुलना परीक्षण
 * मोनोटोन अभिसरण प्रमेय

संदर्भ


Série convergente