A vector field on R n \mathbb{R}^n R n is a function F : D ⊆ R n → R n \mathbf{F} : D \subseteq \mathbb{R}^n \to \mathbb{R}^n F : D ⊆ R n → R n .
A vector field F = ( P , Q , R ) \mathbf{F} = (P, Q, R) F = ( P , Q , R ) on R 3 \mathbb{R}^3 R 3 is conservative if there exists a scalar Potential ϕ \phi ϕ such that F = ∇ ϕ \mathbf{F} = \nabla \phi F = ∇ ϕ .
Theorem 3.1. F \mathbf{F} F is conservative (on a connected domain) if and only if ∇ × F = 0 \nabla \times \mathbf{F} = \mathbf{0} ∇ × F = 0 .
Proof. (⇒ \Rightarrow ⇒ ) If F = ∇ ϕ \mathbf{F} = \nabla \phi F = ∇ ϕ with ϕ ∈ C 2 \phi \in C^2 ϕ ∈ C 2 Then by Clairaut’s theorem f x y = f y x f_{xy} = f_{yx} f x y = f y x Etc., which directly gives ∇ × ( ∇ ϕ ) = 0 \nabla \times (\nabla \phi) = \mathbf{0} ∇ × ( ∇ ϕ ) = 0 .
(⇐ \Leftarrow ⇐ ) If ∇ × F = 0 \nabla \times \mathbf{F} = \mathbf{0} ∇ × F = 0 on a connected domain D D D Then for any Closed curve C C C in D D D Stokes’ theorem gives ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ d S = 0 \oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = 0 ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ d S = 0 . This means line integrals are path-independent, so we can define ϕ ( x ) = ∫ x 0 x F ⋅ d r \phi(\mathbf{x}) = \int_{\mathbf{x}_0}^{\mathbf{x}} \mathbf{F} \cdot d\mathbf{r} ϕ ( x ) = ∫ x 0 x F ⋅ d r (independent of path), And one verifies that ∇ ϕ = F \nabla \phi = \mathbf{F} ∇ ϕ = F . ■ \blacksquare ■
Definition. The line integral of a vector field F \mathbf{F} F along a curve C C C parameterised by r ( t ) \mathbf{r}(t) r ( t ) for a ≤ t ≤ b a \leq t \leq b a ≤ t ≤ b is
∫ C F ⋅ d r = ∫ a b F ( r ( t ) ) ⋅ r ′ ( t ) d t \int_C \mathbf{F} \cdot d\mathbf{r} = \int_a^b \mathbf{F}(\mathbf{r}(t)) \cdot \mathbf{r}'(t)\, dt ∫ C F ⋅ d r = ∫ a b F ( r ( t )) ⋅ r ′ ( t ) d t Theorem 3.2 (Fundamental Theorem for Line Integrals). If F = ∇ ϕ \mathbf{F} = \nabla \phi F = ∇ ϕ and C C C is a Piecewise smooth curve from A A A to B B B Then
∫ C F ⋅ d r = ϕ ( B ) − ϕ ( A ) \int_C \mathbf{F} \cdot d\mathbf{r} = \phi(B) - \phi(A) ∫ C F ⋅ d r = ϕ ( B ) − ϕ ( A ) Proof. Parameterise C C C by r ( t ) \mathbf{r}(t) r ( t ) for t ∈ [ a , b ] t \in [a,b] t ∈ [ a , b ] with r ( a ) = A \mathbf{r}(a) = A r ( a ) = A r ( b ) = B \mathbf{r}(b) = B r ( b ) = B .
∫ C F ⋅ d r = ∫ a b ∇ ϕ ( r ( t ) ) ⋅ r ′ ( t ) d t = ∫ a b d d t [ ϕ ( r ( t ) ) ] d t = ϕ ( r ( b ) ) − ϕ ( r ( a ) ) = ϕ ( B ) − ϕ ( A ) \int_C \mathbf{F} \cdot d\mathbf{r} = \int_a^b \nabla \phi(\mathbf{r}(t)) \cdot \mathbf{r}'(t)\, dt = \int_a^b \frac{d}{dt}\left[\phi(\mathbf{r}(t))\right]\, dt = \phi(\mathbf{r}(b)) - \phi(\mathbf{r}(a)) = \phi(B) - \phi(A) ∫ C F ⋅ d r = ∫ a b ∇ ϕ ( r ( t )) ⋅ r ′ ( t ) d t = ∫ a b d t d [ ϕ ( r ( t )) ] d t = ϕ ( r ( b )) − ϕ ( r ( a )) = ϕ ( B ) − ϕ ( A ) By the chain rule. ■ \blacksquare ■
Corollary 3.3. The line integral of a conservative field around any closed curve is zero.
Problem. Evaluate ∫ C F ⋅ d r \int_C \mathbf{F} \cdot d\mathbf{r} ∫ C F ⋅ d r where F = ( y , x + e y , z + 1 ) \mathbf{F} = (y,\, x + e^y,\, z + 1) F = ( y , x + e y , z + 1 ) and C C C is the Curve r ( t ) = ( t , t 2 , t 3 ) \mathbf{r}(t) = (t,\, t^2,\, t^3) r ( t ) = ( t , t 2 , t 3 ) for 0 ≤ t ≤ 1 0 \leq t \leq 1 0 ≤ t ≤ 1 .
Solution First check if F \mathbf{F} F is conservative. Compute the curl:
( ∇ × F ) x = ∂ ( z + 1 ) ∂ y − ∂ ( x + e y ) ∂ z = 0 − 0 = 0 (\nabla \times \mathbf{F})_x = \frac{\partial (z+1)}{\partial y} - \frac{\partial (x + e^y)}{\partial z} = 0 - 0 = 0 ( ∇ × F ) x = ∂ y ∂ ( z + 1 ) − ∂ z ∂ ( x + e y ) = 0 − 0 = 0 ( ∇ × F ) y = ∂ y ∂ z − ∂ ( z + 1 ) ∂ x = 0 − 0 = 0 (\nabla \times \mathbf{F})_y = \frac{\partial y}{\partial z} - \frac{\partial (z+1)}{\partial x} = 0 - 0 = 0 ( ∇ × F ) y = ∂ z ∂ y − ∂ x ∂ ( z + 1 ) = 0 − 0 = 0 ( ∇ × F ) z = ∂ ( x + e y ) ∂ x − ∂ y ∂ y = 1 − 1 = 0 (\nabla \times \mathbf{F})_z = \frac{\partial (x + e^y)}{\partial x} - \frac{\partial y}{\partial y} = 1 - 1 = 0 ( ∇ × F ) z = ∂ x ∂ ( x + e y ) − ∂ y ∂ y = 1 − 1 = 0 Since ∇ × F = 0 \nabla \times \mathbf{F} = \mathbf{0} ∇ × F = 0 , F \mathbf{F} F is conservative. Find ϕ \phi ϕ :
∂ ϕ ∂ x = y ⟹ ϕ = x y + g ( y , z ) \frac{\partial \phi}{\partial x} = y \implies \phi = xy + g(y,z) ∂ x ∂ ϕ = y ⟹ ϕ = x y + g ( y , z ) ∂ ϕ ∂ y = x + g y = x + e y ⟹ g y = e y ⟹ g = e y + h ( z ) \frac{\partial \phi}{\partial y} = x + g_y = x + e^y \implies g_y = e^y \implies g = e^y + h(z) ∂ y ∂ ϕ = x + g y = x + e y ⟹ g y = e y ⟹ g = e y + h ( z ) ∂ ϕ ∂ z = h ′ ( z ) = z + 1 ⟹ h ( z ) = z 2 2 + z + C \frac{\partial \phi}{\partial z} = h'(z) = z + 1 \implies h(z) = \frac{z^2}{2} + z + C ∂ z ∂ ϕ = h ′ ( z ) = z + 1 ⟹ h ( z ) = 2 z 2 + z + C ϕ ( x , y , z ) = x y + e y + z 2 2 + z \phi(x,y,z) = xy + e^y + \frac{z^2}{2} + z ϕ ( x , y , z ) = x y + e y + 2 z 2 + z Now apply the fundamental theorem:
∫ C F ⋅ d r = ϕ ( 1 , 1 , 1 ) − ϕ ( 0 , 0 , 0 ) = ( 1 + e + 1 2 + 1 ) − ( 1 + 1 ) = e + 1 2 \int_C \mathbf{F} \cdot d\mathbf{r} = \phi(1, 1, 1) - \phi(0, 0, 0) = \left(1 + e + \frac{1}{2} + 1\right) - (1 + 1) = e + \frac{1}{2} ∫ C F ⋅ d r = ϕ ( 1 , 1 , 1 ) − ϕ ( 0 , 0 , 0 ) = ( 1 + e + 2 1 + 1 ) − ( 1 + 1 ) = e + 2 1 ■ \blacksquare ■
Theorem 3.4 (Green’s Theorem). Let C C C be a positively oriented, piecewise smooth, simple closed Curve bounding a region D D D . If P P P and Q Q Q have continuous partial derivatives on an open set Containing D D D Then
∮ C P d x + Q d y = ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d A \oint_C P\, dx + Q\, dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA ∮ C P d x + Q d y = ∬ D ( ∂ x ∂ Q − ∂ y ∂ P ) d A Proof (for a Type I region). Assume D D D is a Type I region: D = ( x , y ) : a ≤ x ≤ b , g 1 ( x ) ≤ y ≤ g 2 ( x ) D = \\{(x,y) : a \leq x \leq b,\, g_1(x) \leq y \leq g_2(x)\\} D = ( x , y ) : a ≤ x ≤ b , g 1 ( x ) ≤ y ≤ g 2 ( x ) . The boundary C C C consists of Four pieces: bottom C 1 C_1 C 1 Right C 2 C_2 C 2 Top C 3 C_3 C 3 And left C 4 C_4 C 4 .
We first prove ∮ C P d x = − ∬ D ∂ P ∂ y d A \oint_C P\, dx = -\iint_D \frac{\partial P}{\partial y}\, dA ∮ C P d x = − ∬ D ∂ y ∂ P d A .
On C 1 C_1 C 1 : y = g 1 ( x ) y = g_1(x) y = g 1 ( x ) , x x x goes from a a a to b b b So ∫ C 1 P d x = ∫ a b P ( x , g 1 ( x ) ) d x \int_{C_1} P\, dx = \int_a^b P(x, g_1(x))\, dx ∫ C 1 P d x = ∫ a b P ( x , g 1 ( x )) d x .
On C 3 C_3 C 3 : y = g 2 ( x ) y = g_2(x) y = g 2 ( x ) , x x x goes from b b b to a a a So ∫ C 3 P d x = ∫ b a P ( x , g 2 ( x ) ) d x = − ∫ a b P ( x , g 2 ( x ) ) d x \int_{C_3} P\, dx = \int_b^a P(x, g_2(x))\, dx = -\int_a^b P(x, g_2(x))\, dx ∫ C 3 P d x = ∫ b a P ( x , g 2 ( x )) d x = − ∫ a b P ( x , g 2 ( x )) d x .
On C 2 C_2 C 2 and C 4 C_4 C 4 : x x x is constant, so d x = 0 dx = 0 d x = 0 Hence ∫ C 2 P d x = ∫ C 4 P d x = 0 \int_{C_2} P\, dx = \int_{C_4} P\, dx = 0 ∫ C 2 P d x = ∫ C 4 P d x = 0 .
Therefore:
∮ C P d x = ∫ a b P ( x , g 1 ( x ) ) d x − ∫ a b P ( x , g 2 ( x ) ) d x \oint_C P\, dx = \int_a^b P(x, g_1(x))\, dx - \int_a^b P(x, g_2(x))\, dx ∮ C P d x = ∫ a b P ( x , g 1 ( x )) d x − ∫ a b P ( x , g 2 ( x )) d x Meanwhile:
− ∬ D ∂ P ∂ y d A = − ∫ a b ∫ g 1 ( x ) g 2 ( x ) ∂ P ∂ y d y d x = − ∫ a b [ P ( x , g 2 ( x ) ) − P ( x , g 1 ( x ) ) ] d x -\iint_D \frac{\partial P}{\partial y}\, dA = -\int_a^b \int_{g_1(x)}^{g_2(x)} \frac{\partial P}{\partial y}\, dy\, dx = -\int_a^b \left[P(x, g_2(x)) - P(x, g_1(x))\right]\, dx − ∬ D ∂ y ∂ P d A = − ∫ a b ∫ g 1 ( x ) g 2 ( x ) ∂ y ∂ P d y d x = − ∫ a b [ P ( x , g 2 ( x )) − P ( x , g 1 ( x )) ] d x = ∫ a b P ( x , g 1 ( x ) ) d x − ∫ a b P ( x , g 2 ( x ) ) d x = ∮ C P d x = \int_a^b P(x, g_1(x))\, dx - \int_a^b P(x, g_2(x))\, dx = \oint_C P\, dx = ∫ a b P ( x , g 1 ( x )) d x − ∫ a b P ( x , g 2 ( x )) d x = ∮ C P d x An identical argument (using Type II regions) proves ∮ C Q d y = ∬ D ∂ Q ∂ x d A \oint_C Q\, dy = \iint_D \frac{\partial Q}{\partial x}\, dA ∮ C Q d y = ∬ D ∂ x ∂ Q d A . Adding the two equalities gives the result. For general regions, decompose D D D into finitely many Type I and Type II regions and note that the line integrals along shared boundaries cancel. ■ \blacksquare ■
Worked Example. Evaluate ∮ C ( x 2 − y ) d x + ( y 2 + x ) d y \oint_C (x^2 - y)\, dx + (y^2 + x)\, dy ∮ C ( x 2 − y ) d x + ( y 2 + x ) d y where C C C is the unit circle Traversed counterclockwise.
Solution. By Green’s theorem with P = x 2 − y P = x^2 - y P = x 2 − y and Q = y 2 + x Q = y^2 + x Q = y 2 + x :
∂ Q ∂ x = 1 , ∂ P ∂ y = − 1 \frac{\partial Q}{\partial x} = 1, \quad \frac{\partial P}{\partial y} = -1 ∂ x ∂ Q = 1 , ∂ y ∂ P = − 1 ∮ C P d x + Q d y = ∬ D ( 1 − ( − 1 ) ) d A = 2 ∬ D d A = 2 ⋅ π ⋅ 1 2 = 2 π \oint_C P\, dx + Q\, dy = \iint_D (1 - (-1))\, dA = 2 \iint_D dA = 2 \cdot \pi \cdot 1^2 = 2\pi ∮ C P d x + Q d y = ∬ D ( 1 − ( − 1 )) d A = 2 ∬ D d A = 2 ⋅ π ⋅ 1 2 = 2 π ■ \blacksquare ■
Definition. Let F = ( P , Q , R ) \mathbf{F} = (P, Q, R) F = ( P , Q , R ) be a C 1 C^1 C 1 vector field on R 3 \mathbb{R}^3 R 3 .
The curl of F \mathbf{F} F is
∇ × F = ( ∂ R ∂ y − ∂ Q ∂ z , ∂ P ∂ z − ∂ R ∂ x , ∂ Q ∂ x − ∂ P ∂ y ) \nabla \times \mathbf{F} = \left(\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z},\, \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x},\, \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) ∇ × F = ( ∂ y ∂ R − ∂ z ∂ Q , ∂ z ∂ P − ∂ x ∂ R , ∂ x ∂ Q − ∂ y ∂ P ) The divergence of F \mathbf{F} F is
∇ ⋅ F = ∂ P ∂ x + ∂ Q ∂ y + ∂ R ∂ z \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} ∇ ⋅ F = ∂ x ∂ P + ∂ y ∂ Q + ∂ z ∂ R Physical interpretation. If F \mathbf{F} F represents the velocity field of a fluid:
Curl ∇ × F \nabla \times \mathbf{F} ∇ × F measures the local rotational tendency (vorticity) of the fluid. At a point p \mathbf{p} p The component ( ∇ × F ) ⋅ n (\nabla \times \mathbf{F}) \cdot \mathbf{n} ( ∇ × F ) ⋅ n gives twice the angular velocity of a small paddle wheel placed at p \mathbf{p} p with axis along n \mathbf{n} n .
Divergence ∇ ⋅ F \nabla \cdot \mathbf{F} ∇ ⋅ F measures the net rate of outward flux per unit volume at a point. If ∇ ⋅ F > 0 \nabla \cdot \mathbf{F} \gt 0 ∇ ⋅ F > 0 at p \mathbf{p} p There is a net source at p \mathbf{p} p ; if ∇ ⋅ F < 0 \nabla \cdot \mathbf{F} \lt 0 ∇ ⋅ F < 0 There is a net sink.
Proposition 3.5. For any C 2 C^2 C 2 vector field F \mathbf{F} F :
∇ ⋅ ( ∇ × F ) = 0 ( d i v o f c u r l i s z e r o ) \nabla \cdot (\nabla \times \mathbf{F}) = 0 \quad \mathrm{(div\ of\ curl\ is\ zero)} ∇ ⋅ ( ∇ × F ) = 0 ( div of curl is zero ) ∇ × ( ∇ ϕ ) = 0 ( c u r l o f g r a d i e n t i s z e r o ) \nabla \times (\nabla \phi) = \mathbf{0} \quad \mathrm{(curl\ of\ gradient\ is\ zero)} ∇ × ( ∇ ϕ ) = 0 ( curl of gradient is zero ) Proof. Both follow from Clairaut’s theorem on equality of mixed partials. For the first:
∇ ⋅ ( ∇ × F ) = ∂ ∂ x ( ∂ R ∂ y − ∂ Q ∂ z ) + ∂ ∂ y ( ∂ P ∂ z − ∂ R ∂ x ) + ∂ ∂ z ( ∂ Q ∂ x − ∂ P ∂ y ) \nabla \cdot (\nabla \times \mathbf{F}) = \frac{\partial}{\partial x}\left(\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z}\right) + \frac{\partial}{\partial y}\left(\frac{\partial P}{\partial z} - \frac{\partial R}{\partial x}\right) + \frac{\partial}{\partial z}\left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) ∇ ⋅ ( ∇ × F ) = ∂ x ∂ ( ∂ y ∂ R − ∂ z ∂ Q ) + ∂ y ∂ ( ∂ z ∂ P − ∂ x ∂ R ) + ∂ z ∂ ( ∂ x ∂ Q − ∂ y ∂ P ) Each pair cancels by Clairaut: ∂ 2 R ∂ x ∂ y = ∂ 2 R ∂ y ∂ x \frac{\partial^2 R}{\partial x\,\partial y} = \frac{\partial^2 R}{\partial y\,\partial x} ∂ x ∂ y ∂ 2 R = ∂ y ∂ x ∂ 2 R Etc. ■ \blacksquare ■
Theorem 3.6 (Stokes’ Theorem). Let S S S be an oriented surface with piecewise smooth boundary curve C C C (positively oriented). If F \mathbf{F} F has continuous partial derivatives on an open set containing S S S Then
∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ d S \oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ d S Where d S = n d S d\mathbf{S} = \mathbf{n}\, dS d S = n d S is the vector surface element with unit normal n \mathbf{n} n .
Proof (sketch). Parametrise S S S by r ( u , v ) \mathbf{r}(u,v) r ( u , v ) over a region D D D in the u v uv uv -plane. The boundary C C C of S S S corresponds to the boundary ∂ D \partial D ∂ D of D D D . The left-hand side becomes:
∮ C F ⋅ d r = ∮ ∂ D F ( r ( u , v ) ) ⋅ ( ∂ r ∂ u d u + ∂ r ∂ v d v ) \oint_C \mathbf{F} \cdot d\mathbf{r} = \oint_{\partial D} \mathbf{F}(\mathbf{r}(u,v)) \cdot \left(\frac{\partial \mathbf{r}}{\partial u}\, du + \frac{\partial \mathbf{r}}{\partial v}\, dv\right) ∮ C F ⋅ d r = ∮ ∂ D F ( r ( u , v )) ⋅ ( ∂ u ∂ r d u + ∂ v ∂ r d v ) Define P ~ ( u , v ) = F ( r ( u , v ) ) ⋅ r u \tilde{P}(u,v) = \mathbf{F}(\mathbf{r}(u,v)) \cdot \mathbf{r}_u P ~ ( u , v ) = F ( r ( u , v )) ⋅ r u and Q ~ ( u , v ) = F ( r ( u , v ) ) ⋅ r v \tilde{Q}(u,v) = \mathbf{F}(\mathbf{r}(u,v)) \cdot \mathbf{r}_v Q ~ ( u , v ) = F ( r ( u , v )) ⋅ r v . Applying Green’s theorem in the u v uv uv -plane:
∮ ∂ D P ~ d u + Q ~ d v = ∬ D ( ∂ Q ~ ∂ u − ∂ P ~ ∂ v ) d u d v \oint_{\partial D} \tilde{P}\, du + \tilde{Q}\, dv = \iint_D \left(\frac{\partial \tilde{Q}}{\partial u} - \frac{\partial \tilde{P}}{\partial v}\right) du\, dv ∮ ∂ D P ~ d u + Q ~ d v = ∬ D ( ∂ u ∂ Q ~ − ∂ v ∂ P ~ ) d u d v Expanding the partial derivatives and using the identity r u × r v = n ∥ r u × r v ∥ \mathbf{r}_u \times \mathbf{r}_v = \mathbf{n}\, \lVert \mathbf{r}_u \times \mathbf{r}_v \rVert r u × r v = n ∥ r u × r v ∥ One Verifies that the integrand equals ( ∇ × F ) ⋅ n ∥ r u × r v ∥ (\nabla \times \mathbf{F}) \cdot \mathbf{n}\, \lVert \mathbf{r}_u \times \mathbf{r}_v \rVert ( ∇ × F ) ⋅ n ∥ r u × r v ∥ Which gives ∬ S ( ∇ × F ) ⋅ d S \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} ∬ S ( ∇ × F ) ⋅ d S . ■ \blacksquare ■
Remark. Green’s theorem is the special case of Stokes’ theorem where S S S is a planar region in R 2 \mathbb{R}^2 R 2 .
Problem. Use Stokes’ theorem to evaluate ∮ C F ⋅ d r \oint_C \mathbf{F} \cdot d\mathbf{r} ∮ C F ⋅ d r where F = ( y 2 , x z , x 2 ) \mathbf{F} = (y^2,\, xz,\, x^2) F = ( y 2 , x z , x 2 ) and C C C is the triangle with vertices ( 1 , 0 , 0 ) (1,0,0) ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) (0,1,0) ( 0 , 1 , 0 ) ( 0 , 0 , 1 ) (0,0,1) ( 0 , 0 , 1 ) traversed counterclockwise when viewed from above.
Solution The triangle lies in the plane x + y + z = 1 x + y + z = 1 x + y + z = 1 . Compute ∇ × F \nabla \times \mathbf{F} ∇ × F :
( ∇ × F ) x = ∂ ( x 2 ) ∂ y − ∂ ( x z ) ∂ z = 0 − x = − x (\nabla \times \mathbf{F})_x = \frac{\partial (x^2)}{\partial y} - \frac{\partial (xz)}{\partial z} = 0 - x = -x ( ∇ × F ) x = ∂ y ∂ ( x 2 ) − ∂ z ∂ ( x z ) = 0 − x = − x ( ∇ × F ) y = ∂ ( y 2 ) ∂ z − ∂ ( x 2 ) ∂ x = 0 − 2 x = − 2 x (\nabla \times \mathbf{F})_y = \frac{\partial (y^2)}{\partial z} - \frac{\partial (x^2)}{\partial x} = 0 - 2x = -2x ( ∇ × F ) y = ∂ z ∂ ( y 2 ) − ∂ x ∂ ( x 2 ) = 0 − 2 x = − 2 x ( ∇ × F ) z = ∂ ( x z ) ∂ x − ∂ ( y 2 ) ∂ y = z − 2 y (\nabla \times \mathbf{F})_z = \frac{\partial (xz)}{\partial x} - \frac{\partial (y^2)}{\partial y} = z - 2y ( ∇ × F ) z = ∂ x ∂ ( x z ) − ∂ y ∂ ( y 2 ) = z − 2 y So ∇ × F = ( − x , − 2 x , z − 2 y ) \nabla \times \mathbf{F} = (-x,\, -2x,\, z - 2y) ∇ × F = ( − x , − 2 x , z − 2 y ) .
Parametrise the triangle in the x y xy x y -plane: 0 ≤ x ≤ 1 0 \leq x \leq 1 0 ≤ x ≤ 1 , 0 ≤ y ≤ 1 − x 0 \leq y \leq 1 - x 0 ≤ y ≤ 1 − x . On the plane z = 1 − x − y z = 1 - x - y z = 1 − x − y The surface element d S = 3 d x d y dS = \sqrt{3}\, dx\, dy d S = 3 d x d y .
∬ S ( ∇ × F ) ⋅ d S = 1 3 ∬ S ( − x − 2 x + z − 2 y ) d S \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \frac{1}{\sqrt{3}} \iint_S (-x - 2x + z - 2y)\, dS ∬ S ( ∇ × F ) ⋅ d S = 3 1 ∬ S ( − x − 2 x + z − 2 y ) d S On the plane: − 3 x − 2 y + z = − 3 x − 2 y + 1 − x − y = − 4 x − 3 y + 1 -3x - 2y + z = -3x - 2y + 1 - x - y = -4x - 3y + 1 − 3 x − 2 y + z = − 3 x − 2 y + 1 − x − y = − 4 x − 3 y + 1 .
= 1 3 ∫ 0 1 ∫ 0 1 − x ( − 4 x − 3 y + 1 ) 3 d y d x = ∫ 0 1 ∫ 0 1 − x ( − 4 x − 3 y + 1 ) d y d x = \frac{1}{\sqrt{3}} \int_0^1 \int_0^{1-x} (-4x - 3y + 1)\, \sqrt{3}\, dy\, dx = \int_0^1 \int_0^{1-x} (-4x - 3y + 1)\, dy\, dx = 3 1 ∫ 0 1 ∫ 0 1 − x ( − 4 x − 3 y + 1 ) 3 d y d x = ∫ 0 1 ∫ 0 1 − x ( − 4 x − 3 y + 1 ) d y d x = ∫ 0 1 [ ( − 4 x + 1 ) y − 3 y 2 2 ] 0 1 − x d x = ∫ 0 1 ( − 4 x + 1 ) ( 1 − x ) − 3 ( 1 − x ) 2 2 d x = \int_0^1 \left[(-4x + 1)y - \frac{3y^2}{2}\right]_0^{1-x}\, dx = \int_0^1 (-4x + 1)(1 - x) - \frac{3(1-x)^2}{2}\, dx = ∫ 0 1 [ ( − 4 x + 1 ) y − 2 3 y 2 ] 0 1 − x d x = ∫ 0 1 ( − 4 x + 1 ) ( 1 − x ) − 2 3 ( 1 − x ) 2 d x = ∫ 0 1 [ 4 x 2 − 5 x + 1 − 3 2 + 3 x − 3 x 2 2 ] d x = ∫ 0 1 [ 5 x 2 2 − 2 x − 1 2 ] d x = \int_0^1 \left[4x^2 - 5x + 1 - \frac{3}{2} + 3x - \frac{3x^2}{2}\right]\, dx = \int_0^1 \left[\frac{5x^2}{2} - 2x - \frac{1}{2}\right]\, dx = ∫ 0 1 [ 4 x 2 − 5 x + 1 − 2 3 + 3 x − 2 3 x 2 ] d x = ∫ 0 1 [ 2 5 x 2 − 2 x − 2 1 ] d x = [ 5 x 3 6 − x 2 − x 2 ] 0 1 = 5 6 − 1 − 1 2 = − 2 3 = \left[\frac{5x^3}{6} - x^2 - \frac{x}{2}\right]_0^1 = \frac{5}{6} - 1 - \frac{1}{2} = -\frac{2}{3} = [ 6 5 x 3 − x 2 − 2 x ] 0 1 = 6 5 − 1 − 2 1 = − 3 2 ■ \blacksquare ■
Theorem 3.7 (Divergence Theorem / Gauss’s Theorem). Let E E E be a solid region bounded by a closed Surface S S S with outward normal n \mathbf{n} n . If F \mathbf{F} F has continuous partial derivatives on an Open set containing E E E Then
∬ S F ⋅ d S = ∭ E ∇ ⋅ F d V \iint_S \mathbf{F} \cdot d\mathbf{S} = \iiint_E \nabla \cdot \mathbf{F}\, dV ∬ S F ⋅ d S = ∭ E ∇ ⋅ F d V Where ∇ ⋅ F = ∂ P ∂ x + ∂ Q ∂ y + ∂ R ∂ z \nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} ∇ ⋅ F = ∂ x ∂ P + ∂ y ∂ Q + ∂ z ∂ R is the divergence of F \mathbf{F} F .
Proof (sketch for a Type I region). Assume E E E is a Type I region: E = ( x , y , z ) : ( x , y ) ∈ D , g 1 ( x , y ) ≤ z ≤ g 2 ( x , y ) E = \\{(x,y,z) : (x,y) \in D,\, g_1(x,y) \leq z \leq g_2(x,y)\\} E = ( x , y , z ) : ( x , y ) ∈ D , g 1 ( x , y ) ≤ z ≤ g 2 ( x , y ) . The boundary consists of Bottom surface S 1 S_1 S 1 (normal pointing downward), top surface S 2 S_2 S 2 (normal pointing upward), And the lateral surface S 3 S_3 S 3 (where the normal is horizontal).
We prove the result for the R R R -component, i.e., ∬ S R k ⋅ d S = ∭ E ∂ R ∂ z d V \iint_S R\, \mathbf{k} \cdot d\mathbf{S} = \iiint_E \frac{\partial R}{\partial z}\, dV ∬ S R k ⋅ d S = ∭ E ∂ z ∂ R d V .
The right-hand side:
∭ E ∂ R ∂ z d V = ∬ D ∫ g 1 ( x , y ) g 2 ( x , y ) ∂ R ∂ z d z d A = ∬ D [ R ( x , y , g 2 ) − R ( x , y , g 1 ) ] d A \iiint_E \frac{\partial R}{\partial z}\, dV = \iint_D \int_{g_1(x,y)}^{g_2(x,y)} \frac{\partial R}{\partial z}\, dz\, dA = \iint_D \left[R(x,y,g_2) - R(x,y,g_1)\right]\, dA ∭ E ∂ z ∂ R d V = ∬ D ∫ g 1 ( x , y ) g 2 ( x , y ) ∂ z ∂ R d z d A = ∬ D [ R ( x , y , g 2 ) − R ( x , y , g 1 ) ] d A On S 2 S_2 S 2 (top): d S = ( − g 2 x , − g 2 y , 1 ) d A d\mathbf{S} = (-g_{2x}, -g_{2y}, 1)\, dA d S = ( − g 2 x , − g 2 y , 1 ) d A (upward), so R k ⋅ d S = R ( x , y , g 2 ) d A R\, \mathbf{k} \cdot d\mathbf{S} = R(x,y,g_2)\, dA R k ⋅ d S = R ( x , y , g 2 ) d A .
On S 1 S_1 S 1 (bottom): d S = ( g 1 x , g 1 y , − 1 ) d A d\mathbf{S} = (g_{1x}, g_{1y}, -1)\, dA d S = ( g 1 x , g 1 y , − 1 ) d A (downward), so R k ⋅ d S = − R ( x , y , g 1 ) d A R\, \mathbf{k} \cdot d\mathbf{S} = -R(x,y,g_1)\, dA R k ⋅ d S = − R ( x , y , g 1 ) d A .
On S 3 S_3 S 3 : k ⋅ n = 0 \mathbf{k} \cdot \mathbf{n} = 0 k ⋅ n = 0 (the normal is horizontal), so R k ⋅ d S = 0 R\, \mathbf{k} \cdot d\mathbf{S} = 0 R k ⋅ d S = 0 .
Therefore ∬ S R k ⋅ d S = ∬ D [ R ( x , y , g 2 ) − R ( x , y , g 1 ) ] d A \iint_S R\, \mathbf{k} \cdot d\mathbf{S} = \iint_D [R(x,y,g_2) - R(x,y,g_1)]\, dA ∬ S R k ⋅ d S = ∬ D [ R ( x , y , g 2 ) − R ( x , y , g 1 )] d A Matching the Volume integral. The P P P and Q Q Q components follow by an identical argument for Type II and Type III Regions. For general regions, decompose into finitely many regions of each type. ■ \blacksquare ■
Worked Example. Compute the flux of F = ( x 3 , y 3 , z 3 ) \mathbf{F} = (x^3, y^3, z^3) F = ( x 3 , y 3 , z 3 ) through the unit sphere S S S .
Solution. By the divergence theorem:
∇ ⋅ F = 3 x 2 + 3 y 2 + 3 z 2 = 3 ( x 2 + y 2 + z 2 ) = 3 ρ 2 \nabla \cdot \mathbf{F} = 3x^2 + 3y^2 + 3z^2 = 3(x^2 + y^2 + z^2) = 3\rho^2 ∇ ⋅ F = 3 x 2 + 3 y 2 + 3 z 2 = 3 ( x 2 + y 2 + z 2 ) = 3 ρ 2 Using spherical coordinates:
∭ E 3 ρ 2 ⋅ ρ 2 sin ϕ d ρ d ϕ d θ = 3 ∫ 0 2 π ∫ 0 π ∫ 0 1 ρ 4 sin ϕ d ρ d ϕ d θ \iiint_E 3\rho^2 \cdot \rho^2 \sin\phi\, d\rho\, d\phi\, d\theta = 3 \int_0^{2\pi} \int_0^{\pi} \int_0^1 \rho^4 \sin\phi\, d\rho\, d\phi\, d\theta ∭ E 3 ρ 2 ⋅ ρ 2 sin ϕ d ρ d ϕ d θ = 3 ∫ 0 2 π ∫ 0 π ∫ 0 1 ρ 4 sin ϕ d ρ d ϕ d θ = 3 ⋅ 2 π ⋅ 2 ⋅ 1 5 = 12 π 5 = 3 \cdot 2\pi \cdot 2 \cdot \frac{1}{5} = \frac{12\pi}{5} = 3 ⋅ 2 π ⋅ 2 ⋅ 5 1 = 5 12 π ■ \blacksquare ■
Problem. Compute the flux of F = ( x 2 , y 2 , z 2 ) \mathbf{F} = (x^2,\, y^2,\, z^2) F = ( x 2 , y 2 , z 2 ) outward through the surface of the Cylinder x 2 + y 2 ≤ 1 x^2 + y^2 \leq 1 x 2 + y 2 ≤ 1 , 0 ≤ z ≤ 2 0 \leq z \leq 2 0 ≤ z ≤ 2 .
Solution By the divergence theorem:
∇ ⋅ F = 2 x + 2 y + 2 z \nabla \cdot \mathbf{F} = 2x + 2y + 2z ∇ ⋅ F = 2 x + 2 y + 2 z Use cylindrical coordinates. The region E ′ E' E ′ is 0 ≤ r ≤ 1 0 \leq r \leq 1 0 ≤ r ≤ 1 , 0 ≤ θ ≤ 2 π 0 \leq \theta \leq 2\pi 0 ≤ θ ≤ 2 π 0 ≤ z ≤ 2 0 \leq z \leq 2 0 ≤ z ≤ 2 .
∭ E ( 2 x + 2 y + 2 z ) d V = ∭ E 2 z d V \iiint_E (2x + 2y + 2z)\, dV = \iiint_E 2z\, dV ∭ E ( 2 x + 2 y + 2 z ) d V = ∭ E 2 z d V Since ∬ E x d V = ∬ E y d V = 0 \iint_E x\, dV = \iint_E y\, dV = 0 ∬ E x d V = ∬ E y d V = 0 by symmetry (odd functions over a symmetric domain).
= 2 ∫ 0 2 π ∫ 0 1 ∫ 0 2 z ⋅ r d z d r d θ = 2 ∫ 0 2 π ∫ 0 1 r [ z 2 2 ] 0 2 d r d θ = 2 \int_0^{2\pi} \int_0^1 \int_0^2 z \cdot r\, dz\, dr\, d\theta = 2 \int_0^{2\pi} \int_0^1 r\left[\frac{z^2}{2}\right]_0^2\, dr\, d\theta = 2 ∫ 0 2 π ∫ 0 1 ∫ 0 2 z ⋅ r d z d r d θ = 2 ∫ 0 2 π ∫ 0 1 r [ 2 z 2 ] 0 2 d r d θ = 2 ∫ 0 2 π ∫ 0 1 2 r d r d θ = 2 ∫ 0 2 π 1 d θ = 2 ⋅ 2 π = 4 π = 2 \int_0^{2\pi} \int_0^1 2r\, dr\, d\theta = 2 \int_0^{2\pi} 1\, d\theta = 2 \cdot 2\pi = 4\pi = 2 ∫ 0 2 π ∫ 0 1 2 r d r d θ = 2 ∫ 0 2 π 1 d θ = 2 ⋅ 2 π = 4 π ■ \blacksquare ■
Definition. A vector field F \mathbf{F} F on a domain D ⊆ R n D \subseteq \mathbb{R}^n D ⊆ R n is conservative if There exists a scalar function ϕ : D → R \phi : D \to \mathbb{R} ϕ : D → R (called a potential function ) such that F = ∇ ϕ \mathbf{F} = \nabla \phi F = ∇ ϕ .
Proposition 3.8 (Equivalent conditions for conservative fields). Let F = ( P , Q ) \mathbf{F} = (P, Q) F = ( P , Q ) be a C 1 C^1 C 1 vector field on a connected domain D ⊆ R 2 D \subseteq \mathbb{R}^2 D ⊆ R 2 . The following are equivalent:
F \mathbf{F} F is conservative: F = ∇ ϕ \mathbf{F} = \nabla \phi F = ∇ ϕ for some ϕ \phi ϕ .∮ C F ⋅ d r = 0 \oint_C \mathbf{F} \cdot d\mathbf{r} = 0 ∮ C F ⋅ d r = 0 for every closed curve C C C in D D D .∫ C F ⋅ d r \int_C \mathbf{F} \cdot d\mathbf{r} ∫ C F ⋅ d r is path-independent in D D D .∂ P ∂ y = ∂ Q ∂ x \frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x} ∂ y ∂ P = ∂ x ∂ Q everywhere in D D D .Procedure for finding a potential function. Given F = ( P , Q , R ) \mathbf{F} = (P, Q, R) F = ( P , Q , R ) with ∇ × F = 0 \nabla \times \mathbf{F} = \mathbf{0} ∇ × F = 0 :
Integrate P P P with respect to x x x : ϕ = ∫ P d x + g ( y , z ) \phi = \int P\, dx + g(y, z) ϕ = ∫ P d x + g ( y , z ) . Differentiate with respect to y y y and set equal to Q Q Q to determine g y g_y g y . Integrate g y g_y g y with respect to y y y : g = ∫ g y d y + h ( z ) g = \int g_y\, dy + h(z) g = ∫ g y d y + h ( z ) . Differentiate with respect to z z z and set equal to R R R to determine h ′ ( z ) h'(z) h ′ ( z ) . Integrate to find h ( z ) h(z) h ( z ) and assemble ϕ \phi ϕ . Problem. Determine whether F = ( 2 x y + z 2 , x 2 + 2 y z , 2 x z + y 2 ) \mathbf{F} = (2xy + z^2,\, x^2 + 2yz,\, 2xz + y^2) F = ( 2 x y + z 2 , x 2 + 2 y z , 2 x z + y 2 ) is conservative, And if so, find a potential function.
Solution Check the curl:
( ∇ × F ) x = ∂ ∂ y ( 2 x z + y 2 ) − ∂ ∂ z ( x 2 + 2 y z ) = 2 y − 2 y = 0 (\nabla \times \mathbf{F})_x = \frac{\partial}{\partial y}(2xz + y^2) - \frac{\partial}{\partial z}(x^2 + 2yz) = 2y - 2y = 0 ( ∇ × F ) x = ∂ y ∂ ( 2 x z + y 2 ) − ∂ z ∂ ( x 2 + 2 y z ) = 2 y − 2 y = 0 ( ∇ × F ) y = ∂ ∂ z ( 2 x y + z 2 ) − ∂ ∂ x ( 2 x z + y 2 ) = 2 z − 2 z = 0 (\nabla \times \mathbf{F})_y = \frac{\partial}{\partial z}(2xy + z^2) - \frac{\partial}{\partial x}(2xz + y^2) = 2z - 2z = 0 ( ∇ × F ) y = ∂ z ∂ ( 2 x y + z 2 ) − ∂ x ∂ ( 2 x z + y 2 ) = 2 z − 2 z = 0 ( ∇ × F ) z = ∂ ∂ x ( x 2 + 2 y z ) − ∂ ∂ y ( 2 x y + z 2 ) = 2 x − 2 x = 0 (\nabla \times \mathbf{F})_z = \frac{\partial}{\partial x}(x^2 + 2yz) - \frac{\partial}{\partial y}(2xy + z^2) = 2x - 2x = 0 ( ∇ × F ) z = ∂ x ∂ ( x 2 + 2 y z ) − ∂ y ∂ ( 2 x y + z 2 ) = 2 x − 2 x = 0 Since ∇ × F = 0 \nabla \times \mathbf{F} = \mathbf{0} ∇ × F = 0 , F \mathbf{F} F is conservative. Find ϕ \phi ϕ :
∂ ϕ ∂ x = 2 x y + z 2 ⟹ ϕ = x 2 y + x z 2 + g ( y , z ) \frac{\partial \phi}{\partial x} = 2xy + z^2 \implies \phi = x^2 y + xz^2 + g(y,z) ∂ x ∂ ϕ = 2 x y + z 2 ⟹ ϕ = x 2 y + x z 2 + g ( y , z ) ∂ ϕ ∂ y = x 2 + g y ( y , z ) = x 2 + 2 y z ⟹ g y ( y , z ) = 2 y z ⟹ g ( y , z ) = y 2 z + h ( z ) \frac{\partial \phi}{\partial y} = x^2 + g_y(y,z) = x^2 + 2yz \implies g_y(y,z) = 2yz \implies g(y,z) = y^2 z + h(z) ∂ y ∂ ϕ = x 2 + g y ( y , z ) = x 2 + 2 y z ⟹ g y ( y , z ) = 2 y z ⟹ g ( y , z ) = y 2 z + h ( z ) ∂ ϕ ∂ z = 2 x z + y 2 + h ′ ( z ) \frac{\partial \phi}{\partial z} = 2xz + y^2 + h'(z) ∂ z ∂ ϕ = 2 x z + y 2 + h ′ ( z ) This must equal 2 x z + y 2 2xz + y^2 2 x z + y 2 So h ′ ( z ) = 0 h'(z) = 0 h ′ ( z ) = 0 Giving h ( z ) = C h(z) = C h ( z ) = C .
Therefore ϕ ( x , y , z ) = x 2 y + x z 2 + y 2 z + C \phi(x,y,z) = x^2 y + xz^2 + y^2 z + C ϕ ( x , y , z ) = x 2 y + x z 2 + y 2 z + C . ■ \blacksquare ■
Caution
Singularities. When applying Green’s, Stokes’, or the Divergence theorem, verify that the field has continuous partial derivatives on the region (including interior). If there are singularities inside the region, the theorems do not apply directly; the singularity must be handled separately.** connected domains.** The condition ∇ × F = 0 \nabla \times \mathbf{F} = \mathbf{0} ∇ × F = 0 guarantees that F \mathbf{F} F is conservative only on a connected domain. For example, F = ( − y , x ) x 2 + y 2 \mathbf{F} = \frac{(-y, x)}{x^2 + y^2} F = x 2 + y 2 ( − y , x ) has zero curl on R 2 ∖ ( 0 , 0 ) \mathbb{R}^2 \setminus \\{(0,0)\\} R 2 ∖ ( 0 , 0 ) but is not conservative there (the domain is not connected). Orientation. Green’s and Stokes’ theorems require positive orientation (counterclockwise for planar curves, right-hand rule for surfaces). The divergence theorem requires the outward normal. Reversing orientation changes the sign of the result.Divergence measures how much a vector field “flows out” of a point. If the divergence is positive, the point is a source; if negative, it is a sink. The divergence theorem says that the total flow out of a volume equals the total flux through its boundary, which is a conservation law: what flows in must flow out.
Curl measures the local rotation or “swirl” of a vector field. If the curl is non-zero, the field has a tendency to circulate around that point. Stokes’ theorem says that the circulation of a field around a closed curve equals the total curl through any surface bounded by that curve, which generalises the fundamental theorem of calculus to surfaces.
The general pattern connecting all these theorems is: the integral of a derivative over a region equals the integral of the original function over the boundary. This is the multivariable fundamental theorem of calculus. Green’s theorem (planar circulation), Stokes’ theorem (surface circulation), and the divergence theorem (volume flux) are all instances of the same abstract principle applied to different dimensions. A conservative field, one that is the gradient of a potential, has zero curl and zero circulation around closed loops, which is why line integrals become path-independent.
The three major integral theorems of vector calculus are deeply connected:
Remark. Green’s theorem is the planar special case of Stokes’ theorem. Stokes’ theorem relates the Circulation around a curve to the curl through the surface it bounds. The divergence theorem relates the flux through a closed surface to the divergence inside the volume it encloses. Together, these Form the higher-dimensional analogues of the Fundamental Theorem of Calculus:
∫ a b f ′ ( x ) d x = f ( b ) − f ( a ) ( F T C ) \int_a^b f'(x)\, dx = f(b) - f(a) \quad \mathrm{(FTC)} ∫ a b f ′ ( x ) d x = f ( b ) − f ( a ) ( FTC ) ∫ C ∇ ϕ ⋅ d r = ϕ ( B ) − ϕ ( A ) ( F T L I ) \int_C \nabla \phi \cdot d\mathbf{r} = \phi(B) - \phi(A) \quad \mathrm{(FTLI)} ∫ C ∇ ϕ ⋅ d r = ϕ ( B ) − ϕ ( A ) ( FTLI ) ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ d S ( S t o k e s ) \oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} \quad \mathrm{(Stokes)} ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ d S ( Stokes ) ∬ S F ⋅ d S = ∭ E ( ∇ ⋅ F ) d V ( D i v e r g e n c e ) \iint_S \mathbf{F} \cdot d\mathbf{S} = \iiint_E (\nabla \cdot \mathbf{F})\, dV \quad \mathrm{(Divergence)} ∬ S F ⋅ d S = ∭ E ( ∇ ⋅ F ) d V ( Divergence ) In each case, the integral of a “derivative” over a region equals the integral of the original function Over the boundary of that region. This is the generalised Stokes’ theorem :
∫ ∂ Ω ω = ∫ Ω d ω \int_{\partial \Omega} \omega = \int_{\Omega} d\omega ∫ ∂ Ω ω = ∫ Ω d ω Where Ω \Omega Ω is a k k k -dimensional manifold with boundary ∂ Ω \partial \Omega ∂ Ω , ω \omega ω is a ( k − 1 ) (k-1) ( k − 1 ) -form, And d ω d\omega d ω is its exterior derivative.