The lattice points of an \(n\)-dimensional tetrahedron. (Q2586243)

Verf. behandelt die Aufgabe, die Anzahl der Gitterpunkte im Innern oder auf der Begrenzung eines \(n\)-dimensionalen ''Tetraeders'' zu bestimmen, das begrenzt wird von den Ebenen \[ x_1=0, \;x_2=0, \ldots, x_n=0, \;w_1x_1+w_2x_2+\cdots+w_nx_n=t \;(w_\nu > 0, t \geqq 0). \] Die Anzahl dieser Gitterpunkte \(N_n(t|w_1;w_2;\ldots;w_n)\) als Funktion von \(t\) wird angenähert durch zwei Polynome \[ P_n(t|w_1;w_2;\ldots;w_n)=\sum_{\nu=0}^np_\nu^{(n)}t^\nu, \quad Q_n(t|w_1;w_2;\ldots;w_n)=\sum_{\nu=0}^n q_\nu^{(n)}t^\nu, \] so daß die Ungleichung \[ P_n(t|w_1;w_2;\ldots;w_n)<N_n(t|w_1;w_2;\ldots;w_n) < Q_n(t|w_1;w_2;\ldots;w_n) \] für alle \(t \geqq 0\) besteht. Solche Polynome \(P_n\), \(Q_n\) werden rekurrent berechnet. Verf. stellt unter Verwendung Bernoullischer Polynome Rekursionsformeln für \(c_\nu^{(n)}=w_1w_2\cdots w_np_\nu^{(n)}\) auf. Da \(N_1(t|w_1)=1+\left[\dfrac t{w_1}\right]\) ist, wird \(P_1(t|w_1)=\dfrac t{w_1}\), also \(p_0^{(1)}=0\), \(p_1^{(1)}=\dfrac 1{w_1}\) gewählt, woraus sich mit Hilfe der Rekursionsformeln die \(p_\nu^{(n)}\) sukzessive berechnen lassen. In derselben Weise werden Rekursionsformeln für \(d_\nu^{(n)}=w_1w_2\cdots w_nq_\nu^{(n)}\) aufgestellt, mit deren Hilfe man, ausgehend von \(Q_1(t|w_1)=1+\dfrac t{w_1}\), die \(q_\nu^{(n)}\) nacheinander bestimmen kann. Über die Güte der Annäherung von \(N_n(t)\) durch \(P_n(t)\) bzw. \(Q_n(t)\) werden zwei Sätze abgeleitet, welche besagen: Für jedes \(n>0\) gibt es unendlich viele \(n\)-dimensionale Tetraeder mit \[ 0<N_n(t)-P_n(t)=O(t^{n-3}) \quad \text{bzw.} \quad Q_n(t)-N_n(t)=\frac{t^{n-2}}{8(n-2)!}+O(t^{n-3}). \] Obwohl die Rekursionsformeln für die Koeffizienten von \(P_n(t)\) und \(Q_n(t)\) ziemlich kompliziert sind, lassen sich die Koeffizienten, falls \(w_1\), \(w_2\), \dots, \(w_n\) numerisch gegeben sind, wie Verf. angibt, verhältnismäßig leicht berechnen. Er hat solche im Zusammenhang mit einer demnächst erscheinenden Arbeit bis zu \(n=14\) berechnet. Schließlich vergleicht Verf. die Werte, die seine Näherungspolynome \(P_n\), \(Q_n\) und die weiteren von D. C. Spencer, J. B. Rosser, A. E. Western angegebenen Näherungspolynome im Fall \(N_5(t| \log_{10}2;\,\log_{10}3;\,\log_{10}5;\,\log_{10}7;\,\log_{10}11)\) für \(t=1\); 2; 3; 5; 8; 10; 10, 5 liefern, mit den hierfür von Western angegebenen genauen Werten.