Velocity-Dependent and Generalized Potentials

There is a force that shapes every particle accelerator, every aurora, and every fusion reactor on Earth, and it breaks the rule you learned first: it cannot be written as the downhill slope of any potential energy. The magnetic force qv×Bq\mathbf{v}\times\mathbf{B} depends on how fast you move and in which direction — stand still and it vanishes entirely. A potential V(r)V(\mathbf{r}) knows only where you are; no landscape, however cleverly sculpted, can produce a force that switches off when you stop. When Hendrik Lorentz wrote this force law down in 1892, it looked like analytical mechanics would simply have to leave electromagnetism outside the door. It doesn't — and the escape route is one of the most consequential generalizations in physics. The Euler–Lagrange machinery never actually required L=T−VL = T - V with a position-only VV; it requires only that the generalized force be expressible as Qj=ddt∂U∂q˙j−∂U∂qjQ_j = \frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial U}{\partial \dot q_j} - \frac{\partial U}{\partial q_j} for some function U(q,q˙,t)U(q, \dot q, t) — a generalized potential that is allowed to feel velocity. The electromagnetic field fits this template exactly, through U=qϕ−q v⋅AU = q\phi - q\,\mathbf{v}\cdot\mathbf{A}, and the Euler–Lagrange equations then reproduce the Lorentz force to the last term. The prize for admitting velocity into the potential is larger than the force law itself. The conjugate momentum stops being mvm\mathbf{v} and becomes the canonical momentum p=mv+qA\mathbf{p} = m\mathbf{v} + q\mathbf{A} — the object that is actually conserved when fields have symmetry, the object minimal coupling promotes into quantum mechanics, the reason the Aharonov–Bohm effect exists. This page is where classical mechanics learns the coupling that runs all of electrodynamics and, eventually, QED.

Key takeaways
  • A generalized potential U(q,q˙,t)U(q,\dot q,t) enters the Lagrangian as L=T−UL = T - U and delivers the force through Qj=ddt∂U∂q˙j−∂U∂qjQ_j = \frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial U}{\partial \dot q_j} - \frac{\partial U}{\partial q_j} — the same operator the Euler–Lagrange equations already apply.
  • The archetype is electromagnetism: U=qϕ−q v⋅AU = q\phi - q\,\mathbf{v}\cdot\mathbf{A} reproduces the full Lorentz force F=q(E+v×B)\mathbf{F} = q(\mathbf{E} + \mathbf{v}\times\mathbf{B}), even though the magnetic part comes from no scalar landscape.
  • The conjugate momentum becomes the canonical momentum p=mv+qA\mathbf{p} = m\mathbf{v} + q\mathbf{A}, not the kinetic momentum — this is what conservation laws, Poisson brackets, and quantization actually use.
  • Gauge transformations of ϕ,A\phi, \mathbf{A} shift LL by a total time derivative q dΛ/dtq\,\mathrm{d}\Lambda/\mathrm{d}t, leaving the equations of motion untouched: different bookkeeping, identical physics.
  • Velocity-linear potentials produce gyroscopic forces that do zero work (magnetic, Coriolis); genuinely dissipative forces like −bq˙-b\dot q admit no generalized potential and need the Rayleigh dissipation function instead.
  • Key idea: a force qualifies for Lagrangian treatment not only if it comes from a scalar potential, but more generally if Qj=ddt∂U∂q˙j−∂U∂qjQ_j=\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial U}{\partial\dot q_j}-\frac{\partial U}{\partial q_j} for some U(q,q˙,t)U(q,\dot q,t); the Lorentz force is the canonical realization.

Where this lives today

Every tokamak and stellarator simulation running in 2026 leans on this page's central object. Gyrokinetic codes — the workhorses of fusion design at ITER and the private fusion ventures — follow billions of charged-particle guiding centers through magnetic geometries for millions of timesteps, and the quantity they monitor to certify the physics hasn't drifted is the conserved canonical momentum: in an axisymmetric tokamak the canonical angular momentum pφ=mRvφ+qRAφp_\varphi = mRv_\varphi + qRA_\varphi is an exact invariant, and its numerical conservation is both a confinement theorem (it caps how far particles can wander radially) and the standard regression test of the integrator. Modern "structure-preserving" integrators are built variationally — discretizing the Lagrangian (4) itself rather than the force law — precisely so that the discrete dynamics inherits a conserved canonical momentum by construction. The deeper legacy is minimal coupling. The prescription p→p−qA\mathbf{p} \to \mathbf{p} - q\mathbf{A} that equation (8) reads off classically is, essentially unmodified, how the Standard Model couples every charged field to the photon — promoted to a local gauge principle, the derivative-replacement rule of QED. And the once-philosophical question this page raises — is A\mathbf{A} real, or mere bookkeeping? — was settled experimentally: electrons diffracting around a solenoid acquire the Aharonov–Bohm phase qΦ/ℏq\Phi/\hbar through regions where B=0\mathbf{B} = 0 but A≠0\mathbf{A} \neq 0, a phase shift measured to exquisite precision in electron holography and now engineered deliberately in mesoscopic rings and flux qubits. The velocity slot Lagrange left open turned out to be where gauge theory lives.

The physical picture

Watch two forces act on a moving particle and you will see two different characters at work. A gravitational or spring force is a landscape force: it points downhill in a fixed terrain V(r)V(\mathbf{r}), does work as the particle descends, and cares nothing about the particle's velocity. A magnetic force is something else entirely. It is always exactly perpendicular to the velocity, so it can bend a trajectory into a circle forever without doing a single joule of work — a proton in a cyclotron travels kilometers of arc length and its speed never changes. Stop the proton and the force evaporates. No landscape behaves like this: a gradient force at a point is one fixed vector, while the magnetic force at that same point is a whole rule, a linear map that takes your velocity in and hands a sideways push back.

Figure
Two characters of force — the landscape force does work along the path, the gyroscopic force only steers
landscape force: F = −∇V(r) F downhill v force fixed by position alone; F·v ≠ 0, kinetic energy changes as the terrain is descended gyroscopic force: F = qv × B v F ⊥ v always B out of page force rewrites direction, never speed; F·v = 0, zero work over any path — no landscape V(r) can do this

