תומר - הסמסטר הולך ומסתיים לו . מי שרוצה לקבוע איתי פגישה ("שעת קבלה " ) - מוזמן לעשות זאת ועדיף לא לדחות עד סוף הסמסטר ממש ובסמוך למבחן ! שילחו לי מייל לתיאום : yaniv_to@netvision.net.il

שאלה למתרגלים

מהי רמת הקושי של התרגילים בתרגיל 10? האם הם קלים? קשים? האם ייתכנו תרגילים ברמת קושי כזו במבחן? אני שואל כדי שנוכל להעריך את רמת הידיעות שלנו לקראת המבחן.

תומר - הממ , רמה בינונית ! ולא לשכוח שעדיין לא כוסו בתרגיל זה מבחני דיני , אבל ודיריכלה . בנוסף - יינתן תרגיל נוסף , ללא הגשה אך כן עם חובה לדעת פתרונותיו - עבור מבחנים אלו וטורי חזקות - שזהו חומר חשוב מאוד ורק בגלל אילוצי החגים והבגרויות שלכם לא ייבדקו .

שאלה

האם זה נכון שסדרת פונקציות, [math]\displaystyle{ (f_n(x))_{n=1}^{\infty} }[/math], מתכנסת בקטע [math]\displaystyle{ [a,\infty] }[/math] במ"ש אם"ם מתקיים:

[math]\displaystyle{ \lim_{n \rightarrow \infty}\lim_{x \rightarrow \infty} (f(x)-f_n(x)) = 0 }[/math]

כאשר, [math]\displaystyle{ f }[/math] זו הפונקציה הגבולית.

פשוט זה יכול לעזור לי בקביעה באם ההתכנסות היא במ"ש...

לא. מה אם חוסר ההתכנסות במ"ש קורה בצד הסופי? [math]\displaystyle{ \sum\frac{1}{x^n} }[/math] ועבור x=1 הטור מוגדר להיות אפס.

הבנתי... אבל אפשר להשאיר מהמשפט רק את הכיוון של אם ההתכנסות במ"ש אז... כי אם ההתכנסות במ"ש אזי ש-

[math]\displaystyle{ f_n(x)-f(x) \leq \sup_{[a,\infty]}|f_n(x)-f(x)| := A_n }[/math], ולכן,

[math]\displaystyle{ \lim_{x \rightarrow \infty}(f_n(x)-f(x)) \leq A_n }[/math], אבל צריך להתקיים, כיוון שההתכנסות במ"ש, ש- [math]\displaystyle{ A_n \rightarrow 0 }[/math]

ולפיכך, נקבל ש- [math]\displaystyle{ \lim_{n \rightarrow \infty} \lim_{x \rightarrow \infty} (f_n(x)-f(x)) = 0 }[/math]

האם הטענה הזו נכונה? ואז ניתן לפחות לשלול התכנסות במ"ש אם היא אינה מתקיימת....

מי מבטיח שהגבול באיקס בכלל קיים?

אבל בהנחה שהגבול קיים, נראה לי שאפשר להוכיח גם את הצד השני -

אם נניח ש- [math]\displaystyle{ \lim_{n \rightarrow \infty} \lim_{x \rightarrow \infty}[f(x)-f_n(x)]=0 }[/math],

אזי שקיים [math]\displaystyle{ n_0 \in \N }[/math], כך שלכל [math]\displaystyle{ n\gt n_0 }[/math] מתקיים כי -

[math]\displaystyle{ \lim_{x \rightarrow \infty} [f(x)-f_n(x)] \lt \epsilon }[/math], ומכך נוכל למצוא סביבה, [math]\displaystyle{ N_{\delta}:=[\delta,\infty] }[/math], כך שבסביבה הזו יתקיים -

[math]\displaystyle{ [f(x)-f_n(x)] \leq \epsilon }[/math], וזאת נכון לכל [math]\displaystyle{ x \in N_{\delta} }[/math]. ולכן, אם בנוסף סדרת הפונקציות מתכנסת במ"ש בכל קטע סגור, מהצורה [math]\displaystyle{ [a,b] }[/math], אזי נוכל להסיק שסדרת הפונקציות

מתכנסת במ"ש ב-[math]\displaystyle{ [a,\infty] }[/math].

אז האם ניתן, תחת כל ההנחות באמצע, להיעזר ב-"מבחן" הזה.? או שיש לי איזושהי טעות בדרך...?

ו-נ.ב., עדיין לא ממש הבנתי איך טור הפונקציות [math]\displaystyle{ u(x)=\sum_{n=1}^{\infty} \frac{1}{x^n} }[/math], המוגדר כך ש- [math]\displaystyle{ u(1)=0 }[/math], מפריך את הטענה?

