 Solution

With a nonconstant potential energy, momentum no longer diagonalizes the Hamiltonian operator. The operator derivation must use the energy eigenfunctions of the full Hamiltonian, a Dyson series, or a time-sliced Trotter product formula. In the classical derivation, the straight paths are replaced by every solution of the nonlinear Euler-Lagrange equation with the specified endpoints. The semiclassical propagator becomes a sumwhere the prefactor is the Van Vleck determinant and ${\mu }_{\mathrm{cl}}$ is a Maslov index. Unlike a quadratic theory, the classical-path sum is generally only an asymptotic approximation: the exact path integral includes fluctuations of every order. On the circle, the sum must still include all winding number sectors.