So the taxonomy of forces splits three ways, and the split is the intellectual spine of this article. Landscape forces come from V(q)V(q): conservative, work-doing, the textbook case. Gyroscopic forces are velocity-dependent but work-free — magnetic forces, and their mechanical twin the Coriolis force. These, it turns out, still fit inside Hamilton's principle, provided we let the potential borrow the velocity slot. Dissipative forces — friction, drag — are velocity-dependent and energy-draining, and they are permanently outside: no function UU of any kind generates them, as we will prove. The skill this page teaches is telling the second family from the third, because they look superficially alike ("force depends on velocity") and behave nothing alike. Why should a velocity-dependent potential be possible at all? Look at the operator the Euler–Lagrange equations already apply to every term of LL: ddt∂∂q˙j−∂∂qj\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial}{\partial\dot q_j} - \frac{\partial}{\partial q_j}. Feed it a position-only −V(q)-V(q) and the first slot returns zero — you recover −∂V/∂q-\partial V/\partial q, the old rule, as a special case. But nothing stops you from feeding it a UU that lives in both slots. The operator itself defines the widest class of forces the Lagrangian formalism can host; the definition of a generalized potential is simply the demand that the force match what this operator produces. Mechanics did not have to be modified to admit magnetism — the door was always this wide, and electromagnetism was the first force to walk through it.

The rule that widens the door

Start from where d'Alembert's principle left the equations of motion: ddt∂T∂q˙j−∂T∂qj=Qj\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial T}{\partial\dot q_j} - \frac{\partial T}{\partial q_j} = Q_j, with the generalized force QjQ_j still completely general. The question is which QjQ_j can be absorbed into a Lagrangian. The answer is the defining equation of this article:

Qj=ddt∂U∂q˙j−∂U∂qj(1)Q_j=\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial U}{\partial \dot q_j}-\frac{\partial U}{\partial q_j} \qquad (1)

where: QjQ_j — the generalized force conjugate to qjq_j; U(q,q˙,t)U(q,\dot q,t) — the generalized (velocity-dependent) potential. Read the structure: the second term is the familiar "downhill" pull, while the first term is new — it lets whatever UU stores in its velocity slot re-emerge as force through the time derivative. If UU happens not to depend on q˙\dot q, the first term dies and (1) collapses to Qj=−∂U/∂qjQ_j = -\partial U/\partial q_j: the ordinary conservative rule is the zero-velocity-dependence corner of this larger space. Forces expressible as (1) are called monogenic — generated by a single function — and they are exactly the forces Hamilton's principle can digest. Absorbing (1) into the equations of motion takes one line. Substitute it into d'Alembert's form and move both UU terms across:

ddt∂(T−U)∂q˙j−∂(T−U)∂qj=0(2)\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial (T-U)}{\partial \dot q_j}-\frac{\partial (T-U)}{\partial q_j}=0 \qquad (2)

where: the combination T−UT - U is the Lagrangian, L=T−UL = T - U. This is why the recipe "L=T−VL = T - V" survives verbatim with VV promoted to UU: the Euler–Lagrange operator is linear, and (1) was designed so that the UU terms slot in beside the TT terms with the right signs. Every consequence of the Lagrangian formalism — cyclic coordinates and their conserved momenta, the energy function, the passage to Hamiltonian mechanics — now applies to velocity-dependent forces at no extra charge. The only casualties are our Newtonian instincts about what "momentum" and "energy" mean, and auditing those instincts is the real work of the rest of this page.

The electromagnetic archetype

Everything abstract above becomes concrete in one physical system: a point charge qq moving through electromagnetic fields described by the scalar potential ϕ(r,t)\phi(\mathbf{r},t) and the vector potential A(r,t)\mathbf{A}(\mathbf{r},t), with E=−∇ϕ−∂A/∂t\mathbf{E} = -\nabla\phi - \partial\mathbf{A}/\partial t and B=∇×A\mathbf{B} = \nabla\times\mathbf{A}. The claim — and it is the single most important example in this corner of mechanics — is that the generalized potential

U=qϕ−q v⋅A(3)U=q\phi-q\,\mathbf{v}\cdot\mathbf{A} \qquad (3)

where: v=r˙\mathbf{v} = \dot{\mathbf{r}} is the particle velocity, generates the entire Lorentz force through rule (1). The first term is ordinary electrostatic potential energy. The second is the novelty: a coupling linear in velocity, projecting v\mathbf{v} onto the local vector potential. Linearity is not an accident — a term linear in q˙\dot q is precisely the kind that produces work-free, direction-bending forces, because (as the energy function will confirm) it contributes force without contributing energy. The Lagrangian is then

L=12mv2−qϕ+q v⋅A(4)L=\tfrac12 m v^2-q\phi+q\,\mathbf{v}\cdot\mathbf{A} \qquad (4)

where: mm is the particle's mass and v2=r˙⋅r˙v^2 = \dot{\mathbf{r}}\cdot\dot{\mathbf{r}}. Note what this Lagrangian is not: it is not "kinetic minus potential energy," because −qv⋅A-q\mathbf{v}\cdot\mathbf{A} is not an energy stored anywhere — it is a coupling term whose job is to encode B\mathbf{B} through the curl of A\mathbf{A}. The target it must reproduce is the force Lorentz distilled in 1892 from the electron theory of matter:

F=q(E+v×B)(5)\mathbf{F}=q(\mathbf{E}+\mathbf{v}\times\mathbf{B}) \qquad (5)

where: the electric term accelerates and decelerates, while the magnetic term only steers. That a single scalar function (3) contains the full vector structure of (5) — including the cross product — is the small miracle the next derivation verifies line by line.

Derivation ALorentz force from the electromagnetic generalized potential

We are deriving the Lorentz force law (5) by applying the Euler–Lagrange equations to the Lagrangian (4), thereby certifying that U=qϕ−qv⋅AU = q\phi - q\mathbf{v}\cdot\mathbf{A} really is a generalized potential for electromagnetism. The strategy is to work one Cartesian component (xx) honestly and let symmetry supply the rest. Two moments deserve full attention: the total time derivative of AxA_x must be taken along the moving particle's trajectory (a convective derivative, not a bare ∂t\partial_t), and a quiet cancellation of x˙ ∂xAx\dot x\,\partial_x A_x terms is what makes room for the curl structure of B\mathbf{B} to emerge. If you can reproduce those two moves unprompted, you own this topic.

