Growth of log-analytic functions

DOI10.1007/S00013-023-01857-YMaRDI QIDQ6156373zbMATH OpenOpenAlexFDO

Authors

Publication date 13 June 2023

Published in Archiv der Mathematik (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

exponential growthlog-analytic functionspolynomially bounded

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Real-analytic and semi-analytic sets (14P15) Elementary functions (26A09) Rate of growth of functions, orders of infinity, slowly varying functions (26A12) Semi-analytic sets, subanalytic sets, and generalizations (32B20)

Abstract: We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set which contains the germ of every ray at infinity.

Review text

This article studies the lack of polynomially bounded growth of log-analytic functions at infinity. Log-analytic functions were introduced by \textit{J.-M. Lion} and \textit{J.-P. Rolin} [Ann. Inst. Fourier 47, No. 3, 859--884 (1997; Zbl 0873.32004)], as the smallest class that contains both global subanalytic functions and logarithm and that is closed by composition. This class was mostly studied in the late 1990s and early 2000s as an intermediate class between subanalytic functions and functions definable in \(\mathbb R_{\text{an},\exp}\). Log-analytic functions admit a preparation theorem [loc. cit.], which implies directly that a log-analytic function of one variable is bounded by some power function at infinity. In higher dimension, since finding the critical locus of a log-analytic function involves solving log-analytic equations, exponentials might intervene; and with exponentials involved, there might be no power of the radius \(r\) that bounds the maximal value of a log-analytic function \(f\) on the sphere of radius \(r\) (\(f\) continuous). The article gives an explicit example of this fact. The main theorem presented here shows that the locus where this happens is however ``small at infinity. Given a continuous log-analytic function \(f\), a set \(U\) can be constructed, that is definable in \(\mathbb R_{\text{an},\exp}\) and contains all germs of lines at infinity, in such a way the restriction of \(f\) to \(U\) is bounded by a power of the radius. The proof mostly relies on the preparation theorem for log-analytic functions together with elementary o-minimal geometry.

Recommendations

• Integer-valued definable functions
• Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application
• Differentiability properties of log-analytic functions
• Analytic continuations of --analytic germs
• Uniform bounds on growth in o-minimal structures

Cites work

• A geometric proof of the definability of Hausdorff limits
• Densité des ensembles sous-analytiques. (On the density of subanalytic sets)
• Differentiability properties of log-analytic functions
• Geometric categories and o-minimal structures
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)

Cited in

(7)

• On the growth of the logarithmic derivative
• Restricted log-exp-analytic functions and some differentiability results
• Growth characteristics of loxodromic and elliptic functions
• scientific article; zbMATH DE number 519891 (Why is no real title available?)
• 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
• On preparation theorems for R_{an, exp}-definable functions
• Growth estimates for exp-log functions

This page was built for publication: Growth of log-analytic functions

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