4.4.28Multivariable Calculus

Fundamental theorem for line integrals

1,683 words8 min readdifficulty · medium1 backlinks

WHAT is it?

The key words to cloze:

  • F=f\mathbf{F}=\nabla f means F\mathbf{F} is conservative.
  • The integral depends only on the endpoints, not the path.
  • This is called path independence.

WHY is it true? (Derivation from scratch)

We derive it using only the chain rule and the ordinary FTC. No memorising.

Step 1 — Write the line integral as a 1D integral. By definition of a line integral over a parametrised curve, Cfdr=abf(r(t))r(t)dt.\int_C \nabla f \cdot d\mathbf{r} = \int_a^b \nabla f(\mathbf{r}(t)) \cdot \mathbf{r}'(t)\, dt. Why this step? A line integral is "field dotted with the tiny displacement dr=r(t)dtd\mathbf{r}=\mathbf{r}'(t)\,dt", summed along the curve. This just substitutes the parametrisation.

Step 2 — Recognise the multivariable chain rule. Let g(t)=f(r(t))g(t) = f(\mathbf{r}(t)), a plain function of one variable. The chain rule says dgdt=f(r(t))r(t).\frac{dg}{dt} = \nabla f(\mathbf{r}(t)) \cdot \mathbf{r}'(t). Why this step? As tt changes, ff changes through each coordinate: ddtf(x(t),y(t),z(t))=fxx+fyy+fzz\frac{d}{dt}f(x(t),y(t),z(t)) = f_x x' + f_y y' + f_z z', which is exactly the dot product fr\nabla f \cdot \mathbf{r}'. This is the heart of the proof — the integrand is secretly a perfect derivative.

Step 3 — Apply the ordinary FTC. abdgdtdt=g(b)g(a).\int_a^b \frac{dg}{dt}\, dt = g(b) - g(a). Why this step? Once we've shown the integrand is g(t)g'(t), the single-variable FTC finishes the job.

Step 4 — Substitute back. g(b)g(a)=f(r(b))f(r(a))=f(B)f(A).g(b)-g(a) = f(\mathbf{r}(b)) - f(\mathbf{r}(a)) = f(B)-f(A). \qquad\blacksquare

Figure — Fundamental theorem for line integrals

HOW to use it (worked examples)


Common mistakes


Recall Feynman: explain to a 12-year-old

Imagine hiking on a hill. Your "height" is the function ff. Walking around adds and subtracts elevation as you go up and down. The vector field f\nabla f is like the "steepest slope arrow" at every spot. The Fundamental Theorem says: no matter which winding trail you take from the bottom cabin to the top lodge, the total elevation gained is just (height of lodge) − (height of cabin). The squiggly path doesn't matter — only where you start and stop. And if you hike a loop back to your cabin, your net elevation change is exactly zero.


Active-recall flashcards

What does the Fundamental Theorem for Line Integrals state?
If F=f\mathbf{F}=\nabla f with f\nabla f continuous on a curve CC from AA to BB, then Cfdr=f(B)f(A)\int_C\nabla f\cdot d\mathbf{r}=f(B)-f(A).
What two ingredients does the proof of FTLI use?
The multivariable chain rule (ddtf(r(t))=fr\frac{d}{dt}f(\mathbf{r}(t))=\nabla f\cdot\mathbf{r}') and the ordinary single-variable FTC.
A field whose line integral depends only on endpoints is called?
Conservative (it equals f\nabla f for some potential ff); the property is called path independence.
What is the line integral of a conservative field around any closed loop?
Zero, because the start and end points coincide so f(B)f(A)=0f(B)-f(A)=0.
2D test for whether F=(P,Q)\mathbf{F}=(P,Q) is conservative?
On a simply connected region, P/y=Q/x\partial P/\partial y=\partial Q/\partial x.
Why is Py=QxP_y=Q_x alone not always enough?
The domain must be simply connected; on a region with a hole (e.g. the vortex field around the origin) a closed-loop integral can be nonzero.
How do you reconstruct the potential ff from F=(P,Q)\mathbf{F}=(P,Q)?
Integrate PP in xx to get f=Pdx+h(y)f=\int P\,dx + h(y), then differentiate in yy and match fy=Qf_y=Q to find h(y)h(y).

Connections

Concept Map

is gradient of

makes F conservative

substitute r prime t dt

integrand is g prime t

apply

gives

enables

implies

when A equals B

depends only on endpoints

Ordinary FTC

Vector field F

F equals grad f

Potential function f

Line integral over C

Parametrise as 1D integral

Multivariable chain rule

FTLI result f B minus f A

Path independence

Closed loops vanish

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, normal line integral mein tumhe pura path follow karke integrate karna padta hai — bahut mehnat. Lekin agar field F\mathbf{F} kisi scalar function ff ka gradient hai, yani F=f\mathbf{F}=\nabla f (isko "conservative field" kehte hain), to jaadu ho jaata hai: integral sirf start aur end point pe depend karta hai, beech ka rasta bilkul matter nahi karta. Formula seedha: Cfdr=f(B)f(A)\int_C \nabla f\cdot d\mathbf{r}=f(B)-f(A). Bilkul wahi shape jaise single-variable wala FTC abg(x)dx=g(b)g(a)\int_a^b g'(x)dx=g(b)-g(a).

Yeh kyun hota hai? Proof mein bas do cheezein lagti hain. Pehle chain rule: ddtf(r(t))=fr(t)\frac{d}{dt}f(\mathbf{r}(t)) = \nabla f\cdot\mathbf{r}'(t) — yani integrand actually ek perfect derivative hai. Phir normal FTC laga do, aur bach jaate hain sirf endpoints. Imagine karo ek pahaadi pe trek — ff tumhari height hai. Chahe jitna tedha rasta lo, total height gain sirf (upar wali jagah ki height) minus (neeche wali jagah ki height) hoti hai. Aur agar loop maar ke wapas wahi aa gaye, net change = zero.

Practical tip: jab bhi F=(P,Q)\mathbf{F}=(P,Q) diya ho, pehle check karo Py=QxP_y=Q_x. Agar equal hai (aur region mein koi hole nahi hai), to potential ff exist karta hai — PP ko xx mein integrate karke ff banao, phir yy-component match karo. Phir bas endpoints daal do. Ek bada saavdhani: agar PyQxP_y\neq Q_x, to field conservative nahi hai aur tumhe sach mein pura path integrate karna padega — FTLI shortcut wahan kaam nahi karega. Iss ek check se 20 minute ka kaam 30 second mein ho jaata hai. Mantra: "Gradient In, Endpoints Out."

Go deeper — visual, from zero

Test yourself — Multivariable Calculus

Connections