Ramanujan sums and almost periodic functions. (Q2586235)

Eine zahlentheoretische Funktion \(f(n)\) (\(n=1\), 2, 3, \dots) heiße multiplikativ, falls \(f(n_1n_2)=f(n_1)f(n_2)\) für \((n_1,n_2)=1\) ist und \(f(n)\) nicht identisch verschwindet (so daß \(f(1)=1\) ist). Sie heiße stark multiplikativ, falls \(f(p)=f(p^2)=f(p^3)=\cdots\) ist für jede Primzahl \(p\). Für jede natürliche Zahl \(k\) werde \(f^{(k)}(n)\) definiert durch: \(f^{(k)}(n)= 1\) oder \(=f(p_k)\), je nachdem \(n\not\equiv 0\mod {p_k}\) oder \(n\equiv 0\pmod {p_k}\) ist (wo \(p_k\) die \(k\)-te Primzahl ist). Es sei \(f_k(n)=\prod\limits_{j=1}^k f^{(j)}(n)\). Für eine Funktion \(g(n)\) werde noch der Mittelwert \[ \lim_{n\to \infty}\frac 1n \sum_{m=1}^n g(m) \] durch \(M\{g\}\) bezeichnet, falls dieser Grenzwert existiert. Verf. beweisen: 1) Falls \(f(n)\) stark multiplikativ ist und \[ \sum \frac{|1-f(p)|}p< \infty \tag{1} \] ist, so ist \[ M\{f(n)\}=\prod \left(1-\frac{1-f(p)}p\right) \] (Summe und Produkt erstrecken sich über alle Primzahlen). 2) Jede stark multiplikative positive Funktion mit der Eigenschaft (1) ist fast-periodisch \((B)\), und es ist \[ \lim_{k\to \infty} M\{|f-f_k|\}=0. \] Es ist \(f(n)\) grenzperiodisch, und ihre Fourierreihe \((B)\) ist \[ f(n)\sim M\{f\}\sum_{r=1}^\infty \mu(r)c_r(n) \prod_{p|r} \frac{1-f(p)}{f(p)-1+p}, \tag{2} \] wo \(\mu(n)\) die zahlentheoretische Funktion von Moebius und \(c_r(n)\) die Summe von Ramanujan: \[ c_r(n)=\sum_m \cos \frac{2\pi mn}r \quad ((m,r)=1, \;1\leqq m< r) \] ist. Diese Fourierreihe ist also identisch mit der formalen Ramanujanschen trigonometrischen Reihe für \(f(n)\) (\textit{Ramanujan}, Collected papers (1927; F. d. M. 53, 30), S. 179-199). Die Frequenzen (Fourier-Exponenten) von \(f(n)\) sind rationale Zahlen im Intervall (0,1) und sind dort gleichmäßig verteilt. 3) Eine stark multiplikative positive Funktion \(f(n)\), für die außer (1) noch \[ \sum \frac{|1-f(p)^2|}p < \infty \] gilt, ist fastperiodisch \((B^2)\) und hat die Fourierreihe (2). Es ist \[ \lim_{k\to \infty} M\{(f-f_k)^2\}=0. \] 4) Eine stark multiplikative positive Funktion \(f(n)\) ist dann und nur dann gleichmäßig fast-periodisch, wenn \[ \sum |1-f(p)|< \infty \] ist. 5) Ähnliche Resultate gelten für beliebige positive multiplikative zahlentheoretische Funktionen.