Lattice points in three-dimensional convex bodies with points of Gaussian curvature zero at the boundary
type: Item
instance of: scholarly article
title: Lattice points in three-dimensional convex bodies with points of Gaussian curvature zero at the boundary
zbMATH Open document ID: 1016.11045
published in: Monatshefte für Mathematik
publication date: 2003-03-25T00:00:00Z
review text: Let \(K\) be a three-dimensional compact convex set with the origin as an inner point. Let \(A(x)\) denote the number of lattice points inside the blown-up body \(xK\) where \(x\) is a large positive parameter. If the boundary of \(K\) is smooth and has positive Gaussian curvature everywhere, then \(A(x)=\text{vol}(k)x^3+O(x^\theta)\) and the best known result is \(\theta=63/43+\varepsilon\) (which is a little less than 3/2). In his book ``Lattice points'' [Kluwer (1988; Zbl 0675.10031)], the author considered bodies whose surface contains points with Gaussian curvature 0. Here, he extends the results to the case where the surface contains a flat point. It is enough to study the pillar \(S=\{(z,t_1,t_2): 0\leq z\leq f(t_1,t_2)\), \(a_i<t_i\leq b_i\), \(i=1,2\}\) where \(f\) has continuous partial derivatives up to the \(k\)th order for some \(k>2\). For this body, \[ A_k(x)=\text{vol}(S)x^3-(A\psi(b_1x)-B\psi(a_1x))x^2+P_k(x) \] where \(\psi(u)=u-[u]-1/2\) and \[ P_k(x)=-\sum_{a_1x<n_1\leq b_1x}\sum_{a_2x<n_2\leq b_2x} \psi(xf(n_1/x,n_2/x))+O(x). \] The point \((a_1,a_2)\) is a flat point if the Gaussian curvature is 0 there and also possibly at the points \((a_1,t_2)\) and \((t_1,a_2)\) and this is assumed to be the only flat point. If the partial derivatives \(\partial^{\nu_1}f/\partial t_1^{\nu_1}(a_1,t_2)\) are 0 for \(2\leq\nu_1\leq k_1-1\) and bounded away from 0 for \(\nu_1=k_1\), the partial derivatives \(\partial^{\nu_2}f/\partial t_2^{\nu_2}(t_1,a_2)\) are 0 for \(2\leq\nu_1\leq k_2-1\) and bounded away from 0 for \(\nu_2=k_2\), and the Hessian \(H(f)\) behaves like \((t_1-a_1)^{k_1-2}(t_2-a_2)^{k_2-2}\) as \((t_1,t_2)\rightarrow (a_1,a_2)\), then \[ P_k(x)\ll x^{2-{1\over k_1}-{1\over k_2}}\log^2x+x^{5\over 3} \Bigl(x^{-{1\over k_1}}+x^{-{1\over k_2}}\Bigr) +x^{3\over 2}. \] Another similar result is obtained under slightly different hypotheses on \(f\). If, in addition, the flat point at \((a_1,a_2)\) has a rational tangent plane, a sharper estimate for …
Mathematics Subject Classification ID: 11P21
zbMATH DE Number: 1887590
zbMATH Keywords: lattice points in convex bodies
author: Ekkehard Krätzel
reviewed by: John H. Loxton
MaRDI profile type: Publication
full work available at URL: s006050200050
OpenAlex ID: W2011193697
DOI: 10.1007/S006050200050
description: scientific article; zbMATH DE number 1887590