Step 1. Compute the velocity derivative of LL. Only the kinetic term and the qv⋅Aq\mathbf{v}\cdot\mathbf{A} coupling contain x˙\dot x:

∂L∂x˙=mx˙+qAx\frac{\partial L}{\partial \dot x}=m\dot x+qA_x

Why this line already matters: the left side is by definition the conjugate momentum pxp_x — and it has just acquired a field contribution qAxqA_x on top of mx˙m\dot x. The payoff section makes this the headline.

Step 2. Take the total time derivative. Since AxA_x is evaluated at the particle's instantaneous position r(t)\mathbf{r}(t), its time dependence comes both explicitly and through the motion:

ddt∂L∂x˙=mx¨+q(∂Ax∂t+x˙∂Ax∂x+y˙∂Ax∂y+z˙∂Ax∂z)\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial L}{\partial \dot x}=m\ddot x+q\Big(\frac{\partial A_x}{\partial t}+\dot x\frac{\partial A_x}{\partial x}+\dot y\frac{\partial A_x}{\partial y}+\dot z\frac{\partial A_x}{\partial z}\Big)

Why the convective terms appear: the particle surfs through a spatially varying field, so even a static A\mathbf{A} changes along the trajectory at rate (v⋅∇)Ax(\mathbf{v}\cdot\nabla)A_x. Dropping these terms is the classic error — it loses the magnetic force entirely for static fields.

Step 3. Compute the coordinate derivative of LL, holding v\mathbf{v} fixed as the Euler–Lagrange recipe demands:

∂L∂x=−q∂ϕ∂x+q(x˙∂Ax∂x+y˙∂Ay∂x+z˙∂Az∂x)\frac{\partial L}{\partial x}=-q\frac{\partial\phi}{\partial x}+q\Big(\dot x\frac{\partial A_x}{\partial x}+\dot y\frac{\partial A_y}{\partial x}+\dot z\frac{\partial A_z}{\partial x}\Big)

Step 4. Assemble ddt∂x˙L−∂xL=0\frac{\mathrm{d}}{\mathrm{d}t}\partial_{\dot x}L - \partial_x L = 0 and solve for mx¨m\ddot x. The x˙ ∂xAx\dot x\,\partial_x A_x terms — one from the convective derivative, one from the coordinate derivative — cancel exactly, and what survives arranges itself into antisymmetric pairs:

mx¨=−q∂ϕ∂x−q∂Ax∂t+q[y˙(∂Ay∂x−∂Ax∂y)+z˙(∂Az∂x−∂Ax∂z)]m\ddot x=-q\frac{\partial\phi}{\partial x}-q\frac{\partial A_x}{\partial t}+q\Big[\dot y\Big(\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y}\Big)+\dot z\Big(\frac{\partial A_z}{\partial x}-\frac{\partial A_x}{\partial z}\Big)\Big]

Why the cancellation is structural, not lucky: any term symmetric in the pattern "velocity component times its own gradient direction" would represent a longitudinal, work-doing piece of the magnetic force — and there is none. The formalism deletes it automatically, leaving only curl-type (antisymmetric) combinations.

Step 5. Identify the fields. The first two terms are qExqE_x with Ex=−∂xϕ−∂tAxE_x = -\partial_x\phi - \partial_t A_x. In the bracket, recognize Bz=∂xAy−∂yAxB_z = \partial_x A_y - \partial_y A_x and By=∂zAx−∂xAzB_y = \partial_z A_x - \partial_x A_z, so the bracket is y˙Bz−z˙By=(v×B)x\dot y B_z - \dot z B_y = (\mathbf{v}\times\mathbf{B})_x. Hence

mx¨=q Ex+q (v×B)xm\ddot x=q\,E_x+q\,(\mathbf{v}\times\mathbf{B})_x

and vectorizing over the three components gives exactly the Lorentz force (5). Verified: cross-checked against Goldstein §1.5 and Landau–Lifshitz, Classical Theory of Fields §17; the two checkpoints are the cancellation of x˙ ∂xAx\dot x\,\partial_x A_x in Step 4 and the curl identification in Step 5. Setting A=0\mathbf{A} = 0 recovers mr¨=−q∇ϕ=qEm\ddot{\mathbf{r}} = -q\nabla\phi = q\mathbf{E}, the electrostatic limit.

The payoff: canonical momentum

Step 1 of the derivation quietly delivered the most consequential formula on this page. The momentum conjugate to position — the object the Lagrangian formalism actually tracks — is

p=∂L∂v=mv+qA(6)\mathbf{p}=\frac{\partial L}{\partial \mathbf{v}}=m\mathbf{v}+q\mathbf{A} \qquad (6)

where: mvm\mathbf{v} is the kinetic momentum (what a radar gun measures) and qAq\mathbf{A} is the field contribution, present purely because UU depends on velocity. The sum is the canonical momentum. It is the canonical, not the kinetic, momentum that obeys the conservation theorems: if ϕ\phi and A\mathbf{A} do not depend on xx, then xx is cyclic and px=mx˙+qAxp_x = m\dot x + qA_x is a constant of the motion, while mx˙m\dot x alone oscillates freely. A charged particle can trade momentum with the field and back, and only the combined ledger (6) balances. Worked example 2 turns this single conservation law into a complete solution of a penetration problem that would otherwise need the full trajectory. There is a satisfying geometric way to see how different the two momenta are. Put a proton on a circular cyclotron orbit in a uniform B\mathbf{B} and choose the symmetric gauge A=12B×r\mathbf{A} = \tfrac12\mathbf{B}\times\mathbf{r} centered on the orbit. Then qAq\mathbf{A} is everywhere antiparallel to mvm\mathbf{v} with exactly half its magnitude, so the canonical momentum p=mv+qA\mathbf{p} = m\mathbf{v} + q\mathbf{A} points along the velocity but with half the kinetic value — a vector you would never guess by staring at the motion, because half of it lives in the field bookkeeping.

Figure
Canonical versus kinetic momentum on a cyclotron orbit in the symmetric gauge
orbit center = gauge origin q mv (kinetic) qA = −mv/2 p = mv + qA (half length) symmetric gauge A = ½ B × r, gauge origin at the orbit center: the field term cancels exactly half the kinetic momentum — worked example 1 puts numbers on all three vectors for a real proton orbit

