Phase-space path integral ($K=\int \mathcal{D}q\mathcal{D}p{e}^{i\int (p\dot{q}-H)dt}$)

A phase-space path integral represents a quantum transition kernel by integrating both coordinates and conjugate momenta with action $\int (p\dot{q}-H)dt$. It follows from inserting position and momentum completeness relations between short-time evolution operators. For a quadratic momentum dependence the momentum variables can be integrated by a Gaussian integral.

Integrating each momentum in a quadratic Hamiltonian yields the configuration-space kinetic action and its time-slice normalization. A raw $dp$ measure gives $\sqrt{2\pi m/\Delta t}$; the normalized Fourier measure $dp/(2\pi )$ gives $\sqrt{m/(2\pi \Delta t)}$. Dropping the time dependence changes the quantum-mechanical propagator.

For $H=p^2/(2m)+V(q)$, time slices of length $\delta$ use $N$ momentum measures $d{p}_j/(2\pi \hslash )$ and $N-1$ intermediate coordinate measures. Each momentum Gaussian integral gives $[m/(2\pi i\hslash \delta ){]}^{1/2}\exp [im(q_j-q_{j-1}{)}^2/(2\hslash \delta )]$. The resulting configuration integral has normalization $[m/(2\pi i\hslash \delta ){]}^{N/2}$. A common endpoint convention for $V$ and the Trotter product formula identify both limits with the same operator transition kernel; a damping or imaginary-time prescription defines the oscillatory integrals.

// Target: perturbative-quantum-field-theory.bigb

The first-order term means ${\sum }_i{p}_i(q_{i+1}-q_i)$ in a finite-dimensional integral. Specify the endpoints and an ordering prescription, then take the maximum time step to zero. Typical Euclidean paths are not classically differentiable, so the discrete prescription is essential.