Math Insight

The fundamental theorems of vector calculus

 

The four fundamental theorems of vector calculus are generalizations of the fundamental theorem of calculus. The fundamnetal theorem of calculus equates the integral of the derivative $G'(t)$ to the values of $G(t)$ at the interval boundary points: \begin{gather*} \int_a^b G'(t) dt = G(b)-G(a). \end{gather*} Similarly, the fundamental theorems of vector calculus state that an integral of some type of derivative over some object is equal to the values of function along the boundary of that object.

We can speak of all the fundamental theorems using the same language. (If the additional abstraction used to show these theorems are similar is not helpful, you can skip this paragraph.) We have fundamental theorems for one-dimensional (curves), two-dimensional (planar regions and surfaces), and three-dimensional (volumes) objects. If an object is $n$-dimensional, then its boundary is $(n-1)$-dimensional, by definition. Therefore, we can say that a fundamental theorem takes an $n$-dimensional integral of some derivative to an $(n-1)$-dimensional integral over the boundary of the original object. (If we start with a one-dimensional object, then we'll understand the “zero-dimensional integral” over the boundary as just the evaluation of the integral at its endpoints.) If you wanted to understand why these theorems are all so similar, you could do some research into how all four theorems are special cases of something called the generalized Stokes' theorem.

Recognizing the similarity of the four fundamental theorems can help you understand and remember them. Here we summarize the theorems and outline their relationships to the various integrals you learned in multivariable calculus.

The fundamental theorems are:

  1. the gradient theorem for line integrals,
  2. Green's theorem,
  3. Stokes' theorem, and
  4. the divergence theorem.

The gradient theorem for line integrals

The gradient theorem for line integrals relates a line integral to the values of a function at the “boundary” of the curve, i.e., its endpoints. It says that \begin{align*} \lint{\dlc}{\nabla \dlpf} = \dlpf(\vc{q}) - \dlpf(\vc{p}), \end{align*} where $\vc{p}$ and $\vc{q}$ are the endpoints of $\dlc$. In words, this means the line integral of the gradient of some function is just the difference of the function evaluated at the endpoints of the curve. In particular, this means that the integral of $\nabla \dlpf$ does not depend on the curve itself. The vector field $\nabla \dlpf$ is conservative (also called path-independent).

Often, we are not given the potential function, but just the integral in terms of a vector field $\dlvf$: $\dlint$. We can use the gradient theorem only when $\dlvf$ is conservative, in which case we can find a potential function $\dlpf$ so that $\nabla \dlpf = \dlvf$. Then, \begin{align*} \dlint = \dlpf(\vc{q}) - \dlpf(\vc{p}), \end{align*} where $\vc{p}$ and $\vc{q}$ are the endpoints of $\dlc$.

Even if you can't find $f$, but still know that $\dlvf$ is conservative, you could use the gradient theorem for line integrals to change the line integral of $\dlvf$ over $\dlc$ to the line integral of $\dlvf$ over any other curve with the same endpoints. Moreover, the integral of any conservative $\dlvf$ over a closed curve is zero.

Green's theorem

Green's theorem relates a double integral over a region to a line integral over the boundary of the region. If a curve $\dlc$ is the boundary of some region $\dlr$, i.e., $\dlc = \partial \dlr$, then Green's theorem says that \begin{align*} \dlint = \iint_\dlr \left(\pdiff{\dlvfc_2}{x} - \pdiff{\dlvfc_1}{y} \right) \, dA, \end{align*} as long as $\dlvf$ is continously differentiable everywhere inside $\dlr$. The integrand of the double integral can be thought of as the “microscopic circulation” of $\dlvf$. Green's theorem then says that the total “microscopic circulation” in $\dlr$ is equal to the circulation $\dlint$ around the boundary $\dlc= \partial \dlr$. Thinking of Green's theorem in terms of circulation will help prevent you from erroneously attempting to use it when $\dlc$ is an open curve.

In order for Green's theorem to work, the curve $\dlc$ has to be oriented properly. Outer boundaries must be counterclockwise and inner boundaries must be clockwise.

Stokes' theorem

Stokes' theorem relates a line integral over a closed curve to a surface integral. If a path $\dlc$ is the boundary of some surface $\dls$, i.e., $\dlc = \partial \dls$, then Stokes' theorem says that \begin{align*} \dlint = \sint{\dls}{\curl \dlvf}. \end{align*} The integrand of the surface integral can be thought of as the “microscopic circulation” of $\dlvf$. Stokes' theorem then says that the total “microscopic circulation” in $\dls$ is equal to the circulation $\dlint$ around the boundary $\dlc= \partial \dls$. Thinking of Stokes' theorem in terms of circulation will help prevent you from erroneously attempting to use it when $\dlc$ is an open curve.

In order for Stokes' theorem to work, the curve $\dlc$ has to be a positively oriented boundary of the surface $\dls$. To check for proper orientation, use the right hand rule.

Since the line integral $\dlint$ depends only on the boundary of $\dls$ (remember $\dlc= \partial \dls$), the surface integral on the right hand side of Stokes' theorem must also depend only on the boundary of $\dls$. Therefore, Stokes' theorem says you can change the surface to another surface $\dls'$, as long as $\partial \dls' = \partial \dls$. This works, of course, only when integrating the vector field $\curl \dlvf$ over a surface; it won't work for any arbitrary vector field.

The divergence theorem

The divergence theorem relates a surface integral to a triple integral. If a surface $\dls$ is the boundary of some solid $\dlv$, i.e., $\dls = \partial \dlv$, then the divergence theorem says that \begin{align*} \dsint = \iiint_\dlv \div \dlvf \, dV, \end{align*} where we orient $\dls$ so that it has an outward pointing normal vector.

The integrand of the triple integral can be thought of as the expansion of some fluid. The divergence theorem then says that the total expansion of the fluid in $\dlv$ is equal to the total flux of the fluid out of the boundary $\dls = \partial \dlv$.