Skip to content

One Field Curls, One Does Not

Irodov 1.133DifficultyDifficulty 2 of 5UniquenessUniqueness 2 of 5

Problem Irodov 1.133

Two stationary force fields are defined over the xyxy plane, F1=ayi\vect F_1=ay\vect i and F2=axi+byj\vect F_2=ax\vect i+by\vect j, where i\vect i and j\vect j are the unit vectors along the xx and yy axes and aa, bb are constants. Determine, for each of F1\vect F_1 and F2\vect F_2 separately, whether it is a potential (conservative) field.

Given
  • F1=ayi\vect F_1=ay\vect i
  • F2=axi+byj\vect F_2=ax\vect i+by\vect j
Find
Which, if either, of F1\vect F_1, F2\vect F_2 is a potential (conservative) field

Solution

Step 1Test both fields with the same closed loop

A force is potential exactly when the work it does around every closed path is zero, since that is what lets the work between two points be assigned a path independent value, −ΔU-\Delta U. Take the same rectangular loop for both fields, O(0,0)→A(x0,0)→B(x0,y0)→C(0,y0)→OO(0,0)\to A(x_0,0)\to B(x_0,y_0)\to C(0,y_0)\to O, for an arbitrary x0,y0>0x_0,y_0>0: the loop only has to be tried once, symbolically, since a zero result for every x0,y0x_0,y_0 rules nothing out by accident and a nonzero result is one counterexample, already enough to rule potential out.

F_1=ay i: horizontal everywhere, growing with height, not with x. Arrows are schematic (half scale, a=1) to fit inside the loop.

F1=ayi\vect F_1=ay\vect i: horizontal everywhere, growing with height, not with xx. Arrows are schematic (half scale, a=1a=1) to fit inside the loop.

F_2=ax i+by j: each component grows only with its own coordinate. Arrows are schematic (half scale, a=b=1).

F2=axi+byj\vect F_2=ax\vect i+by\vect j: each component grows only with its own coordinate. Arrows are schematic (half scale, a=b=1a=b=1).

Step 2Field F1=ayi\vect F_1=ay\vect i around the loop

F1\vect F_1 has no yy component, so only the horizontal legs O→AO\to A and B→CB\to C can contribute, and O→AO\to A sits at y=0y=0 where F1=0F_1=0:

WOA=0,WAB=∫0y00 dy=0,WBC=∫x00ay0 dx=−ay0x0,WCO=0.\begin{align*}W_{OA}=0, \qquad W_{AB}=\int_0^{y_0} 0\,dy = 0, \qquad W_{BC}=\int_{x_0}^{0} a y_0\,dx = -ay_0x_0, \qquad W_{CO}=0.\end{align*}

Adding the four legs, only WBCW_{BC} survives:

W1=WOA+WAB+WBC+WCO=−ax0y0.W_1 = W_{OA}+W_{AB}+W_{BC}+W_{CO} = -ax_0y_0.
W1=−ax0y0W_1=-ax_0y_0
(1)

Since x0,y0>0x_0,y_0>0, (1) is nonzero: the work around this loop does not vanish, so F1\vect F_1 is not potential.

Step 3Field F2=axi+byj\vect F_2=ax\vect i+by\vect j around the same loop

Both components now contribute on every leg:

WOA=∫0x0ax dx=ax022,WAB=∫0y0by dy=by022,\begin{align*}W_{OA}=\int_0^{x_0} ax\,dx = \frac{ax_0^2}{2}, \qquad W_{AB}=\int_0^{y_0} by\,dy = \frac{by_0^2}{2},\end{align*}
WBC=∫x00ax dx=−ax022,WCO=∫y00by dy=−by022.\begin{align*}W_{BC}=\int_{x_0}^{0} ax\,dx = -\frac{ax_0^2}{2}, \qquad W_{CO}=\int_{y_0}^{0} by\,dy = -\frac{by_0^2}{2}.\end{align*}

Adding all four:

W2=ax022+by022−ax022−by022=0.\begin{align*}W_2 = \frac{ax_0^2}{2}+\frac{by_0^2}{2}-\frac{ax_0^2}{2}-\frac{by_0^2}{2} = 0.\end{align*}
W2=0W_2=0
(2)

This holds for every x0,y0x_0,y_0, not just one favourable rectangle, so F2\vect F_2 is potential.

Check

The same conclusion follows from the standard component test ∂Fx/∂y=∂Fy/∂x\partial F_x/\partial y=\partial F_y/\partial x: for F1\vect F_1, ∂Fx/∂y=a\partial F_x/\partial y=a against ∂Fy/∂x=0\partial F_y/\partial x=0, unequal, confirming not potential; for F2\vect F_2, both partial derivatives are 00, confirming potential. This matches (1), (2) exactly, since (1) is −x0y0-x_0y_0 times that same mismatched derivative aa.

F=axi+byj\vect F=ax\vect i+by\vect j is potential; F=ayi\vect F=ay\vect i is not.
Remark

The potential energy for the conservative field follows from −∂U/∂x=ax-\partial U/\partial x=ax and −∂U/∂y=by-\partial U/\partial y=by, giving U(x,y)=−(ax2+by2)/2U(x,y)=-(ax^2+by^2)/2, up to an additive constant; no such UU exists for F1\vect F_1.