Some new properties of Bohr almost periodic Fourier series. (Q2590949)

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ätze über 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ür \(|\, 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ß 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ür \(A \to \infty\) bzw. \(\varrho \to 0\) gleichmäßig 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ünchen 1928, 181-190; F.~d.~M. 54, 294) leitet Verf. her, daß 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ß 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ämlich mit \(A \to \infty\) gleichmäßig 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 ähnlichen Schlußweisen beruht der Satz: \(f(x)\) genüge einer Lipschitzbedingung der Ordnung \(\alpha (0 < \alpha \leqq 1)\). Der Nullpunkt sei Häufungspunkt 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äftigt sich Verf. mit Fragen der Konvergenz von \(\sum A_n e^{i\lambda_n x}\) gegen \(f(x)\). Unter der Annahme, daß \[ 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ür jedes \(\sigma > 0\) gleichmäßig 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ür 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ällt. 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ür ein \(\sigma(>\varLambda)\) \(|\,\lambda_n -\sigma \,| \geqq \varLambda > 0\) für alle \(n\), so folgt die Existenz von (4) und daraus die Gültigkeit 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äßig 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ür \(k \to \infty\), wenn überdies eine von folgenden Annahmen erfüllt 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üge 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 ähnliche Sätze folgen noch, wenn \(f(x)\) einer Dirichlet-Jordanbedingung genügt und alle \(\lambda_n > 0\) sind.