Über die nach Kugelfunktionen fortschreitende Entwicklung einer beliebigen Funktion von einem Argument. (Q1494083)

Der Beweis für die Entwickelbarkeit einer Funktion \(f(x)\), die in dem Intervall \((-1,+1)\) nur eine endliche Zahl endlicher Diskontinuitäten besitzt, nach Kugelfunktionen, wird in allen bisherigen Darstellungen nicht direkt geführt, sondern stets als Spezialfall aus der Entwicklung einer auf der Kugelfläche gegebenen Funktion nach den \textit{Laplace}schen \(Y_{n}\) abgeleitet. Hier nun jener Beweis direkt erbracht. Es handelt sich darum, die Summe \[ S=\int_{-1}^{+1}f(\mu)d\mu\sum_{0}^{\infty}\;\frac{2n+1}{2}\;P_{n}(x) \] zu finden. Zu dem Zwecke wird zunächst die endliche Summe \[ \varLambda_{m}=\sum_{0}^{m}\;\frac{2n+1}{2}\;P_{n}(x) \] betrachtet, die nach einer, leicht aus der bekannten Rekursionsformel sich ergebenden Formel von \textit{Christoffel} den Wert hat: \[ \varLambda_{m}=\frac{m+1}{2}\;\frac{P_{m+1}(\mu)P_{m}(x)-P_{m}(\mu)P_{m+1}(x)}{\mu-x}. \] Durch Anwendung der \textit{Laplace}schen Näherungsformel für \(P_{m}(\cos\vartheta)\), falls \(m\) sehr groß\ ist, und benutzt des \textit{Dirichlet}schen Satzes über den Grenzwert des Integrals \[ \int_{p}^{q}\frac{\sin(m\varphi)}{\varphi}\;F(\varphi)d\varphi \] für \(n=\infty\) ergibt sich dann, daß\ der Grenzwert des Integrals \[ \text{(a)} \quad \quad \quad \quad \int_{b}^{d}\varLambda_{m}d\mu, \] in dem \(b\) und \(d\) zwischen \(-1\) und \(+1\) liegen, \(=1\) ist, falls \(x\) zwischen \(b\) und \(d\) liegt, \(=0\), falls \(x\) zwischen \(-1\) und \(b\) oder zwischen \(d\) und \(+1\) liegt, \(=\frac12\) für \(x=b\) und \(x=d\) selbst. Wendet man endlich auf das Integral \[ \text{(b)} \quad \quad \quad \quad \int_{-1}^{+1}f(\mu)\varLambda_{m}d\mu \] den \textit{Du Bois-Reymond}schen Mittelwertsatz an, so folgt dessen Grenzwert für \(m=\infty\), d. h. der Wert von \(S\), aus dem vorerwähnten Grenzwert des Integrals (a).