הצגת המקור של הדף "מבחני התכנסות לטורים"

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

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

==תנאי הכרחי להתכנסות טורים== 
{{הפניה לערך מורחב|תנאי הכרחי להתכנסות טור אינסופי}}
[[תנאי הכרחי להתכנסות טורים]] הוא שהאיבר הכללי שואף ל-0 כאשר <math>n\to \infin </math>

===דוגמה===

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

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

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

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

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

==== מבחן ההשוואה השני (הגבולי) ====
יהיו <math>\sum_{n=1}^\infty a_n , \sum_{n=1}^\infty b_n</math> שני טורים חיוביים אינסופיים, שעבורם הגבול <math>\lim_{n \to \infty}\frac{a_n}{b_n}=L</math> קיים. אז: 
* אם <math>0<L<\infty</math>, הטורים מתכנסים או מתבדרים יחדיו.
* אם <math>L=0</math>, אם <math>\sum_{n=1}^\infty b_n</math> מתכנס אז <math>\sum_{n=1}^\infty a_n</math> מתכנס ואם <math>\sum_{n=1}^\infty a_n</math> מתבדר אז <math>\sum_{n=1}^\infty b_n</math> מתבדר (אבל ההפך אינו בהכרח נכון).
* אם <math>L=\infty</math> אם <math>\sum_{n=1}^\infty b_n</math> מתבדר אז <math>\sum_{n=1}^\infty a_n</math> מתבדר ואם <math>\sum_{n=1}^\infty a_n</math> מתכנס אז <math>\sum_{n=1}^\infty b_n</math> מתכנס (אבל ההפך אינו בהכרח נכון).

'''דוגמאות'''. נרצה לבדוק אם הטור האינסופי <math id="sum">\sum_{n=1}^\infty \frac{1}{n\sqrt[n]{n}}</math>  מתבדר או מתכנס. נערוך את מבחן ההשוואה עם הטור ההרמוני:

<math id="sum">\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</math>

זאת בהתבסס על העובדה כי <math id="sum">\lim_{n \to \infty}\sqrt[n]{n}=1</math>.

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

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

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

(למעשה, קיים ניסוח כללי יותר: אם קיים <math>q<1 </math> כך ש[[כמעט לכל]] האיברים בסדרה מתקיים <math> a_n\le q^n</math>, אז הטור מתכנס).

