Exponential analogues of the Lambert series. (Q2581927)

Verallgemeinerungen der Lambertschen Reihen \(\sum\limits_{n=1}^\infty a_n \dfrac{z^n}{1-z^n}\) (vgl. \textit{K. Knopp}, J. reine angew. Math. 142 (1913), 283-315; F. d. M. 44, 290 (JFM 44.0290.*)) wurden in den letzten Jahren von \textit{J. M. Feld} (Ann. Math., Princeton, (2) 33 (1932), 139-142; F. d. M. \(58_{\text I}\), 323), \textit{M. C. Garvin} (Amer. J. Math. 58 (1936), 507-513; F. d. M. \(62_{\text I}\), 336), \textit{C. H. W. Sedgewick} (Tôhoku math. J. 43 (1937), 314-325; F. d. M. \(63_{\text I}\), 273), \textit{W. C. Doyle} (Ann. Math., Princeton, (2) 40 (1939), 353-359; F. d. M. 65, 321 (JFM 65.0321.*)), \textit{J. M. Dobbie} (Duke math. J. 5 (1939), 325-332; F. d. M. 65, 321 (JFM 65.0321.*)) und andern untersucht. Hier handelt es sich um eine Verallgemeinerung, die sich zur klassischen Lambertschen Reihe verhält wie die Dirichletreihe zur Potenzreihe, nämlich um Reihen der Form \[ \sum_{n=1}^\infty a_n\frac{e^{-\lambda_nz}}{1-e^{-\alpha\lambda_nz}} \tag{1} \] (\(z = x + iy\), \(\lambda_n<\lambda_{n+1}\to\infty\), \(\alpha=1\)), die als allgemeine \(R\)-Reihen bezeichnet werden. \(\sum\limits_{n=1}^\infty a_ne^{-\lambda_nz}\) heißt die zugeordnete Dirichletreihe. Für \(\lambda_n=\log n\) erhält man die gewöhnliche \(R\)-Reihe \[ \sum_{n=2}^\infty a_n\frac{n^{-z}}{1-n^{-z}}. \tag{2} \] Die Reihen (1) mit \(\alpha > 0\) hat erstmals \textit{G. V. Iyer} (J. Indian math. Soc. (2) l (1934), 73-87; F. d. M. \(60_{\text{II}}\), 957) betrachtet, der für sie zwei Taubersätze bewiesen hat. Verf. beschränkt sich auf den Fall \(\alpha = 1\). Zuerst wird für \(x\neq 0\) das Konvergenzverhalten geklärt, einschließlich der absoluten und gleichmäßigen Konvergenz. Über die gewöhnliche Konvergenz gilt: Ist \(\sum a_n\) konvergent, so konvergiert (1) mindestens für \(x>0\) und \(x<0\); ist \(\sum a_n\) divergent, so konvergiert (1), abgesehen von den Punkten der imaginären Achse, in denselben Punkten wie die zugehörige Dirichletreihe. Zu jeder Reihe (1) gehört eindeutig eine Dirichletreihe und umgekehrt, derart, daß die beiden Reihen denselben Bereich absoluter Konvergenz besitzen und dort dieselbe analytische Funktion darstellen. Die beiden \(\lambda\)-Folgen stimmen dabei im allgemeinen nicht überein. Jedoch gehört zu einer gewöhnlichen \(R\)-Reihe (2) stets eine gewöhnliche Dirichletreihe \(\sum b_n n^{-z}\), wobei sich die Koeffizienten \(a_n\) übersichtlich in den \(b_n\) ausdrücken und umgekehrt. Z. B. ist für \(x>1\) \[ \sum_{n=1}^\infty \frac1{n^z}=1+\sum_{n=2}^\infty{}'\frac{n^{-z}}{1-n^{-z}}, \] wobei der Strich am Summenzeichen bedeutet, daß für \(n=m^r\) (\(m\), \(r\) ganz \(>1\)) der betreffende Summand zu unterdrücken ist. Die weitere Untersuchung befaßt sich mit dem Randverhalten der Reihe (2). Es gilt der Abelsche Satz: Wenn (2) absolut konvergiert für \(x>0\), und wenn \(\sum\limits_{n=2}^\infty\dfrac{a_n}{\log n}\) absolut konvergiert, so gilt bei Annäherung in einem Stolzschen Winkelraum \[ \lim_{z\to 0}z\sum_{n=2}^\infty \frac{a_n n^{-z}}{1-n^{-z}}= \sum_{n=2}^\infty\frac{a_n}{\log n}. \] Ferner wird eine Klasse von gewöhnlichen \(R\)-Reihen angegeben, die die imaginäre Achse zur natürlichen Grenze haben. Die explizite Bildung solcher Reihen kann mit Hilfe eines Analogons zum Franelschen Satz bei Lambertschen Reihen (vgl. \textit{Knopp}, a.a.O.) geschehen, welches zum Schluß bewiesen wird. Es lautet: Sei \(z_0 = iy_0\), \(y_0 = 2\pi k'/\log k\) (\(k'=\pm 1, \pm 2,\ldots\); \(k = 2,3, 4,\ldots\); \(r\) und \(k'\) relativ prim, falls \(k=m^r\), \(m\) und \(r\) ganz \(>1\)) und \(\sum\limits_{n=2}^\infty a_n[\log\{1+(1/n)^{|k'|}\}]^{-1}\) absolut konvergent. Dann gilt bei Stolzscher Annäherung aus der rechten Halbebene: \[ \lim_{z\to z_0} (z - z_0)\sum_{n=2}^\infty\frac{a_n n^{-z}}{1-n^{-z}}= \sum_{n=1}^\infty \frac{a_\nu}{\log \nu}\qquad \text{mit} \quad \nu=k^n. \]