{"entities":{"Q1830892":{"pageid":1841634,"ns":120,"title":"Item:Q1830892","lastrevid":43357820,"modified":"2025-07-25T02:07:16Z","type":"item","id":"Q1830892","labels":{"en":{"language":"en","value":"S\u00e4tze vom Tauberschen Charakter im Gebiet der Laplace- und Stieltjestransformation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2563784"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830892$5CF0C9FA-EB1A-4E61-AD88-F9D4BDF010A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d24a8efcda787e056119a848c25c25778f4920f","datavalue":{"value":{"text":"S\u00e4tze vom Tauberschen Charakter im Gebiet der Laplace- und Stieltjestransformation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1830892$EDBF4756-7BB8-4327-A0DE-C6E89D19350B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba6b763b34bd9ac0b0d633d0711a339ee1c8363b","datavalue":{"value":"56.0365.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830892$659599F4-6805-46EC-9F6D-5BA2858A6A32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"156b6c839582d5c8b9ab627b54765e071dc0b107","datavalue":{"value":{"entity-type":"item","numeric-id":559394,"id":"Q559394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830892$565EAD10-4A3F-41D8-B235-DCBB2BB04FC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1830892$7C6BF4BB-F9D1-46F6-90B0-1296B1AB4916","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a81f656bb9f5aa0250f97c98c30fa4d766ded54","datavalue":{"value":"Verf. geht aus von folgenden \\textit{Hardy-Littlewood}schen S\u00e4tzen:  I. \\ Es sei \\(F(t)\\) in jedem endlichen Intervall \\((0, T)\\) und \\(e^{-st} F(t)\\) f\u00fcr jedes \\(s > 0\\) im Intervall \\((0, \\infty)\\) integrabel. Ist \\(\\mathfrak L(F) = f (s) \\sim As^{-\\alpha}\\) f\u00fcr \\(s \\to 0\\) (\\(A\\) beliebig, \\(\\alpha \\geqq 0\\)) und \\(F(t) \\geqq 0\\) f\u00fcr \\(t >0\\), so gilt  \\[  \\int_0^t F(\\tau)\\, d\\tau \\sim \\frac{A}{\\varGamma(\\alpha + 1)} \\, t^\\alpha \\quad \\text{ f\u00fcr } \\quad t \\to \\infty.  \\]   II. \\ Es sei \\(F(t)\\) in jedem endlichen Intervall \\((0, T)\\) und \\(e^{-st} \\cdot F(t)\\) f\u00fcr ein \\(s_0\\) (und damit f\u00fcr alle \\(s > s_0\\)) im Intervall \\((0, \\infty)\\) integrabel. Ist \\(\\mathfrak L (F) = f (s) \\sim Bs^{-\\beta}\\) f\u00fcr \\(s \\to \\infty\\) (\\(B\\) beliebig, \\(\\beta > 0\\)) und \\(F(t) \\geqq 0\\) f\u00fcr \\(t > 0\\), so gilt  \\[  \\int_0^t F(\\tau)\\, d\\tau \\sim \\frac{B}{\\varGamma(\\beta + 1)} \\cdot t^\\beta \\quad \\text{ f\u00fcr } \\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\u00fcr 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\u00fcr } \\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\u00fcr } 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\u00e4chst:  (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\u00fcr \\(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\u00fcr jedes \\(s > 0\\) im Intervall \\((0, \\infty)\\) integrabel. Ist  \\[  \\mathfrak L(\\varPhi) = \\varphi(s) \\sim As^{-(\\alpha+1)} \\quad \\text{ f\u00fcr } \\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\u00fcr } \\quad t > 0,  \\]  so ist:  \\[  \\varPhi(t) \\sim \\frac{A}{\\varGamma(\\alpha + 1)} \\cdot t^\\alpha \\quad \\text{ f\u00fcr } \\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\u00fcr \\(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\u00fcr ein \\(s = s_0\\) im Intervall \\((0, \\infty)\\) integrabel. Ist  \\[  \\mathfrak L(\\varPhi(t) - \\varPhi(0)) \\sim Bs^{-(\\beta+1)} \\quad \\text{ f\u00fcr } \\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\u00fcr } \\quad t > 0,  \\]  so gilt  \\[  \\varPhi(t) - \\varPhi(0) \\sim \\frac{B}{\\varGamma(\\beta + 1)} \\, t^\\beta \\quad \\text{ f\u00fcr } \\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\u00df III aus I und II folgt. Dies beruht darauf, da\u00df sich \\(\\mathfrak S_u(F)\\) aus \\(\\mathfrak L_s(F)\\) durch zweimalige Anwendung erzeugen l\u00e4\u00dft auf Grund der Identit\u00e4t:  \\[  \\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\u00fcr \\(u > u_0 \\geqq 0\\) differenzierbar ist, \\(\\varphi^\\prime(u)\\) bei wachsendem \\(u\\) nie abnimmt und f\u00fcr \\(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\u00fcr } u \\to \\infty.  \\]   B. \\ E sei \\(f(s) \\geqq 0\\) f\u00fcr \\(s > 0\\) und \\(f(s)\\) in jedem Intervall \\((s, \\infty)\\), \\(s^\\varkappa \\cdot f(s)\\) f\u00fcr 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\u00fcr } \\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\u00fcr } \\quad s \\to 0.  \\]   C. \\ Wenn \\(\\psi(s)\\) f\u00fcr \\(0 < s \\leqq s_0\\) differenzierbar ist, \\(s \\cdot \\psi^\\prime(s)\\) bei gegen 0 abnehmendem \\(s\\) nie zunimmt, und f\u00fcr \\(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\u00fcr } \\;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\u00fchrenden Verallgemeinerung eines Satzes von \\textit{Landau} (Rendiconti Palermo 26 (1908), 169-302; F. d. M. 39, 267 (JFM 39.0267.*)-268). (IV 3 C.).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1830892$0A28DE26-3C2E-49D0-9468-637ED1847FEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f09e7a95f31aa49f096713a4b38d6efada05825","datavalue":{"value":"2563784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1830892$E435E353-E9CD-44D0-B72A-4EF214E8E837","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2db1e0907ac8d2d5c5d472c0e13fd7a712afa04","datavalue":{"value":{"entity-type":"item","numeric-id":766719,"id":"Q766719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830892$BF65EEFD-CF7F-4DE6-A747-44ACACF0EEA7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1830892$A17742FF-6191-42E7-B89A-1C6E4DF70670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1830892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1830892"}}}}}