 Phase-space path integral

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.