Diferencial de una función

En cálculo, la diferencial representa la parte principal del cambio en una función con respecto a los cambios en la variable independiente. La diferencial se define como

donde es la derivada de con respecto a , y es una variable real adicional (de modo que es una función de y ). La notación es tal que la ecuación

se cumple, donde la derivada se representa en la notación de Leibniz , lo cual es consistente con considerar la derivada como el cociente de las diferenciales. También se escribe

El significado preciso de las variables y depende del contexto de la aplicación y del nivel requerido de rigor matemático. El dominio de estas variables puede adquirir un significado geométrico particular si la diferencial se considera como una forma diferencial específica, o un significado analítico si la diferencial se considera como una aproximación lineal al incremento de una función. Tradicionalmente, las variables y se consideran muy pequeñas (infinitesimales), y esta interpretación se hace rigurosa en el análisis no estándar. Historia y uso La diferencial fue introducida por primera vez a través de una definición intuitiva o heurística por Isaac Newton y desarrollada por Gottfried Leibniz, quien pensaba en la diferencial como un cambio infinitamente pequeño (o infinitesimal) en el valor de la función, correspondiente a un cambio infinitamente pequeño en el argumento de la función. Por esa razón, la tasa de cambio instantánea de con respecto a , que es el valor de la derivada de la función, se denota mediante la fracción

en lo que se llama la notación de Leibniz para derivadas. El cociente no es infinitamente pequeño; más bien es un número real. El uso de infinitesimales en esta forma fue ampliamente criticado, por ejemplo, en el famoso panfleto El analista del obispo Berkeley. Augustin-Louis Cauchy (1823) definió la diferencial sin recurrir al atomismo de los infinitesimales de Leibniz.Para un relato histórico detallado de la diferencial, véase , especialmente la página 275 para la contribución de Cauchy sobre el tema. Un relato abreviado aparece en .Cauchy negó explícitamente la posibilidad de cantidades infinitesimales e infinitas reales , y adoptó el punto de vista radicalmente diferente de que "una cantidad variable se vuelve infinitamente pequeña cuando su valor numérico disminuye indefinidamente de tal manera que converge a cero" (; traducción de ). En su lugar, Cauchy, siguiendo a d'Alembert, invirtió el orden lógico de Leibniz y sus sucesores: la derivada misma se convirtió en el objeto fundamental, definido como un límite de cocientes de diferencias, y las diferenciales se definieron luego en términos de ella. Es decir, uno era libre de definir la diferencial mediante una expresión

en la que y son simplemente variables nuevas que toman valores reales finitos, no infinitesimales fijos como lo habían sido para Leibniz.: "Las diferenciales así definidas son solo nuevas variables, y no infinitesimales fijos..." Según , el enfoque de Cauchy fue una mejora lógica significativa sobre el enfoque infinitesimal de Leibniz porque, en lugar de invocar la noción metafísica de los infinitesimales, las cantidades y ahora podían manipularse exactamente de la misma manera que cualquier otra cantidad real de forma significativa. El enfoque conceptual general de Cauchy hacia las diferenciales sigue siendo el estándar en los tratamientos analíticos modernos,: "Aquí comentamos solo de pasada que es posible utilizar esta representación aproximada del incremento mediante la expresión lineal para construir una definición lógicamente satisfactoria de una "diferencial", como hizo Cauchy en particular". aunque la última palabra sobre el rigor, una noción plenamente moderna de límite, se debió en última instancia a Karl Weierstrass. En los tratamientos físicos, como los aplicados a la teoría de la termodinámica, la visión infinitesimal todavía prevalece. concilian el uso físico de las diferenciales infinitesimales con la imposibilidad matemática de las mismas de la siguiente manera: las diferenciales representan valores finitos no nulos que son menores que el grado de precisión requerido para el propósito particular al que están destinados. Por lo tanto, los "infinitesimales físicos" no necesitan recurrir a un infinitesimal matemático correspondiente para tener un sentido preciso. Tras los desarrollos del siglo XX en análisis matemático y geometría diferencial, quedó claro que la noción de la diferencial de una función podía extenderse de diversas maneras. En análisis real, es más deseable tratar directamente con la diferencial como la parte principal del incremento de una función. Esto conduce directamente a la noción de que la diferencial de una función en un punto es un funcional lineal de un incremento . Este enfoque permite desarrollar la diferencial (como una aplicación lineal) para una variedad de espacios más sofisticados, dando lugar en última instancia a nociones como la Fréchet o la derivada de Gateaux. Asimismo, en geometría diferencial, la diferencial de una función en un punto es una función lineal de un vector tangente (un "desplazamiento infinitamente pequeño"), lo que la presenta como una especie de forma uno: la derivada exterior de la función. En el cálculo no estándar, las diferenciales se consideran infinitesimales, los cuales pueden asentarse sobre una base rigurosa (véase diferencial (infinitesimal)). Definición thumb|upright=1.25|La diferencial de una función en un punto . La diferencial se define en los tratamientos modernos del cálculo diferencial de la siguiente manera.Véanse, por ejemplo, los influyentes tratados de , , y . Las fuentes terciarias para esta definición incluyen también a e . La diferencial de una función de una sola variable real es la función de dos variables reales independientes y dada por

