Reciprocal integral formulae. (Q1440799)

\textit{E. C. Titchmarsh} hat aus der Existenz der Summe \[ \lim_{q,q' \to \infty} \frac{\sin \pi \lambda}{\pi} \sum_{n=-q'}^q \frac{a_n}{m+n+\lambda}=b_m \] Bedingungen für die \((C,1)\)-Summierbarkeit bzw. Konvergenz der Reihen \[ (1)\quad \lim_{q \to \infty} \frac{\sin \pi \lambda}{\pi} \sum_{n=-q}^q \frac{b_m}{m+n+\lambda},\;(2)\quad \lim_{q,q' \to \infty} \frac{\sin \pi \lambda}{\pi} \sum_{n=-q'}^q \frac{b_n}{m+n+\lambda} \] abgeleitet. Verf. stellt sich die Aufgabe, ähnliche Entwickelungen, wie sie dort für Reihen gegeben worden sind, auch bei Integralen durchzuführen. Eine einfache Übertragung der angewandten Schlüsse erweist sich allerdings als nicht gangbar, weil im Falle der Integrale ein Existenzbeweis für die Hauptwerte notwendig wird; die Untersuchung stützt sich daher auf Methoden der von \textit{Titchmarsh} entwickelten Theorie der reziproken Integrale. Es sei nun \[ g(x)=\frac 1\pi \int_{-\infty}^\infty \frac{f(t)}{t-x}dt, \] und es mögen die beiden Integrale \(\int^\infty \frac{f(x)}{x}\) und \(\int^\infty \frac{f(x)}{x}\) im Sinne von \textit{Lebesgue} existieren; dann gelten -- so wird gezeigt - folgende Sätze: I. Genügt \(f(x)\) in einem endlichen Intervalle in bezug auf \(x\) gleichmäßig einer \textit{Lipschitz}bedingung von der Ordnung \(\alpha(0<\alpha<1)\), dann genügt auch \(g(x)\) einer Lipschitzbedingung von der Ordnung \(\alpha\) und \[ (3)\quad -\frac 1\pi \int_0^\infty \frac{g(x+t)-g(x-t)}{t}dt \] ist \((C,1)\)summierbar nach \(f(x)\) für alle Werte von \(x\). II. Ist die \(p\)-te Potenz \((p > 1)\) von \(f(x)\) über ein endliches Intervall integrierbar, dann ist auch \(g(x)\) eine Funktion, deren \(p\)-te Potenz über ein endliches Intervall integrierbar ist und \[ -\frac 1\pi \int^\infty \frac{g(x+t)-g(x-t)}{t}dt \] ist \((C,1)\)-summierbar; nimmt man als untere Grenze dieses Integrals den Anfangspunkt, so ist das Integral (3) \((C,1)\)-summierbar nach \(f(x)\). Zur bequemeren Formulierung der weiteren Sätze werden die Funktionen \[ \varphi(u)=\int_u^\infty \frac{f(t)+f(-t)}{t} dt,\;\psi(u)=\int_u^\infty \frac{f(t)-f(-t)}{t}dt \] eingeführt. III. Genügt \(f(x)\) der Bedingung des Satzes II und ist außerdem für \(T \to \infty\): \[ \int_{t=1}^T [f(t)]^p=o(T^p), \] dann konvergieren \(\varphi(u)\) und \(\psi(u)\) gegen \(f(x)\), vorausgesetzt, daß\ ist: \[ (4)\quad \lim_{T \to \infty} \int_{(1-\vartheta)T}^{(1+\vartheta)T} \frac{\varphi(u)}{u-T}du=0,\;0<\vartheta<1. \] IV. Die notwendige und hinreichende Bedingung für die \((C,1)\)-Summierbarkeit jedes der Integrale \[ (5)\quad \int_1^\infty \frac{g(x \pm t)}{t}dt \] ist die Existenz von \[ (6)\quad \int_0^\infty \frac{\psi(u)}{u+1}du. \] V. Die Integrale (5) sind sämtlich konvergent, wenn außer dem Erfülltsein von (4) und (6) auch noch die Gleichung \[ \lim_{T \to \infty} \int_{(1-\vartheta)T}^{(1+\vartheta)T} \frac{\psi(u)}{uT}du=0 \] gilt. Die Sätze I und II entsprechen den von \textit{Titchmarsh} bezüglich der Reihe (1) die Sätze III bis V den von ihm bezüglich der Reihe (2) ausgesprochenen Ergebnissen: