Hamiltonian as Total Energy

Every physics student eventually writes H=T+VH=T+V without thinking — and most of the time nature lets it slide. The Hamiltonian of a pendulum, a planet, an oscillator is the total mechanical energy, and the habit hardens into a definition. Then a bead on a motor-driven rotating wire comes along: its Hamiltonian is perfectly conserved while its mechanical energy grows without bound, the motor pouring in joules that HH serenely ignores. Or a charge in a magnetic field: the potential in its Lagrangian depends on velocity — which "should" break the energy identity — yet HH comes out exactly equal to the energy anyway. Clearly the rule is subtler than the habit. This article states the rule exactly. The Hamiltonian equals T+VT+V if and only if two structural conditions hold together: the kinetic energy is a homogeneous quadratic in the generalized velocities — which is the fingerprint of scleronomic, time-independent constraints — and the potential is velocity-independent. The engine of the proof is Euler's theorem on homogeneous functions, which sorts the kinetic energy into pieces T2+T1+T0T_2+T_1+T_0 and delivers the master identity H=T2−T0+VH=T_2-T_0+V: the energy identity survives exactly when the odd pieces vanish. Just as important is what the rule does not say. Whether HH equals the energy and whether HH is conserved are logically independent properties, with different hypotheses and independent failure modes — systems exist in all four combinations. Learning to check the two switches separately, in canonical variables, is the practical skill this article installs; it is the difference between using the Hamiltonian and being ambushed by it.

Key takeaways
  • The Hamiltonian H=∑ipiq˙i−LH=\sum_i p_i\dot q_i - L is the Legendre transform of the Lagrangian with respect to the generalized velocities, and it generates the canonical equations of motion.
  • HH equals the total mechanical energy E=T+VE=T+V if and only if two conditions both hold: the kinetic energy is a homogeneous quadratic form in the velocities, and the potential is velocity-independent.
  • The kinetic-energy condition is equivalent to scleronomic (time-independent) constraints, so that the coordinate transformation ra=ra(q)\mathbf r_a=\mathbf r_a(q) contains no explicit time dependence.
  • Even when H≠EH\neq E, the Hamiltonian may still be conserved; and even when H=EH=E, energy may fail to be conserved if HH depends explicitly on time.
  • Conservation of HH and the identity H=EH=E are logically independent statements — one concerns ∂H/∂t\partial H/\partial t, the other concerns the structure of TT and VV.
  • Key idea: H=T+VH=T+V iff the kinetic energy is a homogeneous quadratic in the velocities (scleronomic constraints) AND the potential is velocity-independent; conservation of HH is the separate condition ∂H/∂t=0\partial H/\partial t=0.

Where this lives today

The conserved-but-not-energy Hamiltonian is a daily working tool. Spacecraft navigators plot zero-velocity surfaces from the Jacobi constant — the three-body cousin of the bead's HH — to decide which lunar and interplanetary gateways are open at a given energy; the low-energy transfer trajectories threading them exist precisely because the rotating-frame HH is conserved while the lab-frame energy is not. The same T2−T0T_2-T_0 structure prices every centrifuge, spin-coater, and rotating machine: the effective potential −12mω2r2-\tfrac12 m\omega^2r^2 is the engineer's centrifugal energy budget, with the motor as counterparty. In quantum mechanics the identification students take for granted — "the Hamiltonian operator is the energy observable" — inherits exactly this article's fine print. For a particle in a static trap it is true for the classical reason; for driven systems (lasers on atoms, modulated lattices) H^(t)\hat H(t) is not conserved and "quasi-energy" takes over, the Floquet-theory echo of the ramped-trap quadrant; and in rotating frames — trapped ions, rotating BECs — the working operator is H^−ωL^z\hat H-\omega\hat L_z, the quantum Jacobi integral, complete with its centrifugal term.

The physical picture

