Skip to content

Constants of Motion

A constant of motion is a quantity preserved by a specified time evolution. The basic test is dynamical: compare the observable with the Hamiltonian that generates the motion, including any explicit time dependence of the observable itself.

For an observable A(t)A(t) in the Schrödinger picture,

ddt⟨A(t)⟩=iℏ⟨[H(t),A(t)]⟩+⟨∂A(t)∂t⟩.\frac{d}{dt}\langle A(t)\rangle = \frac{i}{\hbar}\langle[H(t),A(t)]\rangle + \left\langle \frac{\partial A(t)}{\partial t} \right\rangle.

Thus an operator identity

∂A(t)∂t+iℏ[H(t),A(t)]=0\frac{\partial A(t)}{\partial t} + \frac{i}{\hbar}[H(t),A(t)] =0

implies that ⟨A(t)⟩\langle A(t)\rangle is conserved for every state evolving under H(t)H(t). When AA has no explicit time dependence, this reduces to the familiar condition [H,A]=0[H,A]=0 for a time-independent Hamiltonian, or [H(t),A]=0[H(t),A]=0 for all relevant times in a driven problem.

This page focuses on the time-evolution meaning of conservation. The Core Formalism page Conservation Laws gives the direct derivation, and the symmetry-volume page Constants of Motion gives practical symmetry diagnostics.

The weakest useful statement is that one expectation value is constant along one solution:

ddt⟨ψ(t)∣A(t)∣ψ(t)⟩=0.\frac{d}{dt} \langle\psi(t)\rvert A(t)\lvert\psi(t)\rangle =0.

This can happen for special states even when AA is not a conserved observable. For example, ⟨X⟩\langle X\rangle may be momentarily stationary in a particular wave packet even though position is not a constant of motion for a free particle.

A stronger statement is conservation for every state evolving under the same Hamiltonian. That requires the operator combination

DtA≡∂A∂t+iℏ[H,A]D_t A \equiv \frac{\partial A}{\partial t} + \frac{i}{\hbar}[H,A]

to vanish as an operator, at least on the domain of states being considered. Then no special property of the initial state is being used.

Suppose HH is time independent and AA has no explicit time dependence. If

[H,A]=0,[H,A]=0,

then AA is conserved in the Heisenberg sense:

AH(t)=U†(t,t0)A U(t,t0)=A.A_H(t) = U^\dagger(t,t_0)A\,U(t,t_0) =A.

Equivalently, AA commutes with the evolution operator

U(t,t0)=e−iH(t−t0)/ℏ.U(t,t_0)=e^{-iH(t-t_0)/\hbar}.

For a discrete spectral decomposition

A=∑aaPa,A=\sum_a aP_a,

the projectors PaP_a are preserved:

U†(t,t0)PaU(t,t0)=Pa.U^\dagger(t,t_0)P_aU(t,t_0)=P_a.

Therefore the full measurement distribution of AA is conserved:

Pr⁡t(a)=⟨ψ(t)∣Pa∣ψ(t)⟩=Pr⁡t0(a).\Pr_t(a) = \langle\psi(t)\rvert P_a\lvert\psi(t)\rangle = \Pr_{t_0}(a).

This is stronger than saying that the mean value is constant. A conserved observable need not have a sharp value; a superposition of AA eigenstates can keep the same probabilities for all AA outcomes while still evolving by phases or by dynamics inside degenerate subspaces.

Commuting with HH is not the whole story when the observable itself depends on time. The explicit derivative can cancel the commutator term.

For a free particle,

H=P22m.H=\frac{P^2}{2m}.

Momentum is conserved because [H,P]=0[H,P]=0. Position is not conserved:

iℏ[H,X]=Pm.\frac{i}{\hbar}[H,X] = \frac{P}{m}.

But the explicitly time-dependent operator

A(t)=X−tmPA(t)=X-\frac{t}{m}P

is conserved, because

∂A∂t=−Pm,iℏ[H,A]=Pm.\frac{\partial A}{\partial t} = -\frac{P}{m}, \qquad \frac{i}{\hbar}[H,A] = \frac{P}{m}.

The two terms cancel. This example is conceptually important: a constant of motion is a constant along the dynamics, not necessarily a time-independent formula written in the Schrödinger picture.

If the Hamiltonian depends explicitly on time, the same expectation-value formula applies:

ddt⟨A(t)⟩=iℏ⟨[H(t),A(t)]⟩+⟨∂A(t)∂t⟩.\frac{d}{dt}\langle A(t)\rangle = \frac{i}{\hbar}\langle[H(t),A(t)]\rangle + \left\langle \frac{\partial A(t)}{\partial t} \right\rangle.

For a time-independent observable AA, conservation for all states follows if

[H(t),A]=0[H(t),A]=0

for every time in the interval. It is not enough to check the commutator at one instant.

Energy illustrates the difference between a Hamiltonian as generator and a Hamiltonian as conserved quantity. Taking A=H(t)A=H(t) gives

ddt⟨H(t)⟩=⟨∂H(t)∂t⟩,\frac{d}{dt}\langle H(t)\rangle = \left\langle \frac{\partial H(t)}{\partial t} \right\rangle,

because [H(t),H(t)]=0[H(t),H(t)]=0 at equal times. A driven closed system can evolve unitarily while its system energy changes because the external drive is represented by the time dependence of H(t)H(t).

Continuous symmetries are the most common source of constants of motion. If

U(α)=e−iαG/ℏU(\alpha)=e^{-i\alpha G/\hbar}

is a unitary symmetry of a time-independent Hamiltonian, then

U(α)HU†(α)=H.U(\alpha)HU^\dagger(\alpha)=H.

For a continuous symmetry generated by GG, differentiating at α=0\alpha=0 gives

[G,H]=0.[G,H]=0.

If GG has no explicit time dependence, then GG is conserved. Translation symmetry gives momentum conservation, rotational symmetry gives angular-momentum conservation, and time-translation symmetry gives energy conservation.

This page uses the dynamical consequence. The symmetry-volume treatment of the generator logic and Noether pattern begins with Commutators and Conservation Laws and Quantum Noether Principle.

If [H,A]=0[H,A]=0, then HH preserves the eigenspaces of AA. In a nondegenerate eigenspace this is very restrictive: an AA eigenstate remains in the same one-dimensional subspace up to a phase. In a degenerate eigenspace, the state may still evolve nontrivially inside that subspace while the value of AA remains fixed.

This is why conserved quantities become state labels only after one chooses a mutually commuting family. If

[H,A]=0,[H,B]=0,[H,A]=0, \qquad [H,B]=0,

it does not follow that [A,B]=0[A,B]=0. Conserved observables may fail to be simultaneously measurable.

For rotationally invariant systems,

[H,Lx]=[H,Ly]=[H,Lz]=0,[H,L_x]=[H,L_y]=[H,L_z]=0,

but

[Lx,Ly]=iℏLz.[L_x,L_y]=i\hbar L_z.

One usually labels states by a compatible set such as HH, L2L^2, and one component LzL_z, not by all three components of L\mathbf L. The broader state-labeling language is developed in Simultaneous Eigenstates and Good Quantum Numbers.

For a time-independent Hamiltonian, energy is conserved because [H,H]=0[H,H]=0. In a time-dependent Hamiltonian, ⟨H(t)⟩\langle H(t)\rangle changes according to ⟨∂H/∂t⟩\langle\partial H/\partial t\rangle.

For a free particle,

H=P22m,H=\frac{\mathbf P^2}{2m},

each component of momentum is conserved:

[H,Pi]=0.[H,P_i]=0.

For a particle in a potential V(X)V(\mathbf X), momentum in direction ii is conserved when the potential is invariant under translations in that direction. The commutator form is

ddt⟨Pi⟩=−⟨∂V∂Xi⟩.\frac{d}{dt}\langle P_i\rangle = -\left\langle \frac{\partial V}{\partial X_i} \right\rangle.

For a central potential,

H=P22m+V(R),H=\frac{\mathbf P^2}{2m}+V(R),

