Skip to content

Time-Evolution Operator

The time-evolution operator U(t,t0)U(t,t_0) maps every state of a closed system from an initial time t0t_0 to a final time tt:

∣ψ(t)⟩=U(t,t0)∣ψ(t0)⟩.\lvert\psi(t)\rangle = U(t,t_0)\lvert\psi(t_0)\rangle.

It packages the Schrödinger initial-value problem into one linear operator. Once U(t,t0)U(t,t_0) is known, it propagates state vectors, density operators, and transition amplitudes without solving a new differential equation for each initial state.

The canonical construction is Time-Evolution Operator. This card collects the formulas and checks needed in calculations.

TaskFormula
Propagate a ket∣ψ(t)⟩=U(t,t0)∣ψ(t0)⟩\lvert\psi(t)\rangle=U(t,t_0)\lvert\psi(t_0)\rangle
Equal-time conditionU(t0,t0)=IU(t_0,t_0)=I
Forward equationiℏ ∂tU(t,t0)=H(t)U(t,t0)i\hbar\,\partial_tU(t,t_0)=H(t)U(t,t_0)
Backward equation−iℏ ∂t0U(t,t0)=U(t,t0)H(t0)-i\hbar\,\partial_{t_0}U(t,t_0)=U(t,t_0)H(t_0)
CompositionU(t2,t0)=U(t2,t1)U(t1,t0)U(t_2,t_0)=U(t_2,t_1)U(t_1,t_0)
Inverse and adjointU(t,t0)−1=U(t0,t)=U†(t,t0)U(t,t_0)^{-1}=U(t_0,t)=U^\dagger(t,t_0)
Time-independent HHU(t,t0)=e−iH(t−t0)/ℏU(t,t_0)=e^{-iH(t-t_0)/\hbar}
Commuting driven H(t)H(t)U(t,t0)=exp⁡[−(i/ℏ)∫t0tH(s) ds]U(t,t_0)=\exp[-(i/\hbar)\int_{t_0}^{t}H(s)\,ds]
General driven H(t)H(t)U(t,t0)=Texp⁡[−(i/ℏ)∫t0tH(s) ds]U(t,t_0)=\mathcal T\exp[-(i/\hbar)\int_{t_0}^{t}H(s)\,ds]
Propagate a density operatorρ(t)=U(t,t0)ρ(t0)U†(t,t0)\rho(t)=U(t,t_0)\rho(t_0)U^\dagger(t,t_0)

The ordinary exponential of the time integral is valid only when

[H(t1),H(t2)]=0[H(t_1),H(t_2)]=0

for all relevant times, or when another argument makes time ordering unnecessary.

The operator is defined by its action on arbitrary initial states:

∣ψ(t)⟩=U(t,t0)∣ψ0⟩,∣ψ0⟩≡∣ψ(t0)⟩.\lvert\psi(t)\rangle = U(t,t_0)\lvert\psi_0\rangle, \qquad \lvert\psi_0\rangle \equiv \lvert\psi(t_0)\rangle.

It depends on the Hamiltonian and both endpoint times, not on the selected initial vector. No elapsed time has passed when the endpoints agree, so

U(t0,t0)=I.U(t_0,t_0)=I.

For a closed system, the propagator is unitary:

U†(t,t0)U(t,t0)=U(t,t0)U†(t,t0)=I.U^\dagger(t,t_0)U(t,t_0) = U(t,t_0)U^\dagger(t,t_0) = I.

It therefore preserves all inner products:

⟨ϕ(t)∣ψ(t)⟩=⟨ϕ(t0)∣ψ(t0)⟩.\langle\phi(t)\vert\psi(t)\rangle = \langle\phi(t_0)\vert\psi(t_0)\rangle.

Writing only U(t)U(t) is safe when t0=0t_0=0 is fixed or when time-translation invariance makes dependence on t−t0t-t_0 explicit. Otherwise it hides information needed for composition and differentiation.

Substitute

∣ψ(t)⟩=U(t,t0)∣ψ0⟩\lvert\psi(t)\rangle = U(t,t_0)\lvert\psi_0\rangle

into the time-dependent Schrödinger equation. Since the initial vector is arbitrary,

iℏ∂U(t,t0)∂t=H(t)U(t,t0).i\hbar \frac{\partial U(t,t_0)}{\partial t} = H(t)U(t,t_0).

This forward equation differentiates the final endpoint while holding t0t_0 fixed. Its equivalent integral equation is

