{"entities":{"Q2602286":{"pageid":2613029,"ns":120,"title":"Item:Q2602286","lastrevid":44458572,"modified":"2025-11-23T02:35:05Z","type":"item","id":"Q2602286","labels":{"en":{"language":"en","value":"Mean values of trigonometrical polynomials."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2520467"}},"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":"Q2602286$83B2FCA4-DF69-499F-B8AA-1A7CFD60E7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7045ebdf3d65815cec36bbe03f2bd9bff2d4884f","datavalue":{"value":{"text":"Mean values of trigonometrical polynomials.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2602286$12D19A1F-2B66-4ECB-9849-B1E91B31DB4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f3b0fae4f0d7b7c2431b864623694505c28d638","datavalue":{"value":"63.0221.03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2602286$7C67ACEF-A292-4FBC-B133-345F907CA0F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b0f1ff5b4b812f18963ba5b8abdbbb6ca7ff67","datavalue":{"value":{"entity-type":"item","numeric-id":767218,"id":"Q767218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2602286$E01F86A7-09B1-45A9-89AC-B6598AB8BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd6c6da5a607c27713be470f4d51a351f6f3d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":6482460,"id":"Q6482460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2602286$FF0A3870-5149-4170-87D5-09C3F6EC3E0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2602286$B825AAC4-9630-4E2E-BD9F-AAA852489894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-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":"Q2602286$091B7ECD-DF64-4B77-BC96-44BE8F866C15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"925d9099782dd7e34118200e98e3692eb6b16a62","datavalue":{"value":"https://eudml.org/doc/212895","type":"string"},"datatype":"url"},"type":"statement","id":"Q2602286$88B0F185-58AD-4540-B781-50822109A543","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e0be51345da08335844ae0852b848ca3cb5a9772","datavalue":{"value":"I. In einem ersten Kapitel werden verschiedene Ungleichungen zwischen Mittelwerten trigonometrischer Polynome  \\[  S(x) = \\frac{1}{2}a_0 + \\sum\\limits_{k=1}^n (a_k\\,\\cos\\, kx + b_k\\,\\sin\\, kx)  \\]  und ihrer konjugierten Polynome  \\[  \\overline{S}(x) = \\sum\\limits_{k=1}^n (a_k\\,\\sin\\, kx - b_k\\,\\cos\\, kx)  \\]  bewiesen. Ist \\(x_0 < x_1 <\\cdots < x_{2n}\\) ein System von \\(2n + 1\\) Punkten, die (mod \\(2\\pi\\)) gleichm\u00e4\u00dfig \u00fcber das Intervall \\(\\langle0, 2\\pi)\\) verteilt sind -- man kann ohne Einschr\u00e4nkung \\(x_\\nu = \\nu\\dfrac{2\\pi}{2n+1}\\) \\((\\nu = 0, 1,\\ldots, 2n)\\) setzen, was im folgenden geschieht -- so gilt f\u00fcr jedes \\(S(x)\\) die bekannte Beziehung  \\[  \\dfrac{1}{2\\pi}\\int\\limits_0^{2\\pi}|S(x)|^2 dx =\\dfrac{1}{2n+1}\\sum\\limits_{\\nu =0}^{2n}|S(x_\\nu)|^2, \\tag{1}  \\]  die sich bei Verwendung der Treppenfunktion  \\[  \\varphi_\\mu (x) = j\\dfrac{2\\pi}{\\mu} \\;\\text{ f\u00fcr } \\;j\\dfrac{2\\pi}{\\mu}\\leqq x < (j+1)\\dfrac{2\\pi}{\\mu} \\qquad (j=0,\\pm 1,\\pm 2,\\ldots)  \\]  (\\(\\mu > 0\\), ganz) in die Form  \\[ \\int\\limits_0^{2\\pi}|S(x)|^2 dx = \\int\\limits_0^{2\\pi}|S(x)|^2 d\\varphi_{2n+1}(x) \\tag{2}  \\]  setzen l\u00e4\u00dft. Diese Beziehung wird auf Exponenten \\(\\neq 2\\) und die konjugierten Polynome erweitert:  1) Es gilt f\u00fcr eine absolute Konstante \\(A\\)  \\[  \\left\\{\\int\\limits_0^{2\\pi}|S|^p\\, d\\varphi_{2n+1}\\right\\}^\\tfrac{1}{p}\\leqq A \\left\\{\\int\\limits_0^{2\\pi}|S|^p\\, dx\\right\\}^\\tfrac{1}{p} \\qquad (1\\leqq p\\leqq\\infty) \\tag{3}  \\]  und f\u00fcr eine nur von \\(p\\) abh\u00e4ngige Konstante \\(B_p\\)  \\[  \\left\\{\\int\\limits_0^{2\\pi}|S|^p\\, dx\\right\\}^\\tfrac{1}{p}\\leqq B_p\\left\\{\\int\\limits_0^{2\\pi}|S|^p\\, d\\varphi_{2n+1}\\right\\}^\\tfrac{1}{p} \\qquad (1<p<\\infty). \\tag{4}  \\]  (Vgl. \\textit{J. Marcinkiewicz}, Acta Litt. Sci. Univ., Szeged, Sect. Sci. math. 8 (1937), 127-130; JFM 63.0233.*) Ungleichung (4) wird f\u00fcr \\(p=1\\) und \\(p=\\infty\\) falsch. -- F\u00fcr \\(1 < p < \\infty\\) kann \\(S\\) in den linken Seiten von (3) und (4) durch \\(\\overline{S}\\) ersetzt werden, wenn \\(A\\) und \\(B_p\\) durch passende, nur von \\(p\\) abh\u00e4ngige Konstanten \\(\\overline{A}_p, \\overline{B}_p\\) ersetzt werden. -- F\u00fcr die Konstanten \\(A, B_p, \\overline{A}_p, \\overline{B}_p\\) werden Absch\u00e4tzungen angegeben.  2) Als Grenzf\u00e4lle von (4) k\u00f6nnen die folgenden Beziehungen angesehen werden: (a) Ist  \\[ \\max\\limits_\\nu \\left|S\\left(\\dfrac{2\\pi\\nu}{2n+1}\\right)\\right|\\leqq 1,  \\]  so gibt es eine absolute Konstante \\(\\lambda_0\\) derart, da\u00df f\u00fcr jedes \\(\\lambda\\) aus \\(\\langle 0, \\lambda_0)\\) mit einem nur von \\(\\lambda\\) abh\u00e4ngigen \\(\\mu_\\lambda\\)  \\[  \\int\\limits_0^{2\\pi}\\text{exp }\\lambda |S|\\, dx\\leqq\\mu_\\lambda \\tag{5}  \\]  gilt. (b) Mit zwei absoluten Konstanten \\(A\\) und \\(B\\) gilt  \\[  \\int\\limits_0^{2\\pi}|S|\\, dx\\leqq A\\int\\limits_0^{2\\pi} |S|\\, \\overset{+}{\\log} |S|\\, d\\varphi_{2n+1} + B. \\tag{6}  \\]  (c) F\u00fcr jedes \\(\\mu\\) aus \\((0,1)\\) gilt  \\[  \\int\\limits_0^{2\\pi}|S|^\\mu\\, dx\\leqq K_\\mu\\left\\{\\int\\limits_0^{2\\pi} |S|\\, d\\varphi_{2n+1}\\right\\}^\\mu, \\tag{7}  \\]  wo \\(K_\\mu\\) nur von \\(\\mu\\) abh\u00e4ngt und \u00fcberdies \\(K_\\mu\\leqq K/(1 \\mu)\\) mit einer absoluten Konstanten \\(K\\) ist. -- In den linken Seiten von (5)--(7) kann \\(S\\) durch \\(\\overline{S}\\) ersetzt werden. -- (d) F\u00fcr jedes ganze \\(k > 0\\) gilt  \\[  \\int\\limits_0^{2\\pi}|S|\\, dx\\leqq \\left(1+\\dfrac{2n}{k}\\right) \\int\\limits_0^{2\\pi}|S|\\, d\\varphi_{2n+k}; \\quad \\max\\limits_x |S(x)|\\leqq \\left(1+\\dfrac{2n}{k}\\right) \\max\\limits_\\nu \\left|S\\left(\\dfrac{2\\pi\\nu}{2n+k}\\right)\\right|.  \\]   3) Als Anwendung der in 1) genannten Ergebnisse wird das folgende Analogon eines bekannten Satzes \u00fcber konjugierte Funktionen (vgl. z. B: \\textit{A. Zygmund}, Trigonometrical Series, 1935 (JFM 61.0263.*), S. 147) erhalten: Es gilt  \\[  \\left(\\int\\limits_0^{2\\pi}|\\overline{S}|^p\\, d\\varphi_{2n+1}\\right)^\\tfrac{1}{p}\\leqq L_p \\left(\\int\\limits_0^{2\\pi}|S|^p\\, d\\varphi_{2n+1}\\right)^\\tfrac{1}{p} \\qquad (p > 1), \\tag{8}  \\]  wo \\(L_p\\) nur von \\(p\\) abh\u00e4ngt. F\u00fcr \\(p\\leqq 1\\) ergeben sich auch (6) und (7) analog gebaute Absch\u00e4tzungen f\u00fcr \\(\\int\\limits_0^{2\\pi}|\\overline{S}|^p\\,d\\varphi_{2n+1}\\).  4) Den \u00fcber trigonometrische Polynome bewiesenen S\u00e4tzen entsprechen jeweils S\u00e4tze \u00fcber Polynome  \\[  P(z) = c_0+c_1z+\\cdots+c_nz^n,  \\]  z. B. hat man entsprechend (4):  \\[  \\left(\\int\\limits_0^{2\\pi}|P(e^{i\\theta})|^p\\, d\\theta\\right)^\\tfrac{1}{p}\\leqq B_p^* \\left(\\int\\limits_0^{2\\pi}|P(e^{i\\theta})|^p\\, d\\varphi_{n+1}(\\theta)\\right)^\\tfrac{1}{p} \\qquad (p > 1),  \\]  wo \\(B_p^* = B_p\\), gesetzt werden kann.  5) Es folgen noch einige Bemerkungen \u00fcber die Koeffizienten trigonometrischer Polynome. Entsprechend den \\textit{Hausdorff-Young}schen Ungleichungen wird gezeigt: Ist  \\[  S(\\theta) =\\sum\\limits_{\\nu = -n}^{+n}c_\\nu e^{i\\nu\\theta}  \\]  ein trigonometrisches Polynom \\(n\\)-ter Ordnung und ist \\(1\\leqq p\\leqq 2\\), \\(p' = p/(p - 1)\\), so gilt:  \\[ \\begin{gathered} \\left(\\dfrac{1}{2\\pi}\\int\\limits_0^{2\\pi}|S(\\theta)|^{p'}\\, d\\varphi_{2n+1}\\right)^\\tfrac{1}{p}\\leqq \\left(\\sum\\limits_{\\nu = -n}^{+n}|c_\\nu |^p\\right)^\\tfrac{1}{p}, \\\\ \\left(\\sum\\limits_{\\nu = -n}^{+n}|c_\\nu |^{p'}\\right)^\\tfrac{1}{p'}\\leqq \\left(\\dfrac{1}{2\\pi}\\int\\limits_0^{2\\pi}|S(\\theta)|^p\\, d\\varphi_{2n+1}\\right)^\\tfrac{1}{p}. \\end{gathered}  \\]   II. Das zweite Kapitel enth\u00e4lt S\u00e4tze \u00fcber das Verhalten der trigonometrischen Polynome  \\[  I_{n,u}(x,f) = \\dfrac{1}{\\pi}\\int\\limits_0^{2\\pi}f(t)D_n(x-t) d\\varphi_{2n+1} (t-u),  \\]  wo \\(f(t)\\) eine \\(L\\)-integrable Funktion mit der Periode \\(2\\pi\\), \\(D_n(t)\\) der \\textit{Dirichlet}sche Kern und \\(u\\) ein Parameter ist. \\(I_{n,u}(x, f)\\) ist das trigonometrische Polynom der Ordnung \\(\\leqq n\\), das an den Stellen \\(x_\\nu + u\\) die Werte \\(f(x_\\nu + u)\\) annimmt \\(\\left(x_\\nu = \\dfrac{2\\pi\\nu}{2n+1}; \\;\\nu = 0, 1,\\ldots, 2n\\right)\\). Es wird gezeigt:  1) F\u00fcr \\(f\\in L^p\\), \\(p>1\\) gilt  \\[  \\int\\limits_0^{2\\pi}\\int\\limits_0^{2\\pi}|I_{n,u}(x, f) f(x)|^pdxdu\\to 0 \\;\\text{ f\u00fcr } \\;n\\to\\infty. \\tag{9}  \\]  F\u00fcr \\(|f|\\overset{+}{\\log}|f|\\in L\\) gilt(9) mit \\(p=1\\). F\u00fcr \\(f\\in L\\) gilt  \\[  \\int\\limits_0^{2\\pi}\\left[\\int\\limits_0^{2\\pi}|I_{n,u}(x, f) f(x)|^\\mu dx\\right]^\\tfrac{1}{\\mu}du\\to 0 \\;\\text{ f\u00fcr } \\;n\\to\\infty \\text{ bei jedem } \\mu \\text{ aus } (0,1). \\tag{10}  \\]   2) F\u00fcr \\(f\\in L^p\\), \\(p >1\\) gibt es stets eine Folge ganzer Zahlen \\(n_1<n_2<\\cdots\\) derart, da\u00df f\u00fcr fast alle \\(u\\)  \\[  \\int\\limits_0^{2\\pi}|I_{n_ku}(x, f) - f(x)|^p\\, dx\\to 0 \\;\\text{f\u00fcr } \\;k\\to\\infty \\tag{11}  \\]  gilt. F\u00fcr \\(|f|\\overset{+}{\\log}|f|\\in L\\) gilt (11) mit \\(p = 1\\). F\u00fcr \\(f\\in L\\) gilt (11) mit jedem \\(p\\) aus \\((0,1)\\). -- Insbesondere gilt also f\u00fcr fast alle \\(u\\)  \\[  \\varliminf\\limits_{n\\to\\infty} \\int\\limits_0^{2\\pi}|I_{n,u}(x, f) - f(x)|^p\\, dx = 0.  \\]  Dagegen gibt es zu jedem \\(p\\geqq 1\\) ein \\(f\\in L^p\\) derart, da\u00df f\u00fcr fast alle \\(u\\)  \\[  \\varlimsup\\limits_{n\\to\\infty} \\int\\limits_0^{2\\pi}|I_{n,u}(x, f)|^p\\, dx = \\infty  \\]  gilt.  3) Es gibt eine integrable Funktion \\(f(x)\\) von der Periode \\(2\\pi\\) (z. B. \\(f(x) = |x|^{-\\frac{3}{4}}\\) f\u00fcr \\(|x|\\leqq\\pi\\)) derart, da\u00df die Folge der Polynome \\(I_{n,u}(x, f)\\) in fast allen Punkten des Quadrats \\(0\\leqq x\\leqq 2\\pi\\), \\(0\\leqq u\\leqq 2\\pi\\) divergiert.  4) Die unter 1)-3) genannten S\u00e4tze bleiben richtig, wenn die trigonometrischen Polynome \\(I_{n,u}(x, f)\\) ersetzt werden durch die \\textit{Jackson}schen Polynome  \\[  J_{n,u}(x,f) = \\int\\limits_0^{2\\pi} f(t)K_n(x-t)\\, d\\varphi_{n+1}(t-u),  \\]  wo \\(K_n(t)\\) den \\textit{Fej\u00e9r}schen Kern bedeutet.  5) Schlie\u00dflich werden noch Beziehungen zwischen den \\(I_{n,u}(x, f)\\) und Koeffizienten und Teilsummen der \\textit{Fourier}reihe von \\(f(x)\\) hergeleitet. Insbesondere wird gezeigt: Ist  \\[  f(x)\\sim \\sum\\limits_{s=-\\infty}^\\infty \\gamma_se^{isx}  \\]  (\\(f(x)\\) reell, also \\(\\gamma_{-s} = \\overline{\\gamma}_s\\) ) und ist \\(\\sum\\limits_{\\lambda =1}^\\infty\\dfrac{|\\gamma_\\lambda|}{\\lambda}\\) konvergent -- was f\u00fcr \\(f\\in L^p\\) mit \\(p > 1\\) gewi\u00df erf\u00fcllt ist -- so gilt f\u00fcr die \\(n\\)-te Teilsumme \\(s_n(x)\\) der \\textit{Fourier}reihe von \\(f(x)\\)  \\[  \\lim\\limits_{n\\to\\infty}\\left\\{\\dfrac{1}{|I|}\\int\\limits_{I} I_{n,u}(x,f)\\, du - s_n(x)\\right\\} = 0,  \\]  wenn \\(I\\) ein beliebiges Intervall und \\(|I|\\) seine L\u00e4nge ist.  F\u00fcr die Beweise der besprochenen S\u00e4tze sind die folgenden, an sich interessanten Tatsachen von Bedeutung: (a) Es gibt eine Funktion \\(F(x)\\in L\\) von der Periode 1 derart, da\u00df f\u00fcr keinen Wert von \\(u\\)  \\[  \\xi_n(u,F) = \\dfrac{1}{n}\\sum\\limits_{i=0}^{n-1}F\\left(u+\\dfrac{i}{n}\\right)\\to \\int\\limits_0^1F(x)\\, dx  \\]  strebt. (Dieses Ergebnis beantwortet eine von \\textit{B. Jessen} (Ann. Math., Princeton, 35 (1934), 248-251; JFM 60.0209.*) aufgeworfene Frage.) (b) Es gibt eine Funktion \\(F(x)\\in L\\) von der Periode 1, f\u00fcr die bei fast allen \\(u\\)  \\[  \\varlimsup\\limits_{n\\to\\infty}\\xi_{2n+1}(u,F) = \\infty  \\]  gilt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2602286$41882B26-4236-48DA-95DF-FC133AA92DB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba4dbd5175cadcd720d897969fb0b427d0757132","datavalue":{"value":"2520467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2602286$7FD7C99F-0ECA-4BAE-8C76-9C9A94E3D6E5","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":"Q2602286$9389D4F6-0720-4543-BD50-640E141BE250","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2602286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2602286"}}}}}