Über ein System von Differentialgleichungen mit abzählbar unendlich vielen Unbekannten. (Q2586895)

Schon in einer früheren Arbeit (Proc. Akad. Wet. Amsterdam 41 (1938), 889-895; JFM 64.0711.*) hat Verf. das Differentialsystem \[ \dfrac{d\varphi_n}{dz}=\varGamma_{n-1}\varphi_{n-1}\varGamma_n\varphi_{n+1}\tag{1} \] \((\varGamma_{-1} =0; n = 0, 1, \ldots)\) mit konstanten, gleichmäßig beschränkten Vorzahlen \(\varGamma_n\) und den Anfangsbedingungen \(\varphi_0(0) = 1\), \(\varphi_n(0) = 0 \;(n =1,2,\ldots)\) untersucht; \(z^{-n}\varphi_n(z)\) sind ganze Funktionen, es gilt insbesondere \(\sum \limits_{n=0}^\infty \varphi _n^2(z)=1\). -- Dem System (1) fügt sich die Folge der Besselschen Funktionen ein, wenn man \(\varGamma_0 =\dfrac1{\sqrt2}, \;\varGamma_n =\dfrac12\); \(\varphi_0(z) = J_0(z)\), \(\varphi_n(z) =\sqrt2 J_n(z) \;(n\geqq 1)\) setzt. Ziel der Arbeit ist der Nachweis, daß jede in der Umgebung des Nullpunktes holomorphe Funktion \(f (z)\) sich in eine Reihe der Form (2) \(f(z)=\sum\limits_{k=0}^\infty \alpha_k\varphi_k (z)\) entwickeln läßt, die als Verallgemeinerung der Neumannschen Entwicklung bei Besselfunktionen anzusehen ist; der Beweis erfolgt durch Herstellung solcher Entwicklungen für die ganzen Potenzen von \(z\); die Entwicklung (2) ist eindeutig. Führt man, wieder in Analogie zu den Besselfunktionen, zu den \(\varphi_n(z)\) adjungierte Funktionen \(O_n(t)\) ein, die sich aus der Identität \((t - z)^{-1} = \sum \limits_{n=0}^\infty O_n(t)\varphi _n(z)\) bestimmen, so ist in (2) zu setzen: \[ \alpha_0=f(0), \quad \alpha_n=\dfrac1{2\pi i} \oint O_n(t)f(t)dt. \] Gilt, ähnlich wie bei den Besselfunktionen, zwischen den \(\varphi_n (z)\) eine dreigliedrige Relationenfolge: \(z^{-1}\varphi_n = \alpha^{(n)}_{n-1}\varphi_{n-1} +\alpha^{(n)}_{n+1}\varphi_{n-1} \;(n\geqq 1)\) mit konstanten Vorzählen, so zeigt Verf., daß die \(\varphi_n\) durch eine einfache Umwandlung in die Besselfunktionen übergehen. Eine zweigliedrige Relationenfolge: \[ z^{-1}\varphi_n=\alpha^{(n)}_{n-1}\varphi_{n-1}\quad (n\geqq 1) \] führt dazu, daß \[ \varphi_n(z)=(n!)^{-\tfrac12}\varGamma_0^nz^n\exp (-\tfrac12\varGamma_0^2z^2) \] sein muß. Weiterhin zeigt Verf., daß die Lösungen von (1) niemals durch eine vier oder mehrgliedrige Relationenfolge der Form: \[ z^{-1}\varphi_n=\sum _{k=0}^m \alpha^{(n)}_{n+2k-1}\varphi_{n+2k-1} \quad (m\geqq 2, n\geqq 1), \quad \alpha^{(n)}_{n+2k-1}\neq 0 \] mit festen Vorzahlen verknüpft sein können.