Sur une série qui se présente dans la théorie du logarithme intégral. (Q1494041)

Durch Umgestaltung einer früher von ihm veröffentlichten Formel gewinnt Verf. eine die Relation \[ (1) \quad \sum_{m=0}^{\infty}\frac{x^{m+x}}{m+x}=z^{x-1}\sum_{m=1}^{\infty}s_{m}\left ({x-1}\atop{m}\right)\left(\frac{1- z}{z}\right)^{m}-\log(1-z)=\frac{\varGamma'(x)}{\varGamma(x)}+\varGamma'(1) \] \[ \left(s_{m}=1+\tfrac{1}{2}+\cdots+\tfrac{1}{m}\right). \] Die linke Seite konvergiert nur für \(| z|<1\), während die Reihe rechts konvergiert, wenn der reelle Teil von \(z\) größer als \(\frac{1}{2}\) ist. Man sieht leicht, wie \(z^{x}\) und der Logarithmus zu bestimmen sind, damit die rechte Seite die Fortsetzung der linken wird. Verf. beschränkt sich auf reelle \(z\), die sehr an 1 liegen und kleiner als 1 sind. Setzt \(z=1-\varphi(x)\) und wird \(\varphi(x)\) bei unendlich zunehmenden \(x\) unendlich klein, aber so, daß\ \(x\varphi(x)\) einen endlichen Grenzwert \(a\) zustrebt, so ergibt sich \[ \lim_{x=\infty}\sum_{m=0}^{\infty}\frac{\left\{1-\varphi(x)\right\}^{m+x}}{m+x}=e^{-a}\sum_{m=1}^{\infty}s_{m}\;\frac{a^{m}}{m!}-C-\log a. \] \(C=-\varGamma'(1)\) ist die \textit{Euler}sche Konstante. Unter der Annahme \(\varphi(x)=\frac{a}{x}\), \(x=n\) (einer ganzen Zahl) geht hieraus eine Formel der Theorie des Integrallogarithmus hervor, die \textit{Nielsen} gefunden hat. Die rechte Seite ist dannn nämlich gleich \(-li\,e^{-a}\). Noch verschiedene andere Folgerungen werden aus Formel (1) gezogen.