﻿

The gradient theorem, sometimes also known as the fundamental theorem of calculus for line integrals, says that a line integral through a gradient field (any irrotational vector field can be expressed as a gradient) can be evaluated by evaluating the original scalar field at the endpoints of the curve::$phileft\left(mathbf\left\{q\right\} ight\right)-phileft\left(mathbf\left\{p\right\} ight\right) = int_L ablaphicdot dmathbf\left\{r\right\}$

It is a generalisation of the fundamental theorem of calculus to any curve on a line rather than just the real line.

The gradient theorem implies that line integrals through irrotational vector fields are path independent.In physics this theorem is one of the ways of defining a "conservative" force.By placing $phi$ as potential, $ablaphi$ is a conservative field. Work done by conservative forces does not depend on the path followed by the object, but only the end points, as the above equation shows.

Proof

Let $phi$ be a 0-form (scalar field).

Let "L" be a 1-segment (curve) from p to q.

By Stokes' theorem::$int_\left\{partial L\right\} phi = int_L dphi$But because $partial L = mathbf q - mathbf p$,:$phileft\left(mathbf\left\{q\right\} ight\right)-phileft\left(mathbf\left\{p\right\} ight\right) = int_L dphi$

Restricting the curve to Euclidean space and expanding in Cartesian coordinates:

:$dphi = sum_i frac\left\{partial phi\right\}\left\{partial x_i\right\} dx_i = left\left(frac\left\{partial\right\}\left\{partial x_i\right\} ight\right)phicdotleft\left(dx_i ight\right) = ablaphicdot dmathbf\left\{r\right\}$

Wikimedia Foundation. 2010.