اختبارات التقارب

في الرياضيات ، اختبارات التقارب هي طرق لاختبار تقارب أو تقارب مشروط أو تقارب مطلق أو فترة تقارب أو تباعد متسلسلة لانهائيةن=1أن{\displaystyle \sum _{n=1}^{\infty }a_{n}}.

قائمة الاختبارات

إذا كانت نهاية الحد غير معرفة أو غير صفرية، أيليمنأن0{\displaystyle \lim _{n\to \infty }a_{n}\neq 0}إذا كان الحدّ يساوي صفرًا، فإن المتسلسلة ستكون متباعدة. وبهذا المعنى، تكون المجاميع الجزئية متقاربة من نوع كوشي فقط إذا كانت هذه النهاية موجودة وتساوي صفرًا. ويكون الاختبار غير حاسم إذا كانت نهاية الحدّ تساوي صفرًا. يُعرف هذا أيضًا باختبار الحدّ النوني ، أو اختبار التباعد .

يُعرف هذا أيضاً بمعيار دالمبير .

لنفترض وجود نهايتين=الحد الأقصى غير محدودن|أن+1أن|{\displaystyle \ell =\liminf _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|}ول=ليم سوبن|أن+1أن|{\displaystyle L=\limsup _{n\to \infty }\left|{\frac {a_{n+1}}{a_{n}}}\right|}. لو>1{\displaystyle \ell >1}تتباعد السلسلة. إذال<1{\displaystyle L<1}عندئذٍ تتقارب المتسلسلة تقارباً مطلقاً. إذا1ل{\displaystyle \ell \leq 1\leq L}عندئذٍ يكون الاختبار غير حاسم، وقد تتقارب السلسلة بشكل مطلق أو مشروط أو تتباعد.

يُعرف هذا أيضًا باسم اختبار الجذر النوني أو معيار كوشي .

يترك
ر=ليم سوبن|أن|ن،{\displaystyle r=\limsup _{n\to \infty }{\sqrt[{n}]{|a_{n}|}},}
أينليم سوب{\displaystyle \limsup }يشير إلى الحد الأعلى (ربما{\displaystyle \infty }(إذا كانت هناك حدود، فهي نفس القيمة).
إذا كانت قيمة r أقل من 1، فإن المتسلسلة تتقارب تقاربًا مطلقًا. إذا كانت قيمة r أكبر من 1، فإن المتسلسلة تتباعد. أما إذا كانت قيمة r تساوي 1، فإن اختبار الجذر غير حاسم، وقد تتقارب المتسلسلة أو تتباعد.

اختبار الجذر أقوى من اختبار النسبة: فعندما يحدد اختبار النسبة تقارب أو تباعد متسلسلة لانهائية، فإن اختبار الجذر يفعل ذلك أيضاً، ولكن ليس العكس. [ 1 ]

يمكن مقارنة المتسلسلة بالتكامل لتحديد التقارب أو التباعد.و:[1،)R+{\displaystyle f:[1,\infty )\to \mathbb {R} _{+}}لتكن دالة غير سالبة ومتناقصة بشكل رتيب بحيثو(ن)=أن{\displaystyle f(n)=a_{n}}. لو 1و(x)دx=ليمت1تو(x)دx<،{\displaystyle \int _{1}^{\infty }f(x)\,dx=\lim _{t\to \infty }\int _{1}^{t}f(x)\,dx<\infty ,} عندئذٍ تتقارب المتسلسلة. ولكن إذا تباعد التكامل، فإن المتسلسلة تتباعد أيضًا. بعبارة أخرى، المتسلسلةأن{\displaystyle {a_{n}}}يتقارب إذا وفقط إذا كان التكامل يتقارب.

اختبار سلسلة p

من النتائج الشائعة لاختبار التكامل اختبار سلسلة p. ليكنك>0{\displaystyle k>0}. ثمن=ك(1نص){\displaystyle \sum _{n=k}^{\infty }{\bigg (}{\frac {1}{n^{p}}}{\bigg )}}يتقارب إذاص>1{\displaystyle p>1}.

قضيةص=1،ك=1{\displaystyle p=1,k=1}ينتج عنه متسلسلة توافقية، وهي متسلسلة متباعدة. حالةص=2،ك=1{\displaystyle p=2,k=1}هي مسألة بازل ، وتتقارب المتسلسلة إلىπ26{\displaystyle {\frac {\pi ^{2}}{6}}}بشكل عام، بالنسبة لـص>1،ك=1{\displaystyle p>1,k=1}، هذه المتسلسلة تساوي دالة زيتا لريمان المطبقة علىص{\displaystyle p}، إنهζ(ص){\displaystyle \zeta (p)}.

إذا كانت السلسلةن=1بن{\displaystyle \sum _{n=1}^{\infty }b_{n}}هي سلسلة متقاربة تمامًا و|أن||بن|{\displaystyle |a_{n}|\leq |b_{n}|}بالنسبة لقيم n  الكبيرة بما فيه الكفاية ، فإن المتسلسلةن=1أن{\displaystyle \sum _{n=1}^{\infty }a_{n}}يتقارب بشكل مطلق.

لو{أن}،{بن}>0{\displaystyle \{a_{n}\},\{b_{n}\}>0}، (أي أن كل عنصر من عناصر المتتاليتين موجب) والحدليمنأنبن{\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}}إذا كانت موجودة، ومحدودة وغير صفرية، فإما أن تتقارب كلتا المتسلسلتين أو تتباعد كلتا المتسلسلتين.

يترك{أن}{\displaystyle \left\{a_{n}\right\}}لتكن متتالية غير سالبة وغير متزايدة. إذن مجموعهاأ=ن=1أن{\displaystyle A=\sum _{n=1}^{\infty }a_{n}}يتقارب إذا وفقط إذا كان المجموعأ*=ن=02نأ2ن{\displaystyle A^{*}=\sum _{n=0}^{\infty }2^{n}a_{2^{n}}}يتقارب. علاوة على ذلك، إذا تقاربا، فإنأأ*2أ{\displaystyle A\leq A^{*}\leq 2A}يحجز.

لنفترض أن العبارات التالية صحيحة:

  1. أن{\displaystyle \sum a_{n}}هي متسلسلة متقاربة،
  2. {بن}{\displaystyle \left\{b_{n}\right\}}هي متتالية رتيبة، و
  3. {بن}{\displaystyle \left\{b_{n}\right\}}محدود.

ثمأنبن{\displaystyle \sum a_{n}b_{n}}وهي متقاربة أيضاً.

كل متسلسلة متقاربة تقارباً مطلقاً تتقارب.

لنفترض أن العبارات التالية صحيحة:

  • (أن)ن=1{\displaystyle (a_{n})_{n=1}^{\infty }}هو رتيب،
  • ليمنأن=0{\displaystyle \lim _{n\to \infty }a_{n}=0}

ثمن=1(-1)نأن{\displaystyle \sum _{n=1}^{\infty }(-1)^{n}a_{n}}ون=1(-1)ن+1أن{\displaystyle \sum _{n=1}^{\infty }(-1)^{n+1}a_{n}}هي متسلسلات متقاربة. يُعرف هذا الاختبار أيضًا باسم معيار لايبنيز .

لو{أن}{\displaystyle \{a_{n}\}}هي سلسلة من الأعداد الحقيقية و{بن}{\displaystyle \{b_{n}\}}متتالية من الأعداد المركبة تحقق

  • أنأن+1{\displaystyle a_{n}\geq a_{n+1}}
  • ليمنأن=0{\displaystyle \lim _{n\rightarrow \infty }a_{n}=0}
  • |ن=1شمالبن|م{\displaystyle \left|\sum _{n=1}^{N}b_{n}\right|\leq M}لكل عدد صحيح موجب N

حيث M ثابت ما، فإن المتسلسلة

ن=1أنبن{\displaystyle \sum _{n=1}^{\infty }a_{n}b_{n}}

يتقارب.

سلسلةأنا=0أأنا{\displaystyle \sum _{i=0}^{\infty }a_{i}}تكون متقاربة إذا وفقط إذا كان لكلε>0{\displaystyle \varepsilon >0}يوجد عدد طبيعي N بحيث

|أن+1+أن+2++أن+ص|<ε{\displaystyle |a_{n+1}+a_{n+2}+\cdots +a_{n+p}|<\varepsilon }

ينطبق هذا على جميع قيم n > N وجميع قيم p ≥ 1 .

يترك (أن)ن1{\displaystyle (a_{n})_{n\geq 1}}و (بن)ن1{\displaystyle (b_{n})_{n\geq 1}}لنفترض أن لدينا سلسلتين من الأعداد الحقيقية.(بن)ن1{\displaystyle (b_{n})_{n\geq 1}}هي متتالية رتيبة ومتباعدة تمامًا، وتوجد النهاية التالية:

ليمنأن+1-أنبن+1-بن=ل. {\displaystyle \lim _{n\to \infty }{\frac {a_{n+1}-a_{n}}{b_{n+1}-b_{n}}}=l.\ }

ثم، الحد

ليمنأنبن=ل. {\displaystyle \lim _{n\to \infty }{\frac {a_{n}}{b_{n}}}=l.\ }

