Ehrenfest theorem

This is an old revision of this page, as edited by Hyandat (talk | contribs) at 14:44, 1 September 2005 (+cat). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The Ehrenfest theorem relates the time derivative of the expectation value for a quantum mechanical operator to the commutator of that operator with the Hamiltonian of the system. It is

,

where A is some QM operator and <A> is its expectation value. Notice how neatly Ehrenfest's theorem fits into the Heisenberg picture of quantum mechanics.

Ehrenfest's theorem is closely related to Liousville's theorem from Hamiltonian mechanics, which involves the Poisson bracket instead of a commutator. In fact, it is a general rule of thumb that a theorem in quantum mechanics which contains a commutator can be turned into a theorem in Classical mechanics by changing the commutator into a Poisson bracket and multiplying by .

Derivation

Suppose some system is presently in a quantum state  . If we want to know the instantaneous time derivative of the expectation value of A, that is, by definition

   ,

where we are integrating over all space, and we have assumed the operator A is time independant, so that its derivative is zero. If we apply the Schrödinger equation, we find that

 

and

 .

Notice   because the Hamiltonian is hermitian. Placing this into the above equation we have

 .

General Example

For the very general example of a massive particle moving in a potential, the Hamiltonian is simply

 

where r is just the location of the particle. Suppose we wanted to know the instantaneous change in momentum p. Using Ehrenfest's theorem, we have

 

since p commutes with itself. When represented in coordinate space, the momentum operator  , so

 .

After applying a product rule, we have

 ,

but we recognize this as Newton's second law. This is an example of the correspondence principle, the result manifests as Newton's second law in the case of having so many particles that the net motion is given exactly by the expectation value of a single particle.