Derivada 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  con respecto a la variable  se puede denotar de distintas maneras:

Donde  es la letra 'd' redondeada, conocida como la 'd de Jacobi'. También se puede representar como  que es la primera derivada respecto a la variable  y así sucesivamente. Uno de los primeros usos conocidos de este símbolo en matemáticas es por el Marqués de Condorcet de 1770, quien lo usó para diferencias parciales. La notación moderna de derivadas parciales fue creada por Adrien-Marie Legendre (1786), aunque más tarde la abandonó; Carl Gustav Jacob Jacobi reintrodujo el símbolo en 1841.

Cuando una magnitud  es función de diversas variables (), es decir:

Al realizar esta derivada obtenemos la expresión que nos permite calcular la pendiente de la recta tangente a dicha función  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.

El símbolo utilizado para denotar derivadas parciales es ∂. Uno de los primeros usos conocidos de este símbolo en matemáticas es el del Marqués de Condorcet de 1770, que lo utilizó para la diferencias parciales. La notación moderna de la derivada parcial fue creada por Adrien-Marie Legendre (1786), aunque posteriormente la abandonó; Carl Gustav Jacob Jacobi reintrodujo el símbolo en 1841.

Introducción 
Suponga que  es una función de más de una variable, esto es, suponga que  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  y aquellas que son paralelas al plano . 

Para encontrar la pendiente de la línea tangente de la función en  que es paralela al plano , consideramos a la variable  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 . Encontremos la pendiente de  en el punto  derivando la función  considerando a  como constante:  

Por lo que en el punto  (reemplazando en la derivada) la pendiente es . Esto es, la derivada parcial de  con respecto a  en el punto  es , como se muestra en la gráfica.

Definición

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

Sea  es un subconjunto abierto de  y  una función, la derivada parcial de  en el punto  con respecto a la -ésima variable  se define como

 
si existe el límite. 

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

La derivada parcial 

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

Ejemplo

Geometría 

El volumen  de un cono que depende de la altura del cono  y su radio , está dado por la fórmula

Las derivadas parciales de  respecto a  y  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  con respecto a  y  son

y

respectivamente.

Gradiente

Un ejemplo importante de una función de varias variables es el caso de una función escalar f(x1, ..., xn) en un dominio en el espacio euclidiano  (por ejemplo, en  o ). En este caso f tiene una derivada parcial ∂f/∂xj con respecto a cada variable xj. En el punto a, estas derivadas parciales definen el vector

 

Este vector se llama gradiente de f en a. Si f es diferenciable en cada punto en algún dominio, entonces el gradiente es una función vectorial ∇f que lleva el punto a al vector ∇f(a). En consecuencia, el gradiente produce un campo vectorial.

Un abuso de notación común es definir el operador del (∇) de la siguiente manera en espacio euclidiano tridimensional  con vectores unitarios :

 

O, de manera más general, para el espacio euclidiano n-dimensional  con coordenadas  y unitarios vectores :

Notación 
Considere una función 

Las derivadas parciales de primer orden respecto a la variable  suelen denotarse por

Las derivadas parciales de segundo orden suelen denotarse por

Las derivadas cruzadas de segundo orden por

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

que significa que  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  y  es diferente, es decir, se trata de funciones diferentes.

Derivadas parciales de orden superior 
A su vez, la derivada parcial  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 C2; en este caso, las derivadas parciales (llamadas parciales) pueden ser intercambiadas por el teorema de Clairaut también conocido como teorema de Schwarz.

En , si se cumple lo ya dicho, se asegura que:

Derivada direccional 
En matemáticas, la derivada direccional de una función (escalar) diferenciable multivariable a lo largo de un vector dado v en un punto dado x representa intuitivamente la tasa instantánea de cambio de la función, moviéndose a través de x con una velocidad especificada por v.  

La derivada direccional de una función escalar f con respecto a un vector v en un punto (por ejemplo, posición) x puede ser denotada por cualquiera de los siguientes:

Generaliza, por tanto, la noción de derivada parcial, en la que la tasa de variación se toma a lo largo de una de las  curvas de coordenadas curvilíneas , siendo todas las demás coordenadas constantes.
La derivada direccional es un caso especial de la derivada de Gateaux.

Ejemplo 
Supongamos que f es una función de más de una variable. Por ejemplo,

 .

