Integration of Oscillatory and Subanalytic Functions
For each globally subanalytic set X, we construct a certain ring Cexp(X) of complex-valued functions on X. We show that Cexp={Cexp(X)}X is the smallest family of rings of functions on the subanalytic sets that is stable under integration and which contains all functions of the form f and exp(if), where f is globally subanalytic. We also show that Cexp is closed under taking Fourier transforms, both in the sense of L1 and of L2. The proofs of these theorems involve extensive use of the subanalytic preparation theorem and also properties of almost periodic functions. This work is joint with R. Cluckers, G. Comte, J.-P. Rolin, and T. Servi.