{"entities":{"Q2607285":{"pageid":2618028,"ns":120,"title":"Item:Q2607285","lastrevid":44468190,"modified":"2025-11-23T04:07:14Z","type":"item","id":"Q2607285","labels":{"en":{"language":"en","value":"An inequality of the H\u00f6lder type, connected with Stieltjes integration."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2525859"}},"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":"Q2607285$3F2CDBED-8422-4EBC-93DE-6B61E78AC029","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f64b5c47e0a932c8a1ad8b16f1520b2366f78aec","datavalue":{"value":{"text":"An inequality of the H\u00f6lder type, connected with Stieltjes integration.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2607285$4475784E-2217-4D13-AA27-4EEADEF2BE3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"720c54f0644e0265d7545c1432851e1c2732dff7","datavalue":{"value":"62.0250.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2607285$DDE2335A-2C76-4A68-8AC8-F756F4F225BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"007ef8a06547347f09024b8832b89edb768f85c8","datavalue":{"value":"10.1007/BF02401743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2607285$8E392820-A02C-4A7B-83D2-C7855EE34238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2607285$B7BA6969-F6CE-483F-9999-593E8C0A2AEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4fd24e618322be35613a64fc5f86a90753a27b1","datavalue":{"value":{"time":"+1936-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":"Q2607285$57CAFEA8-2919-48B9-81BB-9EE4A3F569A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"802b86cc6232cd2a1d4ef35066e3e88b7a572112","datavalue":{"value":"Den Ausgangspunkt bildet die Bemerkung, da\u00df es bei gegebenen komplexen Zahlen \\(a_1,\\ldots,a_n, \\;b_1,\\ldots,b_n\\) und \\(p > 0, q > 0\\) stets einen Index \\(k\\) gibt, so da\u00df  \\[  |a_kb_k|\\leqq \\biggl[\\dfrac1n\\sum|a_i|^p\\biggr]^{\\tfrac1p} \\biggl[\\dfrac1n\\sum|b_i|^q\\biggr]^{\\tfrac1q}  \\]  ist. Hierauf wird ein Beweis der \\textit{H\u00f6lder}schen sowie der folgenden Ungleichung gegr\u00fcndet: Es sei \\(S_{p,q} (a, b)\\) der gr\u00f6\u00dfte Wert des Produkts  \\[  \\biggl(\\sum_{k=1}^m |x_k|^p\\biggr)^{\\tfrac1p} \\biggl(\\sum_{k=1}^m |y_k|^q\\biggr)^{\\tfrac1q},  \\]  wo \\(x_1,\\ldots, x_m\\) und \\(y_1,\\ldots, y_m\\) aus den Folgen \\(a_1,\\ldots, a_n\\) und \\(b_1,\\ldots, b_n\\) hervorgehen, indem man einzelne der Kommata durch das Pluszeichen (und zwar bei beiden Folgen an denselben Stellen) ersetzt. Dann ist f\u00fcr \\(p > 0, q > 0, \\dfrac1p+\\dfrac1q> 1\\)  \\[  |\\underset{0<r\\leqq s\\leqq n}{\\sum\\sum} a_rb_s| \\leqq \\biggl\\{1+\\zeta\\biggl(\\dfrac1p+\\dfrac1q\\biggr)\\biggr\\}\\cdot S_{p,q}(a,b).  \\]  Diese Ungleichung wird verwendet, um Ungleichungen \u00fcber Summen herzuleiten, deren Glieder aus den Werten zweier Funktionen \\(f (x), g (x)\\) in Teilpunkten des Definitionsintervalls gebildet sind.  Nach \\textit{N. Wiener} wird in Verallgemeinerung des bekannten Begriffs der Variation das Schwankungsmittel \\(p\\)-ter Ordnung einer Funktion \\(f (x)\\) durch  \\[  V_p (f) =\\overline{\\text{fin}} [\\sum_\\nu|f(x_\\nu) -f(x_{\\nu-1})|^p]^{\\tfrac1p}  \\]  eingef\u00fchrt; dabei sind die \\(x_\\nu\\) beliebig gew\u00e4hlte Teilpunkte des Intervalls \\(a, b\\). Hat \\(V_p(f)\\) einen endlichen Wert, so wird \\(f\\) zur \\textit{Wiener}schen Klasse \\(W_p\\) gerechnet. Diese Klasse ist von Bedeutung f\u00fcr die Theorie der \\textit{Stieltjes}-Integrale und \\textit{Fourier}-Reihen. Wird  \\[  \\int\\limits_a^b f(x)dg(x)  \\]  ein \\textit{Stieltjes}-Integral im \\textit{Riemann}schen Sinne mit dem Wert \\(I\\) genannt, wenn es zu jedem \\(\\varepsilon > 0\\) ein \\(\\delta > 0\\) gibt, so da\u00df  \\[  \\biggl|\\sum_{\\nu=1}^n f(\\xi_\\nu)[g(x_\\nu)-g(x_{\\nu-1})]-I\\biggr|<\\varepsilon  \\]  f\u00fcr alle Einteilungen \\(a = x_0 \\leqq \\xi_1\\leqq x_1\\leqq \\cdots \\leqq \\xi_n\\leqq x_n=b\\) mit \\(|x_\\nu-x_{\\nu-1}|<\\delta\\) ist, so gilt der Existenzsatz: Das Integral existiert sicher, wenn \\(f (x)\\) zur Klasse \\(W_p, g (x)\\) zur Klasse \\(W_q\\) geh\u00f6rt, \\(p > 0, q > 0,\\dfrac1p+\\dfrac1q > 1\\) ist und \\(f, g\\) keine gemeinsamen Unstetigkeitsstellen haben. -- Der Klasse \\(W_p\\) wird eine Klasse \\(W_p^*\\) zur Seite gestellt, die zu einem entsprechenden Existenzsatz f\u00fcr \\textit{Stieltjes}-Integrale im Sinne von \\textit{Moore-Pollard} f\u00fchrt.  Unter einer \\(W_p\\)-Folge \\(\\{f_n (x)\\}\\) im Intervall \\(\\langle a, b \\rangle\\) wird eine Folge von Funktionen \\(f_1(x), f_2(x), \\ldots\\) verstanden, f\u00fcr die \\(f_n(a)\\) und \\(V_p(f_n)\\) beschr\u00e4nkte Funktionen von \\(n\\) sind. Eine solche Folge hei\u00dft dicht konvergent (densely convergent) in \\(\\langle a, b\\rangle\\) mit der Limesfunktion \\(f (x)\\), wenn \\(f_n(x)\\) f\u00fcr jeden Punkt einer in \\(\\langle a, b\\rangle\\) \u00fcberall dichten Menge gegen \\(f (x)\\) konvergiert. Man kann dann \\(f (x)\\) in den nicht zu dieser dichten Menge geh\u00f6renden Punkten so definieren, da\u00df die Funktion der Klasse \\(W_p\\) angeh\u00f6rt.  Satz \u00fcber gliedweise Integration: Es sei \\(\\{f_n\\}\\) eine \\(W_p\\)-Folge, die in \\(\\langle a, b\\rangle \\) dicht konvergiert gegen eine Funktion \\(f(x)\\) der Klasse \\(W_p\\) und gleichm\u00e4\u00dfig in der Menge \\(A\\) konvergiert. Es sei weiter \\(\\{g_n\\}\\) eine \\(W_q\\)-Folge, die in \\(\\langle a, b\\rangle\\) dicht (und auch in den Endpunkten selber) gegen eine Funktion \\(g(x)\\) der Klasse \\(W_q\\) konvergiert und gleichm\u00e4\u00dfig in der Menge \\(B\\) konvergiert. Es enthalte schlie\u00dflich \\(B\\) die Unstetigkeitspunkte von \\(f\\) und \\(A\\) diejenigen von \\(g\\), und es sei \\(A + B = \\langle a, b\\rangle\\), \\(p > 0\\), \\(q > 0\\), \\(\\dfrac1p + \\dfrac1q > 1\\). Dann ist  \\[  \\lim_{n\\to\\infty}\\int_a^b f_ndg_n = \\int_a^b fdg.  \\]   Es folgen S\u00e4tze \u00fcber \\textit{Fourier}reihen, zun\u00e4chst einer \u00fcber das Schwankungsmittel von \\textit{Fourier}kernen. Weiter: Geh\u00f6rt \\(f(x)\\) zur Klasse \\(W_p\\) und hat \\(f\\) die Periode \\(2\\pi\\), so sind die \\textit{Fourier}koeffizienten \\(O\\bigg(n^{-\\tfrac1p+\\varepsilon}\\bigg)\\), die \\textit{Fourier}reihe und ihre \\textit{Ces\u00e0ro}schen Mittel der Ordnung \\(>-\\dfrac1p\\) konvergieren an jeder Stelle \\(x\\) gegen  \\[  \\tfrac12\\big(f(x + 0) + f(x-0)\\big),  \\]  an jeder Stetigkeitsstelle ist die Konvergenz gleichm\u00e4\u00dfig. Geh\u00f6ren die reellen Funktionen \\(f(x)\\), \\(g(x)\\) mit der Periode \\(2\\pi\\) den Klassen \\(W_p\\), \\(W_q\\) mit \\(p > 0\\), \\(q > 0\\), \\(\\dfrac1p+\\dfrac1q> 1\\) an und haben die Funktionen die \\textit{Fourier}-Koeffizienten \\(a_n\\), \\(b_n\\) und \\(a_n'\\), \\(b_n'\\), so konvergiert \\(\\sum\\pi n(a_nb_n'- a_n'b_n)\\), und zwar gegen  \\[  \\int\\limits_{-\\pi}^{\\pi} f(x)dg(x),  \\]  wenn \\(f\\) und \\(g\\) keine gemeinsamen Unstetigkeitsstellen haben (Satz von \\textit{Parseval}). F\u00fcr mancherlei Verallgemeinerungen sei auf die Arbeit selber verwiesen. (IV 1, 3 D.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2607285$00A57C22-01FD-4E53-ADD0-DC7BDDA4D01F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf29056291879ad94c85324569204b28ffef21c9","datavalue":{"value":"2525859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2607285$13E4710D-C582-4BED-BF62-3C5599E8748D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3d1aa182462706679a3fe88a9f79364d98da2e20","datavalue":{"value":"Q56226991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2607285$4DAAC1A1-4EC7-4E37-8AD6-B0747AEDB2E5","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":"Q2607285$862C9F18-83DF-4AC8-9F68-5869588D0D53","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":"Q2607285$0DCE4DF6-5077-4F66-9643-00E26FCDA604","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a6d5a0619b00c5b4e8dcc3223fc096920da977","datavalue":{"value":{"entity-type":"item","numeric-id":4759809,"id":"Q4759809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2607285$A23C2767-0977-4253-95AD-103CD73983EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797dae96573db7377d3e6afa3cb8eb2c69ce651","datavalue":{"value":{"entity-type":"item","numeric-id":4759454,"id":"Q4759454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2607285$B3FD4514-765F-45A5-AA80-9321EDC3C2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba3c481977ce8f08f8c19779549d223ad8cf66c","datavalue":{"value":{"entity-type":"item","numeric-id":4760429,"id":"Q4760429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2607285$CEA3340A-E6DA-45E7-A556-FA8225325488","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2607285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2607285"}}}}}