Sur les inégalités entre les maxima des dérivées successives d'une fonction. (Q2590822)

Wie Hadamard und Denjoy für ein endliches abgeschlossenes Intervall, so nennt Verf. für ein beliebiges Intervall \(J\) die Funktion \(f(x)\) zur Klasse \(\{A_n\}\) gehörig, wenn sie beliebig viele Ableitungen besitzt und wenn man jedem \(x_0 < J\) ein endliches \(\varrho \) und eine Umgebung \(V(x_0)\) so zuordnen kann, daß für alle \(x\) aus \(V\) die Ungleichungen \[ |\,f^{(n)}(x)\,|\leqq \varrho ^nA_n\;\;\text{gelten}. \] Weiter sei unter \(\{\overline{A}_n\}\) die größte Folge derjenigen \(B_{n}\) verstanden, für welche \(\log\,B_n\) eine konvexe Funktion von \(n\) ist, und für die \(B_n\leqq A_n\) ist. Verf. teilt folgende Sätze mit: \(\{A_n\}\) enthalte alle analytischen Funktionen, und für eine Folge \(\{n_i\}\) von Indices mit der Eigenschaft \(\dfrac{n_{i+1}}{n_i}\leqq \text{const}\) gelte \(A_n = \overline{A_n}\). Damit eine weitere Klasse \(\{A'_n\}\) die Klasse \(\{A_n\}\) enthält, ist \[ \varlimsup_{n\to\infty }\biggl(\frac{\overline{A_n}}{A_n'}\biggr)^{\tfrac{1}{n}}>+\infty \] notwendig und hinreichend. Damit eine Klasse \(\{A_n\}\) alle analytischen Funktionen und nur diese enthält, ist notwendig und hinreichend, daß es zwei positive Zahlen \(\sigma \) und \(\varrho \) derart gibt, daß \[ A_n\geqq \sigma ^nn!\;\;\text{für alle}\;\;n>0\;\;\text{gilt} \] und \(A_{n_{ i}}\leqq \varrho ^{n_{ i}}n_i!\) für eine Indexfolge \(\{n_i\}\) mit \(\dfrac{n_{i-1}}{n_i}\leqq \) const statthat. Beweise folgen in einer späteren Abhandlung.