On the unit circle, the positively oriented unit tangent vector is , and . Hence andSince the scalar field has no dependence, the curl product rule for a scalar field givesOn the unit upper hemisphere , the outward unit normal vector is , so its vertical component is . Applying the Stokes theorem to the vector field therefore provesThe 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
There are currently no matching articles.