A particle moves from the origin to the point through the force field , and the work the field does on it is the line integral along its path . The straight diagonal, a path with a corner and a curve that bends back and forth all join the same two points, but nothing yet says that they give the same work. This page shows that each of them, and every other piecewise continuously differentiable path between these points, gives exactly , because is the differential of . It also sets out the conditions that make such an endpoint shortcut valid and shows a field for which the route does matter.
Key terms
Line integral
Definition Let be an oriented curve in the plane, traced from its initial point to its terminal point by a parametrization , , that is piecewise continuously differentiable. This means that splits into finitely many intervals, on each of which is continuously differentiable. Let be continuous on . The line integral of along is
where and are evaluated at and the derivatives and at . Reparametrizing without changing its direction gives the same value, and reversing the direction changes the sign. When is a force, the line integral is the work the field does along .
In plain words Walk along the curve, and at each small step multiply the length of the step by the component of the field in the direction of the step. Steps with the field count as positive, steps against it count as negative, and steps at right angles to it count as zero. The total of these signed amounts is the line integral.
Example For along the diagonal , , both derivatives and equal , so
Along the corner path from to and then up to , the first segment has and , so it contributes nothing. The second has and , so it contributes , and the total is again .
Potential function and conservative vector field
Definition Let be an open set in the plane and a vector field that is continuous on . A differentiable function on is a potential function for on if
that is, and at every point of . The field is conservative on if it has a potential function on , so being conservative is a property of the field together with its domain. If is connected, any two potential functions of on differ by a constant. Physics usually works with the potential energy , and then the work done by the field equals the decrease in potential energy.
In plain words A potential function attaches one number to each point, and its rates of change in the and directions are the two components of the field. The field is conservative when one such function works on the whole region in question, not just near each point separately.
Example The function has and , so and the field is conservative on the whole plane. Every potential of this field on the plane has the form for a constant . In contrast, the rotating field has no potential on any open set. A potential would satisfy and , so it would have continuous second partial derivatives with and , while continuous mixed partial derivatives are equal.
Exact differential
Definition Let and be continuous on an open set in the plane. The differential form is exact on if there is a differentiable function on with
that is, and on . So the form is exact on if and only if the field is conservative on , with as a potential. If and have continuous first partial derivatives on , exactness forces
because . On a simply connected open set, such as the whole plane, an open disk or an open rectangle, this test is also sufficient. On an open set with a hole, such as the plane with the origin removed, a form can pass the test without being exact.
In plain words An expression is exact when it is the small change of a single function. If the cross partial derivatives differ anywhere in the region, the form is not exact there. If they agree everywhere and the region has no holes, it is exact, but on a region with a hole a form can pass the test and still fail to be exact.
Example Along any parametrized path, with and functions of , the product rule gives
which is exactly the integrand of the work integral. So is exact on the whole plane. The test agrees, since and give . The form fails the test, with and , so it is not exact on any open set.
Fundamental theorem for line integrals
Definition Let be continuously differentiable on an open set , and let be a piecewise continuously differentiable curve in from the point to the point . Then
So if is continuous and conservative on with potential , its line integral along every such curve in is the potential difference . To see why, take one continuously differentiable piece , . The chain rule gives
a continuous function of , so the fundamental theorem of calculus turns the integral over that piece into . Adding the pieces, the values at the joints cancel and only remains.
In plain words For a gradient field, the line integral is the final value of the potential minus the starting value. Every rise and fall of the potential along the way is already included in that net change.
Example The field equals with on the whole plane, so for every piecewise continuously differentiable path from to ,
Neither the length of the path nor the speed along it enters the answer. The same theorem gives for every path from back to , since the endpoints trade places, and for every closed path.
Path independence
Definition Let be continuous on an open set . Its line integral is path independent in if any two piecewise continuously differentiable curves in with the same initial point and the same terminal point give the same value. This holds if and only if
for every closed piecewise continuously differentiable curve in , because two paths from to form a closed curve when the second is traveled backward. If is also connected, path independence holds if and only if is conservative on . One direction is the fundamental theorem for line integrals. For the other, fix a point of and let be the integral of along any path in from to , which path independence makes well defined. This function satisfies .
In plain words Path independence means that the route does not matter, only where it starts and where it ends. Equivalently, every round trip gives zero. For a field on a connected open set, this happens exactly when the field has a potential there.
Example For , the diagonal, the corner path through , the parabola and the curve from to all give . The rotating field behaves differently between the same points. Along the diagonal the integrand is , so the work is . The corner path through gives , and the corner path through gives . Going out along the first corner path and back along the second traces the boundary of the unit square counterclockwise, with work
So the line integral of is not path independent on any open set that contains the square.
Check yourself
- Evaluate along any piecewise continuously differentiable path from to .
Show the answer
Here and have on the whole plane, which is simply connected, so the form is exact. A potential is , since and . By the fundamental theorem for line integrals,
As a check, the segment , , gives the integrand , whose integral from to is .
- Find from to along the diagonal and along the corner path through . Can the answer be found by evaluating a potential at the endpoints?
Show the answer
Along the diagonal the integrand is , so
On the corner path, the segment along the -axis has and and contributes , and the segment contributes . The total is .
Two paths with the same endpoints give different values, so the integral is not path independent and no potential exists on any open set containing both paths. The cross partial test shows the same thing everywhere, since while . A guess such as fails because its derivative is , not .
- On the plane with the origin removed, consider the form
Check that there. Then find its integral counterclockwise around the unit circle and around the circle of radius centered at , and explain the two results.
Show the answer
With and , both cross partial derivatives equal
at every point except the origin. On the unit circle , , the denominator is and the integrand is , so the integral is .
A closed path with a nonzero integral shows that the form is not exact on the punctured plane, even though it passes the test there. The test guarantees exactness only on a simply connected set, and the punctured plane has a hole at the origin, which the unit circle surrounds.
The circle centered at lies in the half plane , which is simply connected. There the form equals , so its integral around that closed circle is .