U(t,t0)=I−iℏ∫t0tH(s)U(s,t0) ds.U(t,t_0) = I -\frac{i}{\hbar} \int_{t_0}^{t} H(s)U(s,t_0)\,ds.

Differentiating the initial endpoint gives the backward equation

−iℏ∂U(t,t0)∂t0=U(t,t0)H(t0).-i\hbar \frac{\partial U(t,t_0)}{\partial t_0} = U(t,t_0)H(t_0).

The Hamiltonian multiplies on the left in the forward equation and on the right in the backward equation. That order matters when operators at different times fail to commute.

For an unbounded Hamiltonian, these equations are understood on suitable domains. A formal equality of differential expressions does not alone prove the existence of a unitary propagator.

Evolution through an intermediate time t1t_1 composes as

U(t2,t0)=U(t2,t1)U(t1,t0).U(t_2,t_0) = U(t_2,t_1)U(t_1,t_0).

The earliest interval acts first and is therefore the rightmost factor:

∣ψ(t0)⟩↦ U(t1,t0) ∣ψ(t1)⟩↦ U(t2,t1) ∣ψ(t2)⟩.\lvert\psi(t_0)\rangle \xmapsto{\,U(t_1,t_0)\,} \lvert\psi(t_1)\rangle \xmapsto{\,U(t_2,t_1)\,} \lvert\psi(t_2)\rangle.

Set t2=t0t_2=t_0 in the composition law:

U(t0,t)U(t,t0)=I.U(t_0,t)U(t,t_0)=I.

Hence

U(t,t0)−1=U(t0,t).U(t,t_0)^{-1}=U(t_0,t).

For unitary evolution,

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

Together,

U(t2,t1)†=U(t1,t2).U(t_2,t_1)^\dagger = U(t_1,t_2).

These identities are useful analytical checks and sensitive numerical diagnostics.

If HH is self-adjoint and time independent, let

τ=t−t0.\tau=t-t_0.

Then

U(t,t0)=exp⁡ ⁣(−iℏHτ).U(t,t_0) = \exp\!\left( -\frac{i}{\hbar}H\tau \right).

This is an operator exponential, not an entry-by-entry exponential of a matrix. For finite matrices it can be computed from diagonalization, Schur-based algorithms, or scaling-and-squaring methods. For a general self-adjoint operator it is defined by spectral calculus.

If

H=∑nEnPnH=\sum_n E_nP_n

is the discrete spectral decomposition, then

U(t,t0)=∑ne−iEnτ/ℏPn.U(t,t_0) = \sum_n e^{-iE_n\tau/\hbar}P_n.

Every energy eigenspace acquires a phase. A degenerate eigenspace receives one common phase, which is why the formula uses spectral projectors rather than a preferred basis inside that space.

For

∣ψ(t0)⟩=∑ncn∣En⟩,\lvert\psi(t_0)\rangle = \sum_n c_n\lvert E_n\rangle,

the evolved state is

∣ψ(t)⟩=∑ncne−iEnτ/ℏ∣En⟩.\lvert\psi(t)\rangle = \sum_n c_n e^{-iE_n\tau/\hbar} \lvert E_n\rangle.

The magnitudes ∣cn∣\lvert c_n\rvert remain fixed, while relative phases between different energies evolve.

The projection-valued spectral measure gives the general expression

H=∫RE dP(E),H = \int_{\mathbb R}E\,dP(E), U(t,t0)=∫Re−iEτ/ℏ dP(E).U(t,t_0) = \int_{\mathbb R} e^{-iE\tau/\hbar}\,dP(E).

This includes discrete, continuous, and mixed spectra without treating generalized energy eigenvectors as normalizable Hilbert-space states.

Time-independent evolution depends only on elapsed time:

U(t,t0)=U(τ).U(t,t_0)=U(\tau).

Composition becomes

U(τ2)U(τ1)=U(τ1+τ2).U(\tau_2)U(\tau_1) = U(\tau_1+\tau_2).

The order is immaterial here because both factors are functions of the same Hamiltonian. Strong continuity, unitarity, and this group law are the setting of Stone Theorem.

Replacing

H↦H′=H+EcIH\mapsto H'=H+E_{\mathrm c}I

gives

U′(t,t0)=e−iEcτ/ℏU(t,t0).U'(t,t_0) = e^{-iE_{\mathrm c}\tau/\hbar}U(t,t_0).

