Derivada direccional

En análisis matemático, la derivada direccional (o bien derivada según una dirección) de una función multivariable, en la dirección de un vector dado, representa la tasa de cambio de la función en la dirección de dicho vector. Este concepto generaliza las derivadas parciales, puesto que estas son derivadas direccionales según la dirección de los respectivos ejes coordenados.

Definición

{\displaystyle f(x,y)=x^{2}+y^{2}} — Un diagrama de curvas de nivel de la ecuación $f(x,y)=x^{2}+y^{2}$ , mostrando el vector gradiente en negro, y el vector unitario ${\vec {u}}$ escalado por la derivada direccional en la dirección de ${\vec {u}}$ en anaranjado. El vector gradiente es más largo porque apunta en la dirección de la mayor tasa de incremento de una función.

Definición general

La derivada direccional de una función real de n variables

$f(\mathbf {x} )=f(x_{1},x_{2},\ldots ,x_{n})$

en la dirección del vector

${\vec {v}}=(v_{1},v_{2},\ldots ,v_{n})$

es la función definida por el límite:

$D_{\vec {v}}{f}=\lim _{h\rightarrow 0}{\frac {f({\vec {x}}+h{\vec {v}})-f({\vec {x}})}{h}}.$

Si la función es diferenciable, puede ser escrita en términos de su gradiente $\nabla f$

$D_{\vec {v}}{f}=\nabla f\cdot {\vec {v}}$

donde « $\cdot$ » denota el producto escalar o producto punto entre vectores. En cualquier punto $\mathbf {x}$ , la derivada direccional de f representa intuitivamente la tasa de cambio de f con respecto al tiempo cuando se está moviendo a una velocidad y dirección dada por ${\vec {v}}$ en dicho punto.

La derivada direccional dice cómo cambia una función $f$ en la dirección de un vector ${\vec {v}}$ , con relación al gradiente de dicha función

Definición solo en la dirección de un vector

Algunos autores definen la derivada direccional con respecto al vector ${\vec {v}}$ después de la normalización, ignorando así su magnitud. En este caso:

D_{\vec {v}}{f}=\lim _{h\rightarrow 0}{\frac {f(\mathbf {x} +h\mathbf {v} )-f(\mathbf {x} )}{h|\mathbf {v} |}}.

Si la función es diferenciable, entonces

D_{\vec {v}}{f}=\nabla f(\mathbf {x} )\cdot {\frac {\mathbf {v} }{|\mathbf {v} |}}.

Esta definición tiene algunas desventajas: su aplicabilidad está limitada a un vector de norma definida y no nula. Además es incompatible con la notación empleada en otras ramas de la matemática, física e ingeniería por lo que debe utilizarse cuando lo que se quiere es la tasa de incremento de $f$ por unidad de distancia.

Restricción al vector unitario

Algunos autores restringen la definición de la derivada direccional con respecto a un vector unitario. Con esta restricción, las dos definiciones anteriores se convierten en una misma.

Demostración

El caso más sencillo de la derivada direccional se da en el espacio tridimensional. Supóngase que existe una función diferenciable $z=f(x,y)\;$ . La derivada direccional según la dirección de un vector unitario $\mathbf {v} =(v_{x},v_{y})$ es:

{\begin{aligned}D_{\vec {v}}f&=\lim _{h\to 0}{\cfrac {f(x+v_{x}h,y+v_{y}h)-f(x,y)}{h}}\\&=\lim _{h\to 0}{\cfrac {f(x+v_{x}h,y+v_{y}h)-f(x,y+v_{y}h)+f(x,y+v_{y}h)-f(x,y)}{h}}\\&=\lim _{h\to 0}{\cfrac {f(x+v_{x}h,y+v_{y}h)-f(x,y+v_{y}h)}{h}}+\lim _{h\to 0}{\cfrac {f(x,y+v_{y}h)-f(x,y)}{h}}\end{aligned}}

El primero de estos límites puede calcularse mediante el cambio $h'=v_{x}h\;$ lo cual lleva, por ser diferenciable la función^[1] f, a:

