Parabolic Cylinder Functions - 12.12 Integrals

From testwiki
Revision as of 17:05, 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
12.12.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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})}}}
\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})}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\mu} > 0, \realpart@@{(\mu)} > 0, \realpart@@{(\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 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}}
\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}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{a} < -\tfrac{1}{2}, \realpart@@{(-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 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}}
\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}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x > 0, \realpart@@{a} < \tfrac{1}{2}, \realpart@@{(\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