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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Log-analytic functions have been defined by Lion and Rolin in their seminal paper [3]. They are iterated compositions from either side of globally subanalytic functions (see [6]) and the global logarithm. In [1], it was shown that, from the point of view of differentiability, log-analytic functions behave similarly to globally subanalytic functions. We have strong quasianalyticity, and Tamm’s theorem holds. But with respect to growth properties, log-analytic functions behave in a different way compared to globally subanalytic functions. Globally subanalytic functions are polynomially bounded. This holds also for log-analytic functions of one variable. But in higher dimension, surprisingly, the situation changes. Although the global exponential function is not involved in the definition of log-analytic functions, a log-analytic function in at least two variables can have exponential growth. We construct an example where the function is not polynomially bounded on every dense definable set. But polynomially boundedness holds on a definable set which is ‘thick’ at infinity: We show that a log-analytic function is polynomially bounded on a definable set which contains the germ of every ray at infinity.
2 Notations
By \(\mathbb {N}=\{1,2,\ldots \}\) we denote the set of natural numbers, and by \(\mathbb {N}_0=\{0,1,2,\ldots \}\) the set of nonnegative integers.
For \(t\in \mathbb {R}\), we set \(\mathbb {R}_{>t}:=\{x\in \mathbb {R}\mid x>t\}\) and \(\mathbb {R}_{\ge t}:=\{x\in \mathbb {R}\mid x\ge t\}\). Denoting by \(|\cdot |\) the Euclidean norm on \(\mathbb {R}^n\), we set \(\mathbb {S}^{n-1}:=\{x\in \mathbb {R}^n\mid |x|=1\}\). Given a subset A of \(\mathbb {R}^n\), we denote by \(\overline{A}\) its closure.
By \(\pi :\mathbb {R}^n\times \mathbb {R}\rightarrow \mathbb {R}^n, (x,y)\mapsto x,\) we denote the projection on all but the last coordinate. For a subset A of \(\mathbb {R}^n\times \mathbb {R}\) and \(x\in \mathbb {R}^n\), we set \(A_x:=\{y\in \mathbb {R}\mid (x,y)\in A\}\).
By \(\textrm{exp}_k\), respectively \(\log _k\), we denote the k-times iterated of the exponential function, respectively the logarithm.
3 The results
We assume basic knowledge of o-minimality (see for example van den Dries [5] and van den Dries and Miller [6]). By definable we mean definable (with parameters) in the o-minimal structure \(\mathbb {R}_{\textrm{an},\textrm{exp}}\) (see [6] for this structure).
3.1 Setting and preliminaries
We recall the precise definition of a log-analytic function (see Lion and Rolin [3]) and state consequences of preparation results on special sets (compare with [1]).
Definition 1
Let \(X \subset \mathbb {R}^n\) be definable and let \(f:X \rightarrow \mathbb {R}\) be a function.
-
(a)
Let \(k \in \mathbb {N}_0\). By induction on k, we define that f is log-analytic of order at most k. Base case: The function f is log-analytic of order at most 0 if f is piecewise the restriction of globally subanalytic functions; i.e., there is a finite decomposition \(\mathcal {Y}\) of X into definable sets such that for \(Y \in \mathcal {Y}\), there is a globally subanalytic function \(F:\mathbb {R}^n \rightarrow \mathbb {R}\) such that \(f|_Y=F|_Y\). Inductive step: The function f is log-analytic of order at most k if the following holds: There is a finite decomposition \(\mathcal {Y}\) of X into definable sets such that for \(Y \in \mathcal {Y}\), there are \(p,q \in \mathbb {N}_0\), a globally subanalytic function \(F:\mathbb {R}^{p+q} \rightarrow \mathbb {R}\) and log-analytic functions \(g_1,\ldots ,g_p: Y \rightarrow \mathbb {R}, h_1,\ldots ,h_q:Y\rightarrow \mathbb {R}_{>0}\) of order at most \(k-1\) such that
$$\begin{aligned} f|_Y=F\big (g_1,\ldots ,g_p,\log (h_1),\ldots ,\log (h_q)\big ). \end{aligned}$$ -
(b)
Let \(k\in \mathbb {N}_0\). We call f log-analytic of order k if f is log-analytic of order at most k but not of order at most \(k-1\).
-
(c)
We call f log-analytic if it is log-analytic of order k for some \(k\in \mathbb {N}_0\).
Definition 2
We call a definable cell \(Y\subset \mathbb {R}^{n+1}\) simple at infinity if for every \(x\in \pi (Y)\), we have \(Y_x=\mathbb {R}_{>d_x}\) for some \(d_x\in \mathbb {R}_{\ge 0}\).
Remark 3
Let \(\mathcal {Y}\) be a definable cell decomposition of \(\mathbb {R}^n\times \mathbb {R}_{>0}\). Then
We set \(e_0:=0\) and \(e_k:=\textrm{exp}(e_{k-1})\) for \(k\in \mathbb {N}\).
Definition 4
Let \(k\in \mathbb {N}_0\). A cell \(Y\subset \mathbb {R}^{n+1}\) which is simple at infinity is called k-simple at infinity if \(\inf Y_x\ge e_k\) for all \(x\in \pi (Y)\).
Proposition 5
Let \(f:\mathbb {R}^n\times \mathbb {R}\rightarrow \mathbb {R}, (x,y)\mapsto f(x,y),\) be log-analytic of order k. Then there is a definable cell decomposition \(\mathcal {Y}\) of \(\mathbb {R}^n\times \mathbb {R}\) such that for every \(Y\in \mathcal {Y}\) which is simple at infinity, the cell Y is k-simple at infinity and
where
-
(1)
\(a:\pi (Y)\rightarrow \mathbb {R}\) is log-analytic and continuous,
-
(2)
\(q_0,\ldots ,q_k\in \mathbb {Q}\),
-
(3)
\(u:Y\rightarrow \mathbb {R}\) is log-analytic and there is \(d\in \mathbb {R}_{>0}\) such that \(0\le u(x,y)\le d\) for all \((x,y)\in Y\).
Proof
This follows from [1, Theorem 2.30] using the substitution \(r\mapsto 1/r\).
\(\square \)
3.2 Statement and proof of the results
Definition 6
Let \(n\in \mathbb {N}\) and let \(f:\mathbb {R}^n\rightarrow \mathbb {R}\) be a function.
-
(a)
If \(n=1\), we say that f is polynomially bounded at infinity if there are constants \(t\in \mathbb {R}_{>0}\) and \(N\in \mathbb {N}\) such that \(|f(x)|\le x^N\) for all \(x>t\).
-
(b)
If \(n>1\), we say that f is polynomially bounded at infinity if there are constants \(t\in \mathbb {R}_{>0}\) and \(N\in \mathbb {N}\) such that \(|f(x)|\le |x|^N\) for all \(|x|>t\).
Let f be as above and let \(A\subset \mathbb {R}^n\) be unbounded. We say that f is polynomially bounded at infinity on A if \(\mathbbm {1}_A f\) is polynomially bounded at infinity (where \( \mathbbm {1}_A\) denotes the characteristic function of A).
We handle the unary case first.
Proposition 7
Let \(f:\mathbb {R}\rightarrow \mathbb {R}\) be log-analytic. Then f is polynomially bounded.
Proof
By Proposition 5, we find \(k\in \mathbb {N}_0\) and \(t\ge e_k\) such that
on \(\mathbb {R}_{\ge t}\) where
-
(1)
\(a\in \mathbb {R}\),
-
(2)
\(q_0,\ldots ,q_k\in \mathbb {Q}\),
-
(3)
\(u:\mathbb {R}_{>t}\rightarrow \mathbb {R}\) is log-analytic and there is \(d\in \mathbb {R}_{>0}\) such that \(0\le u(x)\le d\) for all \(x>t\).
This gives that f(x) behaves asymptotically as \(x^{q_0}\log (x)^{q_1}\cdots \log _k(x)^{q_k}\) at \(+\infty \) (unless in the trivial case \(a=0\)). By the growth properties of the logarithm, we are done. \(\square \)
Definition 8
A subset \(\mathcal {C}\) of \(\mathbb {R}^n\) is called a cone if \(x\in \mathcal {C}\) implies \(rx\in \mathcal {C}\) for all \(r\in \mathbb {R}_{\ge 0}\).
Given a cone \(\mathcal {C}\) with \(\mathcal {C}\supsetneq \{0\}\), we denote by \(B(\mathcal {C}):=\mathcal {C}\cap \mathbb {S}^{n-1}\) its base. Note that \(\mathcal {C}=\mathbb {R}_{\ge 0}\cdot B(\mathcal {C})\).
Proposition 9
Let \(n\ge 2\) and let \(f:\mathbb {R}^n\rightarrow \mathbb {R}\) be log-analytic. Then there is a cone \(\mathcal {C}\) with nonempty interior such that f is polynomially bounded at infinity on \(\mathcal {C}\).
Proof
We consider the polar coordinates \(\varphi :\mathbb {S}^{n-1}\times \mathbb {R}_{\ge 0}\rightarrow \mathbb {R}^n, (v,r)\rightarrow rv\). Let \(g:\mathbb {S}^{n-1}\times \mathbb {R}_{\ge 0}\rightarrow \mathbb {R}, (v,r)\mapsto f(\varphi (v,r))\). By Remark 3 and Proposition 5, we find \(k\in \mathbb {N}_0\) and an open cell Y that is k-simple at infinity such that \(g|_Y(x)=a(v)r^{q_0}\log (r)^{q_1}\cdots \log _k(r)^{q_k} u(v,r)\) where
-
(1)
\(a:\pi (Y)\rightarrow \mathbb {R}\) is log-analytic and continuous,
-
(2)
\(q_0,\ldots ,q_k\in \mathbb {Q}\),
-
(3)
\(u:Y\rightarrow \mathbb {R}\) is log-analytic and there is \(d\in \mathbb {R}_{>0}\) such that \(0\le u(v,r)\le d\) for all \((v,r)\in Y\).
Choose an open ball B in \(\pi (Y)\) such that its closure is contained in \(\pi (Y)\). Then by continuity, a is bounded on B. By the growth properties of the iterated logarithms, we get that g is polynomially bounded on \(Y\cap (B\times \mathbb {R})\). By the definition of cells, the map \(\pi (Y)\rightarrow \mathbb {R}_{\ge 0}, x\mapsto \inf Y_x,\) is continuous. Hence by the conditions imposed on B, there is \(T>e_k\) such that the function \(x\mapsto \inf Y_x\) on B is bounded from above by T. This implies \(B\times \mathbb {R}_{>T}\subset Y\). Hence, g is polynomially bounded on \(B\times \mathbb {R}_{>T}\). We consider the cone \(\mathcal {C}:=\mathbb {R}_{\ge 0}\cdot B\) which has nonempty interior. We obtain some \(N\in \mathbb {N}\) such that \(|f(x)|\le |x|^N\) for all \(x\in \mathcal {C}\) with \(|x|>T\). By the very definition, we obtain that f is polynomially bounded at infinity on \(\mathcal {C}\). \(\square \)
In the higher dimensional case, global (polynomial) boundedness may fail simply if the pole locus is not bounded. Consider for example the function
Then clearly \(\sup _{\sqrt{x^2+y^2}=r}|f(x,y)|=\infty \) for all \(r>0\).
But even if one restricts to continuous functions, a log-analytic function may not be polynomially bounded if \(n\ge 2\).
Proposition 10
Let \(n\ge 2\). There is a continuous log-analytic function \(f:\mathbb {R}^n\rightarrow \mathbb {R}\) which is not polynomially bounded at infinity.
Proof
It suffices to deal with the case \(n=2\). Consider the function
Claim 1: The following holds:
-
(1)
The function h is log-analytic and continuous.
-
(2)
For every \(x>1\), there exists \(\max _{y>0}h(x,y)\in \mathbb {R}\).
-
(3)
The function \(\alpha :\mathbb {R}_{>1}\rightarrow \mathbb {R}, x\mapsto \max _{y>0}h(x,y),\) is given by \(\alpha (x)=2\textrm{exp}(\sqrt{x})(\sqrt{x}-1)\).
Proof of Claim 1.
(1) being clear, we have to show (2) and (3). For \(x>1\), we have
and
which vanishes exactly for \(y=\textrm{exp}(\sqrt{x})\) and \(y=\textrm{exp}(-\sqrt{x})\). We have
This implies that for \(x>1\), the function \(\mathbb {R}_{>0}\rightarrow \mathbb {R}, y\mapsto h(x,y),\) attains its maximum at \(y=\textrm{exp}(\sqrt{x})\) with this maximum being given by
This shows (2) and (3). \(\square _{\mathrm {Claim\,1}}\)
Let \(a\in \mathbb {R}_{>1}\) be the (uniquely determined) value such that \(2\textrm{exp}(\sqrt{a})(\sqrt{a}-1)=1\). Let
Claim 2: The following holds:
-
(1)
The function g is continuous and log-analytic.
-
(2)
The function \(\beta :\mathbb {R}_{\ge 0}\rightarrow \mathbb {R}, x\mapsto \max _{0\le y\le 1}g(x,y),\) is given by \(\beta (x)=1\) for \(x\le a\) and \(\beta (x)=\alpha (x)\) for \(x>a\).
Proof of Claim 2.
For (1), note that for \(b>a\),
that for \(0<c<1\),
and that
For (2), note that for \(x>a\),
\(\square _{\mathrm {Claim\,2}}\)
Let
where the argument function is given by \(\textrm{arg}:\mathbb {S}^1\rightarrow [0,2\pi [\) with \(\textrm{arg}((1,0))=0\) and counterclockwise orientation. Then f is continuous and log-analytic. Let \(\gamma :\mathbb {R}_{\ge 0}\rightarrow \mathbb {R}_{\ge 0}, r\mapsto \max _{\sqrt{x^2+y^2}=r}|f(x,y)|\). Then \(\gamma (r)=\alpha (r^2)\) for all \(r\ge 0\). Hence,
for all sufficiently large r. \(\square \)
The question is how “big” we can choose a set where polynomial boundedness at infinity holds. In Proposition 9, we have shown that we can choose a nonempty open cone. By the continuity of the counterexample in Proposition 10, we cannot hope for a dense definable set (or equivalently, a definable set with dimension of the complement being smaller than n):
Corollary 11
Let \(n\ge 2\). There is a log-analytic function \(f:\mathbb {R}^n\rightarrow \mathbb {R}\) such that f is not polynomially bounded on every dense definable subset.
Remark 12
Note that the above counterexample is globally given by composition of globally subanalytic functions and the logarithm, not only piecewise.
To formulate an optimal result, we need to introduce some setting to speak about the ultimate size of a set at \(\infty \). The first definition mimics the tangential cone at finite points (see for example Kurdyka and Raby [2]).
We fix an unbounded definable subset A of \(\mathbb {R}^n\). We let \(\dim _\infty A\) be \(\dim (A\cap \{x\in \mathbb {R}^n\mid |x|>r\})\) for sufficiently large r (note that this stabilizes) and call it the dimension of A at infinity.
Definition 13
-
(a)
We let \(B(A,\infty )\) be the set of all \(v\in \mathcal {S}^{n-1}\) such that for every \(r,\varepsilon >0\), there is \(x\in A\) with \(|x|>r\) and \(\big \vert x/|x|-v\big \vert <\varepsilon \). We call \(\mathcal {C}(A,\infty ):=\mathbb {R}_{\ge 0}\cdot B(A,\infty )\) the tangent cone of A at infinity.
-
(b)
We let \(B^\textrm{str}(A,\infty )\) be the set of all \(v\in \mathcal {S}^{n-1}\) such that there is some \(t\in \mathbb {R}_{\ge 0}\) with \(\mathbb {R}_{\ge t}\cdot v\subset A\). We call \(\mathcal {C}^\textrm{str}(A,\infty ):=\mathbb {R}_{\ge 0}\cdot B^\textrm{str}(A,\infty )\) the strong tangent cone of A at infinity.
Remark 14
-
(1)
We have \(\mathcal {C}^\textrm{str}(A,\infty )\subset \mathcal {C}(A,\infty )\).
-
(2)
The tangent cone \(\mathcal {C}(A,\infty )\) of A at infinity is closed and definable with \(\dim \mathcal {C}(A,\infty )\le \dim _\infty A\).
-
(3)
The strong tangent cone \(\mathcal {C}^\textrm{str}(A,\infty )\) of A at infinity is definable with \(\dim \mathcal {C}^\textrm{str}(A,\infty )\le \dim _\infty A\).
-
(4)
For \(r>0\), let \(B(A,r):=\{x/r\mid x\in A \text{ and } |x|=r\}\). Then \(B(A,\infty )\) is the Hausdorff limit of the family \(\big (\overline{B(A,r)}\big )_{r\in \mathbb {R}_{>0}}\) (compare with Lion and Speissegger [4]) and
$$\begin{aligned} B^\textrm{str}(A,\infty )=\limsup _{r>0}B(A,r)=\bigcup _{r>0}\bigcap _{s>r}B(A,s). \end{aligned}$$
The next concept will carry more information. A (closed) ray \(\mathcal {R}\) in \(\mathbb {R}^n\) is of the form \(\mathcal {R}=a+\mathbb {R}_{\ge 0}\cdot v\) where \(a\in \mathbb {R}^n\) and \(v\in \mathbb {S}^{n-1}\). We parameterize the set \(\mathfrak {R}\) of all rays by the bijection \(\mathbb {R}^n\times \mathbb {S}^{n-1}\rightarrow \mathfrak {R}, (a,v)\mapsto a+\mathbb {R}_{\ge 0}\cdot v\). For limit considerations, it is natural to identify two rays \(\mathcal {R}_1\) and \(\mathcal {R}_2\) if \(\mathcal {R}_1\subset \mathcal {R}_2\) or \(\mathcal {R}_2\subset \mathcal {R}_1\). This is an equivalence relation \(\sim \) on \(\mathfrak {R}\). A canonical representative of the equivalence class of a ray \(\mathcal {R}=a+\mathbb {R}_{\ge 0}\cdot v\) is given by \(o+\mathbb {R}_{\ge 0}\cdot v\) where \(o\in a+\mathbb {R}\cdot v\) with \(o\perp v\) (or, equivalently, o realizes the distance of the line \(a+\mathbb {R}\cdot v\) to the origin). A ray of this form is called a standardized ray. We identify the set \(\mathfrak {R}/\sim \) with the set of the standardized rays and parameterize it by the bijection \(\mathfrak {S}:=\{(o,v)\in \mathbb {R}^n\times \mathbb {S}^{n-1}\mid o\perp v\}\rightarrow \mathfrak {R}/\sim , (o,v)\mapsto o+\mathbb {R}_{\ge 0}\cdot v\).
Definition 15
-
(a)
We denote by \(\mathcal{R}\mathcal{C}(A,\infty )\) the union of all standardized rays \(\mathcal {R}=o+\mathbb {R}_{\ge 0}\cdot v\) such that for every \(r,\varepsilon >0\), there are \(x\in A\) and \(y\in \mathcal {R}\) with \(|x|=|y|>r\) and \(|x-y|<\varepsilon \), and call it the tangent ray cone of A at infinity.
-
(b)
We denote by \(\mathcal{R}\mathcal{C}^\textrm{str}(A,\infty )\) the union of all standardized rays \(\mathcal {R}=o+\mathbb {R}_{\ge 0}\cdot v\) such that \(o+\mathbb {R}_{\ge t}\cdot v\subset A\) for some \(t\in \mathbb {R}_{\ge 0}\), and call it the strong tangent ray cone of A at infinity.
Remark 16
-
(1)
We have \(\mathcal{R}\mathcal{C}^\textrm{str}(A,\infty )\subset \mathcal{R}\mathcal{C}(A,\infty )\).
-
(2)
The tangent ray cone \(\mathcal{R}\mathcal{C}_{A,\infty }\) of A at infinity is closed and definable with \(\dim \mathcal{R}\mathcal{C}_{A,\infty }\le \dim _\infty A\).
-
(3)
The strong tangent ray cone \(\mathcal{R}\mathcal{C}^\textrm{str}_{A,\infty }\) of A at infinity is definable with \(\dim \mathcal{R}\mathcal{C}^\textrm{str}_{A,\infty }\) \(\le \dim _\infty A\).
-
(4)
We have \(\mathcal {C}(A,\infty )\subset \mathcal{R}\mathcal{C}(A,\infty )\). In fact, the following stronger statement holds: A standardized ray \(o+\mathbb {R}_{\ge 0}\cdot v\) is contained in \(\mathcal{R}\mathcal{C}(A,\infty )\) if and only if \(\mathbb {R}_{\ge 0}\cdot v\) is contained in \(\mathcal {C}(A,\infty )\).
-
(5)
We have \(\mathcal {C}^\textrm{str}(A,\infty )\subset \mathcal{R}\mathcal{C}^\textrm{str}(A,\infty )\).
Example 17
Consider the half-strip
We have
and
Definition 18
-
(a)
We call A spherically dense at infinity if \(\mathcal {C}(A,\infty )=\mathbb {R}^n\). We call A strongly spherically dense at infinity if \(\mathcal {C}^\textrm{str}(A,\infty )=\mathbb {R}^n\).
-
(b)
We call A ray dense at infinity if \(\mathcal{R}\mathcal{C}(A,\infty )\) contains every standardized ray. We call A strongly ray dense at infinity if \(\mathcal{R}\mathcal{C}^\textrm{str}(A,\infty )\) contains every standardized ray.
Remark 19
-
(1)
A is spherically dense at infinity if and only if A is ray dense at infinity.
-
(2)
If A is strongly ray dense at infinity, then A is strongly spherically dense at infinity. The converse does in general not hold.
Proof
-
(1):
The direction from right to the left being clear by definition, we show the direction from left to the right. Let \(o+\mathbb {R}_{\ge 0}\cdot v\in \mathfrak {R}/\sim \) where \((o,v)\in \mathfrak {S}\). Then \(\mathbb {R}_{\ge 0}\cdot v\in \mathcal {C}(A,\infty )\) since A is spherically dense at infinity. By the definition of the tangent ray cone, we obtain that \(o+\mathbb {R}_{\ge 0}\cdot v\subset \mathcal{R}\mathcal{C}(A,\infty )\).
-
(2):
The first statement is clear. For the second one, consider the complement of the above half-strip.
\(\square \)
Hence the notion of ray density at infinity does not give anything new. We have included it for completeness and symmetry.
Here is now the final optimal result.
Theorem 20
Let \(n\ge 2\) and let \(f:\mathbb {R}^n\rightarrow \mathbb {R}\) be log-analytic. Then there is a definable subset \(\mathcal {U}\) of \(\mathbb {R}^n\) which is strongly ray dense at infinity such that f is polynomially bounded at infinity on \(\mathcal {U}\).
Proof
Consider the semialgebraic map \(\Phi :\mathfrak {S}\times \mathbb {R}_{\ge 0}\rightarrow \mathbb {R}^n, (o,v,r)\mapsto o+rv,\) and the log-analytic function \(F:=f\circ \Phi :\mathfrak {S}\times \mathbb {R}_{\ge 0}\rightarrow \mathbb {R}\). Let F be log-analytic of order \(k\in \mathbb {N}_0\). By Proposition 5, we find a definable cell decomposition \(\mathcal {Y}\) of \(\mathfrak {S}\times \mathbb {R}_{\ge 0}\) such that for every \(Y\in \mathcal {Y}\) which is simple at infinity, the cell Y is k-simple at infinity such that
where
-
(1)
\(a:\pi (Y)\rightarrow \mathbb {R}\) is log-analytic and continuous,
-
(2)
\(q_0,\ldots ,q_k\in \mathbb {Q}\),
-
(3)
\(u:Y\rightarrow \mathbb {R}\) is log-analytic, and there is \(d=d_Y\in \mathbb {R}_{>0}\) such that \(0\le u(o,v,r)\le d\) for all \((o,v,r)\in Y\).
We fix \(Y\in \mathcal {Y}\) simple at infinity. Let \(Z:=\pi (Y)\) and \(\delta :Z\rightarrow \mathbb {R}_{\ge 0}, (o,v)\mapsto \inf Y_{(o,v)}\). We set \(\textrm{fr}Z_\mathfrak {S}:=(\overline{Z}{\setminus } Z)\cap \mathfrak {S}\). By passing to a finer cell decomposition of \(\mathfrak {S}\), we may assume that \(\textrm{fr}Z_\mathfrak {S}\ne \emptyset \). For \(s\in \mathbb {R}_{\ge 0}\), let
Then Z(s) is compact for every \(s\ge 0\). We set
Note that this is well-defined since a is continuous. Note that here by convention \(\max \emptyset =0\). The function \(\Delta \) is increasing and definable. Hence, by van den Dries and Miller ([6, 5.5]), it is bounded by an iterated exponential \(\textrm{exp}_l\) for some \(l\in \mathbb {N}_0\). Choose \(N=N_Y\in \mathbb {N}\) with \(N>|q_0|+\cdots +|q_n|\). We set
For \((o,v,r)\in \mathcal {W}_Y\), we have
We set \(\mathcal {V}_Y:=\Phi (\mathcal {W}_Y)\). We obtain that \(|f(x)|\le d_Y |x|^{N_Y+1}\) on \(\mathcal {V}_Y\).
Let \(\mathcal {U}\) be the union of all \(\mathcal {V}_Y\) with \(Y\in \mathcal {Y}\) simple at infinity. Then \(\mathcal {U}\) is definable. We show that this \(\mathcal {U}\) does the job. Let \(\mathcal {R}=o+\mathbb {R}_{\ge 0}\cdot v\) be a standardized ray and let \(r>0\). By Remark 3, we find \(Y\in \mathcal {Y}\) that is simple at infinity such that \((o,v)\in Z\). Note that we use the above notations. There is \(s\in \mathbb {R}_{>0}\) such that \((o,v)\in Z(s)\). By the definition of \(\mathcal {W}_Y\), we find \(t>0\) such that \(\{(o,v)\}\times \mathbb {R}_{\ge t}\subset \mathcal {W}_Y\). This gives \(o+\mathbb {R}_{\ge t}\cdot v\subset \mathcal {V}_Y\subset \mathcal {U}\). So \(\mathcal {U}\) is strongly ray dense. Let
and
Then \(|f(x)|\le d_\mathcal {U}|x|^{N_\mathcal {U}+1}\) for all \(x\in \mathcal {U}\). Hence, f is polynomially bounded on \(\mathcal {U}\). \(\square \)
4 Concluding remarks
In Corollary 11, we have found, for \(n\ge 2\), a log-analytic function \(f:\mathbb {R}^n\rightarrow \mathbb {R}\) and a definable open and unbounded set W such that \(r\mapsto \inf _{x\in W, |x|=r}|f(x)|\) is of exponential growth. By Proposition 7, the set W cannot contain the image of an unbounded log-analytic curve. By the same methods as in the proof of Theorem 20, we can find an open and definable set \(\mathcal {U}\) such that f is polynomially bounded at infinity on \(\mathcal {U}\), and \(\mathcal {U}\) contains the germ of every unbounded log-analytic curve up to a certain complexity (where the complexity is the complexity of terms in the language \(\mathcal {L}_\textrm{an}(^{-1},(\root n \of {\ldots })_{n=2,3,\ldots },\log )\), compare with [1, Remark 1.2]. An open question is whether we can find such \(\mathcal {U}\) that contains the germ of every unbounded log-analytic curve.
References
Kaiser, T., Opris, A.: Differentiability properties of log-analytic functions. Rocky Mountain J. Math. 52(4), 1423–1443 (2022)
Kurdyka, K., Raby, G.: Densité des ensembles sous-analytiques. Ann. Inst. Fourier 39(3), 753–771 (1989)
Lion, J.-M., Rolin, J.-P.: Théorème de préparation pour les fonctions logarithmico-exponentielles. Ann. Inst. Fourier 47(3), 859–884 (1997)
Lion, J.-M., Speissegger, P.: A geometric proof of the definability of Hausdorff limits. Sel. Math. New Ser. 10(3), 377–390 (2004)
van den Dries, L.: Tame Topology and O-minimal Structures. London Math. Soc. Lecture Notes Series, vol. 248. Cambridge University Press, Cambridge (1998)
van den Dries, L., Miller, C.: Geometric categories and o-minimal structures. Duke Math. J. 84(2), 497–540 (1996)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kaiser, T. Growth of log-analytic functions. Arch. Math. 120, 605–614 (2023). https://doi.org/10.1007/s00013-023-01857-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01857-y