11.5

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
11.5.E1	${\displaystyle{\displaystyle\mathbf{H}_{\nu}\left(z\right)=\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin\left(zt\right)\mathrm{d}t}}$ \StruveH{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin@{zt}\diff{t}	${\displaystyle{\displaystyle\Re\nu>-\tfrac{1}{2},\Re(\nu+\tfrac{1}{2})>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	StruveH(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 - (t)^(2))^(nu -(1)/(2))* sin(z*t), t = 0..1)	StruveH[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 - (t)^(2))^(\[Nu]-Divide[1,2])* Sin[z*t], {t, 0, 1}, GenerateConditions->None]	Successful	Successful	-	Successful [Tested: 35]
11.5.E1	${\displaystyle{\displaystyle\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin\left(zt\right)\mathrm{d}t=\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{\pi/2}\sin\left(z\cos\theta\right)(\sin\theta)^{2\nu}\mathrm{d}\theta}}$ \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin@{zt}\diff{t} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sin@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}	${\displaystyle{\displaystyle\Re\nu>-\tfrac{1}{2},\Re(\nu+\tfrac{1}{2})>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 - (t)^(2))^(nu -(1)/(2))* sin(z*t), t = 0..1) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sin(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/2)	Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 - (t)^(2))^(\[Nu]-Divide[1,2])* Sin[z*t], {t, 0, 1}, GenerateConditions->None] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sin[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/2}, GenerateConditions->None]	Successful	Successful	-	Successful [Tested: 35]
11.5.E2	${\displaystyle{\displaystyle\mathbf{K}_{\nu}\left(z\right)=\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{\infty}e^{-zt}(1+t^{2})^{\nu-\frac{1}{2}}\mathrm{d}t}}$ \StruveK{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}e^{-zt}(1+t^{2})^{\nu-\frac{1}{2}}\diff{t}	${\displaystyle{\displaystyle\Re z>0,\Re(\nu+\tfrac{1}{2})>0,\Re(\nu+k+1)>0,\Re((-\nu)+k+1)>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	StruveH(nu, z) - BesselY(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 + (t)^(2))^(nu -(1)/(2)), t = 0..infinity)	StruveH[\[Nu], z] - BesselY[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 + (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, Infinity}, GenerateConditions->None]	Successful	Successful	-	Failed [15 / 25] Result: Complex[0.9495382353861556, -0.46093572348323536] Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 1.5]} Result: Complex[0.7706973036767981, -0.20650772012904173] Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 0.5]} ... skip entries to safe data
11.5.E3	${\displaystyle{\displaystyle\mathbf{K}_{0}\left(z\right)=\frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh t}\mathrm{d}t}}$ \StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}	${\displaystyle{\displaystyle\Re z>0,\Re(0+k+1)>0,\Re((-0)+k+1)>0,\Re(n+0+\tfrac{3}{2})>0}}$	StruveH(0, z) - BesselY(0, z) = (2)/(Pi)*int(exp(- z*sinh(t)), t = 0..infinity)	StruveH[0, z] - BesselY[0, z] == Divide[2,Pi]*Integrate[Exp[- z*Sinh[t]], {t, 0, Infinity}, GenerateConditions->None]	Successful	Aborted	-	Skipped - Because timed out
11.5.E4	${\displaystyle{\displaystyle\mathbf{M}_{\nu}\left(z\right)=-\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{1}e^{-zt}(1-t^{2})^{\nu-\frac{1}{2}}\mathrm{d}t}}$ \modStruveM{\nu}@{z} = -\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}e^{-zt}(1-t^{2})^{\nu-\frac{1}{2}}\diff{t}	${\displaystyle{\displaystyle\Re\nu>-\tfrac{1}{2},\Re(\nu+\tfrac{1}{2})>0,\Re(\nu+k+1)>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	StruveL(nu, z) - BesselI(nu, z) = -(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 - (t)^(2))^(nu -(1)/(2)), t = 0..1)	StruveL[\[Nu], z] - BesselI[\[Nu], z] == -Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 - (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, 1}, GenerateConditions->None]	Successful	Successful	-	Successful [Tested: 35]
11.5.E5	${\displaystyle{\displaystyle\mathbf{M}_{0}\left(z\right)=-\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos\theta}\mathrm{d}\theta}}$ \modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}	${\displaystyle{\displaystyle\Re(0+k+1)>0,\Re(n+0+\tfrac{3}{2})>0}}$	StruveL(0, z) - BesselI(0, z) = -(2)/(Pi)*int(exp(- z*cos(theta)), theta = 0..Pi/2)	StruveL[0, z] - BesselI[0, z] == -Divide[2,Pi]*Integrate[Exp[- z*Cos[\[Theta]]], {\[Theta], 0, Pi/2}, GenerateConditions->None]	Successful	Successful	-	Successful [Tested: 7]
11.5.E6	${\displaystyle{\displaystyle\mathbf{L}_{\nu}\left(z\right)=\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{\pi/2}\sinh\left(z\cos\theta\right)(\sin\theta)^{2\nu}\mathrm{d}\theta}}$ \modStruveL{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sinh@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}	${\displaystyle{\displaystyle\Re\nu>-\tfrac{1}{2},\Re(\nu+\tfrac{1}{2})>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	StruveL(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sinh(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/2)	StruveL[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sinh[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/2}, GenerateConditions->None]	Successful	Aborted	-	Skipped - Because timed out
11.5.E7	${\displaystyle{\displaystyle I_{-\nu}\left(x\right)-\mathbf{L}_{\nu}\left(x\right)=\frac{2(\tfrac{1}{2}x)^{\nu}}{\sqrt{\pi}\Gamma\left(\nu+\tfrac{1}{2}\right)}\int_{0}^{\infty}(1+t^{2})^{\nu-\frac{1}{2}}\sin\left(xt\right)\mathrm{d}t}}$ \modBesselI{-\nu}@{x}-\modStruveL{\nu}@{x} = \frac{2(\tfrac{1}{2}x)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}(1+t^{2})^{\nu-\frac{1}{2}}\sin@{xt}\diff{t}	${\displaystyle{\displaystyle x>0,\Re(\nu+\tfrac{1}{2})>0,\Re((-\nu)+k+1)>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	BesselI(- nu, x)- StruveL(nu, x) = (2*((1)/(2)*x)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 + (t)^(2))^(nu -(1)/(2))* sin(x*t), t = 0..infinity)	BesselI[- \[Nu], x]- StruveL[\[Nu], x] == Divide[2*(Divide[1,2]*x)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 + (t)^(2))^(\[Nu]-Divide[1,2])* Sin[x*t], {t, 0, Infinity}, GenerateConditions->None]	Failure	Aborted	Failed [3 / 3] Result: 1.291209379 Test Values: {x = 3/2, nu = 0} Result: 2.709400861 Test Values: {x = 1/2, nu = 0} ... skip entries to safe data	Skipped - Because timed out
11.5.E8	${\displaystyle{\displaystyle(\tfrac{1}{2}x)^{-\nu-1}\mathbf{H}_{\nu}\left(x\right)=-\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\pi\csc\left(\pi s\right)}{\Gamma\left(\tfrac{3}{2}+s\right)\Gamma\left(\tfrac{3}{2}+\nu+s\right)}(\tfrac{1}{4}x^{2})^{s}\mathrm{d}s}}$ (\tfrac{1}{2}x)^{-\nu-1}\StruveH{\nu}@{x} = -\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(\tfrac{1}{4}x^{2})^{s}\diff{s}	${\displaystyle{\displaystyle x>0,\Re\nu>-1,\Re(\tfrac{3}{2}+s)>0,\Re(\tfrac{3}{2}+\nu+s)>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	((1)/(2)*x)^(- nu - 1)* StruveH(nu, x) = -(1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*((1)/(4)*(x)^(2))^(s), s = - I*infinity..I*infinity)	(Divide[1,2]*x)^(- \[Nu]- 1)* StruveH[\[Nu], x] == -Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(Divide[1,4]*(x)^(2))^(s), {s, - I*Infinity, I*Infinity}, GenerateConditions->None]	Failure	Aborted	Skipped - Because timed out	Skipped - Because timed out
11.5.E9	${\displaystyle{\displaystyle(\tfrac{1}{2}z)^{-\nu-1}\mathbf{L}_{\nu}\left(z\right)=\frac{1}{2\pi i}\int_{\infty}^{(0+)}\frac{\pi\csc\left(\pi s\right)}{\Gamma\left(\tfrac{3}{2}+s\right)\Gamma\left(\tfrac{3}{2}+\nu+s\right)}(-\tfrac{1}{4}z^{2})^{s}\mathrm{d}s}}$ (\tfrac{1}{2}z)^{-\nu-1}\modStruveL{\nu}@{z} = \frac{1}{2\pi i}\int_{\infty}^{(0+)}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(-\tfrac{1}{4}z^{2})^{s}\diff{s}	${\displaystyle{\displaystyle\Re(\tfrac{3}{2}+s)>0,\Re(\tfrac{3}{2}+\nu+s)>0,\Re(n+\nu+\tfrac{3}{2})>0}}$	((1)/(2)*z)^(- nu - 1)* StruveL(nu, z) = (1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*(-(1)/(4)*(z)^(2))^(s), s = infinity..(0 +))	(Divide[1,2]*z)^(- \[Nu]- 1)* StruveL[\[Nu], z] == Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(-Divide[1,4]*(z)^(2))^(s), {s, Infinity, (0 +)}, GenerateConditions->None]	Error	Failure	-	Error