Skip to main content
1 of 10
Anixx
  • 10.1k
  • 4
  • 39
  • 63

Gamma function arises when we consecutively differentiate an Abel sequence. An example of Abel polynomials are Bernoulli polynomials

$$B_n'(x)=nB_{n-1}(x)$$

which are just another name for Hurwitz Zeta function:

$$B_n(x) = -n \zeta(1-n,x)$$

Since Reihmann zeta is Hurwitz zeta evaluated at 1, the expression you give is apparently consecutive derivative of Hurwitz Zeta, with factor $\pi^{-s}$ appearing if we normalize Hurwitz Zeta by stretching it horizontally by factor of pi.

Consecutive derivatives of Hurwitz Zeta in turn are nothing more than just polygamma function.


For instance, here is the function $-1/x$:

http://storage6.static.itmages.ru/i/14/0910/h_1410327935_9959844_7e87ae4078.png

If we add infinitely many similar functions with a shift of pi/2 each in both directions, we get $\tan x$. But if we do the same only in one direction, we get "incomplete tangent":

http://storage7.static.itmages.ru/i/14/0910/h_1410326921_7988832_91f3fd7d7d.png

The yellow one is $\operatorname{pg}(x)=\frac 1\pi \psi (\frac x\pi)$, the blue one is $\operatorname{cpg}(x)=-\frac 1\pi \psi (\pi-\frac x\pi)$. They obey $\operatorname{cpg}(x)+\operatorname{pg}(x)=-\cot(x)$.

Now if we differentiate cpg(x) we get:

$$(\operatorname{cpg}(x))^{(s-1)}=\pi^{-s}\Gamma(s)\zeta(s,x)$$

Compare it with yours formula:

$$\xi(2s) = \pi^{-s}\ \Gamma\left(s\right)\zeta(2s)$$

Anixx
  • 10.1k
  • 4
  • 39
  • 63