After the shift , the endpoint values of are both zero. Expanding the Euclidean action givesBy integration by parts, the cross term isThe first term vanishes by the homogeneous Dirichlet boundary conditions, and the second by the Euler-Lagrange equation. The translation has unit Jacobian determinant in the time-sliced configuration-space path integral, so . Consequently classical-path factorization of a quadratic path integral is exact here:All dependence on the common endpoint lies inThe endpoint domain and the integrand defining are the same for every . This is a zero-endpoint Gaussian path integral; the canonical partition function instead integrates the entire diagonal kernel over . The final sentence of the printed part omits from its exponential: the physical Boltzmann factor has the dimensionless exponent .
An optional normalization check uses the Dirichlet oscillator fluctuation determinant. Its eigenvalues are , . Relative to the free-particle Gaussian path integral, the hyperbolic-sine infinite product givesThus . Integrating the resulting diagonal thermal kernel of a quantum harmonic oscillator by a Gaussian integral yields , including the zero-point energy.
Articles by others on the same topic
There are currently no matching articles.