{"entities":{"Q563843":{"pageid":565610,"ns":120,"title":"Item:Q563843","lastrevid":42582240,"modified":"2025-07-04T09:10:29Z","type":"item","id":"Q563843","labels":{"en":{"language":"en","value":"Tauberian theorems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549650"}},"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":"Q563843$3C8249FB-17E6-47FD-9D3C-6FAE7D942A34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0a4ffbcc66c1d3c32012498006369ea489f70a8","datavalue":{"value":{"text":"Tauberian theorems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q563843$B74EBDDD-180D-477F-8589-8392BCD69D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d56a1f19289201505698bc3ecf2adfce0c930ce","datavalue":{"value":"58.0226.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563843$8C80519A-E4FB-407B-B64F-CDB955FDDFA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84c18160c48693603b0d62de93041e55999e0ad7","datavalue":{"value":"10.2307/1968102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563843$47525021-790F-41B2-A6EA-CD1C218F6EE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563843$3E8A2BB3-5483-451C-BE63-37ED2D96FF0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q563843$AF408922-5A57-4D49-8B93-1B2B34694D49","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"949454b7ce0ee28af598f98feff09ace40407398","datavalue":{"value":"Im Anschlu\u00df\\ an fr\u00fchere vorbereitende Arbeiten (1927, 1928; F. d. M. 53, 283 (JFM 53.0283.*); 54, 241) entwickelt Verf. eine gro\u00dfangelegte allgemeine Theorie der Um\\-kehrs\u00e4tze \\textit{Tauber}scher Art (Tauberian theorems) mittels harmonischer Analyse. Man wei\u00df, da\u00df\\ die tiefer gelegenen Umkehrs\u00e4tze, wie etwa der des \\textit{Abelschen} Verfahrens, zu ihrer urspr\u00fcnglichen Bew\u00e4ltigung schwierige spezielle analytische Methoden erforderten. \\textit{R. Schmidt} (1925; F. d. M. 51, 182 (JFM 51.0182.*), 184) gab als erster eine umfassendere Theorie, indem er den Zusammenhang aller dieser speziellen Fragen mit einem gewissen \\textit{Stieltjes}schen Momentenproblem erkannte und als gemeinsamen Aus\\-gangspunkt nutzbar machte. Dieze Methode versagt freilich bei dem wegen der \u00c4quivalenz (im speziellen Falle) mit dem Primzahlsatze besonders wichtigen Umkehrsatze des \\textit{``Abels}chen Verfahrens'' f\u00fcr \\textit{Lambert}-Reihen. Die Arbeit des Verf. zeigt nun die kraftvolle Rolle, welche die harmonische Analyse, genauer die \\textit{Fourier}sche Transformation, in diesem Problemkreise zu spielen vermag. Viele der \\textit{R. Schmidts}chen Gesichtspunkte werden jetzt erst voll auswertbar, und man erh\u00e4lt sehr allgemeine S\u00e4tze mit durchsichtigen Beweisen, die wohl alle bisher bekannten \\textit{Taubers}chen S\u00e4tze einschlie\u00dflich desjenigen f\u00fcr \\textit{Lambert}reihen leicht zug\u00e4nglich machen. Aber auch wo man, wie z. B. beim \\textit{Hardy-Littlewoods}chen Umkehrsatze des \\textit{Abels}chen Verfahrens (1914; F. d. M. {bf 45}, 389), heute einfache spezi\\-elle Beweisverfahren besitzt (\\textit{Karamata} 1930; F. d. M. {bf \\(56_I\\)}, 210), werden diese von dem neuen allgemeinen Standpunkte aus erst ins rechte Licht gesetzt. Die Arbeit ist in acht Kapitel gegliedert: Kap. I gibt die entscheidenden Grundlagen f\u00fcr die Theorie. Es handelt sich hier um die Klasse aller Translationen \\(f(x+\\lambda )\\), \\(\\lambda \\) reell, wobei \\(f(x)\\) eine f\u00fcr alle reellen \\(x\\) definierte reelle oder komplexe Funktion ist. Und zwar wird, je nachdem \\(f(x)\\) der \\textit{Lebesgues}chen Klasse \\(L_1\\) oder \\(L_2\\) angeh\u00f6rt, die Abgeschlossenheit jener Translationen im Funktionenraume \\(L_1\\) oder \\(L_2\\) untersucht. Ist nun \\[ g(u)=\\frac {1}{\\sqrt {2\\pi }}\\int \\limits _{-\\infty }^{\\infty }f(x)e^{iux}dx \\] die \\textit{fouriers}che Transformierte von \\(f(x)\\), so ist notwendig und hinreichend f\u00fcr die Abgeschlossenheit der Translationen von \\(f(x)\\), da\u00df\\^^M\\(g(u)\\) (im Falle \\(L_1\\)) keine reellen Nullstellen bzw. (im Falle \\(L_2\\)) solche h\u00f6chstens im Ma\u00dfe 0 besitzt. Im Hinblick auf \\textit{``Stieltjes- Mittelbildungen''} wird etwas Entsprechendes noch f\u00fcr einen geeignet definierten \\textit{``Stieltjes''}-Funktionenraum bewiesen. Kap. II liefert als unmittelbare Anwendungen asymptotische Eigenschaften von Mittelbildungen. Es sei \\(f(x)\\) eine beschr\u00e4nkte me\u00dfbare Funktion, w\u00e4hrend der Kern \\(K_1(x)\\) aus \\(L_1\\) sei. Dann ist das Nichtverschwinden (im Reellen) der \\textit{Fouriers}chen Transformierten von \\(K_1(x)\\) hinreichend daf\u00fcr. da\u00df\\^^Maus \\[ \\lim _{x\\to \\infty }\\int \\limits _{-\\infty }^{\\infty } f(\\xi )K_1(\\xi -x)d\\xi = A\\int \\limits _{-\\infty }^{\\infty } K_1(\\xi )d\\xi \\] f\u00fcr jeden Kern \\(K_2(x)\\) aus \\(L_1\\)auch \\[ \\lim _{x\\to \\infty } \\int \\limits _{-\\infty }^{\\infty } f(\\xi )K_2(\\xi -x)d\\xi = A \\int \\limits _{-\\infty }^{\\infty } K_2(\\xi )d\\xi \\] folgt. Wenn \\(\\int \\limits _{-\\infty }^{\\infty } K_1(\\xi )d\\xi \\neq 0\\) ist, ist dies auch notwendig. Es folgen entsprechende S\u00e4tze bei \\textit{Stieltjes}-Mittelbildungen, auch f\u00fcr den Fall nur einseitig beschr\u00e4nkter \\(f(x)\\). Kap. III bringt die allgemeinen S\u00e4tze \\textit{Taubers}cher Art, deren wichtigster der folgende ist: \\(f(x)\\) sei in?dem Intervall \\((-\\infty, A)\\) von beschr\u00e4nkter Schwankung,\\newline \\(f(-\\infty ) =0\\) und f\u00fcr alle \\(y\\) \\[ \\int \\limits _{y}^{y+1}| df(x)| -f(y+1)+f(y)\\leqq N. \\tag{*} \\] \\(M(x)\\) sei monoton fallend und stetig, \\(M(-\\infty )=1\\) und f\u00fcr ein \\(u>0\\) mit \\(x\\to \\infty \\) \\[ M(x)=O(e^{-ux}). \\] Schlie\u00dflich sei die durch \\[ \\varphi (x)=\\frac {1}{\\sqrt {2\\pi }} \\int \\limits _{-\\infty }^{\\infty } M(x)e^{xz}dx \\] in einem dewissen Streifen der rechten Halbebene definierte Funktion auf die imagin\u00e4re Achse (au\u00dfer \\(z=0\\)) analytisch fortsetzbar und dort von 0 verschieden. Ist dann \\[ \\int \\limits _{-\\infty }^{\\infty } M(\\xi -x)df(\\xi ) \\] beschr\u00e4nkt und \\[ \\lim _{x\\to \\infty } \\int \\limits _{-\\infty }^{\\infty } M(\\xi -x)df(\\xi )=B, \\] so gilt f\u00fcr jedes \\(\\varepsilon >0\\) \\[ \\lim _{x\\to \\infty } \\frac {1}{\\varepsilon } \\int \\limits _{x}^{x+\\varepsilon } f(\\xi )d\\xi =B. \\] Die Bedingung (*) entspricht den \\textit{Hardy-Littlewoods}chen Voraussetzungen beim \\textit{Abels}chen Umkehrsatz. Ersetzt man sie durch die \\textit{R. Schmidts}che Voraussetzung, da\u00df\\ \\(f(x)\\) ``schwach'' fallend sei, so kann auf \\[ \\lim _{x\\to \\infty } f(x)=B \\] geschlossen werden. In Kap. IV wird zun\u00e1chst auf dem Wege \u00fcber den aus den allgemeinen S\u00e4tzen folgenden \\textit{Taubers}chen Satz bei der \\textit{Lambert}-Reihe \\(\\sum \\limits _{1}^{\\infty }\\Lambda _n \\dfrac {x^n}{1-x^n}\\) ein neuer Beweis des Primzahlsatzes gegeben, bei dem von der \\textit{Riemanns}chen Funktion \\(\\zeta (s)\\) nur benutzt wird, da\u00df\\ sie f\u00fcr \\(\\sigma \\geqq 1\\) (mit Ausnahme des Poles erster Ordnung \\(s=1\\) mit dem Residuum 1) regul\u00e4r und \\(\\neq 0\\) ist (vgl. \\textit{Wiener} 1928; F. d. M. 54, 241 (JFM 54.0241.*)). Es folgt sodann ein Beweis der wichtigen Verallgemeinerung von \\textit{Ikehara} (1931; F. d. M. \\(57_{\\text{I}}\\), 212) des in diesem Zusammenhange bekannten \\textit{Landau}schen Grenzwertsatzes (1907; F. d. M. 38, 295 (JFM 38.0295.*)) bei \\textit{Dirichlets}chen Reihen. Kap. V bringt weitere Anwendungen, insbesondere auf asymptotische Entwicklungen, und die Untersuchungen von \\textit{Hardy-Littlewood} zum \\textit{Young}schen Kriterium bei \\textit{Fourier}reihen (1928; F. d. M. 54, 302 (JFM 54.0302.*); s. a. \\textit{Littauer}, 1929; F. d. M. \\(55_{\\text{II}}\\), 734). In engem Anschlu\u00df\\ an die ``gestrahlten Mittelbildungen'' von \\textit{R. Schmidt} werden in Kap. VI allgemeinere Kerne \\(K(x,\\xi )\\) bzw. \\(M(x,\\xi )\\) als bisher herangezogen und so weitere S\u00e4tze \\textit{Taubers}cher Art von \\textit{Hardy- Littlewood} und insbesondere der \\textit{R. Schmidts}che Umkehrsatz des \\textit{Borel}schen Verfahrens bewiesen. Kap. VII bringt einige S\u00e4tze mit Anwendungen, die Verf. als ``quasi-tauberian'' bezeichnet, weil die f\u00fcr die S\u00e4tze \\textit{Taubers}cher Art charakteristischen Beschr\u00e4nk\\-ungen f\u00fcr \\(f(x)\\) unn\u00f6tig sind. Es gilt z. B: \\(K_1(x)\\) sei stetig und beschr\u00e4nkt, \\[ K_1(x)\\sim A_1 e^{\\lambda x},\\quad A_1\\neq 0,\\quad \\lambda >0;\\quad \\int \\limits _{-\\infty }^{\\infty }| d(K_1(x) e^{-\\lambda x})|