Differentiability properties of log-analytic functions (Q2080687)

The paper studies the class of the so-called log-analytic functions, introduced by Lion and Rolin, which is the smallest class that contains both (global) subanalytic functions and logarithm and is closed under composition. This class was intensely studied in the late 1990s and 2000s, as a natural extension of the class of subanalytic functions (the parametric volume of a subanalytic family is not subanalytic in general but belongs to this class [\textit{J.-M. Lion} and \textit{J.-P. Rolin}, Ann. Inst. Fourier 48, No. 3, 755--767 (1998; Zbl 0912.32007); \textit{G. Comte} et al., Ill. J. Math. 44, No. 4, 884--888 (2000; Zbl 0982.32009)]), that is not to wild (it admits a preparation theorem [\textit{J.-M. Lion} and \textit{J.-P. Rolin}, Ann. Inst. Fourier 47, No. 3, 859--884 (1997; Zbl 0873.32004); \textit{A. Parusiński}, Ann. Sci. Éc. Norm. Supér. (4) 27, No. 6, 661--696 (1994; Zbl 0819.32007)]), and that can be seen as an elementary brick to generate the structure \(\mathbb R_{\mathrm{an},\exp}\) (which is o-minimal, and defines both restricted analytic functions and the (full) exponential function ([\textit{J.-M. Lion} and \textit{J.-P. Rolin}, Ann. Inst. Fourier 47, No. 3, 859--884 (1997; Zbl 0873.32004); \textit{L. van den Dries} et al., Ann. Math. (2) 140, No. 1, 183--205 (1994; Zbl 0837.12006); \textit{L. van den Dries} and \textit{C. Miller}, Isr. J. Math. 85, No. 1--3, 19--56 (1994; Zbl 0823.03017)]). Since this class is intermediate between two classes of definable functions (it strictly contains subanalytic functions and is strictly contained in the class of functions definable in \(\mathbb R_{\mathrm{an}, \exp}\)), it does not enjoy the usual stability properties of definable functions. The first result of Kaiser and Opris is that this class is however stable by differentiation (Theorem A). From this fact, they manage to deduce log-analytic functions satisfies two nice properties of subanalytic functions that are not general in \(\mathbb R_{\mathrm{an}, \exp}\). Log-analytic functions have a strong quasianalyticity property: if \(f:U\mathbb \to R\) is a non identically zero \(C^{\infty}\) log-analytic function on a domain \(U\), there is a (uniform) integer \(n\in\mathbb N\) such that the jet \(j^nf(a)\) of order \(n\) of \(f\) at \(a\) never vanishes on \(U\) (Theorem B). They also prove that log-analytic functions satisfy a Tamm's theorem: given a (log-analytic) family \(f_x(y)\) of log-analytic functions, there is an integer \(n\) such that \(f_x\) is analytic at \(y\) as soon as it is \(C^n\) at \(y\) (Theorem C).