Make the Wick rotation , and write for the final imaginary time, where is inverse temperature and is the reduced Planck constant. Then and . Thus the continued action is
Both the kinetic energy and the potential energy enter this Euclidean action with positive signs relative to their real-time definitions. Also , so the Euclidean path integral is
Its boundary conditions fix the two endpoint positions. They need not coincide: identifying and integrating over them would instead give the thermal trace.
The normalization of can be fixed without continuing a formal measure. Apply the Trotter product formula to , divide into intervals of size , and integrate the intermediate positions. The resulting time-sliced configuration-space path integral is
This also explains the upper limit rather than when the reduced Planck constant has not been set to one.
For a free particle, vary the Euclidean action with a variation obeying . Integration by parts gives
The Euler-Lagrange equation is therefore . The fixed boundary conditions determine its unique solution:
This classical path is also the unique minimum among paths with finite Euclidean action: the second variation is for every nonzero admissible variation. Its Euclidean action is
Write , so the fluctuation has homogeneous Dirichlet boundary conditions . Because is constant, the cross term in the Euclidean action vanishes exactly:
Consequently
Translation of each intermediate integration variable has Jacobian determinant one in the time-sliced configuration-space path integral. This is an exact classical-path factorization of a quadratic path integral, giving
The fluctuation Euclidean action, the homogeneous boundary conditions, and the measure normalization contain neither nor . Hence is independent of both endpoint positions. It depends on .
With the standard position-state normalization, the Euclidean free-particle bridge amplitude is
For example, a momentum resolution gives a one-dimensional Gaussian integral,
whose evaluation gives the same exponent and prefactor. In particular, the result integrates to one over at fixed , as required for its heat kernel interpretation.
The integrated stochastic differential equation reads
The Gaussian white noise has zero expected value, so
Its Dirac delta covariance gives
Thus , which is also the variance because the displacement has zero expected value. More generally its covariance is . Equivalently for standard Brownian motion, and the diffusion coefficient is .
The Brownian motion displacement has a normal distribution with variance . Its transition probability density function is therefore
Comparison with the free particle heat kernel obtained in part (c) gives the required matching:
This matches whole path distributions after a linear reparametrization, not merely endpoint variances. To see this, divide the Brownian duration into slices of size . The independent increments have normal distributions with variance , so their joint density contributes
For the Euclidean path integral, the corresponding expression is
The matching condition makes , so both the exponents and all normalization factors coincide. In particular, identifying Brownian time with imaginary time, , requires , or diffusion coefficient .
With both endpoints fixed, the normalized path law is a Brownian bridge. The Euclidean path integral itself is the endpoint density times that conditional path law. In the normalized time coordinate , its expected value and covariance are
The classical path is therefore the bridge's expected value, while individual Brownian bridge paths fluctuate about it. Typical Brownian motion paths are continuous but nowhere differentiable: the kinetic Euclidean action is interpreted through the time-sliced diffusion path integral, rather than by assuming that a typical path has an ordinary velocity.

Articles by others on the same topic (0)

There are currently no matching articles.