07-09 — Stokes' Theorem
Phase: 7 — Calculus IV: Vector Calculus Subject: 07-09 Prerequisites: 07-08 — Surface Integrals, 07-07 — Curl and Divergence, 07-06 — Green's Theorem Next subject: 07-10 — Divergence Theorem (Gauss)
Learning Objectives
By the end of this subject, you will be able to:
- State Stokes' theorem and identify the relationship between the circulation of a vector field around a closed curve and the flux of its curl through any surface bounded by that curve
- Apply Stokes' theorem to convert difficult 3D line integrals into surface integrals (and vice versa), choosing the simplest available surface
- Verify Stokes' theorem for a given vector field, curve, and surface
- Recognize that Green's theorem is the special case of Stokes' theorem when the surface lies in the xy-plane
- Use the right-hand rule to correctly orient a surface relative to its boundary curve and explain how orientation errors flip the sign
Core Content
1. Statement of Stokes' Theorem
⚠️ CRITICAL FOUNDATION: Stokes' Theorem ∮_C F · dr = ∬_S (curl F) · dS is the crown jewel of vector calculus. It states that the circulation around a closed curve equals the flux of curl through any surface bounded by that curve. Green's Theorem is the special case where S lies in the xy-plane.
Stokes' theorem is the crown jewel of vector calculus, generalizing Green's theorem from flat 2D regions to curved surfaces in 3D space. It connects the circulation of a vector field around a closed curve to the flux of its curl through any surface bounded by that curve:
$∮_C F · dr = ∬_S (curl F) · dS $
where: - C is a positively oriented, piecewise-smooth, simple closed curve in ℝ³ - S is any piecewise-smooth oriented surface whose boundary is C - F = ⟨P(x, y, z), Q(x, y, z), R(x, y, z)⟩ is a C¹ vector field whose domain contains S
Expanded form:
$∮_C P dx + Q dy + R dz = ∬_S (curl F) · n dS where curl F = ⟨R_y − Q_z, P_z − R_x, Q_x − P_y⟩ $
The most common form uses the surface element vector dS = n dS:
$∮_C F · dr = ∬_S (curl F) · dS $
Significance: This is the ultimate "Fundamental Theorem of Calculus" in 3D. It says the integral of a derivative (curl) over a 2D surface equals the integral of the field itself over the 1D boundary. The pattern is:
| Theorem | Domain Dimension | Integral of... |
|---|---|---|
| FTC | 1D interval | f'(x) over [a,b] = f(b) − f(a) |
| Green's | 2D region | curl (2D) over D = circulation around ∂D |
| Stokes' | 2D surface in ℝ³ | curl over S = circulation around ∂S |
| Divergence | 3D solid | divergence over E = flux through ∂E |
2. Orientation — The Right-Hand Rule
Orientation is critical. The surface normal n must be chosen consistently with the boundary traversal direction via the right-hand rule:
If you walk along the boundary C with your head pointing in the direction of the normal n, the surface S is on your left.
Equivalently: If the fingers of your right hand curl in the direction of C, your thumb points in the direction of n.
Example: Let C be the unit circle x² + y² = 1 in the plane z = 0, traversed counterclockwise as viewed from above. The right-hand rule gives n = ⟨0, 0, 1⟩ (upward).
If you traverse C clockwise, n must be ⟨0, 0, −1⟩ (downward), or you get a sign flip.
Key insight — surface independence: Stokes' theorem holds for ANY surface S with the same boundary C, as long as S is oriented consistently. If you have two different surfaces S₁ and S₂ both bounded by C:
$∬_{S₁} (curl F) · dS = ∬_{S₂} (curl F) · dS = ∮_C F · dr
$
This means you can replace a complicated surface with a simpler one — a flat disk instead of a bumpy hemisphere — as long as they share the same boundary curve.
3. Relationship to Green's Theorem
Green's theorem is exactly Stokes' theorem specialized to a flat surface in the xy-plane.
When S lies in the xy-plane with upward normal n = ⟨0, 0, 1⟩:
curl F · dS = (curl F) · ⟨0, 0, 1⟩ dA
= (Q_x − P_y) dA
∮_C F · dr = ∮_C P dx + Q dy (since dz = 0 on the boundary)
Thus: ∮_C P dx + Q dy = ∬_D (Q_x − P_y) dA ← Green's Theorem!
The third component of the 3D curl, Q_x − P_y, is exactly the 2D scalar curl from Green's theorem.
From Green's to Stokes' — the generalisation chain:
Fundamental Theorem of Calculus
→ Green's Theorem (flat 2D)
→ Stokes' Theorem (curved surface in 3D)
→ Generalized Stokes' Theorem (differential forms on manifolds)
4. Using Stokes' Theorem to Compute Line Integrals
The primary power: convert a hard 3D line integral into an easier surface integral.
Example 1 — Direct evaluation: Evaluate ∮_C F · dr where F(x, y, z) = ⟨−y², x, z²⟩ and C is the intersection of the plane y + z = 2 with the cylinder x² + y² = 1, oriented counterclockwise when viewed from above.
Step 1: Identify a surface S bounded by C.
The natural choice is the portion of the plane z = 2 − y inside the cylinder x² + y² = 1.
Step 2: Parametrize S.
r(x, y) = ⟨x, y, 2 − y⟩, where x² + y² ≤ 1.
(Surface is a graph: use x, y as parameters.)
Step 3: Compute curl F.
F = ⟨−y², x, z²⟩
curl F = ⟨R_y − Q_z, P_z − R_x, Q_x − P_y⟩
= ⟨0 − 0, 0 − 0, 1 − (−2y)⟩
= ⟨0, 0, 1 + 2y⟩
Step 4: Compute the surface element dS.
r_x = ⟨1, 0, 0⟩ (actually ∂z/∂x = 0 from z=2−y)
Wait: r(x,y) = ⟨x, y, 2−y⟩
r_x = ⟨1, 0, 0⟩
r_y = ⟨0, 1, −1⟩
r_x × r_y = ⟨0·(−1) − 0·1, 0·0 − 1·(−1), 1·1 − 0·0⟩
= ⟨0, 1, 1⟩
Check orientation: n = ⟨0, 1, 1⟩. The z-component is positive (1), which is "upward" for a CCW boundary. ✓ (Right-hand rule: CCW from above → n should point generally upward.)
dS = r_x × r_y dA = ⟨0, 1, 1⟩ dx dy
Step 5: Evaluate the flux integral.
(curl F) · dS = ⟨0, 0, 1+2y⟩ · ⟨0, 1, 1⟩ dx dy = (1 + 2y) dx dy
∮_C F · dr = ∬_D (1 + 2y) dx dy, D: x² + y² ≤ 1.
Step 6: Compute the double integral.
∬_D 1 dA = π (area of unit disk).
∬_D 2y dA = 0 (odd function of y over symmetric disk).
Total: π + 0 = π.
Directly parametrizing C would require computing the intersection curve r(t) and integrating ⟨−y², x, z²⟩ · r'(t) — much harder.
Example 2 — Multiple surfaces, same boundary: Evaluate ∮_C F · dr for F(x, y, z) = ⟨z, x, y⟩ around the unit circle in the xy-plane, oriented CCW.
Method 1 — Use the flat disk S₁: z = 0, x² + y² ≤ 1.
curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩
= ⟨1 − 1, 1 − 1, 1 − 0⟩ = ⟨0, 0, 1⟩
dS = ⟨0, 0, 1⟩ dx dy (upward for CCW)
(curl F) · dS = ⟨0, 0, 1⟩ · ⟨0, 0, 1⟩ dx dy = dx dy
∮ = ∬_D 1 dA = π.
Method 2 — Use a hemisphere S₂: z = √(1 − x² − y²), x² + y² ≤ 1.
(Same boundary C — same answer!)
For the hemisphere (using spherical coords simplifies):
n has magnitude scaled by dS. But the result must STILL be π by the theorem.
(Let's verify for fun — using surface of revolution parametrization or the fact that
the flux of a constant curl through any surface bounded by C is independent of the surface.)
∮_C F · dr = π regardless of the surface chosen. ✓
Example 3 — Surfaces with holes: What if the boundary curve consists of two concentric circles? Stokes' theorem generalizes:
$∮_{C₁} F · dr − ∮_{C₂} F · dr = ∬_{S} (curl F) · dS
$
where S is the annular region between C₁ and C₂, with C₁ oriented CCW and C₂ oriented CW (so both boundaries together form a single coherent orientation of ∂S).
This is particularly useful when F has a singularity: surround the singular point with a small circle, use Stokes' on the annular region, and let the inner circle shrink to compute the circulation.
5. Using Stokes' Theorem to Compute Surface Integrals
Stokes' theorem also works in reverse: compute a surface integral of curl F by evaluating a line integral around the boundary.
Example 4: Evaluate ∬_S (curl F) · dS where F(x, y, z) = ⟨xz, yz, xy⟩ and S is the portion of the sphere x² + y² + z² = 4 lying inside the cylinder x² + y² = 1, above the xy-plane.
Instead of parametrizing this complicated surface, use Stokes' theorem:
∬_S (curl F) · dS = ∮_C F · dr
where C is the boundary: the curve where the sphere and cylinder intersect.
The intersection: x² + y² = 1, z² = 4 − (x² + y²) = 3, so z = √3 (above xy-plane).
C is a circle of radius 1 at height z = √3.
Parametrize C: r(t) = ⟨cos t, sin t, √3⟩, t ∈ [0, 2π], CCW viewed from above.
r'(t) = ⟨−sin t, cos t, 0⟩.
F(r(t)) = ⟨cos t · √3, sin t · √3, cos t sin t⟩
= ⟨√3 cos t, √3 sin t, cos t sin t⟩
F · r' = √3 cos t (−sin t) + √3 sin t (cos t) + cos t sin t · 0
= −√3 sin t cos t + √3 sin t cos t = 0
∮_C F · dr = ∫₀^{2π} 0 dt = 0.
The surface integral must be zero. That would be extremely tedious to verify directly.
6. Physical Interpretation and Applications
Fluid dynamics: If F is the velocity field of a fluid, then: - ∮_C F · dr = circulation around C (net tendency of fluid to rotate around C) - curl F = vorticity (local rotation at each point) - Stokes' theorem: total circulation = total vorticity through any surface bounded by C
Electromagnetism: Faraday's law of induction:
$∮_C E · dr = −d/dt ∬_S B · dS $
The EMF induced around a loop equals the negative rate of change of magnetic flux through any surface bounded by the loop. This is a time-dependent generalization of Stokes' theorem combined with Maxwell's equations.
Conservative fields revisited: If curl F = 0 everywhere in a simply-connected region, then ∮_C F · dr = 0 for ALL closed curves C in that region, meaning F is conservative. This follows directly from Stokes' theorem.
7. Common Misconceptions and Edge Cases
Misconception 1: "The surface must be unique." Reality: ANY surface bounded by C works. Use the simplest one.
Misconception 2: "Orientation doesn't matter — just take the absolute value." Reality: Orientation determines the sign. Reversing the normal flips the sign of the flux. Always check the right-hand rule.
Misconception 3: "Stokes' theorem only applies to flat surfaces." Reality: It applies to any piecewise-smooth oriented surface — curved, wavy, hemispherical — as long as F is C¹ on an open region containing S.
Edge case: surface with no boundary. If S is a closed surface (like a sphere), ∂S = ∅, so:
$∬_S (curl F) · dS = 0 $
This is always true for any C² vector field — the flux of curl through a closed surface is zero. (This is also a consequence of the Divergence Theorem: ∭ div(curl F) dV = ∭ 0 dV = 0.)
Edge case: non-orientable surfaces. Stokes' theorem applies only to orientable surfaces. A Möbius strip has no consistent orientation — you can't apply Stokes' theorem to it. The surface must have two distinguishable sides.
Key Terms
- 07 09 Stokes Theorem
- Common Misconceptions and Edge Cases
- Correct: B) A circle of radius R at z = 0
- Correct: B) It is zero
- Correct: B) ⟨0, 0, 0⟩
- Correct: B) ⟨0, 0, 1⟩
- Divergence
- Edge case: non-orientable surfaces.
- Edge case: surface with no boundary.
- End-of-Subject Quiz
- Misconception 1: "The surface must be unique."
- Orientation — The Right-Hand Rule
Worked Examples
Worked Example 1: Verifying Stokes' Theorem on a Triangle
Problem: Verify Stokes' theorem for F(x, y, z) = ⟨y, z, x⟩ and S the triangular surface with vertices (1, 0, 0), (0, 1, 0), (0, 0, 1).
Step 1: Understand the geometry.
The triangle lies in the plane x + y + z = 1 in the first octant.
Boundary C: three line segments connecting the vertices in order:
C₁: (1,0,0) → (0,1,0)
C₂: (0,1,0) → (0,0,1)
C₃: (0,0,1) → (1,0,0)
Step 2: Compute the line integral directly.
C₁: from (1,0,0) to (0,1,0).
Param: r(t) = ⟨1−t, t, 0⟩, t ∈ [0, 1].
r'(t) = ⟨−1, 1, 0⟩.
F(r(t)) = ⟨t, 0, 1−t⟩.
F · r' = t(−1) + 0(1) + (1−t)(0) = −t.
∫₀¹ (−t) dt = [−t²/2]₀¹ = −1/2.
C₂: from (0,1,0) to (0,0,1).
Param: r(t) = ⟨0, 1−t, t⟩, t ∈ [0, 1].
r'(t) = ⟨0, −1, 1⟩.
F(r(t)) = ⟨1−t, t, 0⟩.
F · r' = (1−t)(0) + t(−1) + 0(1) = −t.
∫₀¹ (−t) dt = −1/2.
C₃: from (0,0,1) to (1,0,0).
Param: r(t) = ⟨t, 0, 1−t⟩, t ∈ [0, 1].
r'(t) = ⟨1, 0, −1⟩.
F(r(t)) = ⟨0, 1−t, t⟩.
F · r' = 0(1) + (1−t)(0) + t(−1) = −t.
∫₀¹ (−t) dt = −1/2.
Total line integral = −1/2 − 1/2 − 1/2 = −3/2.
Step 3: Compute curl F.
F = ⟨y, z, x⟩
curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩
= ⟨0−1, 0−1, 0−1⟩ = ⟨−1, −1, −1⟩
Step 4: Parametrize the triangular surface.
Plane: x + y + z = 1 → z = 1 − x − y.
Use x and y as parameters. Project onto xy-plane: triangle with vertices (1,0), (0,1), (0,0).
D: 0 ≤ x ≤ 1, 0 ≤ y ≤ 1 − x.
r(x, y) = ⟨x, y, 1−x−y⟩
r_x = ⟨1, 0, −1⟩
r_y = ⟨0, 1, −1⟩
r_x × r_y = ⟨1, 1, 1⟩
Check orientation: Does ⟨1,1,1⟩ point "upward" relative to the CCW boundary?
The vertices in CCW order (viewed from above) should be (1,0,0), (0,1,0), (0,0,1).
We traversed them in that order. The normal ⟨1,1,1⟩ has all positive components, which is the correct orientation (the right-hand rule confirms this — the triangle's normal points outward/upward from the first octant). ✓
dS = r_x × r_y dA = ⟨1, 1, 1⟩ dx dy
Step 5: Evaluate the surface integral.
(curl F) · dS = ⟨−1, −1, −1⟩ · ⟨1, 1, 1⟩ dx dy = −3 dx dy
∬_S (curl F) · dS = ∬_D (−3) dx dy = −3 · Area(D) = −3 · (1/2) = −3/2.
−3/2 = −3/2. ✓ Stokes' theorem verified!
Worked Example 2: Discarding a Complicated Surface
Problem: Evaluate ∮_C F · dr where F(x, y, z) = ⟨e^z, 2y, sin(x)⟩ and C is the boundary of the portion of the paraboloid z = 4 − x² − y², z ≥ 0, oriented counterclockwise as viewed from above.
Step 1: Identify C.
When z = 0: 0 = 4 − x² − y² → x² + y² = 4.
C is the circle x² + y² = 4 in the plane z = 0.
Step 2: Choose the simplest surface.
Instead of the paraboloid, use the flat disk S: z = 0, x² + y² ≤ 4.
Same boundary C — Stokes' theorem guarantees the same answer.
Step 3: Compute curl F.
F = ⟨e^z, 2y, sin(x)⟩
curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩
= ⟨0−0, e^z−cos(x), 0−0⟩
= ⟨0, e^z − cos(x), 0⟩
Step 4: On the flat disk z = 0.
curl F|_{z=0} = ⟨0, 1 − cos(x), 0⟩.
dS = ⟨0, 0, 1⟩ dx dy (upward for CCW boundary when viewed from above).
(curl F) · dS = ⟨0, 1−cos(x), 0⟩ · ⟨0, 0, 1⟩ dx dy = 0.
∮_C F · dr = ∬_D 0 dA = 0.
What if we'd used the actual paraboloid? The parametrization and integration would be much messier, but the answer would still be 0.
Worked Example 3: Circulation via Stokes' Theorem
Problem: A fluid velocity field is given by F(x, y, z) = ⟨−y³, x³, z³⟩. Find the circulation ∮_C F · dr around the circle x² + y² = 9 in the plane z = 2.
$Step 1: Choose a surface — the flat disk S: z = 2, x² + y² ≤ 9.
Step 2: Compute curl F.
F = ⟨−y³, x³, z³⟩
curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩
= ⟨0−0, 0−0, 3x²−(−3y²)⟩
= ⟨0, 0, 3x² + 3y²⟩
Step 3: Set up the surface integral.
dS = ⟨0, 0, 1⟩ dx dy (upward normal matches CCW orientation).
(curl F) · dS = (3x² + 3y²) dx dy = 3(x² + y²) dx dy.
Step 4: Evaluate over the disk x² + y² ≤ 9.
∬_D 3(x² + y²) dA = 3 ∫₀^{2π} ∫₀³ r² · r dr dθ
= 3 · 2π · [r⁴/4]₀³
= 6π · (81/4)
= 486π/4
= 243π/2
= 121.5π.
$
Worked Example 4: Conservative Field Check
Problem: Determine whether F(x, y, z) = ⟨2xy, x² + 2yz, y²⟩ is conservative by examining its curl.
curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩
P = 2xy, Q = x² + 2yz, R = y².
R_y = 2y, Q_z = 2y → R_y − Q_z = 0
P_z = 0, R_x = 0 → P_z − R_x = 0
Q_x = 2x, P_y = 2x → Q_x − P_y = 0
curl F = ⟨0, 0, 0⟩ = 0
Since curl F = 0 everywhere (and ℝ³ is simply-connected), F is conservative.
By Stokes' theorem, ∮_C F · dr = 0 for any closed curve C.
We can find a potential function φ:
φ_x = 2xy → φ = x²y + g(y, z)
φ_y = x² + 2yz → x² + g_y = x² + 2yz → g_y = 2yz → g = y²z + h(z)
φ_z = y² → y² + h'(z) = y² → h'(z) = 0 → h = C
φ(x, y, z) = x²y + y²z + C. ✓
Quiz
Q1: Stokes' Theorem relates a surface integral over S to:
A) A triple integral over the solid bounded by S B) A line integral around the boundary curve ∂S C) A double integral over the projection of S D) Another surface integral over a different surface
Correct: B)
- If you chose B: ∮_{∂S} F · dr = ∬_S (curl F) · n dS — circulation around the boundary equals the flux of curl through the surface. Correct!
- If you chose A: That's the Divergence Theorem (Gauss).
- If you chose C: Surface integrals aren't generally reduced to projections.
- If you chose D: Stokes' theorem relates different types of integrals.
Q2: Stokes' Theorem is the generalization of which earlier theorem to curved surfaces in 3D?
A) The Fundamental Theorem of Calculus B) Green's Theorem C) The Divergence Theorem D) Fubini's Theorem
Correct: B)
- If you chose B: Green's Theorem is Stokes' Theorem for a flat surface in the xy-plane (where n = ⟨0, 0, 1⟩). Stokes generalizes this to any oriented surface. Correct!
- If you chose A: FTC is the 1D special case of the generalized Stokes' theorem.
- If you chose C: Divergence theorem is a different generalization.
- If you chose D: Fubini's theorem is about iterated integrals, not about relating boundary to interior.
Q3: To apply Stokes' Theorem, the surface S must be:
A) Closed (no boundary) B) Oriented, with its boundary ∂S oriented consistently (right-hand rule) C) Flat D) Simply connected
Correct: B)
- If you chose B: The orientation of S induces an orientation on ∂S via the right-hand rule, which is essential for the theorem. Correct!
- If you chose A: Closed surfaces have no boundary, so ∮_{∂S} would be 0 — but that's the Divergence Theorem's domain.
- If you chose C: Stokes works for curved surfaces.
- If you chose D: Simple connectivity isn't required.
Q4: If F is conservative (F = ∇f), then ∮_C F · dr around any closed curve C equals:
A) f(end) − f(start) B) 0 C) ∬_S (curl F) · n dS (which equals 0 by curl(grad f)=0) D) Both B and C are correct
Correct: D)
- If you chose D: For a conservative field, ∮_C F · dr = f(P) − f(P) = 0 by FTLI, and also ∬_S curl(∇f) · n dS = ∬_S 0 dS = 0 by Stokes. Both reasons confirm the answer. Correct!
- If you chose A: For closed curves, start = end, so f(end) − f(start) = 0.
- If you chose B: Correct but incomplete.
- If you chose C: Also correct but incomplete.
Q5: For F = ⟨−y, x, z⟩ and S the upper hemisphere x² + y² + z² = 1, z ≥ 0, Stokes' theorem gives ∮_{∂S} F · dr equal to:
A) 0 B) ∬_S 2 dS = 2 · 2π = 4π C) 2π D) π
Correct: C)
- If you chose C: curl F = ⟨0, 0, 2⟩. ∬_S ⟨0,0,2⟩ · n dS. For the unit hemisphere, n dS = ⟨x, y, z⟩ dS. So integrand = 2z dS. In spherical: z = cos φ, dS = sin φ dφ dθ. ∫₀^{2π} ∫₀^{π/2} 2 cos φ sin φ dφ dθ = 2π. (Or by the boundary: the boundary circle r(t) = ⟨cos t, sin t, 0⟩ gives ∫₀^{2π} (sin² t + cos² t) dt = 2π.) Correct!
- If you chose A: The field has nonzero curl — the circulation is nonzero.
- If you chose B: 2 dS integrated over the hemisphere gives more than the correct result.
- If you chose D: Half the correct value.
Q6: The orientation of ∂S induced by the orientation of S follows:
A) The left-hand rule B) The right-hand rule: thumb points along n, fingers curl in the direction of ∂S C) The curve direction is arbitrary D) Clockwise always
Correct: B)
- If you chose B: If your thumb points in the direction of the normal n, your fingers curl in the positive direction of ∂S. Correct!
- If you chose A: The right-hand rule is standard.
- If you chose C: The orientation must be consistent with n for the theorem to hold.
- If you chose D: The direction depends on which way n points.
Practice Problems
(Answers are below. Try each problem before checking.)
Problem 1: Verify Stokes' theorem for F(x, y, z) = ⟨x, y, z⟩ and S the unit disk x² + y² ≤ 1 in the plane z = 0, with upward normal.
Problem 2: Use Stokes' theorem to evaluate ∮_C F · dr where F(x, y, z) = ⟨z², 2x, y³⟩ and C is the triangle with vertices (1, 0, 0), (0, 1, 0), (0, 0, 1), oriented counterclockwise as viewed from the first octant.
Problem 3: Evaluate ∮_C F · dr for F(x, y, z) = ⟨−y, x, z⟩ and C being the intersection of the cylinder x² + y² = 1 with the plane z = y, oriented counterclockwise when viewed from the positive z-axis.
Problem 4: Use Stokes' theorem to evaluate ∬_S (curl F) · dS where F(x, y, z) = ⟨x²z, xy², z²⟩ and S is the portion of the sphere x² + y² + z² = 9 that lies above the plane z = 1.
Problem 5: Show that ∮_C (y dx + z dy + x dz) = 0 for any closed curve C lying on a plane. (Hint: Consider the plane ax + by + cz = d.)
Problem 6: Verify that for F(x, y, z) = ⟨y, z, x⟩, the flux of curl F through the closed hemisphere x² + y² + z² = 1, z ≥ 0 (including the base disk) is zero. Explain why this must be true.
Problem 7: A curve C is the intersection of the paraboloid z = x² + y² and the plane z = 4. Evaluate ∮_C ⟨y, xz³, −zy³⟩ · dr using any valid surface.
Answers (click to expand)
**Problem 1:** Line integral: C is the unit circle x² + y² = 1, z = 0, CCW. Param: r(t) = ⟨cos t, sin t, 0⟩, t ∈ [0, 2π]. F(r) = ⟨cos t, sin t, 0⟩. r' = ⟨−sin t, cos t, 0⟩. F · r' = −cos t sin t + sin t cos t = 0. ∮ = 0. Surface integral: curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩ = ⟨0, 0, 0⟩. ∬_S 0 dA = 0. ✓ **Problem 2:** Use the triangular surface in the plane x + y + z = 1 (first octant). curl F: P = z², Q = 2x, R = y³. curl F = ⟨3y²−0, 2z−0, 2−0⟩ = ⟨3y², 2z, 2⟩. Surface: r(x,y) = ⟨x, y, 1−x−y⟩, D: 0 ≤ x ≤ 1, 0 ≤ y ≤ 1−x. r_x × r_y = ⟨1, 1, 1⟩ (as in Worked Example 1). Check orientation: vertices in order (1,0,0)→(0,1,0)→(0,0,1) gives a CCW boundary viewed from the positive octant. The normal ⟨1,1,1⟩ is correct. ✓ dS = ⟨1, 1, 1⟩ dx dy. (curl F) · dS = 3y² + 2(1−x−y) + 2 = 3y² + 2 − 2x − 2y + 2 = 3y² − 2x − 2y + 4. ∬_D (3y² − 2x − 2y + 4) dA. Integrate: ∫₀¹ ∫₀^{1−x} 3y² dy dx = ∫₀¹ [y³]₀^{1−x} dx = ∫₀¹ (1−x)³ dx = [−(1−x)⁴/4]₀¹ = 1/4 → 3·(1/4) = 3/4. ∫₀¹ ∫₀^{1−x} (−2x) dy dx = ∫₀¹ −2x(1−x) dx = ∫₀¹ (−2x + 2x²) dx = [−x² + 2x³/3]₀¹ = −1 + 2/3 = −1/3. ∫₀¹ ∫₀^{1−x} (−2y) dy dx = ∫₀¹ [−y²]₀^{1−x} dx = ∫₀¹ −(1−x)² dx = [(1−x)³/3]₀¹ = −1/3. ∫₀¹ ∫₀^{1−x} 4 dy dx = 4 · Area(D) = 4 · (1/2) = 2. Total = 3/4 − 1/3 − 1/3 + 2 = 3/4 − 2/3 + 2 = 9/12 − 8/12 + 24/12 = 25/12. ∮_C F · dr = 25/12. **Problem 3:** C is the intersection of cylinder x²+y²=1 and plane z=y. Project C onto xy-plane → unit circle. Use the flat disk S: r(x,y) = ⟨x, y, y⟩, x²+y² ≤ 1. r_x = ⟨1, 0, 0⟩, r_y = ⟨0, 1, 1⟩. r_x × r_y = ⟨0, −1, 1⟩. Check orientation: from above (positive z), CCW boundary. Does ⟨0,−1,1⟩ point generally upward? z-component is positive (1). ✓ curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩ F = ⟨−y, x, z⟩: P=−y, Q=x, R=z. curl F = ⟨0−0, 0−0, 1−(−1)⟩ = ⟨0, 0, 2⟩. (curl F) · dS = ⟨0, 0, 2⟩ · ⟨0, −1, 1⟩ dx dy = 2 dx dy. ∮ = ∬_D 2 dA = 2 · π = 2π. **Problem 4:** The boundary C is the circle where the sphere x²+y²+z²=9 intersects z=1: x²+y²+1=9 → x²+y²=8, at height z=1. By Stokes' theorem: ∬_S (curl F) · dS = ∮_C F · dr. Instead of parametrizing the spherical cap, use S₁: the flat disk z=1, x²+y²≤8, with upward normal n=⟨0,0,1⟩. curl F (compute first): F = ⟨x²z, xy², z²⟩ curl F = ⟨0−0, x²−0, y²−0⟩ = ⟨0, x², y²⟩. dS = ⟨0, 0, 1⟩ dx dy. (curl F) · dS = y² dx dy. ∬_{S₁} (curl F) · dS = ∬_{x²+y²≤8} y² dx dy. In polar: y = r sin θ. ∫₀^{2π} ∫₀^{√8} r² sin²θ · r dr dθ = ∫₀^{2π} sin²θ dθ · ∫₀^{√8} r³ dr. ∫₀^{2π} sin²θ dθ = π. ∫₀^{√8} r³ dr = [r⁴/4]₀^{√8} = 64/4 = 16. Total = π · 16 = 16π. Alternatively, using ∮_C F · dr directly: C: x = √8 cos t, y = √8 sin t, z = 1, t ∈ [0, 2π]. r'(t) = ⟨−√8 sin t, √8 cos t, 0⟩. F(r) = ⟨(8 cos²t)(1), √8 cos t · 8 sin²t, 1⟩ (wait — careful: F = ⟨x²z, xy², z²⟩). F(r) = ⟨8 cos²t, √8 cos t · 8 sin²t, 1⟩. Hmm — xy² = (√8 cos t)(8 sin²t) = 8√8 cos t sin²t. F · r' = (8 cos²t)(−√8 sin t) + (8√8 cos t sin²t)(√8 cos t) = −8√8 cos²t sin t + 64 cos²t sin²t. ∫₀^{2π} (−8√8 cos²t sin t) dt: let u = cos t, du = −sin t dt. = ∫ (8√8 u²) du = (8√8/3)u³. Evaluated over full period: cos³(2π) − cos³(0) = 1 − 1 = 0. ∫₀^{2π} 64 cos²t sin²t dt = 64 ∫ (1/4) sin²(2t) dt = 16 ∫₀^{2π} sin²(2t) dt. Let u = 2t: = 16 · (1/2) ∫₀^{4π} sin²u du = 8 · (2π) = 16π. Direct line integral gives 16π. Matches the surface integral. ✓ **Problem 5:** Show that for the vector field F = ⟨y, z, x⟩, the circulation around any closed curve C depends on the projected areas, not the specific shape: ∮_C F·dr = −(A_{yz} + A_{xz} + A_{xy}). curl F = ⟨−1, −1, −1⟩. By Stokes' theorem: ∮_C F·dr = ∬_S ⟨−1,−1,−1⟩ · dS = −∬_S (n_x + n_y + n_z) dS where n = ⟨n_x, n_y, n_z⟩ is the unit normal. For a flat planar surface with constant normal n and area A: ∮_C F·dr = −(n_x + n_y + n_z) A. Each n_i·A is the projected area onto the coordinate plane perpendicular to axis i. So: ∮_C F·dr = −(A_{yz} + A_{xz} + A_{xy}), where A_{ab} is the projected signed area. For example, if the curve lies in the plane z = 0 with upward normal n = ⟨0, 0, 1⟩: ∮ = −(0 + 0 + 1)·A = −A = −π for the unit circle. **Problem 6:** Show that for a closed surface formed by a hemisphere and its base disk, ∬ (curl F)·dS = 0 for any vector field F with continuous second partials. By the divergence theorem applied to curl F: ∭_E div(curl F) dV = ∭_E 0 dV = 0. This holds because div(curl F) ≡ 0 for any C² vector field F (a fundamental vector identity: the divergence of a curl is always zero). **Problem 7:** For the curve C at z = 4 where x² + y² = 4, use the flat disk S: z = 4, x² + y² ≤ 4, upward normal n = ⟨0, 0, 1⟩ to evaluate ∮_C F · dr where F = ⟨y, xz³, −zy³⟩. curl F = ⟨R_y−Q_z, P_z−R_x, Q_x−P_y⟩ = ⟨−3zy² − 3xz², 0 − (−y³), z³ − 1⟩ = ⟨−3zy² − 3xz², y³, z³ − 1⟩. On S (z = 4): curl F = ⟨−12y² − 48x, y³, 63⟩. dS = ⟨0, 0, 1⟩ dx dy. (curl F) · dS = 63 dx dy. ∮ = ∬_{x²+y²≤4} 63 dA = 63 · π · 4 = 252π.Summary
- Stokes' theorem ∮_C F · dr = ∬_S (curl F) · dS is the generalization of Green's theorem to curved surfaces in ℝ³ — circulation around a closed curve equals the flux of curl through any surface bounded by that curve
- The surface S in Stokes' theorem is not unique; you can choose any surface bounded by C (flat disk, paraboloid, hemisphere, etc.) — always pick the simplest one with the easiest parametrization
- Orientation is determined by the right-hand rule: the boundary traversal and surface normal must be consistent; using the wrong normal flips the sign; for non-orientable surfaces (like Möbius strips), Stokes' theorem does not apply
Pitfalls
-
Choosing the wrong surface normal (violating the right-hand rule). The most common Stokes' theorem error is using a normal that doesn't match the boundary orientation. If the boundary is traversed counterclockwise as viewed from above, the normal must point generally upward. A mismatched orientation flips the sign of the result.
-
Picking a surface that is harder to parametrize than necessary. Stokes' theorem lets you choose ANY surface with the given boundary. If the problem describes a curved surface (paraboloid, hemisphere), replace it with the flat disk spanning the same boundary. The answer is identical and the computation is dramatically simpler.
-
Forgetting that Stokes' theorem requires an oriented (two-sided) surface. Non-orientable surfaces like the Möbius strip don't have a consistent normal — Stokes' theorem simply cannot be applied. Always verify the surface is orientable before using the theorem.
-
Computing curl F incorrectly before applying the theorem. Since Stokes' theorem integrates curl F over S, a curl computation error propagates to the final answer. Curl F = ⟨R_y − Q_z, P_z − R_x, Q_x − P_y⟩ — pay special attention to which component gets which pair of derivatives.
-
Confusing Stokes' theorem with the Divergence theorem. Stokes' theorem converts a line integral around a boundary to a surface integral of curl. The Divergence theorem converts flux through a closed surface to a volume integral of divergence. They address different problems — applying Stokes' when you need the Divergence theorem (or vice versa) produces nonsense.
Next Steps
Move on to 07-10 — Divergence Theorem (Gauss) to complete the trinity of fundamental theorems in vector calculus — learn how the flux through a closed surface relates to the divergence of the field throughout the enclosed volume, and explore applications to electromagnetism (Gauss's law), fluid dynamics, and heat transfer.