On expansions in terms of a certain general class of functions. (Q5971762)

Ähnlich wie die \textit{Bernoulli-Hurwitz}schen Funktionen \(B_{nr}(x)\) aus der Entwicklung \[ \frac{ze^{xz}}{e^z - 1} = \sum_{n=-\infty}^{+\infty} B_{nr}(x) \dfrac{z^n}{n!} \qquad (2\pi r < |z| < 2\pi (r + 1)) \] hervorgehen, erzeugt Verf. Funktionenfolgen \(A_{nr}(x)\) \((n = 0, \pm 1, \pm 2, \dots)\) vermöge \[ \frac{E(x,z)}{g(z)} = \sum_{n=-\infty}^{+\infty} A_{nr}(x) \, z^n \qquad (\gamma_r < |z| < \gamma_{r+1}). \] Hierbei ist \(E(x, z)\) gegeben durch die Reihe \(\sum\limits_{n=0}^\infty u_n(x) z^n\), wobei \[ u_n(x) \;\text{ ganz}, \quad \varlimsup_{n\to\infty} | u_n(x)|^{\frac 1n} \leqq \frac 1f, \quad |z| < f, \quad g(z) \;\text{ regulär für } \;|z| < \varrho(\leqq f), \] \(\gamma_r\) die Beträge der Nullstellen von \(g(z)\). Es wird zunächst die Konvergenz von Reihen der Form \(\sum\limits_{n=0}^\infty c_n A_{nr}(x)\) untersucht; eine solche konvergiert in jedem beschränkten Teil der Ebene gleichmäßig, wenn sie in \(h\) Punkten konvergiert, die so gewählt sind, daß eine gewisse, von diesen, von \(E(x, z)\) und den Nullstellen von \(g(z)\) abhängige Determinante \(\neq 0\) wird (\(h =\) Zahl der Nullstellen vom Betrag \(\gamma_{r+1}\), unter Berücksichtigung der Vielfachheit). Dann werden umgekehrt Bedingungen für die Entwickelbarkeit einer gegebenen Funktion \(F(x)\) nach den \(A_{nr}(x)\) aufgestellt: \(F(x)\) muß eine Entwicklung \(\sum\limits_{n=0}^\infty e_n u_n(x)\) besitzen; \(\varlimsup \, |e_n|^{\frac 1n} \leqq \gamma_{r+1}\) ist dann notwendig, \(< \gamma_{r+1}\) im wesentlichen hinreichend (es kommt aber im allgemeinen ein Zusatzglied hinzu, bestehend aus endlich vielen, aus \(E(x, z)\) unmittelbar durch Differentiation zu gewinnenden Termen). Schließlich wird ein Operator \(BF\) durch \(B^mF = \sum\limits_{n=0}^\infty e_{n+m} u_n(x)\) eingeführt (so daß insbesondere \(BA_{nr} = A_{n-1 r}\)) und die Funktionalgleichung \[ b_0 F(x) + b_1 B F(x) + b_2 B^2 F(x) + \cdots = \theta(x) \] betrachtet \[ \left(\theta(x) = \sum_{n=0}^\infty c_n u_n(x), \quad b_0 \neq 0, \quad \varlimsup \, |c_n|^{\frac 1n} < \frac{1}{\varlimsup\, |b_n|^{\frac 1n}} \leqq f\right). \] Vermöge Integraltransformation mit dem Kern \(E(x, s)\) wird die Lösung im wesentlichen auf die Bildung von \(\dfrac{1}{h(z)}\) hinausgespielt, wo \(h(z) = \sum\limits_{n=0}^\infty b_n z^n\). Es ergeben sich dabei neue Beweise \textit{Perron}scher Sätze über unendliche ``Summengleichungen'' der Gestalt \(\sum\limits_{\mu=0}^\infty b_\mu \xi_{\mu+n} = c_n\) \((n = 0, 1, 2, \dots)\) (Math. Ann. 84 (1921), 31-42; F. d. M. 48, 480 (JFM 48.0480.*)-481). Zum Schluß wird als Beispiel \[ u_n(x) = \frac{x_n}{\lambda_0 \lambda_1 \dots \lambda_n} \quad \left(\lim |\lambda_0 \dots \lambda_n|^{\frac 1n} = \infty, \;\, \lim |\lambda_n|^{\frac 1n} = 1\right) \] behandelt, mit gewissen Erweiterungen (auch negative Potenzen des Operators).