Once the canonical momentum exists, the whole Hamiltonian edifice follows by expressing energy in terms of it. Inverting (6) for the velocity, mv=p−qAm\mathbf{v} = \mathbf{p} - q\mathbf{A}, and performing the Legendre transform gives

H=(p−qA)22m+qϕ(8)H=\frac{(\mathbf{p}-q\mathbf{A})^2}{2m}+q\phi \qquad (8)

where: the recipe visible here — take the free Hamiltonian and replace p→p−qA\mathbf{p} \to \mathbf{p} - q\mathbf{A}, then add qϕq\phi — is minimal coupling, the exact prescription by which electromagnetic interactions enter quantum mechanics, where p\mathbf{p} becomes the operator −iℏ∇-i\hbar\nabla. Landau levels, the Aharonov–Bohm phase, flux quantization in superconductors: each is equation (8) doing quantum work. Classical mechanics wrote the coupling; quantum mechanics inherited it unchanged. One more ledger needs auditing: energy. The energy function h=∑jq˙j ∂L/∂q˙j−Lh = \sum_j \dot q_j\,\partial L/\partial\dot q_j - L evaluates, for the Lagrangian (4), to

E=h=12mv2+qϕ(9)E=h=\tfrac12 mv^2+q\phi \qquad (9)

where: the qv⋅Aq\mathbf{v}\cdot\mathbf{A} coupling has cancelled out entirely — a term linear in velocity contributes q˙ ∂q˙\dot q\,\partial_{\dot q} of itself exactly once and appears in LL exactly once, and the two occurrences subtract. This is the formal fingerprint of a gyroscopic force: it steers the dynamics (through the equations of motion) while contributing nothing to the conserved energy (the magnetic field does no work). Only the scalar potential stores energy.

Which object answers which question

you wantusewatch out
the force on the chargeLorentz law (5), or EL equations on (4)fields, not potentials, are what push
the conserved quantity for a symmetrycanonical p=mv+qA\mathbf{p} = m\mathbf{v} + q\mathbf{A}, eq. (6)gauge-dependent as a number; conservation is real
what a detector measures as momentumkinetic mv=p−qAm\mathbf{v} = \mathbf{p} - q\mathbf{A}gauge-invariant, but not conserved by symmetry
the conserved energyh=12mv2+qϕh = \tfrac12 mv^2 + q\phi, eq. (9)no v⋅A\mathbf{v}\cdot\mathbf{A} term — magnetic fields store no particle energy
the quantum Hamiltonianminimal coupling (8) with p→−iℏ∇\mathbf{p} \to -i\hbar\nablacouple to A\mathbf{A}, never directly to B\mathbf{B}
dissipation (drag, friction)Rayleigh function, next articleno UU exists — see the obstruction proof below

Gauge freedom: many potentials, one physics

The potentials ϕ\phi and A\mathbf{A} are not measurable; the fields E\mathbf{E} and B\mathbf{B} are. For any smooth function Λ(r,t)\Lambda(\mathbf{r},t), the replacement

ϕ→ϕ−∂Λ∂t,A→A+∇Λ(7)\phi\to\phi-\frac{\partial\Lambda}{\partial t},\qquad \mathbf{A}\to\mathbf{A}+\nabla\Lambda \qquad (7)

where: Λ\Lambda is called the gauge function — leaves E\mathbf{E} and B\mathbf{B} untouched, because the curl of a gradient and the combination −∇(−∂tΛ)−∂t(∇Λ)-\nabla(-\partial_t\Lambda) - \partial_t(\nabla\Lambda) both vanish. The Lagrangian (4) is not invariant under (7) — but it changes in the one way that costs nothing, as the next derivation shows. This is the physicist's first encounter with a theme that dominates modern field theory: the description carries redundancy, and physical content lives in what the redundancy cannot touch. The general theory of when two Lagrangians describe identical dynamics has its own article; here we verify the electromagnetic instance explicitly.

Go deeper · Derivation B · 1 minGauge transformations shift the Lagrangian by a total time derivative
Derivation BGauge transformations shift the Lagrangian by a total time derivative

We are proving that under the gauge transformation (7) the charged-particle Lagrangian changes by δL=q dΛ/dt\delta L = q\,\mathrm{d}\Lambda/\mathrm{d}t — a total time derivative — and therefore that every gauge choice yields the same equations of motion. The strategy is direct substitution into U=qϕ−qv⋅AU = q\phi - q\mathbf{v}\cdot\mathbf{A}, followed by recognizing a convective derivative reassembling itself. The point to watch: the two pieces of the transformation conspire; neither alone is a total derivative.

Step 1. Substitute the transformed potentials into UU and collect the change:

δU=q δϕ−q v⋅δA=−q∂Λ∂t−q v⋅∇Λ\delta U = q\,\delta\phi - q\,\mathbf{v}\cdot\delta\mathbf{A} = -q\frac{\partial\Lambda}{\partial t} - q\,\mathbf{v}\cdot\nabla\Lambda

Step 2. The Lagrangian changes by δL=−δU\delta L = -\delta U. Recognize the bracket as the total (convective) time derivative of Λ\Lambda along the trajectory:

δL=q(∂Λ∂t+v⋅∇Λ)=qdΛdt\delta L = q\Big(\frac{\partial\Lambda}{\partial t}+\mathbf{v}\cdot\nabla\Lambda\Big) = q\frac{\mathrm{d}\Lambda}{\mathrm{d}t}

Why this is exactly the harmless case: adding dF/dt\mathrm{d}F/\mathrm{d}t to any Lagrangian changes the action by boundary terms F(t2)−F(t1)F(t_2) - F(t_1) only, which fixed-endpoint variation never sees — so the Euler–Lagrange equations are unchanged. Here F=qΛ(r,t)F = q\Lambda(\mathbf{r},t).