$\lim _{h'\to 0}{\cfrac {f(x+h',y+v_{y}h'/v_{x})-f(x,y+v_{y}h'/v_{x})}{h'/v_{x}}}=\lim _{h'\to 0}v_{x}{\frac {\partial f(x,y+v_{y}h'/v_{x})}{\partial x}}=v_{x}{\frac {\partial f(x,y)}{\partial x}}$

Procediendo análogamente para el otro límite se tiene que:

$D_{\vec {v}}f=v_{x}{\frac {\partial f(x,y)}{\partial x}}+v_{y}{\frac {\partial f(x,y)}{\partial y}}$

Resultado que trivialmente coincide con el producto escalar del gradiente por el vector $\mathbf {v} =(v_{x},v_{y})$ :

$(\nabla f)\cdot {\vec {v}}=\left({\frac {\partial f(x,y)}{\partial x}},{\frac {\partial f(x,y)}{\partial y}}\right)\cdot (v_{x},v_{y})={\frac {\partial f(x,y)}{\partial x}}v_{x}+{\frac {\partial f(x,y)}{\partial y}}v_{y}=D_{\mathbf {v} }f$

Notaciones alternas

La derivada direccional puede ser denotada mediante los símbolos:

\nabla _{\mathbf {v} }{f}(\mathbf {x} )\sim {\frac {\partial {f(\mathbf {x} )}}{\partial {v}}}\sim f'_{\mathbf {v} }(\mathbf {x} )\sim D_{\mathbf {v} }f(\mathbf {x} )\sim \mathbf {v} \cdot {\nabla f(\mathbf {x} )}\sim \mathbf {v} \cdot {\frac {\partial f(\mathbf {x} )}{\partial \mathbf {x} }}

donde $\mathbf {v}$ es la parametrización de una curva para la cual $\mathbf {v}$ es tangente y la cual determina su magnitud.

Propiedades

Muchas de las propiedades conocidas de las derivadas se mantienen en las derivadas direccionales. Estas incluyen, para cualquier pareja de funciones $f$ y $g$ definidas en la vecindad de un punto $\mathbf {p}$ , donde son diferenciables:

Regla de la suma:

D_{\vec {v}}(f+g)=D_{\vec {v}}f+D_{\vec {v}}g

Regla del factor constante:

D_{\vec {v}}(cf)=cD_{\vec {v}}f

donde $c$ es cualquier constante.

Regla del producto (o regla de Leibniz):

D_{\vec {v}}(fg)=gD_{\vec {v}}f+fD_{\vec {v}}g

Regla de la cadena: Si $g$ es diferenciable en el punto $\textstyle \mathbf {p}$ y $h$ es diferenciable en $g(p)$ , entonces:

D_{\vec {v}}(h\circ g)(\mathbf {p} )=h'(g(\mathbf {p} ))D_{\vec {v}}g(\mathbf {p} )

Campos vectoriales

El concepto de derivada direccional no se puede generalizar a funciones de $\mathbb {R} ^{m}$ en $\mathbb {R} ^{n}$ , del tipo

$\mathbf {F} :A\subset \mathbb {R} ^{m}\longrightarrow \mathbb {R} ^{n}.$

En este caso la derivada direccional de modo idéntico a como se hacía con funciones de una variable:

$D_{\mathbf {v} }\mathbf {F} =\lim _{h\to 0}{\frac {\mathbf {F} (\mathbf {x} +h\mathbf {v} )-\mathbf {F} (\mathbf {x} )}{h}}.$

Una diferencia con el caso de funciones de reales de una variable es que la existencia de derivadas direccionales según todas las direcciones no implica necesariamente que una función sea diferenciable. Si la función es diferenciable resulta que la aplicación

$\mathbf {v} \longmapsto D_{\mathbf {v} }\mathbf {F}$

es lineal y se cumple además es expresable en términos del jacobiano:

$D_{\mathbf {v} }\mathbf {F} =(D\mathbf {F} )\mathbf {v} .$

Funcionales

Artículo principal: Derivada funcional

La derivada funcional, definida como derivada de Gâteaux, es de hecho una derivada direccional definida en general sobre un espacio vectorial de funciones.