A vector field F=(P,Q,R) on R3 is conservative if there exists a scalar Potential ϕ such that F=∇ϕ.
Theorem 3.1.F is conservative (on a connected domain) if and only if ∇×F=0.
Proof. (⇒) If F=∇ϕ with ϕ∈C2Then by Clairaut”s theorem fxy=fyxEtc., which directly gives ∇×(∇ϕ)=0.
(⇐) If ∇×F=0 on a connected domain DThen for any Closed curve C in DStokes’ theorem gives ∮CF⋅dr=∬S(∇×F)⋅dS=0. This means line integrals are path-independent, so we can define ϕ(x)=∫x0xF⋅dr (independent of path), And one verifies that ∇ϕ=F. ■
3.2 Line Integrals
Definition. The line integral of a vector field F along a curve C parameterised by r(t) for a≤t≤b is
∫CF⋅dr=∫abF(r(t))⋅r′(t)dt
Theorem 3.2 (Fundamental Theorem for Line Integrals). If F=∇ϕ and C is a Piecewise smooth curve from A to BThen
∫CF⋅dr=ϕ(B)−ϕ(A)
Proof. Parameterise C by r(t) for t∈[a,b] with r(a)=Ar(b)=B.
Corollary 3.3. The line integral of a conservative field around any closed curve is zero.
Problem. Evaluate ∫CF⋅dr where F=(y,x+ey,z+1) and C is the Curve r(t)=(t,t2,t3) for 0≤t≤1.
Solution
First check if F is conservative. Compute the curl:
(∇×F)x=∂y∂(z+1)−∂z∂(x+ey)=0−0=0
(∇×F)y=∂z∂y−∂x∂(z+1)=0−0=0
(∇×F)z=∂x∂(x+ey)−∂y∂y=1−1=0
Since ∇×F=0, F is conservative. Find ϕ:
∂x∂ϕ=y⟹ϕ=xy+g(y,z)
∂y∂ϕ=x+gy=x+ey⟹gy=ey⟹g=ey+h(z)
∂z∂ϕ=h′(z)=z+1⟹h(z)=2z2+z+C
ϕ(x,y,z)=xy+ey+2z2+z
Now apply the fundamental theorem:
∫CF⋅dr=ϕ(1,1,1)−ϕ(0,0,0)=(1+e+21+1)−(1+1)=e+21
■
3.3 Green’s Theorem
Theorem 3.4 (Green’s Theorem). Let C be a positively oriented, piecewise smooth, simple closed Curve bounding a region D. If P and Q have continuous partial derivatives on an open set Containing DThen
∮CPdx+Qdy=∬D(∂x∂Q−∂y∂P)dA
Proof (for a Type I region). Assume D is a Type I region: D=(x,y):a≤x≤b,g1(x)≤y≤g2(x). The boundary C consists of Four pieces: bottom C1Right C2Top C3And left C4.
We first prove ∮CPdx=−∬D∂y∂PdA.
On C1: y=g1(x), x goes from a to bSo ∫C1Pdx=∫abP(x,g1(x))dx.
On C3: y=g2(x), x goes from b to aSo ∫C3Pdx=∫baP(x,g2(x))dx=−∫abP(x,g2(x))dx.
On C2 and C4: x is constant, so dx=0Hence ∫C2Pdx=∫C4Pdx=0.
An identical argument (using Type II regions) proves ∮CQdy=∬D∂x∂QdA. Adding the two equalities gives the result. For general regions, decompose D into finitely many Type I and Type II regions and note that the line integrals along shared boundaries cancel. ■
Worked Example. Evaluate ∮C(x2−y)dx+(y2+x)dy where C is the unit circle Traversed counterclockwise.
Solution. By Green’s theorem with P=x2−y and Q=y2+x:
∂x∂Q=1,∂y∂P=−1
∮CPdx+Qdy=∬D(1−(−1))dA=2∬DdA=2⋅π⋅12=2π
■
3.4 Curl and Divergence
Definition. Let F=(P,Q,R) be a C1 vector field on R3.
The curl of F is
∇×F=(∂y∂R−∂z∂Q,∂z∂P−∂x∂R,∂x∂Q−∂y∂P)
The divergence of F is
∇⋅F=∂x∂P+∂y∂Q+∂z∂R
Physical interpretation. If F represents the velocity field of a fluid:
Curl∇×F measures the local rotational tendency (vorticity) of the fluid. At a point pThe component (∇×F)⋅n gives twice the angular velocity of a small paddle wheel placed at p with axis along n.
Divergence∇⋅F measures the net rate of outward flux per unit volume at a point. If ∇⋅F>0 at pThere is a net source at p; if ∇⋅F<0There is a net sink.
Proposition 3.5. For any C2 vector field F:
∇⋅(∇×F)=0(divofcurliszero)
∇×(∇ϕ)=0(curlofgradientiszero)
Proof. Both follow from Clairaut’s theorem on equality of mixed partials. For the first:
Each pair cancels by Clairaut: ∂x∂y∂2R=∂y∂x∂2REtc. ■
3.5 Stokes’ Theorem
Theorem 3.6 (Stokes’ Theorem). Let S be an oriented surface with piecewise smooth boundary curve C (positively oriented). If F has continuous partial derivatives on an open set containing SThen
∮CF⋅dr=∬S(∇×F)⋅dS
Where dS=ndS is the vector surface element with unit normal n.
Proof (sketch). Parametrise S by r(u,v) over a region D in the uv-plane. The boundary C of S corresponds to the boundary ∂D of D. The left-hand side becomes:
∮CF⋅dr=∮∂DF(r(u,v))⋅(∂u∂rdu+∂v∂rdv)
Define P~(u,v)=F(r(u,v))⋅ru and Q~(u,v)=F(r(u,v))⋅rv. Applying Green’s theorem in the uv-plane:
∮∂DP~du+Q~dv=∬D(∂u∂Q~−∂v∂P~)dudv
Expanding the partial derivatives and using the identity ru×rv=n∥ru×rv∥One Verifies that the integrand equals (∇×F)⋅n∥ru×rv∥ Which gives ∬S(∇×F)⋅dS. ■
Remark. Green’s theorem is the special case of Stokes’ theorem where S is a planar region in R2.
Problem. Use Stokes’ theorem to evaluate ∮CF⋅dr where F=(y2,xz,x2) and C is the triangle with vertices (1,0,0), (0,1,0)(0,0,1) traversed counterclockwise when viewed from above.
Solution
The triangle lies in the plane x+y+z=1. Compute ∇×F:
(∇×F)x=∂y∂(x2)−∂z∂(xz)=0−x=−x
(∇×F)y=∂z∂(y2)−∂x∂(x2)=0−2x=−2x
(∇×F)z=∂x∂(xz)−∂y∂(y2)=z−2y
So ∇×F=(−x,−2x,z−2y).
Parametrise the triangle in the xy-plane: 0≤x≤1, 0≤y≤1−x. On the plane z=1−x−yThe surface element dS=3dxdy.
Theorem 3.7 (Divergence Theorem / Gauss’s Theorem). Let E be a solid region bounded by a closed Surface S with outward normal n. If F has continuous partial derivatives on an Open set containing EThen
∬SF⋅dS=∭E∇⋅FdV
Where ∇⋅F=∂x∂P+∂y∂Q+∂z∂R Is the divergence of F.
Proof (sketch for a Type I region). Assume E is a Type I region: E=(x,y,z):(x,y)∈D,g1(x,y)≤z≤g2(x,y). The boundary consists of Bottom surface S1 (normal pointing downward), top surface S2 (normal pointing upward), And the lateral surface S3 (where the normal is horizontal).
We prove the result for the R-component, i.e., ∬SRk⋅dS=∭E∂z∂RdV.
On S2 (top): dS=(−g2x,−g2y,1)dA (upward), so Rk⋅dS=R(x,y,g2)dA.
On S1 (bottom): dS=(g1x,g1y,−1)dA (downward), so Rk⋅dS=−R(x,y,g1)dA.
On S3: k⋅n=0 (the normal is horizontal), so Rk⋅dS=0.
Therefore ∬SRk⋅dS=∬D[R(x,y,g2)−R(x,y,g1)]dAMatching the Volume integral. The P and 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. ■
Worked Example. Compute the flux of F=(x3,y3,z3) through the unit sphere S.
Solution. By the divergence theorem:
∇⋅F=3x2+3y2+3z2=3(x2+y2+z2)=3ρ2
Using spherical coordinates:
∭E3ρ2⋅ρ2sinϕdρdϕdθ=3∫02π∫0π∫01ρ4sinϕdρdϕdθ
=3⋅2π⋅2⋅51=512π
■
Problem. Compute the flux of F=(x2,y2,z2) outward through the surface of the Cylinder x2+y2≤1, 0≤z≤2.
Solution
By the divergence theorem:
∇⋅F=2x+2y+2z
Use cylindrical coordinates. The region E′ is 0≤r≤1, 0≤θ≤2π0≤z≤2.
∭E(2x+2y+2z)dV=∭E2zdV
Since ∬ExdV=∬EydV=0 by symmetry (odd functions over a symmetric domain).
=2∫02π∫01∫02z⋅rdzdrdθ=2∫02π∫01r[2z2]02drdθ
=2∫02π∫012rdrdθ=2∫02π1dθ=2⋅2π=4π
■
3.7 Conservative Fields and Potential Functions
Definition. A vector field F on a domain D⊆Rn is conservative if There exists a scalar function ϕ:D→R (called a potential function) such that F=∇ϕ.
Proposition 3.8 (Equivalent conditions for conservative fields). Let F=(P,Q) be a C1 vector field on a connected domain D⊆R2. The following are equivalent:
F is conservative: F=∇ϕ for some ϕ.
∮CF⋅dr=0 for every closed curve C in D.
∫CF⋅dr is path-independent in D.
∂y∂P=∂x∂Q everywhere in D.
Procedure for finding a potential function. Given F=(P,Q,R) with ∇×F=0:
Integrate P with respect to x: ϕ=∫Pdx+g(y,z).
Differentiate with respect to y and set equal to Q to determine gy.
Integrate gy with respect to y: g=∫gydy+h(z).
Differentiate with respect to z and set equal to R to determine h′(z).
Integrate to find h(z) and assemble ϕ.
Problem. Determine whether F=(2xy+z2,x2+2yz,2xz+y2) is conservative, And if so, find a potential function.
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 guarantees that F is conservative only on a connected domain. For example, F=x2+y2(−y,x) has zero curl on R2∖(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.
3.9 Relationships Among the Fundamental Theorems
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:
∫abf′(x)dx=f(b)−f(a)(FTC)
∫C∇ϕ⋅dr=ϕ(B)−ϕ(A)(FTLI)
∮CF⋅dr=∬S(∇×F)⋅dS(Stokes)
∬SF⋅dS=∭E(∇⋅F)dV(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ω
Where Ω is a k-dimensional manifold with boundary ∂Ω, ω is a (k−1)-form, And dω is its exterior derivative.