Higher Order Perturbation Theory
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 physicsmatrix 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 to denote the Schrödinger representation,
we define the interaction representation by the unitary transformation
so the interaction representation kets and the Schrödinger representation kets coincide at
and if the interaction were zero, the interaction representation kets would be constant in time, like those in the Heisenberg representation.
For nonzero then, the time development of the interaction representation kets is entirely due to and is easily found by differentiating both sides of the equation:
where we have introduced the interaction representation operator defined by
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
the two representations must predict the same probability amplitude for any transition.
Integrating both sides of the differential equation,
This is not a solutionwe’ve just gone from a differential equation to an integral equation. This is only worth doing if is small, in which case the integral equation can be solved iteratively.
The zeroth approximation is then
Putting this value into the small term on the right hand side of the integral equation gives the first order solution,
The second order solution is now given by putting the first order solution into the integral on the right:
The 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
The operator tells us to rearrange the ’s in chronological order. Since there are three of them, they clearly appear in all possible orders before operates, that is to say, there are 3! different ordered terms that 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:
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 together with the original definition of interaction representation kets
So the Schrödinger representation propagator is related to the interaction representation propagator by:
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
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:
between the two ’s, the exponentiated ’s become simply numbers since they are now acting on eigenstates, and the expression becomes
evolves from to under that is to say, only its phase changes in the standard fashion. At the interaction kicks it into another eigenstate of and only the phase changes until when sends it to the final state . This process must be summed over all times between and and over all possible intermediate states.
The nth order term has precisely the same structure, with coming into play n times.