Untersuchung über die Grenzwerte der Integrale. (Q1513699)

Der Verf. stellt sich die Aufgabe: Es seien bekannt die Werte \(\alpha_0,\alpha_1,\dots,\alpha_n\) der Integrale \(\int\limits_0^\infty x^if(x)dx\) \((i=0,1,\dots,n)\), und das Integral \(\int\limits_0^\infty x^{n+1}f(x)dx\) sei nicht grösser als \(\alpha_{n+1}\). Es wird gefragt nach der oberen und nach der unteren Grenze des Integrals \(\int\limits_0^u f(x)dx\) für eine beliebig gegebene positive Zahl \(u\), d. h. nach den zwei Grössen \(S_{n+1}(u)\) und \(s_{n+1}(u)\), zwischen denen das Integral unter den besagten Bedingungen sicherlich liegt. Die Untersuchung wird mit der Umformung der Reihe \(\sum \alpha i/z^{i+1}\) in den Kettenbruch \[ \frac{1|}{|c_0z} - \frac{1|}{|c_1} - \frac{1|}{|c_2z} - \frac{1|}{|c_3} -\cdots \] eng verbunden (Stieltjes: Recherches sur les fractions continues. A. A. Markow: Ueber einige Anwendungen der algebraischen Kettenbrüche). Die Coefficienten \(c_i\) werden nach den gegebenen \(\alpha_i\) bestimmt. Es sind dann auch die Näherungsbrüche \(\frac{\psi_i(z)}{\varphi_i(z)}\) \((i=0,1,\dots,n+1)\) bekannt. Nennt man nun \(\frac{\psi_{n+1}(z,u)}{\varphi_{n+1}(z,u)}\) einen neuen Bruch, wo, wenn \(n\) gerade und \(\varphi_{n+1}(u)\varphi_n(u)<0\): \[ \varphi_{n+1}(z,u) = \frac{\varphi_{n+1}(z)\varphi_n(u) - \varphi_{n+1}(u)\varphi_n(z)}{\varphi_n(u)}, \] \[ \psi_{n+1}(z,u) = \varphi_{n+1}(z,u)\cdot \left\{\frac{1|}{|c_0z} - \frac{1|}{|c_1} - \frac{1|}{|c_2z} -\cdots- \frac{1|}{|c_nz} - \frac{1|}{|c_{n+1}+c'}\right\}; \] dagegen wenn \(n\) gerade, \(\varphi_{n+1}(u)\varphi_n(u)>0\): \[ \varphi_{n+1}(z,u) = \frac{z\varphi_{n+1}(z)\varphi_n(u) - \varphi_n(z)\varphi_{n+1}(u)u}{u\varphi_n(u)}, \] \[ \psi_{n+1}(z,u) = \varphi_{n+1}(z,u)\cdot \left\{\frac{1|}{|c_0z} - \frac{1|}{|c_1} -\cdots- \frac{1|}{|c_{n+1}-1/c_1z}\right\}, \] und ist \(\frac{\psi_{n+1}(z,u)}{\varphi_{n+1}(z,u)} = \sum\frac G{z-g}\) die Zerlegung in Partialbrüche, so ist die Summe der \(G\) für \(g<u\) die gesuchte untere Grenze des Integrals; dieselbe Summe, vergrössert um das \(G\), welches dem \(g=u\) entspricht, ist die obere Grenze. Analog fallen die Formeln für \(n\) ungerade aus. Der Verf. zeigt weiter (\S\ 6), dass für beliebige \(u\), \(v\) \((0\leq u<v)\) die Ungleichheit besteht: \(S(u)\leq s(v)\); dieselbe ähnelt der Ungleichheit \(\psi(u)\leq\chi(v)\) von Stieltjes, ist jedoch von ihr verschieden, da \(\psi(u)\) und \(\chi(u)\) anderen Sinn bei Stieltjes besitzen als hier \(S(u)\) und \(s(u)\). Jetzt kann man behaupten, dass die unendliche Reihe der Gleichungen \[ \alpha_i = \int_0^\infty x^i f(x)dx \] die beiden Functionen \(\overset{-} F(x)\) und \(\overset{+} F(x)\), zwischen denen das Integral \(\int\limits_0^x f(x)dx\) enthalten ist, vollständig bestimmt. Als Beispiel wird der Fall betrachtet, welchen Tschebyschew behandelt hat (Petersb. Denkschr. 55; F. d. M. 19, 208, 1887, JFM 19.0208.02).