Conservative Fields and Scalar Potentials

A conservative field is the most economical object in vector calculus: three coupled component functions collapse into one scalar. The gradient turns a scalar field $\phi$ into a vector field $\nabla\phi$ , so asking whether a given $\mathbf{F}$ is conservative is one precise question — does $\mathbf{F}$ lie in the image of $\nabla$ ? When it does, the whole apparatus of line integrals collapses: the work carrying a particle between two points stops depending on the route and depends only on the endpoints. This article is the hinge of the vector-integral chapter, welding the gradient operator (aq-mp-gradient-operator), the curl (aq-mp-curl), and the line integral (aq-mp-line-integrals) into a single theorem with three equivalent faces. Those three faces are the spine of everything below. The field is a gradient, $\mathbf{F}=\nabla\phi$ ; its circulation around every closed loop vanishes, $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=0$ ; and its line integrals are path independent. On a simply connected domain these are one fact wearing three costumes, tied together by the gradient theorem $\int_C\nabla\phi\cdot\mathrm{d}\mathbf{r}=\phi(\text{end})-\phi(\text{start})$ — the multivariable heir of the fundamental theorem of calculus. The local shortcut for testing conservativeness is the curl, because $\nabla\times\nabla\phi\equiv\mathbf{0}$ identically. But the converse, that vanishing curl rebuilds a potential, is subtle: it needs the domain to have no holes. This is the first place in a physics education where topology enters analysis as an essential ingredient, and the azimuthal field around a missing axis is the counterexample that proves it. From electrostatics to Newtonian gravity to every force with a potential energy, conservative fields are where energy conservation is born.

Key takeaways

A vector field $\mathbf{F}$ is conservative when it is the gradient of a scalar potential, $\mathbf{F}=\nabla\phi$ (physics writes $\mathbf{F}=-\nabla\phi$ so force points downhill in energy).
The gradient theorem makes its line integral depend only on the endpoints, $\int_{\mathbf{a}}^{\mathbf{b}}\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\phi(\mathbf{b})-\phi(\mathbf{a})$ , so the circulation round any closed loop is zero.
On a simply connected domain three statements are equivalent: $\mathbf{F}=\nabla\phi$ , $\nabla\times\mathbf{F}=\mathbf{0}$ , and path-independent integrals — three faces of one fact.
The cheap local test is the curl, because $\nabla\times(\nabla\phi)\equiv\mathbf{0}$ by equality of mixed partials; irrotational is necessary for conservative.
Topology is not optional: on a punctured domain a field can be curl-free yet non-conservative — the azimuthal field gives $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=2\pi$ around a removed axis.
The potential is unique up to a constant; only differences are physical, and adding a divergence condition promotes $\phi$ to Poisson's or Laplace's equation.
Key idea: on a simply connected domain, $\mathbf{F}$ being a gradient $\nabla\phi$ , having zero curl, and giving path-independent line integrals are three faces of one fact — and the potential reduces a vector field to a single scalar.

Where this lives today

The topological subtlety at the heart of this article — a curl-free field that is not conservative on a punctured domain — is the mathematical skeleton of the Aharonov–Bohm effect. Outside an ideal solenoid the magnetic field $\mathbf{B}=\nabla\times\mathbf{A}$ is exactly zero, so the vector potential $\mathbf{A}$ is curl-free there, yet its loop integral $\oint\mathbf{A}\cdot\mathrm{d}\mathbf{r}$ equals the enclosed magnetic flux and is nonzero — the region outside the solenoid is not simply connected, and the flux is the topological charge of the excluded core. An electron beam split around the solenoid picks up a measurable phase difference proportional to that circulation even though it never enters any field: the azimuthal-field counterexample promoted to quantum reality, confirmed by Tonomura's electron-holography experiments in the 1980s. The same machinery drives modern geodesy — the GRACE satellites map Earth's gravitational potential $\phi$ and store it as one scalar (the geopotential, expanded in spherical harmonics as in EGM2008) rather than three components — and computational science, where the Helmholtz–Hodge decomposition into a curl-free gradient part and a divergence-free part is a workhorse of incompressible-flow solvers and vector-field design.

The physical picture

