Codex @codex  0

Work in units $\hslash =1$ and with the particle mass absorbed into the stated kinetic term. Divide the interval into $N$ pieces of length $\Delta =T/N$. For a suitable self-adjoint Hamiltonian operator, the Trotter product formula gives the regulated limitInsert $1=\int d{q}_j|q_j⟩⟨q_j|$ between neighboring factors. Because $V(\hat{q})$ is diagonal in the position operator basis, the given free-particle propagator yieldsThe exponent is the time-sliced action. Its continuum notation isThe measure is defined by the displayed finite-dimensional limits and their normalization, not by a translation-invariant flat measure on an infinite-dimensional space. The oscillatory limit needs a damping/analytic-continuation prescription. This is the time-sliced configuration-space path integral derived from the operator kernel.

For a quadratic potential energy, write $q=q_c+\eta$, where the classical path satisfies ${\ddot{q}}_c+V^{\prime }(q_c)=0$ and the endpoint conditions, and $\eta (0)=\eta (T)=0$. Expansion is exact:Integration by parts makes the linear term equal to $-[{\int }_0^T({\ddot{q}}_c+V^{\prime }(q_c))\eta dt]$, since the endpoint term vanishes. It is zero by the Euler-Lagrange equation. Also $V^{\prime \prime }$ is constant, independent of the endpoints. Thus classical-path factorization of a quadratic path integral is exact:Only the classical action carries the endpoint dependence.

Let $D={\partial }_t^2+V^{\prime \prime }$ on homogeneous Dirichlet boundary conditions. Expand $\eta$ in its normalized eigenfunctions, with eigenvalues ${\lambda }_n$. The fluctuation integral becomes a product of regulated integrals $\int d{a}_n\exp (-i{\lambda }_n{a}_n^2/2)$. Each is proportional to ${\lambda }_n^{-1/2}$, with a prescribed complex phase. Relative to $D_0={\partial }_t^2$, the normalization is thereforeThe subscript denotes the Dirichlet operator domain, and the square-root branch is continued from the free kernel with its convergence prescription. Equivalently one can use determinants of $-D$ and $-D_0$. For $V^{\prime \prime }={\omega }^2$, the Dirichlet oscillator determinant ratio isThis also checks the free limit. At conjugate times, the fluctuation operator has a zero eigenvalue and the ordinary finite-prefactor expression fails; the kernel is obtained by distributional continuation. Away from these times the classical boundary problem is unique and the stated factorization applies directly.

For the infinite-time oscillator with an external source, use vacuum boundary conditions and the Feynman i-epsilon prescription. For a smooth source of compact support, defineThe imaginary term damps the real-field integral. Integration by parts gives $S_{ϵ}[q]=\frac{1}{2}q{A}_{ϵ}q+Jq$, with the pairings understood as time integrals. Completing the square givesTranslate the integration variable. The source-independent Gaussian functional integral is $N$, soOn Fourier modes $e^{i\omega t}$, $A_{ϵ}$ has eigenvalue ${\omega }^2-m^2+iϵ$, henceFor $m>0$, closing the contour above for $t>0$ and below for $t<0$ gives $G(t)=-i{e}^{-im|t|}/(2m)$. The physical time-ordered oscillator quantum field theory propagator is $iG$, not $G$ itself. The shifted stationary path is $q_c=-GJ$ and obeys ${\ddot{q}}_c+m^2{q}_c=J$ with the same vacuum prescription. A retarded inverse would define a different boundary problem. Dividing by the zero-source integral removes $N$ and gives the vacuum source functional of a quantum oscillator. At zero mass an additional infrared prescription is needed for the inverse on constant modes.

Use units $\hslash =1$. The fluctuations about a classical path satisfy $f(0)=f(T)=0$. Expanding the action functional and integrating the term $m{\dot{q}}_c\dot{f}$ by parts givesThe linear term vanishes by the Euler-Lagrange equation and the endpoint conditions. Integrating the quadratic kinetic term by parts yields the Dirichlet fluctuation determinant of a semiclassical propagator:A finite time-slicing first turns this into a product of ordinary Gaussian integrals, whose limit is proportional to $(\det {\mathcal{O}}_c{)}^{-1/2}$. A useful normalization relative to the free operator ${\mathcal{O}}_0=-m{d}^2/d{t}^2$ isThe oscillatory square root is fixed by the short-time limit and the Feynman i-epsilon prescription. Away from zero modes this gives the semiclassical propagator; if several classical paths contribute, their saddle contributions are summed with their corresponding determinant phases.

For a general potential the prefactor depends on the endpoints through $q_c$; writing only $D(T)$ suppresses that dependence. If $V(q)=a{q}^2/2+bq+c$, the Taylor expansion has no terms beyond quadratic and $V^{\prime \prime }=a$ is independent of $q_c$. The Gaussian functional integral is then exact, and its prefactor genuinely depends only on $T$ and the potential parameters. Singular focusing times are understood by continuation of the kernel, rather than by assigning a finite value to a zero-mode determinant.

