|
%I #42 Oct 29 2023 02:38:40
%S 1,65537,43046722,4295032833,152587890626,2821153019714,
%T 33232930569602,281479271743489,1853020231898563,10000152587956162,
%U 45949729863572162,184887084343023426,665416609183179842,2177986570740006274,6568408508343827972,18447025552981295105
%N a(n) = sigma_16(n), the sum of the 16th powers of the divisors of n.
%C If the canonical factorization of n into prime powers is the product of p^e(p) then sigma_k(n) = Product_p ((p^((e(p)+1)*k))-1)/(p^k-1).
%C Sum_{d|n} 1/d^k is equal to sigma_k(n)/n^k. So sequences A017665-A017712 also give the numerators and denominators of sigma_k(n)/n^k for k = 1..24. The power sums sigma_k(n) are in sequences A000203 (k=1), A001157-A001160 (k=2,3,4,5), A013954-A013972 for k = 6,7,...,24. - Ahmed Fares (ahmedfares(AT)my-deja.com), Apr 05 2001
%H Vincenzo Librandi, <a href="/A013964/b013964.txt">Table of n, a(n) for n = 1..1000</a>
%H <a href="/index/Si#SIGMAN">Index entries for sequences related to sigma(n)</a>.
%F G.f.: Sum_{k>=1} k^16*x^k/(1-x^k). - _Benoit Cloitre_, Apr 21 2003
%F Dirichlet g.f.: zeta(s-16)*zeta(s). - _Ilya Gutkovskiy_, Sep 10 2016
%F From _Amiram Eldar_, Oct 29 2023: (Start)
%F Multiplicative with a(p^e) = (p^(16*e+16)-1)/(p^16-1).
%F Sum_{k=1..n} a(k) = zeta(17) * n^17 / 17 + O(n^18). (End)
%t DivisorSigma[16, Range[30]] (* _Vincenzo Librandi_, Sep 10 2016 *)
%o (Sage) [sigma(n,16)for n in range(1,14)] # _Zerinvary Lajos_, Jun 04 2009
%o (Magma) [DivisorSigma(16, n): n in [1..20]]; // _Vincenzo Librandi_, Sep 10 2016
%o (PARI) my(N=99, q='q+O('q^N)); Vec(sum(n=1, N, n^16*q^n/(1-q^n))) \\ _Altug Alkan_, Sep 10 2016
%o (PARI) a(n) = sigma(n, 16); \\ _Amiram Eldar_, Oct 29 2023
%Y Cf. A000203, A001157-A001160, A013675, A013954-A013972, A017665-A017712.
%K nonn,mult,easy
%O 1,2
%A _N. J. A. Sloane_
| 