Lebesgue classes and preparation of real constructible functions (Q1948115)

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)].