Phase space Feynman path integrals via piecewise bicharacteristic paths and their semiclassical approximations

We give a fairly general class of functionals for which the phase space Feynman path integrals have a mathematically rigorous meaning. More precisely, for any functional belonging to our class, the time slicing approximation of the phase space path integral converges uniformly on compact subsets of the phase space. Our class of functionals is rich because it is closed under addition and multiplication. The interchange of the order with the Riemann integrals, the interchange of the order with a limit and the perturbation expansion formula hold in the phase space path integrals. The use of piecewise bicharacteristic paths naturally leads us to the semiclassical approximation on the phase space.