Skip to content

Infinitesimal Transformations

An infinitesimal transformation is the first-order approximation to a continuous unitary transformation near the identity. If

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

then for a small parameter increment δα\delta\alpha,

U(δα)=I−iℏδα G+O(δα2).U(\delta\alpha) = I-\frac{i}{\hbar}\delta\alpha\,G +O(\delta\alpha^2).

This first-order term is where commutators enter quantum symmetry. A generator acts on states directly, while it acts on observables through commutators.

Let GG be the self-adjoint generator of a one-parameter unitary group. For a small real parameter δα\delta\alpha,

U=I−iℏδα G+O(δα2),U†=I+iℏδα G+O(δα2).U = I-\frac{i}{\hbar}\delta\alpha\,G +O(\delta\alpha^2), \qquad U^\dagger = I+\frac{i}{\hbar}\delta\alpha\,G +O(\delta\alpha^2).

The opposite signs in UU and U†U^\dagger are the source of the commutator in operator transformations.

The parameter δα\delta\alpha may have dimensions. For a translation, δα=δa\delta\alpha=\delta a has dimensions of length. For a rotation, δα=δθ\delta\alpha=\delta\theta is dimensionless. In all cases δα G/ℏ\delta\alpha\,G/\hbar must be dimensionless.

With the active convention used in this volume, states transform as

∣ψ⟩↦∣ψ′⟩=U∣ψ⟩.\lvert\psi\rangle \mapsto \lvert\psi'\rangle = U\lvert\psi\rangle.

Using the first-order expansion,

∣ψ′⟩=∣ψ⟩−iℏδα G∣ψ⟩+O(δα2).\lvert\psi'\rangle = \lvert\psi\rangle -\frac{i}{\hbar}\delta\alpha\,G\lvert\psi\rangle +O(\delta\alpha^2).

Thus

δ∣ψ⟩≡∣ψ′⟩−∣ψ⟩=−iℏδα G∣ψ⟩.\delta\lvert\psi\rangle \equiv \lvert\psi'\rangle-\lvert\psi\rangle = -\frac{i}{\hbar}\delta\alpha\,G\lvert\psi\rangle.

The generator is the tangent vector to the curve of states in Hilbert space, up to the conventional factor −i/ℏ-i/\hbar.

If the observable or apparatus is transformed together with the physical system, the active operator transformation is

A↦A′=UAU†.A \mapsto A' = UAU^\dagger.

Substitute the first-order expansions:

A′=(I−iℏδα G)A(I+iℏδα G)+O(δα2)=A−iℏδα GA+iℏδα AG+O(δα2).\begin{aligned} A' &= \left(I-\frac{i}{\hbar}\delta\alpha\,G\right) A \left(I+\frac{i}{\hbar}\delta\alpha\,G\right) +O(\delta\alpha^2) \\ &= A -\frac{i}{\hbar}\delta\alpha\,GA +\frac{i}{\hbar}\delta\alpha\,AG +O(\delta\alpha^2). \end{aligned}

Therefore

δA=A′−A=−iℏδα [G,A].\delta A = A'-A = -\frac{i}{\hbar}\delta\alpha\,[G,A].

Equivalently,

δA=iℏδα [A,G].\delta A = \frac{i}{\hbar}\delta\alpha\,[A,G].

This is the central local rule: generators act on operators by taking commutators.

Operator Transformation with the State Only

Section titled “Operator Transformation with the State Only”

Many calculations instead transform the state while keeping the measured operator fixed. Then