Step 3. Read off the consequence for the canonical momentum: p=mv+qA\mathbf{p} = m\mathbf{v} + q\mathbf{A} shifts to p+q∇Λ\mathbf{p} + q\nabla\Lambda under the gauge change. The canonical momentum is gauge-dependent as a set of numbers, even though the conservation law it expresses (when a coordinate is cyclic in some gauge) reflects gauge-invariant physics. The kinetic momentum mv=p−qAm\mathbf{v} = \mathbf{p} - q\mathbf{A} is gauge-invariant, as a measurable quantity must be. Verified: consistent with Goldstein §1.5 and Landau–Lifshitz, Classical Theory of Fields §16; the boundary-term argument is the standard equivalence theorem for Lagrangians differing by dF/dt\mathrm{d}F/\mathrm{d}t, proven in full in the gauge-freedom article.

The boundary: where the door closes

The generalized potential admits magnetism; does it admit friction? Both are velocity-dependent forces, and a beginner's reasonable guess is that a clever enough UU handles drag too. The guess is provably wrong, and the proof is short enough to be beautiful.

Go deeper · Derivation C · 1 minWhy genuine friction admits no generalized potential
Derivation CWhy genuine friction admits no generalized potential

We are proving a no-go statement: no function U(q,q˙,t)U(q,\dot q,t) generates the linear drag force Q=−bq˙Q = -b\dot q through rule (1). The strategy is a structural audit — classify what forces a UU of each velocity order can produce, and show the dissipative signature never appears. This theorem is what makes the Rayleigh dissipation function necessary rather than merely convenient. Watch the mechanism: velocity-linear terms in UU generate only work-free forces — the same mechanism that made the magnetic coupling energy-silent in (9).

Step 1. Energy obstruction, for orientation. A drag force drains energy at rate Qq˙=−bq˙2≤0Q\dot q = -b\dot q^2 \le 0 along every motion. But when L=T−UL = T - U has no explicit time dependence, the energy function hh is exactly conserved. A force family that strictly decreases energy cannot live inside a formalism whose autonomous version conserves it. This argument convinces but does not yet pin down which structural feature fails — Steps 2 and 3 do.

Step 2. Expand the candidate force. For any U(q,q˙,t)U(q,\dot q,t),

ddt∂U∂q˙−∂U∂q=∂2U∂q˙2 q¨+∂2U∂q˙ ∂q q˙+∂2U∂q˙ ∂t−∂U∂q\frac{\mathrm{d}}{\mathrm{d}t}\frac{\partial U}{\partial\dot q}-\frac{\partial U}{\partial q} = \frac{\partial^2 U}{\partial\dot q^2}\,\ddot q+\frac{\partial^2 U}{\partial\dot q\,\partial q}\,\dot q+\frac{\partial^2 U}{\partial\dot q\,\partial t}-\frac{\partial U}{\partial q}

Why the q¨\ddot q term is the first gatekeeper: the target force −bq˙-b\dot q contains no acceleration, so we need ∂2U/∂q˙2=0\partial^2 U/\partial\dot q^2 = 0 identically — UU must be at most linear in velocity, U=a(q,t) q˙+c(q,t)U = a(q,t)\,\dot q + c(q,t).

Step 3. Run the linear ansatz through rule (1):

dadt−(∂a∂qq˙+∂c∂q)=∂a∂t+∂a∂qq˙−∂a∂qq˙−∂c∂q=∂a∂t−∂c∂q\frac{\mathrm{d}a}{\mathrm{d}t}-\Big(\frac{\partial a}{\partial q}\dot q+\frac{\partial c}{\partial q}\Big) = \frac{\partial a}{\partial t}+\frac{\partial a}{\partial q}\dot q-\frac{\partial a}{\partial q}\dot q-\frac{\partial c}{\partial q} = \frac{\partial a}{\partial t}-\frac{\partial c}{\partial q}

Why this kills the drag force: the velocity-dependent pieces cancel identically, so a velocity-linear UU produces a force with NO q˙\dot q term at all in one dimension — and in several dimensions, only antisymmetric (gyroscopic, work-free) velocity couplings survive, the magnetic pattern. A force proportional to −q˙-\dot q, symmetric and energy-draining, is structurally unreachable. Contradiction.

Step 4. The remedy, previewed. Dissipation re-enters the formalism through a second scalar, the Rayleigh function F=12bq˙2\mathcal{F} = \tfrac12 b\dot q^2, standing outside the Lagrangian: the equations of motion become ddt∂q˙L−∂qL=−∂F/∂q˙\frac{\mathrm{d}}{\mathrm{d}t}\partial_{\dot q}L - \partial_q L = -\partial\mathcal{F}/\partial\dot q. Two scalars, two jobs: UU for forces that respect the action principle, F\mathcal{F} for the honest bookkeeping of loss — the next article's subject. Verified: matches Goldstein §1.5 and the dissipation discussion of §2.5 (3rd ed. numbering); the classification "velocity-linear potentials generate only gyroscopic forces" is the same statement verified concretely by the magnetic case, where F⋅v=q(v×B)⋅v=0\mathbf{F}\cdot\mathbf{v} = q(\mathbf{v}\times\mathbf{B})\cdot\mathbf{v} = 0.

Limiting cases

CaseResultMeaning
no velocity dependenceU=V(q,t)⇒Qj=−∂V/∂qjU = V(q,t) \Rightarrow Q_j = -\partial V/\partial q_jthe ordinary conservative rule recovered; the d/dt\mathrm{d}/\mathrm{d}t term dies because ∂V/∂q˙j=0\partial V/\partial\dot q_j = 0
pure electrostatics (A=0\mathbf{A}=0)U=qϕU = q\phi, F=−q∇ϕ=qE\mathbf{F} = -q\nabla\phi = q\mathbf{E}canonical momentum equals kinetic momentum; the landscape picture is exact
static uniform B\mathbf{B}A=12B×r\mathbf{A} = \tfrac12\mathbf{B}\times\mathbf{r}, F=qv×B\mathbf{F} = q\mathbf{v}\times\mathbf{B}helical orbits at the cyclotron frequency ωc=qB/m\omega_c = qB/m; force steers, never works
rotating frame at ω\boldsymbol\omegacoupling −m v′⋅(ω×r′)-m\,\mathbf{v}'\cdot(\boldsymbol\omega\times\mathbf{r}') appears in LLstructurally identical to −qv⋅A-q\mathbf{v}\cdot\mathbf{A}: the Coriolis force is mechanics' own magnetic force
velocity-linear dragQ=−bq˙⇒Q = -b\dot q \Rightarrow no UU existsoutside the monogenic class; Rayleigh dissipation function required

