Sur un complément au théorème de M. Borel. (Q565761)

Verf. hat dem \textit{Picard-Borel}schen Satze eine auch für verschwindende oder unendliche Wachstumsordnung ohne weiteres brauchbare, bei positiver endlicher Ordnung übringens schärfere Gestalt gegeben. Er bezeichnet mit \(C(t)\) eine Funktion, für die das Integral \[ \int ^{\infty } \frac {dt}{tC(t)} = I \leqno (1) \] gebildet und als divergent - bzw. konvergent angenommen wird (Annahme \(I_d\) bzw. \(I_k\)). Im Falle \(I_d\) divergiert auch für alle Stellensorten \(a\) einer gebrochenen Transzendenten \(f(z)\) die Reihe \[ \sum _{\nu =1}^{\infty } \frac {1}{T (|a_{\nu }|) C \lfloor T (|a_{\nu }|)\rfloor } \leqno (2) \] (wo \(a_1, a_2, \dots \) die geordnete Folge der \(a\)-Stellen von \(f(z)\) bezeichnet), ausgenommen höchstens zwei Sorten \(a^*, a^{**}\) (\textit{Calugaréano}sche Ausnahmewerte). \(C(t) = t^{\varepsilon }\), \(\varepsilon > 0\), gibt den klassichen Fall des \textit{Borel}schen Satzes bei positiver endlicher Ordnung. Im Falle \(I_k\) dagegen kann zwar die Konvergenz der Reihen \[ \sum \frac {1}{T (s |a_{\nu }|) C \lceil T (s |a_{\nu }|)\rceil } \quad \text{bzw.} \quad \sum \frac {\log s_{\nu }}{T (s_{\nu } |a_{\nu }|) C \lceil T (s_{\nu } |a_{\nu }|)\rceil } \leqno (3) \] für \(s > 1\) fest oder eine beliebige Folge \(s_{\nu }> 1\) bestätigt werden (für alle Sorten \(a\)), nicht aber die Konvergenz der wichtigsten Reihe (2), die für \(s=1\) entstünde. In der Tat konnte \textit{Valiron} (C. R. 192 (1931), 476-478; F. d. M. \(57_{\text{I}}\), 366) durch ein Beispiel belegen, daß die Reihe (2) auch im Falle \(I_k\) divergieren kann. Verf. untersucht nun diese Verhältnisse näher und kommt zu dem Ergebnis, daß eine solche Erscheinung ihren Grund in den Wachstumsunregelmäßigkeiten hat, welche für die Charakteristik \(T(r,f)\) noch eintreten können. Indem er diese durch besondere Maßnahmen (die freilich nicht recht befriedigen) beseitigt, kann er die Konvergenz einer mit (2) noch näher verwandten Reihe als (3) für alle Sorten nachweisen.