Picture the potential $\phi$ as a landscape of altitude over the plane. The field $\mathbf{F}=\nabla\phi$ points straight uphill everywhere, perpendicular to the contours of equal altitude and longest where the slope is steepest. Now walk from $\mathbf{a}$ to $\mathbf{b}$ : the total climb is fixed at $\phi(\mathbf{b})-\phi(\mathbf{a})$ no matter which trail you take, a gentle switchback or a direct scramble. That single sentence is path independence, and the first figure makes it visible — two very different routes accumulate the same rise because both end on the same contour.

Figure

A conservative field as a hillside: F = ∇φ points uphill across contours φ = 1 … 5. Two different paths from a on the φ = 2 contour to b on the φ = 5 contour accumulate the same work, ∫F·dr = φ(b) − φ(a) = 5 − 2 = 3, because only the endpoints matter

A closed hike that returns to its start gains zero net altitude, so $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=0$ : there is no loop around which the field consistently does positive work, no free energy to harvest by circling. Curl measures exactly the local tendency to swirl, which is why a curl-free field has no circulation to give. But the landscape picture quietly assumes a single consistent altitude exists — precisely what a hole in the domain can destroy. Imagine a spiral staircase whose central column has been removed: locally every step is flat, the curl is zero, yet one full loop around the missing column lifts you a whole floor, and the altitude becomes multi-valued. The second figure makes that obstruction exact — the azimuthal field around a removed axis, curl-free everywhere it is defined, yet circulating by $2\pi$ each time round.

Figure

The punctured-plane counterexample: the azimuthal field F = (−y, x, 0)/(x² + y²) has zero curl everywhere it is defined, yet a loop C encircling the removed axis returns circulation ∮F·dr = 2π ≠ 0, so no single-valued potential exists globally

The core equations

The definition is the whole game: a field is conservative exactly when it is the gradient of some scalar. Written in Cartesian components it says each component of $\mathbf{F}$ is a first partial derivative of one function $\phi$ , so three functions are secretly one. Physics inserts a minus sign, $\mathbf{F}=-\nabla\phi$ , so that a particle feels a force pushing it toward lower potential energy; the mathematics is identical.

\mathbf{F}=\nabla\phi=\frac{\partial\phi}{\partial x}\,\hat{\mathbf{x}}+\frac{\partial\phi}{\partial y}\,\hat{\mathbf{y}}+\frac{\partial\phi}{\partial z}\,\hat{\mathbf{z}} \qquad (1)

where: $\mathbf{F}$ — the vector field under test; $\phi$ — the scalar potential, a single-valued $C^2$ function; $\nabla$ — the gradient operator from aq-mp-gradient-operator. Reading: the potential stores all directional information of the field, and the field is its steepest-ascent direction scaled by the slope. The gradient theorem is the payoff and the multivariable analogue of $\int_a^b f'(x)\,\mathrm{d}x=f(b)-f(a)$ . It says the line integral of a conservative field is the net change of its potential — the route is irrelevant, only the two endpoints survive.

\int_C \mathbf{F}\cdot\mathrm{d}\mathbf{r}=\phi(\mathbf{b})-\phi(\mathbf{a}) \qquad (2)

where: $C$ — any curve from $\mathbf{a}$ to $\mathbf{b}$ ; $\mathrm{d}\mathbf{r}$ — the infinitesimal displacement along it; $\mathbf{a},\mathbf{b}$ — start and end points. Reading: work is a potential difference, hence path independent — the gradient plays the role the derivative plays in one dimension. Specialise the gradient theorem to a closed curve, where start and end coincide, and the right-hand side collapses to zero. This vanishing circulation is the second of the three equivalent faces of conservativeness.

\oint_C \mathbf{F}\cdot\mathrm{d}\mathbf{r}=0\quad\text{for every closed }C \qquad (3)

where: $\oint_C$ — the integral once around a closed loop. Reading: a conservative field does no net work over a cycle — no perpetual-motion engine can be built from the field alone. The cheap local test is the curl. The gradient theorem is global — it quantifies over every loop — but we want a pointwise condition, and the curl supplies it: every gradient is irrotational, an identity that holds wherever $\phi$ is twice continuously differentiable.

\nabla\times\mathbf{F}=\mathbf{0}\qquad\text{necessarily, since}\qquad \nabla\times(\nabla\phi)\equiv\mathbf{0} \qquad (4)

