אינפי 2 לתיכוניסטים תש"ע - שאלות ותשובות
[math]\displaystyle{ \lim_{n\rightarrow\infty}f_n }[/math]
הוראות
כאן המקום לשאול שאלות. כל שעליכם לעשות הוא ללחוץ על [עריכה] (משמאל לכותרת "שאלות"), להוסיף בתחילת הדף את השורה הבאה:
== כותרת לשאלה ==
לכתוב מתחתיה את שאלתכם, וללחוץ על שמירה למטה מימין
ארכיון
ארכיון 1 - תרגיל 1 ו2
ארכיון 2 - תרגיל 3
ארכיון 3 - תרגיל 3
ארכיון 4 - תרגיל 4
ארכיון 5 - תרגיל 4,5
ארכיון 6 - תרגיל 6
ארכיון 7 - (מי עוקב)
ארכיון 9 - לקראת הבוחן
ארכיון 10 - פוסט בוחן
ארכיון 11 - תרגיל 9
ארכיון 12 - תרגיל 9
ארכיון 13 - תרגיל 10
ארכיון 14 - תרגיל 10
ארכיון 15 - תרגיל 10
שאלות
סיכום
מצורף סיכום ממש טוב של כל המשפטים שנלמדו בקורס... תהנו!! (קרדיט ליותם ברקוביץ'): סיכום ארז - אתה יכול בבקשה לשים אותו בדף הראשי? תודה...
שאלה
בבוחן, בשאלה 1, היה אפשר גם להוכיח את האי השיוויון הימני עם טיילור עבור x0=0,n=2 לא?
- לא נראה לי... מאיפה אנחנו יודעים איך השארית משפיעה?
שאלה
אם אני רוצה לחשב את סכום הטור : [math]\displaystyle{ \sum _{n=1}^\infty \frac{1}{2^n n} }[/math] , אבל כשאני מפרק אותו לאינטגרל לפי רימן (חלוקה של [math]\displaystyle{ \frac{1}{n} }[/math] ) אז אני מקבל שזה שווה לאינטגרל: [math]\displaystyle{ \int _0 ^\infty \frac{1}{2^x}dx }[/math] וזה יוצא [math]\displaystyle{ \frac{1}{\ln(2)} }[/math] , למרות שהסכום לפי מה שבדקתי אמור לצאת [math]\displaystyle{ \ln(2) }[/math] . איפה הטעות שלי? אני מניח שהיא איפה שהמרתי סכום לאינטגרל לא אמיתי... איך אפשר לחשב את זה בכל מקרה?
תשובה
קודם כל אין פה כלל חלוקת רימן (שכן המרחק בין נקודות הדגימה הוא אספוננציאלי עולה, ואילו האורכים הולכים ויורדים לאפס). אפילו אם הייתה, זו חלוקה אינסופית אחת ולא גבול של חלוקות.
פותרים את זה בדיוק כפי שפתרנו אתמול בכיתה. נגדיר [math]\displaystyle{ S(x)=\sum \frac{1}{n}x^n }[/math] קל לראות שרדיוס ההתכנסות הוא אחד ולכן זה טור חזקות שמתכנס במ"ש בסביבה של חצי. ברור שסכום הטור שמעניין אותנו הוא [math]\displaystyle{ S(\frac{1}{2}) }[/math]. מכיוון שההתכנסות היא במ"ש מותר לגזור איבר איבר ולקבל [math]\displaystyle{ S'(x)=\sum x^{n-1} = \frac{1}{1-x} }[/math].
לכן [math]\displaystyle{ S(x)=\int_0^x S'(t)dt=-ln(1-x) }[/math]
ולכן [math]\displaystyle{ S(\frac{1}{2})=-ln(\frac{1}{2})=ln2 }[/math]
עד כדי טעות...
הערה: זה תרגיל נחמד שנותן לנו נוסחא לחישוב lnx עם דיוק אספוננטציאלי עבור x>1 (עבור x<1 ניקח את [math]\displaystyle{ -ln(\frac{1}{x}) }[/math]). הנוסחא [math]\displaystyle{ ln(x)=-ln(\frac{1}{x})=-ln(1-\frac{x-1}{x})=S(\frac{x-1}{x})=\sum_{n=1}^{\infty}\frac{1}{n}(\frac{x-1}{x})^n }[/math]
נחמד מאוד, הבנתי! על הטריק עם ה-ln שכתבת בהערה אני לא חושב שהייתי מצליח לעלות, אבל אני אזכור אותו עכשיו, תודה רבה!!
שאלה
יהי [math]\displaystyle{ \sum _{n=1}^\infty a_n }[/math] טור חיובי מתכנס, ו- [math]\displaystyle{ f_n (x) }[/math] סדרת פונקציות, כך שלכל n טבעי מתקיים: [math]\displaystyle{ |f_{n+1}(x)-f_n(x)|\lt a_n }[/math] . הוכח או הפרך : [math]\displaystyle{ f_n }[/math] מתכנסת במידה שווה.
אני מתקשה להבין את הבעייה של ההתכנסות במ"ש במקרה הזה... אז אחרי שלא הצלחתי להפריך, ניסיתי להוכיח, וראיתי שזה קרוב יותר לקריטריון של קושי להתכנסות במ"ש, אז מספיק להראות שאם לכל k יש n טבעי שעבורו [math]\displaystyle{ |f_{n+1}(x)-f_n(x)|\lt k }[/math], אז גם נובע שלכל m>n מתקיים התנאי של קושי, אבל זה בדיוק מה שאני לא מצליח להראות... איך אני יכול להפריך ע"י מציאת סדרת פונקציות שהפרש של כל פונקציות קרובות שואף לאפס, אבל כשה-n גדל הפונקציות החדשות שנוצרות רחוקות יותר עד כדי חוסר התכנסות במידה שווה או אפילו חוסר התכנסות?
תשובה
זה תרגיל מאינפי 1 בתכלס. [math]\displaystyle{ |f_m-f_n|=|f_m-f_{m-1}+f_{m-1}-....+f_{n+1}-f_n|\leq a_m+...+a_n }[/math]
אבל לפי תנאי קושי להתכנסות טורים הצד הימני קטן מאפסילון.
- אהההה, הבנתי, וזה מתקיים עבור n,m גדולים מספיק (כלומר שגדולים מ-n0 התחלתי)... יפה! הייתי צריך לנסות לקשר את זה לסכום הטור... תודה רבה :) !!!
שאלה
אני מוכרח להבין, מה בעצם המשמעות של "התכנסות במידה שווה" של סדרת פונקציות? ז"א, מה המשמעות הגרפית של זה, בלי שימוש באפסילון וכ'ו? מה בעצם ה"מידה שווה" כאן?
תשובה
המשמעות היא שבכל נקודה בפונקציה ההתכנסות היא באותה מהירות פחות או יותר. גרפית, אתה מעתיק את פונקצית הגבול אפסילון למעלה ואפסילון למטה, ואז החלק מn_0 מסויים כל הפונקציות בסדרה מצויירות בגרף בין שתי ההזזות של פונקצית הגבול.
במילים אחרות, הפונקציות נמצאות במרחק 'קבוע' מפונקצית הגבול ללא תלות באיקס. למה זה עוזר? למשל רציפות. תהי סדרת פונקציות רציפות. ניקח פונקציה f_n מהסדרה עבור n מספיק גדול, ונקח סביבה קטנה של x_0 כלשהו. מתוך רציפות, f_n שולחת את סביבה של x_0 קרוב מאד לf(x_0). אבל, f_n שולחת כל נקודה בסביבה לגובה קרוב מאד לפונקצית הגבול באותה נקודה כאשר המרחק לא תלוי בבחירת הנקודה. לכן גם כל הסביבה של פונקצית הגבול קרובה מאד לf(x_0( ויוצא שגם פונקצית הגבול רציפה.
שאלות
קודם כל, בקשר לאינטגרביליות. לפי הגדרת רימן, מותר לדלתא להיות תלויה במס' הקטעים - n?
- עוד שאלה. באחד המשפטים בכיתה, רוני כתב משהו כמו "g אינטגרבילית ולכן לכל אפסילון>0 קיימת דלתא, כך שלכל חלוקה T המקיימת שפרמטר החלוקה שלה קטן מדלתא, יתקיים: s(t) עליון פחות s(t) תחתון קטן מאפסילון (סליחה על הכתיבה המסורבלת..)
זה לא אמור להיות, שלכל אפסילון קיימת חלוקה 'אחת' T שמקיימת את זה? זה לא עירבוב של 2 הגדרות? תודה רבה (:
תשובה
מה זאת אומרת מותר לדלתא? יש פרמטר חלוקה - אורך הקטע הגדול ביותר. הסכומים מתכנסים אם על כל החלוקות החל מפרמטר חלוקה מספיק קטן (דלתא) הסכום קרוב לגבול עד כדי אפסילון. אין פה שום קשר למספר הקטעים בחלוקה. דלתא תלוי בלבד באפסילון, בפונקציה ובקטע.
קודם כל תבדיל בין הגדרה לבין משפט. הגדרה להתכנסות יש רק אחת. כל שאר התנאים להתכנסות שקולים.
בוודאי שאין חלוקה יחידה כזו, הרי כל עידון של החלוקה יקיים את התנאי גם כן. יכול להיות שבהוכחה שלו הוא יכל לרשום פחות דברים, אבל אין ספק שזה מוכיח.
- זה נכון שעידון של החלוקה יקיים את התנאי, אבל הוא טען שכל T שיקיים שפרמטר החלוקה שלו יהיה קטן מדלתא, יקיים את החלוקה. למה זה נכון? אני מסכים שלעידון זה יהיה נכון, אבל לא בהכרח לכל T כנ"ל.
- אני מניח שאחר כך הוא הוכיח שבמקרה המסויים זה מתקיים. כמו שאמרתי, יכול להיות שהוא הוכיח יותר ממה שצריך, אבל אם הוא הוכיח, מה רע? שנית, עבור פרמטר חלוקה מספיק קטן המרחק בין הסכום העליון לגבול והמרחק בין הסכום התחתון לגבול הם אפסילון חלקי שתים. לכן המרחק ביניהם הוא אפסילון.
- בקשר למשפט הראשון - הוא לא ניסה להוכיח כלום בהתחלה. הוא פשוט הסיק מהנתון, שאם G אינטגרלית אז בוודאי מתקיים מה שכתבתי למעלה..
- אוקיי. כמו שהסברתי, זה נכון.
- בקשר למשפט הראשון - הוא לא ניסה להוכיח כלום בהתחלה. הוא פשוט הסיק מהנתון, שאם G אינטגרלית אז בוודאי מתקיים מה שכתבתי למעלה..
- אני מניח שאחר כך הוא הוכיח שבמקרה המסויים זה מתקיים. כמו שאמרתי, יכול להיות שהוא הוכיח יותר ממה שצריך, אבל אם הוא הוכיח, מה רע? שנית, עבור פרמטר חלוקה מספיק קטן המרחק בין הסכום העליון לגבול והמרחק בין הסכום התחתון לגבול הם אפסילון חלקי שתים. לכן המרחק ביניהם הוא אפסילון.
שאלה
בתרגיל 3 פה: http://www.math.tau.ac.il/~boazslom/hedva2/Exercises/ex-02.pdf בפתרונות הם טוענים שמכיוון שf גזירה, ניתן להציב x=f(t). לא ממש הבנתי את הקשר, מישהו יכול להסביר?
תשובה
strictly monotonic כלומר מונוטונית ממש. זה התנאי לכך שתהיה לה הופכית ואז תוכל לבצע את ההצבה. כמובן שגם העובדה שהפונקציה גזירה נחוצה (על מנת שההופכית תהיה גזירה, חוץ אולי מנקודה אחת).
- אופס, התכוונתי לכתוב מונוטונית ממש מלכתחילה ובטעות כתבתי גזירה. בכל מקרה תודה רבה (:
שאלה
האם גזירה ברציפות משמעותה: 1)יש נגזרת 2)הנגזרת רציפה בלבד? תודה
תומר - כמו שאמרת - יש נגזרת והנגזרת הזו היא פונקציה רציפה .
ארז ותומר- אתם יכולים להגיד כבר מעכשיו אם יותר השימוש במחשבונים במבחן? בבקשה תרשו- מה אכפת לכם? זה לא יכול להזיק לכם, ואותנו זה מרגיע..... תודה.
- זה מבחן לא בוחן. החלטה של המרצים. מוזמנים לשאול אותם...
תומר - יש סיבה לא להרשות שימוש במחשבון ... יש שאלות שנראה ששימוש במחשבון יכול לעזור לפתור אותן ( כמו במועד ב בבוחן שהיה...) אבל פיתרון מבוסס על חישוב במחשבון לא התקבל ! הנימוקים צריכים להיות מבוססי הוכחה מתמטית ולא חישוב נקודתי .
ארז - מצטרף. מחשבון, מייפל, מטלב, וספרי לימוד הם כלים מאד חשובים למתמטיקאים. בשעת מבחן נבדקת היכולת המתמטית ללא חומרי עזר. שאלתי את רוני-יהיו מחשבונים.
בקשר למבחן שהעליתם
קודם כל, תודה רבה :) אבל לא מצאתי אלא שאלה אחת (אם בכלל) על כל החצי הראשון של הקורס, שחשוב לא פחות מהחצי השני (אינטגרלים לא אמיתיים, טורי חזקות וכו'). יש מבחנים שכוללים גם את החומר הזה? אם לא - האם הבוחן הוא אינדיקטור טוב להבנת החומר? כלומר, השאלות שם סה"כ מסכמות את החומר ברמה די גבוהה? ובנוסף, לגבי המועד ב' שהעליתם, שאלה אחת. הוכחנו לפי משפט לבג בדיוק את אותו המשפט, רק שלא נדרש שהנגזרת תהיה רציפה. למה דורשים את זה כאן? בכלל בפתרונות, הם אומרים שg*f (הרכבה) היא הרכבה של פונק' רציפות, אבל לא בטוח בכלל שf רציפה..
תשובה
איך היית מגדיר את שאלות 5 ו6 במועד א' ושאלה 5 במועד ב'?
אני רואה שהם למדו גם חומר שאנחנו לא למדנו, מן הסתם המבחן יהיה על מה שכן למדנו. אי אפשר להסיק ממבחן של שנה מסוימת בדיוק מה יהיה או לא יהיה במבחן. על מנת שמבחנים לא ימשכו שעות תמיד משמיטים חומר מסוים, והחומר הזה יכול להתחלף משנה לשנה וממועד למועד.
למעשה, אי אפשר בכלל לדעת מראש מה יהיה במבחן :)
לגבי השאלה השנייה, יכול להיות שהם לא לימדו לבג בשנה שעברה, ולכן נתנו שאלה חלשה יותר אבל פתירה.
שנית, אתה צודק f אינה רציפה, אחרת זו שאלה טריוויאלית לחלוטין (כל פונקציה רציפה על קטע סגור אינטגרבילית שם)
- תראו איזה מהירות, שלחתי לרוני את הבעייה שרשמת, והוא כבר החזיר לי גרסא מתוקנת. העלאתי אותה...
- תודה רבה :). בכל מקרה, אני רוצה לומר תודה על כל הפורום הזה וההשקעה האינסופית..
תרגיל
- נגדיר [math]\displaystyle{ f(x)=\sum_{n=0}^{\infty}\frac{x^n}{n!} }[/math]. הוכיחו ש[math]\displaystyle{ f'(x)=f(x) }[/math]
(לא ארז/תומר) קודם כל- זהו טור חזקות שמתכנס במ"ש לכל x ממשי. לכן ניתן לגזור איבר איבר.
ואז [math]\displaystyle{ f'(x)=\sum_{n=0}^{\infty}\frac{n*x^{n-1}}{n!}=\sum_{n=1}^{\infty}\frac{n*x^{n-1}}{n!}=\sum_{n=1}^{\infty}\frac{x^{n-1}}{(n-1)!}=\sum_{i=0}^{\infty}\frac{x^{i}}{i!}=f(x) }[/math].
השוויון השני נכון כי עבור n=0 נקבל אפס. בשוויון הלפני אחרון החלפתי משתנה: [math]\displaystyle{ i:=n-1 }[/math]
- זה שאתה לא אני זה לא מפתיע, כי אני רשמתי את השאלה :) רק דילגת על חלק עיקרי בהוכחה, מדוע הטור מתכנס במ"ש לכל x ממשי? זה נכון בכלל?
(מישהו אחר) זה נכון כי לפי המבחן של קושי עם הגבול העליון, הגבול של שורש nי של n! הוא אינסוף, ולכן הגבול של 1 חלקי זה הוא 0, ולכן הרדיוס הוא אינסוף. ואז אפשר להמשיך כמו שהבחור הקודם הראה, או להראות שan שווה בדיוק לפיתוח לטור חזקות של e^x שמקימת שהנגזרת שווה לפונקציה
- נתבונן בפונקציה [math]\displaystyle{ g(x)=e^x }[/math] בקטע הסגור [math]\displaystyle{ [-r,r] }[/math].
לכל x בקטע ולכל n טבעי מתקיים
[math]\displaystyle{ |f^{(n)}(x)|=|e^x|\lt e^r }[/math]
לכן בכל קטע סגור כזה ניתן לפתח את הפונקציה לטור חזקות, שזה בדיוק הטור בשאלה. הטור מתכנס בכל קטע סגור כזה, לכן הוא מתכנס (נקודתית) על כל הישר הממשי, כלומר יש לו רדיוס התכנסות אינסוף. לכן הוא מתכנס במ"ש בכל קטע סגור על הישר. לכן ניתן לגזור איבר איבר כמו למעלה.
- אי אפשר להשתמש בפיתוח של e^x ובעובדה שהוא הנגזרת של עצמו, הרי זה מה שאתם מתבקשים להוכיח.
- רדיוס ההתכנסות הוא אכן אינסוף ולכן טור החזקות מתכנס במ"ש על כל קטע סופי, ולכן מותר לגזור איבר איבר על כל קטע סופי. זו אכן התשובה. (זה לא אומר שהטור מתכנס במ"ש על כל הממשיים).
למה אי אפשר? אם אני מראה שאת e^x אפשר לפתח לטור חזקות והרדיוס התכנסות שלו זה אינסוף, ומראה שהטור חזקות זה בדיוק הטור הזה. זה לא אומר שהנגזרת שווה לפונקציה כמו e^x?
- הנחת שהנגזרת של e^x הינה e^x כאשר הראת שהטור הזה הוא הפיתוח של e^x. אבל זה מה שצריך להוכיח...
- איך מראים שרדיוס ההתכנסות הוא אינסוף?
[math]\displaystyle{ \overline{\lim_{n\rightarrow \infty}} \frac{1}{\frac{1}{\sqrt[n]{n!}}}=\infty }[/math] מכיוון ש[math]\displaystyle{ \lim \sqrt[n]{n!}=\infty }[/math]
- יש לי סתם שאלה, בלי קשר לתרגיל הזה - אם, באותו אופן, היה יוצא שהרדיוס הוא 0, האם זה מספיק, וכל שנותר הוא לבדוק התכנסות בנק' x=0?
- מספיק בשביל מה? זה אומר שהטור לא מתכנס בשום מקום פרט לנקודה. לכן הוא לא רציף ולא גזיר ולא מעניין. אין מה לבדוק התכנסות בנקודה אפס, זה תמיד מתכנס שם לקבוע a_0
- אבל איך חישבת את הגבול הזה?
- זה תרגיל מאינפי אחד. אתה מקטין את חצי מהאיברים של n! לאחד, ואת החצי השני אתה מקטין לn/2 וסה"כ אתה מקבל [math]\displaystyle{ n!\gt (\frac{n}{2})^{\frac{n}{2}} }[/math] ולכן [math]\displaystyle{ \sqrt[n]{n!}\gt \sqrt[n]{(\frac{n}{2})^{\frac{n}{2}}}=\sqrt{\frac{n}{2}}\rightarrow \infty }[/math]
דבר אחר, ניתן להראות שלכל x0 ממשי טור המספרים שמתקבל ממנו מתכנס, ולכן הטור מתכנס נקודתית בכל הישר, ובפרט במ"ש בכל קטע סגור בו.
- איך התכנסות בכל נקודה גוררת התכנסות במ"ש? זה מאד לא נכון. ההתנכסות על כל קטע סופי היא במ"ש מכיוון שזה טור חזקות עם רדיוס אינסוף. טור חזקות מתכנס במ"ש על כל קטע סופי שקטן ממש מהרדיוס שלו.
-אבל אם הטור מתכנס בכל נקודה, זה בדיוק כמו לאמר שהרדיוס שלו הוא אינסוף...
- כן. אם זו הכוונה שלך אז אתה צודק. (חשוב לפרט שזה טור חזקות, ולכן הרדיוס הוא אינסוף ולכן הוא מתכנס במ"ש על כל קטע סופי).
-
- אפשר לומר שהגבול שצריך לחשב הוא הממוצע הגיאומטרי של הסדרה [math]\displaystyle{ a(n):=n }[/math], ולכן שאיפת הסדרה לאינסוף גוררת את שאיפת הממוצע לאינסוף לפי משפט, לא?.
-
- אני לא זוכר משפט כזה, יכול להיות שאתה צודק..
שאלה - טורי חזקות
יש איזו נקודה שלא לגמרי נגענו בה בתרגול ההשלמה - טורי חזקות, כאשר החזקה היא, למשל, [math]\displaystyle{ n^2 }[/math] , או [math]\displaystyle{ 2^n-1 }[/math]. מתי כדאי להפריד למקרים של מקדמים (ואז הסופרימום הוא מתי שיש מקדם), ומתי כדאי להציב, למשל, [math]\displaystyle{ t=x^{n^2} }[/math] ? (בתרגיל יש רק דוגמא לזוגיים ואי-זוגיים)
- קשה קצת לענות בלי לראות דוגמא, צריך להשתמש בשיטה שבעזרתה תצליח לפתור את התרגיל.
- תומר - עשינו דוגמאות בהן למשל החזקות היו רק האי זוגיים למשל , והצגנו דרך להתייחסות למקרים כאלו - מופיע בסיכום תירגול ההשלמה הסרוק . בנוסף נשים לכם דוגמאות נוספות .
- אוקיי, יש לי דוגמא טובה - הטור: [math]\displaystyle{ \sum n! x^{n!} }[/math] - כשפותרים אותו לפי מבחן השורש, מקבלים: [math]\displaystyle{ R=limsup \frac{1}{{a_n}^{\frac{1}{n}}} = lim \frac{1}{{n!}^{\frac{1}{n!}}} = 1 }[/math]
(limsup זה גבול עליון)
- או מה לגבי : [math]\displaystyle{ \sum \frac{(-1)^n}{3^n}(x+1)^{n^2} }[/math] - אני הרי לא יכול לפרק את זה ל: [math]\displaystyle{ (x+1)^n=t }[/math] , אז אני חייב להגדיר את המקדמים כאפס כשזה לא "ריבוע שלם", וכ-[math]\displaystyle{ n^2 }[/math] בריבוע שלם. במקרה הזה, כשמגדירים t=x+1, קבלתי: ש-[math]\displaystyle{ \frac{1}{R} = 0 }[/math], ולכן זה תמיד מתכנס.
תשובה
לגבי הטור הראשון החישוב שלך נכון. בטור השני לא הבנתי איך פתרת אבל התשובה שגוייה. הרי אם תציב אפילו x=2 תקבל סדרה שאינה חסומה (ולכן וודאי הטור מתבדר. אבל אם תחשב שוב limsup תקבל:
[math]\displaystyle{ \limsup \sqrt[n^2]{|\frac{(-1)^n}{3^n}|} = \limsup \frac{1}{\sqrt[n]{3}} = 1 }[/math] לכן רדיוס ההתכנסות הוא 1/1=1.
לכן הטור מתכנס עבור [math]\displaystyle{ -1\lt x+1\lt 1 }[/math]. מה הסיבה? הרי [math]\displaystyle{ t^{n^2}=(t^n)^n }[/math] אם t>1 מתישהו t^n יהיה גדול מ3 ומאותו רגע הסדרה גדולה בערך מוחלט מאחד ולכן לא שואפת כלל לאפס.
בקצוות הטור הראשון כמובן מתבדר אבל הטור השני מתכנס.
- אני מבין, ובחישוב שלי הגעתי לאותה תשובה, רק שמאיזשהי סיבה הייתי משוכנע ששלוש בחזקת אחת חלקיי אן שואף לאפס... תודה!
תרגיל 8 שאלה 2
בתרגיל 8 שאלה 2: לא היה אפשרי לפתור כך?: f רציפה ולכן יש לה קדומה,נסמנה g. האינטגרל של f מa עד b הוא בעצם הערך של g בנקודה b פחות ערכה בנקודה a. הפונקציה g היא גזירה, ולכן מתקיים עבודה תנאי לגראנז',(f היא הנגזרת של g): ולכן קיימת נקודה c עבורה ערך הפונקציה f בנקודה שווה לערך של g בנקודה b פחות ערכה בנקודה a חלקי b-a. מ.ש.ל.
לא יותר קל להוכיח ככה?
- זו הוכחה תקינה.
שאלה- לגבי נושאי הקורס שהעלתם
האם למדנו בקורס את פונקציה בעלת השתנות חסומה, ומשפט ז'ורדן? לא זכור לי שלמדנו...
- הקבוצה של רוני למדה. הקבוצה של שיין לא?
למיטב ידיעתי, ולאחר בדיקה בקלסר, לא למדנו את שני הנושאים הנ"ל, אשמח אם עוד מישהו יוכל לאשר זאת...
אכן, לא למדנו את הנושאים האלו.
אז מה נסגר? האם החומר ירד מהמבחן? לא נוכל ללמוד אותו לבד?! נשמח לקבל עדכון בעניין... תודה!
- מה שלא למדתם בהרצאה, לא יופיע במבחן.
במבחן שהועלה לאתר, במועד ב', לא היה אפשרי ויותר קל לפתור בדרך הבאה?:
הפונקציה רציפה ולכן חסומה- כמו שכתוב בפתרון.
ואז- אם הפונקציה רציפה בקטע סגור ולכן חסומה- אז נסמן בp את ההפרש בין הערך הכי גדול לערך הכי קטן שלה. ואז צריך להוכיח שלכל a>0 ולכל חלוקה T קיים r שגדול מדלתא T כך ש:סיגמה, כאשר i רץ מ1 עד n של Mi-mi כפול דלתא Xi קטן מa, נכון?
ואז נגיד שMi-mi קטן מp ודלתא Xi קטן מr. ולכן הסיגמה היא בעצם קטנה מ- n*r*p. ולכן נבחר את r להיות a/n*p. ואז זה שווה לa וסיימנו. שיניתי את האותיות המקובלות אבל זה אותה כוונה....
ההוכחה הזאת לא אומרת שכל פונקציה חסומה היא אינטגרבילית??? משהו כאן בטוח לא נכון, אבל מה? גם פונקצית דיריכלה יוצאת כאן אינטגרבילית, פשוט להציב p=1.......
- אני לא לגמרי מצליח לעקוב אחרי דרך הרישום הזו אבל:
- הכותב מעליי צודק, כביכול הוכחת שכל חסומה היא אינטגרבילית
- אני חושב שהבעייה היא שאתה מגדיר את r להיות תלוי בn. אני לא בטוח מה זה r אבל אני דיי בטוח שהוא לא צריך להיות תלוי בn :)
r הוא דלתא, המספר שגדול מאורך הקטע הגדול ביותר של החלוקה T.... מה הבעיה בלהגדיר אותו תלוי במספר האיברים בחלוקה T?
- כי ההגדרה לגבול סכומי רימן תלוייה בלבד בפרמטר החלוקה ואין קשר למספר הקטעים בחלוקה.
שאלה
תהי f פונקציה רציפה ב[a,b] ונניח שקיימת חלוקה P של [a,b] שעבורה הסכום העליון שווה לאינטגרל מa עד B של הפונקציה. צריך להראות כי בהכרח f קבועה ב[a,b]. רעיון ?
- נניח בשלילה שפונקציה אינה קבועה. נותר להראות שאם קיימת חלוקה כזו, קיים עידון שלה בעל סכום עליון קטן ממש יותר בסתירה.
- (לא ארז/תומר)אם אתה רוצה הוכחה מלאה: נתבונן בקטע החלוקה ה-i-י. נניח בשלילה שקיימת בקטע זה נקודה שערך הפונקציה בה קטן ממש מערך הפונקציה המקסימלי בקטע. ערך הפונקציה בכל x בקטע קטן שווה לערך המקסימום בקטע, וכיוון שיש נקודה בה אי השיוויון חזק, נקבל בתוספת הנתון על הרציפות שיש אי שיוויון חזק באינטגרלים. כלומר, אינטגרל על הערך המקסימלי גדול ממש מאינטגרל על הפונקציה, בקטע המדובר. כיוון שבכל קטע חלוקה אחר מתקיים שערך הפונקציה המקסימלי באותו קטע גדול שווה לכל ערך אחר בקטע (לפי הגדרת המקסימום, שקיים כי זו פונקציה רציפה בקטע סגור), אם נסכום את כל אי השוויונות האלו בתוספת אי השוויון החזק בקטע ה-i-י, נקבל שהאינטגרל על הפונקציה ב [a,b] קטן ממש מהסכום העליון של החלוקה P, בסתירה לנתון. לכן בקטע ה-i-י החלוקה קבועה. זה נכון לכל i ולכן בכל אחד מקטעי החלוקה הפונקציה קבועה. כעת נתבונן בנקודות החלוקה של P. לכל נקודה כזו (חוץ מהקיצוניות) מתקיים שהגבול של הפונקציה כש-x שואף לנקודה מימין הוא הערך הקבוע של הפונקציה בקטע שמימין לנקודה. ובאותו אופן הגבול משמאל יהיה הערך הקבוע בקטע שמשמאל לנקודה. הפונקציה רציפה בפרט בנקודות החלוקה, לכן הגבולות החד-צדדיים שווים כלומר הערכים הקבועים של הפונקציה בקטעי החלוקה הימני והשמאלי לנקודה שווים. זה נכון לכל נקודה בחלוקה ולכן הפונקציה קבועה. מש"ל.
- קודם כל, תודה רבה על ההשקעה! לא ממש הבנתי למה אתה מתכוון כשאתה אומר "כלומר, אינטגרל על הערך המקסימלי.." מה הכוונה?
- הוא מתכוון (אני מניח) לאינטגרל על הפונקציה הקבועה שערכה הוא ערך המקסימום שהפונקציה מקבלת
- ממש ממש תודה! :) עזרתם לי מאוד.
שאלה- גזירת טור חזקות
הוכחנו בהרצאה משפט שאומר שניתן לגזור טור חזקות איבר-איבר בכל נקודה בתחום התכנסותו. הניסוח של המשפט לא דורש התכנסות במ"ש, רק עושים בזה שימוש בהוכחה. לאור המשפט הזה- האם בתרגיל שהועלה לאתר (שצריך להוכיח שהפונקציה שווה לנגזרת), אפשר פשוט לגזור איבר איבר (כי זה טור חזקות)?
תשובה
יש בזה משהו, כי הרי כל נקודה בתחום ההתכנסות של טור חזקות מוכלת בסביבה סגורה בה ההתכנסות הינה במ"ש. (אני לא בטוח מה קורה אבל באופן כללי בנקודות הקצה של ההתכנסות, עם הנגזרת החד צדדית. במקרה שלנו זה לא משנה כי ההתכנסות הייתה בכל הממשיים)
התרגיל היה המצאה שלי על מנת לתרגל אתכם, המשפט שאתה מדבר עליו הוא מה שרציתי שתראו בתכלס...
שאלה
נתונה פונק' f החסומה ב[a,b]. הוכח כי אם f(x) אינטגרבילית ב[a,b] אז גם f^2(x) אינטגרבילית שם. זה לא נובע ישירות מהמשפט לגבי מכפלת פונק' אינטגרביליות?
תשובה
לא בטוח באיזה הקשר הגיעה השאלה, אבל דרך אחרת לפתור אותה היא לומר שזו הרכבה של הרציפה x^2 על פונקציה אינטגרבילית
- כן, אבל אין שום משפט על הרכבת פונ'...
- לימדנו אתכם את זה בתרגיל
אינטגרל לא אמיתי מסוג ראשון
איך ניתן להוכיח שהאינטגרל מ1 עד אינסוף, של x^a * sin(x) qqqq כאשר a הוא פרמטר שגדול מ0, הוא מתבדר?
תשובה
אפשר למשל לפי מבחן קושי להתכנסות טורים. הרי x^a שואף לאינסוף, והsin גדול מאיזה ערך חיובי באינסוף קטעים באורך קבוע. לכן כל אינטגרל על הקטעים האלה ישאף לאינסוף בסתירה לתנאי קושי.
- מבחן קושי להתכנסות טורים? כלומר, להשתמש במבחן האינטגרל?
- לא מבחן האינטגרל. הכוונה היא שהחל מM מספיק גדול כל אינטגרל מסויים על הפונקציה בין a,b>M קטן מאפסילון
- כשאני חושב על זה אולי אפשר לפתור את זה יותר בקלות עם מבחן ההשוואה הגבולי
- מבחן קושי להתכנסות טורים? כלומר, להשתמש במבחן האינטגרל?
(לא ארז/תומר) דבר ראשון, אני לא בטוח שאפשר לעשות פה מבחון ההשוואה הגבולי בכלל, כי ה- sin גורם שזו בכלל לא פונקצייה אי שלילית ב-R.. ובנוגע לפתרון, אני לא בטוח אם לזה התכוון מי שכתב על קריטריון קושי (וגם אם כן, אז אני לא בטוח שמה שהוא כתב כ"כ ברור) אז אני אראה את איך שאני חשבתי לפתור את זה- יהי E>0 ולכל M>0: נתבונן בפונקצייה f(x)=x^a*sin(x בקטע [2k*pi ,2k*pi+pi/4] כשלכל M חיובי יש קטע כזה כך שכל x בקטע גדול ממנו, ונשים לב לב לישר שעובר בנקודות x=2k*pi+pi/4,2k*pi ולא רק שהשטח שהוא יוצר עם ציר ה-X שואף לאינסוף ולכן בפרט גדול (החל מ-K מסויים) מ-E אלא גם שניתן להראות (ע"י גזירה ובדיקה פשוטה) כי לכל נקודה בקטע מתקבל ש f(x)-g(x) גדול שווה מ-0* ובסה"כ לפי קריטריון קושי הראינו שהאינטגרל בלא אמיתי מ-1 עד אינסוף מתבדר
- כש g הוא הישר שמחבר בין שתי נקודות הקצה..
שאלה
איך אפשר להוכיח שהפוקנצייה שמייצגת את האינטגרל[math]\displaystyle{ |cos(x)| }[/math] חסומה? (או אפילו לחשב את האינטגרל הזה)
תשובה
היא לא חסומה, והאינטגרל דיי פשוט לחישוב. פשוט צריך להפריד למקרים בהם הקוסינוס שלילי והמקרים בו הוא חיובי.
- היא כן חסומה - הרצתי במייפל, וקבלתי שזה שווה ל: [math]\displaystyle{ sin(x) * sign(cosx) }[/math] (וזה נראה הגיוני גם לפי ההפרדה למקרים)
- אבל השטח מתחת ל'גבעה' של קוסינוס הוא ערך מסוים, אם תסכום אינסוף כאלה תקבל אינסוף. לכן הקדומה אינה חסומה. איפה הטעות שלך לדעתך?
- הבנתי, אתה צודק! תראה, התרגיל המקורי שלי הוא חישוב האינטגרל :[math]\displaystyle{ \int^\infty_1 \frac{\cos{\sqrt{t}}}{t}dt }[/math] , ואחרי הצבה קבלתי שזה שווה לפעמיים האינטגרל:[math]\displaystyle{ \int^\infty_1 \frac{cos(x)}{x}dx }[/math], וזה כמובן מתכנס לפי דיריכלה. עכשיו נשאר לי לבדוק התכנסות בהחלט, ואני לא יודע איך לעשות את זה
- רק על מנת שכולם ידעו - הבעייה בפונקציה הקדומה שהצעת היא שהפונקציה [math]\displaystyle{ sin(x) * sign(cosx) }[/math] אינה רציפה. משמאל ל[math]\displaystyle{ \frac{\pi}{2} }[/math] היא אחד ומימין מינוס אחד. על מנת שהיא תהיה רציפה צריך להוסיף מספר שלם לכל 'מדרגה' כזו ואז הפונקציה אכן לא תהיה חסומה.
- בקשר לאינטגרל, ראה תרגיל 9 שאלה 6
שאלה
באינטגרלים לא אמיתיים: אפשר לומר שהאינטגרל של f+g [באותו תחום כמובן] שווה לאינטגרל של f ועוד האינטגרל של g?
ושהאינטגרל של g ב[a,b] + האינטגרל של g ב[b,c] שווה לאינטגרל מa עד b? (נניח שאחד מהם לא אמיתי)
תשובה
אם כולם מתכנסים אז כן
שאלה
בתרגיל 11 , הלינקים ששמתם שם לא עובדים. יש סיכוי שתוכלו לפרסם פה לינקים תקינים?
http://ocw.openu.ac.il/opus/Static/binaries/Upload/Bank116/mmn-16_0.pdf
http://ocw.openu.ac.il/opus/Static/binaries/Upload/Bank116/solution-16_0.pdf
(עדיף להעתיק את הלינקים ולא ללחוץ עליהם)
יש אפשרות לקבל את הפתרונות של תרגיל 11?
שאלה
איך מוכיחים התכנסות של האינטגרל מ-0 עד 1 של [math]\displaystyle{ ln^a(x) }[/math] עבור a חיובי?
- (לא תומר/ארז)עבור a חיובי? זה נשמע קצת מוזר, כי ln(x) הוא שלילי בתחום הזה, ואם למשל נבחר a=0.5 כל הפונק' לא תהיה מוגדרת בתחום הזה..
- עבור a>=1, אפשר להשוות את הערך המוחלט בחזקת אלפא עם הערך המוחלט עצמו (קטן שווה ממנו), ואז בגלל ש|lnx| מתכנס ב[0,1] (לפי אינטגרציה בחלקים פשוטה), גם שלנו מתכנס
שאלה
תהא [math]\displaystyle{ f_n }[/math] סדרת פונקציות רציפות על [0,1] שמקיימות [math]\displaystyle{ f_n(0)=0 }[/math] לכל n, ותהי f רציפה על [0,1] המקיימת את אותו התנאי. אם האינטגרל מ-0 ל-x של [math]\displaystyle{ f_n }[/math] מתכנס לאינטגרל מ-0 ל-x של f במ"ש ב-[0,1], הוכח או הפרך : [math]\displaystyle{ f_n }[/math] מתכנס ל-f בקטע [0,1].
(לא ארז/תומר) הפרכה, תיקח fn(x)= x^n ו f=0 כל התנאים מתקיימים אבל fn לא מתכנסת לf בקטע.
- יפה, תודה רבה!
שאלה
הרגע גיליתי משהו שזעזע אותי - למה [math]\displaystyle{ \frac{e^{4n}}{n!} \rightarrow 0 }[/math] ?
(לא ארז/תומר) תנסה את מבחן דלאמבר לסדרות. מקבלים ביטוי ששואף לאפס, בפרט קטן מאחד החל מ-N0 מסי\ויים, ומכאן שהסדרה אכן שואפת לאפס!
- למה זה מפתיע? למעלה יש לך e^4 (קבוע) בחזקת n ולמטה יש n!. שניהם זה מכפלה של n איברים. כאשר n גדול הרבה יותר מe^4 הביטוי למטה גדול יותר.
שאלה
אם יש לי פונקציה שהיא מנה/מכפלה של שתי פונקציות שאני יודע לפתח לטור חזקות. האם אפשר לפתח כל אחת מהם בנפרד ואז להכפיל/לחלק את האיבר הכללי? מה קורה לx^n במקרה זה? הכוונה שלי לפונקציות כמו: f=ln(1+x)/(1+x) w את הלאן ואת 1+x אני יודע לפתח לטור חזקות, האם במקרה זה האיבר הan של f בטור שווה לחילוק האיברים an בשני הפיתוחים?
תשובה
לא. חלוקה וכפל של טורים אינה חלוקה וכפל איבר-איבר
המשך השאלה
אז איך כן מפתחים את הפונקציה הזו לטור חזקות? הגעתי למצב שאני צריך לפתח את ln^2(1+x) לטור חזקות, אבל כמו שאמרת, מכפלה של טורים זה לא מכפלה איבר איבר..
תומר - יש בתורת טורי החזקות משפטים שמתייחסים למכפלת טורים , שאותם לא למדתם (זה לא שונה ממכפלת פולינומים - רק שכאן יש אינסוף מקדמים ויש להתייחס לשאלת ההתכנסות של הטור שמתקבל ...) פונקציה כזו היא "קלאסית " ליישום אחד המשפטים . מעבר לזה - אפשר לנסות למצוא נוסחא שנותנת נגזרת מסדר n - זה יוצא ארוך , אבל אם מציבים אפס (טור מקלוריין ) אפשר לנסות להשתמש בה . אבל שוב - הדרך לפתח טורים ספציפיים כאלו - ( שלא ניתן למשל למצוא איזה טור הנדסי אינסופי כמו שראינו בכיתה) היא בעזרת משפטי המכפלה .
תזכורת לארז
היי ארז, בשיעור החזרה היום ביקשת ממני להזכיר לך לבדוק את ההוכחה שלכם לתרגיל האחרון בקובץ החזרה של תומר. בקשר להתייחסות לגבול העליון/התחתון כאל גבול ממש, והטענה שמשהו מתקיים לכל n גדול מ-N. תודה.
תשובה
מה שרשום שם הוא כך: נניח והגבול העליון הוא L. לכל x>L קיים n_0 כך שלכל n>n_0 הסדרה קטנה מx. זה נכון, כי L הוא הגבול העליון. אם תמיד היה איבר בסדרה שגדול מx אז היה גבול חלקי גדול או שווה לx שגדול ממש מL בסתירה.