On a theorem in definite integration. (Q1564584)

Der Boole'sche Satz, von dessen Anwendungen der Aufsatz handelt, ist in der Formel dargestellt: \[ \left( \int^{q_1}_{p_1} + \int^{q_2}_{p_2} + \cdots \int^{q_n}_{p_n} \right) \varphi f(\psi) dx = \int^{q}_{p} f (v) \varTheta [\varphi] \frac{\delta v}{v - \psi}, \] und zwar bedeuten \(\varphi\) und \(\psi\) rationale Functionen von \(x\); \(p_1, p_2 ,\cdots p_n\) und \(q_1, q_2 ,\cdots q_n\) sind die Wurzeln von \(\psi x = p\) und \(\psi x = q\), und \(\varTheta\) ist das Operationszeichen, welches das um den Coefficienten von \(\frac{1}{x}\) in der Entwickelung von \(\frac{\varphi}{v - \psi}\) nach absteigenden Potenzen von \(x\) verminderte Cauchy'sche Residuum derselben Grösse ausdrückt. Boole wendet die Formel auf den Fall an: \[ \psi = \frac{a_1}{x - \lambda_1} + \frac{a_2}{x - \lambda_2} + \cdots \frac{a_n}{x - \lambda_n}, \] wo die \(a\) positiv, und die \(\lambda\) reell sind. Es wird zuerst gezeigt, dass hier, wenn zur Rechten der Formel \(v\) alle reellen Grössen durchläuft, zur Linken \(x\) ein gleiches thut, dass also \[ \int^{\infty}_{- \infty} \varphi f(\psi) dx = \int^{\infty}_{- \infty} f(v) \varTheta \varphi \frac{\delta v}{v - \psi}, \] insbesondere für \(\varphi = 1\) \[ \int^{\infty}_{-\infty} f (\psi ) dx = (a_1 + a_2 + \cdots + a_n) \int^\infty_{-\infty} f(v) \frac{\delta v}{v^2}. \] Als Beispiele der Anwendung werden Summen unendlicher Reihen für \(\psi\) eingeführt, zuerst \[ \psi = \frac{\cot x}{x^2} + \frac{1}{3x} - \frac{1}{x^3} , \] eine Function, deren bekannte Entwickelung die verlangte Form hat; desgleichen \(\psi=\cot x\). Im dritten Beispiel wird \[ \psi = \frac{\varphi' x}{\varphi x} \] gesetzt, wo \(\varphi x\) eine ganze Function \(n^{\text{ten}}\) Grades ist. Es ergiebt sich: \[ \int^{\infty}_{-\infty} f\left( \frac{\varphi'x}{\varphi x}\right) dx = n\int_{- \infty} f(v) \frac{d v}{v^2}, \] und insbesondere \[ \int^{\infty}_{-\infty} e^{-\left(\frac{\varphi x}{\varphi' x} \right )^2} dx = n \sqrt{\pi}. \] Fernere Beispiele sind für die einfachsten Formen von \(\varphi\) aufgestellt. Als allgemeines Resultat wird noch erwähnt, dass \[ \int^{\infty}_{-\infty} \varphi xf(\psi x) dx = \int^{\infty}_{-\infty} \varPhi uf \left( \frac{1}{u} \right) du, \] wo \(\varphi x, \varPhi u\) Brüche gleichen Grades in Zähler und Nenner, und die Coefficienten des letzteren Bruchs Funktionen der Coefficienten des erstern sind. Setzt man \[ \psi = ax - \frac{a_1}{x - \lambda_1} - \frac{a_2}{x - \lambda_2}- \cdots \frac{a_n}{x - \lambda_n}, \] so ist bemerkenswerth, dass für jedes \(a>0\) \[ \int^{\infty}_{-\infty} f(\psi) dx = \frac{1}{a} \int^{\infty}_{- \infty} f (v) d v \] wird, während für \(a=0\) die ganz verschiedene, oben genannte Form dafür eintritt. Schliesslich wird gezeigt, wie Boole sein Theorem aus einem noch allgemeineren ableitet. In einer Anmerkung fügt Cayley einen besonderen Beweis für den Fall \(\varphi = 1\) hinzu.