Mémoire sur les séries d'interpolation. (Q2612040)

Es handelt sich um Reihen der Form \[ a_0+\sum_{n=1}^\infty a_n \frac{(z-\alpha_1)(z-\alpha_2)\cdots(z-\alpha_n)} {(z-\beta_1)(z-\beta_2)\cdots(z-\beta_n)}, \] und zwar werden hauptsächlich zwei Typen untersucht: \[ \begin{aligned} &\text{Typus \(E\): \(\sum|\alpha_n|\) und \(\sum\dfrac1{|\beta_n|}\) sind konvergent;}\\ &\text{Typus \(N\): \(\alpha_n=\alpha+nu\), \(\beta_n=\beta+nv\), \(u\neq v\), \(uv\neq 0\).} \end{aligned} \] Zunächst werden in geläufiger Weise (\textit{Abel}sche partielle Summation) die Konvergenzverhältnisse festgestellt. Der Konvergenzbereich ist für Reihen vom Typus \(E\) ein Kreis \(|z|<\lambda\), für Reihen vom Typus N eine Halbebene \(\mathfrak R\left(\dfrac{v-u}{uv}z\right)>\lambda\), wobei natürlich beidemal die Punkte \(\beta_n\) auszunehmen sind. In jedem beschränkten inneren Teilgebiet ist die Konvergenz gleichmäßig, so daß die Reihe eine analytische Funktion von \(z\) darstellt. Beim Typus \(E\) ist der Konvergenzradius \(\lambda\) gleich dem der Potenzreihe \[ \sum\frac{a_n}{\beta_1\beta_2\cdots\beta_n}z^n. \] Beim Typus \(N\) ist die Konvergenzabszisse \(\lambda\) gleich \[ \mathfrak R\left(\frac{\alpha}u-\frac{\beta}v\right)+ \limsup_{n\to\infty}\frac{\log\left| \sum\limits_{s=n}^\infty a_s\left(\dfrac uv\right)^s\right|}{\log n} \] und, falls dieser Ausdruck sinnlos ist, gleich \[ \mathfrak R\left(\frac{\alpha}u-\frac{\beta}v\right)+ \limsup_{n\to\infty}\frac{\log\left| \sum\limits_{s=0}^n a_s\left(\dfrac uv\right)^s\right|}{\log n}. \] Weiterhin wird untersucht, wann eine Funktion \(F(z)\) sich in eine Reihe vom Typus \(E\) oder \(N\) entwickeln läßt. Beim Typus \(E\) ist für eine im Kreis \(|z|<R\) gültige Entwicklung weiter nichts nötig, als daß \(F(z)\) für \(|z|<R\) bis auf Pole regulär und für \(|z|=R\) noch stetig ist, und daß unter den ßn alle Pole vorkommen. Für den Typus \(N\) gelingt die Lösung nicht so vollständig; es werden mehrere Theoreme hergeleitet von der Art des folgenden: Eine in der Halbebene \(\mathfrak R(z)\geqq h\) reguläre Funktion \(F(z)\), die daselbst der Bedingung \[ |F(h+ re^{i\vartheta}) | < C (1 + r)^{k+\varepsilon(r)} e^{r\psi(\vartheta)},\quad \lim_{r\to\infty}\varepsilon(r)=0\qquad \left(-\dfrac\pi2\leqq\vartheta\leqq\dfrac\pi2\right) \] genügt, läßt eine Entwicklung vom Typus \(N\) zu, wobei \[ \frac\alpha u-\frac\beta v=0,\qquad \frac1u-\frac1v-1,\quad \mathfrak R(u)>0 \] ist und wobei die Konvergenzabszisse \(\lambda\) höchstens gleich \(\operatorname{Max}(h, k)\) ist.