angular momentum is conserved. A compatible stationary-state labeling set is built from HH, L2L^2, and LzL_z.

For a spin in a static magnetic field along zz,

H=−γBSz.H=-\gamma B S_z.

The operators SzS_z and S2S^2 are conserved, while SxS_x and SyS_y precess. Conservation of one component does not mean all components are fixed.

  • Checking ⟨[H,A]⟩=0\langle[H,A]\rangle=0 in one state and concluding that AA is conserved as an observable.
  • Forgetting the explicit ∂A/∂t\partial A/\partial t term.
  • Saying that unitary evolution always conserves energy, even when H(t)H(t) is explicitly time dependent.
  • Assuming a conserved observable must have a sharp value in the state.
  • Assuming separately conserved observables commute with one another.
  • Labeling degenerate states without checking whether the proposed labels form a mutually commuting set.
  • Ignoring domain and boundary-condition subtleties for unbounded operators.
  • P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • L. E. Ballentine, Quantum Mechanics: A Modern Development, 2nd ed., World Scientific, 2014.
  1. Let AA have no explicit time dependence. Starting from the Schrödinger equation, show that [H,A]=0[H,A]=0 implies d⟨A⟩/dt=0d\langle A\rangle/dt=0 for every state.
Solution

For no explicit time dependence,

ddt⟨A⟩=iℏ⟨[H,A]⟩.\frac{d}{dt}\langle A\rangle = \frac{i}{\hbar}\langle[H,A]\rangle.

If [H,A]=0[H,A]=0 as an operator, then its expectation value vanishes in every state:

ddt⟨A⟩=0.\frac{d}{dt}\langle A\rangle=0.

The condition is state-independent; it is not merely a cancellation in one chosen state.

  1. For a free particle with H=P2/(2m)H=P^2/(2m), verify that A(t)=X−tP/mA(t)=X-tP/m is a constant of motion.
Solution

The explicit derivative is

∂A∂t=−Pm.\frac{\partial A}{\partial t} = -\frac{P}{m}.

Using [X,P]=iℏ[X,P]=i\hbar,

iℏ[H,X]=Pm,[H,P]=0.\frac{i}{\hbar}[H,X] = \frac{P}{m}, \qquad [H,P]=0.

Therefore

iℏ[H,A]=Pm,\frac{i}{\hbar}[H,A] = \frac{P}{m},

and

∂A∂t+iℏ[H,A]=0.\frac{\partial A}{\partial t} + \frac{i}{\hbar}[H,A] =0.
  1. A particle moves in a central potential. Explain why one may label stationary states by L2L^2 and LzL_z, but not by LxL_x, LyL_y, and LzL_z simultaneously.
Solution

For a central potential, HH commutes with L\mathbf L and with L2L^2, so angular momentum is conserved. However, the components of angular momentum do not commute:

[Li,Lj]=iℏ∑kϵijkLk.[L_i,L_j] = i\hbar\sum_k\epsilon_{ijk}L_k.

A simultaneous eigenbasis requires mutually commuting labels. The standard compatible set is HH, L2L^2, and one component such as LzL_z.

  1. Let H(t)=H0+λ(t)BH(t)=H_0+\lambda(t)B. Compute d⟨H(t)⟩/dtd\langle H(t)\rangle/dt for closed evolution under this Hamiltonian.
Solution

Use the expectation-value equation with A=H(t)A=H(t):

ddt⟨H(t)⟩=iℏ⟨[H(t),H(t)]⟩+⟨∂H(t)∂t⟩.\frac{d}{dt}\langle H(t)\rangle = \frac{i}{\hbar}\langle[H(t),H(t)]\rangle + \left\langle \frac{\partial H(t)}{\partial t} \right\rangle.

The equal-time commutator vanishes, and

∂H(t)∂t=λ˙(t)B.\frac{\partial H(t)}{\partial t} = \dot\lambda(t)B.

Thus

ddt⟨H(t)⟩=λ˙(t)⟨B⟩.\frac{d}{dt}\langle H(t)\rangle = \dot\lambda(t)\langle B\rangle.