# Time-Dependent Solutions: Propagators and Representations

### Introduction

We’ve spent most of the course so far concentrating on the eigenstates of the Hamiltonian, states whose time-dependence is merely a changing phase. We did mention much earlier a superposition of two different energy states in an infinite well, resulting in a wave function sloshing backwards and forwards. It’s now time to cast the analysis of time dependent states into the language of bras, kets and operators. We’ll take a time-independent Hamiltonian *H*, with a complete set of orthonormalized eigenstates, and as usual

_{}

Or, as we would now write it

_{}

Since *H* is itself time independent, this is very easy to integrate!

_{}

The exponential operator that generates the time-dependence is called the *propagator*, because it describes how the wave propagates from its initial configuration, and is usually denoted by *U*:

_{}

It’s appropriate to call the propagator *U*, because it’s a unitary operator:

_{}

Since *H* is hermitian, *U* is unitary. It immediately follows that

_{}

the norm of the ket vector is conserved, or, translating to wave function language, a wave function correctly normalized to give a total probability of one stays that way. (This can also be proved from the Schrödinger equation, of course, but this is quicker.)

This is all very succinct, but unfortunately the exponential of a second-order differential operator doesn’t sound too easy to work with. Recall, though, that any function of a Hermitian operator has the same set of eigenstates as the original operator. This means that the eigenstates of _{} are the *same* as the eigenstates of *H*, and if _{} then

_{}

This is of course nothing but the time dependent phase factor for the eigenstates we found before—and, as before, to find the time dependence of any general state we must express it as a superposition of these eigenkets, each having its own time dependence. But how do we do that in the operator language? Easy: we simply insert an identity operator, the one constructed from the complete set of eigenkets, thus:

_{}

Staring at this, we see that it’s just what we had before: at the initial time _{} the wave function can be written as a sum over the eigenkets:

_{}

with _{}, _{}, and the usual generalization for continuum eigenvalues, and the time development is just given by inserting the phases:

_{}

The expectation value of the energy *E* in _{},

_{}

and is (of course) time independent.

The expectation value of the particle position *x* is

_{}

and is *not* in general time-independent. (It *is* real, of course, on adding the (*n*,*m*) term to the (*m*,*n*) term.)

This analysis is only valid for a *time-independent* Hamiltonian. The important extension to a system in a time-dependent external field, such as an atom in a light beam, will be given later in the course.

### The Free Particle Propagator

To gain some insight into what the propagator *U* looks like, we’ll first analyze the case of a particle in one dimension with no potential at all.

We’ll also take _{} to make the equations less cumbersome.

For a free particle in one dimension _{} the energy eigenstates are also momentum eigenstates, we label them _{}, so

_{}

Let’s consider (following Shankar and others) what seems the simplest example.

Suppose that at *t *= *t*_{0} = 0, a particle is at *x*_{0}: _{}: what is the probability amplitude for finding it at *x* at a later time *t*? (This would be just its wave function at the later time.)

_{}

using the standard identity for Gaussian integrals,

_{}