For one isolated branch this is a global phase and leaves probabilities unchanged. If different interferometric branches experience different energy offsets, the resulting phase difference can be observable.

For general H(t)H(t), the formal solution for t≥t0t\geq t_0 is

U(t,t0)=Texp⁡ ⁣[−iℏ∫t0tH(s) ds].U(t,t_0) = \mathcal T \exp\!\left[ -\frac{i}{\hbar} \int_{t_0}^{t}H(s)\,ds \right].

The time-ordering operator T\mathcal T places later-time Hamiltonians to the left. Iterating the integral equation gives

U(t,t0)=I−iℏ∫t0tdt1 H(t1)+(−iℏ)2∫t0tdt1∫t0t1dt2 H(t1)H(t2)+⋯ .\begin{aligned} U(t,t_0) &= I -\frac{i}{\hbar} \int_{t_0}^{t}dt_1\,H(t_1) \\ &\quad+ \left(-\frac{i}{\hbar}\right)^2 \int_{t_0}^{t}dt_1 \int_{t_0}^{t_1}dt_2\, H(t_1)H(t_2) \\ &\quad+\cdots . \end{aligned}

The nested limits enforce chronological order. The complete expansion and its interaction-picture use belong to the planned Dyson-series card and Time Ordering.

If

[H(t1),H(t2)]=0[H(t_1),H(t_2)]=0

for every pair of relevant times, then ordering has no effect:

U(t,t0)=exp⁡ ⁣[−iℏ∫t0tH(s) ds].U(t,t_0) = \exp\!\left[ -\frac{i}{\hbar} \int_{t_0}^{t}H(s)\,ds \right].

Time dependence alone is not the obstruction. Noncommutation at distinct times is.

For backward propagation t<t0t<t_0, use

U(t,t0)=U†(t0,t),U(t,t_0)=U^\dagger(t_0,t),

or an equivalent anti-time-ordered expression. Do not use the forward time-ordering convention blindly with reversed limits.

For a sufficiently regular Hamiltonian and a short positive interval δt\delta t,

U(t+δt,t)=I−iℏH(t)δt+O(δt2).U(t+\delta t,t) = I-\frac{i}{\hbar}H(t)\delta t +O(\delta t^2).

The first-order term is not exactly unitary by itself; its unitarity defect is of order δt2\delta t^2. Exponential or structure-preserving integrators are often preferable for long numerical propagation.

Suppose

