Gamma Function - 5.7 Series Expansions
Jump to navigation
Jump to search
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 5.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{\EulerGamma@{z}} = \sum_{k=1}^{\infty}c_{k}z^{k}}
\frac{1}{\EulerGamma@{z}} = \sum_{k=1}^{\infty}c_{k}z^{k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{z} > 0} | (1)/(GAMMA(z)) = sum(c[k]*(z)^(k), k = 1..infinity)
|
Divide[1,Gamma[z]] == Sum[Subscript[c, k]*(z)^(k), {k, 1, Infinity}, GenerateConditions->None]
|
Failure | Failure | Failed [50 / 50] Result: 2.444337041-.9752791869*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, c[k] = 1/2*3^(1/2)+1/2*I}
Result: 2.444337041+1.756771621*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, c[k] = -1/2+1/2*I*3^(1/2)}
Result: -.287713767-.9752791869*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, c[k] = 1/2-1/2*I*3^(1/2)}
Result: -.287713767+1.756771621*I
Test Values: {z = 1/2*3^(1/2)+1/2*I, c[k] = -1/2*3^(1/2)-1/2*I}
... skip entries to safe data |
Failed [50 / 50]
Result: Plus[Complex[1.0783116366515544, 0.3907462172966202], Times[-1.0, NSum[Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Plus[1, k]]
Test Values: {k, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Plus[Complex[1.0783116366515544, 0.3907462172966202], Times[-1.0, NSum[Times[Power[E, Times[Complex[0, Rational[2, 3]], Pi]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k]]
Test Values: {k, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[c, k], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
| 5.7.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \ln@@{\EulerGamma@{1+z}} = -\ln@{1+z}+z(1-\EulerConstant)+\sum_{k=2}^{\infty}(-1)^{k}(\Riemannzeta@{k}-1)\frac{z^{k}}{k}}
\ln@@{\EulerGamma@{1+z}} = -\ln@{1+z}+z(1-\EulerConstant)+\sum_{k=2}^{\infty}(-1)^{k}(\Riemannzeta@{k}-1)\frac{z^{k}}{k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 2, \realpart@@{(1+z)} > 0} | ln(GAMMA(1 + z)) = - ln(1 + z)+ z*(1 - gamma)+ sum((- 1)^(k)*(Zeta(k)- 1)*((z)^(k))/(k), k = 2..infinity)
|
Log[Gamma[1 + z]] == - Log[1 + z]+ z*(1 - EulerGamma)+ Sum[(- 1)^(k)*(Zeta[k]- 1)*Divide[(z)^(k),k], {k, 2, Infinity}, GenerateConditions->None]
|
Failure | Successful | Successful [Tested: 6] | Successful [Tested: 6] |
| 5.7.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{1+z} = -\EulerConstant+\sum_{k=2}^{\infty}(-1)^{k}\Riemannzeta@{k}z^{k-1}}
\digamma@{1+z} = -\EulerConstant+\sum_{k=2}^{\infty}(-1)^{k}\Riemannzeta@{k}z^{k-1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 1} | Psi(1 + z) = - gamma + sum((- 1)^(k)* Zeta(k)*(z)^(k - 1), k = 2..infinity)
|
PolyGamma[1 + z] == - EulerGamma + Sum[(- 1)^(k)* Zeta[k]*(z)^(k - 1), {k, 2, Infinity}, GenerateConditions->None]
|
Failure | Successful | Successful [Tested: 1] | Successful [Tested: 1] |
| 5.7.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{1+z} = \frac{1}{2z}-\frac{\pi}{2}\cot@{\pi z}+\frac{1}{z^{2}-1}+1-\EulerConstant-\sum_{k=1}^{\infty}(\Riemannzeta@{2k+1}-1)z^{2k}}
\digamma@{1+z} = \frac{1}{2z}-\frac{\pi}{2}\cot@{\pi z}+\frac{1}{z^{2}-1}+1-\EulerConstant-\sum_{k=1}^{\infty}(\Riemannzeta@{2k+1}-1)z^{2k} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 2, z \neq 0} | Psi(1 + z) = (1)/(2*z)-(Pi)/(2)*cot(Pi*z)+(1)/((z)^(2)- 1)+ 1 - gamma - sum((Zeta(2*k + 1)- 1)*(z)^(2*k), k = 1..infinity)
|
PolyGamma[1 + z] == Divide[1,2*z]-Divide[Pi,2]*Cot[Pi*z]+Divide[1,(z)^(2)- 1]+ 1 - EulerGamma - Sum[(Zeta[2*k + 1]- 1)*(z)^(2*k), {k, 1, Infinity}, GenerateConditions->None]
|
Error | Successful | - | Successful [Tested: 6] |
| 5.7.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{z} = -\EulerConstant-\frac{1}{z}+\sum_{k=1}^{\infty}\frac{z}{k(k+z)}}
\digamma@{z} = -\EulerConstant-\frac{1}{z}+\sum_{k=1}^{\infty}\frac{z}{k(k+z)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi(z) = - gamma -(1)/(z)+ sum((z)/(k*(k + z)), k = 1..infinity)
|
PolyGamma[z] == - EulerGamma -Divide[1,z]+ Sum[Divide[z,k*(k + z)], {k, 1, Infinity}, GenerateConditions->None]
|
Failure | Successful | Successful [Tested: 7] | Successful [Tested: 7] |
| 5.7.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\EulerConstant-\frac{1}{z}+\sum_{k=1}^{\infty}\frac{z}{k(k+z)} = -\EulerConstant+\sum_{k=0}^{\infty}\left(\frac{1}{k+1}-\frac{1}{k+z}\right)}
-\EulerConstant-\frac{1}{z}+\sum_{k=1}^{\infty}\frac{z}{k(k+z)} = -\EulerConstant+\sum_{k=0}^{\infty}\left(\frac{1}{k+1}-\frac{1}{k+z}\right) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | - gamma -(1)/(z)+ sum((z)/(k*(k + z)), k = 1..infinity) = - gamma + sum((1)/(k + 1)-(1)/(k + z), k = 0..infinity)
|
- EulerGamma -Divide[1,z]+ Sum[Divide[z,k*(k + z)], {k, 1, Infinity}, GenerateConditions->None] == - EulerGamma + Sum[Divide[1,k + 1]-Divide[1,k + z], {k, 0, Infinity}, GenerateConditions->None]
|
Failure | Successful | Successful [Tested: 7] | Successful [Tested: 7] |
| 5.7.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{\frac{z+1}{2}}-\digamma@{\frac{z}{2}} = 2\sum_{k=0}^{\infty}\frac{(-1)^{k}}{k+z}}
\digamma@{\frac{z+1}{2}}-\digamma@{\frac{z}{2}} = 2\sum_{k=0}^{\infty}\frac{(-1)^{k}}{k+z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi((z + 1)/(2))- Psi((z)/(2)) = 2*sum(((- 1)^(k))/(k + z), k = 0..infinity)
|
PolyGamma[Divide[z + 1,2]]- PolyGamma[Divide[z,2]] == 2*Sum[Divide[(- 1)^(k),k + z], {k, 0, Infinity}, GenerateConditions->None]
|
Successful | Successful | - | Successful [Tested: 7] |
| 5.7.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \imagpart@@{\digamma@{1+\iunit y}} = \sum_{k=1}^{\infty}\frac{y}{k^{2}+y^{2}}}
\imagpart@@{\digamma@{1+\iunit y}} = \sum_{k=1}^{\infty}\frac{y}{k^{2}+y^{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Im(Psi(1 + I*y)) = sum((y)/((k)^(2)+ (y)^(2)), k = 1..infinity)
|
Im[PolyGamma[1 + I*y]] == Sum[Divide[y,(k)^(2)+ (y)^(2)], {k, 1, Infinity}, GenerateConditions->None]
|
Failure | Failure | Successful [Tested: 6] | Successful [Tested: 6] |