On the fractional parts of the natural powers of a fixed number.
This paper and its sequels deal with a new concept of distributions modulo one which is connected with the Dirichlet divisor and similar problems. Each of the theorems has some independent interest, and in addition some of the techniques developed lead to improvements in certain applications of the hyperbola method.
As promised in the first paper of this series (Ann. Inst. Fourier, 26-4 (1976), 115-131), these two articles deal with the asymptotic distribution of the fractional parts of where is an arithmetical function (namely , , ) and is an integer (or a prime order) running over the interval . The results obtained are rather sharp, although one can improve on some of them at the cost of increased technicality. Number-theoretic applications will be given later on.
We present an algorithm for computing the greatest integer that is not a solution of the modular Diophantine inequality , with complexity similar to the complexity of the Euclid algorithm for computing the greatest common divisor of two integers.
Zeta-functions associated with modified Bessel functions are introduced as ordinary Dirichlet series whose coefficients are J-Bessel and K-Bessel functions. Integral representations, transformation formulas, a power series expansion involving the Riemann zeta-function and a recurrence formula are given. The inverse Laplace transform of Weber's first exponential integral is the basic tool to derive the integral representations. As an application, we give a new proof of the Fourier series expansion...
Let be an expanding matrix, a set with elements and define via the set equation . If the two-dimensional Lebesgue measure of is positive we call a self-affine plane tile. In the present paper we are concerned with topological properties of . We show that the fundamental group of is either trivial or uncountable and provide criteria for the triviality as well as the uncountability of . Furthermore, we give a short proof of the fact that the closure of each component of is a locally...