Start with the free particle, where the identity is transparent. The combination pq˙p\dot q is a velocity-weighted momentum: pq˙=mq˙2=2Tp\dot q=m\dot q^2=2T — twice the kinetic energy. Subtract L=T−VL=T-V and the Hamiltonian is 2T−(T−V)=T+V2T-(T-V)=T+V. The entire theorem hides in that factor of two, and the factor of two is a homogeneity statement: it works because TT is quadratic in q˙\dot q, so differentiating and re-multiplying by q˙\dot q doubles it. Euler's theorem on homogeneous functions is exactly this bookkeeping done honestly for nn coordinates — and it immediately exposes when the doubling fails. When does TT pick up non-quadratic pieces? When a constraint moves on its own schedule. A wire spun by a motor, a pivot driven up and down, a frame that rotates — any transformation ra=ra(q,t)\mathbf r_a=\mathbf r_a(q,t) with explicit time dependence feeds terms into TT that are linear (T1T_1) or independent (T0T_0) of the generalized velocities. Those are the motor's fingerprints in the kinetic energy, and they are exactly what spoils H=T+VH=T+V: the Hamiltonian becomes T2−T0+VT_2-T_0+V, the energy as reckoned in the constraint's own co-moving frame, not the lab's. Hold two slogans, because they separate two frequently-confused time dependences. Time in the Lagrangian breaks conservation — that is ∂L/∂t≠0\partial L/\partial t\neq0, and it kills dH/dt=0\mathrm{d}H/\mathrm{d}t=0. Time in the constraints breaks the energy identity — that is ∂ra/∂t≠0\partial\mathbf r_a/\partial t\neq0, and it makes H≠T+VH\neq T+V. They are independent switches, and the four combinations all occur:

Figure
The two independent switches — conserved or not, energy or not, with a system in every quadrant
is H the energy? (structure of T and V) H = T + V H ≠ T + V conserved not conserved pendulum, planet, SHO scleronomic, V(q), no explicit t the textbook quadrant: H = E and dH/dt = 0 bead on rotating wire rheonomic: T₀ ≠ 0 H = T₂ − T₀ conserved (Jacobi) while the motor pumps E up particle in V(x, t) ramped trap, driven field H = T + V at every instant, but dH/dt = ∂V/∂t ≠ 0 wire with varying ω(t) rheonomic AND clocked H ≠ E and dH/dt ≠ 0: no free bookkeeping at all check the switches separately: structure of T and V decides the identity, explicit t decides conservation

Geometrically, none of this dethrones the Hamiltonian. HH is whatever function generates the canonical flow — that is its job description from The Hamiltonian Function. That it often coincides with the energy is a happy structural accident of scleronomic, velocity-independent systems. Phase portraits are drawn from level sets of HH, energy or not; the bead's conserved HH below organizes its runaway motion perfectly while the energy meter spins.

The anatomy of T, and the master identity

To see exactly what HH is made of, sort the kinetic energy by powers of the generalized velocities. For particles at positions ra(q,t)\mathbf r_a(q,t), the chain rule gives r˙a=∑i(∂ra/∂qi)q˙i+∂ra/∂t\dot{\mathbf r}_a=\sum_i(\partial\mathbf r_a/\partial q_i)\dot q_i+\partial\mathbf r_a/\partial t, and squaring produces exactly three species of term:

T=T2+T1+T0,T2=12∑ijMij(q,t) q˙iq˙j,T1=∑ibi(q,t) q˙i,T0=c(q,t)(1)T=T_2+T_1+T_0,\qquad T_2=\tfrac12\sum_{ij}M_{ij}(q,t)\,\dot q_i\dot q_j,\quad T_1=\sum_i b_i(q,t)\,\dot q_i,\quad T_0=c(q,t) \qquad (1)

where: T2T_2 — the familiar quadratic form with mass matrix MijM_{ij}; T1T_1 — linear in velocities, sourced by cross terms between q˙\dot q and the constraint's own velocity ∂ra/∂t\partial\mathbf r_a/\partial t; T0T_0 — velocity-independent, the kinetic energy the constraint imposes even on a bead frozen in its generalized coordinates. Scleronomic constraints (∂ra/∂t=0\partial\mathbf r_a/\partial t=0) force bi=c=0b_i=c=0: the fingerprint terms exist only when the scaffolding moves. The same anatomy, viewed from the Lagrangian side as the energy function h(q,q˙,t)h(q,\dot q,t), is developed in The Energy Function and Jacobi Integral; here we watch it land on phase space. The tool that converts this sorting into a statement about HH is Euler's homogeneous-function theorem: if ff is homogeneous of degree kk in the variables xix_i, then ∑ixi ∂f/∂xi=kf\sum_i x_i\,\partial f/\partial x_i=k f. Applied degree by degree to (1):

∑iq˙i ∂T∂q˙i=2T2+T1(2)\sum_i \dot q_i\,\frac{\partial T}{\partial\dot q_i}=2T_2+T_1 \qquad (2)

where: each piece is simply multiplied by its degree — 2, 1, and 0 — so T0T_0 drops out entirely. The free particle's factor of two was equation (2) with only T2T_2 present.