Uno o ambos argumentos pueden omitirse, es decir, se puede ver o simplemente . Si , la diferencial también se puede escribir como . Como , es convencional escribir para que se cumpla la siguiente igualdad:

Esta noción de diferencial es ampliamente aplicable cuando se busca una aproximación lineal a una función, en la que el valor del incremento es lo suficientemente pequeño. Más precisamente, si es una función diferenciable en , then la diferencia en los valores de

satisface

donde el error en la aproximación satisface cuando . En otras palabras, se tiene la identidad aproximada

en la cual el error puede hacerse tan pequeño como se desee en relación con restringiendo para que sea lo suficientemente pequeño; es decir,

cuando . Por esta razón, la diferencial de una función se conoce como la parte (lineal) principal del incremento de una función: la diferencial es una función lineal del incremento , y aunque el error puede ser no lineal, tiende a cero rápidamente a medida que tiende a cero. Diferenciales en varias variables +Operador / FunciónDiferencial1: 2: 3: Derivada parcialDerivada total Siguiendo a , para funciones de más de una variable independiente,

la diferencial parcial de con respecto a cualquiera de las variables es la parte principal del cambio en resultante de un cambio en esa única variable. La diferencial parcial es, por lo tanto,

e involucra la derivada parcial de con respecto a . El suma de las diferenciales parciales con respecto a todas las variables independientes es la diferencial total

la cual es la parte principal del cambio en resultante de los cambios en las variables independientes . Más precisamente, en el contexto del cálculo multivariable, siguiendo a , si es una función diferenciable, entonces, por la definición de diferenciabilidad, el incremento

donde los términos de error tienden a cero a medida que los incrementos tienden conjuntamente a cero. La diferencial total se define entonces rigurosamente como

Dado que, con esta definición,

se tiene

Al igual que en el caso de una variable, se cumple la identidad aproximada

en la cual el error total puede hacerse tan pequeño como se desee en relación con limitando la atención a incrementos suficientemente pequeños. Aplicación de la diferencial total a la estimación de errores En las mediciones, la diferencial total se utiliza en la estimación del error de una función a partir de los errores de los parámetros . Suponiendo que el intervalo es lo suficientemente corto como para que el cambio sea aproximadamente lineal:

y que los parámetros son funcionalmente independientes, de modo que se aplica la diferencial total, el cambio en inducido por cambios simultáneos en todos los parámetros es

La derivada con respecto al parámetro da la sensibilidad de la función a un cambio en , en particular al error . La forma en que los errores individuales se combinan en un límite para depende de lo que se sepa sobre ellos. Si los errores se conocen únicamente como límites de magnitud (es decir, , etc.) y pueden tener signos arbitrarios, el límite correspondiente al peor caso para se obtiene tomando valores absolutos, ya que de lo contrario las contribuciones con signo podrían cancelarse:

Si, en cambio, los errores se modelan como variables aleatorias estadísticamente independientes con desviaciones estándar , entonces, por propagación de la varianza, la desviación estándar de se suma en cuadratura:

La primera fórmula es un límite superior determinista, la segunda es una estimación típica (de una desviación estándar); ambas coinciden únicamente en el caso trivial de una sola variable. A partir del principio del peor caso, se derivan las reglas de error habituales para la suma, la multiplicación, etc., por ejemplo: Sea . Entonces el error finito se puede aproximar como

Evaluando las derivadas:

Dividiendo por , que es : Es decir, en la multiplicación, el error relativo total es la suma de los errores relativos de los parámetros. Para ilustrar cómo depende esto de la función considerada, considérese en su lugar el caso en que la función es . Entonces, se puede calcular que la estimación del error es

con un factor extra que no se encuentra en el caso de un producto simple. Este factor adicional tiende a hacer que el error sea menor, ya que el denominador es mayor que un simple . Diferenciales de orden superior Las diferenciales de orden superior de una función de una sola variable se pueden definir mediante:. Véase también, por ejemplo, .

y, en general,

Informalmente, esto motiva la notación de Leibniz para las derivadas de orden superior

Cuando se permite que la propia variable independiente dependa de otras variables, la expresión se vuelve más complicada, ya que debe incluir también diferenciales de orden superior de la propia . Así, por ejemplo,

y así sucesivamente. Consideraciones similares se aplican a la definición de diferenciales de orden superior de funciones de varias variables. Por ejemplo, si es una función de dos variables e , entonces

donde es un coeficiente binomial. En más variables, se cumple una expresión análoga, pero con un desarrollo multinomial adecuado en lugar del desarrollo binomial. Las diferenciales de orden superior en varias variables también se vuelven más complicadas cuando se permite que las propias variables independientes dependan de otras variables. Por ejemplo, para una función de e a las que se les permite depender de variables auxiliares, se tiene

Debido a esta incomodidad notacional, el uso de diferenciales de orden superior fue duramente criticado por , quien concluyó:

Es decir: Finalmente, ¿qué significa, o qué representa, la igualdad [...]? En mi opinión, absolutamente nada. A pesar de este escepticismo, las diferenciales de orden superior surgieron como una herramienta importante en el análisis.En particular para la holomorfía de dimensión infinita y el análisis numérico a través del cálculo de diferencias finitas. En estos contextos, la diferencial de orden -ésimo de la función aplicada a un incremento se define mediante

o una expresión equivalente, como

donde es una n-ésima diferencia hacia adelante con un incremento de .