A vector field F in 2-space or 3-space is conservative on a region D iff it is the gradient field of some scalar function ϕ defined on D,
F=∇ϕ
ϕ is a potential function, or scalar potential, of F.
Curl Condition
If F is conservative on D and ϕ has continuous second-order partial derivatives, then
curlF=∇×(∇ϕ)=0
The converse needs a condition on D. If D is simply connected and curlF=0 on D, then F is conservative on D.
Conservative Field Test
Let P(x,y) and Q(x,y) have continuous first-order partial derivatives on an open, simply connected region D in the plane. The vector field
F(x,y)=P(x,y)i^+Q(x,y)j^
is conservative on D iff, for each point in D,
∂y∂P=∂x∂Q
The region must be simply connected. On a region with a hole, ∂P/∂y=∂Q/∂x can hold everywhere without F being conservative.
Integral over a Closed Curve
Let F be conservative on D and C a piecewise smooth closed curve in D. Then
∮CF⋅dr=0
Equivalence of Conservative Fields
Let F(x,y,z)=fi^+gj^+hk^ be continuous on an open connected region D⊆R3. The following are equivalent:
- F is conservative on D
- ∫CF⋅dr=0 for every piecewise smooth closed curve C in D
- For any 2 points P, Q in D, ∫CF⋅dr is independent of the piecewise smooth curve C in D from P to Q
Finding the Potential Function
Let F=fi^+gj^+hk^ be conservative on D. A potential function ϕ satisfies
ϕx=f,ϕy=g,ϕz=h
Steps:
- Integrate f with respect to x to get ϕ=∫fdx+a(y,z).
- Differentiate ϕ with respect to y and equate to g. Solve for ay, then integrate to get a(y,z)=∫aydy+b(z).
- Differentiate ϕ with respect to z and equate to h. Solve for b′(z), then integrate to get b(z).
- Substitute back. ϕ is unique up to an additive constant.
In the plane, drop z and stop after step 2.
Worked Example
Find a potential function of
F=(2xy+z)i^+(x2+2y)j^+xk^
Check the curl.
- ∂h/∂y=0=∂g/∂z
- ∂f/∂z=1=∂h/∂x
- ∂g/∂x=2x=∂f/∂y
So curlF=0 on R3, which is simply connected, and F is conservative.
Step 1.
ϕ=∫(2xy+z)dx=x2y+xz+a(y,z)
Step 2.
ϕy=x2+ay=x2+2y⟹ay=2y⟹a=y2+b(z)
Step 3.
ϕz=x+b′(z)=x⟹b′(z)=0⟹b=C
Result.
ϕ(x,y,z)=x2y+xz+y2+C