14.11: 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/14.11.E1 14.11.E1] | | | [https://dlmf.nist.gov/14.11.E1 14.11.E1] || <math qid="Q4817">\pderiv{}{\nu}\FerrersP[\mu]{\nu}@{x} = \pi\cot@{\nu\pi}\FerrersP[\mu]{\nu}@{x}-\frac{1}{\pi}\mathsf{A}_{\nu}^{\mu}(x)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv{}{\nu}\FerrersP[\mu]{\nu}@{x} = \pi\cot@{\nu\pi}\FerrersP[\mu]{\nu}@{x}-\frac{1}{\pi}\mathsf{A}_{\nu}^{\mu}(x)</syntaxhighlight> || <math>|(\tfrac{1}{2}-\tfrac{1}{2}x)| < 1</math> || <syntaxhighlight lang=mathematica>diff(LegendreP(nu, mu, x), nu) = Pi*cot(nu*Pi)*LegendreP(nu, mu, x)-(1)/(Pi)*(A[nu])^(mu)(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[LegendreP[\[Nu], \[Mu], x], \[Nu]] == Pi*Cot[\[Nu]*Pi]*LegendreP[\[Nu], \[Mu], x]-Divide[1,Pi]*(Subscript[A, \[Nu]])^\[Mu][x]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 11.90824559-1.654502830*I | ||
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 11.53757926-1.652858974*I | Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 11.53757926-1.652858974*I | ||
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[11.90824558684297, -1.654502826549051] | Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[11.90824558684297, -1.654502826549051] | ||
Line 20: | Line 20: | ||
Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/14.11.E2 14.11.E2] | | | [https://dlmf.nist.gov/14.11.E2 14.11.E2] || <math qid="Q4818">\pderiv{}{\nu}\FerrersQ[\mu]{\nu}@{x} = -\tfrac{1}{2}\pi^{2}\FerrersP[\mu]{\nu}@{x}+\frac{\pi\sin@{\mu\pi}}{\sin@{\nu\pi}\sin@{(\nu+\mu)\pi}}\FerrersQ[\mu]{\nu}@{x}-\tfrac{1}{2}\cot@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(x)+\tfrac{1}{2}\csc@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(-x)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\pderiv{}{\nu}\FerrersQ[\mu]{\nu}@{x} = -\tfrac{1}{2}\pi^{2}\FerrersP[\mu]{\nu}@{x}+\frac{\pi\sin@{\mu\pi}}{\sin@{\nu\pi}\sin@{(\nu+\mu)\pi}}\FerrersQ[\mu]{\nu}@{x}-\tfrac{1}{2}\cot@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(x)+\tfrac{1}{2}\csc@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(-x)</syntaxhighlight> || <math>|(\tfrac{1}{2}-\tfrac{1}{2}x)| < 1, \realpart@@{(\nu+\mu+1)} > 0, \realpart@@{(\nu-\mu+1)} > 0</math> || <syntaxhighlight lang=mathematica>diff(LegendreQ(nu, mu, x), nu) = -(1)/(2)*(Pi)^(2)* LegendreP(nu, mu, x)+(Pi*sin(mu*Pi))/(sin(nu*Pi)*sin((nu + mu)*Pi))*LegendreQ(nu, mu, x)-(1)/(2)*cot((nu + mu)*Pi)*(A[nu])^(mu)(x)+(1)/(2)*csc((nu + mu)*Pi)*(A[nu])^(mu)(- x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[LegendreQ[\[Nu], \[Mu], x], \[Nu]] == -Divide[1,2]*(Pi)^(2)* LegendreP[\[Nu], \[Mu], x]+Divide[Pi*Sin[\[Mu]*Pi],Sin[\[Nu]*Pi]*Sin[(\[Nu]+ \[Mu])*Pi]]*LegendreQ[\[Nu], \[Mu], x]-Divide[1,2]*Cot[(\[Nu]+ \[Mu])*Pi]*(Subscript[A, \[Nu]])^\[Mu][x]+Divide[1,2]*Csc[(\[Nu]+ \[Mu])*Pi]*(Subscript[A, \[Nu]])^\[Mu][- x]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -2.639260453-18.83790600*I | ||
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.596785248-18.22264548*I | Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.596785248-18.22264548*I | ||
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-2.639260449912798, -18.837906001053177] | Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br>... skip entries to safe data</div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Complex[-2.639260449912798, -18.837906001053177] | ||
Line 26: | Line 26: | ||
Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/14.11.E3 14.11.E3] | | | [https://dlmf.nist.gov/14.11.E3 14.11.E3] || <math qid="Q4819">\mathsf{A}_{\nu}^{\mu}(x) = \sin@{\nu\pi}\left(\frac{1+x}{1-x}\right)^{\mu/2}\*\sum_{k=0}^{\infty}\frac{\left(\frac{1}{2}-\frac{1}{2}x\right)^{k}\EulerGamma@{k-\nu}\EulerGamma@{k+\nu+1}}{k!\EulerGamma@{k-\mu+1}}\*\left(\digamma@{k+\nu+1}-\digamma@{k-\nu}\right)</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\mathsf{A}_{\nu}^{\mu}(x) = \sin@{\nu\pi}\left(\frac{1+x}{1-x}\right)^{\mu/2}\*\sum_{k=0}^{\infty}\frac{\left(\frac{1}{2}-\frac{1}{2}x\right)^{k}\EulerGamma@{k-\nu}\EulerGamma@{k+\nu+1}}{k!\EulerGamma@{k-\mu+1}}\*\left(\digamma@{k+\nu+1}-\digamma@{k-\nu}\right)</syntaxhighlight> || <math>\realpart@@{(k-\nu)} > 0, \realpart@@{(k+\nu+1)} > 0, \realpart@@{(k-\mu+1)} > 0</math> || <syntaxhighlight lang=mathematica>(A[nu])^(mu)(x) = sin(nu*Pi)*((1 + x)/(1 - x))^(mu/2)* sum((((1)/(2)-(1)/(2)*x)^(k)* GAMMA(k - nu)*GAMMA(k + nu + 1))/(factorial(k)*GAMMA(k - mu + 1))*(Psi(k + nu + 1)- Psi(k - nu)), k = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>(Subscript[A, \[Nu]])^\[Mu][x] == Sin[\[Nu]*Pi]*(Divide[1 + x,1 - x])^(\[Mu]/2)* Sum[Divide[(Divide[1,2]-Divide[1,2]*x)^(k)* Gamma[k - \[Nu]]*Gamma[k + \[Nu]+ 1],(k)!*Gamma[k - \[Mu]+ 1]]*(PolyGamma[k + \[Nu]+ 1]- PolyGamma[k - \[Nu]]), {k, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 11:36, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
14.11.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{}{\nu}\FerrersP[\mu]{\nu}@{x} = \pi\cot@{\nu\pi}\FerrersP[\mu]{\nu}@{x}-\frac{1}{\pi}\mathsf{A}_{\nu}^{\mu}(x)}
\pderiv{}{\nu}\FerrersP[\mu]{\nu}@{x} = \pi\cot@{\nu\pi}\FerrersP[\mu]{\nu}@{x}-\frac{1}{\pi}\mathsf{A}_{\nu}^{\mu}(x) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |(\tfrac{1}{2}-\tfrac{1}{2}x)| < 1} | diff(LegendreP(nu, mu, x), nu) = Pi*cot(nu*Pi)*LegendreP(nu, mu, x)-(1)/(Pi)*(A[nu])^(mu)(x)
|
D[LegendreP[\[Nu], \[Mu], x], \[Nu]] == Pi*Cot[\[Nu]*Pi]*LegendreP[\[Nu], \[Mu], x]-Divide[1,Pi]*(Subscript[A, \[Nu]])^\[Mu][x]
|
Failure | Failure | Failed [300 / 300] Result: 11.90824559-1.654502830*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = 1/2*3^(1/2)+1/2*I}
Result: 11.53757926-1.652858974*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = -1/2+1/2*I*3^(1/2)}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[11.90824558684297, -1.654502826549051]
Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[11.53757925943594, -1.6528589711511499]
Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
14.11.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \pderiv{}{\nu}\FerrersQ[\mu]{\nu}@{x} = -\tfrac{1}{2}\pi^{2}\FerrersP[\mu]{\nu}@{x}+\frac{\pi\sin@{\mu\pi}}{\sin@{\nu\pi}\sin@{(\nu+\mu)\pi}}\FerrersQ[\mu]{\nu}@{x}-\tfrac{1}{2}\cot@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(x)+\tfrac{1}{2}\csc@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(-x)}
\pderiv{}{\nu}\FerrersQ[\mu]{\nu}@{x} = -\tfrac{1}{2}\pi^{2}\FerrersP[\mu]{\nu}@{x}+\frac{\pi\sin@{\mu\pi}}{\sin@{\nu\pi}\sin@{(\nu+\mu)\pi}}\FerrersQ[\mu]{\nu}@{x}-\tfrac{1}{2}\cot@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(x)+\tfrac{1}{2}\csc@{(\nu+\mu)\pi}\mathsf{A}_{\nu}^{\mu}(-x) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |(\tfrac{1}{2}-\tfrac{1}{2}x)| < 1, \realpart@@{(\nu+\mu+1)} > 0, \realpart@@{(\nu-\mu+1)} > 0} | diff(LegendreQ(nu, mu, x), nu) = -(1)/(2)*(Pi)^(2)* LegendreP(nu, mu, x)+(Pi*sin(mu*Pi))/(sin(nu*Pi)*sin((nu + mu)*Pi))*LegendreQ(nu, mu, x)-(1)/(2)*cot((nu + mu)*Pi)*(A[nu])^(mu)(x)+(1)/(2)*csc((nu + mu)*Pi)*(A[nu])^(mu)(- x)
|
D[LegendreQ[\[Nu], \[Mu], x], \[Nu]] == -Divide[1,2]*(Pi)^(2)* LegendreP[\[Nu], \[Mu], x]+Divide[Pi*Sin[\[Mu]*Pi],Sin[\[Nu]*Pi]*Sin[(\[Nu]+ \[Mu])*Pi]]*LegendreQ[\[Nu], \[Mu], x]-Divide[1,2]*Cot[(\[Nu]+ \[Mu])*Pi]*(Subscript[A, \[Nu]])^\[Mu][x]+Divide[1,2]*Csc[(\[Nu]+ \[Mu])*Pi]*(Subscript[A, \[Nu]])^\[Mu][- x]
|
Failure | Failure | Failed [300 / 300] Result: -2.639260453-18.83790600*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = 1/2*3^(1/2)+1/2*I}
Result: -2.596785248-18.22264548*I
Test Values: {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, x = 3/2, A[nu] = -1/2+1/2*I*3^(1/2)}
... skip entries to safe data |
Failed [300 / 300]
Result: Complex[-2.639260449912798, -18.837906001053177]
Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}
Result: Complex[-2.5967852433828247, -18.222645474383306]
Test Values: {Rule[x, 1.5], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}
... skip entries to safe data |
14.11.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \mathsf{A}_{\nu}^{\mu}(x) = \sin@{\nu\pi}\left(\frac{1+x}{1-x}\right)^{\mu/2}\*\sum_{k=0}^{\infty}\frac{\left(\frac{1}{2}-\frac{1}{2}x\right)^{k}\EulerGamma@{k-\nu}\EulerGamma@{k+\nu+1}}{k!\EulerGamma@{k-\mu+1}}\*\left(\digamma@{k+\nu+1}-\digamma@{k-\nu}\right)}
\mathsf{A}_{\nu}^{\mu}(x) = \sin@{\nu\pi}\left(\frac{1+x}{1-x}\right)^{\mu/2}\*\sum_{k=0}^{\infty}\frac{\left(\frac{1}{2}-\frac{1}{2}x\right)^{k}\EulerGamma@{k-\nu}\EulerGamma@{k+\nu+1}}{k!\EulerGamma@{k-\mu+1}}\*\left(\digamma@{k+\nu+1}-\digamma@{k-\nu}\right) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(k-\nu)} > 0, \realpart@@{(k+\nu+1)} > 0, \realpart@@{(k-\mu+1)} > 0} | (A[nu])^(mu)(x) = sin(nu*Pi)*((1 + x)/(1 - x))^(mu/2)* sum((((1)/(2)-(1)/(2)*x)^(k)* GAMMA(k - nu)*GAMMA(k + nu + 1))/(factorial(k)*GAMMA(k - mu + 1))*(Psi(k + nu + 1)- Psi(k - nu)), k = 0..infinity)
|
(Subscript[A, \[Nu]])^\[Mu][x] == Sin[\[Nu]*Pi]*(Divide[1 + x,1 - x])^(\[Mu]/2)* Sum[Divide[(Divide[1,2]-Divide[1,2]*x)^(k)* Gamma[k - \[Nu]]*Gamma[k + \[Nu]+ 1],(k)!*Gamma[k - \[Mu]+ 1]]*(PolyGamma[k + \[Nu]+ 1]- PolyGamma[k - \[Nu]]), {k, 0, Infinity}, GenerateConditions->None]
|
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |