{"entities":{"Q2595984":{"pageid":2606727,"ns":120,"title":"Item:Q2595984","lastrevid":44435388,"modified":"2025-11-22T22:09:53Z","type":"item","id":"Q2595984","labels":{"en":{"language":"en","value":"General Tauberian theorems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2515152"}},"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":"Q2595984$0C3260CD-B825-4A5A-B700-16F56B17D640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a49b36fa2ec6b6dadd86649a06a4105562f0f93b","datavalue":{"value":{"text":"General Tauberian theorems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595984$77C3D300-3E96-4AB8-9C19-433CEB29D67F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67000b19624a546049bce6fcb4f6c308f5e7ab6","datavalue":{"value":"64.0180.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595984$0C5F4871-B3CF-4A77-95E6-84B63A6BD259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a45906a8ec2789b36ed6a6f7eb39d285f829761e","datavalue":{"value":{"entity-type":"item","numeric-id":2580409,"id":"Q2580409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595984$971B0EE8-D546-49F4-ABBA-0CF7145D2839","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"569f7eee57c92af30f0779849471ff124ef80fbe","datavalue":{"value":{"entity-type":"item","numeric-id":563364,"id":"Q563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595984$26811E80-B2B9-4C52-8FD5-3D2BF82C9471","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2595984$78BBB2F1-77DA-4BE8-8892-B120A256E8C6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20b62697ddcc8dea92fe060a8b8514912e11ed13","datavalue":{"value":"Die Theorie der Tauberschen S\u00e4tze ist von \\textit{N. Wiener} mit Hilfe der Fourierintegrale systematisiert und sehr vereinfacht worden (J. Math. Phys., Massachusetts, 7 (1928), 161-184; F. d. M. 54, 241; Ann. Math., Princeton, 33 (1932), 1-100; JFM 58.0226.*; The Fourier integral and certain of its applications, 1933; JFM 59.0416.*). Wie fruchtbar die dabei entwickelten Methoden sind, zeigt die reiche Literatur, die sich daran angeschlossen hat, zeigt insbesondere auch die vorliegende Arbeit, welche die Wienerschen Ideen auf umfassendere Funktionenklassen anwendet und in allgemeinen S\u00e4tzen die Ergebnisse \u00fcber den angezeigten Gegenstand erweitert und vereinheitlicht. Es kann sich hier nicht darum handeln, die gef\u00f6rderten Resultate vollst\u00e4ndig aufzuf\u00fchren, doch sollen die haupts\u00e4chlichen Ergebnisse unter Hinweis auf die wichtigsten Anwendungen zusammengestellt werden.  Verf. sagt, die Funktion \\(s(x)\\) der reellen Ver\u00e4nderlichen \\(x\\) geh\u00f6re zur Klasse \\(T\\), symbolisch \\(s(x)\\in T\\), wenn \\(s(x)\\) me\u00dfbar ist und wenn f\u00fcr reelles \\(x\\) und positives \\(\\varepsilon\\) die Funktionen \\(\\mu = \\mu(\\varepsilon, x)\\), \\(\\delta = \\delta(\\varepsilon, x)\\), \\(\\theta = \\theta(\\varepsilon, x)\\) und \\(\\xi=\\xi(\\varepsilon, x)\\) so definiert werden k\u00f6nnen, da\u00df  (1) \\(\\mu(\\varepsilon, x)\\) f\u00fcr jeden Wert von \\(x\\) eine zunehmende Funktion von \\(\\varepsilon\\),  (2) \\(\\qquad 0\\leqq\\mu(\\varepsilon) = \\varlimsup\\limits_{x\\to0} \\mu(\\varepsilon, x)<1\\),  (3) \\(\\qquad \\delta(\\varepsilon) = \\varliminf\\limits_{x\\to\\infty} \\delta(\\varepsilon,x)>0\\),  (4) \\(\\qquad |\\xi-x|<\\delta\\),  (5) \\(\\qquad \\mathfrak R(e^{i\\theta}s(y))\\geqq(1-\\mu)|s(x)|-\\varepsilon\\) f\u00fcr \\(|\\xi-y|<\\delta\\)   \\noindent ist. Entsprechend wird gesagt, \\(s(x)\\in T'\\), wenn \\(\\mu\\), \\(\\delta\\), \\(\\theta\\) und \\(\\xi\\) so bestimmt werden k\u00f6nnen, da\u00df au\u00dfer (1), (4) und (5)  \\[  0\\leqq\\mu'(\\varepsilon)= \\underset{-\\infty<x<\\infty}{\\overline{\\operatorname{fin}}} \\mu(\\varepsilon, x) < 1 \\tag{2a}  \\]  und  \\[  \\delta'(\\varepsilon)= \\underset{-\\infty<x<\\infty}{\\underline{\\operatorname{fin}}} \\delta(\\varepsilon, x) >0 \\tag{3a}  \\]  gilt.  Im ersten Kapitel ``Funktionen, die Tauberschen Bedingungen gen\u00fcgen'', werden Bedingungen gewonnen und sp\u00e4ter als Taubersche Bedingungen bezeichnet, unter denen gegebene Funktionen zu einer der eben genannten oder zu einer andern, genau umschriebenen Funktionenklasse geh\u00f6ren. Insbesondere werden hier schon Bedingungen f\u00fcr \\(s(e^x)\\) genannt, welche die gew\u00f6hnlichen und die einseitigen Konvergenzbedingungen der klassischen Tauberschen S\u00e4tze von \\textit{Hardy} und \\textit{Littlewood} erweitern.  Das zweite Kapitel ''Allgemeine Taubersche S\u00e4tze'' handelt zuerst von den Fouriertransformationen der Funktionen, die Lebesgue-integrierbar \u00fcber \\((-\\infty,\\infty)\\) sind. Dann wird die in der vorliegenden Arbeit h\u00e4ufig verwendete stetige Funktion \\(\\varPhi(x, y)\\) eingef\u00fchrt, deren genaue Definition hier nicht wiederholt werden kann. Es wird gezeigt, da\u00df \\(\\varPhi(x,y)\\) f\u00fcr \\(0\\leqq x < 1\\) eine zunehmende Funktion von \\(y\\) und f\u00fcr \\(y > 0\\) eine abnehmende Funktion von \\(x\\) ist und da\u00df  \\[  \\lim\\limits_{y\\to\\infty} \\varPhi(x,y) = 1 - x\\quad \\text{sowie}\\quad \\varPhi(0, y) > 0\\quad \\text{f\u00fcr}\\quad y > \\tfrac12  \\]  ist. Mit Hilfe dieser Begriffe wird dann als allgemeinster bisher bekannter Tauberscher Satz bewiesen (Theorem 8):  (6) \\(k(x)\\) sei \\(L\\)-integrierbar \u00fcber \\((-\\infty,\\infty)\\),  (7) \\(\\qquad\\qquad K(it)=\\int\\limits_{-\\infty}^\\infty e^{-itx}k(x)dx\\neq0 \\quad \\text{f\u00fcr}\\quad |t|\\leqq\\dfrac{\\pi}{\\lambda}\\),  (8) \\(\\qquad\\qquad K(0)=1\\),  (9) \\(\\qquad\\qquad |s(x)|\\leqq C\\),  (10) \\(\\qquad\\qquad\\qquad g(x) = \\int\\limits_{-\\infty}^\\infty k(x-y)s(y)dy\\),  (11) \\(\\quad s(x)\\) geh\u00f6re zu \\(T\\) und f\u00fcr irgendein positives \\(\\varepsilon\\) sei  \\[  \\varPhi\\bigg(\\mu(\\varepsilon),\\dfrac{\\delta(\\varepsilon)}{\\lambda}\\bigg)>0.  \\]  F\u00fcr \\(S = \\varlimsup|s(x)|\\) und \\(G = \\varlimsup|g(x)|\\) gilt dann  \\[  S\\leqq\\dfrac{\\varepsilon+\\alpha(\\lambda)G}{\\varPhi \\bigg(\\mu(\\varepsilon),\\dfrac{\\delta(\\varepsilon)}{\\lambda}\\bigg)},  \\]  wo \\(\\alpha(\\lambda)\\) nur von \\(k(x)\\) und \\(\\lambda\\) abh\u00e4ngt und \\(\\lim\\limits_{\\lambda\\to\\infty}\\alpha(\\lambda) = 1\\) ist. Wenn weiter \\(s(x)\\) zu \\(T'\\) geh\u00f6rt und  \\[  \\varPhi\\bigg(\\mu'(\\varepsilon),\\dfrac{\\delta'(\\varepsilon)}{\\lambda}\\bigg)>0  \\]  ist, so gilt f\u00fcr \\(S' = \\overline{\\operatorname{fin}}\\;s(x)\\) und \\(G' = \\overline{\\operatorname{fin}}\\;g(x)\\)  \\[  S'\\leqq\\dfrac{\\varepsilon+\\alpha(\\lambda)G'}{\\varPhi \\bigg(\\mu'(\\varepsilon),\\dfrac{\\delta'(\\varepsilon)}{\\lambda}\\bigg)},  \\]   Durch Spezialisierung gewinnt Verf. hieraus den f\u00fcr die Anwendungen sehr geeigneten Satz (Theorem 9): Die Bedingungen (6), (8), (9) und (10) seien erf\u00fcllt und f\u00fcr jedes reelle \\(t\\) sei \\(K(it) \\neq 0\\); wenn \\(s(x) \\in T\\) und \\(C_1\\) eine positive Konstante ist, dann l\u00e4\u00dft sich eine andre, nur von \\(k(x)\\), \\(\\delta(\\varepsilon)\\), \\(\\mu(\\varepsilon)\\) und \\(C_1\\) abh\u00e4ngige Konstante \\(C_2\\) finden, so da\u00df  \\[  S\\leqq C_1+C_2G  \\]  ist; und f\u00fcr \\(s(x) \\in T'\\) gilt  \\[  S'\\leqq C_1+C_2G',  \\]  wo \\(C_2\\) nur von \\(k(x)\\), \\(\\delta'(\\varepsilon)\\), \\(\\mu'(\\varepsilon)\\) und \\(C_1\\) abh\u00e4ngt.  Sehr einfach folgen daraus die beiden S\u00e4tze, die \\textit{Wiener} (in Kap. 2 des eingangs zitierten Buches) als allgemeine Taubersche S\u00e4tze bezeichnet. Theorem A: \\(k_1(x)\\) und \\(k_2(x)\\) seien \\(L\\)-integrierbar \u00fcber \\((-\\infty,\\infty)\\), \\(K_1(it) \\neq 0\\) f\u00fcr reelles \\(t\\), \\(s(x)\\) sei beschr\u00e4nkt und  \\[  \\lim\\limits_{x\\to\\infty}\\int\\limits_{-\\infty}^\\infty k_1(x-y)s(y) dy = A \\int\\limits_{-\\infty}^\\infty k_1(x)dx. \\tag{12}  \\]  Dann gilt  \\[  \\lim\\limits_{x\\to\\infty}\\int\\limits_{-\\infty}^\\infty k_2(x-y)s(y) dy = A \\int\\limits_{-\\infty}^\\infty k_2(x)dx. \\tag{13}  \\]  Theorem B: Wenn \\(k_1(x)\\) und \\(k_2(x)\\) zu \\(M_1\\) geh\u00f6ren (\\(M_1\\) die Klasse der stetigen \\(L\\)-integrierbaren Funktionen, f\u00fcr die  \\[  \\sum\\limits_{n=-\\infty}^\\infty \\underset{n\\leqq x<n+1}{\\operatorname{Max}} | f(x)| < \\infty  \\]  ist), wenn \\(K_1(it) \\neq 0\\) f\u00fcr reelles \\(t\\) ist, wenn \\(s(x)\\) in jedem endlichen Intervall von beschr\u00e4nkter Schwankung ist und wenn f\u00fcr jedes \\(X\\)  \\[  \\int\\limits_{X}^{X+1}|ds(x)| \\leqq C  \\]  gilt, so folgt aus (12) wiederum (13).  Das dritte Kapitel ``approximate kernels'' geht von der Tatsache aus, da\u00df bei vielen Tauberschen S\u00e4tzen der Kern der Transformation nicht eine Funktion von \\(x - y\\) ist, sich aber wie eine solche Funktion verh\u00e4lt. Dies f\u00fchrt zu der Begriffsbestimmung, \\(\\varkappa(x, x - y)\\) approximiere \\(k(y)\\) im Intervall \\(\\sigma_1\\leqq\\sigma\\leqq\\sigma_2\\), wenn \\(\\varkappa(x,x - y) e^{-\\sigma y}\\) und \\(k(y) e^{-\\sigma y}\\) f\u00fcr \\(\\sigma_1\\leqq\\sigma\\leqq\\sigma_2\\) \\(L\\)-integrierbar \u00fcber \\((-\\infty, \\infty)\\) sind,  \\[  \\eta(x)= \\underset{\\sigma_1\\leqq\\sigma\\leqq\\sigma_2} {\\overline{\\operatorname{fin}}} \\int\\limits_{-\\infty}^\\infty|\\varkappa(x,x-y)-k(y)|e^{-\\sigma y}dy  \\]  beschr\u00e4nkt und \\(\\lim\\limits_{x\\to\\infty}\\eta(x) = 0\\) ist. Entsprechend zu Theorem 8 wird ein allgemeiner Tauberscher Satz f\u00fcr solche ``approximate kernels'' bewiesen.  Das vierte Kapitel, ``Spezielle Taubersche S\u00e4tze'', bringt Umkehrs\u00e4tze f\u00fcr das Abelsche, Borelsche und Hausdorffsche Verfahren. Der Satz f\u00fcr das Abelsche Verfahren enth\u00e4lt den klassischen Tauberschen und den Littlewoodschen Satz, einen k\u00fcrzlich von \\textit{Ramaswami} ver\u00f6ffentlichten Tauberschen Satz f\u00fcr Oszillationen (J. London math. Soc. 10 (1935), 294-308; JFM 61.0219.*) und das \\textit{Hardy-Littlewood}sche ``highindices theorem'' in der \\textit{Ingham}schen Fassung (Quart. J. Math. (Oxford series) 8 (1937), 367-379; JFM 63.0173.*). Wegen der neuen Tauberschen S\u00e4tze f\u00fcr das Hausdorffsche Verfahren (Math. Z. 9 (1921), 74-109) und f\u00fcr die durch die Formel  \\[  \\lim\\limits_{x\\to\\infty}\\int\\limits_0^\\infty e^{-t}dt \\int\\limits_0^\\infty \\dfrac{t^uds(u)}{\\varGamma(1+u)}= A  \\]  charakterisierte Erweiterung des Borelschen Verfahrens mu\u00df auf die Originalarbeit verwiesen werden. (IV 8 B.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595984$E872BEE7-EE55-4FFF-A4AF-874A26DEB4C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7d34e2798c079847fef1ff91db6daafc5d3925e","datavalue":{"value":"2515152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595984$139D968F-AED1-4D16-804E-C7A4BE9D7049","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":"Q2595984$54C90427-E0D6-49E0-A4CA-32F742A99228","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c620cefe249a8df7d76574af9e489e296263fb2","datavalue":{"value":"https://doi.org/10.1112/plms/s2-44.4.243","type":"string"},"datatype":"url"},"type":"statement","id":"Q2595984$6DE78902-36D7-4892-9163-65F5137FB404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77e94b9e8a3467047b2b2e87b54bd31bfaa58264","datavalue":{"value":"W1980422597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595984$A15DE1EE-F0CF-4622-8B8D-B14D2C6609C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d0b05b59f65616496b47db4e221b8f23df9c8c6","datavalue":{"value":"10.1112/PLMS/S2-44.4.243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595984$1349E05A-CF6E-4241-936D-DFBDE47E43EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595984"}}}}}