Formula:DLMF:25.11:E7

From DRMF
Revision as of 08:33, 22 December 2019 by Move page script (talk | contribs) (Move page script moved page Formula:DLMF:25.11:E7 to F:DLMF:25.11:E7)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


\HurwitzZeta @ s a = 1 a s + 1 ( 1 + a ) s ( 1 2 + 1 + a s - 1 ) + k = 1 n ( s + 2 k - 2 2 k - 1 ) \BernoulliB 2 k 2 k 1 ( 1 + a ) s + 2 k - 1 - ( s + 2 n 2 n + 1 ) 1 \PeriodicBernoulliB 2 n + 1 @ x ( x + a ) s + 2 n + 1 d x \HurwitzZeta @ 𝑠 𝑎 1 superscript 𝑎 𝑠 1 superscript 1 𝑎 𝑠 1 2 1 𝑎 𝑠 1 superscript subscript 𝑘 1 𝑛 binomial 𝑠 2 𝑘 2 2 𝑘 1 \BernoulliB 2 𝑘 2 𝑘 1 superscript 1 𝑎 𝑠 2 𝑘 1 binomial 𝑠 2 𝑛 2 𝑛 1 superscript subscript 1 \PeriodicBernoulliB 2 𝑛 1 @ 𝑥 superscript 𝑥 𝑎 𝑠 2 𝑛 1 𝑥 {\displaystyle{\displaystyle{\displaystyle\HurwitzZeta@{s}{a}=\frac{1}{a^{s}}+% \frac{1}{(1+a)^{s}}\left(\frac{1}{2}+\frac{1+a}{s-1}\right)+\sum_{k=1}^{n}% \genfrac{(}{)}{0.0pt}{}{s+2k-2}{2k-1}\frac{\BernoulliB{2k}}{2k}\frac{1}{(1+a)^% {s+2k-1}}-\genfrac{(}{)}{0.0pt}{}{s+2n}{2n+1}\int_{1}^{\infty}\frac{% \PeriodicBernoulliB{2n+1}@{x}}{(x+a)^{s+2n+1}}\mathrm{d}x}}}

Constraint(s)

s 1 𝑠 1 {\displaystyle{\displaystyle{\displaystyle s\neq 1}}} &
a > 0 𝑎 0 {\displaystyle{\displaystyle{\displaystyle a>0}}} &
n = 1 , 2 , 3 , 𝑛 1 2 3 {\displaystyle{\displaystyle{\displaystyle n=1,2,3,\dots}}} &
s > - 2 n 𝑠 2 𝑛 {\displaystyle{\displaystyle{\displaystyle\Re{s}>-2n}}}


Proof

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

Take N = 1 𝑁 1 {\displaystyle{\displaystyle{\displaystyle N=1}}} in

\HurwitzZeta @ s a = n = 0 N 1 ( n + a ) s + ( N + a ) 1 - s s - 1 - s N x - x ( x + a ) s + 1 d x \HurwitzZeta @ 𝑠 𝑎 superscript subscript 𝑛 0 𝑁 1 superscript 𝑛 𝑎 𝑠 superscript 𝑁 𝑎 1 𝑠 𝑠 1 𝑠 superscript subscript 𝑁 𝑥 𝑥 superscript 𝑥 𝑎 𝑠 1 𝑥 {\displaystyle{\displaystyle{\displaystyle\HurwitzZeta@{s}{a}=\sum_{n=0}^{N}% \frac{1}{(n+a)^{s}}+\frac{(N+a)^{1-s}}{s-1}-s\int_{N}^{\infty}\frac{x-\left% \lfloor x\right\rfloor}{(x+a)^{s+1}}\mathrm{d}x}}} {\displaystyle \HurwitzZeta@{s}{a} = \sum_{n=0}^N \frac{1}{(n+a)^s} + \frac{(N+a)^{1-s}}{s-1} - s \int_N^\infty \frac{x-\floor{x}}{(x+a)^{s+1}} \diff{x} }

and integrate by parts.


Symbols List

& : logical and
ζ 𝜁 {\displaystyle{\displaystyle{\displaystyle\zeta}}}  : Hurwitz zeta function : http://dlmf.nist.gov/25.11#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 (7), Section 25.11 of DLMF.

URL links

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