⟨A⟩ψ′=⟨Uψ∣A∣Uψ⟩=⟨ψ∣U†AU∣ψ⟩.\langle A\rangle_{\psi'} = \langle U\psi|A|U\psi\rangle = \langle\psi|U^\dagger A U|\psi\rangle.

The effective operator acting in the original state is

Aeff=U†AU.A_{\rm eff} = U^\dagger A U.

To first order,

δAeff=iℏδα [G,A].\delta A_{\rm eff} = \frac{i}{\hbar}\delta\alpha\,[G,A].

This sign is the opposite of the active transformation A↦UAU†A\mapsto UAU^\dagger. Both formulas are correct; they answer different questions. For the detailed convention distinction, see Active and Passive Transformations.

For translations on the line,

T(δa)=I−iℏδa P+O(δa2).T(\delta a) = I-\frac{i}{\hbar}\delta a\,P +O(\delta a^2).

The active wavefunction transformation is

(T(δa)ψ)(x)=ψ(x−δa).(T(\delta a)\psi)(x) = \psi(x-\delta a).

Expanding the right-hand side gives

ψ(x−δa)=ψ(x)−δa dψdx+O(δa2).\psi(x-\delta a) = \psi(x) -\delta a\,\frac{d\psi}{dx} +O(\delta a^2).

Comparison with the unitary expansion gives the position-space generator

P=−iℏddx,P=-i\hbar\frac{d}{dx},

under the usual domain assumptions.

For the position operator XX, the state-only or Heisenberg-style transformed operator is

T†(δa)XT(δa)=X+iℏδa [P,X]+O(δa2).T^\dagger(\delta a)XT(\delta a) = X+\frac{i}{\hbar}\delta a\,[P,X] +O(\delta a^2).

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

T†(δa)XT(δa)=X+δa+O(δa2).T^\dagger(\delta a)XT(\delta a) = X+\delta a +O(\delta a^2).

This is the infinitesimal statement that translating the state to the right shifts the expected position to the right.

For a rotation by a small angle δθ\delta\theta about a unit vector n^\hat{\mathbf n},

U(n^,δθ)=I−iℏδθ n^⋅J+O(δθ2).U(\hat{\mathbf n},\delta\theta) = I-\frac{i}{\hbar}\delta\theta\, \hat{\mathbf n}\cdot\mathbf J +O(\delta\theta^2).

For any operator AA, the active operator change is

δA=−iℏδθ [n^⋅J,A].\delta A = -\frac{i}{\hbar}\delta\theta\, [\hat{\mathbf n}\cdot\mathbf J,A].

When AA is a vector operator, this commutator encodes the ordinary infinitesimal rotation of vector components. The angular-momentum-specific operator tests are collected in Commutators with Angular Momentum. For example, the angular momentum algebra itself,

[Ji,Jj]=iℏ∑kϵijkJk,[J_i,J_j] = i\hbar\sum_k\epsilon_{ijk}J_k,

says that angular momentum components rotate into one another under rotations.

Infinitesimal transformations give a local test for symmetry of a Hamiltonian. Suppose

U(δα)=I−iℏδα G+O(δα2).U(\delta\alpha) = I-\frac{i}{\hbar}\delta\alpha\,G +O(\delta\alpha^2).

The Hamiltonian is invariant under the active transformation if

U(δα)HU†(δα)=H+O(δα2).U(\delta\alpha)HU^\dagger(\delta\alpha) = H +O(\delta\alpha^2).

Using the operator formula,

δH=−iℏδα [G,H].\delta H = -\frac{i}{\hbar}\delta\alpha\,[G,H].

Therefore infinitesimal invariance requires

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

For a connected one-parameter group, this local condition usually integrates to invariance under the full finite transformation, provided the relevant domains are controlled. The conservation-law interpretation is developed in Commutators and Conservation Laws.

The commutator appears because an operator transformation has the generator acting from both sides:

UAU†=(I−ϵK)A(I+ϵK)+O(ϵ2),UAU^\dagger = \left(I-\epsilon K\right) A \left(I+\epsilon K\right) +O(\epsilon^2),

where

K=iGℏ,ϵ=δα.K=\frac{iG}{\hbar}, \qquad \epsilon=\delta\alpha.

The first-order change is

δA=−ϵKA+ϵAK=−ϵ[K,A].\delta A = -\epsilon KA+\epsilon AK = -\epsilon[K,A].

Thus the commutator is not an extra postulate. It is the first-order algebraic residue of conjugating an operator by a nearby unitary.

This is the same structure that appears in Lie algebras: infinitesimal generators act by derivations, and commutators measure the noncommutativity of successive transformations.

Finite Transformations Need More Than First Order

Section titled “Finite Transformations Need More Than First Order”

The infinitesimal rule is local. To recover a finite transformation, one must integrate or exponentiate it:

A(α)=U(α)AU†(α).A(\alpha) = U(\alpha)AU^\dagger(\alpha).

Differentiating with respect to α\alpha gives

dA(α)dα=−iℏ[G,A(α)]\frac{dA(\alpha)}{d\alpha} = -\frac{i}{\hbar} [G,A(\alpha)]

when GG is independent of α\alpha. This differential equation has the formal solution

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

If generators at different parameter values do not commute, as in a time-dependent Hamiltonian or a path through a nonabelian group, finite transformations require ordered products rather than a single ordinary exponential.

  • Forgetting that UU and U†U^\dagger contribute opposite first-order signs.
  • Mixing UAU†UAU^\dagger with U†AUU^\dagger A U without tracking whether the transformation is active, passive, or state-only.
  • Treating a first-order formula as exact for finite transformations.
  • Dropping the O(δα2)O(\delta\alpha^2) terms and then using the result outside its small-parameter regime.
  • Assuming [G,H]=0[G,H]=0 follows from unitarity alone. It follows from Hamiltonian invariance under that unitary family.
  • Ignoring domains when GG, AA, or HH are unbounded.
  • 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.
  • L. E. Ballentine, Quantum Mechanics: A Modern Development, 2nd ed., World Scientific, 2014.
  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
  • M. Reed and B. Simon, Methods of Modern Mathematical Physics I: Functional Analysis, revised and enlarged ed., Academic Press, 1980.
  1. Starting from A′=UAU†A'=UAU^\dagger and U=I−iδα G/ℏ+O(δα2)U=I-i\delta\alpha\,G/\hbar+O(\delta\alpha^2), derive the first-order change in AA.
Solution

Use

U†=I+iℏδα G+O(δα2).U^\dagger = I+\frac{i}{\hbar}\delta\alpha\,G +O(\delta\alpha^2).

Then

A′=(I−iℏδα G)A(I+iℏδα G)+O(δα2)=A−iℏδα GA+iℏδα AG+O(δα2).\begin{aligned} A' &= \left(I-\frac{i}{\hbar}\delta\alpha\,G\right) A \left(I+\frac{i}{\hbar}\delta\alpha\,G\right) +O(\delta\alpha^2) \\ &= A -\frac{i}{\hbar}\delta\alpha\,GA +\frac{i}{\hbar}\delta\alpha\,AG +O(\delta\alpha^2). \end{aligned}

Therefore

δA=A′−A=−iℏδα [G,A].\delta A = A'-A = -\frac{i}{\hbar}\delta\alpha\,[G,A].
  1. Use [X,P]=iℏ[X,P]=i\hbar to show that T†(δa)XT(δa)=X+δa+O(δa2)T^\dagger(\delta a)XT(\delta a)=X+\delta a+O(\delta a^2).
Solution

For the state-only or Heisenberg-style transformed operator,

T†(δa)XT(δa)=X+iℏδa [P,X]+O(δa2).T^\dagger(\delta a)XT(\delta a) = X+\frac{i}{\hbar}\delta a\,[P,X] +O(\delta a^2).

Since [X,P]=iℏ[X,P]=i\hbar, one has [P,X]=−iℏ[P,X]=-i\hbar. Hence

iℏδa [P,X]=iℏδa(−iℏ)=δa.\frac{i}{\hbar}\delta a\,[P,X] = \frac{i}{\hbar}\delta a(-i\hbar) = \delta a.

Thus

T†(δa)XT(δa)=X+δa+O(δa2).T^\dagger(\delta a)XT(\delta a) = X+\delta a+O(\delta a^2).
  1. Let U(δα)=I−iδα G/ℏ+O(δα2)U(\delta\alpha)=I-i\delta\alpha\,G/\hbar+O(\delta\alpha^2). If UHU†=H+O(δα2)UHU^\dagger=H+O(\delta\alpha^2), show that [G,H]=0[G,H]=0.
Solution

The first-order change in the Hamiltonian under the active transformation is

δH=−iℏδα [G,H].\delta H = -\frac{i}{\hbar}\delta\alpha\,[G,H].

The condition UHU†=H+O(δα2)UHU^\dagger=H+O(\delta\alpha^2) says that the first-order term vanishes for arbitrary small δα\delta\alpha. Therefore

[G,H]=0.[G,H]=0.
  1. Suppose AA commutes with GG. What happens to AA under the infinitesimal active transformation generated by GG?
Solution

The active first-order change is

δA=−iℏδα [G,A].\delta A = -\frac{i}{\hbar}\delta\alpha\,[G,A].

If [G,A]=0[G,A]=0, then δA=0\delta A=0 to first order. For a connected one-parameter group with appropriate domain control, AA is invariant under the full finite transformation as well.