A355939 Dirichlet inverse of A080339, characteristic function of noncomposite numbers.

1, -1, -1, 1, -1, 2, -1, -1, 1, 2, -1, -3, -1, 2, 2, 1, -1, -3, -1, -3, 2, 2, -1, 4, 1, 2, -1, -3, -1, -6, -1, -1, 2, 2, 2, 6, -1, 2, 2, 4, -1, -6, -1, -3, -3, 2, -1, -5, 1, -3, 2, -3, -1, 4, 2, 4, 2, 2, -1, 12, -1, 2, -3, 1, 2, -6, -1, -3, 2, -6, -1, -10, -1, 2, -3, -3, 2, -6, -1, -5, 1, 2, -1, 12, 2, 2, 2, 4, -1, 12, 2, -3, 2, 2, 2, 6, -1, -3, -3, 6, -1, -6, -1, 4, -6

Offset

1,6

Comments

The absolute values of this sequence are given by A008480. Compare also to A355817 and A335452.

Links

Antti Karttunen, Table of n, a(n) for n = 1..100000

Index entries for sequences computed from exponents in factorization of n

Formula

a(1) = 1, and for n > 1, a(n) = -Sum_{d|n, d<n} A010051(n/d) * a(d).

Dirichlet g.f.: 1/(1 + B(s)), where B(s) is d.g.f. of characteristic function of primes. - Vaclav Kotesovec, Jul 22 2022

Mathematica

s[n_] := If[CompositeQ[n], 0, 1]; a[1] = 1; a[n_] := a[n] = -DivisorSum[n, s[n/#]*a[#] &, # < n &]; Array[a, 100] (* Amiram Eldar, Jul 21 2022 *)

Prog

(PARI)
memoA355939 = Map();
A355939(n) = if(1==n, 1, my(v); if(mapisdefined(memoA355939, n, &v), v, v = -sumdiv(n, d, if(d<n, isprime(n/d)*A355939(d), 0)); mapput(memoA355939, n, v); (v)));

Crossrefs

Cf. A008480, A010051, A080339.

Cf. also A346482, A355817, A355827.

Sequence in context: A321747 A008480 A168324 * A303838 A324837 A285572

Adjacent sequences: A355936 A355937 A355938 * A355940 A355941 A355942

Keyword

sign

Author

Antti Karttunen, Jul 21 2022

Status

approved