next up previous
Next: The Measure of Path Up: Path Integral in Spaces Previous: Path Integral in Spaces

Nonholonomic Transformation of the Action

The short-time action contains the square distance tex2html_wrap_inline4301 which we have to transform to q-space. For an infinitesimal coordinate difference tex2html_wrap_inline4305 , the square distance is obviously given by tex2html_wrap_inline4307 . For a finite tex2html_wrap_inline4309 , however, it is well known that we must expand tex2html_wrap_inline4301 up to the fourth order in tex2html_wrap_inline4313 to find all terms contributing to the relevant order tex2html_wrap_inline4140 .

It is important to realize that with the mapping from tex2html_wrap_inline4080 to tex2html_wrap_inline4319 not being holonomic, the finite quantity tex2html_wrap_inline4321 is not uniquely determined by tex2html_wrap_inline4323 . A unique relation can only be obtained by integrating the functional relation (65) along a specific path. The preferred path is the classical orbit, i.e., the autoparallel in the q-space. It is characterized by being the image of a straight line in the x-space. There tex2html_wrap_inline4329 const and the orbit has the linear time dependence

  equation1322

where the time tex2html_wrap_inline4331 can lie anywhere on the t-axis. Let us choose for tex2html_wrap_inline4331 the final time in each interval tex2html_wrap_inline4337 At that time, tex2html_wrap_inline4339 is related to tex2html_wrap_inline4341 by

  equation1326

It is easy to express tex2html_wrap_inline4343 in terms of tex2html_wrap_inline4345 along the classical orbit. First we expand tex2html_wrap_inline4347 into a Taylor series around tex2html_wrap_inline4349 . Dropping the time arguments, for brevity, we have

  equation1332

where tex2html_wrap_inline4351 and tex2html_wrap_inline4353 are the time derivatives at the final time tex2html_wrap_inline4349 . An expansion of this type is referred to as a postpoint expansion. Due to the arbitrariness of the choice of the time tex2html_wrap_inline4331 in Eq. (95), the expansion can be performed around any other point just as well, such as tex2html_wrap_inline4359 and tex2html_wrap_inline4361 , giving rise to the so-called prepoint or midpoint expansions of tex2html_wrap_inline4363 .

Now, the term tex2html_wrap_inline4365 in (96) is given by the equation of motion (21) for the autoparallel

  equation1352

A further time derivative determines

  equation1360

Inserting these expressions into (96) and inverting the expansion, we obtain tex2html_wrap_inline4367 at the final time tex2html_wrap_inline4349 expanded in powers of tex2html_wrap_inline4363 . Using (94) and (95) we arrive at the mapping of the finite coordinate differences:

  eqnarray1380

where tex2html_wrap_inline4373 and tex2html_wrap_inline4060 are evaluated at the postpoint. Inserting this into the short-time amplitude (93), we obtain

  equation1405

with the short-time postpoint action

  eqnarray1421

Separating the affine connection into Christoffel symbol and torsion, this can also be written as

  eqnarray1449

Note that the right-hand side contains only quantities intrinsic to the q-space. For the systems treated there (which all live in a euclidean space parametrized with curvilinear coordinates), the present intrinsic result reduces to the previous one.

At this point we observe that the final short-time action (101) could also have been introduced without any reference to the flat coordinates tex2html_wrap_inline4070 . Indeed, the same action is obtained by evaluating the continuous action (3) for the small time interval tex2html_wrap_inline4381 along the classical orbit between the points tex2html_wrap_inline4383 and tex2html_wrap_inline4385 . Due to the equations of motion (21), the Lagrangian

  equation1483

is independent of time (this is true for autoparallels as well as geodesics). The short-time action

  equation1492

can therefore be written in either of the three forms

  equation1503

where tex2html_wrap_inline4387 are the coordinates at the final time tex2html_wrap_inline4349 , the initial time tex2html_wrap_inline4359 , and the average time tex2html_wrap_inline4393 , respectively. The first expression obviously coincides with (101). The others can be used as a starting point for deriving equivalent prepoint or midpoint actions. The prepoint action tex2html_wrap_inline4395 arises from the postpoint one tex2html_wrap_inline4397 by exchanging tex2html_wrap_inline4363 by tex2html_wrap_inline4401 and the postpoint coefficients by the prepoint ones. The midpoint action has the most simple-looking appearance:

  eqnarray1538

where the affine connection can be evaluated at any point in the interval tex2html_wrap_inline4403 . The precise position is irrelevant to the amplitude producing only changes beyond the relevant order epsilon.

In the textbook [12], the postpoint action turned out to be the most useful one since it gives ready access to the time evolution of amplitudes. The prepoint action is completely equivalent to it and useful if one wants to describe the time evolution backwards. Some authors favor the midpoint action because of its symmetry and intimate relation to an ordering prescription in operator quantum mechanics which was advocated by H. Weyl. This prescription is, however, only of historic interest since it does not lead to the correct physics. In the following, the action tex2html_wrap_inline4405 without subscript will always denote the preferred postpoint expression (101):

  equation1564


next up previous
Next: The Measure of Path Up: Path Integral in Spaces Previous: Path Integral in Spaces

Hagen Kleinert
Mon Feb 17 09:33:29 MET 1997