Formula Sheet
This page collects frequently used formulas from quantum dynamics. It is a reference sheet, not a derivation page. For assumptions, domains, and interpretation, follow the links to the canonical discussions.
Schrödinger Equation
Section titled “Schrödinger Equation”For a pure state in the Schrödinger picture,
In a position representation,
For a density operator undergoing closed-system unitary dynamics,
See Liouville–von Neumann Equation for the derivation, invariants, and limits of this closed-system equation.
Evolution Operator Identities
Section titled “Evolution Operator Identities”The evolution operator satisfies
It composes as
and unitarity gives
For time-independent ,
If for all relevant times,
In general,
Product Formulas
Section titled “Product Formulas”For a time-independent split Hamiltonian ,
A common second-order short-time step is
See Trotter Product Formula for error scaling, split-operator use, and path-integral connections.
Dyson Expansion
Section titled “Dyson Expansion”For a time-dependent Hamiltonian,
Equivalently, the ordered integration domain may be replaced by explicit time ordering over the full cube.
Picture Transformations
Section titled “Picture Transformations”Schrödinger and Heisenberg pictures are related by
Expectation values agree:
For a split Hamiltonian
the interaction-picture state and interaction operator are commonly defined by
and
Then
Heisenberg Equations
Section titled “Heisenberg Equations”For a Heisenberg operator,
For canonical variables with
and
the equations are
Ehrenfest Relations
Section titled “Ehrenfest Relations”For a particle Hamiltonian,
Classical-looking motion follows only under additional conditions, such as narrow wave packets and controlled spreading.
Propagator Kernel
Section titled “Propagator Kernel”The position-space kernel is
It evolves wavefunctions by
Its composition law is
For a one-dimensional free particle,
See Free-Particle Propagator for the momentum-space derivation, composition check, and short-time path-integral role.
For a one-dimensional harmonic oscillator, away from caustic times,
where . See Harmonic-Oscillator Propagator for the spectral derivation, classical-action form, and caustic phases.
See Propagator Table for common kernels, boundary-condition warnings, ring and box formulas, and the semiclassical Van Vleck form.
Green Functions and Resolvents
Section titled “Green Functions and Resolvents”The resolvent is
The retarded and advanced boundary values are often written
The spectral representation for a discrete nondegenerate spectrum is
See Spectral Representation of Green Functions for discrete and continuous spectral forms, residues, spectral densities, and density-of-states connections.
The density of states can be recovered from the retarded resolvent by
See Green Functions and Density of States for the derivation and local-density version.
See Retarded and Advanced Green Functions for the time-domain support conditions and the Fourier-transform origin of the prescription.
Green functions and time-evolution kernels are related, but they answer different questions: resolvents are energy-domain objects, while propagator kernels are time-domain objects.
See Green Function Table for resolvent, retarded/advanced, spectral-function, density-of-states, and free-particle Green-function conventions.
See What Is a Green Function? for the conceptual distinction between inverse kernels, response functions, spectral resolvents, and propagator kernels.
See Resolvent Operator for the operator definition, spectral-theorem form, and pole interpretation.
Path Integral Formulas
Section titled “Path Integral Formulas”For
the formal real-time expression is
with
The Euclidean weight is schematically
not an oscillatory phase. Normalization, boundary conditions, and measure definitions depend on the problem.
See Euclidean and Imaginary-Time Path Integrals for Wick rotation, ground-state projection, thermal traces, and Euclidean boundary conditions.
See Time Slicing for the finite-partition construction behind and the short-time normalization factors.
See Free-Particle Path Integral for the first exact Gaussian path-integral calculation.
See Harmonic-Oscillator Path Integral for the exact oscillator path integral from the classical path and fluctuation determinant.
See Sources and Generating Functionals in QM for source terms, functional derivatives, and correlation-function generation.
See Correlation Functions in Path Integrals for time-ordered, connected, Euclidean, and response correlator conventions.
See Path Integral Conventions for the real-time weight, Euclidean weight, time-slicing normalization, source signs, and Fourier conventions used here.
See Path Integrals from QM to QFT for the translation from coordinate histories to field configurations, source derivatives, and correlation functions.
Wigner–Moyal Formulas
Section titled “Wigner–Moyal Formulas”For one degree of freedom, a common Weyl-symbol convention is
See Weyl Transform for the operator-to-symbol map, Weyl ordering, trace formulas, and the relation to the Wigner function.
For one degree of freedom, a common Wigner transform convention is
The marginals are
The Wigner function is a quasiprobability distribution, not an ordinary probability density.
See Wigner Function for the density-operator definition, marginals, negativity, Gaussian examples, and the classical-limit bridge.
For a one-mode Gaussian Wigner function with covariance matrix and mean ,
See Gaussian States and Wigner Functions for covariance matrices, coherent states, squeezed states, and quadratic evolution.
See Coherent States in Phase Space for displaced Gaussian Wigner functions, oscillator phase-space trajectories, and coherent-state path-integral previews.
The Moyal bracket is the Wigner–Weyl representation of the commutator:
with
See Star Product for the product rule, expansion, examples, and trace identities.
See Moyal Bracket for phase-space dynamics, the commutator relation, and the Poisson-bracket limit.
See Phase-Space Dynamics for Wigner–Moyal evolution, quadratic flows, anharmonic corrections, and numerical cautions.
See Phase-Space Conventions for the Wigner transform normalization, Fourier sign, phase-space measure, star-product convention, and Poisson-bracket sign used here.
Algebraic Formulation Formulas
Section titled “Algebraic Formulation Formulas”An algebraic state is a positive normalized linear functional
In a Hilbert-space representation,
Heisenberg time evolution is an automorphism of the observable algebra:
For Hamiltonian evolution,
See Algebraic Formulation Overview for observables as an algebra, states as expectation-value functionals, dynamics as automorphisms, and the QFT motivation.
Geometric Quantum Mechanics Formulas
Section titled “Geometric Quantum Mechanics Formulas”Pure states are rays in projective Hilbert space:
A self-adjoint operator defines an expectation-value function on rays:
For normalized representatives, one common Fubini–Study distance convention is
The commutator becomes the projective-space Poisson bracket
Schrödinger evolution projects to Hamiltonian flow generated by :
See Projective Hilbert Space for rays, projectors, tangent directions, and phase-free pure-state dynamics. See Fubini–Study Geometry for the metric, geodesic distance, qubit example, and quantum-speed relation. See Geometric Quantum Mechanics Overview for Schrödinger flow, Berry holonomy, and the classical-mechanics analogy.
Floquet Formulas
Section titled “Floquet Formulas”For a periodic Hamiltonian,
the one-period evolution operator is
Floquet states are eigenvectors of this unitary:
The quasienergy is defined modulo , where .
See Floquet Theorem in Quantum Mechanics for Floquet states, quasienergies, micromotion, effective Hamiltonians, and the one-period unitary.
See Floquet Operators for the one-period unitary, reference-phase dependence, logarithm branches, stroboscopic observables, and numerical construction.
See Quasienergies for modular spectra, Floquet zones, branch cuts, resonances, and avoided crossings.
Classical-Limit Bridge Formulas
Section titled “Classical-Limit Bridge Formulas”A semiclassical small parameter is dimensionless:
In suitable semiclassical regimes,
The Moyal bracket has the expansion
Ehrenfest dynamics gives
Classical Newtonian motion for the packet center additionally requires
For an isolated nondegenerate stationary point of
the leading stationary-phase term is
The leading semiclassical propagator has the schematic Van Vleck form
See What Is the Classical Limit? for the roles of action scaling, stationary phase, wave packets, phase-space flow, decoherence, coarse graining, and semiclassical approximations.
See Stationary Phase for one-dimensional and multidimensional formulas, Hessian phases, endpoint caveats, and path-integral applications.
See Semiclassical Propagator Preview for the action phase, Van Vleck determinant, Maslov phase, caustics, and handoff to detailed semiclassical methods.
Cross-Links
Section titled “Cross-Links”- Time-Dependent Schrödinger Equation
- Time-Evolution Operator
- Time Ordering
- Translation Table of Formulations
- Heisenberg Equations of Motion
- Ehrenfest Theorem
- Propagator Kernel
- Green Function Table
- Path Integral Conventions
- Phase-Space Conventions
- Further Reading
- Common Pitfalls
- Schrödinger Equation Formula Card
- Commutators
References
Section titled “References”- J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
- C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
- R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
- L. E. Ballentine, Quantum Mechanics: A Modern Development, 2nd ed., World Scientific, 2014.
- L. S. Schulman, Techniques and Applications of Path Integration, Wiley, 1981.