OFFSET
1,2
COMMENTS
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..10000
Andrew V. Lelechenko, Exponential and infinitary divisors, Ukrainian Mathematical Journal, Vol. 68, No. 8 (2017), pp. 1222-1237; arXiv preprint, arXiv:1405.7597 [math.NT] (2014).
FORMULA
Multiplicative with a(p^e) = Sum_{d infinitary divisor of e} p^d.
MATHEMATICA
idivs[1] = {1}; idivs[n_] := Sort @ Flatten @ Outer[Times, Sequence @@ (FactorInteger[n] /. {p_, e_Integer} :> p^Select[Range[0, e], BitOr[e, #] == e &])];
f[p_, e_] := Total[p^idivs[e]]; a[n_] := Times @@ f @@@ FactorInteger[n]; Array[a, 100]
PROG
(PARI) isidiv(d, f) = {if (d==1, return (1)); for (k=1, #f~, bne = binary(f[k, 2]); bde = binary(valuation(d, f[k, 1])); if (#bde < #bne, bde = concat(vector(#bne-#bde), bde)); for (j=1, #bne, if (! bne[j] && bde[j], return (0)); ); ); return (1); } \\ Michel Marcus at A077609
ff(p, e) = sumdiv(e, d, if(isidiv(d, factor(e)), p^d, 0));
a(n) = {my(f=factor(n)); prod(i=1, #f~, ff(f[i, 1], f[i, 2])); }
CROSSREFS
KEYWORD
nonn,mult
AUTHOR
Amiram Eldar, Mar 03 2023
STATUS
approved