Math Core

Lesson 5.7 · Vector Calculus

Stokes' theorem

Green's theorem relates circulation around a closed curve in the plane to the curl inside it. Stokes' theorem does the same thing for a surface floating in space: the circulation of F\mathbf{F} around the boundary curve equals the flux of curl⁡F\operatorname{curl}\mathbf{F} through the surface. It lets you trade a hard line integral for an easier surface integral, or the reverse.

Orientation: the right-hand rule

Let SS be an oriented surface with unit normal n\mathbf{n}, bounded by a simple closed curve CC. The boundary gets the positive orientation that matches n\mathbf{n}: if you walk along CC with your head pointing in the direction of n\mathbf{n}, the surface is on your left. Equivalently, curl the fingers of your right hand in the direction of CC and your thumb points along n\mathbf{n}.

For an upward-oriented surface, this means CC runs counterclockwise when viewed from above.

The theorem

Stokes' theorem

Let SS be an oriented, piecewise-smooth surface bounded by a simple, closed, piecewise-smooth curve CC with positive orientation. If F\mathbf{F} has continuous partial derivatives on an open region containing SS, then

∮CF⋅dr=∬Scurl⁡F⋅dS.\oint_C \mathbf{F}\cdot d\mathbf{r} = \iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S}.

The idea behind it is the same cancellation as in Green's theorem. Chop SS into tiny patches. Around each patch, the circulation is about (curl⁡F⋅n) ΔS(\operatorname{curl}\mathbf{F}\cdot\mathbf{n})\,\Delta S. Adding them, the circulations along shared interior edges cancel (each is traversed once in each direction), leaving only the outer boundary CC.

If SS is a flat region DD in the xyxy-plane with n=k\mathbf{n} = \mathbf{k}, then curl⁡F⋅k=Qx−Py\operatorname{curl}\mathbf{F}\cdot\mathbf{k} = Q_x - P_y, and Stokes' theorem is exactly Green's theorem.

The surface doesn't matter, only its boundary

The right side depends on SS only through its boundary. So any two oriented surfaces with the same positively oriented boundary curve give the same value of ∬Scurl⁡F⋅dS\iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S}. This is a powerful shortcut: replace a curved surface by the flat disk with the same edge.

Worked example: Verifying on a hemisphere

Let F=⟨−y, x, z⟩\mathbf{F} = \langle -y,\ x,\ z\rangle and let SS be the upper hemisphere x2+y2+z2=4x^2 + y^2 + z^2 = 4, z≥0z \ge 0, oriented upward. Compute both sides of Stokes' theorem.

Line integral. The boundary is the circle x2+y2=4x^2 + y^2 = 4 in the plane z=0z = 0, counterclockwise from above: r(t)=⟨2cos⁡t, 2sin⁡t, 0⟩\mathbf{r}(t) = \langle 2\cos t,\ 2\sin t,\ 0\rangle. Then F=⟨−2sin⁡t, 2cos⁡t, 0⟩\mathbf{F} = \langle -2\sin t,\ 2\cos t,\ 0\rangle and r′=⟨−2sin⁡t, 2cos⁡t, 0⟩\mathbf{r}' = \langle -2\sin t,\ 2\cos t,\ 0\rangle, so F⋅r′=4\mathbf{F}\cdot\mathbf{r}' = 4 and the integral is 4⋅2π=8π4\cdot 2\pi = 8\pi.

Surface integral. curl⁡F=⟨0−0, 0−0, 1−(−1)⟩=⟨0,0,2⟩\operatorname{curl}\mathbf{F} = \langle 0 - 0,\ 0 - 0,\ 1 - (-1)\rangle = \langle 0, 0, 2\rangle. Since only the boundary matters, use the flat disk x2+y2≤4x^2 + y^2 \le 4 with n=k\mathbf{n} = \mathbf{k}: the flux is 2⋅4π=8π2\cdot 4\pi = 8\pi. The two sides agree.

Worked example: A line integral around a triangle

Evaluate ∮CF⋅dr\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r} for F=⟨z, x, y⟩\mathbf{F} = \langle z,\ x,\ y\rangle, where CC is the triangle with vertices (1,0,0)(1, 0, 0), (0,1,0)(0, 1, 0), (0,0,1)(0, 0, 1), oriented counterclockwise when viewed from above.

Directly, this is three line integrals. Instead, curl⁡F=⟨1−0, 1−0, 1−0⟩=⟨1,1,1⟩\operatorname{curl}\mathbf{F} = \langle 1 - 0,\ 1 - 0,\ 1 - 0\rangle = \langle 1, 1, 1\rangle. The triangle bounds the piece of the plane z=1−x−yz = 1 - x - y over the triangle DD with vertices (0,0)(0,0), (1,0)(1,0), (0,1)(0,1). The upward normal is ⟨−gx,−gy,1⟩=⟨1,1,1⟩\langle -g_x, -g_y, 1\rangle = \langle 1, 1, 1\rangle, so

∮CF⋅dr=∬D⟨1,1,1⟩⋅⟨1,1,1⟩ dA=3⋅area(D)=3⋅12=32.\oint_C \mathbf{F}\cdot d\mathbf{r} = \iint_D \langle 1, 1, 1\rangle\cdot\langle 1, 1, 1\rangle\,dA = 3\cdot\text{area}(D) = 3\cdot\frac{1}{2} = \frac{3}{2}.

