On Fri, Dec 25, 2015 at 4:55 AM, rwg <rwg@sdf.org> wrote:
On 2015-12-25 04:13, Bill Gosper wrote:
https://en.wikipedia.org/wiki/Dedekind_eta_function gives a peculiar theta expression for Dedekind eta.
Even more peculiar for not being range-reduced: theta3[π(τ+1)/2] instead of theta4[πτ/2]. --rwg
Combining with the more obvious
DedekindEta[\[Tau]] -> EllipticTheta[1, Pi/3, E^((I Pi \[Tau])/3)]/Sqrt[3] gives the weird-looking EllipticTheta[1,Pi/3, q] == -Sqrt[3] q^(25/4) EllipticTheta[4, 15/2 I Log[q], q^9] == (Sqrt[Pi/3] EllipticTheta[1, Pi/3, E^(Pi^2/(9 Log[q]))])/Sqrt[-Log[q]] (The latter via Jacobi's imaginary transformation.) --rwg
The latter is equivalent to the usual modular relation DedekindEta[-1/\[Tau]] == Sqrt[-I \[Tau]] DedekindEta[\[Tau]] . --rwg
-- You received this message because you are subscribed to the Google Groups "mathfuneavesdroppers" group. To unsubscribe from this group and stop receiving emails from it, send an email to mathfuneavesdroppers+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.