Formula:DLMF:25.5:E7

<< Formula:DLMF:25.5:E6

formula in Integral Representations

Formula:DLMF:25.5:E8 >>

${\displaystyle{\displaystyle{\displaystyle\RiemannZeta@{s}=\frac{1}{2}+\frac{1}{s-1}+\sum_{m=1}^{n}\frac{\BernoulliB{2m}}{(2m)!}\frac{\Gamma\left(s+2m-1\right)}{\Gamma\left(s\right)}+\frac{1}{\Gamma\left(s\right)}\int_{0}^{\infty}\left(\frac{1}{{\mathrm{e}^{x}}-1}-\frac{1}{x}+\frac{1}{2}-\sum_{m=1}^{n}\frac{\BernoulliB{2m}}{(2m)!}x^{2m-1}\right)\frac{x^{s-1}}{{\mathrm{e}^{x}}}\mathrm{d}x}}}$

Constraint(s)

${\displaystyle{\displaystyle{\displaystyle\Re{s}>-(2n+1)}}}$ &
${\displaystyle{\displaystyle{\displaystyle n=1,2,3,\dots}}}$ &
${\displaystyle{\displaystyle{\displaystyle s\neq 1}}}$

Proof

We ask users to provide proof(s), reference(s) to proof(s), or further clarification on the proof(s) in this space.

Follows from

${\displaystyle{\displaystyle{\displaystyle\RiemannZeta@{s}=\frac{1}{2}+\frac{1}{s-1}+\frac{1}{\Gamma\left(s\right)}\int_{0}^{\infty}\left(\frac{1}{{\mathrm{e}^{x}}-1}-\frac{1}{x}+\frac{1}{2}\right)\frac{x^{s-1}}{{\mathrm{e}^{x}}}\mathrm{d}x}}}$
because ${\displaystyle{\displaystyle{\displaystyle\Gamma\left(s+2m-1\right)=\int_{0}^{\infty}{\mathrm{e}^{-x}}x^{s+2m-2}\mathrm{d}x}}}$
(see
${\displaystyle{\displaystyle{\displaystyle\Gamma\left(z\right)=\int_{0}^{\infty}{\mathrm{e}^{-t}}t^{z-1}\mathrm{d}t}}}$

).

Symbols List

& : logical and
${\displaystyle{\displaystyle{\displaystyle\zeta}}}$ : Riemann zeta function : http://dlmf.nist.gov/25.2#E1
${\displaystyle{\displaystyle{\displaystyle\Sigma}}}$ : sum : http://drmf.wmflabs.org/wiki/Definition:sum
${\displaystyle{\displaystyle{\displaystyle B_{n}}}}$ : Bernoulli polynomial : http://dlmf.nist.gov/24.2#i
${\displaystyle{\displaystyle{\displaystyle\Gamma}}}$ : Euler's gamma function : http://dlmf.nist.gov/5.2#E1
${\displaystyle{\displaystyle{\displaystyle\int}}}$ : integral : http://dlmf.nist.gov/1.4#iv
${\displaystyle{\displaystyle{\displaystyle\mathrm{e}}}}$ : the base of the natural logarithm : http://dlmf.nist.gov/4.2.E11
${\displaystyle{\displaystyle{\displaystyle\mathrm{d}^{n}x}}}$ : differential : http://dlmf.nist.gov/1.4#iv
${\displaystyle{\displaystyle{\displaystyle\Re{z}}}}$ : real part : http://dlmf.nist.gov/1.9#E2

Bibliography

Equation (7), Section 25.5 of DLMF.

URL links

We ask users to provide relevant URL links in this space.

<< Formula:DLMF:25.5:E6

formula in Integral Representations

Formula:DLMF:25.5:E8 >>