Hypergeometric Function - 15.6 Integral Representations

From testwiki
Revision as of 11:39, 28 June 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
15.6.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = \frac{1}{\EulerGamma@{b}\EulerGamma@{c-b}}\int_{0}^{1}\frac{t^{b-1}(1-t)^{c-b-1}}{(1-zt)^{a}}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = \frac{1}{\EulerGamma@{b}\EulerGamma@{c-b}}\int_{0}^{1}\frac{t^{b-1}(1-t)^{c-b-1}}{(1-zt)^{a}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@@{c} > \realpart@@{b}, \realpart@@{b} > 0, \realpart@@{(c-b)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = (1)/(GAMMA(b)*GAMMA(c - b))*int(((t)^(b - 1)*(1 - t)^(c - b - 1))/((1 - z*t)^(a)), t = 0..1)

Hypergeometric2F1Regularized[a, b, c, z] == Divide[1,Gamma[b]*Gamma[c - b]]*Integrate[Divide[(t)^(b - 1)*(1 - t)^(c - b - 1),(1 - z*t)^(a)], {t, 0, 1}, GenerateConditions->None]
Failure Successful
Failed [18 / 18]
Result: Float(infinity)+Float(infinity)*I
Test Values: {a = -3/2, b = 3/2, c = 2, z = 1/2}


Result: Float(infinity)+Float(infinity)*I
Test Values: {a = -3/2, b = 1/2, c = 3/2, z = 1/2}

... skip entries to safe data
 Successful [Tested: 18]
15.6.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = \frac{\EulerGamma@{1+b-c}}{2\pi\iunit\EulerGamma@{b}}\int_{0}^{(1+)}\frac{t^{b-1}(t-1)^{c-b-1}}{(1-zt)^{a}}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = \frac{\EulerGamma@{1+b-c}}{2\pi\iunit\EulerGamma@{b}}\int_{0}^{(1+)}\frac{t^{b-1}(t-1)^{c-b-1}}{(1-zt)^{a}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@@{b} > 0, \realpart@@{(1+b-c)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = (GAMMA(1 + b - c))/(2*Pi*I*GAMMA(b))*int(((t)^(b - 1)*(t - 1)^(c - b - 1))/((1 - z*t)^(a)), t = 0..(1 +))

Hypergeometric2F1Regularized[a, b, c, z] == Divide[Gamma[1 + b - c],2*Pi*I*Gamma[b]]*Integrate[Divide[(t)^(b - 1)*(t - 1)^(c - b - 1),(1 - z*t)^(a)], {t, 0, (1 +)}, GenerateConditions->None]
Error Failure - Error
15.6.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = e^{-b\pi\iunit}\frac{\EulerGamma@{1-b}}{2\pi\iunit\EulerGamma@{c-b}}\int_{\infty}^{(0+)}\frac{t^{b-1}(t+1)^{a-c}}{(t-zt+1)^{a}}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = e^{-b\pi\iunit}\frac{\EulerGamma@{1-b}}{2\pi\iunit\EulerGamma@{c-b}}\int_{\infty}^{(0+)}\frac{t^{b-1}(t+1)^{a-c}}{(t-zt+1)^{a}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@{c-b} > 0, \realpart@@{(1-b)} > 0, \realpart@@{(c-b)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = exp(- b*Pi*I)*(GAMMA(1 - b))/(2*Pi*I*GAMMA(c - b))*int(((t)^(b - 1)*(t + 1)^(a - c))/((t - z*t + 1)^(a)), t = infinity..(0 +))

Hypergeometric2F1Regularized[a, b, c, z] == Exp[- b*Pi*I]*Divide[Gamma[1 - b],2*Pi*I*Gamma[c - b]]*Integrate[Divide[(t)^(b - 1)*(t + 1)^(a - c),(t - z*t + 1)^(a)], {t, Infinity, (0 +)}, GenerateConditions->None]
Error Failure - Error
15.6.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = e^{-b\pi\iunit}\frac{\EulerGamma@{1-b}}{2\pi\iunit\EulerGamma@{c-b}}\int_{1}^{(0+)}\frac{t^{b-1}(1-t)^{c-b-1}}{(1-zt)^{a}}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = e^{-b\pi\iunit}\frac{\EulerGamma@{1-b}}{2\pi\iunit\EulerGamma@{c-b}}\int_{1}^{(0+)}\frac{t^{b-1}(1-t)^{c-b-1}}{(1-zt)^{a}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@{c-b} > 0, \realpart@@{(1-b)} > 0, \realpart@@{(c-b)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = exp(- b*Pi*I)*(GAMMA(1 - b))/(2*Pi*I*GAMMA(c - b))*int(((t)^(b - 1)*(1 - t)^(c - b - 1))/((1 - z*t)^(a)), t = 1..(0 +))

Hypergeometric2F1Regularized[a, b, c, z] == Exp[- b*Pi*I]*Divide[Gamma[1 - b],2*Pi*I*Gamma[c - b]]*Integrate[Divide[(t)^(b - 1)*(1 - t)^(c - b - 1),(1 - z*t)^(a)], {t, 1, (0 +)}, GenerateConditions->None]
Error Failure - Error
15.6.E5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = e^{-c\pi\iunit}\EulerGamma@{1-b}\EulerGamma@{1+b-c}\*\frac{1}{4\pi^{2}}\int_{A}^{(0+,1+,0-,1-)}\frac{t^{b-1}(1-t)^{c-b-1}}{(1-zt)^{a}}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = e^{-c\pi\iunit}\EulerGamma@{1-b}\EulerGamma@{1+b-c}\*\frac{1}{4\pi^{2}}\int_{A}^{(0+,1+,0-,1-)}\frac{t^{b-1}(1-t)^{c-b-1}}{(1-zt)^{a}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@@{(1-b)} > 0, \realpart@@{(1+b-c)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = exp(- c*Pi*I)*GAMMA(1 - b)*GAMMA(1 + b - c)*(1)/(4*(Pi)^(2))*int(((t)^(b - 1)*(1 - t)^(c - b - 1))/((1 - z*t)^(a)), t = A..(0 + , 1 + , 0 - , 1 -))

Hypergeometric2F1Regularized[a, b, c, z] == Exp[- c*Pi*I]*Gamma[1 - b]*Gamma[1 + b - c]*Divide[1,4*(Pi)^(2)]*Integrate[Divide[(t)^(b - 1)*(1 - t)^(c - b - 1),(1 - z*t)^(a)], {t, A, (0 + , 1 + , 0 - , 1 -)}, GenerateConditions->None]
Error Failure - Error
15.6.E6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = \frac{1}{2\pi\iunit\EulerGamma@{a}\EulerGamma@{b}}\int_{-\iunit\infty}^{\iunit\infty}\frac{\EulerGamma@{a+t}\EulerGamma@{b+t}\EulerGamma@{-t}}{\EulerGamma@{c+t}}(-z)^{t}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = \frac{1}{2\pi\iunit\EulerGamma@{a}\EulerGamma@{b}}\int_{-\iunit\infty}^{\iunit\infty}\frac{\EulerGamma@{a+t}\EulerGamma@{b+t}\EulerGamma@{-t}}{\EulerGamma@{c+t}}(-z)^{t}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{-z}| < \cpi, \realpart@@{a} > 0, \realpart@@{b} > 0, \realpart@@{(a+t)} > 0, \realpart@@{(b+t)} > 0, \realpart@@{(-t)} > 0, \realpart@@{(c+t)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = (1)/(2*Pi*I*GAMMA(a)*GAMMA(b))*int((GAMMA(a + t)*GAMMA(b + t)*GAMMA(- t))/(GAMMA(c + t))*(- z)^(t), t = - I*infinity..I*infinity)

Hypergeometric2F1Regularized[a, b, c, z] == Divide[1,2*Pi*I*Gamma[a]*Gamma[b]]*Integrate[Divide[Gamma[a + t]*Gamma[b + t]*Gamma[- t],Gamma[c + t]]*(- z)^(t), {t, - I*Infinity, I*Infinity}, GenerateConditions->None]
Failure Aborted Manual Skip! Skipped - Because timed out
15.6.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = \frac{1}{2\pi\iunit\EulerGamma@{a}\EulerGamma@{b}\EulerGamma@{c-a}\EulerGamma@{c-b}}\int_{-\iunit\infty}^{\iunit\infty}\EulerGamma@{a+t}\EulerGamma@{b+t}\EulerGamma@{c-a-b-t}\EulerGamma@{-t}(1-z)^{t}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = \frac{1}{2\pi\iunit\EulerGamma@{a}\EulerGamma@{b}\EulerGamma@{c-a}\EulerGamma@{c-b}}\int_{-\iunit\infty}^{\iunit\infty}\EulerGamma@{a+t}\EulerGamma@{b+t}\EulerGamma@{c-a-b-t}\EulerGamma@{-t}(1-z)^{t}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@@{(a+t)} > 0, \realpart@@{(b+t)} > 0, \realpart@@{(c-a-b-t)} > 0, \realpart@@{(-t)} > 0, \realpart@@{a} > 0, \realpart@@{b} > 0, \realpart@@{(c-a)} > 0, \realpart@@{(c-b)} > 0, |z| < 1, \realpart@@{(c+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = (1)/(2*Pi*I*GAMMA(a)*GAMMA(b)*GAMMA(c - a)*GAMMA(c - b))*int(GAMMA(a + t)*GAMMA(b + t)*GAMMA(c - a - b - t)*GAMMA(- t)*(1 - z)^(t), t = - I*infinity..I*infinity)

Hypergeometric2F1Regularized[a, b, c, z] == Divide[1,2*Pi*I*Gamma[a]*Gamma[b]*Gamma[c - a]*Gamma[c - b]]*Integrate[Gamma[a + t]*Gamma[b + t]*Gamma[c - a - b - t]*Gamma[- t]*(1 - z)^(t), {t, - I*Infinity, I*Infinity}, GenerateConditions->None]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
15.6.E8 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = \frac{1}{\EulerGamma@{c-d}}\int_{0}^{1}\hyperOlverF@{a}{b}{d}{zt}t^{d-1}(1-t)^{c-d-1}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = \frac{1}{\EulerGamma@{c-d}}\int_{0}^{1}\hyperOlverF@{a}{b}{d}{zt}t^{d-1}(1-t)^{c-d-1}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@@{c} > \realpart@@{d}, \realpart@@{d} > 0, \realpart@@{(c-d)} > 0, |z| < 1, |(zt)| < 1, \realpart@@{(c+s)} > 0, \realpart@@{(d+s)} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = (1)/(GAMMA(c - d))*int(hypergeom([a, b], [d], z*t)/GAMMA(d)*(t)^(d - 1)*(1 - t)^(c - d - 1), t = 0..1)

Hypergeometric2F1Regularized[a, b, c, z] == Divide[1,Gamma[c - d]]*Integrate[Hypergeometric2F1Regularized[a, b, d, z*t]*(t)^(d - 1)*(1 - t)^(c - d - 1), {t, 0, 1}, GenerateConditions->None]
Failure Successful
Failed [252 / 252]
Result: Float(infinity)+Float(infinity)*I
Test Values: {a = -3/2, b = -3/2, c = 3/2, d = 1/2*3^(1/2)+1/2*I, z = 1/2}


Result: Float(infinity)+Float(infinity)*I
Test Values: {a = -3/2, b = -3/2, c = 3/2, d = 1/2-1/2*I*3^(1/2), z = 1/2}

... skip entries to safe data
 Successful [Tested: 252]
15.6.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \hyperOlverF@{a}{b}{c}{z} = \int_{0}^{1}\frac{t^{d-1}(1-t)^{c-d-1}}{(1-zt)^{a+b-\lambda}}\hyperOlverF@@{\lambda-a}{\lambda-b}{d}{zt}\hyperOlverF@@{a+b-\lambda}{\lambda-d}{c-d}{\frac{(1-t)z}{1-zt}}\diff{t}}
\hyperOlverF@{a}{b}{c}{z} = \int_{0}^{1}\frac{t^{d-1}(1-t)^{c-d-1}}{(1-zt)^{a+b-\lambda}}\hyperOlverF@@{\lambda-a}{\lambda-b}{d}{zt}\hyperOlverF@@{a+b-\lambda}{\lambda-d}{c-d}{\frac{(1-t)z}{1-zt}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@{1-z}| < \cpi, \realpart@@{c} > \realpart@@{d}, \realpart@@{d} > 0} 
hypergeom([a, b], [c], z)/GAMMA(c) = int(((t)^(d - 1)*(1 - t)^(c - d - 1))/((1 - z*t)^(a + b - lambda))*hypergeom([lambda - a, lambda - b], [d], z*t)/GAMMA(d)*hypergeom([a + b - lambda, lambda - d], [c - d], ((1 - t)*z)/(1 - z*t))/GAMMA(c - d), t = 0..1)

Hypergeometric2F1Regularized[a, b, c, z] == Integrate[Divide[(t)^(d - 1)*(1 - t)^(c - d - 1),(1 - z*t)^(a + b - \[Lambda])]*Hypergeometric2F1Regularized[\[Lambda]- a, \[Lambda]- b, d, z*t]*Hypergeometric2F1Regularized[a + b - \[Lambda], \[Lambda]- d, c - d, Divide[(1 - t)*z,1 - z*t]], {t, 0, 1}, GenerateConditions->None]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
Retrieved from "https://lct.wmflabs.org/w/index.php?title=15.6&oldid=58302"