Agreement of two path integrals does not imply conservativeness Created 2026-10-18 Updated 2026-10-20
Equality of line integrals on two selected paths is a necessary test for a conservative vector field, but it is not sufficient. The paths may both miss the component responsible for nonzero curl.
For an explicit example, take . Its curl is the nonzero constant , so it is not a gradient field on . Nevertheless, on the plane , the field equals . Every tangent vector to that plane has equal first and second components, giving zero dot product with . Thus every line integral of along a path confined to that plane is zero, regardless of endpoints or the path's shape.
In particular, a broken straight path and a genuinely curved path in that plane can have matching line integrals while revealing nothing about global path independence. To establish a conservative vector field, construct a vector-field potential, or verify the appropriate global criterion such as zero curl on a simply connected domain.
Path independence requires the same line integral for every admissible path between fixed endpoints, not merely a few selected paths. For example, the smooth field vanishes on the entire plane . Every path in that plane from to therefore has zero integral. Yet the path through and has integral one: only the horizontal middle segment contributes. The curl is , confirming that the field is not conservative. Special paths can hide a nonconservative component.
Electric potential Created 2026-09-24 Updated 2026-10-14
In electrostatics, the electric potential tells us the interaction potential energy per unit test electric charge in the electric field of prescribed sources. Its most directly useful quantity is an electric potential difference: how much work per unit electric charge an external agent must supply to move that test electric charge slowly between two points. This replaces the bookkeeping of a vector force along a path with the difference of two scalar values. The test electric charge must be small enough not to rearrange the sources appreciably.
For motion from to , write . With fixed sources and only the electric force doing work,
Here is interaction potential energy, is kinetic energy, and the line integral uses the electric field produced by the other electric charges. For slow transport with unchanged kinetic energy, the external work is , so for nonzero . This external work has the opposite sign to the work done by the electric field. The SI unit is the volt,
A volt measures energy per unit electric charge, not energy itself. For example, crossing an electric potential difference of changes the potential energy of by , but changes that of by . Both test electric charges encounter the same electric potential difference; their opposite signs reverse the energy change.[ref]
The electrostatic potential is a scalar function of position. The electric field is a conservative vector field, and all three components follow from the negative gradient of the electric potential:
The electric field points toward decreasing electric potential. A positive test electric charge feels electric force in that direction; a negative test electric charge feels electric force in the opposite direction, since . A freely accelerated negative test electric charge therefore moves toward higher electric potential while lowering its potential energy .[ref]
Only differences fix physical electrostatic potentials: adding the same constant everywhere, , changes neither the gradient nor any electric potential difference. Choosing an electrical reference potential is this elementary gauge transformation. Setting zero at infinity is convenient for finitely many localized point charges; it is not available for an ideal uniform electric field extending to infinity. There we can choose a finite reference point. Assigning zero at ground is a convention, whereas physically grounding an electrical conductor also allows exchange of electric charge to impose a boundary value. Zero electric potential at a point never by itself implies zero electric field.[ref]
For a fixed point charge at the origin in vacuum, choose zero at infinity. Coulomb's law gives
where is the vacuum permittivity. Use the stipulated approximation and . At ,
A test electric charge has and radial electric force , directed inward. Moving it inward from to raises the electric potential from to but lowers its potential energy:
This is the Coulomb potential energy calculation using electric potentials. The source's singular self-field at is excluded; when finding the force on a source point charge, use only the electric field of the other sources.[ref]
For a uniform electric field , choose . Then
Moving from to gives . For the change in potential energy is and the electric field does of work. For , the same prescribed displacement gives : the external agent must supply that work for slow transport. This uniform electric field approximates the interior of a parallel-plate capacitor sufficiently far from the edges; the fringing field of a capacitor limits the approximation.[ref]
An equipotential is a level set . On a smooth equipotential with nonzero gradient, every tangent displacement has , so the electric field is normal to the equipotential. Thus moving a test electric charge along an equipotential requires no net electrical work. Around a point charge, the equipotentials are spheres; the circles in the diagram are their sections, not an assumption of two-dimensional Coulomb's law. A uniform electric field has parallel plane equipotentials. For contours separated by the same small electric potential difference, smaller normal separation means a stronger electric field, approximately . At a point where , the electric field is zero and has no direction to call normal.[ref]
The superposition principle adds electric potentials as signed scalars. For finitely many stationary point charges at in vacuum,
For example, the electric dipole with at and at has zero electric potential everywhere in the midplane , yet its electric field at the midpoint is . With and , this is . At , the same model gives and . Cancellation of electric potentials is quite different from cancellation of vector electric fields.
Figure 2.
Computed dipole equipotentials and electric-field directions: zero potential on the vertical midline still permits a nonzero field
. Details.
A motivating measurement is conductive-paper electric potential mapping. A documented teaching experiment uses slightly conductive paper on an insulating board, two circular electrodes in highly conducting ink, a steady supply, and a digital voltmeter. Connect the supply to the two electrodes, keep the voltmeter common lead on the negative electrode, and use its other lead as a movable probe. Adjust the supply using the measured electric potential difference between electrodes; the published procedure uses . The observable is the voltmeter reading at the probe position . Locate several points reading , record their positions on a separate map, and join them into an equipotential; repeat at other readings. Lift the probe between contacts so it does not damage the paper. This procedure makes the electrical reference potential concrete: every reading compares two contacts.[ref]
From neighboring readings infer an electric field component by a finite difference, . Reconstruct two in-plane components with displacements along two independent directions. Alternatively, draw the electric field normal to mapped equipotentials, toward lower electric potential. The second diagram illustrates the same measurement principle with bar electrodes spanning a uniform sheet, insulating top and bottom edges, and a synthetic model . The model readings at and at imply . These values are calculated illustrations, not reported experimental data. The documented circular-electrode experiment similarly estimates the electric field from readings at successive centimetre marks.[ref]
Useful controls include checking the voltmeter zero, checking that the electric potential difference along each painted electrode is negligible, and repeating reference readings to detect supply drift. Reversing the supply should reverse the signs relative to the same reference contact. Contact resistance, leakage electric currents, and touching the sheet can distort the map. A voltmeter has finite input electrical resistance and draws a small electric current; voltmeter loading changes the quantity being measured if that electrical resistance is insufficiently large relative to the sheet's effective source electrical resistance.[ref][ref]
The paper carries a steady electric current, so this is a planar analogue rather than a direct measurement of isolated point charges in three-dimensional vacuum. For constant electrical conductivity, Ohm's law and steady charge conservation give and , hence the two-dimensional Laplace equation away from electrodes. Insulating sheet edges impose zero normal electric current, while finite electrodes fix boundary values. This derivation explains both the analogy and its limits: inhomogeneous paper, finite boundaries, and finite electrodes can change the contours. One should not fit the three-dimensional point charge formula to a planar map without testing that model. Small probe spacing resolves spatial variation better, but amplifies uncertainty in the inferred finite difference. The published laboratory instructions explicitly ask students to assess whether their proposed field fit is appropriate.[ref][ref]
The scalar description has a crucial limit. Faraday's law of induction for a stationary closed path says
where is magnetic flux. Nonzero changing magnetic flux gives nonzero circulation, incompatible with a single-valued electric potential alone. More generally, a scalar electric potential and a magnetic vector potential together give
Consequently, in the presence of induction, two voltmeter lead routes between the same contacts can produce different readings if the enclosed magnetic flux changes. This follows by subtracting the two path line integrals; it is a deduction from Faraday's law of induction, not a claimed outcome of the paper experiment. The steady setup and negligible induction justify interpreting its readings as electric potential differences. Merely introducing a scalar electric potential that depends on time cannot supply a nonzero curl of the electric field.[ref]
A short mathematical justification connects the statements above. Along a smooth path, the chain rule gives . Integrating and using yields the endpoint formula by the fundamental theorem for line integrals, proving path independence. Conversely, vanishing circulation around every closed path lets us define independently of the route, with . Zero curl is a local test; for a continuously differentiable curl-free vector field, a simply connected open region suffices for a global potential. The explicit finite-source formula already gives a global electric potential away from its source points.[ref]
Embed the planar vector field as , independent of . Applying the Cartesian curl formula gives
Consequently, for continuously differentiable components,
This is the local closedness condition for the one-form . To infer global path independence from this condition alone, the domain also matters: it suffices that the planar domain is a simply connected space. The polynomial field in the next calculation is defined on the whole plane, so there is no missing-hole obstruction.
Regard the planar vector field as , with no dependence on . Its curl is
Thus, for continuously differentiable and , the necessary and sufficient pointwise condition is
To deduce global path independence from this local condition also requires a suitable domain, for example a simply connected domain.
Set and . Their partial derivatives satisfy throughout . The vector field is smooth on the entire simply connected plane, so zero curl proves path independence.
Choose the broken straight path . Along its horizontal segment and , giving
Along its vertical segment and , giving
Therefore the line integral is
Figure 1.
Original sketch of the chosen oriented path through the corner at (2,0)
. Details.
An exact differential is an expression that equals for a single-valued differentiable function on the domain. Its line integral is an endpoint difference by the fundamental theorem for line integrals.
Integrating with respect to gives . Matching to requires . Hence
The arbitrary additive constant cancels. This constructs the vector-field potential globally and provides a second proof of path independence.
For a sufficiently smooth vector field on an oriented surface with compatible boundary orientation, Stokes theorem states
Apply it to in the plane. The closed line integral is the area integral of . Thus makes it vanish whenever a spanning surface lies within the smooth domain. In a simply connected domain this implies path independence: join one path from to to the reverse of another, and their difference is a zero closed line integral.
The domain qualification is essential. On the punctured plane, , satisfy , but the line integral around the unit circle is . A disk spanning that circle passes through the singularity. Hence the printed implication requires an appropriate domain assumption; zero curl alone is not a global path independence theorem.
For a plane domain, the following are equivalent descriptions of a simply connected domain: every based loop contracts in the domain with its basepoint fixed; any two paths with the same endpoints are homotopic while those endpoints stay fixed; its complement in the Riemann sphere is connected; every holomorphic function has a single-valued primitive; and every nowhere-zero holomorphic function has a holomorphic logarithm. The complement must be taken in the extended plane, including infinity. An equivalent winding number formulation is that every closed curve has index zero about every point outside the domain.
Here is a direct equivalence proof for the first two topological formulations. If all paths with given endpoints are homotopic relative to those endpoints, apply this to a loop based at and the constant path at , obtaining a contraction. Conversely, let join to . The loop contracts with basepoint fixed. Concatenating this contraction with produces a homotopy from to , relative to . The middle retracing excursion contracts by shortening its traversal in both directions, giving a homotopy from that first path to . Hence and are homotopic relative to their endpoints. Planar domains are path-connected, so no extra path-component condition is needed.
The analytic descriptions follow from path independence of the holomorphic integral. Local primitives exist on discs by integrating power series; a homotopy can be subdivided into pieces lying in such discs, and local path integrals cancel along its common edges. Thus integrals over homotopic paths agree, giving a global primitive. Applied to for a nowhere-zero function, a primitive makes constant and hence supplies a holomorphic logarithm. These observations are also the tools used in the mapping proof below.
The Riemann mapping theorem states that every nonempty simply connected proper domain admits a conformal bijection onto the unit disc. Given , there is exactly one such map with and . The exclusion of the whole plane is necessary: an entire map into the disc would be constant by Liouville's theorem.
An extremal proof has the following concrete steps. First construct an injective bounded holomorphic map. Choose and a holomorphic square root of . It is injective, since equality of its values implies equality of their squares. Its image is disjoint from its negative: would imply and then , impossible. If , choose with ; the disc is omitted. Therefore is injective and bounded. Scaling it and applying an automorphism of the unit disk gives a map into the disc taking to zero; a rotation makes its derivative positive.
Let consist of all injective maps with this normalization. It is nonempty. The derivative at is bounded above by the Cauchy integral formula on a small disc compactly contained in . Choose with derivatives tending to their positive supremum . Boundedness, the Cauchy estimates and a diagonal Arzelà-Ascoli theorem argument give a subsequence converging locally uniformly to ; this is the bounded-family form of the Montel theorem. Then , , and the maximum modulus principle puts its image in the open disc. The limit is injective: if distinct had , apply Hurwitz's theorem near to , which has no zero there; the limit would vanish identically, contradicting .
Finally suppose is omitted by . It is nonzero since . Let and choose a holomorphic square root of . It is injective and takes values in the disc. Put , so , and normalize by a rotation. The new map's derivative magnitude at is
This square-root improvement of a normalized conformal map contradicts extremality. Thus is onto. Two normalized bijections differ by a disc automorphism fixing zero; Schwarz lemma applied to it and its inverse makes it a rotation, and positivity of the normalized derivatives forces that rotation to be the identity. This completes the requested proof outline.
When , all three values reduce to . To prove path independence for every piecewise smooth path, construct a global potential rather than infer it from agreement on only three paths. Integrating the coefficient of and then matching the coefficient of gives
Indeed and . The integrand is the exact differential throughout . The fundamental theorem for line integrals therefore gives, for every such path from to ,
Parametrize the smooth path by . The chain rule turns the line integral of the gradient into a one-variable derivative:
This is the fundamental theorem for line integrals; in particular the integral has path independence.
For a twice continuously differentiable potential of a conservative vector field, the curl of its gradient vanishes because mixed partial derivatives commute:
A smooth gradient field is necessarily curl-free.
A sufficient condition is that be an open simply connected domain, with continuously differentiable. Under this condition a curl-free vector field has a global potential of a conservative vector field and hence path independence by the fundamental theorem for line integrals. One way to see the global step is to deform the closed loop formed by two paths into a point inside : the integral is unchanged during the deformation because the curl is zero, as expressed by Stokes theorem. Therefore simple connectivity is a sufficient domain hypothesis. It is not a claim that every particular curl-free field needs such a domain; a given field can have a global potential on a domain with holes.
Integrate with respect to , obtaining . Matching gives , so . Finally, must equal the third component, so . Thus a scalar potential is
The fundamental theorem for line integrals now gives for either path, confirming both direct computations. Since the curl of a gradient is zero for this smooth function, it also confirms the result in part (b). The potential is defined throughout , so no domain obstruction to path independence occurs.
For , the velocity is . Because throughout this path, both fields again agree pointwise, now as . Thus
These equal values alone do not establish path independence for either field on all of space.
On the first segment only varies and . On the second only varies and . On the last segment , so the line integral is
The agreement is the expected path independence of a conservative vector field.
On the circular arc, and , so the line integral reduces to
This exact differential evaluation applies to the specified arc; for example its parametric equation is , . On the vertical segment , only contributes, giving . The whole path therefore gives
To answer the final conservativeness requirement, compute the curl:
It vanishes identically exactly when
On the simply connected whole space this condition is sufficient for a conservative vector field. Explicitly a vector-field potential is
Both path calculations then give , equal to by the fundamental theorem for line integrals. Equality of just these two path values would only force ; it is the curl calculation that establishes full path independence.
Path dependence 2026-10-25
A line integral is path dependent when two admissible paths with the same starting and ending points give different values. This disproves path independence and, for a vector field, shows that it is not a conservative vector field on the relevant domain.
State function Created 2026-10-14 Updated 2026-10-14
A state function assigns a value to each equilibrium thermodynamic state of a specified thermodynamic system. Its change depends only on the initial and final states. Internal energy , entropy and enthalpy are state functions; here is pressure and is volume. Transferred heat and work belong to a thermodynamic process, rather than to a state. A system stores internal energy; it does not store separate inventories of “heat received” and “work received”.[ref]
Use the explicit convention for heat entering and for work done by the thermodynamic system on its surroundings. For a closed system with unchanged endpoint bulk kinetic energy and external potential energy, the first law of thermodynamics reads
The notation denotes an exact differential of a state function; and denote incremental transfers. Along a reversible thermodynamic process of a simple compressible system,
where is absolute temperature. These are rules for particular thermodynamic processes, not definitions of stored heat or stored work. In particular, a quasistatic process with friction can remain near thermodynamic equilibrium while producing entropy.[ref]
For any state function and two equilibrium states , an integral of its exact differential gives
The proof is telescoping: add the changes along a subdivided path, and all intermediate values cancel. The smooth limit gives the integral. Conversely, if an integrable differential form has zero integral around every accessible closed path in a connected region, define by integrating from a reference state. Two routes differ by a closed path, so the definition is unambiguous. This argument needs every accessible loop, rather than a local test that might miss a hole in the domain; see path independence.
The same cancellation does not hold separately for heat and work. A thermodynamic cycle has but can have nonzero net transfers, with . Nor does the fact that entropy is a state function make its general change: the formula uses a reversible thermodynamic process and its varying temperature.
This distinction makes endpoint calculations powerful. We can compute an internal energy, entropy or enthalpy difference along a convenient reversible reference path even when the actual thermodynamic process is irreversible. Its actual heat and work must still be obtained from its own boundary interactions. The appealing cancellation is visible in two reversible ideal-gas paths between the same states: a different mechanical output requires a matching difference in thermal input, while stored internal energy arrives at the same value.
Velocity potential Created 2026-09-24 Updated 2026-10-13
Use a velocity potential to reconstruct an irrotational flow from one scalar field. A velocity potential satisfies
It has units and is unchanged as a description of the velocity field when any function of time alone is added. For twice continuously differentiable , the identity curl of a gradient proves zero vorticity. In incompressible flow, taking the divergence also gives , the Laplace equation. This turns a three-component velocity field into a single harmonic function with appropriate boundary conditions. [ref]
For uniform flow , take . With , the change from to is . By the fundamental theorem for line integrals, the line integral of velocity between these points equals that change along any path in the domain; a closed curve gives zero circulation.
For the potential line vortex, choose a local angle branch in polar coordinates and set . Then and . One counterclockwise turn changes the continued velocity potential by , although the velocity field returns to its original value. With , this change is , exactly the circulation. A full annulus therefore admits local angle branches and a multivalued velocity potential, but no global single-valued velocity potential when . Cutting the annulus along a radial line allows a single-valued angle branch on the remaining domain. The obstruction is path independence, not a failure of the local gradient formula.