Teorema del gradiente

El teorema de gradiente, también conocido como el teorema fundamental de cálculo para integrales de línea, dice que una integral de línea de un campo de gradiente puede ser evaluada simplemente evaluando el campo escalar original en los puntos extremos de la curva.

El teorema es una generalización del teorema fundamental de cálculo para cualquier curva en el plano o en el espacio (generalmente

-dimensional) más que sólo en la recta real.

{\displaystyle U\subseteq \mathbb {R} ^{n}}

una función continuamente diferenciable y

denota el campo vectorial gradiente de

El teorema del gradiente implica que integrales de línea de campos gradientes son independientes de las trayectorias.

En física, este teorema es una manera de definir una fuerza conservativa.

El trabajo hecho por fuerzas conservativas no depende del camino seguido por el objeto, sólo depende de los puntos extremos como la ecuación de arriba lo muestra.

es una función diferenciable en un subconjunto abierto

{\displaystyle U\subseteq \mathbb {R} ^{n}}

{\displaystyle \mathbf {r} :[a,b]\to U}

es una función diferenciable en el intervalo cerrado

entonces por la regla de cadena multivariada, la función compuesta

t ∈ ( a , b )

denota el producto interno usual.

Ahora suponga que el dominio

contiene la curva diferenciable

(orientado en la dirección de

t ∈ [ a , b ]

entonces[1]​ donde la definición de integral de línea es utilizada en la primera igualdad y el teorema fundamental de cálculo es utilizado en la tercera igualdad Suponga que

es el arco circular orientado en sentido horario de (5, 0) a (−4, 3).

Utilizando la definición de integral de línea, Este resultado puede ser obtenido de manera más sencilla notando que la función

f ( x , y ) = x y

{\displaystyle f(x,y)=xy}

∇ f ( x , y ) = ( y , x )

{\displaystyle \nabla f(x,y)=(y,x)}

, por el Teorema del Gradiente: Para un ejemplo más abstracto, suponga que

la norma euclidiana de

es un número real entonces Aquí la última igualdad se sigue por el teorema del gradiente, dado que la función