OFFSET
1,3
REFERENCES
Nathan J. Fine, Basic Hypergeometric Series and Applications, Amer. Math. Soc., 1988; p. 84, Eq. (32.65).
FORMULA
Expansion of (1 - eta(q)^3 * eta(q^2)^3 / (eta(q^3) * eta(q^6))) / 3 in powers of q.
a(n) is multiplicative with a(2^e) = 1, a(3^e) = 4- 3^(e+1), a(p^e) = (p^(e+1) - 1) / (p-1) if p>3.
G.f.: (1 - Product_{k>0} ((1 - x^k) * (1 -x^(2*k)))^3 / ((1 - x^(3*k)) * (1 - x^(6*k)))) / 3.
G.f.: Sum_{k>0} (6*k-1) * x^(6*k-1) / (1 - x^(6*k-1)) - 2 * (6*k-5) * x^(6*k-3) / (1 - x^(6*k-3)) + (6*k-5) * x^(6*k-5) / (1 - x^(6*k-5)).
-3 * a(n) = A131943(n) unless n=0.
Sum_{k=1..n} abs(a(k)) ~ c * n^2, where c = 4*Pi^2/81 = 0.487387... . - Amiram Eldar, Jan 22 2024
EXAMPLE
G.f. = q + q^2 - 5*q^3 + q^4 + 6*q^5 - 5*q^6 + 8*q^7 + q^8 - 23*q^9 + 6*q^10 +...
MATHEMATICA
a[ n_] := If[ n < 1, 0, Sum[ d {0, 1, 0, -2, 0, 1}[[ Mod[ d, 6] + 1]], {d, Divisors @ n}]]; (* Michael Somos, Nov 11 2015 *)
QP = QPochhammer; s = (1 - QP[q]^3*(QP[q^2]^3/(QP[q^3]*QP[q^6])))/(3 q) + O[q]^70; CoefficientList[s, q] (* Jean-François Alcover, Nov 27 2015 *)
PROG
(PARI) {a(n) = if( n<1, 0, sumdiv(n, d, d*((d%6==1) + (d%6==5) - 2*(d%6==3))))};
(PARI) {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( (1 - eta(x + A)^3 * eta(x^2 + A)^3 / (eta(x^3 + A) * eta(x^6 + A)))/3, n))};
(PARI) {a(n) = my(A, p, e); if( n<1, 0, A = factor(n); prod(k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==2, 1, p==3, 4 - p^(e+1), (p^(e+1) - 1) / (p-1) )))};
CROSSREFS
KEYWORD
sign,mult
AUTHOR
Michael Somos, Jul 30 2007
STATUS
approved