{"entities":{"Q2602249":{"pageid":2612992,"ns":120,"title":"Item:Q2602249","lastrevid":44458473,"modified":"2025-11-23T02:33:04Z","type":"item","id":"Q2602249","labels":{"en":{"language":"en","value":"Some theorems on orthogonal systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2520428"}},"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":"Q2602249$A4E0D125-6A95-4E13-AAE0-BEC5DAE540C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcdbb0a4efc430e22a5a28e5cbb22d56537b79b0","datavalue":{"value":{"text":"Some theorems on orthogonal systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2602249$C8395858-37AA-4FAC-B68B-E296B0D5B6E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f55e95f02d252518013d2ae6990aab5f37761db","datavalue":{"value":"63.0202.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2602249$559D9331-EDED-496F-804D-824096A8A969","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":"Q2602249$2FFEDAF3-049F-4D38-8F17-8BF89FD4D72E","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":"Q2602249$C3CEC6ED-49CB-4502-9737-992943B40BD0","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":"Q2602249$CE5A4671-2594-466C-9C69-D76CE41146BA","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":"Q2602249$05FC5249-952D-45AC-AFC6-F18FC0D68226","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c09c78b7817945f7910f46e608835c6d2af56b25","datavalue":{"value":"https://eudml.org/doc/212916","type":"string"},"datatype":"url"},"type":"statement","id":"Q2602249$BF3989C0-4718-4DD0-B3AB-8DC141149688","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7867f247a9fd77953b5f1df74d824012da17a1fc","datavalue":{"value":"Es sei \\(\\{(\\varphi_n(x)\\}\\) (\\(n=1,2,3,\\ldots\\)) ein beliebiges System in \\((a, b)\\) orthogonaler und normierter (reeller) Funktionen, also  \\[  \\int\\limits_a^b\\varphi_m\\varphi_n\\, dx =\\begin{cases} 0 &\\text{ f\u00fcr } m\\neq n\\\\ 1 &\\text{ f\u00fcr } m = n.\\end{cases} \\tag{1}  \\]  Zufolge dieser Gleichungen mu\u00df \\(\\varphi_n\\in L^2(a, b)\\) gelten.  Um sicher zu sein, da\u00df die \\textit{Fourier}koeffizienten  \\[  c_n = \\int\\limits_a^bf\\varphi_n\\, dx \\qquad (n=1,2,\\ldots) \\tag{2}  \\]  einer Funktion \\(f(x)\\) bzgl. \\(\\{\\varphi_n\\}\\) existieren, ist dann \\(f\\in L^2(a, b)\\) anzunehmen. Diese Voraussetzung kann betr\u00e4chtlich gemildert werden, wenn \u00fcber die \\(\\varphi_n\\) einschr\u00e4nkendere Voraussetzungen gemacht werden; insbesondere gen\u00fcgt es, \\(f\\in L(a, b)\\) anzunehmen, wenn die \\(\\varphi_n\\) gleichm\u00e4\u00dfig beschr\u00e4nkt sind. F\u00fcr den letzteren Fall kennt man eine Reihe von S\u00e4tzen \u00fcber die \\(c_n\\), welche die \\textit{Bessel}sche Ungleichung und den \\textit{Riesz-Fischer}schen Satz verallgemeinern. In der vorliegenden Arbeit werden entsprechende Untersuchungen f\u00fcr einen etwas allgemeineren Fall durchgef\u00fchrt, und zwar wird vorausgesetzt, da\u00df die \\(\\varphi_n\\) f\u00fcr ein \\(\\nu > 2\\) Ungleichungen  \\[  \\left(\\int\\limits_a^b|\\varphi_n|^\\nu\\, dx\\right)^{\\tfrac{1}{\\nu}}\\leqq M_n \\qquad (n=1,2,\\ldots) \\tag{3}  \\]  mit endlichen \\(M_n\\) gen\u00fcgen. (F\u00fcr \\(\\nu = \\infty\\) wird die linke Seite die wesentliche obere Grenze von \\(|\\varphi_n|\\).) Unter diesen Voraussetzungen existieren die \\textit{Fourier}koeffizienten (2) f\u00fcr jedes \\(f\\in L^\\mu (a, b)\\), wobei \\(\\mu\\) (wie weiterhin stets) die zu \\(\\nu\\) in der Beziehung \\(1/\\mu + 1/\\nu = 1\\) stehende Zahl \\((1\\leqq\\mu < 2)\\) sein soll.  1) In Verallgemeinerung bekannter Resultate von \\textit{F. Riesz} (Math. Z. 18 (1923), 117-124; F. d. M. 49, 292 (JFM 49.0292.*)) werden zun\u00e4chst die beiden folgenden S\u00e4tze bewiesen:  \\noindent (a) Es sei \\(\\mu\\leqq p\\leqq 2\\) und \\(q\\) durch \\(\\mu /p + (2 - \\mu)/q = 1\\) bestimmt. Dann besteht stets die Beziehung  \\[  \\left(\\sum\\limits_{n=1}^\\infty M_n^{2-q}|c_n|^q\\right)^{\\tfrac{1}{q}}\\leqq\\left(\\int\\limits_a^b |f|^p dx\\right)^{\\tfrac{1}{p}}. \\tag{4}  \\]  (b) Es sei \\(1\\leqq p\\leqq 2\\) und \\(q\\) durch die Gleichung \\((2 - \\mu)/p + \\mu /q = 1\\) bestimmt. Sind die Reihen \\(\\sum |c_n|^pM_n^{2-p}\\) und \\(\\sum |c_n|^2\\) beide konvergent, so gibt es eine Funktion \\(f\\in L^q(a, b)\\) mit den \\textit{Fourier}konstanten \\(c_n\\), und es gilt  \\[  \\left(\\int\\limits_a^b |f|^q dx\\right)^{\\tfrac{1}{q}}\\leqq \\left(\\sum\\limits_{n=1}^\\infty M_n^{2-p}|c_n|^p\\right)^{\\tfrac{1}{p}}. \\tag{5}  \\]  (Anschlie\u00dfend finden sich Bemerkungen zu der Frage, wie weit die Voraussetzung der Konvergenz der \\textit{beiden} Reihen \\(\\sum |c_n|^pM_n^{2-p}\\) und \\(\\sum |c_n|^2\\) f\u00fcr das Bestehen des Satzes unentbehrlich ist.) -- F\u00fcr \\(\\nu = \\infty (\\mu =1)\\) und \\(M_1 = M_2 = \\cdots\\) gehen die beiden S\u00e4tze in die genannten Resultate von \\textit{F. Riesz} \u00fcber.  2) Weiter wird die Verallgemeinerung zweier S\u00e4tze von \\textit{R. E. A. C. Paley} (Studia math., Lw\u00f3w, 3 (1931), 226-238; JFM 57.0335.*) gegeben: Das Funktionensystem \\(\\{\\varphi_n\\}\\) erf\u00fclle Ungleichungen (3), wobei f\u00fcr die Konstanten \\(M_n\\)  \\[  M_1\\leqq M_2\\leqq\\cdots\\leqq M_n\\leqq\\cdots \\tag{6}  \\]  gelte. (a) Es sei \\(2\\leqq q < \\nu\\) und  \\[  \\sum\\limits_{n=1}^\\infty |c_n|^qM_n^{\\tfrac{\\nu}{\\nu -2}(q-2)} n^{\\tfrac{\\nu -1}{\\nu-2}(q-2)} \\quad \\text{konvergent}. \\tag{7}  \\]  Dann gibt es eine Funktion \\(f\\in L^q(a, b)\\) mit den \\textit{Fourier}konstanten \\(c_n\\), f\u00fcr die  \\[  \\left(\\int\\limits_a^b|f|^q dx\\right)^{\\tfrac{1}{q}}\\leqq A_{q,\\nu} \\left(\\sum\\limits_{n=1}^\\infty |c_n|^q M_n^{\\tfrac{\\nu}{\\nu -2}(q-2)} n^{\\tfrac{\\nu -1}{\\nu-2}(q-2)}\\right)^{\\tfrac{1}{q}} \\tag{8}  \\]  gilt; dabei h\u00e4ngt \\(A_{q,\\nu}\\) nur von \\(q\\) und \\(\\nu\\) ab, und \u00fcberdies gilt mit einer absoluten Konstanten \\(A\\)  \\[  A_{q,\\nu}\\leqq A\\dfrac{\\nu -2}{\\nu -q}\\cdot q,  \\]  wenn unter \\(A_{q,\\nu}\\) die kleinste, (8) f\u00fcr alle zul\u00e4ssigen \\(\\{c_n\\}\\) erf\u00fcllende Zahl verstanden wird. (b) Es sei \\(\\mu < p\\leqq 2\\) und \\(f\\in L^p(a, b)\\). Dann erf\u00fcllen die \\textit{Fourier}konstanten \\(c_n\\) von \\(f\\) bzgl. \\(\\{\\varphi_n\\}\\) die Ungleichung  \\[  \\left(\\sum\\limits_{n=1}^\\infty |c_n|^pM_n^{\\tfrac{\\nu}{\\nu -2}(p-2)} n^{\\tfrac{\\nu -1}{\\nu-2}(p-2)}\\right)^{\\tfrac{1}{p}}\\leqq B_{p,\\nu} \\left(\\int\\limits_a^b|f|^p dx\\right)^{\\tfrac{1}{pq}}, \\tag{9}  \\]  wobei \\(B_{p,\\nu}\\) nur von \\(p\\) und \\(\\nu\\) abh\u00e4ngt und \u00fcberdies \\(B_{p,\\nu} = A_{q,\\nu}\\) gesetzt werden kann, wenn \\(p\\) und \\(q\\) verm\u00f6ge \\(1/p + 1/g = 1\\) verkn\u00fcpft sind. -Hervorgehoben wird noch der Sonderfall \\(M_1 = M_2 =\\cdots\\), in dem die vorstehenden S\u00e4tze die in 1) genannten umfassen. Ist \u00fcberdies \\(\\nu = \\infty\\), so erh\u00e4lt man die S\u00e4tze von \\textit{Paley} (a. a. O.).  3) Ebenfalls in Verallgemeinerung eines Satzes von \\textit{Paley} (a. a. O.) und in gewisser Hinsicht als Erg\u00e4nzung des Satzes (a) unter 2) wird bewiesen: Es sei \\(q > 2\\), und es gelte (6) und (7). Dann konvergiert jede Umordnung der Reihe \\(\\sum\\limits_{n=1}^\\infty c_n\\varphi_n\\) fast \u00fcberall. Ist \\(\\sum\\limits_{k=1}^\\infty c_{n_k}\\varphi_{n_k}\\) irgend eine Umordnung und  \\[  S^*(x) = \\underset{k}{\\text{Max}}\\left|\\sum\\limits_{i=1}^k c_{n_i}\\varphi_{n_i}(x)\\right|,  \\]  so gilt  \\[  \\left(\\int\\limits_a^bs^{*q}dx\\right)^\\tfrac{1}{q}\\leqq A^*_{q,\\nu}\\sum\\limits_{n=1}^\\infty |c_n|^qM_n^{\\tfrac{\\nu}{\\nu -2}(q-2)}n^{\\tfrac{\\nu -1}{\\nu -2}(q-2)}, \\tag{10}  \\]  wo \\(A^*_{q,\\nu}\\) nur von \\(q\\) und \\(\\nu\\) abh\u00e4ngt  4) Schlie\u00dflich werden zwei S\u00e4tze bewiesen, die aus den in 2) genannten hervorgehen, wenn die Funktion \\(f\\) und die Konstanten \\(c_n\\) ihre Rollen vertauschen. Sie lauten, auf das Intervall \\((0, \\infty)\\) zugeschnitten, wenn mit \\(f^*\\) die in \\((0, \\infty)\\) mit \\(|f|\\) ``ma\u00dfgleiche'' (equimeasurable; vgl. z. B. \\textit{A. Zygmund}, Trigonometrical series, 1935 (JFM 61.0263.*), S. 207) und nichtzunehmende Funktion bezeichnet wird: (a) Es sei \\(q\\geqq 2\\) und \\(f(x)\\) in \\((0, \\infty)\\) definiert. Die \\textit{Fourier}konstanten \\(c_n\\) von \\(f\\) bzgl. \\(\\{\\varphi_n\\}\\) erf\u00fcllen die Ungleichung  \\[  \\left(\\sum\\limits_{n=1}^\\infty |c_n|^qM_n^{2-q}\\right)^\\tfrac{1}{q}\\leqq\\tilde{A}_{q,\\mu} \\left(\\int\\limits_0^\\infty f^{*q}x^\\tfrac{q-2}{\\mu}dx\\right)^\\tfrac{1}{q},  \\]  wobei die Konstante \\(\\tilde{A}_{q,\\mu}\\) nur von \\(q\\) und \\(\\mu\\) abh\u00e4ngt und \u00fcberdies \\(\\tilde{A}_{q,\\mu}\\leqq Aq/(2-\\mu)\\) mit einer absoluten Konstanten \\(A\\) gilt. (b) Es sei \\(1\\leqq p\\leqq 2\\), und die beiden Reihen \\(\\sum |c_n|^pM_n^{2-p}\\) und \\(\\sum |c_n|^2\\) seien konvergent. Dann gibt es eine Funktion \\(f\\) mit den \\textit{Fourier}konstanten \\(c_n\\), f\u00fcr die  \\[  \\left(\\int\\limits_0^\\infty f^{*p}x^\\tfrac{p-2}{\\mu}dx\\right)^\\tfrac{1}{p}\\leqq \\tilde{B}_{p,\\mu}\\left(\\sum\\limits_{n=1}^\\infty |c_n|^pM_n^{2-p}\\right)^\\tfrac{1}{p}  \\]  gilt. Dabei h\u00e4ngt \\(\\tilde{B}_{p,\\mu}\\) nur von \\(p\\) und \\(\\mu\\) ab, und \u00fcberdies kann \\(\\tilde{B}_{p,\\mu} = \\tilde{A}_{q,\\mu}\\) gesetzt werden, wenn \\(p\\) und \\(q\\) in der Beziehung \\(1/p + 1/q = 1\\) stehen. -- Verf. bemerkt noch, da\u00df zu Satz (a) eine analoge Erg\u00e4nzung existiert, wie sie 3) f\u00fcr Satz (a) unter 2) darstellt. Dabei \u00fcbernehmen die Zahlen  \\[  C_n^* = \\underset{\\xi,\\eta}{\\text{Max}}\\left|\\int\\limits_\\xi^\\eta f\\varphi_n\\, dx\\right| \\qquad (0 <\\xi < \\eta < \\infty)  \\]  die Rolle der Funktion \\(S^*(x)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2602249$372BF3E9-D5A7-467E-B88D-2F8F5239AA5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46ff62249a6af3eee97c67c684f4e0a33472cd12","datavalue":{"value":"2520428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2602249$5F6630B8-8137-4724-B012-6461A76F340E","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":"Q2602249$76C101FF-43AA-483E-BC1C-00A4A94588C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2602249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2602249"}}}}}