where: $\nabla\times$ — the curl operator from aq-mp-curl; $\equiv$ — an identity valid for all $C^2$ scalars. Reading: irrotational is necessary for conservative; whether it is sufficient is the topological question the derivations settle. Written out component by component, the curl-free condition is a set of symmetry relations among the partial derivatives of $\mathbf{F}$ — the practical checklist you run on a candidate field, and precisely the exactness test for a differential one-form.

\frac{\partial F_i}{\partial x_j}=\frac{\partial F_j}{\partial x_i}\qquad\text{for all }i,j \qquad (5)

where: $F_i$ — the $i$ -th Cartesian component of $\mathbf{F}$ ; $x_j$ — the $j$ -th coordinate. Reading: in the plane this is the single equation $\partial F_x/\partial y=\partial F_y/\partial x$ ; in three dimensions it is the three components of $\nabla\times\mathbf{F}=\mathbf{0}$ . Once path independence is secured, the potential is reconstructed by integrating the field along any convenient path from a fixed reference point, and — adding one more condition, a prescribed divergence — the potential obeys Poisson's equation, the bridge to aq-mp-laplacian-operator.

\phi(\mathbf{r})=\int_{\mathbf{r}_0}^{\mathbf{r}}\mathbf{F}\cdot\mathrm{d}\mathbf{r}'+\text{const},\qquad \nabla\cdot\mathbf{F}=\nabla^2\phi=\rho \qquad (6)

where: $\mathbf{r}_0$ — an arbitrary reference point fixing the additive constant; $\nabla^2$ — the Laplacian $\nabla\cdot\nabla$ ; $\rho$ — a source density (charge density up to a constant). Reading: the potential is unique up to a constant, and imposing a divergence turns the descriptive $\phi$ into a differential equation with sources.

Derivation AWhy the line integral of a gradient is just an endpoint difference

The goal is to prove the gradient theorem: that for $\mathbf{F}=\nabla\phi$ the line integral $\int_C\mathbf{F}\cdot\mathrm{d}\mathbf{r}$ over any smooth curve $C$ from $\mathbf{a}$ to $\mathbf{b}$ equals the plain difference $\phi(\mathbf{b})-\phi(\mathbf{a})$ , independent of the shape of $C$ . The only tools are the multivariable chain rule and the fundamental theorem of calculus, and the punchline is that path independence is not an extra assumption but a forced consequence of being a gradient.

Step 1. Parametrise the curve by $\mathbf{r}(t)$ for $t\in[t_0,t_1]$ , with $\mathbf{r}(t_0)=\mathbf{a}$ and $\mathbf{r}(t_1)=\mathbf{b}$ , and write the line integral as $\int_{t_0}^{t_1}\nabla\phi(\mathbf{r}(t))\cdot\tfrac{\mathrm{d}\mathbf{r}}{\mathrm{d}t}\,\mathrm{d}t$ . Why: a line integral is defined by pulling the field back onto a one-dimensional parameter, so every route becomes an ordinary integral in $t$ .

Step 2. Recognise the integrand as a total derivative: by the chain rule $\nabla\phi\cdot\tfrac{\mathrm{d}\mathbf{r}}{\mathrm{d}t}=\tfrac{\mathrm{d}}{\mathrm{d}t}\,\phi(\mathbf{r}(t))$ , since $\sum_i\partial_{x_i}\phi\cdot\dot{x}_i$ is exactly how $\phi$ changes as the point slides along the curve. Why: the dot product with the gradient is precisely the rate of change of the scalar along the path, so the vector integral becomes a scalar one.

Step 3. Apply the fundamental theorem of calculus to the single-variable integral: $\int_{t_0}^{t_1}\tfrac{\mathrm{d}\phi}{\mathrm{d}t}\,\mathrm{d}t=\phi(\mathbf{r}(t_1))-\phi(\mathbf{r}(t_0))=\phi(\mathbf{b})-\phi(\mathbf{a})$ . Why: the parametrisation $\mathbf{r}(t)$ has completely dropped out — only the endpoint values remain, which is path independence stated as an equation.

