On Abel's transformation of trigonometric series. (Q1521827)

Setzt man in der Abel'schen Identität \[ \sum_{\mu=h}^m a_\mu b_\mu = \sum_{\mu=h}^{m-1} (a_\mu - a_{\mu+1}) (b_h + b_{h+1} + \cdots + b_\mu) + a_m (b_h + b_{h+1} + \cdots + b_m) \] \(b_\mu = \cos 2\mu x\pi\) und wendet sie auf die als convergent vorausgesetzte trigonometrische Reihe \(f (x) = \sum_{\mu=h}^\infty a_\mu \cos 2 \mu x \pi\) \((0<x<1\); \(h\geqq 0)\) an, so erhält man die Formel: \[ \sum_{\mu=h}^\infty a_\mu \cos 2\mu x\pi = \sum_{\nu=0}^{k-1} (-1)^{\nu+1} V^{2\nu} a_h\;\frac {\sin (2h + 2\nu - 1) x\pi}{(2 \sin x\pi)^{2 \nu+1}}+\sum_{\nu=0}^{k-1} (-1)^\nu V^{2 \nu+1} a_h\;\frac {\cos (2h + 2\nu) x\pi}{(2 \sin x\pi)^{2\nu+2}} \] \[ \qquad\qquad + \frac {(-1)^k}{(2\sin x\pi)^{2k}} \sum_{\mu=0}^\infty V^{2k} a_\mu \cos (2\mu + 2k) x\pi, \] worin gesetzt ist: \(Va_\mu = a_\mu - a_{\mu+1}\) \(V^2 a_\mu = Va_\mu - Va_{\mu+1},\) \(V^3 a_\mu = V^2 a_\mu - V^2 a_{\mu + 1}, \dots.\) Aehnliche Entwickelungen werden für die Reihen: \[ \sum_{\mu=h}^\infty b_\mu \sin 2 \mu x\pi, \;\sum_{\mu=h}^\infty a_\mu \cos (2\mu + 1) x\pi\quad\text{und}\quad \sum_{\mu=h}^\infty b_\mu \sin (2\mu + 1) x\pi \] gegeben, die Resultate auf \[ \sum_{\mu=0}^\infty \frac {e^{2\mu x \pi i}}{w + \mu}\,, \sum_{\mu=1}^\infty\;\log \frac {\mu}{\mu + 1} \sin (2\mu + 1) x\pi,\quad \sum_{\mu=0}^\infty \frac {\cos 2\mu x\pi}{(w + \mu)^s} \] angewandt; dadurch ergiebt sich z. B. \[ w\;\sum_{\mu=0}^\infty \frac {z^\mu}{w + \mu} = \sum_{\mu=0}^\infty\;\frac {(-1)^\mu}{{w + \mu \choose \mu}}\;\frac {z^\mu}{(1-z)^{\mu+1}}\,; \] ferner für \(-\tfrac {1}{3} < x < \tfrac {1}{3}:\) \[ \frac {\varGamma' (x + \tfrac {1}{2})}{\varGamma (x + \tfrac {1}{2})} = \varGamma' (1) - \log 2\pi + \tfrac{\pi}{2}\;\text{tang\,}x\pi -2 \sum_{\mu=1}^\infty\;(V^\mu \log h)_{h=1}\;\frac{\cos (2\mu + 1) x\pi}{(2 \cos x\pi)^{\mu+1}}; \] endlich, wenn \(1+1/2^s+1/3^s+1/4^s+\cdots = \zeta (s)\) gesetzt wird, \[ (1-2^{1-s}) \zeta (s) = \sum_{\nu=0}^\infty\;\frac {1}{2^{\nu+1}} \left( V^\nu \frac {1}{w^s} \right)_{w=1}. \]