cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A347136 a(n) = Sum_{d|n} d * A003961(n/d), where A003961 shifts the prime factorization of its argument one step towards larger primes.

Original entry on oeis.org

1, 5, 8, 19, 12, 40, 18, 65, 49, 60, 24, 152, 30, 90, 96, 211, 36, 245, 42, 228, 144, 120, 52, 520, 109, 150, 272, 342, 60, 480, 68, 665, 192, 180, 216, 931, 78, 210, 240, 780, 84, 720, 90, 456, 588, 260, 100, 1688, 247, 545, 288, 570, 112, 1360, 288, 1170, 336, 300, 120, 1824, 128, 340, 882, 2059, 360, 960, 138
Offset: 1

Views

Author

Antti Karttunen, Aug 24 2021

Keywords

Comments

Dirichlet convolution of the identity function (A000027) with the prime shifted identity (A003961). Multiplicative because both A000027 and A003961 are.
Dirichlet convolution of Euler phi (A000010) with the prime shifted sigma (A003973).
Dirichlet convolution of sigma (A000203) with the prime shifted phi (A003972).
Inverse Möbius transform of A347137.

Links

Crossrefs

Cf. A003961, A003972, A003973, A151800, A347121, A347137 (Möbius transform).
Cf. also A038040, A336845, A336475, A347236.

Programs

  • Mathematica
    f[p_, e_] := ((np = NextPrime[p])^(e + 1) - p^(e + 1))/(np - p); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100] (* Amiram Eldar, Aug 24 2021 *)
  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); };
A347136(n) = sumdiv(n,d,d*A003961(n/d));

Formula

a(n) = Sum_{d|n} d * A003961(n/d).
a(n) = Sum_{d|n} A000010(n/d) * A003973(d).
a(n) = Sum_{d|n} A000203(n/d) * A003972(d).
a(n) = Sum_{d|n} A347137(d).
For all primes p, a(p) = p + A003961(p).
a(n) = A347121(n) + 2*n.
Multiplicative with a(p^e) = (A151800(p)^(e+1) - p^(e+1))/(A151800(p)-p). - Amiram Eldar, Aug 24 2021

A347122 Möbius transform of A347121.

Original entry on oeis.org

-1, 2, 3, 10, 3, 24, 5, 38, 29, 36, 3, 90, 5, 56, 61, 130, 3, 152, 5, 138, 95, 72, 7, 306, 57, 92, 187, 214, 3, 292, 7, 422, 121, 108, 139, 550, 5, 128, 155, 474, 3, 452, 5, 282, 403, 160, 7, 990, 145, 348, 181, 358, 7, 856, 173, 734, 215, 180, 3, 1046, 7, 208, 625, 1330, 223, 604, 5, 426, 269, 700, 3, 1838, 7, 236
Offset: 1

Views

Author

Antti Karttunen, Aug 24 2021

Keywords

Links

Crossrefs

Cf. A000010, A001223, A003961, A008683, A347121, A347136, A347137.

Programs

  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); };
A347121(n) = (sumdiv(n,d,d*A003961(n/d))-(2*n));
A347122(n) = sumdiv(n,d,moebius(n/d)*A347121(d));

Formula

a(n) = Sum_{d|n} A008683(n/d) * A347121(d).
a(n) = A347137(n) - 2*A000010(n).
For all n >= 1, a(A000040(n)) = 1 + A001223(n).

A347237 Möbius transform of A347236.

Original entry on oeis.org

1, 0, 1, 6, 1, 0, 3, 6, 17, 0, 1, 6, 3, 0, 1, 42, 1, 0, 3, 6, 3, 0, 5, 6, 37, 0, 49, 18, 1, 0, 5, 78, 1, 0, 3, 102, 3, 0, 3, 6, 1, 0, 3, 6, 17, 0, 5, 42, 89, 0, 1, 18, 5, 0, 1, 18, 3, 0, 1, 6, 5, 0, 51, 330, 3, 0, 3, 6, 5, 0, 1, 102, 5, 0, 37, 18, 3, 0, 3, 42, 353, 0, 5, 18, 1, 0, 1, 6, 7, 0, 9, 30, 5, 0, 3, 78, 3, 0, 17
Offset: 1

Views

Author

Antti Karttunen, Aug 24 2021

Keywords

Comments

Dirichlet convolution of A003972 (prime shifted phi) with A061019.
Dirichlet convolution of A003961 with A158523.
Multiplicative because A003972 and A061019 are, and also because A347236 is.
From Antti Karttunen, Aug 25 2021: (Start)
All terms are nonnegative because sequence is multiplicative and a(p^k) >= 0 for all primes p and k >= 0.
Proof: For any prime p, sequence a(p^k), k>=0, is obtained as an ordinary convolution of sequences (-p)^k and the first differences of q^k, where q = A151800(p). (E.g., for powers of 2, the sequences convolved are A122803 and A025192, giving A102901.) This convolution is an alternating sum, with the terms 1*(q-1)*q^(k-1), -(p)*(q-1)*q^(k-2), (p^2)*(q-1)*q^(k-3), -(p^3)*(q-1)*q^(k-4), ..., (p^(k-1))*(q-1), -(p^k), for odd k, with sum of each consecutive pair being nonnegative because q >= p+1, while with an even exponent k, the leftover term p^k at the end is also positive, thus the whole sum is nonnegative also in that case.
(End)

Links

Crossrefs

Cf. A000040, A001223, A003961, A003972, A008683, A008836, A016825 (positions of zeros), A061019, A102901, A120612, A158523, A347236.
Cf. also A347137.
Cf. A151800.

Programs

  • PARI
    A003961(n) = { my(f = factor(n)); for(i=1, #f~, f[i, 1] = nextprime(f[i, 1]+1)); factorback(f); };
A061019(n) = (((-1)^bigomega(n))*n);
A347237(n) = sumdiv(n,d,A061019(d)*eulerphi(A003961(n/d)));
\\ Or alternatively as:
A158523(n) = { my(f=factor(n)); prod(i=1, #f~, my(p=f[i,1], e=f[i,2]); ((-1)^e)*(p+1)*(p^(e-1))); };
A347237(n) = sumdiv(n,d,A003961(n/d)*A158523(d));

Formula

a(n) = Sum_{d|n} A008683(n/d) * A347236(d).
a(n) = Sum_{d|n} A003972(n/d) * A061019(d).
a(n) = Sum_{d|n} A003961(n/d) * A158523(d).
For all n >= 1, a(A000040(n)) = A001223(n) - 1.
For all n >= 0, a(2^n) = A102901(n).
For all n >= 0, a(3^n) = A120612(n).
Multiplicative with a(p^e) = (-p)^e + (A151800(p)-1)*(A151800(p)^e-(-p)^e)/(A151800(p)+p). - Sebastian Karlsson, Sep 02 2021
Showing 1-3 of 3 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.