لنفترض أن ( f <sub>n</sub> ) هي متتالية من الدوال الحقيقية أو المركبة المعرفة على مجموعة A ، وأن هناك متتالية من الأعداد غير السالبة ( M <sub>n</sub> ) تحقق الشروط التالية:

  • |ون(x)|من{\displaystyle |f_{n}(x)|\leq M_{n}}للجميعن1{\displaystyle n\geq 1}وكل شيءxأ{\displaystyle x\in A}، و
  • ن=1من{\displaystyle \sum _{n=1}^{\infty }M_{n}}يتقارب.

ثم المسلسل

ن=1ون(x){\displaystyle \sum _{n=1}^{\infty }f_{n}(x)}

يتقارب بشكل مطلق ومنتظم على النقطة A.

توسيعات لاختبار النسبة

قد يكون اختبار النسبة غير حاسم عندما تكون نهاية النسبة 1. ومع ذلك، فإن التوسعات لاختبار النسبة تسمح أحيانًا بالتعامل مع هذه الحالة.

ليكن { a n } سلسلة من الأعداد الموجبة.

يُعرِّف

بن=ن(أنأن+1-1).{\displaystyle b_{n}=n\left({\frac {a_{n}}{a_{n+1}}}-1\right).}

لو

ل=ليمنبن{\displaystyle L=\lim _{n\to \infty }b_{n}}

توجد ثلاثة احتمالات:

  • إذا كانت L > 1 فإن المتسلسلة تتقارب (يشمل ذلك الحالة L = ∞)
  • إذا كانت L < 1 فإن المتسلسلة متباعدة
  • وإذا كانت قيمة L تساوي 1، فإن الاختبار يكون غير حاسم.

يُمكن صياغة هذا الاختبار بطريقة بديلة كما يلي: ليكن { a, n } سلسلة من الأعداد الحقيقية. عندئذٍ، إذا كان b > 1 و K (عدد طبيعي) موجودين بحيث

|أن+1أن|1-بن{\displaystyle \left|{\frac {a_{n+1}}{a_{n}}}\right|\leq 1-{\frac {b}{n}}}

لكل n > K فإن المتسلسلة { a n } متقاربة.

ليكن { a n } سلسلة من الأعداد الموجبة.

يُعرِّف

بن=lnن(ن(أنأن+1-1)-1).{\displaystyle b_{n}=\ln n\left(n\left({\frac {a_{n}}{a_{n+1}}}-1\right)-1\right).}

لو

ل=ليمنبن{\displaystyle L=\lim _{n\to \infty }b_{n}}

إذا كان ذلك ممكناً، فهناك ثلاثة احتمالات: [ 2 ] [ 3 ]

  • إذا كانت L > 1 فإن المتسلسلة تتقارب (يشمل ذلك الحالة L = ∞)
  • إذا كانت L < 1 فإن المتسلسلة متباعدة
  • وإذا كانت قيمة L تساوي 1، فإن الاختبار يكون غير حاسم.

لتكن { a n } متتالية من الأعداد الموجبة. إذاأنأن+1=1+αن+يا(1/نβ){\displaystyle {\frac {a_{n}}{a_{n+1}}}=1+{\frac {\alpha }{n}}+O(1/n^{\beta })}لبعض قيم β > 1، إذنأن{\displaystyle \sum a_{n}}يتقارب إذا كانت α > 1 ويتباعد إذا كانت α ≤ 1. [ 4 ]

لتكن { a n } متتالية من الأعداد الموجبة. عندئذٍ: [ 5 ] [ 6 ] [ 7 ]

(1) أن{\displaystyle \sum a_{n}}يتقارب إذا وفقط إذا كانت هناك متتاليةبن{\displaystyle b_{n}}من الأعداد الموجبة وعدد حقيقي c > 0 بحيثبك(أك/أك+1)-بك+1ج{\displaystyle b_{k}(a_{k}/a_{k+1})-b_{k+1}\geq c}.

(2) أن{\displaystyle \sum a_{n}}يتباعد إذا وفقط إذا كان هناك تسلسلبن{\displaystyle b_{n}}من الأعداد الموجبة بحيثبك(أك/أك+1)-بك+10{\displaystyle b_{k}(a_{k}/a_{k+1})-b_{k+1}\leq 0}

و1/بن{\displaystyle \sum 1/b_{n}}يتباعد.

اختبار أبو مصطفى

