Stability under integration of sums of products of real globally subanalytic functions and their logarithms (Q627324): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2014185065 / rank | |||
Normal rank |
Revision as of 00:57, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stability under integration of sums of products of real globally subanalytic functions and their logarithms |
scientific article |
Statements
Stability under integration of sums of products of real globally subanalytic functions and their logarithms (English)
0 references
28 February 2011
0 references
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)].
0 references
globally subanalytic functions
0 references
logarithm of subanalytic function
0 references
stability under integration
0 references
Lebesgue's integral
0 references