13.10: Difference between revisions

From testwiki
Jump to navigation Jump to search
 
 
Line 14: Line 14:
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica
|-  
|-  
| [https://dlmf.nist.gov/13.10.E1 13.10.E1] || [[Item:Q4460|<math>\int\OlverconfhyperM@{a}{b}{z}\diff{z} = \frac{1}{a-1}\OlverconfhyperM@{a-1}{b-1}{z}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int\OlverconfhyperM@{a}{b}{z}\diff{z} = \frac{1}{a-1}\OlverconfhyperM@{a-1}{b-1}{z}</syntaxhighlight> || <math>\realpart@@{(b+s)} > 0, \realpart@@{((b-1)+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(KummerM(a, b, z)/GAMMA(b), z) = (1)/(a - 1)*KummerM(a - 1, b - 1, z)/GAMMA(b - 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Hypergeometric1F1Regularized[a, b, z], z, GenerateConditions->None] == Divide[1,a - 1]*Hypergeometric1F1Regularized[a - 1, b - 1, z]</syntaxhighlight> || Successful || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [252 / 252]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.4231421876608173, 0.0]
| [https://dlmf.nist.gov/13.10.E1 13.10.E1] || <math qid="Q4460">\int\OlverconfhyperM@{a}{b}{z}\diff{z} = \frac{1}{a-1}\OlverconfhyperM@{a-1}{b-1}{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int\OlverconfhyperM@{a}{b}{z}\diff{z} = \frac{1}{a-1}\OlverconfhyperM@{a-1}{b-1}{z}</syntaxhighlight> || <math>\realpart@@{(b+s)} > 0, \realpart@@{((b-1)+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(KummerM(a, b, z)/GAMMA(b), z) = (1)/(a - 1)*KummerM(a - 1, b - 1, z)/GAMMA(b - 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Hypergeometric1F1Regularized[a, b, z], z, GenerateConditions->None] == Divide[1,a - 1]*Hypergeometric1F1Regularized[a - 1, b - 1, z]</syntaxhighlight> || Successful || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [252 / 252]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-0.4231421876608173, 0.0]
Test Values: {Rule[a, -1.5], Rule[b, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.42314218766081735, 0.0]
Test Values: {Rule[a, -1.5], Rule[b, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Complex[-0.42314218766081735, 0.0]
Test Values: {Rule[a, -1.5], Rule[b, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[a, -1.5], Rule[b, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/13.10.E2 13.10.E2] || [[Item:Q4461|<math>\int\KummerconfhyperU@{a}{b}{z}\diff{z} = -\frac{1}{a-1}\KummerconfhyperU@{a-1}{b-1}{z}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int\KummerconfhyperU@{a}{b}{z}\diff{z} = -\frac{1}{a-1}\KummerconfhyperU@{a-1}{b-1}{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>int(KummerU(a, b, z), z) = -(1)/(a - 1)*KummerU(a - 1, b - 1, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[HypergeometricU[a, b, z], z, GenerateConditions->None] == -Divide[1,a - 1]*HypergeometricU[a - 1, b - 1, z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 252]
| [https://dlmf.nist.gov/13.10.E2 13.10.E2] || <math qid="Q4461">\int\KummerconfhyperU@{a}{b}{z}\diff{z} = -\frac{1}{a-1}\KummerconfhyperU@{a-1}{b-1}{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int\KummerconfhyperU@{a}{b}{z}\diff{z} = -\frac{1}{a-1}\KummerconfhyperU@{a-1}{b-1}{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>int(KummerU(a, b, z), z) = -(1)/(a - 1)*KummerU(a - 1, b - 1, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[HypergeometricU[a, b, z], z, GenerateConditions->None] == -Divide[1,a - 1]*HypergeometricU[a - 1, b - 1, z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 252]
|-  
|-  
| [https://dlmf.nist.gov/13.10.E3 13.10.E3] || [[Item:Q4462|<math>\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{c}{kt}\diff{t} = \EulerGamma@{b}z^{-b}\genhyperOlverF{2}{1}@{a,b}{c}{\ifrac{k}{z}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{c}{kt}\diff{t} = \EulerGamma@{b}z^{-b}\genhyperOlverF{2}{1}@{a,b}{c}{\ifrac{k}{z}}</syntaxhighlight> || <math>\realpart@@{b} > 0, \realpart@@{z} > \max\left(\realpart@@{k}, \realpart@@{(c+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t)*(t)^(b - 1)* KummerM(a, c, k*t)/GAMMA(c), t = 0..infinity) = GAMMA(b)*(z)^(- b)* hypergeom([a , b], [c], (k)/(z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, c, k*t], {t, 0, Infinity}, GenerateConditions->None] == Gamma[b]*(z)^(- b)* HypergeometricPFQRegularized[{a , b}, {c}, Divide[k,z]]</syntaxhighlight> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
| [https://dlmf.nist.gov/13.10.E3 13.10.E3] || <math qid="Q4462">\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{c}{kt}\diff{t} = \EulerGamma@{b}z^{-b}\genhyperOlverF{2}{1}@{a,b}{c}{\ifrac{k}{z}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{c}{kt}\diff{t} = \EulerGamma@{b}z^{-b}\genhyperOlverF{2}{1}@{a,b}{c}{\ifrac{k}{z}}</syntaxhighlight> || <math>\realpart@@{b} > 0, \realpart@@{z} > \max\left(\realpart@@{k}, \realpart@@{(c+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t)*(t)^(b - 1)* KummerM(a, c, k*t)/GAMMA(c), t = 0..infinity) = GAMMA(b)*(z)^(- b)* hypergeom([a , b], [c], (k)/(z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, c, k*t], {t, 0, Infinity}, GenerateConditions->None] == Gamma[b]*(z)^(- b)* HypergeometricPFQRegularized[{a , b}, {c}, Divide[k,z]]</syntaxhighlight> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {a = -3/2, b = -3/2, c = -3/2, z = 1/2*3^(1/2)+1/2*I, k = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {a = -3/2, b = -3/2, c = -3/2, z = 1/2*3^(1/2)+1/2*I, k = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {a = -3/2, b = -3/2, c = -3/2, z = 1/2*3^(1/2)+1/2*I, k = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
Test Values: {a = -3/2, b = -3/2, c = -3/2, z = 1/2*3^(1/2)+1/2*I, k = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E4 13.10.E4] || [[Item:Q4463|<math>\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{b}{t}\diff{t} = z^{-b}\left(1-\frac{1}{z}\right)^{-a}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{b}{t}\diff{t} = z^{-b}\left(1-\frac{1}{z}\right)^{-a}</syntaxhighlight> || <math>\realpart@@{b} > 0, \realpart@@{z} > 1, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t)*(t)^(b - 1)* KummerM(a, b, t)/GAMMA(b), t = 0..infinity) = (z)^(- b)*(1 -(1)/(z))^(- a)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, b, t], {t, 0, Infinity}, GenerateConditions->None] == (z)^(- b)*(1 -Divide[1,z])^(- a)</syntaxhighlight> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [24 / 36]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.2095131204
| [https://dlmf.nist.gov/13.10.E4 13.10.E4] || <math qid="Q4463">\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{b}{t}\diff{t} = z^{-b}\left(1-\frac{1}{z}\right)^{-a}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{b}{t}\diff{t} = z^{-b}\left(1-\frac{1}{z}\right)^{-a}</syntaxhighlight> || <math>\realpart@@{b} > 0, \realpart@@{z} > 1, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t)*(t)^(b - 1)* KummerM(a, b, t)/GAMMA(b), t = 0..infinity) = (z)^(- b)*(1 -(1)/(z))^(- a)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, b, t], {t, 0, Infinity}, GenerateConditions->None] == (z)^(- b)*(1 -Divide[1,z])^(- a)</syntaxhighlight> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [24 / 36]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.2095131204
Test Values: {a = -3/2, b = 3/2, z = 3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.2500000000
Test Values: {a = -3/2, b = 3/2, z = 3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.2500000000
Test Values: {a = -3/2, b = 3/2, z = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
Test Values: {a = -3/2, b = 3/2, z = 2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E5 13.10.E5] || [[Item:Q4464|<math>\int_{0}^{\infty}e^{-t}t^{b-1}\OlverconfhyperM@{a}{c}{t}\diff{t} = \frac{\EulerGamma@{b}\EulerGamma@{c-a-b}}{\EulerGamma@{c-a}\EulerGamma@{c-b}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{b-1}\OlverconfhyperM@{a}{c}{t}\diff{t} = \frac{\EulerGamma@{b}\EulerGamma@{c-a-b}}{\EulerGamma@{c-a}\EulerGamma@{c-b}}</syntaxhighlight> || <math>\realpart@{c-a} > \realpart@@{b}, \realpart@@{b} > 0, \realpart@@{(c-a-b)} > 0, \realpart@@{(c-a)} > 0, \realpart@@{(c-b)} > 0, \realpart@@{(c+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^(b - 1)* KummerM(a, c, t)/GAMMA(c), t = 0..infinity) = (GAMMA(b)*GAMMA(c - a - b))/(GAMMA(c - a)*GAMMA(c - b))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, c, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[b]*Gamma[c - a - b],Gamma[c - a]*Gamma[c - b]]</syntaxhighlight> || Successful || Aborted || - || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E5 13.10.E5] || <math qid="Q4464">\int_{0}^{\infty}e^{-t}t^{b-1}\OlverconfhyperM@{a}{c}{t}\diff{t} = \frac{\EulerGamma@{b}\EulerGamma@{c-a-b}}{\EulerGamma@{c-a}\EulerGamma@{c-b}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{b-1}\OlverconfhyperM@{a}{c}{t}\diff{t} = \frac{\EulerGamma@{b}\EulerGamma@{c-a-b}}{\EulerGamma@{c-a}\EulerGamma@{c-b}}</syntaxhighlight> || <math>\realpart@{c-a} > \realpart@@{b}, \realpart@@{b} > 0, \realpart@@{(c-a-b)} > 0, \realpart@@{(c-a)} > 0, \realpart@@{(c-b)} > 0, \realpart@@{(c+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^(b - 1)* KummerM(a, c, t)/GAMMA(c), t = 0..infinity) = (GAMMA(b)*GAMMA(c - a - b))/(GAMMA(c - a)*GAMMA(c - b))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, c, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[b]*Gamma[c - a - b],Gamma[c - a]*Gamma[c - b]]</syntaxhighlight> || Successful || Aborted || - || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E6 13.10.E6] || [[Item:Q4465|<math>\int_{0}^{\infty}e^{-zt-t^{2}}t^{2b-2}\OlverconfhyperM@{a}{b}{t^{2}}\diff{t} = \tfrac{1}{2}\pi^{-\frac{1}{2}}\EulerGamma@{b-\tfrac{1}{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{\tfrac{1}{4}z^{2}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt-t^{2}}t^{2b-2}\OlverconfhyperM@{a}{b}{t^{2}}\diff{t} = \tfrac{1}{2}\pi^{-\frac{1}{2}}\EulerGamma@{b-\tfrac{1}{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{\tfrac{1}{4}z^{2}}</syntaxhighlight> || <math>\realpart@@{b} > \tfrac{1}{2}, \realpart@@{z} > 0, \realpart@@{(b-\tfrac{1}{2})} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t - (t)^(2))*(t)^(2*b - 2)* KummerM(a, b, (t)^(2))/GAMMA(b), t = 0..infinity) = (1)/(2)*(Pi)^(-(1)/(2))* GAMMA(b -(1)/(2))*KummerU(b -(1)/(2), a +(1)/(2), (1)/(4)*(z)^(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t - (t)^(2)]*(t)^(2*b - 2)* Hypergeometric1F1Regularized[a, b, (t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*(Pi)^(-Divide[1,2])* Gamma[b -Divide[1,2]]*HypergeometricU[b -Divide[1,2], a +Divide[1,2], Divide[1,4]*(z)^(2)]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E6 13.10.E6] || <math qid="Q4465">\int_{0}^{\infty}e^{-zt-t^{2}}t^{2b-2}\OlverconfhyperM@{a}{b}{t^{2}}\diff{t} = \tfrac{1}{2}\pi^{-\frac{1}{2}}\EulerGamma@{b-\tfrac{1}{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{\tfrac{1}{4}z^{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt-t^{2}}t^{2b-2}\OlverconfhyperM@{a}{b}{t^{2}}\diff{t} = \tfrac{1}{2}\pi^{-\frac{1}{2}}\EulerGamma@{b-\tfrac{1}{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{\tfrac{1}{4}z^{2}}</syntaxhighlight> || <math>\realpart@@{b} > \tfrac{1}{2}, \realpart@@{z} > 0, \realpart@@{(b-\tfrac{1}{2})} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t - (t)^(2))*(t)^(2*b - 2)* KummerM(a, b, (t)^(2))/GAMMA(b), t = 0..infinity) = (1)/(2)*(Pi)^(-(1)/(2))* GAMMA(b -(1)/(2))*KummerU(b -(1)/(2), a +(1)/(2), (1)/(4)*(z)^(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t - (t)^(2)]*(t)^(2*b - 2)* Hypergeometric1F1Regularized[a, b, (t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*(Pi)^(-Divide[1,2])* Gamma[b -Divide[1,2]]*HypergeometricU[b -Divide[1,2], a +Divide[1,2], Divide[1,4]*(z)^(2)]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E7 13.10.E7] || [[Item:Q4466|<math>\int_{0}^{\infty}e^{-zt}t^{b-1}\KummerconfhyperU@{a}{c}{t}\diff{t} = \EulerGamma@{b}\EulerGamma@{b-c+1}\*z^{-b}\genhyperOlverF{2}{1}@{a,b}{a+b-c+1}{1-\frac{1}{z}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt}t^{b-1}\KummerconfhyperU@{a}{c}{t}\diff{t} = \EulerGamma@{b}\EulerGamma@{b-c+1}\*z^{-b}\genhyperOlverF{2}{1}@{a,b}{a+b-c+1}{1-\frac{1}{z}}</syntaxhighlight> || <math>\realpart@@{b} > \max\left(\realpart@@{c-1}, \realpart@@{z} > 0, \realpart@@{b} > 0, \realpart@@{(b-c+1)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t)*(t)^(b - 1)* KummerU(a, c, t), t = 0..infinity) = GAMMA(b)*GAMMA(b - c + 1)* (z)^(- b)* hypergeom([a , b], [a + b - c + 1], 1 -(1)/(z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t]*(t)^(b - 1)* HypergeometricU[a, c, t], {t, 0, Infinity}, GenerateConditions->None] == Gamma[b]*Gamma[b - c + 1]* (z)^(- b)* HypergeometricPFQRegularized[{a , b}, {a + b - c + 1}, 1 -Divide[1,z]]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E7 13.10.E7] || <math qid="Q4466">\int_{0}^{\infty}e^{-zt}t^{b-1}\KummerconfhyperU@{a}{c}{t}\diff{t} = \EulerGamma@{b}\EulerGamma@{b-c+1}\*z^{-b}\genhyperOlverF{2}{1}@{a,b}{a+b-c+1}{1-\frac{1}{z}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-zt}t^{b-1}\KummerconfhyperU@{a}{c}{t}\diff{t} = \EulerGamma@{b}\EulerGamma@{b-c+1}\*z^{-b}\genhyperOlverF{2}{1}@{a,b}{a+b-c+1}{1-\frac{1}{z}}</syntaxhighlight> || <math>\realpart@@{b} > \max\left(\realpart@@{c-1}, \realpart@@{z} > 0, \realpart@@{b} > 0, \realpart@@{(b-c+1)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- z*t)*(t)^(b - 1)* KummerU(a, c, t), t = 0..infinity) = GAMMA(b)*GAMMA(b - c + 1)* (z)^(- b)* hypergeom([a , b], [a + b - c + 1], 1 -(1)/(z))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- z*t]*(t)^(b - 1)* HypergeometricU[a, c, t], {t, 0, Infinity}, GenerateConditions->None] == Gamma[b]*Gamma[b - c + 1]* (z)^(- b)* HypergeometricPFQRegularized[{a , b}, {a + b - c + 1}, 1 -Divide[1,z]]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E8 13.10.E8] || [[Item:Q4467|<math>\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\OlverconfhyperM@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{1}{\EulerGamma@{a}}z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}\modBesselI{b-1}@{2\sqrt{zy}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\OlverconfhyperM@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{1}{\EulerGamma@{a}}z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}\modBesselI{b-1}@{2\sqrt{zy}}</syntaxhighlight> || <math>\realpart@@{z} > 0, \realpart@@{a} > 0, \realpart@@{(b+s)} > 0, \realpart@@{((b-1)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>(1)/(2*Pi*I)*int(exp(t*(x + y*I))*(t)^(- a)* KummerM(a, b, (y)/(t))/GAMMA(b), t = - infinity..(0 +)) = (1)/(GAMMA(a))*(x + y*I)^((1)/(2)*(2*a - b - 1))* (y)^((1)/(2)*(1 - b))* BesselI(b - 1, 2*sqrt((x + y*I)*y))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2*Pi*I]*Integrate[Exp[t*(x + y*I)]*(t)^(- a)* Hypergeometric1F1Regularized[a, b, Divide[y,t]], {t, - Infinity, (0 +)}, GenerateConditions->None] == Divide[1,Gamma[a]]*(x + y*I)^(Divide[1,2]*(2*a - b - 1))* (y)^(Divide[1,2]*(1 - b))* BesselI[b - 1, 2*Sqrt[(x + y*I)*y]]</syntaxhighlight> || Error || Failure || - || Error
| [https://dlmf.nist.gov/13.10.E8 13.10.E8] || <math qid="Q4467">\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\OlverconfhyperM@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{1}{\EulerGamma@{a}}z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}\modBesselI{b-1}@{2\sqrt{zy}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\OlverconfhyperM@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{1}{\EulerGamma@{a}}z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}\modBesselI{b-1}@{2\sqrt{zy}}</syntaxhighlight> || <math>\realpart@@{z} > 0, \realpart@@{a} > 0, \realpart@@{(b+s)} > 0, \realpart@@{((b-1)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>(1)/(2*Pi*I)*int(exp(t*(x + y*I))*(t)^(- a)* KummerM(a, b, (y)/(t))/GAMMA(b), t = - infinity..(0 +)) = (1)/(GAMMA(a))*(x + y*I)^((1)/(2)*(2*a - b - 1))* (y)^((1)/(2)*(1 - b))* BesselI(b - 1, 2*sqrt((x + y*I)*y))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2*Pi*I]*Integrate[Exp[t*(x + y*I)]*(t)^(- a)* Hypergeometric1F1Regularized[a, b, Divide[y,t]], {t, - Infinity, (0 +)}, GenerateConditions->None] == Divide[1,Gamma[a]]*(x + y*I)^(Divide[1,2]*(2*a - b - 1))* (y)^(Divide[1,2]*(1 - b))* BesselI[b - 1, 2*Sqrt[(x + y*I)*y]]</syntaxhighlight> || Error || Failure || - || Error
|-  
|-  
| [https://dlmf.nist.gov/13.10.E9 13.10.E9] || [[Item:Q4468|<math>\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\KummerconfhyperU@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{2z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}\modBesselK{b-1}@{2\sqrt{zy}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\KummerconfhyperU@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{2z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}\modBesselK{b-1}@{2\sqrt{zy}}</syntaxhighlight> || <math>\realpart@@{z} > 0, \realpart@@{a} > 0, \realpart@@{(a-b+1)} > 0</math> || <syntaxhighlight lang=mathematica>(1)/(2*Pi*I)*int(exp(t*(x + y*I))*(t)^(- a)* KummerU(a, b, (y)/(t)), t = - infinity..(0 +)) = (2*(x + y*I)^((1)/(2)*(2*a - b - 1))* (y)^((1)/(2)*(1 - b)))/(GAMMA(a)*GAMMA(a - b + 1))*BesselK(b - 1, 2*sqrt((x + y*I)*y))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2*Pi*I]*Integrate[Exp[t*(x + y*I)]*(t)^(- a)* HypergeometricU[a, b, Divide[y,t]], {t, - Infinity, (0 +)}, GenerateConditions->None] == Divide[2*(x + y*I)^(Divide[1,2]*(2*a - b - 1))* (y)^(Divide[1,2]*(1 - b)),Gamma[a]*Gamma[a - b + 1]]*BesselK[b - 1, 2*Sqrt[(x + y*I)*y]]</syntaxhighlight> || Error || Failure || - || Error
| [https://dlmf.nist.gov/13.10.E9 13.10.E9] || <math qid="Q4468">\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\KummerconfhyperU@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{2z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}\modBesselK{b-1}@{2\sqrt{zy}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\KummerconfhyperU@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{2z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}\modBesselK{b-1}@{2\sqrt{zy}}</syntaxhighlight> || <math>\realpart@@{z} > 0, \realpart@@{a} > 0, \realpart@@{(a-b+1)} > 0</math> || <syntaxhighlight lang=mathematica>(1)/(2*Pi*I)*int(exp(t*(x + y*I))*(t)^(- a)* KummerU(a, b, (y)/(t)), t = - infinity..(0 +)) = (2*(x + y*I)^((1)/(2)*(2*a - b - 1))* (y)^((1)/(2)*(1 - b)))/(GAMMA(a)*GAMMA(a - b + 1))*BesselK(b - 1, 2*sqrt((x + y*I)*y))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Divide[1,2*Pi*I]*Integrate[Exp[t*(x + y*I)]*(t)^(- a)* HypergeometricU[a, b, Divide[y,t]], {t, - Infinity, (0 +)}, GenerateConditions->None] == Divide[2*(x + y*I)^(Divide[1,2]*(2*a - b - 1))* (y)^(Divide[1,2]*(1 - b)),Gamma[a]*Gamma[a - b + 1]]*BesselK[b - 1, 2*Sqrt[(x + y*I)*y]]</syntaxhighlight> || Error || Failure || - || Error
|-  
|-  
| [https://dlmf.nist.gov/13.10.E10 13.10.E10] || [[Item:Q4469|<math>\int_{0}^{\infty}t^{\lambda-1}\OlverconfhyperM@{a}{b}{-t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}}{\EulerGamma@{a}\EulerGamma@{b-\lambda}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}t^{\lambda-1}\OlverconfhyperM@{a}{b}{-t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}}{\EulerGamma@{a}\EulerGamma@{b-\lambda}}</syntaxhighlight> || <math>0 < \realpart@@{\lambda}, \realpart@@{\lambda} < \realpart@@{a}, \realpart@@{(\lambda)} > 0, \realpart@@{(a-\lambda)} > 0, \realpart@@{a} > 0, \realpart@@{(b-\lambda)} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int((t)^(lambda - 1)* KummerM(a, b, - t)/GAMMA(b), t = 0..infinity) = (GAMMA(lambda)*GAMMA(a - lambda))/(GAMMA(a)*GAMMA(b - lambda))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(t)^(\[Lambda]- 1)* Hypergeometric1F1Regularized[a, b, - t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Lambda]]*Gamma[a - \[Lambda]],Gamma[a]*Gamma[b - \[Lambda]]]</syntaxhighlight> || Successful || Aborted || - || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E10 13.10.E10] || <math qid="Q4469">\int_{0}^{\infty}t^{\lambda-1}\OlverconfhyperM@{a}{b}{-t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}}{\EulerGamma@{a}\EulerGamma@{b-\lambda}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}t^{\lambda-1}\OlverconfhyperM@{a}{b}{-t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}}{\EulerGamma@{a}\EulerGamma@{b-\lambda}}</syntaxhighlight> || <math>0 < \realpart@@{\lambda}, \realpart@@{\lambda} < \realpart@@{a}, \realpart@@{(\lambda)} > 0, \realpart@@{(a-\lambda)} > 0, \realpart@@{a} > 0, \realpart@@{(b-\lambda)} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int((t)^(lambda - 1)* KummerM(a, b, - t)/GAMMA(b), t = 0..infinity) = (GAMMA(lambda)*GAMMA(a - lambda))/(GAMMA(a)*GAMMA(b - lambda))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(t)^(\[Lambda]- 1)* Hypergeometric1F1Regularized[a, b, - t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Lambda]]*Gamma[a - \[Lambda]],Gamma[a]*Gamma[b - \[Lambda]]]</syntaxhighlight> || Successful || Aborted || - || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E11 13.10.E11] || [[Item:Q4470|<math>\int_{0}^{\infty}t^{\lambda-1}\KummerconfhyperU@{a}{b}{t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}\EulerGamma@{\lambda-b+1}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}t^{\lambda-1}\KummerconfhyperU@{a}{b}{t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}\EulerGamma@{\lambda-b+1}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}</syntaxhighlight> || <math>\max\left(\realpart@@{b-1} < \realpart@@{\lambda}, 0\right) < \realpart@@{\lambda}, \realpart@@{\lambda} < \realpart@@{a}, \realpart@@{(\lambda)} > 0, \realpart@@{(a-\lambda)} > 0, \realpart@@{(\lambda-b+1)} > 0, \realpart@@{a} > 0, \realpart@@{(a-b+1)} > 0</math> || <syntaxhighlight lang=mathematica>int((t)^(lambda - 1)* KummerU(a, b, t), t = 0..infinity) = (GAMMA(lambda)*GAMMA(a - lambda)*GAMMA(lambda - b + 1))/(GAMMA(a)*GAMMA(a - b + 1))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(t)^(\[Lambda]- 1)* HypergeometricU[a, b, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Lambda]]*Gamma[a - \[Lambda]]*Gamma[\[Lambda]- b + 1],Gamma[a]*Gamma[a - b + 1]]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 300]
| [https://dlmf.nist.gov/13.10.E11 13.10.E11] || <math qid="Q4470">\int_{0}^{\infty}t^{\lambda-1}\KummerconfhyperU@{a}{b}{t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}\EulerGamma@{\lambda-b+1}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}t^{\lambda-1}\KummerconfhyperU@{a}{b}{t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}\EulerGamma@{\lambda-b+1}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}</syntaxhighlight> || <math>\max\left(\realpart@@{b-1} < \realpart@@{\lambda}, 0\right) < \realpart@@{\lambda}, \realpart@@{\lambda} < \realpart@@{a}, \realpart@@{(\lambda)} > 0, \realpart@@{(a-\lambda)} > 0, \realpart@@{(\lambda-b+1)} > 0, \realpart@@{a} > 0, \realpart@@{(a-b+1)} > 0</math> || <syntaxhighlight lang=mathematica>int((t)^(lambda - 1)* KummerU(a, b, t), t = 0..infinity) = (GAMMA(lambda)*GAMMA(a - lambda)*GAMMA(lambda - b + 1))/(GAMMA(a)*GAMMA(a - b + 1))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(t)^(\[Lambda]- 1)* HypergeometricU[a, b, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Lambda]]*Gamma[a - \[Lambda]]*Gamma[\[Lambda]- b + 1],Gamma[a]*Gamma[a - b + 1]]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 300]
|-  
|-  
| [https://dlmf.nist.gov/13.10.E12 13.10.E12] || [[Item:Q4471|<math>\int_{0}^{\infty}\cos@{2xt}\OlverconfhyperM@{a}{b}{-t^{2}}\diff{t} = \frac{\sqrt{\pi}}{2\EulerGamma@{a}}x^{2a-1}e^{-x^{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{x^{2}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}\cos@{2xt}\OlverconfhyperM@{a}{b}{-t^{2}}\diff{t} = \frac{\sqrt{\pi}}{2\EulerGamma@{a}}x^{2a-1}e^{-x^{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{x^{2}}</syntaxhighlight> || <math>\realpart@@{a} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(cos(2*x*t)*KummerM(a, b, - (t)^(2))/GAMMA(b), t = 0..infinity) = (sqrt(Pi))/(2*GAMMA(a))*(x)^(2*a - 1)* exp(- (x)^(2))*KummerU(b -(1)/(2), a +(1)/(2), (x)^(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Cos[2*x*t]*Hypergeometric1F1Regularized[a, b, - (t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi],2*Gamma[a]]*(x)^(2*a - 1)* Exp[- (x)^(2)]*HypergeometricU[b -Divide[1,2], a +Divide[1,2], (x)^(2)]</syntaxhighlight> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [51 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
| [https://dlmf.nist.gov/13.10.E12 13.10.E12] || <math qid="Q4471">\int_{0}^{\infty}\cos@{2xt}\OlverconfhyperM@{a}{b}{-t^{2}}\diff{t} = \frac{\sqrt{\pi}}{2\EulerGamma@{a}}x^{2a-1}e^{-x^{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{x^{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}\cos@{2xt}\OlverconfhyperM@{a}{b}{-t^{2}}\diff{t} = \frac{\sqrt{\pi}}{2\EulerGamma@{a}}x^{2a-1}e^{-x^{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{x^{2}}</syntaxhighlight> || <math>\realpart@@{a} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(cos(2*x*t)*KummerM(a, b, - (t)^(2))/GAMMA(b), t = 0..infinity) = (sqrt(Pi))/(2*GAMMA(a))*(x)^(2*a - 1)* exp(- (x)^(2))*KummerU(b -(1)/(2), a +(1)/(2), (x)^(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Cos[2*x*t]*Hypergeometric1F1Regularized[a, b, - (t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi],2*Gamma[a]]*(x)^(2*a - 1)* Exp[- (x)^(2)]*HypergeometricU[b -Divide[1,2], a +Divide[1,2], (x)^(2)]</syntaxhighlight> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [51 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {a = 3/2, b = -3/2, x = 3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {a = 3/2, b = -3/2, x = 3/2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Float(undefined)+Float(undefined)*I
Test Values: {a = 3/2, b = -3/2, x = 1/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
Test Values: {a = 3/2, b = -3/2, x = 1/2}</syntaxhighlight><br>... skip entries to safe data</div></div> || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E13 13.10.E13] || [[Item:Q4472|<math>\int_{0}^{\infty}e^{-t}t^{b-1-\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = x^{-a+\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{\nu-b+1}{\nu-a+1}{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{b-1-\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = x^{-a+\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{\nu-b+1}{\nu-a+1}{x}</syntaxhighlight> || <math>x > 0, 2\realpart@@{a} < \realpart@@{\nu}+\tfrac{5}{2}, \realpart@@{b} > 0, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(b+s)} > 0, \realpart@@{((\nu-a+1)+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^(b - 1 -(1)/(2)*nu)* KummerM(a, b, t)/GAMMA(b)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = (x)^(- a +(1)/(2)*nu)* exp(- x)*KummerM(nu - b + 1, nu - a + 1, x)/GAMMA(nu - a + 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(b - 1 -Divide[1,2]*\[Nu])* Hypergeometric1F1Regularized[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == (x)^(- a +Divide[1,2]*\[Nu])* Exp[- x]*Hypergeometric1F1Regularized[\[Nu]- b + 1, \[Nu]- a + 1, x]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E13 13.10.E13] || <math qid="Q4472">\int_{0}^{\infty}e^{-t}t^{b-1-\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = x^{-a+\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{\nu-b+1}{\nu-a+1}{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{b-1-\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = x^{-a+\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{\nu-b+1}{\nu-a+1}{x}</syntaxhighlight> || <math>x > 0, 2\realpart@@{a} < \realpart@@{\nu}+\tfrac{5}{2}, \realpart@@{b} > 0, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(b+s)} > 0, \realpart@@{((\nu-a+1)+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^(b - 1 -(1)/(2)*nu)* KummerM(a, b, t)/GAMMA(b)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = (x)^(- a +(1)/(2)*nu)* exp(- x)*KummerM(nu - b + 1, nu - a + 1, x)/GAMMA(nu - a + 1)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(b - 1 -Divide[1,2]*\[Nu])* Hypergeometric1F1Regularized[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == (x)^(- a +Divide[1,2]*\[Nu])* Exp[- x]*Hypergeometric1F1Regularized[\[Nu]- b + 1, \[Nu]- a + 1, x]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E14 13.10.E14] || [[Item:Q4473|<math>\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{x^{\frac{1}{2}\nu}e^{-x}}{\EulerGamma@{b-a}}\KummerconfhyperU@{a}{a-b+\nu+2}{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{x^{\frac{1}{2}\nu}e^{-x}}{\EulerGamma@{b-a}}\KummerconfhyperU@{a}{a-b+\nu+2}{x}</syntaxhighlight> || <math>x > 0, -1 < \realpart@@{\nu}, \realpart@@{\nu} < 2\realpart@{b-a}-\tfrac{1}{2}, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(b-a)} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^((1)/(2)*nu)* KummerM(a, b, t)/GAMMA(b)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = ((x)^((1)/(2)*nu)* exp(- x))/(GAMMA(b - a))*KummerU(a, a - b + nu + 2, x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(Divide[1,2]*\[Nu])* Hypergeometric1F1Regularized[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Divide[(x)^(Divide[1,2]*\[Nu])* Exp[- x],Gamma[b - a]]*HypergeometricU[a, a - b + \[Nu]+ 2, x]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E14 13.10.E14] || <math qid="Q4473">\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{x^{\frac{1}{2}\nu}e^{-x}}{\EulerGamma@{b-a}}\KummerconfhyperU@{a}{a-b+\nu+2}{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{x^{\frac{1}{2}\nu}e^{-x}}{\EulerGamma@{b-a}}\KummerconfhyperU@{a}{a-b+\nu+2}{x}</syntaxhighlight> || <math>x > 0, -1 < \realpart@@{\nu}, \realpart@@{\nu} < 2\realpart@{b-a}-\tfrac{1}{2}, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(b-a)} > 0, \realpart@@{(b+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^((1)/(2)*nu)* KummerM(a, b, t)/GAMMA(b)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = ((x)^((1)/(2)*nu)* exp(- x))/(GAMMA(b - a))*KummerU(a, a - b + nu + 2, x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(Divide[1,2]*\[Nu])* Hypergeometric1F1Regularized[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Divide[(x)^(Divide[1,2]*\[Nu])* Exp[- x],Gamma[b - a]]*HypergeometricU[a, a - b + \[Nu]+ 2, x]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E15 13.10.E15] || [[Item:Q4474|<math>\int_{0}^{\infty}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{\EulerGamma@{\nu-b+2}}{\EulerGamma@{a}}x^{\frac{1}{2}\nu}\KummerconfhyperU@{\nu-b+2}{\nu-a+2}{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{\EulerGamma@{\nu-b+2}}{\EulerGamma@{a}}x^{\frac{1}{2}\nu}\KummerconfhyperU@{\nu-b+2}{\nu-a+2}{x}</syntaxhighlight> || <math>x > 0, \max\left(\realpart@@{b-2} < \realpart@@{\nu}, -1\right) < \realpart@@{\nu}, \realpart@@{\nu} < 2\realpart@@{a}+\tfrac{1}{2}, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(\nu-b+2)} > 0, \realpart@@{a} > 0</math> || <syntaxhighlight lang=mathematica>int((t)^((1)/(2)*nu)* KummerU(a, b, t)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = (GAMMA(nu - b + 2))/(GAMMA(a))*(x)^((1)/(2)*nu)* KummerU(nu - b + 2, nu - a + 2, x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(t)^(Divide[1,2]*\[Nu])* HypergeometricU[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Nu]- b + 2],Gamma[a]]*(x)^(Divide[1,2]*\[Nu])* HypergeometricU[\[Nu]- b + 2, \[Nu]- a + 2, x]</syntaxhighlight> || Successful || Aborted || - || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E15 13.10.E15] || <math qid="Q4474">\int_{0}^{\infty}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{\EulerGamma@{\nu-b+2}}{\EulerGamma@{a}}x^{\frac{1}{2}\nu}\KummerconfhyperU@{\nu-b+2}{\nu-a+2}{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{\EulerGamma@{\nu-b+2}}{\EulerGamma@{a}}x^{\frac{1}{2}\nu}\KummerconfhyperU@{\nu-b+2}{\nu-a+2}{x}</syntaxhighlight> || <math>x > 0, \max\left(\realpart@@{b-2} < \realpart@@{\nu}, -1\right) < \realpart@@{\nu}, \realpart@@{\nu} < 2\realpart@@{a}+\tfrac{1}{2}, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(\nu-b+2)} > 0, \realpart@@{a} > 0</math> || <syntaxhighlight lang=mathematica>int((t)^((1)/(2)*nu)* KummerU(a, b, t)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = (GAMMA(nu - b + 2))/(GAMMA(a))*(x)^((1)/(2)*nu)* KummerU(nu - b + 2, nu - a + 2, x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(t)^(Divide[1,2]*\[Nu])* HypergeometricU[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Nu]- b + 2],Gamma[a]]*(x)^(Divide[1,2]*\[Nu])* HypergeometricU[\[Nu]- b + 2, \[Nu]- a + 2, x]</syntaxhighlight> || Successful || Aborted || - || Skipped - Because timed out
|-  
|-  
| [https://dlmf.nist.gov/13.10.E16 13.10.E16] || [[Item:Q4475|<math>\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \EulerGamma@{\nu-b+2}x^{\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{a}{a-b+\nu+2}{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \EulerGamma@{\nu-b+2}x^{\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{a}{a-b+\nu+2}{x}</syntaxhighlight> || <math>x > 0, \max\left(\realpart@@{b-2} < \realpart@@{\nu}, -1\right) < \realpart@@{\nu}, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(\nu-b+2)} > 0, \realpart@@{((a-b+\nu+2)+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^((1)/(2)*nu)* KummerU(a, b, t)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = GAMMA(nu - b + 2)*(x)^((1)/(2)*nu)* exp(- x)*KummerM(a, a - b + nu + 2, x)/GAMMA(a - b + nu + 2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(Divide[1,2]*\[Nu])* HypergeometricU[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Gamma[\[Nu]- b + 2]*(x)^(Divide[1,2]*\[Nu])* Exp[- x]*Hypergeometric1F1Regularized[a, a - b + \[Nu]+ 2, x]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
| [https://dlmf.nist.gov/13.10.E16 13.10.E16] || <math qid="Q4475">\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \EulerGamma@{\nu-b+2}x^{\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{a}{a-b+\nu+2}{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \EulerGamma@{\nu-b+2}x^{\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{a}{a-b+\nu+2}{x}</syntaxhighlight> || <math>x > 0, \max\left(\realpart@@{b-2} < \realpart@@{\nu}, -1\right) < \realpart@@{\nu}, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(\nu-b+2)} > 0, \realpart@@{((a-b+\nu+2)+s)} > 0</math> || <syntaxhighlight lang=mathematica>int(exp(- t)*(t)^((1)/(2)*nu)* KummerU(a, b, t)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = GAMMA(nu - b + 2)*(x)^((1)/(2)*nu)* exp(- x)*KummerM(a, a - b + nu + 2, x)/GAMMA(a - b + nu + 2)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- t]*(t)^(Divide[1,2]*\[Nu])* HypergeometricU[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Gamma[\[Nu]- b + 2]*(x)^(Divide[1,2]*\[Nu])* Exp[- x]*Hypergeometric1F1Regularized[a, a - b + \[Nu]+ 2, x]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out
|}
|}
</div>
</div>

Latest revision as of 11:33, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple
Symbolic
Mathematica
Numeric
Maple
Numeric
Mathematica
13.10.E1 𝐌 ( a , b , z ) d z = 1 a - 1 𝐌 ( a - 1 , b - 1 , z ) Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 𝑧 𝑧 1 𝑎 1 Kummer-confluent-hypergeometric-bold-M 𝑎 1 𝑏 1 𝑧 {\displaystyle{\displaystyle\int{\mathbf{M}}\left(a,b,z\right)\mathrm{d}z=% \frac{1}{a-1}{\mathbf{M}}\left(a-1,b-1,z\right)}}
\int\OlverconfhyperM@{a}{b}{z}\diff{z} = \frac{1}{a-1}\OlverconfhyperM@{a-1}{b-1}{z}
( b + s ) > 0 , ( ( b - 1 ) + s ) > 0 formulae-sequence 𝑏 𝑠 0 𝑏 1 𝑠 0 {\displaystyle{\displaystyle\Re(b+s)>0,\Re((b-1)+s)>0}}
int(KummerM(a, b, z)/GAMMA(b), z) = (1)/(a - 1)*KummerM(a - 1, b - 1, z)/GAMMA(b - 1)
Integrate[Hypergeometric1F1Regularized[a, b, z], z, GenerateConditions->None] == Divide[1,a - 1]*Hypergeometric1F1Regularized[a - 1, b - 1, z]
Successful Failure -
Failed [252 / 252]
Result: Complex[-0.4231421876608173, 0.0]
Test Values: {Rule[a, -1.5], Rule[b, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[-0.42314218766081735, 0.0]
Test Values: {Rule[a, -1.5], Rule[b, -1.5], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
13.10.E2 U ( a , b , z ) d z = - 1 a - 1 U ( a - 1 , b - 1 , z ) Kummer-confluent-hypergeometric-U 𝑎 𝑏 𝑧 𝑧 1 𝑎 1 Kummer-confluent-hypergeometric-U 𝑎 1 𝑏 1 𝑧 {\displaystyle{\displaystyle\int U\left(a,b,z\right)\mathrm{d}z=-\frac{1}{a-1}% U\left(a-1,b-1,z\right)}}
\int\KummerconfhyperU@{a}{b}{z}\diff{z} = -\frac{1}{a-1}\KummerconfhyperU@{a-1}{b-1}{z}

int(KummerU(a, b, z), z) = -(1)/(a - 1)*KummerU(a - 1, b - 1, z)
Integrate[HypergeometricU[a, b, z], z, GenerateConditions->None] == -Divide[1,a - 1]*HypergeometricU[a - 1, b - 1, z]
Successful Successful - Successful [Tested: 252]
13.10.E3 0 e - z t t b - 1 𝐌 ( a , c , k t ) d t = Γ ( b ) z - b 𝐅 1 2 ( a , b ; c ; k / z ) superscript subscript 0 superscript 𝑒 𝑧 𝑡 superscript 𝑡 𝑏 1 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑐 𝑘 𝑡 𝑡 Euler-Gamma 𝑏 superscript 𝑧 𝑏 hypergeometric-bold-pFq 2 1 𝑎 𝑏 𝑐 𝑘 𝑧 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-zt}t^{b-1}{\mathbf{M}}\left(a% ,c,kt\right)\mathrm{d}t=\Gamma\left(b\right)z^{-b}{{}_{2}{\mathbf{F}}_{1}}% \left(a,b;c;\ifrac{k}{z}\right)}}
\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{c}{kt}\diff{t} = \EulerGamma@{b}z^{-b}\genhyperOlverF{2}{1}@{a,b}{c}{\ifrac{k}{z}}
b > 0 , z > max ( k , ( c + s ) > 0 fragments 𝑏 0 , 𝑧 fragments ( 𝑘 , 𝑐 𝑠 0 {\displaystyle{\displaystyle\Re b>0,\Re z>\max\left(\Re k,\Re(c+s)>0}\)\@add@PDF@RDFa@triples\end{document}}
int(exp(- z*t)*(t)^(b - 1)* KummerM(a, c, k*t)/GAMMA(c), t = 0..infinity) = GAMMA(b)*(z)^(- b)* hypergeom([a , b], [c], (k)/(z))
Integrate[Exp[- z*t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, c, k*t], {t, 0, Infinity}, GenerateConditions->None] == Gamma[b]*(z)^(- b)* HypergeometricPFQRegularized[{a , b}, {c}, Divide[k,z]]
Failure Aborted
Failed [300 / 300]
Result: Float(undefined)+Float(undefined)*I
Test Values: {a = -3/2, b = -3/2, c = -3/2, z = 1/2*3^(1/2)+1/2*I, k = 1}

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

... skip entries to safe data
Skipped - Because timed out
13.10.E4 0 e - z t t b - 1 𝐌 ( a , b , t ) d t = z - b ( 1 - 1 z ) - a superscript subscript 0 superscript 𝑒 𝑧 𝑡 superscript 𝑡 𝑏 1 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 𝑡 𝑡 superscript 𝑧 𝑏 superscript 1 1 𝑧 𝑎 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-zt}t^{b-1}{\mathbf{M}}\left(a% ,b,t\right)\mathrm{d}t=z^{-b}\left(1-\frac{1}{z}\right)^{-a}}}
\int_{0}^{\infty}e^{-zt}t^{b-1}\OlverconfhyperM@{a}{b}{t}\diff{t} = z^{-b}\left(1-\frac{1}{z}\right)^{-a}
b > 0 , z > 1 , ( b + s ) > 0 formulae-sequence 𝑏 0 formulae-sequence 𝑧 1 𝑏 𝑠 0 {\displaystyle{\displaystyle\Re b>0,\Re z>1,\Re(b+s)>0}}
int(exp(- z*t)*(t)^(b - 1)* KummerM(a, b, t)/GAMMA(b), t = 0..infinity) = (z)^(- b)*(1 -(1)/(z))^(- a)
Integrate[Exp[- z*t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, b, t], {t, 0, Infinity}, GenerateConditions->None] == (z)^(- b)*(1 -Divide[1,z])^(- a)
Failure Aborted
Failed [24 / 36]
Result: -.2095131204
Test Values: {a = -3/2, b = 3/2, z = 3/2}

Result: -.2500000000
Test Values: {a = -3/2, b = 3/2, z = 2}

... skip entries to safe data
Skipped - Because timed out
13.10.E5 0 e - t t b - 1 𝐌 ( a , c , t ) d t = Γ ( b ) Γ ( c - a - b ) Γ ( c - a ) Γ ( c - b ) superscript subscript 0 superscript 𝑒 𝑡 superscript 𝑡 𝑏 1 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑐 𝑡 𝑡 Euler-Gamma 𝑏 Euler-Gamma 𝑐 𝑎 𝑏 Euler-Gamma 𝑐 𝑎 Euler-Gamma 𝑐 𝑏 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-t}t^{b-1}{\mathbf{M}}\left(a,% c,t\right)\mathrm{d}t=\frac{\Gamma\left(b\right)\Gamma\left(c-a-b\right)}{% \Gamma\left(c-a\right)\Gamma\left(c-b\right)}}}
\int_{0}^{\infty}e^{-t}t^{b-1}\OlverconfhyperM@{a}{c}{t}\diff{t} = \frac{\EulerGamma@{b}\EulerGamma@{c-a-b}}{\EulerGamma@{c-a}\EulerGamma@{c-b}}
( c - a ) > b , b > 0 , ( c - a - b ) > 0 , ( c - a ) > 0 , ( c - b ) > 0 , ( c + s ) > 0 formulae-sequence 𝑐 𝑎 𝑏 formulae-sequence 𝑏 0 formulae-sequence 𝑐 𝑎 𝑏 0 formulae-sequence 𝑐 𝑎 0 formulae-sequence 𝑐 𝑏 0 𝑐 𝑠 0 {\displaystyle{\displaystyle\Re\left(c-a\right)>\Re b,\Re b>0,\Re(c-a-b)>0,\Re% (c-a)>0,\Re(c-b)>0,\Re(c+s)>0}}
int(exp(- t)*(t)^(b - 1)* KummerM(a, c, t)/GAMMA(c), t = 0..infinity) = (GAMMA(b)*GAMMA(c - a - b))/(GAMMA(c - a)*GAMMA(c - b))
Integrate[Exp[- t]*(t)^(b - 1)* Hypergeometric1F1Regularized[a, c, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[b]*Gamma[c - a - b],Gamma[c - a]*Gamma[c - b]]
Successful Aborted - Skipped - Because timed out
13.10.E6 0 e - z t - t 2 t 2 b - 2 𝐌 ( a , b , t 2 ) d t = 1 2 π - 1 2 Γ ( b - 1 2 ) U ( b - 1 2 , a + 1 2 , 1 4 z 2 ) superscript subscript 0 superscript 𝑒 𝑧 𝑡 superscript 𝑡 2 superscript 𝑡 2 𝑏 2 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 superscript 𝑡 2 𝑡 1 2 superscript 𝜋 1 2 Euler-Gamma 𝑏 1 2 Kummer-confluent-hypergeometric-U 𝑏 1 2 𝑎 1 2 1 4 superscript 𝑧 2 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-zt-t^{2}}t^{2b-2}{\mathbf{M}}% \left(a,b,t^{2}\right)\mathrm{d}t=\tfrac{1}{2}\pi^{-\frac{1}{2}}\Gamma\left(b-% \tfrac{1}{2}\right)U\left(b-\tfrac{1}{2},a+\tfrac{1}{2},\tfrac{1}{4}z^{2}% \right)}}
\int_{0}^{\infty}e^{-zt-t^{2}}t^{2b-2}\OlverconfhyperM@{a}{b}{t^{2}}\diff{t} = \tfrac{1}{2}\pi^{-\frac{1}{2}}\EulerGamma@{b-\tfrac{1}{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{\tfrac{1}{4}z^{2}}
b > 1 2 , z > 0 , ( b - 1 2 ) > 0 , ( b + s ) > 0 formulae-sequence 𝑏 1 2 formulae-sequence 𝑧 0 formulae-sequence 𝑏 1 2 0 𝑏 𝑠 0 {\displaystyle{\displaystyle\Re b>\tfrac{1}{2},\Re z>0,\Re(b-\tfrac{1}{2})>0,% \Re(b+s)>0}}
int(exp(- z*t - (t)^(2))*(t)^(2*b - 2)* KummerM(a, b, (t)^(2))/GAMMA(b), t = 0..infinity) = (1)/(2)*(Pi)^(-(1)/(2))* GAMMA(b -(1)/(2))*KummerU(b -(1)/(2), a +(1)/(2), (1)/(4)*(z)^(2))
Integrate[Exp[- z*t - (t)^(2)]*(t)^(2*b - 2)* Hypergeometric1F1Regularized[a, b, (t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*(Pi)^(-Divide[1,2])* Gamma[b -Divide[1,2]]*HypergeometricU[b -Divide[1,2], a +Divide[1,2], Divide[1,4]*(z)^(2)]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
13.10.E7 0 e - z t t b - 1 U ( a , c , t ) d t = Γ ( b ) Γ ( b - c + 1 ) z - b 𝐅 1 2 ( a , b ; a + b - c + 1 ; 1 - 1 z ) superscript subscript 0 superscript 𝑒 𝑧 𝑡 superscript 𝑡 𝑏 1 Kummer-confluent-hypergeometric-U 𝑎 𝑐 𝑡 𝑡 Euler-Gamma 𝑏 Euler-Gamma 𝑏 𝑐 1 superscript 𝑧 𝑏 hypergeometric-bold-pFq 2 1 𝑎 𝑏 𝑎 𝑏 𝑐 1 1 1 𝑧 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-zt}t^{b-1}U\left(a,c,t\right)% \mathrm{d}t=\Gamma\left(b\right)\Gamma\left(b-c+1\right)\*z^{-b}{{}_{2}{% \mathbf{F}}_{1}}\left(a,b;a+b-c+1;1-\frac{1}{z}\right)}}
\int_{0}^{\infty}e^{-zt}t^{b-1}\KummerconfhyperU@{a}{c}{t}\diff{t} = \EulerGamma@{b}\EulerGamma@{b-c+1}\*z^{-b}\genhyperOlverF{2}{1}@{a,b}{a+b-c+1}{1-\frac{1}{z}}
b > max ( c - 1 , z > 0 , b > 0 , ( b - c + 1 ) > 0 fragments 𝑏 fragments ( 𝑐 1 , 𝑧 0 , 𝑏 0 , 𝑏 𝑐 1 0 {\displaystyle{\displaystyle\Re b>\max\left(\Re c-1,\Re z>0,\Re b>0,\Re(b-c+1)% >0}\)\@add@PDF@RDFa@triples\end{document}}
int(exp(- z*t)*(t)^(b - 1)* KummerU(a, c, t), t = 0..infinity) = GAMMA(b)*GAMMA(b - c + 1)* (z)^(- b)* hypergeom([a , b], [a + b - c + 1], 1 -(1)/(z))
Integrate[Exp[- z*t]*(t)^(b - 1)* HypergeometricU[a, c, t], {t, 0, Infinity}, GenerateConditions->None] == Gamma[b]*Gamma[b - c + 1]* (z)^(- b)* HypergeometricPFQRegularized[{a , b}, {a + b - c + 1}, 1 -Divide[1,z]]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
13.10.E8 1 2 π i - ( 0 + ) e t z t - a 𝐌 ( a , b , y / t ) d t = 1 Γ ( a ) z 1 2 ( 2 a - b - 1 ) y 1 2 ( 1 - b ) I b - 1 ( 2 z y ) 1 2 𝜋 imaginary-unit superscript subscript limit-from 0 superscript 𝑒 𝑡 𝑧 superscript 𝑡 𝑎 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 𝑦 𝑡 𝑡 1 Euler-Gamma 𝑎 superscript 𝑧 1 2 2 𝑎 𝑏 1 superscript 𝑦 1 2 1 𝑏 modified-Bessel-first-kind 𝑏 1 2 𝑧 𝑦 {\displaystyle{\displaystyle\frac{1}{2\pi\mathrm{i}}\int_{-\infty}^{(0+)}e^{tz% }t^{-a}{\mathbf{M}}\left(a,b,\ifrac{y}{t}\right)\mathrm{d}t=\frac{1}{\Gamma% \left(a\right)}z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}I_{b-1}\left(2\sqrt{% zy}\right)}}
\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\OlverconfhyperM@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{1}{\EulerGamma@{a}}z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}\modBesselI{b-1}@{2\sqrt{zy}}
z > 0 , a > 0 , ( b + s ) > 0 , ( ( b - 1 ) + k + 1 ) > 0 formulae-sequence 𝑧 0 formulae-sequence 𝑎 0 formulae-sequence 𝑏 𝑠 0 𝑏 1 𝑘 1 0 {\displaystyle{\displaystyle\Re z>0,\Re a>0,\Re(b+s)>0,\Re((b-1)+k+1)>0}}
(1)/(2*Pi*I)*int(exp(t*(x + y*I))*(t)^(- a)* KummerM(a, b, (y)/(t))/GAMMA(b), t = - infinity..(0 +)) = (1)/(GAMMA(a))*(x + y*I)^((1)/(2)*(2*a - b - 1))* (y)^((1)/(2)*(1 - b))* BesselI(b - 1, 2*sqrt((x + y*I)*y))
Divide[1,2*Pi*I]*Integrate[Exp[t*(x + y*I)]*(t)^(- a)* Hypergeometric1F1Regularized[a, b, Divide[y,t]], {t, - Infinity, (0 +)}, GenerateConditions->None] == Divide[1,Gamma[a]]*(x + y*I)^(Divide[1,2]*(2*a - b - 1))* (y)^(Divide[1,2]*(1 - b))* BesselI[b - 1, 2*Sqrt[(x + y*I)*y]]
Error Failure - Error
13.10.E9 1 2 π i - ( 0 + ) e t z t - a U ( a , b , y / t ) d t = 2 z 1 2 ( 2 a - b - 1 ) y 1 2 ( 1 - b ) Γ ( a ) Γ ( a - b + 1 ) K b - 1 ( 2 z y ) 1 2 𝜋 imaginary-unit superscript subscript limit-from 0 superscript 𝑒 𝑡 𝑧 superscript 𝑡 𝑎 Kummer-confluent-hypergeometric-U 𝑎 𝑏 𝑦 𝑡 𝑡 2 superscript 𝑧 1 2 2 𝑎 𝑏 1 superscript 𝑦 1 2 1 𝑏 Euler-Gamma 𝑎 Euler-Gamma 𝑎 𝑏 1 modified-Bessel-second-kind 𝑏 1 2 𝑧 𝑦 {\displaystyle{\displaystyle\frac{1}{2\pi\mathrm{i}}\int_{-\infty}^{(0+)}e^{tz% }t^{-a}U\left(a,b,\ifrac{y}{t}\right)\mathrm{d}t=\frac{2z^{\frac{1}{2}(2a-b-1)% }y^{\frac{1}{2}(1-b)}}{\Gamma\left(a\right)\Gamma\left(a-b+1\right)}K_{b-1}% \left(2\sqrt{zy}\right)}}
\frac{1}{2\pi\iunit}\int_{-\infty}^{(0+)}e^{tz}t^{-a}\KummerconfhyperU@{a}{b}{\ifrac{y}{t}}\diff{t} = \frac{2z^{\frac{1}{2}(2a-b-1)}y^{\frac{1}{2}(1-b)}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}\modBesselK{b-1}@{2\sqrt{zy}}
z > 0 , a > 0 , ( a - b + 1 ) > 0 formulae-sequence 𝑧 0 formulae-sequence 𝑎 0 𝑎 𝑏 1 0 {\displaystyle{\displaystyle\Re z>0,\Re a>0,\Re(a-b+1)>0}}
(1)/(2*Pi*I)*int(exp(t*(x + y*I))*(t)^(- a)* KummerU(a, b, (y)/(t)), t = - infinity..(0 +)) = (2*(x + y*I)^((1)/(2)*(2*a - b - 1))* (y)^((1)/(2)*(1 - b)))/(GAMMA(a)*GAMMA(a - b + 1))*BesselK(b - 1, 2*sqrt((x + y*I)*y))
Divide[1,2*Pi*I]*Integrate[Exp[t*(x + y*I)]*(t)^(- a)* HypergeometricU[a, b, Divide[y,t]], {t, - Infinity, (0 +)}, GenerateConditions->None] == Divide[2*(x + y*I)^(Divide[1,2]*(2*a - b - 1))* (y)^(Divide[1,2]*(1 - b)),Gamma[a]*Gamma[a - b + 1]]*BesselK[b - 1, 2*Sqrt[(x + y*I)*y]]
Error Failure - Error
13.10.E10 0 t λ - 1 𝐌 ( a , b , - t ) d t = Γ ( λ ) Γ ( a - λ ) Γ ( a ) Γ ( b - λ ) superscript subscript 0 superscript 𝑡 𝜆 1 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 𝑡 𝑡 Euler-Gamma 𝜆 Euler-Gamma 𝑎 𝜆 Euler-Gamma 𝑎 Euler-Gamma 𝑏 𝜆 {\displaystyle{\displaystyle\int_{0}^{\infty}t^{\lambda-1}{\mathbf{M}}\left(a,% b,-t\right)\mathrm{d}t=\frac{\Gamma\left(\lambda\right)\Gamma\left(a-\lambda% \right)}{\Gamma\left(a\right)\Gamma\left(b-\lambda\right)}}}
\int_{0}^{\infty}t^{\lambda-1}\OlverconfhyperM@{a}{b}{-t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}}{\EulerGamma@{a}\EulerGamma@{b-\lambda}}
0 < λ , λ < a , ( λ ) > 0 , ( a - λ ) > 0 , a > 0 , ( b - λ ) > 0 , ( b + s ) > 0 formulae-sequence 0 𝜆 formulae-sequence 𝜆 𝑎 formulae-sequence 𝜆 0 formulae-sequence 𝑎 𝜆 0 formulae-sequence 𝑎 0 formulae-sequence 𝑏 𝜆 0 𝑏 𝑠 0 {\displaystyle{\displaystyle 0<\Re\lambda,\Re\lambda<\Re a,\Re(\lambda)>0,\Re(% a-\lambda)>0,\Re a>0,\Re(b-\lambda)>0,\Re(b+s)>0}}
int((t)^(lambda - 1)* KummerM(a, b, - t)/GAMMA(b), t = 0..infinity) = (GAMMA(lambda)*GAMMA(a - lambda))/(GAMMA(a)*GAMMA(b - lambda))
Integrate[(t)^(\[Lambda]- 1)* Hypergeometric1F1Regularized[a, b, - t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Lambda]]*Gamma[a - \[Lambda]],Gamma[a]*Gamma[b - \[Lambda]]]
Successful Aborted - Skipped - Because timed out
13.10.E11 0 t λ - 1 U ( a , b , t ) d t = Γ ( λ ) Γ ( a - λ ) Γ ( λ - b + 1 ) Γ ( a ) Γ ( a - b + 1 ) superscript subscript 0 superscript 𝑡 𝜆 1 Kummer-confluent-hypergeometric-U 𝑎 𝑏 𝑡 𝑡 Euler-Gamma 𝜆 Euler-Gamma 𝑎 𝜆 Euler-Gamma 𝜆 𝑏 1 Euler-Gamma 𝑎 Euler-Gamma 𝑎 𝑏 1 {\displaystyle{\displaystyle\int_{0}^{\infty}t^{\lambda-1}U\left(a,b,t\right)% \mathrm{d}t=\frac{\Gamma\left(\lambda\right)\Gamma\left(a-\lambda\right)\Gamma% \left(\lambda-b+1\right)}{\Gamma\left(a\right)\Gamma\left(a-b+1\right)}}}
\int_{0}^{\infty}t^{\lambda-1}\KummerconfhyperU@{a}{b}{t}\diff{t} = \frac{\EulerGamma@{\lambda}\EulerGamma@{a-\lambda}\EulerGamma@{\lambda-b+1}}{\EulerGamma@{a}\EulerGamma@{a-b+1}}
max ( b - 1 < λ , 0 ) < λ , λ < a , ( λ ) > 0 , ( a - λ ) > 0 , ( λ - b + 1 ) > 0 , a > 0 , ( a - b + 1 ) > 0 formulae-sequence 𝑏 1 𝜆 0 𝜆 formulae-sequence 𝜆 𝑎 formulae-sequence 𝜆 0 formulae-sequence 𝑎 𝜆 0 formulae-sequence 𝜆 𝑏 1 0 formulae-sequence 𝑎 0 𝑎 𝑏 1 0 {\displaystyle{\displaystyle\max\left(\Re b-1<\Re\lambda,0\right)<\Re\lambda,% \Re\lambda<\Re a,\Re(\lambda)>0,\Re(a-\lambda)>0,\Re(\lambda-b+1)>0,\Re a>0,% \Re(a-b+1)>0}}
int((t)^(lambda - 1)* KummerU(a, b, t), t = 0..infinity) = (GAMMA(lambda)*GAMMA(a - lambda)*GAMMA(lambda - b + 1))/(GAMMA(a)*GAMMA(a - b + 1))
Integrate[(t)^(\[Lambda]- 1)* HypergeometricU[a, b, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Lambda]]*Gamma[a - \[Lambda]]*Gamma[\[Lambda]- b + 1],Gamma[a]*Gamma[a - b + 1]]
Successful Successful - Successful [Tested: 300]
13.10.E12 0 cos ( 2 x t ) 𝐌 ( a , b , - t 2 ) d t = π 2 Γ ( a ) x 2 a - 1 e - x 2 U ( b - 1 2 , a + 1 2 , x 2 ) superscript subscript 0 2 𝑥 𝑡 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 superscript 𝑡 2 𝑡 𝜋 2 Euler-Gamma 𝑎 superscript 𝑥 2 𝑎 1 superscript 𝑒 superscript 𝑥 2 Kummer-confluent-hypergeometric-U 𝑏 1 2 𝑎 1 2 superscript 𝑥 2 {\displaystyle{\displaystyle\int_{0}^{\infty}\cos\left(2xt\right){\mathbf{M}}% \left(a,b,-t^{2}\right)\mathrm{d}t=\frac{\sqrt{\pi}}{2\Gamma\left(a\right)}x^{% 2a-1}e^{-x^{2}}U\left(b-\tfrac{1}{2},a+\tfrac{1}{2},x^{2}\right)}}
\int_{0}^{\infty}\cos@{2xt}\OlverconfhyperM@{a}{b}{-t^{2}}\diff{t} = \frac{\sqrt{\pi}}{2\EulerGamma@{a}}x^{2a-1}e^{-x^{2}}\KummerconfhyperU@{b-\tfrac{1}{2}}{a+\tfrac{1}{2}}{x^{2}}
a > 0 , ( b + s ) > 0 formulae-sequence 𝑎 0 𝑏 𝑠 0 {\displaystyle{\displaystyle\Re a>0,\Re(b+s)>0}}
int(cos(2*x*t)*KummerM(a, b, - (t)^(2))/GAMMA(b), t = 0..infinity) = (sqrt(Pi))/(2*GAMMA(a))*(x)^(2*a - 1)* exp(- (x)^(2))*KummerU(b -(1)/(2), a +(1)/(2), (x)^(2))
Integrate[Cos[2*x*t]*Hypergeometric1F1Regularized[a, b, - (t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi],2*Gamma[a]]*(x)^(2*a - 1)* Exp[- (x)^(2)]*HypergeometricU[b -Divide[1,2], a +Divide[1,2], (x)^(2)]
Failure Aborted
Failed [51 / 54]
Result: Float(undefined)+Float(undefined)*I
Test Values: {a = 3/2, b = -3/2, x = 3/2}

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

... skip entries to safe data
Skipped - Because timed out
13.10.E13 0 e - t t b - 1 - 1 2 ν 𝐌 ( a , b , t ) J ν ( 2 x t ) d t = x - a + 1 2 ν e - x 𝐌 ( ν - b + 1 , ν - a + 1 , x ) superscript subscript 0 superscript 𝑒 𝑡 superscript 𝑡 𝑏 1 1 2 𝜈 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 𝑡 Bessel-J 𝜈 2 𝑥 𝑡 𝑡 superscript 𝑥 𝑎 1 2 𝜈 superscript 𝑒 𝑥 Kummer-confluent-hypergeometric-bold-M 𝜈 𝑏 1 𝜈 𝑎 1 𝑥 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-t}t^{b-1-\frac{1}{2}\nu}{% \mathbf{M}}\left(a,b,t\right)J_{\nu}\left(2\sqrt{xt}\right)\mathrm{d}t=x^{-a+% \frac{1}{2}\nu}e^{-x}{\mathbf{M}}\left(\nu-b+1,\nu-a+1,x\right)}}
\int_{0}^{\infty}e^{-t}t^{b-1-\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = x^{-a+\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{\nu-b+1}{\nu-a+1}{x}
x > 0 , 2 a < ν + 5 2 , b > 0 , ( ν + k + 1 ) > 0 , ( b + s ) > 0 , ( ( ν - a + 1 ) + s ) > 0 formulae-sequence 𝑥 0 formulae-sequence 2 𝑎 𝜈 5 2 formulae-sequence 𝑏 0 formulae-sequence 𝜈 𝑘 1 0 formulae-sequence 𝑏 𝑠 0 𝜈 𝑎 1 𝑠 0 {\displaystyle{\displaystyle x>0,2\Re a<\Re\nu+\tfrac{5}{2},\Re b>0,\Re(\nu+k+% 1)>0,\Re(b+s)>0,\Re((\nu-a+1)+s)>0}}
int(exp(- t)*(t)^(b - 1 -(1)/(2)*nu)* KummerM(a, b, t)/GAMMA(b)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = (x)^(- a +(1)/(2)*nu)* exp(- x)*KummerM(nu - b + 1, nu - a + 1, x)/GAMMA(nu - a + 1)
Integrate[Exp[- t]*(t)^(b - 1 -Divide[1,2]*\[Nu])* Hypergeometric1F1Regularized[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == (x)^(- a +Divide[1,2]*\[Nu])* Exp[- x]*Hypergeometric1F1Regularized[\[Nu]- b + 1, \[Nu]- a + 1, x]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
13.10.E14 0 e - t t 1 2 ν 𝐌 ( a , b , t ) J ν ( 2 x t ) d t = x 1 2 ν e - x Γ ( b - a ) U ( a , a - b + ν + 2 , x ) superscript subscript 0 superscript 𝑒 𝑡 superscript 𝑡 1 2 𝜈 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑏 𝑡 Bessel-J 𝜈 2 𝑥 𝑡 𝑡 superscript 𝑥 1 2 𝜈 superscript 𝑒 𝑥 Euler-Gamma 𝑏 𝑎 Kummer-confluent-hypergeometric-U 𝑎 𝑎 𝑏 𝜈 2 𝑥 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}{\mathbf{% M}}\left(a,b,t\right)J_{\nu}\left(2\sqrt{xt}\right)\mathrm{d}t=\frac{x^{\frac{% 1}{2}\nu}e^{-x}}{\Gamma\left(b-a\right)}U\left(a,a-b+\nu+2,x\right)}}
\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\OlverconfhyperM@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{x^{\frac{1}{2}\nu}e^{-x}}{\EulerGamma@{b-a}}\KummerconfhyperU@{a}{a-b+\nu+2}{x}
x > 0 , - 1 < ν , ν < 2 ( b - a ) - 1 2 , ( ν + k + 1 ) > 0 , ( b - a ) > 0 , ( b + s ) > 0 formulae-sequence 𝑥 0 formulae-sequence 1 𝜈 formulae-sequence 𝜈 2 𝑏 𝑎 1 2 formulae-sequence 𝜈 𝑘 1 0 formulae-sequence 𝑏 𝑎 0 𝑏 𝑠 0 {\displaystyle{\displaystyle x>0,-1<\Re\nu,\Re\nu<2\Re\left(b-a\right)-\tfrac{% 1}{2},\Re(\nu+k+1)>0,\Re(b-a)>0,\Re(b+s)>0}}
int(exp(- t)*(t)^((1)/(2)*nu)* KummerM(a, b, t)/GAMMA(b)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = ((x)^((1)/(2)*nu)* exp(- x))/(GAMMA(b - a))*KummerU(a, a - b + nu + 2, x)
Integrate[Exp[- t]*(t)^(Divide[1,2]*\[Nu])* Hypergeometric1F1Regularized[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Divide[(x)^(Divide[1,2]*\[Nu])* Exp[- x],Gamma[b - a]]*HypergeometricU[a, a - b + \[Nu]+ 2, x]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
13.10.E15 0 t 1 2 ν U ( a , b , t ) J ν ( 2 x t ) d t = Γ ( ν - b + 2 ) Γ ( a ) x 1 2 ν U ( ν - b + 2 , ν - a + 2 , x ) superscript subscript 0 superscript 𝑡 1 2 𝜈 Kummer-confluent-hypergeometric-U 𝑎 𝑏 𝑡 Bessel-J 𝜈 2 𝑥 𝑡 𝑡 Euler-Gamma 𝜈 𝑏 2 Euler-Gamma 𝑎 superscript 𝑥 1 2 𝜈 Kummer-confluent-hypergeometric-U 𝜈 𝑏 2 𝜈 𝑎 2 𝑥 {\displaystyle{\displaystyle\int_{0}^{\infty}t^{\frac{1}{2}\nu}U\left(a,b,t% \right)J_{\nu}\left(2\sqrt{xt}\right)\mathrm{d}t=\frac{\Gamma\left(\nu-b+2% \right)}{\Gamma\left(a\right)}x^{\frac{1}{2}\nu}U\left(\nu-b+2,\nu-a+2,x\right% )}}
\int_{0}^{\infty}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \frac{\EulerGamma@{\nu-b+2}}{\EulerGamma@{a}}x^{\frac{1}{2}\nu}\KummerconfhyperU@{\nu-b+2}{\nu-a+2}{x}
x > 0 , max ( b - 2 < ν , - 1 ) < ν , ν < 2 a + 1 2 , ( ν + k + 1 ) > 0 , ( ν - b + 2 ) > 0 , a > 0 formulae-sequence 𝑥 0 formulae-sequence 𝑏 2 𝜈 1 𝜈 formulae-sequence 𝜈 2 𝑎 1 2 formulae-sequence 𝜈 𝑘 1 0 formulae-sequence 𝜈 𝑏 2 0 𝑎 0 {\displaystyle{\displaystyle x>0,\max\left(\Re b-2<\Re\nu,-1\right)<\Re\nu,\Re% \nu<2\Re a+\tfrac{1}{2},\Re(\nu+k+1)>0,\Re(\nu-b+2)>0,\Re a>0}}
int((t)^((1)/(2)*nu)* KummerU(a, b, t)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = (GAMMA(nu - b + 2))/(GAMMA(a))*(x)^((1)/(2)*nu)* KummerU(nu - b + 2, nu - a + 2, x)
Integrate[(t)^(Divide[1,2]*\[Nu])* HypergeometricU[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[\[Nu]- b + 2],Gamma[a]]*(x)^(Divide[1,2]*\[Nu])* HypergeometricU[\[Nu]- b + 2, \[Nu]- a + 2, x]
Successful Aborted - Skipped - Because timed out
13.10.E16 0 e - t t 1 2 ν U ( a , b , t ) J ν ( 2 x t ) d t = Γ ( ν - b + 2 ) x 1 2 ν e - x 𝐌 ( a , a - b + ν + 2 , x ) superscript subscript 0 superscript 𝑒 𝑡 superscript 𝑡 1 2 𝜈 Kummer-confluent-hypergeometric-U 𝑎 𝑏 𝑡 Bessel-J 𝜈 2 𝑥 𝑡 𝑡 Euler-Gamma 𝜈 𝑏 2 superscript 𝑥 1 2 𝜈 superscript 𝑒 𝑥 Kummer-confluent-hypergeometric-bold-M 𝑎 𝑎 𝑏 𝜈 2 𝑥 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}U\left(a,% b,t\right)J_{\nu}\left(2\sqrt{xt}\right)\mathrm{d}t=\Gamma\left(\nu-b+2\right)% x^{\frac{1}{2}\nu}e^{-x}{\mathbf{M}}\left(a,a-b+\nu+2,x\right)}}
\int_{0}^{\infty}e^{-t}t^{\frac{1}{2}\nu}\KummerconfhyperU@{a}{b}{t}\BesselJ{\nu}@{2\sqrt{xt}}\diff{t} = \EulerGamma@{\nu-b+2}x^{\frac{1}{2}\nu}e^{-x}\OlverconfhyperM@{a}{a-b+\nu+2}{x}
x > 0 , max ( b - 2 < ν , - 1 ) < ν , ( ν + k + 1 ) > 0 , ( ν - b + 2 ) > 0 , ( ( a - b + ν + 2 ) + s ) > 0 formulae-sequence 𝑥 0 formulae-sequence 𝑏 2 𝜈 1 𝜈 formulae-sequence 𝜈 𝑘 1 0 formulae-sequence 𝜈 𝑏 2 0 𝑎 𝑏 𝜈 2 𝑠 0 {\displaystyle{\displaystyle x>0,\max\left(\Re b-2<\Re\nu,-1\right)<\Re\nu,\Re% (\nu+k+1)>0,\Re(\nu-b+2)>0,\Re((a-b+\nu+2)+s)>0}}
int(exp(- t)*(t)^((1)/(2)*nu)* KummerU(a, b, t)*BesselJ(nu, 2*sqrt(x*t)), t = 0..infinity) = GAMMA(nu - b + 2)*(x)^((1)/(2)*nu)* exp(- x)*KummerM(a, a - b + nu + 2, x)/GAMMA(a - b + nu + 2)
Integrate[Exp[- t]*(t)^(Divide[1,2]*\[Nu])* HypergeometricU[a, b, t]*BesselJ[\[Nu], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None] == Gamma[\[Nu]- b + 2]*(x)^(Divide[1,2]*\[Nu])* Exp[- x]*Hypergeometric1F1Regularized[a, a - b + \[Nu]+ 2, x]
Failure Aborted Skipped - Because timed out Skipped - Because timed out