Über Gitterpunkte in mehrdimensionalen Ellipsoiden. III (Q1445004)

Es sei \[ Q \equiv \sum_{\mu, \nu = 1}^k a_{\mu\nu} n_\mu n_\nu \quad (a_{\mu\nu} = a_{\nu\mu}) \] eine positiv-definite quadratische Form mit reellen Koeffizienten. Es sei weiter \(N(x)\) die Anzahl der Gitterpunkte innerhalb des Ellipsoids \(Q \leq x\), und \(V(x)\) sei das Volumen dieses Ellipsoids. Hat die quadratische Form \(Q\) rationale Koeffizienten, so ist durch Arbeiten von Walfisz, Landau, Jarník und Müntz das Problem der Bestimmung der Größenordnung von \(P(x) = N(x) - V (x)\) vollständig gelöst, falls \(k \geq 5\) ist, und beinahe vollständig im Falle \(k = 4\). Anders steht es aber, falls auch irrationale Koeffizienten zugelassen werden. Verf. betrachtet jetzt den folgenden Spezialfall dieses allgemeinen Problems: Es sei \[ Q = \alpha n^2 + \sum_{\mu, \nu = 1}^{k-1} a_{\mu\nu} n_\mu n_\nu \] mit irrationalem positivem \(\alpha\) und ganzen rationalen \(a_{\mu\nu}\) Er kommt zu interessanten Ergebnissen, und zwar beweist er folgende Sätze: I. Für \(k\geq 10\) und jedes irrationale \(\alpha > 0\) ist \[ P(x) = o\left(x^{\tfrac k2 - 1}\right). \] II. Es sei \(\varphi (x)\) für alle \(x > 0\) definiert, positiv und nehme mit wachsendem \(x\) monoton gegen Null ab. Dann ist für ein geeignetes \(\alpha > 0\): \[ P(x) = \varOmega \left(x^{\tfrac k2 - 1} \varphi(x)\right). \] (Es läßt sich also I \textit{für jedes} \(\alpha\) nicht verbessern). III. Es wachse der \(n\)-te Kettenbruchnenner von \(\alpha\) nicht schneller als \(n^\varrho\). Dann ist für \( k \geqq 10\): \[ P(x)=O\left(x^{\tfrac k2 - \tfrac 65} \log^{\tfrac{\varrho}{5}} x\right). \] (Für spezielle \(\alpha\) läßt sich also I verbessern.) Hauptresultat der Arbeit ist mithin: Die Größenordnung von \(P(x)\) hängt ab von dem arithmetischen Charakter von \(\alpha\).