Derivation AThe master identity H equals T2 minus T0 plus V and the iff conditions

We are computing what the Legendre transform actually returns for the most general natural Lagrangian L=T−V(q,t)L=T-V(q,t) with TT as in (1), and extracting the exact conditions for H=T+VH=T+V. The strategy: evaluate ∑pq˙\sum p\dot q with Euler's theorem, subtract LL, and compare against T+VT+V piece by piece. Watch which ingredients enter where — the potential's velocity-independence is used at one specific step, and if VV depends on q˙\dot q the accounting changes there and only there.

Step 1. Momenta first: pi=∂L/∂q˙i=∂T/∂q˙ip_i=\partial L/\partial\dot q_i=\partial T/\partial\dot q_i, using velocity-independence of VV. Then by Euler's theorem (2):

∑ipiq˙i=∑iq˙i∂T∂q˙i=2T2+T1\sum_i p_i\dot q_i=\sum_i\dot q_i\frac{\partial T}{\partial\dot q_i}=2T_2+T_1

Why V must not carry velocities: otherwise pip_i acquires −∂V/∂q˙i-\partial V/\partial\dot q_i and the left side picks up extra terms — the electromagnetic case below shows exactly this happening, with a conspiratorial cancellation.

Step 2. Subtract the Lagrangian L=T2+T1+T0−VL=T_2+T_1+T_0-V:

H=∑ipiq˙i−L=(2T2+T1)−(T2+T1+T0−V)H=\sum_i p_i\dot q_i-L=(2T_2+T_1)-(T_2+T_1+T_0-V)

Step 3. Collect — the T1T_1 cancels identically, the T0T_0 flips sign:

H=T2−T0+VH=T_2-T_0+V

Why the linear piece vanishes from H entirely: degree-1 terms are their own Euler-weighted derivative, so the transform is blind to them — they reshape the momenta but not the Hamiltonian's value. The degree-0 piece, untouched by the derivative, survives with the minus sign of the subtracted L: it behaves like an added potential — the centrifugal potential of the rotating-frame articles.

Step 4. Read off the theorem. The energy is E=T+V=T2+T1+T0+VE=T+V=T_2+T_1+T_0+V, so H−E=−T1−2T0H-E=-T_1-2T_0. Since T1T_1 and T0T_0 are independent structures, H=EH=E for all states iff both vanish — iff the constraints are scleronomic — and Step 1 already required VV velocity-independent. Both conditions, jointly necessary and sufficient, exactly as advertised. Verified: matches Goldstein §2.7 and §8.2 and Landau–Lifshitz §6–7; scleronomic limit collapses to H=T+VH=T+V; recomputed for the rotating bead below, where T1=0T_1=0, T0=12mω2r2T_0=\tfrac12 m\omega^2r^2 gives H−E=−2T0H-E=-2T_0 as the derivation predicts.

Conservation is the other switch, settled by a different derivative. From the evolution identity of The Hamiltonian Function:

dHdt=∂H∂t=−∂L∂t(3)\frac{\mathrm{d}H}{\mathrm{d}t}=\frac{\partial H}{\partial t}=-\frac{\partial L}{\partial t} \qquad (3)

where: the verdict depends only on whether the final assembled Lagrangian carries an explicit clock — not on how the constraints entered. A rotating wire at constant ω\omega produces a rheonomic TT whose pieces conspire into a time-independent L(r,r˙)L(r,\dot r): identity broken, conservation intact. Ramp ω(t)\omega(t) and the clock enters explicitly: both broken. The quadrant chart is just equation (3) crossed with the master identity.

Which switch, which check

questioncheckverdict source
is H=T+VH=T+V?any T1T_1 or T0T_0 in the kinetic energy? any q˙\dot q in VV?master identity, Derivation A
is HH conserved?explicit tt in the assembled LL (equivalently HH)?equation (3)
what is conserved when H≠EH\neq E?H=T2−T0+VH=T_2-T_0+V, the Jacobi integralrotating-frame energy bookkeeping
who pays the difference?the constraint's driver (motor, ramp)power =dE/dt=\mathrm{d}E/\mathrm{d}t with HH fixed

The classic counterexample: bead on a rotating wire

One system carries the whole lesson. A frictionless bead slides on a straight horizontal wire forced by a motor to rotate at constant angular velocity ω\omega about a vertical axis through one end. The bead's angle is enslaved to the clock, ϕ=ωt\phi=\omega t; the single generalized coordinate is the distance rr along the wire.

