חדוא 3־ תרגיל בית 6 תרגילים לקבלת בונוס 1 1.1 הנגזרת ודפרנציאביליות .1תהי f : R → Rmהוכיחו כי fדיפרנציאבילית בנקודה x0לפי ההגדרה שנלמדה בכיתה )עם (o אם ורק אם קיים הגבול ) f (x) − f (x0 d f (x) = f 0 (x0 ) = lim x→x0 dx x=x0 x − x0 במקרה זה מתקיים: ; ) (Df )x0 : h 7→ hf 0 (x0 )f 0 (x0 ) = (Df )x0 (1 .2תהי f : R → Rפונקציה דיפרנציאבילית ב־ ,x0כך ש־ .(Df )x0 > 0הוכיחו או הפריכו את הטענות הבאות: )א( ) ∃ε > 0∀x ∈ (x0 , x0 + ε)f (x) > f (x0 )ב( fמונוטונית עולה בסביבת .x0 .3בדקו דיפרנציאביליות של הפונקציות הבאות המוגדרות מ־ Rnל־ .Rאם הן דיפרנציאביליות חשבו את הדפרנציאל : )א( ||x 7→ ||x )ב( x 7→ ||x||2 )ג( x 7→ ||x − a||p , a ∈ Rn , p > 0 .4תהי ,f : Rn → Rmכך ש־ ) f = (f1 , f2 , · · · , fmולכל .fj : Rn → Rm jהוכיחו או הפריכו )א( אם fדיפרנציאבילית בנקודה אז לכל jגם fjדיפרנציאבילית בה. )ב( אם fjדיפרנציאבילית בנקודה לכל jאז fדיפרנציאבילית בה. )ג( אם fדיפרנציאבילית בנקודה ,אז כל הנגזרות החלקיות שלה קיימות. )ד( אם כל הנגזרות החלקיות של fבנקודה קיימות אז fדיפרנציאבילית בה. )ה( איזה תנאי מספיק )אך לא הכרחי( להוסיף כדי ש)ד( יהיה נכון? 1.2 נגזרת לאורך וקטור .1הוכיחו או הפריכו: )א( אם לכל hקיימת ) dtd t=0 f (x0 + t · hאז היא חייבת להיות לינארית ב־ h )ב( אם לכל hקיימת ) dtd t=0 f (x0 + t · hוהיא לינארית ב־ hאז fדפרנציאבילית ב־ .x0 1 תרגילים נוספים 2 2.1 oו־ O נזכר בהגדרות :נאמר ש־ ) f = o(gכאשר x → x0אם )f (x =0 )g(x lim x→x0 נאמר ש־) f = O(gכאשר x → x0אם קיים קבוע C > 0שלכל xמספיק קרוב ל־ x0מתקיים ) .f (x) ≤ C · g(xאם לא רשום לאן xשואף נניח שהוא שואף ל־) 0לפעמים נרצה שהוא ישאף לאנסוף, אבל זה יהיה ברור מההקשר(. .1יהי T : Rn → Rmאופרטור לינארי ,כך ש־ )| .T (x) = o(|xהוכיחו כי .T = 0 .2יהי P : Rn → Rפולינום מדרגה ≤ kכך ש־ ) .P (·) = o(|·|kהוכיחו כי .P = 0 ) .3א( הוכיחו ש־ ) f (·) = o(1אם f (0) = 0וגם fרציפה ב־.0 )ב( הוכח או הפרך ,אם ) f (·) = o(1אז fרציפה בסביבת .0 .4תהי )·( f (·) = Oותהי ) .g(·) = o(|·|qהוכיחו או הפריכו: )א( ))·( f (gבהכרח )·(.o )ב( ))·( f (gבהכרח )·(.O 2.2 דיפרנציאביליות במרחבים אפיניים הזכרו בהגדרה מרשימות המרצה. .1הוכיחו שמתקיימת לינאריות של הנגזרת. .2הוכיחו שמתקיים כלל השרשרת. .3הוכיחו שמתקיים כלל המכפלה. 2
© Copyright 2024