Abstract
In this note we are going to continue investigation concerning the asymptotic behavior of some Levitan almost periodic functions or almost periodic functions in view of the Lebesgue measure as well as their convolutions with some functions naturally arising in the theory of ordinary linear differential equations. In particular, we obtain some estimations for functions (1), where \(\alpha\) is an irrational number of finite irrationality measure or a Liouville number. We also focus on the set of all irrational numbers for which the convolution of function (1) with function (2) exists. In particular, we characterize it from the topological and set-theoretical point of view.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of almost periodic functions initiated by Bohr around a hundred years ago (see [1,2,3]) has been very widely developed. It is connected with the fact that such functions have applications in many fields. It is worth to mention here that almost periodic patterns, which correspond to almost periodic measures, describe the structure of quasicrystals (see e.g., [4] for more details).
There are many other classes of almost periodic functions which constitute generalizations of Bohr almost periodic functions (see e.g., [5,6,7] and [8]). In our opinion, among those generalizations, Levitan almost periodic functions (briefly: LAP functions) and almost periodic functions in view of the Lebesgue measure (briefly: \(\mu\)-a.p. functions) seem to be very interesting. Let us recall that in general, \(\mu\)-a.p. functions do not have to be continuous or even locally integrable in the Lebesgue sense and this fact leads to many problems while investigating them. As regards LAP functions let us recall that they do not have to be bounded or even do not have to satisfy the condition
although they are continuous. Therefore, an investigation of this class of functions is quite difficult. The interested reader can found a comparison of these two above-mentioned classes of almost periodic functions in the paper [9].
There is a rich literature concerning almost periodic as well as almost automorphic solutions to some type of differential equations (see e.g., [10,11,12,13,14,15] and [16]). Levitan almost periodic solutions and almost periodic in view of the Lebesgue measure solutions to linear differential equations of the first order have been investigated, for example, in the papers [17] and [9], respectively. In these papers an important role has played the investigation of the behavior of these classes of functions under convolution. In particular, the authors of these papers have examined the asymptotic behavior and the convolutions with functions
where \(\alpha \notin {\mathbb {Q}}\). Let us recall that this function is a classical example of continuous unbounded LAP function (it is also an example of \(\mu\)-a.p. function).
As it was shown in the papers [17] and [9], the investigation concerning the asymptotic behavior of function (1) as well as its convolution with the function \(g_{\lambda } :{\mathbb {R}} \rightarrow {\mathbb {R}}\) (\(\lambda <0\)), given by the formula
plays an important role in proving of the results concerning the solutions to linear differential equations in the space of LAP functions or in the space of \(\mu\)-a.p. functions. The main goal of this paper is to continue that investigation (conducted also in the paper [18]). In particular, we prove some estimations for functions (1), where \(\alpha\) is an irrational number of finite irrationality measure or a Liouville number. These results are contained in Sect. 3. Next, in Sect. 4, we focus on the set of all irrational numbers for which the convolution of function (1) with function (2) exists as well as on its complement. We provide its characterization from the topological and set-theoretical point of view. In particular, it is a set with the cardinality of the continuum which is dense in \({\mathbb {R}}\) and its complement in \({\mathbb {R}}\) is of the second Baire category.
2 Preliminaries
At the beginning of this section we collect basic definitions and results concerning Levitan almost periodic functions and almost periodic functions in view of the Lebesgue measure.
One of several equivalent definitions of Levitan almost periodic functions uses the notion of an \([N, \varepsilon ]\)- almost period of a function which is defined as follows.
Definition 1
([7]) A real number \(\tau\) is said to be an \([N, \varepsilon ]\)- almost period of a function \(f:{\mathbb {R}} \rightarrow {\mathbb {R}}\) (briefly: \([N, \varepsilon ]\)- a.p.) if \(|f(x+\tau )-f(x)|< \varepsilon\) for \(|x|< N\).
Using the notion of an \([N, \varepsilon ]\)- almost period of a function one can define Levitan almost periodic function as follows.
Definition 2
([7]) A continuous function \(f:{\mathbb {R}} \rightarrow {\mathbb {R}}\) is said to be Levitan almost periodic if for every \(N, \varepsilon >0\) there exist \(\lambda _1,\ldots , \lambda _p \in {\mathbb {R}}\) and \(\delta >0\) such that every number \(\tau\) which satisfies inequalities \(|\lambda _r \tau |<\delta\) (mod \(2\pi\)) for \(r=1, 2, \ldots , p\), is an \([N, \varepsilon ]\)- a.p. of the function f.
Remark 1
Inequality \(|x|<\delta\) (mod \(2\pi\)) means that there exists \(k\in {\mathbb {Z}}\) such that \(-\delta<x-2k\pi <\delta\).
Let \(\Sigma\) be the \(\sigma\)-algebra of subsets of \(\mathbb {R}\) which are measurable in the Lebesgue sense, \(\mu\) - be the Lebesgue measure on \(\Sigma\), and let \(\mathcal {X}\) be the space of all \(\Sigma\)-measurable functions \(f :\mathbb {R}\rightarrow \mathbb {R}\). For \(f, g \in \mathcal {X}\) we set \(f=g \Leftrightarrow f(x)=g(x)\) for \(\mu\)-a.e. \(x\in {\mathbb {R}}\).
For a function \(f:\mathbb {R}\rightarrow \mathbb {R}\), by \(f_{\tau }\) for \(\tau \in {\mathbb {R}}\), we denote the function \(f_{\tau }:\mathbb {R}\rightarrow \mathbb {R}\), defined by the formula \(f_{\tau }(x)=f(x+\tau )\), for \(x\in {\mathbb {R}}\).
Now, we recall the notion of \((\varepsilon , \eta )\)-almost period of a function \(f \in \mathcal {X}\) and the definition of an almost periodic function in view of the Lebesgue measure.
Definition 3
([19]) Let \(f \in \mathcal {X}\). If for \(\varepsilon , \eta >0\) we have \(D(\eta ; f_{\tau }, f)\le \varepsilon\), then the real number \(\tau\) is said to be \((\varepsilon , \eta )\)-almost period (briefly: \((\varepsilon , \eta )\)-a.p.) of the function f.
By \(E\{\varepsilon , \eta ; f\}\) we will denote the set of all \((\varepsilon , \eta )\)-a.p. of the function f, that is
Definition 4
([19]) A function \(f\in \mathcal {X}\) is said to be almost periodic in view of the Lebesgue measure \(\mu\), if for arbitrary numbers \(\varepsilon , \eta >0\), the set \(E\{\varepsilon , \eta ; f\}\) is relatively dense. By \(\widetilde{M}\) we will denote the set of all \(\mu\)-a.p. functions.
One can define almost periodic functions in view of the Lebesgue measure in the following equivalent way.
Definition 5
([5]) Fix \(d>0\). A function \(f \in \mathcal {X}\) is said to be \(\mu\)-a.p. or measurably almost periodic, if for any \(\varepsilon >0\), the set
is relatively dense.
It is well-know that if f is a bounded \(\mu\)-a.p. function, then f is Stepanov almost periodic. Moreover, every bounded and uniformly continuous \(\mu\)-a.p. function is Bohr almost periodic (see [8]).
For a real number x, the symbols \(\bigl \lfloor x\bigr \rfloor\) and \(\{x\}\) will denote its integer part (éntier) and its fractional part, respectively. The symbol ||x|| will denote the Euclidean distance of x to the nearest integer. It is easy to check that \(||x||=|\{x+\frac{1}{2}\}-\frac{1}{2}|\). Now, we are going to define the relations “\(\ll\), \(\gg\), \(\approx\).”
Definition 6
Let us consider functions \(f,g:X\rightarrow \mathbb {R^+}\), where X denotes \(\mathbb {R}\), \(\mathbb {R}^+\) or \(\mathbb {N}\). We say that \(f(x)\ll g(x)\) if
We write
Finally
From the above definition it follows that "\(\approx\)" is an equivalence relation. Moreover, for \(f \approx g\), if the limit, upper limit and lower limit of f at \(+\infty\) is equal to 0 or \(+\infty\), then the limit, upper limit or lower limit of g is equal to 0 or \(+\infty\), respectively.
Now, let us recall some definitions and results from the number theory.
Theorem 1
([20]) If \(\alpha\) is an irrational algebraic number of degree n, then there exists a constant \(c>0\) such that for every \(p\in {\mathbb {Z}}\) and \(q\in {\mathbb {N}}\) we have
Definition 7
Let \(\alpha\) be a real number, and \({\textbf {R}}\) be the set of positive real numbers \(\nu\) for which
has (at most) finitely many solutions \(\frac{p}{q}\) for \(p,q\in {\mathbb {Z}}\), \(q\ne 0\). Then, the irrationality measure, sometimes called the Liouville-Roth constant or the irrationality exponent, is defined as the threshold at which the Liouville Approximation Theorem kicks in and \(\alpha\) is no longer approximable by rationals numbers, that is
If the set \({\textbf {R}}\) is empty, then \(\nu (\alpha )\) is defined to be \(\nu (\alpha )=+\infty\), and \(\alpha\) is called a Liouville number.
Now, let us recall a classical definition of a Liouville number.
Definition 8
A real number \(\alpha\) is said to be a Liouville number, if for every \(n\in {\mathbb {N}}\) there exist \(p, q\in {\mathbb {Z}}, q>1\) such that
Theorem 2
(Roth, [20]) If \(\alpha\) is an irrational algebraic number, then for every \(\varepsilon >0\) there exists a constant \(C=C(\alpha , \varepsilon )\) such that for all \(p\in {\mathbb {Z}}\), \(q\in {\mathbb {N}}\) holds
Remark 2
It is known that if \(\alpha\) is a real number, then
-
\(\nu (\alpha )=1\) if \(\alpha\) is rational;
-
\(\nu (\alpha )=2\) if \(\alpha\) is an irrational algebraic number;
-
\(\nu (\alpha )\ge 2\) if \(\alpha\) is transcendental.
Now, we are going to collect basic definitions and facts concerning continued fractions which will be needed in the sequel. As usual, every infinite sequence of real numbers \(\langle a_{0}; a_{1}, a_{2}, \ldots \rangle\) will be called infinite continued fraction, provided \(a_{j}\ge 1\) \((j=1, 2, \ldots )\). The numbers \(a_{1}, a_{2}, \ldots\) are said to be quotients of the continued fraction, while the number \(r_{k}=[a_{0}; a_{1}, \ldots , a_{k}]\) (that is, the value of the finite continued fraction \([a_{0}; a_{1}, a_{2}, \ldots, a_{n}]\)) is said to be its kth convergent. If all the quotients are positive integers and \(a_{0}\) is an integer, then such a continued fraction is said to be an arithmetic continued fraction. One can easily prove that the limit \(\lim _{n \rightarrow \infty }[a_{0}; a_{1} \ldots , a_{n}]\) exists; it is said to be the value of the continued fraction \(\langle a_{0}; a_{1}, a_{2}, \ldots \rangle\) and it is denoted by \([a_{0}; a_{1}, a_{2}, \ldots ]\).
For better calculation of convergents of continued fractions we recall the definition of two sequences of polynomials \((P_{n})_{n=-1}^{\infty }\) and \((Q_{n})_{n=-1}^{\infty }\) which coefficients are nonnegative integers.
Definition 9
Set
and
and
for \(k\in \mathbb {N}_{0}\).
Lemma 1
([20]) If \(\alpha\) is the value of an infinite continued fraction \(\langle a_{0}; a_{1}, a_{2}, \ldots \rangle\), and \(r_{n}=\frac{P_n}{Q_n}\) is its nth convergent, then
If the continued fraction \(\langle a_{0}; a_{1}, a_{2}, \ldots \rangle\) is arithmetic, then the fraction \(\frac{P_{n}}{Q_{n}}\) is irreducible.
Definition 10
([20]) We say that a rational number \(\frac{a}{b}\) (\(b>0\); a and b are coprime) is a best rational approximation of a real number \(\alpha\), if for all fractions \(\frac{a'}{b'}\) with positive integers denominators which are less than b, the following inequality holds
Theorem 3
([20]) Let \(\langle a_{0}; a_{1}, a_{2}, \ldots \rangle\) be an arithmetic infinite continued fraction of irrational value \(\alpha\). Then, every rational number, being the best rational approximation of \(\alpha\), is equal to some convergent of this fraction and, conversely, for \(k\ge 1\), k-th convergent of this fraction is the best rational approximation of the number \(\alpha\).
Theorem 4
([20]) Every irrational number can be expressed in just one way as an arithmetic continued fraction.
3 Asymptotic behavior of some almost periodic functions
The theorem given below describes the asymptotic behavior of the function of form (1), where \(\alpha\) is not a Liouville number.
Theorem 5
(cf. [21]) If \(\alpha\) is an irrational number such that \(\nu (\alpha )=\nu <+\infty\), then for every \(\varepsilon >0\)
Proof
Let \(\varepsilon >0\). For \(x>\frac{1}{2}\pi\) let
Moreover, let \(d(x):=\max \{d_1(x), d_2(x)\}\), where
From the definition we have \(Q(x)\ge 1\) and \(0 < d(x)\le \frac{\pi }{2}\). Moreover,
which implies that
Moreover,
Then,
On the other hand, because \(Q(x)\ge 1\) and \(0 \le d_2(x) \le \frac{\pi }{2}\), so we infer that
and therefore we have
Moreover,
and
By the definition of \(d_1\) and \(d_2\), we have
Hence, by (3), (4) and the above inequalities, we get
Since \(\varepsilon >0\) is arbitrary, the theorem is proved. \(\square\)
In the proof of the next result we will need the following
Lemma 2
For any function \(h:\mathbb {R}^+\rightarrow \mathbb {R}\) for which \(\lim \limits _{x\rightarrow +\infty }h(x)=+\infty\), there exists a strictly increasing bijection \(g:\mathbb {R}^+\rightarrow \mathbb {R}^+\) such that:
-
there exists \(x_0\in \mathbb {R^+}\) such that \(g(x)\le h(x)\) for \(x>x_0\);
-
\(\lim \limits _{x\rightarrow +\infty }g(x)=+\infty\);
-
\(g(x)\le x\) for all \(x>0\);
-
for all \(x, y\in \mathbb {R}^+\) if \(|x-y|\le 2\), then \(|g(x)-g(y)|\le 3\).
Proof
Since the function h tends to \(+\infty\), for every \(n\in \mathbb {N}\) there exists such a point \(x_n\in \mathbb {R}^+\) that for \(x\ge x_n\), it holds \(h(x)\ge n+1\). Let \(p_0=0\) and
for \(n>0\). Obviously \(\lim \limits _{n\rightarrow \infty }p_n=+\infty\) and \(h(x)\ge n+1\) for \(x\ge p_n\), \(n\in {\mathbb {N}}\) . For every \(x\in \mathbb {R}^+\) there exists exactly one \(n\in \mathbb {N}_0\) for which \(p_n<x\le p_{n+1}\). Let
It is clear that this function is a strictly increasing bijection from \(\mathbb {R}^+\) to \(\mathbb {R}^+\) and if \(p_n<x\le p_{n+1}\), then \(g(x)\le n+1\). Because \(p_{n+1}\ge p_n+1\), so \(p_n\ge n\) and therefore
Moreover, for every \(x>p_1\), there exists \(n\ge 1\) such that \(p_n<x\le p_{n+1}\). Then,
Now, let us notice that if \(|x-y|\le 2\) for some \(x, y>0\), then there exists \(n\in \mathbb {N}_0\) for which \(p_n<x\le p_{n+3}\) and \(p_n<y\le p_{n+3}\). Because g is increasing, then
which completes the proof. \(\square\)
Now, we are going to prove
Theorem 6
For any function \(f:\mathbb {R}^+\rightarrow \mathbb {R}^+\) such that \(\lim \limits _{x\rightarrow +\infty }f(x)=+\infty\) there exists a Liouville number \(\alpha \in \mathbb {R}\) for which
Proof
Let \(h(x)=\min \{\log _{10} x, \frac{\log _{10} f(\pi x)}{2}\}\). Take a function g satisfying all the assumptions of Lemma 2. Since g is a bijection, obviously there exists the inverse function \(g^{-1}\). Let us define \(\phi _1=1\) and
The sequence \((\phi _n)\) is a strictly increasing sequence of positive numbers; in particular \(\phi _n\ge n\) for every \(n\in \mathbb {N}_+\). Thus, the series \(\sum \limits _{k=1}^{\infty }10^{-\phi _k}\) is convergent. Denote its sum by \(\alpha\). Because \(g(x)\le h(x)\le \log _{10} x\) for \(x>x_0\), so \(x\ge 10^{g(x)}\) and therefore for \(x> x_0\) we have \(g^{-1}(x)\ge 10^x\).
for any \(s\in \mathbb {N}\). Therefore, \(\alpha\) is a Liouville number.
Let us notice that for any \(x, y\in \mathbb {R}\) there exist \(m, n\in \mathbb {Z}\) for which
so \(||x+y||=||x+y||+||-y||-||y||\ge ||x||-||y||\). Let \(10^{\phi _n}<q<10^{\phi _{n+1}}\) for some odd \(q>0\). If \(q<\frac{1}{4}\cdot 10^{\phi _{n+1}-\phi _n}\), then
and
and therefore
Further, if \(q\ge \frac{1}{4}\cdot 10^{\phi _{n+1}-\phi _n}\), then
and
Because \(g(x)\le x\) for every \(x>0\), so \(g^{-1}(x)\ge x\) and
and therefore \(\phi _{n+2}-\phi _{n+1}\ge \phi _{n+1}+1\). Therefore,
Let us notice that
so
It is easily possible to establish that \(k<\frac{1}{4}\cdot 10^k\) for positive integers \(k\in {\mathbb {N}}\). Because the function g is increasing, so
Every odd \(q>10\) occurs between two subsequent terms of the sequence \((10^{\phi _n})\). Since \(\frac{1}{8q}\cdot 10^{-g(q)}<\frac{1}{2q}\), so for every odd \(q>10\) we have \(||q\alpha ||>\frac{1}{8q}\cdot 10^{-g(q)}\). Let us notice that
The graphs of two components of the function t consist of segments. In the first case their slope is equal to 1 and \(-1\), ; in the second one: \(\alpha\) and \(-\alpha\). Therefore, the graph of the function t consists of segments, the slopes of which are equal to \(1+\alpha ; 1-\alpha ; -1+\alpha ;-1-\alpha\). Let us consider local minima of this function. They have to appear at the points at which the function is not differentiable, that is at points \(\frac{z}{2}\) or \(\frac{z}{2\alpha }\) for \(z\in \mathbb {Z}\), because for other points there exists a neighborhood which is a segment of nonzero slope. One can easily notice that because \(\alpha <1\), so there are not minima at points \(\frac{z}{2\alpha }\), and that at points \(\frac{z}{2}\) minima and maxima occur alternately. Let \(x_n=\frac{(2n+1)}{2}\) for \(n\in {\mathbb {N}}\). Obviously the function t is continuous and attains minima at points \(x_n\), so t(x) is greater or equal to the value at one of the subsequent terms of the sequence \((x_n)\), between which x lies. For every \(x>x_1\) let us assign the number u(x) such that \(u(x_n)=x_n\) for every \(n\in \mathbb {N}\) and for \(x_n<x<x_{n+1}\), \(u(x)=x_n\) if \(t(x_n)<t(x_{n+1})\), and \(u(x)=x_{n+1}\) in other cases. For every \(x\ge \frac{11}{2}\) we have \(2u(x)\ge 11\) and 2u(x) is odd, so
where the second inequality above follows from the inequality \(||2x||\le 2|\{x\}-\frac{1}{2}|\), for every \(x\in \mathbb {R}\). Because \(|2u(x)-2x|\le 2\), so by the property of the function g it follows that \(|g(2u(x))-g(2x)|\le 3\), and therefore
Moreover, for \(x>x_0\) we have \(10^{2g(x)}\le 10^{2h(x)}\le f(\pi x)\), so
which ends the proof. \(\square\)
4 Convolution of some almost periodic functions
Now, we will consider the convolution of Levitan almost periodic functions (which are also \(\mu\)-almost periodic functions) with the function \(g_{\lambda } :{\mathbb {R}} \rightarrow {\mathbb {R}}\) (\(\lambda <0\)), defined in (2).
First, let us notice that Theorem 5 implies the existence of the convolution of function (1), where \(\alpha\) is not a Liouville number, with functions \(g_\lambda\). Indeed, if \(\nu (\alpha )=\nu\), then by the symmetry of the function f, we have
for some constant \(C>0\). In particular, this means the existence of the convolution of function (1) for irrational algebraic numbers \(\alpha\), with functions \(g_\lambda\).
Moreover, as a simple consequence of Theorem 6 we get
Corollary 1
For any \(\lambda <0\) there exists a Liouville number \(\alpha \in \mathbb {R}\) for which
Proof
Obviously
By Theorem 6, there exists a Liouville number \(\alpha \in \mathbb {R}\) such that
so
The observation that the integral
is finite, ends the proof. \(\square\)
In what follows we will need the following
Remark 3
Let w be a generalized trigonometric polynomial which is not a constant function, that is
for some \(a_{n},b_{n}, \lambda _{n}, \in \mathbb {R}\) for \(1\le n \le k\). By the Lagrange Mean Value Theorem, we know that there exists a constant \(L>0\) such that for \(x\in {\mathbb {R}}, h>0\), we have
Since the function w has an analytic extension to the whole plane and it is not a constant function, it has countably many zeros on the plane. Hence, for almost all \(x\in {\mathbb {R}}\) the quotient \(\frac{1}{w(x)}\) is well defined. Thus, putting
for \(u\in {\mathbb {R}}\), we can write
Theorem 7
The set \(\bigcup _{\lambda <0}S_\lambda\), where
is of the first Baire category. Moreover, \(\bigcap _{\lambda <0}S_\lambda\) and \(S_{\lambda _0}\), for \(\lambda _0<0\), are of the first Baire category. Thereby \(\bigcap _{\lambda <0}S_\lambda '\), \(S_{\lambda _0}'\), for \(\lambda _0<0\), and \(\bigcup _{\lambda <0}S_\lambda '\), where \(S_{\lambda }'={\mathbb {R}} \setminus S_{\lambda }\), are of the second Baire category.
Proof
The proof is similar to that one for Liouville’s numbers (see [22]). Obviously the existence of the convolution \(f*g_\lambda\) is equivalent to the condition
If the convolution does not exists for some \(\lambda <0\), then it does not also exist for \(\lambda<\lambda '<0\), because
Hence,
Let
for \(n \in {\mathbb {N}}\) and
where
The sets \(U_n\) are dense and open, because every number \(\frac{2p+1}{2q-1}, p\in {\mathbb {Z}}, q\in {\mathbb {N}}\) belongs to this set. Indeed, multiplying the numerator and the denominator by a sufficiently big odd number, one gets a quotient with an arbitrarily big denominator. Therefore, the complements of the sets \(U_n\) are nowhere dense. Because
so \({\mathbb {R}} \setminus U\) is a set of the first category.
Now, we are going to establish that \(U\setminus {\mathbb {Q}}\subset \bigcap _{k=1}^\infty S_{-k}'=\bigcap _{\lambda <0}S_\lambda '\). Let \(\alpha \in U\setminus {\mathbb {Q}}\) and let \(w(x)=2+\cos x +\cos (\alpha x)\). Then, there exists a sequence \((p_n)_{n\in \mathbb N}\) of integers and an increasing sequence \((q_n)_{n\in {\mathbb {N}}}\) of positive integers such that
It means that
Let us denote
for \(n \in {\mathbb {N}}\). Then,
For every \(y\in {\mathbb {R}}\) we have
Therefore, for every \(k\in {\mathbb {N}}\) and sufficiently large n, we have
By inequality (5), we have
so for every \(k\in {\mathbb {N}}\) and sufficiently large n, we have
Hence,
We have established that \(U\setminus {\mathbb {Q}}\subset \bigcap _{\lambda <0}S_\lambda '\). Hence \(\bigcup _{\lambda <0}S_\lambda \subset \mathbb (R \setminus U) \cup {\mathbb {Q}}\). Thus, \(\bigcup _{\lambda <0}S_{\lambda }\) is a set of the first category. \(\square\)
We will also need the following result which, roughly speaking, shows how one can construct irrational numbers \(\alpha\) such that functions of form (1), do not satisfy at infinity a given asymptotic.
Theorem 8
([17]) For any function \(g:{\mathbb {R}} \rightarrow (0, +\infty )\) and any \(a\in {\mathbb {R}}, \epsilon >0\) there exists \(\alpha\) such that
The result below shows how one can construct irrational numbers \(\alpha\) for which the convolution of a function of form (1) with the function \(g_\lambda\) does not exist.
Theorem 9
For every \({a\in {\mathbb {R}}}\) and every \({\epsilon >0}\) there exists \(\alpha \in {\mathbb {R}}\setminus {\mathbb {Q}}\) such that for all \(\lambda <0\)
In other words, the set
is dense in \({\mathbb {R}}\). Thereby for \(\lambda _0<0\) the sets \(S_{\lambda _0}'\) and \(\bigcup _{\lambda <0}S_\lambda '\) are also dense in \({\mathbb {R}}\).
Remark 4
It is well-known that the set of all irrational algebraic numbers is dense in \({\mathbb {R}}\). Moreover, by Theorem 2 (cf. also Remark 2), \(\nu (\alpha )=2\), for any irrational algebraic number \(\alpha\). By Theorem 5, for such numbers \(\alpha\) there exists the convolution with the function \(g_{\lambda } :{\mathbb {R}} \rightarrow {\mathbb {R}}\) (\(\lambda <0\)). Therefore, the sets \(\bigcap _{\lambda<0}S_\lambda , S_{\lambda _0}, \bigcup _{\lambda <0}S_\lambda\), for \(\lambda _0<0\) are dense in \({\mathbb {R}}\).
Proof
Fix \(a\in {\mathbb {R}}, \epsilon >0\). Let
where \(L=|a|+1+\epsilon\). Let us observe that for any \(\lambda <0\) there exists \(x_0\) such that for \(x>x_0\) we have
By Theorem 8, there exists \(\alpha\) such that \(|\alpha -a|<\epsilon\) and the sequence \((x_n)_{n=1}^{\infty }\) such that \(x_n\ge 0\), \(x_{n+1}-x_n\ge 1\), for \(n\in {\mathbb {N}}\) and
where \(w(x)=2+\cos (x)+\cos (\alpha x)\). Then, by the parity of the function w, we get
because, by inequality (5) for sufficiently large n, we have
\(\square\)
Remark 5
Denote by L the set of all Liouville numbers. At the beginning of the Sect. 4 it was noticed that
Thus,
Therefore, for \(\lambda _0<0\)
where \(\mu\) denotes the Lebesgue measure on \({\mathbb {R}}\).
Now, we are going to focus on cardinality of the sets \(\bigcap _{\lambda <0}S_\lambda\) and \(\bigcap _{\lambda <0}S_\lambda '\).
Theorem 10
\(\bigcap _{\lambda <0}S_\lambda\) is a set with the cardinality of the continuum. Moreover, the set \(\bigcap _{\lambda <0}S_\lambda '\) is also with the cardinality of the continuum. Thereby \(\bigcup _{\lambda <0}S_\lambda\) and \(\bigcup _{\lambda <0}S_\lambda '\) are also with the cardinality of the continuum.
Proof
We will show that if denominators of an arithmetic continued fraction \([a_0, a_1, a_2,\ldots ]\) are bounded, then this number satisfies the Liouville’s Theorem for irrational algebraic numbers of degree 2. Indeed, let \(M>0\) be an upper bound of terms of the sequence \((a_n)\). Let us consider arbitrary \(q\ge 1\). Let n be an index such that \(Q_n\le q<Q_{n+1}\). Since the convergents of a continued fraction are its best approximations, for arbitrary \(p\in {\mathbb {Z}}\), we have
Moreover,
Therefore, for such numbers the convolution exists (for arbitrary \(\lambda <0\)). Obviously, the cardinality of such sequences is continuum, so the cardinality of the set \(\bigcap _{\lambda <0}S_\lambda\) is continuum, too. We are going to establish that the cardinality of the set
is also continuum. Let
Now, let \(\alpha\) be constructed according to Theorem 8 for the function g. Then, there exists a sequence \((x_n)_{n=1}^{\infty }\) such that \(x_n\ge 0\), \(x_{n+1}-x_n\ge 1\), for \(n\in {\mathbb {N}}\) and
where \(w(x)=2+\cos (x)+\cos (\alpha x)\). Moreover, for every \(k\in {\mathbb {N}}\) and sufficiently large n, we have
Then, by the parity of the function w, we get
because for every \(k\in {\mathbb {N}}\) and sufficiently large n, we have
By the construction, it follows that in an arbitrary neighborhood of any real number, the cardinality of the set of such constructed numbers is continuum, because having the denominators \(a_1,\ldots , a_n\), the subsequent one is constructed as any odd number greater than a certain quantity depending on \(a_1,\ldots , a_n\). Thus, at every step there are denumerably many possibilities of choice. Moreover, there are also denumerably many stages of choice. Hence, the cardinality of the set of such constructed numbers is continuum. Therefore, the cardinality of the set \(\bigcap _{\lambda <0}S_\lambda '\) is continuum. \(\square\)
References
Bohr, H.: Zur Theorie der fastperiodischen Funktionen, I. Teil Eine Verallgemeinerung der Theorie der Fourierreihen,. Acta Math. 45, 29–127 (1925)
Bohr, H., Teil Zur Theorie der fastperiodischen Funktionen, II. : Zusammenhang der fastperiodischen Functionen mit Funktionen von unendkich vielen Variablen; gleichmassige Approximation durch trigonometrische Summen, Acta Math. 46 (1925), 101–214
Bohr, H.: Zur Theorie der fastperiodischen Funktionen, III. Teil Dirichletentwicklung analytischer Functionen. Acta Math. 47, 237–281 (1926)
Meyer, Y.: Quasicrystals, almost periodic patterns, mean-periodic functions and irregular sampling. Afr. Diaspora J. Math. (N. S.) 13, 1–45 (2012)
Andres, J., Bersani, A.M., Grande, R.F.: Hierarchy of almost-periodic function spaces. Rend. Mat. Appl. 26, 121–188 (2006)
Besicovitch, A.S.: On generalized almost periodic functions. Proc. London Math. Soc. 25(2), 495–512 (1926)
Levitan, B.M.: Almost Periodic Functions. Gosudarstv. Izdat. Tekhn.-Teor, Lit, Moscow (1953).. (in Russian)
Stoiński, S.: Almost periodic functions. Scientific Publisher UAM, Poznań (2008).. ((in Polish))
Nawrocki, A.: On some applications of convolution to linear differential equations with Levitan almost periodic coefficients. Topol. Methods Nonlinear Anal. 50(2), 489–512 (2017)
Bugajewski, D., Diagana, T.: Almost automorphy of the convolution operator and applications to differential and functional differential equations. Nonlinear Stud. 13(2), 129–140 (2006)
Bugajewski, D., Gan, X., Kasprzak, P.: Mappings of higher order and nonlinear equations in some spaces of almost periodic functions. Nonlinear Anal. 75, 5294–5310 (2012)
Caraballo, T., Cheban, D.: Almost periodic and almost automorphic solutions of linear differential/difference equations without Favard’s separation condition. I. J. Differ. Equ. 246, 108–128 (2009)
Corduneau, C.: Almost periodic functions. Chelesa Publishing Company New York, N.Y., New York (1989)
Diagana, T.: Almost automorphic type and almost periodic type functions in abstract spaces. Springer, New York (2013)
N’Guerekata, G.: Almost automorphic and almost periodic functions in abstract spaces. Kluwer Academic/Plenum Publishers, New York (2001)
N’Guerekata, G.: Topics in almost automorphy. Springer-Verlag, New York (2005)
Bugajewski, D., Nawrocki, A.: Some remarks on almost periodic functions in view of the Lebesgue measure with applications to linear differential equations. Ann. Acad. Sci. Fenn. Math. 42, 809–836 (2017)
Kasprzak, K.: Remarks on some limits appearing in the theory of almost periodic functions. Topol. Methods Nonlinear Anal. 54(2A), 805–817 (2019)
Stoiński, S.: Almost periodic functions in the Lebesgue measure. Comment. Math. Prace Mat. 34, 189–198 (1994)
Narkiewicz, W.: Number Theory. Polish Scientific Publisher, Warsaw (2003).. (in Polish)
Nawrocki, A.: Diophantine approximations and almost periodic functions. Demonstr. Math. 50, 100–104 (2017)
John, C.: Oxtoby. Second edition, Springer-Verlag, New York-Heidelberg-Berlin, Measure and Category (1980)
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
Bugajewski, D., Kasprzak, K. & Nawrocki, A. Asymptotic properties and convolutions of some almost periodic functions with applications. Annali di Matematica 202, 1033–1050 (2023). https://doi.org/10.1007/s10231-022-01270-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-022-01270-2
Keywords
- Algebraic number
- Almost periodic function in view of the Lebesgue measure
- Asymptotic behavior of function
- Continued fraction
- Convolution
- Generalized trigonometric polynomial
- Irrationality measure
- Levitan almost periodic function
- Transcendental number