On the series of which the general term depends on two angles and which can be used to represent arbitrary functions between given bounds. (Q1558878)

Der Aufsatz handelt von der Convergenz und Summation folgender drei Reihen: \[ \sum (2n+1)S_n, \quad \sum (2n+1)^2 S_n, \quad \sum S_n, \] wo \[ S_n=\frac 1 {4\pi } \int_0^{\pi } \sin\vartheta '\partial\vartheta ' \int_0^{2\pi } f(\vartheta ',\varphi ')P_n[\cos\vartheta\cos\vartheta ' + \sin\vartheta\sin\vartheta '\cos (\varphi -\varphi ')]\partial\varphi ', \] und wo, wenn wie hier die \((\vartheta\varphi ),\; (\vartheta '\varphi ')\) als Polar-Coordinaten zweier Punkte auf der Kugelfläche vom Radius 1 betrachtet werden, \(P_n\) homogene Kugelfunction \(n^{\text{ten}}\) Grades ist. In Crelle J. XVII. hat Dirichlet bewiesen, dass sich jede Function, die nicht unendlich wird, auch wenn sie Unstetigkeiten hat, in erstere zwei Reihen entwickeln lässt. Der Verfasser beweist erstlich dasselbe auf anderem Wege und untersucht dann weiter den Fall, wo die Function für einzelne Werthe unendlich wird, sowie einige andere Fragen. Zunächst transformirt er das Integral durch Verlegung des Poles in den Punkt \((\vartheta\varphi )\). Das ist soviel, als wenn man \(\vartheta =0\) setzt. Es wird dann \(P_n\) Function von \(x=\cos\vartheta '\), als solche bezeichnet durch \(X_n\). Das Integral nach \(\varphi '\), welches das Mittel der Function \(f\) auf dem Parallelkreis \(\vartheta '\) multiplicirt mit \(2\pi \) darstellt, wird nun bezeichnet durch \(Fx\), und das Doppelintegral geht über in \[ \frac 1 2 \int_{-1}^1 F(x)X_n\partial x. \] Vermöge der bekannten Relation \[ \sum_{n=0}^{n=n} (2n+1)X_n=\frac {\partial X_{n+1}}{\partial x} + \frac {\partial X_n}{\partial x}, \] geht dann die Summe der \(n+1\) ersten Terme der ersten Reihe nach theilweiser Integration über in \[ S_{n+1}=F(1)-\frac 1 2 \int_{-1}^1 F'(x)(X_n+X_{n+1})\partial x, \] und da \(X_n\) für \(n=\infty \) verschwindet, so hat man sofort, wofern \(F'(x)\) nicht unendlich wird: \[ \lim S_{n+1}=F(1). \] Dasselbe gilt auch ohne diese Beschränkung, da das Integral zwischen Grenzen \(a,\;b,\) wo \(F'x\) sein Vorzeichen nicht wechselt, das Product von \(F(b)-F(a)\) und einem Mittelwerth von \(X_n+X_{n+1}\) ist, also mit letzterem verschwindet, wenn nur sämmtliche \(F(a),\;F(b)\) endlich sind. Der Schluss auf das volle Integral ist nur dann nicht möglich, wenn \(Fx\) in der Nähe desselben Werthes, wo \(F'x\) unendlich wird, unendlich viele Maxima und Minima hat, ein Fall, der später untersucht wird. (Vergl. Crelle J. XVII. 47.) Die Untersuchung des Falles, wo die Function \(f\) in beliebig vielen Punkten unendlich wird, geht von der dritten Reihe in der Form \[ \sum_n = \int_{-1}^1 f(x) \sum_{n=0}^{n=n} X_n \partial x \] aus, welche nach Substitution des bekannten Werthes \[ X_n = \frac {\partial X_{n+1}}{\partial x} + \frac {\partial X_{n-1}}{\partial x} - 2x \frac {\partial X_n}{\partial x} \] und nach theilweiser Integration ergiebt: \[ S_n = \int_{-1}^1 \varphi (x) \sum_{n=0}^{n=n} X_n \partial x = \int_{-1}^1 f(x) \left( \frac {\partial X_{n+1}}{\partial x} - \frac {\partial X_n}{\partial x} \right) + [2(1-x)f(x) \sum_{n=0}^{n=n} X_n ]_{-1}^1 , \] wo \[ \varphi (x) = 2(1-x)f'(x)-f(x) \] gesetzt ist. Dieser Gleichung genügt die Lösung \[ f(x) = \frac 1{2\sqrt{1-x}} \int_1^x \frac {\varphi (x)\partial x}{\sqrt{1-x}} \] der Art, dass \(f(x)\) endlich bleibt, auch wenn \(\varphi (0)\) unendlich wird, wenn nur das Integral endlich ist. Aus dem obigen Ausdruck für das mit \(S_n\) bezeichnete Integral wird gefunden: \[ \frac {S_n+S_{n-1}}2 = -2f(-1)- \frac 12 \int_{-1}^1 f(x) \left( \frac {\partial X_{n+1}}{\partial x} - \frac {\partial X_{n-1}}{\partial x} \right) \partial x, \] oder nach dem Vorigen: \[ = \frac 1{\surd 2} \int_{-1}^1 \frac {\varphi (x)\partial x}{\sqrt{1-x}} - \frac {2n+1}2 \int_{-1}^1 f(x)X_n \partial x. \] Für durchgängig endliches \(f(x)\) verschwindet der zweite Theil, und man erhält: \[ (13) \quad \lim S_n = \surd\frac 12 \int_{-1}^1 \frac {\varphi (x)\partial x}{\sqrt{1-x}} = \int_0^\pi \varphi (\cos \gamma ) \cos \frac \gamma 2 \partial \gamma \] übereinstimmend mit dem Resultat von Dirichlet, Crelle J. XVII. 46. Ist ferner \(S_n\) die Summe der \(n+1\) ersten Terme der zweiten Reihe \[ \sum (2n+1)^2 \int_{-1}^1 F(x)X_n \partial x, \] so erhält man nach Einsetzung des Werthes \[ (2n+1)X_n = \frac {\partial X_{n+1}}{\partial x} - \frac {\partial X_{n-1}}{\partial x}, \] und nach theilweiser Integration: \[ \begin{multlined} S_n = \{ F(x)[(2n+1)X_{n+1} + (2n-1)X_n - 4(X_0+X_1 \\ + \dotsm X_{n-1} )] \}_{-1}^1 + 4 \int_{-1}^1 F'(x) \partial x(X_0+ \dotsm X_{n-1}) \\ - \int_{-1}^1 F'(x) \partial x[(2n+1)X_{n+1}+(2n-1)X_n]. \end{multlined} \] Erfüllt dann \(F'(x)\) die Bedingungen der Convergenz der ersten Reihe, so ist \(F(x)\) endlich und stetig. Der dritte Theil des Ausdrucks verschwiudet für \(n=\infty \), der zweite hat den bekannten Grenzwerth (13), und man findet: \[ \lim S_n = 2F(-1)+ \frac 4{\sqrt 2} \int_{-1}^1 \frac {F'(x)\partial x}{\sqrt{1-x}}. \] Bezeichnet \(\gamma\) den sphärischen Abstand der Punkte \((\vartheta\varphi )\) und \((\vartheta ' \varphi ')\), und \(\varphi (\gamma )\) den Mittelwerth der Function \(f(\vartheta ',\varphi ')\) längs des sphärischen Kreises \(\gamma=\)const., so sind die Resultate folgende. Die erste Reihe convergirt, wenn \(\varphi (\gamma )\) endlich und seine Stetigkeit nur in endlicher Anzahl von Punkten unterbrochen ist, während \(\varphi ' (\gamma )\) beliebig oft unendlich werden kann. Die Summe ist \(\varphi (0)\). Die zweite Reihe convergirt, wenn \(\frac {\varphi '(\gamma )}{\sin\gamma }\) endlich bleibt; \(\varphi (\gamma )\) ist dann immer endlich und stetig. Die Summe ist \[ = 2\varphi (\pi ) - 2\int_0^\pi \frac {\varphi '(\gamma )\partial\gamma}{\sin\frac \gamma 2}. \] Die dritte Reihe convergirt, selbst wenn \(\varphi (\gamma )\) unendlich oder unstetig wird, so lange \[ \int\varphi (\gamma )\cos\frac \gamma 2 \partial\gamma \] bestimmte endliche Werthe hat und stetig variirt. Die Summe ist daselbe Integral von 0 bis \(\pi\). Im Vorstehenden sind hinreichende Bedingungen angegeben; es handelt sich weiter um die nothwendigen. Im Falle unendlicher Werthe von \(\varphi (\gamma )\) hängt die Frage immer nur von dem der Stetigkeitsunterbrechug angrenzenden Intervalle der Integrale ab. Als ausreichende und nothwendige Bedingung für die erste Reihe wird mit Anwendung eines Laplace'schen Ausdrucks der Kugelfunction gefunden, dass \[ \sqrt n \int_{a-h'}^{a+h} \frac {\varphi_1(\gamma )\sin\left( n\gamma + \frac \gamma 2 - \frac \pi 4 \right)\partial\gamma }{\sqrt{\text{tg}\gamma }} \] für \(n=\infty\) verschwinde, wo \(\varphi_1(\gamma )\) den Theil von \(\varphi (\gamma )\) bezeichnet, der bei \(\gamma = a\) unendlich wird. Ist dieser insbesondere \[ \varphi_1 (\gamma ) = \frac A{(\gamma -a)^p}, \] so wird jene Bedingung: \(p< \frac 12\), wie es die von Poisson und Dirichlet untersuchten Beispiele bestätigen. Die Bedingungen der zweiten Reihe sind identisch mit denen der dritten, darin \(\varphi '(\gamma )\) für \(\varphi (\gamma )\sin\gamma \) gesetzt. Zum Schluss deutet der Verfasser an, dass man Reihen mit Potenzen von \((2n+1)\) im allgemeinen Gliede nach gleichem Verfahren untersuchen könnte, was er sich für einen späteren Artikel vorbehält.