Shankar, R. (1994), Principles of Quantum Mechanics, Plenum Press. Chapter 6.
We’ve met Ehrenfest’s theorem while studying Griffiths’s book, where the theorem had the form
This says that, in one dimension, the rate of change of the mean momentum equals the negative of the mean of the derivative of the potential , which is assumed to depend on only. In this case, the behaviour of the means of the quantum variables reduces to the corresponding classical relation, in this case, Newton’s law , where the force is defined in terms of the gradient of the potential: .
Shankar treats Ehrenfest’s theorem a bit more generally. For an operator we can use the product rule to state that
where a dot indicates a time derivative. If does not depend explicitly on time, we have
The time derivative of can be found from the Schrödinger equation:
The second equation follows since is hermitian, so . Plugging these into 4 we have
That is, the rate of change of the mean of an operator can be found from its commutator with the Hamiltonian. It is this result that Shankar refers to as Ehrenfest’s theorem. This relation is similar to that from classical mechanics, where the rate of change of a dynamical variable is equal to its Poisson bracket with the classical Hamiltonian. In the Hamiltonian formulation of classical mechanics, dynamical variables depend on generalized coordinates and their corresponding momenta , so we have:
We can work out 9 for the particular cases where , the position operator and , the momentum operator. For a Hamiltonian of the form
and using the commutation relation
We can evaluate this commutator using the theorem
In this case, and , so we have
This is equivalent to the classical relation for velocity . We can write this result in terms of the Hamiltonian, provided that it’s legal to take the derivative of the Hamiltonian with respect to an operator (which works if we can expand the Hamiltonian as a power series):
This looks a lot like one of Hamilton’s canonical equations in classical mechanics:
The main difference between the quantum and classical forms is that the quantum version is a relation between mean values, while the classical version is exact. We can make the correspondence exact provided that it’s legal to take the averaging operation inside the derivative and apply it to each occurrence of and . That is, is it legal to say that
This depends on the precise functional form of . In the case 13 we’re considering here, we have
So in this case it works. In general, if depends on either linearly or quadratically, then its derivative with respect to will be either constant or linear, and we can take the averaging operation inside the function without changing anything. However, if, say, (unlikely, but just for the sake of argument), then
since, in general, the mean of the square of a value is not the same as the square of the mean.
Shankar goes through a similar argument for . We have
In this case, we can use the position basis form of which is
and the position space version of the potential to get
Using this in 27 we have
Writing this in terms of the Hamiltonian, we have
Again, this looks similar to the second of Hamilton’s canonical equations from classical mechanics:
and again, we’re allowed to make the correspondence exact provided we can take the averaging operation inside the derivative on the RHS of 32. This works provided that is either linear or quadratic in (such as in the harmonic oscillator). Other potentials such as the potential in the hydrogen atom do not allow an exact correspondence between the quantum average and the classical Hamilton equation, but this shouldn’t worry us too much since the hydrogen atom is quintessentially quantum anyway, and any attempt to describe it classically will not work.
Shankar provides a lengthly discussion on when the reduction to classical mechanics is valid, and shows that in any practical experiment that we could do with a classical particle, the difference between the average quantum behaviour and the classical measurements should be so small as to be undetectable. It is only when we deal with systems that are small enough that quantum effects dominate that we need to abandon classical mechanics.