Worked examples

1 · A proton's two momenta (confidence builder)

A proton (m=1.673×10−27 kgm = 1.673\times10^{-27}\ \mathrm{kg}, q=1.602×10−19 Cq = 1.602\times10^{-19}\ \mathrm{C}) moves at v=2.0×105 m/sv = 2.0\times10^{5}\ \mathrm{m/s} perpendicular to a uniform field B=0.50 TB = 0.50\ \mathrm{T}. Find the cyclotron frequency, the orbit radius, and — in the symmetric gauge centered on the orbit — the kinetic, field, and canonical momenta.

Step 1. Cyclotron frequency. The magnetic force supplies the centripetal acceleration, qvB=mv2/rqvB = mv^2/r, giving the speed-independent angular frequency

ωc=qBm=(1.602×10−19)(0.50)1.673×10−27=4.79×107 rad/s\omega_c=\frac{qB}{m}=\frac{(1.602\times10^{-19})(0.50)}{1.673\times10^{-27}} = \boxed{4.79\times10^{7}\ \mathrm{rad/s}}

equivalently f=ωc/2π=7.6 MHzf = \omega_c/2\pi = 7.6\ \mathrm{MHz} — the dial setting of an early cyclotron's oscillator.

Step 2. Orbit radius, from r=v/ωcr = v/\omega_c:

r=mvqB=(1.673×10−27)(2.0×105)(1.602×10−19)(0.50)=4.2 mmr=\frac{mv}{qB}=\frac{(1.673\times10^{-27})(2.0\times10^{5})}{(1.602\times10^{-19})(0.50)} = \boxed{4.2\ \mathrm{mm}}

a tabletop circle, traversed once every T=2π/ωc=131 nsT = 2\pi/\omega_c = 131\ \mathrm{ns}.

Step 3. Kinetic momentum: mv=(1.673×10−27)(2.0×105)=3.35×10−22 kg m/smv = (1.673\times10^{-27})(2.0\times10^{5}) = \mathbf{3.35\times10^{-22}\ kg\,m/s}, tangent to the orbit.

Step 4. Field momentum. In the symmetric gauge A=12B×r\mathbf{A} = \tfrac12\mathbf{B}\times\mathbf{r} with origin at the orbit center, ∣A∣=12Br|\mathbf{A}| = \tfrac12 Br on the orbit, so

qA=12qBr=12(1.602×10−19)(0.50)(4.18×10−3)=1.67×10−22 kg m/sqA=\tfrac12 qBr = \tfrac12(1.602\times10^{-19})(0.50)(4.18\times10^{-3}) = \boxed{1.67\times10^{-22}\ \mathrm{kg\,m/s}}

— exactly half the kinetic momentum, and directed against it (check the geometry: for a positive charge circling in the sense the magnetic force enforces, 12B×r\tfrac12\mathbf{B}\times\mathbf{r} is antiparallel to v\mathbf{v}).

Step 5. Canonical momentum: p=mv−12mv=1.67×10−22 kg m/sp = mv - \tfrac12 mv = \mathbf{1.67\times10^{-22}\ kg\,m/s}, tangent to the orbit with half the kinetic magnitude — the configuration drawn in the second figure. The moral is not the specific factor 12\tfrac12 (it is gauge- and origin-dependent) but the vivid demonstration that canonical and kinetic momentum are different physical ledgers that happen to coincide only when A=0\mathbf{A} = 0.

2 · How deep does a proton punch into a magnetic wall? (exam level)

A proton travelling at v0=3.0×105 m/sv_0 = 3.0\times10^{5}\ \mathrm{m/s} in the +x+x direction crosses x=0x=0 into a region of uniform field B=0.20 T z^\mathbf{B} = 0.20\ \mathrm{T}\,\hat{\mathbf{z}} filling x>0x>0. Using canonical momentum conservation — no trajectory integration — find the maximum penetration depth and the time spent inside the field region before the turning point.

Step 1. Choose a gauge adapted to the symmetry. With A=(0, Bx, 0)\mathbf{A} = (0,\ Bx,\ 0) we get ∇×A=Bz^\nabla\times\mathbf{A} = B\hat{\mathbf{z}} ✓, and nothing in the Lagrangian depends on yy: the coordinate yy is cyclic.

Step 2. Write the conserved canonical momentum, eq. (6), for the cyclic coordinate:

py=my˙+qAy=my˙+qBx=constp_y = m\dot y + qA_y = m\dot y + qBx = \text{const}

At entry (x=0x=0, y˙=0\dot y = 0): py=0p_y = 0. So everywhere inside, my˙=−qBxm\dot y = -qBx — the sideways kinetic momentum is enslaved to the penetration depth. (Note my˙m\dot y changes freely; pyp_y stays exactly zero. That is the warning box, live.)

Step 3. Add the work-free property. The magnetic force never changes speed, so x˙2+y˙2=v02\dot x^2 + \dot y^2 = v_0^2 at all times. The turning point of penetration is where x˙=0\dot x = 0, hence ∣y˙∣=v0|\dot y| = v_0 there.

Step 4. Combine: at the turning point, mv0=qB xmax⁡m v_0 = qB\,x_{\max}, so

xmax⁡=mv0qB=(1.673×10−27)(3.0×105)(1.602×10−19)(0.20)=1.57 cmx_{\max}=\frac{mv_0}{qB}=\frac{(1.673\times10^{-27})(3.0\times10^{5})}{(1.602\times10^{-19})(0.20)} = \boxed{1.57\ \mathrm{cm}}

— which is precisely the Larmor radius, as it must be: the orbit inside the field is a circular arc of radius mv0/qBmv_0/qB, entering perpendicular to the boundary.

Step 5. Time inside. From entry to maximum depth the velocity direction rotates by a quarter turn (from +x+x to −y-y for this charge sign), at the uniform rate ωc=qB/m=1.92×107 rad/s\omega_c = qB/m = 1.92\times10^{7}\ \mathrm{rad/s}:

t=π/2ωc=1.5711.92×107=82 nst=\frac{\pi/2}{\omega_c}=\frac{1.571}{1.92\times10^{7}} = \boxed{82\ \mathrm{ns}}

