Multivariable-Calculus ยท Unit 18 ยท Video 2 ยท Interactive Practice

The Fundamental Theorem for Line Integrals: โˆซ โˆ‡f ยท dr

IKey Formulas

FormulaNameWhat it says
Fโƒ—=โˆ‡f=fxโ€‰ฤฑ^+fyโ€‰ศท^\vec F = \nabla f = f_x\,\hat\imath + f_y\,\hat\jmathGradient field, potential ffM=fxM = f_x, N=fyN = f_y (physics writes Fโƒ—=โˆ’โˆ‡f\vec F = -\nabla f)
โˆซCโˆ‡fโ‹…drโƒ—=f(P1)โˆ’f(P0)\displaystyle\int_C \nabla f \cdot d\vec r = f(P_1) - f(P_0)Fundamental theoremCC runs from P0P_0 to P1P_1; valid only when Fโƒ—\vec F is a gradient
โˆซCfxโ€‰dx+fyโ€‰dy=โˆซCdf\displaystyle\int_C f_x\,dx + f_y\,dy = \int_C dfDifferential formAdding the small changes dfdf gives the total change in ff
fxdxdt+fydydt=ddtโ€‰f(x(t),y(t))f_x \dfrac{dx}{dt} + f_y \dfrac{dy}{dt} = \dfrac{d}{dt}\, f\big(x(t), y(t)\big)Chain rule (the proof)Then the one-variable fundamental theorem finishes it

Key Insight: โŸจy,xโŸฉ=โˆ‡(xy)\langle y, x\rangle = \nabla(xy), so the three pieces of the sector are just changes in xyxy: 0โˆ’00 - 0, 12โˆ’0\tfrac12 - 0 and 0โˆ’120 - \tfrac12.

IIOnly the Endpoints Matter

For Fโƒ—=โˆ‡(xy)\vec F = \nabla(xy) the work along any path equals f(P1)โˆ’f(P0)f(P_1) - f(P_0).

IIIThe Sector, Read off the Level Curves

Around the sector the potential xyxy goes 0โ†’0โ†’12โ†’00 \to 0 \to \tfrac12 \to 0, and the work so far is always f(now)โˆ’f(0,0)f(\text{now}) - f(0,0).

IVQuiz Questions

Problem 1 ยท Work from a Known Potential

Given: Fโƒ—=โˆ‡f\vec F = \nabla f with f(x,y)=x2yf(x, y) = x^2 y, and CC any curve from (1,1)(1, 1) to (2,3)(2, 3) โ€” find โˆซCFโƒ—โ‹…drโƒ—\int_C \vec F \cdot d\vec r.

โœ… Correct! f(2,3)โˆ’f(1,1)=12โˆ’1=11f(2, 3) - f(1, 1) = 12 - 1 = 11.
โŒ That is only f(P1)f(P_1). The work is the change in ff: subtract f(1,1)=1f(1, 1) = 1.
โŒ The order is reversed. The theorem gives f(P1)โˆ’f(P0)f(P_1) - f(P_0), end minus start.
โŒ Not for a gradient field. The theorem gives the same value f(P1)โˆ’f(P0)f(P_1) - f(P_0) for every curve from P0P_0 to P1P_1.
Show solution

Since Fโƒ—=โˆ‡f\vec F = \nabla f, the fundamental theorem applies:

โˆซCโˆ‡fโ‹…drโƒ—=f(2,3)โˆ’f(1,1)=22โ‹…3โˆ’12โ‹…1=12โˆ’1=11.\int_C \nabla f \cdot d\vec r = f(2, 3) - f(1, 1) = 2^2 \cdot 3 - 1^2 \cdot 1 = 12 - 1 = 11.

Problem 2 ยท Downhill Work

Given: Fโƒ—=โˆ‡f\vec F = \nabla f with f(x,y)=x+y2f(x, y) = x + y^2, and CC a curve from P0=(0,2)P_0 = (0, 2) to P1=(1,0)P_1 = (1, 0) โ€” find โˆซCFโƒ—โ‹…drโƒ—\int_C \vec F \cdot d\vec r.

โœ… Correct! f(1,0)โˆ’f(0,2)=1โˆ’4=โˆ’3f(1, 0) - f(0, 2) = 1 - 4 = -3: the path moves to lower potential, so the work is negative.
โŒ That is f(P0)โˆ’f(P1)f(P_0) - f(P_1). The work is end minus start, 1โˆ’41 - 4.
โŒ That adds the two values. The work is the difference f(P1)โˆ’f(P0)f(P_1) - f(P_0).
โŒ Check f(0,2)f(0, 2). f=x+y2f = x + y^2, so f(0,2)=0+4=4f(0, 2) = 0 + 4 = 4, not 22.
Show solution
โˆซCโˆ‡fโ‹…drโƒ—=f(1,0)โˆ’f(0,2)=(1+0)โˆ’(0+4)=โˆ’3.\int_C \nabla f \cdot d\vec r = f(1, 0) - f(0, 2) = (1 + 0) - (0 + 4) = -3.