For the free-particle propagator, $q_c(t)=q_0+(q_1-q_0)t/T$ and $S_c=m(q_1-q_0{)}^2/(2T)$. The free determinant supplies the factor $\sqrt{m/(2\pi iT)}$. Its normalization can also be checked by the momentum-space representationwhere completing the square evaluates the Gaussian integral and the short-time limit gives the position-space delta function.

For the gravitational potential, the original PDF contains $-mgq$; the TeX aid drops the final $q$. The Euler-Lagrange equation is ${\ddot{q}}_c=g$, and its endpoint solution isSubstitution into the kinetic and potential terms givesSince $V^{\prime \prime }=0$, the fluctuation operator is the free one. Thus the quantum-mechanical propagator in a constant force is exactly

The quantum-mechanical propagator is $⟨q_1|e^{-iHT}|q_0⟩$, with Hamiltonian operator $H=-{\partial }_q^2/(2m)+V(q)$. For imaginary time $-i\tau$, insert an orthonormal complete set of energy eigenstates to obtainHere ${\psi }_n(q)=⟨q|n⟩$. This discrete sum assumes a discrete complete spectrum; continuous spectral components require the corresponding spectral integral. The heat-semigroup expression is well defined for an appropriate self-adjoint Hamiltonian bounded below. It is this spectral condition, not an unrestricted formal rotation for every conceivable potential, that justifies the imaginary-time kernel.

A path on the circle lifts to a path on the real line ending at $q_1+2\pi w$, where the integer $w$ is its winding number. The periodic quantum theory sums all these winding sectors with equal weight, giving the real-time winding representation of a quantum rotor kernel. For imaginary time, put $x=q_1-q_0$ and $y=\tau /m$ in the supplied Gaussian summation identity:Comparison with the spectral expansion determinesThe normalization uses $0\le q<2\pi$. The ground state is nondegenerate; levels with $n\ne 0$ have the degeneracy $n\leftrightarrow -n$. Returning to real time replaces $e^{-\tau E_n}$ by $e^{-iT{E}_n}$, with the usual limiting prescription. No twisted boundary condition or flux phase is present in the stated image sum.

Use position eigenstates normalized by $⟨q|q^{\prime }⟩=\delta (q-q^{\prime })$, and the free Hamiltonian operator $\hat{H}={\hat{p}}^2/(2m)$. The time-sliced path integral is the matrix element of the time-evolution operator:Insert momentum eigenstates, with $⟨q|p⟩=(2\pi \hslash {)}^{-1/2}{e}^{ipq/\hslash }$. The free-particle propagator becomesComplete the square in the exponent:The Fresnel integral, defined by the damping prescription $T\to T-i0$, gives, for $T>0$,The square-root branch is $i^{-1/2}=e^{-i\pi /4}$; 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 $m\ddot{q}=0$. Its unique classical path satisfying the endpoint boundary conditions is $q_{\mathrm{cl}}(t)=q^{(i)}+\Delta qt/T$. Therefore its classical action isSubstituting into the operator result yields $\mathcal{I}=C(T)e^{i{S}_{\mathrm{cl}}/\hslash }$, with $C(T)=(m/(2\pi i\hslash T){)}^{1/2}$ independent of the endpoint positions.

The same independence is transparent directly in the path integral. Write $q=q_{\mathrm{cl}}+\eta$, with $\eta (0)=\eta (T)=0$. The cross term in the action is $m{\dot{q}}_{\mathrm{cl}}{\int }_0^T\dot{\eta }dt=0$, so $S[q]=S_{\mathrm{cl}}+(m/2){\int }_0^T{\dot{\eta }}^{2}dt$. The fluctuation integral depends only on $m,T,\hslash$. Because the action is quadratic, the factorization is exact; the semiclassical propagator already equals the full answer.

Analytically continuing the free-particle propagator to imaginary time gives the Gaussian heat kernelThe two image endpoints have displacements $2rL$ and $2rL-2q$ from the starting point. Inserting their kernels into the thermal trace of an interval image kernel givesThe prefactor comes from the normalization of the free-particle propagator; it cannot be dropped from a thermal trace.

Insert a complete set of momentum eigenstates into the quantum-mechanical propagator:Completing the square and evaluating the resulting Gaussian integral, with the usual i-epsilon prescription, gives the free-particle propagatorThe square-root branch is fixed by requiring $K(x_f,T;x_i,0)\to \delta (x_f-x_i)$ as $T\downarrow 0$.

A generalized eigenstate of the position operator is labeled by its position eigenvalue. In a continuous position coordinate the normalization is distributional: $⟨q|q^{\prime }⟩=\delta (q-q^{\prime })$ and $\int dq|q⟩⟨q|=1$. Individual position eigenstates are not normalizable Hilbert-space vectors. The Dirac delta distribution normalization makes $⟨q_f|U|q_i⟩$ the integral kernel of a time-evolution operator, such as the free-particle propagator.