Step 6. Audit. The two conservation laws (canonical pyp_y, kinetic energy) replaced the entire differential-equation solve; the geometry check (xmax⁡x_{\max} = Larmor radius, quarter-period timing) confirms both. This two-line style — cyclic coordinate, conserved canonical momentum, work-free constraint — is the standard opening move for charged-particle problems in plasma physics.

Origins · 1 minHendrik Lorentz and how this was discovered
HL
Hendrik Lorentz
1853–1928 · Leiden

Lorentz was appointed to Leiden's new chair of theoretical physics — the first in the Netherlands — at age 24, and spent the next half-century as Europe's central clearing-house for electromagnetic theory. His electron theory of matter proposed that electromagnetic phenomena arise from discrete charges moving inside matter, and in 1892 he distilled from it the force law q(E+v×B)q(\mathbf{E} + \mathbf{v}\times\mathbf{B}) that bears his name — the velocity-dependent force this article teaches mechanics to digest. When his student Pieter Zeeman observed spectral lines splitting in a magnetic field in 1896, Lorentz explained the effect within days using the electron theory, and the pair shared the 1902 Nobel Prize. The coordinate transformations he devised to keep Maxwell's equations consistent for moving observers — the Lorentz transformations — became the mathematical skeleton of special relativity; Einstein regarded him as the greatest and most gracious mind of the older generation, and chaired-by-acclamation Lorentz ran the legendary Solvay conferences where quantum mechanics was argued into existence. Characteristically Dutch coda: in his final decade he led the engineering calculations for the Zuiderzee enclosure dam, applying hydrodynamics to protect his country from the sea — they were still being used decades later.

History
1846
— Wilhelm Weber proposes a velocity-dependent force law between charges, the first serious attempt to put velocity inside a potential.
1873
— Maxwell's Treatise identifies the vector potential with electromagnetic momentum per unit charge, foreshadowing the canonical momentum.
1892
— Lorentz publishes the force law q(E+v×B)q(\mathbf{E} + \mathbf{v}\times\mathbf{B}) from his electron theory of matter.
1903
— Schwarzschild casts charged-particle dynamics in Lagrangian form with the generalized potential qϕ−q v⋅Aq\phi - q\,\mathbf{v}\cdot\mathbf{A}.
1926
— Schrödinger's wave mechanics adopts minimal coupling p→−iℏ∇\mathbf{p}\to -i\hbar\nabla with p−qA\mathbf{p} - q\mathbf{A}: the classical canonical momentum becomes the quantum operator.

Going further

References. Goldstein, Classical Mechanics, 3rd ed., §1.5 (velocity-dependent potentials) and §1.6 · Landau & Lifshitz, Mechanics (Vol. 1), §17; and Classical Theory of Fields, §16 · Taylor, Classical Mechanics, §7.9 · Morin, Introduction to Classical Mechanics, Ch. 6

Provenance. Equations and the Lorentz-force derivation follow Goldstein, Classical Mechanics, 3rd ed., §1.5; energy function and gauge structure cross-checked against Landau–Lifshitz Mechanics §17 and Classical Theory of Fields §16. A verifier should recompute: (1) the cancellation of x˙ ∂xAx\dot x\,\partial_x A_x in the EL equation; (2) the curl identification (v×B)x=y˙Bz−z˙By(\mathbf{v}\times\mathbf{B})_x=\dot y B_z-\dot z B_y; (3) that δL=q dΛ/dt\delta L=q\,\mathrm{d}\Lambda/\mathrm{d}t under a gauge transformation; (4) that h=12mv2+qϕh=\tfrac12 mv^2+q\phi with the v⋅A\mathbf{v}\cdot\mathbf{A} term absent. Cyclotron frequency ωc=qB/m\omega_c=qB/m is standard. Worked-example numbers on this page (ωc=4.79×107 rad/s\omega_c = 4.79\times10^{7}\ \mathrm{rad/s}, r=4.2 mmr = 4.2\ \mathrm{mm}, qA=12mv=1.67×10−22 kg m/sqA = \tfrac12 mv = 1.67\times10^{-22}\ \mathrm{kg\,m/s}; xmax⁡=1.57 cmx_{\max} = 1.57\ \mathrm{cm}, t=82 nst = 82\ \mathrm{ns}) are illustrative arithmetic recomputed from the boxed formulas.

Builds on: The Lagrangian Function · The Euler-Lagrange Equations · Generalized Forces and Generalized Momenta · d'Alembert's Principle. Leads to: Cyclic Coordinates and Conservation of Conjugate Momenta · The Energy Function and Jacobi Integral · Generalized Forces and Generalized Momenta.

Is the generalized potential U an energy? It has energy units but the article keeps hedging.

It has the units, but no — UU is a force-generating function, not stored energy, and the electromagnetic case makes the distinction sharp. The energy function (9) works out to 12mv2+qϕ\tfrac12 mv^2 + q\phi: only the scalar-potential part of UU appears, while the −qv⋅A-q\mathbf{v}\cdot\mathbf{A} term cancels out of the energy ledger entirely. So a charge circling in a pure magnetic field has U≠0U \neq 0 but gains and loses nothing. The safe mental model: V(q)V(q) plays two roles at once (force generator and energy store), and those roles come apart when velocity enters. UU keeps only the first job. If you want the energy, always compute h=∑q˙ ∂q˙L−Lh = \sum \dot q\,\partial_{\dot q}L - L rather than reading terms off the Lagrangian.

Both the magnetic force and friction depend on velocity. Why does one get a potential and the other provably none?

The dividing line is the symmetry type of the velocity coupling, which controls whether the force can do work. A UU linear in velocity, U=−q v⋅AU = -q\,\mathbf{v}\cdot\mathbf{A}, feeds the Euler–Lagrange operator and comes out as an antisymmetric velocity coupling — the v×B\mathbf{v}\times\mathbf{B} pattern, always perpendicular to v\mathbf{v}, hence work-free (gyroscopic). The obstruction derivation shows this is all a velocity-linear UU can ever produce: the symmetric, energy-draining pattern −bq˙-b\dot q cancels out of the formalism identically. Friction's defining feature is F⋅v<0\mathbf{F}\cdot\mathbf{v} < 0 along every motion, and that is precisely the signature no generalized potential can generate. Velocity dependence is necessary but not sufficient; work-free velocity dependence is the admission ticket.

