Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.



Heegner numbers's related issue
Posted:
Jul 19, 2017 8:02 AM


I have noticed that out of 9 Heegner numbers: {1,2,3,7,11,19,43,67,163} the group of four leftmost of them and the group of four rightmost of them could be constructed together on the similar recurrence principle:
a[n] = 5*(5*(EuilerPhi[((a[n1]+a[n5])/5 + 11)/5] + Prime[n5])  11)  a[n4]
Simplify[RecurrenceTable[{a[n] ==5*(5*(EuilerPhi[((a[n1]+a[n5])/5 + 11)/5] + Prime[n5])  11)  a[n4],a[1]==1,a[2]==2,a[3]==3,a[4]==7, a[5]==19},a[n],{n, 1, 8}]]
{1,2,3,7,19,43,67,163}
Of course above recurrence is not much productive since it doesn't cover the fifth Heegner number and also requires five (out of total eight covered Heegner's numbers) to be given in the recurrence's initial conditions.
Unfortunately RSolve (see below) is not capable to find the explicit direct solution for the above recurrence
$Assumptions = n \[Element] Integers
RSolve[{a[n]==a[4+n]+5(11+5EulerPhi[1/5(11+1/5(a[5+n]+a[1+n]))]+Pri me[5+n]),a[1]==1,a[2]==2,a[3]==3,a[4]==7,a[5]==19},a[n],n]
However, I, seems to be, was able to figure out "by hand" some sort of explicit direct solution, which gives four leftmost (as a[1], a[2], a[3] and a[4]) and the four rightmost (as a[6], a[7], a[8] and a[9]) Heegner numbers:
a[n] = EulerPhi[Prime[Mod[4,n]!!]]+Floor[n/5]+((1+Floor[n/5])^2)!*((1+Sqrt[3])^ (n(1+2*(Floor[n/5]))!)(1Sqrt[3])^(n(1+2*(Floor[n/5]))!))/(2*Sqrt[3])
Simplify[Table[EulerPhi[Prime[Mod[4,n]!!]]+Floor[n/5]+((1+Floor[n/5])^2)! *((1+Sqrt[3])^(n(1+2*(Floor[n/5]))!)(1Sqrt[3])^(n(1+2*(Floor[n/5]))!) )/(2*Sqrt[3]), {n,1,9}]]
{1,2,3,7,31,19,43,67,163}
(Note that unfortunately a[5]=31 in above is "off"  the actual Heegner number for index 5 should be not 31 but 11 ...)
and as follows:
a[n1] = EulerPhi[Prime[Mod[4,(n1)]!!]]+Floor[(n1)/5]+((1+Floor[(n1)/5])^2)!*( (1+Sqrt[3])^((n1)(1+2*(Floor[(n1)/5]))!)(1Sqrt[3])^((n1)(1+2*(Flo or[(n1)/5]))!))/(2*Sqrt[3])
a[n4] = EulerPhi[Prime[Mod[4,(n4)]!!]]+Floor[(n4)/5]+((1+Floor[(n4)/5])^2)!*( (1+Sqrt[3])^((n4)(1+2*(Floor[(n4)/5]))!)(1Sqrt[3])^((n4)(1+2*(Flo or[(n4)/5]))!))/(2*Sqrt[3])
a[n5]= EulerPhi[Prime[Mod[4,(n5)]!!]]+Floor[(n5)/5]+((1+Floor[(n5)/5])^2)!*( (1+Sqrt[3])^((n5)(1+2*(Floor[(n5)/5]))!)(1Sqrt[3])^((n5)(1+2*(Flo or[(n5)/5]))!))/(2*Sqrt[3])
Would it be possible to combine (utilize) above explicit and recurrent formulas (please keep in mind that indexes for the last four Heegner numbers are off by one if to compare explicit and recurrent formulas) towards deriving (either explicit or recurrent) formula which would cover all nine Heegner numbers?
Thanks, Alexander R. Povolotsky



