|
|
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
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,10
|
|
COMMENTS
|
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
|
|
|
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.
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.
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
|
|
KEYWORD
|
sign
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|