OFFSET
-1,2
COMMENTS
T_4 is the unique weight = -2 normalized meromorphic modular form for SL(2,Z) with all poles at infinity.
REFERENCES
C. L. Siegel, Advanced Analytic Number Theory, Tata Institute of Fundamental Research, Bombay, 1980, pp. 249-268.
LINKS
Seiichi Manyama, Table of n, a(n) for n = -1..1000
FORMULA
G.f.: G_10/Delta (in Siegel's notation.)
G.f.: E_4 * E_6 / Delta where Delta = eta(q)^24. - Michael Somos, Mar 02 2018
a(n) ~ -exp(4*Pi*sqrt(n)) / (sqrt(2) * n^(7/4)). - Vaclav Kotesovec, Oct 04 2020
EXAMPLE
T_4 = 1/q - 240 - 141444*q - 8529280*q^2 - 238758390*q^3 - 4303488384*q^4 - ...
MATHEMATICA
a[ n_] := SeriesCoefficient[ With[ {t2 = EllipticTheta[ 2, 0, q]^4, t3 = EllipticTheta[ 3, 0, q]^4}, (t2^2 + 14 t2 t3 + t3^2) (t2^3 - 33 (t2 + t3) t2 t3 + t3^3) / (q QPochhammer[ q]^24)], {q, 0, n}]; (* Michael Somos, Mar 02 2018 *)
a[ n_] := SeriesCoefficient[ With[{t3 = EllipticTheta[ 3, 0, q]^4, t4 = EllipticTheta[ 4, 0, q]^4}, (16 t3^2 - 16 t3 t4 + t4^2) (64 t3^3 - 96 t3^2 t4 + 30 t3 t4^2 + t4^3) / (- q QPochhammer[ q]^24)], {q, 0, n}]; (* Michael Somos, Mar 02 2018 *)
CROSSREFS
KEYWORD
sign,easy,nice
AUTHOR
Barry Brent (barryb(AT)primenet.com)
STATUS
approved