On examining the above expression, though, it turns out to be nonsense! Noting that the term in the exponent is pure imaginary, _{} independent of *x*! This particle apparently instantaneously fills all of space, but then its probability dies away as 1/*t*….

*Question*: Where did we go wrong?

*Answer*: Notice first that _{} is constant throughout space. This means that the normalization, _{}! And, as we’ve seen above, the normalization stays constant in time—the propagator is unitary. Therefore, our initial wave function must have had infinite norm. That’s exactly right—we took the initial wave function _{}.

Think of the _{}-function as a limit of a function equal to _{} over an interval of length _{}, with _{} going to zero, and it’s clear the normalization goes to infinity as _{}. This is not a meaningful wave function for a particle. Recall that continuum kets like _{} are normalized by _{}, they do *not *represent wave functions individually normalizable in the usual sense. The only meaningful wave functions are*integrals over a range* of such kets, such as _{}. In an integral like this, notice that states _{} within some tiny *x*-interval of length _{}say, have total weight _{}, which goes to zero as _{} is made smaller, but by writing _{} we took a single such state and gave it a finite weight. This we can’t do.

Of course, we do want to know how a wave function initially localized *near* a point develops. To find out, we must apply the propagator to a legitimate wave function—one that is normalizable to begin with. The simplest “localized particle” wave function from a practical point of view is a Gaussian wave packet,

_{}

(I’ve used *d* in place of Shankar’s _{} here to try to minimize confusion with _{} etc.)

The wave function at a later time is then given by the operation of the propagator on this initial wave function:

_{}

Note first that since this is just _{} written explicitly in terms of Schrödinger wave functions,

_{}

it is evident that _{} as _{} This is just equivalent to the operator statement that _{} the unit operator, as _{}

The integral over *x′ * is just another Gaussian integral, so we use the same result,

_{}.

Looking at the expression above, we can see that

_{}, _{}.

This gives

_{}

where the second exponential is the term _{}. As written, the small *t* limit is not very apparent, but some algebraic rearrangement yields:

_{}.

Written this way, it is evident that the expression *goes to the initial wave packet* for *t* going to zero, as of course it must.

Although the phase in the above expression for _{} has contributions from all three terms, the main phase oscillation is in the third term, and one can see the phase velocity is one-half the group velocity, as discussed earlier.

The resulting *probability density*:

_{}.

This is a Gaussian wave packet, having a width which goes as _{} for large times, where *d* is the width of the initial packet in *x*-space—so _{} is the spread in *velocities _{}* within the packet, hence the gradual spreading

*in*

_{}*x*-space.

It’s amusing to look at the limit of this as the width *d* of the initial Gaussian packet goes to zero, and see how that relates to our _{}-function result. Suppose we are at distance *x* from the origin, and there is initially a Gaussian wave packet centered at the origin, width *d* << *x*. At time _{}, the wave packet has spread to *x* and has _{}of order 1/*x *at *x*. Thereafter, it continues to spread at a linear rate in time, so locally _{} must decrease as 1/*t * to conserve probability. In the _{}-function limit _{}, the wave function instantly spreads through a huge volume, but then goes as 1/*t* as it spreads into an even huger volume. Or something.

### Schrödinger and Heisenberg Representations

Assuming a Hamiltonian with no explicit time dependence, the time-dependent Schrödinger equation has the form

_{}

and as discussed above, the formal solution can be expressed as:

_{}

Now, any measurement on a system amounts to measuring a matrix element of an operator between two states (or, more generally, a function of such matrix elements).

In other words, the *physically significant time dependent quantities* are of the form

_{}

where *A* is an operator, which we are assuming has no explicit time dependence.

So in this Schrödinger picture, the time dependence of the measured value of an operator like *x *or *p* comes about because we measure the matrix element of an unchanging operator between bras and kets that are changing in time.

Heisenberg took a different approach: he assumed that the ket describing a quantum system did *not* change in time, it remained at _{} but the *operators* evolved according to:

_{}

Clearly, this leads to the same physics as before. The equation of motion of the operator is:

_{}

The Hamiltonian itself does not change in time—energy is conserved, or, to put it another way, *H* commutes with _{} But for a nontrivial Hamiltonian, say for a particle in one dimension in a potential,

_{}

the separate components *will* have time-dependence, parallel to the classical case: the *kinetic* energy of a swinging pendulum varies with time. (For a particle in a potential in an energy eigenstate the expectation value of the kinetic energy is constant, but this is not the case for any other state, that is, for a superposition of different eigenstates.) Nevertheless, the *commutator* of *x*, *p* will be time-independent:

_{}

(The Heisenberg operators are identical to the Schrödinger operators at *t* = 0.)

Applying the general commutator result _{},

_{}

so

_{}

and since _{},

_{}

This result could also be derived by writing *V*(*x*) as an expansion in powers of *x*, then taking the commutator with *p*.

*Exercise*: check this.

Notice from the above equations that the operators in the Heisenberg Representation obey the *classical *laws of motion! *Ehrenfest’s Theorem*, that the *expectation values* of operators in a quantum state follow the classical laws of motion, follows immediately, by taking the expectation value of both sides of the operator equation of motion in a quantum state.

### Simple Harmonic Oscillator in the Heisenberg Representation

For the simple harmonic oscillator, the equations are easily integrated to give:

_{}

We have put in the * _{H}* subscript to emphasize that these are operators. It is usually clear from the context that the Heisenberg representation is being used, and the subscript

*may be safely omitted.*

_{H}The time-dependence of the *annihilation operator * *a* is:

_{}

with

_{}

Note again that although *H* is itself time-independent, it is necessary to include the time-dependence of individual operators within *H*.

_{}

so

_{}

Actually, we could have seen this as follows: if _{} are the energy eigenstates of the simple harmonic oscillator,

_{}

Now the *only* nonzero matrix elements of the annihilation operator _{} between energy eigenstates are of the form

_{}

Since this time-dependence is true of *all* energy matrix elements (trivially so for most of them, since they’re identically zero), and the eigenstates of the Hamiltonian span the space, it is true as an *operator* equation.

Evidently, the expectation value of the operator _{}in any state goes clockwise in a circle centered at the origin in the complex plane. That this is indeed the classical motion of the simple harmonic oscillator is confirmed by recalling the definition _{}, so the complex plane corresponds to the _{}phase space discussed near the beginning of the lecture on the Simple Harmonic Oscillator. We’ll discuss this in much more detail in the next lecture, on Coherent States.

The time-dependence of the creation operator is just the adjoint equation: _{}

### Contributors

- Michael Fowler (Beams Professor, Department of Physics, University of Virginia)