שינויים

שיחה:88-133 אינפי 2 תשעב סמסטר ב/אינטגרלים

נוספו 8,388 בתים, 08:10, 3 בספטמבר 2012
/* טורים מאינפי 1 */ פסקה חדשה
:::אני לא ממש מוצא איפה אני יכול לשחק עם סכומי רימן כאן, אז ניסית אולי משהו טורי חזקות או טורי פונקציות?
 
:::: זה קל עם טורי חזקות :)
== תרגיל 4 שאלה 3 סעיפים ב,ג ==
::אצל שיין. זאת ההוכחה לאקסיומה ה-15 של הממשיים. (לפי הבנייה של סדרות קושי.)
:::un ו ln שקולות, לכן, ההפרש ביניהם אפסי, ובפרט, עבור n גדול מספיק,נניח החל מ N1, ההפרש קטן מאפילון חצאים (שיין :) )
:::<math>
u_n-l_n<eps/2
</math>
<math>
un<ln+eps/2<ln+eps
</math>
לכן, עבור n גדול שווה ל N1, בפרט N1 עצמו, המספר הממשי
uN1 קטן מהמספר הממשי S+eps [זה נכון כי ln מונוטונית עולה]
נניח בשלילה ש החל מ N, הסדרה un אינה משתנה, אז קל לראות שמתקיימת ההגדרה של חסם עליון לערך הקבוע של un, (כי bn מתקדם לעבר un, ובסופו של דבר, עובר כל מומעד לחסם מלעיל, ושולל אותו)
לכן, הסדרה כן משתנה, נניח ב N2+1
עכשיו, כי un מונוטונית, ההפרש בין UN2 לבין כל un שבא אחריו, הוא לפחות הקפיצה המדוברת, נסמנה k
נסתכל על סדרת קושי ששייכת ל S, שזהה ל un, אלא ש כל האיברים, עד uN2 כולל, שווים ל u(N2+1)
כעת, קל לראות לפי הגדרת הסדר בממשיים, הסדרה שהרגע הגדרתי, והסדרה הקבועה uN2 ש S קטן מ המספר הממשי uN2
טוב נו..נגיד שבחלק שהנחנו ש un לא משתנה, הנחנו שהיא לא משתנה עבור n גדול מ N1
עכשיו קיבלנו uN כלשהו, מספיק גדול, שמקיים את העובדה
S<uN<S+eps
ההוכחה עם החסם מלעיל הכי קטן דומה במש
אז כן, זה לא היה טריוויאלי כמו ששיין כתב את זה, במיוחד לא כי אנחנו עובדים בעולם חדש ולא מוכר לנו, הממשיים, אבל זה נכון
 
== טורים ==
 
איך מנמקים פורמלית שכדי למצוא את הטור עבור <math>cos(2x)</math> מספיק להציב <math>2x</math> בטור של <math>cosx</math>?
:לא יודע, לא נימקתי את זה מעולם. כל פעם ששואלים אותי אני חושב לעצמי "הממ... זו באמת שאלה טובה, כדאי שאני אבדוק את זה מתישהו". ככה זה כבר שנתיים לצערי... --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
::תוכל לברר איפשהו?
:::נניח תחום ההתכנסות כולל את x, אזי אם מציבים את x בטור, מקבלים את cos(x)
:::נסמן x=2a, לכן אם מציבים את 2a בטור, נקבל cos(2a), עכשיו, שם המשתנה לא משנה, אז אפשר לראות שאם מציבים את 2x בטור, מקבלים cos(2x). אוהד, למה מחקת? --[[משתמש:TomerBrandes|TomerBrandes]] 23:15, 14 ביולי 2012 (IDT)
 
=="אינטגרל חוזר"==
עמוד 2 שאלה 4ב? ניסינו הרבה.
 
http://u.cs.biu.ac.il/~sheinee/tests/math/88133/4ef1b3436493a.pdf
 
:<s>נשמע שחסר נתון... e^x היא דוגמא נגדית.</s> --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
 
::הוכחנו את זה בקבוצה, פשוט שצריך לעקוב אחרי הפוסטים הלא רציפים.
 
הוכחה של אופיר: (מצטער אם לא אכתוב מדויק)
 
טענה:
 
יהיו f,g פונ' ממשיות, ונניח שמתקיים <math>f \geq abs(g)</math> בתחום <math>[0,a]</math> אז מתקיים <math>\int f \geq abs(\int g)</math> כאשר האינטגרלים הם בתחום <math>[0,a]</math> כלשהו... הטענה נובעת מהשוואת אינטגרלים חיוביים ומאי שוויון המשולש האינטגרלי.
 
כעת, מכיוון ש f0 אינטגרבילית אז היא חסומה ע"י M ולכן יש פונ' קבועה g=M כך ש <math>g \geq abs(f_0)</math> בתחום <math>[0,a]</math> אז גם אם נסתכל על סדרות האינטגרלים המתוארות בשאלה נקבל <math>g_n \geq abs( f_n )</math>.
 