Worked example: A curl flux through its boundary

Evaluate ∬Scurl⁡F⋅dS\displaystyle\iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S} for F=⟨yz, −xz, exy⟩\mathbf{F} = \langle yz,\ -xz,\ e^{xy}\rangle, where SS is the part of the paraboloid z=5−x2−y2z = 5 - x^2 - y^2 above the plane z=1z = 1, oriented upward.

Computing the curl and then a flux integral would be messy. The boundary is where 5−x2−y2=15 - x^2 - y^2 = 1: the circle x2+y2=4x^2 + y^2 = 4 at height z=1z = 1, counterclockwise from above. Parametrize r(t)=⟨2cos⁡t, 2sin⁡t, 1⟩\mathbf{r}(t) = \langle 2\cos t,\ 2\sin t,\ 1\rangle. On it, F=⟨2sin⁡t, −2cos⁡t, e4cos⁡tsin⁡t⟩\mathbf{F} = \langle 2\sin t,\ -2\cos t,\ e^{4\cos t\sin t}\rangle and r′=⟨−2sin⁡t, 2cos⁡t, 0⟩\mathbf{r}' = \langle -2\sin t,\ 2\cos t,\ 0\rangle, so

F⋅r′=−4sin⁡2t−4cos⁡2t=−4,∬Scurl⁡F⋅dS=∫02π−4 dt=−8π.\mathbf{F}\cdot\mathbf{r}' = -4\sin^2 t - 4\cos^2 t = -4, \qquad \iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S} = \int_0^{2\pi} -4\,dt = -8\pi.

The exye^{xy} term never mattered, because r′\mathbf{r}' has no zz-component.

Consequences

  • If curl⁡F=0\operatorname{curl}\mathbf{F} = \mathbf{0}, every closed-curve integral is 00. This is another view of why curl-free fields on R3\mathbb{R}^3 are conservative.
  • If SS is a closed surface (like a whole sphere), it has no boundary, so ∬Scurl⁡F⋅dS=0\iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S} = 0.
  • In a fluid, curl⁡F⋅n\operatorname{curl}\mathbf{F}\cdot\mathbf{n} at a point measures the circulation per unit area around a tiny loop perpendicular to n\mathbf{n}. The paddle wheel spins fastest when its axle lines up with the curl.

Common mistake

Match the orientations. If the problem says the surface is oriented upward, the boundary must run counterclockwise when viewed from above (and vice versa). A mismatched pair gives the right number with the wrong sign.

Tip

When asked for ∬Scurl⁡F⋅dS\iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S} over a complicated surface, first look at its boundary. Either compute the line integral around it, or swap in the simplest surface (often a flat disk) with the same boundary.

Practice

Practice 1

Let F=⟨−y, x, 0⟩\mathbf{F} = \langle -y,\ x,\ 0\rangle and let SS be the upper half of the unit sphere, oriented upward. Evaluate ∬Scurl⁡F⋅dS\displaystyle\iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 2

Let F=⟨2z, x, 3y⟩\mathbf{F} = \langle 2z,\ x,\ 3y\rangle. Let CC be the ellipse where the plane z=yz = y meets the cylinder x2+y2=1x^2 + y^2 = 1, oriented counterclockwise when viewed from above. Evaluate ∮CF⋅dr\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 3

Surfaces S1S_1 (a hemisphere) and S2S_2 (a paraboloid cap) both have the unit circle in the xyxy-plane as their boundary, and both are oriented upward. What can you say about ∬S1curl⁡F⋅dS\iint_{S_1}\operatorname{curl}\mathbf{F}\cdot d\mathbf{S} and ∬S2curl⁡F⋅dS\iint_{S_2}\operatorname{curl}\mathbf{F}\cdot d\mathbf{S}?

Practice 4

Evaluate ∮Cx2 dx+y2 dy+z2 dz\displaystyle\oint_C x^2\,dx + y^2\,dy + z^2\,dz, where CC is any simple closed curve in space.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 5

Let F=⟨y, z, x⟩\mathbf{F} = \langle y,\ z,\ x\rangle and let CC be the triangle with vertices (2,0,0)(2, 0, 0), (0,2,0)(0, 2, 0), (0,0,2)(0, 0, 2), oriented counterclockwise when viewed from above. Evaluate ∮CF⋅dr\displaystyle\oint_C \mathbf{F}\cdot d\mathbf{r}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 6

Let F=⟨yz, −xz, xyz⟩\mathbf{F} = \langle yz,\ -xz,\ xyz\rangle and let SS be the part of z=11−x2−y2z = 11 - x^2 - y^2 with z≥2z \ge 2, oriented upward. Evaluate ∬Scurl⁡F⋅dS\displaystyle\iint_S \operatorname{curl}\mathbf{F}\cdot d\mathbf{S}.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

A surface SS is the part of the sphere x2+y2+z2=1x^2 + y^2 + z^2 = 1 with z≤0z \le 0, oriented with the outward normal (pointing away from the origin, so downward). Which way must the boundary circle be traversed for Stokes' theorem to apply?