Processing math: 100%

Tuesday, June 17, 2025

Entry 177

From Entry 176, we gave the fundamental unit Ud U163=64080026+5019135163=(8005+6271632)2 and from eπ1636403203+744, observed that 640320=80(80051) This may be just coincidence, but what is not is when U3d for d=7,11,19,43,67,163. This was also observed by H. H. Chan. Given the fundamental units

U21=(3+72)2U33=(23+11)2U57=(53+219)2U129=(533+1443)2U201=(2933+6267)2U489=(355733+4826163)2

Define the function

Fd=33(U3d1/U3d)+6

then we get the rather familiarF7=15F11=6(1+33)F19=96F43=960F67=5280F163=640320

which (except for d=11) are the cube roots of the j-function (negated). 

P.S. I don't know why d=11 does not obey the pattern, but it does yield the integer 42 if the positive sign of the second square root ±1/U3d is used, though the correct value should be 32.

Entry 176

Ramanujan found the exact value of the Ramanujan G-function G69=(5+232)1/12(33+232)1/8(2+334+6+334)1/2Note the fundamental units Un U23=24+523=(5+232)2U69=25+3692=(33+232)2 and how he uses the squared version. As a second example

G77=(8+37)1/8(7+112)1/8(2+114+6+114)1/2

and fundamental units U7=8+37=(3+72)2U77=9+772=(7+112)2

Ramanujan mostly uses the squared version of the Un to get "simpler" expressions with smaller integers. For prime p3mod4, one can always do since 

x2py2=2x2py2=+2 are solvable by p3mod8 and p7mod8, respectively. Checking  U67 and U163, yields the reductions U67=48842+596767=(221+27672)2U163=64080026+5019135163=(8005+6271632)2And from eπ6752803+744 and eπ1636403203+744, we find the relations 5280=24(2211)640320=80(80051) though it may be just coincidence.

Monday, June 16, 2025

Entry 175

For discriminant d=4m with class number 8 and semiprime m

If m=5p, then distinguish between p1mod8 and p5mod8

If m=7p, then distinguish between p3mod8 and p7mod8

The semiprime m=5p was in the previous entry. For m=7p, there are only four and Ramanujan found the radicals below. 

For the 1st case, p=11,43, thus m=7p=77,301  

G77=(8+37)1/8(7+112)1/8(2+114+6+114)1/2G301=(8+37)1/8(577+23432)1/8(42+7434+46+7434)1/2

For the 2nd case, p=31,79, thus m=7p=217,553 

G217=(x112+x1+12)1/2(y112+y1+12)1/2G553=(x212+x2+12)1/2(y212+y2+12)1/2 where x1=10+472,y1=14+574 x2=142+16792,y2=98+11794

But it seems not noticed that a fundamental unit is imbedded in these radicals as

x1+2y1=32(8+37)=32(3+72)2=32U7

x2+2y2=32(80+979)=32(9+792)2=32U79

Entry 174

Continuing from the previous entry, for d=4m with class number 8, the semiprime m=5p with p5mod8 is also well-behaved. And it involves the golden ratio. There are only four, namely p=13,29,53,101, thus m=5p=65,145,265,505. Ramanujan found the radicals below and the G-function have a common form

G5p=ϕkU1/4px1/2p

with powers of the golden ratio ϕ, fundamental unit Un, and x2p a root of a unit quartic

G65ϕ=(3+132)1/4(1+658+9+658)1/2G145ϕ3=(5+292)1/4(9+1458+17+1458)1/2G265ϕ3=(7+532)1/4(81+52658+89+52658)1/2G505ϕ7=(10+101)1/4(105+55058+113+55058)1/2

The case p1mod8 or p=41,89, thus m=5p=205,445 behaves slightly differently though

G205ϕ=(43+32052)1/8(1+418+7+418)G445ϕ3/2=(21+4452)1/4(5+898+13+898)

How Ramanujan found these is a mystery.

Sunday, June 15, 2025

Entry 173

There are many in the set d=4m with class number 8. When m is a prime or a semiprime (a product of two primes) like m=3p, then it may be well-behaved. For this set, there are only three, namely p=23,47,71, thus m=3p=69,141,213. Ramanujan found the radicals below and the G-function have a common form

G3p=U1/24pU1/163px1/2p

with fundamental unit Un and where x2p is a root of a unit quartic

G69=(5+232)1/12(33+232)1/8(2+334+6+334)1/2G141=(7+472)1/12(43+47)1/8(14+934+18+934)1/2G213=(59+7712)1/12(53+712)1/8(19+1232+21+1232)1/2 How Ramanujan found these is unknown as it is uncertain if he was aware of class field theory. Note also that without the factor 3, then d=23,47,71 are the smallest d with class number h(d)=3,5,7, respectively, while h(3d)=8.

P.S. Checking h(3d)=16, one finds the only primes are d=167,191,239,383,311 which are the smallest d with class number h(d)=11,13,15,17,19, respectively. Makes me wonder if their G3d would be analogous.