מבחן המנה

במתמטיקה, ובפרט בחשבון אינפיניטסימלי, מבחן המנה (נקרא גם מבחן המנה של ד'לאמבר או מבחן המנה של קושי) הוא מבחן התכנסות לטורים המאפשר לבחון אם טור אינסופי מתכנס או לא.

המבחן נוסח לראשונה על-ידי ז'אן לה רון ד'אלמבר ומופיע בכרך החמישי של סדרת מאמריו Opuscules mathématiques.

סימונים

בערך זה נסמן ב-<math>\N</math> את קבוצת המספרים הטבעיים.

הסימונים <math>\lim</math>,‏ <math>\limsup</math> ו-<math>\liminf</math> מתייחסים לגבול, הגבול העליון והגבול התחתון בהתאמה.

נוסח המשפט

גרסה חלשה

תהי סדרה של מספרים ממשיים חיוביים <math>\left\{a_n\right\}_{n=1}^\infty</math> ויהי <math>\lim_{n\to\infty}\frac{a_{n+1}}{a_n}=q</math>. אזי:

1. אם <math>q<1</math> הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס.
2. אם <math>q>1</math> הטור <math>\sum_{n=1}^\infty a_n</math> מתבדר.
3. אם <math>q=1</math> המבחן איננו מספיק כדי לקבוע את התכנסות הטור.

גרסה חזקה

תהי סדרה של מספרים ממשיים חיוביים <math>\left\{a_n\right\}_{n=1}^\infty</math> ויהי <math>\limsup_{n\to\infty}\frac{a_{n+1}}{a_n}=Q</math> ו-<math>\liminf_{n\to\infty}\frac{a_{n+1}}{a_n}=q</math>. אזי:

1. אם <math>Q<1</math> הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס.
2. אם <math>q>1</math> הטור <math>\sum_{n=1}^\infty a_n</math> מתבדר.
3. אם <math>q\le 1\le Q</math> המבחן איננו מספיק כדי לקבוע את התכנסות הטור.

ניתן לראות שהגרסה החלשה של המבחן נובעת מהגרסה החזקה למקרה שבו <math>q=Q</math>.

הוכחה

מספיק להוכיח את הגרסה החזקה של המבחן כדי להוכיח את הגרסה החלשה. אין צורך להוכיח את אי-הכרעת המבחן למקרה שבו <math>q\le 1\le Q</math> שכן ניתן להראות את אי-הכרעתו באמצעות דוגמאות נגדיות (ראו פרק דוגמאות).

הוכחת התכנסות לפי המבחן

מניחים כי <math>Q<1</math>. בוחרים <math>Q<l<1</math> כלשהו. לפי תכונות הגבול העליון, קיים <math>N\in\N</math> כך שלכל <math>n>N</math> מתקיים ש-<math>\frac{a_{n+1}}{a_n}<l</math>. בגלל שהדבר נכון לכל <math>n>N</math>, אפשר להראות כי:

<math>a_n=\frac{a_n}{a_{n-1}}\cdot\frac{a_{n-1}}{a_{n-2}}\cdots\frac{a_{N+1}}{a_N}\cdot a_N<l^{n-N}a_N</math>

משמע כי:

<math>\sum_{n=1}^\infty a_n=\sum_{n=1}^{N-1} a_n + \sum_{n=N}^\infty a_n<\sum_{n=1}^{N-1} a_n + \sum_{n=N}^\infty a_Nl^{n-N}=\sum_{n=1}^{N-1} a_n+\frac{a_N}{1-l}<\infty</math>

משמע שהטור מתכנס.

הוכחת התבדרות לפי המבחן

מניחים כי <math>q>1</math>. בוחרים <math>1<l<q</math> כלשהו. לפי הגדרת הגבול התחתון, קיים <math>N\in\N</math> כך שלכל <math>n>N</math> מתקיים ש-<math>\frac{a_{n+1}}{a_n}>l</math>. בגלל שהדבר נכון לכל <math>n>N</math>, אפשר להראות כי:

<math>a_n=\frac{a_n}{a_{n-1}}\cdot\frac{a_{n-1}}{a_{n-2}}\cdots\frac{a_{N+1}}{a_N}\cdot a_N>l^{n-N}a_N</math>

מכאן נובע כי <math>\lim_{n\to\infty}a_n\ge \lim_{n\to\infty}a_Nl^{n-N}=\infty</math>. כלומר, הסדרה לא מקיימת את התנאי ההכרחי להתכנסות טור אינסופי, ולכן היא לא מתכנסת.

מ.ש.ל.

דוגמאות

התכנסות לפי המבחן

נתון הטור <math>\sum_{n=1}^\infty{\frac{n}{2^n}}</math>. לפי מבחן המנה:

<math>\lim_{n\to\infty}\frac{\frac{n+1}{2^{n+1}}}{\frac{n}{2^n}}=\lim_{n\to\infty}\frac{1}{2}\frac{n+1}{n}=\frac{1}{2}<1</math>

לכן הטור בהכרח מתכנס. ניתן להראות כי:

<math>\sum_{n=1}^\infty{\frac{n}{2^n}}=2</math>

התבדרות לפי המבחן

נתון הטור <math>\sum_{n=1}^\infty{\frac{2^n}{n}}</math>. לפי מבחן המנה:

<math>\lim_{n\to\infty}\frac{\frac{2^{n+1}}{n+1}}{\frac{2^n}{n}}=\lim_{n\to\infty}\frac{2n}{n+1}=2</math>

לכן הטור בהכרח מתבדר

אי-הכרעת המבחן

יהי שתי סדרות <math>a_n:=\frac{1}{n}</math> ו-<math>b_n=\frac{1}{n^2}</math>. יש לבחון האם הטורים <math>\sum_{n=1}^\infty a_n</math> ו-<math>\sum_{n=1}^\infty b_n</math> מתכנסים. לפי מבחן המנה:

<math>\lim_{n\to\infty}\frac{a_{n+1}}{a_n}=\lim_{n\to\infty}\frac{\frac{1}{n+1}}{\frac{1}{n}}=\lim_{n\to\infty}\frac{n}{n+1}=1</math>

<math>\lim_{n\to\infty}\frac{b_{n+1}}{b_n}=\lim_{n\to\infty}\frac{\frac{1}{(n+1)^2}}{\frac{1}{n^2}}=\lim_{n\to\infty}\frac{n^2}{(n+1)^2}=1</math>

עם זאת, הטור <math>\sum_{n=1}^\infty \frac{1}{n}</math> מתבדר (זהו הטור ההרמוני) והטור <math>\sum_{n=1}^\infty \frac{1}{n^2}</math> מתכנס (הטור מבעיית בזל).

כלומר, כאשר הגבול של המנות הוא 1, המבחן חסר-הכרעה.

מבחן המנה לסדרות מרוכבות

ניתן לנסח גרסה דומה למבחן המנה לכל סדרה כללית, גם כזו שאיבריה שליליים או מרוכבים:

תהי סדרה של מספרים מרוכבים <math>\left\{a_n\right\}_{n=1}^\infty</math> שאינסוף מאיבריה אינם מתאפסים (אחרת הטור הוא טור סופי ובהכרח מתכנס).

ויהי <math>\limsup_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|=Q</math> ו-<math>\liminf_{n\to\infty}\left|\frac{a_{n+1}}{a_n}\right|=q</math>. אזי:

1. אם <math>Q<1</math> הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס בהחלט.
2. אם <math>q>1</math> הטור <math>\sum_{n=1}^\infty a_n</math> מתבדר.
3. אם <math>q\le 1\le Q</math> המבחן איננו מספיק כדי לקבוע את התכנסות הטור.

הוכחת המקרה הזה זהה להוכחת המקרה החיובי, עם שינויים קלים.

ראו גם

• מבחן השורש
• מבחן ראבה
• מבחן M של ויירשטראס

קישורים חיצוניים

• מבחן המנה, באתר MathWorld (באנגלית)