פונקציה דיפרנציאבילית

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

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

הגדרה פורמלית

תהא $f:{\mathbb{ℝ}}^n\to \mathbb{ℝ}$ פונקציה ב־$n$ משתנים. הפונקציה תיקרא דיפרנציאבילית בנקודה $x_0=(x_1^0,\dots ,x_n^0)$ אם אפשר לכתוב

$f(x_1^0+\mathrm{\Delta }{x}_1,\dots ,x_n^0+\mathrm{\Delta }{x}_n)=f(x_1^0,\dots ,x_n^0)+\sum _{i=1}^n(A_i+{\alpha }_i(x))\mathrm{\Delta }{x}_i$

עבור $A_1,\dots ,A_n$ קבועים, ${\alpha }_1,\dots ,{\alpha }_n$ פונקציות השואפות ל־0 כאשר $\mathrm{\Delta }x$ שואף ל־0.

פירוש ההגדרה הוא כדלהלן: בסביבות הנקודה $x_0$ אפשר לייצג את הפונקציה בקירוב טוב בתור פונקציה לינארית ב־$n$ משתנים, כשהמקדמים הם $A_1,\dots ,A_n$ . זהו "קירוב טוב" כי השאריות (הפונקציות ${\alpha }_1,\dots ,{\alpha }_n$) קטנות מאד יחסית לחלק הלינארי של הפונקציה.

משפטים העוסקים בדיפרנציאביליות

אם פונקציה היא דיפרנציאבילית בנקודה, אז היא רציפה שם, יש לה נגזרות חלקיות, והמקדמים $A_1,\dots ,A_n$ בקירוב הלינארי אינם אלא הנגזרות החלקיות של הפונקציה: $A_k=\frac{\partial f}{\partial x_k}(x_0)$ .

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0