يتركن=1أن{\displaystyle \sum _{n=1}^{\infty }a_{n}}لتكن متسلسلة لانهائية ذات حدود حقيقية، ولتكنو:RR{\displaystyle f:\mathbb {R} \to \mathbb {R} }لتكن أي دالة حقيقية بحيثو(1/ن)=أن{\displaystyle f(1/n)=a_{n}}لجميع الأعداد الصحيحة الموجبة n والمشتقة الثانيةو"{\displaystyle f''}موجود فيx=0{\displaystyle x=0}. ثمن=1أن{\displaystyle \sum _{n=1}^{\infty }a_{n}}يتقارب بشكل مطلق إذاو(0)=و(0)=0{\displaystyle f(0)=f'(0)=0}ويختلف الأمر خلاف ذلك. [ 8 ]

ملحوظات

أمثلة

ضع في اعتبارك السلسلة

يُشير اختبار تكثيف كوشي إلى أن ( i ) متقاربة تقاربًا نهائيًا إذا

متقاربة تقارباً نهائياً. بما أن

ن=12ن(12ن)α=ن=12ن-نα=ن=12(1-α)ن{\displaystyle \sum _{n=1}^{\infty }2^{n}\left({\frac {1}{2^{n}}}\right)^{\alpha }=\sum _{n=1}^{\infty }2^{n-n\alpha }=\sum _{n=1}^{\infty }2^{(1-\alpha )n}}

( ii ) هي متسلسلة هندسية بنسبة2(1-α){\displaystyle 2^{(1-\alpha )}}( ii ) يكون متقاربًا تقاربًا نهائيًا إذا كانت نسبته أقل من واحد (أيα>1{\displaystyle \alpha >1}وبالتالي ، فإن ( i ) متقاربة تقاربًا نهائيًا إذا وفقط إذاα>1{\displaystyle \alpha >1}.

تقارب المنتجات

بينما تتناول معظم الاختبارات تقارب المتسلسلات اللانهائية، يمكن استخدامها أيضًا لإثبات تقارب أو تباعد الجداءات اللانهائية . ويمكن تحقيق ذلك باستخدام النظرية التالية: ليكن{أن}ن=1{\displaystyle \left\{a_{n}\right\}_{n=1}^{\infty }}لتكن متتالية من الأعداد الموجبة. عندئذٍ يكون حاصل الضرب اللانهائين=1(1+أن){\displaystyle \prod _{n=1}^{\infty }(1+a_{n})}تتقارب إذا وفقط إذا كانت المتسلسلةن=1أن{\displaystyle \sum _{n=1}^{\infty }a_{n}}يتقارب. وبالمثل، إذا0أن<1{\displaystyle 0\leq a_{n}<1}ثم يمسكن=1(1-أن){\displaystyle \prod _{n=1}^{\infty }(1-a_{n})}تقترب من حد غير صفري إذا وفقط إذا كانت المتسلسلةن=1أن{\displaystyle \sum _{n=1}^{\infty }a_{n}}يتقارب.

يمكن إثبات ذلك بأخذ لوغاريتم الناتج واستخدام اختبار المقارنة الحدية. [ 9 ]

انظر أيضاً

مراجع

  1. واكسموث، بيرت ج. "MathCS.org - التحليل الحقيقي: اختبار النسبة" . www.mathcs.org .
  2. ^ فرانتيشيك Ďuriš، سلسلة لا نهائية: اختبارات التقارب ، ص 24-9. أطروحة البكالوريوس.
  3. وايسشتاين، إريك دبليو. "اختبار برتراند" . mathworld.wolfram.com . تم الاطلاع عليه بتاريخ 16 أبريل 2020 .
  4. ^ "Über die Convergenz und Divergenz der unendlichen Reihen" . Journal für die reine und angewandte Mathematik . 1835 (13): 171-184 . 1835-01-01. دوى : 10.1515/crll.1835.13.171 . ISSN 0075-4102 . S2CID 121050774 .  
  5. تونغ، جينغتشنغ (1994). "اختبار كومر يُعطي خصائص تقارب أو تباعد جميع المتسلسلات الموجبة" . المجلة الرياضية الأمريكية الشهرية . 101 (5): 450-452 . doi : 10.2307/2974907 . JSTOR 2974907 . 
  6. ساميلسون، هانز (1995). "المزيد حول اختبار كومر" . المجلة الرياضية الأمريكية الشهرية . 102 (9): 817-818 . doi : 10.1080/00029890.1995.12004667 . ISSN 0002-9890 . 
  7. أبو مصطفى، ياسر (1984). "اختبار التفاضل للتقارب المطلق" (ملف PDF) . مجلة الرياضيات . 57 (4): 228-231 . doi : 10.1080/0025570X.1984.11977116 .
  8. بيلك، جيم (26 يناير 2008). "تقارب المنتجات اللانهائية" .

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

  • ليثولد، لويس (1972). حساب التفاضل والتكامل، مع الهندسة التحليلية (  الطبعة الثانية). نيويورك: هاربر آند رو. الصفحات 655-737 . ISBN  0-06-043959-9.