The continuous limit next up previous
Next: Dominant paths in the Up: The functional integral representation Previous: The functional integral representation

The continuous limit

In taking the limit tex2html_wrap_inline410 , it will prove useful to define a parameter

displaymath38

so that tex2html_wrap_inline410 implies tex2html_wrap_inline414 . In terms of tex2html_wrap_inline416 , the partition function becomes

displaymath41

We can think of the points tex2html_wrap_inline418 as specific points of a continuous functions tex2html_wrap_inline420 , where

displaymath51

such that tex2html_wrap_inline422 :

   figure54
Figure 1:

Note that

displaymath62

and that the limit

displaymath69

is just a Riemann sum representation of the continuous integral

displaymath76

Finally, the measure

displaymath82

represents an integral overa all values that the function tex2html_wrap_inline420 can take on between tex2html_wrap_inline426 and tex2html_wrap_inline428 such that tex2html_wrap_inline430 . We write this symbolically as tex2html_wrap_inline432 . Therefore, the tex2html_wrap_inline410 limit of the partition function can be written as

eqnarray88

The above expression in known as a functional integral. It says that we must integrate over all functions (i.e., all values that an arbitrary function tex2html_wrap_inline420 may take on) between the values tex2html_wrap_inline426 and tex2html_wrap_inline428 . It must really be viewed as the limit of the discretized integral introduced in the last lecture. The integral is also referred to as a path integral because it implies an integration over all paths that a particle might take between tex2html_wrap_inline426 and tex2html_wrap_inline428 such that tex2html_wrap_inline446 , where the paths are paramterized by the variable tex2html_wrap_inline448 (which is not time!). The second line in the above expression, which is equivalent to the first, indicates that the integration is taken over all paths that begin and end at the same point, plus a final integration over that point.

The above expression makes it clear how to represent a general density matrix element tex2html_wrap_inline450 :

displaymath104

which indicates that we must integrate over all functions tex2html_wrap_inline420 that begin at x at tex2html_wrap_inline426 and end at x' at tex2html_wrap_inline428 :

   figure115
Figure 2:

Similarly, diagonal elements of the density matrix, used to compute the partition function, are calculated by integrating over all periodic paths that satisfy tex2html_wrap_inline462 :

   figure124
Figure 3:

Note that if we let tex2html_wrap_inline464 , then the density matrix becomes

displaymath132

which are the coordinate space matrix elements of the quantum time evolution operator. If we make a change of variables tex2html_wrap_inline466 in the path integral expression for the density matrix, we find that the quantum propagator can also be expressed as a path integral:

displaymath135

Such a variable transformation is known as a Wick rotation. This nomenclature comes about by viewing time as a complex quantity. The propagator involves real time, while the density matrix involves a transformation tex2html_wrap_inline468 to the imaginary time axis. It is because of this that the density matrix is sometimes referred to as an imaginary time path integral.


next up previous
Next: Dominant paths in the Up: The functional integral representation Previous: The functional integral representation

Mark Tuckerman
Fri Mar 10 17:55:03 EST 2000