20.10: 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/20.10.E1 20.10.E1] | | | [https://dlmf.nist.gov/20.10.E1 20.10.E1] || <math qid="Q6837">\int_{0}^{\infty}x^{s-1}\Jacobithetatau{2}@{0}{ix^{2}}\diff{x} = 2^{s}(1-2^{-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}x^{s-1}\Jacobithetatau{2}@{0}{ix^{2}}\diff{x} = 2^{s}(1-2^{-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}</syntaxhighlight> || <math>\realpart@@{(\tfrac{1}{2}s)} > 0</math> || <syntaxhighlight lang=mathematica>int((x)^(s - 1)* JacobiTheta2(0,exp(I*Pi*I*(x)^(2))), x = 0..infinity) = (2)^(s)*(1 - (2)^(- s))*(Pi)^(- s/2)* GAMMA((1)/(2)*s)*Zeta(s)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(x)^(s - 1)* EllipticTheta[2, 0, Exp[I*Pi*(I*(x)^(2))]], {x, 0, Infinity}, GenerateConditions->None] == (2)^(s)*(1 - (2)^(- s))*(Pi)^(- s/2)* Gamma[Divide[1,2]*s]*Zeta[s]</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[1.6473133477045354, NIntegrate[Times[Power[x, -0.5], EllipticTheta[2, 0, Power[E, Times[-1, Pi, Power[x, 2]]]]] | ||
Test Values: {x, 0, DirectedInfinity[1]}]], {Rule[s, 0.5]}</syntaxhighlight><br></div></div> | Test Values: {x, 0, DirectedInfinity[1]}]], {Rule[s, 0.5]}</syntaxhighlight><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.10.E2 20.10.E2] | | | [https://dlmf.nist.gov/20.10.E2 20.10.E2] || <math qid="Q6838">\int_{0}^{\infty}x^{s-1}(\Jacobithetatau{3}@{0}{ix^{2}}-1)\diff{x} = \pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}x^{s-1}(\Jacobithetatau{3}@{0}{ix^{2}}-1)\diff{x} = \pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}</syntaxhighlight> || <math>\realpart@@{(\tfrac{1}{2}s)} > 0</math> || <syntaxhighlight lang=mathematica>int((x)^(s - 1)*(JacobiTheta3(0,exp(I*Pi*I*(x)^(2)))- 1), x = 0..infinity) = (Pi)^(- s/2)* GAMMA((1)/(2)*s)*Zeta(s)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(x)^(s - 1)*(EllipticTheta[3, 0, Exp[I*Pi*(I*(x)^(2))]]- 1), {x, 0, Infinity}, GenerateConditions->None] == (Pi)^(- s/2)* Gamma[Divide[1,2]*s]*Zeta[s]</syntaxhighlight> || Failure || Failure || Skipped - Because timed out || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.10.E3 20.10.E3] | | | [https://dlmf.nist.gov/20.10.E3 20.10.E3] || <math qid="Q6839">\int_{0}^{\infty}x^{s-1}(1-\Jacobithetatau{4}@{0}{ix^{2}})\diff{x} = (1-2^{1-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}x^{s-1}(1-\Jacobithetatau{4}@{0}{ix^{2}})\diff{x} = (1-2^{1-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}</syntaxhighlight> || <math>\realpart@@{(\tfrac{1}{2}s)} > 0</math> || <syntaxhighlight lang=mathematica>int((x)^(s - 1)*(1 - JacobiTheta4(0,exp(I*Pi*I*(x)^(2)))), x = 0..infinity) = (1 - (2)^(1 - s))*(Pi)^(- s/2)* GAMMA((1)/(2)*s)*Zeta(s)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[(x)^(s - 1)*(1 - EllipticTheta[4, 0, Exp[I*Pi*(I*(x)^(2))]]), {x, 0, Infinity}, GenerateConditions->None] == (1 - (2)^(1 - s))*(Pi)^(- s/2)* Gamma[Divide[1,2]*s]*Zeta[s]</syntaxhighlight> || Failure || Aborted || Skipped - Because timed out || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.10.E4 20.10.E4] | | | [https://dlmf.nist.gov/20.10.E4 20.10.E4] || <math qid="Q6840">\int_{0}^{\infty}e^{-st}\Jacobithetatau{1}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-st}\Jacobithetatau{1}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>int(exp(- s*t)*JacobiTheta1((beta*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = int(exp(- s*t)*JacobiTheta2(((1 + beta)*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- s*t]*EllipticTheta[1, Divide[\[Beta]*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Exp[- s*t]*EllipticTheta[2, Divide[(1 + \[Beta])*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[1, 2.356194490192345, Power[2.718281828459045, Times[-9.869604401089358, t]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[2, 3.9269908169872414, Power[2.718281828459045, Times[-9.869604401089358, t]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[ℓ, 1], Rule[β, Rational[3, 2]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[1, 1.1780972450961724, Power[2.718281828459045, Times[-2.4674011002723395, t]]]] | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[2, 3.9269908169872414, Power[2.718281828459045, Times[-9.869604401089358, t]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[ℓ, 1], Rule[β, Rational[3, 2]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[1, 1.1780972450961724, Power[2.718281828459045, Times[-2.4674011002723395, t]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[2, 1.9634954084936207, Power[2.718281828459045, Times[-2.4674011002723395, t]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[ℓ, 2], Rule[β, Rational[3, 2]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[2, 1.9634954084936207, Power[2.718281828459045, Times[-2.4674011002723395, t]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[ℓ, 2], Rule[β, Rational[3, 2]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.10.E4 20.10.E4] | | | [https://dlmf.nist.gov/20.10.E4 20.10.E4] || <math qid="Q6840">\int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = -\frac{\ell}{\sqrt{s}}\sinh@{\beta\sqrt{s}}\sech@{\ell\sqrt{s}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = -\frac{\ell}{\sqrt{s}}\sinh@{\beta\sqrt{s}}\sech@{\ell\sqrt{s}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>int(exp(- s*t)*JacobiTheta2(((1 + beta)*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = -(ell)/(sqrt(s))*sinh(beta*sqrt(s))*sech(ell*sqrt(s))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- s*t]*EllipticTheta[2, Divide[(1 + \[Beta])*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == -Divide[\[ScriptL],Sqrt[s]]*Sinh[\[Beta]*Sqrt[s]]*Sech[\[ScriptL]*Sqrt[s]]</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [54 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[2.32235875408619, Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[2, 3.9269908169872414, Power[2.718281828459045, Times[-9.869604401089358, t]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, Rational[-3, 2]], Rule[ℓ, 1], Rule[β, Rational[3, 2]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[-2.046254548704581, Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[2, 1.9634954084936207, Power[2.718281828459045, Times[-2.4674011002723395, t]]]] | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, Rational[-3, 2]], Rule[ℓ, 1], Rule[β, Rational[3, 2]]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[-2.046254548704581, Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[2, 1.9634954084936207, Power[2.718281828459045, Times[-2.4674011002723395, t]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, Rational[-3, 2]], Rule[ℓ, 2], Rule[β, Rational[3, 2]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, Rational[-3, 2]], Rule[ℓ, 2], Rule[β, Rational[3, 2]]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.10.E5 20.10.E5] | | | [https://dlmf.nist.gov/20.10.E5 20.10.E5] || <math qid="Q6841">\int_{0}^{\infty}e^{-st}\Jacobithetatau{3}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-st}\Jacobithetatau{3}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>int(exp(- s*t)*JacobiTheta3(((1 + beta)*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = int(exp(- s*t)*JacobiTheta4((beta*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- s*t]*EllipticTheta[3, Divide[(1 + \[Beta])*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Exp[- s*t]*EllipticTheta[4, Divide[\[Beta]*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None]</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[3, Times[3.9269908169872414, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[β, 1.5]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[3, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]] | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[β, 1.5]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[3, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[0.7853981633974483, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[β, 0.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[0.7853981633974483, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[β, 0.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/20.10.E5 20.10.E5] | | | [https://dlmf.nist.gov/20.10.E5 20.10.E5] || <math qid="Q6841">\int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \frac{\ell}{\sqrt{s}}\cosh@{\beta\sqrt{s}}\csch@{\ell\sqrt{s}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \frac{\ell}{\sqrt{s}}\cosh@{\beta\sqrt{s}}\csch@{\ell\sqrt{s}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>int(exp(- s*t)*JacobiTheta4((beta*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = (ell)/(sqrt(s))*cosh(beta*sqrt(s))*csch(ell*sqrt(s))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Integrate[Exp[- s*t]*EllipticTheta[4, Divide[\[Beta]*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == Divide[\[ScriptL],Sqrt[s]]*Cosh[\[Beta]*Sqrt[s]]*Csch[\[ScriptL]*Sqrt[s]]</syntaxhighlight> || Failure || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [18 / 18]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: Plus[Times[Complex[-0.21488876057872602, 0.0], ℓ, Csc[Times[Complex[1.224744871391589, 0.0], ℓ]]], Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, -1.5], Rule[β, 1.5]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Times[Complex[0.668128228457918, 0.0], ℓ, Csc[Times[Complex[1.224744871391589, 0.0], ℓ]]], Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[0.7853981633974483, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]] | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, -1.5], Rule[β, 1.5]}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: Plus[Times[Complex[0.668128228457918, 0.0], ℓ, Csc[Times[Complex[1.224744871391589, 0.0], ℓ]]], Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[0.7853981633974483, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]] | ||
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, -1.5], Rule[β, 0.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, -1.5], Rule[β, 0.5]}</syntaxhighlight><br>... skip entries to safe data</div></div> | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 11:56, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
20.10.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{s-1}\Jacobithetatau{2}@{0}{ix^{2}}\diff{x} = 2^{s}(1-2^{-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}}
\int_{0}^{\infty}x^{s-1}\Jacobithetatau{2}@{0}{ix^{2}}\diff{x} = 2^{s}(1-2^{-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\tfrac{1}{2}s)} > 0} | int((x)^(s - 1)* JacobiTheta2(0,exp(I*Pi*I*(x)^(2))), x = 0..infinity) = (2)^(s)*(1 - (2)^(- s))*(Pi)^(- s/2)* GAMMA((1)/(2)*s)*Zeta(s)
|
Integrate[(x)^(s - 1)* EllipticTheta[2, 0, Exp[I*Pi*(I*(x)^(2))]], {x, 0, Infinity}, GenerateConditions->None] == (2)^(s)*(1 - (2)^(- s))*(Pi)^(- s/2)* Gamma[Divide[1,2]*s]*Zeta[s]
|
Failure | Failure | Error | Failed [1 / 3]
Result: Plus[1.6473133477045354, NIntegrate[Times[Power[x, -0.5], EllipticTheta[2, 0, Power[E, Times[-1, Pi, Power[x, 2]]]]]
Test Values: {x, 0, DirectedInfinity[1]}]], {Rule[s, 0.5]}
|
20.10.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{s-1}(\Jacobithetatau{3}@{0}{ix^{2}}-1)\diff{x} = \pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}}
\int_{0}^{\infty}x^{s-1}(\Jacobithetatau{3}@{0}{ix^{2}}-1)\diff{x} = \pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\tfrac{1}{2}s)} > 0} | int((x)^(s - 1)*(JacobiTheta3(0,exp(I*Pi*I*(x)^(2)))- 1), x = 0..infinity) = (Pi)^(- s/2)* GAMMA((1)/(2)*s)*Zeta(s)
|
Integrate[(x)^(s - 1)*(EllipticTheta[3, 0, Exp[I*Pi*(I*(x)^(2))]]- 1), {x, 0, Infinity}, GenerateConditions->None] == (Pi)^(- s/2)* Gamma[Divide[1,2]*s]*Zeta[s]
|
Failure | Failure | Skipped - Because timed out | Skipped - Because timed out |
20.10.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}x^{s-1}(1-\Jacobithetatau{4}@{0}{ix^{2}})\diff{x} = (1-2^{1-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s}}
\int_{0}^{\infty}x^{s-1}(1-\Jacobithetatau{4}@{0}{ix^{2}})\diff{x} = (1-2^{1-s})\pi^{-s/2}\EulerGamma@{\tfrac{1}{2}s}\Riemannzeta@{s} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(\tfrac{1}{2}s)} > 0} | int((x)^(s - 1)*(1 - JacobiTheta4(0,exp(I*Pi*I*(x)^(2)))), x = 0..infinity) = (1 - (2)^(1 - s))*(Pi)^(- s/2)* GAMMA((1)/(2)*s)*Zeta(s)
|
Integrate[(x)^(s - 1)*(1 - EllipticTheta[4, 0, Exp[I*Pi*(I*(x)^(2))]]), {x, 0, Infinity}, GenerateConditions->None] == (1 - (2)^(1 - s))*(Pi)^(- s/2)* Gamma[Divide[1,2]*s]*Zeta[s]
|
Failure | Aborted | Skipped - Because timed out | Skipped - Because timed out |
20.10.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-st}\Jacobithetatau{1}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t}}
\int_{0}^{\infty}e^{-st}\Jacobithetatau{1}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | int(exp(- s*t)*JacobiTheta1((beta*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = int(exp(- s*t)*JacobiTheta2(((1 + beta)*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity)
|
Integrate[Exp[- s*t]*EllipticTheta[1, Divide[\[Beta]*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Exp[- s*t]*EllipticTheta[2, Divide[(1 + \[Beta])*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None]
|
Failure | Failure | Error | Failed [9 / 9]
Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[1, 2.356194490192345, Power[2.718281828459045, Times[-9.869604401089358, t]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[2, 3.9269908169872414, Power[2.718281828459045, Times[-9.869604401089358, t]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[ℓ, 1], Rule[β, Rational[3, 2]]}
Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[1, 1.1780972450961724, Power[2.718281828459045, Times[-2.4674011002723395, t]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[2, 1.9634954084936207, Power[2.718281828459045, Times[-2.4674011002723395, t]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[ℓ, 2], Rule[β, Rational[3, 2]]}
... skip entries to safe data |
20.10.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = -\frac{\ell}{\sqrt{s}}\sinh@{\beta\sqrt{s}}\sech@{\ell\sqrt{s}}}
\int_{0}^{\infty}e^{-st}\Jacobithetatau{2}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = -\frac{\ell}{\sqrt{s}}\sinh@{\beta\sqrt{s}}\sech@{\ell\sqrt{s}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | int(exp(- s*t)*JacobiTheta2(((1 + beta)*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = -(ell)/(sqrt(s))*sinh(beta*sqrt(s))*sech(ell*sqrt(s))
|
Integrate[Exp[- s*t]*EllipticTheta[2, Divide[(1 + \[Beta])*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == -Divide[\[ScriptL],Sqrt[s]]*Sinh[\[Beta]*Sqrt[s]]*Sech[\[ScriptL]*Sqrt[s]]
|
Failure | Failure | Error | Failed [54 / 54]
Result: Plus[2.32235875408619, Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[2, 3.9269908169872414, Power[2.718281828459045, Times[-9.869604401089358, t]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, Rational[-3, 2]], Rule[ℓ, 1], Rule[β, Rational[3, 2]]}
Result: Plus[-2.046254548704581, Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[2, 1.9634954084936207, Power[2.718281828459045, Times[-2.4674011002723395, t]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, Rational[-3, 2]], Rule[ℓ, 2], Rule[β, Rational[3, 2]]}
... skip entries to safe data |
20.10.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-st}\Jacobithetatau{3}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t}}
\int_{0}^{\infty}e^{-st}\Jacobithetatau{3}@{\frac{(1+\beta)\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | int(exp(- s*t)*JacobiTheta3(((1 + beta)*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = int(exp(- s*t)*JacobiTheta4((beta*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity)
|
Integrate[Exp[- s*t]*EllipticTheta[3, Divide[(1 + \[Beta])*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Exp[- s*t]*EllipticTheta[4, Divide[\[Beta]*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None]
|
Failure | Failure | Error | Failed [3 / 3]
Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[3, Times[3.9269908169872414, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[β, 1.5]}
Result: Plus[Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[3, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[0.7853981633974483, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]], {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[β, 0.5]}
... skip entries to safe data |
20.10.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \frac{\ell}{\sqrt{s}}\cosh@{\beta\sqrt{s}}\csch@{\ell\sqrt{s}}}
\int_{0}^{\infty}e^{-st}\Jacobithetatau{4}@{\frac{\beta\pi}{2\ell}}{\frac{i\pi t}{\ell^{2}}}\diff{t} = \frac{\ell}{\sqrt{s}}\cosh@{\beta\sqrt{s}}\csch@{\ell\sqrt{s}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | int(exp(- s*t)*JacobiTheta4((beta*Pi)/(2*ell),exp(I*Pi*(I*Pi*t)/((ell)^(2)))), t = 0..infinity) = (ell)/(sqrt(s))*cosh(beta*sqrt(s))*csch(ell*sqrt(s))
|
Integrate[Exp[- s*t]*EllipticTheta[4, Divide[\[Beta]*Pi,2*\[ScriptL]], Exp[I*Pi*(Divide[I*Pi*t,\[ScriptL]^(2)])]], {t, 0, Infinity}, GenerateConditions->None] == Divide[\[ScriptL],Sqrt[s]]*Cosh[\[Beta]*Sqrt[s]]*Csch[\[ScriptL]*Sqrt[s]]
|
Failure | Failure | Error | Failed [18 / 18]
Result: Plus[Times[Complex[-0.21488876057872602, 0.0], ℓ, Csc[Times[Complex[1.224744871391589, 0.0], ℓ]]], Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[2.356194490192345, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, -1.5], Rule[β, 1.5]}
Result: Plus[Times[Complex[0.668128228457918, 0.0], ℓ, Csc[Times[Complex[1.224744871391589, 0.0], ℓ]]], Times[-1.0, stIntegrate[Times[2.718281828459045, EllipticTheta[4, Times[0.7853981633974483, Power[ℓ, -1]], Power[2.718281828459045, Times[-9.869604401089358, t, Power[ℓ, -2]]]]]
Test Values: {t, 0.0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[s, -1.5], Rule[β, 0.5]}
... skip entries to safe data |