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 depends on how fast you move and in which direction — stand still and it vanishes entirely. A potential 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 with a position-only ; it requires only that the generalized force be expressible as for some function — a generalized potential that is allowed to feel velocity. The electromagnetic field fits this template exactly, through , 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 and becomes the canonical momentum — 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.
- A generalized potential enters the Lagrangian as and delivers the force through — the same operator the Euler–Lagrange equations already apply.
- The archetype is electromagnetism: reproduces the full Lorentz force , even though the magnetic part comes from no scalar landscape.
- The conjugate momentum becomes the canonical momentum , not the kinetic momentum — this is what conservation laws, Poisson brackets, and quantization actually use.
- Gauge transformations of shift by a total time derivative , 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 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 for some ; 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 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 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 real, or mere bookkeeping? — was settled experimentally: electrons diffracting around a solenoid acquire the Aharonov–Bohm phase through regions where but , 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 , 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.
So the taxonomy of forces splits three ways, and the split is the intellectual spine of this article. Landscape forces come from : 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 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 : . Feed it a position-only and the first slot returns zero — you recover , the old rule, as a special case. But nothing stops you from feeding it a 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: , with the generalized force still completely general. The question is which can be absorbed into a Lagrangian. The answer is the defining equation of this article:
where: — the generalized force conjugate to ; — 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 stores in its velocity slot re-emerge as force through the time derivative. If happens not to depend on , the first term dies and (1) collapses to : 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 terms across:
where: the combination is the Lagrangian, . This is why the recipe "" survives verbatim with promoted to : the Euler–Lagrange operator is linear, and (1) was designed so that the terms slot in beside the 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 moving through electromagnetic fields described by the scalar potential and the vector potential , with and . The claim — and it is the single most important example in this corner of mechanics — is that the generalized potential
where: 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 onto the local vector potential. Linearity is not an accident — a term linear in 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
where: is the particle's mass and . Note what this Lagrangian is not: it is not "kinetic minus potential energy," because is not an energy stored anywhere — it is a coupling term whose job is to encode through the curl of . The target it must reproduce is the force Lorentz distilled in 1892 from the electron theory of matter:
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.
We are deriving the Lorentz force law (5) by applying the Euler–Lagrange equations to the Lagrangian (4), thereby certifying that really is a generalized potential for electromagnetism. The strategy is to work one Cartesian component () honestly and let symmetry supply the rest. Two moments deserve full attention: the total time derivative of must be taken along the moving particle's trajectory (a convective derivative, not a bare ), and a quiet cancellation of terms is what makes room for the curl structure of to emerge. If you can reproduce those two moves unprompted, you own this topic.
Step 1. Compute the velocity derivative of . Only the kinetic term and the coupling contain :
Why this line already matters: the left side is by definition the conjugate momentum — and it has just acquired a field contribution on top of . The payoff section makes this the headline.
Step 2. Take the total time derivative. Since is evaluated at the particle's instantaneous position , its time dependence comes both explicitly and through the motion:
Why the convective terms appear: the particle surfs through a spatially varying field, so even a static changes along the trajectory at rate . Dropping these terms is the classic error — it loses the magnetic force entirely for static fields.
Step 3. Compute the coordinate derivative of , holding fixed as the Euler–Lagrange recipe demands:
Step 4. Assemble and solve for . The terms — one from the convective derivative, one from the coordinate derivative — cancel exactly, and what survives arranges itself into antisymmetric pairs:
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 with . In the bracket, recognize and , so the bracket is . Hence
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 in Step 4 and the curl identification in Step 5. Setting recovers , 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
where: is the kinetic momentum (what a radar gun measures) and is the field contribution, present purely because depends on velocity. The sum is the canonical momentum. It is the canonical, not the kinetic, momentum that obeys the conservation theorems: if and do not depend on , then is cyclic and is a constant of the motion, while 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 and choose the symmetric gauge centered on the orbit. Then is everywhere antiparallel to with exactly half its magnitude, so the canonical momentum 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.
Once the canonical momentum exists, the whole Hamiltonian edifice follows by expressing energy in terms of it. Inverting (6) for the velocity, , and performing the Legendre transform gives
where: the recipe visible here — take the free Hamiltonian and replace , then add — is minimal coupling, the exact prescription by which electromagnetic interactions enter quantum mechanics, where becomes the operator . 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 evaluates, for the Lagrangian (4), to
where: the coupling has cancelled out entirely — a term linear in velocity contributes of itself exactly once and appears in 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 want | use | watch out |
|---|---|---|
| the force on the charge | Lorentz law (5), or EL equations on (4) | fields, not potentials, are what push |
| the conserved quantity for a symmetry | canonical , eq. (6) | gauge-dependent as a number; conservation is real |
| what a detector measures as momentum | kinetic | gauge-invariant, but not conserved by symmetry |
| the conserved energy | , eq. (9) | no term — magnetic fields store no particle energy |
| the quantum Hamiltonian | minimal coupling (8) with | couple to , never directly to |
| dissipation (drag, friction) | Rayleigh function, next article | no exists — see the obstruction proof below |
Gauge freedom: many potentials, one physics
The potentials and are not measurable; the fields and are. For any smooth function , the replacement
where: is called the gauge function — leaves and untouched, because the curl of a gradient and the combination 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
We are proving that under the gauge transformation (7) the charged-particle Lagrangian changes by — a total time derivative — and therefore that every gauge choice yields the same equations of motion. The strategy is direct substitution into , 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 and collect the change:
Step 2. The Lagrangian changes by . Recognize the bracket as the total (convective) time derivative of along the trajectory:
Why this is exactly the harmless case: adding to any Lagrangian changes the action by boundary terms only, which fixed-endpoint variation never sees — so the Euler–Lagrange equations are unchanged. Here .
Step 3. Read off the consequence for the canonical momentum: shifts to 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 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 , 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 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
We are proving a no-go statement: no function generates the linear drag force through rule (1). The strategy is a structural audit — classify what forces a 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 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 along every motion. But when has no explicit time dependence, the energy function 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 ,
Why the term is the first gatekeeper: the target force contains no acceleration, so we need identically — must be at most linear in velocity, .
Step 3. Run the linear ansatz through rule (1):
Why this kills the drag force: the velocity-dependent pieces cancel identically, so a velocity-linear produces a force with NO 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 , 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 , standing outside the Lagrangian: the equations of motion become . Two scalars, two jobs: for forces that respect the action principle, 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 .
Limiting cases
| Case | Result | Meaning |
|---|---|---|
| no velocity dependence | the ordinary conservative rule recovered; the term dies because | |
| pure electrostatics () | , | canonical momentum equals kinetic momentum; the landscape picture is exact |
| static uniform | , | helical orbits at the cyclotron frequency ; force steers, never works |
| rotating frame at | coupling appears in | structurally identical to : the Coriolis force is mechanics' own magnetic force |
| velocity-linear drag | no exists | outside the monogenic class; Rayleigh dissipation function required |
Worked examples
1 · A proton's two momenta (confidence builder)
A proton (, ) moves at perpendicular to a uniform field . 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, , giving the speed-independent angular frequency
equivalently — the dial setting of an early cyclotron's oscillator.
Step 2. Orbit radius, from :
a tabletop circle, traversed once every .
Step 3. Kinetic momentum: , tangent to the orbit.
Step 4. Field momentum. In the symmetric gauge with origin at the orbit center, on the orbit, so
— exactly half the kinetic momentum, and directed against it (check the geometry: for a positive charge circling in the sense the magnetic force enforces, is antiparallel to ).
Step 5. Canonical momentum: , tangent to the orbit with half the kinetic magnitude — the configuration drawn in the second figure. The moral is not the specific factor (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 .
2 · How deep does a proton punch into a magnetic wall? (exam level)
A proton travelling at in the direction crosses into a region of uniform field filling . 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 we get ✓, and nothing in the Lagrangian depends on : the coordinate is cyclic.
Step 2. Write the conserved canonical momentum, eq. (6), for the cyclic coordinate:
At entry (, ): . So everywhere inside, — the sideways kinetic momentum is enslaved to the penetration depth. (Note changes freely; stays exactly zero. That is the warning box, live.)
Step 3. Add the work-free property. The magnetic force never changes speed, so at all times. The turning point of penetration is where , hence there.
Step 4. Combine: at the turning point, , so
— which is precisely the Larmor radius, as it must be: the orbit inside the field is a circular arc of radius , entering perpendicular to the boundary.
Step 5. Time inside. From entry to maximum depth the velocity direction rotates by a quarter turn (from to for this charge sign), at the uniform rate :
Step 6. Audit. The two conservation laws (canonical , kinetic energy) replaced the entire differential-equation solve; the geometry check ( = 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
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 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.
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 in the EL equation; (2) the curl identification ; (3) that under a gauge transformation; (4) that with the term absent. Cyclotron frequency is standard. Worked-example numbers on this page (, , ; , ) 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 — is a force-generating function, not stored energy, and the electromagnetic case makes the distinction sharp. The energy function (9) works out to : only the scalar-potential part of appears, while the term cancels out of the energy ledger entirely. So a charge circling in a pure magnetic field has but gains and loses nothing. The safe mental model: plays two roles at once (force generator and energy store), and those roles come apart when velocity enters. keeps only the first job. If you want the energy, always compute 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 linear in velocity, , feeds the Euler–Lagrange operator and comes out as an antisymmetric velocity coupling — the pattern, always perpendicular to , hence work-free (gyroscopic). The obstruction derivation shows this is all a velocity-linear can ever produce: the symmetric, energy-draining pattern cancels out of the formalism identically. Friction's defining feature is 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 depends on your gauge choice, so it is not directly measurable; the gauge-invariant, detector-readable momentum is the kinetic . What IS physical is the conservation law: if the fields have a translation symmetry, then in a gauge adapted to that symmetry (where don't depend on ) the canonical 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 ", 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 . The classical bracket holds for the canonical momentum by construction, whatever the forces; so quantization promotes that object to . The kinetic momentum operator is then , whose components do not commute with each other in a magnetic field (their commutator is times components of ) — which is exactly why Landau levels exist. If you quantized 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 and , and 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 identically, yet arrive with a relative phase set by the enclosed flux — they responded to (more precisely, to its gauge-invariant loop integral ) where no field ever touched them. The modern resolution is precise: neither at a point (gauge-dependent) nor 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 , never directly to .
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 and the Lagrangian acquires the term — compare with the identification , i.e. an effective vector potential whose "magnetic field" is , uniform. The resulting force is the Coriolis force, velocity-perpendicular and work-free exactly like . 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 ( 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 quadratic in contributes 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 rather than — that is exactly what happens with the centrifugal term in a rotating frame. The clean classification: velocity-independent = conservative landscape; velocity-linear = 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 came from the symmetric gauge with origin at the orbit center; shift the gauge origin, or switch to the Landau gauge 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 (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 once and watching half of it evaporate under a gauge change, you will never again treat canonical momentum components as detector readings.