Incomplete Gamma and Related Functions - 8.14 Integrals

From testwiki
Revision as of 11:18, 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
8.14.E1 ∫ 0 ∞ e - a ⁢ x ⁢ γ ⁡ ( b , x ) Γ ⁡ ( b ) ⁢ d x = ( 1 + a ) - b a superscript subscript 0 superscript 𝑒 𝑎 𝑥 incomplete-gamma 𝑏 𝑥 Euler-Gamma 𝑏 𝑥 superscript 1 𝑎 𝑏 𝑎 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-ax}\frac{\gamma\left(b,x% \right)}{\Gamma\left(b\right)}\mathrm{d}x=\frac{(1+a)^{-b}}{a}}}
\int_{0}^{\infty}e^{-ax}\frac{\incgamma@{b}{x}}{\EulerGamma@{b}}\diff{x} = \frac{(1+a)^{-b}}{a}		 ℜ ⁡ a > 0 , ℜ ⁡ b > - 1 , ℜ ⁡ b > 0 formulae-sequence 𝑎 0 formulae-sequence 𝑏 1 𝑏 0 {\displaystyle{\displaystyle\Re a>0,\Re b>-1,\Re b>0}} 
int(exp(- a*x)*(GAMMA(b)-GAMMA(b, x))/(GAMMA(b)), x = 0..infinity) = ((1 + a)^(- b))/(a)

Integrate[Exp[- a*x]*Divide[Gamma[b, 0, x],Gamma[b]], {x, 0, Infinity}, GenerateConditions->None] == Divide[(1 + a)^(- b),a]
Successful Aborted - Skipped - Because timed out
8.14.E2 ∫ 0 ∞ e - a ⁢ x ⁢ Γ ⁡ ( b , x ) ⁢ d x = Γ ⁡ ( b ) ⁢ 1 - ( 1 + a ) - b a superscript subscript 0 superscript 𝑒 𝑎 𝑥 incomplete-Gamma 𝑏 𝑥 𝑥 Euler-Gamma 𝑏 1 superscript 1 𝑎 𝑏 𝑎 {\displaystyle{\displaystyle\int_{0}^{\infty}e^{-ax}\Gamma\left(b,x\right)% \mathrm{d}x=\Gamma\left(b\right)\frac{1-(1+a)^{-b}}{a}}}
\int_{0}^{\infty}e^{-ax}\incGamma@{b}{x}\diff{x} = \EulerGamma@{b}\frac{1-(1+a)^{-b}}{a}		 ℜ ⁡ a > - 1 , ℜ ⁡ b > - 1 , ℜ ⁡ b > 0 formulae-sequence 𝑎 1 formulae-sequence 𝑏 1 𝑏 0 {\displaystyle{\displaystyle\Re a>-1,\Re b>-1,\Re b>0}} 
int(exp(- a*x)*GAMMA(b, x), x = 0..infinity) = GAMMA(b)*(1 -(1 + a)^(- b))/(a)

Integrate[Exp[- a*x]*Gamma[b, x], {x, 0, Infinity}, GenerateConditions->None] == Gamma[b]*Divide[1 -(1 + a)^(- b),a]
Failure Aborted Successful [Tested: 12] Skipped - Because timed out
8.14.E3 ∫ 0 ∞ x a - 1 ⁢ γ ⁡ ( b , x ) ⁢ d x = - Γ ⁡ ( a + b ) a superscript subscript 0 superscript 𝑥 𝑎 1 incomplete-gamma 𝑏 𝑥 𝑥 Euler-Gamma 𝑎 𝑏 𝑎 {\displaystyle{\displaystyle\int_{0}^{\infty}x^{a-1}\gamma\left(b,x\right)% \mathrm{d}x=-\frac{\Gamma\left(a+b\right)}{a}}}
\int_{0}^{\infty}x^{a-1}\incgamma@{b}{x}\diff{x} = -\frac{\EulerGamma@{a+b}}{a}		 ℜ ⁡ a < 0 , ℜ ⁡ ( a + b ) > 0 , ℜ ⁡ ( a + b ) > 0 , ℜ ⁡ b > 0 formulae-sequence 𝑎 0 formulae-sequence 𝑎 𝑏 0 formulae-sequence 𝑎 𝑏 0 𝑏 0 {\displaystyle{\displaystyle\Re a<0,\Re\left(a+b\right)>0,\Re(a+b)>0,\Re b>0}} 
int((x)^(a - 1)* GAMMA(b)-GAMMA(b, x), x = 0..infinity) = -(GAMMA(a + b))/(a)

Integrate[(x)^(a - 1)* Gamma[b, 0, x], {x, 0, Infinity}, GenerateConditions->None] == -Divide[Gamma[a + b],a]
Failure Aborted
Failed [3 / 3]
Result: Float(infinity)
Test Values: {a = -1.5, b = 2}


Result: Float(infinity)
Test Values: {a = -.5, b = 1.5}

... skip entries to safe data
 Skip - No test values generated
8.14.E4 ∫ 0 ∞ x a - 1 ⁢ Γ ⁡ ( b , x ) ⁢ d x = Γ ⁡ ( a + b ) a superscript subscript 0 superscript 𝑥 𝑎 1 incomplete-Gamma 𝑏 𝑥 𝑥 Euler-Gamma 𝑎 𝑏 𝑎 {\displaystyle{\displaystyle\int_{0}^{\infty}x^{a-1}\Gamma\left(b,x\right)% \mathrm{d}x=\frac{\Gamma\left(a+b\right)}{a}}}
\int_{0}^{\infty}x^{a-1}\incGamma@{b}{x}\diff{x} = \frac{\EulerGamma@{a+b}}{a}		 ℜ ⁡ a > 0 , ℜ ⁡ ( a + b ) > 0 , ℜ ⁡ ( a + b ) > 0 formulae-sequence 𝑎 0 formulae-sequence 𝑎 𝑏 0 𝑎 𝑏 0 {\displaystyle{\displaystyle\Re a>0,\Re\left(a+b\right)>0,\Re(a+b)>0}} 
int((x)^(a - 1)* GAMMA(b, x), x = 0..infinity) = (GAMMA(a + b))/(a)

