Sugli sviluppi in serie di funzioni ipersferiche e di polinomi biortogonali di Hermite. (Q5892897)

Im \textit{Eiklidi}schen \(R_4\) sei \(\mathfrak K\) die dreistufige Überkugel mit dem Halb\-messer 1 um den Ursprung \(O\); auf \({\mathfrak K}\) sie eine Funktion \(f\) des durch zonale Koordinaten \(\xi,\eta,\psi \) gegebenen Ortes \(Q\) erklärt. Ist \(P(x,y,\varphi )\) ein fester Punkt auf \(\mathfrak K,\gamma \) der Winkel \(POQ\) und \(d\omega \) das Flächenelement von \({\mathfrak K}\), so gehört dem Funktionswerte \(f(P)\) als Gegenstück der \textit{Laplace}schen Reihe die Entwicklung zu: \[ L=\sum \limits _{n}^{0,\infty }Y_n(P), \tag{1} \] \[ Y_n(P)=\frac {n+1}{2\pi ^2} \int \limits _{\mathfrak K}f(Q)V_n(\cos \gamma )d\omega, \quad V_n(\cos \gamma )=\frac {\sin (n+1)\gamma }{\sin \gamma }. \] Ist \(f(\xi,\eta,\psi )\) im besonderen von \(\psi \) unabhängig, \(f=g(\xi,\eta )\), so geht (1) in eine der in dem Einheitskreise \({\mathfrak t}\) um den Ursprung der \((x,y)\)-Ebene gebildeten Reihen \[ U=\sum \limits _{n}^{0,\infty }\sum \limits _{l+m=n} A_{lm}U_{lm}(x,y), \quad (3) \qquad V=\sum \limits _{n}^{0,\infty }\sum \limits _{l+m=n}B_{lm}V_{lm}(x,y) \tag{2} \] über, die nach den von \textit{Hermite} entdeckten, durch die Ausdrücke \[ \left ( (1-ax-by)^2+(a^2+b^2)(1-x^2-y^2)\right )^{-\frac 12} =\sum \limits _{l,m}a^lb^mU_{lm}(x,y), \] \[ (1-2ax-2by+a^2+b^2)^{-1}=\sum \limits _{l,m}a^lb^mV_{lm}(x,y) \] erzeugten Polynomen fortschreiten. Die \(U_{lm},V_{lm}\) sind zueinander in \({\mathfrak t}\) biorthogonal; dadurch wird es möglich, die Vorzahlen \(A_{lm},B_{lm}\) auf die \textit{Fourier}sche Weise zu bestimmen. Die \(C\)-Summierbarkeit der Reihe (1) untersuchten zuerst \textit{Kien-Kwong Chen} (1928; F. d. M. 54, 397 (JFM 54.0397.*)) und Ref., diejenige der Reihen (2), (3) der Ref. (1929; F. d. M. \(55_{\text{I}}\), 221). Verf. behandelt zum ersten Male dei \textit{Konvergenz} der Reihen (1), (2), (3), und zwar durch unmittelbare Summierung. Indem er \(f\) und die Ableitungen von \(f\) auf \({\mathfrak K}\) als stetig voraussetzt, \(P\) zum Pole der Koordinaten auf \({\mathfrak K}\) wählt und \(f(Q)\) auf dem Rande von \({\mathfrak t}\) mit \(g(\gamma )\) bezeichnet, bringt er den \(N\)-ten Abschnitt von (1) auf die Form \[ s_{N}(P){=}\frac {1}{4\pi ^2}{\int \limits _{0}^{2\pi }}{d\psi }\left \{ \int \limits _{-\pi }^{+\pi } \frac {\sin (N{+}\frac 32)\gamma }{\sin \frac 12 \gamma } g(\gamma )\cos \gamma d\gamma {-} {\iint \limits _{\mathfrak t}}\frac {\partial f}{\partial \xi } \left ( V_N(\xi ){+}V_{N{+}1}(\xi )\right ) d\xi d\eta \right \}. \] Das \textit{Dirichlet}sche Integral nach \(\gamma \) strebt gegen \(2\pi f(P)\); von dem Doppelintegrale zeigt Verf. mit Sätzen über singuläre Integrale, daß\ es gegen 0 strebt. Daher sterbt \(s_N(P)\) gegen \(f(P)\); es haben also wirklich \(L\) den Wert \(f(x,y,\varphi )\) und \(U,V\) den Wert \(g(x,y)\). \(L\) und \(U,V\) konvergieren gleichmäßig auf \({\mathfrak K}\) und \({\mathfrak t}\); für die örtliche Konvergenz läßt sich die Voraussetzung über die Ableitungen von \(f\) noch zu einer \textit{Lipschitzs}chen Bedingung für \(f\) abschwächen. -Bei nden Ergebnissen über \(U,V\) ist die durch (2), (3) bezeichnete Anordnung der Glieder wesentlich; Verf. hendelt auch davon, wie \(U,V\) als \textit{Doppel}reihen konvergieren. Zum Schlusse geht er auf die Entwicklung \textit{unstetiger} Funktionen ein und zeigt an einem Beispiel, daß\ das Dasein einer Unstetigkeitslinie die Konvergenz der Reihe (3) zu stören vermag. Es scheint, daß\ man in diesem Beispiele den Wert 1 von \(g(\xi,\eta )\) für \(\xi <-\cos \dfrac {\pi }{k}\) zweckmäßig durch \((1-\xi ^2)^{-\tfrac 12}\) ersetzt; dann wird nach Formel (7) des Textes bei ganzem \(k>1\) \[ s_{2Nk-2}=\frac {1-\sin \dfrac {\pi }{k}}{\pi \sin \dfrac {\pi }{k}}, \quad s_{2Nk-1}=-\frac {1-\sin \dfrac {\pi }{k}}{\pi \sin \dfrac {\pi }{k}}. \]