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

Im euklidischen \(R_4\) sei \({\mathfrak K}\) die dreistufige Überkugel mit dem Halbmesser 1 um den Ursprung \(O\); auf \({\mathfrak K}\) sei sine 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 \[ \begin{gathered} L=\sum _{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 }. \end{gathered} \] 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 k\) um den Ursprung der \((x,y)\)-Ebene gebildeten Reihen \[ \begin{aligned} U=&\sum _n^{0,\infty }\sum _{l+m=n} A_{lm} U_{lm}(x,y),\tag{2}\\ V=&\sum _n^{0,\infty }\sum _{l+m=n} B_{lm} V_{lm}(x,y)\tag{3} \end{aligned} \] über, die nach den von \textit{Hermite} entdecken, durch die Ausdrücke \[ \begin{gathered} \bigl ((1-ax-by)^2+(a^2+b^2)(1-x^2-y^2)\bigr )^{-\frac 12}= \sum _{l,m}a^lb^mU_{lm}(x,y),\\ (1-2ax-2by+a^2+b^2)^{-1} \sum _{l,m}a^lb^mV_{lm}(x,y) \end{gathered} \] erzeugten Polynomen fortschreiten. Die \(U_{lm}\), \(V_{lm}\) sind zueinander in \(\mathfrak k\) 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 die 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 k}\) mit \(g(\gamma )\) bezeichnet, bringt er den \(N\)-ten Abschnitt von (1) auf die Form \[ \begin{aligned} s_N(P) = \frac {1}{4\pi ^2}\int \limits _0^{2\pi }d\psi &\biggl \{\int \limits _{-\pi }^{+\pi } \frac {\sin (N+\frac 32)\gamma }{\sin \frac 12\gamma }g(\gamma )\cos \gamma \,d\gamma \\ &-\int \int \limits _{\mathfrak k}\frac {\partial f}{\partial \xi }\bigl (V_N(\xi ) + V_{N+1}(\xi )\bigr )\,d\xi \,d\eta \biggr \}. \end{aligned} \] Das erste \textit{Dirichlet}sche Integral, strebt gegen \(2\pi f(P)\); von dem Doppelintegrale zeigt Verf. mit Sätzen über singuläre Integrale, daß es gegen 0 strebt. Daher strebt \(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\) unf \(\mathfrak k\); für die örtliche Konvergenz läßt sich die Voraussetzung der Ableitbarkeit von \(f\) noch zu einer \textit{Lipschitz}schen Bedingung abschwächen. - Bei den Ergebnissen über \(U\), \(V\) ist die durch (2), (3) bezeichnete Anordnung der Gleider wesentlich; Verf. handelt auch davon, wie \(U\), \(V\) als \textit{Doppel}reihen konvergieren. Zum Schlusse geht auf die Entwicklung 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)^{-\frac {1}{2}}\) ersetzt; dann wird nach Formel (7) des Textes bei ganzem \(k>1\) \[ s_{2Nk-2} = \frac {1-\sin \frac {\pi }{k}}{\pi \sin \frac {\pi }{k}}, \quad s_{2Nk-1}=-\frac {1-\sin \frac {\pi }{k}}{\pi \sin \frac {\pi }{k}}. \]