On quadratures. (Q1557404): Difference between revisions

Es wird die Function \(f(x)\) gesucht, für welche das folgende Integral sich approximativ bis auf einen Rest \(2n^{\text{ter}}\) Ordnung in der Form darstellen lässt \[ \int_{-1}^1 f(x)\varphi(x)= k[\varphi(x_1) +\varphi(x_2) +\cdots +\varphi(x_n)], \] so dass \(k\) unabhängig von der Function \(\varphi\) ist. Dem genügt, wie bereits von Hermite. (Cours d'analyse p. 452) und Mehler, (Crelle J. LXIII. 152) auf verschiedenem Wege bewiesen, der Werth \[ f(x)=(1-x^2)^{-\frac 12}, \] und zwar sind die \(x\) bestimmt durch die Gleichung \[ (z-x_1)(z- x_2)\ldots (z-x_n)=\frac{1}{2^{n-1}} \cos(n\arccos z). \] Der Verfasser setzt nun \[ \varphi(x)= \frac{1}{z-x} \] und entwickelt das Integral in einen Kettenbruch, dessen \(n^{\text{ter}}\) Näherungsbruch für \(x=x_i\) dann den Coefficienten von \(\varphi(x_i)\) in der Entwickelung des Integrals ergiebt. Für einige besonders einfache Bestimmungen von f(x) zeigt von \(f(x)\) zeigt sich dieser Coefficient abhängig von \(x_i\); nur für \(f(x)=(1-x^2)^{-\frac 12} \) ist er constant \(=\frac{\pi}{n}\). Es wird dann der directe Beweis geführt, dass in der That dieser Werth der einzige ist, welcher der anfänglich aufgestellten Entwickelungsform entspricht.