Figure
The driven bead and its phase portrait — hyperbolic level sets of a conserved H that is not the energy
ω = const (motor) bead slides along r wire, spun in the horizontal plane r pᵣ H = 0 separatrix pᵣ = ± mωr H > 0 H < 0 left: the system · right: level sets of H = pᵣ²/2m − ½mω²r² every curve is a trajectory; none of them is an energy contour
Go deeper · Derivation B · 1 minBead on a uniformly rotating wire — conserved H that is not the energy
Derivation BBead on a uniformly rotating wire — conserved H that is not the energy

The goal is the Hamiltonian of the driven bead in canonical variables, the demonstration that it is conserved, and the identification of what it physically is — the standard counterexample every mechanics student should be able to reproduce cold. The strategy: build LL with the constraint already substituted, transform, then apply both switches. Watch the sign of the r2r^2 term flip as it moves from LL to HH — that flip is Step 3 of the master derivation happening live.

Step 1. Kinematics with ϕ=ωt\phi=\omega t: the bead's speed obeys v2=r˙2+r2ω2v^2=\dot r^2+r^2\omega^2, so with V=0V=0 on the horizontal wire,

L=T=12mr˙2+12mω2r2L=T=\tfrac12 m\dot r^2+\tfrac12 m\omega^2 r^2

Sort it: T2=12mr˙2T_2=\tfrac12 m\dot r^2, T1=0T_1=0, T0=12mω2r2T_0=\tfrac12 m\omega^2r^2 — rheonomic fingerprint present.

Step 2. Momentum and transform: pr=∂L/∂r˙=mr˙p_r=\partial L/\partial\dot r=m\dot r (the T0T_0 term, velocity-free, contributes nothing), so r˙=pr/m\dot r=p_r/m and

H=prr˙−L=pr22m−12mω2r2H=p_r\dot r-L=\frac{p_r^2}{2m}-\tfrac12 m\omega^2 r^2

Why the minus sign: exactly the master identity H=T2−T0H=T_2-T_0 — the transform flips the velocity-free kinetic piece. The result looks like a particle in an inverted parabola: the centrifugal potential −12mω2r2-\tfrac12 m\omega^2r^2, here generated by pure bookkeeping rather than by decree (compare the rotating-frame construction in the centrifugal-force article).

Step 3. Apply the switches. Conservation: no explicit tt anywhere in HH, so by (3) dH/dt=0\mathrm{d}H/\mathrm{d}t=0 — conserved. Identity: the energy is E=T=T2+T0=pr22m+12mω2r2E=T=T_2+T_0=\frac{p_r^2}{2m}+\tfrac12 m\omega^2r^2, so

H−E=−2T0=−mω2r2≠0H-E=-2T_0=-m\omega^2r^2\neq0

Conserved, and definitely not the energy: the upper-right quadrant of the chart.

Step 4. Interpret both books. The canonical equations for this HH give p˙r=+mω2r\dot p_r=+m\omega^2 r — centrifugal runaway, rr grows roughly exponentially — so EE grows too, every joule wired in by the motor that holds ω\omega fixed against the bead's increasing moment of inertia. HH, blind to the motor by construction, is the co-rotating energy: kinetic energy of sliding minus the centrifugal well. It is the one-degree-of-freedom Jacobi integral, the same bookkeeping that gives mission designers their Jacobi constant in the three-body problem. Verified: r¨=ω2r\ddot r=\omega^2r from the canonical equations matches the Euler–Lagrange result; HH recomputed constant along r(t)=r0cosh⁡ωtr(t)=r_0\cosh\omega t solutions; agrees with Goldstein §2.7 worked discussion and the Jacobi-integral article of this track.

The consoling surprise: the magnetic case

Velocity-dependent potential — so the energy identity should fail. It does not, and the reason it does not is worth owning.

Go deeper · Derivation C · 2 minCharge in an electromagnetic field — H equals the energy despite the velocity-dependent potential
Derivation CCharge in an electromagnetic field — H equals the energy despite the velocity-dependent potential

We are testing the master theorem's second hypothesis on the one important system that violates it: U=qϕ−qr˙⋅AU=q\phi-q\dot{\mathbf r}\cdot\mathbf A, linear in velocity. The goal is to see precisely how the accounting changes and why the final Hamiltonian is nonetheless the true mechanical energy. The strategy: rerun the Euler-weighted sum, letting the potential contribute to the momenta as it must. The moral to watch for: linear velocity dependence is special — it shifts momenta without shifting the Hamiltonian's value, exactly as the T1T_1 term did.

