14.12

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
14.12.E1	${\displaystyle{\displaystyle\mathsf{P}^{\mu}_{\nu}\left(\cos\theta\right)=\frac{2^{1/2}(\sin\theta)^{\mu}}{\pi^{1/2}\Gamma\left(\frac{1}{2}-\mu\right)}\int_{0}^{\theta}\frac{\cos\left(\left(\nu+\frac{1}{2}\right)t\right)}{(\cos t-\cos\theta)^{\mu+(1/2)}}\mathrm{d}t}}$ \FerrersP[\mu]{\nu}@{\cos@@{\theta}} = \frac{2^{1/2}(\sin@@{\theta})^{\mu}}{\pi^{1/2}\EulerGamma@{\frac{1}{2}-\mu}}\int_{0}^{\theta}\frac{\cos@{\left(\nu+\frac{1}{2}\right)t}}{(\cos@@{t}-\cos@@{\theta})^{\mu+(1/2)}}\diff{t}	${\displaystyle{\displaystyle 0<\theta,\theta<\pi,\Re(\frac{1}{2}-\mu)>0}}$	LegendreP(nu, mu, cos(theta)) = ((2)^(1/2)*(sin(theta))^(mu))/((Pi)^(1/2)* GAMMA((1)/(2)- mu))*int((cos((nu +(1)/(2))*t))/((cos(t)- cos(theta))^(mu +(1/2))), t = 0..theta)	LegendreP[\[Nu], \[Mu], Cos[\[Theta]]] == Divide[(2)^(1/2)*(Sin[\[Theta]])^\[Mu],(Pi)^(1/2)* Gamma[Divide[1,2]- \[Mu]]]*Integrate[Divide[Cos[(\[Nu]+Divide[1,2])*t],(Cos[t]- Cos[\[Theta]])^(\[Mu]+(1/2))], {t, 0, \[Theta]}, GenerateConditions->None]	Error	Aborted	-	Skipped - Because timed out
14.12.E2	${\displaystyle{\displaystyle\mathsf{P}^{-\mu}_{\nu}\left(x\right)=\frac{\left(1-x^{2}\right)^{-\mu/2}}{\Gamma\left(\mu\right)}\int_{x}^{1}\mathsf{P}_{\nu}\left(t\right)(t-x)^{\mu-1}\mathrm{d}t}}$ \FerrersP[-\mu]{\nu}@{x} = \frac{\left(1-x^{2}\right)^{-\mu/2}}{\EulerGamma@{\mu}}\int_{x}^{1}\FerrersP[]{\nu}@{t}(t-x)^{\mu-1}\diff{t}	${\displaystyle{\displaystyle\Re\mu>0,\Re(\mu)>0,|(\tfrac{1}{2}-\tfrac{1}{2}x)|<1}}$	LegendreP(nu, - mu, x) = ((1 - (x)^(2))^(- mu/2))/(GAMMA(mu))*int(LegendreP(nu, t)*(t - x)^(mu - 1), t = x..1)	LegendreP[\[Nu], - \[Mu], x] == Divide[(1 - (x)^(2))^(- \[Mu]/2),Gamma[\[Mu]]]*Integrate[LegendreP[\[Nu], t]*(t - x)^(\[Mu]- 1), {t, x, 1}, GenerateConditions->None]	Failure	Failure	Skipped - Because timed out	Skipped - Because timed out
14.12.E3	${\displaystyle{\displaystyle\mathsf{Q}^{\mu}_{\nu}\left(\cos\theta\right)=\frac{\pi^{1/2}\Gamma\left(\nu+\mu+1\right)(\sin\theta)^{\mu}}{2^{\mu+1}\Gamma\left(\mu+\frac{1}{2}\right)\Gamma\left(\nu-\mu+1\right)}\*\left(\int_{0}^{\infty}\frac{(\sinh t)^{2\mu}}{(\cos\theta+i\sin\theta\cosh t)^{\nu+\mu+1}}\mathrm{d}t+\int_{0}^{\infty}\frac{(\sinh t)^{2\mu}}{(\cos\theta-i\sin\theta\cosh t)^{\nu+\mu+1}}\mathrm{d}t\right)}}$ \FerrersQ[\mu]{\nu}@{\cos@@{\theta}} = \frac{\pi^{1/2}\EulerGamma@{\nu+\mu+1}(\sin@@{\theta})^{\mu}}{2^{\mu+1}\EulerGamma@{\mu+\frac{1}{2}}\EulerGamma@{\nu-\mu+1}}\*\left(\int_{0}^{\infty}\frac{(\sinh@@{t})^{2\mu}}{(\cos@@{\theta}+i\sin@@{\theta}\cosh@@{t})^{\nu+\mu+1}}\diff{t}+\int_{0}^{\infty}\frac{(\sinh@@{t})^{2\mu}}{(\cos@@{\theta}-i\sin@@{\theta}\cosh@@{t})^{\nu+\mu+1}}\diff{t}\right)	${\displaystyle{\displaystyle 0<\theta,\theta<\pi,\Re\mu>-\tfrac{1}{2},\Re\nu+\mu>-1,\Re\nu-\mu>-1,\Re(\nu+\mu+1)>0,\Re(\mu+\frac{1}{2})>0,\Re(\nu-\mu+1)>0}}$	LegendreQ(nu, mu, cos(theta)) = ((Pi)^(1/2)* GAMMA(nu + mu + 1)*(sin(theta))^(mu))/((2)^(mu + 1)* GAMMA(mu +(1)/(2))*GAMMA(nu - mu + 1))*(int(((sinh(t))^(2*mu))/((cos(theta)+ I*sin(theta)*cosh(t))^(nu + mu + 1)), t = 0..infinity)+ int(((sinh(t))^(2*mu))/((cos(theta)- I*sin(theta)*cosh(t))^(nu + mu + 1)), t = 0..infinity))	LegendreQ[\[Nu], \[Mu], Cos[\[Theta]]] == Divide[(Pi)^(1/2)* Gamma[\[Nu]+ \[Mu]+ 1]*(Sin[\[Theta]])^\[Mu],(2)^(\[Mu]+ 1)* Gamma[\[Mu]+Divide[1,2]]*Gamma[\[Nu]- \[Mu]+ 1]]*(Integrate[Divide[(Sinh[t])^(2*\[Mu]),(Cos[\[Theta]]+ I*Sin[\[Theta]]*Cosh[t])^(\[Nu]+ \[Mu]+ 1)], {t, 0, Infinity}, GenerateConditions->None]+ Integrate[Divide[(Sinh[t])^(2*\[Mu]),(Cos[\[Theta]]- I*Sin[\[Theta]]*Cosh[t])^(\[Nu]+ \[Mu]+ 1)], {t, 0, Infinity}, GenerateConditions->None])	Error	Aborted	-	Skipped - Because timed out
14.12.E4	${\displaystyle{\displaystyle P^{-\mu}_{\nu}\left(x\right)=\frac{2^{1/2}\Gamma\left(\mu+\frac{1}{2}\right)\left(x^{2}-1\right)^{\mu/2}}{\pi^{1/2}\Gamma\left(\nu+\mu+1\right)\Gamma\left(\mu-\nu\right)}\*\int_{0}^{\infty}\frac{\cosh\left(\left(\nu+\frac{1}{2}\right)t\right)}{(x+\cosh t)^{\mu+(1/2)}}\mathrm{d}t}}$ \assLegendreP[-\mu]{\nu}@{x} = \frac{2^{1/2}\EulerGamma@{\mu+\frac{1}{2}}\left(x^{2}-1\right)^{\mu/2}}{\pi^{1/2}\EulerGamma@{\nu+\mu+1}\EulerGamma@{\mu-\nu}}\*\int_{0}^{\infty}\frac{\cosh@{\left(\nu+\frac{1}{2}\right)t}}{(x+\cosh@@{t})^{\mu+(1/2)}}\diff{t}	${\displaystyle{\displaystyle\Re\left(\mu-\nu\right)>0,\Re(\mu+\frac{1}{2})>0,\Re(\nu+\mu+1)>0,\Re(\mu-\nu)>0}}$	LegendreP(nu, - mu, x) = ((2)^(1/2)* GAMMA(mu +(1)/(2))*((x)^(2)- 1)^(mu/2))/((Pi)^(1/2)* GAMMA(nu + mu + 1)*GAMMA(mu - nu))* int((cosh((nu +(1)/(2))*t))/((x + cosh(t))^(mu +(1/2))), t = 0..infinity)	LegendreP[\[Nu], - \[Mu], 3, x] == Divide[(2)^(1/2)* Gamma[\[Mu]+Divide[1,2]]*((x)^(2)- 1)^(\[Mu]/2),(Pi)^(1/2)* Gamma[\[Nu]+ \[Mu]+ 1]*Gamma[\[Mu]- \[Nu]]]* Integrate[Divide[Cosh[(\[Nu]+Divide[1,2])*t],(x + Cosh[t])^(\[Mu]+(1/2))], {t, 0, Infinity}, GenerateConditions->None]	Failure	Aborted	Skipped - Because timed out	Skipped - Because timed out
14.12.E5	${\displaystyle{\displaystyle P^{-\mu}_{\nu}\left(x\right)=\frac{\left(x^{2}-1\right)^{-\mu/2}}{\Gamma\left(\mu\right)}\int_{1}^{x}P_{\nu}\left(t\right)(x-t)^{\mu-1}\mathrm{d}t}}$ \assLegendreP[-\mu]{\nu}@{x} = \frac{\left(x^{2}-1\right)^{-\mu/2}}{\EulerGamma@{\mu}}\int_{1}^{x}\LegendrepolyP{\nu}@{t}(x-t)^{\mu-1}\diff{t}	${\displaystyle{\displaystyle\Re\mu>0,\Re(\mu)>0}}$	LegendreP(nu, - mu, x) = (((x)^(2)- 1)^(- mu/2))/(GAMMA(mu))*int(LegendreP(nu, t)*(x - t)^(mu - 1), t = 1..x)	LegendreP[\[Nu], - \[Mu], 3, x] == Divide[((x)^(2)- 1)^(- \[Mu]/2),Gamma[\[Mu]]]*Integrate[LegendreP[\[Nu], t]*(x - t)^(\[Mu]- 1), {t, 1, x}, GenerateConditions->None]	Failure	Failure	Skipped - Because timed out	Skipped - Because timed out
14.12.E6	${\displaystyle{\displaystyle\boldsymbol{Q}^{\mu}_{\nu}\left(x\right)=\frac{\pi^{1/2}\left(x^{2}-1\right)^{\mu/2}}{2^{\mu}\Gamma\left(\mu+\frac{1}{2}\right)\Gamma\left(\nu-\mu+1\right)}\*\int_{0}^{\infty}\frac{(\sinh t)^{2\mu}}{\left(x+(x^{2}-1)^{1/2}\cosh t\right)^{\nu+\mu+1}}\mathrm{d}t}}$ \assLegendreOlverQ[\mu]{\nu}@{x} = \frac{\pi^{1/2}\left(x^{2}-1\right)^{\mu/2}}{2^{\mu}\EulerGamma@{\mu+\frac{1}{2}}\EulerGamma@{\nu-\mu+1}}\*\int_{0}^{\infty}\frac{(\sinh@@{t})^{2\mu}}{\left(x+(x^{2}-1)^{1/2}\cosh@@{t}\right)^{\nu+\mu+1}}\diff{t}	${\displaystyle{\displaystyle\Re\left(\nu+1\right)>\Re\mu,\Re\mu>-\tfrac{1}{2},\Re(\mu+\frac{1}{2})>0,\Re(\nu-\mu+1)>0}}$	exp(-(mu)*Pi*I)*LegendreQ(nu,mu,x)/GAMMA(nu+mu+1) = ((Pi)^(1/2)*((x)^(2)- 1)^(mu/2))/((2)^(mu)* GAMMA(mu +(1)/(2))*GAMMA(nu - mu + 1))* int(((sinh(t))^(2*mu))/((x +((x)^(2)- 1)^(1/2)* cosh(t))^(nu + mu + 1)), t = 0..infinity)	Exp[-(\[Mu]) Pi I] LegendreQ[\[Nu], \[Mu], 3, x]/Gamma[\[Nu] + \[Mu] + 1] == Divide[(Pi)^(1/2)*((x)^(2)- 1)^(\[Mu]/2),(2)^\[Mu]* Gamma[\[Mu]+Divide[1,2]]*Gamma[\[Nu]- \[Mu]+ 1]]* Integrate[Divide[(Sinh[t])^(2*\[Mu]),(x +((x)^(2)- 1)^(1/2)* Cosh[t])^(\[Nu]+ \[Mu]+ 1)], {t, 0, Infinity}, GenerateConditions->None]	Error	Aborted	-	Skipped - Because timed out
14.12.E7	${\displaystyle{\displaystyle P^{m}_{\nu}\left(x\right)=\frac{{\left(\nu+1\right)_{m}}}{\pi}\*\int_{0}^{\pi}\left(x+\left(x^{2}-1\right)^{1/2}\cos\phi\right)^{\nu}\cos\left(m\phi\right)\mathrm{d}\phi}}$ \assLegendreP[m]{\nu}@{x} = \frac{\Pochhammersym{\nu+1}{m}}{\pi}\*\int_{0}^{\pi}\left(x+\left(x^{2}-1\right)^{1/2}\cos@@{\phi}\right)^{\nu}\cos@{m\phi}\diff{\phi}		LegendreP(nu, m, x) = (pochhammer(nu + 1, m))/(Pi)* int((x +((x)^(2)- 1)^(1/2)* cos(phi))^(nu)* cos(m*phi), phi = 0..Pi)	LegendreP[\[Nu], m, 3, x] == Divide[Pochhammer[\[Nu]+ 1, m],Pi]* Integrate[(x +((x)^(2)- 1)^(1/2)* Cos[\[Phi]])^\[Nu]* Cos[m*\[Phi]], {\[Phi], 0, Pi}, GenerateConditions->None]	Failure	Failure	Skipped - Because timed out	Successful [Tested: 90]
14.12.E8	${\displaystyle{\displaystyle P^{m}_{n}\left(x\right)=\frac{2^{m}m!(n+m)!\left(x^{2}-1\right)^{m/2}}{(2m)!(n-m)!\pi}\int_{0}^{\pi}\left(x+\left(x^{2}-1\right)^{1/2}\cos\phi\right)^{n-m}(\sin\phi)^{2m}\mathrm{d}\phi}}$ \assLegendreP[m]{n}@{x} = \frac{2^{m}m!(n+m)!\left(x^{2}-1\right)^{m/2}}{(2m)!(n-m)!\pi}\int_{0}^{\pi}\left(x+\left(x^{2}-1\right)^{1/2}\cos@@{\phi}\right)^{n-m}(\sin@@{\phi})^{2m}\diff{\phi}	${\displaystyle{\displaystyle n\geq m}}$	LegendreP(n, m, x) = ((2)^(m)* factorial(m)*factorial(n + m)*((x)^(2)- 1)^(m/2))/(factorial(2*m)*factorial(n - m)*Pi)*int((x +((x)^(2)- 1)^(1/2)* cos(phi))^(n - m)*(sin(phi))^(2*m), phi = 0..Pi)	LegendreP[n, m, 3, x] == Divide[(2)^(m)* (m)!*(n + m)!*((x)^(2)- 1)^(m/2),(2*m)!*(n - m)!*Pi]*Integrate[(x +((x)^(2)- 1)^(1/2)* Cos[\[Phi]])^(n - m)*(Sin[\[Phi]])^(2*m), {\[Phi], 0, Pi}, GenerateConditions->None]	Error	Aborted	-	Successful [Tested: 18]
14.12.E9	${\displaystyle{\displaystyle\boldsymbol{Q}^{m}_{n}\left(x\right)=\frac{1}{n!}\int_{0}^{u}\left(x-\left(x^{2}-1\right)^{1/2}\cosh t\right)^{n}\cosh\left(mt\right)\mathrm{d}t}}$ \assLegendreOlverQ[m]{n}@{x} = \frac{1}{n!}\int_{0}^{u}\left(x-\left(x^{2}-1\right)^{1/2}\cosh@@{t}\right)^{n}\cosh@{mt}\diff{t}		exp(-(m)*Pi*I)*LegendreQ(n,m,x)/GAMMA(n+m+1) = (1)/(factorial(n))*int((x -((x)^(2)- 1)^(1/2)* cosh(t))^(n)* cosh(m*t), t = 0..u)	Exp[-(m) Pi I] LegendreQ[n, m, 3, x]/Gamma[n + m + 1] == Divide[1,(n)!]*Integrate[(x -((x)^(2)- 1)^(1/2)* Cosh[t])^(n)* Cosh[m*t], {t, 0, u}, GenerateConditions->None]	Failure	Aborted	Skipped - Because timed out	Skipped - Because timed out
14.12.E10	${\displaystyle{\displaystyle u=\frac{1}{2}\ln\left(\frac{x+1}{x-1}\right)}}$ u = \frac{1}{2}\ln@{\frac{x+1}{x-1}}		u = (1)/(2)*ln((x + 1)/(x - 1))	u == Divide[1,2]*Log[Divide[x + 1,x - 1]]	Failure	Failure	Failed [30 / 30] Result: .613064480e-1+.5000000000*I Test Values: {u = 1/2*3^(1/2)+1/2*I, x = 3/2} Result: .3167192595-1.070796327*I Test Values: {u = 1/2*3^(1/2)+1/2*I, x = 1/2} ... skip entries to safe data	Failed [30 / 30] Result: Complex[0.06130644756738857, 0.49999999999999994] Test Values: {Rule[u, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5]} Result: Complex[0.3167192594503838, -1.0707963267948966] Test Values: {Rule[u, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 0.5]} ... skip entries to safe data
14.12.E11	${\displaystyle{\displaystyle\boldsymbol{Q}^{m}_{n}\left(x\right)=\frac{\left(x^{2}-1\right)^{m/2}}{2^{n+1}n!}\int_{-1}^{1}\frac{\left(1-t^{2}\right)^{n}}{(x-t)^{n+m+1}}\mathrm{d}t}}$ \assLegendreOlverQ[m]{n}@{x} = \frac{\left(x^{2}-1\right)^{m/2}}{2^{n+1}n!}\int_{-1}^{1}\frac{\left(1-t^{2}\right)^{n}}{(x-t)^{n+m+1}}\diff{t}		exp(-(m)*Pi*I)*LegendreQ(n,m,x)/GAMMA(n+m+1) = (((x)^(2)- 1)^(m/2))/((2)^(n + 1)* factorial(n))*int(((1 - (t)^(2))^(n))/((x - t)^(n + m + 1)), t = - 1..1)	Exp[-(m) Pi I] LegendreQ[n, m, 3, x]/Gamma[n + m + 1] == Divide[((x)^(2)- 1)^(m/2),(2)^(n + 1)* (n)!]*Integrate[Divide[(1 - (t)^(2))^(n),(x - t)^(n + m + 1)], {t, - 1, 1}, GenerateConditions->None]	Failure	Failure	Failed [9 / 27] Result: -.6801747617+Float(undefined)*I Test Values: {x = 1/2, m = 1, n = 1} Result: -.3400873809-Float(infinity)*I Test Values: {x = 1/2, m = 1, n = 2} ... skip entries to safe data	Successful [Tested: 27]
14.12.E12	${\displaystyle{\displaystyle\boldsymbol{Q}^{m}_{n}\left(x\right)=\frac{1}{(n-m)!}P^{m}_{n}\left(x\right)\int_{x}^{\infty}\frac{\mathrm{d}t}{\left(t^{2}-1\right)\left(\displaystyle P^{m}_{n}\left(t\right)\right)^{2}}}}$ \assLegendreOlverQ[m]{n}@{x} = \frac{1}{(n-m)!}\assLegendreP[m]{n}@{x}\int_{x}^{\infty}\frac{\diff{t}}{\left(t^{2}-1\right)\left(\displaystyle\assLegendreP[m]{n}@{t}\right)^{2}}	${\displaystyle{\displaystyle n\geq m}}$	exp(-(m)*Pi*I)*LegendreQ(n,m,x)/GAMMA(n+m+1) = (1)/(factorial(n - m))*LegendreP(n, m, x)*int((1)/(((t)^(2)- 1)*(LegendreP(n, m, t))^(2)), t = x..infinity)	Exp[-(m) Pi I] LegendreQ[n, m, 3, x]/Gamma[n + m + 1] == Divide[1,(n - m)!]*LegendreP[n, m, 3, x]*Integrate[Divide[1,((t)^(2)- 1)*(LegendreP[n, m, 3, t])^(2)], {t, x, Infinity}, GenerateConditions->None]	Failure	Aborted	Failed [6 / 18] Result: -.6801747617-Float(infinity)*I Test Values: {x = 1/2, m = 1, n = 1} Result: -.3400873809-Float(infinity)*I Test Values: {x = 1/2, m = 1, n = 2} ... skip entries to safe data	Skipped - Because timed out
14.12.E13	${\displaystyle{\displaystyle\boldsymbol{Q}_{n}\left(x\right)=\frac{1}{2(n!)}\int_{-1}^{1}\frac{P_{n}\left(t\right)}{x-t}\mathrm{d}t}}$ \assLegendreOlverQ[]{n}@{x} = \frac{1}{2(n!)}\int_{-1}^{1}\frac{\LegendrepolyP{n}@{t}}{x-t}\diff{t}		LegendreQ(n,x)/GAMMA(n+1) = (1)/(2*(factorial(n)))*int((LegendreP(n, t))/(x - t), t = - 1..1)	Exp[-(n) Pi I] LegendreQ[n, 2, 3, x]/Gamma[n + 3] == Divide[1,2*((n)!)]*Integrate[Divide[LegendreP[n, t],x - t], {t, - 1, 1}, GenerateConditions->None]	Failure	Aborted	Failed [3 / 9] Result: Float(undefined)-.7853981634*I Test Values: {x = 1/2, n = 1} Result: Float(undefined)+.9817477045e-1*I Test Values: {x = 1/2, n = 2} ... skip entries to safe data	Skipped - Because timed out
14.12.E14	${\displaystyle{\displaystyle\boldsymbol{Q}_{n}\left(x\right)=\frac{1}{n!}\int_{0}^{\infty}\frac{\mathrm{d}t}{\left(x+(x^{2}-1)^{1/2}\cosh t\right)^{n+1}}}}$ \assLegendreOlverQ[]{n}@{x} = \frac{1}{n!}\int_{0}^{\infty}\frac{\diff{t}}{\left(x+(x^{2}-1)^{1/2}\cosh@@{t}\right)^{n+1}}		LegendreQ(n,x)/GAMMA(n+1) = (1)/(factorial(n))*int((1)/((x +((x)^(2)- 1)^(1/2)* cosh(t))^(n + 1)), t = 0..infinity)	Exp[-(n) Pi I] LegendreQ[n, 2, 3, x]/Gamma[n + 3] == Divide[1,(n)!]*Integrate[Divide[1,(x +((x)^(2)- 1)^(1/2)* Cosh[t])^(n + 1)], {t, 0, Infinity}, GenerateConditions->None]	Aborted	Aborted	Successful [Tested: 9]	Skipped - Because timed out