Suppose D D is a suitably admissible compact subset of R k \mathbb {R}^k having a smooth boundary with possible zones of zero curvature. Let R ( T , θ , x ) = N ( T , θ , x ) − T k v o l ( D ) R(T,\theta ,x)= N(T,\theta ,x) - T^{k}\mathrm {vol}(D) , where N ( T , θ , x ) N(T,\theta ,x) is the number of integral lattice points contained in an x x -translation of T θ ( D ) T\theta (D) , with T > 0 T >0 a dilation parameter and θ ∈ S O ( k ) \theta \in SO(k) . Then R ( T , θ , x ) R(T,\theta ,x) can be regarded as a function with parameter T T on the space E ∗ + ( k ) E_{*}^{+}(k) , where E ∗ + ( k ) E_{*}^{+}(k) is the quotient of the direct Euclidean group by the subgroup of integral translations and E ∗ + ( k ) E_{*}^{+}(k) has a normalized invariant measure which is the product of normalized measures on S O ( k ) SO(k) and the k k -torus. We derive an integral estimate, valid for almost all ( θ , x ) ∈ E ∗ + ( k ) (\theta ,x) \in E_{*}^{+}(k) , one consequence of which in two dimensions is that for almost all ( θ , x ) ∈ E ∗ + ( 2 ) (\theta ,x) \in E_{*}^{+}(2) , a counterpart of the Hardy circle estimate ( 1 / T ) ∫ 1 T | R ( t , θ , x ) d t | ≪ T 1 4 + ϵ (1/T)\int _{1}^{T} |R(t,\theta ,x)\,dt| \ll T^{\frac {1}{4} +\epsilon } is valid with an improved estimate. We conclude with an account of hyperbolic versions for which, drawing on previous work of Hill and Parnovski, we give counterparts in all dimensions for both the compact and non-compact finite volume cases.
Read full abstract