Sur une extension de la formule de Frullani. (Q1532009)

Der Verfasser beweist die Frullani'sche Formel und ihre Verallgemeinerung: \[ \int_a^b [f(x)-f(\varphi)\varphi'(x)]dx=A\log\varphi'(a)-B\log\varphi'(b), \] wo \[ A=\lim_{x=a}(x-a)f(x),\quad B=\lim_{x=b}(x-b)f(x) \] ist und vorausgesetzt wird, dass \(\varphi'(x)\) im Intervall \((a\dots b)\) positiv ist. Hieraus ergiebt sich, wenn \(a_1,a_2,a_3,\dots\) die Wurzeln der Gleichung \(\varphi(x)-x=0\) sind, \[ \int_{a_m}^{a_n} [F(x)-F(\varphi)\varphi'(x)]dx=A_m\log\varphi'(a_m)-A_n\log\varphi'(a_n), \] wo \[ A_\alpha=\lim_{x=a_\alpha}(x-a_\alpha)F(x) \] ist; ferner, wenn \[ F(x)=\frac{\varPhi(x)}{\psi(x)-x} \] gesetzt wird, worin \(\psi(x)\) die Umkehrung von \(\varphi(x)\) (also \(\varphi(\psi)=x\)) und \(\varPhi\) endlich ist, \[ \int_{a_m}^{a_n} \left[\frac{\varPhi(x)}{\psi(x)-x} +\frac{\varPhi(\varphi)\varphi'(x)}{\varphi(x)-x}\right]dx =\varPhi(a_m)\,\log \;\frac{\varphi'(a_m)}{\psi'(a_n)-1} -\varPhi(a_n)\;\frac{\log\varphi'(a_n)}{\psi'(a_n)-1}\cdot \] Endlich ist das Zeichen der reellen Grösse \(u\) \[ \text{sgn\,}u=\frac{1}{\log a}\int_0^\infty \left(\frac{e^{aux}-1}{e^{aux}+1}-\frac{e^{ux}-1}{e^{ux}+1}\right)\;\frac{dx}{x}; \] und das Integral \[ \frac{1}{\log a}\int_0^\infty \frac{(\sin^2\frac{u\pi}{2})^{ax}-(\sin^2\frac{u\pi}{2})^x}{x}\;dx \] hat den Wert 1, wenn \(u\) eine ungerade ganze Zahl ist, während es in allen andern Fällen verschwindet.