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

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

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

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

תהא $\ f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ פונקציה ב-$\!\,n$ משתנים. הפונקציה תיקרא דיפרנציאבילית בנקודה $x^{0}=\left(x_{1}^{0},\dots ,x_{n}^{0}\right)$ אם אפשר לכתוב $\ f(x_{1}^{0}+\Delta x_{1},\dots ,x_{n}^{0}+\Delta x_{n})=f(x_{1}^{0},\dots ,x_{n}^{0})+\sum _{i=1}^{n}(A_{i}+\alpha _{i}(x))\cdot \Delta x_{i}$, כאשר $\!\,A_{1},\dots ,A_{n}$ קבועים, ו-$\!\,\alpha _{1},\dots ,\alpha _{n}$ פונקציות השואפות לאפס כאשר $\!\,\Delta x$ שואף לאפס.

פירוש ההגדרה הוא כדלהלן: בסביבות הנקודה $\!\,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})$.

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

קישורים חיצוניים

• פונקציה דיפרנציאבילית, באתר MathWorld (באנגלית)