A path that ends at a lower value of the potential gets negative work.

Problem 3 ยท Spot the Potential

Given: Fโƒ—=2xyโ€‰ฤฑ^+x2โ€‰ศท^\vec F = 2xy\,\hat\imath + x^2\,\hat\jmath and CC the parabola y=x2y = x^2 from (0,0)(0, 0) to (2,4)(2, 4) โ€” find a potential ff with โˆ‡f=Fโƒ—\nabla f = \vec F, then โˆซCFโƒ—โ‹…drโƒ—\int_C \vec F \cdot d\vec r.

Which function is a potential?

What is the work along CC?

โœ… Correct! f=x2yf = x^2 y has fx=2xyf_x = 2xy, fy=x2f_y = x^2, so the work is f(2,4)โˆ’f(0,0)=16f(2, 4) - f(0, 0) = 16.
โŒ Check both partials. A potential needs fx=2xyf_x = 2xy and fy=x2f_y = x^2.
โŒ Evaluate the potential at the endpoints. f(2,4)=22โ‹…4f(2, 4) = 2^2 \cdot 4 and f(0,0)=0f(0, 0) = 0.
Show solution

f=x2yf = x^2 y gives fx=2xy=Mf_x = 2xy = M and fy=x2=Nf_y = x^2 = N, so Fโƒ—=โˆ‡f\vec F = \nabla f. Then

โˆซCFโƒ—โ‹…drโƒ—=f(2,4)โˆ’f(0,0)=4โ‹…4โˆ’0=16.\int_C \vec F \cdot d\vec r = f(2, 4) - f(0, 0) = 4 \cdot 4 - 0 = 16.

Check by parametrising: x=tx = t, y=t2y = t^2, 0โ‰คtโ‰ค20 \le t \le 2: 2tโ‹…t2โ€‰dt+t2โ‹…2tโ€‰dt=4t3โ€‰dt2t \cdot t^2\,dt + t^2 \cdot 2t\,dt = 4t^3\,dt, and โˆซ024t3โ€‰dt=16\int_0^2 4t^3\,dt = 16.

Problem 4 ยท When the Shortcut Fails

Given: a student computes the work of Gโƒ—=โˆ’yโ€‰ฤฑ^+xโ€‰ศท^\vec G = -y\,\hat\imath + x\,\hat\jmath along the upper half of the unit circle from (1,0)(1, 0) to (โˆ’1,0)(-1, 0) as f(โˆ’1,0)โˆ’f(1,0)=0f(-1, 0) - f(1, 0) = 0 with f=xyf = xy โ€” find what is wrong.

โœ… Correct! The theorem needs Gโƒ—=โˆ‡f\vec G = \nabla f, and xyxy is the potential of โŸจy,xโŸฉ\langle y, x\rangle, not of โŸจโˆ’y,xโŸฉ\langle -y, x\rangle.
โŒ The arithmetic is fine; the premise is not. โˆ‡(xy)=โŸจy,xโŸฉ\nabla(xy) = \langle y, x\rangle, which is not Gโƒ—\vec G. On the circle Gโƒ—โ‹…T^=1\vec G \cdot \hat T = 1, so the work is the length ฯ€\pi.
โŒ The order end minus start is right. The problem is that xyxy is not a potential for Gโƒ—\vec G.
โŒ It applies to any curve from P0P_0 to P1P_1. The condition is on the field: it must be a gradient.
Show solution

The fundamental theorem holds only for Fโƒ—=โˆ‡f\vec F = \nabla f. Here โˆ‡(xy)=yโ€‰ฤฑ^+xโ€‰ศท^\nabla(xy) = y\,\hat\imath + x\,\hat\jmath, while Gโƒ—=โˆ’yโ€‰ฤฑ^+xโ€‰ศท^\vec G = -y\,\hat\imath + x\,\hat\jmath: the first components differ.

Computed directly: on the unit circle Gโƒ—\vec G is tangent with length 11 and points counterclockwise, the direction of travel, so Gโƒ—โ‹…T^=1\vec G \cdot \hat T = 1 and

โˆซCGโƒ—โ‹…drโƒ—=โˆซC1โ€‰ds=ฯ€.\int_C \vec G \cdot d\vec r = \int_C 1\,ds = \pi.

Solved: 0 / 4