On the completeness of Lambert functions. (Q2607367)

\textit{Satz}. Die Funktionenfolge \[ S(\alpha, \beta, \lambda _n):\;\;f_n(t)=(1-t)^\alpha \kern-2pt \textstyle \sum\limits_{m=1}^{\infty } \displaystyle m^\beta t^{m\lambda _n}\qquad(n=1, 2,\dots ) \] ist im Raume \(L_p(0, 1)\) mit \(p\geqq 1\) vollständig (d. h. es gibt keine Funktion \(g(t)\not\sim 0\) aus \(L^{p'}(0, 1)\), \(\dfrac{1}{p}+\dfrac{1}{p'}=1\), für die \[ \textstyle\int\limits_{0}^{1}f_n(t)\,g(t)\,dt=0\qquad(n=1, 2,\dots ) \] ist), wenn \[ \alpha >\text{Max}\biggl(\beta +1-\frac{1}{p}, -\frac{1}{p}\biggr),\;\; \mathfrak R\lambda _n\geqq \delta >0,\;\textstyle \sum\limits_{n=1}^{\infty } \displaystyle \mathfrak R\frac{1}{\lambda _n}=+\infty . \] Hierunter fallen die aus der Theorie der \textit{Lambert}schen Reihen bekannten Folgen \[ S_1:\,\frac{(1-t)t^n}{1-t^n}, \;\;S_2:\,\frac{(1-t)^2t^n}{(1-t^n)^2}\qquad(n=1, 2,\dots ). \] Fügt man zu \(S(\alpha, \beta, \lambda _n)\) die Funktion 1 hinzu, so ist die Folge auch vollständig im Raum der in \(\langle0, 1\rangle\) stetigen Funktionen, wenn \[ \alpha >\text{Max}\,(\beta +1, 0),\;\; \mathfrak R\lambda _n\geqq \delta >0,\;\textstyle \sum\limits_{n=1}^{\infty } \displaystyle \mathfrak R\frac{1}{\lambda _n}=+\infty . \] Die Folgen \(S_1\) und \(S_{2}\) fallen \textit{nicht} hierunter.