Lerch's Transcendent: Difference between revisions

From DRMF
Jump to navigation Jump to search
imported>SeedBot
DRMF
 
(No difference)

Latest revision as of 00:34, 6 March 2017

Lerch's Transcendent

Definition

Φ ( z , s , a ) = n = 0 z n ( a + n ) s Lerch-Phi 𝑧 𝑠 𝑎 superscript subscript 𝑛 0 superscript 𝑧 𝑛 superscript 𝑎 𝑛 𝑠 {\displaystyle{\displaystyle{\displaystyle{\Phi\left(z,s,a\right)=\sum_{n=0}^{% \infty}\frac{z^{n}}{(a+n)^{s}}}}}} {\displaystyle { \LerchPhi@{z}{s}{a} = \sum_{n=0}^\infty \frac{z^n}{(a+n)^s} } }

Constraint(s): a 0 , - 1 , - 2 , , | z | < 1 formulae-sequence 𝑎 0 1 2 𝑧 1 {\displaystyle{\displaystyle{\displaystyle a\neq 0,-1,-2,\dots,|z|<1}}} &
s > 1 , | z | = 1 formulae-sequence 𝑠 1 𝑧 1 {\displaystyle{\displaystyle{\displaystyle\Re{s}>1,|z|=1}}}


\HurwitzZeta @ s a = Φ ( 1 , s , a ) \HurwitzZeta @ 𝑠 𝑎 Lerch-Phi 1 𝑠 𝑎 {\displaystyle{\displaystyle{\displaystyle\HurwitzZeta@{s}{a}=\Phi\left(1,s,a% \right)}}} {\displaystyle \HurwitzZeta@{s}{a} = \LerchPhi@{1}{s}{a} }

Constraint(s): s > 1 𝑠 1 {\displaystyle{\displaystyle{\displaystyle\Re{s}>1}}} &
a 0 , - 1 , - 2 , 𝑎 0 1 2 {\displaystyle{\displaystyle{\displaystyle a\neq 0,-1,-2,\dots}}}


\Polylogarithm s @ z = z Φ ( z , s , 1 ) \Polylogarithm 𝑠 @ 𝑧 𝑧 Lerch-Phi 𝑧 𝑠 1 {\displaystyle{\displaystyle{\displaystyle\Polylogarithm{s}@{z}=z\Phi\left(z,s% ,1\right)}}} {\displaystyle \Polylogarithm{s}@{z} = z \LerchPhi@{z}{s}{1} }

Constraint(s): s > 1 𝑠 1 {\displaystyle{\displaystyle{\displaystyle\Re{s}>1}}} &
| z | 1 𝑧 1 {\displaystyle{\displaystyle{\displaystyle|z|\leq 1}}}


Properties

Φ ( z , s , a ) = z m Φ ( z , s , a + m ) + n = 0 m - 1 z n ( a + n ) s Lerch-Phi 𝑧 𝑠 𝑎 superscript 𝑧 𝑚 Lerch-Phi 𝑧 𝑠 𝑎 𝑚 superscript subscript 𝑛 0 𝑚 1 superscript 𝑧 𝑛 superscript 𝑎 𝑛 𝑠 {\displaystyle{\displaystyle{\displaystyle\Phi\left(z,s,a\right)=z^{m}\Phi% \left(z,s,a+m\right)+\sum_{n=0}^{m-1}\frac{z^{n}}{(a+n)^{s}}}}} {\displaystyle \LerchPhi@{z}{s}{a} = z^m \LerchPhi@{z}{s}{a+m} + \sum_{n=0}^{m-1} \frac{z^n}{(a+n)^s} }

Constraint(s): a 0 , - 1 , - 2 , , | z | < 1 formulae-sequence 𝑎 0 1 2 𝑧 1 {\displaystyle{\displaystyle{\displaystyle a\neq 0,-1,-2,\dots,|z|<1}}} &
s > 1 , | z | = 1 formulae-sequence 𝑠 1 𝑧 1 {\displaystyle{\displaystyle{\displaystyle\Re{s}>1,|z|=1}}} &
m = 1 , 2 , 3 , 𝑚 1 2 3 {\displaystyle{\displaystyle{\displaystyle m=1,2,3,\dots}}}


Φ ( z , s , a ) = 1 Γ ( s ) 0 x s - 1 e - a x 1 - z e - x d x Lerch-Phi 𝑧 𝑠 𝑎 1 Euler-Gamma 𝑠 superscript subscript 0 superscript 𝑥 𝑠 1 𝑎 𝑥 1 𝑧 𝑥 𝑥 {\displaystyle{\displaystyle{\displaystyle\Phi\left(z,s,a\right)=\frac{1}{% \Gamma\left(s\right)}\int_{0}^{\infty}\frac{x^{s-1}{\mathrm{e}^{-ax}}}{1-z{% \mathrm{e}^{-x}}}\mathrm{d}x}}} {\displaystyle \LerchPhi@{z}{s}{a} = \frac{1}{\EulerGamma@{s}} \int_0^\infty \frac{x^{s-1} \expe^{-ax}}{1-z\expe^{-x}} \diff{x} }

Constraint(s): s > 0 𝑠 0 {\displaystyle{\displaystyle{\displaystyle\Re{s}>0}}} &
a > 0 𝑎 0 {\displaystyle{\displaystyle{\displaystyle\Re{a}>0}}} &
z \Complex [ 1 , ) 𝑧 \Complex 1 {\displaystyle{\displaystyle{\displaystyle z\in\Complex\setminus[1,\infty)}}}


Φ ( z , s , a ) = 1 2 a - s + 0 z x ( a + x ) s d x - 2 0 sin ( x ln z - s arctan ( x / a ) ) ( a 2 + x 2 ) s / 2 ( e 2 π x - 1 ) d x Lerch-Phi 𝑧 𝑠 𝑎 1 2 superscript 𝑎 𝑠 superscript subscript 0 superscript 𝑧 𝑥 superscript 𝑎 𝑥 𝑠 𝑥 2 superscript subscript 0 𝑥 𝑧 𝑠 𝑥 𝑎 superscript superscript 𝑎 2 superscript 𝑥 2 𝑠 2 2 𝑥 1 𝑥 {\displaystyle{\displaystyle{\displaystyle\Phi\left(z,s,a\right)=\frac{1}{2}a^% {-s}+\int_{0}^{\infty}\frac{z^{x}}{(a+x)^{s}}\mathrm{d}x-2\int_{0}^{\infty}% \frac{\sin\left(x\ln z-s\operatorname{arctan}\left(x/a\right)\right)}{(a^{2}+x% ^{2})^{s/2}({\mathrm{e}^{2\pi x}}-1)}\mathrm{d}x}}} {\displaystyle \LerchPhi@{z}{s}{a} = \frac{1}{2} a^{-s} + \int_0^\infty \frac{z^x}{(a+x)^s} \diff{x} - 2 \int_0^\infty \frac{\sin@{x \ln@@{z} - s \atan@{x/a}}} {(a^2 + x^2)^{s/2} (\expe^{2 \cpi x} - 1)} \diff{x} }

Constraint(s): s > 0 𝑠 0 {\displaystyle{\displaystyle{\displaystyle\Re{s}>0}}} if | z | < 1 𝑧 1 {\displaystyle{\displaystyle{\displaystyle|z|<1}}} &
s > 1 𝑠 1 {\displaystyle{\displaystyle{\displaystyle\Re{s}>1}}} if | z | = 1 , a > 0 formulae-sequence 𝑧 1 𝑎 0 {\displaystyle{\displaystyle{\displaystyle|z|=1,\Re{a}>0}}}