Sur les séries de Dirichlet dont les exposants sont linéairement indépendants. (Q565693)

Es sei \(D(\lambda )\) das durch die Ungleichung \[ \sigma \geq \lambda \sin ^2 \left ( \frac {t- \left [ \frac {t}{2 \pi } \right ] 2\pi }{4} \right ) \] bestimmte Gebiet in der komplexen Veränderlichen \(s=\sigma +it\) (hier bedeutet \([x]\) die zu \(x\) nächste ganze Zahl, also nicht, wie üblich, die größte ganze Zahl \(\leq x\)). Verf. behauptet dann: Die \textit{Dirichelt}sche Reihe \[ \sum _{n=1}^{\infty } a_n e^{-\lambda _n s} \quad (0 < \lambda _1 < \lambda _2 < \dots. \lambda _n \to \infty ) \] möge absolut konvergieren für gewisse \(s\). Die durch die Reihe dargestellte Funktion \(f(s)\) sei für ein gewisses \(\lambda \) mit \(0 < \lambda < \frac {1}{2}\) regulär in \(D(\lambda )\). Für ganze rationale \(A_i\), die nicht alle verschwinden, sei \[ A_1 \lambda _1 + A_2 \lambda _2 + \dots + A_n \lambda _n \] niemals eine ganze rationale Zahl. Falls es dann eine komplexe Zahl \(a\neq 0\) und eine positive Zahl \(\delta <|a|\) gibt derart, daß in \(D(\lambda )\): \[ |f(s) - a| > \delta \,. \] so gilt \[ |a_n| \leq |a| - \delta \quad (n = 1,2, \dots ). \] Oder auch: falls \(R\) die obere Grenze der Zahlen \(|a_n|\) \((n=1,2, \dots )\) ist, so liegen die in \(D(\lambda )\) angenommenen Funktionswerte \(z=f(s)\) überall dicht im Kreis \(|z| \leq R\).