login
Moebius transform of f(x) = EulerPhi(x^2) function (A002618).
3

%I #33 Jan 22 2024 00:04:59

%S 1,1,5,6,19,5,41,24,48,19,109,30,155,41,95,96,271,48,341,114,205,109,

%T 505,120,480,155,432,246,811,95,929,384,545,271,779,288,1331,341,775,

%U 456,1639,205,1805,654,912,505,2161,480,2016,480,1355,930,2755,432

%N Moebius transform of f(x) = EulerPhi(x^2) function (A002618).

%C Same as Moebius transform of g(x) = x*EulerPhi(x). - _Benoit Cloitre_, Apr 05 2002

%H Amiram Eldar, <a href="/A063445/b063445.txt">Table of n, a(n) for n = 1..10000</a>

%F a(n) = Sum_{d|n} phi(d^2)*mu(n/d).

%F Multiplicative with a(p) = p^2 - p - 1 and a(p^e) = p^(2*e) - p^(2*e-1) - p^(2*e-2) + p^(2*e-3), e > 1. - _Vladeta Jovovic_, Jul 29 2001

%F Dirichlet g.f. zeta(s-2)/(zeta(s)*zeta(s-1)). - _R. J. Mathar_, Feb 09 2011

%F Sum_{k=1..n} a(k) ~ 2*n^3 / (Pi^2 * Zeta(3)). - _Vaclav Kotesovec_, Feb 01 2019

%F Sum_{k>=1} 1/a(k) = Product_{primes p} (1 + 1/(p^2-p-1) + p/((p-1)^3 * (p+1)^2)) = 3.037448431566721466562170968413075105160439538735056586164601312913619316... - _Vaclav Kotesovec_, Sep 20 2020

%F a(n) = Sum_{1 <= i, j <= n} gcd(i, j, n)*moebius(gcd(i, j, n)) = Sum_{d divides n} d*moebius(d)*J_2(n/d), where J_2 is the Jordan totient function A007434. - _Peter Bala_, Jan 21 2024

%e For n=20, divisors = {1,2,4,5,10,20}, phi(d^2) = {1,2,8,20,40,160}, mu(20/d) = {0,1,-1,0,-1,1}, a(20) = 0 + 2 - 8 + 0 - 40 + 160 = 114.

%e a(20) = a(4)*a(5) = (16 - 8 - 4 + 2)*(25 - 5 - 1) = 6*19 = 114.

%t Table[Sum[EulerPhi[d]*MoebiusMu[n/d]*d, {d, Divisors[n]}], {n, 1, 50}] (* _Vaclav Kotesovec_, Feb 01 2019 *)

%o (PARI) a(n)=if(n<1,0,sumdiv(n,d,d*eulerphi(d)*moebius(n/d)))

%Y Cf. A000010, A002618, A057660, A007434.

%K nonn,mult,easy

%O 1,3

%A _Labos Elemer_, Jul 24 2001