סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim 1 0,2 0,...,i 0 +hi,...n 0 ) f( 1 0,2 0 גבול זה אם הוא קיים נקרא הנגזרת 0 hi 0 h 2 החלקית של f לפי. i פירוש הגיאומטרי לנגזרות חלקיות של פונקציה של שני משתנים מתקבל באופן הבא: כידוע, פונקציה של שני משתנים, (y f,) המוגדרת בסביבה של, ניתנת בדרך כלל לתיאור ע"י משטח y).z = f (, הפונקציה ) 0 φ () = f (, y מתארת את העקומה המתקבלת מחיתוך המשטח y) zעם = f (, המישור.y = y 0 הנגזרת החלקית לפי של f בנקודה ) 0 ) 0, y היא שיפוע הישר המשיק לגרף הפונקציה () φ בנקודה, 0 שאינו אלא השיפוע הישר המשיק בנקודה ) 0 ) 0, y לעקומה שתוארה לעיל, כאשר המשיק מונח גם הוא במישור y. הסבר דומה אפשר לתת לנגזרת לפי y. = y 0 קודם כל חשוב להדגיש שמושג הדיפרציאביליות מהווה הכללה של מושג הגזירות של פונקציה במשתנה 1, יש לנו צורך במושג כזה כי נגזרות חלקיות לא יכולות להיות הכללה של מושג הגזירות של פונקציה בכמה משתנים כי פונקציה שגזרה חלקית לפי כל אחד מהמשתנים אינה בהכרח רציפה בנקודה, y.f (, y) = (, y) (0, 0) למשל: 2 0 (, y) = (0, 0) קל לראות לפי ההגדרה שהנגזרות החלקיות של f בראשית הצירים קיימות ומתאפסות, אבל ראיתם בבית ש f אינה רציפה ב ( 0,0). 1
תזכורת: תהי y) f (, מוגדרת בסביבה של ) 0.( 0, y נאמר ש f דיפרנציאבילית בנקודה ) 0 ( 0, y אם אפשר להציג אותה בצורה הבאה: f ( 0 + h 1, y 0 + h 2 ) = f ( 0, y 0 ) + f ( 0, y 0 ) h 1 + f y ( 0 y 0 ) h 2 + ɛ (h 1, h 2 ) כאשר 0.ɛ משפט: תהי y) f (, פונקציה המוגדרת בסביבת הנקודה ) 0.( 0, y אם f דיפרנציאבילית בנקודה אזי היא רציפה שם. לדוגמה: פונקציה מהדוגמה הקודמת y f (, y) = (, y) (0, 0) 2 0 oherise היא פוקציה לא רציפה בראשית הצירים ולכן לא דיפרנציאבילית. משפט (תאי מספיק לדיפרנציאביליות) תהי f פונקציה סקלרית רציפה בסביבת הנקודה, 0 נאמר ש f דיפרנציאבילית בנקודה אם קיימות הנגזרות החלקיות של f בסביבת הנקודה הזו והן רציפות בה. למשל: פולינום בכמה משתנים הוא פונקציה דיפרנציאבילית בכל R n כי הנגזרות החלקיות שלו קיימות ורציפות בכל R. n תנאי זה אינו הכרחי, ( ) ( 2 + y 2) sin 1 (, y) (0, 0) f (, y) = למשל: 2 0 oherwise פונקציה זא בעלת נגזרות חלקיות לא רציפות אבל היא כן דיפרנציאבילית. לסיכום: קיום ורציפות של נגזרות החלקיות גורר דיפרנציאביליות דיפרנציאביליות גוררת רציפות של פונקציה וקיום של נגזרות החלקיות אך לא להיפך. נגזרת כיוונית הגדרה: 2
תהי f : R n R פונקציה, נגדיר את הנגזרת הכיוונית של f בכיוון של וקטור h בנקודה a להיות: (a) = lim 0 f(a+ h) f(a) ואם פונקציה דיפרנציאבילית אזי מתקיים: ( ) (a) = f (a) h = 1 (a),..., n (a) (h 1, h 2,..., h n ) = 1 (a) h 1 + ( )... + n (a) h n אם f דיפרנציאבילית בנקודה a אזי הנגזרת הכיוונית היא מקסימלית בכיוון וקטור הגרדיאנט המנורמל. כדי לראות את זה נזכר בנוסחה שראינו בתרגול הקודם: < u, v >= u v cosθ כאשר u, v הם וקטורים ב R n (זוהי הגדרה גיאומטרית של מכפלה סקלרית של שני וקטורים כאשר θ הזווית שבינהם). הביטוי הזה מקבל מקסימום כאשר = 1 cosθ כלומר כאשר = 0 θ כלומר מקבלים שמכפלה סקלרית מקבלת ערך מקסימלי כאשר הזווית בין שני הוקטורים היא אפס כלומר כאשר הם נמצאים על אותו קו ישר, בנוסף מכפלה סקלרית היא חיובית כאשר = 1 cosθ ולכן שני הוקטורים,u v הם באותו כיוון, ולכן הם תלויים לינארית כלומר האחד הוא כפולה של השני. בנוסף יש לנו נוסחה אלגברית עבור מכפלה סקלרית: + 2 < u, v >= u 1 v 1 + u 1 v + u n v n נניח עכשיו שפונקציה f היא דיפרנציאבילית בנקודה a ולכן לפי הגדרה הקודמת ניתן לכתוב את הנגזרת הכיוונית שלה בכיוון ) n h = (h 1, h 2,..., h בנקודה a בצורה הבאה: f, המטרה שלנו היא למצוא באיזה כיוון (a) = 1 (a) h 1 + + n (a) h n הנגזרת תהיה מקסימלית, מקודם הוסבר שהיא תהיה מקסימלית אם שני וקטורים הם באותו כיוון, כלומר h ו ( a ) f הם תלויים לינארית כלומר כאשר אחד הוא כפולה של השני: (a) h. = λ f אורך של h לא חשוב לנו אלא מה שחשוב זה הכיוון ולכן ניתן לבחור את h להיות וקטור יחידה בכיוון הגרדיאנט או במילים אחרות הגרדיאנט המורמל:. f(a) (a) = f (a) =, h ולכן f(a) = f (a) תהיה מינימלית בכיוון וקטור באותו אופן בדיוק קל לראות שהנגזרת. f (a) והערך של הנגזרת בכיוון זה הוא f(a) 3
הערה חשובה: לא ניתן להישתמש בנוסחה ( ) כאשר פונקציה אינה דיפרנציאבילית. למשל: ראינו בכיתה את הגודמה הבאה: f,) (y = 3 y 2 פונקציה זו אינה דופרנציאבילית בנקודה (0,0) ונראה שאין שוויון בין הנגזרת לפי ההגדרה בנקודה (0,0) בכיוון של (1,1) לבין הנוסחה ב ( ): ראינו בתרגול שבראשית הצירים הנגזרות החלקיות של f נתאפסות ולכן = (0,0) = 0 h f (a) ולכל וקטור הכיוון h ולכן זה נכון גם עבור (1,1) = h, מצד שני אם נגזור לפי ההגדרה את f ב ( 0,0) אזי נקבל: f ולכן (0, 0) = lim 0 f((0,0)+(1,1)) f(1,1) = lim 0 3 ( )(y ) 2 1 = לא מתקיים כאן שוויון בין נגזרת כיוונית לפי ההגדרה לנוסחה ( ). הערה נוספת: נגזרות חלקיות הן מקרה פרטי של נגזרות כיווניות, כלומר נגזרות חלקיות הן נגזרות כיווניות בכיוון הצירים, נגזרת חלקית לפי היא נגזרת כיוונית בכיוון ציר ה ואילו נגזרת חלקית לפי y היא נגזרת כיוונית בכיוון ציר ה y. כדי לראות את זה, וקטור הכיוון בכיוון ציר ה הוא (0,1) ולכן נגזרת כיווית בכיוון ציר ה היא : = lim 0 f(a+,b) f(a,b) 0 lim וזו בדיוק נגזרת חלקית לפי f((a,b)+(1,0)) f(a,b) בנקודה (b,a), באותו אופן אפשר לראות שנגזרת חלקית לפי y היא נגזרת כיוונית בכיוון ציר ה y כלל השרשרת תזכורת: יהי D R n תחום, ויהי Gתחום. R m תהיינה (ū) 1 (ū), 2 (ū),..., n פוקציות מ R m ל R, המוגדרות בתחום,D גזירות חלקית לפי u 1, u 2,..., u m נקודה ū 0 שבתחום זה, ומקיימות לכל ū ב G : ( 1 (ū), 2 (ū),..., n (ū)) D תהי ) n f ( 1, 2,..., פונקציה מ R n ל R, המוגדרת בתחום D ודיפרנציאבילית בנקדוה 0, אזי הפונקציה המוכרבת : (ū)) F (ū) = f ( 1 (ū),..., n גזירה חלקית בנקודה ū 0 ולכן i m 1 מתקיים :. F u i (ū 0 ) = n j=1 j ( 0 ) j u i (ū 0 ) 4
מקרה פרטי של המשפט שאינו בכיתה הוא עבור הרכבה של פונקציות בשני משתנים: תהיינה y) u (, ו ( y v (, מוגדרות בסביבת הנקודה ) 0 ( 0, y והפונקציה v) f (u, מוגדרת בסביבת הנקודה )) 0.(u 0, v 0 ) = (u ( 0, y 0 ), v ( 0, y אם הפונקציה v) f (u, דיפרנציאבילית ב ( (u 0, v 0 ובנקודה ) 0 ( 0, y קיימות הנגזרות u אזי באותה נקודה ) 0 ) 0, y קיימות נגזרות של הפונקציה מורכבת, u y, v, v y y)) f (u (, y), v (, המקיימות: = u u + v v y = u u y + v v y הערה חשובה: פונקציה f צריכה להיות דיפרנציאבילית בנקודה ) 0 u) 0, v כדי האפשר יהיה להשתמש בכלל השרשרת, אחרת כלל השרשרת אינו מתקיים: 2 y f (, y) = (, y) = (0, 0) לדוגמה: 2 0 oherwise קל לראות ש f אינה דיפרנציאבילית בקודה (0,0) ובנוסף הנגזרות החלקיות שלה מתאפסות ב ( 0 (0, ולכן עבור כל שתי פונקציות: (), y () : R R מתקיים: f כלמר לפי כלל השרשרת הנגזרת של df f d d (0) = (0, 0) d + dy y (0, 0) d = 0 מתאפסת עבור כל () (y), y אשר גזירות ב ( 0,0), מצד שני נבחר את הפונקציות הבאות: 4 5 וזה עומד בסתירה y () =, () = 2 ואזי 43 = ) f (2, ולכן הנגזרת של f בנקודה באפס היא 0 5 = 4 2 5 למה שהראינו מקודם, לכן כלל השרשרת אינו מתקיים כאן. 5