On an extremal problem of Selberg (Q854926): Difference between revisions

Ist \(g\) eine ganze transzendente Funktion mit \(g^{(k)}(\mathbb{N}_0) \subset\mathbb{Z}\) für \(k=0,\dots,p-1\), so interessiert man sich für untere, nur von \(p\in\mathbb{N}\) abhängige Schranken für den Exponentialtyp \(\sigma(g):= \limsup_{r\rightarrow\infty}(\log|g|_r)/r\) von \(g\), wobei \(|g|_r:=\max_{|z|=r}|g(z)|\) gesetzt ist. \textit{A. O. Gelfond} [Rend. Accad. Lincei Roma (6) 10, 569--574 (1929; JFM 55.0778.01)] hat \(\sigma(g)\geq p\cdot\log(1+e^{(1-p)/p})\) bewiesen, was von \textit{A. Selberg} [Arch. Math. Naturvid. B 44, No. 15, 1--12 (1941; Zbl 0025.16802 und JFM 67.0270.01)] auf \(\sigma(g)> p\cdot 0,31654\dots\) verbessert wurde. Genauer zeigte Selberg \(\sigma(g)\geq \log m_p\), wobei \(m_p\) das Minimum von \(\prod_{j=1}^p(1+y_j)\) unter den Bedingungen \((y_1,\dots,y_p)\in \mathbb{R}_+^p\), \(y_1\cdots y_p=e^{1-p}\), \(\prod_{1\leq i<j\leq p}|y_i- y_j|=e^{-(p-1)^2}\) ist. Dabei verwendete Selberg eine mehrdimensionale Ver\-all\-ge\-mei\-ne\-rung des Eulerschen Beta-Integrals; das zitierte Extremalproblem rührt von einer asymptotischen Auswertung dieses Integrals her. Verf. zeigt, dass obiges Mi\-ni\-mum erreicht wird, wenn die \(y_1,\dots,y_p\) die Nullstellen eines gewissen Jacobi-Polynoms sind, und beweist dann (mit einigem numerischen Aufwand) \(p\cdot 0,48479\dots>\log m_p> p\cdot 0,33283\dots\); für \(p\geq 255\) kann die Oberschranke auf \(p\cdot 0,33556\dots>\log m_p\) verschärft werden. Gestützt auf Methoden aus der Theorie der transzendenten Zahlen hat \textit{M. Welter} [Acta Arith. 116, 363--385 (2005; Zbl 1143.11338)] mit \(\sigma(g)\geq p\cdot 0,78592\dots\) die untere Schranke (wenigstens für alle großen \(p\)) substantiell verbessert.