Gamma Function - 5.13 Integrals

From testwiki
Revision as of 16:43, 25 May 2021 by Admin (talk | contribs) (Admin moved page Main Page to Verifying DLMF with Maple and Mathematica)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
5.13.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\EulerGamma@{s+a}\EulerGamma@{b-s}z^{-s}\diff{s} = \frac{\EulerGamma@{a+b}z^{a}}{(1+z)^{a+b}}}
\frac{1}{2\pi i}\int_{c-i\infty}^{c+i\infty}\EulerGamma@{s+a}\EulerGamma@{b-s}z^{-s}\diff{s} = \frac{\EulerGamma@{a+b}z^{a}}{(1+z)^{a+b}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@{a+b} > 0, -\realpart@@{a} < c, c < \realpart@@{b}, |\phase@@{z}| < \pi, \realpart@@{(s+a)} > 0, \realpart@@{(b-s)} > 0, \realpart@@{(a+b)} > 0} 
(1)/(2*Pi*I)*int(GAMMA(s + a)*GAMMA(b - s)*(z)^(- s), s = c - I*infinity..c + I*infinity) = (GAMMA(a + b)*(z)^(a))/((1 + z)^(a + b))

Divide[1,2*Pi*I]*Integrate[Gamma[s + a]*Gamma[b - s]*(z)^(- s), {s, c - I*Infinity, c + I*Infinity}, GenerateConditions->None] == Divide[Gamma[a + b]*(z)^(a),(1 + z)^(a + b)]
Skipped - Unable to analyze test case: Null Aborted - Skipped - Because timed out
5.13.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2\pi}\int_{-\infty}^{\infty}|\EulerGamma@{a+it}|^{2}e^{(2b-\pi)t}\diff{t} = \frac{\EulerGamma@{2a}}{(2\sin@@{b})^{2a}}}
\frac{1}{2\pi}\int_{-\infty}^{\infty}|\EulerGamma@{a+it}|^{2}e^{(2b-\pi)t}\diff{t} = \frac{\EulerGamma@{2a}}{(2\sin@@{b})^{2a}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a > 0, 0 < b, b < \pi, \realpart@@{(a+\iunit t)} > 0, \realpart@@{(2a)} > 0} 
(1)/(2*Pi)*int((abs(GAMMA(a + I*t)))^(2)* exp((2*b - Pi)*t), t = - infinity..infinity) = (GAMMA(2*a))/((2*sin(b))^(2*a))

Divide[1,2*Pi]*Integrate[(Abs[Gamma[a + I*t]])^(2)* Exp[(2*b - Pi)*t], {t, - Infinity, Infinity}, GenerateConditions->None] == Divide[Gamma[2*a],(2*Sin[b])^(2*a)]
Skipped - Unable to analyze test case: Null Aborted - Skipped - Because timed out
5.13.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2\pi}\int_{-\infty}^{\infty}\EulerGamma@{a+it}\EulerGamma@{b+it}\EulerGamma@{c-it}\EulerGamma@{d-it}\diff{t} = \frac{\EulerGamma@{a+c}\EulerGamma@{a+d}\EulerGamma@{b+c}\EulerGamma@{b+d}}{\EulerGamma@{a+b+c+d}}}
\frac{1}{2\pi}\int_{-\infty}^{\infty}\EulerGamma@{a+it}\EulerGamma@{b+it}\EulerGamma@{c-it}\EulerGamma@{d-it}\diff{t} = \frac{\EulerGamma@{a+c}\EulerGamma@{a+d}\EulerGamma@{b+c}\EulerGamma@{b+d}}{\EulerGamma@{a+b+c+d}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(a+\iunit t)} > 0, \realpart@@{(b+\iunit t)} > 0, \realpart@@{(c-\iunit t)} > 0, \realpart@@{(d-\iunit t)} > 0, \realpart@@{(a+c)} > 0, \realpart@@{(a+d)} > 0, \realpart@@{(b+c)} > 0, \realpart@@{(b+d)} > 0, \realpart@@{(a+b+c+d)} > 0} 
(1)/(2*Pi)*int(GAMMA(a + I*t)*GAMMA(b + I*t)*GAMMA(c - I*t)*GAMMA(d - I*t), t = - infinity..infinity) = (GAMMA(a + c)*GAMMA(a + d)*GAMMA(b + c)*GAMMA(b + d))/(GAMMA(a + b + c + d))

