Stability under integration of sums of products of real globally subanalytic functions and their logarithms

Abstract

We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The second theorem treats integrability conditions in Fubini-type settings, and the third result gives decay rates at infinity for constructible functions. Further, we give preparation results for constructible functions related to integrability conditions.

References in corpus (1)

• Constructible motivic functions and motivic integration

Cited by in corpus (7)

• Integration of Oscillatory and Subanalytic Functions
• Lebesgue measure theory and integration theory on non-archimedean real closed fields with archimedean value group
• Periods, Power Series, and Integrated Algebraic Numbers
• Parametric Fourier and Mellin transforms of power-constructible functions
• On Preparation Theorems for ${\mathbb{R}}_{an,exp}$-definable functions
• Asymptotics of parameterized exponential integrals given by Brownian motion on globally subanalytic sets
• From Cell Decomposition to Motivic Integration, Hensel Minimality, and Point Counting