הבדלים בין גרסאות בדף "משתמש:אור שחף/133 - הרצאה/12.7.11"
(יצירת דף עם התוכן "=חזרה= ==דוגמה 1== <math>\int\limits_0^\infty\sqrt x\sin(x^2)\mathrm dx</math> מתכנס? ===פתרון=== נציב <math>y=x^2, x=\sqrt y, \mathrm dx=\fr...") |
מ (←פתרון) |
||
שורה 25: | שורה 25: | ||
''תשובה שגויה:'' נקח חלוקה כלשהי <math>P=\{x_k\}_{k=0}^m</math> של <math>[a,b]</math>. לכל n מתקיים <math>v(f_n,P)=\sum_{k=1}^m |f_n(x_k)-f_n(x_{k-1})|\le M</math>. נשאיף <math>n\to\infty</math> ולכן <math>\sum_{n=1}^m |f(x_k)-f(x_{k-1})|\le M</math> באופן בלתי תלוי ב-P. לכן <math>T_a^b(f)\le M</math>. | ''תשובה שגויה:'' נקח חלוקה כלשהי <math>P=\{x_k\}_{k=0}^m</math> של <math>[a,b]</math>. לכל n מתקיים <math>v(f_n,P)=\sum_{k=1}^m |f_n(x_k)-f_n(x_{k-1})|\le M</math>. נשאיף <math>n\to\infty</math> ולכן <math>\sum_{n=1}^m |f(x_k)-f(x_{k-1})|\le M</math> באופן בלתי תלוי ב-P. לכן <math>T_a^b(f)\le M</math>. | ||
− | דוגמה נגדית: "ידוע" שהפונקציה <math>f(x)=\begin{cases}x \sin(1/x)&x\ne 0\\0&\text{else}\end{cases}</math> רציפה ב-<math>[0,1]</math> ובעלת השתנות בלתי חסומה בקטע. נגדיר <math>f_n(x)=\begin{ | + | דוגמה נגדית: "ידוע" שהפונקציה <math>f(x)=\begin{cases}x \sin(1/x)&x\ne 0\\0&\text{else}\end{cases}</math> רציפה ב-<math>[0,1]</math> ובעלת השתנות בלתי חסומה בקטע. נגדיר <math>f_n(x)=\begin{cases}0&0\le x\le\frac1{\pi n}\\x\sin(1/x)&\text{else}\end{cases}</math> לכל n. נעיר שלכל n יש ל-<math>f_n(x)</math> השתנות חסומה. טענה: f_n\to f במ"ש ב-<math>[0,1]</math> . הוכחה: עבור <math>\frac1/{\pi n}<x\le 1</math> מתקיים <math>|f_n(x)-f|=0</math> ואילו אם <math>0\le x\le \frac1{\pi n}</math> מתקיים <math>|f_n(x)-f(x)|=|f(x)|=|x\sin(1/x)|\le |x|\le\frac1{\pi n}</math>, ששואף ל-0 ולכן ההתכנסות במ"ש. |
==דוגמה 6== | ==דוגמה 6== |
גרסה מ־20:45, 12 ביולי 2011
תוכן עניינים
חזרה
דוגמה 1
מתכנס?
פתרון
נציב ןמתכנס לפי דיריכלה.
דוגמה 2
מצאו רדיוס התכנסות של .
פתרון
עפ"י דלאמבר דורשים שמתקיים אם"ם .
דוגמה 3
לפונקציה g רציפה ב- נסמן . נניח ש- סדרת פונקציות רציפות, במ"ש ב-. הוכח או הפרך .
הוכחה
יהי נתון. קיים כך שלכל מתקיים לכל . לכן . מכאן ש- ולכן לכל מתקיים . כמו כן לכל ולכל מתקיים ולכן בנקודה המקסימלית של f מתקיים יוצא שלכל , . לכן ולכן .
דוגמה 4
מצאו רדיוס התכנסות של .
פתרון
הטור מתכנס עבור כל x כך ש- כלומר . ננחש שהגבול שואף ל- (לפי אינטואיציה) ולכן נרחיב את השבר ב-. אזי נחשב . הדרישה להתכנסות היא ש- ולכן .
דוגמה 5
סדרת פונקציות בעלות השתנות חסומה ב- קיים כך שלכל n מתקיים . הוכח או הפרך: אם במ"ש ב- אז .
פתרון
תשובה שגויה: נקח חלוקה כלשהי של . לכל n מתקיים . נשאיף ולכן באופן בלתי תלוי ב-P. לכן .
דוגמה נגדית: "ידוע" שהפונקציה רציפה ב- ובעלת השתנות בלתי חסומה בקטע. נגדיר לכל n. נעיר שלכל n יש ל- השתנות חסומה. טענה: f_n\to f במ"ש ב- . הוכחה: עבור מתקיים ואילו אם מתקיים , ששואף ל-0 ולכן ההתכנסות במ"ש.
דוגמה 6
מצאו טור מקלורין של .
פתרון
נפרק לשברים חלקיים ונקבל . מצקיים . מאידך ו-.
דוגמה 7
תהי f אינטגרבילית ב- ונגדיר . צ"ל של-F יש השתנות חסומה ב-.
פתרון
נקח חלוקה של ואז יש כאן חסם בלתי תלוי בחלוקה.
דוגמה 8
נגדיר סדרת פונקציות לכל באינדוקציה וכן .
- הוכח שלכל קיים .
- חשב את .
- האם ?
פתרון
- נקבע .
טענה 1: הסדרה עולה. הוכחה: וכן . טענה 2: הסדרה חסומה מלעיל. גישה: אז ולכן . מכאן ש-. טענה: לכל n מתקיים , הוכחה באינדוקציה: . כיוון שהסדרה עולה וחסומה קיים גבול ולפי השיקול הנ"ל מתקיים .
- מתקיים . נגזור . ננניח שאמנם אם כן ולכן בתנאי ש-. נוותר על הניסיון להוכיח זאת.
דוגמה 9
נתון טור פונקציות לכל . להראות שהטור מתכנס לפונקציה בעלת נגזרת רציפה.
פתרון
נעיר שבקטע הפונקציה עולה מונוטונית מ- עד . כעת אם אז יורד עם n ולכן יורד עם n. לכן עבור הטור הוא כאשר ו- יורדת מונוטונית ל-0. ממבחן לייבניץ הטור מתכנס. עבור הדיון דומה כי פונקציה אי-זוגית. הטור הגזור הוא . טענה: הטור הגזור מתכנס במ"ש על . הוכחה: לכל הטור טור לייבניץ ומתכנס, נניח ל-. לפי לייבניץ לכל . כיוון שההפרש המקסימלי בין לסכום החלקי שואף ל-0 נובע ממבחן ה-sup שהטור הגזור מתכנס במ"ש ל-g על . נובע ממשפט 10 בהתכנסות במ"ש של טורים שהטור המקורי מתכנס במ"ש לפונקציה f גזירה כך ש- לכל . הטור האחרון הוא סכום של פונקציות רציפות שמתכנס במ"ש, לכן g רציפה ב-.
משפט
אם ואם במ"ש I אז מתכנס במ"ש ב-I. (ההוכחה כמו בדוגמה הקודמת)
דוגמה 10
מתכנס או מתבדר - .
פתרון
נעזר באינטגרציה בחלקים אזי עיבוד הנוסחה נכשל (שגיאת תחביר): a_n=\left[-\frac{\cos(n^2t)}{n^2t}\right]_{t=1}^2-\int\limits_1^2\frac{-\cos(n^2t)}{-n^2t^2}\mathrm dt=\frac1{n^2}\left(\frac{-\cos(2n^2)}2+\cos(n^2)\right)-\int\limits_1^2\frac{\cos(n^2t){t^2}\mathrm dt . אזי ולפי מבחן ההשוואה מתכנס בהחלט.
דוגמה 11
נניח ש-F מוגדרת ובעלת נגזרת רציפה וחסומה ב-. עוד נניח ש- מתכנס. הוכיחו כי .
פתרון
ולכן מתכנס. כמו כן