{"entities":{"Q2590949":{"pageid":2601692,"ns":120,"title":"Item:Q2590949","lastrevid":44423616,"modified":"2025-11-22T20:15:44Z","type":"item","id":"Q2590949","labels":{"en":{"language":"en","value":"Some new properties of Bohr almost periodic Fourier series."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510398"}},"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":"Q2590949$030F81BD-8377-4F6A-B3D5-4ABB07F045A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5fa6eb11246d1f77594bbaff0a7fbd34eb76da4","datavalue":{"value":{"text":"Some new properties of Bohr almost periodic Fourier series.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590949$A6E6CE58-8FA7-4F2F-AD6D-0E0E2DEC1171","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dbcd98c96b3d8c5e9827492cc3223520eb75f8e","datavalue":{"value":"65.0269.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590949$3A51543B-A618-4042-A730-7253E01544E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9ec75a6933086e2720f78caf59a764517f63011","datavalue":{"value":{"entity-type":"item","numeric-id":563142,"id":"Q563142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590949$80BCBAB8-463A-4235-9EFB-2DB9C16D5BD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2590949$DF607F97-BD0C-4704-8BAB-FE61FF1388F3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab6e340e00e0198f73cb8288eb0dc18b3cb3cf9d","datavalue":{"value":"Es bezeichne im folgenden  \\[  f(x) \\sim \\sum A_n \\, e^{i \\lambda_n x}  \\]  stets eine im Bohrschen Sinn fastperiodische (f. p.) Funktion der reellen Variablen \\(x\\).  Verf. zeigt in Verallgemeinerung der bekannten S\u00e4tze \u00fcber gliedweise Integration und Differentiation der Fourierreihen:  1) Ist \\(\\int\\limits^{x} f(x)\\, dx =O(|\\,x\\,|^{1-p})\\; (0 < p \\leqq 1)\\), so ist  \\[  \\sum (\\text{sgn }\\lambda_n) \\frac{A_n}{|\\,\\lambda_n\\,|^q} e^{i \\lambda_n x} \\qquad (0<q<p), \\tag{1}  \\]   2) ist \\(|\\, f(x_2) - f(x_1)\\, | \\leqq K\\, |\\, x_2 - x_1\\,|^p\\) f\u00fcr \\(|\\, x_2 - x_1\\,|\\leqq \\delta\\), \\(0<p\\leqq 1\\), \\(K =\\) konst, \\(\\delta>0\\), so ist  \\[  \\sum (\\text{sgn }\\lambda_n)\\, A_n |\\,\\lambda_n\\,|^q\\, e^{i \\lambda_n x} \\qquad (0<q<p) \\tag{2}  \\]  die Fourierreihe einer f. p. Funktion.  Zum Beweis wird gezeigt, da\u00df die f. p. Funktion  \\[  \\varphi_A(x)=\\int\\limits_{0}^{A} t^{-1+q}\\{f(t+x)-f(-t+x)\\}\\,dt \\quad \\text{(zu 1)}  \\]  bzw.  \\[  \\varphi_{\\varrho}(x)=\\int\\limits_{\\varrho}^{\\infty} \\frac{f(t+x)-f(-t+x)}{t^{1+q}}\\,dt \\quad \\text{(zu 2)}  \\]  f\u00fcr \\(A \\to \\infty\\) bzw. \\(\\varrho \\to 0\\) gleichm\u00e4\u00dfig gegen eine Grenzfunktion \\(\\varphi_1(x)\\) bzw. \\(\\varphi_2(x)\\) konvergiert. Dann hat \\(\\varphi_1(x)\\left[ 2i\\varGamma(q)\\, \\sin\\,\\left( q\\dfrac{\\pi}{2} \\right) \\right]^{-1}\\) die Reihe (1), bzw.   \\noindent \\(\\varphi_2(x)\\varGamma(1+q)\\, \\cos \\,\\left( q\\dfrac{\\pi}{2} \\right)i^{-1} \\pi^{-1}\\) die Reihe (2) zur Fourierreihe.  Auf Grund eines Satzes von \\textit{Bochner} (S.-B. math. naturw. Abt. Bayer. Akad. Wiss. M\u00fcnchen 1928, 181-190; F.~d.~M. 54, 294) leitet Verf. her, da\u00df mit \\(p > 0\\), \\(\\sigma > 0\\), wenn \\(s = \\sigma + ix\\) gesetzt ist,  \\[  \\sum_{\\lambda_n<0} |\\, \\lambda_n \\,|^p A_n \\, e^{\\lambda_n s}, \\sum_{\\lambda_n>0} \\lambda_n^p A_n \\, e^{\\lambda_n s} \\quad \\text{und} \\quad \\sum\\frac{A_n}{(\\sigma+i\\lambda_n)^p} e^{i\\lambda_n x}  \\]  Dirichlet- bzw. Fourierreihen von f. p. Funktionen \\(f_1(s)\\), \\(f_2(s)\\) und \\(F(x)\\) in \\((0, +\\infty)\\), \\((-\\infty, 0)\\) und \\((-\\infty, \\infty)\\) sind.  In Erweiterung eines Satzes von H. Bohr zeigt Verf. ferner, da\u00df falls \\(\\int\\limits^{x}f(x)\\,dx=O(|\\, x \\,|^{1-\\alpha})\\) \\((0<\\alpha \\leqq 1)\\) ist, die Reihen  \\[  \\sum_{\\lambda_n>0} A_n \\, e^{\\lambda_n s}, \\quad \\sum_{\\lambda_n<0} A_n \\, e^{\\lambda_n s} \\tag{3}  \\]  Dirichletreihen von in \\([0, +\\infty)\\), \\((-\\infty, 0]\\) f. p. Funktionen sind. Die f. p. Funktionen  \\[  \\varphi_A(x)=\\frac{1}{i\\pi}\\int\\limits_{0}^{A} \\frac{u[f(u+x)-f(-u+x)]}{\\sigma^2+u^2}\\,du  \\]  konvergieren n\u00e4mlich mit \\(A \\to \\infty\\) gleichm\u00e4\u00dfig in \\(x\\) gegen eine f. p. Funktion  \\[  \\varphi(x) \\sim \\sum A_n \\, \\text{sgn}\\, \\lambda_n e^{-\\sigma|\\lambda_n|} e^{i\\lambda_n x}.  \\]  Bildet man nun die f. p. Funktion  \\[  \\psi(x)=\\frac{1}{\\pi}\\int\\limits_{-\\infty}^{\\infty} \\frac{\\sigma f(x+u)}{\\sigma^2+u^2}\\,du \\sim \\sum A_n e^{-\\sigma|\\lambda_n|} e^{i\\lambda_n x}  \\]  so haben  \\[  \\frac{\\psi(x)+\\varphi(x)}{2}, \\; \\frac{\\psi(x)-\\varphi(x)}{2}  \\]  die Entwicklungen (3).  Auf \u00e4hnlichen Schlu\u00dfweisen beruht der Satz: \\(f(x)\\) gen\u00fcge einer Lipschitzbedingung der Ordnung \\(\\alpha (0 < \\alpha \\leqq 1)\\). Der Nullpunkt sei H\u00e4ufungspunkt der \\(\\lambda_n\\), und diese haben in der Umgebung desselben einerlei Vorzeichen. Dann ist die konjugierte Fourierreihe  \\[  \\sum iA_n \\, (\\text{sgn})\\, \\lambda_n e^{i\\lambda_n x}  \\]  wiederum Fourierreihe einer f. p.-Funktion.  Im zweiten Teil besch\u00e4ftigt sich Verf. mit Fragen der Konvergenz von \\(\\sum A_n e^{i\\lambda_n x}\\) gegen \\(f(x)\\).  Unter der Annahme, da\u00df  \\[  S_{\\sigma}(x)=\\frac{1}{\\pi}\\int\\limits_{0}^{\\infty} \\frac{\\sin\\,\\sigma t}{t} [f(t+x)+f(-t+x)]\\,dt \\tag{4}  \\]  f\u00fcr jedes \\(\\sigma > 0\\) gleichm\u00e4\u00dfig in \\(x\\) konvergiert, folgert er  \\[  S_{\\sigma}(x) \\sim \\sum_{|\\lambda_n|<\\sigma} A_n e^{i\\lambda_n x} \\tag{5}  \\]  Tritt die Voraussetzung  \\[  \\lim\\limits_{\\sigma \\to \\infty} \\int\\limits_{\\varepsilon}^{\\infty} \\frac{\\sin\\,\\sigma t}{t} [f(t+x)+f(-t+x)]\\,dt = 0 \\; \\text{ f\u00fcr jedes }\\; \\varepsilon  \\]  hinzu, so ergibt sich  \\[  \\underset{\\sigma \\to \\infty}  {S_{\\sigma}}(x) \\longrightarrow f(x).  \\]  Verf. nennt \\((\\mu, \\nu)\\), \\(\\mu, \\nu \\geqq 0\\), Intervall von \\(f(x)\\), wenn kein \\(\\lambda_n\\) in das links abgeschlossene Intervall hineinf\u00e4llt. Schreibt man nun  \\[  f(x) \\sim \\sum_{n=1}^{\\infty} \\left( a(\\lambda_n) e^{i\\lambda_n x} + a(-\\lambda_n) e^{-i\\lambda_n x} \\right) \\qquad (\\lambda_n \\geqq 0),  \\]  und ist f\u00fcr ein \\(\\sigma(>\\varLambda)\\) \\(|\\,\\lambda_n -\\sigma \\,| \\geqq \\varLambda > 0\\) f\u00fcr alle \\(n\\), so folgt die Existenz von (4) und daraus die G\u00fcltigkeit von (5). Daraus werden folgende Tatsachen abgeleitet: Sei \\(0<\\mu_1<\\mu_2< \\cdots \\to \\infty\\); \\(f(x)\\) habe die Intervalle \\((\\mu_k, \\mu_k+\\delta_k)\\) \\((k=1,2,3,\\ldots)\\). Dann gilt gleichm\u00e4\u00dfig in \\(x\\) in jedem endlichen Intervall \\(S_{\\mu_k}(x) \\to f(x)\\), wo \\(S_{\\mu_k}\\) durch (4) und (5) mit \\(\\sigma=\\mu_k\\) gegeben ist, f\u00fcr \\(k \\to \\infty\\), wenn \u00fcberdies eine von folgenden Annahmen erf\u00fcllt ist:  1) \\(\\quad \\underset{-\\infty<x<\\infty}  {\\text{Max}} [f(x+\\delta)-f(x)] \\log\\,\\dfrac{1}{\\delta} = O(1) \\qquad (\\delta  0)\\),  \\[  \\delta_k=\\varepsilon \\mu_k^{-G} \\quad (k=1,2,3,\\ldots) \\text{ bei festem } \\varepsilon > 0, G > 0.  \\]   2) \\(f(x)\\) gen\u00fcge einer Lipschitzbedingung der Ordnung \\(\\alpha\\), \\(0<\\alpha \\leqq 1\\), \\(\\delta_k=\\varepsilon e^{-G \\mu_k^{\\alpha'}}\\) \\((0<\\alpha'<\\alpha\\); \\(k=1,2,3,\\ldots)\\).  3) \\(f(x)\\) besitze eine f. p. \\(m\\)-te Ableitung,  \\[  \\delta_k=\\varepsilon e^{-G \\mu_k^m} \\qquad (k=1,2,3,\\ldots).  \\]  Ganz \u00e4hnliche S\u00e4tze folgen noch, wenn \\(f(x)\\) einer Dirichlet-Jordanbedingung gen\u00fcgt und alle \\(\\lambda_n > 0\\) sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590949$011127BE-8139-4AF7-A63A-AF6F860ACA16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7d9450d416bafb827988b2a107cf02615902bdb","datavalue":{"value":"2510398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590949$6158FE6F-8910-4F10-92B3-BDBB6AD33A19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397978fd80435a4e94112bb27ba0c622039165a8","datavalue":{"value":{"entity-type":"item","numeric-id":1162972,"id":"Q1162972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590949$9F51FB53-9CFA-442F-AB4D-773EB42496F5","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":"Q2590949$4CEB24BD-B435-467C-9480-166CE9DE9B16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590949","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590949"}}}}}