# Conservative vector field

Template:More footnotes
In vector calculus a **conservative vector field** is a vector field that is the gradient of some function, known in this context as a scalar potential.^{[1]} Conservative vector fields have the property that the line integral is path independent, i.e. the choice of integration path between any point and another does not change the result. Path independence of a line integral is equivalent to the vector field being conservative. A conservative vector field is also irrotational; in three dimensions this means that it has vanishing curl. An irrotational vector field is necessarily conservative provided that a certain condition on the geometry of the domain holds, i.e. the domain is simply connected.

Conservative vector fields appear naturally in mechanics: they are vector fields representing forces of physical systems in which energy is conserved.^{[2]} For a conservative system, the work done in moving along a path in configuration space depends only on the endpoints of the path, so it is possible to define a potential energy independently of the path taken.

## Contents

## Informal treatment

In a two and three dimensional space, there is an ambiguity in taking an integral between two points as there are infinitely many paths that you could choose to get between the two points - apart from the straight line formed between the two points one could choose a curved path of greater length as shown in the figure. Therefore in general the value of the integral depends on the path taken. However, in the special case of a conservative vector field, the value of the integral is independent of the path taken which can be thought of as a large-scale cancellation of all elements *dR* which don't have a component along the straight line between the two points. To visualise this, imagine two people climbing a cliff; one decides to scale the cliff by going vertically up it, and the second decides to walk along a winding path that is longer in length than the height of the cliff, but at only a small angle to the horizontal. Although the two hikers have taken different routes to get up to the top of the cliff, at the top they will have both gained the same amount of potential energy due to gravity. This is because a gravitational field is conservative. As an example of a non-conservative field, imagine pushing a box from one end of a room to another. If you push the box in a straight line across the room, you will do noticeably less work against friction than if you pushed the box in a curved path covering a greater distance.

## Intuitive explanation

M. C. Escher's painting *Ascending and Descending* illustrates a non-conservative vector field, impossibly made to appear to be the gradient of the varying height above ground as one moves along the staircase. It is "rotational" in that one can keep getting higher or keep getting lower while going around in circles. It is non-conservative in that one can return to one's starting point while ascending more than one descends or vice-versa. On a real staircase the height above the ground is a scalar potential field: if one returns to the same place, one goes upward exactly as much as one goes downward. Its gradient would be a conservative vector field, and is irrotational. The situation depicted in the painting is impossible.

## Definition

A vector field is said to be *conservative* if there exists a scalar field such that

Here denotes the gradient of . When the above equation holds, is called a scalar potential for .

The fundamental theorem of vector calculus states that any vector field can be expressed as the sum of a conservative vector field and a solenoidal field.

## Path independence

{{#invoke:main|main}}

A key property of a conservative vector field is that its integral along a path depends only on the endpoints of that path, not the particular route taken. Suppose that is a region of three-dimensional space, and that is a rectifiable path in with start point and end point . If is a conservative vector field then the gradient theorem states that

This holds as a consequence of the chain rule and the fundamental theorem of calculus.

An equivalent formulation of this is to say that

for every closed loop in *S*. The converse of this statement is also true: if the circulation of **v** around every closed loop in an open set *S* is zero, then **v** is a conservative vector field.

## Irrotational vector fields

A vector field is said to be *irrotational* if its curl is zero. That is, if

For this reason, such vector fields are sometimes referred to as **curl free field** (**curl-free vector field**) or *curl-less* vector fields.

It is an identity of vector calculus that for any scalar field :

Therefore every conservative vector field is also an irrotational vector field.

Provided that is a simply connected region, the converse of this is true: every irrotational vector field is also a conservative vector field.

The above statement is *not* true if is not simply connected. Let be the usual 3-dimensional space, except with the -axis removed; that is . Now define a vector field by

Then exists and has zero curl at every point in ; that is
is irrotational. However the circulation of around the unit circle in the -plane is equal to . Indeed we note that in polar coordinates , so the integral over the unit circle is equal . Therefore does not have the path independence property discussed above, and is not conservative. (However, in any simply connected subregion of S, it is still true that it is conservative. In fact, the field above is the gradient of . As we know from complex analysis, this is a multi-valued function which requires a branch cut from the origin to infinity to be defined in a continuous way; hence, in a region that does not go around the *z*-axis, its gradient is conservative.)

In a simply connected region an irrotational vector field has the path independence property. This can be seen by noting that in such a region an irrotational vector field is conservative, and conservative vector fields have the path independence property. The result can also be proved directly by using Stokes' theorem. In a connected region any vector field which has the path independence property must also be irrotational.

More abstractly, a conservative vector field is an exact 1-form. That is, it is a 1-form equal to the exterior derivative of some 0-form (scalar field) . An irrotational vector field is a closed 1-form. Since *d*^{2} = 0, any exact form is closed, so any conservative vector field is irrotational. The domain is simply connected if and only if its first homology group is 0, which is equivalent to its first cohomology group being 0. The first de Rham cohomology group is 0 if and only if all closed 1-forms are exact.

## Irrotational flows

{{#invoke:main|main}} The flow velocity of a fluid is a vector field, and the vorticity of the flow can be defined by

A common alternative notation for *vorticity* is .^{[3]}

If is irrotational, with , then the flow is said to be an **irrotational flow**. The vorticity of an irrotational flow is zero.^{[4]}

Kelvin's circulation theorem states that a fluid that is irrotational in an inviscid flow will remain irrotational. This result can be derived from the vorticity transport equation, obtained by taking the curl of the Navier-stokes equations.

For a two-dimensional flow the vorticity acts as a measure of the *local* rotation of fluid elements. Note that the vorticity does *not* imply anything about the global behaviour of a fluid. It is possible for a fluid traveling in a straight line to have vorticity, and it is possible for a fluid which moves in a circle to be irrotational.

## Conservative forces

If the vector field associated to a force is conservative then the force is said to be a conservative force.

The most prominent examples of conservative forces are the force of gravity and the electric field associated to a static charge. According to Newton's law of gravitation, the gravitational force, , acting on a mass , due to a mass which is a distance away, obeys the equation

where is the gravitational constant and is a unit vector pointing from towards . The force of gravity is conservative because , where

is the gravitational potential energy.

For conservative forces, *path independence* can be interpreted to mean that the work done in going from a point to a point
is independent of the path chosen, and that the work *W* done in going around a closed loop is zero:

The total energy of a particle moving under the influence of conservative forces is conserved, in the sense that a loss of potential energy is converted to an equal quantity of kinetic energy or vice versa.

## See also

- Beltrami vector field
- Complex lamellar vector field
- Helmholtz decomposition
- Laplacian vector field
- Longitudinal and transverse vector fields
- Potential field
- Solenoidal vector field

## Citations and sources

- Citations

- ↑ {{#invoke:citation/CS1|citation |CitationClass=book }}
- ↑ George B. Arfken and Hans J. Weber,
*Mathematical Methods for Physicists*, 6th edition, Elsevier Academic Press (2005) - ↑ Clancy, L.J.,
*Aerodynamics*, Section 7.11, Pitman Publishing Limited, London. ISBN 0-273-01120-0 - ↑ {{#invoke:citation/CS1|citation |CitationClass=citation }}, pp. 194–196.

- Sources

- D. J. Acheson,
*Elementary Fluid Dynamics*, Oxford University Press (2005)