previous   index  next  PDF

Finding the Prefactor in the Simple Harmonic Oscillator Propagator

Michael Fowler, UVa

Hand-waving Argument

Recall that the free particle propagator has the form

U( x,T; x ,0 )= m 2πiT exp{ im ( x x ) 2 2T }.

From a classical mechanical evaluation of the action, we can show the simple harmonic oscillator propagator has the form

U( x,T; x ,0 )=A( T )exp{ imω 2sinωT [ ( x 2 + x 2 )cosωT2x x ] }

where A( T )  is a so far unknown function of time.  For sufficiently small T,  though, much less than the period of the oscillator, the potential will have no significant effect, so the propagator must tend to the free particle propagator. That is, for T  tending to zero, A(T)= m/2πiT .   But we also know that at time t=2π/ω,  all simple harmonic wavefunctions return to their t=0  values, so a particle localized at x  will be localized at x  again after one period.  In the exponent we do indeed see this cyclic behavior. In the prefactor, we must replace T  by ( sinωT )/ω, that is,

A(T)= mω 2πisinωT .

Note this expression is also consistent with the free particle propagator in the limit ω  going to zero, in other words, the vanishing of the simple harmonic oscillator potential.

Approximating Integrals by Stationary Phase Techniques

Actually, this result can be derived from the integral over the fluctuations about the classical path.  The argument is closely analogous to that for the free particle, and the following equation is a straightforward generalization of that case (discussed in the previous lecture):

x|U( T,0 )| x = D[ y( t ) ] e iS[ x cl ( t )+y( t ) ]/ , S[ x cl ( t )+y( t ) ]= 0 T 1 2 m[ ( x ˙ cl ( t )+ y ˙ ( t ) ) 2 ω 2 ( x cl ( t )+y( t ) ) 2 ]dt =S[ x cl ( t ) ]+ 0 T m( x ˙ cl ( t ) y ˙ ( t ) ω 2 x cl ( t )y( t ) )dt + 0 T 1 2 m( y ˙ 2 ( t ) ω 2 y 2 ( t ) )dt .

Just as for the free particle, the middle term in that last line is zero, as it has to be since it’s the linear term in the path deviation from the stationary point.  As before, the y- path (the deviation from the classical least action path) is zero at the two endpoints, so we can integrate by parts to get

0 T m( x ˙ cl ( t ) y ˙ ( t ) ω 2 x cl ( t )y( t ) )dt = 0 T m( x ¨ cl ( t ) ω 2 x cl ( t ) )y( t )dt

identically zero from the classical equation of motion (after all, this is how it’s derived from least action!)

The hard part is evaluating the integral over paths in the third term.  To see how to do this,

it’s worth briefly reviewing a stationary phase integral in ordinary space, that is,

I= d x 1 d x 2 ... d x N exp{if( x 1 ,..., x N )}

where we assume that the real function f  has an absolute minimum at the point ( x 1 0 ,, x N 0 )  and take variables y i = x i x i 0 .   Then to leading order near the stationary point,   f( x )=f( x 0 )+ 1 2 y i A ij y j .   Taking only this term, the integral becomes

I= e if( x 0 ) d y 1 d y 2 ... d y N exp{ 1 2 i y i A ij y j }.

The matrix A  is positive definite and symmetric, it has real orthogonal eigenvectors, and we can choose our coordinate axes in the directions of those eigenvectors.  In this case, A  is a diagonal matrix, and its diagonal elements are just its eigenvalues λ i .

So I  becomes:

I= e if( x 0 ) d y 1 d y 2 ... d y N exp{ 1 2 i λ i y i 2 } = e if( x 0 ) 1 N 2π i λ i = e if( x 0 ) ( 2π i ) N/2 (DetA) 1/2 .

Recall that DetA  is invariant under an orthogonal transformation, and so is unaffected by transforming back from the eigenvector basis to the original coordinates.

Applying Stationary Phase to the Integral Over Paths

We’re now ready to generalize this result from an integral over an N- dimensional space of y i  ’s to an integral over the infinite dimensional space of paths y( t )  with boundary conditions y( 0 )=0  and y( t )=0.   Note that for the particular case at hand, the Simple Harmonic Oscillator, the leading order quadratic term is in fact the whole story, and so gives the exact result.  This is not, of course, true for general quantum systems.

As a preliminary step, we integrate by parts to write

0 T ( dy dt ) 2 dt= 0 T y( t ) d 2 d t 2 y( t ).

 The path integral then becomes:

A( T )= 0 0 exp[ i 0 T y( t )[ 1 2 m( d 2 d t 2 ω 2 ) ]y( t ) dt ] D[y(t)].

Comparing this with the finite-dimensional version, we see that the N-  component vector ( y i )  is replaced by the continuous function y( t ),  and the matrix A  by a differential operator acting on the space of path functions y( t )  equal to zero at t=0  and t=T.   

The operator is well-defined and Hermitian, with eigenstates and eigenvalues:

( d 2 d t 2 ω 2 )sin( nπt T )=( n 2 π 2 T 2 ω 2 )sin( nπt T ).

Any reasonable path satisfying the boundary conditions can be written as a sum over these eigenstates with Fourier coefficients y n .   

y(t)= n=1 y n 1 2 sin( nπt T ) .

The functional integral over all paths now becomes an infinite product of ordinary integrals over the variables y n .  This is precisely analogous to the finite integral above, except that there is no maximum value N.  The operator is diagonal with respect to this base formed of its eigenstates, and therefore can be represented as an infinite diagonal matrix with the diagonal elements equal to the eigenvalues and, just as for the finite matrix case, the gaussian integrals can be carried out in succession, each one giving a term 

 

d y n exp im 2 λ n y n 2 = 2π im λ n ,  where   λ n =( n 2 π 2 T 2 ω 2 ).

When we take the infinite product of all these terms, we find in the denominator the square root of the product of all the eigenvalues and that product is the determinant of the operator.  That is to say,

[ Det( d 2 d t 2 ω 2 ) ] 1/2 = n=1 ( n 2 π 2 T 2 ω 2 ) 1/2 =K(T) n=1 ( 1 ω 2 T 2 n 2 π 2 ) 1/2 =K(T) ( sinωT ωT ) 1/2 .

In the last step, we used the infinite-product representation for the sine function:

sinx=x n=1 ( 1 x 2 n 2 π 2 ) .

The rather disconcerting factor K( T ),  which does not depend on ω  and hence has nothing to do with the dynamics, can be thrown in with similar time-dependent and constant factors involved in the measure of the integral over paths, and their overall contribution can be nailed down by the simple observation that for ω=0,  we must recover the known free-particle propagator.  So, we can be quite careless about overall multiplying factors! 

Therefore, matching to the free-particle propagator in the limit ω=0,  we find A(T)= mω/2πisinωT  for the simple harmonic oscillator.

I used an excellent book, Solitons and Instantons, by R. Rajaraman, for this section. The original work was all by Feynman.

previous   index  next  PDF