Función diferenciable

Una función de múltiples variables ${\displaystyle f:\Omega \subset \mathbb {R} ^{n}\to \mathbb {R} ^{m}}$ se dirá diferenciable en ${\displaystyle x_{0}\in \mathbb {R} ^{n}}$ si, siendo ${\displaystyle \Omega }$ un conjunto abierto en ${\displaystyle \mathbb {R} ^{n}}$, existe una transformación lineal ${\displaystyle T\,}$ que cumpla:

${\displaystyle f(x_{0}+h)=f(x_{0})+T(h)+\theta (h)\;}$

Donde ${\displaystyle \theta (h)}$ cumple que:

${\displaystyle \lim _{h\to 0}{\frac {\lVert \theta (h)\rVert }{\lVert h\rVert }}=0}$

Es decir, ${\displaystyle \theta (h)}$ es de orden más pequeño que ${\displaystyle h\,}$ cuando ${\displaystyle h\,}$ tiende a 0. Necesariamente la transformación lineal ${\displaystyle T\;}$es la única cosa que se ve más claramente si adoptamos como definición de función derivable aquella para la cual se cumple que exista una aplicación lineal tal que:

${\displaystyle \lim _{h\to 0}{\frac {\|f(x_{0}+h)-f(x_{0})-T(h)\|}{\|h\|}}=0}$

De manera informal, si pensamos en la gráfica de una función de dos variables f(x,y) como una "sábana", diremos que f es diferenciable si la "sábana" no tiene puntos donde está "quebrada". Sin embargo esta ilustración sirve para una función diferenciable en su dominio. La función puede ser diferenciable en un punto (a,b) y no asemejarse en nada a una sábana en ese punto.

Una función real de una variable que admite derivada en todos sus puntos y tal que dicha derivada sea continua es trivialmente una función diferenciable. Por esa razón para funciones reales de una variable el concepto de función derivable y función diferenciable son básicamente equivalentes.

Sin embargo, para funciones de más de una variable la situación es más complicada. Ya que la existencia de derivadas no comporta que una función sea automáticamente diferenciable.

Una aplicación vectorial entre varias variables de la forma ${\displaystyle f:\mathbb {R} ^{m}\to \mathbb {R} ^{n}}$ se dice diferenciable en un punto ${\displaystyle x_{0}}$ si puede encontrarse una matriz ${\displaystyle \mathbf {M} }$, llamada matriz jacobiana, que representa una aplicación lineal ${\displaystyle L_{f}:\mathbb {R} ^{m}\to \mathbb {R} ^{n}}$ tal que:

${\displaystyle \lim _{\varepsilon \to 0}{\frac {\|f(x_{0}+\varepsilon \mathbf {h} )-f(x_{0})-\mathbf {M} \mathbf {h} \|}{\varepsilon }}=0}$

O de forma equivalente:

${\displaystyle \lim _{x\to x_{0}}{\frac {\|f(x)-f(x_{0})-(x-x_{0})\mathbf {M} \|}{\|x-x_{0}\|}}=0}$

donde ${\displaystyle x_{0}}$ es un punto de ${\displaystyle \mathbb {R} ^{n}}$,es decir ${\displaystyle (x-x_{0})=(x_{1}-x_{01},x_{2}-x_{02},...,x_{m}-x_{0m})}$ y ${\displaystyle \mathbf {M} }$, la transformación lineal, que viene dada por la matriz jacobiana de ${\displaystyle f}$ en el punto ${\displaystyle x_{0}\in \mathbb {R} ^{m}}$

En esas condiciones se puede ver la función ${\displaystyle \mathbf {f} (x_{1},\dots ,x_{m})=(f_{1}(x_{1},\dots ,x_{m}),\dots ,f_{n}(x_{1},\dots ,x_{m}))}$ admite derivadas parciales de todas las variables y además resulta:

${\displaystyle \mathbf {M} ={\begin{pmatrix}{\cfrac {\partial f_{1}}{\partial x_{1}}}&\dots &{\cfrac {\partial f_{1}}{\partial x_{m}}}\\\vdots &\ddots &\vdots \\{\cfrac {\partial f_{n}}{\partial x_{1}}}&\dots &{\cfrac {\partial f_{n}}{\partial x_{m}}}\end{pmatrix}}}$

• Bombal, R. Marín & Vera: Problemas de Análisis matemático: Cálculo Diferencial, 1988, ed. AC, ISBN 84-7288-101-6.

• función derivable (caso de una función de una variable.)