Set , , and . The Trotter product formula separates the kinetic and potential energy evolution to first order in . Inserting resolutions of the identity in the position operator basis and using the free short-time kernel gives
The exponent converges formally to the action along the path. The prefactors and intermediate integrations define the time-sliced configuration-space path integral measure, so
A real-time path integral is an oscillatory limit with the Feynman i-epsilon prescription, rather than an ordinary probability integral. The operator derivation assumes the usual self-adjointness and product-formula hypotheses for the Hamiltonian.
For a quadratic potential energy write , with and . The first variation vanishes by the Euler-Lagrange equation and the fixed endpoints. Because is quadratic, the remaining expansion is exact:
Here integration by parts has no boundary contribution. Translation of the integration variables leaves the time-sliced measure unchanged. Thus the Gaussian path integral over is independent of the endpoint values, and the entire endpoint dependence lies in .
Expanding in eigenfunctions satisfying Dirichlet boundary conditions, each real mode contributes an inverse square root of its quadratic eigenvalue, with the oscillatory phase fixed by continuation. Normalizing against gives a precise determinant-ratio form:
The determinant ratio is meaningful after a common regulator; the phase is part of the prescription. It is equivalent to writing with an endpoint-independent normalization.
For example, if , the Dirichlet oscillator determinant ratio is
A linear or constant term in changes the action but not this prefactor. The formula holds away from conjugate times, when the boundary problem and determinant are nonsingular. At , it must be continued as a distribution with its Maslov index phase; the assertion of an ordinary finite prefactor cannot be used literally there. For the unshifted oscillator, at the kernel is .
For the full-line source integral, impose vacuum boundary conditions by adiabatic damping. Take the source initially as a test function, so its pairings with the Green function are defined. After integration by parts, write
With the Fourier transform convention , the inverse is
Set . Completing the square gives
and consequently
The Gaussian functional integral is source independent and contains the regulated determinant. This is most naturally read as a normalized vacuum generating functional. For , closing the frequency contour gives ; the time-ordered oscillator two-point function is . This checks the sign of the source exponent and identifies the required vacuum prescription.
Retain the order of the noncommuting position operator and momentum operator. Using their commutator , expansion gives
Thus the two factorizations of the quantum harmonic oscillator are
The orbital angular momentum linear operator is the cross product of the position operator and the momentum operator:
In position space, , so . The Levi-Civita symbol gives and its cyclic analogues.
From the creation and annihilation operators commutator,
Therefore is either zero or an energy eigenstate with energy . Since each energy level of the one-dimensional quantum harmonic oscillator is nondegenerate, . Its norm determines the coefficient:
Choosing the conventional phases of the number states gives
Solving the given relation for the position operator gives
Put . Repeated use of the ladder relations gives
Hence
In first-order nondegenerate perturbation theory, the component is omitted from the state correction, while and . It follows that
which is the first-order ground state of the quartic oscillator.
To first order in , time-dependent perturbation theory replaces the state on the right-hand side by its unperturbed value . The bound state is even, while the position operator is odd. The parity selection rule therefore gives
so and, with no initial continuum component,
Projection onto the odd state gives
Writing and integrating from zero to yields