Choose the outward orientation on the upper half of the ellipsoid, giving counterclockwise boundary orientation on as viewed from . Parametrize the boundary circle by
Then , so the line integral is
For a direct surface integral, use the parametrized surface
Its outward vector surface element is supplied by the cross product
Using the curl from a,
The two integrals agree for every , verifying the Stokes theorem. Only the vertical component of the vector surface element enters, which explains the absence of in the answer.
On the unit circle, the positively oriented unit tangent vector is , and . Hence and
Since the scalar field has no dependence, the curl product rule for a scalar field gives
On the unit upper hemisphere , the outward unit normal vector is , so its vertical component is . Applying the Stokes theorem to the vector field therefore proves
The smoothness needed here is that extend as a continuously differentiable scalar field to a neighbourhood of the projected unit disk. The left side is a scalar line integral with respect to arc length; the positive boundary orientation is used when identifying it with the vector line integral.

Articles by others on the same topic (0)

There are currently no matching articles.