Über \textit{Lambert}sche Reihen. (Q1476567)

Es handelt sich um Reihen der Form \(\sum b_n\,\frac{x^n}{1-x^n}\), von denen die für \(b_n\equiv 1\) und \(b_n = n\) entstehenden schon von \textit{Lambert} in Potenzreihen entwickelt wurden. In \S\ 1 werden die Konvergenzfragen erledigt: Ist \(\sum b_n\) konvergent, so konvergiert die \textit{Lambert}sche Reihe für jedes \(| x|\gtrless 1\), ist dagegen \(\sum b_n\) divergent, so hat sie dasselbe Konvergenzgebiet wie \(\sum b_n x^n\). Ist \(r\) der Radius der letzteren, so läßt sich für \(| f|< \varrho = \text{Min}(r,1)\) \[ \sum^\infty_{n=1}b_n\;\frac{x^n}{1-x^n}=\sum^\infty_{n=1}a_nx^n \] setzen, wobei \[ a_n =\sum_{d/n}b_d\text{ und also }b_n =\sum_{d/n}\mu\left(\frac nd\right)a_d \] wird: Jede \textit{Lambert}sche Reihe läßt sich in eine Potenzreihe verwandeln und umgekehrt. Dies ist die Quelle einer großen Anzahl merkwürdiger (meist schon bekannter) Identitäten. Die folgenden Paragraphen sind der Untersuchung des Verhaltens der Reihe bei der Annäherung an die Konvergenzgrenze gewidmet. In Erweiterung eines Satzes von \textit{Franel} wird in \S\ 2 durch ein in seinem Grundgedanken auf \textit{Landau} zurückgehendes Beweisverfahren bewiesen: ``Sind für ein \(k\geq 1\) die Reihen \[ \sum^\infty_{\nu=1}\;\frac{b_{k\nu+l}}{k\nu+l}\quad (l=0,1,\dots,k-1) \] sämtlich konvergent, so ist bei radialer Annäherung von \(x\) an den Randpunkt \(x_0 =e^{2\pi ik'/k}\) (\(k'\) und \(k\) teilerfremd) \[ \lim_{x=x_0}\left\{\left(1-\frac{x}{x_0}\right)\sum b_n\;\frac{x^n}{1-x^n}\right\}=\sum^\infty_{\nu=1}\;\frac{b_{k\nu}}{k\nu}\,.\text{''} \] In \S\ 3 wird derselbe Satz auf Grund ganz anderer Methoden bewiesen, wobei sich ergibt, daß die Annäherung nicht radial zu erfolgen braucht; sie darf irgendwie in einem Winkelraum erfolgen, dessen Scheitel in \(x_0\) liegt, und dessen Schenkel in das Innere des Einheitskreises dringen, wofern \(\sum|\frac{b_n}{n}|\) konvergiert. Durch den bewiesenen Satz wird die Frage nach dem Verhalten der Reihensumme bei der Annäherung von \(x\) an einen irrationalen Randpunkt \(\xi = e^{2\pi i\gamma}\) (\(\gamma\) irrational) nahegelegt. In dieser Richtung wird bewiesen: ``Es ist bei radialer Annäherung \[ \lim_{x=\xi}\left(1-\frac x\xi\right)\sum b_n\;\frac{x^n}{1-x^n}=0, \] falls \(\sum| b_n|\) konvergiert.'' Dieselbe Beziehung bleibt auch für beliebige Annäherung richtig, falls die Teilnenner der Kettenbruchentwicklung von \(\gamma\) beschränkt sind. Aus den bewiesenen Sätzen folgt u.a., daß eine \textit{Lambert}sche Reihe sicher dann eine über den Einheitskreis hinaus nicht fortsetzbare Funktion darstellt, wenn für unendlich viele \(k\) die Reihen \(\sum\,\frac{b_{k\nu+l}}{k\nu+l}\) konvergent sind und \(\sum\frac{b_{k\nu}}{k\nu}\neq 0\) ist (z.B. bei \(b_n=\frac{1}{n^3}\) mit \({\mathfrak R}(s)>0\)). Sie ist auch für \(b_n=n^3\), \({\mathfrak R}(s)>0\), \(b_n=1\), u.a. nicht fortsetzbar. Da \(-\log\varPi(1-x^n) =\sum\,\frac1n\,\frac{x^n}{1-x^n}\), so ergibt sich als weitere Anwendung, daß bei Annäherung an jeden rationalen Randpunkt \[ \lim \varPi(1-x^n) = 0 \] ist, woraus speziell wieder folgt (was nicht neu), daß auch die Funktion \(\varPi(1-x^n)\) nicht über den Einheitskreis hinaus fortsetzbar ist. Auf S. 312 der Arbeit muß es \(q_\mu < \delta k_{\mu-2}\) statt \(\delta a_{\mu-2}\) heißen.