אינפי 2 לתיכוניסטים תש"ע - שאלות ותשובות

$\lim_{n\rightarrow\infty}f_n$

הוראות

כאן המקום לשאול שאלות. כל שעליכם לעשות הוא ללחוץ על [עריכה] (משמאל לכותרת "שאלות"), להוסיף בתחילת הדף את השורה הבאה:

== כותרת לשאלה ==

לכתוב מתחתיה את שאלתכם, וללחוץ על שמירה למטה מימין

ארכיון

ארכיון 1 - תרגיל 1 ו2

ארכיון 2 - תרגיל 3

ארכיון 3 - תרגיל 3

ארכיון 4 - תרגיל 4

ארכיון 5 - תרגיל 4,5

ארכיון 6 - תרגיל 6

ארכיון 7 - (מי עוקב)

ארכיון 8

ארכיון 9 - לקראת הבוחן

ארכיון 10 - פוסט בוחן

ארכיון 11 - תרגיל 9

ארכיון 12 - תרגיל 9

ארכיון 13 - תרגיל 10

ארכיון 14 - תרגיל 10

ארכיון 15 - תרגיל 10

ארכיון 16 - לקראת המבחן

סיכום

מצורף סיכום ממש טוב של כל המשפטים שנלמדו בקורס... תהנו!! (קרדיט ליותם ברקוביץ'): סיכום

ארז - אתה יכול בבקשה לשים אותו בדף הראשי? תודה...

שאלה

איך מוכיחים התכנסות של האינטגרל מ-0 עד 1 של $ln^a(x)$ עבור a חיובי?

(לא תומר/ארז)עבור a חיובי? זה נשמע קצת מוזר, כי ln(x) הוא שלילי בתחום הזה, ואם למשל נבחר a=0.5 כל הפונק' לא תהיה מוגדרת בתחום הזה..

עבור a>=1, אפשר להשוות את הערך המוחלט בחזקת אלפא עם הערך המוחלט עצמו (קטן שווה ממנו), ואז בגלל ש|lnx| מתכנס ב[0,1] (לפי אינטגרציה בחלקים פשוטה), גם שלנו מתכנס

שאלה

תהא $f_n$ סדרת פונקציות רציפות על [0,1] שמקיימות $f_n(0)=0$ לכל n, ותהי f רציפה על [0,1] המקיימת את אותו התנאי. אם האינטגרל מ-0 ל-x של $f_n$ מתכנס לאינטגרל מ-0 ל-x של f במ"ש ב-[0,1], הוכח או הפרך : $f_n$ מתכנס ל-f בקטע [0,1].

(לא ארז/תומר) הפרכה, תיקח fn(x)= x^n ו f=0 כל התנאים מתקיימים אבל fn לא מתכנסת לf בקטע.

יפה, תודה רבה!

שאלה

הרגע גיליתי משהו שזעזע אותי - למה $\frac{e^{4n}}{n!} \rightarrow 0$ ?

(לא ארז/תומר) תנסה את מבחן דלאמבר לסדרות. מקבלים ביטוי ששואף לאפס, בפרט קטן מאחד החל מ-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 בסתירה.

סבבה, תודה :]

שאלה

אם אני רוצה לפתח לטור חזקות את הפונקציה cos(x)/x . מותר לי לפתח את cos(x) לטור חזקות ואז רק לחלק את x^n ב-x ולקבל x^n-1 והשאר לא משתנה, וזה הפיתוח של cos(x)/x לטור חזקות?

תשובה

(לא ארז/תומר) כן, מותר

המשך

זה לא עזר לי, אני מנסה לפתח לטור חזקות (שאלה ממבחן ) סביב 0 את הפונקציה f(x)= integral from 0 to x of 1-cos(t) / t^2 dt ניסיתי לעשות גזירה איבר איבר , אבל אין לי מושג איך להתקדם עם הביטוי שבתוך האינטגרל.

