Typo in DedekindEta function definition?

• To: mathgroup at smc.vnet.net
• Subject: [mg71194] Typo in DedekindEta function definition?
• From: titus_piezas at yahoo.com
• Date: Fri, 10 Nov 2006 06:37:53 -0500 (EST)

```Hello all,

There's something puzzling me about Mathematica's definition of the
Dedekind eta function in terms of the Weierstrass invariants g2, g3.
Recall that the function WeierstrassInvariants[{w, w' }] involve the
half-periods {w, w'} and KleinInvariantJ[z] and DedekindEta[z] the
half-period ratio z = w' /w. To illustrate, (Notes: For brevity, values
have been rounded off. The symbol "i" is the imaginary unit.):

In[1]: = {g2,g3} = N[WeierstrassInvariants[{3, 5i}], 30]
Out[1] = {0.10089, 0.00601}

In[2]:= p1 = N[KleinInvariantJ[5i/3], 30]
Out[2] = 20.86892

In[3]:= p2 = g2^3/(g2^3-27g3^2)
Out[3] = 20.86892

As expected, p1 and p2 are equal. However,

In[4]:= r1 = N[(2Pi)^12 DedekindEta[5i/3]^24, 30]
Out[4] = 107137.63536

In[5]:= r2 = g2^3-27g3^2
Out[5] = 0.0000492

Shouldn't r1 and r2 be equal? After some experimentation, I found they
can be if the equality is modified to r1 = r2 (2w)^12 where "w" is the
first half-period.

In[6]:= r2 (6)^12
Out[6] = 107137.63536

and we now get the same value.  In the help section, the Klein
invariant J[z] is defined as g2^3 /(g2^3-27g3^2) which as we saw
worked.  But the Dedekind eta, or n[z], is defined as satisfying d =
(2Pi)^12 n[z]^24 where d is the discriminant and given in terms of the
Weierstrass invariants by g2^3-27g3^2.  In the section "Elliptic
Modular Functions", the same equality is stated.  But it does not work,
unless d is given the factor (2w)^12.

So can anyone can explain the situation, why it works for J[z] but not
for n[z]? (I have a nagging feeling I'm using a wrong assumption
somewhere...)

-Titus

```

• Prev by Date: Re: [Help Needed] Converting C++ program into Mathematica Function
• Next by Date: Re: [Help Needed] Converting C++ program into Mathematica Function
• Previous by thread: Re: Easy way to 're-order' the axes in Plot3D
• Next by thread: Re: Typo in DedekindEta function definition?