Lab 7A - Stokes's Theorem
Math 2374 - University of Minnesota
Questions to: firstname.lastname@example.org
Integration in More than Two Dimensions
This semester, we have learned to use six new kinds of integrals. Here's a quick review: as usual, vector-valued objects are in boldface.
|Type||Symbol||Region||Integrand||How to Do It|
|double||R, a region||scalar function u||∫ (∫u (x, y) dy) dx|
|triple||S, a solid||scalar function u||∫ (∫ (∫u (x, y, z) dz) dy) dx|
|line (path)||C, a curve withparametrizationf (t), a≤t≤b||scalar function u|
|line (path)||C, a curve withparametrizationf (t), a≤t≤b||vector field F|
|surface||M, a surface withparametrization f (s, t) and parameter range R||scalar function u|
|surface (flux)||M, a surface withparametrization f (s, t) and parameter range R||vector field F|
Notice that each kind of integral has its own definition, and there is no obvious way to convert one kind to another. Stokes's Theorem provides the missing link between surface integrals of vector fields and line integrals of vector fields.
Using Stokes's Theorem: Example 1
Applying Stokes's Theorem can be tricky: each problem has its own kind of challenge. For example, we might want to calculate the surface integral of some vector field G over some complicated surface with a "nice" boundary. We can use Stokes's Theorem to avoid working with the surface, if we can find a vector field F whose curl is G. This can be hard.
Note: you might wish to add Live to some of the graphing commands if you're having trouble visualizing the surfaces.
Calculate , where G(x,y,z)=(0,0,2), and M is the surface parametrized by f(r,θ)=(r cos θ, r sin θ, sin(4πr), with 0≤r≤1, 0≤θ≤2π. [Use the upward-pointing normal vector.]
This surface is intimidating, but its boundary is very nice. The boundary is just the part of the surface where r=1; we get its parametrization by substituting r=1 in f.
We need F so that curl F=G; then our integral will be the right-hand side of the equation in Stokes's Theorem. One possible choice is F(x,y,z)=(-y,x,0). (Check this! Also note that, given G, there is no specific way for you to find an F such that curl F=G. In this case we just "pulled it out of the hat.") If we use this F, then the left-hand side of the equation in Stokes's Theorem is almost (not quite) easy enough to do in your head:
Re-read this example to make sure you followed the process, and ask your TA if you have any questions about what we did or why. These problems can be tricky!
Using Stokes's Theorem: Example 2
More often, we use Stokes's Theorem in the other direction: we have a tricky line integral, and try to replace it with an easy surface integral. This means we don't have to invent a new vector field with a given curl; instead, we have to invent a surface with a given boundary. Any surface with the right boundary will be good enough, just like in the last example, where any F with the right curl was good enough.
If you'd like to see an example of many different surfaces which have the same boundary, copy the following address and paste it into your web browser:
Calculate , where F(x,y,z)=(, ), and C is the intersection of the plane x+y+z=4 with the cylinder .
Here is a plot of the two surfaces intersecting. Replace ShowLive with Show if you'd prefer not to have an interactive version. (This has been done in the web version of the lab.)
Let's parametrize the curve C, so we can graph it. Thinking in cylindrical coordinates, every point on C is on the cylinder, so has r=4. Also, every point on C is on the plane, so has z=4-x-y. Letting θ range from 0 to 2π, we get the following parametrization.
To use Stokes's Theorem, we need a surface whose boundary is C. We have an ideal surface available: it's just the part of the plane which lies inside the cylinder. [Check: does C have the right orientation to be the boundary of this surface?] We can parametrize this surface just as we did C; the only difference is that instead of r=4, we have 0≤r≤4.
Mathematica gives us an oblique view of this surface; you should evaluate the following cell to get an interactive version of it. Rotate it and compare to the earlier picture (with the plane and the cylinder) and convince yourself that our surface is exactly the part of the plane contained within the cylinder.
Finally, we can use Mathematica to calculate our integral: = , so we need the following calculations. First, we define F, take its curl, and plug in the parametrization of our surface:
Next, we take the partial derivatives of our parametrization and take the cross product:
Finally, we take the dot product of our results, and integrate the result.
It's probably good to check our answer by calculating the line integral directly: = , so we get:
If this looks easier to you than the surface integral, take a careful look at the functions you're integrating. If the line integral still looks easier, you should try doing both by hand!
Created by Mathematica (November 6, 2004)