For a continuously differentiable vector field on a neighborhood of an oriented, piecewise smooth surface , Stokes theorem statesHere is the boundary curve, is its directed tangent element, is the chosen unit normal vector, is the surface area element, and is the curl. The right-hand rule relates the boundary direction to . Thus circulation around the edge equals the flux of curl through the spanning surface. Reversing both orientations changes both signs. One can replace a difficult line integral by an easier surface integral, or replace one spanning surface by another within the region of regularity.
For a bounded volume with piecewise smooth closed boundary and a continuously differentiable vector field on a neighborhood of its closure, the divergence theorem statesHere points out of , including into any holes, is the volume element, and is the divergence. It equates total outward flux to integrated source strength. It converts a closed surface integral into a volume integral, and explains why internal fluxes cancel in a subdivided region. Singularities cannot be included without checking the hypotheses.
For a conservative force, the work around every closed path is zero. Stokes theorem gives zero flux of curl through every sufficiently small patch. Dividing by its area and shrinking the patch shows that every component of the continuous curl vanishes:Here is potential energy; conversely, zero curl implies a conservative vector field on a simply connected domain. The divergence theorem then gives the compatible relation . There is no general zero-divergence condition on a conservative force: is a concrete counterexample, with .
Take , so the shell excludes the possible singularity at the origin. The divergence and curl of a radial vector field formula in spherical coordinates givesWith volume element , direct integration givesFor the independent boundary calculation, the outer sphere has outward unit normal vector and the inner sphere has outward unit normal vector . Their fluxes areTheir sum equals the direct volume integral, verifying the divergence theorem. The restriction permits the displayed power-antiderivative step. At , treated separately, both the shell volume integral and net boundary flux are zero; the excluded origin must still not be filled in.
Away from the origin, write . The curl product rule for a scalar field and the gradient of a radial function giveConsequently the surface integral of curl over the upper hemisphere is zero. Its outward unit normal vector induces a counterclockwise equator when viewed from above. Parametrize that boundary byThe radial vector field is perpendicular to this tangent, soThis verifies Stokes theorem directly without passing through the singular origin.
Articles by others on the same topic
There are currently no matching articles.