login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A129522 Expansion of unique weight 3 level 11 multiplicative cusp form in powers of q. 4
1, 0, -5, 4, -1, 0, 0, 0, 16, 0, -11, -20, 0, 0, 5, 16, 0, 0, 0, -4, 0, 0, 35, 0, -24, 0, -35, 0, 0, 0, -37, 0, 55, 0, 0, 64, -25, 0, 0, 0, 0, 0, 0, -44, -16, 0, 50, -80, 49, 0, 0, 0, -70, 0, 11, 0, 0, 0, 107, 20, 0, 0, 0, 64, 0, 0, 35, 0, -175, 0, -133, 0, 0 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,3

COMMENTS

This is a member of an infinite family of odd weight level 11 multiplicative modular forms. g_1 = A035179, g_3 = A129522, g_5 = A065099, g_7 = A138661.

LINKS

Table of n, a(n) for n=1..73.

FORMULA

Expansion of (F(q)^2 + 4*F(q^2)^2 + 8*F(q^4)^2) * F(q)^2 / F(q^2) in powers of q where F(q) := eta(q) * eta(q^11) is the g.f. of A030200.

a(n) is multiplicative with a(11^e) = (-11)^e, a(p^e) = (1+(-1)^e)/2*p^e if p == 2, 6, 7, 8, 10 (mod 11), a(p^e) = a(p)*a(p^(e-1)) - p^2*a(p^(e-2)) if p == 1, 3, 4, 5, 9 (mod 11) where a(p) = y^2 - 2*p and 4*p = y^2 + 11*x^2.

G.f. is a period 1 Fourier series which satisfies f(-1 / (11 t)) = 11^(3/2) (t/i)^3 f(t) where q = exp(2 Pi i t).

G.f.: (1/2) * Sum_{u, v in Z} (u*u - 3*v*v) * x^(u*u + u*v + 3*v*v). - Michael Somos, Jun 14 2007

Convolution of A006571 and A028609. - Michael Somos, Aug 14 2012

a(4*n + 2) = 0. - Michael Somos, Nov 11 2015

EXAMPLE

G.f. = q - 5*q^3 + 4*q^4 - q^5 + 16*q^9 - 11*q^11 - 20*q^12 + 5*q^15 + 16*q^16 + ...

MATHEMATICA

a[ n_] := Module[ {A, B}, B = QPochhammer[ q] QPochhammer[ q^11]; A = B / (q QPochhammer[ q^3] QPochhammer[ q^33]); SeriesCoefficient[ q B^3 (1 + 3 / A) Sqrt[ q (A + 1 + 3 / A)], {q, 0, n}]]; (* Michael Somos, Mar 26 2015 *)

PROG

(PARI) {a(n) = my(A, B); if( n<1, 0, n--; A = x * O(x^n); B = eta(x + A) * eta(x^11 + A); A = B /( x * eta(x^3 + A) * eta(x^33 + A)); A = B^3 * (1 + 3/A) * sqrt(x * (A + 1 + 3/A)); polcoeff(A, n))};

(PARI) {a(n) = my(A, p, e, x, y, a0, a1); if( n<1, 0, A = factor(n); prod( k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==11, (-11)^e, kronecker( -11, p)==-1, if( e%2, 0, p^e), for( x=1, sqrtint(4*p\11), if( issquare(4*p - 11*x^2, &y), break)); y = y^2 - p*2; a0=1; a1=y; for( i=2, e, x = y*a1 - p^2*a0; a0=a1; a1=x); a1)))}; /* Michael Somos, Jun 06 2007 */

(PARI) {a(n) = my(A); if( n<1, 0, n--; A = x * O(x^n); A = eta(x + A) * eta(x^11 + A); polcoeff( A^2 / subst(A + x * O(x^(n\2)), x, x^2) * (A^2 + 4*x * subst(A + x * O(x^(n\2)), x, x^2)^2 + 8 * x^3 * subst(A + x * O(x^(n\4)), x, x^4)^2), n))}; /* Michael Somos, Jun 06 2007 */

(MAGMA) A := Basis( CuspForms( Gamma1(11), 3), 73); A[1] - 5*A[3] + 4*A[4] - A[5]; /* Michael Somos, Mar 26 2015 */

CROSSREFS

Cf. A006571, A028609, A030200, A035179, A065099, A138661.

Sequence in context: A020847 A128355 A325221 * A133842 A199453 A245699

Adjacent sequences:  A129519 A129520 A129521 * A129523 A129524 A129525

KEYWORD

sign,mult

AUTHOR

Michael Somos, Apr 19 2007, Jun 06 2007

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 24 04:23 EDT 2019. Contains 322406 sequences. (Running on oeis4.)