Sur la croissance des fonctions entières d'ordre infini définies par un développemenet de Taylor. (Q2617209)

Ist \[ f(z)=a_0+a_1z+a_2z^2+\cdots \tag{1} \] eine ganze Funktion von unendlicher Ordnung \[ M(r)=\max _{|z|=r}|f(z)|, \] so gilt, falls \[ \log M(r)<\varphi (r)^{1+s(r)}(\varphi (r)=r^{\varrho (r)},\quad \lim _{r\rightarrow \infty }=0)\tag{2} \] ist, \[ n<\varphi \left (\frac {1}{\root {n}\of {|a_n|}}\right )^{1+\eta (n)}\qquad (n\geq n_0, \lim _{r\rightarrow \infty }\eta (n)=0).\tag{3} \] Umgekehrt: Gilt (3) mit \(\varphi (r)\) derart, daß\ von einem \(r\) ab ausnahmslos \[ \varphi \left (r+\frac {r}{\log \varphi (r)}\right )<\varphi (r)^{1+s(r)}\qquad \lim _ {r\rightarrow \infty }\varepsilon (r)=0) \] ist, so gilt auch (2). Daraus folgt: Wenn für jedes \(\varepsilon >0\) für unednlich viele und beliebig große \(r_n\) \[ \log M(r_n)>\varphi (r_n)^{1-\varepsilon }\tag{4} \] gilt, so gilt auch für unendlich viele und beliebig große Indices \(n_\nu \) \[ n_\nu >\varphi \left (\frac {1}{\root {n}\of {|a_n|}}\right )^{1-\eta }\qquad (\eta >0),\tag{5} \] und umgekehrt. Für ien reguläres Wachstum von \(M(r)\) müssen diese \(n_nu\) noch der Bedingung \[ \lim \frac {\log n_{\nu +1}}{\log n_\nu }=1 \] unterliegen und (2) muß\ für alle \(n\geq n_0\) gelten. ein ähnlicher Satz gilt übrigens auch, wenn der Konvergenzradius von ]1) endlich ist.