A generalization of Ostrowski's theorem on ``overconvergence'' of power series. (Q565668)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A generalization of Ostrowski's theorem on ``overconvergence'' of power series.
scientific article

    Statements

    A generalization of Ostrowski's theorem on ``overconvergence'' of power series. (English)
    0 references
    0 references
    1932
    0 references
    Anknüpfend an die vorstehend besprochene Note zeigt Verf. zunächst, daß eine in \(|z|<1\) reguläre analytische Funktion \(f(z)\), die auf \(|z|=1\) wenigstens eine singuläre Stelle besitzt, in \(|z|<1\) die Entwicklung zuläßt: \[ f(z) = \sum _{n=0}^{\infty } F^{(n)} (-\alpha ) \pi _n (z) \,. \leqno (*) \] wo \(\alpha \) eine beliebige endliche Stelle der komplexen Ebene, \(F(z)\) die ganze Funktion \[ F(z) = \frac {1}{2 \pi i} \int _{|\zeta |=r} f(\zeta ) \frac {1}{\zeta } e^{\frac {z}{\zeta }} d \zeta \quad (r < 1) \] vom Typus 1 der Ordnung 1, und \(\pi _n (z)\) die Polynome \[ \pi _n (z) = z^n \sum _{\nu =0}^n \frac {1}{\nu !} \left ( \frac {\alpha }{z} \right )^{\nu } \quad (n = 0,1,2, \dots ) \] bedeuten. Die Reihe (*) konvergiert absolut für \(|z| <1\), sie divergiert für \(|z| >1\). Unter Verwendung dieser Tatsache wird die folgende Verallgemeinerung des \textit{Ostrowski}schen Überkonvergenzsatzes (aus der sich unmittelbar die entsprechende Verallgemeinerung des \textit{Hadamard}schen Lückensatzes ergibt) bewiesen: Treten in \[ f(z) = \sum _{\nu =0}^{\infty } a_{\nu } \pi _{\lambda _{\nu }} (z), \quad \overline {\lim }_{\nu \to \infty } \root \nu \of {|a_{\nu }|} = 1 \,. \] unendlich viele Indices auf, für die \[ \lambda _{\nu _k +1} - \lambda _{\nu _k} > \Theta \lambda _{\nu _k} \quad (\Theta > 0) \] gilt, so konvergiet die Reihe \[ \sum _{k=0}^{\infty } \Delta _k (z) \] mit \[ \begin{aligned} & \Delta _0 (z) = a_0 + \dots + a_{\nu _1} \pi _{\lambda _{r_1}} (z) \,. \\ & \Delta _k (z) = a_{\nu _k+1} \pi _{\lambda _{\nu _k +1 }} (z) + \dots a_{\nu _{k+1}} \pi _{\lambda _{\nu _{k +1}}} (z) \quad (k = 1,2 \dots ) \end{aligned} \] gleichmäßig in einer vollen Umgebung jedes auf \(|z| = 1\) gelegenen regulären Punkts von \(f(z)\).
    0 references
    0 references
    0 references