This installment of “It’s Obvious. Not!” looks at:
Book: “div grad curl and all that”
Author: H. M. Schey
Publisher W. W. Norton.
As is often the case in this excellent book, the author illustrates theory with a concrete example. The example demonstrates that Stokes Theorem works for a vector field described by:
where Stokes Theorem is evaluated using the path of the circumference of a unit circle in the x-y plane and using the surface enclosed by the unit circle on the x-y plane. I ran into a few minor points of confusion working through the example, and I’ve added my intermediate steps below.
When evaluating the line integral, the book immediately moves from:
What happened to the dx and the dz terms?
Remembering that the path lies entirely in the x-y plane, z is always equal to 0. So, the dx term above drops out. Also, because z is a constant value in the x-y plane, x dz always evaluates to 0.
The next step in the example evaluates the integral
The author points out that the integral is parameterized over theta, (hence the introduction of the derivative with respect to theta above and reminds the readers that:
Where did the cosine squared theta term come from and how does the final integral evaluate to pi?
Substituting for x in the second term of the integral evaluation above gives
OK, now we have one cosine theta into the mix, but where does the second one come from? Keeping in mind that:
and the derivative of the sine of theta is the cosine of theta, we have:
My difficulty arose in remembering to treat the y in dy as an independent quantity. In other words, I forgot that I could do the following:
so now, we have cosine squared theta as above and we only need to evaluate the integral. Using the integral tables at Wikipedia, we get: