1,4

Amiram Eldar, Table of n, a(n) for n = 1..10000

a(n) = uphi(n) * Sum_{p^e || n} (e/(p^e-1)), where uphi = A047994, and p^e || n denotes that the prime power p^e unitarily divides n (i.e., p^e divides n but p^(e+1) does not divide n).

Sum_{k=1..n} a(k) ~ c * n^2 / 2, where c = c1 * c2 = 0.31889766457764592387..., c1 = Product_{p prime}(1 - 1/(p*(p+1))) = A065463, and c2 = Sum_{p prime}(p^2/((p^2-1)*(p^2+p-1))) = 0.45269528731431531046... .

For n = 12 and the integers k from 1 to 12, the greatest divisor of k that is a unitary divisor of 12 are 1, 1, 3, 4, 1, 3, 1, 4, 3, 1, 1 and 12, respectively. The prime powers are 3 = 3^1, 4 = 2^2, 3 = 3^1, 4 = 2^2 and 3 = 3^1, and the sum of the exponents is a(12) = 1 + 2 + 1 + 2 + 1 = 7.

a[n_] := Module[{f = FactorInteger[n], p, e}, p = f[[;; , 1]]; e = f[[;; , 2]]; Times @@ (p^e-1) * Total[e/(p^e-1)]]; a[1] = 0; Array[a, 100]

(PARI) a(n) = {my(f = factor(n)); prod(i = 1, #f~, f[i, 1]^f[i, 2]-1) * sum(i = 1, #f~, f[i, 2]/(f[i, 1]^f[i, 2] - 1)); }

The unitary analog of A122410.

Cf. A047994, A065463, A077610, A246655, A384047, A385198.

Sequence in context: A002616 A046073 A309786 * A162912 A230070 A224762

Adjacent sequences: A385197 A385198 A385199 * A385201 A385202 A385203

nonn,easy

Amiram Eldar, Jun 21 2025

approved