Lebesgue classes and preparation of real constructible functions

DOI10.1016/J.JFA.2013.01.014MaRDI QIDQ1948115zbMATH OpenOpenAlexFDO

Authors Raf Cluckers, Daniel J. Miller

Publication date 30 April 2013

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1209.3439

zbMATH Keywords

\(L^{p}\)-spacesconstructible functionsintegrability locuspreparation theoremsubanalytic functions

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)

Abstract: We call a function constructible if it has a globally subanalytic domain and can be expressed as a sum of products of globally subanalytic functions and logarithms of positively-valued globally subanalytic functions. For any $q>0$ and constructible functions $f$ and $mu$ on $EimesR{R}^n$, we prove a theorem describing the structure of the set of all $(x,p)$ in $Eimes(0,infty]$ for which $ymapstof(x,y)$ is in $L^p(|mu{|}_x^q)$, where $|mu{|}_x^q$ is the positive measure on $R{R}^n$ whose Radon-Nikodym derivative with respect to the Lebesgue measure is $ymapsto|mu(x,y){|}^q$. We also prove a closely related preparation theorem for $f$ and $mu$. These results relate analysis (the study of $L^p$-spaces) with geometry (the study of zero loci).

Review text

The authors call a function constructible if it has a globally subanalytic domain and it can be expressed as a sum of products of globally subanalytic functions and logarithms of positively valued globally subanalytic functions. In the paper under review two main results about constructible functions are proved. Let \(q>0\) and let \(f,\mu\) be constructible functions on \(E \times \mathbb R^n\). The first result describes the structure of the set \[ \mathrm{LC}(f,|\mu|^q,E) := \big\{(x,p) \in E \times (0,\infty] : f(x,\cdot) \in L^p(|\mu|^q_x)\big\}, \] where \(L^p(|\mu|^q_x)\) is the Lebesgue space with respect to the positive measure \(|\mu|^q_x\) on \(\mathbb R^n\) given by \[ |\mu|^q_x(Y) = \int_Y |\mu(x,y)|^q\, dy, \] where \(dy\) denotes the Lebesgue measure. It is shown that the set of all fibers of \(\mathrm{LC}(f,|\mu|^q,E)\) over \(E\) is a finite set of open subintervals of \((0,\infty]\), and that set of all fibers of \(\mathrm{LC}(f,|\mu|^q,E)\) over \((0,\infty]\) is a finite set of subsets of \(E\) each of which is the zero locus of a constructible function on \(E\). The second main result (used in the proof of the first) concerns a preparation theorem that expresses \(f\) and \(\mu\) as finite sums of terms of a simple form that reflect the structure of \(\mathrm{LC}(f,|\mu|^q,E)\). These results extend previous work by the authors [Duke Math. J. 156, No. 2, 311--348 (2011; Zbl 1216.26008); Int. Math. Res. Not. 2012, No. 14, 3182--3191 (2012; Zbl 1250.26014)] and by \textit{J.-M. Lion} and \textit{J.-P. Rolin} [Ann. Inst. Fourier 48, No. 3, 755--767 (1998; Zbl 0912.32007); Ann. Inst. Fourier 47, No. 3, 859--884 (1997; Zbl 0873.32004)] and \textit{G. Comte, J.-M. Lion} and \textit{J.-P. Rolin} [Ill. J. Math. 44, No. 4, 884--888 (2000; Zbl 0982.32009)].

Recommendations

• Loci of integrability, zero loci, and stability under integration for constructible functions on Euclidean space with Lebesgue measure
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Algebraically constructible functions1
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• Constructible functions on 2-dimensional analytic manifolds

Cited in

(7)

• A functional realization of the Lebesgue extension
• Hölder-Łojasiewicz inequalities for volumes of tame objects
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• Doubling coverings via resolution of singularities and preparation
• Bounding the decay of oscillatory integrals with a constructible amplitude function and a globally subanalytic phase function
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Analytic holonomicity of real \(C^{\text{exp}}\)-class distributions

This page was built for publication: Lebesgue classes and preparation of real constructible functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1948115)