Feynman path integrals for polynomially growing potentials

A general class of infinite dimensional oscillatory integrals with polynomially growing phase functions is studied. A representation formula of the Parseval type is proved, as well as a formula giving the integrals in terms of analytically continued absolutely convergent integrals. These results are applied to provide a rigorous Feynman path integral representation for the solution of the time-dependent Schrödinger equation with a quartic anharmonic potential. The Borel summability of the asymptotic expansion of the solution in power series of the coupling constant is also proved.