La gráfica de esta función define una superficie en el espacio euclídeo. Para cada punto de esta superficie hay un número infinito de rectas tangentes. La diferenciación parcial consiste en elegir una de estas rectas y hallar su  pendiente. Normalmente, las rectas de mayor interés son las paralelas al plano  y las paralelas al plano  (que resultan de mantener constante  o , respectivamente).

Para hallar la pendiente de la recta tangente a la función en  y paralela al plano , tratamos  como una constante. La gráfica y este plano se muestran a la derecha. Abajo, véase el aspecto de la función en el plano . Hallando la derivada de la ecuación suponiendo que  es una constante, encontramos que la pendiente de  en el punto  es:

 

Así que en , por sustitución, la pendiente es 3. Por lo tanto,

 

en el punto . Es decir, la derivada parcial de  respecto a  en  es 3, como se muestra en la gráfica.

La función f puede reinterpretarse como una familia de funciones de una variable indexadas por las otras variables:

 

En otras palabras, cada valor de y define una función, denotada fy, que es una función de una variable x. Esto también puede expresarse como la adjointness entre la espacio del producto y las construcciones del espacio de funciones. Es decir

 

En esta sección, la notación de subíndice fy denota una función que depende de un valor fijo de y, y no una derivada parcial.

Una vez elegido un valor de y, digamos a, entonces f(x,y) determina una función fa que traza una curva x2 + ax + a2' en el plano :

 

En esta expresión, a es una constante, no una variable, por lo que fa es una función de una sola variable real, que es x. En consecuencia, se aplica la definición de la derivada para una función de una variable:

 

El procedimiento anterior puede realizarse para cualquier elección de a. Ensamblando las derivadas juntas en una función se obtiene una función que describe la variación de f en la dirección x:

 

Esta es la derivada parcial de f con respecto a x. Aquí ∂ es una d redondeada llamada símbolo de derivada parcial'''; para distinguirla de la letra d, ∂ a veces se pronuncia "parcial".

Derivadas parciales de orden superior
Las derivadas parciales de segundo orden y de orden superior se definen de forma análoga a las derivadas de orden superior de funciones univariantes. Para la función  la "propia" segunda derivada parcial con respecto a x es simplemente la derivada parcial de la derivada parcial (ambas con respecto a x):.

La derivada parcial cruzada con respecto a x e y se obtiene tomando la derivada parcial de f con respecto a x, y luego tomando la derivada parcial del resultado con respecto a y, para obtener

Teorema de Schwarz afirma que si las segundas derivadas son continuas, la expresión para la derivada parcial cruzada no se ve afectada por qué variable se toma la derivada parcial respecto a la primera y cuál se toma respecto a la segunda. Es decir,

o equivalentemente 

Las derivadas parciales propias y cruzadas aparecen en la matriz hessiana que se utiliza en las condiciones de segundo ordens en problemas de  optimización.
Las derivadas parciales de orden superior se pueden obtener por diferenciación sucesiva

Análogo de las antiderivadas
Existe un concepto para las derivadas parciales que es análogo al de antiderivadas para las derivadas regulares. Dada una derivada parcial, permite recuperar parcialmente la función original.

Consideremos el ejemplo de

La integral "parcial" puede tomarse con respecto a x (tratando y como constante, de forma similar a la diferenciación parcial):

Aquí, la "constante" de integración ya no es una constante, sino una función de todas las variables de la función original excepto . La razón de esto es que todas las demás variables se tratan como constantes al tomar la derivada parcial, por lo que cualquier función que no implique  desaparecerá al tomar la derivada parcial, y tenemos que tener esto en cuenta al tomar la antiderivada. La forma más general de representar esto es hacer que la "constante" represente una función desconocida de todas las demás variables.

Así, el conjunto de funciones , donde g es cualquier función de un argumento, representa todo el conjunto de funciones en las variables x, y que podrían haber producido la derivada parcial de x'' .

Si se conocen todas las derivadas parciales de una función (por ejemplo, con el gradiente), entonces las antiderivadas pueden emparejarse mediante el proceso anterior para reconstruir la función original hasta una constante. Sin embargo, a diferencia del caso de una sola variable, no todo conjunto de funciones puede ser el conjunto de todas las (primeras) derivadas parciales de una única función. En otras palabras, no todo campo vectorial es conservativo.

Véase también 
 Derivada
 Derivada total
 Derivada de Lie
 Derivada covariante
 Jacobiano

Referencias

Enlaces externos 

 
 Partial Derivatives at MathWorld

Operadores diferenciales