Skip to content

The Heisenberg picture is the formulation in which states are fixed and observables carry the time dependence.

For a compact Core Formalism comparison with the Schrödinger and interaction pictures, see Pictures of Motion Overview.

For a time-evolution operator U(t,t0)U(t,t_0),

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

The Heisenberg state is usually identified with the Schrödinger state at the reference time:

∣ψH⟩=∣ψS(t0)⟩.\lvert\psi_H\rangle =\lvert\psi_S(t_0)\rangle.

The time dependence moves to observables:

AS⟶AH(t).A_S \longrightarrow A_H(t).

The Schrödinger-picture expectation value is

⟨ψS(t)∣AS∣ψS(t)⟩.\langle\psi_S(t)\rvert A_S\lvert\psi_S(t)\rangle.

Using ∣ψS(t)⟩=U(t,t0)∣ψH⟩\lvert\psi_S(t)\rangle=U(t,t_0)\lvert\psi_H\rangle, this becomes

⟨ψH∣U†(t,t0)ASU(t,t0)∣ψH⟩=⟨ψH∣AH(t)∣ψH⟩.\langle\psi_H\rvert U^\dagger(t,t_0)A_SU(t,t_0) \lvert\psi_H\rangle = \langle\psi_H\rvert A_H(t)\lvert\psi_H\rangle.

The pictures are equivalent when transformed consistently.

For an operator with possible explicit time dependence,

dAHdt=iℏ[HH,AH]+(∂A∂t)H.\frac{dA_H}{dt} = \frac{i}{\hbar}[H_H,A_H] + \left(\frac{\partial A}{\partial t}\right)_H.

Here HH(t)=U†HS(t)UH_H(t)=U^\dagger H_S(t)U is the energy observable in the Heisenberg picture. For time-dependent HSH_S, it need not equal HS(t)H_S(t). The Heisenberg equation follows by differentiating all three factors, with AS(t)A_S(t) in the middle when the observable is explicit in time.

The fixed Heisenberg state has zero generator in its state equation. Its energy is still measured by HHH_H, which is generally nonzero; picture transformations explains this distinction.

For a free particle,

xH(t)=xH(0)+pH(0)mt,pH(t)=pH(0).x_H(t)=x_H(0)+\frac{p_H(0)}{m}t, \qquad p_H(t)=p_H(0).

For the harmonic oscillator,

aH(t)=aH(0)e−iωt.a_H(t)=a_H(0)e^{-i\omega t}.

These operator solutions apply to every initial state for which the moments exist. For a free packet, for example,

(Δx)t2=(Δx)02+2tmCxp(0)+t2m2(Δp)02,(\Delta x)^2_t=(\Delta x)^2_0+\frac{2t}{m}C_{xp}(0) +\frac{t^2}{m^2}(\Delta p)^2_0,

where Cxp=⟨{x−⟨x⟩,p−⟨p⟩}⟩/2C_{xp}=\langle\{x-\langle x\rangle,p-\langle p\rangle\}\rangle/2. Thus fixed states in this picture describe spreading as well as center motion.

Field theory often treats local Heisenberg operators as the fundamental objects. Learning operator time dependence here prepares the later shift from particle wavefunctions to quantum fields.

  • Thinking fixed Heisenberg states mean nothing changes physically.
  • Forgetting to transform operators when keeping states fixed.
  • Dropping explicit time dependence in AA.
  • Mixing Schrödinger and Heisenberg operators in one expectation value without labeling them.
  • Assuming the Heisenberg picture is only useful in abstract formalism.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • S. Weinberg, The Quantum Theory of Fields, Volume I, Cambridge University Press, 1995.
  1. Show that Schrödinger and Heisenberg expectation values agree when AH(t)=U†ASUA_H(t)=U^\dagger A_SU.
Solution

Using ∣ψS(t)⟩=U∣ψH⟩\lvert\psi_S(t)\rangle=U\lvert\psi_H\rangle,

⟨ψS(t)∣AS∣ψS(t)⟩=⟨ψH∣U†ASU∣ψH⟩=⟨ψH∣AH(t)∣ψH⟩.\langle\psi_S(t)\rvert A_S\lvert\psi_S(t)\rangle = \langle\psi_H\rvert U^\dagger A_SU\lvert\psi_H\rangle = \langle\psi_H\rvert A_H(t)\lvert\psi_H\rangle.