Über das Wachstum transzendenter Funktionen, die sich in endlicher Form durch elementare Transzendente ausdrücken lassen. (Q2586908)

Verf. untersucht das Wachstum von Funktionen der im Titel angegebenen Art, um die erhaltenen Ergebnisse auf die Frage anzuwenden, ob die Lösung der algebraischen Differentialgleichung (1) \(f (x, y, y') = 0\) eine solche Funktion sein kann. Die Untersuchung erstreckt sich hauptsächlich auf die beiden ersten Klassen der etwas modifizierten Liouvilleschen Klassifikation der transzendenten Funktionen. Die Verallgemeinerung auf Transzendente höherer Klassen wird angedeutet. Das wichtigste Ergebnis dieses Teiles der Arbeit lautet z. B. für den Fall der 2. Klasse: Eine Transzendente \(\theta\) kann nur dann ein Wachstum vom exponentiellen Typus 2. Klasse aufweisen (d. h. \(e^{e^{g_1|x|^\mu}}<\theta<e^{e^{g_2|x|^\mu}}\), wo \(g_1, g_2, \mu\) konstant sind, wenn \(x\) auf einem passenden Wege nach \(\infty\) geht), wenn sie elementare Transzendente vom exponentiellen Typus 2. Klasse enthält, also Funktionen \(e^{\alpha (x)}\), wo \(\alpha (x)\) eine Transzendente 1. Klasse ist. Kombiniert mit der auf das Studium der Singularitäten von \(y\) begründeten Methode von Briot und Bouquet gestatten diese Ergebnisse unter Umständen, auf die Unmöglichkeit einer Lösung in endlicher Form zu schließen. Weiterhin gibt Verf. in Verallgemeinerung eines Satzes von Boutroux Bedingungen dafür an, daß die Lösung von (1) exponentiellen Wachstumscharakter hat. Schließlich werden Abschätzungen der Koeffizienten in der Entwicklung \(y = a_0 + a_1 x + a_2 x^2 + \cdots\) angegeben, die im Falle der Darstellbarkeit von \(y\) durch elementare Transzendente in endlicher Form gelten. Es ist \(|a_n| > \dfrac{1}{n^{n^l}}\) (\(l\) konstant.) Ist ferner \(\lim\root n\of{|a_n|}=0\), so gilt \[ |a_n|<\dfrac{e^n}{\biggl(\root \mu \of {\log_k n}\biggr)^n}, \] wo \(\log_k n\) der \(k\)-fach genommene Logarithmus ist.