הביטוי [math]\displaystyle{ \lim_{x \rightarrow \infty} [f(x)-f_n(x)] \lt \epsilon }[/math] נכון עבור n קבוע, ועבורו יש [math]\displaystyle{ N_\delta }[/math] מסוים. אולי ככל שn עולה גם דלתא עולה?

הדוגמא היא נגדית מכיוון שהגבול שאתה מתאר הוא אפס, אבל זה לא טור מתכנס במ"ש (שכן ככל שאתה מתקרב לאחד קצב ההתכנסות נהייה איטי). חשוב להבין שאי התכנסות במ"ש לא חייבת להתרחש באינסוף.

הבנתי, תודה רבה (הייתי צריך את זה...), אבל אם אנו מניחים ש-[math]\displaystyle{ (f_n(x)) }[/math] מתכנסת במ"ש בכל קטע סופי, מצורת [math]\displaystyle{ [a,b] }[/math]. וכמו-כן, ש- [math]\displaystyle{ (f(x)-f_n(x))_{n=1}^{\infty} }[/math] היא מונוטונית.

אזי שהוא מתכנס במ"ש גם בקטע [math]\displaystyle{ [a,\delta] }[/math], ולכן קיים [math]\displaystyle{ n_0' \in \N }[/math], כך שלכל [math]\displaystyle{ n\gt n_0' }[/math], וכן לכל [math]\displaystyle{ x \in [a,\delta] }[/math] יתקיים כי -

[math]\displaystyle{ |f(x)-f_n(x)| \leq \epsilon }[/math]

