A particular form of the path integral is presented that allows the implementation of general canonical transformations in quantum mechanics, as well as a consistent quantization procedure.
The behavior of Hamiltonian path integrals under canonical transformations defined by a generator is investigated. The exact form of the kernel of the unitary operator which implements the quantum transformation is indicated. Equivalence rules are found (for the Hamiltonian formalism in the one-dimensional case) allowing one to get rid of the nonstandard terms in the action. It is shown that under canonical transformations the Hamiltonian path integral changes its form: in the transformed expression one cannot get along only with the corresponding classical Hamiltonian function.
The definition and interpretation of canonical, phase space path integrals has evolved over many years to achieve a form that now admits a correct and rigorous formulation, which is also covariant under canonical coordinate transformations. Such formulations involve coherent state representations, which, in their modern version, were originally introduced as an alternative tool to construct phase space path integrals. Moreover, coherent state representations lead to physical interpretations that are more natural than those afforded by more traditional representations. Suitable continuous time regularization procedures lead to a covariant phase space path integral formulation that greatly clarifies the vague phrase that canonical quantization requires Cartesian coordinates.
We discuss how the Hamiltonian changes in quantum canonical transformations. To the operator $\stackrel{^}{\mathcal{H}}(\stackrel{^}{p},\stackrel{^}{q})$ one can associate (in a given ordering rule) a c-number function H(p,q). It is this function that appears in the action of the phase-space path integral. A quantum canonical transformation $\stackrel{^}{\mathcal{H}}\ensuremath{\rightarrow}{\stackrel{^}{\mathcal{H}}}^{\ensuremath{'}}$ can now be expressed as an integral transformation ${\mathcal{H}}^{\ensuremath{'}}(\overline{p},\overline{q})=\ensuremath{\int}\mathrm{dp}\mathrm{dq}\mathcal{T}(\overline{p},\overline{q};p,q)\mathcal{H}(p,q)$. The kernel T is constructed explicitly for point transformations and for the $p=\ensuremath{-}\overline{q}$, q=p reflection by studying changes of variables in the path integral. The ordering dependence of T is displayed. The invariance of commutation rules is also discussed.