previous   home  next  PDF

Higher Order Perturbation Theory

Michael Fowler

The Interaction Representation

Recall that in the first part of this course sequence, we discussed the Schrödinger and Heisenberg representations of quantum mechanics here.   In the Schrödinger representation, the operators are time-independent (except for explicitly time-dependent potentials) the kets representing the quantum states develop in time.  In the Heisenberg representation, the kets stay the same, the time dependence is in the operators.  These differing representations describe the same physics matrix elements of operators between kets must be the same in both.  The most natural to use depends on the problem at hand. In the classical limit, for example, the Heisenberg operators have the time dependence of the corresponding classical operators.

In fact, for perturbation theory problems with a time-dependent potential, an intermediate representation, the interaction representation, is very convenient.  Using a subscript S  to denote the Schrödinger representation,

i d dt | ψ S ( t )= H S | ψ S ( t )=( H S 0 + V S ( t ) )| ψ S ( t ),

we define the interaction representation by the unitary transformation

| ψ I ( t )= e i H S 0 t/ | ψ S ( t )

so the interaction representation kets and the Schrödinger representation kets coincide at t=0,  

and if the interaction were zero, the interaction representation kets would be constant in time, like those in the Heisenberg representation.  

For nonzero V( t ),  then, the time development of the interaction representation kets is entirely due to V( t ),  and is easily found by differentiating both sides of the equation:

i d dt | ψ I ( t )= H 0 | ψ I ( t )+ e i H S 0 t/ i d dt | ψ S ( t ) = H 0 | ψ I ( t )+ e i H S 0 t/ ( H S 0 + V S ( t ) ) e i H S 0 t/ | ψ I ( t ) = e i H S 0 t/ V S (t) e i H S 0 t/ | ψ I ( t ) = V I (t)| ψ I ( t ),

where we have introduced the interaction representation operator V I ( t ),  defined by

V I ( t )= e i H S 0 t/ V S ( t ) e i H S 0 t/ .

Operators in this representation must have this time dependence relative to the Schrödinger operators to ensure that matrix elements, the only quantities of physical significance, are the same in the two representations.  That is to say, we must have

f I 0 | O I | i I 0 = f S 0 | O S | i S 0 ,

the two representations must predict the same probability amplitude for any transition.

Integrating both sides of the differential equation,

| ψ I ( t )=| ψ I ( 0 ) i 0 t d t V I ( t )| ψ I ( t ) .

This is not a solution we’ve just gone from a differential equation to an integral equation.  This is only worth doing if V I  is small, in which case the integral equation can be solved iteratively.

The zeroth approximation is then

| ψ I ( t )=| ψ I ( 0 ).

Putting this value into the small term on the right hand side of the integral equation gives the first order solution,

| ψ I ( t )=| ψ I ( t 0 ) i 0 t d t V I ( t )| ψ I ( 0 ) .

The second order solution is now given by putting the first order solution into the integral on the right:

| ψ I ( t )=| ψ I ( 0 ) i 0 t d t V I ( t )( | ψ I ( 0 ) i 0 t d t V I ( t )| ψ I ( 0 ) ) .

The T  symbol means that on expanding out the exponential, the operators at different times are arranged in order of time, the latest on the left, without worrying about commutators.  If we just blindly expand the exponential, we will get, for example, a third-order term

T 1 3! ( i 0 t d t V I ( t ) )( i 0 t d t V I ( t ) )( i 0 t d t V I ( t ) ).

The T  operator tells us to rearrange the V I ( t )  ’s in chronological order. Since there are three of them, they clearly appear in all possible orders before T  operates, that is to say, there are 3! different ordered terms that T  makes the same.  This just nicely cancels the 3! in the exponential expansion, to give us the expression we found by iteration.

This time-ordered exponential is therefore the interaction representation propagator:

| ψ I ( t )= U I ( t,0 )| ψ I ( 0 ), U I ( t,0 )=Texp( i 0 t d t V I ( t ) ).

Going Back to the Schrödinger Representation

It is instructive to recast this result in the Schrödinger representation (following Shankar).  First, note that putting the above equation for U I  together with the original definition of interaction representation kets

| ψ I ( t )= e i H S 0 t/ | ψ S ( t )


| ψ S ( t )= e i H S 0 t/ | ψ I ( t )= e i H S 0 t/ U I ( t,0 )| ψ I ( 0 )= e i H S 0 t/ U I (t,0)| ψ S ( 0 ).

So the Schrödinger representation propagator is related to the interaction representation propagator by:

U S ( t,0 )= e i H S 0 t/ U I ( t,0 ).

Now let us see how to put our perturbation expansion for the propagator back from the interaction representation into the Schrödinger representation.  Instead of trying to handle the whole infinite series at once, we concentrate on the second-order term.  We will discover a pattern that works for all the higher order terms as well.

So, transforming the operators in the second-order term of the interaction propagator back to the Schrödinger form, using

V I ( t )= e i H S 0 t/ V S ( t ) e i H S 0 t/

we find

( 1 i ) 2 0 t d t 0 t d t V I ( t ) V I ( t ) = ( 1 i ) 2 0 t 0 t d t d t e i H S 0 t / V S ( t ) e i H S 0 t / e i H S 0 t / V S ( t ) e i H S 0 t / .

 multiplying the interaction representation propagator.  Putting this in, and combining some of the exponentials, we find the second-order contribution to the Schrödinger propagator to be:

( 1 i ) 2 0 t 0 t d t d t e i H S 0 (t t )/ V S ( t ) e i H S 0 ( t t )/ V S ( t ) e i H S 0 t /

between the two V S  ’s,  the exponentiated H S 0  ’s become simply numbers since they are now acting on eigenstates, and the expression becomes

( 1 i ) 2 0 t 0 t d t d t e i E f 0 (t t )/ f 0 | V S ( t )| n 0 e i E n 0 ( t t )/ n 0 | V S ( t )| i 0 e i E i 0 t / .

 evolves from t=0  to t  under H S 0 ,  that is to say, only its phase changes in the standard fashion.  At t ,  the interaction V S ( t )  kicks it into another eigenstate | n 0  of H S 0 ,  and only the phase changes until t ,  when V S ( t )  sends it to the final state | f .  This process must be summed over all times t , t  between t 0  and t,  and over all possible intermediate states.

The nth order term has precisely the same structure, with V S  coming into play n times.

previous   home  next  PDF