Step 1. Lagrangian L=12mr˙2+qr˙⋅A−qϕL=\tfrac12 m\dot{\mathbf r}^2+q\dot{\mathbf r}\cdot\mathbf A-q\phi; canonical momentum p=mr˙+qA\mathbf p=m\dot{\mathbf r}+q\mathbf A (from Generalized Momenta). The velocity-weighted sum:

p⋅r˙=mr˙2+qr˙⋅A=2T+qr˙⋅A\mathbf p\cdot\dot{\mathbf r}=m\dot{\mathbf r}^2+q\dot{\mathbf r}\cdot\mathbf A=2T+q\dot{\mathbf r}\cdot\mathbf A

Why this deviates from (2): the potential's linear term donated qAq\mathbf A to the momentum, so the weighted sum picks up its Euler degree-1 copy — one power, one copy.

Step 2. Subtract the Lagrangian:

H=p⋅r˙−L=(2T+qr˙⋅A)−(T+qr˙⋅A−qϕ)=T+qϕH=\mathbf p\cdot\dot{\mathbf r}-L=\big(2T+q\dot{\mathbf r}\cdot\mathbf A\big)-\big(T+q\dot{\mathbf r}\cdot\mathbf A-q\phi\big)=T+q\phi

Why the vector potential vanished: its contribution entered once through the momentum and once through LL, with equal weight because it is degree 1 in velocity — a perfect cancellation. Only the degree-0 part of the potential, qϕq\phi, survives into the value of HH.

Step 3. Identify the result. T+qϕT+q\phi is the kinetic energy plus the electric potential energy — the total mechanical energy of the charge, since the magnetic force, always perpendicular to r˙\dot{\mathbf r}, stores no energy. In canonical variables this same value reads H=(p−qA)2/2m+qϕH=(\mathbf p-q\mathbf A)^2/2m+q\phi, as derived in The Hamiltonian Function. For static fields nothing depends on tt: conserved and equal to the energy — upper-left quadrant, despite flunking the theorem's hypotheses.

Step 4. Reconcile with the master theorem. The theorem's conditions are sufficient machinery for H=EH=E; they fail here, but the failure is of the uniquely benign kind: a potential exactly linear in velocity acts like a T1T_1 term — reshaping momenta, invisible in the Hamiltonian's value. Any quadratic velocity dependence in UU would have broken the identity for real. Verified: matches Goldstein §8.1 and the provenance checks of the EM articles; A→0\mathbf A\to0 recovers the plain T+qϕ→T+VT+q\phi\to T+V case; speed (hence TT) is constant in a pure magnetic field, consistent with conserved H=TH=T when ϕ=0\phi=0.

Limiting cases

CaseResultMeaning
scleronomic + V(q)V(q)H=T+VH=T+Vthe textbook identity, both hypotheses honoured
scleronomic + V(q,t)V(q,t)H=T+VH=T+V but dH/dt≠0\mathrm{d}H/\mathrm{d}t\neq0identity without conservation
rheonomic, constant driveH=T2−T0+VH=T_2-T_0+V conservedJacobi integral; motor pays the difference 2T0+T12T_0+T_1
rheonomic, clocked driveH≠EH\neq E, not conservedno free bookkeeping; integrate the power
potential linear in q˙\dot q (EM)H=T+qϕ=EH=T+q\phi=Ebenign violation: degree-1 terms cancel out of HH
ω→0\omega\to0 (bead)T0→0T_0\to0, H→EH\to Erheonomic corrections switch off smoothly

Worked examples

1 · Euler's factor of two, live on a pendulum (confidence builder)

A pendulum bob (m=0.40 kgm=0.40\ \mathrm{kg}, rod l=0.50 ml=0.50\ \mathrm{m}) passes θ=30°\theta=30° with θ˙=3.0 rad/s\dot\theta=3.0\ \mathrm{rad/s}. Verify numerically that pθθ˙=2Tp_\theta\dot\theta=2T, and that HH computed from the definition equals T+VT+V.

Step 1. The pendulum is scleronomic with V(θ)=−mglcos⁡θV(\theta)=-mgl\cos\theta — both hypotheses hold, so the theorem predicts H=T+VH=T+V before we compute anything.

Step 2. Kinetic energy and momentum: T=12ml2θ˙2=12×0.40×0.25×9.0=0.450 JT=\tfrac12 ml^2\dot\theta^2=\tfrac12\times0.40\times0.25\times9.0=0.450\ \mathrm{J}; pθ=ml2θ˙=0.40×0.25×3.0=0.300 kg m2/sp_\theta=ml^2\dot\theta=0.40\times0.25\times3.0=0.300\ \mathrm{kg\,m^2/s}.

Step 3. Euler's theorem in numbers: pθθ˙=0.300×3.0=0.900 J=2×0.450 J=2Tp_\theta\dot\theta=0.300\times3.0=0.900\ \mathrm{J}=2\times0.450\ \mathrm{J}=2T ✓ — the factor of two that carries the whole identity, delivered by the quadratic structure of TT.

Step 4. The Hamiltonian from the definition: V=−0.40×9.81×0.50×cos⁡30°=−1.962×0.866=−1.699 JV=-0.40\times9.81\times0.50\times\cos30°=-1.962\times0.866=-1.699\ \mathrm{J}, so L=T−V=0.450+1.699=2.149 JL=T-V=0.450+1.699=2.149\ \mathrm{J} and H=pθθ˙−L=0.900−2.149=−1.249 JH=p_\theta\dot\theta-L=0.900-2.149=-1.249\ \mathrm{J}. Compare: T+V=0.450−1.699=−1.249 JT+V=0.450-1.699=\boxed{-1.249\ \mathrm{J}} ✓. Identity confirmed to the joule — and since nothing carries an explicit tt, this −1.249 J-1.249\ \mathrm{J} is conserved for the whole swing.

2 · Riding the separatrix of the rotating wire (exam level)

A bead of mass m=0.30 kgm=0.30\ \mathrm{kg} slides on a horizontal wire rotating at constant ω=6.0 rad/s\omega=6.0\ \mathrm{rad/s}. At r0=0.20 mr_0=0.20\ \mathrm{m} it is launched inward along the wire at r˙0=1.2 m/s\dot r_0=1.2\ \mathrm{m/s}. (a) Compute HH and EE at launch. (b) Show the bead rides a separatrix and find r(t)r(t). (c) How much energy has the motor absorbed by the time the bead reaches r=0.10 mr=0.10\ \mathrm{m}?

Step 1. Both bookkeepings at launch. T2=12mr˙02=12×0.30×1.44=0.216 JT_2=\tfrac12 m\dot r_0^2=\tfrac12\times0.30\times1.44=0.216\ \mathrm{J}; T0=12mω2r02=12×0.30×36×0.040=0.216 JT_0=\tfrac12 m\omega^2r_0^2=\tfrac12\times0.30\times36\times0.040=0.216\ \mathrm{J}. Hamiltonian: H=T2−T0=0H=T_2-T_0=\boxed{0}. Energy: E=T2+T0=0.432 JE=T_2+T_0=0.432\ \mathrm{J}. The launch speed was chosen exactly at ∣r˙0∣=ωr0=1.2 m/s|\dot r_0|=\omega r_0=1.2\ \mathrm{m/s} — the H=0H=0 level set.

Step 2. Read the phase portrait of H=pr22m−12mω2r2H=\frac{p_r^2}{2m}-\tfrac12 m\omega^2r^2. Level sets are hyperbolas; H=0H=0 is the degenerate pair of straight lines pr=±mωrp_r=\pm m\omega r — the separatrix through the unstable equilibrium at the axis. Moving inward on it: r˙=−ωr\dot r=-\omega r, hence

r(t)=r0 e−ωtr(t)=r_0\,e^{-\omega t}

The bead creeps toward the axis forever, never arriving — the signature slow approach to a saddle point. A launch a hair faster crosses to the other branch and shoots back out; a hair slower and it turns around before the axis: the separatrix is the knife-edge between the two behaviours, all organized by the conserved, non-energy HH.

Step 3. Energy audit at r=0.10 mr=0.10\ \mathrm{m}. On the separatrix T2=T0T_2=T_0 always (that is what H=0H=0 means), so E=2T0=mω2r2=0.30×36×0.010=0.108 JE=2T_0=m\omega^2r^2=0.30\times36\times0.010=0.108\ \mathrm{J}.

Step 4. The motor's take: ΔE=0.432−0.108=0.324 J\Delta E=0.432-0.108=\boxed{0.324\ \mathrm{J}} absorbed by the motor — the inward-spiralling bead tries to spin the wire faster (angular momentum conservation instinct), and the motor brakes it, harvesting energy. HH sat at zero throughout while EE fell by 75%: the two books, side by side, in one number each. Check the direction of energy flow against intuition: outward runaway forces the motor to pay; inward drift lets it collect — sign consistent with E=2T0∝r2E=2T_0\propto r^2.

