משפט שטולץ

מתוך ויקיפדיה, האנציקלופדיה החופשית

בחשבון אינפיניטסימלי, משפט שטולץ, שנקרא גם משפט שטולץ-צזארו, הוא משפט המקשר בין גבולות של סדרות לסכומים של טורים. לפי המשפט, הגבולות $\ \lim_{n \rightarrow \infty}\frac{a_n}{b_n}$ ו- $\ \lim_{n \rightarrow \infty}\frac{a_1+\dots+a_n}{b_1+\dots+b_n}$ שווים זה לזה (אם שניהם קיימים).

המשפט קרוי על שם המתמטיקאים אוטו שטולץ (1842–1905) וארנסטו צזארו (1859-1906).

[עריכה] ניסוח המשפט

תהא $\left\{x_n\right\}_{n=1}^{\infty}$ סדרה כלשהי, ותהא $\left\{y_n\right\}_{n=1}^{\infty}$ סדרה מונוטונית עולה השואפת לאינסוף.

אם הסדרה $\textstyle \left\{\frac{x_{n+1}-x_n}{y_{n+1}-y_n}\right\}_{n=1}^{\infty}$ מתכנסת במובן הרחב, כלומר קיים הגבול $L = \lim_{n \to \infty}\textstyle \frac{x_{n+1}-x_n}{y_{n+1}-y_n}$ , אז גם הסדרה $\textstyle \left\{ \frac{x_n}{y_n}\right\}_{n=1}^{\infty}$ מתכנסת לאותו הגבול.

[עריכה] הוכחה

נוכיח את המקרה בו $\,L$ סופי.

יהי $\varepsilon > 0$ כלשהו. לפי הגדרת הגבול, קיים $N\,$ טבעי, כך שלכל $n > N\,$ מתקיים

$L - \textstyle {\varepsilon \over 2} < \frac{{x_{n + 1} - x_n }} {{y_{n + 1} - y_n }} < L + \textstyle {\varepsilon \over 2}$

כיוון שהסדרה $\left\{y_n\right\}_{n=1}^{\infty}$ מונוטונית עולה ממש, $y_{n + 1} > y_n\,$ , כלומר $y_{n + 1} - y_n > 0\,$ וניתן להכפיל בו את האי שוויון. נקבל:

$\left( {L - \textstyle {\varepsilon \over 2} } \right)\left( {y_{n + 1} - y_n } \right) < x_{n + 1} - x_n < \left( {L + \textstyle {\varepsilon \over 2} } \right)\left( {y_{n + 1} - y_n } \right)$

יהא $k>N\,$ טבעי כלשהו כך ש- $y_k > 0\,$ (בהכרח קיים $k\,$ כזה מכיוון שהסדרה שואפת לאינסוף). מסכימת האי שוויון לעיל לכל $N+1 \le n \le k$ נקבל את האי שוויון הבא:

$\left( {L - \textstyle {\varepsilon \over 2} } \right)\sum\limits_{i = N+1}^k {\left( {y_{i + 1} - y_i } \right)} < \sum\limits_{i = N+1}^k {\left( {x_{i + 1} - x_i } \right)} < \left( {L + \textstyle {\varepsilon \over 2} } \right)\sum\limits_{i = N+1}^k {\left( {y_{i + 1} - y_i } \right)}$

$\Updownarrow$

$\left( {L - \textstyle {\varepsilon \over 2} } \right)\left( {y_{k + 1} - y_{N+1} } \right) < x_{k + 1} - x_{N+1} < \left( {L + \textstyle {\varepsilon \over 2} } \right)\left( {y_{k + 1} - y_{N+1} } \right)$

נחלק את אי השוויון ב- $y_{k + 1} > 0\,$ ונקבל

$\left( {L - \textstyle {\varepsilon \over 2}} \right)\left( {1 - \textstyle \frac{{y_{N+1}}} {{y_{k + 1}}}} \right) <\textstyle \frac{{x_{k + 1}}} {{y_{k + 1}}} -\textstyle \frac{{x_{N+1}}} {{y_{k + 1}}} < \left( {L + \textstyle {\varepsilon \over 2}} \right)\left( {1 - \frac{{y_{N+1}}} {{y_{k + 1}}}} \right)$

