Stability under integration of sums of products of real globally subanalytic functions and their logarithms (Q627324): Difference between revisions

The authors consider sums of products of globally subanalytic functions and their logarithms, called also constructible functions. Any constructible function can be represented as a parametrized integral of a globally subanalytic function. The main theorem of the authors states that the class of constructible functions is stable (in a certain sense) under integration; from which it follows that the class of constructible functions is the smallest class of functions which are stable under integration and contains all the globally subanalytic functions. In order to use the main theorem in conjunction with Fubini's theorem, the authors also prove that, for constructible functions, the notion of ``integrable almost everywhere'' has a globally subanalytic interpretation. The results are natural generalizations of works by \textit{J.-M. Lion} and \textit{J.-P. Rolin} [Ann. Inst. Fourier 47, No.~3, 859--884 (1997; Zbl 0873.32004)] and by \textit{G. Comte}, \textit{J.-M. Lion} and \textit{J.-P. Rolin} [Ill. J. Math. 44, No.~4, 884--888 (2000; Zbl 0982.32009)] on the integration of globally subanalytic functions; and they are analogues of results for \(p\)-adic and motivic integrals studied by \textit{J. Denef} [in: Model theory, algebra, and geometry. Cambridge: Cambridge University Press. Math. Sci. Res. Inst. Publ. 39, 173--198 (2000; Zbl 0981.03041)], \textit{R. Cluckers} [Trans. Am. Math. Soc. 356, No.~4, 1489--1499 (2004; Zbl 1048.11094)], \textit{R. Cluckers} and \textit{F. Loeser} [Invent. Math. 173, No.~1, 23--121 (2008; Zbl 1179.14011)] or \textit{R. Cluckers}, \textit{L. Lipshitz} and \textit{Z. Robinson} [Ann. Sci. Éc. Norm. Supér. (4) 39, No.~4, 535--568 (2006; Zbl 1168.12006)].