Bessel Functions - 10.38 Derivatives with Respect to Order

From testwiki
Revision as of 11:25, 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.38.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{\modBesselI{+\nu}@{z}}{\nu} = +\modBesselI{+\nu}@{z}\ln@{\tfrac{1}{2}z}-(\tfrac{1}{2}z)^{+\nu}\sum_{k=0}^{\infty}\frac{\digamma@{k+1+\nu}}{\EulerGamma@{k+1+\nu}}\frac{(\frac{1}{4}z^{2})^{k}}{k!}}
\pderiv{\modBesselI{+\nu}@{z}}{\nu} = +\modBesselI{+\nu}@{z}\ln@{\tfrac{1}{2}z}-(\tfrac{1}{2}z)^{+\nu}\sum_{k=0}^{\infty}\frac{\digamma@{k+1+\nu}}{\EulerGamma@{k+1+\nu}}\frac{(\frac{1}{4}z^{2})^{k}}{k!}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(k+1+\nu)} > 0}
diff(BesselI(+ nu, z), nu) = + BesselI(+ nu, z)*ln((1)/(2)*z)-((1)/(2)*z)^(+ nu)* sum((Psi(k + 1 + nu))/(GAMMA(k + 1 + nu))*(((1)/(4)*(z)^(2))^(k))/(factorial(k)), k = 0..infinity)
D[BesselI[+ \[Nu], z], \[Nu]] == + BesselI[+ \[Nu], z]*Log[Divide[1,2]*z]-(Divide[1,2]*z)^(+ \[Nu])* Sum[Divide[PolyGamma[k + 1 + \[Nu]],Gamma[k + 1 + \[Nu]]]*Divide[(Divide[1,4]*(z)^(2))^(k),(k)!], {k, 0, Infinity}, GenerateConditions->None]
Failure Failure Skipped - Because timed out
Failed [7 / 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[2, 3]], Pi]]], Rule[ν, -2]}

... skip entries to safe data
10.38.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{\modBesselI{-\nu}@{z}}{\nu} = -\modBesselI{-\nu}@{z}\ln@{\tfrac{1}{2}z}+(\tfrac{1}{2}z)^{-\nu}\sum_{k=0}^{\infty}\frac{\digamma@{k+1-\nu}}{\EulerGamma@{k+1-\nu}}\frac{(\frac{1}{4}z^{2})^{k}}{k!}}
\pderiv{\modBesselI{-\nu}@{z}}{\nu} = -\modBesselI{-\nu}@{z}\ln@{\tfrac{1}{2}z}+(\tfrac{1}{2}z)^{-\nu}\sum_{k=0}^{\infty}\frac{\digamma@{k+1-\nu}}{\EulerGamma@{k+1-\nu}}\frac{(\frac{1}{4}z^{2})^{k}}{k!}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(k+1+\nu)} > 0, \realpart@@{(k+1-\nu)} > 0, \realpart@@{((-\nu)+k+1)} > 0}
diff(BesselI(- nu, z), nu) = - BesselI(- nu, z)*ln((1)/(2)*z)+((1)/(2)*z)^(- nu)* sum((Psi(k + 1 - nu))/(GAMMA(k + 1 - nu))*(((1)/(4)*(z)^(2))^(k))/(factorial(k)), k = 0..infinity)
D[BesselI[- \[Nu], z], \[Nu]] == - BesselI[- \[Nu], z]*Log[Divide[1,2]*z]+(Divide[1,2]*z)^(- \[Nu])* Sum[Divide[PolyGamma[k + 1 - \[Nu]],Gamma[k + 1 - \[Nu]]]*Divide[(Divide[1,4]*(z)^(2))^(k),(k)!], {k, 0, Infinity}, GenerateConditions->None]
Failure Failure Skipped - Because timed out
Failed [7 / 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[2, 3]], Pi]]], Rule[ν, 2]}

... skip entries to safe data
10.38.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{\modBesselK{\nu}@{z}}{\nu} = \tfrac{1}{2}\pi\csc@{\nu\pi}\*\left(\pderiv{\modBesselI{-\nu}@{z}}{\nu}-\pderiv{\modBesselI{\nu}@{z}}{\nu}\right)-\pi\cot@{\nu\pi}\modBesselK{\nu}@{z}}
\pderiv{\modBesselK{\nu}@{z}}{\nu} = \tfrac{1}{2}\pi\csc@{\nu\pi}\*\left(\pderiv{\modBesselI{-\nu}@{z}}{\nu}-\pderiv{\modBesselI{\nu}@{z}}{\nu}\right)-\pi\cot@{\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}
diff(BesselK(nu, z), nu) = (1)/(2)*Pi*csc(nu*Pi)*(diff(BesselI(- nu, z), nu)- diff(BesselI(nu, z), nu))- Pi*cot(nu*Pi)*BesselK(nu, z)
D[BesselK[\[Nu], z], \[Nu]] == Divide[1,2]*Pi*Csc[\[Nu]*Pi]*(D[BesselI[- \[Nu], z], \[Nu]]- D[BesselI[\[Nu], z], \[Nu]])- Pi*Cot[\[Nu]*Pi]*BesselK[\[Nu], z]
Successful Failure - Successful [Tested: 7]