OFFSET
1,2
LINKS
Robert Israel, Table of n, a(n) for n = 1..10000
FORMULA
Also Sum_{d|n} d^m*phi(d^(4-m)) for m=0, 1, 2, 3.
Multiplicative with a(p^e) = 1 + p^3 * (p-1)(p^(4e)-1)/(p^4-1).
G.f.: Sum_{k>=1} k^3*phi(k)*x^k/(1 - x^k). - Ilya Gutkovskiy, Mar 10 2018
Sum_{k=1..n} a(k) ~ c * n^5, where c = zeta(5)/(5*zeta(2)) = 0.126075... . - Amiram Eldar, Dec 01 2022
From Peter Bala, Jan 21 2024: (Start)
a(n) = Sum_{k = 1..n} (n/gcd(k, n))^3 = Sum_{k = 1..n} (lcm(k, n)/k)^3.
Dirichlet g.f.: zeta(s) * zeta(s-4)/zeta(s-3). (End)
MAPLE
f:= n -> add(numtheory:-phi(d^4), d=numtheory:-divisors(n)):
map(f, [$1..100]); # Robert Israel, Sep 13 2018
MATHEMATICA
Table[Total[EulerPhi[Divisors[n]^4]], {n, 40}] (* Vincenzo Librandi, Sep 13 2018 *)
f[p_, e_] := 1 + p^3*(p - 1)*(p^(4*e) - 1)/(p^4 - 1); a[1] = 1; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 40] (* Amiram Eldar, Dec 01 2022 *)
PROG
(PARI) a(n) = sumdiv(n, d, eulerphi(d^4)); \\ Michel Marcus, Mar 10 2018
CROSSREFS
KEYWORD
easy,nonn,mult
AUTHOR
Benoit Cloitre, Apr 06 2002
STATUS
approved