|
|
A300894
|
|
L.g.f.: log(Product_{k>=1} (1 + mu(k)^2*x^k)) = Sum_{n>=1} a(n)*x^n/n, where mu() is the Moebius function (A008683).
|
|
3
|
|
|
1, 1, 4, -3, 6, 4, 8, -3, 4, 6, 12, -12, 14, 8, 24, -3, 18, 4, 20, -18, 32, 12, 24, -12, 6, 14, 4, -24, 30, 24, 32, -3, 48, 18, 48, -12, 38, 20, 56, -18, 42, 32, 44, -36, 24, 24, 48, -12, 8, 6, 72, -42, 54, 4, 72, -24, 80, 30, 60, -72, 62, 32, 32, -3, 84, 48, 68, -54, 96, 48, 72, -12, 74, 38, 24
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,3
|
|
LINKS
|
|
|
FORMULA
|
G.f.: Sum_{k>=1} mu(k)^2*k*x^k/(1 + x^k).
a(n) = n + 1 if n is an odd prime (A065091).
Multiplicative with a(2^e) = 1 if e = 1, and -3 otherwise, and a(p^e) = p+1 for an odd prime p. - Amiram Eldar, Oct 25 2020
|
|
EXAMPLE
|
L.g.f.: L(x) = x + x^2/2 + 4*x^3/3 - 3*x^4/4 + 6*x^5/5 + 4*x^6/6 + 8*x^7/7 - 3*x^8/8 + 4*x^9/9 + 6*x^10/10 + ...
exp(L(x)) = 1 + x + x^2 + 2*x^3 + x^4 + 2*x^5 + 3*x^6 + 3*x^7 + 4*x^8 + 4*x^9 + 5*x^10 + ... + A087188(n)*x^n + ...
|
|
MATHEMATICA
|
nmax = 75; Rest[CoefficientList[Series[Log[Product[(1 + MoebiusMu[k]^2 x^k), {k, 1, nmax}]], {x, 0, nmax}], x] Range[0, nmax]]
nmax = 75; Rest[CoefficientList[Series[Sum[MoebiusMu[k]^2 k x^k/(1 + x^k), {k, 1, nmax}], {x, 0, nmax}], x]]
Table[DivisorSum[n, (-1)^(n/# + 1) # &, SquareFreeQ[#] &], {n, 75}]
f[p_, e_] := If[p == 2, If[e == 1, 1, -3], p + 1]; a[1] = 1; a[n_] := Times @@ (f @@@ FactorInteger[n]); Array[a, 100] (* Amiram Eldar, Oct 25 2020 *)
|
|
PROG
|
(PARI) seq(n)=Vec(sum(k=1, n, moebius(k)^2*k*x^k/(1 + x^k) + O(x*x^n))); \\ Andrew Howroyd, Jul 20 2018
(PARI) a(n)={sumdiv(n, d, if(issquarefree(d), (-1)^(n/d + 1) * d))} \\ Andrew Howroyd, Jul 20 2018
|
|
CROSSREFS
|
|
|
KEYWORD
|
sign,mult,easy
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|