Orthogonal Polynomials - 18.10 Integral Representations

From testwiki
Revision as of 17:22, 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
18.10.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{\JacobipolyP{\alpha}{\alpha}{n}@{\cos@@{\theta}}}{\JacobipolyP{\alpha}{\alpha}{n}@{1}} = \frac{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{\cos@@{\theta}}}{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{1}}}
\frac{\JacobipolyP{\alpha}{\alpha}{n}@{\cos@@{\theta}}}{\JacobipolyP{\alpha}{\alpha}{n}@{1}} = \frac{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{\cos@@{\theta}}}{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{1}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 0 < \theta, \theta < \pi, \alpha > -\tfrac{1}{2}} 
(JacobiP(n, alpha, alpha, cos(theta)))/(JacobiP(n, alpha, alpha, 1)) = (GegenbauerC(n, alpha +(1)/(2), cos(theta)))/(GegenbauerC(n, alpha +(1)/(2), 1))

Divide[JacobiP[n, \[Alpha], \[Alpha], Cos[\[Theta]]],JacobiP[n, \[Alpha], \[Alpha], 1]] == Divide[GegenbauerC[n, \[Alpha]+Divide[1,2], Cos[\[Theta]]],GegenbauerC[n, \[Alpha]+Divide[1,2], 1]]
Successful Successful Skip - symbolical successful subtest Successful [Tested: 27]
18.10.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{\cos@@{\theta}}}{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{1}} = \frac{2^{\alpha+\frac{1}{2}}\EulerGamma@{\alpha+1}}{\pi^{\frac{1}{2}}\EulerGamma@{\alpha+\frac{1}{2}}}(\sin@@{\theta})^{-2\alpha}\int_{0}^{\theta}\frac{\cos@{(n+\alpha+\tfrac{1}{2})\phi}}{(\cos@@{\phi}-\cos@@{\theta})^{-\alpha+\frac{1}{2}}}\diff{\phi}}
\frac{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{\cos@@{\theta}}}{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{1}} = \frac{2^{\alpha+\frac{1}{2}}\EulerGamma@{\alpha+1}}{\pi^{\frac{1}{2}}\EulerGamma@{\alpha+\frac{1}{2}}}(\sin@@{\theta})^{-2\alpha}\int_{0}^{\theta}\frac{\cos@{(n+\alpha+\tfrac{1}{2})\phi}}{(\cos@@{\phi}-\cos@@{\theta})^{-\alpha+\frac{1}{2}}}\diff{\phi}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 0 < \theta, \theta < \pi, \alpha > -\tfrac{1}{2}, \realpart@@{(\alpha+1)} > 0, \realpart@@{(\alpha+\frac{1}{2})} > 0} 
(GegenbauerC(n, alpha +(1)/(2), cos(theta)))/(GegenbauerC(n, alpha +(1)/(2), 1)) = ((2)^(alpha +(1)/(2))* GAMMA(alpha + 1))/((Pi)^((1)/(2))* GAMMA(alpha +(1)/(2)))*(sin(theta))^(- 2*alpha)* int((cos((n + alpha +(1)/(2))*phi))/((cos(phi)- cos(theta))^(- alpha +(1)/(2))), phi = 0..theta)

Divide[GegenbauerC[n, \[Alpha]+Divide[1,2], Cos[\[Theta]]],GegenbauerC[n, \[Alpha]+Divide[1,2], 1]] == Divide[(2)^(\[Alpha]+Divide[1,2])* Gamma[\[Alpha]+ 1],(Pi)^(Divide[1,2])* Gamma[\[Alpha]+Divide[1,2]]]*(Sin[\[Theta]])^(- 2*\[Alpha])* Integrate[Divide[Cos[(n + \[Alpha]+Divide[1,2])*\[Phi]],(Cos[\[Phi]]- Cos[\[Theta]])^(- \[Alpha]+Divide[1,2])], {\[Phi], 0, \[Theta]}, GenerateConditions->None]
Failure Aborted Successful [Tested: 27] Skipped - Because timed out
18.10.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \LegendrepolyP{n}@{\cos@@{\theta}} = \frac{2^{\frac{1}{2}}}{\pi}\int_{0}^{\theta}\frac{\cos@{(n+\tfrac{1}{2})\phi}}{(\cos@@{\phi}-\cos@@{\theta})^{\frac{1}{2}}}\diff{\phi}}
\LegendrepolyP{n}@{\cos@@{\theta}} = \frac{2^{\frac{1}{2}}}{\pi}\int_{0}^{\theta}\frac{\cos@{(n+\tfrac{1}{2})\phi}}{(\cos@@{\phi}-\cos@@{\theta})^{\frac{1}{2}}}\diff{\phi}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 0 < \theta, \theta < \pi} 
LegendreP(n, cos(theta)) = ((2)^((1)/(2)))/(Pi)*int((cos((n +(1)/(2))*phi))/((cos(phi)- cos(theta))^((1)/(2))), phi = 0..theta)

LegendreP[n, Cos[\[Theta]]] == Divide[(2)^(Divide[1,2]),Pi]*Integrate[Divide[Cos[(n +Divide[1,2])*\[Phi]],(Cos[\[Phi]]- Cos[\[Theta]])^(Divide[1,2])], {\[Phi], 0, \[Theta]}, GenerateConditions->None]
Failure Aborted Successful [Tested: 9] Skipped - Because timed out
18.10.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\frac{\JacobipolyP{\alpha}{\alpha}{n}@{\cos@@{\theta}}}{\JacobipolyP{\alpha}{\alpha}{n}@{1}}=\frac{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{\cos@@{\theta}}}{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{1}}} = \frac{\EulerGamma@{\alpha+1}}{\pi^{\frac{1}{2}}\EulerGamma{(\alpha+\tfrac{1}{2})}}\*{\int_{0}^{\pi}(\cos@@{\theta}+i\sin@@{\theta}\cos@@{\phi})^{n}\*(\sin@@{\phi})^{2\alpha}\diff{\phi}}}
{\frac{\JacobipolyP{\alpha}{\alpha}{n}@{\cos@@{\theta}}}{\JacobipolyP{\alpha}{\alpha}{n}@{1}}=\frac{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{\cos@@{\theta}}}{\ultrasphpoly{\alpha+\frac{1}{2}}{n}@{1}}} = \frac{\EulerGamma@{\alpha+1}}{\pi^{\frac{1}{2}}\EulerGamma{(\alpha+\tfrac{1}{2})}}\*{\int_{0}^{\pi}(\cos@@{\theta}+i\sin@@{\theta}\cos@@{\phi})^{n}\*(\sin@@{\phi})^{2\alpha}\diff{\phi}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha > -\frac{1}{2}, \realpart@@{(\alpha+1)} > 0} 
(JacobiP(n, alpha, alpha, cos(theta)))/(JacobiP(n, alpha, alpha, 1)) = (GegenbauerC(n, alpha +(1)/(2), cos(theta)))/(GegenbauerC(n, alpha +(1)/(2), 1)) = (GAMMA(alpha + 1))/((Pi)^((1)/(2))* GAMMA(alpha +(1)/(2)))*int((cos(theta)+ I*sin(theta)*cos(phi))^(n)*(sin(phi))^(2*alpha), phi = 0..Pi)

Divide[JacobiP[n, \[Alpha], \[Alpha], Cos[\[Theta]]],JacobiP[n, \[Alpha], \[Alpha], 1]] == Divide[GegenbauerC[n, \[Alpha]+Divide[1,2], Cos[\[Theta]]],GegenbauerC[n, \[Alpha]+Divide[1,2], 1]] == Divide[Gamma[\[Alpha]+ 1],(Pi)^(Divide[1,2])* Gamma[\[Alpha]+Divide[1,2]]]*Integrate[(Cos[\[Theta]]+ I*Sin[\[Theta]]*Cos[\[Phi]])^(n)*(Sin[\[Phi]])^(2*\[Alpha]), {\[Phi], 0, Pi}, GenerateConditions->None]
Failure Aborted Skipped - Because timed out Skipped - Because timed out
18.10.E5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \LegendrepolyP{n}@{\cos@@{\theta}} = \frac{1}{\pi}\int_{0}^{\pi}(\cos@@{\theta}+i\sin@@{\theta}\cos@@{\phi})^{n}\diff{\phi}}
\LegendrepolyP{n}@{\cos@@{\theta}} = \frac{1}{\pi}\int_{0}^{\pi}(\cos@@{\theta}+i\sin@@{\theta}\cos@@{\phi})^{n}\diff{\phi}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
LegendreP(n, cos(theta)) = (1)/(Pi)*int((cos(theta)+ I*sin(theta)*cos(phi))^(n), phi = 0..Pi)

LegendreP[n, Cos[\[Theta]]] == Divide[1,Pi]*Integrate[(Cos[\[Theta]]+ I*Sin[\[Theta]]*Cos[\[Phi]])^(n), {\[Phi], 0, Pi}, GenerateConditions->None]
Failure Aborted Successful [Tested: 30] Skipped - Because timed out
18.10.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \HermitepolyH{n}@{x} = \frac{2^{n}}{\pi^{\frac{1}{2}}}\int_{-\infty}^{\infty}(x+it)^{n}e^{-t^{2}}\diff{t}}
\HermitepolyH{n}@{x} = \frac{2^{n}}{\pi^{\frac{1}{2}}}\int_{-\infty}^{\infty}(x+it)^{n}e^{-t^{2}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
HermiteH(n, x) = ((2)^(n))/((Pi)^((1)/(2)))*int((x + I*t)^(n)* exp(- (t)^(2)), t = - infinity..infinity)

HermiteH[n, x] == Divide[(2)^(n),(Pi)^(Divide[1,2])]*Integrate[(x + I*t)^(n)* Exp[- (t)^(2)], {t, - Infinity, Infinity}, GenerateConditions->None]
Failure Failure Successful [Tested: 9]
Failed [9 / 9]
Result: Indeterminate
Test Values: {Rule[n, 1], Rule[x, 1.5]}


Result: Indeterminate
Test Values: {Rule[n, 2], Rule[x, 1.5]}

... skip entries to safe data
18.10.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \LaguerrepolyL[\alpha]{n}@{x} = \frac{e^{x}x^{-\frac{1}{2}\alpha}}{n!}\int_{0}^{\infty}e^{-t}t^{n+\frac{1}{2}\alpha}\BesselJ{\alpha}@{2\sqrt{xt}}\diff{t}}
\LaguerrepolyL[\alpha]{n}@{x} = \frac{e^{x}x^{-\frac{1}{2}\alpha}}{n!}\int_{0}^{\infty}e^{-t}t^{n+\frac{1}{2}\alpha}\BesselJ{\alpha}@{2\sqrt{xt}}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \alpha > -1, \realpart@@{((\alpha)+k+1)} > 0} 
LaguerreL(n, alpha, x) = (exp(x)*(x)^(-(1)/(2)*alpha))/(factorial(n))*int(exp(- t)*(t)^(n +(1)/(2)*alpha)* BesselJ(alpha, 2*sqrt(x*t)), t = 0..infinity)

LaguerreL[n, \[Alpha], x] == Divide[Exp[x]*(x)^(-Divide[1,2]*\[Alpha]),(n)!]*Integrate[Exp[- t]*(t)^(n +Divide[1,2]*\[Alpha])* BesselJ[\[Alpha], 2*Sqrt[x*t]], {t, 0, Infinity}, GenerateConditions->None]
Missing Macro Error Aborted - Skipped - Because timed out
18.10.E10 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \HermitepolyH{n}@{x} = \frac{(-2i)^{n}e^{x^{2}}}{\pi^{\frac{1}{2}}}\int_{-\infty}^{\infty}e^{-t^{2}}t^{n}e^{2ixt}\diff{t}}
\HermitepolyH{n}@{x} = \frac{(-2i)^{n}e^{x^{2}}}{\pi^{\frac{1}{2}}}\int_{-\infty}^{\infty}e^{-t^{2}}t^{n}e^{2ixt}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
HermiteH(n, x) = ((- 2*I)^(n)* exp((x)^(2)))/((Pi)^((1)/(2)))*int(exp(- (t)^(2))*(t)^(n)* exp(2*I*x*t), t = - infinity..infinity)

HermiteH[n, x] == Divide[(- 2*I)^(n)* Exp[(x)^(2)],(Pi)^(Divide[1,2])]*Integrate[Exp[- (t)^(2)]*(t)^(n)* Exp[2*I*x*t], {t, - Infinity, Infinity}, GenerateConditions->None]
Failure Failure Successful [Tested: 9] Successful [Tested: 9]
18.10.E10 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{(-2i)^{n}e^{x^{2}}}{\pi^{\frac{1}{2}}}\int_{-\infty}^{\infty}e^{-t^{2}}t^{n}e^{2ixt}\diff{t} = \frac{2^{n+1}}{\pi^{\frac{1}{2}}}e^{x^{2}}\int_{0}^{\infty}e^{-t^{2}}t^{n}\cos@{2xt-\tfrac{1}{2}n\pi}\diff{t}}
\frac{(-2i)^{n}e^{x^{2}}}{\pi^{\frac{1}{2}}}\int_{-\infty}^{\infty}e^{-t^{2}}t^{n}e^{2ixt}\diff{t} = \frac{2^{n+1}}{\pi^{\frac{1}{2}}}e^{x^{2}}\int_{0}^{\infty}e^{-t^{2}}t^{n}\cos@{2xt-\tfrac{1}{2}n\pi}\diff{t}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
((- 2*I)^(n)* exp((x)^(2)))/((Pi)^((1)/(2)))*int(exp(- (t)^(2))*(t)^(n)* exp(2*I*x*t), t = - infinity..infinity) = ((2)^(n + 1))/((Pi)^((1)/(2)))*exp((x)^(2))*int(exp(- (t)^(2))*(t)^(n)* cos(2*x*t -(1)/(2)*n*Pi), t = 0..infinity)

Divide[(- 2*I)^(n)* Exp[(x)^(2)],(Pi)^(Divide[1,2])]*Integrate[Exp[- (t)^(2)]*(t)^(n)* Exp[2*I*x*t], {t, - Infinity, Infinity}, GenerateConditions->None] == Divide[(2)^(n + 1),(Pi)^(Divide[1,2])]*Exp[(x)^(2)]*Integrate[Exp[- (t)^(2)]*(t)^(n)* Cos[2*x*t -Divide[1,2]*n*Pi], {t, 0, Infinity}, GenerateConditions->None]
Failure Aborted Successful [Tested: 9] Successful [Tested: 9]
Retrieved from "https://lct.wmflabs.org/w/index.php?title=18.10&oldid=718"