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.