En matemáticas , una derivada parcial de una función de varias variables es su derivada con respecto a una de esas variables, manteniendo las otras constantes (a diferencia de la derivada total , en la que se permite que varíen todas las variables). Las derivadas parciales se utilizan en cálculo vectorial y geometría diferencial .
La derivada parcial de una función con respecto a la variable se denota de diversas formas:
Se puede considerar como la tasa de cambio de la función en la dirección .
A veces, para , la derivada parcial de con respecto a se denota como Dado que una derivada parcial generalmente tiene los mismos argumentos que la función original, su dependencia funcional a veces se significa explícitamente mediante la notación, como en:
El símbolo utilizado para denotar las derivadas parciales es ∂ . Uno de los primeros usos conocidos de este símbolo en matemáticas es el del Marqués de Condorcet en 1770, [1] quien lo utilizó para las diferencias parciales . La notación de derivadas parciales moderna fue creada por Adrien-Marie Legendre (1786), aunque más tarde la abandonó; Carl Gustav Jacob Jacobi reintrodujo el símbolo en 1841. [2]
Al igual que las derivadas ordinarias, la derivada parcial se define como un límite . Sea U un subconjunto abierto de y una función. La derivada parcial de f en el punto con respecto a la i -ésima variable x i se define como
Donde es el vector unitario de la i -ésima variable x i . Incluso si todas las derivadas parciales existen en un punto dado a , la función no necesita ser continua allí. Sin embargo, si todas las derivadas parciales existen en un entorno de a y son continuas allí, entonces f es totalmente diferenciable en ese entorno y la derivada total es continua. En este caso, se dice que f es una función C 1 . Esto se puede utilizar para generalizar para funciones con valores vectoriales, , utilizando cuidadosamente un argumento componente por componente.
La derivada parcial puede verse como otra función definida en U y puede ser derivada parcialmente. Si la dirección de la derivada no se repite, se denomina derivada parcial mixta . Si todas las derivadas parciales mixtas de segundo orden son continuas en un punto (o en un conjunto), f se denomina función C 2 en ese punto (o en ese conjunto); en este caso, las derivadas parciales pueden intercambiarse mediante el teorema de Clairaut :
Para los siguientes ejemplos, sea f una función en x , y y z .
Derivadas parciales de primer orden:
Derivadas parciales de segundo orden:
Derivadas mixtas de segundo orden :
Derivadas parciales y mixtas de orden superior:
Cuando se trabaja con funciones de múltiples variables, algunas de estas variables pueden estar relacionadas entre sí, por lo que puede ser necesario especificar explícitamente qué variables se mantienen constantes para evitar ambigüedades. En campos como la mecánica estadística , la derivada parcial de f con respecto a x , manteniendo y y z constantes, se expresa a menudo como
Convencionalmente, para mayor claridad y simplicidad de la notación, la función derivada parcial y el valor de la función en un punto específico se combinan incluyendo los argumentos de la función cuando se utiliza el símbolo de derivada parcial (notación de Leibniz). Por lo tanto, una expresión como
se utiliza para la función, mientras que
podría usarse para el valor de la función en el punto . Sin embargo, esta convención falla cuando queremos evaluar la derivada parcial en un punto como . En tal caso, la evaluación de la función debe expresarse de una manera difícil de manejar como
o
para poder utilizar la notación de Leibniz. Por lo tanto, en estos casos, puede ser preferible utilizar la notación del operador diferencial de Euler con como símbolo de derivada parcial con respecto a la i -ésima variable. Por ejemplo, se escribiría para el ejemplo descrito anteriormente, mientras que la expresión representa la función derivada parcial con respecto a la primera variable. [3]
Para derivadas parciales de orden superior, la derivada parcial (función) de con respecto a la variable j -ésima se denota . Es decir, , de modo que las variables se enumeran en el orden en que se toman las derivadas y, por lo tanto, en orden inverso a cómo se suele notar la composición de operadores. Por supuesto, el teorema de Clairaut implica que siempre que se cumplan condiciones de regularidad comparativamente leves en f .
Un ejemplo importante de una función de varias variables es el caso de una función escalar en un dominio del espacio euclidiano (por ejemplo, en o ). En este caso f tiene una derivada parcial con respecto a cada variable x j . En el punto a , estas derivadas parciales definen el vector
Este vector se denomina gradiente de f en a . Si f es diferenciable en cada punto de 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 común de la notación es definir el operador del ( ∇ ) de la siguiente manera en el espacio euclidiano tridimensional con vectores unitarios :
O, de forma más general, para un espacio euclidiano n -dimensional con coordenadas y vectores unitarios :
La derivada direccional de una función escalar a lo largo de un vector es la función definida por el límite [4]
Esta definición es válida en una amplia gama de contextos, por ejemplo, cuando la norma de un vector (y, por lo tanto, de un vector unitario) no está definida. [5]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 euclidiano . A cada punto de esta superficie hay un número infinito de rectas tangentes . La diferenciación parcial es el acto de elegir una de estas rectas y hallar su pendiente . Por lo general, las rectas de mayor interés son las que son paralelas al plano xz y las que son paralelas al plano yz (que resultan de mantener y o x constantes, respectivamente).
Para hallar la pendiente de la recta tangente a la función en P (1, 1) y paralela al plano xz , tratamos a y como una constante. El gráfico y este plano se muestran a la derecha. A continuación, vemos cómo se ve la función en el plano y = 1. Al hallar la derivada de la ecuación mientras suponemos que y es una constante, encontramos que la pendiente de f en el punto ( x , y ) es:
Entonces, en (1, 1) , por sustitución, la pendiente es 3. Por lo tanto,
en el punto (1, 1) . Es decir, la derivada parcial de z con respecto a x en (1, 1) es 3 , como se muestra en el gráfico.
La función f puede reinterpretarse como una familia de funciones de una variable indexada por las otras variables:
En otras palabras, cada valor de y define una función, denotada f y , que es una función de una variable x . [6] Es decir,
En esta sección, la notación de subíndice f y denota una función contingente a un valor fijo de y , y no una derivada parcial.
Una vez que se elige un valor de y , digamos a , entonces f ( x , y ) determina una función f a que traza una curva x 2 + ax + a 2 en el plano xz :
En esta expresión, a es una constante , no una variable , por lo que f a es función de una única variable real, que es x . En consecuencia, se aplica la definición de derivada para una función de una variable:
El procedimiento anterior se puede realizar para cualquier opción de a . Al ensamblar las derivadas 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 el símbolo de la derivada parcial ; para distinguirla de la letra "d", " ∂ " a veces se pronuncia "parcial".
Las derivadas parciales de segundo orden y de orden superior se definen de manera análoga a las derivadas de orden superior de funciones univariadas. Para la función, la derivada parcial de segundo orden "propia" con respecto a x es simplemente la derivada parcial de la derivada parcial (ambas con respecto a x ): [7] : 316–318
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
El teorema de Schwarz establece que si las derivadas segundas son continuas, la expresión de la derivada parcial cruzada no se ve afectada por la variable con respecto a la cual se toma la derivada parcial en primer lugar y con respecto a la cual se toma en segundo lugar. Es decir,
o equivalentemente
Las derivadas parciales propias y cruzadas aparecen en la matriz hessiana que se utiliza en las condiciones de segundo orden en los problemas de optimización . Las derivadas parciales de orden superior se pueden obtener mediante diferenciación sucesiva
Existe un concepto de derivadas parciales que es análogo al de antiderivadas para derivadas regulares. Dada una derivada parcial, permite la recuperación parcial de la función original.
Consideremos el ejemplo de
La denominada integral parcial se puede tomar con respecto a x (tratando a y como constante, de manera 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 x . 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 involucre a x desaparecerá al tomar la derivada parcial, y tenemos que tener esto en cuenta cuando tomamos 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.
Por lo tanto, el conjunto de funciones , donde g es cualquier función de un argumento, representa el conjunto completo de funciones en las variables x , y que podrían haber producido la derivada parcial x .
Si se conocen todas las derivadas parciales de una función (por ejemplo, con el gradiente ), entonces las antiderivadas se pueden hacer coincidir 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 derivadas parciales (primeras) de una sola función. En otras palabras, no todo campo vectorial es conservativo .
El volumen V de un cono depende de la altura h del cono y de su radio r según la fórmula
La derivada parcial de V con respecto a r es
que representa la tasa con la que cambia el volumen de un cono si se varía su radio y se mantiene constante su altura. La derivada parcial con respecto a h es igual a , que representa la tasa con la que cambia el volumen si se varía su altura y se mantiene constante su radio.
Por el contrario, la derivada total de V con respecto a r y h son respectivamente
La diferencia entre la derivada total y la parcial es la eliminación de las dependencias indirectas entre variables en las derivadas parciales.
Si (por alguna razón arbitraria) las proporciones del cono deben permanecer iguales, y la altura y el radio están en una relación fija k ,
Esto da la derivada total con respecto a r ,
Lo cual se simplifica a
De manera similar, la derivada total con respecto a h es
La derivada total con respecto a r y h del volumen entendido como función escalar de estas dos variables viene dada por el vector gradiente
Las derivadas parciales aparecen en cualquier problema de optimización basado en cálculo con más de una variable de elección. Por ejemplo, en economía, una empresa puede desear maximizar la ganancia π( x , y ) con respecto a la elección de las cantidades x e y de dos tipos diferentes de producción. Las condiciones de primer orden para esta optimización son π x = 0 = π y . Dado que ambas derivadas parciales π x y π y generalmente serán funciones de ambos argumentos x e y , estas dos condiciones de primer orden forman un sistema de dos ecuaciones con dos incógnitas .
Las derivadas parciales aparecen en ecuaciones termodinámicas como la ecuación de Gibbs-Duhem , en mecánica cuántica como la ecuación de onda de Schrödinger , así como en otras ecuaciones de la física matemática . Las variables que se mantienen constantes en las derivadas parciales pueden ser cocientes de variables simples como las fracciones molares x i en el siguiente ejemplo que involucra las energías de Gibbs en un sistema de mezcla ternaria:
Expresar fracciones molares de un componente como funciones de la fracción molar de otros componentes y relaciones molares binarias:
Los cocientes diferenciales se pueden formar en proporciones constantes como las anteriores:
Las proporciones X, Y, Z de fracciones molares se pueden escribir para sistemas ternarios y multicomponentes:
que se puede utilizar para resolver ecuaciones diferenciales parciales como:
Esta igualdad se puede reorganizar para tener el cociente diferencial de fracciones molares en un lado.
Las derivadas parciales son clave para los algoritmos de redimensionamiento de imágenes que tienen en cuenta el objetivo. Estos algoritmos, conocidos ampliamente como "seam carved" , requieren que a cada píxel de una imagen se le asigne una "energía" numérica para describir su disimilitud con respecto a los píxeles adyacentes ortogonales. Luego, el algoritmo elimina progresivamente las filas o columnas con la energía más baja. La fórmula establecida para determinar la energía de un píxel (magnitud del gradiente en un píxel) depende en gran medida de las construcciones de derivadas parciales.
Las derivadas parciales desempeñan un papel destacado en economía , en la que la mayoría de las funciones que describen el comportamiento económico postulan que el comportamiento depende de más de una variable. Por ejemplo, una función de consumo social puede describir la cantidad gastada en bienes de consumo como dependiente tanto del ingreso como de la riqueza; la propensión marginal a consumir es entonces la derivada parcial de la función de consumo con respecto al ingreso.