Abstract:H. Weyl proved in \cite{Weyl} that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. We use Weyl's result to prove a higher dimensional analogue of this fact. Namely, we prove that evaluations of polynomials on lattice points are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. This result strengths the main result of Arhipov-Karacuba-Čubarikov in \cite{PolWeyl}. We prove this analogue as a Corollary of a Theorem that guarantees equidistribution of lattice evaluations mod 1 for all functions which satisfy some restrains on their derivatives. Another Corollary we prove is that for $p\in(1,\infty)$ the $\ell^p$ norms of integer vectors are equidistributed mod 1.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to generalize Weyl's theorem on the uniform distribution of polynomials modulo 1 in high - dimensional spaces. Specifically, the goal of the paper is to prove that for a multivariate polynomial \(F: \mathbb{R}^n \to \mathbb{R}\), if at least one non - free coefficient (i.e., the coefficient of a term with degree at least 1) is irrational, then \(F(\mathbb{Z}^n)\bmod 1\) is uniformly distributed. In addition, the paper also proves a more general result, that is, for functions satisfying certain derivative conditions, their values on lattice points are also uniformly distributed modulo 1.
### Main contributions
1. **Generalization of the high - dimensional Weyl theorem**:
- The paper proves that for a multivariate polynomial \(F: \mathbb{R}^n \to \mathbb{R}\), if at least one non - free coefficient is irrational, then \(F(\mathbb{Z}^n)\bmod 1\) is uniformly distributed. This improves the main result in Arhipov - Karacuba - Čubarikov [4].
2. **More general result**:
- The paper proves a more general theorem, that is, for a function \(f: \mathbb{R}_+\cdot S \to \mathbb{R}\) satisfying certain derivative conditions, its values on lattice points are also uniformly distributed modulo 1. Here \(S\) is a spherical cap on the unit sphere.
3. **Applications**:
- As a corollary, the paper proves that for \(p\in(1,\infty)\), the \(\ell_p\)-norm of integer vectors is uniformly distributed modulo 1.
### Definitions and notations
- **Definition 1.1**: Let \(n\in\mathbb{N}\), \(\Gamma\subset\mathbb{R}^n\) be a discrete set, and \(F: D\subset\mathbb{R}^n \to \mathbb{R}\). If the sequence \(F(\Gamma)\bmod 1\) satisfies:
\[
\lim_{R\to\infty}(F\bmod 1)*\sigma_D^R = \lambda
\]
where \(B_R(0)\) represents the Euclidean ball with radius \(R\), \(F\bmod 1: D\to\mathbb{R}/\mathbb{Z}\) is the composition of \(F\) and the quotient map, \((F\bmod 1)*\sigma_D^R\) represents the push - forward measure, and \(\lambda\) is the Haar probability measure on the unit circle \(S^1\).
- **Definition 2.2**: Let \(n\in\mathbb{N}\), \(M\in GL_n(\mathbb{R})\), \(S\subset S^{n - 1}\) be a spherical cap, and \(f: S\cdot\mathbb{R}_+\to\mathbb{R}\) be a smooth function. If there exist \(d\in\mathbb{N}\) and \(v\in M\mathbb{Z}^n\) such that:
\[
\frac{\partial^d f}{\partial v^d}\text{ is homogeneous of degree 0}
\]
\[
\left(\frac{\partial^d f}{\partial v^d}\bmod 1\right)*m_S=\mu
\]
\[
\frac{\partial^{d + 1}f}{\partial v^{d+1}}(x)\to 0\quad\text{as }\|x\|_2\to\infty
\]