עכשיו נסתכל על [g[n... זה תרגיל לא קשה (אפשר לחסום עם סדרה ולהראות התכנסות שלה עם ד'לאמבר) להראות ש [g[n מתכנס במ"ש ל 0, ולפי הגדרת התכנסות במ"ש קל לקבל שגם [f[n מתכנסת במ"ש ל 0.
 
== הוכחה אלגברית ==
 
איך מראים שאם <math>x,y \in [a,b]</math> אז <math>|x-y| \leq b-a</math>?
 
:נניח ב.ה.כ כי <math>x>y</math>. לכן <math>|x-y|=x-y\leq b-y \leq b-a</math>. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
 
== טור מספרים ==
 
איך מראים <math>\sum(\frac{n!e^n}{n^n})</math> מתבדר?
:קוראים בחומר התרגול של אינפי 1 באתר, בדוגמאות של טורים חיוביים --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
::ואז? זה קצת דומה ל-7, אבל אי אפשר כמו שם.
:::זה לא בדיוק אחד חלקי הטור המתכנס ב7 ולכן שואף לאינסוף? --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
 
== סדר סכימה בטורים ==
 
למה מותר להחליף את סדר הסכימה כשיש סכום כפול אינסופי? (נובע מהטענה על גבול כפול, שנכונה כי?)
:אני לא בטוח על איזה טענה מדובר, אבל זה מותר לשנות את סדר הסכימה אם הטור מתכנס בהחלט --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
 
== מבחן השורש ==
 
איך מראים שמותר לקחת במבחן קושי-הדמר (לרדיוס התכנסות) שורש מסדר שתיים בחזקת אן במקום n? 
:הקשר מאד יעזור בשאלות מסוג זה. באופן כללי, עבור טור מהצורה <math>\sum a_n x^{b_n}</math> רדיוס ההתכנות הוא <math>R=\frac{1}{\limsup \sqrt[b_n]{|a_n|}}</math> --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
 
== מבחן של הורוביץ ==
 
http://u.cs.biu.ac.il/~sheinee/tests/math/88133/4ef1b085019d4.pdf
 
האם אפשר עזרה ב:
 
* שאלה 3 סעיף ב'
 
*שאלה 4 סעיף ג'
 
*שאלה 4 סעיף ב' - האין זה פשוט מבחן ד'אלמבר לטורים של מספרים?
 
תודה רבה
 
 
===תשובה===
שאלה 3 סעיף ב' - תפעיל את הגדרת הנגזרת לפי גבול. את הגבול ניתן לחשב עם לופיטל, למשל. (מבלי שפתרתי בעצמי)
 
שאלה 4 סעיף ג' - עושה רושם שהאיבר הכללי של הטור (כלומר האינטגרל) אינו שואף לאפס. אפשר להראות שבערך מוחלט הוא חסום מלמטה על ידי חצי כפול האינטגרל של הסינוס (או משהו בסגנון)
 
שאלה 4 סעיף ב' - נכון. אפשר גם להסתכל על זה כטור חזקות שהציבו בו e^4, גם במקרה זה רדיוק ההתכנסות יוצא אינסוף בכל מקרה. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
 
== אור שחף ==
 
http://www.math-wiki.com/index.php?title=משתמש:אור_שחף/133_-_הרצאה/12.7.11#.D7.A4.D7.AA.D7.A8.D7.95.D7.9F_5
 
מאיפה הגיעו המספרים המוזרים לטור של 2x חלקי? למה 2n+1? 
 
== ממבחן ==
 
הוכח: <math>\int_{0}^{\frac{\pi}{2}}x\sqrt{sinx}dx\ < \sqrt{\frac{2\pi^3}{3}} </math>
 
וולפראם מאשר נכונות: http://www.wolframalpha.com/input/?i=int_{0}^{pi%2F2}x*sqrt{sinx}dx-sqrt%282*pi^3%2F3}%29
 
 
:sin(x)<=x בקטע זה, ומכאן מתקבל חסם הרבה הרבה יותר טוב ממה שביקשו.
::אכן, שאלה קצת מגוחכת.
 
== סדרות פונ' ==
 
אם fn מתכנסת במ״ש בתחום, האם בהכרח |fn| מתכנסת במ״ש שם ל|f|?
 
== במש ==
 
מצא שתי סדרות פונ' מתכנסות במ"ש בקטע סגור כך שהמכפלה אינה מתכנסת במ"ש לכלום.
 
== ממש בסיסי ==
 
אם יש שתי פונקציות f,g אינטגרביליות, וg לא מתאפסת בקטע הסגור שבו הן מוגדרות, אז המנה אינטגרבילית?
 
== טורים מאינפי 1 ==
 
למה
<math> \sum_{k=3}^{\infty}b_{k}\leq\sum_{k=1}^{\infty}2^{k}b_{2^{k}}\leq 2\sum_{k=1}^{\infty}b_{k}
</math> ?
58
עריכות