Tag Archives: time translation

Time translation and conservation of energy

Shankar, R. (1994), Principles of Quantum Mechanics, Plenum Press. Chapter 11, Section 11.3.

We can investigate the effect of a quantum system being invariant under time translation by considering the evolution of a state vector using a propagator. A state at time {t} is given in terms of the state at time {t=0} according to

\displaystyle \left|\psi\left(t\right)\right\rangle =U\left(t\right)\left|\psi\left(0\right)\right\rangle =e^{-itH/\hbar}\left|\psi\left(0\right)\right\rangle \ \ \ \ \ (1)

Strictly speaking, this equation is true only if {H} is time-independent, since in the time-dependent case, we need to express the propagator as a time-ordered integral. However, if we let the system evolve for only an infinitesimal time {\varepsilon}, we can ignore the complexities of the time-ordered integral and write, to first order in {\varepsilon}

\displaystyle U\left(\varepsilon\right)=e^{-i\varepsilon H\left(0\right)/\hbar}=I-\frac{i\varepsilon H\left(0\right)}{\hbar} \ \ \ \ \ (2)

Note that it doesn’t matter if we use the value of {H} at time {t=0} or {t=\varepsilon} or at some time in between, since the differences between these values are of order {\varepsilon}, and thus make no difference to {U\left(\varepsilon\right)} to first order in {\varepsilon}.

Now suppose we prepare the same system (which we’ll call {\left|\psi_{0}\right\rangle }) at some time {t=t_{1}} and consider how the system evolves over an infinitesimal time {\varepsilon} starting from {t=t_{1}}. We then have

\displaystyle \left|\psi\left(t_{1}+\varepsilon\right)\right\rangle \displaystyle = \displaystyle U\left(t_{1}+\varepsilon\right)\left|\psi_{0}\right\rangle \ \ \ \ \ (3)
\displaystyle \displaystyle = \displaystyle \left(I-\frac{i\varepsilon H\left(t_{1}\right)}{\hbar}\right)\left|\psi_{0}\right\rangle \ \ \ \ \ (4)

The idea behind time translation invariance is that it shouldn’t make any difference at what time we prepare a system, provided that the system is prepared identically at whatever time we actually do prepare it. In other words, if we had prepared our system above at {t=t_{2}} instead of {t=t_{1}} and then let it evolve for an infinitesimal time {\varepsilon}, we should end up with exactly the same state. That is, we require that

\displaystyle \left|\psi\left(t_{2}+\varepsilon\right)\right\rangle \displaystyle = \displaystyle \left(I-\frac{i\varepsilon H\left(t_{2}\right)}{\hbar}\right)\left|\psi_{0}\right\rangle \ \ \ \ \ (5)
\displaystyle \displaystyle = \displaystyle \left(I-\frac{i\varepsilon H\left(t_{1}\right)}{\hbar}\right)\left|\psi_{0}\right\rangle \ \ \ \ \ (6)

Rearranging things, we get

\displaystyle -\frac{i\varepsilon}{\hbar}\left(H\left(t_{2}\right)-H\left(t_{1}\right)\right)\left|\psi_{0}\right\rangle =0 \ \ \ \ \ (7)

The initial state can be anything we like, so in order for this condition to be always true, we must have

\displaystyle H\left(t_{2}\right)=H\left(t_{1}\right) \ \ \ \ \ (8)

Again, the two times {t_{1}} and {t_{2}} at which we prepared the system are arbitrary (and not necessarily separated by an infinitesimal time, so they could be years apart), so this condition implies that {H} itself must be constant in time. For a time-independent operator {A}, Ehrenfest’s theorem says that

\displaystyle \left\langle \dot{A}\right\rangle =-\frac{i}{\hbar}\left\langle \left[A,H\right]\right\rangle \ \ \ \ \ (9)

If {A=H}, then the commutator is {\left[H,H\right]=0}, so time translation invariance implies that

\displaystyle \left\langle \dot{H}\right\rangle =0 \ \ \ \ \ (10)

That is, time translation invariance implies that the average energy of the system is conserved.

Clearly, energy is conserved if the system is in an energy eigenstate, since then the energy has a single, unchanging value. However, if we prepare the state as a combination of energy eigenstates, then the system has the form

\displaystyle \psi\left(x,t\right)=\sum_{k}c_{k}e^{-iE_{k}t/\hbar}\psi_{k}\left(x\right) \ \ \ \ \ (11)

where the {c_{k}} are constant coefficients. A measurement of the energy on such a system can yield any of the energies {E_{k}} for which {c_{k}\ne0}, so it might seem that we’re violating the conservation of energy. The point is that, on average, the energy is

\displaystyle \left\langle E\right\rangle =\sum_{k}\left|c_{k}\right|^{2}E_{k} \ \ \ \ \ (12)

and it is this average that doesn’t change with time. In dealing with averages, we’re also retaining consistency with the infamous energy-time uncertainty relation.