login
A089807
Expansion of Jacobi theta function (3theta_3(q^9)-theta_3(q))/2.
5
1, -1, 0, 0, -1, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1
OFFSET
0,10
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
This is an example of the quintuple product identity in the form f(a*b^4, a^2/b) - (a/b) * f(a^4*b, b^2/a) = f(-a*b, -a^2*b^2) * f(-a/b, -b^2) / f(a, b) where a = x^5, b = x. - Michael Somos, Jul 12 2012
Number 11 of the 14 primitive eta-products which are holomorphic modular forms of weight 1/2 listed by D. Zagier on page 30 of "The 1-2-3 of Modular Forms". - Michael Somos, May 04 2016
LINKS
Eric Weisstein's World of Mathematics, Jacobi Theta Functions.
Eric Weisstein's World of Mathematics, Quintuple Product Identity.
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions.
FORMULA
a(n) = -b(n) where b() is multiplicative with b(3^e) = -2(1 + (-1)^e) / 2 if e>0, b(p^e) = (1 + (-1)^e) / 2 otherwise.
From Michael Somos, Nov 05 2005: (Start)
Expansion of eta(q) * eta(q^4) * eta(q^6)^2 / (eta(q^2) * eta(q^3) * eta(q^12)) in powers of q.
Euler transform of period 12 sequence [ -1, 0, 0, -1, -1, -1, -1, -1, 0, 0, -1, -1, ...].
G.f.: (Sum_{k in Z} 3 * x^((3*k)^2) - x^(k^2)) / 2 = Product_{k>0} (1 - x^k) / ((1 - x^(12*k - 2)) * (1 - x^(12*k - 3)) * (1 - x^(12*k - 9)) * (1 - x^(12*k - 10))). (End)
Expansion of Jacobi theta function theta_3(Pi/3, q) in powers of q. - Michael Somos, Jan 26, 2006
Expansion of chi(q^3) * psi(-q) in powers of q where chi(), psi() are Ramanujan theta functions. - Michael Somos, May 19 2007
Expansion of f(x*w, x/w) in powers of x where w is a primitive cube root of unity and f(, ) is Ramanujan's general theta function. - Michael Somos, Sep 17 2007
G.f. is a period 1 Fourier series which satisfies f(-1 / (36 t)) = 18^(1/2) (t/i)^(1/2) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A089801.
a(n) = (-1)^n * A089810(n). - Michael Somos, Jan 20 2012
For n > 0, a(n) = (floor(sqrt(n))-floor(sqrt(n-1)))*(2-4*sin(floor(sqrt(n))*Pi/3)^2). - Mikael Aaltonen, Jan 17 2015
Sum_{k=1..n} abs(a(k)) ~ (4/3)*sqrt(n). - Amiram Eldar, Jan 27 2024
EXAMPLE
G.f. = 1 - q - q^4 + 2*q^9 - q^16 - q^25 + 2*q^36 - q^49 - q^64 + 2*q^81 + ...
MATHEMATICA
a[ n_] := SeriesCoefficient[ EllipticTheta[ 3, Pi/3, q], {q, 0, n}]; (* Michael Somos, Jul 12 2012 *)
a[ n_] := SeriesCoefficient[ (3 EllipticTheta[ 3, 0, q^9] - EllipticTheta[ 3, 0, q])/2, {q, 0, n}]; (* Michael Somos, Jul 12 2012 *)
a[ n_] := SeriesCoefficient[ QPochhammer[ -q^3, q^6] EllipticTheta[ 2, 0, Sqrt[ -q]] / (2 (-q)^(1/8)), {q, 0, n}] (* Michael Somos, Jul 12 2012 *);
PROG
(PARI) {a(n) = if( n<1, n==0, issquare(n) * (3*(n%3==0) - 1))}; /* Michael Somos, Nov 05 2005 */
CROSSREFS
Related to the 14 primitive eta-products which are holomorphic modular forms of weight 1/2: A000122, A002448, A010054, A010815, A080995, A089801, A089802, this sequence, A089810, A089812, A106459, A121373, A133985, A133988. - Seiichi Manyama, May 15 2017
Sequence in context: A359602 A280618 A347714 * A089810 A214411 A324179
KEYWORD
sign
AUTHOR
Eric W. Weisstein, Nov 12 2003
STATUS
approved