Struve and Related Functions - 11.5 Integral Representations

From testwiki
Revision as of 17:02, 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
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
Retrieved from "https://lct.wmflabs.org/w/index.php?title=11.5&oldid=601"