Bessel Functions - 10.27 Connection Formulas

From testwiki
Revision as of 11:24, 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.27.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{-n}@{z} = \modBesselI{n}@{z}}
\modBesselI{-n}@{z} = \modBesselI{n}@{z}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((-n)+k+1)} > 0, \realpart@@{(n+k+1)} > 0} 
BesselI(- n, z) = BesselI(n, z)

BesselI[- n, z] == BesselI[n, z]
Failure Failure Successful [Tested: 21] Successful [Tested: 21]
10.27.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{-\nu}@{z} = \modBesselI{\nu}@{z}+(2/\pi)\sin@{\nu\pi}\modBesselK{\nu}@{z}}
\modBesselI{-\nu}@{z} = \modBesselI{\nu}@{z}+(2/\pi)\sin@{\nu\pi}\modBesselK{\nu}@{z}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{(\nu+k+1)} > 0} 
BesselI(- nu, z) = BesselI(nu, z)+(2/Pi)*sin(nu*Pi)*BesselK(nu, z)

BesselI[- \[Nu], z] == BesselI[\[Nu], z]+(2/Pi)*Sin[\[Nu]*Pi]*BesselK[\[Nu], z]
Successful Successful - Successful [Tested: 70]
10.27.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselK{-\nu}@{z} = \modBesselK{\nu}@{z}}
\modBesselK{-\nu}@{z} = \modBesselK{\nu}@{z}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
BesselK(- nu, z) = BesselK(nu, z)

BesselK[- \[Nu], z] == BesselK[\[Nu], z]
Successful Successful - Successful [Tested: 70]
10.27.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselK{\nu}@{z} = \tfrac{1}{2}\pi\frac{\modBesselI{-\nu}@{z}-\modBesselI{\nu}@{z}}{\sin@{\nu\pi}}}
\modBesselK{\nu}@{z} = \tfrac{1}{2}\pi\frac{\modBesselI{-\nu}@{z}-\modBesselI{\nu}@{z}}{\sin@{\nu\pi}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{((-\nu)+k+1)} > 0, \realpart@@{(\nu+k+1)} > 0} 
BesselK(nu, z) = (1)/(2)*Pi*(BesselI(- nu, z)- BesselI(nu, z))/(sin(nu*Pi))

BesselK[\[Nu], z] == Divide[1,2]*Pi*Divide[BesselI[- \[Nu], z]- BesselI[\[Nu], z],Sin[\[Nu]*Pi]]
Successful Successful -
Failed [14 / 70]
Result: Indeterminate
Test Values: {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, -2]}


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

... skip entries to safe data
10.27.E6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{\nu}@{z} = e^{-\nu\pi i/2}\BesselJ{\nu}@{ze^{+\pi i/2}}}
\modBesselI{\nu}@{z} = e^{-\nu\pi i/2}\BesselJ{\nu}@{ze^{+\pi i/2}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\pi \leq +\phase@@{z}, -\pi \leq -\phase@@{z}, +\phase@@{z} \leq \tfrac{1}{2}\pi, -\phase@@{z} \leq \tfrac{1}{2}\pi, \realpart@@{(\nu+k+1)} > 0} 
BesselI(nu, z) = exp(- nu*Pi*I/2)*BesselJ(nu, z*exp(+ Pi*I/2))

BesselI[\[Nu], z] == Exp[- \[Nu]*Pi*I/2]*BesselJ[\[Nu], z*Exp[+ Pi*I/2]]
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{\nu}@{z} = e^{+\nu\pi i/2}\BesselJ{\nu}@{ze^{-\pi i/2}}}
\modBesselI{\nu}@{z} = e^{+\nu\pi i/2}\BesselJ{\nu}@{ze^{-\pi i/2}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\pi \leq +\phase@@{z}, -\pi \leq -\phase@@{z}, +\phase@@{z} \leq \tfrac{1}{2}\pi, -\phase@@{z} \leq \tfrac{1}{2}\pi, \realpart@@{(\nu+k+1)} > 0} 
BesselI(nu, z) = exp(+ nu*Pi*I/2)*BesselJ(nu, z*exp(- Pi*I/2))

