הבדלים בין גרסאות בדף "משתמש:אור שחף/133 - הרצאה/1.5.11"
מ |
(←משפט 2) |
||
שורה 28: | שורה 28: | ||
אם f ו-g אינטגרביליות ב-<math>(a,b]</math> ואם c קבוע אז <math>f+cg</math> אינטגרבילית בקטע <math>(a,b]</math> ומתקיים <math>\int\limits_a^bf+cg=\int\limits_a^b f+c\int\limits_a^b g</math>. | אם f ו-g אינטגרביליות ב-<math>(a,b]</math> ואם c קבוע אז <math>f+cg</math> אינטגרבילית בקטע <math>(a,b]</math> ומתקיים <math>\int\limits_a^bf+cg=\int\limits_a^b f+c\int\limits_a^b g</math>. | ||
==משפט 2== | ==משפט 2== | ||
− | + | נניח ש-<math>a<c<b</math> ו-f אינטגרבילית מקומית ב-<math>(a,b]</math>. אזי f אינטגרבילית בקטע <math>(a,b]</math> אם"ם היא אינטגרבילית בקטע <math>(a,c]</math> ואם כן <math>\int\limits_a^b f=\int\limits_a^c f+\int\limits_c^b f</math>. | |
+ | |||
==משפט 3== | ==משפט 3== | ||
תהי f מוגדרת ומונוטונית בקטע <math>(a,b]</math> אזי <math>\lim_{x\to a^+} f(x)</math> קיים אם"ם f חסומה בקטע <math>(a,b]</math>. | תהי f מוגדרת ומונוטונית בקטע <math>(a,b]</math> אזי <math>\lim_{x\to a^+} f(x)</math> קיים אם"ם f חסומה בקטע <math>(a,b]</math>. |
גרסה מ־13:03, 5 במאי 2011
את משפט 10 לא סיימנו בהרצאה הקודמת ולכן השלמנו אותו ב-1.5.11. חלק זה מופיע בסיכום ההרצאה הקודמת ולא בדף הנוכחי.
תוכן עניינים
אינטגרל לא אמיתי, סוג I (המשך)
תזכורת: עד כאן דיברנו רק על אינטגרלים מהסוג . כמובן שיש מקבילית גמורה לאינטגרלים האלה: . כמובן שאפשר לתרגם את כל המשפטים שלנו למקרה זה.
הגדרה: תהי f מוגדרת בכל . נאמר שהיא אינטגרבילית מקומית אם היא אינטגרבילית בכל קטע סופי . למשל, אם f רציפה למקוטעין ב- אז היא אינטגרבילית מקומית.
תזכורת: תהי f מוגדרת ואינטגרבילית מקומית. הגדרנו להיות בתנאי ששני האינטגרלים התכנסים. אם אפילו אחד מהם מתבדר נאמר ש- מתבדר. נבדוק שההגדרה בלתי תלוייה ב-a. ובכן בה"כ נבחר ונבדוק את שתי הטענות הבאות:
- שני האינטגרלים מתכנסים אם"ם שני האינטגרלים מתכנסים.
- עפ"י משפט 2 מתכנס אם"ם מתכנס. באותו אופן מתכנס אם"ם מתכנס, לכן הטענה מתקיימת.
- נוכיח שבמקרה שהאינטגרלים מתכנסים אז הם שווים ל-.
- ובכן עפ"י משפט 2 וגם . נחבר את התוצאות ונקבל את הטענה.
אינטגרל לא אמיתי, סוג II
מדובר באינטגרל על קטע סגור של פונקציה לא חסומה.
הגדרה: תהי f מוגדרת בקטע . נאמר ש-f אינטגרבילית מקומית בקטע זה אם לכל c כך ש- f אינטגרבילית בקטע (למשל, אם f רציפה למקוטעין ב-). לכן נגדיר אם הגבול קיים. אם כן אומרים שהאינטגרל מתכנס או ש-f אינטגרבילית בקטע . אם אין גבול אומרים ש- מתבדר.
דוגמאות
- נקח ונתבונן באינטגרל הלא אמיתי . עבור נקבל והאינטגרל מתבדר. עבור נקבל .
- . נציב וכן לקבל כלומר מתכנס.
- דרך כתיבה מקוצרת: .
לגבי משפטי התכנסות יש אנלוגיות למשפטים שהוכחנו עבור אינטגרל לא אמיתי מסוג ראשון. נרשום אותם ללא הוכחה.
משפט 1
אם f ו-g אינטגרביליות ב- ואם c קבוע אז אינטגרבילית בקטע ומתקיים .
משפט 2
נניח ש- ו-f אינטגרבילית מקומית ב-. אזי f אינטגרבילית בקטע אם"ם היא אינטגרבילית בקטע ואם כן .
משפט 3
תהי f מוגדרת ומונוטונית בקטע אזי קיים אם"ם f חסומה בקטע .
מסקנה
עבור f אינטגרבילית מקומית ב- כך ש- האינטגרל מתכנס אם"ם האינטגרלים החלקיים חסומים כאשר .
משפט 4 (מבחן ההשוואה)
נניח שב- הפונקציות f,g אינטגרביליות מקומית וכן .
- אם מתכנס אז מתכנס.
- אם מתבדר אז מתבדר.