דבר נוסף- אני רוצה לדוגמא לפתח את הפונקציה f(x) =x^-2 . אני יכול להשתמש בסכום של סדרה הנדסית אבל אז אני מקבל (1-x^2) בחזקת n, שזה לא ממש סימפטי. יש דרך לעשות את זה יפה יותר?

תשובה

לגבי השאלה הראשונה - אתה גוזר את הפונקציה ומקבל $\frac{1-cosx}{x^2}$ שזה שווה $\frac{1-\sum_{n=0}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!}}{x^2}= \frac{-\sum_{n=1}^{\infty}\frac{(-1)^n x^{2n}}{(2n)!}}{x^2}= -\sum_{n=1}^{\infty}\frac{(-1)^n x^{2(n-1)}}{(2n)!}$

(עד כדי טעות)

עכשיו צריך לעשות אינטגרציה איבר איבר לקבל את התוצאה הרצוייה

שאלה

והשאלה השנייה שלי?

שאלה

האם יש אפשרות שמישהו יעלה את מה שעשו בתרגיל חזרה היום בבקשה?

שאלה

מישהו יודע מה המבנה של המבחן, אורך?

תומר - אני יודע ... (שאלת מי יודע :) ... יופי, אתה יכול לפרט?

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

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

שאלה

צריך להפריך: אם (fn(x) היא סדרה מונטונית (הסדרה עצמה מונוטונית, לא הפונק', כלומר מונוטונית לפי n) של פונקציות רציפות המתכנסות נקודתית לפונק' f(x) בקטע I. אזי f(x) מונוטונית. יש למישהו דוגמה להפרכה?

[לא תומר/ארז] אולי הסדרה x^2 + 1/n המתכנסת נקודתית לx^2?

איך זה מפריך? פונק' הגבול היא x^2, מונוטונית.

קח את I להיות [1-,1] וזה לא

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

שאלונת.

נניח והגדרנו את G(x) להיות האינטגרל של f מ0 ועד x.

האם זה מוגדר היטב עבור x<0? כלומר, זה שווה למינוס האינטגרל כאשר מחליפים את הגבולות, אבל האם בפונק' זו, ובכלל כשאני מגדירה פונק' קדומה לפונקציה אחרת (במידה והיא אינטגרבילית למשל בכל קטע סגור), מותר לי להכניס X שקטן מ0?

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

אז לא ממש הבנתי.. כן מותר להציב x<0?

תומר - מותר להציב כל x - בין היתר קטן מ c

השאלה היא אם f אינטגרבילית גם בשליליים. אם כן, האינטגרל מאפס עד x שלילי הוא פשוט מינוס האינטגרל מx עד 0 (כמו שאמרת) ולכן זה בוודאי מוגדר היטב.

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

שאלה

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

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

ואם אנחנו יודעים באופן כללי? צריך לדעת ממש באופן מדויק כל משפט ומשפט?..

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

שאלה

איך מראים שהטור מ-n=1 עד אינסוף של sin(nx) מתבדר?

תומר - האם האיבר הכללי בטור , עבור x קבוע (וכמובן שונה מכפולות של פאי ...) שואף לאפס ? זו שאלה שמזכירה אינפי 1 . האם הגבול של הסידרה sinnx שואף לאפס ? וביתר כלליות - האם בכלל קיים גבול לסידרה זו ?

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

sin(n+1)x-sin(n-1)x=2cos(nx)*sinx (הפרש סינוסים ...) , ובסינוס זווית כפולה : sin2nx=2sinnx*cosnx ...

עוד תרגיל

תהי סדרת פונקציות מונוטוניות מתכנסת. הוכח/הפרך: פונקצית הגבול הינה מונוטונית

תשובה

(לא ארז/תומר)-נראה לי שזה נכון. תניח בשלילה שפונקצית הגבול לא מונוטונית. נניח ב.ה.כ שמדברים על מונוטונית יורדת. ואז קיימת נקודה b>a כך ש: (f(b)>f(a.כעת נתבונן באפסילון שקטן מ-f(b)-f(a))/2), וע"פ הגדרת הגבול תקבל שקיים N כך שלכל n>N קיימת נקודה x1 כך ש-fn(x1) קרובה ל-f(b) עד כדי אפסילון וכן אותו הדבר לגבי x2 כך שfn(x2) קרובה ל-f(a) עד כדי אפסילון. מכיוון שאין חיתוך בין תחומי האפסילון אזי בהכרח (fn(x1)>f(nx2 לכל n>N, בעוד שמכיוון שx1 שואף לb וx2 שואף לa אזי x1>x2 בסתירה למונוטוניות (היורדת) של fn.כל מה שנותר להוכיח זה שאם fn מונוטוניות יורדות אזי f לא יכולה להיות מונוטונית עולה שזה פשוט.

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

שאלה

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

תומר - לחזור על נוסח המשפטים !!!

ארז - במילים אחרות - לא :)

תשובה

אם הוא מתכנס (אפילו בתנאי) בR הוא מתכנס במידה שווה בקטע הפתוח (R,-R) אם הוא מתכנס (אפילו בתנאי) בR וגם במינוס R אזי הוא מתכנס במידה שווה בקטע הפתוח (R,-R)

אם הוא מתבדר בR או מינוס R הוא לא מתכנס במידה שווה בקטע הפתוח (R,-R)

בכל מקרה לכל 0<R>r הוא מתכנס במידה שווה בקטע הסגור [r,r-]

אני לא חושב שזה נכון - בהרצאה למדנו שאם הטור מתכנס ב-x=R אז הטור מתכנס במ"ש ב-[R,0] , וכך גם עבור x=-R , אז בסה"כ מקבלים שתחום ההתכנסות במ"ש תמיד שווה לתחום ההתכנסות (אלא אם R=0 ואז יש רק התכנסות נקודתית)

ברור שאם הוא מתכנס בR אתה צודק, אבל מה אם הוא לא...?

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

שאלה

לא הבנתי משהו. כתוב לי במחברת שהטור פונקציות x^k מ1 עד אינסוף, בקטע (1,1-) פונ' הגבול שלו רציפה: x/1-x וגם כל x^k רציפות, אבל ההתכנסות אינה במ"ש. השאלה שלי היא למה? הרי הסכום הN של הטור, הוא מ1 עד N, וSn זה סכום סדרה אינסופית מתכנסת Sn=a1/1-q. ואז Sn-S=0 ואז זה בסדר. איפה הטעות שלי? עריכה: לא משנה. זה כי הנוסחא S=a1/1-q עובדת רק על סדרה הנדסית *אינסופית*...

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

שאלה

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

• נקודתית זה ברור מאינפי 1. לבמ"ש ההוכחה דומה. שארית הטור לא בהחלט קטנה משארית הטור בהחלט, כלומר הטור לא בהחלט מתכנס מהר יותר מאשר הטור בהחלט.

ועוד שאלה: אם יש לי סדרת פונ' fn כך ש|fn| מתכנסת לפונ' גבול כלשהי f במ"ש, האם זה אומר שfn המקורית מתכנסת לf1 כלשהי במ"ש?

• ברור שלא.... אינפי 1. $fn=(-1)^n$ לא מתכנס בכלל, אבל הערך המוחלט מתכנס במ"ש.

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

שאלה:איך מוגדר אינטגרל של פונקציה ממינוס אינסוף לאינסוף? הגבול כאשר c רץ לאינסוף של אינטגרל של הפונקציה מ c- עד c או פשוט פיצול לשני אינטגרלים לא אמיתיים ואז כל אחד שואף בקצב שלו? זה משנה כי במקרה של פונקציה איזוגית-למשל x באפשרות הראשונה זה 0 ובשניה אינסוף פחות אינסוף שזה מתבדר.....(נכון?)תודה.

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

למה אם f פונקציה רציפה, מחזורית ואי-שלילית בממשיים(f אינה זהותית אפס) אז הגבול של f(x)/x^3 אינו אפס כאשר x שואף לאינסוף?? הרי f חסומה מהנתונים,לא? רוני נתן שאלה כזאת ואמר להוכיח שהאינטרגל של f(x)/x מ1 עד אינסוף מתבדר. ואם הגבול שאמרתי מקודם שווה ל0 אז לפי מבחן ההשוואה האינטגרל מתכנס, אז כנראה שהגבול איננו 0,למה??? תומר - כמה שאלות , כמה שאלות ! :) לשאלה הראשונה על התכנסות עם ערך מוחלט גוררת התכנסות בלי , במידה שווה - ראה משפט שהוכחתם . או - אפשר לנסות לבד פשוט ביישום של קריטריון קושי להתכנסות במ"ש ! . אינטגרל ממינוס אינס' לאינס' מוגדר על ידי פיצול באיזו נקודת ביניים - אבל בכל אופן כאשר הגבולות שלהם - אחד עם פרמטר לאינסוף ושני עם פרמטר למינוס אינסוף - הם לא תלויים אחד בשני ! ובטח לא ממינוס סי לסי כאשר סי שואף לאינסוף . זהו אינטגרל שקיים בשימושים אבל יש לו שם - PRINCIPAL VALUE - אבל זה לא האינטגרל בקורס שלנו !!! . לגבי שאלה אחרונה - תן בבקשה את ניסוח השאלה המלא כדי שאוכל להתייחס .

