Results of Orthogonal Polynomials

From DRMF
Revision as of 13:45, 19 January 2020 by Admin (talk | contribs) (Created page with "{| class="wikitable sortable" |- ! DLMF !! Formula !! Maple !! Mathematica !! Symbolic<br>Maple !! Symbolic<br>Mathematica !! Numeric<br>Maple !! Numeric<br>Mathematica |- | [...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
DLMF Formula Maple Mathematica Symbolic
Maple
Symbolic
Mathematica
Numeric
Maple
Numeric
Mathematica
18.1.E1 GegenbauerC(n, 0, x)=(2)/(n)*ChebyshevT(n, x) GegenbauerC[n, 0, x]=Divide[2,n]*ChebyshevT[n, x] Failure Failure Successful
Fail
-0.6666666666666666 <- {Rule[n, 3], Rule[x, 1]}
-17.333333333333332 <- {Rule[n, 3], Rule[x, 2]}
-66.0 <- {Rule[n, 3], Rule[x, 3]}
18.1.E1 (2)/(n)*ChebyshevT(n, x)=(2*factorial(n - 1))/(pochhammer((1)/(2), n))*JacobiP(n, -(1)/(2), -(1)/(2), x) Divide[2,n]*ChebyshevT[n, x]=Divide[2*(n - 1)!,Pochhammer[Divide[1,2], n]]*JacobiP[n, -Divide[1,2], -Divide[1,2], x] Successful Successful - -
18.1.E2 JacobiP(n, p-q, q-1, 2*(x)-1)*((n)!)/pochhammer(n+p, n)=(factorial(n))/(pochhammer(n + p, n))*JacobiP(n, p - q, q - 1, 2*x - 1) Error Successful Error - -
18.2.E1 int(p[n]*(x)* p[m]*(x)* w*(x), x = a..b)= 0 Integrate[Subscript[p, n]*(x)* Subscript[p, m]*(x)* w*(x), {x, a, b}]= 0 Failure Failure Skip Successful
18.3.E2 x[N + 1 , n]= cos((n -(1)/(2))* Pi/(N + 1)) Subscript[x, N + 1 , n]= Cos[(n -Divide[1,2])* Pi/(N + 1)] Failure Failure
Fail
.4933988023+1.280284738*I <- {N = 2^(1/2)+I*2^(1/2), x[N+1,n] = 2^(1/2)+I*2^(1/2), n = 1}
1.251822237+.4629104109*I <- {N = 2^(1/2)+I*2^(1/2), x[N+1,n] = 2^(1/2)+I*2^(1/2), n = 2}
3.059241197+.132349918*I <- {N = 2^(1/2)+I*2^(1/2), x[N+1,n] = 2^(1/2)+I*2^(1/2), n = 3}
.4933988023-1.548142386*I <- {N = 2^(1/2)+I*2^(1/2), x[N+1,n] = 2^(1/2)-I*2^(1/2), n = 1}
... skip entries to safe data
Successful
18.5.E1 ChebyshevT(n, x)= cos(n*theta) ChebyshevT[n, x]= Cos[n*\[Theta]] Failure Failure
Fail
.6603260076+1.911393109*I <- {theta = 2^(1/2)+I*2^(1/2), n = 1, x = 1}
1.660326008+1.911393109*I <- {theta = 2^(1/2)+I*2^(1/2), n = 1, x = 2}
2.660326008+1.911393109*I <- {theta = 2^(1/2)+I*2^(1/2), n = 1, x = 3}
9.076090394+2.597002114*I <- {theta = 2^(1/2)+I*2^(1/2), n = 2, x = 1}
... skip entries to safe data
Fail
Complex[0.6603260083052754, 1.9113931101642103] <- {Rule[n, 1], Rule[x, 1], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
Complex[1.6603260083052755, 1.9113931101642103] <- {Rule[n, 1], Rule[x, 2], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
Complex[2.6603260083052755, 1.9113931101642103] <- {Rule[n, 1], Rule[x, 3], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
Complex[9.076090401898771, 2.5970021097090865] <- {Rule[n, 2], Rule[x, 1], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
... skip entries to safe data
18.5.E2 ChebyshevU(n, x)=(sin((n + 1)* theta))/(sin(theta)) ChebyshevU[n, x]=Divide[Sin[(n + 1)* \[Theta]],Sin[\[Theta]]] Failure Failure
Fail
1.320652015+3.822786219*I <- {theta = 2^(1/2)+I*2^(1/2), n = 1, x = 1}
3.320652015+3.822786219*I <- {theta = 2^(1/2)+I*2^(1/2), n = 1, x = 2}
5.320652015+3.822786219*I <- {theta = 2^(1/2)+I*2^(1/2), n = 1, x = 3}
18.15218079+5.194004229*I <- {theta = 2^(1/2)+I*2^(1/2), n = 2, x = 1}
... skip entries to safe data
Fail
Complex[1.3206520166105502, 3.82278622032842] <- {Rule[n, 1], Rule[x, 1], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
Complex[3.32065201661055, 3.82278622032842] <- {Rule[n, 1], Rule[x, 2], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
Complex[5.32065201661055, 3.82278622032842] <- {Rule[n, 1], Rule[x, 3], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
Complex[18.152180803797542, 5.194004219418172] <- {Rule[n, 2], Rule[x, 1], Rule[θ, Times[Complex[1, 1], Power[2, Rational[1, 2]]]]}
... skip entries to safe data
18.5.E5 p[n]*(x)=(1)/(kappa[n]*w*(x))*diff(w*(x)*(F*(x))^(n), [x$(n)]) Subscript[p, n]*(x)=Divide[1,Subscript[\[Kappa], n]*w*(x)]*D[w*(x)*(F*(x))^(n), {x, n}] Failure Failure Skip Skip
18.5.E7 JacobiP(n, alpha, beta, x)= sum((pochhammer(n + alpha + beta + 1, ell)*pochhammer(alpha + ell + 1, n - ell))/(factorial(ell)*factorial(n - ell))*((x - 1)/(2))^(ell), ell = 0..n) JacobiP[n, \[Alpha], \[Beta], x]= Sum[Divide[Pochhammer[n + \[Alpha]+ \[Beta]+ 1, \[ScriptL]]*Pochhammer[\[Alpha]+ \[ScriptL]+ 1, n - \[ScriptL]],(\[ScriptL])!*(n - \[ScriptL])!]*(Divide[x - 1,2])^(\[ScriptL]), {\[ScriptL], 0, n}] Successful Successful - -
18.5.E7 sum((pochhammer(n + alpha + beta + 1, ell)*pochhammer(alpha + ell + 1, n - ell))/(factorial(ell)*factorial(n - ell))*((x - 1)/(2))^(ell), ell = 0..n)=(pochhammer(alpha + 1, n))/(factorial(n))*hypergeom([- n , n + alpha + beta + 1], [alpha + 1], (1 - x)/(2)) Sum[Divide[Pochhammer[n + \[Alpha]+ \[Beta]+ 1, \[ScriptL]]*Pochhammer[\[Alpha]+ \[ScriptL]+ 1, n - \[ScriptL]],(\[ScriptL])!*(n - \[ScriptL])!]*(Divide[x - 1,2])^(\[ScriptL]), {\[ScriptL], 0, n}]=Divide[Pochhammer[\[Alpha]+ 1, n],(n)!]*HypergeometricPFQ[{- n , n + \[Alpha]+ \[Beta]+ 1}, {\[Alpha]+ 1}, Divide[1 - x,2]] Successful Successful - -
18.5.E8 JacobiP(n, alpha, beta, x)= (2)^(- n)* sum(binomial(n + alpha,ell)*binomial(n + beta,n - ell)*(x - 1)^(n - ell)*(x + 1)^(ell), ell = 0..n) JacobiP[n, \[Alpha], \[Beta], x]= (2)^(- n)* Sum[Binomial[n + \[Alpha],\[ScriptL]]*Binomial[n + \[Beta],n - \[ScriptL]]*(x - 1)^(n - \[ScriptL])*(x + 1)^(\[ScriptL]), {\[ScriptL], 0, n}] Failure Failure Skip Skip
18.5.E8 (2)^(- n)* sum(binomial(n + alpha,ell)*binomial(n + beta,n - ell)*(x - 1)^(n - ell)*(x + 1)^(ell), ell = 0..n)=(pochhammer(alpha + 1, n))/(factorial(n))*((x + 1)/(2))^(n)* hypergeom([- n , - n - beta], [alpha + 1], (x - 1)/(x + 1)) (2)^(- n)* Sum[Binomial[n + \[Alpha],\[ScriptL]]*Binomial[n + \[Beta],n - \[ScriptL]]*(x - 1)^(n - \[ScriptL])*(x + 1)^(\[ScriptL]), {\[ScriptL], 0, n}]=Divide[Pochhammer[\[Alpha]+ 1, n],(n)!]*(Divide[x + 1,2])^(n)* HypergeometricPFQ[{- n , - n - \[Beta]}, {\[Alpha]+ 1}, Divide[x - 1,x + 1]] Failure Failure Skip Skip
18.5.E9 GegenbauerC(n, lambda, x)=(pochhammer(2*lambda, n))/(factorial(n))*hypergeom([- n , n + 2*lambda], [lambda +(1)/(2)], (1 - x)/(2)) GegenbauerC[n, \[Lambda], x]=Divide[Pochhammer[2*\[Lambda], n],(n)!]*HypergeometricPFQ[{- n , n + 2*\[Lambda]}, {\[Lambda]+Divide[1,2]}, Divide[1 - x,2]] Successful Successful - -
18.5.E10 GegenbauerC(n, lambda, x)= sum(((- 1)^(ell)* pochhammer(lambda, n - ell))/(factorial(ell)*factorial(n - 2*ell))*(2*x)^(n - 2*ell), ell = 0..floor(n/ 2)) GegenbauerC[n, \[Lambda], x]= Sum[Divide[(- 1)^(\[ScriptL])* Pochhammer[\[Lambda], n - \[ScriptL]],(\[ScriptL])!*(n - 2*\[ScriptL])!]*(2*x)^(n - 2*\[ScriptL]), {\[ScriptL], 0, Floor[n/ 2]}] Failure Successful Skip -
18.5.E10 sum(((- 1)^(ell)* pochhammer(lambda, n - ell))/(factorial(ell)*factorial(n - 2*ell))*(2*x)^(n - 2*ell), ell = 0..floor(n/ 2))=(2*x)^(n)*(pochhammer(lambda, n))/(factorial(n))*hypergeom([-(1)/(2)*n , -(1)/(2)*n +(1)/(2)], [1 - lambda - n], (1)/((x)^(2))) Sum[Divide[(- 1)^(\[ScriptL])* Pochhammer[\[Lambda], n - \[ScriptL]],(\[ScriptL])!*(n - 2*\[ScriptL])!]*(2*x)^(n - 2*\[ScriptL]), {\[ScriptL], 0, Floor[n/ 2]}]=(2*x)^(n)*Divide[Pochhammer[\[Lambda], n],(n)!]*HypergeometricPFQ[{-Divide[1,2]*n , -Divide[1,2]*n +Divide[1,2]}, {1 - \[Lambda]- n}, Divide[1,(x)^(2)]] Failure Failure Skip Successful
18.5.E11 GegenbauerC(n, lambda, cos(theta))= sum((pochhammer(lambda, ell)*pochhammer(lambda, n - ell))/(factorial(ell)*factorial(n - ell))*cos((n - 2*ell)* theta), ell = 0..n) GegenbauerC[n, \[Lambda], Cos[\[Theta]]]= Sum[Divide[Pochhammer[\[Lambda], \[ScriptL]]*Pochhammer[\[Lambda], n - \[ScriptL]],(\[ScriptL])!*(n - \[ScriptL])!]*Cos[(n - 2*\[ScriptL])* \[Theta]], {\[ScriptL], 0, n}] Failure Failure Skip Successful
18.5.E11 sum((pochhammer(lambda, ell)*pochhammer(lambda, n - ell))/(factorial(ell)*factorial(n - ell))*cos((n - 2*ell)* theta), ell = 0..n)= exp(I*n*theta)*(pochhammer(lambda, n))/(factorial(n))*hypergeom([- n , lambda], [1 - lambda - n], exp(- 2*I*theta)) Sum[Divide[Pochhammer[\[Lambda], \[ScriptL]]*Pochhammer[\[Lambda], n - \[ScriptL]],(\[ScriptL])!*(n - \[ScriptL])!]*Cos[(n - 2*\[ScriptL])* \[Theta]], {\[ScriptL], 0, n}]= Exp[I*n*\[Theta]]*Divide[Pochhammer[\[Lambda], n],(n)!]*HypergeometricPFQ[{- n , \[Lambda]}, {1 - \[Lambda]- n}, Exp[- 2*I*\[Theta]]] Failure Failure Skip Skip
18.5.E12 sum((pochhammer(alpha + ell + 1, n - ell))/(factorial(n - ell)*factorial(ell))*(- x)^(ell), ell = 0..n)=(pochhammer(alpha + 1, n))/(factorial(n))*hypergeom([- n], [alpha + 1], x) Sum[Divide[Pochhammer[\[Alpha]+ \[ScriptL]+ 1, n - \[ScriptL]],(n - \[ScriptL])!*(\[ScriptL])!]*(- x)^(\[ScriptL]), {\[ScriptL], 0, n}]=Divide[Pochhammer[\[Alpha]+ 1, n],(n)!]*HypergeometricPFQ[{- n}, {\[Alpha]+ 1}, x] Successful Successful - -
18.5.E13 HermiteH(n, x)= factorial(n)*sum(((- 1)^(ell)*(2*x)^(n - 2*ell))/(factorial(ell)*factorial(n - 2*ell)), ell = 0..floor(n/ 2)) HermiteH[n, x]= (n)!*Sum[Divide[(- 1)^(\[ScriptL])*(2*x)^(n - 2*\[ScriptL]),(\[ScriptL])!*(n - 2*\[ScriptL])!], {\[ScriptL], 0, Floor[n/ 2]}] Failure Failure Skip Successful
18.5.E13 factorial(n)*sum(((- 1)^(ell)*(2*x)^(n - 2*ell))/(factorial(ell)*factorial(n - 2*ell)), ell = 0..floor(n/ 2))=(2*x)^(n)* hypergeom([-(1)/(2)*n , -(1)/(2)*n +(1)/(2)], [-], -(1)/((x)^(2))) (n)!*Sum[Divide[(- 1)^(\[ScriptL])*(2*x)^(n - 2*\[ScriptL]),(\[ScriptL])!*(n - 2*\[ScriptL])!], {\[ScriptL], 0, Floor[n/ 2]}]=(2*x)^(n)* HypergeometricPFQ[{-Divide[1,2]*n , -Divide[1,2]*n +Divide[1,2]}, {-}, -Divide[1,(x)^(2)]] Error Failure - Error
18.5#Ex1 ChebyshevT(0, x)= 1 ChebyshevT[0, x]= 1 Successful Successful - -
18.5#Ex2 ChebyshevT(1, x)= x ChebyshevT[1, x]= x Successful Successful - -
18.5#Ex3 ChebyshevT(2, x)= 2*(x)^(2)- 1 ChebyshevT[2, x]= 2*(x)^(2)- 1 Successful Successful - -
18.5#Ex4 ChebyshevT(3, x)= 4*(x)^(3)- 3*x ChebyshevT[3, x]= 4*(x)^(3)- 3*x Successful Successful - -
18.5#Ex5 ChebyshevT(4, x)= 8*(x)^(4)- 8*(x)^(2)+ 1 ChebyshevT[4, x]= 8*(x)^(4)- 8*(x)^(2)+ 1 Successful Successful - -
18.5#Ex6 ChebyshevT(5, x)= 16*(x)^(5)- 20*(x)^(3)+ 5*x ChebyshevT[5, x]= 16*(x)^(5)- 20*(x)^(3)+ 5*x Successful Successful - -
18.5#Ex7 ChebyshevT(6, x)= 32*(x)^(6)- 48*(x)^(4)+ 18*(x)^(2)- 1 ChebyshevT[6, x]= 32*(x)^(6)- 48*(x)^(4)+ 18*(x)^(2)- 1 Successful Successful - -
18.5#Ex8 ChebyshevU(0, x)= 1 ChebyshevU[0, x]= 1 Successful Successful - -
18.5#Ex9 ChebyshevU(1, x)= 2*x ChebyshevU[1, x]= 2*x Successful Successful - -
18.5#Ex10 ChebyshevU(2, x)= 4*(x)^(2)- 1 ChebyshevU[2, x]= 4*(x)^(2)- 1 Successful Successful - -
18.5#Ex11 ChebyshevU(3, x)= 8*(x)^(3)- 4*x ChebyshevU[3, x]= 8*(x)^(3)- 4*x Successful Successful - -
18.5#Ex12 ChebyshevU(4, x)= 16*(x)^(4)- 12*(x)^(2)+ 1 ChebyshevU[4, x]= 16*(x)^(4)- 12*(x)^(2)+ 1 Successful Successful - -
18.5#Ex13 ChebyshevU(5, x)= 32*(x)^(5)- 32*(x)^(3)+ 6*x ChebyshevU[5, x]= 32*(x)^(5)- 32*(x)^(3)+ 6*x Successful Successful - -
18.5#Ex14 ChebyshevU(6, x)= 64*(x)^(6)- 80*(x)^(4)+ 24*(x)^(2)- 1 ChebyshevU[6, x]= 64*(x)^(6)- 80*(x)^(4)+ 24*(x)^(2)- 1 Successful Successful - -
18.5#Ex15 LegendreP(0, x)= 1 LegendreP[0, x]= 1 Successful Successful - -
18.5#Ex16 LegendreP(1, x)= x LegendreP[1, x]= x Successful Successful - -
18.5#Ex17 LegendreP(2, x)=(3)/(2)*(x)^(2)-(1)/(2) LegendreP[2, x]=Divide[3,2]*(x)^(2)-Divide[1,2] Successful Successful - -
18.5#Ex18 LegendreP(3, x)=(5)/(2)*(x)^(3)-(3)/(2)*x LegendreP[3, x]=Divide[5,2]*(x)^(3)-Divide[3,2]*x Successful Successful - -
18.5#Ex19 LegendreP(4, x)=(35)/(8)*(x)^(4)-(15)/(4)*(x)^(2)+(3)/(8) LegendreP[4, x]=Divide[35,8]*(x)^(4)-Divide[15,4]*(x)^(2)+Divide[3,8] Successful Successful - -
18.5#Ex20 LegendreP(5, x)=(63)/(8)*(x)^(5)-(35)/(4)*(x)^(3)+(15)/(8)*x LegendreP[5, x]=Divide[63,8]*(x)^(5)-Divide[35,4]*(x)^(3)+Divide[15,8]*x Successful Successful - -
18.5#Ex21 LegendreP(6, x)=(231)/(16)*(x)^(6)-(315)/(16)*(x)^(4)+(105)/(16)*(x)^(2)-(5)/(16) LegendreP[6, x]=Divide[231,16]*(x)^(6)-Divide[315,16]*(x)^(4)+Divide[105,16]*(x)^(2)-Divide[5,16] Successful Successful - -
18.5#Ex22 LaguerreL(0, x)= 1 Error Successful Error - -
18.5#Ex23 LaguerreL(1, x)= - x + 1 Error Successful Error - -
18.5#Ex24 LaguerreL(2, x)=(1)/(2)*(x)^(2)- 2*x + 1 Error Successful Error - -
18.5#Ex25 LaguerreL(3, x)= -(1)/(6)*(x)^(3)+(3)/(2)*(x)^(2)- 3*x + 1 Error Successful Error - -
18.5#Ex26 LaguerreL(4, x)=(1)/(24)*(x)^(4)-(2)/(3)*(x)^(3)+ 3*(x)^(2)- 4*x + 1 Error Successful Error - -
18.5#Ex27 LaguerreL(5, x)= -(1)/(120)*(x)^(5)+(5)/(24)*(x)^(4)-(5)/(3)*(x)^(3)+ 5*(x)^(2)- 5*x + 1 Error Successful Error - -
18.5#Ex28 LaguerreL(6, x)=(1)/(720)*(x)^(6)-(1)/(20)*(x)^(5)+(5)/(8)*(x)^(4)-(10)/(3)*(x)^(3)+(15)/(2)*(x)^(2)- 6*x + 1 Error Successful Error - -
18.5#Ex29 HermiteH(0, x)= 1 HermiteH[0, x]= 1 Successful Successful - -
18.5#Ex30 HermiteH(1, x)= 2*x HermiteH[1, x]= 2*x Successful Successful - -
18.5#Ex31 HermiteH(2, x)= 4*(x)^(2)- 2 HermiteH[2, x]= 4*(x)^(2)- 2 Successful Successful - -
18.5#Ex32 HermiteH(3, x)= 8*(x)^(3)- 12*x HermiteH[3, x]= 8*(x)^(3)- 12*x Successful Successful - -
18.5#Ex33 HermiteH(4, x)= 16*(x)^(4)- 48*(x)^(2)+ 12 HermiteH[4, x]= 16*(x)^(4)- 48*(x)^(2)+ 12 Successful Successful - -
18.5#Ex34 HermiteH(5, x)= 32*(x)^(5)- 160*(x)^(3)+ 120*x HermiteH[5, x]= 32*(x)^(5)- 160*(x)^(3)+ 120*x Successful Successful - -
18.5#Ex35 HermiteH(6, x)= 64*(x)^(6)- 480*(x)^(4)+ 720*(x)^(2)- 120 HermiteH[6, x]= 64*(x)^(6)- 480*(x)^(4)+ 720*(x)^(2)- 120 Successful Successful - -
18.6.E2 limit((JacobiP(n, alpha, beta, x))/(JacobiP(n, alpha, beta, 1)), alpha = infinity)=((1 + x)/(2))^(n) Limit[Divide[JacobiP[n, \[Alpha], \[Beta], x],JacobiP[n, \[Alpha], \[Beta], 1]], \[Alpha] -> Infinity]=(Divide[1 + x,2])^(n) Failure Failure Skip Error
18.6.E3 limit((JacobiP(n, alpha, beta, x))/(JacobiP(n, alpha, beta, - 1)), beta = infinity)=((1 - x)/(2))^(n) Limit[Divide[JacobiP[n, \[Alpha], \[Beta], x],JacobiP[n, \[Alpha], \[Beta], - 1]], \[Beta] -> Infinity]=(Divide[1 - x,2])^(n) Failure Failure Skip Skip
18.6.E4 limit((GegenbauerC(n, lambda, x))/(GegenbauerC(n, lambda, 1)), lambda = infinity)= (x)^(n) Limit[Divide[GegenbauerC[n, \[Lambda], x],GegenbauerC[n, \[Lambda], 1]], \[Lambda] -> Infinity]= (x)^(n) Failure Failure Skip Error
18.7.E1 GegenbauerC(n, lambda, x)=(pochhammer(2*lambda, n))/(pochhammer(lambda +(1)/(2), n))*JacobiP(n, lambda -(1)/(2), lambda -(1)/(2), x) GegenbauerC[n, \[Lambda], x]=Divide[Pochhammer[2*\[Lambda], n],Pochhammer[\[Lambda]+Divide[1,2], n]]*JacobiP[n, \[Lambda]-Divide[1,2], \[Lambda]-Divide[1,2], x] Successful Successful - -
18.7.E2 JacobiP(n, alpha, alpha, x)=(pochhammer(alpha + 1, n))/(pochhammer(2*alpha + 1, n))*GegenbauerC(n, alpha +(1)/(2), x) JacobiP[n, \[Alpha], \[Alpha], x]=Divide[Pochhammer[\[Alpha]+ 1, n],Pochhammer[2*\[Alpha]+ 1, n]]*GegenbauerC[n, \[Alpha]+Divide[1,2], x] Successful Successful - -
18.7.E3 ChebyshevT(n, x)=(JacobiP(n, -(1)/(2), -(1)/(2), x))/(JacobiP(n, -(1)/(2), -(1)/(2), 1)) ChebyshevT[n, x]=Divide[JacobiP[n, -Divide[1,2], -Divide[1,2], x],JacobiP[n, -Divide[1,2], -Divide[1,2], 1]] Successful Successful - -
18.7.E4 ChebyshevU(n, x)= GegenbauerC(n, 1, x) ChebyshevU[n, x]= GegenbauerC[n, 1, x] Successful Successful - -
18.7.E4 GegenbauerC(n, 1, x)=((n + 1)* JacobiP(n, (1)/(2), (1)/(2), x))/(JacobiP(n, (1)/(2), (1)/(2), 1)) GegenbauerC[n, 1, x]=Divide[(n + 1)* JacobiP[n, Divide[1,2], Divide[1,2], x],JacobiP[n, Divide[1,2], Divide[1,2], 1]] Successful Successful - -
18.7.E9 LegendreP(n, x)= GegenbauerC(n, (1)/(2), x) LegendreP[n, x]= GegenbauerC[n, Divide[1,2], x] Successful Successful - -
18.7.E9 GegenbauerC(n, (1)/(2), x)= JacobiP(n, 0, 0, x) GegenbauerC[n, Divide[1,2], x]= JacobiP[n, 0, 0, x] Successful Successful - -
18.7.E10 LegendreP(n, 2*(x) - 1)= LegendreP(n, 2*x - 1) Error Successful Error - -
18.7.E13 (JacobiP(2*n, alpha, alpha, x))/(JacobiP(2*n, alpha, alpha, 1))=(JacobiP(n, alpha, -(1)/(2), 2*(x)^(2)- 1))/(JacobiP(n, alpha, -(1)/(2), 1)) Divide[JacobiP[2*n, \[Alpha], \[Alpha], x],JacobiP[2*n, \[Alpha], \[Alpha], 1]]=Divide[JacobiP[n, \[Alpha], -Divide[1,2], 2*(x)^(2)- 1],JacobiP[n, \[Alpha], -Divide[1,2], 1]] Failure Failure Successful Successful
18.7.E14 (JacobiP(2*n + 1, alpha, alpha, x))/(JacobiP(2*n + 1, alpha, alpha, 1))=(x*JacobiP(n, alpha, (1)/(2), 2*(x)^(2)- 1))/(JacobiP(n, alpha, (1)/(2), 1)) Divide[JacobiP[2*n + 1, \[Alpha], \[Alpha], x],JacobiP[2*n + 1, \[Alpha], \[Alpha], 1]]=Divide[x*JacobiP[n, \[Alpha], Divide[1,2], 2*(x)^(2)- 1],JacobiP[n, \[Alpha], Divide[1,2], 1]] Failure Failure Successful Successful
18.7.E15 GegenbauerC(2*n, lambda, x)=(pochhammer(lambda, n))/(pochhammer((1)/(2), n))*JacobiP(n, lambda -(1)/(2), -(1)/(2), 2*(x)^(2)- 1) GegenbauerC[2*n, \[Lambda], x]=Divide[Pochhammer[\[Lambda], n],Pochhammer[Divide[1,2], n]]*JacobiP[n, \[Lambda]-Divide[1,2], -Divide[1,2], 2*(x)^(2)- 1] Failure Failure Successful Successful
18.7.E16 GegenbauerC(2*n + 1, lambda, x)=(pochhammer(lambda, n + 1))/(pochhammer((1)/(2), n + 1))*x*JacobiP(n, lambda -(1)/(2), (1)/(2), 2*(x)^(2)- 1) GegenbauerC[2*n + 1, \[Lambda], x]=Divide[Pochhammer[\[Lambda], n + 1],Pochhammer[Divide[1,2], n + 1]]*x*JacobiP[n, \[Lambda]-Divide[1,2], Divide[1,2], 2*(x)^(2)- 1] Failure Failure Successful Successful
18.7.E23 limit((alpha)^(-(1)/(2)*n)* JacobiP(n, alpha, alpha, (alpha)^(-(1)/(2))* x), alpha = infinity)=(HermiteH(n, x))/((2)^(n)* factorial(n)) Limit[(\[Alpha])^(-Divide[1,2]*n)* JacobiP[n, \[Alpha], \[Alpha], (\[Alpha])^(-Divide[1,2])* x], \[Alpha] -> Infinity]=Divide[HermiteH[n, x],(2)^(n)* (n)!] Failure Failure Skip Error
18.7.E24 limit((lambda)^(-(1)/(2)*n)* GegenbauerC(n, lambda, (lambda)^(-(1)/(2))* x), lambda = infinity)=(HermiteH(n, x))/(factorial(n)) Limit[(\[Lambda])^(-Divide[1,2]*n)* GegenbauerC[n, \[Lambda], (\[Lambda])^(-Divide[1,2])* x], \[Lambda] -> Infinity]=Divide[HermiteH[n, x],(n)!] Failure Failure Skip Skip
18.7.E25 limit((1)/(lambda)*GegenbauerC(n, lambda, x), lambda = 0)=(2)/(n)*ChebyshevT(n, x) Limit[Divide[1,\[Lambda]]*GegenbauerC[n, \[Lambda], x], \[Lambda] -> 0]=Divide[2,n]*ChebyshevT[n, x] Failure Failure Skip Successful
18.9.E3 JacobiP(n, alpha, beta - 1, x)- JacobiP(n, alpha - 1, beta, x)= JacobiP(n - 1, alpha, beta, x) JacobiP[n, \[Alpha], \[Beta]- 1, x]- JacobiP[n, \[Alpha]- 1, \[Beta], x]= JacobiP[n - 1, \[Alpha], \[Beta], x] Failure Successful Successful -
18.9.E4 (1 - x)* JacobiP(n, alpha + 1, beta, x)+(1 + x)* JacobiP(n, alpha, beta + 1, x)= 2*JacobiP(n, alpha, beta, x) (1 - x)* JacobiP[n, \[Alpha]+ 1, \[Beta], x]+(1 + x)* JacobiP[n, \[Alpha], \[Beta]+ 1, x]= 2*JacobiP[n, \[Alpha], \[Beta], x] Failure Successful Successful -
18.9.E5 (2*n + alpha + beta + 1)* JacobiP(n, alpha, beta, x)=(n + alpha + beta + 1)* JacobiP(n, alpha, beta + 1, x)+(n + alpha)* JacobiP(n - 1, alpha, beta + 1, x) (2*n + \[Alpha]+ \[Beta]+ 1)* JacobiP[n, \[Alpha], \[Beta], x]=(n + \[Alpha]+ \[Beta]+ 1)* JacobiP[n, \[Alpha], \[Beta]+ 1, x]+(n + \[Alpha])* JacobiP[n - 1, \[Alpha], \[Beta]+ 1, x] Failure Successful Successful -
18.9.E6 (n +(1)/(2)*alpha +(1)/(2)*beta + 1)*(1 + x)* JacobiP(n, alpha, beta + 1, x)=(n + 1)* JacobiP(n + 1, alpha, beta, x)+(n + beta + 1)* JacobiP(n, alpha, beta, x) (n +Divide[1,2]*\[Alpha]+Divide[1,2]*\[Beta]+ 1)*(1 + x)* JacobiP[n, \[Alpha], \[Beta]+ 1, x]=(n + 1)* JacobiP[n + 1, \[Alpha], \[Beta], x]+(n + \[Beta]+ 1)* JacobiP[n, \[Alpha], \[Beta], x] Failure Successful Successful -
18.9.E7 (n + lambda)* GegenbauerC(n, lambda, x)= lambda*(GegenbauerC(n, lambda + 1, x)- GegenbauerC(n - 2, lambda + 1, x)) (n + \[Lambda])* GegenbauerC[n, \[Lambda], x]= \[Lambda]*(GegenbauerC[n, \[Lambda]+ 1, x]- GegenbauerC[n - 2, \[Lambda]+ 1, x]) Successful Successful - -
18.9.E8 4*lambda*(n + lambda + 1)*(1 - (x)^(2))* GegenbauerC(n, lambda + 1, x)= -(n + 1)*(n + 2)* GegenbauerC(n + 2, lambda, x)+(n + 2*lambda)*(n + 2*lambda + 1)* GegenbauerC(n, lambda, x) 4*\[Lambda]*(n + \[Lambda]+ 1)*(1 - (x)^(2))* GegenbauerC[n, \[Lambda]+ 1, x]= -(n + 1)*(n + 2)* GegenbauerC[n + 2, \[Lambda], x]+(n + 2*\[Lambda])*(n + 2*\[Lambda]+ 1)* GegenbauerC[n, \[Lambda], x] Successful Successful - -
18.9.E9 ChebyshevT(n, x)=(1)/(2)*(ChebyshevU(n, x)- ChebyshevU(n - 2, x)) ChebyshevT[n, x]=Divide[1,2]*(ChebyshevU[n, x]- ChebyshevU[n - 2, x]) Successful Failure - Successful
18.9.E10 (1 - (x)^(2))* ChebyshevU(n, x)= -(1)/(2)*(ChebyshevT(n + 2, x)- ChebyshevT(n, x)) (1 - (x)^(2))* ChebyshevU[n, x]= -Divide[1,2]*(ChebyshevT[n + 2, x]- ChebyshevT[n, x]) Successful Failure - Successful
18.9.E15 diff(JacobiP(n, alpha, beta, x), x)=(1)/(2)*(n + alpha + beta + 1)* JacobiP(n - 1, alpha + 1, beta + 1, x) D[JacobiP[n, \[Alpha], \[Beta], x], x]=Divide[1,2]*(n + \[Alpha]+ \[Beta]+ 1)* JacobiP[n - 1, \[Alpha]+ 1, \[Beta]+ 1, x] Failure Successful
Fail
Float(infinity)+Float(infinity)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)+I*2^(1/2), n = 1, x = 1}
Float(infinity)+Float(infinity)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)+I*2^(1/2), n = 2, x = 1}
Float(infinity)+Float(infinity)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)+I*2^(1/2), n = 3, x = 1}
Float(infinity)+Float(infinity)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)-I*2^(1/2), n = 1, x = 1}
... skip entries to safe data
-
18.9.E16 diff((1 - x)^(alpha)*(1 + x)^(beta)* JacobiP(n, alpha, beta, x), x)= - 2*(n + 1)*(1 - x)^(alpha - 1)*(1 + x)^(beta - 1)* JacobiP(n + 1, alpha - 1, beta - 1, x) D[(1 - x)^(\[Alpha])*(1 + x)^(\[Beta])* JacobiP[n, \[Alpha], \[Beta], x], x]= - 2*(n + 1)*(1 - x)^(\[Alpha]- 1)*(1 + x)^(\[Beta]- 1)* JacobiP[n + 1, \[Alpha]- 1, \[Beta]- 1, x] Failure Successful
Fail
Float(undefined)+Float(undefined)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)+I*2^(1/2), n = 1, x = 1}
Float(undefined)+Float(undefined)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)+I*2^(1/2), n = 2, x = 1}
Float(undefined)+Float(undefined)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)+I*2^(1/2), n = 3, x = 1}
Float(undefined)+Float(undefined)*I <- {alpha = 2^(1/2)+I*2^(1/2), beta = 2^(1/2)-I*2^(1/2), n = 1, x = 1}
... skip entries to safe data
-
18.9.E17 (2*n + alpha + beta)*(1 - (x)^(2))* diff(JacobiP(n, alpha, beta, x), x)= n*(alpha - beta -(2*n + alpha + beta)*x)* JacobiP(n, alpha, beta, x)+ 2*(n + alpha)*(n + beta)* JacobiP(n - 1, alpha, beta, x) (2*n + \[Alpha]+ \[Beta])*(1 - (x)^(2))* D[JacobiP[n, \[Alpha], \[Beta], x], x]= n*(\[Alpha]- \[Beta]-(2*n + \[Alpha]+ \[Beta])*x)* JacobiP[n, \[Alpha], \[Beta], x]+ 2*(n + \[Alpha])*(n + \[Beta])* JacobiP[n - 1, \[Alpha], \[Beta], x] Failure Successful Successful -
18.9.E18 (2*n + alpha + beta + 2)*(1 - (x)^(2))* diff(JacobiP(n, alpha, beta, x), x)=(n + alpha + beta + 1)*(alpha - beta +(2*n + alpha + beta + 2)*x)* JacobiP(n, alpha, beta, x)- 2*(n + 1)*(n + alpha + beta + 1)* JacobiP(n + 1, alpha, beta, x) (2*n + \[Alpha]+ \[Beta]+ 2)*(1 - (x)^(2))* D[JacobiP[n, \[Alpha], \[Beta], x], x]=(n + \[Alpha]+ \[Beta]+ 1)*(\[Alpha]- \[Beta]+(2*n + \[Alpha]+ \[Beta]+ 2)*x)* JacobiP[n, \[Alpha], \[Beta], x]- 2*(n + 1)*(n + \[Alpha]+ \[Beta]+ 1)* JacobiP[n + 1, \[Alpha], \[Beta], x] Failure Successful Successful -
18.9.E19 diff(GegenbauerC(n, lambda, x), x)= 2*lambda*GegenbauerC(n - 1, lambda + 1, x) D[GegenbauerC[n, \[Lambda], x], x]= 2*\[Lambda]*GegenbauerC[n - 1, \[Lambda]+ 1, x] Successful Successful - -
18.9.E20 diff((1 - (x)^(2))^(lambda -(1)/(2))* GegenbauerC(n, lambda, x), x)= -((n + 1)*(n + 2*lambda - 1))/(2*(lambda - 1))*(1 - (x)^(2))^(lambda -(3)/(2))*GegenbauerC(n + 1, lambda - 1, x) D[(1 - (x)^(2))^(\[Lambda]-Divide[1,2])* GegenbauerC[n, \[Lambda], x], x]= -Divide[(n + 1)*(n + 2*\[Lambda]- 1),2*(\[Lambda]- 1)]*(1 - (x)^(2))^(\[Lambda]-Divide[3,2])*GegenbauerC[n + 1, \[Lambda]- 1, x] Failure Successful
Fail
Float(infinity)+Float(infinity)*I <- {lambda = 2^(1/2)+I*2^(1/2), n = 1, x = 1}
Float(infinity)+Float(infinity)*I <- {lambda = 2^(1/2)+I*2^(1/2), n = 2, x = 1}
Float(infinity)+Float(infinity)*I <- {lambda = 2^(1/2)+I*2^(1/2), n = 3, x = 1}
Float(infinity)+Float(infinity)*I <- {lambda = 2^(1/2)-I*2^(1/2), n = 1, x = 1}
... skip entries to safe data
-
18.9.E21 diff(ChebyshevT(n, x), x)= n*ChebyshevU(n - 1, x) D[ChebyshevT[n, x], x]= n*ChebyshevU[n - 1, x] Successful Successful - -
18.9.E22 diff((1 - (x)^(2))^((1)/(2))* ChebyshevU(n, x), x)= -(n + 1)*(1 - (x)^(2))^(-(1)/(2))*ChebyshevT(n + 1, x) D[(1 - (x)^(2))^(Divide[1,2])* ChebyshevU[n, x], x]= -(n + 1)*(1 - (x)^(2))^(-Divide[1,2])*ChebyshevT[n + 1, x] Successful Successful - -
18.9.E25 diff(HermiteH(n, x), x)= 2*n*HermiteH(n - 1, x) D[HermiteH[n, x], x]= 2*n*HermiteH[n - 1, x] Successful Successful - -
18.9.E26 diff(exp(- (x)^(2))*HermiteH(n, x), x)= - exp(- (x)^(2))*HermiteH(n + 1, x) D[Exp[- (x)^(2)]*HermiteH[n, x], x]= - Exp[- (x)^(2)]*HermiteH[n + 1, x] Successful Successful - -
18.10.E1 (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 - -
18.10.E1 (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]}] Failure Failure Skip Successful
18.10.E2 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]}] Failure Failure Skip Successful
18.10.E5 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}] Failure Failure Skip Error
18.10.E7 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}] Failure Failure Skip Skip
18.10.E10 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}] Failure Failure Skip Successful
18.10.E10 ((- 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}]=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}] Successful Failure - Error
18.11.E1