Sur l'unicité du développement d'une fonction en série de fonctions sphériques. (Q1465818)

Die Methode, die der Verf. in Ann. de l'Éc. Norm. (3) 31, 223 (F. d. M. 45, 704 (JFM 45.0704.*), 1914-15) zur Behandlung der Eindeutigkeit der Entwicklung einer Funktion in eine Reihe nach Legendreschen Polynomen benutzt hat, wird hier auf die Entwicklung einer Funktion zweier Variablen nach Kugelfunktionen angewendet. Im ersten Kapitel wird gezeigt, daß\ wenn \(F(\vartheta, \varphi) \sim\sum X_n(\vartheta,\varphi)\) die Laplacesche Reihenentwicklung irgend einer auf der Kugel im Lebesgueschen Sinne integrierbaren Funktion \(F\) ist, gleichmäßig auf der Kugel \(\lim_{n \to \infty} \frac {X_n}{n} = 0\) gilt. Wenn ferner \(F^2\) integrierbar ist, gilt gleichmäßig \(\lim_{n \to \infty} \frac {X_n}{\sqrt n} = 0\) und die Reihe \(\sum_1^\infty \frac {X_n}{n(n +1}\) konvergiert absolut und gleichmäßig. Im zweiten Kapitel wird der Satz bewiesen: Wenn \(F(\vartheta, \varphi) \sim\sum X_n(\vartheta,\varphi),\) dann gilt auf jeder Kalotte die Gleichung \[ \int F(\vartheta, \varphi)d\sigma =\sum_0^\infty \int X_n(\vartheta, \varphi) d\sigma \] wo die Integrale Flächenintegrale über die Kalotte bedeuten. Bei festem Radius ist die Konvergenz der rechten Seite gleichmäßig in bezug auf die Lage des Kalottenmittelpunktes. Mit Hilfe eines verallgemeinerten Beltramischen Parameters wird dann im dritten Kapitel der folgende Eindeutigkeitssatz bewiesen. ``Wenn die Kugelfunktionenreihe \(\sum_0^\infty X_n(\vartheta, \varphi)\) gegen Null konvergiert 0 auf der Kugelfläche mit Ausnahme höchstens einer reduktiblen Punktmenge, und wenn ferner die Reihe \(\sum_1^\infty \frac {X_n}{n(n +1}\) gleichmäßig konvergiert, so ist notwendig \(X_n \equiv 0 (n =0,1,2,\dots).''\) Ferner wenn die Kugelfunktionenreihe \(\sum_0^\infty X_n(\vartheta, \varphi)\) auf der Kugel, mit eventueller Ausnahme der Punkte einer reduktiblen Menge, gegen eine quadratisch integrierbare Funktion \(f (\vartheta, \varphi)\) konvergiert, wenn ferner \(f (\vartheta, \varphi)\) beschränkt ist; ausgenommen in den Umgebungen der Punkte einer reduktiblen Menge, und wenn \(\sum_0^\infty X_n(\vartheta, \varphi)\) gleichmäßig auf der Kugel konvergiert, dann ist \[ X_n(\vartheta, \varphi) = \frac {2n +1}{4\pi} \int f(\vartheta', \varphi') P_n (\cos \omega')d\sigma'. \] Endlich wird eine notwendige und hinreichende Bedingung gegeben, damit eine Reihe \(\sum X_n(\vartheta, \varphi)\) Laplacesche Reihe einer integrierbaren Funktion sei. Die Bedingung ist, daß\ die Summe der auf einer willkürlichen Kalotte gliedweise integrierten Reihe dem Integral (auf der Kalotte), einer integrierbaren Funktion gleich sei.