BesselI[\[Nu], z] == Exp[+ \[Nu]*Pi*I/2]*BesselJ[\[Nu], z*Exp[- Pi*I/2]]
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{\nu}@{z} = \tfrac{1}{2}e^{-\nu\pi i/2}\left(\HankelH{1}{\nu}@{ze^{+\pi i/2}}+\HankelH{2}{\nu}@{ze^{+\pi i/2}}\right)}
\modBesselI{\nu}@{z} = \tfrac{1}{2}e^{-\nu\pi i/2}\left(\HankelH{1}{\nu}@{ze^{+\pi i/2}}+\HankelH{2}{\nu}@{ze^{+\pi i/2}}\right)		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\pi \leq +\phase@@{z}, -\pi \leq -\phase@@{z}, +\phase@@{z} \leq \tfrac{1}{2}\pi, -\phase@@{z} \leq \tfrac{1}{2}\pi, \realpart@@{(\nu+k+1)} > 0} 
BesselI(nu, z) = (1)/(2)*exp(- nu*Pi*I/2)*(HankelH1(nu, z*exp(+ Pi*I/2))+ HankelH2(nu, z*exp(+ Pi*I/2)))

BesselI[\[Nu], z] == Divide[1,2]*Exp[- \[Nu]*Pi*I/2]*(HankelH1[\[Nu], z*Exp[+ Pi*I/2]]+ HankelH2[\[Nu], z*Exp[+ Pi*I/2]])
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{\nu}@{z} = \tfrac{1}{2}e^{+\nu\pi i/2}\left(\HankelH{1}{\nu}@{ze^{-\pi i/2}}+\HankelH{2}{\nu}@{ze^{-\pi i/2}}\right)}
\modBesselI{\nu}@{z} = \tfrac{1}{2}e^{+\nu\pi i/2}\left(\HankelH{1}{\nu}@{ze^{-\pi i/2}}+\HankelH{2}{\nu}@{ze^{-\pi i/2}}\right)		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\pi \leq +\phase@@{z}, -\pi \leq -\phase@@{z}, +\phase@@{z} \leq \tfrac{1}{2}\pi, -\phase@@{z} \leq \tfrac{1}{2}\pi, \realpart@@{(\nu+k+1)} > 0} 
BesselI(nu, z) = (1)/(2)*exp(+ nu*Pi*I/2)*(HankelH1(nu, z*exp(- Pi*I/2))+ HankelH2(nu, z*exp(- Pi*I/2)))

BesselI[\[Nu], z] == Divide[1,2]*Exp[+ \[Nu]*Pi*I/2]*(HankelH1[\[Nu], z*Exp[- Pi*I/2]]+ HankelH2[\[Nu], z*Exp[- Pi*I/2]])
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pi i\BesselJ{\nu}@{z} = e^{-\nu\pi i/2}\modBesselK{\nu}@{ze^{-\pi i/2}}-e^{\nu\pi i/2}\modBesselK{\nu}@{ze^{\pi i/2}}}
\pi i\BesselJ{\nu}@{z} = e^{-\nu\pi i/2}\modBesselK{\nu}@{ze^{-\pi i/2}}-e^{\nu\pi i/2}\modBesselK{\nu}@{ze^{\pi i/2}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@@{z}| \leq \tfrac{1}{2}\pi, \realpart@@{(\nu+k+1)} > 0} 
Pi*I*BesselJ(nu, z) = exp(- nu*Pi*I/2)*BesselK(nu, z*exp(- Pi*I/2))- exp(nu*Pi*I/2)*BesselK(nu, z*exp(Pi*I/2))

