What is the time dependence of an expectation value? In the Schrodinger picture
(1)
using .
This formula sees a lot of applications in atomic physics, it is handy for constructing sum rules.
What if represents a stationary state? Then and
by hermiticity of : , for stationary states.
Note that in general , you must have for this to be true.
We will now use the fact that the Hamiltonian is the time evolution operator to prove Ehrenfest’s Theorem. Classically
(2)
Perform canonical quantization
and take expectation values
let , and use the fact that and the derivation rule for commutators
Similarly let , then
and the proof is complete; expectation values of the position and momentum operators obey the classical equations of motion.
In classical physics conserved quantities have zero time derivative. If dynamical variable is conserved
Quantum mechanically we see a direct translation through the Correspondence Principle; operator represents a conserved quantity if
If this is true, then
by use of our definition of time ordering, and this implies that if
then
(3)
and so the same wavefunction is an eigenstate of with the same eigenvalue at a later time; that eigenvalue was the value of a conserved quantity.
In the Heisenberg picture the operators carry the time dependence, the wavefunctions do not. A useful observation can be made about how the Heisenberg picture operator acts on wavefunctions.
can be formally integrated to
if the Hamiltonian is not explicitly -dependent, as is the usual case if we are not interacting with external fields. In the Heisenberg picture
Suppose that the wavefunction above is an eigenstate of of eigenvalue
this can be written as
or, since is just a number
The eigenvalue of the Heisenberg picture of the operator at time is the eigenvalue of the Schrodinger picture of the operator at time . This can be used to compute the green function for any system in a very easy way.
The free particle. Recall that the green function satisfies
and so is an eigenfunction of the position operator at time with eigenvalue . From the above analysis is an eigenfunction of the Heisenberg version of the same operator evaluated at time
This operator can easily be found from
(4)
because the second of these formulas implies that
therefore we have a simple first order equation for the Green function