4.4.26Multivariable Calculus

Conservative vector fields — potential functions

1,912 words9 min readdifficulty · medium6 backlinks

WHAT is a conservative field?


WHY does path-independence follow? (Derive from scratch)

Suppose F=f\mathbf{F} = \nabla f. Take any smooth path r(t)\mathbf{r}(t), t[a,b]t\in[a,b], from point AA to BB. The line integral (work) is CFdr=abf(r(t))r(t)dt.\int_C \mathbf{F}\cdot d\mathbf{r} = \int_a^b \nabla f(\mathbf{r}(t))\cdot \mathbf{r}'(t)\,dt.

Why this step? dr=r(t)dtd\mathbf{r} = \mathbf{r}'(t)\,dt by definition of a line integral.

Now recognize the integrand. By the multivariable chain rule, ddtf(r(t))=f(r(t))r(t).\frac{d}{dt}\,f(\mathbf{r}(t)) = \nabla f(\mathbf{r}(t))\cdot \mathbf{r}'(t).

Why this step? This is exactly the chain rule for f(x(t),y(t),z(t))f(x(t),y(t),z(t)) — the rate of change along the curve is the gradient dotted with velocity. This is the whole trick.

So the integrand is a perfect derivative, and the Fundamental Theorem of Calculus gives: Cfdr=f(r(b))f(r(a))=f(B)f(A).\boxed{\int_C \nabla f\cdot d\mathbf{r} = f(\mathbf{r}(b)) - f(\mathbf{r}(a)) = f(B) - f(A).}

Figure — Conservative vector fields — potential functions

HOW to test if a field is conservative


HOW to recover the potential ff (worked method)

The strategy: integrate PP in xx, then differentiate to fix the leftover function of yy.


The full chain of equivalences


Forecast-then-Verify

Recall Forecast before you compute

Q: Is F=(y,x)\mathbf{F}=(y, -x) conservative? Predict, then check. Forecast: "Rotational-looking, probably not." Verify: Py=1P_y = 1, Qx=1Q_x = -1. Not equal ⟹ not conservative. Loop integral around unit circle =2π0=-2\pi\neq0. Forecast confirmed.


Common mistakes (Steel-manned)


Flashcards

What does it mean for F\mathbf{F} to be conservative?
There exists a scalar potential ff with F=f\mathbf{F}=\nabla f.
Fundamental Theorem of Line Integrals statement?
Cfdr=f(B)f(A)\int_C \nabla f\cdot d\mathbf{r} = f(B)-f(A) — depends only on endpoints.
Loop integral of a conservative field?
CFdr=0\oint_C \mathbf{F}\cdot d\mathbf{r}=0.
2D test for conservativeness?
P/y=Q/x\partial P/\partial y = \partial Q/\partial x (on a simply connected domain).
Why does the cross-partial test work?
Because Py=fxyP_y=f_{xy}, Qx=fyxQ_x=f_{yx}, and Clairaut's theorem gives fxy=fyxf_{xy}=f_{yx}.
Why is "simply connected" required?
Holes allow curl-free fields with nonzero loop integrals (e.g. (y,x)/(x2+y2)(-y,x)/(x^2+y^2)).
Method to recover ff from F=(P,Q)\mathbf{F}=(P,Q)?
Integrate PP in xx to get f=Pdx+g(y)f=\int P\,dx + g(y), then set fy=Qf_y=Q to solve for gg.
3D condition for conservative?
curlF=0\operatorname{curl}\mathbf{F}=\mathbf{0}, i.e. Py=Qx,Pz=Rx,Qz=RyP_y=Q_x,\,P_z=R_x,\,Q_z=R_y.
Is (y,x)(y,-x) conservative?
No; Py=11=QxP_y=1\neq -1=Q_x.

Recall Feynman: explain to a 12-year-old

Imagine a hilly park. At every spot there's an arrow telling you which way a ball would roll — always downhill. That arrow map is a gradient field, and the hill's height map is the potential function. Here's the cool part: if you walk from a bench to the swings, the total "downhill help" you get depends ONLY on the height difference between bench and swings — not on whether you took the long winding path or the short one. And if you walk in a loop back to the same bench, you end up at the same height, so the net help is zero. Fields that work this way are "conservative." Fields like a spinning whirlpool, where you can keep gaining energy by going round and round, are NOT conservative.


Connections

Concept Map

is conservative if

means

f is

combined with

makes integrand a

gives

implies

special case

checked by

justified by

requires

Vector field F

Potential function f

Conservative field

F equals grad f

Path independence

Fund Thm of Line Integrals

Multivariable chain rule

Fund Thm of Calculus

Closed loop integral zero

Cross-partial test

Clairaut mixed partials

Simply connected domain

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, ek vector field ka matlab hai har point pe ek arrow — jaise wind ka map ya force field. Kuch fields special hote hain: woh kisi scalar function ff ke gradient hote hain. Yeh ff ek "pahaadi ki height map" jaisa samjho, aur arrows hamesha downhill (ya uphill) point karte hain. Aise fields ko conservative bolte hain, aur woh hidden scalar ff ko potential function kehte hain.

Kyun important hai? Kyunki conservative field me line integral (yaani work) sirf start aur end point pe depend karta hai — beech ka raasta matter hi nahi karta. Formula: Cfdr=f(B)f(A)\int_C \nabla f\cdot d\mathbf{r} = f(B)-f(A). Isliye agar tum loop maar ke wapas same point pe aa jaao, total work zero ho jaata hai. Yeh "conservation of energy" ka maths version hai.

Check kaise karein? 2D me simple test: agar P/y=Q/x\partial P/\partial y = \partial Q/\partial x ho (aur domain me koi hole na ho, yaani simply connected ho), to field conservative hai. Yeh test actually Clairaut's theorem se aata hai — mixed partials equal hote hain. Lekin dhyaan rakho: agar domain me hole ho (jaise origin missing), to test fail kar sakta hai — woh famous (y,x)/(x2+y2)(-y,x)/(x^2+y^2) wala example.

Potential ff nikalne ka recipe yaad rakho: pehle PP ko xx me integrate karo, g(y)g(y) leftover aayega; phir uss ko yy me differentiate kar ke QQ ke saath match karo, g(y)g(y) fix ho jaayega. Mnemonic: "Curl zero, find the hill; integrate PP, then fix the frill." Practice karo do-teen examples, concept bilkul clear ho jaayega.

Go deeper — visual, from zero

Test yourself — Multivariable Calculus

Connections