Differentiating the expectation value and using and gives
The 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 , then
Thus 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 (0)

There are currently no matching articles.