M. Grothaus et L. Streit, Quadratic actions, semi-classical approximation, and delta sequences in Gaussian analysis, REP MATH PH, 44(3), 1999, pp. 381-405
A mathematically rigorous realization of Feynman integrals is given. The co
nstruction works for quadratic actions (there is only a restriction to limi
ted time intervals). These techniques enable the calculation of the semi-cl
assical approximation for a given Feynman propagator. Finally, delta sequen
ces in Gaussian analysis are presented and their connection to semi-classic
al approximation is discussed.