Integrate[(x)^(a - 1)* Gamma[b, x], {x, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b],a]
Successful Successful - Successful [Tested: 12]
8.14.E5 ∫ 0 ∞ x a - 1 ⁢ e - s ⁢ x ⁢ γ ⁡ ( b , x ) ⁢ d x = Γ ⁡ ( a + b ) b ⁢ ( 1 + s ) a + b ⁢ F ⁡ ( 1 , a + b ; 1 + b ; 1 / ( 1 + s ) ) superscript subscript 0 superscript 𝑥 𝑎 1 superscript 𝑒 𝑠 𝑥 incomplete-gamma 𝑏 𝑥 𝑥 Euler-Gamma 𝑎 𝑏 𝑏 superscript 1 𝑠 𝑎 𝑏 Gauss-hypergeometric-F 1 𝑎 𝑏 1 𝑏 1 1 𝑠 {\displaystyle{\displaystyle\int_{0}^{\infty}x^{a-1}e^{-sx}\gamma\left(b,x% \right)\mathrm{d}x=\frac{\Gamma\left(a+b\right)}{b(1+s)^{a+b}}\*F\left(1,a+b;1% +b;1/(1+s)\right)}}
\int_{0}^{\infty}x^{a-1}e^{-sx}\incgamma@{b}{x}\diff{x} = \frac{\EulerGamma@{a+b}}{b(1+s)^{a+b}}\*\hyperF@{1}{a+b}{1+b}{1/(1+s)}		 ℜ ⁡ s > 0 , ℜ ⁡ ( a + b ) > 0 , ℜ ⁡ ( a + b ) > 0 , ℜ ⁡ b > 0 formulae-sequence 𝑠 0 formulae-sequence 𝑎 𝑏 0 formulae-sequence 𝑎 𝑏 0 𝑏 0 {\displaystyle{\displaystyle\Re s>0,\Re\left(a+b\right)>0,\Re(a+b)>0,\Re b>0}} 
int((x)^(a - 1)* exp(- s*x)*GAMMA(b)-GAMMA(b, x), x = 0..infinity) = (GAMMA(a + b))/(b*(1 + s)^(a + b))* hypergeom([1, a + b], [1 + b], 1/(1 + s))

Integrate[(x)^(a - 1)* Exp[- s*x]*Gamma[b, 0, x], {x, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b],b*(1 + s)^(a + b)]* Hypergeometric2F1[1, a + b, 1 + b, 1/(1 + s)]
Failure Aborted
Failed [36 / 36]
Result: Float(infinity)
Test Values: {a = -1.5, b = 2, s = 1.5}


Result: Float(infinity)
Test Values: {a = -1.5, b = 2, s = .5}

... skip entries to safe data
 Skipped - Because timed out
8.14.E6 ∫ 0 ∞ x a - 1 ⁢ e - s ⁢ x ⁢ Γ ⁡ ( b , x ) ⁢ d x = Γ ⁡ ( a + b ) a ⁢ ( 1 + s ) a + b ⁢ F ⁡ ( 1 , a + b ; 1 + a ; s / ( 1 + s ) ) superscript subscript 0 superscript 𝑥 𝑎 1 superscript 𝑒 𝑠 𝑥 incomplete-Gamma 𝑏 𝑥 𝑥 Euler-Gamma 𝑎 𝑏 𝑎 superscript 1 𝑠 𝑎 𝑏 Gauss-hypergeometric-F 1 𝑎 𝑏 1 𝑎 𝑠 1 𝑠 {\displaystyle{\displaystyle\int_{0}^{\infty}x^{a-1}e^{-sx}\Gamma\left(b,x% \right)\mathrm{d}x=\frac{\Gamma\left(a+b\right)}{a(1+s)^{a+b}}\*F\left(1,a+b;1% +a;s/(1+s)\right)}}
\int_{0}^{\infty}x^{a-1}e^{-sx}\incGamma@{b}{x}\diff{x} = \frac{\EulerGamma@{a+b}}{a(1+s)^{a+b}}\*\hyperF@{1}{a+b}{1+a}{s/(1+s)}		 ℜ ⁡ s > - 1 , ℜ ⁡ ( a + b ) > 0 , ℜ ⁡ a > 0 , ℜ ⁡ ( a + b ) > 0 formulae-sequence 𝑠 1 formulae-sequence 𝑎 𝑏 0 formulae-sequence 𝑎 0 𝑎 𝑏 0 {\displaystyle{\displaystyle\Re s>-1,\Re\left(a+b\right)>0,\Re a>0,\Re(a+b)>0}} 
int((x)^(a - 1)* exp(- s*x)*GAMMA(b, x), x = 0..infinity) = (GAMMA(a + b))/(a*(1 + s)^(a + b))* hypergeom([1, a + b], [1 + a], s/(1 + s))

Integrate[(x)^(a - 1)* Exp[- s*x]*Gamma[b, x], {x, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[a + b],a*(1 + s)^(a + b)]* Hypergeometric2F1[1, a + b, 1 + a, s/(1 + s)]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
Retrieved from "https://lct.wmflabs.org/w/index.php?title=8.14&oldid=58163"