Theta Functions - 20.9 Relations to Other Functions

From testwiki
Revision as of 17:36, 25 May 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
20.9#Ex1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \compellintKk@{k} = \tfrac{1}{2}\pi\Jacobithetatau{3}^{2}@{0}{\tau}}
\compellintKk@{k} = \tfrac{1}{2}\pi\Jacobithetatau{3}^{2}@{0}{\tau}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
EllipticK((JacobiTheta2(0,exp(I*Pi*tau)))^(2)/(JacobiTheta3(0,exp(I*Pi*tau)))^(2)) = (1)/(2)*Pi*(JacobiTheta3(0,exp(I*Pi*tau)))^(2)

EllipticK[((EllipticTheta[2, 0, Exp[I*Pi*(\[Tau])]])^(2)/(EllipticTheta[3, 0, Exp[I*Pi*(\[Tau])]])^(2))^2] == Divide[1,2]*Pi*(EllipticTheta[3, 0, Exp[I*Pi*(\[Tau])]])^(2)
Failure Failure Error Successful [Tested: 10]
20.9#Ex2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \compellintKk'@{k} = -i\tau\compellintKk@{k}}
\compellintKk'@{k} = -i\tau\compellintKk@{k}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
subs( temp=((JacobiTheta2(0,exp(I*Pi*tau)))^(2)/(JacobiTheta3(0,exp(I*Pi*tau)))^(2)), diff( EllipticK(temp), temp$(1) ) ) = - I*tau*EllipticK((JacobiTheta2(0,exp(I*Pi*tau)))^(2)/(JacobiTheta3(0,exp(I*Pi*tau)))^(2))

(D[EllipticK[(temp)^2], {temp, 1}]/.temp-> ((EllipticTheta[2, 0, Exp[I*Pi*(\[Tau])]])^(2)/(EllipticTheta[3, 0, Exp[I*Pi*(\[Tau])]])^(2))) == - I*\[Tau]*EllipticK[((EllipticTheta[2, 0, Exp[I*Pi*(\[Tau])]])^(2)/(EllipticTheta[3, 0, Exp[I*Pi*(\[Tau])]])^(2))^2]
Failure Failure
Failed [10 / 10]
Result: -.6481210221+.3604335389*I
Test Values: {tau = 1/2*3^(1/2)+1/2*I}


Result: -1.647990213-1.212940701*I
Test Values: {tau = -1/2+1/2*I*3^(1/2)}

