Sur le développement d'une fonction donnée en séries procédant suivant les polynomes de Tchébycheff et, en particulier, suivant les polynomes de \textit{Jacobi}. (Q1504040)

Ist \(p(y)\) eine Funktion der reellen Veränderlichen \(y\), die in dem Intervall \(y = (a \dots b)\) positiv bleibt, und entwickelt man \[ F(x)=\int_a^b \frac{p(y)dy}{x-y} \] in einen Kettenbruch der Form \[ F(x)=\frac{c_1}{q_1 - \frac{c_2}{q_2-\frac{c_3}{q_3 \dots}}}\,, \] wo \(q_1, q_2, q_3, \dots\) ganze Funktionen von \(x\) und \(c_1,c_2,c_3,\dots\) Konstanten sind, so heißen die Nenner der Näherungswerte dieses Kettenbruches \[ \varphi_0,\varphi_1,\varphi_2,\dots \] die zu der charakteristischen Funktion \(p(x)\) gehörigen \textit{Tschebycheff}schen Polynome. Sie sind. wie \textit{Stekloff} bemerkt, außer von \textit{Tschebyschef}f selbst von \textit{Markoff}, \textit{Possé} und \textit{Sonin} behandelt worden; der Ref. möchte diesen Literaturangaben die Dissertation von \textit{Blumenthal}, Göttingen 1898, hinzufügen. Für den Fall \[ p(x)=C(x-a)^{\alpha-1} (x-b)^{\beta-1} \quad (\alpha>0,\beta>0) \] treten diese Polynome bereits bei \textit{Jacobi} (J. für Math. \( 56\)) auf; sie heißen dann \textit{Jacobi}sche Polynome. Ist die Funktion \(f(x)\) in dem Intervall \((a\dots b)\) stetig, so gilt für jedes Intervall \((a_1 \dots b_1)\), das innerhalb \((a \dots b)\) liegt, die Gleichung \[ f(x)=\sum_{k=0}^\infty\;\int_a^b\;p(y) f(y) \varphi_k(y) dy \cdot \varphi_k(x), \] vorausgesetzt, daß diese Reihe in \((a_1 \dots b_1)\) gleichförmig konvergiert. Wird für die \textit{Jacobi}schen Polynome der Einfachheit wegen \[ C=1,\quad a=-1,\quad b=+1 \] gesetzt, so gilt der Satz, daß jede im Intervall \((- 1\dots +1)\) stetige und zweimal differenzierbare Funktion \(f(x)\) sich im Innern dieser Intervalle in eine gleichförmig konvergente, nach \textit{Jacobi}schen Polynomen fortschreitende Reihe entwickeln läßt. Soll die Reihe für das Intervall \((-1 \dots + 1)\) selbst, die Grenzen eingeschlossen, gleichmäßig konvergieren, so müssen die Parameter \(\alpha\) und \(\beta\) einer der beiden Bedingungen genügen: \[ 1)\qquad \alpha>0,\;0<\beta<\tfrac 32, \] \[ 2)\qquad 0<\alpha<\tfrac 32,\;\beta>0. \] Für \(\alpha=1\), \(\beta=1\) gehen die \textit{Jacobi}schen Polynome in die \textit{Legendre}schen Funktionen über, für die daher ein entsprechender Satz gilt. Ist eine der Bedingungen erfüllt: \[ 1')\qquad \alpha>0,\;0<\beta<\frac 12, \] \[ 2')\qquad 0<\alpha<\tfrac 12,\;\beta>0, \] so darf man die Voraussetzung, daß die zweite Ableitung von \(f(x)\) existiere, fallen lassen.