Stokes' theorem and compatible boundary direction

Try

For F=(−y/2,x/2,0), the curl is (0,0,1). Around a counterclockwise unit circle in the horizontal plane, the field’s tangential component is 1/2, giving circulation π. Through the upward unit disk, curl flux is also π because its normal component is 1 and its area is π. Stokes’ theorem says these are two representations of the same quantity, not a coincidence limited to circles.

Predict

Predict the boundary direction induced by a downward disk normal. Viewed from above, it is clockwise, and both integrals become −π. Use a right-hand rule: curl fingers in the boundary direction while the thumb points along the normal. A diagram should show both arrows. “Counterclockwise” is incomplete for a spatial curve unless the viewing direction is specified; a tilted surface does not have one privileged screen orientation.

Experiment

Keep the same circular boundary, but replace the disk by the upper hemisphere with upward/outward orientation compatible with that boundary. Stokes still gives circulation π, so curl flux through the hemisphere is π even though its area is 2π. The vertical curl field is not equally normal to every surface patch. Its normal component compensates for the differing area.

Check the boundary compatibility rather than assuming the word outward always determines it. On the upper hemisphere, the outward orientation induces the same counterclockwise equator direction as the upward disk when viewed from above.

Understand

For a suitably oriented piecewise smooth surface S with induced boundary ∂S, and a C¹ field F on an open neighborhood of the surface, Stokes’ theorem states ∮∂S F·dr=∫∫S (curl F)·n dS. In coordinates, curl F=(R_y−Q_z,P_z−R_x,Q_x−P_y). A field must be defined and sufficiently smooth near the entire spanning surface, not merely on its boundary.

The mechanism parallels Green’s theorem. Small oriented surface patches have boundary circulations corresponding to their curl flux. Shared interior boundary segments cancel because adjacent compatible patches traverse them in opposite directions. Only the outer boundary remains. A rigorous proof handles parametrization and limiting arguments; this patch picture explains why orientation is essential.

Apply

Apply the theorem to F=(0,x,z) on the upward graph z=x+y above the unit square. Curl F=(0,0,1), while vector area is (−1,−1,1)dx dy. Their dot product is 1, so induced boundary circulation is 1. The answer does not require integrating four spatial edges individually, although doing so would verify the sign.

Repair “any surface with the same boundary gives the same flux of F.” Stokes concerns flux of curl F, not arbitrary flux of F. Even for curl flux, each chosen surface must lie in the field’s smooth domain and have the same induced boundary orientation. A spanning surface crossing a singularity cannot be substituted without checking hypotheses.

Continue

Optional depth observes that a closed oriented surface has no boundary, so Stokes predicts zero flux of curl F when its hypotheses apply. The divergence theorem later connects this with div(curl F)=0 for sufficiently smooth fields. The identities express related cancellation mechanisms but do not waive domain conditions.

Save a calculation that identifies the field, curl, surface, normal and induced boundary before evaluating. Include a reason for choosing one spanning surface over another. The next lesson changes from circulation around a surface boundary to outward flux through a solid’s closed boundary, using divergence as the interior accumulation rate.