מבחן השורש

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

המבחן נוסח לראשונה על-ידי המתמטיקאי אוגוסטן לואי קושי בשנת 1821.

סימונים

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

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

נוסח המשפט

תהיה סדרה <math>\left\{a_n\right\}_{n=1}^\infty</math> של מספרים ממשיים אי-שליליים ויהי <math>\limsup_{n\to\infty}\sqrt[n]{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>q=1</math> אפשר להראות באמצעות דוגמאות נגדיות (ראו פרק דוגמאות).

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

מניחים כי <math>q<1</math>. בוחרים <math>q<l<1</math>. לפי תכונות הגבול העליון קיים <math>N\in\N</math> כך שלכל <math>n>N</math> מתקיים ש-<math>\sqrt[n]{a_n}<l</math>, כלומר <math>a_n<l^n</math>. אזי:

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

לכן הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס.

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

לכל <math>n\in\N</math> מסמנים <math>b_n:=\sqrt[n]{a_n}</math>.

מניחים כי <math>q>1</math>. לפי תכונות הגבול העליון, קיימת תת-סדרה <math>\left\{b_{n_k}\right\}_{k=1}^\infty</math> כך ש-<math>b_{n_k}\to q</math>.

בוחרים <math>1<l<q</math> כלשהו. לפי תכונות הגבול, קיים <math>K\in\N</math> כך שלכל <math>k>K</math> מתקיים ש-<math>b_{n_k}>l</math>. מכאן נובע כי <math>\sqrt[n_k]{a_{n_k}}>l</math>, כלומר <math>a_{n_k}>l^{n_k}</math>.

משמעות הדבר ש-<math>a_{n_k}>l^{n_k}\to\infty</math>, לכן יש ל-<math>a_n</math> תת-סדרה ששואפת לאינסוף. הדבר עומד בסתירה לכך שלפי התנאי ההכרחי להתכנסות טור אינסופי <math>a_n\to 0</math>, ולכן גם כל תת-סדרה שלו שואפת ל-0.

לכן בהכרח הטור <math>\sum_{n=1}^\infty a_n</math> מתבדר.

מ.ש.ל.

דוגמאות

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

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

<math>\lim_{n\to\infty}{\sqrt[n]{\frac{n}{2^n}}}=\lim_{n\to\infty}{\frac{\sqrt[n]{n}}{2}}=\frac{1}{2}</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}\sqrt[n]{\frac{2^n}{n}}=\lim_{n\to\infty}\frac{2}{\sqrt[n]{n}}=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}\sqrt[n]{a_n}=\lim_{n\to\infty}\sqrt[n]{\frac{1}{n}}=\lim_{n\to\infty}\frac{1}{\sqrt[n]{n}}=1</math>

<math>\lim_{n\to\infty}\sqrt[n]{b_n}=\lim_{n\to\infty}\sqrt[n]{\frac{1}{n^2}}=\lim_{n\to\infty}\frac{1}{n^\frac{2}{n}}=1</math>

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

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

קשר למבחן המנה

קובץ:Postscript-viewer-blue.svg ערך מורחב – מבחן המנה

מבחן השורש חזק יותר ממבחן המנה באופן קטגורי. בהינתן טור שאיבריו חיוביים <math>\sum_{n=1}^\infty a_n</math>, אפשר להראות כי:

<math>\liminf_{n\to\infty}{\frac{a_{n+1}}{a_n}}\le \limsup_{n\to\infty}{\sqrt[n]{a_n}} \le \limsup_{n\to\infty}{\frac{a_{n+1}}{a_n}}</math>

כלומר:

• אם מבחן המנה מצביע על התכנסות הטור, מבחן השורש מצביע על התכנסות הטור.
• אם מבחן המנה מצביע על התבדרות הטור, מבחן השורש מצביע על התבדרות הטור.

ההפך של שתי טענות אלו אינו בהכרח נכון (ראו דוגמאות למטה).

משמעות הדבר היא שמספיק לבצע את מבחן השורש כדי לקבוע האם הטור מתכנס או מתבדר לפי מבחן המנה. עם זאת, לעיתים מבחן המנה נוח יותר לחישוב ועל כן משתמשים בו.

דוגמאות

טור מתכנס לפי מבחן השורש וחסר הכרעה לפי מבחן המנה

נתונה הסדרה:

<math>a_n=\begin{cases} \frac{1}{2^n} & \text{if }n\text{ is even} \\ \frac{1}{3^n} & \text{if }n\text{ is odd} \end{cases}</math>

רוצים לבחון האם הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס.

ניתן להראות כי <math>\liminf_{n\to\infty}{\frac{a_{n+1}}{a_n}} = 0</math> ו-<math>\limsup_{n\to\infty}{\frac{a_{n+1}}{a_n}} = \infty</math>. כלומר, מבחן המנה חסר הכרעה.

עם זאת, <math>\limsup_{n\to\infty}{\sqrt[n]{a_n}} = \frac{1}{2}</math>, כלומר שמבחן השורש מצביע על התכנסות הטור.

טור מתבדר לפי מבחן השורש וחסר הכרעה לפי מבחן המנה

נתונה הסדרה:

<math>a_n=\begin{cases} \frac{1}{2^n} & \text{if }n\text{ is even} \\ 2^n & \text{if }n\text{ is odd} \end{cases}</math>

רוצים לבחון האם הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס.

ניתן להראות כי <math>\liminf_{n\to\infty}{\frac{a_{n+1}}{a_n}} = 0</math> ו-<math>\limsup_{n\to\infty}{\frac{a_{n+1}}{a_n}} = \infty</math>. כלומר, מבחן המנה חסר הכרעה.

עם זאת, <math>\limsup_{n\to\infty}{\sqrt[n]{a_n}} = 2</math>, כלומר שמבחן השורש מצביע על התבדרות הטור.

טורים מרוכבים

מבחן השורש לטורים מרוכבים

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

תהי סדרה של מספרים מרוכבים <math>\left\{a_n\right\}_{n=1}^\infty</math> ויהי <math>\limsup_{n\to\infty}\sqrt[n]{|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>a\in\C</math> ו-<math>\left\{c_n\right\}_{n=1}^\infty</math> סדרה של מקדמים מרוכבים. מסתכלים על טור החזקות <math>\sum_{n=1}^\infty{c_n(z-a)^n}</math> ומסמנים את רדיוס ההתכנסות שלו ב-<math>R</math>. כמו כן, מגדירים <math>\limsup_{n\to\infty}\sqrt[n]{|c_n|}=q</math>. אזי:

1. אם <math>0<q<\infty</math> הרדיוס <math>R</math> סופי ומקיים <math>R=\frac{1}{q}</math>.
2. אם <math>q=0</math> הרדיוס <math>R</math> אינסופי, משמע שטור החזקות הוא פונקציה שלמה.
3. אם <math>q=\infty</math> מתקיים ש-<math>R=0</math>. כלומר, הטור מתכנס רק עבור <math>z=a</math> וערכו 0 בנקודה זו.

משפט זה נובע ישירות מהפעלת מבחן השורש על הסדרה <math>a_n=c_n(z-a)^n</math> עבור <math>z</math> כללי כלשהו.

ראו גם

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

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

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