Gamma Function - 5.5 Functional Relations
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 5.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{z+1} = z\EulerGamma@{z}}
\EulerGamma@{z+1} = z\EulerGamma@{z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(z+1)} > 0, \realpart@@{z} > 0} | GAMMA(z + 1) = z*GAMMA(z)
|
Gamma[z + 1] == z*Gamma[z]
|
Successful | Successful | - | Successful [Tested: 5] |
| 5.5.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{z+1} = \digamma@{z}+\frac{1}{z}}
\digamma@{z+1} = \digamma@{z}+\frac{1}{z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi(z + 1) = Psi(z)+(1)/(z)
|
PolyGamma[z + 1] == PolyGamma[z]+Divide[1,z]
|
Successful | Successful | - | Successful [Tested: 7] |
| 5.5.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{z}\EulerGamma@{1-z} = \pi/\sin@{\pi z}}
\EulerGamma@{z}\EulerGamma@{1-z} = \pi/\sin@{\pi z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{z} > 0, \realpart@@{(1-z)} > 0} | GAMMA(z)*GAMMA(1 - z) = Pi/sin(Pi*z)
|
Gamma[z]*Gamma[1 - z] == Pi/Sin[Pi*z]
|
Successful | Successful | - | Successful [Tested: 1] |
| 5.5.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{z}-\digamma@{1-z} = -\pi/\tan@{\pi z}}
\digamma@{z}-\digamma@{1-z} = -\pi/\tan@{\pi z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi(z)- Psi(1 - z) = - Pi/tan(Pi*z)
|
PolyGamma[z]- PolyGamma[1 - z] == - Pi/Tan[Pi*z]
|
Successful | Successful | - | Successful [Tested: 1] |
| 5.5.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{2z} = \pi^{-1/2}2^{2z-1}\EulerGamma@{z}\EulerGamma@{z+\tfrac{1}{2}}}
\EulerGamma@{2z} = \pi^{-1/2}2^{2z-1}\EulerGamma@{z}\EulerGamma@{z+\tfrac{1}{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(2z)} > 0, \realpart@@{z} > 0, \realpart@@{(z+\tfrac{1}{2})} > 0} | GAMMA(2*z) = (Pi)^(- 1/2)* (2)^(2*z - 1)* GAMMA(z)*GAMMA(z +(1)/(2))
|
Gamma[2*z] == (Pi)^(- 1/2)* (2)^(2*z - 1)* Gamma[z]*Gamma[z +Divide[1,2]]
|
Successful | Successful | - | Successful [Tested: 5] |
| 5.5.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \EulerGamma@{nz} = (2\pi)^{(1-n)/2}n^{nz-(1/2)}\prod_{k=0}^{n-1}\EulerGamma@{z+\frac{k}{n}}}
\EulerGamma@{nz} = (2\pi)^{(1-n)/2}n^{nz-(1/2)}\prod_{k=0}^{n-1}\EulerGamma@{z+\frac{k}{n}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | GAMMA(n*z) = (2*Pi)^((1 - n)/2)* (n)^(n*z -(1/2))* product(GAMMA(z +(k)/(n)), k = 0..n - 1)
|
Gamma[n*z] == (2*Pi)^((1 - n)/2)* (n)^(n*z -(1/2))* Product[Gamma[z +Divide[k,n]], {k, 0, n - 1}, GenerateConditions->None]
|
Failure | Successful | Successful [Tested: 15] | Successful [Tested: 15] |
| 5.5.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \prod_{k=1}^{n-1}\EulerGamma@{\frac{k}{n}} = (2\pi)^{(n-1)/2}n^{-1/2}}
\prod_{k=1}^{n-1}\EulerGamma@{\frac{k}{n}} = (2\pi)^{(n-1)/2}n^{-1/2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | product(GAMMA((k)/(n)), k = 1..n - 1) = (2*Pi)^((n - 1)/2)* (n)^(- 1/2)
|
Product[Gamma[Divide[k,n]], {k, 1, n - 1}, GenerateConditions->None] == (2*Pi)^((n - 1)/2)* (n)^(- 1/2)
|
Failure | Failure | Successful [Tested: 3] | Failed [3 / 3]
Result: Indeterminate
Test Values: {Rule[n, 1]}
Result: Indeterminate
Test Values: {Rule[n, 2]}
... skip entries to safe data |
| 5.5.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{2z} = \tfrac{1}{2}\left(\digamma@{z}+\digamma@{z+\tfrac{1}{2}}\right)+\ln@@{2}}
\digamma@{2z} = \tfrac{1}{2}\left(\digamma@{z}+\digamma@{z+\tfrac{1}{2}}\right)+\ln@@{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi(2*z) = (1)/(2)*(Psi(z)+ Psi(z +(1)/(2)))+ ln(2)
|
PolyGamma[2*z] == Divide[1,2]*(PolyGamma[z]+ PolyGamma[z +Divide[1,2]])+ Log[2]
|
Successful | Successful | - | Successful [Tested: 7] |
| 5.5.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \digamma@{nz} = \frac{1}{n}\sum_{k=0}^{n-1}\digamma@{z+\frac{k}{n}}+\ln@@{n}}
\digamma@{nz} = \frac{1}{n}\sum_{k=0}^{n-1}\digamma@{z+\frac{k}{n}}+\ln@@{n} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Psi(n*z) = (1)/(n)*sum(Psi(z +(k)/(n)), k = 0..n - 1)+ ln(n)
|
PolyGamma[n*z] == Divide[1,n]*Sum[PolyGamma[z +Divide[k,n]], {k, 0, n - 1}, GenerateConditions->None]+ Log[n]
|
Failure | Successful | Successful [Tested: 21] | Successful [Tested: 21] |