Step 4. Close the loop by setting $\mathbf{b}=\mathbf{a}$ : for any closed curve the difference is zero, giving $\oint_C\mathbf{F}\cdot\mathrm{d}\mathbf{r}=0$ , and conversely if that holds for every loop then $\phi(\mathbf{r})\equiv\int_{\mathbf{r}_0}^{\mathbf{r}}\mathbf{F}\cdot\mathrm{d}\mathbf{r}'$ is well defined. Why: the two-way bridge — gradient gives zero circulation, and zero circulation rebuilds the potential. *Why the construction is self-consistent: differentiating the reconstructed $\phi(\mathbf{r})=\int_{\mathbf{r}_0}^{\mathbf{r}}\mathbf{F}\cdot\mathrm{d}\mathbf{r}'$ along each coordinate returns $\partial_{x_i}\phi=F_i$ , i.e. $\nabla\phi=\mathbf{F}$ , closing the circle.*

Go deeper · Derivation B · 1 minIrrotational implies conservative when the domain has no holes

Derivation BIrrotational implies conservative when the domain has no holes

The aim is to prove the hard direction of the equivalence: if $\mathbf{F}$ is $C^1$ with $\nabla\times\mathbf{F}=\mathbf{0}$ everywhere on a simply connected open set $U$ , then a genuine single-valued potential $\phi$ exists with $\mathbf{F}=\nabla\phi$ throughout $U$ . The engine is Stokes' theorem, which trades the pointwise curl for a global circulation, and the load-bearing hypothesis is simple connectedness — every loop can be spanned by a surface lying inside $U$ . Remove it and the conclusion fails, as the next derivation shows.

Step 1. Take any closed loop $C$ in $U$ . Because $U$ is simply connected, $C$ bounds a surface $S$ lying entirely inside $U$ , and Stokes' theorem (from aq-mp-stokes-theorem) gives $\oint_C\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\iint_S(\nabla\times\mathbf{F})\cdot\mathrm{d}\mathbf{S}$ . Why: simple connectedness is the licence to span every loop with an internal surface — without it Stokes' theorem cannot be invoked.

Step 2. The integrand vanishes identically, since $\nabla\times\mathbf{F}=\mathbf{0}$ at every point of $S$ , so $\oint_C\mathbf{F}\cdot\mathrm{d}\mathbf{r}=0$ for every loop $C$ . Why: the local hypothesis has now been promoted to a statement about every closed curve in the domain — zero curl on a fillable region means zero circulation.

Step 3. Deduce path independence: for two curves $C_1,C_2$ from $\mathbf{a}$ to $\mathbf{b}$ , the concatenation $C_1$ followed by $C_2$ reversed is a closed loop of zero circulation, so $\int_{C_1}\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\int_{C_2}\mathbf{F}\cdot\mathrm{d}\mathbf{r}$ . Why: any two routes between the same endpoints differ by a loop, and every loop integrates to zero.

Step 4. Define $\phi(\mathbf{r})\equiv\int_{\mathbf{r}_0}^{\mathbf{r}}\mathbf{F}\cdot\mathrm{d}\mathbf{r}'$ from a fixed base point $\mathbf{r}_0$ ; path independence makes this single-valued, and differentiating along a coordinate displacement gives $\partial_{x_i}\phi=F_i$ , hence $\nabla\phi=\mathbf{F}$ . Why: path independence is exactly what makes the integral depend only on $\mathbf{r}$ , turning a would-be multi-valued object into an honest potential. *Why the implication is reversible: applying $\nabla\times$ to the recovered $\mathbf{F}=\nabla\phi$ returns $\mathbf{0}$ , consistent with the starting hypothesis, so the equivalence holds in both directions on simply connected $U$ .*

Go deeper · Derivation C · 2 minThe azimuthal field: curl-free everywhere yet not conservative

Derivation CThe azimuthal field: curl-free everywhere yet not conservative

The purpose is to exhibit a concrete field that is irrotational at every point where it is defined yet fails to be conservative, proving that simple connectedness in the previous derivation cannot be dropped. The field is $\mathbf{F}=(-y,\,x,\,0)/(x^2+y^2)$ on $U=\mathbb{R}^3$ with the whole $z$ -axis deleted, so the singular line $x=y=0$ lies outside $U$ . We compute the curl to confirm it vanishes, then integrate around a loop encircling the missing axis and find a nonzero answer — compatible only because $U$ is not simply connected.

