מבחני התכנסות לטורים

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

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

תנאי הכרחי להתכנסות טורים

תנאי הכרחי להתכנסות טורים הוא שהאיבר הכללי שואף ל-0 כאשר $n\to \infty$

דוגמה

הטור $\sum _{n=1}^{\infty }\cos(1/n)$ הוא טור מתבדר מכיוון שהאיבר הכללי שלו אינו מתכנס ל-0.

התנאי אינו מספיק, כפי שמדגים הטור ההרמוני שמתבדר.

טורים חיוביים

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

מבחן ההשוואה

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

מבחן ההשוואה הראשון (הלא גבולי). יהיו $\sum _{n=1}^{\infty }a_{n},\sum _{n=1}^{\infty }b_{n}$ שני טורים אינסופיים. אם מתקיים החל ממקום מסוים $0\leq a_{n}\leq b_{n}$, אז:

• אם $\sum _{n=1}^{\infty }b_{n}$ מתכנס, גם $\sum _{n=1}^{\infty }a_{n}$ מתכנס; לכן גם:
• אם $\sum _{n=1}^{\infty }a_{n}$ מתבדר, גם $\sum _{n=1}^{\infty }b_{n}$ מתבדר.

מבחן ההשוואה השני (הגבולי). יהיו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n , \sum_{n=1}^\infty b_n} שני טורים חיוביים אינסופיים, שעבורם הגבול הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty}\frac{a_n}{b_n}=L} קיים. אז:

• אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0<L<\infty} , הטורים מתכנסים או מתבדרים יחדיו.
• אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L=0} , אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty b_n} מתכנס אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} מתכנס ואם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} מתבדר אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty b_n} מתבדר (אבל ההפך אינו בהכרח נכון).
• אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L=\infty} אם $\sum _{n=1}^{\infty }b_{n}$ מתבדר אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} מתבדר ואם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} מתכנס אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty b_n} מתכנס (אבל ההפך אינו בהכרח נכון).

דוגמאות. נרצה לבדוק אם הטור האינסופי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty \frac{1}{n\sqrt[n]{n}}} מתבדר או מתכנס. נערוך את מבחן ההשוואה עם הטור ההרמוני:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty}\frac{\frac{1}{n\sqrt[n]{n}}}{\frac{1}{n}}=\lim_{n \to \infty}\frac{1}{\sqrt[n]{n}}=1>0}

זאת בהתבסס על העובדה כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n \to \infty}\sqrt[n]{n}=1} .

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

מבחן השורש של קושי

יהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} טור חיובי אינסופי. נסמן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\rightarrow\infty}\sqrt[n]{a_n}=q } .

1. אם $q<1$ הטור מתכנס.
2. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q>1 } הטור מתבדר.
3. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q=1 } המבחן אינו מספק מידע על התכנסות או התבדרות הטור.

(למעשה, קיים ניסוח כללי יותר : אם קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q<1 } כך שכמעט לכל האיברים בסדרה מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n\le q^n} , אז הטור מתכנס).

מבחן המנה של ד'אלמבר

יהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} טור אינסופי. נסמן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\rightarrow\infty}|\frac{a_{n+1}}{a_n}|=q } .

1. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q<1 } הטור מתכנס.
2. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q>1 } הטור מתבדר.
3. אם $q=1$ או שגבול המנה אינו קיים, המבחן אינו מספק מידע על התכנסות או התבדרות הטור.

(למעשה, קיים ניסוח כללי יותר: אם קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q<1 } כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{a_{n+1}}{a_n} \le q } כמעט לכל איברי הסדרה, אז הטור מתכנס, ואם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{a_{n+1}}{a_n} \ge 1 } כמעט לכל אברי הסדרה, אז הטור מתבדר).

מבחן השורש חזק יותר ממבחן המנה. כלומר - מבחן השורש מכריע עבור כל טור שעבורו מבחן המנה מכריע, אבל מבחן המנה לא בהכרח מכריע עבור כל טור שעבורו מבחן השורש מכריע. למשל, נסתכל על הטור הבא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{2}+1+\frac{1}{8}+\frac{1}{4}+\frac{1}{32}+\frac{1}{16}\cdots} ,

- ברור כי הטור מתכנס. עם זאת, אם נפעיל עליו את מבחן המנה, נקבל שני גבולות חלקיים לסדרת היחסים בין איברים עוקבים - הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{8}} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2} -ולפיכך הגבול של סדרת המנות אינו קיים. לעומת זאת, אם נפעיל את מבחן השורש, נקבל: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |2^n \cdot \frac{1}{8^n}|^{1/2n} = \frac{1}{2}} , כלומר קיבלנו הכרעה בשאלת ההתכנסות של הטור.

הסיבה להבדל בין החוזק של שני המבחנים מתבהרת כאשר עושים שימוש באי שוויון הממוצעים כדי להראות שהגבול של מכפלת השורשים ה-n-ים של המנות של איברים עוקבים בטור (זוהי מכפלה טלסקופית, ולכן שווה לשורש ה-n-י של האיבר האחרון בטור), שהוא גם הגבול של הממוצע הגאומטרי של המנות, הוא קטן מהגבול של הממוצע החשבוני של המנות - ועל פי משפט צזארו, הגבול של הממוצע החשבוני של סדרה שווה לגבול שלה (במידה ויש התכנסות). נקודת המבט של אי שוויון הממוצעים מאפשרת להבין טוב יותר את ההבדל בין מבחן המנה למבחן השורש - בעוד שמבחן המנה לוקח בחשבון רק את היחס האחרון, ולפיכך רגיש לתנודתיות בערך הזה (כמו שקרה בדוגמה האחרונה), מבחן השורש מסתכל על התנהגות היחסים "באופן ממוצע", ולכן מטיב יותר לתאר את ההתנהגות של טורים עם איבר כללי מורכב.

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

