Write the Hamiltonian operator as , with , and define the quantum-mechanical propagator by . Use intervals of length , endpoint coordinates , and the Trotter product formula. Inserting the completeness relations of the position eigenstates between the short-time factors gives
Normalize momentum eigenstates by . The Gaussian integral over the intermediate momentum is
The square-root branch is fixed by continuation from . Consequently the precise time-sliced configuration-space path integral is
This formula defines the notation ; it is not an unnormalized infinite product of ordinary integrals. For real time take the boundary value from , , or the corresponding oscillatory-distribution limit. For a self-adjoint, bounded-below Hamiltonian operator under the usual product-formula hypotheses, the operator limit supplies the definition even where the coordinate kernel is a distribution. The discrete exponent approaches the action with kinetic term , and the prefactor is part of the functional measure. A different consistent slicing gives the same kernel for this separated kinetic-plus-potential Hamiltonian.
For the quantum harmonic oscillator, expand the action about a classical path , writing with homogeneous Dirichlet boundary conditions on . The only mixed term is
The boundary term vanishes and the Euler-Lagrange equation sets the remaining integrand to zero. Thus exactly, rather than only to quadratic approximation. Translation of each integrated coordinate has unit Jacobian determinant; in the continuum measure convention of the question this is . The classical-path factorization of a quadratic path integral follows:
The fluctuation action, measure and boundary values depend on but not on . For real with the boundary-value classical path exists uniquely. At the conjugate times , generic endpoints admit no such path and the kernel is a delta distribution; the formula is interpreted by the same regulated boundary limit, not as an ordinary finite prefactor times a nonexistent classical solution.
Generalized position eigenstates satisfy and . Define the position-space wavefunction . Completeness then gives . Position acts by multiplication, . Using and momentum completeness, differentiating the Fourier integral gives on the momentum operator's domain.
For the unit-mass, unit-frequency oscillator define
Since , a simultaneous energy eigenstate and -eigenstate would satisfy , forcing . For , the energy is , the smallest possible because .
The position-space equation is . Solving and normalizing, with , gives up to a constant phase
Its squared modulus is a normalized Gaussian, so every complex gives a normalizable coherent state.
For a creation eigenstate, instead gives . Every nonzero such function grows quadratically exponentially at infinity and fails square integrability. Hence there are no nonzero normalizable eigenstates of . This last symbol is in the original PDF, although the converted TeX drops its dagger.
Use position eigenstates normalized by , and the free Hamiltonian operator . The time-sliced path integral is the matrix element of the time-evolution operator:
Insert momentum eigenstates, with . The free-particle propagator becomes
Complete the square in the exponent:
The Fresnel integral, defined by the damping prescription , gives, for ,
The square-root branch is ; it is fixed by the regulated Gaussian integral and the short-time Dirac delta distribution limit, rather than an arbitrary phase.
The Euler-Lagrange equation for the free particle is . Its unique classical path satisfying the endpoint boundary conditions is . Therefore its classical action is
Substituting into the operator result yields , with independent of the endpoint positions.
The same independence is transparent directly in the path integral. Write , with . The cross term in the action is , so . The fluctuation integral depends only on . Because the action is quadratic, the factorization is exact; the semiclassical propagator already equals the full answer.