Step 1. Compute the only nontrivial curl component, $\partial_x F_y-\partial_y F_x$ , with $F_x=-y/(x^2+y^2)$ and $F_y=x/(x^2+y^2)$ . Both derivatives equal $(y^2-x^2)/(x^2+y^2)^2$ , so their difference is zero; the other components vanish since $F_z=0$ and nothing depends on $z$ . Hence $\nabla\times\mathbf{F}=\mathbf{0}$ on all of $U$ . Why: the field really is irrotational — no local swirl to detect anywhere it lives.

Step 2. Choose the unit circle $\mathbf{r}(t)=(\cos t,\sin t,0)$ for $t\in[0,2\pi]$ , a loop that cannot be shrunk to a point without crossing the deleted axis. On it $x^2+y^2=1$ , so $\mathbf{F}=(-\sin t,\cos t,0)$ and $\mathrm{d}\mathbf{r}=(-\sin t,\cos t,0)\,\mathrm{d}t$ . Why: to expose the obstruction we must pick a loop that actually wraps the hole — a loop that misses the axis would give zero and hide the effect.

Step 3. Evaluate the circulation: $\mathbf{F}\cdot\mathrm{d}\mathbf{r}=(\sin^2 t+\cos^2 t)\,\mathrm{d}t=\mathrm{d}t$ , so $\oint_C\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\int_0^{2\pi}\mathrm{d}t=2\pi\neq0$ . Why: a nonzero loop integral is flatly incompatible with a single-valued potential, since the gradient theorem would force every closed integral to be zero.

Step 4. Interpret the clash: locally a potential does exist, $\phi=\arctan(y/x)$ (the polar angle), and indeed $\nabla\phi=\mathbf{F}$ patch by patch — but the polar angle increases by $2\pi$ each time you circle the axis, so there is no globally single-valued $\phi$ . The winding number $2\pi$ is the topological charge the hole carries. Why: the field is conservative in the small and non-conservative in the large, and the gap between the two is measured precisely by the domain's failure to be simply connected. *Why both results hold together: the symbolic curl is identically zero and the loop integral evaluates to exactly $2\pi$ — the two facts are compatible precisely because the domain is not simply connected, and $2\pi$ is the winding-number value the topology of the punctured plane forces.*

Limiting cases

Conservativeness is conditional — the answer depends jointly on the field's curl and the shape of the domain. The table sorts the four regimes that matter.

Case	Result	Meaning
Simply connected domain	$\nabla\times\mathbf{F}=\mathbf{0}\;\Longrightarrow\;\mathbf{F}=\nabla\phi$	No holes, so irrotational and conservative coincide — the full three-way equivalence holds.
Multiply connected domain	$\nabla\times\mathbf{F}=\mathbf{0}\;\not\Longrightarrow\;\mathbf{F}=\nabla\phi$	A loop around a hole can give nonzero circulation; only a locally defined, multi-valued potential survives.
Gradient of any $C^2$ scalar	$\mathbf{F}=\nabla\phi\;\Longrightarrow\;\nabla\times\mathbf{F}=\mathbf{0}$	Needs no topology at all — the identity $\nabla\times\nabla\phi\equiv\mathbf{0}$ holds wherever $\phi$ is twice differentiable.
Conservative and divergence-free	$\nabla\cdot\mathbf{F}=0\;\Rightarrow\;\nabla^2\phi=0$	The potential becomes harmonic — Laplace's equation, the source-free limit of Poisson.

Common trapZero curl alone does not give you a potential

The seductive error is to compute $\nabla\times\mathbf{F}=\mathbf{0}$ on a region, declare victory, and assume a single-valued potential exists. It does not follow: the domain must also be simply connected. The azimuthal field $\mathbf{F}=(-y,x,0)/(x^2+y^2)$ has $\nabla\times\mathbf{F}=\mathbf{0}$ everywhere it is defined, yet $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=2\pi$ around the missing $z$ -axis — irrotational but not conservative. The curl is a local test; conservativeness is a global property, and only on a domain with no holes do the two coincide. Whenever your region has a puncture, a removed wire, or a torus-like topology, you must check circulation around each independent loop by hand — the curl will not warn you. This is exactly the situation of the magnetic vector potential outside a solenoid, and why the Aharonov–Bohm phase is observable.

