12.12

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
12.12.E1	${\displaystyle{\displaystyle\int_{0}^{\infty}e^{-\frac{1}{4}t^{2}}t^{\mu-1}U\left(a,t\right)\mathrm{d}t=\frac{\sqrt{\pi}2^{-\frac{1}{2}(\mu+a+\frac{1}{2})}\Gamma\left(\mu\right)}{\Gamma\left(\frac{1}{2}(\mu+a+\frac{3}{2})\right)}}}$ \int_{0}^{\infty}e^{-\frac{1}{4}t^{2}}t^{\mu-1}\paraU@{a}{t}\diff{t} = \frac{\sqrt{\pi}2^{-\frac{1}{2}(\mu+a+\frac{1}{2})}\EulerGamma@{\mu}}{\EulerGamma@{\frac{1}{2}(\mu+a+\frac{3}{2})}}	${\displaystyle{\displaystyle\Re\mu>0,\Re(\mu)>0,\Re(\frac{1}{2}(\mu+a+\frac{3}{2}))>0}}$	int(exp(-(1)/(4)*(t)^(2))*(t)^(mu - 1)* CylinderU(a, t), t = 0..infinity) = (sqrt(Pi)*(2)^(-(1)/(2)*(mu + a +(1)/(2)))* GAMMA(mu))/(GAMMA((1)/(2)*(mu + a +(3)/(2))))	Integrate[Exp[-Divide[1,4]*(t)^(2)]*(t)^(\[Mu]- 1)* ParabolicCylinderD[- 1/2 -(a), t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi]*(2)^(-Divide[1,2]*(\[Mu]+ a +Divide[1,2]))* Gamma[\[Mu]],Gamma[Divide[1,2]*(\[Mu]+ a +Divide[3,2])]]	Successful	Aborted	-	Skipped - Because timed out
12.12.E2	${\displaystyle{\displaystyle\int_{0}^{\infty}e^{-\frac{3}{4}t^{2}}t^{-a-\frac{3}{2}}U\left(a,t\right)\mathrm{d}t=2^{\frac{1}{4}+\frac{1}{2}a}\Gamma\left(-a-\tfrac{1}{2}\right)\cos\left((\tfrac{1}{4}a+\tfrac{1}{8})\pi\right)}}$ \int_{0}^{\infty}e^{-\frac{3}{4}t^{2}}t^{-a-\frac{3}{2}}\paraU@{a}{t}\diff{t} = 2^{\frac{1}{4}+\frac{1}{2}a}\EulerGamma@{-a-\tfrac{1}{2}}\cos@{(\tfrac{1}{4}a+\tfrac{1}{8})\pi}	${\displaystyle{\displaystyle\Re a<-\tfrac{1}{2},\Re(-a-\tfrac{1}{2})>0}}$	int(exp(-(3)/(4)*(t)^(2))*(t)^(- a -(3)/(2))* CylinderU(a, t), t = 0..infinity) = (2)^((1)/(4)+(1)/(2)*a)* GAMMA(- a -(1)/(2))*cos(((1)/(4)*a +(1)/(8))*Pi)	Integrate[Exp[-Divide[3,4]*(t)^(2)]*(t)^(- a -Divide[3,2])* ParabolicCylinderD[- 1/2 -(a), t], {t, 0, Infinity}, GenerateConditions->None] == (2)^(Divide[1,4]+Divide[1,2]*a)* Gamma[- a -Divide[1,2]]*Cos[(Divide[1,4]*a +Divide[1,8])*Pi]	Failure	Failure	Skipped - Because timed out	Successful [Tested: 2]
12.12.E3	${\displaystyle{\displaystyle\int_{0}^{\infty}e^{-\frac{1}{4}t^{2}}t^{-a-\frac{1}{2}}(x^{2}+t^{2})^{-1}U\left(a,t\right)\mathrm{d}t=\sqrt{\pi/2}\Gamma\left(\tfrac{1}{2}-a\right)x^{-a-\frac{3}{2}}e^{\frac{1}{4}x^{2}}U\left(-a,x\right)}}$ \int_{0}^{\infty}e^{-\frac{1}{4}t^{2}}t^{-a-\frac{1}{2}}(x^{2}+t^{2})^{-1}\paraU@{a}{t}\diff{t} = \sqrt{\pi/2}\EulerGamma@{\tfrac{1}{2}-a}x^{-a-\frac{3}{2}}e^{\frac{1}{4}x^{2}}\paraU@{-a}{x}	${\displaystyle{\displaystyle x>0,\Re a<\tfrac{1}{2},\Re(\tfrac{1}{2}-a)>0}}$	int(exp(-(1)/(4)*(t)^(2))*(t)^(- a -(1)/(2))*((x)^(2)+ (t)^(2))^(- 1)* CylinderU(a, t), t = 0..infinity) = sqrt(Pi/2)*GAMMA((1)/(2)- a)*(x)^(- a -(3)/(2))* exp((1)/(4)*(x)^(2))*CylinderU(- a, x)	Integrate[Exp[-Divide[1,4]*(t)^(2)]*(t)^(- a -Divide[1,2])*((x)^(2)+ (t)^(2))^(- 1)* ParabolicCylinderD[- 1/2 -(a), t], {t, 0, Infinity}, GenerateConditions->None] == Sqrt[Pi/2]*Gamma[Divide[1,2]- a]*(x)^(- a -Divide[3,2])* Exp[Divide[1,4]*(x)^(2)]*ParabolicCylinderD[- 1/2 -(- a), x]	Failure	Aborted	Skipped - Because timed out	Skipped - Because timed out