Multivariable-Calculus · Unit 19 · Video 3 · Interactive Practice

Finding a Potential Function by Partial Antiderivatives

IKey Formulas

StepFor F⃗=⟨4x2+8xy, 3y2+4x2⟩\vec F = \langle 4x^2 + 8xy,\ 3y^2 + 4x^2\rangleWhy
Integrate fx=Mf_x = M in xxf=43x3+4x2y+g(y)f = \tfrac43 x^3 + 4x^2 y + g(y)The "constant" may depend on yy
Differentiate in yy, match fy=Nf_y = N4x2+g′(y)=3y2+4x2⇒g′(y)=3y24x^2 + g'(y) = 3y^2 + 4x^2 \Rightarrow g'(y) = 3y^2g′g' must contain no xx
Integrate g′g'g=y3+cg = y^3 + c, so f=43x3+4x2y+y3+cf = \tfrac43 x^3 + 4x^2 y + y^3 + cNow cc is a true constant

Key Insight: integrate one equation, then differentiate and match the other — never integrate both and merge. If an xx survives in g′(y)g'(y), the field is not a gradient field (or there is a slip).

IIThe Missing Piece Is a Function of y Alone

The gradient of the partial answer misses F⃗\vec F by exactly ⟨0, g′(y)⟩\langle 0,\ g'(y)\rangle, a gap that depends on yy only.

Step 1 — Integrate fx=4x2+8xyf_x = 4x^2 + 8xy in xx
f=43x3+4x2y+g(y)f = \tfrac43 x^3 + 4x^2 y + g(y)

IIIThe Method Checks Itself

With 8xy8xy replaced by AxyAxy, the leftover g′(y)=3y2+(4−A2)x2g'(y) = 3y^2 + \big(4 - \tfrac{A}{2}\big)x^2 is free of xx only when A=8A = 8.

💡 A legitimate g′(y)g'(y) is the same all along each horizontal line, so every row of arrows must be uniform.

IVQuiz Questions

Problem 1 · The Right Integration Constant

Given: F⃗=⟨2xy+3, x2+4y⟩\vec F = \langle 2xy + 3,\ x^2 + 4y\rangle. After integrating fx=2xy+3f_x = 2xy + 3 with respect to xx, which expression is correct?

✅ Correct! Anything with zero xx-derivative can be added, so the constant is a function g(y)g(y).
❌ Too narrow. A term such as 2y22y^2 also has zero partial in xx; the constant must be allowed to depend on yy.
❌ Wrong variable. A function of xx has a nonzero xx-derivative in general; the unknown depends on yy.
❌ Not quite. Integrate in xx, treating yy as constant.
Show solution

Treat yy as a constant: ∫(2xy+3) dx=x2y+3x\int (2xy + 3)\,dx = x^2 y + 3x, plus anything whose xx-derivative is zero, i.e. a function of yy:

f=x2y+3x+g(y).f = x^2 y + 3x + g(y).

Problem 2 · Match the Other Equation

Continue Problem 1: using fy=N=x2+4yf_y = N = x^2 + 4y, find g′(y)g'(y).

✅ Correct! fy=x2+g′(y)f_y = x^2 + g'(y) must equal x2+4yx^2 + 4y, so g′=4yg' = 4y — no xx, as it must be. Then f=x2y+3x+2y2+cf = x^2 y + 3x + 2y^2 + c.
❌ Subtract what is already there. fyf_y of x2y+3xx^2 y + 3x is x2x^2, which cancels against NN's x2x^2.
❌ An xx survived — that signals an algebra slip here, since the field does pass the test.
❌ That is gg, not g′g'.
❌ Not quite. Differentiate x2y+3x+g(y)x^2 y + 3x + g(y) in yy and match NN.
Show solution
fy=∂∂y(x2y+3x+g(y))=x2+g′(y).f_y = \frac{\partial}{\partial y}\big(x^2 y + 3x + g(y)\big) = x^2 + g'(y).

Matching fy=x2+4yf_y = x^2 + 4y: the x2x^2 terms cancel, leaving g′(y)=4yg'(y) = 4y, so g=2y2+cg = 2y^2 + c and f=x2y+3x+2y2+cf = x^2 y + 3x + 2y^2 + c.

Problem 3 · A Trigonometric Potential

Given: F⃗=⟨ycos⁡(xy)+2x, xcos⁡(xy)+3y2⟩\vec F = \langle y\cos(xy) + 2x,\ x\cos(xy) + 3y^2\rangle, a gradient field. Find a potential ff.

✅ Correct! fx=ycos⁡(xy)+2xf_x = y\cos(xy) + 2x and fy=xcos⁡(xy)+3y2f_y = x\cos(xy) + 3y^2.
❌ Counted sin⁡(xy)\sin(xy) twice. That is the risk of integrating both equations and merging.
❌ Check the antiderivative. ∂xcos⁡(xy)=−ysin⁡(xy)\partial_x \cos(xy) = -y\sin(xy); you need sin⁡(xy)\sin(xy).
❌ Missing g(y)g(y). Matching fyf_y leaves g′(y)=3y2g'(y) = 3y^2.
❌ Not quite. Integrate in xx, then match fyf_y.
Show solution

Integrate fxf_x in xx: f=sin⁡(xy)+x2+g(y)f = \sin(xy) + x^2 + g(y).

Differentiate in yy: fy=xcos⁡(xy)+g′(y)f_y = x\cos(xy) + g'(y). Matching xcos⁡(xy)+3y2x\cos(xy) + 3y^2 gives g′(y)=3y2g'(y) = 3y^2, so g=y3+cg = y^3 + c:

f=sin⁡(xy)+x2+y3+c.f = \sin(xy) + x^2 + y^3 + c.

Problem 4 · When an x Survives

Given: F⃗=⟨3x2y+a y2, x3+4xy⟩\vec F = \langle 3x^2 y + a\,y^2,\ x^3 + 4xy\rangle. Integrating fxf_x in xx gives f=x3y+a xy2+g(y)f = x^3 y + a\,x y^2 + g(y). Which value of aa leaves g′(y)g'(y) free of xx, and what is g′(y)g'(y) then?

✅ Correct! g′(y)=(4−2a)xyg'(y) = (4 - 2a)xy is free of xx only for a=2a = 2, and then g′=0g' = 0; the test agrees: My=3x2+2ayM_y = 3x^2 + 2ay, Nx=3x2+4yN_x = 3x^2 + 4y.
❌ Check the derivative. ∂y(axy2)=2axy\partial_y(a x y^2) = 2axy, so matching 4xy4xy needs 2a=42a = 4.
❌ That g′g' still contains xx. With a=2a = 2 the 4xy4xy terms cancel.
❌ Not quite. Differentiate ff in yy and match x3+4xyx^3 + 4xy.
Show solution
fy=x3+2a xy+g′(y)=x3+4xy  ⇒  g′(y)=(4−2a) xy.f_y = x^3 + 2a\,xy + g'(y) = x^3 + 4xy \;\Rightarrow\; g'(y) = (4 - 2a)\,xy.

A function of yy alone cannot contain xx, so 4−2a=04 - 2a = 0: a=2a = 2, and then g′(y)=0g'(y) = 0, g=cg = c, f=x3y+2xy2+cf = x^3 y + 2xy^2 + c.

The xx-derivative of the leftover, (4−2a)y(4 - 2a)y, is exactly Nx−My=(3x2+4y)−(3x2+2ay)N_x - M_y = (3x^2 + 4y) - (3x^2 + 2ay).

Solved: 0 / 4