H(t)={H1,t0≤t<t1,H2,t1≤t≤t2.H(t) = \begin{cases} H_1,&t_0\leq t<t_1,\\ H_2,&t_1\leq t\leq t_2. \end{cases}

Then

U(t2,t0)=e−iH2(t2−t1)/ℏ×e−iH1(t1−t0)/ℏ.\begin{aligned} U(t_2,t_0) &= e^{-iH_2(t_2-t_1)/\hbar} \\ &\quad\times e^{-iH_1(t_1-t_0)/\hbar}. \end{aligned}

The earlier Hamiltonian appears on the right. If [H1,H2]≠0[H_1,H_2]\ne0, reversing the factors changes the prediction.

In orthonormal bases, the matrix elements

Umn(t,t0)≡⟨m∣U(t,t0)∣n⟩U_{mn}(t,t_0) \equiv \langle m\rvert U(t,t_0)\lvert n\rangle

are transition amplitudes. Coefficients evolve as

cm(t)=∑nUmn(t,t0)cn(t0).c_m(t) = \sum_n U_{mn}(t,t_0)c_n(t_0).

Unitarity gives

∑mUmn∗(t,t0)Umk(t,t0)=δnk.\sum_m U_{mn}^*(t,t_0) U_{mk}(t,t_0) = \delta_{nk}.

Composition becomes a sum over a complete set of intermediate states:

Umn(t2,t0)=∑kUmk(t2,t1)Ukn(t1,t0).U_{mn}(t_2,t_0) = \sum_k U_{mk}(t_2,t_1) U_{kn}(t_1,t_0).

This is a coherent sum over unobserved alternatives. If a measurement records the intermediate state, state update and classical conditioning define a different process.

In a continuous position basis,

K(x,t;x0,t0)≡⟨x∣U(t,t0)∣x0⟩K(x,t;x_0,t_0) \equiv \langle x\rvert U(t,t_0)\lvert x_0\rangle

is the propagator kernel. Its integral composition law is collected in Propagator Composition.

For a closed system,

ρ(t)=U(t,t0)ρ(t0)U†(t,t0).\rho(t) = U(t,t_0)\rho(t_0)U^\dagger(t,t_0).

Differentiation gives the von Neumann equation:

iℏρ˙(t)=[H(t),ρ(t)].i\hbar\dot\rho(t) = [H(t),\rho(t)].

Unitary conjugation preserves:

  • trace and positivity;
  • the spectrum of ρ\rho;
  • purity Tr⁡(ρ2)\operatorname{Tr}(\rho^2);
  • von Neumann entropy;
  • rank and all finite-dimensional spectral moments.

The formula is not the most general evolution of a subsystem. Open-system dynamics, selective measurement, and effective non-Hermitian propagation require channels, instruments, or conditional normalization.

For

H=ℏΩ2n⋅σ,∥n∥=1,H = \frac{\hbar\Omega}{2} \mathbf n\cdot\boldsymbol\sigma, \qquad \lVert\mathbf n\rVert=1,

use

(n⋅σ)2=I(\mathbf n\cdot\boldsymbol\sigma)^2=I

to sum the exponential:

U(τ)=exp⁡ ⁣(−iΩτ2n⋅σ)=cos⁡ ⁣(Ωτ2)I−isin⁡ ⁣(Ωτ2)n⋅σ.\begin{aligned} U(\tau) &= \exp\!\left( -\frac{i\Omega\tau}{2} \mathbf n\cdot\boldsymbol\sigma \right) \\ &= \cos\!\left(\frac{\Omega\tau}{2}\right)I \\ &\quad- i\sin\!\left(\frac{\Omega\tau}{2}\right) \mathbf n\cdot\boldsymbol\sigma. \end{aligned}

For n=x^\mathbf n=\hat{\mathbf x} and initial state ∣0⟩\lvert0\rangle,

∣ψ(t)⟩=cos⁡ ⁣(Ωτ2)∣0⟩−isin⁡ ⁣(Ωτ2)∣1⟩.\lvert\psi(t)\rangle = \cos\!\left(\frac{\Omega\tau}{2}\right) \lvert0\rangle -i \sin\!\left(\frac{\Omega\tau}{2}\right) \lvert1\rangle.

Thus

p1(t)=sin⁡2 ⁣(Ωτ2).p_1(t) = \sin^2\!\left( \frac{\Omega\tau}{2} \right).

The operator exponential turns the Hamiltonian directly into a Bloch-sphere rotation.

The standard formulas assume:

  • a closed quantum system between any stated interventions;
  • a self-adjoint Hamiltonian, not merely a formally symmetric differential expression;
  • a well-posed Schrödinger initial-value problem;
  • one consistent picture and sign convention;
  • a dimensionless exponent, including the factor 1/ℏ1/\hbar unless ℏ=1\hbar=1 has been declared.

In finite dimensions, a piecewise continuous Hermitian matrix H(t)H(t) gives a well-defined unitary propagator. For time-dependent unbounded Hamiltonians, self-adjointness at each instant is not by itself a complete existence theorem; domains, regularity, and stability of the family matter.

A non-Hermitian effective Hamiltonian may generate useful no-jump or resonance evolution, but the resulting operator is not unitary. Its norm loss must be interpreted within the model rather than silently renormalized as closed-system evolution.

For a computed approximation U~(t,t0)\widetilde U(t,t_0), inspect:

ϵinit=∥U~(t0,t0)−I∥,\epsilon_{\mathrm{init}} = \lVert \widetilde U(t_0,t_0)-I \rVert, ϵunit=∥U~†U~−I∥,\epsilon_{\mathrm{unit}} = \lVert \widetilde U^\dagger\widetilde U-I \rVert,

and the composition defect

ϵcomp=∥U~(t2,t0)−U~(t2,t1)U~(t1,t0)∥.\begin{aligned} \epsilon_{\mathrm{comp}} &= \bigl\lVert \widetilde U(t_2,t_0) \\ &\quad- \widetilde U(t_2,t_1) \widetilde U(t_1,t_0) \bigr\rVert. \end{aligned}

Also monitor conserved quantities implied by the Hamiltonian and compare step sizes or integrator orders. Norm preservation alone does not prove that the phase or dynamics is accurate.

  1. Specify both endpoint times and the picture.
  2. Decide whether HH is time independent, commuting at distinct times, piecewise constant, or genuinely time ordered.
  3. Use spectral projectors or a stable matrix-exponential routine for time-independent HH.
  4. Put earlier intervals on the right in every product.
  5. Apply the resulting operator to all desired states or density operators.
  6. Check the equal-time condition, composition, unitarity, and relevant conserved quantities.
  7. Separate unitary propagation from measurement update or reduced open-system evolution.
  • Writing U(t)=e−iHt/ℏU(t)=e^{-iHt/\hbar} without fixing t0=0t_0=0 and assuming time-independent HH.
  • Exponentiating matrix entries separately rather than computing the matrix exponential.
  • Reversing the order of factors in composition or piecewise evolution.
  • Omitting time ordering because H(t)H(t) is Hermitian; Hermiticity does not imply [H(t1),H(t2)]=0[H(t_1),H(t_2)]=0.
  • Putting H(t0)H(t_0) on the wrong side in the backward endpoint equation.
  • Treating a truncated first-order short-time operator as exactly unitary.
  • Treating the phase of one energy eigenstate as an observable change while ignoring that only relative phases matter.
  • Calling UU an observable; a generic unitary is not self-adjoint.
  • Applying closed-system conjugation to postselection or a noisy subsystem.
  • Ignoring domains for unbounded Hamiltonians.
  • Using forward time ordering unchanged for backward propagation.
  • P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958, Sections 26–28.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977, Volume 1, Chapter III.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994, Chapters 4 and 11.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020, Chapter 2.
  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013, Chapters 5–6.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics, Volume I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
  1. Verify both endpoint differential equations for
U(t,t0)=e−iH(t−t0)/ℏU(t,t_0)=e^{-iH(t-t_0)/\hbar}

with time-independent HH.

Solution

Differentiating the final endpoint gives

∂U∂t=−iℏHU,\frac{\partial U}{\partial t} = -\frac{i}{\hbar}HU,

so

iℏ∂U∂t=HU.i\hbar\frac{\partial U}{\partial t}=HU.

Differentiating the initial endpoint changes the sign:

∂U∂t0=iℏHU.\frac{\partial U}{\partial t_0} = \frac{i}{\hbar}HU.

Because HH commutes with every function of itself, HU=UHHU=UH. Therefore

−iℏ∂U∂t0=UH.-i\hbar\frac{\partial U}{\partial t_0}=UH.
  1. A system evolves with H1H_1 for a duration τ1\tau_1 and then with H2H_2 for a duration τ2\tau_2. Write the total propagator. Under what condition can it be written as exp⁡[−i(H1τ1+H2τ2)/ℏ]\exp[-i(H_1\tau_1+H_2\tau_2)/\hbar]?
Solution

Chronological composition gives

U=e−iH2τ2/ℏe−iH1τ1/ℏ.U = e^{-iH_2\tau_2/\hbar} e^{-iH_1\tau_1/\hbar}.

The earlier interval is on the right. The two exponentials combine into the ordinary exponential of their sum when

[H1,H2]=0.[H_1,H_2]=0.

Without this condition, BCH produces commutator corrections.

  1. Suppose H(t)=f(t)AH(t)=f(t)A, where A=A†A=A^\dagger is fixed and f(t)f(t) is real. Find U(t,t0)U(t,t_0).
Solution

At any two times,

[H(t1),H(t2)]=f(t1)f(t2)[A,A]=0.[H(t_1),H(t_2)] = f(t_1)f(t_2)[A,A] = 0.

Time ordering is unnecessary, so

U(t,t0)=exp⁡ ⁣[−iAℏ∫t0tf(s) ds].U(t,t_0) = \exp\!\left[ -\frac{iA}{\hbar} \int_{t_0}^{t}f(s)\,ds \right].

The exponent is anti-Hermitian because AA is self-adjoint and the integral is real; hence UU is unitary.

  1. Prove from the composition law and unitarity that
U(t2,t1)†=U(t1,t2).U(t_2,t_1)^\dagger=U(t_1,t_2).
Solution

Composition through t2t_2 gives

U(t1,t2)U(t2,t1)=U(t1,t1)=I.U(t_1,t_2)U(t_2,t_1) = U(t_1,t_1) = I.

Thus

U(t1,t2)=U(t2,t1)−1.U(t_1,t_2) = U(t_2,t_1)^{-1}.

Unitarity identifies the inverse with the adjoint:

U(t2,t1)−1=U(t2,t1)†.U(t_2,t_1)^{-1} = U(t_2,t_1)^\dagger.

Combining the two equations yields the result.