Formula:DLMF:25.2:E9

From DRMF
Revision as of 18:09, 2 January 2020 by Admin (talk | contribs) (→‎Symbols List)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


ζ ( s ) = k = 1 N 1 k s + N 1 - s s - 1 - 1 2 N - s + k = 1 n ( s + 2 k - 2 2 k - 1 ) B 2 k 2 k N 1 - s - 2 k - ( s + 2 n 2 n + 1 ) N B ~ 2 n + 1 ( x ) x s + 2 n + 1 d x , Riemann-zeta 𝑠 superscript subscript 𝑘 1 𝑁 1 superscript 𝑘 𝑠 superscript 𝑁 1 𝑠 𝑠 1 1 2 superscript 𝑁 𝑠 superscript subscript 𝑘 1 𝑛 binomial 𝑠 2 𝑘 2 2 𝑘 1 Bernoulli-number-B 2 𝑘 2 𝑘 superscript 𝑁 1 𝑠 2 𝑘 binomial 𝑠 2 𝑛 2 𝑛 1 superscript subscript 𝑁 periodic-Bernoulli-polynomial-B 2 𝑛 1 𝑥 superscript 𝑥 𝑠 2 𝑛 1 𝑥 {\displaystyle{\displaystyle\zeta\left(s\right)=\sum_{k=1}^{N}\frac{1}{k^{s}}+% \frac{N^{1-s}}{s-1}-\frac{1}{2}N^{-s}+\sum_{k=1}^{n}\genfrac{(}{)}{0.0pt}{}{s+% 2k-2}{2k-1}\frac{B_{2k}}{2k}N^{1-s-2k}-\genfrac{(}{)}{0.0pt}{}{s+2n}{2n+1}\int% _{N}^{\infty}\frac{\widetilde{B}_{2n+1}\left(x\right)}{x^{s+2n+1}}\mathrm{d}x,}}

Constraint(s)

s > - 2 n 𝑠 2 𝑛 {\displaystyle{\displaystyle\Re s>-2n}}
n , N = 1 , 2 , 3 , formulae-sequence 𝑛 𝑁 1 2 3 {\displaystyle{\displaystyle n,N=1,2,3,\dots}}

Proof

Follows from

ζ ( s ) = 1 Γ ( s ) 0 x s - 1 e x - 1 d x Riemann-zeta 𝑠 1 Euler-Gamma 𝑠 superscript subscript 0 superscript 𝑥 𝑠 1 𝑥 1 𝑥 {\displaystyle{\displaystyle{\displaystyle\zeta\left(s\right)=\frac{1}{\Gamma% \left(s\right)}\int_{0}^{\infty}\frac{x^{s-1}}{{\mathrm{e}^{x}}-1}\mathrm{d}x}}} {\displaystyle \Riemannzeta@{s} = \frac{1}{\EulerGamma@{s}} \int_0^\infty \frac{x^{s-1}}{\expe^x-1} \diff{x} }

by repeated integration by parts.

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
( n k ) binomial 𝑛 𝑘 {\displaystyle{\displaystyle{\displaystyle\genfrac{(}{)}{0.0pt}{}{n}{k}}}}  : binomial coefficient : http://dlmf.nist.gov/1.2#E1 http://dlmf.nist.gov/26.3#SS1.p1
B n subscript 𝐵 𝑛 {\displaystyle{\displaystyle{\displaystyle B_{n}}}}  : Bernoulli polynomial : http://dlmf.nist.gov/24.2#i
{\displaystyle{\displaystyle{\displaystyle\int}}}  : integral : http://dlmf.nist.gov/1.4#iv
B ~ n subscript ~ 𝐵 𝑛 {\displaystyle{\displaystyle{\displaystyle\widetilde{B}_{n}}}}  : periodic Bernoulli functions : http://dlmf.nist.gov/24.2#iii
d n x superscript d 𝑛 𝑥 {\displaystyle{\displaystyle{\displaystyle\mathrm{d}^{n}x}}}  : differential : http://dlmf.nist.gov/1.4#iv
z 𝑧 {\displaystyle{\displaystyle{\displaystyle\Re{z}}}}  : real part : http://dlmf.nist.gov/1.9#E2

Bibliography

Equation (9), Section 25.2 of DLMF.

URL links

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