תודה.:נתונה פונקציה fרציפה,מחזורית ואי-שלילית ב-R. היא אינה זהותית 0.הוכח: האינטגרל של f(x)/x מ-1 לאינסוף מתבדר. תוכל גם להגיד לי למה אי אפשר להוכיח שזה מתכנס עם שימוש במבחן ההשוואה השני? כי f לפי הנתונים חסומה,לא? ואז הגבול של (f(x)/x)/x^2 שווה לאפס ולפי המבחן f(x)/x מתכנס, כי האינטגרל של x^2 מתכנס... (לא ארז/תומר) נראה לי שהטעות שלך היא כזו , כשאתה עשית את מבחן ההשוואה, עשית את זה עם הפונ' x^2 והאינטרל של זה מתבדר בקטע 1 עד אינסוף (אתה מתבלבל עם 1/x^2), ובנוגע להוכחה , אני עשיתי את זה בדרך הבאה:

נסמן את המחזור של F כ-T, אנחנו יודעים שהפונ' אינה זהותית אפס, לכן יש נקודה X0 בקטע [T,1+T] כך ש- (f(x0 שווה ל-M גדול ממש מאפס. מכיוון ש-F רציפה יש סביבה [a,b] של X0 כך שכל ס בקטע מקיים f(x)>M/2 (או אפילו גדול שווה, זה לא משנה) וכעת, מכיוון ש-F אישלילית , נגדיר פונקציה חדשה G להיות M/2x בכל קטע מהצורה [a+n*T,b+n*T] כאשר n טבעי ואפס בכל נקודה אחרת.

ברור כי שתי הפונ' אי שליליות, אינטגרביליות בכל קטע מהצורה [one,R] כש- R>1 (F רציפה בכל קטע כזה, ול-G יש מספר סופי של נקודות אי רציפות מהסוג המתאים) ולכן אם האינטגרל של G בטע 1 עד אינסוף מתבדר, כך גם האינטגרל הלא אמיתי של F.

ועכשיו, להראות שהאינטגרל של G בקטע 1 עד אינסוף מתבדר, זה לא כזה מסובך (אני עשיתי לפי קריטריון קושי, אבל אני בטוחשאפשר בעוד דרכים, ואין לי כח לכתוב את זה) ובסה"כ קיבלנו שהאינטגרל של f(x)/x

למה במבחן ההשוואה הראשון רוני ציין שאם 0<g ו f>g והאינטגרל של f מתכנס(לא אמיתי, בשנ הסוגים הוא אמר ככה...) אז האינטגרל של g מתכנס. הוא לא אמר שאם g מתבדר גם f מתבדר,זה לא נכון??