Bessel Functions - 10.50 Wronskians and Cross-Products

From testwiki
Revision as of 11:27, 28 June 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
10.50#Ex1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\sphBesselJ{n}@{z},\sphBesselY{n}@{z}} = z^{-2}}
\Wronskian@{\sphBesselJ{n}@{z},\sphBesselY{n}@{z}} = z^{-2}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0, \realpart@@{((-(-n-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(n+\frac{1}{2}))+k+1)} > 0}
Error
Wronskian[{SphericalBesselJ[n, z], SphericalBesselY[n, z]}, z] == (z)^(- 2)
Missing Macro Error Successful - Successful [Tested: 21]
10.50#Ex2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\sphHankelh{1}{n}@{z},\sphHankelh{2}{n}@{z}} = -2iz^{-2}}
\Wronskian@{\sphHankelh{1}{n}@{z},\sphHankelh{2}{n}@{z}} = -2iz^{-2}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
Error
Wronskian[{SphericalHankelH1[n, z], SphericalHankelH2[n, z]}, z] == - 2*I*(z)^(- 2)
Missing Macro Error Successful - Successful [Tested: 21]
10.50#Ex3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\modsphBesseli{1}{n}@{z},\modsphBesseli{2}{n}@{z}} = (-1)^{n+1}z^{-2}}
\Wronskian@{\modsphBesseli{1}{n}@{z},\modsphBesseli{2}{n}@{z}} = (-1)^{n+1}z^{-2}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0}
Error
Wronskian[{Sqrt[Divide[Pi, z]/2] BesselI[(-1)^(1-1)*(n + 1/2), n], Sqrt[Divide[Pi, z]/2] BesselI[(-1)^(2-1)*(n + 1/2), n]}, z] == (- 1)^(n + 1)* (z)^(- 2)
Missing Macro Error Failure -
Failed [21 / 21]
Result: Complex[-0.5000000000000001, 0.8660254037844386]
Test Values: {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[0.5000000000000001, -0.8660254037844386]
Test Values: {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
10.50#Ex4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\modsphBesseli{1}{n}@{z},\modsphBesselK{n}@{z}} = \Wronskian@{\modsphBesseli{2}{n}@{z},\modsphBesselK{n}@{z}}\\}
\Wronskian@{\modsphBesseli{1}{n}@{z},\modsphBesselK{n}@{z}} = \Wronskian@{\modsphBesseli{2}{n}@{z},\modsphBesselK{n}@{z}}\\
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0}
Error
Wronskian[{Sqrt[Divide[Pi, z]/2] BesselI[(-1)^(1-1)*(n + 1/2), n], Sqrt[1/2 Pi /z] BesselK[n + 1/2, z]}, z] == Wronskian[{Sqrt[Divide[Pi, z]/2] BesselI[(-1)^(2-1)*(n + 1/2), n], Sqrt[1/2 Pi /z] BesselK[n + 1/2, z]}, z]
Missing Macro Error Failure -
Failed [21 / 21]
Result: Complex[0.5384915109869794, 1.7026856201657974]
Test Values: {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[-2.6544302063904848, -2.4451654315616667]
Test Values: {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
10.50#Ex4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Wronskian@{\modsphBesseli{2}{n}@{z},\modsphBesselK{n}@{z}}\\ = -\tfrac{1}{2}\pi z^{-2}}
\Wronskian@{\modsphBesseli{2}{n}@{z},\modsphBesselK{n}@{z}}\\ = -\tfrac{1}{2}\pi z^{-2}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0}
Error
Wronskian[{Sqrt[Divide[Pi, z]/2] BesselI[(-1)^(2-1)*(n + 1/2), n], Sqrt[1/2 Pi /z] BesselK[n + 1/2, z]}, z] == -Divide[1,2]*Pi*(z)^(- 2)
Missing Macro Error Failure -
Failed [21 / 21]
Result: Complex[0.5161524079039588, -2.211692333258562]
Test Values: {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

Result: Complex[7.686727830477982, 4.996906619076774]
Test Values: {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
10.50#Ex5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sphBesselJ{n+1}@{z}\sphBesselY{n}@{z}-\sphBesselJ{n}@{z}\sphBesselY{n+1}@{z} = z^{-2}}
\sphBesselJ{n+1}@{z}\sphBesselY{n}@{z}-\sphBesselJ{n}@{z}\sphBesselY{n+1}@{z} = z^{-2}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(((n+1)+\frac{1}{2})+k+1)} > 0, \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-(n+1)-\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0, \realpart@@{((-(-(n+1)-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(-n-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(n+\frac{1}{2}))+k+1)} > 0, \realpart@@{((-((n+1)+\frac{1}{2}))+k+1)} > 0}
Error
SphericalBesselJ[n + 1, z]*SphericalBesselY[n, z]- SphericalBesselJ[n, z]*SphericalBesselY[n + 1, z] == (z)^(- 2)
Missing Macro Error Successful - Successful [Tested: 21]
10.50#Ex6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sphBesselJ{n+2}@{z}\sphBesselY{n}@{z}-\sphBesselJ{n}@{z}\sphBesselY{n+2}@{z} = (2n+3)z^{-3}}
\sphBesselJ{n+2}@{z}\sphBesselY{n}@{z}-\sphBesselJ{n}@{z}\sphBesselY{n+2}@{z} = (2n+3)z^{-3}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(((n+2)+\frac{1}{2})+k+1)} > 0, \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-(n+2)-\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0, \realpart@@{((-(-(n+2)-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(-n-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(n+\frac{1}{2}))+k+1)} > 0, \realpart@@{((-((n+2)+\frac{1}{2}))+k+1)} > 0}
Error
SphericalBesselJ[n + 2, z]*SphericalBesselY[n, z]- SphericalBesselJ[n, z]*SphericalBesselY[n + 2, z] == (2*n + 3)*(z)^(- 3)
Missing Macro Error Failure - Successful [Tested: 21]
10.50.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sphBesselJ{0}@{z}\sphBesselJ{n}@{z}+\sphBesselY{0}@{z}\sphBesselY{n}@{z} = \cos@{\tfrac{1}{2}n\pi}\sum_{k=0}^{\floor{n/2}}(-1)^{k}\frac{a_{2k}(n+\tfrac{1}{2})}{z^{2k+2}}+\sin@{\tfrac{1}{2}n\pi}\sum_{k=0}^{\floor{(n-1)/2}}(-1)^{k}\frac{a_{2k+1}(n+\tfrac{1}{2})}{z^{2k+3}}}
\sphBesselJ{0}@{z}\sphBesselJ{n}@{z}+\sphBesselY{0}@{z}\sphBesselY{n}@{z} = \cos@{\tfrac{1}{2}n\pi}\sum_{k=0}^{\floor{n/2}}(-1)^{k}\frac{a_{2k}(n+\tfrac{1}{2})}{z^{2k+2}}+\sin@{\tfrac{1}{2}n\pi}\sum_{k=0}^{\floor{(n-1)/2}}(-1)^{k}\frac{a_{2k+1}(n+\tfrac{1}{2})}{z^{2k+3}}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((0+\frac{1}{2})+k+1)} > 0, \realpart@@{((n+\frac{1}{2})+k+1)} > 0, \realpart@@{((-0-\frac{1}{2})+k+1)} > 0, \realpart@@{((-n-\frac{1}{2})+k+1)} > 0, \realpart@@{((-(-0-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(-n-\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(0+\frac{1}{2}))+k+1)} > 0, \realpart@@{((-(n+\frac{1}{2}))+k+1)} > 0, k \geq 1}
Error
SphericalBesselJ[0, z]*SphericalBesselJ[n, z]+ SphericalBesselY[0, z]*SphericalBesselY[n, z] == Cos[Divide[1,2]*n*Pi]*Sum[(- 1)^(k)*Divide[Subscript[a, 2*k]*(n +Divide[1,2]),(z)^(2*k + 2)], {k, 0, Floor[n/2]}, GenerateConditions->None]+ Sin[Divide[1,2]*n*Pi]*Sum[(- 1)^(k)*Divide[Subscript[a, 2*k + 1]*(n +Divide[1,2]),(z)^(2*k + 3)], {k, 0, Floor[(n - 1)/2]}, GenerateConditions->None]
Missing Macro Error Failure - Skipped - Because timed out