Pi*I*BesselJ[\[Nu], z] == Exp[- \[Nu]*Pi*I/2]*BesselK[\[Nu], z*Exp[- Pi*I/2]]- Exp[\[Nu]*Pi*I/2]*BesselK[\[Nu], z*Exp[Pi*I/2]]
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E10 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\pi\BesselY{\nu}@{z} = e^{-\nu\pi i/2}\modBesselK{\nu}@{ze^{-\pi i/2}}+e^{\nu\pi i/2}\modBesselK{\nu}@{ze^{\pi i/2}}}
-\pi\BesselY{\nu}@{z} = e^{-\nu\pi i/2}\modBesselK{\nu}@{ze^{-\pi i/2}}+e^{\nu\pi i/2}\modBesselK{\nu}@{ze^{\pi i/2}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |\phase@@{z}| \leq \tfrac{1}{2}\pi, \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0} 
- Pi*BesselY(nu, z) = exp(- nu*Pi*I/2)*BesselK(nu, z*exp(- Pi*I/2))+ exp(nu*Pi*I/2)*BesselK(nu, z*exp(Pi*I/2))

- Pi*BesselY[\[Nu], z] == Exp[- \[Nu]*Pi*I/2]*BesselK[\[Nu], z*Exp[- Pi*I/2]]+ Exp[\[Nu]*Pi*I/2]*BesselK[\[Nu], z*Exp[Pi*I/2]]
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E11 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \BesselY{\nu}@{z} = e^{+(\nu+1)\pi i/2}\modBesselI{\nu}@{ze^{-\pi i/2}}-(2/\pi)e^{-\nu\pi i/2}\modBesselK{\nu}@{ze^{-\pi i/2}}}
\BesselY{\nu}@{z} = e^{+(\nu+1)\pi i/2}\modBesselI{\nu}@{ze^{-\pi i/2}}-(2/\pi)e^{-\nu\pi i/2}\modBesselK{\nu}@{ze^{-\pi i/2}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\tfrac{1}{2}\pi \leq +\phase@@{z}, -\tfrac{1}{2}\pi \leq -\phase@@{z}, +\phase@@{z} \leq \pi, -\phase@@{z} \leq \pi, \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0} 
BesselY(nu, z) = exp(+(nu + 1)*Pi*I/2)*BesselI(nu, z*exp(- Pi*I/2))-(2/Pi)*exp(- nu*Pi*I/2)*BesselK(nu, z*exp(- Pi*I/2))

BesselY[\[Nu], z] == Exp[+(\[Nu]+ 1)*Pi*I/2]*BesselI[\[Nu], z*Exp[- Pi*I/2]]-(2/Pi)*Exp[- \[Nu]*Pi*I/2]*BesselK[\[Nu], z*Exp[- Pi*I/2]]
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
10.27.E11 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \BesselY{\nu}@{z} = e^{-(\nu+1)\pi i/2}\modBesselI{\nu}@{ze^{+\pi i/2}}-(2/\pi)e^{+\nu\pi i/2}\modBesselK{\nu}@{ze^{+\pi i/2}}}
\BesselY{\nu}@{z} = e^{-(\nu+1)\pi i/2}\modBesselI{\nu}@{ze^{+\pi i/2}}-(2/\pi)e^{+\nu\pi i/2}\modBesselK{\nu}@{ze^{+\pi i/2}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\tfrac{1}{2}\pi \leq +\phase@@{z}, -\tfrac{1}{2}\pi \leq -\phase@@{z}, +\phase@@{z} \leq \pi, -\phase@@{z} \leq \pi, \realpart@@{(\nu+k+1)} > 0, \realpart@@{((-\nu)+k+1)} > 0} 
BesselY(nu, z) = exp(-(nu + 1)*Pi*I/2)*BesselI(nu, z*exp(+ Pi*I/2))-(2/Pi)*exp(+ nu*Pi*I/2)*BesselK(nu, z*exp(+ Pi*I/2))

BesselY[\[Nu], z] == Exp[-(\[Nu]+ 1)*Pi*I/2]*BesselI[\[Nu], z*Exp[+ Pi*I/2]]-(2/Pi)*Exp[+ \[Nu]*Pi*I/2]*BesselK[\[Nu], z*Exp[+ Pi*I/2]]
Failure Failure Successful [Tested: 50] Successful [Tested: 50]
Retrieved from "https://lct.wmflabs.org/w/index.php?title=10.27&oldid=58200"