اختبار المقارنة الحدية

في الرياضيات ، يعتبر اختبار المقارنة الحدية (LCT) (على عكس اختبار المقارنة المباشرة ذي الصلة ) طريقة لاختبار تقارب سلسلة لانهائية .

إفادة

لنفترض أن لدينا سلسلتينΣنأن{\displaystyle \Sigma _{n}a_{n}}وΣنبن{\displaystyle \Sigma _{n}b_{n}}معأن0،بن>0{\displaystyle a_{n}\geq 0,b_{n}>0}للجميعن{\displaystyle n}ثم إذاليمنأنبن=ج{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=c}مع0<ج<{\displaystyle 0<c<\infty }إذاً، إما أن تتقارب المتسلسلتان أو تتباعدان. [ 1 ]

دليل

لأنليمنأنبن=ج{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=c}نحن نعلم أنه لكلε>0{\displaystyle \varepsilon >0}يوجد عدد صحيح موجبن0{\displaystyle n_{0}}بحيث يكون ذلك لجميعنن0{\displaystyle n\geq n_{0}}لدينا ذلك|أنبن-ج|<ε{\displaystyle \left|{\frac {a_{n}}{b_{n}}}-c\right|<\varepsilon }أو ما يعادل ذلك

-ε<أنبن-ج<ε{\displaystyle -\varepsilon <{\frac {a_{n}}{b_{n}}}-c<\varepsilon }
ج-ε<أنبن<ج+ε{\displaystyle c-\varepsilon <{\frac {a_{n}}{b_{n}}}<c+\varepsilon }
(ج-ε)بن<أن<(ج+ε)بن{\displaystyle (c-\varepsilon )b_{n}<a_{n}<(c+\varepsilon )b_{n}}

مثلج>0{\displaystyle c>0}بإمكاننا الاختيارε{\displaystyle \varepsilon }أن تكون صغيرة بما يكفي بحيثج-ε{\displaystyle c-\varepsilon }موجب. إذنبن<1ج-εأن{\displaystyle b_{n}<{\frac {1}{c-\varepsilon }}a_{n}}وبواسطة اختبار المقارنة المباشرة ، إذانأن{\displaystyle \sum _{n}a_{n}}إذا تقاربت، فكذلكنبن{\displaystyle \sum _{n}b_{n}}.

بصورة مماثلةأن<(ج+ε)بن{\displaystyle a_{n}<(c+\varepsilon )b_{n}}لذلك إذانأن{\displaystyle \sum _{n}a_{n}}ويختلف، مرة أخرى عن طريق اختبار المقارنة المباشرة، وكذلكنبن{\displaystyle \sum _{n}b_{n}}.

أي أن المتسلسلتين تتقاربان أو المتسلسلتين تتباعدان.

مثال

نريد أن نحدد ما إذا كانت السلسلةن=11ن2+2ن{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}+2n}}}تتقارب. ولذلك نقارنها بالمتسلسلة المتقاربة.ن=11ن2=π26{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}}

مثلليمن1ن2+2نن21=1>0{\displaystyle \lim _{n\to \infty }{\frac {1}{n^{2}+2n}}{\frac {n^{2}}{1}}=1>0}لدينا أيضًا أن السلسلة الأصلية تتقارب.

نسخة من جانب واحد

يمكن صياغة اختبار مقارنة من جانب واحد باستخدام الحد الأعلى . ليكنأن،بن0{\displaystyle a_{n},b_{n}\geq 0}للجميعن{\displaystyle n}ثم إذاليم سوبنأنبن=ج{\displaystyle \limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}=c}مع0ج<{\displaystyle 0\leq c<\infty }وΣنبن{\displaystyle \Sigma _{n}b_{n}}يتقارب بالضرورةΣنأن{\displaystyle \Sigma _{n}a_{n}}يتقارب.

مثال

