Vector Calculus & the Green–Stokes–Gauss Theorems

Line and surface integrals, conservative fields, divergence and curl, and the orientation-sensitive boundary theorems that connect local derivatives to global circulation and flux.

Vector calculus connects three levels of description:

  • a field assigns a scalar or vector to each point;
  • derivatives such as gradient, divergence, and curl describe local change;
  • integrals over curves, surfaces, and volumes measure accumulated effects.

Green’s, Stokes’, and the divergence theorem say that an integral of a derivative over a region equals an integral of the original field over the oriented boundary. Most mistakes are therefore not algebra mistakes but boundary, topology, or orientation mistakes.

The physical questions behind the notation #

Object A concrete question it answers Typical units
∇T\nabla T In which direction does temperature rise fastest, and by how much per metre? ∘C/m^\circ\mathrm{C/m}
∫CF⋅dr\int_C F\cdot dr How much work does a force perform along a path? J\mathrm J
∬Sv⋅n dS\iint_S v\cdot n\,dS How much fluid volume crosses a surface per second? m3/s\mathrm{m^3/s}
∇⋅v\nabla\cdot v Is a small neighborhood acting like a source or a sink? s−1\mathrm{s^{-1}}
∇×v\nabla\times v Around which axis does the local flow tend to rotate? s−1\mathrm{s^{-1}}

The operators describe the same field at different scales: derivatives inspect one tiny neighborhood, while integrals add the effect along a path, across a surface, or through a volume.

Curves and line integrals #

Let a piecewise C1C^1 curve be parameterized by

r(t)=(x(t),y(t),z(t)),a≤t≤b.r(t)=(x(t),y(t),z(t)),\qquad a\le t\le b.

For a scalar field ff,

∫Cf ds=∫abf(r(t))∥r′(t)∥ dt.\int_C f\,ds =\int_a^b f(r(t))\|r'(t)\|\,dt.

This integral is independent of orientation because reversing the parameter changes dtdt and r′r' together, leaving ds=∥r′∥dtds=\|r'\|dt positive.

For a vector field FF,

∫CF⋅dr=∫abF(r(t))⋅r′(t) dt.\int_C F\cdot dr =\int_a^b F(r(t))\cdot r'(t)\,dt.

This integral changes sign when the curve orientation reverses. For a force field, it is work; around a closed curve, it is circulation.

The parameterization must trace the intended curve with the intended orientation. A nonregular point where r′(t)=0r'(t)=0 can be acceptable in a piecewise-regular representation, but formulas that divide by speed cannot be used there.

Conservative fields and potentials #

A field FF is conservative on a domain DD if there is a scalar potential ϕ\phi with

F=∇ϕ.F=\nabla\phi.

Then the chain rule gives

ddtϕ(r(t))=∇ϕ(r(t))⋅r′(t),\frac{d}{dt}\phi(r(t)) =\nabla\phi(r(t))\cdot r'(t),

so

∫CF⋅dr=ϕ(r(b))−ϕ(r(a)).\int_C F\cdot dr =\phi(r(b))-\phi(r(a)).

Consequences:

  • the integral depends only on endpoints;
  • every closed-loop integral is zero;
  • work can be computed without following the path.

If F=(P,Q)F=(P,Q) is C1C^1 and conservative, then Py=QxP_y=Q_x. The converse needs topology. On an open simply connected domain, the equality implies conservativity. Without the no-hole condition it can fail.

A standard counterexample is

F(x,y)=(−yx2+y2,xx2+y2)F(x,y)=\left(-\frac{y}{x^2+y^2},\frac{x}{x^2+y^2}\right)

on R2∖{0}\mathbb R^2\setminus\{0\}. Its scalar curl is zero wherever defined, but its circulation around the unit circle is 2π2\pi. The hole contains the obstruction.

Divergence and curl #

For F=(P,Q,R)F=(P,Q,R),