The canonical momentum is gauge-dependent. How can a gauge-dependent quantity be physically meaningful?

Carefully — and this trips up everyone once. The number px=mx˙+qAxp_x = m\dot x + qA_x depends on your gauge choice, so it is not directly measurable; the gauge-invariant, detector-readable momentum is the kinetic mv=p−qAm\mathbf{v} = \mathbf{p} - q\mathbf{A}. What IS physical is the conservation law: if the fields have a translation symmetry, then in a gauge adapted to that symmetry (where ϕ,A\phi, \mathbf{A} don't depend on xx) the canonical pxp_x is exactly constant, and that constancy constrains real, gauge-invariant things — turning points, drift speeds, confinement boundaries. Worked example 2 extracts a measurable penetration depth of 1.57 cm from "py=0p_y = 0, always" even though the value zero itself was a gauge-flavored statement. Use canonical momentum as machinery, kinetic momentum as measurement.

Why does quantum mechanics use the canonical momentum for −iℏ∇ instead of the kinetic one?

Because the commutation relations — the structural core of quantum mechanics — are the quantum image of Poisson brackets, and Poisson brackets are defined on canonical pairs (q,p)(q, p). The classical bracket {x,px}=1\{x, p_x\} = 1 holds for the canonical momentum by construction, whatever the forces; so quantization promotes that object to −iℏ∇-i\hbar\nabla. The kinetic momentum operator is then −iℏ∇−qA-i\hbar\nabla - q\mathbf{A}, whose components do not commute with each other in a magnetic field (their commutator is iℏqi\hbar q times components of B\mathbf{B}) — which is exactly why Landau levels exist. If you quantized mvm\mathbf{v} directly you would lose the canonical structure and with it the Schrödinger equation's form. Minimal coupling, equation (8), is the classical Legendre transform remembering all of this for you.

Is the vector potential real or just mathematical scaffolding? The gauge freedom makes it feel fictional.

Classically you can maintain the fiction: every classical observable can be written in terms of E\mathbf{E} and B\mathbf{B}, and A\mathbf{A} looks like disposable bookkeeping. Quantum mechanics closed that escape route. In the Aharonov–Bohm experiment, electrons pass on either side of a long solenoid through regions where B=0\mathbf{B} = 0 identically, yet arrive with a relative phase qΦ/ℏq\Phi/\hbar set by the enclosed flux — they responded to A\mathbf{A} (more precisely, to its gauge-invariant loop integral ∮A⋅dℓ\oint\mathbf{A}\cdot\mathrm{d}\boldsymbol\ell) where no field ever touched them. The modern resolution is precise: neither A\mathbf{A} at a point (gauge-dependent) nor B\mathbf{B} alone (insufficient) is the fundamental object; the physical content sits in gauge-invariant combinations like holonomies and fluxes. The Lagrangian knew this first — it couples to A\mathbf{A}, never directly to B\mathbf{B}.

The Coriolis force is called the mechanical analogue of the magnetic force here. How literal is that?

Almost embarrassingly literal, at the level of the Lagrangian. Transform a free particle to a frame rotating at ω\boldsymbol\omega and the Lagrangian acquires the term m v′⋅(ω×r′)m\,\mathbf{v}'\cdot(\boldsymbol\omega\times\mathbf{r}') — compare q v⋅Aq\,\mathbf{v}\cdot\mathbf{A} with the identification qA↔m ω×r′q\mathbf{A} \leftrightarrow m\,\boldsymbol\omega\times\mathbf{r}', i.e. an effective vector potential whose "magnetic field" is ∇×(mω×r′)=2mω\nabla\times(m\boldsymbol\omega\times\mathbf{r}') = 2m\boldsymbol\omega, uniform. The resulting force 2m v′×ω2m\,\mathbf{v}'\times\boldsymbol\omega is the Coriolis force, velocity-perpendicular and work-free exactly like qv×Bq\mathbf{v}\times\mathbf{B}. The analogy is load-bearing in real physics: Foucault-pendulum precession maps onto Larmor precession, and cold-atom experiments engineer artificial gauge fields by rotating traps — literally manufacturing magnetism for neutral atoms out of the Coriolis coupling. The one caveat: the rotating frame also brings a centrifugal term (∝\propto position, an ordinary potential), so the correspondence is between the velocity-linear parts.

Higher powers of velocity in U are "mathematically permissible but rarely fundamental" — why do quadratic or cubic terms never show up?

Two reasons, one structural and one physical. Structurally, a UU quadratic in q˙\dot q contributes ∂2U/∂q˙2 q¨\partial^2 U/\partial\dot q^2\,\ddot q to the generalized force — acceleration-dependent forces — which wreck the standard existence-and-uniqueness setup of mechanics (initial position and velocity would no longer determine the motion unless the term can be absorbed into an effective mass). Physically, a velocity-quadratic potential term is indistinguishable from a modification of the kinetic energy, so nature's examples get booked as TT rather than UU — that is exactly what happens with the centrifugal term in a rotating frame. The clean classification: velocity-independent UU = conservative landscape; velocity-linear UU = gyroscopic couplings (electromagnetism, Coriolis, and in fact all fundamental velocity couplings); anything higher = redefinitions of inertia, not new forces.

In worked example 1 the canonical momentum came out as half the kinetic momentum. Is that factor of one-half physics or gauge artifact?

Gauge artifact — and recognizing that is the point of the example. The factor 12\tfrac12 came from the symmetric gauge A=12B×r\mathbf{A} = \tfrac12\mathbf{B}\times\mathbf{r} with origin at the orbit center; shift the gauge origin, or switch to the Landau gauge (0,Bx,0)(0, Bx, 0) of worked example 2, and the canonical momentum vector at the same point of the same motion changes completely. What survives every gauge choice: the kinetic momentum mvm\mathbf{v} (measurable), the equations of motion, and any conservation law (though which component is conserved is most easily seen in the gauge adapted to the symmetry). The example is a vaccination: after computing p\mathbf{p} once and watching half of it evaporate under a gauge change, you will never again treat canonical momentum components as detector readings.

Before this

Where this leads