... skip entries to safe data
Failed [2 / 10]
Result: Complex[2.220446049250313*^-16, 0.6473902356608235]
Test Values: {Rule[τ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[-2.220446049250313*^-16, -0.8272591738499964]
Test Values: {Rule[τ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

20.9.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \CarlsonsymellintRF@{\frac{\Jacobithetaq{2}^{2}@{z}{q}}{\Jacobithetaq{2}^{2}@{0}{q}}}{\frac{\Jacobithetaq{3}^{2}@{z}{q}}{\Jacobithetaq{3}^{2}@{0}{q}}}{\frac{\Jacobithetaq{4}^{2}@{z}{q}}{\Jacobithetaq{4}^{2}@{0}{q}}} = \frac{\Jacobithetaq{1}'@{0}{q}}{\Jacobithetaq{1}@{z}{q}}z}
\CarlsonsymellintRF@{\frac{\Jacobithetaq{2}^{2}@{z}{q}}{\Jacobithetaq{2}^{2}@{0}{q}}}{\frac{\Jacobithetaq{3}^{2}@{z}{q}}{\Jacobithetaq{3}^{2}@{0}{q}}}{\frac{\Jacobithetaq{4}^{2}@{z}{q}}{\Jacobithetaq{4}^{2}@{0}{q}}} = \frac{\Jacobithetaq{1}'@{0}{q}}{\Jacobithetaq{1}@{z}{q}}z		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
0.5*int(1/(sqrt(t+((JacobiTheta2(z, q))^(2))/((JacobiTheta2(0, q))^(2)))*sqrt(t+((JacobiTheta3(z, q))^(2))/((JacobiTheta3(0, q))^(2)))*sqrt(t+((JacobiTheta4(z, q))^(2))/((JacobiTheta4(0, q))^(2)))), t = 0..infinity) = (diff( JacobiTheta1(0, q), 0$(1) ))/(JacobiTheta1(z, q))*z

EllipticF[ArcCos[Sqrt[Divide[(EllipticTheta[2, z, q])^(2),(EllipticTheta[2, 0, q])^(2)]/Divide[(EllipticTheta[4, z, q])^(2),(EllipticTheta[4, 0, q])^(2)]]],(Divide[(EllipticTheta[4, z, q])^(2),(EllipticTheta[4, 0, q])^(2)]-Divide[(EllipticTheta[3, z, q])^(2),(EllipticTheta[3, 0, q])^(2)])/(Divide[(EllipticTheta[4, z, q])^(2),(EllipticTheta[4, 0, q])^(2)]-Divide[(EllipticTheta[2, z, q])^(2),(EllipticTheta[2, 0, q])^(2)])]/Sqrt[Divide[(EllipticTheta[4, z, q])^(2),(EllipticTheta[4, 0, q])^(2)]-Divide[(EllipticTheta[2, z, q])^(2),(EllipticTheta[2, 0, q])^(2)]] == Divide[D[EllipticTheta[1, 0, q], {0, 1}],EllipticTheta[1, z, q]]*z
Aborted Failure Skipped - Because timed out
Failed [70 / 70]
Result: Plus[Times[Complex[-0.8660254037844387, -0.49999999999999994], D[0.0
Test Values: {0.0, 1.0}], Power[EllipticTheta[1, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]], -1]], Times[EllipticF[ArcCos[Power[Times[Power[EllipticTheta[2, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2], Power[EllipticTheta[2, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[4, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[4, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]], -2]], Rational[1, 2]]], Times[Power[Plus[Times[-1.0, Power[EllipticTheta[2, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2], Power[EllipticTheta[2, Complex[0.8660254037844387, 0.49999999999999994], Complex[0.8660254037844387, 0.49999999999999994]], 2]], Times[Power[E<syntaxhighlight lang=mathematica>Result: Plus[Times[Complex[0.4999999999999998, -0.8660254037844387], D[0.0
Test Values: {0.0, 1.0}], Power[EllipticTheta[1, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], -1]], Times[EllipticF[ArcCos[Power[Times[Power[EllipticTheta[2, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[2, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2], Power[EllipticTheta[4, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], -2], Power[EllipticTheta[4, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], 2]], Rational[1, 2]]], Times[Power[Plus[Times[-1.0, Power[EllipticTheta[2, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[2, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2]], Times[Power[EllipticTheta[4, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[4, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2]]], -1], Plus[Times[-1.0, Power[EllipticTheta[3, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[3, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2]], Times[Power[EllipticTheta[4, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[4, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2]]]]], Power[Plus[Times[-1.0, Power[EllipticTheta[2, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[2, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2]], Times[Power[EllipticTheta[4, Complex[-0.4999999999999998, 0.8660254037844387], Complex[0.8660254037844387, 0.49999999999999994]], 2], Power[EllipticTheta[4, 0.0, Complex[0.8660254037844387, 0.49999999999999994]], -2]]], Rational[-1, 2]]]], {Rule[q, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
20.9.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \CarlsonsymellintRF@{0}{\Jacobithetaq{3}^{4}@{0}{q}}{\Jacobithetaq{4}^{4}@{0}{q}} = \tfrac{1}{2}\pi}
\CarlsonsymellintRF@{0}{\Jacobithetaq{3}^{4}@{0}{q}}{\Jacobithetaq{4}^{4}@{0}{q}} = \tfrac{1}{2}\pi		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
0.5*int(1/(sqrt(t+0)*sqrt(t+(JacobiTheta3(0, q))^(4))*sqrt(t+(JacobiTheta4(0, q))^(4))), t = 0..infinity) = (1)/(2)*Pi

EllipticF[ArcCos[Sqrt[0/(EllipticTheta[4, 0, q])^(4)]],((EllipticTheta[4, 0, q])^(4)-(EllipticTheta[3, 0, q])^(4))/((EllipticTheta[4, 0, q])^(4)-0)]/Sqrt[(EllipticTheta[4, 0, q])^(4)-0] == Divide[1,2]*Pi
Aborted Failure Skipped - Because timed out Successful [Tested: 10]
Retrieved from "https://lct.wmflabs.org/w/index.php?title=20.9&oldid=781"