Worked examples

1 · Is this field conservative, and what is its potential? (confidence builder)

Test $\mathbf{F}=(2xy+z^3,\;x^2,\;3xz^2)$ for conservativeness on all of $\mathbb{R}^3$ , reconstruct its potential $\phi$ , and find the work done from $(0,0,0)$ to $(1,1,1)$ .

Step 1. Run the curl test, equation (5), pair by pair. $\partial F_x/\partial y=2x=\partial F_y/\partial x$ ; $\partial F_x/\partial z=3z^2=\partial F_z/\partial x$ ; $\partial F_y/\partial z=0=\partial F_z/\partial y$ . All three curl components vanish, so $\nabla\times\mathbf{F}=\mathbf{0}$ , and since $\mathbb{R}^3$ is simply connected the field is conservative.

Step 2. Reconstruct $\phi$ by partial integration. Integrate $F_x$ in $x$ : $\phi=\int(2xy+z^3)\,\mathrm{d}x=x^2y+xz^3+g(y,z)$ . Matching $\partial\phi/\partial y=x^2+g_y=F_y=x^2$ forces $g_y=0$ , and $\partial\phi/\partial z=3xz^2+g_z=F_z=3xz^2$ forces $g_z=0$ . So $g$ is constant and $\boldsymbol{\phi=x^2y+xz^3+C}$ .

Step 3. Apply the gradient theorem, equation (2); the constant cancels in the difference, so the work is $\phi(1,1,1)-\phi(0,0,0)=(1+1)-0=\mathbf{2}$ . No path was specified because none is needed — the answer is the same along the diagonal, along the cube's edges, or along any curve joining the two points. The field is conservative, $\phi=x^2y+xz^3+C$ , and $W=2$ .

2 · Path independence in an electrostatic field (fully numerical)

A point charge $Q=1\ \mathrm{nC}$ sits at the origin, giving potential $V(r)=kQ/r$ with $k=8.99\times10^{9}\ \mathrm{N\,m^2/C^2}$ . A test charge $q=2\ \mathrm{nC}$ is carried from $r_a=0.10\ \mathrm{m}$ to $r_b=0.30\ \mathrm{m}$ . Find the work done by the field, and confirm it is path independent.

Step 1. Evaluate the potential at each radius. $V_a=kQ/r_a=(8.99\times10^{9})(1\times10^{-9})/0.10=\mathbf{89.9\ V}$ , and $V_b=kQ/r_b=(8.99\times10^{9})(1\times10^{-9})/0.30=\mathbf{29.97\ V}$ . The field $\mathbf{E}=-\nabla V$ is conservative because $\nabla\times\mathbf{E}=\mathbf{0}$ in electrostatics.

Step 2. The work done by the field is $W=q\,[V_a-V_b]=(2\times10^{-9})(89.9-29.97)=(2\times10^{-9})(59.93)\ \mathrm{J}$ . Numerically $W=\mathbf{1.20\times10^{-7}\ J}$ , positive because the field pushes the positive test charge outward, toward lower potential.

Step 3. Confirm path independence. Only the radial endpoints $r_a,r_b$ entered the arithmetic — the angular route was never used. A test charge spiralling out, looping around, or darting straight along the radius all arrive with the same $1.20\times10^{-7}\ \mathrm{J}$ , because $\oint\mathbf{E}\cdot\mathrm{d}\mathbf{r}=0$ for the conservative Coulomb field. W = 1.20×10⁻⁷ J, independent of path.

3 · Circulation with and without the hole (topology made numerical)

For the azimuthal field $\mathbf{F}=(-y,x,0)/(x^2+y^2)$ , compute the circulation around (a) the unit circle centred at the origin, and (b) a small circle of radius $\tfrac14$ centred at $(2,0)$ that does not enclose the axis. Interpret the contrast.

Step 1. Loop (a) encircles the missing axis. Parametrising by $\mathbf{r}(t)=(\cos t,\sin t)$ gives $\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\mathrm{d}t$ , so $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\int_0^{2\pi}\mathrm{d}t=\mathbf{2\pi}$ — the loop reports the topological charge of the enclosed hole.

