Dynamics Formulas
These cards collect the equations most often needed to evolve closed quantum systems, translate between pictures, compose amplitudes, solve source problems, and move between operator and path-integral formulations.
Each card is a calculation reference. It states conventions, assumptions, units, limiting cases, and failure modes, then links to the canonical concept or derivation page. Use the canonical pages when the proof, interpretation, or analytic foundations are the main question.
Choose by task
Section titled “Choose by task”| If you need to… | Start with |
|---|---|
| Evolve a ket or wavefunction | Schrödinger Equation |
| Separate a stationary eigenvalue problem | Schrödinger Equation |
| Propagate many initial states with one operator | Time-Evolution Operator |
| Expand a noncommuting time-ordered exponential | Dyson Series |
| Remove a solvable reference evolution | Interaction-Picture Evolution |
| Evolve observables instead of states | Heisenberg Equation |
| Evolve expectation values or test classical closure | Ehrenfest Theorem Formulas |
| Compose coordinate or channel amplitudes | Propagator Composition Law |
| Invert a differential operator with a prescription | Green Function Equations |
| Express a fixed-endpoint kernel as a sum over histories | Path-Integral Propagator |
Core cards
Section titled “Core cards”Schrödinger evolution
Section titled “Schrödinger evolution”Schrödinger Equation collects both forms:
and, for a time-independent Hamiltonian after separation of variables,
The first is an initial-value equation. The second is a spectral eigenvalue problem. They are related but not interchangeable.
Evolution operators and time ordering
Section titled “Evolution operators and time ordering”For general time dependence,
Dyson Series defines this ordered exponential by nested integrals. Time ordering can be removed only when the generators commute at different times or a special exact reduction has been established.
Pictures of motion
Section titled “Pictures of motion”Interaction-Picture Evolution factors
so that states evolve under a transformed residual interaction. The picture change is exact; truncating the Dyson series for is the approximation.
Heisenberg Equation moves the full closed-system dynamics into operators:
Ehrenfest Theorem Formulas takes expectations of the corresponding operator identity. For ,
This becomes a closed classical equation for the mean only under additional conditions, exactly for forces affine in position and approximately for some localized states in sufficiently smooth forces.
Kernels and inverse kernels
Section titled “Kernels and inverse kernels”Propagator Composition Law is the coordinate form of operator multiplication:
Green Function Equations instead concerns an inverse plus a boundary prescription:
The retarded time Green function is related to the evolution kernel by
under the convention used here. The step function and factor are part of the definition.
Path-integral representation
Section titled “Path-integral representation”Path-Integral Propagator represents the same fixed-endpoint kernel as
The reliable definition begins with finite time slicing. It includes all short-time prefactors, intermediate integrations for intervals, endpoint data, an ordering rule, and a convergence prescription. The real-time weight is an amplitude, not a probability measure.
Distinctions that prevent errors
Section titled “Distinctions that prevent errors”| Pair | Distinction |
|---|---|
| Time-dependent vs time-independent Schrödinger equations | Initial-value evolution vs stationary spectral problem. |
| vs | Abstract evolution operator vs its coordinate kernel. |
| vs | Time propagation of initial data vs energy-domain inverse with a prescription. |
| vs | Evolution kernel vs retarded source kernel, differing by support and normalization. |
| Heisenberg equation vs Ehrenfest theorem | Operator identity vs its expectation-value consequence. |
| Interaction picture vs perturbation theory | Exact unitary frame vs a later series truncation. |
| Dyson series vs ordinary exponential | Ordered products for noncommuting times vs powers of one integrated operator. |
| Path integral vs classical trajectory | Coherent sum over regulated histories vs one stationary path. |
Shared conventions
Section titled “Shared conventions”The formula cards use
so
Evolution operators act on kets from the right. Thus
where the earlier interval appears on the right.
For time-to-energy transforms, the Dynamics convention is
with inverse measure . This convention gives
for
Changing the Fourier sign changes the displayed translation. Always compare defining equations before comparing isolated formulas.
Assumption checklist
Section titled “Assumption checklist”Before using a card, identify:
- whether the system is closed and the evolution unitary;
- whether is time independent, explicitly driven, or split into parts;
- which picture and reference time are in use;
- whether operators are bounded or require common-domain control;
- whether a kernel uses discrete labels, a continuous measure, or both;
- which spatial, temporal, outgoing, incoming, or thermal prescription is imposed;
- whether a series is exact, convergent, asymptotic, or formally truncated;
- whether a path-integral expression is regulated and normalized.
For open systems, use Density Matrices and Open Systems. For transition approximations and scattering, use Approximation and Scattering.
Suggested routes
Section titled “Suggested routes”For a first pass through closed-system dynamics:
- Schrödinger Equation
- Time-Evolution Operator
- Heisenberg Equation
- Ehrenfest Theorem Formulas
- Propagator Composition Law
For driven and perturbative dynamics:
For alternate formulations and source methods:
- Propagator Composition Law
- Path-Integral Propagator
- Green Function Equations
- Translation Table of Formulations
Broader references
Section titled “Broader references”- Dynamics Formula Sheet
- Propagator Table
- Green Function Table
- Path Integral Conventions
- Pictures of Motion Overview
- Quantum Dynamics
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.
- R. P. Feynman and A. R. Hibbs, Quantum Mechanics and Path Integrals, McGraw-Hill, 1965.
- E. N. Economou, Green’s Functions in Quantum Physics, 3rd ed., Springer, 2006.