===מבחן המנה של [[ז'אן לה רון ד'אלמבר|ד'אלמבר]]===

יהי <math>\sum_{n=1}^\infty a_n</math> טור אינסופי. נסמן <math> \lim_{n\rightarrow\infty}\frac{a_{n+1}}{a_n}=q </math>.
# אם <math>q<1 </math> הטור מתכנס.
# אם <math>q>1 </math> הטור מתבדר.
# אם <math>q=1 </math> אזי המבחן לא אינפורמטיבי, המבחן אינו מספק מידע על התכנסות או התבדרות הטור.

(למעשה, קיים ניסוח כללי יותר: אם קיים <math>q<1 </math> כך ש-<math> \frac{a_{n+1}}{a_n} \le q </math> [[כמעט לכל]] איברי הסדרה, אז הטור מתכנס, ואם <math> \frac{a_{n+1}}{a_n} > 1 </math> כמעט לכל אברי הסדרה, אז הטור מתבדר).

מבחן השורש חזק יותר ממבחן המנה. כלומר - מבחן השורש מכריע עבור כל טור שעבורו מבחן המנה מכריע, אבל מבחן המנה לא בהכרח מכריע עבור כל טור שעבורו מבחן השורש מכריע. למשל, נסתכל על הטור הבא:
<math>\frac{1}{2}+1+\frac{1}{8}+\frac{1}{4}+\frac{1}{32}+\frac{1}{16}\cdots</math>,

- ברור כי הטור מתכנס. עם זאת, אם נפעיל עליו את מבחן המנה, נקבל שני [[גבול חלקי|גבולות חלקיים]] לסדרת היחסים בין איברים עוקבים - <math>\frac{1}{8}</math> ו-<math>2</math> -ולפיכך הגבול של סדרת המנות אינו קיים. לעומת זאת, אם נפעיל את מבחן השורש, נקבל: <math> |2^n \cdot \frac{1}{8^n}|^{1/2n} = \frac{1}{2}</math>, כלומר קיבלנו הכרעה בשאלת ההתכנסות של הטור.

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

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

===מבחן האינטגרל===
יהי <math>N</math> [[מספר טבעי]] ו-<math> \ f</math> [[פונקציה]] חיובית [[פונקציה מונוטונית|מונוטונית]] יורדת המוגדרת בקטע <math>[N,\infty)</math>, אזי סכום הסדרה החיובית <math>\sum_{n=N}^\infty f(n)</math> מתכנס אם ורק אם ה[[אינטגרל לא אמיתי|אינטגרל]] <math>\int_N^\infty f(x)\,dx</math> הוא סופי. בפרט, אם האינטגרל מתבדר אז גם הטור מתבדר.

===מבחן ראבה===
יהי <math>\sum_{n=1}^\infty a_n</math> טור חיובי אינסופי. 
נסמן <math> \lim_{n\rightarrow\infty}n\left(1-\frac{a_{n+1}}{a_{n}}\right)=q </math>.

# אם <math>q>1 </math> הטור מתכנס.
# אם <math>q<1 </math> הטור מתבדר.
# אם <math>q=1 </math> המבחן אינו מספק מידע על התכנסות או התבדרות הטור.

מבחן זה הוא עידון של מבחן המנה, והוא עשוי להצליח במקום שמבחן המנה נכשל (למשל, בהוכחת ההתכנסות של הטור <math>\sum \frac{1}{n^2}</math>).

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

תהי<math>a_n </math>  סדרה חיובית יורדת המתכנסת לאפס. אזי, הטור <math>\sum_{n=1}^\infty a_n</math> מתכנס אם ורק אם <math>\sum_{n=1}^\infty 2^n\cdot a_{2^n}</math> מתכנס. בלשון ציורית: די להחליף כל קבוצה של <math>\,2^n</math> איברים ב-<math>\,2^n</math> מופעים של האיבר הראשון (או האחרון) בקבוצה. הטור שיתקבל מתכנס ומתבדר יחד עם הטור המקורי. לעיתים נקרא גם '''מבחן הדילול'''.

'''דוגמאות'''. נוכיח כי הטור <math>\sum_{n=2}^\infty \frac{1}{n\cdot \ln(n)}</math> מתבדר. על פי מבחן העיבוי, טור זה מתכנס ומתבדר יחד עם הטור <math>\sum_{n=2}^\infty \frac{2^n}{2^n\cdot \ln(2^n)}</math>, ולאחר צמצום נקבל את הטור <math>\sum_{n=2}^\infty \frac{1}{n\cdot \ln2}</math>. כעת, באמצעות מבחן ההשוואה עם הטור <math>\sum_{n=2}^\infty \frac{1}{n}</math> שידוע כי הוא מתבדר, נסיים את ההוכחה.

==טורים כלליים==

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

=== קריטריון קושי===
קריטריון קושי להתכנסות טורים מתבסס על [[מבחני התכנסות לסדרות#אפיון התכנסות לפי קושי|אפיון התכנסות לפי קושי]] לסדרות לפיו סדרה מתכנסת [[אם ורק אם]] היא [[סדרת קושי]]. כיוון שלפי ההגדרה טור <math>\sum_{n=1}^\infty a_n</math> מתכנס אם ורק אם סדרת הסכומים החלקיים שלו <math>(S_n)</math> המוגדרת <math>S_n=\sum_{k=1}^n a_k</math> מתכנסת, נובע שטור מתכנס אם ורק אם סדרת הסכומים החלקיים שלו היא סדרת קושי. כלומר,  <math>\sum_{n=1}^\infty a_n</math> מתכנס אם ורק אם לכל <math>\varepsilon > 0</math> קיים <math>N</math> טבעי כך שלכל <math>m>n > N</math> מתקיים <math>\left|\sum_{i=n}^m a_i\right|=\left|S_m-S_n\right| < \varepsilon </math>.

===משפט [[גוטפריד וילהלם לייבניץ|לייבניץ]]===

תהי<math>a_n </math>  סדרה חיובית יורדת השואפת לאפס. אזי הטור המתחלף שנוצר על ידה <math> \sum_{n=1}^\infty (-1)^n \cdot a_n </math> מתכנס.

זנב הטור, <math>r_m = \sum_{n=m}^\infty (-1)^n \cdot a_n</math>, קטן תמיד בערכו המוחלט מגודל האיבר הראשון בו, כלומר: <math>| \sum_{n=m}^\infty (-1)^n \cdot a_n | \le | a_m |</math>. כמו כן, מתקיים <math> (-1)^m \cdot r_m \geq 0 </math>.

'''דוגמאות'''. נביט ב[[הטור ההרמוני המתחלף|טור ההרמוני המתחלף]]: <math> \sum_{n=1}^\infty (-1)^n \cdot \frac{1}{n} </math>. הסדרה <math>\frac{1}{n} </math> היא סדרה חיובית יורדת לאפס, ולכן על פי מבחן לייבניץ, הטור מתכנס{{הערה|1=סכום טור זה הוא <math>-\ln 2 </math>}}.

===[[מבחן דיריכלה]]===

תהי<math>a_n </math> [[סדרה (מתמטיקה)|סדרה יורדת]] ושואפת לאפס ותהי <math>b_n </math>  סדרה שעבורה קיים [[מספרים חיוביים ושליליים|מספר חיובי]] M כך שלכל N טבעי מתקיים <math> | \sum_{n=1}^N{b_n} | < M </math> (סדרת הסכומים החלקיים של הטור <math>b_n </math> חסומה). בתנאים אלה הטור <math> \sum_{n=1}^\infty a_n \cdot b_n </math> מתכנס.

מבחן דיריכלה מכליל את מבחן לייבניץ מבחינת הוכחת התכנסות הטור (אך ללא הערכת גודל השארית שכלול במשפט לייבניץ) שכן מבחן לייבניץ הוא המקרה הפרטי של מבחן דיריכלה כאשר <math>b_n = (-1)^n</math>.

===מבחן [[נילס הנריק אבל|אבל]]===

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

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

מכפלה אינסופית  <math>\prod_{n=1}^\infty (1+a_n) </math> מתכנסת או מתבדרת יחד עם ה[[לוגריתם]] שלה, שהוא הטור <math>\sum_{n=1}^\infty \log(1+a_n)</math>. יותר מזה, אם <math>0<a_n</math> לכל n, אז אי-השוויון <math>1+\sum_{n=1}^{N} a_n < \prod_{n=1}^N(1+a_n) < \exp(\sum_{n=1}^N a_n)</math> מראה שהמכפלה <math>\prod_{n=1}^\infty (1+a_n) </math> מתכנסת אם ורק אם הטור <math>\sum_{n=1}^\infty a_n </math> מתכנס. 

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

==ראו גם==
* [[מבחני התכנסות לסדרות]]
* [[אינטגרל לא אמיתי|מבחני התכנסות לאינטגרלים]]

==קישורים חיצוניים==
* {{MathWorld}}

== הערות שוליים ==
{{הערות שוליים}}


[[קטגוריה:משפטים באנליזה]]
[[קטגוריה:תורת הטורים]]