Sätze vom Tauberschen Charakter im Gebiet der Laplace- und Stieltjestransformation. (Q1830892)

Verf. geht aus von folgenden \textit{Hardy-Littlewood}schen Sätzen: I. \ Es sei \(F(t)\) in jedem endlichen Intervall \((0, T)\) und \(e^{-st} F(t)\) für jedes \(s > 0\) im Intervall \((0, \infty)\) integrabel. Ist \(\mathfrak L(F) = f (s) \sim As^{-\alpha}\) für \(s \to 0\) (\(A\) beliebig, \(\alpha \geqq 0\)) und \(F(t) \geqq 0\) für \(t >0\), so gilt \[ \int_0^t F(\tau)\, d\tau \sim \frac{A}{\varGamma(\alpha + 1)} \, t^\alpha \quad \text{ für } \quad t \to \infty. \] II. \ Es sei \(F(t)\) in jedem endlichen Intervall \((0, T)\) und \(e^{-st} \cdot F(t)\) für ein \(s_0\) (und damit für alle \(s > s_0\)) im Intervall \((0, \infty)\) integrabel. Ist \(\mathfrak L (F) = f (s) \sim Bs^{-\beta}\) für \(s \to \infty\) (\(B\) beliebig, \(\beta > 0\)) und \(F(t) \geqq 0\) für \(t > 0\), so gilt \[ \int_0^t F(\tau)\, d\tau \sim \frac{B}{\varGamma(\beta + 1)} \cdot t^\beta \quad \text{ für } \quad t \to \infty. \] III. \ Es sei \(F(t)\) in jedem endlichen Intervall \((0, T)\) und \(\dfrac{F(t)}{(t + u)}\), wo \(\varrho > 0\), für jedes \(u >0\) im Intervall \((0, \infty)\) integrabel. Es sei \[ F (t) \geqq 0. \] (a) \ Ist \[ \mathfrak S_u (F) = \varphi(u) \sim Cu~ ^{-\gamma} \quad \text{ für } \quad u \to \infty \quad (C \geqq 0, \;0 < \gamma < \varrho), \] so gilt \[ \int_0^t F(\tau) \cdot d\tau \sim C \frac{\varGamma(\varrho)} {\varGamma(\gamma) \varGamma(\varrho - \gamma + 1)} \cdot t^{\varrho - \gamma} \quad \text{ für } t \to \infty. \] (b) \ Dies ist auch richtig, wenn in der Voraussetzung \(u \to 0\) und in der Behauptung \(t \to 0\) steht. Hierin bezeichnet \(\mathfrak L(F)\) die \textit{Laplace}transformation \[ \mathfrak L(F) = \mathfrak L_s(F) = \int_0^\infty e^{-st} \cdot F(t) \, dt \] und \(\mathfrak S_u(F)\) die verallgemeinerte \textit{Stieltjes}transformation \[ \mathfrak S_u(F) = \int_0^\infty \frac{F(t)}{(t + u)^\varrho} \, dt. \] Verf. zeigt zunächst: (1) \ In I kann die Voraussetzung \(F(t) \geqq 0\) durch \[ F(t) = O_L (t^{\alpha -1}), \quad \text{ d. h. } \quad F(t) \geqq -a \cdot t^{\alpha - 1} \] ersetzt werden. I kann auch in folgender Form ausgesprochen werden: (2) \ \(\varPhi(t)\) sei für \(t > 0\) differenzierbar und bei \(t = 0\) stetig. Es sei \(\varPhi^\prime(t)\) in jedem endlichen Intervall \((0, T)\) und \(e^{-st} \varPhi^\prime(t)\) für jedes \(s > 0\) im Intervall \((0, \infty)\) integrabel. Ist \[ \mathfrak L(\varPhi) = \varphi(s) \sim As^{-(\alpha+1)} \quad \text{ für } \quad s \to 0 \quad (A \text{ beliebig, } \;\alpha \geq 0) \] und \[ \varPhi^\prime(t) = O_L(t^{\alpha - 1}), \quad \text{ d. h. } \quad \varPhi^\prime(t) \geqq -a t^{\alpha - 1} \quad \text{ für } \quad t > 0, \] so ist: \[ \varPhi(t) \sim \frac{A}{\varGamma(\alpha + 1)} \cdot t^\alpha \quad \text{ für } \quad t \to \infty. \] (3) \ In II kann die Voraussetzung \(F(t) \geqq 0\) durch \[ F(t) = O_L(t^{\beta - 1}) \] ersetzt werden. II kann ferner in folgender Form ausgesprochen werden: (4) \ \(\varPhi(t)\) sei für \(t > 0\) differenzierbar und bei \(t = 0\) stetig. Es sei \(\varPhi^\prime(t)\) in jedem endlichen Intervall \((0, T)\) und \(e^{-st} \varPhi^\prime(t)\) für ein \(s = s_0\) im Intervall \((0, \infty)\) integrabel. Ist \[ \mathfrak L(\varPhi(t) - \varPhi(0)) \sim Bs^{-(\beta+1)} \quad \text{ für } \quad s \to \infty \quad (B \text{ beliebig, } \;\beta > 0) \] und \[ \varPhi^\prime(t) = O_L(t^{\beta - 1}), \quad \text{ d. h. } \quad \varPhi^\prime(t) \geqq -b \cdot t^{\beta - 1} \quad \text{ für } \quad t > 0, \] so gilt \[ \varPhi(t) - \varPhi(0) \sim \frac{B}{\varGamma(\beta + 1)} \, t^\beta \quad \text{ für } \quad t \to 0. \] \textit{Hardy} und \textit{Littlewood} benutzen (Notes on the theory of series XI; Proceedings L. M. S. (2) 30 (1929), 23-37; F. d. M. \(55_{\text{II}}\)) III zum Beweis von I und II. I bildet die Verallgemeinerung eines vom Verf. entdeckten Satzes (1920; F. d. M. 47, 254 (JFM 47.0254.*)). Verf. zeigt, daß III aus I und II folgt. Dies beruht darauf, daß sich \(\mathfrak S_u(F)\) aus \(\mathfrak L_s(F)\) durch zweimalige Anwendung erzeugen läßt auf Grund der Identität: \[ \mathfrak S_u(F) = \frac{1}{\varGamma(\varrho)} \cdot \mathfrak L_u [s^{\varrho - 1} \cdot \mathfrak L_s(F)]. \] So ergibt sich III a durch Anwendung von II und dann von I, und III b durch Anwendung von I und dann von II. Dem Beweis liegen folgende Tatsachen zugrunde: A. \ Wenn \(\varphi(u)\) für \(u > u_0 \geqq 0\) differenzierbar ist, \(\varphi^\prime(u)\) bei wachsendem \(u\) nie abnimmt und für \(u \to \infty\) \[ \varphi(u) \sim C \cdot u^{-\gamma} \quad (C \text{ und }\gamma \text{ beliebig reell}) \] ist, so gilt \[ \varphi^\prime(u) \sim -C \gamma u^{-\gamma -1} \text{ für } u \to \infty. \] B. \ E sei \(f(s) \geqq 0\) für \(s > 0\) und \(f(s)\) in jedem Intervall \((s, \infty)\), \(s^\varkappa \cdot f(s)\) für ein festes \(\varkappa > 0\) in jedem Intervall \((0, s)\) integrabel. Ist \[ \int_0^s \sigma^\varkappa f(\sigma) \, d\sigma \sim D s^\delta \quad \text{ für } \quad s \to 0 \quad (D \text{ beliebig, } \;(0 < \delta < \varkappa), \] so gilt \[ \int_s^\infty f(\sigma) \, d\sigma \sim D \frac{\delta}{\varkappa - \delta} \cdot s^{\delta - \varkappa} \quad \text{ für } \quad s \to 0. \] C. \ Wenn \(\psi(s)\) für \(0 < s \leqq s_0\) differenzierbar ist, \(s \cdot \psi^\prime(s)\) bei gegen 0 abnehmendem \(s\) nie zunimmt, und für \(s \to 0\) \[ \psi(s) \sim Ms^{-\mu} \qquad (M \text{ und } \mu \text{ beliebig reell}) \] ist, so gilt: \[ \psi^\prime(s) \sim -M \mu s^{-\mu - 1} \;\text{ für } \;s \to 0. \] B. ist ein Analogon eines von \textit{Hardy} und \textit{Littlewood} (loc. cit. p. 28) benutzten Hilfssatzes (Lemma \(\delta\)), C. ein Analogon einer von \textit{Hardy} und \textit{Littlewood} (Proceedings L. M. S. (2) 13 (1914), 174-191; F. d. M. 45, 389 (JFM 45.0389.*)-390) herrührenden Verallgemeinerung eines Satzes von \textit{Landau} (Rendiconti Palermo 26 (1908), 169-302; F. d. M. 39, 267 (JFM 39.0267.*)-268). (IV 3 C.).