Generalizing the Fundamental Theorem of Calculus
We've seen many analogues between multivariable and single variable calculus. For some single-variable concepts, like the derivative, we've found several higher-dimensional analogues, like the gradient, curl, and divergence. The same is true for the fundamental theorem of calculus. In this lecture we will be examining three theorems which relate the integral of the derivative of a function over a region, to the integral of the function itself on the boundary of that region.
In later courses, you will learn that all these different concepts are the same thing: the single variable derivative, the curl, divergence, and gradient are all examples of something called the exterior derivative, and the various versions of the fundamental theorem of calculus we're about the study are all examples of the generalized Stoke's theorem.
Although the proofs of these theorems below may look technical and complicated, what they are all stating is actually very common-sense and simple
Green's theorem states that the amount of rotation on the border of a flat region is simply the sum of all the rotation going on inside the region. This seems perfectly intuitive: it would be very odd for a fluid to be racing around a perimeter, yet perfectly irrotational inside!
Gauss' theorem, also called the divergence theorem, states that the amount of sources (or sinks) of liquid inside any region is equal to the amount of fluid flowing out of (or into) the boundary of that region. This makes perfect sense: the amount of water leaving a bathtub through drain is certainly equal to the amount of water pouring over the lip of the drain, right?
Stokes' theorem, also known as the curl theorem or the Kelvin-Stoke's theorem, is basically just Green's theorem, except now the region remains two dimensional, but maybe not flat anymore. It is perhaps less obvious than the first two, but as we will see in the exercises, the first two theorems are in some way special cases of Stoke's theorem.
The first of the higher-dimensional analogues of the fundamental theorem of calculus is Green's theorem. It equates the integral of a vector field around a closed curve to the integral of a kind of derivative of that field in the interior of the region enclosed by the curve. Suppose we have a vector field in the plane and some closed curve C, oriented counterclockwise (ie, increasing t means moving counterclockwise around the curve), whose interior is called D. Then Green's theorem states:
Here, we will only demonstrate the theorem for rectangular regions in the -plane. The Riemann-sum nature of the double integral should convince the reader of the truth of the theorem for arbitrary regions. Curious readers may consult the proof page.
Let be a rectangular region and its boundary oriented counterclockwise.
We break the boundary into pieces: which runs from to , which runs from to , which runs from to , and which runs from to .
We note that is constant along and , so , hence:
A similar argument demonstrates that:
Gauss' theorem, also called the divergence theorem, states that if is a subset of satisfying a few simple conditions (ie, connected, smooth boundary), and ff is a smooth vector function defined on an open set containing , then we have
where is the normal to the boundary of , which we denote .
We will only prove the theorem for rectangular prisms; the Riemann-sum nature of the triple integral then should convince the reader of the proof of the theorem for arbitrary regions. Curious readers may consult the proof page
Let and let , oriented outward.
Then , where are those sides perpendicular to the -axis, perpendicular to the axis, and are those sides perpendicular to the -axis, and in all cases the lower subscript indicates a side closer to the origin.
Let , where . Then
But note that this is precisely
We turn now to examine . On ; on ; on ; on ; on ; on .
Hence on ; on ; on ; on ; on ; on .
We also have, on and , the area element is ; on and , the area element is , and on and . This is true because each side is perfectly flat, and constant with respect to one coordinate.
and in general
Suppose we have a surface S with boundary curve B, floating in space . As always, we assume the surface is "nice" - no holes, no self-intersection, smooth everywhere. Suppose further that we have a vector function defined in space, and in particular, on S. Then
To prove this, let be a smooth parametrization of from some region in the -plane, so that and .
First, we convert the left hand side into a line integral
so that if we define
where is the position vector in the -plane.
We turn now to the right-hand expression and write it in terms of and :
By Green's Theorem, this can be written as
Hence both sides of the theorem equation are equal.
All three of these theorems have applications for any field which studies the distribution of quantities in space.
Applications of Green's Theorem
Applications of Gauss' Theorem
Applications of Stoke's Theorem