Divide[1,2*Pi]*Integrate[Gamma[a + I*t]*Gamma[b + I*t]*Gamma[c - I*t]*Gamma[d - I*t], {t, - Infinity, Infinity}, GenerateConditions->None] == Divide[Gamma[a + c]*Gamma[a + d]*Gamma[b + c]*Gamma[b + d],Gamma[a + b + c + d]]
Error Aborted - Skipped - Because timed out
5.13.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{-\infty}^{\infty}\frac{\diff{t}}{\EulerGamma@{a+t}\EulerGamma@{b+t}\EulerGamma@{c-t}\EulerGamma@{d-t}} = \frac{\EulerGamma@{a+b+c+d-3}}{\EulerGamma@{a+c-1}\EulerGamma@{a+d-1}\EulerGamma@{b+c-1}\EulerGamma@{b+d-1}}}
\int_{-\infty}^{\infty}\frac{\diff{t}}{\EulerGamma@{a+t}\EulerGamma@{b+t}\EulerGamma@{c-t}\EulerGamma@{d-t}} = \frac{\EulerGamma@{a+b+c+d-3}}{\EulerGamma@{a+c-1}\EulerGamma@{a+d-1}\EulerGamma@{b+c-1}\EulerGamma@{b+d-1}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@{a+b+c+d} > 3, \realpart@@{(a+t)} > 0, \realpart@@{(b+t)} > 0, \realpart@@{(c-t)} > 0, \realpart@@{(d-t)} > 0, \realpart@@{(a+b+c+d-3)} > 0, \realpart@@{(a+c-1)} > 0, \realpart@@{(a+d-1)} > 0, \realpart@@{(b+c-1)} > 0, \realpart@@{(b+d-1)} > 0} 
int((1)/(GAMMA(a + t)*GAMMA(b + t)*GAMMA(c - t)*GAMMA(d - t)), t = - infinity..infinity) = (GAMMA(a + b + c + d - 3))/(GAMMA(a + c - 1)*GAMMA(a + d - 1)*GAMMA(b + c - 1)*GAMMA(b + d - 1))

Integrate[Divide[1,Gamma[a + t]*Gamma[b + t]*Gamma[c - t]*Gamma[d - t]], {t, - Infinity, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b + c + d - 3],Gamma[a + c - 1]*Gamma[a + d - 1]*Gamma[b + c - 1]*Gamma[b + d - 1]]
Failure Aborted Manual Skip! Skipped - Because timed out
5.13.E5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{4\pi}\int_{-\infty}^{\infty}\frac{\prod_{k=1}^{4}\EulerGamma@{a_{k}+it}\EulerGamma@{a_{k}-it}}{\EulerGamma@{2it}\EulerGamma@{-2it}}\diff{t} = \frac{\prod_{1\leq j<k\leq 4}\EulerGamma@{a_{j}+a_{k}}}{\EulerGamma@{a_{1}+a_{2}+a_{3}+a_{4}}}}
\frac{1}{4\pi}\int_{-\infty}^{\infty}\frac{\prod_{k=1}^{4}\EulerGamma@{a_{k}+it}\EulerGamma@{a_{k}-it}}{\EulerGamma@{2it}\EulerGamma@{-2it}}\diff{t} = \frac{\prod_{1\leq j<k\leq 4}\EulerGamma@{a_{j}+a_{k}}}{\EulerGamma@{a_{1}+a_{2}+a_{3}+a_{4}}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@{a_{k}} > 0} 
(1)/(4*Pi)*int((product(GAMMA(a[k]+ I*t)*GAMMA(a[k]- I*t), k = 1..4))/(GAMMA(2*I*t)*GAMMA(- 2*I*t)), t = - infinity..infinity) = (product(product(GAMMA(a[j]+ a[k]), k = j + 1..4), j = 1..k - 1))/(GAMMA(a[1]+ a[2]+ a[3]+ a[4]))

Divide[1,4*Pi]*Integrate[Divide[Product[Gamma[Subscript[a, k]+ I*t]*Gamma[Subscript[a, k]- I*t], {k, 1, 4}, GenerateConditions->None],Gamma[2*I*t]*Gamma[- 2*I*t]], {t, - Infinity, Infinity}, GenerateConditions->None] == Divide[Product[Product[Gamma[Subscript[a, j]+ Subscript[a, k]], {k, j + 1, 4}, GenerateConditions->None], {j, 1, k - 1}, GenerateConditions->None],Gamma[Subscript[a, 1]+ Subscript[a, 2]+ Subscript[a, 3]+ Subscript[a, 4]]]
Error Aborted - Skipped - Because timed out
Retrieved from "https://lct.wmflabs.org/w/index.php?title=5.13&oldid=475"