Über einen Zusammenhang zwischen dem Maximalbetrage der ganzen Funktionen und seiner unteren Grenze nach dem Jensen'schen Theoreme. (Q1439482)

\(G(z)\) sei eine ganze Funktion mit \(G(0) = 1\), \(a_\nu \;(v= 1, 2, \dots)\) ihre Nullstellen, \(M(r)\) das Maximum, \(m(r)\) das Minimum ihres Betrages auf \(|z| = r\), \[ \mu (r) = \frac{r^n}{|a_1 \cdot a_2 \cdots a_n|} \] mit allen \(|a_\nu| \leqq r\); dann ist nach der \textit{Jensen}schen Formel bekanntlich \[ M (r) > \mu(r). \] Verf. legt sich die Frage vor, wie nahe \(M(r)\) seiner unteren Grenze \(\mu(r)\) kommen kann. Für spezielle Funktionen einer Ordnung kleiner als Eins mit besonders regelmäßig verteilten Nullstellen, nämlich für \[ \prod_{n=1}^\infty \left(1 + \frac{z}{\ln^{\tfrac{1}{\varrho_1}}}\right) \qquad (\varrho_1 < 1, \;l \text{ beliebig reell}) \tag{1} \] läßt sich die Frage durch explizite Aufstellung eines asymptotischen Ausdrucks für \(M(r)\) nach \textit{Wiman} beantworten (1903; F. d. M. 34, 452-455). Durch Vergleich einer beliebigen Funktion \(G(z)\) der Ordnung \(\varrho < 1\) mit speziellen der Form (1) und einer Ordnung \(\varrho_1 > \varrho\), wobei man \(\varrho_1 - \varrho \to 0\) streben läßt und \(l\) passend wählt, findet man \[ M(r)<[\mu(r)] ^{\tfrac{\pi \varrho}{\sin\, \pi \varrho}(1+\varepsilon)} \tag{2} \] mit beliebig kleinem \(\varepsilon\) für eine gegen Unendlich wachsende Folge von Werten \(r\). (Schon \textit{Valiron} hat das vermutet, aber nur ein weniger scharfes Resultat bewiesen. 1914; F. d. M. 46, 1462 (JFM 46.1462.*).) Gleichzeitig ergibt sich, daß (2) für eine Folge von \(r\)-Werten gilt, für die die von \textit{Wiman} aufgestellte Beziehung \[ m(r) > [M(r)]^{\cos\, (\varrho+\varepsilon)\pi} \] erfüllt ist (1915; F. d. M. 45, 655 (JFM 45.0655.*)). Die weiteren Untersuchungen beziehen sich auf beliebige ganze Funktionen \(G(z)\) nicht ganzzahliger Ordnung. Für sie gilt nach \textit{Valiron} (l. c.) \[ M(r) < [\mu(r)]^H \] für beliebig große \(r\), wo \(H\) endlich ist und von \textit{Valiron} durch Ordnung und Geschlecht von \(G(z)\) abgeschätzt wird. Verf. verschärft diese Abschätzung. Die Beweismethode besteht wieder in der Heranziehung spezieller Vergleichsfunktionen mit regelmäßig wachsenden Nullstellen. Die Beweise stützen sich auf gewisse Hilfssätze, deren einer angegeben sei: Es sei für jedes \(\nu\) \[ \prod_{\mu=1}^\nu \alpha_\mu \leqq \prod_{\mu=1}^\nu \beta_\mu, \] wo die \(\beta_\mu\) positive, die \(\alpha_\mu\) positive, mit \(\mu\) nicht zunehmende Größen bedeuten. Dann gilt für alle \(\nu\) \[ \prod_{\mu=1}^\nu (1+\alpha_\mu) \leqq \prod_{\mu=1}^\nu (1+\beta_\mu). \]