Differentiating the expectation value and using and givesThe second term means explicit operator time dependence, distinct from the state's evolution.
The commutator product rule follows by adding and subtracting :For the mathematical induction step, let and use . The case is immediate. If , thenThus the claimed identity holds for every positive integer. Commutation of with is not needed for this particular step. This is the central-commutator differentiation rule. Termwise application to a convergent power series, on a common domain where the operations are justified, gives
For position and momentum, . Hence , and . Substitution gives Ehrenfest theorem:The mean momentum changes by the mean force. It does not follow for a general nonlinear Potential energy that : a closed classical trajectory for the mean position requires an additional condition, such as a quadratic Potential energy or a sufficiently localized wave packet.
Articles by others on the same topic
There are currently no matching articles.