يتركأن=1-(-1)نن2{\displaystyle a_{n}={\frac {1-(-1)^{n}}{n^{2}}}}وبن=1ن2{\displaystyle b_{n}={\frac {1}{n^{2}}}}لجميع الأعداد الطبيعيةن{\displaystyle n}. الآن ليمنأنبن=ليمن(1-(-1)ن){\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\lim _{n\to \infty }(1-(-1)^{n})}غير موجود، لذا لا يمكننا تطبيق اختبار المقارنة القياسي. ومع ذلك، ليم سوبنأنبن=ليم سوبن(1-(-1)ن)=2[0،){\displaystyle \limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\limsup _{n\to \infty }(1-(-1)^{n})=2\in [0,\infty )}ومنذ ذلك الحينن=11ن2{\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}}إذا تقاربت النتائج، فإن اختبار المقارنة من جانب واحد يشير إلى أنن=11-(-1)نن2{\displaystyle \sum _{n=1}^{\infty }{\frac {1-(-1)^{n}}{n^{2}}}}يتقارب.

عكس اختبار المقارنة من جانب واحد

يتركأن،بن0{\displaystyle a_{n},b_{n}\geq 0}للجميعن{\displaystyle n}. لوΣنأن{\displaystyle \Sigma _{n}a_{n}}يتباعد وΣنبن{\displaystyle \Sigma _{n}b_{n}}إذا تقاربت، فبالضرورة ليم سوبنأنبن={\displaystyle \limsup _{n\to \infty }{\frac {a_{n}}{b_{n}}}=\infty }، إنه، الحد الأقصى غير محدودنبنأن=0{\displaystyle \liminf _{n\to \infty }{\frac {b_{n}}{a_{n}}}=0}المحتوى الأساسي هنا هو أن الأرقام، بمعنى ما،أن{\displaystyle a_{n}}أكبر من الأرقامبن{\displaystyle b_{n}}.

مثال

يتركو(z)=ن=0أنzن{\displaystyle f(z)=\sum _{n=0}^{\infty}a_{n}z^{n}}كن تحليليًا في القرص الواحدد={zج:|z|<1}{\displaystyle D=\{z\in \mathbb {C} :|z|<1\}} ولها صورة ذات مساحة محدودة. باستخدام صيغة بارسيفال، تكون مساحة صورةو{\displaystyle f}يتناسب معن=1ن|أن|2{\displaystyle \sum _{n=1}^{\infty }n|a_{n}|^{2}}. علاوة على ذلك، ن=11/ن{\displaystyle \sum _{n=1}^{\infty }1/n}يتباعد. لذلك، من خلال عكس اختبار المقارنة، لدينا الحد الأقصى غير محدودنن|أن|21/ن=الحد الأقصى غير محدودن(ن|أن|)2=0{\displaystyle \liminf _{n\to \infty }{\frac {n|a_{n}|^{2}}{1/n}}=\liminf _{n\to \infty }(n|a_{n}|)^{2}=0}، إنه، الحد الأقصى غير محدودنن|أن|=0{\displaystyle \liminf _{n\to \infty }n|a_{n}|=0}.

انظر أيضاً

مراجع

  1. سوكوفسكي، إيرل (1983)، حساب التفاضل والتكامل مع الهندسة التحليلية (  طبعة بديلة)، بريندل، ويبر وشميدت، ص 516 ، ISBN  0-87150-341-7

للمزيد من القراءة

  • رينالدو ب. شينزي: من حساب التفاضل والتكامل إلى التحليل . سبرينغر، 2011، رقم ISBN 9780817682897، ص 50
  • ميشيل لونغو وفينشنزو فالوري: اختبار المقارنة: ليس فقط للمتسلسلات غير السالبة . مجلة الرياضيات، المجلد 79، العدد 3 (يونيو 2006)، الصفحات  205-210 ( JSTOR )
  • ج. مارشال آش: اختبار المقارنة الحدية يحتاج إلى الإيجابية . مجلة الرياضيات، المجلد 85، العدد 5 (ديسمبر 2012)، الصفحات  374-375 ( JSTOR )