This continues Entry 113. Recall the modular lambda function λ(τ) λ(τ)=(√2η(12τ)η2(2τ)η3(τ))8calculated in Mathematica as ModularLambda[tau]. We now chose fundamental discriminants d=4m with class number h(−d)=8 for even m with 16 divisors. There are only three, namely m=210,330,462, hence 210=2×3×5×7330=2×3×5×11462=2×3×7×11 Ramanujan found m=210, though I'm not sure he did for the other two, so I went ahead and found them 1√λ(√−210)=(1+√2)2(2+√3)(8+3√7)(3+√10)2(4+√15)2(6+√35)(√6+√7)2(√14+√15)1√λ(√−330)=(1+√2)2(2+√3)3(3+√10)2(10+3√11)(4+√15)(65+8√66)(√44+√45)2(√54+√55)1√λ(√−462)=(2+√3)2(5+2√6)2(8+3√7)2(10+3√11)(15+4√14)(76+5√231)(7√2+3√11)2(√21+√22) They are products of eight fundamental units Un. To find products of sixteen fundamental units Un, I checked class number h(−d)=16 for even m with 32 divisors from the class number list. Surprisingly, there are none. So it seems the pattern of λ(√−m) as a product of 2k quadratic units Un where class number h(−4m)=2k stops at 8. Note that eπ√462=16λ(√−462)−8.0000000000000000000000000000094… or for 29 zeros.
No comments:
Post a Comment