Step 2. Loop (b) stays clear of the origin. On the disc of radius $\tfrac14$ about $(2,0)$ the field is $C^1$ and curl-free with no singularity inside, so by Stokes' theorem $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=\iint_S(\nabla\times\mathbf{F})\cdot\mathrm{d}\mathbf{S}=\mathbf{0}$ . Same field, different loop, different answer.

Step 3. Interpret. The circulation is a property not of the field alone but of the field and which holes the loop encloses; it counts windings, an integer multiple of $2\pi$ . On a multiply connected domain a curl-free field carries one such number per hole — the periods of the potential — and the local curl test is blind to all of them. Enclosing the axis gives 2π; avoiding it gives 0.

Physics of the portrait

The scalar potential was forged in the early nineteenth century to make the mathematics of gravity and electricity tractable — and the very word "potential" was coined by a self-taught miller from Nottingham working alone above his father's windmill.

Origins · 1 minGeorge Green and how this was discovered

George Green

1793–1841 · potential theory and mathematical physics

George Green is the unlikeliest founder in mathematical physics: a miller's son with barely a year of formal schooling, who taught himself the analysis of Laplace, Lagrange, and Poisson from borrowed books while running the family corn mill in Nottingham. In 1828 he privately printed An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism, which introduced the very word potential for the scalar function whose gradient is the force field, proved the identity now called Green's theorem relating a region's interior to its boundary, and invented the Green's function method for the boundary-value problems of potential theory. Only about a hundred copies were printed and the Essay sank almost without trace; Green entered Caius College, Cambridge as an undergraduate at the age of forty in 1833 and died in 1841, still obscure. Four years later William Thomson, the future Lord Kelvin, rediscovered the Essay and circulated it across Europe, where it became a cornerstone of Maxwell's electromagnetism and of conservative-field theory. Green's potential is the object this article is built on: the single scalar $\phi$ from which a curl-free field descends by $\mathbf{F}=\nabla\phi$ , and whose differences alone carry physical meaning. That a construct so central to modern physics came from a man with no teacher and no audience remains one of the discipline's most humbling stories.

History

1687

— Newton's Principia gives the inverse-square law, an implicit gravitational potential

1782

— Laplace shows the gravitational potential obeys ∇²V = 0 in empty space

1813

— Poisson adds the source term, giving ∇²V = −4πρ inside matter

1828

— Green's Essay coins the word potential and proves Green's theorem

1839

— Gauss systematises potential theory with his general theorems on attraction

1858

— Helmholtz splits any field into curl-free and divergence-free parts

Going further

Texts. Arfken, Weber & Harris, Mathematical Methods for Physicists, 7th ed., §3.6–3.10 (gradient, curl, potentials) · Hassani, Mathematical Physics, Ch. 15 (vector analysis and potential theory) · Nakahara, Geometry, Topology and Physics, §6 (de Rham cohomology — the exact-versus-closed distinction that this article meets for the first time) · Stone & Goldbart, Mathematics for Physics, Ch. on vector calculus · Byron & Fuller, Mathematics of Classical and Quantum Physics, §1.5 · Griffiths, Introduction to Electrodynamics, §1.6 (gradient theorem and curl-free fields). Key results to keep in mind: the gradient-theorem reduction via the chain rule; the identity $\nabla\times\nabla\phi\equiv\mathbf{0}$ from equality of mixed partials; the curl and the $2\pi$ circulation of the azimuthal field; worked example 1's potential $\phi=x^2y+xz^3$ giving $W=2$ ; and worked example 2's electrostatic work $1.20\times10^{-7}\ \mathrm{J}$ . The deeper statement that closed-but-not-exact forms are counted by the domain's cohomology is recalled here by name but not developed.

Prerequisites. The Gradient Operator · Curl of a Vector Field · Line Integrals · Scalar and Vector Fields. Leads to. Stokes' Theorem · The Laplacian Operator · The Del Operator and Vector Differential Identities.

Ask the tutor: Ask me to walk through the curl test on any vector field you like, reconstruct its potential step by step, or show exactly where the punctured-plane counterexample breaks the equivalence.

What is the difference between "irrotational" and "conservative"?

