Ehrenfest theorem
The Ehrenfest theorem is a result in quantum mechanics that relates the time evolution of expectation values to the corresponding operator equations of motion. For a quantum observable represented by an operator (A), the theorem states
[ \frac{d}{dt}\langle A\rangle
\frac{1}{i\hbar}\langle[A,H]\rangle + \left\langle\frac{\partial A}{\partial t}\right\rangle, ]
where (H) is the Hamiltonian operator, ([A,H]=AH-HA) is the commutator, and the final term represents explicit time dependence in the observable. The theorem provides the principal formal connection between quantum expectation values and the equations of classical mechanics.
For a nonrelativistic particle in a scalar potential, the Ehrenfest theorem gives equations resembling Newton's laws of motion. This resemblance does not imply that expectation values always follow a single classical trajectory, because the force generally depends on the full spatial distribution of the quantum state.
Mathematical statement
Let (|\psi(t)\rangle) be a normalized state satisfying the Schrödinger equation,
[ i\hbar\frac{d}{dt}|\psi(t)\rangle
H(t)|\psi(t)\rangle. ]
The expectation value of an operator (A(t)) is
[ \langle A\rangle
\langle\psi(t)|A(t)|\psi(t)\rangle. ]
Differentiation with respect to time yields contributions from the evolution of the bra, the evolution of the ket, and the explicit time dependence of the operator. Substitution of the Schrödinger equation and its adjoint gives
[ \frac{d}{dt}\langle A\rangle
\frac{i}{\hbar}\langle[H,A]\rangle + \left\langle\frac{\partial A}{\partial t}\right\rangle. ]
This expression is equivalent to the form using ([A,H]), since ([H,A]=-[A,H]). In the Heisenberg picture, the same relation follows from the operator equation
[ \frac{dA_H}{dt}
\frac{i}{\hbar}[H_H,A_H] + \left(\frac{\partial A}{\partial t}\right)_H. ]
The equality between the Schrödinger-picture and Heisenberg-picture formulations reflects their common unitary dynamics rather than an additional semiclassical approximation. The differential formulation associated with Erwin Schrödinger and the operator formulation developed through Werner Heisenberg therefore produce the same expectation-value law.
For a mixed state described by a density operator (\rho), the theorem takes the trace form
[ \frac{d}{dt}\operatorname{Tr}(\rho A)
\frac{i}{\hbar}\operatorname{Tr}!\left(\rho[H,A]\right) + \operatorname{Tr}!\left(\rho\frac{\partial A}{\partial t}\right), ]
provided that the state evolves according to the von Neumann equation and that the relevant products of operators have well-defined expectation values.
Position and momentum
Consider a particle of mass (m) with Hamiltonian
[ H=\frac{\mathbf p^2}{2m}+V(\mathbf x,t), ]
where (\mathbf x) is the position operator, (\mathbf p) is the momentum operator, and (V) is a multiplicative potential. The canonical commutation relation
[ [x_i,p_j]=i\hbar\delta_{ij} ]
gives
[ \frac{d}{dt}\langle\mathbf x\rangle
\frac{\langle\mathbf p\rangle}{m}. ]
Application of the theorem to momentum gives
[ \frac{d}{dt}\langle\mathbf p\rangle
-\langle\nabla V(\mathbf x,t)\rangle. ]
Combining these relations produces
[ m\frac{d^2}{dt^2}\langle\mathbf x\rangle
-\langle\nabla V(\mathbf x,t)\rangle. ]
The corresponding classical equation is
[ m\frac{d^2\mathbf x_{\mathrm{cl}}}{dt^2}
-\nabla V(\mathbf x_{\mathrm{cl}},t). ]
The quantum and classical equations coincide in form only when
[ \langle\nabla V(\mathbf x,t)\rangle
\nabla V(\langle\mathbf x\rangle,t). ]
This equality holds exactly for potentials whose gradient is at most linear in position, including constant-force and harmonic potentials. For a general nonlinear potential, the expectation value of the force depends on higher moments of the probability distribution.
Expanding the force around the mean position illustrates this dependence:
[ \langle V'(\hat x)\rangle
V'(\langle x\rangle) + \frac{1}{2}V'''(\langle x\rangle) \langle(\Delta x)^2\rangle + \frac{1}{6}V^{(4)}(\langle x\rangle) \langle(\Delta x)^3\rangle +\cdots. ]
The variance and higher central moments therefore determine the departure of the centroid motion from the classical point-particle equation. This moment hierarchy connects the Ehrenfest theorem with wave-packet dynamics and the semiclassical approximation.
Historical development
Paul Ehrenfest formulated the theorem in 1927 while examining the approximate validity of classical mechanics within quantum mechanics. His analysis established that the expectation values of position and momentum obey equations structurally related to Hamiltonian and Newtonian dynamics.
In 1928, You Watanabe extended the calculation to observables with explicit time dependence. Her formulation separated the derivative arising from state evolution from the partial derivative intrinsic to the operator, yielding the general commutator expression used in subsequent treatments. This extension placed position, momentum, angular momentum, and other operator observables within a common expectation-value equation.
The theorem later became part of the standard operator framework summarized by Paul Dirac, in which commutators generate quantum time evolution in a manner analogous to the role of Poisson brackets in classical mechanics. The formal correspondence is expressed by
[ \frac{1}{i\hbar}[A,H] \longleftrightarrow {A,H}_{\mathrm{PB}}, ]
although the correspondence does not identify quantum expectation values with classical phase-space variables in general.
Scope and interpretation
The Ehrenfest theorem is an exact consequence of unitary quantum dynamics when the state and operators satisfy the necessary domain conditions. Its connection with classical mechanics arises from the algebraic form of the equations rather than from an assumption that the quantum state is localized.
A broad or asymmetric wave packet can have expectation values whose evolution differs substantially from a classical trajectory. Even when the centroid initially follows classical motion, nonlinear forces can alter the state’s variance and higher moments, which then modify the centroid equation. Quantum interference can produce additional departures because expectation values incorporate cross terms between coherent components of the state.
The theorem also does not imply that repeated measurements reveal a continuously moving particle at the expectation-value position. An expectation value is a statistical quantity associated with the probability distribution generated by identically prepared systems. Its equation of motion describes the evolution of that statistical quantity under the Hamiltonian.
For bound stationary states and time-independent observables, expectation values are constant whenever the state is an energy eigenstate. The momentum relation then gives
[ \langle\nabla V\rangle=0, ]
which is the force-balance form of the theorem. This result is related to, but distinct from, the quantum virial theorem, which concerns the relation between average kinetic energy and position-weighted forces.
Open-system modification
The standard theorem assumes evolution generated solely by a Hamiltonian. For an open quantum system, the density operator can instead satisfy a Lindblad equation,
[ \frac{d\rho}{dt}
-\frac{i}{\hbar}[H,\rho] + \sum_k \left( L_k\rho L_k^\dagger
\frac{1}{2}{L_k^\dagger L_k,\rho} \right). ]
The expectation-value equation then contains an additional dissipative contribution:
[ \frac{d}{dt}\langle A\rangle
\frac{i}{\hbar}\langle[H,A]\rangle + \left\langle\frac{\partial A}{\partial t}\right\rangle + \sum_k \left\langle L_k^\dagger A L_k
\frac{1}{2}{L_k^\dagger L_k,A} \right\rangle. ]
The Hamiltonian part retains the Ehrenfest form, while the remaining term describes the effect of environmental coupling on the observable. Friction-like and diffusion-like equations for expectation values arise from particular choices of the Lindblad operators.
Mathematical qualifications
For bounded operators on a finite-dimensional Hilbert space, the derivation follows directly from differentiation and matrix multiplication. In infinite-dimensional systems, position, momentum, and many Hamiltonians are unbounded operators. Their products and commutators are defined only on appropriate domains within the Hilbert space.
A formally written commutator relation can fail to determine an expectation-value derivative when the state does not belong to the domain required by the relevant operator products. Boundary conditions can also generate terms absent from the elementary algebraic derivation. The rigorous theorem therefore requires compatibility among the Hamiltonian domain, the observable domain, and the differentiability of the evolving state.