Formula:DLMF:25.11:E27

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


\HurwitzZeta @ s a = 1 2 a - s + a 1 - s s - 1 + 1 Γ ( s ) 0 ( 1 e x - 1 - 1 x + 1 2 ) x s - 1 e a x d x \HurwitzZeta @ 𝑠 𝑎 1 2 superscript 𝑎 𝑠 superscript 𝑎 1 𝑠 𝑠 1 1 Euler-Gamma 𝑠 superscript subscript 0 1 𝑥 1 1 𝑥 1 2 superscript 𝑥 𝑠 1 𝑎 𝑥 𝑥 {\displaystyle{\displaystyle{\displaystyle\HurwitzZeta@{s}{a}=\frac{1}{2}a^{-s% }+\frac{a^{1-s}}{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}^{ax}}}\mathrm{d}x}}}

Constraint(s)

s > - 1 𝑠 1 {\displaystyle{\displaystyle{\displaystyle\Re{s}>-1}}} &
s 1 𝑠 1 {\displaystyle{\displaystyle{\displaystyle s\neq 1}}} &
a > 0 𝑎 0 {\displaystyle{\displaystyle{\displaystyle\Re{a}>0}}}


Proof

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

Argue as in

\RiemannZeta @ s = 1 2 + 1 s - 1 + 1 Γ ( s ) 0 ( 1 e x - 1 - 1 x + 1 2 ) x s - 1 e x d x \RiemannZeta @ 𝑠 1 2 1 𝑠 1 1 Euler-Gamma 𝑠 superscript subscript 0 1 𝑥 1 1 𝑥 1 2 superscript 𝑥 𝑠 1 𝑥 𝑥 {\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}}} {\displaystyle \RiemannZeta@{s} = \frac{1}{2} + \frac{1}{s-1} + \frac{1}{\EulerGamma@{s}} \int_0^\infty \left( \frac{1}{\expe^x-1} - \frac{1}{x} + \frac{1}{2} \right) \frac{x^{s-1}}{\expe^x} \diff{x} } .


Symbols List

& : logical and
ζ 𝜁 {\displaystyle{\displaystyle{\displaystyle\zeta}}}  : Hurwitz zeta function : http://dlmf.nist.gov/25.11#E1
Γ Γ {\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
e e {\displaystyle{\displaystyle{\displaystyle\mathrm{e}}}}  : the base of the natural logarithm : http://dlmf.nist.gov/4.2.E11
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 (27), Section 25.11 of DLMF.

URL links

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