Über einige Eigenschaften der regulär-monotonen Funktionen. (Q1440835)

Es handelt sich um Funktionen, die mit ihren Ableitungen in \((0,b)\) das Zeichen nicht wechseln (vgl. das Buch des Verf in der \textit{Collection Borel}: ``Leçons sur les propriétés extrémales des fonctions'' 1926, F. d. M. 52). Eine solche Funktion wird durch ihren Typus charakterisiert d. h. durch die Folge der ganzen Zahlen \(\lambda_1,\lambda_2,\dots,\lambda_n\), die folgendermaßen definiert ist. Unter der Voraussetzung \[ f(x)f'(x) \leqq 0 \] hat die Zahl \(\lambda_1\) die Eigenschaft: \[ f^{(i-1)}(x)f^{(i)}(x) \geqq 0 \;\text{f''ur}\;i \leqq \lambda_1,\;f^{(\lambda_1)}(x) f^{(\lambda_1+1)}(x) \leqq 0. \] Man sagt: \(f(x),f'(x),\dots,f^{(\lambda_1)}(x)\) bilden eine \textit{Permanenz} der Ordnung \(\lambda_1\); ist ferner für \[ \lambda_1<i \leqq \lambda_1+\lambda_2=b_2 \] \[ f^{(i-1)}(x)f^{(i)}(x)\leqq 0,\;f^{(b_2)}(x)f^{(b_2+1)}(x)\geqq 0, \] dann bilden \(f^{(\lambda_1)}(x)f^{(i)}(x) \leqq 0,\;f^{(b_2)}(x)\) eine \textit{Alternanz} der Ordnung \(\lambda_2\). Es werden folgende zwei Sätze bewiesen: (1) Erfüllen die Typuszahlen die Bedingung \[ \lim_{n \to \infty} \root b_n\of{\frac{\lambda_1! \lambda_2! \dots \lambda_n!}{b_n!}}=0, \] so ist \(f(x)\) eine ganze Funktion. (2) Enthält die charakteristische Folge im Punkte \(x\) die Glieder der Permanenzen (bzw. Alternanzen), so geht der Konvergenzkreis dieses Punktes durch den reellen singulären Punkt \(z \geqq b\) (bzw. \(z' \leqq 0\)) der Funktion \(f(x)\).