Phase space analysis of finite and infinite dimensional Fresnel integrals

The full characterization of the class of Fresnel integrable functions is an open problem in functional analysis, with significant applications to mathematical physics (Feynman path integrals) and the analysis of the Schrödinger equation. In finite dimension, we prove the Fresnel integrability of functions in the Sjöstrand class M∞,1 - a family of continuous and bounded functions, locally enjoying the mild regularity of the Fourier transform of an integrable function. This result broadly extends the current knowledge on the Fresnel integrability of Fourier transforms of finite complex measures, and relies upon ideas and techniques of Gabor wave packet analysis. We also discuss infinite-dimensional extensions of this result. In this connection, we extend and make more concrete the general framework of projective functional extensions introduced by Albeverio and Mazzucchi. In particular, we obtain a concrete example of a continuous linear functional on an infinite-dimensional space beyond the class of Fresnel integrable functions. As an interesting byproduct, we obtain a sharp M∞,1 → L∞ operator norm bound for the free Schrödinger evolution operator.