∇⋅F=Px+Qy+Rz\nabla\cdot F=P_x+Q_y+R_z

measures local net outflow per unit volume.

The curl

∇×F=∣ijk∂x∂y∂zPQR∣\nabla\times F = \begin{vmatrix} \mathbf i&\mathbf j&\mathbf k\\ \partial_x&\partial_y&\partial_z\\ P&Q&R \end{vmatrix}

measures local circulation density and axis.

These interpretations are local and differential. A pointwise zero divergence does not by itself say that flux through an arbitrary open surface is zero, and zero curl implies a global potential only with suitable domain hypotheses.

For sufficiently smooth fields,

∇⋅(∇×F)=0,∇×(∇ϕ)=0.\nabla\cdot(\nabla\times F)=0, \qquad \nabla\times(\nabla\phi)=0.

The smoothness matters because the identities use equality of mixed partial derivatives.

Surface area and flux #

Let an oriented parametric surface be

r(u,v),(u,v)∈D.r(u,v),\qquad (u,v)\in D.

The tangent vectors ru,rvr_u,r_v span the tangent plane. Their cross product supplies both a normal direction and the area scale:

dS=∥ru×rv∥ du dv.dS=\|r_u\times r_v\|\,du\,dv.

A scalar surface integral is

∬Sf dS=∬Df(r(u,v))∥ru×rv∥ du dv.\iint_S f\,dS =\iint_D f(r(u,v))\|r_u\times r_v\|\,du\,dv.

The flux of FF through an oriented surface is

∬SF⋅n dS=∬DF(r(u,v))⋅(ru×rv) du dv.\iint_S F\cdot n\,dS =\iint_D F(r(u,v))\cdot(r_u\times r_v)\,du\,dv.

Swapping uu and vv reverses the cross product and hence the flux sign.

A surface must be orientable to choose a continuous unit normal globally. A Möbius strip has no global two-sided orientation, so an ordinary global flux integral is not defined without additional treatment.

Green’s theorem #

Let DD be a planar region with positively oriented boundary ∂D\partial D, meaning the region stays on the left as the boundary is traversed. Under the usual piecewise-smooth boundary and C1C^1 field hypotheses,

∮∂DP dx+Q dy=∬D(Qx−Py) dA.\oint_{\partial D}P\,dx+Q\,dy = \iint_D(Q_x-P_y)\,dA.

The flux form is

∮∂DF⋅n ds=∬D∇⋅F dA.\oint_{\partial D}F\cdot n\,ds = \iint_D\nabla\cdot F\,dA.

For regions with holes, each inner boundary is oriented clockwise so that the region remains on the left. Simply writing “counterclockwise” for every component gives the wrong sign.

Stokes’ theorem #

Let SS be an oriented piecewise-smooth surface with positively induced boundary orientation ∂S\partial S, and let FF have continuous first partial derivatives on a neighborhood of SS. Then

∮∂SF⋅dr=∬S(∇×F)⋅n dS.\oint_{\partial S}F\cdot dr = \iint_S(\nabla\times F)\cdot n\,dS.

The right-hand rule couples the normal to the boundary direction. If the fingers curl along ∂S\partial S, the thumb points along the chosen normal.

A surface normal induces the positive orientation of its boundary Two panels show the same surface. With the normal pointing toward the viewer, the positive boundary direction is counterclockwise as seen from the normal tip. Reversing the normal reverses the boundary direction. Choose the normal +n Reverse it to −n +n positive ∂S S Seen from the tip of +n: counterclockwise −n reversed ∂S S The induced boundary direction reverses too In Stokes’ theorem, the orientations of S and ∂S are coupled—not independent choices.
In Stokes' theorem the normal and boundary direction are a coupled choice: reverse one and the other must reverse as well.

Stokes’ theorem depends only on the boundary curve and the field, not on which spanning surface is selected, provided the replacement surface stays in a region where FF is smooth and the orientation agrees. This often turns a difficult curved-surface integral into a simple planar one.