$\Updownarrow$

$\left( {L - \textstyle {\varepsilon \over 2}} \right)\left( {1 - \textstyle \frac{{y_{N+1}}} {{y_{k + 1} }}} \right) + \textstyle \frac{{x_{N+1}}} {{y_{k + 1} }} < \frac{{x_{k + 1}}} {{y_{k + 1} }} < \left( {L + \textstyle {\varepsilon \over 2}} \right)\left( {1 - \frac{{y_{N+1}}} {{y_{k + 1} }}} \right) + \frac{{x_{N+1}}} {{y_{k + 1} }}$

ברור כי $\lim_{k \to \infty}\left({\left({L + \textstyle {\varepsilon \over 2}} \right) \left({1-\textstyle \frac{{y_{N+1}}}{{y_{k + 1}}}} \right) + \textstyle \frac{{x_{N+1}}}{{y_{k + 1} }}}\right) = L+\textstyle{\varepsilon \over 2}$ . לכן קיים $M\,$ טבעי כך שלכל $k>M\,$ מתקיים $\left( {L + \textstyle {\varepsilon \over 2}} \right)\left( {1 - \textstyle \frac{{y_{N+1}}}{{y_{k + 1} }}} \right) + \textstyle \frac{{x_{N+1}}}{{y_{k + 1} }} < L + \varepsilon$ . כן ברור כי $\lim_{k \to \infty}\left({\left({L - \textstyle {\varepsilon \over 2}} \right) \left({1-\textstyle \frac{{y_{N+1}}}{{y_{k + 1}}}} \right) + \textstyle \frac{{x_{N+1}}}{{y_{k + 1} }}}\right) = L-\textstyle{\varepsilon \over 2}$ לכן קיים $A\,$ טבעי כך שלכל $k>A\,$ מתקיים $\left( {L - \textstyle {\varepsilon \over 2}} \right)\left( {L - \textstyle \frac{{y_{N+1}}}{{y_{k + 1} }}} \right) + \textstyle \frac{{x_{N+1}}}{{y_{k + 1} }} > L - \varepsilon$ . לפיכך, אם נבחר $Q = \max\{A,M,N\}\,$ , נקבל שלכל $k>Q\,$ יתקיים:

$L - \varepsilon < \frac{{x_{k + 1} }} {{y_{k + 1} }} < L + \textstyle \varepsilon$ , כלומר - $\left| {\frac{{x_{k + 1} }} {{y_{k + 1} }} - L} \right| < \textstyle \varepsilon$

ולפיכך, $\lim _{n \to \infty } \frac{{x_n }} {{y_n }} = L$ .

[עריכה] דוגמאות

נחשב את הגבול $\lim_{n \to \infty} a_n$ כאשר $a_n=\frac{2 + {( {3 \over 2})}^2 + {({4 \over 3})}^3 + ... + {({n+1 \over n})}^n}{n}$ .

נסמן $x_n = \sum^n_{k=1} \textstyle {\left({k+1 \over k} \right)}^k$ , ו- $y_n = n\,$ . נראה כי מתקיימים תנאי משפט שטולץ: $y_n\,$ עולה ושואפת לאינסוף. כמו כן:

$\lim_{n \to \infty} {\textstyle \frac{\sum^{n+1}_{k=1} {\left({k+1 \over k} \right)}^k - \sum^n_{k=1} {\left({k+1 \over k} \right)}^k}{n+1-n} } = \lim_{n \to \infty} {\textstyle \left(\frac{n+2}{n+1}\right)^{n+1}} = \lim_{n \to \infty} {\textstyle \left(1+ {1 \over n+1}\right)^{n+1}} = e$

ולכן, לפי המשפט, $\lim_{n \to \infty} a_n = \lim_{n \to \infty} {x_n \over y_n} = \lim_{n \to \infty}\frac{x_{n+1}-x_n}{y_{n+1}-y_n} = e$ .

נחשב את הגבול $\lim_{n \to \infty} \frac{a_1 + e\cdot a_2 + e^2\cdot a_3 + ... + e^{n-1} \cdot a_n}{e^n}$ כאשר $a_n \rarr e$ .

