5.2 Conservative Vector Fields and Path Independence

Conservative Vector Fields

Conservative vector fields are crucial in multivariable calculus. They have zero curl everywhere and can be expressed as the gradient of a scalar potential function. This property leads to path independence in line integrals, simplifying calculations and revealing important physical insights.

The curl test and potential functions are the key tools for working with conservative fields. Understanding these concepts helps you solve problems involving work, energy, and other applications where path independence matters.

Curl test for conservative fields

The curl of a vector field measures how much the field "rotates" at each point. If there's no rotation anywhere, the field is conservative.

Definition: $\text{curl } \mathbf{F} = \nabla \times \mathbf{F}$

For a 2D vector field $\mathbf{F} = \langle P, Q \rangle$, the curl reduces to a scalar:

$\text{curl } \mathbf{F} = \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}$

For a 3D vector field $\mathbf{F} = \langle P, Q, R \rangle$, the curl is a vector:

$\text{curl } \mathbf{F} = \left(\frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z},\; \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x},\; \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)$

The conservative field criterion: if $\text{curl } \mathbf{F} = \mathbf{0}$ everywhere in the domain, and the domain is simply connected (no holes or gaps), then $\mathbf{F}$ is conservative.

The simply connected requirement matters. On a domain with a hole (like a torus, or a punctured plane), a field can have zero curl and still not be conservative. The classic example is $\mathbf{F} = \left\langle \frac{-y}{x^2+y^2},\; \frac{x}{x^2+y^2} \right\rangle$, which has zero curl on $\mathbb{R}^2 \setminus \{0\}$ but is not conservative there.

Potential functions of conservative fields

A potential function is a scalar function $f$ whose gradient equals the vector field: $\nabla f = \mathbf{F}$. If such an $f$ exists, $\mathbf{F}$ is conservative.

Potential functions are unique up to a constant. If $f$ is a potential function, so is $f + C$ for any constant $C$.

Finding a potential function (integration method):

1. Start with one component. For example, set $\frac{\partial f}{\partial x} = P(x,y,z)$ and integrate with respect to $x$. This gives $f = \int P\, dx + g(y,z)$, where $g(y,z)$ is an unknown function of the remaining variables.
2. Differentiate your result with respect to $y$ and set it equal to $Q$. This lets you solve for $\frac{\partial g}{\partial y}$.
3. Integrate to find $g$, which may now include an unknown function of $z$ alone, say $h(z)$.
4. Differentiate with respect to $z$, set equal to $R$, and solve for $h(z)$.
5. Combine everything to write the full potential function $f$.

For simple cases (low-degree polynomials, basic trig), you can sometimes spot the potential function by inspection rather than grinding through every step.

Conservative fields vs path independence

Path independence means the value of a line integral $\int_C \mathbf{F} \cdot d\mathbf{r}$ depends only on the starting and ending points of $C$, not on which path you take between them.

These two properties are equivalent (each implies the other):

• $\mathbf{F}$ is conservative $\iff$ line integrals of $\mathbf{F}$ are path-independent

A direct consequence: the integral of a conservative field around any closed loop is zero, because the start and end points are the same. Physically, this is why gravity is called a conservative force. The work done by gravity on an object depends only on the change in height, not on the route taken.

Fundamental theorem for line integrals

This theorem is the line-integral analog of the Fundamental Theorem of Calculus. It says that if $\mathbf{F} = \nabla f$ and $C$ is a smooth curve from point $a$ to point $b$, then:

$\int_C \mathbf{F} \cdot d\mathbf{r} = f(b) - f(a)$

To apply it, you need two things:

• Confirm that $\mathbf{F}$ is conservative (use the curl test).
• Find the potential function $f$.

Once you have $f$, you skip parametrization entirely. Just plug in the endpoints and subtract. This is a huge computational shortcut compared to evaluating a line integral directly, and it's exactly why path independence holds: the integral always reduces to a difference of potential values at the endpoints.