{"entities":{"Q2596037":{"pageid":2606780,"ns":120,"title":"Item:Q2596037","lastrevid":44435532,"modified":"2025-11-22T22:11:13Z","type":"item","id":"Q2596037","labels":{"en":{"language":"en","value":"General inequalities for Stieltjes integrals and the convergence of Fourier series."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2515207"}},"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":"Q2596037$A7DA8F38-6BFD-4382-BB1C-1337A21463C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8385c660e182054b2c0176d722fe4078ce8a4765","datavalue":{"value":{"text":"General inequalities for Stieltjes integrals and the convergence of Fourier series.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2596037$C9FA1D71-6580-4CCD-9F23-5B252122E4CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffd801963a72bcb77f53424d092ddba91546d06c","datavalue":{"value":"64.0198.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596037$4AEA6856-FEE7-4CFD-A4DD-4C00A690F73C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350550e8fefeb2cbe8329973118126859e55a8ba","datavalue":{"value":"10.1007/BF01448958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596037$EEA70D16-865D-4B8B-AE32-D0A9D1339AF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596037$292262EE-AF6D-4691-9E0E-055A8F41051D","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":"Q2596037$FB923A47-A32C-46F0-9F5D-580969A83647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e26d91bbaabe44170d52b86d3c875b397ef0a266","datavalue":{"value":"https://eudml.org/doc/159981","type":"string"},"datatype":"url"},"type":"statement","id":"Q2596037$7132FDDD-C7F2-475D-BB7F-A9E6FF444EBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f42f8ddea6ba0082b1e3574ecd96ced10e42dd0","datavalue":{"value":"Ersetzt man in der \\textit{N. Wiener}schen Definition der totalen Variation \\(p\\)-ter Ordnung (vgl. \\textit{L. C. Young}, Acta math., Uppsala, 67 (1936), 251-282; JFM 62.0250.*) \\(u^p\\) durch eine beliebige, in \\(0\\leqq u<+\\infty \\) von Null bis \\(+\\infty \\) stetig wachsende Funktion \\(\\varPhi (u)\\), so erh\u00e4lt man die totale \\(\\varPhi \\)-Variation. Notwendig und hinreichend daf\u00fcr, da\u00df die totale \\(\\varPhi \\)- Variation von \\(f(x)\\) auf \\([x', x'']\\) kleiner als \\(P\\) sei, ist die Existenz einer nicht-fallenden Funktion \\(\\omega (x)\\), so da\u00df \\(|\\,\\varDelta f\\,|\\leqq \\varPhi ^{-1}(\\varDelta \\omega )\\), d. h.  \\[ |\\,f(x+\\varDelta x)-f(x)\\,|\\leqq \\varPhi ^{-1}\\,\\bigl(\\omega (x+\\varDelta x)-\\omega (x)\\bigr), \\]  und \\(\\omega (x'')-\\omega (x')<P\\). In \u00e4hnlicher Weise wird erkl\u00e4rt, wann eine Funktion \\(F(x, y)\\) von zwei Ver\u00e4nderlichen beschr\u00e4nkte totale \\(\\varPhi \\)- und \\(\\varPsi \\)-Bivariation besitzt. Es wird allgemein das Bestehen von Ungleichungen der Form  \\[ |\\,\\varDelta f\\,|\\leqq \\lambda (\\varDelta \\omega ),\\;\\;\\text{und}\\;\\;|\\,\\varDelta _x\\varDelta _yF\\,|\\leqq \\lambda (\\varDelta _x\\omega )\\cdot \\mu (\\varDelta _y\\chi) \\]  bei zwei Ver\u00e4nderlichen, untersucht, wobei \\(\\lambda (u)\\), \\(\\mu (u)\\) in \\(u\\geqq 0\\) steigende Funktionen sind mit \\(\\lambda \\to 0\\), \\(\\mu \\to 0\\) f\u00fcr \\(u\\to 0\\); es zeigt sich, da\u00df dann die einseitigen Grenzwerte von \\(f(x)\\) und von \\(F(x, y)-F (x, b) - F(a, y)\\) existieren.  Es seien \\([\\alpha _r, \\beta _r]\\) endlichviele (nicht notwendig fremde) Intervalle; in jedem dieser Intervalle seien \\(f(x)\\) und \\(g(x)\\) erkl\u00e4rt, und zwar \\(f(x)\\) als Treppenfunktionen und \\(g(x)\\) so, da\u00df die einseitigen Grenzwerte existieren, und es gelte \\(|\\,\\varDelta f\\,|\\leqq \\lambda (\\varDelta \\omega )\\), \\(|\\,\\varDelta g\\,|\\leqq \\mu (\\varDelta \\chi)\\). W\u00e4hlt man \\(\\gamma _r\\) mit \\(\\alpha _r\\leqq \\gamma _r\\leqq \\beta _r\\) und setzt  \\[ A=\\textstyle \\sum\\limits_{r}\\bigl(\\omega (\\beta _r)-\\omega (\\alpha _r)\\bigr),\\;\\;\\;B=\\sum\\limits_{r}\\bigl(\\chi(\\beta _r)-\\chi(\\alpha _r)\\bigr), \\]  so besteht die Ungleichung  \\[ \\textstyle \\sum\\limits_{r}\\Biggl|\\,\\textstyle \\int\\limits_{\\alpha _r}^{\\beta _r}\\bigl(f(x)-f(\\gamma _r)\\bigr)\\,dg(x)\\,\\Biggr|\\leqq K\\cdot \\sum\\limits_{n=1}^{\\infty }\\lambda \\biggl(\\dfrac{A}{n}\\biggr)\\,\\mu \\biggl(\\dfrac{B}{n}\\biggr) \\]  mit einer absoluten Konstanten \\(K\\); das Stieltjes-Integral ist in einem dem Moore-Pollardschen verwandten Sinne zu nehmen. Diese Ungleichung wird in gewisser Weise versch\u00e4rft f\u00fcr den Fall, da\u00df \\(\\lambda \\) \u00fcberdies stetig und konkav ist. Eine analoge Ungleichung wird auch f\u00fcr zwei Ver\u00e4nderliche bewiesen; das hierbei auftretende Integral ist ein Stieltjes-Doppelintegral im Fr\u00e9chetschen Sinne.  In Anwendung dieser Ungleichungen werden die Resultate der oben angef\u00fchrten Arbeit verallgemeinert: Beschr\u00e4nkte \\(\\varPhi \\)- bzw. \\(\\varPsi \\)-Variation der Funktion \\(f\\) bzw. \\(g\\) in \\([x', x'']\\) ist, falls \\(\\sum\\limits_{n=1}^{\\infty }\\varPhi ^{-1}\\biggl(\\dfrac{1}{n}\\biggr)\\,\\varPsi ^{-1}\\biggl(\\dfrac{1}{n}\\biggr)\\) endlich, hinreichend f\u00fcr die Existenz von \\(\\int\\limits_{x'}^{x''}fdg\\). Unter den gleichen Voraussetzungen gilt ein Satz \u00fcber gleichm\u00e4\u00dfige Ann\u00e4herung von \\(\\int fdg\\) durch endliche Summen; ferner ist hinreichend f\u00fcr die Existenz von \\(\\int fdg\\) (I) im Riemannschen Sinne, da\u00df \\(f\\) und \\(g\\) keine gemeinsamen Unstetigkeitsstellen haben, (II) im Moore-Pollardschen Sinne, da\u00df \\(f\\) und \\(g\\) keine gemeinsamen einseitigen Unstetigkeitsstellen besitzen. Auch der in genannter Arbeit bewiesene Satz \u00fcber gliedweise Integration wird verallgemeinert. Durch Hinzunahme der Konvexit\u00e4t von \\(\\varPhi \\) erfahren diese S\u00e4tze gewisse Modifikationen. F\u00fcr Fr\u00e9chetsche Stieltjes-Doppelintegrale wird Analoges \u00fcber Existenz, Approximation und gliedweise Integration ausgesagt.  F\u00fcr Fourierreihen ergibt sich:  (I) Ist \\(f(x)\\) von beschr\u00e4nkter \\(\\varPhi \\)-Variation mit \\(\\varPhi (u)=\\exp\\,(-u^{-\\alpha })\\) f\u00fcr hinreichend kleine \\(u\\), so konvergiert die Fourierreihe von \\(f(x)\\) gegen \\(\\frac{1}{2}\\;\\{f(x+0)+f(x-0)\\}\\) sofern \\(\\alpha <\\frac{1}{2}\\).  (II) Hat \\(f_i\\) die Periode \\(2\\pi \\), die Fourierkoeffizienten \\(a_n^{(i)}\\), \\(b_n^{(i)}\\) und beschr\u00e4nkte \\(\\varPhi _i\\)-Variation, \\(i=1\\), 2, und gibt es steigende Funktionen \\(\\varrho _i(u)\\), \\(i = 1\\), 2, mit \\(\\varrho _1\\,(u)\\,\\varrho _2\\,(u)=u\\), so da\u00df \\(\\sum\\limits_{n=1}^{\\infty }\\varrho _i\\,\\bigl(n^{-1}\\,(\\log\\,n)^{1+\\varepsilon}\\bigr) \\,\\varPhi _i^{-1}\\biggl(\\dfrac{1}{n}\\biggr)\\) endlich ist, \\(i=1\\), 2, so konvergiert  \\[ \\textstyle \\sum\\limits_{n=1}^{\\infty }\\pi n\\, \\displaystyle \\begin{vmatrix}\\,&\\\\ a_n^{(1)}&b_n^{(1)}\\\\ a_n^{(2)}&b_n^{(2)}\\end{vmatrix}\\;\\;\\text{gegen}\\textstyle \\int\\limits_{-\\pi }^{+\\pi }\\kern-2pt\\frac{1}{2}\\,\\{f_1(x+0)+f_1(x-0)\\}\\,df_2(x). \\]  (IV 3 D.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2596037$9653466C-33DF-48ED-A076-864285645F49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"298d4c5676cba40ea44a12a792236bbda7263a6f","datavalue":{"value":"2515207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2596037$287275E9-9050-4E26-9E9B-046CF1D5D077","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ac638d3e855e3c3207be4377ff2c3e07fdb877c","datavalue":{"value":{"entity-type":"item","numeric-id":1440769,"id":"Q1440769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2596037$7B02F8E1-B402-49C4-BB9D-07D2EFA10F89","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":"Q2596037$57AD442D-C76B-46B1-884A-CF20B5AAA351","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2596037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2596037"}}}}}