OFFSET
1,2
REFERENCES
B. C. Berndt, Ramanujan's Notebooks Part III, Springer-Verlag, see p. 475 Entry 7(i).
LINKS
Seiichi Manyama, Table of n, a(n) for n = 1..10000
J. M. Borwein and P. B. Borwein, A cubic counterpart of Jacobi's identity and the AGM, Trans. Amer. Math. Soc., 323 (1991), no. 2, 691-701. MR1010408 (91e:33012).
FORMULA
Expansion of (eta(q^3)^10 / (eta(q) eta(q^9))^3 - 1) / 3 in powers of q.
a(n) is multiplicative with a(3^e) = 4 if e>0, a(p^e) = (p^(e+1) - 1) / (p - 1) otherwise.
G.f.: Sum_{k>0} k * x^k /(1 - x^k) - 9*k * x^(9*k) / (1 - x^(9*k)).
L.g.f.: log(Product_{k>=1} (1 - x^(9*k))/(1 - x^k)) = Sum_{n>=1} a(n)*x^n/n. - Ilya Gutkovskiy, Mar 14 2018
Sum_{k=1..n} a(k) ~ (2*Pi^2/27) * n^2. - Amiram Eldar, Oct 04 2022
EXAMPLE
q + 3*q^2 + 4*q^3 + 7*q^4 + 6*q^5 + 12*q^6 + 8*q^7 + 15*q^8 + 4*q^9 + ...
MATHEMATICA
With[{c=9Range[20]}, Table[Total[Complement[Divisors[i], c]], {i, 80}]] (* Harvey P. Dale, Dec 19 2010 *)
Drop[CoefficientList[Series[Sum[k * x^k /(1 - x^k) - 9*k * x^(9*k) / (1 - x^(9*k)) , {k, 1, 100}], {x, 0, 100}], x], 1] (* Indranil Ghosh, Mar 25 2017 *)
f[p_, e_] := If[p == 3, 4, (p^(e + 1) - 1)/(p - 1)]; a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Sep 17 2020 *)
PROG
(PARI) {a(n) = if( n<1, 0, sigma(n) - if( n%9==0, 9 * sigma(n/9)))}
(PARI) {a(n) = polcoeff( sum( k=1, n, k * (x^k /(1 - x^k) - 9 * x^(9*k) /(1 - x^(9*k))), x * O(x^n)), n)}
(PARI) q='q+O('q^66); Vec( (eta(q^3)^10/(eta(q)*eta(q^9))^3 - 1) /3 ) \\ Joerg Arndt, Mar 25 2017
(Python)
from sympy import divisors
print([sum(i for i in divisors(n) if i%9) for n in range(1, 101)]) # Indranil Ghosh, Mar 25 2017
CROSSREFS
KEYWORD
nonn,mult
AUTHOR
Michael Somos, Feb 19 2006
STATUS
approved