Origins · 1 minLeonhard Euler and how this was discovered
LE
Leonhard Euler
1707–1783 · St. Petersburg & Berlin academies

Euler owns the quiet engine of this article twice over. His theorem on homogeneous functions — differentiate, weight by the variable, recover the degree — is the two-line lemma that sorts kinetic energy and decides when the Hamiltonian is the energy, a century before Hamilton defined one. And his mechanics built the stage: generalized treatments of constrained motion, rotating frames, and the rigid body, all of which manufacture exactly the T1T_1 and T0T_0 terms this article tracks. Euler produced roughly half of everything written in eighteenth-century mathematics while raising thirteen children and going progressively blind; asked how he would manage after losing his second eye, he reportedly answered that he would have fewer distractions. The homogeneous-function theorem occupies one paragraph of that output — and every mechanics student since has used it, mostly without knowing whose it was.

History
1755
— Euler's differential calculus systematizes homogeneous functions and the weighted-derivative theorem
1788
— Lagrange's Mécanique analytique handles moving constraints, the birthplace of rheonomic kinetic terms
1834
— Hamilton defines H; the question "when is it the energy?" becomes askable
1836
— Coriolis publishes the rotating-frame energy bookkeeping — the physics of the T0 term
1842
— Jacobi's integral names the conserved non-energy quantity of uniformly driven systems
1892
— Poincaré makes the Jacobi constant the organizing invariant of the restricted three-body problem

Going further

References. Goldstein, Poole & Safko, Classical Mechanics, 3rd ed., §2.7 and §8.2 · Landau & Lifshitz, Mechanics, 3rd ed., §6–7 and §40 · Morin, Introduction to Classical Mechanics, Ch. 15 · Taylor, Classical Mechanics, Ch. 13

Provenance. Euler's theorem application and H=T2−T0+VH=T_2-T_0+V follow Goldstein §2.7/§8.2 and Landau–Lifshitz §6–7. A verifier should recompute: (1) the homogeneity identity ∑q˙i∂T/∂q˙i=2T2+T1\sum\dot q_i\partial T/\partial\dot q_i=2T_2+T_1; (2) the cancellation giving h=T2−T0+Vh=T_2-T_0+V; (3) the rotating-bead Hamiltonian H=pr2/2m−12mω2r2H=p_r^2/2m-\tfrac12 m\omega^2 r^2 and its conservation; (4) the Lorentz Hamiltonian H=(p−qA)2/2m+qϕH=(\mathbf p-q\mathbf A)^2/2m+q\phi; (5) the Jacobi identity dh/dt=−∂L/∂t\mathrm{d}h/\mathrm{d}t=-\partial L/\partial t. No empirical constants are quoted. Cross-check Morin Ch. 15 and Taylor Ch. 13. Worked-example numbers on this page (pendulum pθθ˙=0.900 J=2Tp_\theta\dot\theta=0.900\ \mathrm{J}=2T, H=T+V=−1.249 JH=T+V=-1.249\ \mathrm{J}; bead H=0H=0, EE falling 0.432→0.108 J0.432\to0.108\ \mathrm{J}, motor take 0.324 J0.324\ \mathrm{J}) are illustrative arithmetic recomputed from the boxed formulas.

Builds on: The Hamiltonian Function · Legendre Transformation · Generalized Momenta Leads to: Hamilton's Canonical Equations · Equivalence of Lagrangian and Hamiltonian Formulations · Phase Space · Harmonic Oscillator in Phase Space

Which time dependence breaks which property — I keep confusing the two?

Anchor the slogan to the two derivatives. Conservation is governed by ∂L/∂t\partial L/\partial t evaluated on the final, assembled Lagrangian: explicit clock present ⇒ HH drifts, by equation (3). The energy identity is governed by ∂ra/∂t\partial\mathbf r_a/\partial t inside the coordinate transformation — moving scaffolding manufactures T1T_1 and T0T_0, and the master identity then forces H≠T+VH\neq T+V regardless of clocks. The bead shows they decouple: ϕ=ωt\phi=\omega t has time in the constraint, yet the assembled L(r,r˙)L(r,\dot r) is clockless — identity broken, conservation intact. A ramped trap is the mirror image. When in doubt, compute both derivatives; never infer one switch from the other.

What physically is the conserved H of the bead, if not the energy?

It is the energy as reckoned in the frame co-rotating with the wire — kinetic energy of motion along the wire, plus the centrifugal potential energy −12mω2r2-\tfrac12 m\omega^2r^2 that the rotating frame charges for position. In that frame the wire is motionless scaffolding, the constraint is scleronomic, and the co-rotating "energy" is legitimately conserved; the price is the centrifugal potential, imported by the frame exactly as in the centrifugal-force article. The lab and the rotating frame simply keep different books, and the transform automatically hands you the rotating one whenever the constraint co-rotates. In celestial mechanics the identical object, one frame up, is the Jacobi constant of the restricted three-body problem.

Where does the motor's energy show up in the formalism, if H never sees it?

In the gap between the two books: E−H=T1+2T0E-H=T_1+2T_0, which for the bead is mω2r2m\omega^2 r^2. Differentiate the energy along the motion and you get the motor's instantaneous power, P=dE/dt=2mω2rr˙P=\mathrm{d}E/\mathrm{d}t=2m\omega^2 r\dot r — positive when the bead runs outward (motor pays to keep ω\omega fixed), negative when it drifts inward (motor brakes and harvests, as in Worked Example 2). The formalism has not lost energy conservation; it has delegated it. Enlarge the system to include the motor and flywheel and the total is conserved again — the reduced description traded that global ledger for the smaller conserved HH.

Is the relativistic Hamiltonian the energy, given that it is not T plus V?

Yes — total energy, with the rest energy included. The relativistic Lagrangian −mc2/γ-mc^2/\gamma is not of the T−VT-V form, so the master theorem simply does not apply; running the definition directly gives H=γmc2=p2c2+m2c4H=\gamma mc^2=\sqrt{p^2c^2+m^2c^4}, which is the full relativistic energy, conserved for the free particle. The lesson generalizes: "H=T+VH=T+V" is a theorem about a specific Lagrangian structure, but "HH = total energy" can hold more broadly — what counts as the energy is itself dictated by the dynamics. When a time-translation symmetry exists, its Noether charge is the honest definition of energy, and that charge is exactly HH.

Can T1 terms appear without rotation — what do they look like in practice?

Any constraint velocity that projects onto the generalized velocities makes T1T_1. A pivot driven horizontally as x0(t)x_0(t) under a pendulum gives T=12m(x˙02+2x˙0lθ˙cos⁡θ+l2θ˙2)T=\tfrac12 m(\dot x_0^2+2\dot x_0 l\dot\theta\cos\theta+l^2\dot\theta^2): the cross term is T1T_1, the x˙02\dot x_0^2 term is T0T_0. A uniformly rotating wire happens to produce pure T0T_0 (the constraint velocity is perpendicular to the along-wire velocity), which is why the bead's momenta stayed simple. The practical consequence of T1T_1: the momentum acquires a velocity-independent offset p=Mq˙+bp=M\dot q+b, so inverting the momentum map and completing the square in HH takes one more line — but the master identity H=T2−T0+VH=T_2-T_0+V holds regardless, since T1T_1 cancels from the value.

Do the phase portraits drawn from a non-energy H mean anything physically?

Everything they usually mean, minus the energy label on the contours. Level sets of any conserved HH are the trajectories (in one degree of freedom), equilibria sit where both slopes vanish, and separatrices flag the unstable ones — Worked Example 2's knife-edge at pr=±mωrp_r=\pm m\omega r is a textbook saddle structure, organizing real bead behaviour into runaway, return, and asymptotic-creep families. What you may not do is read a contour's value as joules-in-the-lab: the bead's EE changes along every one of those curves. The portrait is the co-rotating frame's honest energy landscape; translate before quoting lab numbers.

How does this discussion relate to the energy function h of the Lagrangian chapter?

They are one quantity in two coordinate systems. The energy function h(q,q˙,t)=∑q˙i ∂L/∂q˙i−Lh(q,\dot q,t)=\sum\dot q_i\,\partial L/\partial\dot q_i-L is assembled before trading velocities for momenta; the Hamiltonian is hh pushed through the Legendre dictionary to (q,p,t)(q,p,t). Every statement here — the T2−T0+VT_2-T_0+V identity, the two switches, the bead — has a verbatim Lagrangian-side twin, developed with its own worked examples in The Energy Function and Jacobi Integral. The division of labour: hh answers conservation questions without leaving the Lagrangian workflow; HH carries the same answers into phase space, where the canonical machinery (and quantum mechanics) can use them.

Before this

Where this leads