MathCalculus

Determine Whether the Following Vector Field Is Conservative on ℝ²

Testing the cross partials P_y and Q_x on ℝ² shows 106, 109, 110 and 111 are conservative — with potentials x²y³, 3x²+5xy+2y², x²cos y−y sin x and y e^x+x sin y — while 107 and 108 are not.

Question

For the following exercises, determine whether the vector field is conservative on R2\mathbb{R}^{2} and, if it is, find the potential function.

  1. F(x,y)=2xy3i+3x2y2j\mathbf{F}(x,y) = 2xy^{3}\,\mathbf{i} + 3x^{2}y^{2}\,\mathbf{j}

  2. F(x,y)=(y+exsiny)i+[(x+2)excosy]j\mathbf{F}(x,y) = \left(-y + e^{x}\sin y\right)\mathbf{i} + \left[(x+2)e^{x}\cos y\right]\mathbf{j}

  3. F(x,y)=(e2xsiny)i+(e2xcosy)j\mathbf{F}(x,y) = \left(e^{2x}\sin y\right)\mathbf{i} + \left(e^{2x}\cos y\right)\mathbf{j}

  4. F(x,y)=(6x+5y)i+(5x+4y)j\mathbf{F}(x,y) = (6x+5y)\,\mathbf{i} + (5x+4y)\,\mathbf{j}

  5. F(x,y)=[2xcosyycosx]i+[x2sinysinx]j\mathbf{F}(x,y) = \left[2x\cos y - y\cos x\right]\mathbf{i} + \left[-x^{2}\sin y - \sin x\right]\mathbf{j}

  6. F(x,y)=[yex+siny]i+[ex+xcosy]j\mathbf{F}(x,y) = \left[y e^{x} + \sin y\right]\mathbf{i} + \left[e^{x} + x\cos y\right]\mathbf{j}

Answer

A field F=Pi+Qj\mathbf{F}=P\,\mathbf{i}+Q\,\mathbf{j} is conservative exactly when it is the gradient of some potential function, and on an open, simply connected region that happens precisely when the cross partials agree:

Py=Qxthroughout the region.\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}\quad\text{throughout the region.}

Every field below is built from polynomials, exponentials, sines and cosines, so each component is defined and differentiable on all of R2\mathbb{R}^{2}. The domain is open and simply connected, no point has to be excluded, and the test is decisive for all six.

FieldCross partialsVerdict and potential
106. 2xy3i+3x2y2j2xy^{3}\,\mathbf{i}+3x^{2}y^{2}\,\mathbf{j}equal, both 6xy26xy^{2}conservative, f=x2y3+Cf=x^{2}y^{3}+C
107. (y+exsiny)i+(x+2)excosyj(-y+e^{x}\sin y)\,\mathbf{i}+(x+2)e^{x}\cos y\,\mathbf{j}not equalnot conservative
108. e2xsinyi+e2xcosyje^{2x}\sin y\,\mathbf{i}+e^{2x}\cos y\,\mathbf{j}not equalnot conservative
109. (6x+5y)i+(5x+4y)j(6x+5y)\,\mathbf{i}+(5x+4y)\,\mathbf{j}equal, both 55conservative, f=3x2+5xy+2y2+Cf=3x^{2}+5xy+2y^{2}+C
110. (2xcosyycosx)i+(x2sinysinx)j(2x\cos y-y\cos x)\,\mathbf{i}+(-x^{2}\sin y-\sin x)\,\mathbf{j}equal, both 2xsinycosx-2x\sin y-\cos xconservative, f=x2cosyysinx+Cf=x^{2}\cos y-y\sin x+C
111. (yex+siny)i+(ex+xcosy)j(y e^{x}+\sin y)\,\mathbf{i}+(e^{x}+x\cos y)\,\mathbf{j}equal, both ex+cosye^{x}+\cos yconservative, f=yex+xsiny+Cf=ye^{x}+x\sin y+C

The two fields that fail the test

107. Differentiating P=y+exsinyP=-y+e^{x}\sin y in yy gives 1+excosy-1+e^{x}\cos y, while differentiating Q=(x+2)excosyQ=(x+2)e^{x}\cos y in xx gives (x+3)excosy(x+3)e^{x}\cos y. The extra xx-dependence in QQ cannot be produced by PP, and the constant term 1-1 has nothing to match, so the cross partials differ and F\mathbf{F} is not conservative. Choosing the test point y=0y=0 makes this visible immediately: Py(x,0)=1+exP_{y}(x,0)=-1+e^{x} but Qx(x,0)=(x+3)exQ_{x}(x,0)=(x+3)e^{x}.

108. Here P=e2xsinyP=e^{2x}\sin y and Q=e2xcosyQ=e^{2x}\cos y, so Py=e2xcosyP_{y}=e^{2x}\cos y while Qx=2e2xcosyQ_{x}=2e^{2x}\cos y. The two components differ by a factor of 22 in how fast they change in xx, and the cross partials are equal only where cosy=0\cos y=0 — at isolated curves, not throughout the domain. The field is not conservative.

Not-belonging-to-the-test cases like these are why the comparison has to be made as functions on the whole region. Agreeing at a few sampled points proves nothing.

Recovering a potential when the test passes

Take 109, where P=6x+5yP=6x+5y and Q=5x+4yQ=5x+4y. Integrating PP in xx while treating yy as a constant gives

f(x,y)=(6x+5y)dx=3x2+5xy+g(y),f(x,y)=\int(6x+5y)\,dx=3x^{2}+5xy+g(y),

where gg is the "constant" of integration in xx. Differentiating this in yy and matching the second component,

fy=5x+g(y)=5x+4yg(y)=4yg(y)=2y2+C,\frac{\partial f}{\partial y}=5x+g'(y)=5x+4y\quad\Longrightarrow\quad g'(y)=4y\quad\Longrightarrow\quad g(y)=2y^{2}+C,

so f(x,y)=3x2+5xy+2y2+Cf(x,y)=3x^{2}+5xy+2y^{2}+C. Any constant works, because a constant has zero gradient; the potential is determined only up to that constant.

The same procedure on 111 gives f=yex+xsiny+Cf=ye^{x}+x\sin y+C: integrating P=yex+sinyP=ye^{x}+\sin y in xx produces yex+xsiny+g(y)ye^{x}+x\sin y+g(y), and matching f/y\partial f/\partial y to Q=ex+xcosyQ=e^{x}+x\cos y forces g(y)=0g'(y)=0.

A useful cross-check

A potential can be verified without recomputing anything: differentiate the candidate. For 106, f=x2y3f=x^{2}y^{3} gives fx=2xy3=Pf_{x}=2xy^{3}=P and fy=3x2y2=Qf_{y}=3x^{2}y^{2}=Q, which confirms both the potential and the conservative verdict in one step.

Evidence boundary

This page is a normalized presentation of the OpenStax Calculus Volume 3 section 6.3 exercise set “determine whether the vector field is conservative and, if it is, find the potential function.” All six items 106 to 111 are used and each component is reproduced as published. The search phrase that led here was truncated after “conservative on”, so the domain is stated explicitly as the whole plane: every component is defined and differentiable on all of ℝ², which is why the cross-partial test settles each item without excluding any point. Potentials are reported up to an arbitrary additive constant, and the verdicts are for these polynomial and exponential-trigonometric fields only; no statement is made about fields whose components are undefined somewhere.

Sources

These references support the concepts and methods used in the explanation above.

Determine Whether the Following Vector Field Is Conservative on ℝ² | Verla