Problem- Let F = <0, -z, 1> and S be the part of the unit sphere where z > . Evaluate F•dS directly as a surface integral, then verify that curl(A) = F where A = <0, x, xz> and evaluate the surface again using Stokes' Theorem.
The easy part of this problem was verifying that curl(A) = F and then parameterizing the boundary of the spherical cap as c = < cos t, sin t, > for 0<t< and then evaluating the integral <0, cos t, cos t> • <- sin t, cos t, 0> =
The trouble came in verifying via F•dS which I attempted by using G( , ) = ( ) with a normal vector . I took the dot product of F which I equated in terms of G( , ) as <0, -cos , 1>, with the normal vector to get my integral of .
I tried evaluating this, however I ran into several problems. If I split the integrand and had two separate integrals, then as is, I calculated both to be 0 and checked this using Wolfram Alpha. Furthermore, could be split into the product of two single variable integrals, and the integral for will always be zero, because of the symmetry of the bounds and how sine is an odd function. Also, is an odd function because is even, is even, and is odd, so when evaluated from to it will end up as 0. This is no surprise.
The big punch to the face comes with the other integral, . The integrand should be odd according to the logic of sine being odd and cosine being even therefore their product is odd, however, when I turned the integral into , the magic answer of showed up. Seeing that I got the right answer by "cheating" on an odd integrand this way, I tried splitting the first integrand of but this had a non-zero answer.
Is there some way to rationalize all this even and odd function reasoning that I used to solve this problem? I feel like splitting into and getting the right answer and then leaving the other half of the flux integral as-is just to validate my answer from calculating the circulation integral was a little slight-handed.
Thanks for any input