11.5

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
11.5.E1	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}} \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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\nu} > -\tfrac{1}{2}, \realpart@@{(\nu+\tfrac{1}{2})} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}} \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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\nu} > -\tfrac{1}{2}, \realpart@@{(\nu+\tfrac{1}{2})} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}} \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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{z} > 0, \realpart@@{(\nu+\tfrac{1}{2})} > 0, \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}} \StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{z} > 0, \realpart@@{(0+k+1)} > 0, \realpart@@{((-0)+k+1)} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}} \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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\nu} > -\tfrac{1}{2}, \realpart@@{(\nu+\tfrac{1}{2})} > 0, \realpart@@{(\nu+k+1)} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}} \modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(0+k+1)} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}} \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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\nu} > -\tfrac{1}{2}, \realpart@@{(\nu+\tfrac{1}{2})} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \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}} \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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x > 0, \realpart@@{(\nu+\tfrac{1}{2})} > 0, \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (\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}} (\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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x > 0, \realpart@@{\nu} > -1, \realpart@@{(\tfrac{3}{2}+s)} > 0, \realpart@@{(\tfrac{3}{2}+\nu+s)} > 0, \realpart@@{(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	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle (\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}} (\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}	Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\tfrac{3}{2}+s)} > 0, \realpart@@{(\tfrac{3}{2}+\nu+s)} > 0, \realpart@@{(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