Ein Satz über die sukzessiven Minima bei definiten quadratischen Formen. (Q2579644)

Gegeben ist die positiv definite quadratische Form \[ f(x_1;x_2;\dots ;x_n)\textstyle =\kern-4pt\sum\limits_{k,l=1}^{n}a_{kl}x_kx_l \] mit der Determinante \(A=|\,a_{kl}\,|>0\). \(m_1\), \(m_2\),\dots, \(m_{n}\) seien ihre ``sukzessiven Minima''. Dabei werde das erste Minimum \(m_1\) (also der kleinste von Null verschiedene Wert, den die quadratische Form für ganzzahlige \(x_{k}\) annehmen kann) für die ganzen Zahlen \[ \begin{alignedat}{3} & && &&u_{11}, u_{21},\dots, u_{n1},\\ &\text{das nächste Minimum}\;&&m_2\;\text{für}\;&&u_{12}, u_{22},\dots,u_{n2},\\ &\text{allgemein} && m_\nu \;\text{für}\;&&u_{1\nu },u_{2\nu },\dots ,u_{n\nu }\end{alignedat}\qquad\qquad\qquad\quad \;\qquad\qquad\qquad\qquad\qquad \] \((m_{\nu -1}\leqq m_\nu )\) angenommen, wobei die ganzen Zahlen \(u_{kl}\) so gewählt sind, daß die Determinante \(U=|\,u_{kl}\,|\neq 0\) ist. Aus dem bekannten \textit{Minkowski}schen Satz über konvexe Körper mit Mittelpunkt (Geometrie der Zahlen (Leipzig u. Berlin 1910; F. d. M 41, 239), S. 76) folgt für das erste Minimum \(m_1\) die Ungleichung \[ \displaylines{\rlap{\qquad\!(1)} \hfill \frac{\pi ^n}{2^{2n}\biggl(\varGamma \biggl(1+\dfrac{n}{2}\biggr)\biggr)^2} \leqq \frac{A}{m_1^n}.\hfill} \] Aus der Minkowskischen Verschärfung dieses Satzes (a. a. O. S. 218) folgt, daß auch \[ \displaylines{\rlap{\qquad\!(2)} \hfill \frac{\pi ^n}{2^{2n}\biggl(\varGamma \biggl(1+\dfrac{n}{2}\biggr)\biggr)^2} \leqq \frac{A}{m_1m_2\cdots m_n}\;\;\text{und}\;\;\;|\,U\,|<n!\;\text{ist.}\hfill} \] Die untere Schranke für \(\dfrac{A}{m_1^n}\) wurde von \textit{Blichfeldt} (Trans. Amer. math. Soc. 15 (1914), 227-235; F. d. M. 45, 314 (JFM 45.0314.*)) erheblich verschärft zu \[ \gamma _n=\frac{\pi ^n}{2^{n}\biggl(\varGamma \biggl(2+\dfrac{n}{2}\biggr)\biggr)^2} \leqq \frac{A}{m_1^n}. \] Verf. beweist: Ist für eine positive Zahl \(\gamma _n'\) für alle positiv definiten \(n\)-ären quadratischen Formen bewiesen, daß \[ \displaylines{\rlap{\qquad\!(3)} \hfill \gamma _n'\leqq \frac{A}{m_1^n} \hfill} \] ist, so gilt für diese Formen auch \[ \displaylines{\rlap{\qquad\!(4)} \hfill \gamma _n'\leqq \frac{A}{m_1m_2\cdots m_n},\hfill} \] und es ist \[ |\,U\,|\leqq \gamma _n^{\prime-\frac{1}{2}}. \] Es gilt also für \(\dfrac{A}{m_1m_2\cdots m_n}\) insbesondere die Blichfeldtsche Schranke oder die für alle \(2\leqq n\leqq 8\) bekannte genaue Schranke von \(\dfrac{A}{m_1^n}\).