מבחן האינטגרל

יהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} מספר טבעי ו-$\ f$ פונקציה חיובית מונוטונית יורדת המוגדרת בקטע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [N,\infty)} , אזי סכום הסדרה החיובית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=N}^\infty f(n)} מתכנס אם ורק אם האינטגרל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int_N^\infty f(x)\,dx} הוא סופי. בפרט, אם האינטגרל מתבדר אז גם הטור מתבדר.

מבחן ראבה

יהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} טור חיובי אינסופי. נסמן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{n\rightarrow\infty}n\left(1-\frac{a_{n+1}}{a_{n}}\right)=q } .

1. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q>1 } הטור מתכנס.
2. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q<1 } הטור מתבדר.
3. אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q=1 } המבחן אינו מספק מידע על התכנסות או התבדרות הטור.

מבחן זה הוא עידון של מבחן המנה, והוא עשוי להצליח במקום שמבחן המנה נכשל (למשל, בהוכחת ההתכנסות של הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum \frac{1}{n^2}} ).

מבחן העיבוי של קושי

תהיהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n } סדרה חיובית יורדת המתכנסת לאפס. אזי, הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} מתכנס אם ורק אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty 2^n\cdot a_{2^n}} מתכנס. בלשון ציורית: די להחליף כל קבוצה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,2^n} איברים ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,2^n} מופעים של האיבר הראשון (או האחרון) בקבוצה. הטור שיתקבל מתכנס ומתבדר יחד עם הטור המקורי. לעיתים נקרא גם מבחן הדילול.

דוגמאות. נוכיח כי הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=2}^\infty \frac{1}{n\cdot \ln(n)}} מתבדר. על פי מבחן העיבוי, טור זה מתכנס ומתבדר יחד עם הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=2}^\infty \frac{2^n}{2^n\cdot \ln(2^n)}} , ולאחר צמצום נקבל את הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=2}^\infty \frac{1}{n\cdot \ln2}} . כעת, באמצעות מבחן ההשוואה עם הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=2}^\infty \frac{1}{n}} שידוע כי הוא מתבדר, נסיים את ההוכחה.

טורים כלליים

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

קריטריון קושי

קריטריון קושי להתכנסות טורים מתבסס על כך שסדרה מתכנסת אם ורק אם היא סדרת קושי: הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n} מתכנס אם ורק אם לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \varepsilon > 0} קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} כך שלכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m>n > N} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\sum_{i=n}^m a_i| < \varepsilon } .

משפט לייבניץ

תהיהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n } סדרה חיובית יורדת השואפת לאפס. אזי הטור המתחלף שנוצר על ידה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty (-1)^n \cdot a_n } מתכנס.

זנב הטור, $r_{m}=\sum _{n=m}^{\infty }(-1)^{n}\cdot a_{n}$, קטן תמיד בערכו המוחלט מגודל האיבר הראשון בו, כלומר: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle | \sum_{n=m}^\infty (-1)^n \cdot a_n | \le | a_m |} . כמו כן, מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (-1)^m \cdot r_m \geq 0 } .

דוגמאות. נביט בטור ההרמוני המתחלף: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty (-1)^n \cdot \frac{1}{n} } . הסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{1}{n} } היא סדרה חיובית מונוטונית יורדת לאפס, ולכן על פי מבחן לייבניץ, הטור מתכנס.

מבחן דיריכלה

תהיהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n } סדרה מונוטונית יורדת ושואפת לאפס ותהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n } סדרה שעבורה קיים מספר חיובי M כך שלכל N טבעי מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle | \sum_{n=1}^N{b_n} | < M } (סדרת הסכומים החלקיים של הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n } חסומה). בתנאים אלה הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n \cdot b_n } מתכנס.

מבחן דיריכלה מכליל את מבחן לייבניץ מבחינת הוכחת התכנסות הטור (אך ללא הערכת גודל השארית שכלול במשפט לייבניץ) שכן מבחן לייבניץ הוא המקרה הפרטי של מבחן דיריכלה כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_n = (-1)^n} .

מבחן אבל

תהיהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n } סדרה מונוטונית חסומה ויהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty{b_n} } טור מתכנס, אזי בתנאים אלה הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n \cdot b_n } מתכנס.

התכנסות של מכפלות אינסופיות

מכפלה אינסופית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \prod_{n=1}^\infty (1+a_n) } מתכנסת או מתבדרת יחד עם הלוגריתם שלה, שהוא הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty \log(1+a_n)} . יותר מזה, אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0<a_n} לכל n, אז אי-השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1+\sum_{n=1}^{N} a_n < \prod_{n=1}^N(1+a_n) < \exp(\sum_{n=1}^N a_n)} מראה שהמכפלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \prod_{n=1}^\infty (1+a_n) } מתכנסת אם ורק אם הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{n=1}^\infty a_n } מתכנס.

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

ראו גם

• מבחני התכנסות לסדרות
• מבחני התכנסות לאינטגרלים

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

32698286מבחני התכנסות לטורים