לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
תרומות המשתמש
יומנים
צפייה בהרשאות המשתמש
דפים מיוחדים
מידע על הדף
עריכת הדף "
משתמש:אור שחף/133 - הרצאה/12.4.11
" (פסקה)
דף משתמש
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
=אינטגרל לא אמיתי, סוג I {{הערה|(המשך)}}= '''הגדרה:''' תהי f מוגדרת ואינטגרבילית מקומית ב-<math>[a,\infty)</math>. נאמר ש-<math>\int\limits_a^\infty f</math> מתכנס בהחלט אם <math>\int\limits_a^\infty|f|</math> מתכנס. אם האינטגרל מתכנס אבל לא בהחלט נאמר שהוא מתכנס בתנאי. ==משפט 8== תהי f מוגדרת ואינטגרבילית מקומית ב-<math>[a,\infty)</math>. אם <math>\int\limits_a^\infty|f|</math> מתכנס אז <math>\int\limits_a^\infty f</math> מתכנס. במילים: אם f אינטגרבילית בהחלט בקטע <math>[a,\infty)</math> אז f אינטגרבילית בקטע. ===הוכחה=== לפי המסקנה למשפט 7 מספיק להוכיח ש-<math>\int\limits_a^\infty f</math> מקיים את תנאי קושי. לצורך זה יהי <math>\varepsilon>0</math> נתון. כיוון ש-<math>\int\limits_a^\infty|f|</math> מתכנס הוא מקיים את תנאי קושי וקיים <math>x_0>a</math> כך שאם <math>x_2>x_1>x_0</math> אז <math>\left|\int\limits_{x_1}^{x_2}|f|\right|<\varepsilon</math>. נובע מיד ש-<math>\left|\int\limits_{x_1}^{x_2}f\right|\le\int\limits_{x_1}^{x_2}|f|<\varepsilon</math>. קיימנו את תנאי קושי ל-<math>\int\limits_{x_1}^{x_2}f</math> ולכן הוא מתכנס. {{משל}} ''גישה אחרת:'' נגדיר <math>f^+(x)=\begin{cases}f(x)&f(x)\ge0\\0&\text{else}\end{cases}</math> וכן <math>f^-(x)=\begin{cases}0&f(x)>0\\-f(x)&\text{else}\end{cases}</math>. לכן <math>f^+(x),f^-(x)</math> אי-שליליות. קל להראות שלכל x, <math>f(x)=f^+(x)-f^-(x)</math> וכן <math>|f(x)|=f^+(x)+f^-(x)</math> (גאומטרית: <math>\int\limits_a^b f^+</math> השטח שמעל ציר ה-x ו-<math>\int\limits_a^b f^-</math> השטח שמתחת). כעת, אם נתון ש-<math>\int\limits_a^\infty|f|</math> מתכנס, מבחן ההשוואה אומר שכיוון ש-<math>0\le f^+(x),f^-(x)\le|f(x)|</math> שני האינטגרלים <math>\int\limits_a^\infty f^+,\int\limits_a^\infty f^-</math> מתכנסים ונובע ממשפט 1 ש-<math>\int\limits_a^\infty f=\int\limits_a^\infty(f^+-f^-)=\int\limits_a^\infty f^+-\int\limits_a^\infty f^-\in\mathbb R</math>, כלומר <math>\int\limits_a^\infty f</math> מתכנס. {{משל}} ==דוגמאות== * <math>\int\limits_2^\infty\frac{\sin(x)}{x^2}\mathrm dx</math> - מתכנס או מתבדר? נראה התכנסות ע"י הוכחת התכנסות בהחלט: <math>0\le\left|\frac{\sin(x)}{x^2}\right|\le\frac1{x^2}</math> ולכן, עפ"י מבחן ההשוואה עם <math>\int\limits_2^\infty\frac{\mathrm dx}{x^2}</math>, <math>\int\limits_2^\infty\left|\frac{\sin(x)}{x^2}\right|\mathrm dx</math> מתכנס. {{משל}} * נבנה דוגמאות של f מוגדרת ורציפה ב-<math>[0,\infty)</math> כך ש-<math>\int\limits_0^\infty f</math> מתכנס אעפ"י ש-<math>\sum_{n=0}^\infty f(n)</math> מתבדר, ולהיפך: <math>\sum_{n=0}^\infty f(n)</math> מתכנס ואילו <math>\int\limits_0^\infty f</math> מתבדר. ובכן, אם <math>f(x)=\sin(\pi x)</math> אז <math>\int\limits_0^\infty f=\lim_{R\to\infty}\int\limits_0^R\sin(\pi x)\mathrm dx=\lim_{R\to\infty}\left[\frac{-\cos(\pi x)}\pi\right]_{x=0}^R</math> ואין גבול, לכן האינטגרל מתבדר. לעומת זאת, <math>\sum_{n=0}^\infty\sin(\pi n)=\sum_{n=0}^\infty 0=0</math>, שבוודאי מתכנס. לצד השני נגדיר פונקציה f ע"י הגרף [[קובץ:גרף פונקציית משולשים 2.png|600px]]<br />אזי <math>\sum_{n=0}^\infty f(n)=\sum_{n=0}^\infty 1=\infty</math> - מתבדר. לעומת זאת, {{left|<math>\int\limits_0^\infty f=</math> השטח שמתחת לגרף <math>=\frac12\cdot\frac12+\lim_{n\to\infty}\frac12\left(\frac12+\frac14+\frac18+\dots+\frac1{2^n}\right)=\frac14+\frac12=\frac34</math>}}{{משל}} ==משפט 9 {{הערה|(מבחן דיריכלה)}}== נניח ש-f מוגדרת ורציפה ב-<math>[a,\infty)</math> ונניח שהאינטגרלים החלקיים <math>\int\limits_a^b f</math> חסומים כאשר <math>b\to\infty</math> (ז"א קיים <math>M\ge0</math> כך ש-<math>\forall b>a:\ \left|\int\limits_a^b f\right|\le M</math>). עוד נניח ש-g מוגדרת, מונוטונית ובעלת נגזרת רציפה ב-<math>[a,\infty)</math> ו-<math>\lim_{x\to\infty} g(x)=0</math> אזי <math>\int\limits_a^\infty f(x)g(x)\mathrm dx</math> מתכנס. ===הוכחה=== לכל <math>x>a</math> נגדיר <math>F(x)=\int\limits_a^x f</math>. כיוון ש-f רציפה המשפט היסודי אומר ש-<math>F'(x)=f(x)</math> לכל <math>x>a</math>. יתר על כן, הנתונים שלנו גוררים ש-<math>\forall x>a:\ |F(x)|\le M</math>. כעת <math>\int\limits_a^\infty f\cdot g=\left[F(x)g(x)\right]_{x=a}^\infty-\int\limits_a^\infty F\cdot g'</math>. נראה שכל אחד מהמחוברים באגף ימין הם גבולות מתכנסים: <math>\lim_{R\to\infty} [F(x)g(x)]_{x=a}^R=\lim_{R\to\infty} \underbrace{F(R)}_\text{bounded}\underbrace{g(R)}_{\to0}-\underbrace{F(a)}_0g(a)=0</math>. נותר להוכיח שקיים <math>\lim_{R\to\infty}\int\limits_a^R F\cdot g'</math>, ז"א צריך להוכיח שהאינטגרל <math>\int\limits_a^\infty F\cdot g'</math> מתכנס. עפ"י משפט 8 מספיק להראות שהאינטגרל הזה מתכנס בהחלט. נתון ש-g מונוטונית ולכן <math>g'(x)\ge0</math> לכל <math>x>a</math> או <math>g'(x)\le0</math> לכל <math>x>a</math>. נניח ש-<math>\forall x>a:\ g'(x)\ge0</math> (ההוכחה במקרה השני דומה). יוצא שלכל <math>x>a</math> מתקיים <math>0\le|F(x)g'(x)|=|F(x)|g'(x)\le Mg'(x)</math> ושהאינטגרל של <math>Mg'(x)</math> הוא <math>\int\limits_a^\infty Mg'=[Mg(x)]_{x=a}^\infty=0-Mg(a)</math> כי נתון ש-<math>\lim_{x\to\infty} g(x)=0</math>. לסיכום הראנו ש-<math>\int\limits_a^\infty Mg'</math> מתכנס. ממבחן ההשוואה נסיק שמתכנס <math>\int\limits_a^\infty |F|\cdot g'</math> ולכן מתכנס <math>\int\limits_a^\infty F\cdot g'</math>. לכן קיים <math>\lim_{R\to\infty}\int\limits_a^R F\cdot g'</math> וסיימנו את ההוכחה. {{משל}} ===דוגמאות=== * נראה כי לכל <math>\alpha>0</math> האינטגרל <math>\int\limits_1^\infty\frac{\sin(x)}{x^\alpha}\mathrm dx</math> מתכנס: נגדיר <math>f(x)=\sin(x)\ \and\ g(x)=\frac1{x^\alpha}</math>. מכאן נובע כי ל-f יש אינטגרלים חלקיים חסומים: <math>\left|\int\limits_1^b f\right|=\left|\int\limits_1^b \sin\right|=\left|[-\cos(x)]_{x=1}^b\right|=|-\cos(b)+\cos(1)|\le2</math>. יתר על כן, <math>g(x)=\frac1{x^\alpha}</math> פונקציה מונוטונית יורדת ובעלת נגזרת רציפה <math>-\alpha x^{-\alpha-1}</math> בקטע <math>[1,\infty)</math> ומתקיים <math>\lim_{x\to\infty} g(x)=0</math>. קיימנו את תנאי מבחן דיריכלה ולכן האינטגרל מתכנס. {{משל}} * נוכיח ש-<math>\int\limits_1^\infty\frac{\sin(x)}x\mathrm dx</math> אינו מתכנס בהחלט, ולמעשה <math>\int\limits_1^\infty\left|\frac{\sin(x)}x\right|\mathrm dx=\infty</math>: לכל <math>x\ge1</math>, מכיוון ש-<math>|\sin(x)|\le1</math>, <math>0\le\frac{\sin^2(x)}x\le\left|\frac{\sin(x)}x\right|</math>. ע"פ מבחן ההשוואה מספיק להראות ש-<math>\int\limits_1^\infty\frac{\sin^2(x)}x\mathrm dx</math> מתבדר. נעזר בזהות <math>\sin^2(x)=\frac{1-\cos(2x)}2</math> להראות ש-<math>\int\limits_1^\infty\frac{\sin^2(x)}x\mathrm dx=\int\limits_1^\infty\frac{1-\cos(2x)}{2x}\mathrm dx</math>. קל להראות (בעזרת מבחן דיריכלה) כי <math>\int\limits_1^\infty\frac{\cos(2x)}{2x}\mathrm dx</math> מתכנס. כמו כן, ידוע לנו כי <math>\int\limits_1^\infty\frac{\mathrm dx}{2x}=\infty</math>. עתה נניח בשלילה ש-<math>\int\limits_1^\infty\frac{1-\cos(2x)}{2x}\mathrm dx</math> מתכנס. לפי משפט 1 <math>\int\limits_1^\infty\frac{1-\cos(2x)}{2x}\mathrm dx+\int\limits_1^\infty\frac{\cos(2x)}{2x}\mathrm dx=\int\limits_1^\infty\frac{\mathrm dx}{2x}</math>, אבל זהו סכום של אינטגרלים מתכנסים השווה לאינטגרל שמתבדר, בסתירה. {{משל}} ---- כהשלמה לאינפי 1 נביא את משפט דיריכלה להתכנסות טורים. בהוכחה נשתמש בסכימה בחלקים, שדומה לאינטגרציה בחלקים. נתבונן בסכום <math>\sum_{n=1}^N a_nb_n</math> ונגדיר סכומים חלקיים <math>S_n=\sum_{k=1}^n a_k</math>. מכאן <math>\forall n:\ a_n=S_n-S_{n-1}</math>. נקבל {{left|<math>\begin{align}\sum_{n=1}^N a_nb_n&=S_1b_1+(S_2-S_1)b_2+(S_3-S_2)b_3+\dots+(S_N-S_{N-1})b_N\\&=S_1(b_1-b_2)+S_2(b_2-b_3)+\dots+S_{N-1}(b_{N-1}-b_N)+S_Nb_N\end{align}</math>}}ז"א <math>\sum_{n=1}^Na_nb_n=\sum_{n=1}^{N-1}S_n(b_n-b_{n+1})+S_Nb_N</math>, מה שנקרא סכימה בחלקים. ==משפט 10 {{הערה|(משפט דיריכלה לטורים)}}== נניח שלטור <math>\sum_{n=1}^N a_n</math> יש סכומים חלקיים <math>S_N</math> חסומים (כלומר <math>|S_N|\le M</math>). עוד נניח ש-<math>\{b_n\}</math> סדרה מונוטונית כך ש-<math>b_n\to0</math>. אז <math>\sum_{n=1}^\infty a_nb_n</math> מתכנס. {{המשך סיכום|תאריך=1.5.11}} ===הוכחה=== לכל N מתקיים <math>\sum_{n=1}^N a_nb_n=\sum_{n=1}^{N-1} S_n(b_n-b_{n+1})+S_Nb_N</math>. נשאיף <math>N\to\infty</math> אזי <math>\lim_{N\to\infty} \underbrace{S_N}_\text{bounded}\underbrace{b_N}_{\to0}=0</math>. נותר להוכיח ש-<math>\sum_{n=1}^\infty S_n(b_n-b_{n+1})</math> מתכנס, ונעשה זאת ע"י כך שנראה שהוא מתכנס בהחלט. {| {{=|l=\sum_{n=1}^\infty\vert S_n\vert\vert b_n-b_{n+1}\vert |o=\le |r=\sum_{n=1}^\infty M(b_n-b_{n+1})c |c=נסמן c כ-1 אם <math>\{b_n\}</math> יורדת ו-<math>-1</math> אחרת: }} {{=|r=cM\sum_{n=1}^\infty (b_n-b_{n+1}) }} {{=|r=cM(b_1-\lim_{n\to\infty}b_n) |c=הטור טלסקופי. }} {{=|r=cMb_1 }} |} כלומר הסכום מתכנס. {{משל}} ===הערה=== משפט לייבניץ הוא מקרה פרטי של משפט דיריכלה: נגדיר <math>a_n=(-1)^{n+1}</math> (ולכן הסכומים החלקיים חסומים). מכאן נובע שעבור <math>b_n</math> מונוטונית יורדת שואפת לאפס הטור <math>\sum_{n=1}^\infty a_n b_n</math>, שהוא טור לייבניץ, מתכנס. ===דוגמה=== נניח ש-<math>\{b_n\}</math> יורדת לאפס ונראה שהטור <math>\sum_{n=1}^\infty\cos(n)b_n</math> מתכנס. נגדיר <math>a_n=\cos(n)</math> ולכן מספיק להראות שהסכומים החלקיים <math>\sum_{n=1}^N a_n</math> חסומים. נסתמך על זהות טריגונומטרית האומרת ש-<math>\cos(\alpha)\sin(\beta)=\frac12\sin(\alpha+\beta)-\frac12\sin(\alpha-\beta)</math>. לפי זה לכל n מתקיים <math>\cos(n)\sin\left(\frac12\right)=\frac12\sin\left(n+\frac12\right)-\frac12\sin\left(n-\frac12\right)</math>. לכן {| {{=|l=\sum_{n=1}^N\cos(n) |r=\frac1{\sin(1/2)}\sum_{n=1}^N\frac12\left(\sin\left(n+\frac12\right)-\sin\left(n-\frac12\right)\right) }} {{=|r=-\frac12\frac{\sin(1-1/2)}{\sin(1/2)}+\frac12\frac{\sin(N+1/2)}{\sin(1/2)} |c=הטור טלסקופי, לכן: }} {{=|r=-\frac12+\frac12\frac1{\sin(1/2)} |o=\le }} |}{{משל}}
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)