Show that in the semiclassical limit (ℏ→0), the path integral is dominated by the classical trajectory, and the leading correction gives the Van Vleck determinant. That is, derive the semiclassical approximation
G(x,x′;t)≈2πiℏ1∂x∂x′∂2Sclexp(ℏiScl(x,x′;t)−i2πν)
where Scl is the classical action and ν is the Maslov index.