אז נבחר [math]\displaystyle{ N=\max{(n_0,n_0')} }[/math], והוא יקיים שלכל [math]\displaystyle{ n\gt N }[/math], ולכל [math]\displaystyle{ x \in [a,\infty] }[/math] ש-

[math]\displaystyle{ |f(x)-f_n(x)| \leq \epsilon }[/math], אין זה בעצם התכנסות במ"ש? (אחרי שגם הוספתי את העובדה שקיימת התכנסות במ"ש בכל קטע סגור...)

שוב אתה מניח שיש דלתא קבוע כלשהוא שאינו תלוי בn. שנית, מאיפה ההנחה על המונוטוניות? ואיך היא עוזרת?

פשוט, אם [math]\displaystyle{ (f(x)-f_n(x)) }[/math] מונוטונית, נגיד יורדת, אז שלכל [math]\displaystyle{ n\gt n_0 }[/math] יתקיים כי -

[math]\displaystyle{ f(x)-f_n(x) \lt f(x)-f_{n_0}(x) \lt \epsilon }[/math], לכל [math]\displaystyle{ x \in N_{\delta} }[/math]. ומכאן בוחרים שוב את [math]\displaystyle{ N=\max(n_0,n_0') }[/math]...

פשוט קצת קשה לי לבדוק התכנסות במ"ש בקטעים כמו [math]\displaystyle{ [a,\infty] }[/math]. האם יש עוד מבחנים שימושיים, חוץ ממבחן ה-Sup, ומבחן ה-M??

מונוטונית באיזה מובן? הרי גם n וגם x משתנים. מבחן הSup הוא העיקרי... הרי אפשר למצוא או לקבל הערכה על נקודת הsup לn כללי בעזרת חקירת פונקציות (כפי שלמדנו בשיעור).

שאלה 1 סעיף ב'

אני לא מצליח לקבוע באם סדרת הפונקציות הנתונה, [math]\displaystyle{ f_n(x)=x \cdot \arctan(nx) }[/math] מתכנסת במ"ש או לא ב-[math]\displaystyle{ (0,\infty) }[/math]

אפשר איזשהו רמז..?? רמזון??? משהו..??

איך הפונקציות האלה מתנהגות באינסוף?

הן שואפות לפונקציה הגבולית - [math]\displaystyle{ f(x)= \frac{\pi}{2} \cdot x }[/math], ומה עושים מכאן?

בהגדרה של התכנסות נקודתית אנחנו אומרים שהתנאי מתקיים החל מקיי כלשהוא נכון? אם נתבונן בקטע מסויים ,שהפונקציה מתכנסת נקודתית בכל נקודה בו, ונבחר את המספר פי שהוא המקסימום של כל הקייים של כל הנקודות בקטע. ואז החל מהפי הזה הפונקציה מתכנסת בכל הקטע.וזוהי ההגדרה של התכנסות במ"ש. אז זה אומר שהתכנסות במ"ש והתכנסות נקודתית בכל הקטע זה אותו דבר? כנראה שלא, אז איפה הטעות? שהמקסימום יכול להיות אינסוף? אם הוא תמיד אינסוף-איך מוכיחים את זה? תודה.

(לא ארז/תומר) הבעיה היא שלקחת מקסימום של של קבוצה אינסופית(קבוצת ה-k-ים). אם הסופרימום של הקבוצה הוא מספר אז אכן ישנה התכנסות במ"ש. אבל אם הסופרימום הוא אינסוף- אז אין התכנסות במ"ש.

זה אומר שזה משפט חדש? אם קבוצת הקייים חסומה אז התכנסות רגילה גוררת התכנסות במ"ש?

הגדרנו התכנסות רגילה של טורי פונקציות?(לא במ"ש)

תומר : הגדרנו התכנסות רגילה - זו התכנסות (נקודתית! ) של סידרת הסכומים החלקיים של הטור !  בדומה להתכנסות של טורי מספרים .

תשובה

התכנסות נקודתית היא ברורה, זה גבול סדרה. התכנסות במ"ש אומרת שלכל אפסילון יש n_0 מסוים שיתאים לכל הנקודות x בקטע. כלומר כאשר ניקח את הפונקציה f_n_0 המרחק שלה מפונקצית הגבול יהיה קטן מאפסילון בכל נקודה. יכול להיות כמו שאמרת שהמקסימום הזה הוא אכן אינסוף.

אולי קצת הטעתי ברמז. יש לנו תנאי מספיק והכרחי השקול להתכנסות במ"ש. צריך לנסות לפתור את התרגיל בעזרתו.

התכנסות רגילה של טור פונקציות היא התכנסות נקודתית כמובן.

רגע, אז כשאני אומר במ"ש(סדרת פונקציות) לפי ההגדרה אז האן אפס שהחל ממנו התנאי מתקיים הוא תלוי רק באפסילון??לא יכול להיות תלוי באיקס??

n_0 הוא אף פעם לא יחיד, אפשר להגדיר אותו תלוי במיליון דברים. אבל אם יש התכנסות במ"ש, יש n_0 שתלוי באפסילון בלבד ולא באיקס (תקרא את ההגדרה). זה המקסימום של כל הn_0-ים המינימליים.

תודה.

אם אמרו לי להגיד אם אישהוא טור מתכנס במ"ש,אן רץ מאחת עד אינסוף, הצלחתי להגיד את זה לגבי אן רץ מ2 עד אינסוף,זה בסדר? למה? תודה.

הגיע הזמן בסוף אינפי 2 לדעת שההתכנסות אינה יכול להשתנות על פי מספר קבוע כלשהו של איברים ראשונים. במקרה הכי גרוע זה יכול להזיז את n_0

זה נכון בהתכנסות של טורים רגילים. אבל בטורים של פונקציות-מי אמר שזה במ"ש זה מוסיף עוד חלק משמעותי לפונקציה,לא? בכל מקרה, אם אני אומר שהטור מתכנס במ"ש מאן שווה 2 אז זה בסדר? תודה!

מה זה במ"ש? שהטור או הסדרה מתכנסים בקצב שאינו קבוע באיקס (יש n_0 שתלוי באפסילון בלבד). שינוי של מספר קבוע של איברים ראשונים יכול לכל היותר להזיז את הn_0 הזה כמספר האיברים ששינית. אפילו אם אני אוסיף לטור איבר ראשון שהוא פונקציה בלתי חסומה, עדיין בכל נקודה הטור מתכנס באותו קצב, שכן בכל נקודה הוספתי לטור איבר אחד בגודל כלשהו.

כמה שאלות

קודם כל, בקשר לדיון הקודם.. אז סה"כ מס' סופי של איברים לא משנה את ההתכנסות הנקודתית + במ"ש?
אפשר להשתמש בזה שln(1+t)<t ללא הוכחה?
אם הוכחתי שטור פונק' מתכנס לא מתכנס במ"ש בקטע הפתוח 0,אינסוף, זה גורר שהוא לא מתכנס גם בקטע החצי סגור?
ושאלה אחרונה - רק כדי לוודא - במבחן הM של וירשטרס, an לא יכול להיות תלוי בX נכון? (התשובה די ברורה מאליה, אבל בכל מקרה..)

תודה רבה!

תשובה

נכון, מספר סופי של איברים לא משנה התכנסות או התכנסות במ"ש
תוכיח את זה... זה גם נכון בתחום מסוים. הוכחה של שורה
כאילו כולל הנקודה אפס? בוודאי אם טור לא מתכנס במ"ש בקטע מסוים, הוא לא מתכנס במ"ש בקטע גדול יותר שמכיל את הראשון.
נכון.. מדובר על טור של מספרים קבועים.

תודה רבה ארז.. (: ובקשר לשאלה ה3 - זה נכון גם לגבי רציפות במ"ש?

רציפות במ"ש מאינפי 1? כן, הרי רציפות במ"ש מדברת על ההפרש בפונקציה על כל שתי נקודות במרחק מסוים בציר x. אם יש רציפות במ"ש על קטע יש רציפות במ"ש על כל תת קטע שלו.