Extract from a letter. (Q5912947)

Herr Lerch (siehe JFM 26.0476.01) leitet die folgende Reihenentwickelung ab: \[ \begin{multlined} \sum_{n=0}^{n=\infty} \frac{e^{-2\xi\pi i(v+n)}}{v+n} = -\log2\pi + \Gamma'(1) - \frac{\Gamma'(v)}{\Gamma(v)} - \frac{\pi i}2\\ - \log\xi - \sum_{k=-\infty}^{k=\infty}{}' e^{2kv\pi i}\log\frac{\xi+k}k,\end{multlined} \] wobei \(0<\xi<1\), \(0<v<1\) ist und der Accent am Summenzeichen auf der rechten Seite andeutet, dass der Wert \(k=0\) auszuschliessen ist. Mit Hülfe dieser Entwickelung gelingt es, die Kummer'sche Reihe für \(\log\Gamma(v)\) zu differentiiren. Zunächst lässt sich zeigen, dass \[ \left[\frac{\Gamma'(v)}{\Gamma(v)} - \Gamma'(1)\right](e^{2v\pi i}-1) + \left(\log2\pi+\frac{\pi i}2\right)e^{2v\pi i} + \sum_k e^{(2k+2)v\pi i}\log\frac{k+1}k \] \((k = 1,\pm2,\pm3,\dots)\) für alle zulässigen Werte von \(v\) den constanten Wert \(\left(\log2\pi-\frac{\pi i}2\right)\) hat. Daraus folgt dann für \(\frac d{dt}\log\Gamma(v)\) die Formel: \[ \begin{multlined} \sin v\pi\frac d{dv}\log\Gamma(v) + \frac{\pi}2\cos v\pi + [\log2\pi-\Gamma'(1)]\sin v\pi\\ = \sum_{k=1}^{k=\infty}\sin(2k+1)v\pi.\log\frac k{k+1}.\end{multlined} \] Diese Formel verificirt Herr Hermite, indem er beide Seiten mit \(2\sin(2n+1)v\pi\) multiplicirt und dann von \(v=0\) bis \(v=1\) integrirt, wobei \(n>0\) ist. Für \(n=0\) liefert dieses Verfahren einen neuen Integralausdruck für die Euler'sche Constante: \[ \int_{-\infty}^0 \left[\frac{1-e^y}y - \frac y{y^2+4\pi^2}\right]dy = \Gamma'(1) - \log2\pi. \]