Abstract
We give a survey on classical and recent applications of dynamical systems to number theoretic problems. In particular, we focus on normal numbers, also including computational aspects. The main result is a sufficient condition for establishing multidimensional van der Corput sets. This condition is applied to various examples.
Dedicated to the memory of Professor Wolfgang Schwarz
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
2010 Mathematics subject classification:
1 Dynamical Systems in Number Theory
In the last decades dynamical systems became very important for the development of modern number theory. The present paper focuses on Furstenberg’s refinements of Poincaré’s recurrence theorem and applications of these ideas to Diophantine problems.
A (measure-theoretic) dynamical system is formally given as a quadruple \((X,\mathfrak{B},\mu,T)\), where \((X,\mathfrak{B},\mu )\) is a probability space with σ-algebra \(\mathfrak{B}\) of measurable sets and μ a probability measure; T: X → X is a measure-preserving transformation on this space, i.e. μ(T −1 A) = μ(A) for all measurable sets \(A \in \mathfrak{B}\). In the theory of dynamical systems, properties of the iterations of the transformation T are of particular interest. For this purpose we only consider invertible transformations and call such dynamical systems invertible.
The first property, we consider, originates from Poincaré’s famous recurrence theorem (see Theorem 1.4 of [32] or Theorem 2.11 of [13]) saying that starting from a set A of positive measure μ(A) > 0 and iterating T yields infinitely many returns to A. More generally, we call a subset \(\mathcal{R}\subset \mathbb{N}\) of the positive integers a set of recurrence if for all invertible dynamical systems and all measurable sets A of positive measure μ(A) > 0 there exists \(n \in \mathcal{R}\) such that μ(A ∩ T −n A) > 0. Then Poincaré’s recurrence theorem means that \(\mathbb{N}\) is a set of recurrence.
A second important theorem for dynamical systems is Birkhoff’s ergodic theorem (see Theorem 1.14 of [32] or Theorem 2.30 of [13]). We call T ergodic if the only invariant sets under T are sets of measure 0 or of measure 1, i.e. T −1 A = A implies μ(A) = 0 or μ(A) = 1. Then Birkhoff’s ergodic theorem connects average in time with average in space, i.e.,
for all f ∈ L 1(X, μ) and μ-almost all x ∈ X.
Let us explain an important application of this theorem to number theory. For q ≥ 2 a positive integer, consider T: [0, 1) → [0, 1) defined by T(x) = { qx}, where {t} = t −⌊t⌋ denotes the fractional part of t. If \(x \in \mathbb{R}\) is given by its q-ary digit expansion x = ⌊x⌋ + ∑ j = 1 ∞ a j (x)q −j, then the digits a j (x) can be computed by iterating this transformation T: a j (x) = d if \(T^{j-1}x \in \left [\tfrac{d} {q}, \frac{d+1} {q} \right )\) with d ∈ { 0, 1, …, q − 1}. Moreover, since a j (Tx) = a j+1(x) for j ≥ 1 the transformation T can be seen as a left shift of the expansion.
Now we call a real number x simply normal in base q if
for all d = 0, …, q − 1, i.e., all digits d appear asymptotically with equal frequencies 1∕q. A number x is called q-normal if it is simply normal with respect to all bases q, q 2, q 3, …. This is equivalent to the fact that the sequence \((\{q^{n}x\})_{n\in \mathbb{N}}\) is uniformly distributed modulo 1 (for short: u.d. mod 1), which also means that all blocks d 1, d 2, …, d L of subsequent digits appear in the expansion of x asymptotically with the same frequency q −L (cf. [8, 12, 16]). For completeness, let us give here one possible definition of u.d. sequences (x n ): a sequence of real numbers x n is called u.d. mod 1 if for all continuous functions \(f: [0,1] \rightarrow \mathbb{R}\)
Note, that by Weyl’s criterion the class of continuous functions can be replaced by trigonometric functions e(hx) = e 2π i h x, \(h \in \mathbb{N}\) or by characteristic functions 1 I (x) of intervals I = [a, b). Applying Birkhoff’s ergodic theorem shows that Lebesgue almost all real numbers are q-normal in any base q ≥ 2. Defining a real number to be absolutely normal if it is q-normal for all bases q ≥ 2, this immediately yields that almost all real numbers are absolutely normal.
In particular, this shows the existence of absolutely normal numbers. However, it is a different story to find constructions of (absolutely) normal numbers. It is a well-known difficult open problem to show that important numbers like \(\sqrt{ 2}\), ln2, e, π etc. are simply normal with respect to some given base q ≥ 2. A much easier task is to give constructions of q-normal numbers for fixed base q. Champernowne [9] proved that
is normal to base 10 and later this type of constructions was analyzed in detail. So, for instance, for arbitrary base q ≥ 2
is q-normal, where g(x) is a non-constant polynomial with real coefficients and the q-normal number is constructed by concatenating the q-ary digit expansions 〈⌊g(n)⌋〉 q of the integer parts of the values g(n) for n = 1, 2, …. These constructions were extended to more general classes of functions g (replacing the polynomials) (see [11, 18, 19, 22, 23, 29]) and the concatenation of 〈[g( p)]〉 q along prime numbers instead of the positive integers (see [10, 17, 18, 24]).
All such constructions depend on the choice of the base number q ≥ 2, and thus they are not suitable for constructing absolutely normal numbers. A first attempt to construct absolutely normal numbers is due to Sierpinski [30]. However, Turing [31] observed that Sierpinski’s “construction” does not yield a computable number, thus it is not based on a recursive algorithm. Furthermore, Turing gave an algorithm for a construction of an absolutely normal number. This algorithm is very slow and, in particular, not polynomially in time. It is very remarkable that Becher et al. [2] established a polynomial time algorithm for the construction of absolutely normal numbers. However, there remain various questions concerning the analysis of these algorithms. The discrepancy of the corresponding sequences is not studied and the order of convergence of the expansion is very slow and should be investigated in detail. Furthermore, digital expansions with respect to linear recurring base sequences seem appropriate to be included in the study of absolute normality from a computational point of view.
Let us now return to Poincaré’s recurrence theorem which shortly states that the set \(\mathbb{N}\) of positive integers is a recurrence set. In the 1960s various stronger concepts were introduced:
-
1.
\(\mathcal{R}\subseteq \mathbb{N}\) is called a nice recurrence set if for all invertible dynamical systems and all measurable sets A of positive measure μ(A) > 0 and all ɛ > 0, there exist infinitely many \(n \in \mathcal{R}\) such that
$$\displaystyle{\mu (A \cap T^{-n}A) >\mu (A)^{2} -\varepsilon.}$$ -
2.
\(\mathcal{H}\subseteq \mathbb{N}\) is called a van der Corput set (for short: vdC set) if the following implications holds:
$$\displaystyle{(x_{n+h} - x_{n})_{n\in \mathbb{N}}\;\text{is u.d. mod }1\mbox{ for all $h \in \mathcal{H}$}\Longrightarrow(x_{n})_{n\in \mathbb{N}}\;\text{is u.d. mod }1.}$$
Clearly, any nice recurrence set is a recurrence set. By van der Corput’s difference theorem (see [12, 16]) the set \(\mathcal{H} = \mathbb{N}\) of positive integers is a vdC set. Kamae and Mendès-France [15] proved that any vdC set is a nice recurrence set. Ruzsa [25] conjectured that any recurrence set is also a vdC set. An important tool in the analysis of recurrence sets is their equivalence with intersective (or difference) sets established by Bertrand-Mathis [5]. We call a set \(\mathcal{I}\) intersective if for each subset \(E \subseteq \mathbb{N}\) of positive (upper) density, there exists \(n \in \mathcal{I}\) such that n = x − y for some x, y ∈ E. Here the upper density of E is defined as usual by
Bourgain [7] gave an example of an intersective set which is not a vdC set, hence contradicting the above mentioned conjecture of Ruzsa.
Furstenberg [14] proved that the values g(n) of a polynomial \(g \in \mathbb{Z}[x]\) with g(0) = 0 form an intersective set and later it was shown by Kamae and Mendès-France [15] that this is a vdC set, too. It is also known that for fixed \(h \in \mathbb{Z}\) the set of shifted primes {p ± h: p prime} is a vdC set if and only if h = ±1. [20, Corollary 10]. This leads to interesting applications to additive number theory, for instance to new proofs and variants of theorems of Sárközy [26–28]. A general result concerning intersective sets related to polynomials along primes is due to Nair [21].
In the present paper we want to extend the concept of recurrence sets, nice recurrence sets, and vdC sets to subsets of \(\mathbb{Z}^{k},\) following the program of Bergelson and Lesigne [3] and our earlier paper [4]. In Sect. 2 we summarize basic facts concerning these concepts, including general relations between them and counter examples. Section 3 is devoted to a sufficient condition for establishing the vdC property. In the final Sect. 4 we collect various examples and give some new applications.
2 van der Corput Sets
In this section we provide various equivalent definitions of van der Corput sets in \(\mathbb{Z}^{k}\). In particular, we give four different definitions, which are k-dimensional variants of the one-dimensional definitions, whose equivalence is due to Ruzsa [25]. These generalizations were established by Bergelson and Lesigne [3]. Then we present a set, which is not a vdC set in order to give some insight into the structure of vdC sets. Finally, we define the higher-dimensional variant of nice recurrence sets.
2.1 Characterization via Uniform Distribution
Similar to above we first define a van der Corput set (vdC set for short) in \(\mathbb{Z}^{k}\) via uniform distribution.
Definition 2.1
A subset \(\mathcal{H}\subset \mathbb{Z}^{k}\setminus \{0\}\) is a vdC set if any family \((x_{\mathbf{n}})_{\mathbf{n}\in \mathbb{N}^{k}}\) of real numbers is u.d. mod 1 provided that it has the property that for all \(\mathbf{h} \in \mathcal{H}\) the family \((x_{\mathbf{n}+\mathbf{h}} - x_{\mathbf{n}})_{\mathbf{n}\in \mathbb{N}^{k}}\) is u.d. mod 1.
Here the property of u.d. mod 1 for the multi-indexed family \((x_{\mathbf{n}})_{\mathbf{n}\in \mathbb{N}^{k}}\) is defined via a natural extension of 1.1:
for all continuous functions \(f: [0,1] \rightarrow \mathbb{R}.\) Here in the limit N 1, N 2, …, N k are tending to infinity independently and < is defined componentwise.
Using the k-dimensional variant of van der Corput’s inequality we could equivalently define a vdC set as follows:
Definition 2.2
A subset \(\mathcal{H}\subset \mathbb{Z}^{k}\setminus \{0\}\) is a van der Corput set if for any family \((u_{\mathbf{n}})_{n\in \mathbb{Z}^{k}}\) of complex numbers of modulus 1 such that
the relation
holds.
2.2 Trigonometric Polynomials and Spectral Characterization
The first two definitions are not very useful for proving or disproving that a set \(\mathcal{H}\) is a vdC set. Similar to the one-dimensional case the following spectral characterization involving trigonometric polynomials is a better tool.
Theorem 2.3 ([3, Proposition 1.18])
A subset \(\mathcal{H}\subset \mathbb{Z}^{k}\setminus \{0\}\) is a van der Corput set if and only if for all ɛ > 0, there exists a real trigonometric polynomial P on the k-torus \(\mathbb{T}^{k}\) whose spectrum is contained in \(\mathcal{H}\) and which satisfies P(0) = 1, P ≥−ɛ.
The set of polynomials fulfilling the last theorem for a given ɛ forms a convex set. Moreover the conditions may be interpreted as some infimum. Therefore we might expect some dual problem, which is actually provided by the following theorem. For details see Bergelson and Lesigne [3] or Montgomery [20].
Theorem 2.4 ([3, Theorem 1.8])
Let \(\mathcal{H}\subset \mathbb{Z}^{k}\setminus \{0\}\) . Then \(\mathcal{H}\) is a van der Corput set if and only if for any positive measure σ on the k-torus \(\mathbb{T}^{k}\) such that, for all \(\mathbf{h} \in \mathcal{H}\) , \(\hat{\sigma }(\mathbf{h}) = 0\) , this implies σ({(0,0,…,0)}) = 0.
2.3 Examples
The structure of vdC sets is better understood by first giving a counter example. The following lemma shows to be very useful in the construction of counter examples.
Lemma 2.5
Let \(\mathcal{H}\subset \mathbb{N}\) . If there exists \(q \in \mathbb{N}\) such that the set \(\mathcal{H}\cap q\mathbb{N}\) is finite, then the set \(\mathcal{H}\) is not a vdC set.
Proof
The proof is a combination of the following two observations of Ruzsa [25] (see Theorem 2 and Corollary 3 of [20]):
-
1.
Let \(m \in \mathbb{N}\). The sets {1, …, m} and \(\{n \in \mathbb{N}: m \nmid n\}\) are both not vdC sets.
-
2.
Let \(\mathcal{H} = \mathcal{H}_{1} \cup \mathcal{H}_{2} \subset \mathbb{N}\). If \(\mathcal{H}\) is a vdC set, then \(\mathcal{H}_{1}\) or \(\mathcal{H}_{2}\) also has to be a vdC set.
Suppose there exists a \(q \in \mathbb{N}\) such that \(\mathcal{H}\cap q\mathbb{N}\) is finite. Then we may split \(\mathcal{H}\) into the sets \(\mathcal{H}\cap q\mathbb{N}\) and \(\mathcal{H}\setminus q\mathbb{N}\). The first one is finite and the second one contains no multiples of q. Therefore both are not vdC sets and hence \(\mathcal{H}\) is not a vdC set.
The first counter example deals with arithmetic progressions.
Lemma 2.6
Let \(a,b \in \mathbb{N}\) . If the set \(\{an + b: n \in \mathbb{N}\}\) is a vdC set, then a∣b.
Proof
Let \(b \in \mathbb{N}\) and \(\mathcal{H} =\{ an + b: n \in \mathbb{N}\}\) be a vdC set. Then by Lemma 2.5 we must have
This implies that a∣b.
The sufficiency (and also the necessity) of the requirement a∣b follows from the following result of Kamae and Mendès-France [15] (cf. Corollary 9 of [20]).
Lemma 2.7
Let \(P(z) \in \mathbb{Z}[z]\) and suppose that P(z) → +∞ as z → +∞. Then \(\mathcal{H} =\{ P(n) > 0: n \in \mathbb{N}\}\) is a vdC set if and only if for every positive integer q the congruence \(P(z) \equiv 0\pmod q\) has a root.
Now we want to establish a similar result for sets of the form {ap + b: p prime}. In this case the following result is due to Bergelson and Lesigne [3] which is a generalization of the case f(x) = x due to Kamae and Mendès-France [15].
Lemma 2.8 ([3, Proposition 1.22])
Let f be a (non zero) polynomial with integer coefficients and zero constant term. Then the sets \(\{\,f(\,p - 1): p \in \mathbb{P}\}\) and \(\{\,f(\,p + 1): p \in \mathbb{P}\}\) are vdC sets in \(\mathbb{Z}\) .
We show the converse direction.
Lemma 2.9
Let a and b be nonzero integers. Then the set \(\{ap + b: p \in \mathbb{P}\}\) is a vdC set if and only if \(\left \vert a\right \vert = \left \vert b\right \vert\) , i.e., ap + b = a( p ± 1).
Proof
It is clear from Lemma 2.8 that \(\{ap + b: p \in \mathbb{P}\}\) is a vdC set if \(\left \vert a\right \vert = \left \vert b\right \vert\).
On the contrary a combination of Lemma 2.5 and Lemma 2.6 yields that a∣b. Now we consider the sequence modulo b. Then by Lemma 2.5 we get that
Since ( p, b) > 1 only holds for finitely many primes p we must have b∣a. Combining these two requirements yields \(\left \vert a\right \vert = \left \vert b\right \vert\).
3 A Sufficient Condition
In this section we want to formulate a general sufficient condition which provides us with a tool to show for plenty of different examples that they generate a vdC set. This is a generalization of the conditions of Kamae and Mendès-France [15] and Bergelson and Lesigne [3]. Before stating the condition we need an auxiliary lemma.
Lemma 3.1 ([3, Corollary 1.15])
Let d and e be positive integers, and let L be a linear transformation from \(\mathbb{Z}^{d}\) into \(\mathbb{Z}^{e}\) (represented by an e × d matrix with integer entries). Then the following assertions hold:
-
1.
If D is a vdC set in \(\mathbb{Z}^{d}\) and if 0∉L(D), then L(D) is a vdC set in \(\mathbb{Z}^{e}\) .
-
2.
Let \(D \subseteq \mathbb{Z}^{d}\) . If the linear map L is one-to-one, and if L(D) is a vdC set in \(\mathbb{Z}^{e}\) , then D is a vdC set in \(\mathbb{Z}^{d}\) .
Our main tool is the following general result. Applications are given in the next section.
Proposition 3.2
Let \(g_{1},\ldots,g_{k}: \mathbb{N} \rightarrow \mathbb{Z}\) be arithmetic functions. Suppose that \(g_{i_{1}},\ldots,g_{i_{m}}\) is a basis of the \(\mathbb{Q}\) -vector space span (g 1 ,…,g k ). For each \(q \in \mathbb{N}\) , we introduce
Suppose further that, for every q, there exists a sequence \((h_{n}^{(q)})_{n\in \mathbb{N}}\) in D q such that, for all \(\mathbf{x} = (x_{1},\ldots,x_{m}) \in \mathbb{R}^{m}\setminus \mathbb{Q}^{m}\) , the sequence \((h_{n}^{(q)} \cdot \mathbf{x})_{n\in \mathbb{N}}\) is uniformly distributed mod 1. Then
is a vdC set.
Proof
We first show that the set
is a vdC set in \(\mathbb{Z}^{m}\). For \(q,N \in \mathbb{N}\) we define a family of trigonometric polynomials
By hypothesis, lim N → ∞ P q, N (x) = 0 for \(x\not\in \mathbb{Q}^{m}\). For fixed q there exists a subsequence (P q, N′) which converges pointwise to a function g q . Since g q (x) = 1 (for \(x \in \mathbb{Q}^{m}\) and q sufficiently large) and g q (x) = 0 (for \(x\not\in \mathbb{Q}^{m}\)), the sequence (g q ) is pointwise convergent to the indicator function of \(\mathbb{Q}^{m}\). For a positive measure σ on the m-dimensional torus with vanishing Fourier transform \(\hat{\sigma }\) on D, we have ∫ P q, N dσ = 0 for all q, N. Thus \(\sigma (\mathbb{Q}^{m}) = 0\) follows from the dominating convergence theorem, obviously σ({0, 0, …, 0}) = 0, and thus D is a vdC set.
In order to prove that \(\tilde{D}\) is a vdC set we apply Lemma 3.1 twice. Since \(g_{i_{1}},\ldots,g_{i_{m}}\) is a base of span(g 1, …, g k ), we can write each g j as a linear combination (with rational coefficients) of \(g_{i_{1}},\ldots,g_{i_{m}}\). Multiplying with the common denominator of the coefficients yields
for j = 1, …, k and certain \(a_{j},b_{j,\ell} \in \mathbb{Z}\). Considering the transformation \(L: \mathbb{Z}^{m} \rightarrow \mathbb{Z}^{k}\) given by the matrix (b j, ℓ ) and applying part (1) of Lemma 3.1 shows that
is a vdC set for certain integers a 1, …, a k .
Now consider the transformation \(\tilde{L}: \mathbb{Z}^{k} \rightarrow \mathbb{Z}^{k}\) given by the k × k diagonal matrix with entries a 1, …, a k in the diagonal. Then by part (2) of Lemma 3.1 also \(\tilde{D}\) is a vdC set and the proposition is proved.
4 Various Examples and Applications to Additive Problems
In this section we consider multidimensional variants of prime powers, entire functions and x αlogβ x sequences.
4.1 Prime Powers
In a recent paper the authors together with Bergelson, Kolesnik, and Son [4] consider sets of the form
where \(\alpha _{i},\beta _{i} \in \mathbb{R}\) and \(p_{n} \in \mathcal{P}\) runs over all prime numbers. These sets are vdC, however, we missed the treatment of a special case in the proof. In particular, if for some i ≠ j the exponents satisfy θ i = θ j = : θ, then the vector ( p n θ, p n θ) is not uniformly distributed mod 1.
Here we close this gap.
Theorem 4.1
If α i are positive integers and β i are positive and non-integers, then
and
are vdC sets in \(\mathbb{Z}^{k+\ell}\) .
Proof
Since \(x^{\theta _{1}}\) and \(x^{\theta _{2}}\) are \(\mathbb{Q}\)-linear dependent for all \(x \in \mathbb{Z}\) if and only if θ 1 = θ 2, an application of Proposition 3.2 yields that it suffices to consider the case where all exponents are different. However, this follows by the same arguments as in the proof of Theorem 4.1 in [4].
4.2 Entire Functions
In this section we consider entire functions of bounded logarithmic order. We fix a transcendental entire function f and denote by \(S(r):=\max _{\left \vert z\right \vert \leq r}\left \vert f(z)\right \vert\). Then we call λ the logarithmic order of f if
The central tool is the following result of Baker [1].
Theorem 4.2 ([1, Theorem 2])
Let f be a transcendental entire function of logarithmic order \(1 <\lambda < \frac{4} {3}\) . Then the sequence
is uniformly distributed mod 1.
Our second example of a class of vdC sets is the following.
Theorem 4.3
Let f 1 ,…,f k be entire functions with distinct logarithmic orders \(1 <\lambda _{1},\lambda _{2},\ldots,\lambda _{k} < \frac{4} {3}\) , respectively. Then the set
is a vdC set.
Proof
We enumerate D = (d n ) n ≥ 1, where
First we show that for every \(q \in \mathbb{N}\) the set
has positive relative density in D. We note that if \(0 \leq \left \{\frac{f_{i}(\,p_{n})} {q} \right \} < \frac{1} {q}\) for 1 ≤ i ≤ k, then d n ∈ D (q). By Theorem 4.2 the sequence
is uniformly distributed and thus D (q) has positive density in D.
For each \(q \in \mathbb{N}\) we enumerate the elements of D (q! ) = (d n (q! )) n ≥ 1, such that \(\left \vert \mathbf{d}_{n}^{(q!)}\right \vert\) is increasing. Since the logarithmic orders are distinct we immediately get that the functions f i are \(\mathbb{Q}\)-linearly independent. Thus by Proposition 3.2 it is sufficient to show that for all \(q \in \mathbb{N}\) and all \(\mathbf{x} = (x_{1},\ldots,x_{k}) \in \mathbb{R}^{k}\setminus \mathbb{Q}^{k}\) the sequence (d n (q! ) ⋅ x) n ≥ 1 is u.d. mod 1.
Using the orthogonality relations for additive characters we get for any nonzero integer h that
The innermost sum is of the form
with g(x) = ∑ i = 1 k α i ⌊ f i (x)⌋ for a certain \((\alpha _{1},\ldots,\alpha _{k}) \in \mathbb{R}^{k}\setminus \mathbb{Q}^{k}\).
By relabeling the terms we may suppose that there exists an ℓ such that \(\alpha _{1},\ldots,\alpha _{\ell}\not\in \mathbb{Q}\) and \(\alpha _{\ell+1},\ldots,\alpha _{k} \in \mathbb{Q}\). Furthermore we may write \(\alpha _{j} = \frac{a_{j}} {q}\) for ℓ + 1 ≤ j ≤ m. Then
where s j (x, y) = e(x −{ y}α j ) (1 ≤ j ≤ ℓ) and \(t_{j}(z) = e\left (a_{j}\frac{z} {q}\right )\) (ℓ + 1 ≤ j ≤ k).
Since s j (x, y) is Riemann-integrable on \(\mathbb{T}^{2}\) for j = 1, …, ℓ and t j (z) is continuous on \(\mathbb{Z}_{q} = \mathbb{Z}/q\mathbb{Z}\), the function ∏ j = 1 ℓ s j ∏ j = ℓ+1 k t j is Riemann-integrable on \(\mathbb{T}^{2\ell} \times \mathbb{Z}_{q}^{k-\ell}\).
Now an application of Theorem 4.2 yields that for any \(u \in \mathbb{N}\) the sequence
is u.d. in \(\mathbb{T}^{2\ell} \times \mathbb{T}^{k-\ell}\). Since \(\lfloor x\rfloor \equiv a\pmod q\) is equivalent to \(\frac{x} {q} \in [\frac{a} {q}, \frac{a+1} {q} ]\), we deduce that
is u.d. in \(\mathbb{T}^{2\ell} \times \mathbb{Z}_{q}^{k-\ell}\), and Weyl’s criterion implies that
proving the theorem.
4.3 Functions of the Form x αlogβ x
In the one-dimensional case Boshernitzan et al. [6] showed, among other result, that these sets are vdC sets. Our aim is to show an extended version for the k-dimensional case. Therefore we use the following general criterion, which is a combination of Fejer’s theorem and van der Corput’s difference theorem.
Theorem 4.4 ([16, Theorem 3.5])
Let f(x) be a function defined for x > 1 that is k-times differentiable for x > x 0 . If f (k) (x) tends monotonically to 0 as x →∞ and if \(\lim _{x\rightarrow \infty }x\left \vert f^{(k)}(x)\right \vert = \infty \) , then the sequence ( f(n)) n≥1 is u.d. mod 1.
Applying this theorem we get the following
Corollary 4.5
Let α ≠ 0 and
-
either σ > 0 not an integer and \(\tau \in \mathbb{R}\) arbitrary
-
or σ > 0 an integer and \(\tau \in \mathbb{R}\setminus [0,1]\) .
Then the sequence (αn σlogτ n) n≥2 is u.d. mod 1.
Our third example is the following class of vdC sets.
Theorem 4.6
Let α 1 ,…,α k > 0 and \(\beta _{1},\ldots,\beta _{k} \in \mathbb{R}\) , such that β i ∉[0,1] whenever \(\alpha _{i} \in \mathbb{Z}\) for i = 1,…,k. Then the set
is a vdC set.
Proof
Following the same arguments as is the proof of Theorem 4.3 and replacing the uniform distribution result for entire functions (Theorem 4.3) by the corresponding result for n αlogβ n sequences (Corollary 4.5) yields the proof.
References
R.C. Baker, Entire functions and uniform distribution modulo 1. Proc. Lond. Math. Soc. (3) 49 (1), 87–110 (1984)
V. Becher, P.A. Heiber, T.A. Slaman, A polynomial-time algorithm for computing absolutely normal numbers. Inf. Comput. 232, 1–9 (2013)
V. Bergelson, E. Lesigne, Van der Corput sets in \(\mathbb{Z}^{d}\). Colloq. Math. 110 (1), 1–49 (2008)
V. Bergelson, G. Kolesnik, M. Madritsch, Y. Son, R. Tichy, Uniform distribution of prime powers and sets of recurrence and van der Corput sets in \(\mathbb{Z}^{k}\). Israel J. Math. 201 (2), 729–760 (2014)
A. Bertrand-Mathis, Ensembles intersectifs et récurrence de Poincaré. Israel J. Math. 55 (2), 184–198 (1986)
M. Boshernitzan, G. Kolesnik, A. Quas, M. Wierdl, Ergodic averaging sequences. J. Anal. Math. 95, 63–103 (2005)
J. Bourgain, Ruzsa’s problem on sets of recurrence. Israel J. Math. 59 (2), 150–166 (1987)
Y. Bugeaud, Distribution Modulo One and Diophantine Approximation. Cambridge Tracts in Mathematics, vol. 193 (Cambridge University Press, Cambridge, 2012)
D. Champernowne, The construction of decimals normal in the scale of ten. J. Lond. Math. Soc. 8, 254–260 (1933) (English)
A.H. Copeland, P. Erdős, Note on normal numbers. Bull. Am. Math. Soc. 52, 857–860 (1946)
H. Davenport, P. Erdős, Note on normal decimals. Can. J. Math. 4, 58–63 (1952)
M. Drmota, R.F. Tichy, Sequences, Discrepancies and Applications. Lecture Notes in Mathematics, vol. 1651 (Springer, Berlin, 1997)
M. Einsiedler, T. Ward, Ergodic Theory with a View Towards Number Theory. Graduate Texts in Mathematics, vol. 259 (Springer, Berlin, 2011)
H. Furstenberg, Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. J. Anal. Math. 31, 204–256 (1977)
T. Kamae, M. Mendès France, van der Corput’s difference theorem. Israel J. Math. 31 (3–4), 335–342 (1978)
L. Kuipers, H. Niederreiter, Uniform Distribution of Sequences. Pure and Applied Mathematics (Wiley, New York, 1974)
M.G. Madritsch, Construction of normal numbers via pseudo-polynomial prime sequences. Acta Arith. 166 (1), 81–100 (2014)
M.G. Madritsch, R.F. Tichy, Construction of normal numbers via generalized prime power sequences. J. Integer Seq. 16 (2) (2013). Article 13.2.12, 17
M.G. Madritsch, J.M. Thuswaldner, R.F. Tichy, Normality of numbers generated by the values of entire functions. J. Number Theory 128 (5), 1127–1145 (2008)
H.L. Montgomery, Ten lectures on the interface between analytic number theory and harmonic analysis, in CBMS Regional Conference Series in Mathematics, vol. 84, Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1994
R. Nair, On certain solutions of the Diophantine equation x − y = p(z). Acta Arith. 62 (1), 61–71 (1992)
Y. Nakai, I. Shiokawa, A class of normal numbers. Japan. J. Math. (N.S.) 16 (1), 17–29 (1990)
Y. Nakai, I. Shiokawa, Discrepancy estimates for a class of normal numbers. Acta Arith. 62 (3), 271–284 (1992)
Y. Nakai, I. Shiokawa, Normality of numbers generated by the values of polynomials at primes. Acta Arith. 81 (4), 345–356 (1997)
I.Z. Ruzsa, Connections Between the Uniform Distribution of a Sequence and Its Differences. Topics in Classical Number Theory, vol. I, II (Budapest, 1981); Colloq. Math. Soc. János Bolyai, vol. 34, (North-Holland, Amsterdam, 1984), pp. 1419–1443
A. Sárközy, On difference sets of sequences of integers. I. Acta Math. Acad. Sci. Hung. 31 (1–2), 125–149 (1978)
A. Sárközy, On difference sets of sequences of integers. II. Ann. Univ. Sci. Budapest. Eötvös Sect. Math. 21, 45–53 (1978/1979)
A. Sárközy, On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hung. 31 (3–4), 355–386 (1978)
J. Schiffer, Discrepancy of normal numbers. Acta Arith. 47 (2), 175–186 (1986)
W. Sierpinski, Démonstration élémentaire du théorème de M. Borel sur les nombres absolument normaux et détermination effective d’une tel nombre. Bull. Soc. Math. France 45, 125–132 (1917)
A.M. Turing, A note on normal numbers, in Collected Works of A.M. Turing, ed. by J. Britton (North Holland, Amsterdam, 1992), pp. 117–119.
P. Walters, An Introduction to Ergodic Theory. Graduate Texts in Mathematics, vol. 79 (Springer, Berlin, 1982)
Acknowledgements
This research work was done when the first author was a visiting professor at the Department of Analysis and Number Theory at Graz University of Technology. The author thanks the institution for its hospitality. For the realization of the present paper the first author received support from the Conseil Régional de Lorraine.
The second author acknowledges support of the project F 5510-N26 within the special research area “Quasi Monte-Carlo Methods and applications” founded by the Austrian Science Fund.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Madritsch, M.G., Tichy, R.F. (2016). Dynamical Systems and Uniform Distribution of Sequences. In: Sander, J., Steuding, J., Steuding, R. (eds) From Arithmetic to Zeta-Functions. Springer, Cham. https://doi.org/10.1007/978-3-319-28203-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-28203-9_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28202-2
Online ISBN: 978-3-319-28203-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)