On a Tauberian theorem for Lambert's series, and some fundamental theorems in the analytic theory of numbers. (Q1465354)

Es sei \(a_n > - k, f (x) =\sum_{n=1}^\infty a_n \frac {x^n}{1- x^n}\) für \(| x| < 1\) konvergent, \(f (x) =o\left( \frac 1{1- x}\right)\) für zu 1 wachsendes \(x.\) Dann ist \(\sum_{n=1}^\infty \frac {a_n}n=0.\) Diesen Satz beweisen Verf. (im Gegensatz zu allen alten Sätzen vom Tauber-Typus) nicht elementar, sondern unter Benutzung der tiefsten Sätze der Primzahltheorie. Und dies ist nicht zu verwundern ; denn der Primzahlsatz ist ein Spezialfall; nämlich \(a_n=\mu(n)\) gibt \(f (x) = x = o\left( \frac {1}{1- x}\right), \sum_{n=1}^\infty \frac {\mu(n)}{n} =0,\) was bekanntlich dem Primzahlsatz äquivalent ist; eine andere Spezialisierung führt direkt zu \(\psi(x) \sim x,\) also zum Primzahlsatz. Ein künftig etwa zu findender elementarer Beweis des obigen Satzes über \(f(x)\) würde allerdings den Aufbau der analytischen Zahlentheorie umwälzen.