A conservative vector field has path-independent work: the integral depends only on its endpoints. Equivalently, the line integral around every closed path in its domain vanishes. One can then define a single-valued potential energy by
The arbitrary additive constant in has no effect on the force. A useful zero is often chosen at infinity for a localized attractive interaction.
A differentiable conservative force has because the curl of a gradient vanishes. Conversely, a smooth curl-free field on a simply connected domain admits a global scalar potential. The domain condition matters: on the punctured plane, has zero curl away from the missing origin but closed-loop work around it. It is not globally conservative there. The existence of a local potential does not establish a single-valued potential throughout a domain with holes.
The work-energy theorem gives for kinetic energy . If all forces are conservative and has no explicit time dependence, then
This is conservation of mechanical energy. In one dimension, an equilibrium occurs at ; a local minimum with is stable, while a maximum with is unstable. Expanding about a minimum gives , producing simple harmonic motion with .
Examples include the spring force with , the near-surface gravitational force with , and the central Newtonian gravitational field with . An electrostatic force on a fixed electric charge has , where is the electric potential.
Sliding friction provides a contrasting physical test: traversing a closed path still dissipates mechanical energy, since the frictional force opposes the local motion on both outward and return legs. Its work depends on path length and cannot be represented by a position-only . Total energy can remain conserved when the resulting internal energy is included. Also, even if at each instant, explicit time dependence gives ; a static conservative-field argument alone does not guarantee constant mechanical energy in that situation.
Faraday's law of induction relates an induced electromotive force to the rate of change of magnetic flux. Choose a positive orientation around a loop and its associated surface normal by the right-hand rule. For a stationary conducting loop,
Unlike an electrostatic field, the induced electric field generally has nonzero curl; the differential form is . For a moving circuit, magnetic flux transport for a moving circuit includes the magnetic Lorentz force on the charges:
where is the local wire velocity. Thus changing the field or moving a conductor can produce induction.
The minus sign is Lenz's law: an induced electric current, when a closed conducting path permits it, produces a magnetic field opposing the change of linked flux. It need not oppose the original field itself. For example, increasing flux through a loop produces a current tending to reduce that increase; decreasing the same flux reverses the current. The opposition is consistent with conservation of energy: external mechanical or electrical work is needed to maintain a change against its inductive reaction.
For a coil of turns, define the magnetic flux linkage , reducing to when every turn links the same flux. For fixed geometry and a linear magnetic response, self-inductance is defined by , and the coil's induced electromotive force is
The corresponding terminal voltage drop, with the passive sign convention, is . It opposes changes in electric current; it does not require the current itself to vanish.
Building the current from zero requires power . Integrating gives the energy stored by an ideal inductor:
This energy is stored in the magnetic field and can be returned when the current falls. In a series RL circuit driven by a constant voltage , Kirchhoff's voltage law gives . Starting with zero current, , with time constant . This makes the resistance to rapid current changes directly observable. Two coils also have mutual inductance: changing primary current induces secondary electromotive force with a polarity determined by the chosen winding orientations, the principle behind a transformer.
The first equation expresses horizontal incompressibility. The other two express steady balance of the Coriolis force, a geopotential gradient, linear drag and a prescribed zonal acceleration ; nonlinear advection has been neglected. The parameter is an inverse drag time, so the frictional acceleration is . On the equatorial beta plane, .
Use the streamfunction convention
Take of the meridional momentum equation minus of the zonal one. The mixed geopotential derivatives cancel, and
Horizontal incompressibility removes the first term, leaving
The right side is the vertical curl of the imposed acceleration, with units . The left side balances planetary vorticity advection and frictional removal of relative vorticity. The streamfunction has units , since it describes horizontal velocity, rather than depth-integrated volume flux.
For a consistently oriented surface and boundary, Ampère's law is
Stokes theorem gives the left side as , so the given curl equation proves the law.
On a circle of radius around the axis, the assumed azimuthal field is tangent and constant in magnitude. Thus the circulation is . For , the enclosed electric current is ; for , it is . Therefore
The field is continuous at and vanishes regularly at the axis. Its direction follows the right-hand rule for positive electric current along . The radial component of the curl equation also gives , so the expression is valid at every height; no unmentioned axial dependence remains.
Take the curl of the Euler equations for an inviscid fluid. The gradient on the right has zero curl. Use the stated vector identity with , :
incompressible flow gives , while a curl always has zero divergence, so . The remaining terms give
For a two-dimensional velocity independent of , and . Thus the scalar vorticity is conserved following each fluid particle. It can still vary from particle to particle; this is advection, not a claim of spatially uniform vorticity.
Use International System of Units, with . The Maxwell equations with charge density and current density are
Locally, or in a suitable contractible region, the zero divergence of allows a magnetic vector potential . Faraday's law then makes curl-free, so a electric potential can be chosen with
These formulas automatically satisfy the two homogeneous Maxwell equations. The local topology assumption rules out obstructions to expressing a closed field as a gradient or curl.
For any sufficiently smooth scalar , the gauge transformation
leaves both physical fields unchanged, because curl of a gradient is zero and spatial and time derivatives commute. In such a region this accounts for the freedom between potentials for the same fields.
The Lorenz gauge is . Substitution into the sourced Maxwell equations, using , gives the decoupled wave equations
For example, Gauss's law gives ; the gauge condition turns this into the scalar equation. The remaining gauge freedom preserving the condition has .
Put for the given wave. Direct differentiation gives and . Integrating Faraday's law in time yields the wave's magnetic field
One could superpose a time-independent divergence-free and curl-free magnetic field; the expression displayed chooses no such extra background. It has zero divergence and , so the magnetic Gauss and Faraday equations hold. Moreover
Since the time derivative is nonzero, the vacuum Ampere-Maxwell law holds precisely when
This verifies all four source-free equations, including both divergence constraints. The sign of selects the direction of propagation.
A wave has circular polarization when, at a fixed spatial point, its transverse electric vector has constant nonzero magnitude and rotates uniformly through a circle. Here and the angle changes at rate , so the wave is circularly polarized. Its magnetic vector is perpendicular to the electric vector, has magnitude under the dispersion relation, and rotates with it. A handedness label additionally requires a convention for the observer's viewing direction.
The Lorenz-gauge potentials for a circularly polarized plane wave give a convenient choice. Take and . Because ,
Also . Together with , this proves these potentials satisfy the Lorenz gauge. They satisfy the source-free potential wave equations because every component has the same dispersion relation just obtained.
Only depends on position. Taking the curl,
The field reverses across . Its divergence is zero, as required for a magnetic field; the vanishing field on the midplane is important for the crossing and separatrix trajectories below.
For a twice continuously differentiable scalar potential, mixed second partial derivatives commute. Taking the spatial curl of the equation from part (i) gives
For example, its first component is . The curl acts on the spatial representation of the material acceleration, not directly on its expression in reference coordinates.
This is a necessary local condition. It is sufficient locally, and sufficient globally on a simply connected domain under the usual smoothness assumptions. On a domain with holes, a global scalar potential additionally requires every closed-loop line integral of the material acceleration to vanish. The homogeneous motion in part (c) admits an explicit global scalar potential, so this topological qualification causes no obstruction there.
Take two time derivatives at fixed reference position :
The constraint ensures that the deformation gradient is invertible, so . Thus the spatial material acceleration is the affine vector field
Its spatial gradient is , and its curl is
Part (b)(iii) therefore requires
Equivalently, multiplying on the left by and on the right by gives
The translation contributes no spatial curl and is unrestricted by this condition. A useful equivalent first integral is
the antisymmetric matrix in parentheses must be constant, and need not vanish. The separate constraint is still required; differentiating it also gives .
The condition is understood in the setting of part (b), where a static family already exists under the prescribed body force. For a homogeneous elastic deformation gradient, the elastic stress is spatially constant. Static balance of linear momentum consequently gives , ensuring that has a scalar potential. If the static-family assumption were dropped and an arbitrary time-independent body force allowed, the general necessary condition would instead be .
Two-dimensional incompressibility permits , . Taking the curl of the Stokes momentum equation eliminates pressure and gives . Since , the stream function obeys .
Scale radius by , velocity by and stream function by . In polar coordinates , . No penetration makes constant on the cylinder; choose that constant zero. No slip also requires at . The uniform stream has , specifying the far-field condition.
The boundary forcing has angular mode , so its corresponding mode must have . Define . Then , while . Thus the indicial equation of is , giving
The repeated exponent one supplies the logarithmic term. The condition first forces and . Then forces , but . No additional Fourier mode can repair the missing boundary condition in this angular mode. Therefore the unbounded-domain Stokes problem has no solution with both no slip and a nonzero uniform far stream.
This is Stokes' paradox. It identifies a nonuniform approximation, rather than the absence of physical flow. For any small but nonzero Reynolds number, convective inertia becomes important sufficiently far away. An inner Stokes region must be matched to an outer Oseen or Navier-Stokes region that retains that inertia. Alternatively, finite external boundaries introduce a different well-posed physical problem; they cannot be sent to infinity while keeping the naive Stokes solution unchanged.
For a material volume, mass conservation is . The transport theorem and arbitrariness of that volume give . Balance of linear momentum includes the pressure traction and body force:
Apply transport, the divergence theorem and the mass equation to obtain
For small perturbations of the uniform resting barotropic state, write , . Linearized mass and momentum are
Taking the curl shows that initially vanishing vorticity remains zero, so the acoustic velocity has a potential . Integrating momentum, using the additive freedom of a velocity potential to remove the spatially constant integration term, gives . Continuity now yields .
For spherical symmetry, set and . The radial equation is , or . Hence
Rigid boundaries require radial velocity at both radii. A form automatically satisfying the condition at is
At , the condition becomes
Therefore the nonzero oscillatory eigenfrequencies obey
The undivided sine-cosine form avoids artificial issues from dividing by a cosine. The formal root is the spatially constant zero-frequency potential additive freedom of a velocity potential, not a propagating acoustic oscillation. This is the radial acoustic spectrum between rigid concentric spheres.
For a vector described in axes rotating at constant angular velocity , the rotating-axes theorem is . Inertial particle velocity is . Applying the theorem once more gives inertial acceleration . Thus the rotating momentum equation is
If and density is constant, the centrifugal term can be absorbed into the reduced pressure in a rotating fluid:
For small disturbances with , linearize to , , , together with incompressibility. Put . Taking the vertical curl gives . Taking divergence gives . Applying the Laplacian to the vertical momentum equation therefore gives . Another time derivative yields
All three velocity components are retained, even for fields independent of ; rotation produces the transverse component.
Set and seek . The rigid-wall conditions are then automatic and the scalar equation gives
For , define . The two possible oscillatory factors are distinguished by energy propagation. With horizontal wavenumber , the dispersion relation is and . An outgoing wave in must have , giving
For , define . Reject the exponentially growing branch, leaving the evanescent response
The real part is the physical velocity. The radiation or bounded-decay condition is needed in addition to the wavemaker boundary value to pick a unique half-channel response. Steady forcing () is a singular limit: with nonzero rotation a steady geostrophic balance and impermeable top/bottom require , incompatible with a nonzero imposed sine profile. At the cutoff equality, the bounded outgoing polarization also degenerates. These exceptional cases cannot be obtained by blindly substituting into the two strict-inequality formulas. The propagating sign is the radiation sign for an inertial wave.
Linearize about rest, with the equilibrium forces already absorbed in the reduced pressure. The quadratic convective acceleration drops out. Since , the component equations are
The scan prints in the continuity equation; the derivative required by incompressibility is .
To eliminate pressure, put and . Taking the vertical component of the curl of momentum gives
Taking horizontal divergence of momentum and substituting continuity gives
Differentiate this in and use :
One more time derivative, followed by the vorticity relation, yields the Poincaré equation for inertial waves
This derivation retains all three velocity components, including the transverse component coupled by rotation.
The four dimensional equations express mass conservation, momentum balance with pressure, gravity and viscous stress, heat advection and conduction, and a linear thermal-expansion equation of state. For heating from below, suitable plate conditions are and at , and , at . No slip and thermal insulation on the sidewall provide one suitable lateral completion; prescribed lateral temperatures would be another specified thermal setup.
Let be thermal diffusivity and kinematic viscosity. Use , , and as length, time, velocity and temperature scales. Subtract the static reference pressure with and scale its remainder by . Then
Density becomes . Substitution and division by the corresponding diffusion/viscous scales give
In the Boussinesq small-density-contrast limit retain buoyancy while neglecting the other factors. At infinite Prandtl number, after any fast initial adjustment, the equations are
The velocity is instantaneously constrained by a viscous elliptic balance; the temperature still evolves.
Take the divergence of the vector Poisson equation. Derivatives commute, and divergence of a curl is zero, so . Its boundary value is zero, hence the maximum principle gives throughout . The vector identity now gives , or
The layer domain is simply connected because its horizontal section is simply connected. For a curl-free field on such a domain, define as its line integral from a fixed base point to . Contractibility of loops and Stokes theorem make the integral path independent, and differentiation gives its gradient equal to the field. Thus .
Incompressibility then gives , while the prescribed normal curl gives . Green's identity yields
Hence is constant on the connected domain and . The extra condition belongs to the stated potential boundary problem; the reconstruction argument above uses the divergence and normal-curl conditions. On a multiply connected domain a curl-free field need not be a globally single-valued gradient.
Finally . Taking the curl of the infinite-Prandtl momentum balance and using gives
The derivation is an instance of velocity reconstruction from a mixed-boundary vector Poisson problem.
Linear incompressible motion about rest in a frame rotating with obeys . If is its vertical vorticity, taking curl gives , while eliminating pressure using continuity gives . Differentiating in time yields the displayed scalar equation. All three velocity components must be retained, even when the fields depend on only two spatial coordinates. The Coriolis acceleration generally generates a transverse velocity that is absent in a strictly two-component description.
Poloidal-toroidal decomposition Created 2026-10-14 Updated 2026-10-18
A spherical poloidal-toroidal decomposition represents a solenoidal vector field with zero flux through each sphere by scalar potentials . The second term is tangent to concentric spheres; the first carries the radial component. Requiring zero angular means for the potentials fixes their otherwise irrelevant radial additions. In a plane layer, the analogous fluctuating components are and , with any horizontally uniform components handled separately. These constructions enforce the divergence-free condition because the divergence of a curl vanishes.
// Target: fluid-mechanics.bigb
Let be the tangential surface gradient on a sphere of radius . For smooth scalar fields, set . Its radial curl detects only :
To prove this, use the radial curl formula . The radial component never enters it. The terms cancel as by symmetry of second derivatives, while the terms give the unit-sphere Laplace-Beltrami operator. Taking the dot product with the position vector gives the displayed version. This tangential gradient decomposition does not assert that the whole vector field is solenoidal.
Radial-gauge potential for a divergence-free magnetic field Created 2026-10-06 Updated 2026-10-14
For a smooth divergence-free field on , the differential form is closed. The radial homotopy formula gives a global magnetic vector potential with curl . For constant , this reduces to .
Radial vector field 2026-10-25
A vector field directed along the radius from a fixed origin, with magnitude depending only on radius. In three-dimensional Euclidean space and away from the origin, . The product rule gives , and the curl vanishes because the derivative matrix is symmetric. These identities alone do not establish regularity at the origin.
When the only nonpotential force points radially, its curl has no radial component. The radial absolute vorticity therefore obeys a local flux conservation law, although vortex stretching can change it along a fluid trajectory.