Worked Stokes example #

Take

F(x,y,z)=(−y2,x2,0)F(x,y,z)=\left(-\frac y2,\frac x2,0\right)

and let CC be the unit circle in the xyxy-plane, counterclockwise from +z+z. Since

∇×F=(0,0,1),\nabla\times F=(0,0,1),

choose the unit disk SS with upward normal:

∮CF⋅dr=∬S1 dA=π.\oint_C F\cdot dr =\iint_S1\,dA =\pi.

Directly, r(t)=(cos⁡t,sin⁡t,0)r(t)=(\cos t,\sin t,0), so

F(r(t))⋅r′(t)=(−sin⁡t2,cos⁡t2,0)⋅(−sin⁡t,cos⁡t,0)=12,F(r(t))\cdot r'(t) =\left(-\frac{\sin t}{2},\frac{\cos t}{2},0\right) \cdot(-\sin t,\cos t,0) =\frac12,

and ∫02π12 dt=π\int_0^{2\pi}\frac12\,dt=\pi, confirming the orientation and scale.

Divergence theorem #

Let EE be a solid with piecewise-smooth closed boundary S=∂ES=\partial E, oriented outward. If FF has continuous first partial derivatives on an open neighborhood containing EE, then

∬∂EF⋅n dS=∭E∇⋅F dV.\iint_{\partial E}F\cdot n\,dS = \iiint_E\nabla\cdot F\,dV.

For F=(x,y,z)F=(x,y,z) on the ball of radius RR,

∇⋅F=3,\nabla\cdot F=3,

so

∬∂EF⋅n dS=3Vol(E)=4πR3.\iint_{\partial E}F\cdot n\,dS =3\mathop{\mathrm{Vol}}(E) =4\pi R^3.

On the sphere, F=RnF=Rn, so the direct calculation also gives R⋅4πR2=4πR3R\cdot4\pi R^2=4\pi R^3.

The theorem applies to the complete closed boundary. If a side surface is open, cap it, apply the theorem to the closed surface, and subtract the cap flux with its induced outward orientation.

One boundary principle #

The theorems can be remembered structurally:

∫∂Ωfield=∫Ωderivative of field.\int_{\partial\Omega}\text{field} = \int_\Omega\text{derivative of field}.

  • Fundamental theorem of calculus: interval →\to endpoints.
  • Fundamental theorem for line integrals: curve →\to endpoints.
  • Green: planar region →\to boundary curve.
  • Stokes: oriented surface →\to boundary curve.
  • Divergence: volume →\to closed boundary surface.

This mnemonic does not replace hypotheses; it tells you which object and orientation to audit.

Failure modes #

  • Omitting ∥r′(t)∥\|r'(t)\| from a scalar line integral.
  • Adding an absolute value to a vector line integral and destroying orientation.
  • Inferring “curl-free implies conservative” on a domain with a hole.
  • Using a potential across disconnected domain components without fixing constants separately.
  • Treating ru×rvr_u\times r_v and rv×rur_v\times r_u as interchangeable.
  • Applying Green’s theorem with every boundary component counterclockwise.
  • Applying Stokes without matching the curve direction to the surface normal.
  • Applying the divergence theorem to an open surface without adding and subtracting caps.
  • Ignoring a field singularity inside the region, even when the field is smooth on the boundary itself.
  • Computing one symmetric half of a flux and reporting it as the whole-surface answer.

Sources

  1. bookDifferential and Integral Calculus of Functions of Several Variables and Differential Equations: Lecture Notes and Practicumpdfnotes
  2. bookLine Integrals
  3. bookConservative Vector Fields
  4. bookGreen's Theorem
  5. bookDivergence and Curl
  6. bookSurface Integrals
  7. bookStokes' Theorem
  8. bookThe Divergence Theorem

Searches titles, aliases, headings, summaries, and full text.↑↓ move ↵ open esc close