נסמן $x_n = \sum^n_{k=1} e^{k-1}a_k$ , ו- $y_n = e^n\,$ . נראה כי מתקיימים תנאי משפט שטולץ: $y_n\,$ עולה ושואפת לאינסוף. כמו כן:

$\lim_{n \to \infty} {\textstyle \frac{\sum^{n+1}_{k=1} e^{k-1}a_k - \sum^n_{k=1} e^{k-1}a_k}{e^{n+1}-e^n}} = \lim_{n \to \infty} \frac{e^n(a_{n+1})}{e^n(e-1)} = \lim_{n \to \infty} \frac{a_{n+1}}{e-1} =\lim_{n \to \infty} \frac{a_n}{e-1} = \frac{e}{e-1}$

השוויון האחרון נובע מכלל המנה בכללי האריתמטיקה של גבולות.

ולכן, לפי המשפט, $\lim_{n \to \infty} a_n = \lim_{n \to \infty} {x_n \over y_n} = \lim_{n \to \infty}\frac{x_{n+1}-x_n}{y_{n+1}-y_n} = \frac{e}{e-1}$ .

[עריכה] שימושים

הוכחת כלל לופיטל.

בהינתן סדרה מתכנסת:
- הממוצעים המשוקללים של $\ a_n$ מתכנסים לאותו גבול כמו $\left\{a_n\right\}_{n=1}^{\infty}$ .
- הממוצע החשבוני של $\ a_n$ מתכנס לאותו גבול כמו $\left\{a_n\right\}_{n=1}^{\infty}$ (ניתן גם לראות ממוצע זה כמקרה פרטי של ממוצע משוקלל).
- הממוצע ההרמוני של מתכנס לאותו גבול כמו .
  - משתי הטענות האחרונות, מאי שוויון הממוצעים ומכלל הסנדוויץ' נובע כי גם הממוצע הגאומטרי של $\ a_n$ מתכנס לאותו גבול כמו $\left\{a_n\right\}_{n=1}^{\infty}$ .

חשבון אינפיניטסימלי
מושגי יסוד:	חשבון אינפיניטסימלי \| סדרה \| גבול \| סדרת קושי \| טור \| אינפיניטסימל \| שדה המספרים הממשיים \| ערך מוחלט \| אי-שוויון המשולש \| אי-שוויון קושי-שוורץ
פונקציות:	פונקציה \| גרף פונקציה \| פונקציה לינארית \| פונקציה מונוטונית \| נקודת קיצון \| פונקציה קעורה \| פונקציה קמורה \| פונקציה רציפה \| רציפות במידה שווה \| נקודת אי רציפות \| נגזרת \| טור טיילור \| סדרת פונקציות \| התכנסות במידה שווה
משפטים:	משפט בולצאנו-ויירשטראס \| משפטי ויירשטראס \| משפט קנטור \| משפט ערך הביניים \|משפט פרמה \| משפט רול \| משפט הערך הממוצע של לגראנז' \| משפט הערך הממוצע של קושי \| משפט דארבו \| כלל השרשרת \| כלל הסנדוויץ' \| כלל לופיטל \| משפט שטולץ \| אריתמטיקה של גבולות
האינטגרל:	אינטגרל \| אינטגרל לא אמיתי \| המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי \| אינטגרציה בחלקים \| שיטות אינטגרציה
אנליזה מתקדמת:	פונקציה מרוכבת \| אנליזה וקטורית \| שיטת ניוטון-רפסון \| משוואה דיפרנציאלית \| טופולוגיה \| תורת המידה
אנליזה מתמטית - אנליזה וקטורית - טופולוגיה - אנליזה מרוכבת - אנליזה פונקציונלית - תורת המידה

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

See also ebooksgratis.com: no banners, no cookies, totally FREE.

משפט שטולץ

מתוך ויקיפדיה, האנציקלופדיה החופשית

תוכן עניינים

[עריכה] ניסוח המשפט

[עריכה] הוכחה

[עריכה] דוגמאות

[עריכה] שימושים

Views

ניווט

קהילה

חיפוש

שפות אחרות