Diophantine approximation generalized

• Published in: Proceedings of the Steklov Institute of Mathematics Vol. 276; no. 1; pp. 193 - 207
• Main Authors: Mišík, Ladislav, Strauch, Oto
• Format: Journal Article
• Language: English
• Published: Dordrecht SP MAIK Nauka/Interperiodica 01.04.2012
• Subjects: Mathematics; Mathematics and Statistics; STEKLOV Institute; Lebesgue Measure; Arbitrary Sequence; Discontinuity Point; Integer Solution
• ISSN: 0081-5438; 1531-8605
• DOI: 10.1134/S0081543812010166

In this paper we study the set of x ∈ [0, 1] for which the inequality | x − x n | < z n holds for infinitely many n = 1, 2, ... Here x n ∈ [0, 1) and z n s> 0, z n → 0, are sequences. In the first part of the paper we summarize known results. In the second part, using the theory of distribution functions of sequences, we find the asymptotic density of n for which | x − x n | < z n , where x is a discontinuity point of some distribution function of x n . Generally, we also prove, for an arbitrary sequence x n , that there exists z n such that the density of n = 1, 2, ..., x n → x , is the same as the density of n = 1, 2, ..., | x − x n | < z n , for x ∈ [0, 1]. Finally we prove, using the longest gap d n in the finite sequence x 1 , x 2 , ..., x n , that if d n ≤ z n for all n , z n → 0, and z n is non-increasing, then | x − x n | < z n holds for infinitely many n and for almost all x ∈ [0, 1].