On the expansion of arbitrary functions in terms of given functions. (Q1556163)

Wenn eine arbiträre Function \(f(x)\) in eine Reihe von der Form \[ f(x) = \sum A_{k} F(x), \] wo \(F(x)\) eine bekannte Function bedeutet, entwickelt werden soll, sucht man in der Regel zuerst die Coefficienten zu bestimmen, und demnächst die Bedingungen der Gültigkeit der Entwickelung zu ermitteln. In vielen Fällen können die Coefficienten als Integrale von der Form \[ A_{k} \int_a^b f(x')\; \varphi\; (x') dx' \] bestimmt werden, und zur Untersuchung der Gültigkeitsbedingungen wird dann gewöhnlich die Dirichlet'sche Methode benutzt. Hier wird zu dieser Untersuchung eine andere Methode entwickelt, welche darauf beruht, die Integrale \(A_{k}\) in Elemente aufzulösen, für diese die Integration auszuführen, demnächst für jedes solches Elementsystem die Reihe in Bezug auf \(k\) zu summiren, und endlich die Summe aller dieser Partialsummen zu nehmen. In vielen Fällen sind die \(k\) die Wurzeln einer Gleichung \(q(y) = 0\). Um diesen besonders wichtigen Fall zu untersuchen, behandelt der Verfasser zuerst die Frage, inwiefern die Regel für die Zerlegung algebraischer Brüche sich auch auf Brüche \(\frac{p(y)}{q(y)}\) anwenden lasse, in denen Zähler und Nenner derselben unendliche convergente Reihen sind. Als Bedingung der Zulässigkeit einer solchen Zerlegung findet er, dass \[ \left( \frac{p \;(\varrho e^{i\theta})}{q \;(\varrho e^{j\theta})} \right)^{\varrho = \infty} = \begin{cases} 0 \;\text{für} \; \sin \theta \gtrless 0\\ \text{endlich für} \; \sin \theta = 0\end{cases} \] sein soll. Dieser Satz wird benutzt, um die Gültigkeit der von Hankel und Schläfli behandelten Entwickelung durch Bessel'sche Functionen der ersten Art \[ f(x) = \sum_{k} A_{k} J_{n} (kx) \] zu untersuchen. Es wird bewiesen, dass für eine beliebige endliche und continuirliche Function die Entwickelung immer zwischen den Grenzen 0 und 1 gültig ist; für \(f(x)\) discontinuirlich giebt sie in Discontinuitätspunkten den Mittelwerth der beiden Werthe von \(f(x)\), und für \(f(x) = \infty\) ist sie noch gültig, wenn nur \(\int_0^x f(x) dx\) endlich und continuirlich bleibt. Noch eine andere analoge Entwickelung wird betrachtet, in welcher die \(k\) die Wurzeln der Gleichung \(\frac{dJ_{n}(x)}{dx}\) sind.