33.20: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
| Line 14: | Line 14: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- | |- | ||
| [https://dlmf.nist.gov/33.20.E4 33.20.E4] | | | [https://dlmf.nist.gov/33.20.E4 33.20.E4] || <math qid="Q9672">{\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselJ{2\ell+1+p}@{\sqrt{8r}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>{\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselJ{2\ell+1+p}@{\sqrt{8r}}</syntaxhighlight> || <math>r > 0, \realpart@@{((2\ell+1+p)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>F[k](ell ; r) = sum((2*r)^((p + 1)/2)* C[k , p]*BesselJ(2*ell + 1 + p, sqrt(8*r)), p = 2*k..3*k)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[F, k][\[ScriptL]; r] == Sum[(2*r)^((p + 1)/2)* Subscript[C, k , p]*BesselJ[2*\[ScriptL]+ 1 + p, Sqrt[8*r]], {p, 2*k, 3*k}, GenerateConditions->None]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/33.20.E5 33.20.E5] | | | [https://dlmf.nist.gov/33.20.E5 33.20.E5] || <math qid="Q9673">{\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(-1)^{\ell+1+p}(2|r|)^{(p+1)/2}C_{k,p}\modBesselI{2\ell+1+p}@{\sqrt{8|r|}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>{\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(-1)^{\ell+1+p}(2|r|)^{(p+1)/2}C_{k,p}\modBesselI{2\ell+1+p}@{\sqrt{8|r|}}</syntaxhighlight> || <math>r < 0, \realpart@@{((2\ell+1+p)+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>F[k](ell ; r) = sum((- 1)^(ell + 1 + p)*(2*abs(r))^((p + 1)/2)* C[k , p]*BesselI(2*ell + 1 + p, sqrt(8*abs(r))), p = 2*k..3*k)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[F, k][\[ScriptL]; r] == Sum[(- 1)^(\[ScriptL]+ 1 + p)*(2*Abs[r])^((p + 1)/2)* Subscript[C, k , p]*BesselI[2*\[ScriptL]+ 1 + p, Sqrt[8*Abs[r]]], {p, 2*k, 3*k}, GenerateConditions->None]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/33.20#Ex5 33.20#Ex5] | | | [https://dlmf.nist.gov/33.20#Ex5 33.20#Ex5] || <math qid="Q9674">C_{k,p} = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>C_{k,p} = 0</syntaxhighlight> || <math>p < 2k, p > 3k</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">C[k , p] = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[C, k , p] == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/33.20#Ex6 33.20#Ex6] | | | [https://dlmf.nist.gov/33.20#Ex6 33.20#Ex6] || <math qid="Q9675">C_{k,p} = \left(-(2\ell+p)C_{k-1,p-2}+C_{k-1,p-3}\right)/(4p)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>C_{k,p} = \left(-(2\ell+p)C_{k-1,p-2}+C_{k-1,p-3}\right)/(4p)</syntaxhighlight> || <math>k > 0, 2k \leq p, p \leq 3k</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">C[k , p] = (-(2*ell + p)*C[k - 1 , p - 2]+ C[k - 1 , p - 3])/(4*p)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[C, k , p] == (-(2*\[ScriptL]+ p)*Subscript[C, k - 1 , p - 2]+ Subscript[C, k - 1 , p - 3])/(4*p)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/33.20.E8 33.20.E8] | | | [https://dlmf.nist.gov/33.20.E8 33.20.E8] || <math qid="Q9677">{\sf H}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselY{2\ell+1+p}@{\sqrt{8r}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>{\sf H}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselY{2\ell+1+p}@{\sqrt{8r}}</syntaxhighlight> || <math>r > 0, \realpart@@{((2\ell+1+p)+k+1)} > 0, \realpart@@{((-(2\ell+1+p))+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>H[k](ell ; r) = sum((2*r)^((p + 1)/2)* C[k , p]*BesselY(2*ell + 1 + p, sqrt(8*r)), p = 2*k..3*k)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[H, k][\[ScriptL]; r] == Sum[(2*r)^((p + 1)/2)* Subscript[C, k , p]*BesselY[2*\[ScriptL]+ 1 + p, Sqrt[8*r]], {p, 2*k, 3*k}, GenerateConditions->None]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/33.20.E9 33.20.E9] | | | [https://dlmf.nist.gov/33.20.E9 33.20.E9] || <math qid="Q9678">{\sf H}_{k}(\ell;r) = (-1)^{\ell+1}\frac{2}{\pi}\sum_{p=2k}^{3k}(2|r|)^{(p+1)/2}C_{k,p}\modBesselK{2\ell+1+p}@{\sqrt{8|r|}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>{\sf H}_{k}(\ell;r) = (-1)^{\ell+1}\frac{2}{\pi}\sum_{p=2k}^{3k}(2|r|)^{(p+1)/2}C_{k,p}\modBesselK{2\ell+1+p}@{\sqrt{8|r|}}</syntaxhighlight> || <math>r < 0</math> || <syntaxhighlight lang=mathematica>H[k](ell ; r) = (- 1)^(ell + 1)*(2)/(Pi)*sum((2*abs(r))^((p + 1)/2)* C[k , p]*BesselK(2*ell + 1 + p, sqrt(8*abs(r))), p = 2*k..3*k)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Subscript[H, k][\[ScriptL]; r] == (- 1)^(\[ScriptL]+ 1)*Divide[2,Pi]*Sum[(2*Abs[r])^((p + 1)/2)* Subscript[C, k , p]*BesselK[2*\[ScriptL]+ 1 + p, Sqrt[8*Abs[r]]], {p, 2*k, 3*k}, GenerateConditions->None]</syntaxhighlight> || Translation Error || Translation Error || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 13:14, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 33.20.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselJ{2\ell+1+p}@{\sqrt{8r}}}
{\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselJ{2\ell+1+p}@{\sqrt{8r}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle r > 0, \realpart@@{((2\ell+1+p)+k+1)} > 0} | F[k](ell ; r) = sum((2*r)^((p + 1)/2)* C[k , p]*BesselJ(2*ell + 1 + p, sqrt(8*r)), p = 2*k..3*k)
|
Subscript[F, k][\[ScriptL]; r] == Sum[(2*r)^((p + 1)/2)* Subscript[C, k , p]*BesselJ[2*\[ScriptL]+ 1 + p, Sqrt[8*r]], {p, 2*k, 3*k}, GenerateConditions->None]
|
Translation Error | Translation Error | - | - |
| 33.20.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(-1)^{\ell+1+p}(2|r|)^{(p+1)/2}C_{k,p}\modBesselI{2\ell+1+p}@{\sqrt{8|r|}}}
{\sf F}_{k}(\ell;r) = \sum_{p=2k}^{3k}(-1)^{\ell+1+p}(2|r|)^{(p+1)/2}C_{k,p}\modBesselI{2\ell+1+p}@{\sqrt{8|r|}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle r < 0, \realpart@@{((2\ell+1+p)+k+1)} > 0} | F[k](ell ; r) = sum((- 1)^(ell + 1 + p)*(2*abs(r))^((p + 1)/2)* C[k , p]*BesselI(2*ell + 1 + p, sqrt(8*abs(r))), p = 2*k..3*k)
|
Subscript[F, k][\[ScriptL]; r] == Sum[(- 1)^(\[ScriptL]+ 1 + p)*(2*Abs[r])^((p + 1)/2)* Subscript[C, k , p]*BesselI[2*\[ScriptL]+ 1 + p, Sqrt[8*Abs[r]]], {p, 2*k, 3*k}, GenerateConditions->None]
|
Translation Error | Translation Error | - | - |
| 33.20#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle C_{k,p} = 0}
C_{k,p} = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle p < 2k, p > 3k} | C[k , p] = 0 |
Subscript[C, k , p] == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 33.20#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle C_{k,p} = \left(-(2\ell+p)C_{k-1,p-2}+C_{k-1,p-3}\right)/(4p)}
C_{k,p} = \left(-(2\ell+p)C_{k-1,p-2}+C_{k-1,p-3}\right)/(4p) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle k > 0, 2k \leq p, p \leq 3k} | C[k , p] = (-(2*ell + p)*C[k - 1 , p - 2]+ C[k - 1 , p - 3])/(4*p) |
Subscript[C, k , p] == (-(2*\[ScriptL]+ p)*Subscript[C, k - 1 , p - 2]+ Subscript[C, k - 1 , p - 3])/(4*p) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 33.20.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\sf H}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselY{2\ell+1+p}@{\sqrt{8r}}}
{\sf H}_{k}(\ell;r) = \sum_{p=2k}^{3k}(2r)^{(p+1)/2}C_{k,p}\BesselY{2\ell+1+p}@{\sqrt{8r}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle r > 0, \realpart@@{((2\ell+1+p)+k+1)} > 0, \realpart@@{((-(2\ell+1+p))+k+1)} > 0} | H[k](ell ; r) = sum((2*r)^((p + 1)/2)* C[k , p]*BesselY(2*ell + 1 + p, sqrt(8*r)), p = 2*k..3*k)
|
Subscript[H, k][\[ScriptL]; r] == Sum[(2*r)^((p + 1)/2)* Subscript[C, k , p]*BesselY[2*\[ScriptL]+ 1 + p, Sqrt[8*r]], {p, 2*k, 3*k}, GenerateConditions->None]
|
Translation Error | Translation Error | - | - |
| 33.20.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle {\sf H}_{k}(\ell;r) = (-1)^{\ell+1}\frac{2}{\pi}\sum_{p=2k}^{3k}(2|r|)^{(p+1)/2}C_{k,p}\modBesselK{2\ell+1+p}@{\sqrt{8|r|}}}
{\sf H}_{k}(\ell;r) = (-1)^{\ell+1}\frac{2}{\pi}\sum_{p=2k}^{3k}(2|r|)^{(p+1)/2}C_{k,p}\modBesselK{2\ell+1+p}@{\sqrt{8|r|}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle r < 0} | H[k](ell ; r) = (- 1)^(ell + 1)*(2)/(Pi)*sum((2*abs(r))^((p + 1)/2)* C[k , p]*BesselK(2*ell + 1 + p, sqrt(8*abs(r))), p = 2*k..3*k)
|
Subscript[H, k][\[ScriptL]; r] == (- 1)^(\[ScriptL]+ 1)*Divide[2,Pi]*Sum[(2*Abs[r])^((p + 1)/2)* Subscript[C, k , p]*BesselK[2*\[ScriptL]+ 1 + p, Sqrt[8*Abs[r]]], {p, 2*k, 3*k}, GenerateConditions->None]
|
Translation Error | Translation Error | - | - |