Die Nullstellen der Hermiteschen Polynome. (Q1830023)

Die absolut größte Nullstelle \(x_n\) des \(n\)-ten \textit{Hermite}schen Polynoms \[ H_n(x)=(-1)^n\cdot e^{x^2}\frac{d^n}{dx^n}(e^{-x^2}) \] genügt der Ungleichung \[ \sqrt{2n-c_1 n^{\frac{1}{2}}}<x_n< \sqrt{2n-c_2 n^{\frac{1}{2}}}\qquad(c_1=8; c_2=2\cdot3^{-\frac{1}{3}}). \] Der Beweis ist elementar algebraisch. Bis auf eine Konstante \(r\) ist \(H_n (x)\) charakteristische Funktion einer symmetrischen Matrix \(M\). Wird eine Zahl \(p > 0\) so bestimmt, daß die zu \(M - pE\) gehörende quadratische Form negativ definit ist, so übertrifft \(p\) alle Wurzeln von \[ H_n(x)=r\cdot\text{det}(M-xE)=0; \] ist die Form nicht negativ definit, so ist \(x_n\geqq p\). Nach Einführung gewisser Parameter \(k_i\), die der Ungleichung \(O\leqq k_i\leqq 1\) genügen, läßt sich die Form auf die Gestalt \[ \textstyle \sum\limits_{i=1}^{n-1} \displaystyle \biggl[(-p)\cdot(1-k_i) Y_i^2+2\cdot\biggl(\frac{i}{2}\biggr) ^{\frac{1}{2}}Y_iY_{i+1}+k_{i+1}\cdot(-p)Y_{i+1}^2\biggr] \] bringen. Durch spezielle Wahl der \(k_i\) läßt sich erreichen, daß die einzelnen binären Formen alle negativ, bzw. wenigstens eine von ihnen positiv definit werden. Daraus erhalt man Ungleichungen für \(p\) und damit für \(x_n\). -- Diese Methode läßt sich auch bei andern Polynomen anwenden, die linearen Rekursionsformeln genügen. (III 3.)