For and a time-independent operator , differentiate its expectation value and use the Schrödinger equation and its adjoint. Moving across the inner product by integration by parts gives
Work with wavefunctions in the displayed operators' domains; the vanishing at infinity removes the associated boundary terms. This is the Ehrenfest theorem derived from time evolution.
The canonical commutation relation follows directly from differentiating : . Thus , while . It follows that
For the momentum equation, apply both products to a test wavefunction:
The kinetic term commutes with , so . Therefore
These are the classical equations from Ehrenfest theorem for position and momentum expectations; the force expectation need not equal the force evaluated at the expected position.
For a particle in the scalar potential energy ,
The canonical commutation relation gives
The Ehrenfest theorem with therefore gives
Since and direct action on a wavefunction gives ,
Finally has no explicit time dependence and , so
The first two equations are the expectation-value counterparts of momentum equals mass times velocity and Newton's second law; the last is conservation of energy. They become the classical equations directly when the force varies negligibly across the wave packet, so that . These conclusions are summarized by the classical equations from Ehrenfest theorem.