Infinitesimal Transformations
An infinitesimal transformation is the first-order approximation to a continuous unitary transformation near the identity. If
then for a small parameter increment ,
This first-order term is where commutators enter quantum symmetry. A generator acts on states directly, while it acts on observables through commutators.
Let be the self-adjoint generator of a one-parameter unitary group. For a small real parameter ,
The opposite signs in and are the source of the commutator in operator transformations.
The parameter may have dimensions. For a translation, has dimensions of length. For a rotation, is dimensionless. In all cases must be dimensionless.
Infinitesimal State Transformation
Section titled “Infinitesimal State Transformation”With the active convention used in this volume, states transform as
Using the first-order expansion,
Thus
The generator is the tangent vector to the curve of states in Hilbert space, up to the conventional factor .
Operator Transformation with the System
Section titled “Operator Transformation with the System”If the observable or apparatus is transformed together with the physical system, the active operator transformation is
Substitute the first-order expansions:
Therefore
Equivalently,
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
The effective operator acting in the original state is
To first order,
This sign is the opposite of the active transformation . Both formulas are correct; they answer different questions. For the detailed convention distinction, see Active and Passive Transformations.
Translation Example
Section titled “Translation Example”For translations on the line,
The active wavefunction transformation is
Expanding the right-hand side gives
Comparison with the unitary expansion gives the position-space generator
under the usual domain assumptions.
For the position operator , the state-only or Heisenberg-style transformed operator is
Using , this becomes
This is the infinitesimal statement that translating the state to the right shifts the expected position to the right.
Rotation Example
Section titled “Rotation Example”For a rotation by a small angle about a unit vector ,
For any operator , the active operator change is
When 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,
says that angular momentum components rotate into one another under rotations.
Hamiltonian Invariance Test
Section titled “Hamiltonian Invariance Test”Infinitesimal transformations give a local test for symmetry of a Hamiltonian. Suppose
The Hamiltonian is invariant under the active transformation if
Using the operator formula,
Therefore infinitesimal invariance requires
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.
Why Commutators Appear
Section titled “Why Commutators Appear”The commutator appears because an operator transformation has the generator acting from both sides:
where
The first-order change is
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:
Differentiating with respect to gives
when is independent of . This differential equation has the formal solution
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.
Common Mistakes
Section titled “Common Mistakes”- Forgetting that and contribute opposite first-order signs.
- Mixing with without tracking whether the transformation is active, passive, or state-only.
- Treating a first-order formula as exact for finite transformations.
- Dropping the terms and then using the result outside its small-parameter regime.
- Assuming follows from unitarity alone. It follows from Hamiltonian invariance under that unitary family.
- Ignoring domains when , , or are unbounded.
Cross-Links
Section titled “Cross-Links”- One-Parameter Unitary Groups
- Generators
- Active and Passive Transformations
- Commutators and Conservation Laws
- Quantum Noether Principle
- Symmetry Constraints on Hamiltonians
- Translations and Momentum
- Angular Momentum Algebra
- Lie Algebras
- Heisenberg Equations of Motion
References
Section titled “References”- 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.
Exercises
Section titled “Exercises”- Starting from and , derive the first-order change in .
Solution
Use
Then
Therefore
- Use to show that .
Solution
For the state-only or Heisenberg-style transformed operator,
Since , one has . Hence
Thus
- Let . If , show that .
Solution
The first-order change in the Hamiltonian under the active transformation is
The condition says that the first-order term vanishes for arbitrary small . Therefore
- Suppose commutes with . What happens to under the infinitesimal active transformation generated by ?
Solution
The active first-order change is
If , then to first order. For a connected one-parameter group with appropriate domain control, is invariant under the full finite transformation as well.