Diferenciación parcial

En matemáticas, la derivada parcial de una función de varias variables es la derivada con respecto a cada una de esas variables manteniendo las otras como constantes. Las derivadas parciales son usadas en cálculo vectorial y geometría diferencial.

La derivada parcial de una función ${displaystyle f(x,y,dots )}$ con respecto a la variable ${displaystyle x}$ se puede denotar de distintas maneras:

Donde ${displaystyle partial }$ es la letra 'd' redondeada, conocida como la 'd de Jacobi'. También se puede representar como ${displaystyle D_{1}f(x_{1},x_{2},cdots ,x_{n})}$ que es la primera derivada respecto a la variable ${displaystyle x_{1}}$ y así sucesivamente.^[1]​

Cuando una magnitud ${displaystyle A}$ es función de diversas variables (${displaystyle x,y,z,...}$), es decir:

Al realizar esta derivada obtenemos la expresión que nos permite calcular la pendiente de la recta tangente a dicha función ${displaystyle A}$ en un punto dado. Esta recta es paralela al plano formado por el eje de la incógnita respecto a la cual se ha hecho la derivada con el eje que representa los valores de la función.

Analíticamente el gradiente de una función es la máxima pendiente de dicha función en la dirección que se elija. Mientras visto desde el álgebra lineal, la dirección del gradiente nos indica hacia donde hay mayor variación en la función.

Suponga que ${displaystyle f}$ es una función de más de una variable, esto es, suponga que ${displaystyle f}$ está dada por

La gráfica de esta función define una superficie en el espacio euclidiano. Para cada punto en esta superficie, hay un número infinito de líneas tangentes.

La derivación parcial es el acto de elegir una de esas líneas y encontrar su pendiente. Generalmente, las líneas que más interesan son aquellas que son paralelas al plano ${displaystyle xz}$ y aquellas que son paralelas al plano ${displaystyle yz}$.

Para encontrar la pendiente de la línea tangente de la función en ${displaystyle P(1,1)}$ que es paralela al plano ${displaystyle xz}$, consideramos a la variable ${displaystyle y}$ como constante. La gráfica de la función y este plano se muestran a la derecha. A la izquierda, vemos cómo se ve la función en el plano ${displaystyle y=1}$. Encontremos la pendiente de ${displaystyle f}$ en el punto ${displaystyle (x,y)}$ derivando la función ${displaystyle f}$ considerando a ${displaystyle y}$ como constante:

Por lo que en el punto ${displaystyle (1,1)}$ (reemplazando en la derivada) la pendiente es ${displaystyle 3}$. Esto es, la derivada parcial de ${displaystyle f}$ con respecto a ${displaystyle x}$ en el punto ${displaystyle (1,1)}$ es ${displaystyle 3}$, como se muestra en la gráfica.

Análogamente a la derivada ordinaria (función de una variable real), la derivada parcial está definida como un límite.

Sea ${displaystyle U}$ es un subconjunto abierto de ${displaystyle mathbb {R} ^{n}}$ y ${displaystyle f:U o mathbb {R} }$ una función, la derivada parcial de ${displaystyle f}$ en el punto ${displaystyle mathbf {a} =(a_{1},dots ,a_{n})in U}$ con respecto a la ${displaystyle i}$-ésima variable ${displaystyle x_{i}}$ se define como

si existe el límite.

Incluso si todas las derivadas parciales existen en el punto ${displaystyle mathbf {a} }$, la función no necesariamente es continua en ese punto. Sin embargo, si todas las derivadas parciales existen en un entorno de ${displaystyle mathbf {a} }$ y son continuas, entonces la función ${displaystyle f}$ es totalmente diferenciable en ese entorno y la derivada total es continua. En este caso, se dice que ${displaystyle f}$ es una función ${displaystyle C^{1}}$.

La derivada parcial

puede ser vista como otra función definida sobre ${displaystyle U}$y puede ser de nuevo derivada de forma parcial. Si todas las derivadas parciales mixtas de segundo orden son continuas en un punto, entonces ${displaystyle f}$ es una función ${displaystyle C^{2}}$ en ese punto; en tal caso, las derivadas parciales pueden ser intercambiadas por el teorema de Clairaut:

El volumen ${displaystyle V}$ de un cono que depende de la altura del cono ${displaystyle h}$ y su radio ${displaystyle r}$, está dado por la fórmula

Las derivadas parciales de ${displaystyle V}$ respecto a ${displaystyle r}$ y ${displaystyle h}$ son

respectivamente, la primera de ellas representa la tasa a la que el volumen del cono cambia si el radio varía y su altura se mantiene constante, la segunda de ellas representa la tasa a la que el volumen cambia si la altura varía y su radio se mantiene constante.

La derivada total de ${displaystyle V}$ con respecto a ${displaystyle r}$ y ${displaystyle h}$ son

y

respectivamente.

Considere una función

Las derivadas parciales de primer orden respecto a la variable ${displaystyle x}$ suelen denotarse por

Las derivadas parciales de segundo orden suelen denotarse por

Las derivadas cruzadas de segundo orden por

En termodinámica y otras áreas de la física se emplea la siguiente notación:

que significa que ${displaystyle exists f_{XZ}(cdot ): Y=f_{XZ}(X,Z),}$ y entonces:

Esta notación se usa porque frecuentemente una magnitud puede expresarse como función de diferentes variables por lo que en general:

Ya que la forma precisa de las funciones ${displaystyle f_{XZ_{1}}(cdot ,cdot )}$ y ${displaystyle f_{XZ_{2}}(cdot ,cdot )}$ es diferente, es decir, se trata de funciones diferentes.

A su vez, la derivada parcial ${displaystyle partial _{x_{i}}f}$ puede verse como otra función definida en U y derivarse parcialmente. Si todas sus derivadas parciales existen y son continuas, llamamos a f una función C²; en este caso, las derivadas parciales (llamadas parciales) pueden ser intercambiadas por el teorema de Clairaut también conocido como teorema de Schwarz.

En ${displaystyle mathbb {R} ^{2}}$, si se cumple lo ya dicho, se asegura que: