A generalized Lambert series. (Q5922166)

Eine weitgehende Untersuchung Lambertscher Reihen \[ \sum _{n=1}^\infty b_n\,\frac {x^n}{1-x^n}\tag{1} \] verdankt man \textit{K. Knopp} (J. reine angew. Math. 142 (1913), 283-315; F. d. M. 44, 290 (JFM 44.0290.*)-291). Im Anschluß daran hat \textit{M. C. Garvín} (Amer. J. Math. 58 (1936), 507-513; JFM 62.0336.*) Reihen der Form \[ \sum _{n=1}^\infty b_n\,\frac {x^{\lambda n}}{1-x^{\mu n}}\tag{2} \] (\(\lambda \), \(\mu \) positiv ganz) betrachtet und auf sie verschiedene der Knoppschen Resultate übertragen. Verf. betrachtet nun noch allgemeiner Reihen der Form \[ \sum _{n=1}^\infty b_nx^{\lambda n}h(x^n),\tag{3} \] wobei \(\lambda \) positiv ganz, \(h (x)\) in \(|x|<1\) analytisch und \(h(0)\neq 0\) ist. Ist \(0 < r \leqq 1\), und konvergiert \(\sum _{n=1}^\infty b_n\,x^{\lambda n}\) für \(|x|<r\), so konvergiert die Reihe (3) absolut und gleichmäßig in jedem abgeschlossenen Teilgebiet des Gebiets \(|x|<r\); die Reihe (3) wird dann durch die dargestellte Funktion eindeutig bestimmt. Dann und nur dann läßt sich eine Funktion \(f (x)\) in der Umgebung des Nullpunkts in eine konvergente Reihe der Form \(\sum _{n=1}^\infty b_nx^nh(x^n)\) entwickeln, wenn \(f (x)\) bei \(x=0\) analytisch und \(f(0) = 0\) ist. Weiter untersucht Verf. das (unter anderem im Hinblick auf Nichtfortsetzbarkeit interessante) Verhalten der durch (3) dargestellten Funktion bei radialer Annäherung an einen Punkt der Konvergenzgrenze. Für gewöhnliche Lambertsche Reihen siehe darüber außer Knopp auch \textit{G. H. Hardy} (Proc. London math. Soc. (2) 13 (1913), 192-198; F. d. M. 45, 398 (JFM 45.0398.*)). Beispiel: Es sei \(h(x)\) in \(|x|<1\) analytisch, habe auf \(|x|=1\) nur endlich viele Singularitäten und bei \(x=1\) einen Pol der Ordnung \(r\geqq 1\). Die Punkte \(x_0^l\) (\(x_0=e^{2\pi ik/k'}\); \(k\), \(k'\) positiv ganz, relativ prim; \(l=1,2,\ldots,k-1\) seien Pole der Ordnung \(r_l\leqq r-1\). Es sei mit geeignetem \(p\) \[ f(x) = \sum _{n=1}^\infty b_nx^{\lambda n}h(x^n), \quad C_p-\sum _{n=1}^\infty \frac {b_{k\nu }}{(k\nu )^r} = S. \] Ferner seien für \(l=1,2,\ldots,k-1\) die Reihen \[ \sum _{\nu =0}^\infty \frac {b_{k\nu +l}}{(k\nu +l)^{r_l+1}}\tag{4} \] \(C_p\)-summierbar (es genügt schon \(B_{\nu,l}^p = o\,(\nu ^{p+1})\), wenn die \(B_{\nu,l}^p\) die \(p\)-ten Cesàroschen Mittel der Teilsummen der Reihen (4) bedeuten). Dann ist bei radialer Annäherung von \(x\) an \(x_0\) \[ \lim _{x\to x_0}\,\Bigl(1-\frac {x}{x_0}\Bigr)^r\,f(x) = S\lim _{x\to 1}\,(1-x)^rh(x). \]