They are close but not identical, and the gap is topological. Irrotational is local — $\nabla\times\mathbf{F}=\mathbf{0}$ at every point — checked by differentiation. Conservative is global — $\mathbf{F}=\nabla\phi$ for a single-valued potential, equivalently $\oint\mathbf{F}\cdot\mathrm{d}\mathbf{r}=0$ around every loop. Every conservative field is irrotational, always; the converse holds only on a simply connected domain. On a domain with holes an irrotational field can still circulate, so it is irrotational without being conservative. Physicists often use the words interchangeably because everyday domains are simply connected, but the distinction becomes essential the moment a wire, a vortex core, or a solenoid punctures the region.

Why does physics write F = −∇φ with a minus sign?

It is a convention, chosen so potential energy behaves as intuition expects. With $\mathbf{F}=-\nabla U$ the force points toward decreasing potential energy — a ball rolls downhill, a positive charge accelerates toward lower voltage. The gradient points uphill toward increasing $\phi$ , so the minus sign flips it downhill. Mathematically nothing changes: $-\nabla U$ is still a gradient (of $-U$ ), so all the theorems — path independence, zero curl, zero circulation — hold identically. The sign is pure bookkeeping to make "systems seek lower energy" read cleanly; pure vector calculus usually drops it and writes $\mathbf{F}=\nabla\phi$ .

How do I actually find the potential of a conservative field?

Integrate the field, component by component. Take $\phi=\int F_x\,\mathrm{d}x$ , treating $y,z$ as constants; this leaves an unknown $g(y,z)$ . Differentiate the result in $y$ and set it equal to $F_y$ to pin down $g$ , then repeat with $z$ against $F_z$ . Whatever remains is a genuine constant, the free reference level. Worked example 1 does exactly this: integrating $2xy+z^3$ gives $x^2y+xz^3+g(y,z)$ , and matching the other components forces $g$ constant. Equivalently, line-integrate the field from a fixed base point to $\mathbf{r}$ along any convenient path — a staircase of axis-parallel segments is easiest. Both routes give the same $\phi$ up to a constant.

What does "simply connected" mean, precisely?

A region is simply connected if it is in one piece and every closed loop inside it can be continuously shrunk to a point without leaving the region. The interior of a ball, all of $\mathbb{R}^3$ , and a convex box qualify. What breaks it is a hole a loop can wrap around and get stuck on: the plane minus a point, $\mathbb{R}^3$ minus a line, or the surface of a doughnut are all not simply connected, because a loop circling the removed part cannot contract past it. For conservative fields the test is exactly this: if every loop can shrink away, Stokes' theorem converts zero curl into zero circulation and a potential exists; if some loop is trapped, it may carry nonzero circulation.

Is the potential unique, and does its absolute value mean anything?

The potential is unique only up to an additive constant, and its absolute value carries no physical meaning — only differences do. If $\phi_1$ and $\phi_2$ both give $\mathbf{F}=\nabla\phi$ , then $\nabla(\phi_1-\phi_2)=\mathbf{0}$ , and on a connected domain a zero-gradient field is constant, so $\phi_1-\phi_2$ is just a number. That freedom is why you may set the reference level wherever convenient: ground potential to zero, gravitational potential energy to zero at the floor or at infinity. Every measurable quantity — work done, voltage across a gap, energy released — is a difference $\phi(\mathbf{b})-\phi(\mathbf{a})$ in which the constant cancels. Choosing the reference is a convenience, never a physical commitment.

How is this the same as an "exact differential" in thermodynamics?

It is the identical mathematics in different clothing. The one-form $F_x\,\mathrm{d}x+F_y\,\mathrm{d}y+F_z\,\mathrm{d}z$ is exact if it equals $\mathrm{d}\phi$ for some $\phi$ — precisely $\mathbf{F}=\nabla\phi$ , the field being conservative — and the test $\partial F_i/\partial x_j=\partial F_j/\partial x_i$ is the exactness condition, the same equation as $\nabla\times\mathbf{F}=\mathbf{0}$ . In thermodynamics this distinguishes state functions — internal energy $U$ , entropy $S$ — whose differentials are exact and changes path independent, from process quantities — heat $Q$ , work $W$ — whose differentials are inexact and depend on the path through state space. A Carnot cycle nets nonzero work precisely because $\delta Q$ and $\delta W$ are not exact — the thermodynamic echo of a nonzero circulation.