A note on Kronecker's approximation theorem

Daria Maksimova
2024-05-12
Abstract:We improve on Gonek-Montgomery's quantitative version of Kronecker's approximation theorem.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the quantitative version of the Kronecker approximation theorem, especially in the case of small error terms \(\varepsilon_j\). Specifically, the author aims to obtain results similar to those proved by Gonek and Montgomery under weaker conditions through the classical transference argument method. ### Background of the paper The Kronecker approximation theorem is a classical result, which describes the approximation properties of linear forms \(L_j(x)\) at integer points. An important corollary of this theorem is: **Theorem B**: If the real numbers \(\lambda_1,\ldots,\lambda_N\) are linearly independent over the field of rational numbers, then for any given real numbers \(\alpha_1,\ldots,\alpha_N\) and any positive number \(\varepsilon > 0\), there exists a sufficiently large positive real number \(t\) such that: \[ \max_{1\leq j\leq N}\|\lambda_j t - \alpha_j\| < \varepsilon \] Gonek and Montgomery gave a quantitative version of Theorem B, namely **Theorem C**, in reference [3]. They used the analysis method of trigonometric polynomials, which can be traced back to the work of Turan and Chen. ### Main contributions of the paper The main contribution of this paper is that the author obtains a conclusion similar to Theorem C through the classical transference argument method, but with more relaxed conditions in some cases. Specifically, the author proves the following theorem: **Theorem 1**: Let \(\delta > 0\), \(\gamma=\frac{2N - 2}{N}\cdot(N!)^2\), \(T^*=\frac{1}{\gamma\delta}\), and \(\varepsilon_j\in(0,\frac{1}{2})\), \(1\leq j\leq N\). Define: \[ M^*_j=\frac{1}{\gamma\varepsilon_j}\geq1,\quad1\leq j\leq N \] Suppose the real numbers \(\lambda_1,\ldots,\lambda_N\) satisfy: \[ \min_{(m_1,\ldots,m_N)\in\mathbb{Z}^N\setminus\{(0,\ldots,0)\}}\left\{|m_1\lambda_1+\cdots+m_N\lambda_N|:|m_j|\leq M^*_j,1\leq j\leq N\right\}\geq\delta \] Then for any real vector \(\alpha = (\alpha_1,\ldots,\alpha_N)\) and any real number \(\tau\), there exists a real number \(t\in[\tau,\tau + T^*]\) such that: \[ \|\lambda_j t - \alpha_j\|\leq\varepsilon_j,\quad1\leq j\leq N \] ### Key improvements Compared with the results of Gonek and Montgomery, the key improvements in this paper are: 1. **Weaker conditions**: For smaller \(\varepsilon_j\), the assumption condition (5) in this paper, which is defined by \(M^*_j\), is more relaxed than the way \(M_j\) is used in Theorem C. 2. **Application of classical methods**: This paper shows how to use the classical transference argument method to obtain similar results, which provides a new perspective for understanding and applying the Kronecker approximation theorem. ### Summary The main purpose of this paper is through...