Diferencial de una funcin

En matemticas, concretamente en clculo diferencial, el diferencial es un objeto

matemtico que representa la parte principal del cambio en la linealizacin de
una funciny = (x) con respecto a cambios en la variable independiente. Existen diversas
definiciones de diferencial en diversos contextos.
ndice

Funciones de una variable

Informalmente, el diferencial dy se define en cursos introductorios mediante la expresin:

donde
es la derivada de f con respecto a x, y donde dx es una variable real
adicional (de manera que dy es una funcin de dos variables x, y dx). La notacin es tal
que la expresin:

donde la derivada es representada en la notacin de Leibniz dy/dx, se mantiene, y es

consistente con respecto a la derivada como el cociente de diferenciales.
El significado preciso de las variables dy y dx depende del contexto de aplicacin y del
nivel de rigor matemtico requerido. Segn consideraciones matemticas rigurosas
modernas, las notaciones dy y dx son simplemente variables reales y son manipuladas
como tales. El dominio de estas variables puede tomar un significado geomtrico particular
si el diferencial es considerado como una forma diferencial, o significado analtico si el
diferencial es considerado como una aproximacin lineal al incremento de una funcin. En
aplicaciones fsicas, a menudo, se requiere que las variables dx y dy sean sumamente
pequeas (infinitesimales).

Definicin
Para funciones de variables reales es posible definir el diferencial rigurosamente
interpretndolo como una 1-forma. As el diferencial est definido en los tratamientos
modernos del clculo diferencial de la siguiente manera.1 El diferencial de una funcin (x)
de variable real
es la funcin df:

donde dx y df son covectores del espacio cotangente

que es isomorfo al propio
. Uno, o los dos, argumentos pueden ser suprimidos: ej., se puede ver df(x) o
simplemente df. Si y = (x), el diferencial tambin puede ser escrito dy. Dado
que dx(x, x) = x es convencional escribir dx = x, de manera que la igualdad

se mantiene.

Interpretacin geomtrica del diferencial

Interpretacin geomtrica del diferencial de una funcin en un punto.

El diferencial se puede tomar en el sentido geomtrico como la elevacin de la

tangente desde el punto en que se toma el diferencial.
Recurdese que la derivada de la funcin en el punto es la pendiente de la recta
tangente a la funcin en el punto, como sabemos que la tangente de un ngulo es
igual al cociente entre el cateto opuesto (incremento de y) y el cateto contiguo
(incremento de x) de un hipottico tringulo rectngulo, slo hay que despejar el
incremento de y que equivale a nuestro diferencial.
Vista geomtricamente, la elevacin se produce verticalmente a partir del punto en que
se toma el diferencial. El incremento
que se tome representar el alejamiento
horizontal que haga desde el punto en cuestin.
As la elevacin de la tangente que se obtenga como resultado depender del punto
en cuestin y del alejamiento horizontal que se tomen, que en la frmulas matemticas
estn definidos respectivamente por y
.

Generalizaciones
Matriz jacobiana
Para funciones de ms de una variable, el concepto de diferencial es generalizado
mediante la matriz jacobiana. La matriz jacobiana es una representacin en
coordenadas de una aplicacin lineal que aproxima en primer orden una funcin
de
a
. Los requerimientos de diferenciabilidad en espacios eucldeos de
dimensin superior a 1, son un poco ms exigentes que en , ya que la simple
existencia de derivadas no es suficiente para asegurar la diferenciabilidad.

Aplicaciones entre variedades

Dadas dos variedades diferenciables
de dimensin m y
de dimensin n y una
aplicacin entre ellas
el concepto de aplicacin diferencial tangente
(opushforward) es una aplicacin lineal entre los fibrados tangentes de ambas
variedades. Una aplicacin de ese tipo se dice diferenciable si dada una carta
local
que contenga al punto y
que contenga a
, la
aplicacin
es diferenciable como funcin de
a
.
Para definir la nocin de aplicacin lineal tangente de una aplicacin diferenciable
entre variedades debe tenerse en cuenta el hecho de que el espacio tangente a una
variedad diferenciable puede identificarse con el conjunto de derivaciones sobre el
espacio de funciones definidas sobre la variedad. En esa identificacin una derivacin
se puede llegar a identificar como "la derivada direccional" en una cierta direccin.
Dado ese vnculo un vector queda caracterizado por su accin sobre las funciones
definidas sobre una variedad. A partir de esa nocin dada una aplicacin
diferenciable
se define la aplicacin lineal tangente:

Tal que a un vector en p

cumpla que:

le asigna el nico vector

que hace que se

Donde: