cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-3 of 3 results.

A382125 G.f. A(x) = exp( Sum_{n>=1} sigma(n)*sigma(2*n) * x^n/n ), where sigma(n) = A000203(n) is the sum of the divisors of n.

Original entry on oeis.org

1, 3, 15, 52, 180, 555, 1696, 4809, 13410, 35844, 93771, 238305, 594403, 1449441, 3476607, 8190824, 19015548, 43492230, 98197506, 218885763, 482337864, 1051051262, 2266904481, 4840955055, 10242621395, 21479302368, 44666897613, 92139573135, 188617118541, 383280793962, 773395096907
Offset: 0

Views

Author

Paul D. Hanna, Apr 06 2025

Keywords

Comments

Compare with g.f. for partition numbers: exp( Sum_{n>=1} sigma(n)*x^n/n ), where sigma(n) = A000203(n) is the sum of the divisors of n.
Equals the self-convolution cube of A382124.
Conjectures: a(3*n) == A382124(n) (mod 3) for n >= 0; a(3*n+1) == 0 (mod 3) and a(3*n+2) == 0 (mod 3) for n >= 0.

Examples

			G.f.: A(x) = 1 + 3*x + 15*x^2 + 52*x^3 + 180*x^4 + 555*x^5 + 1696*x^6 + 4809*x^7 + 13410*x^8 + 35844*x^9 + 93771*x^10 + ...
where
A(x) = exp(3*x + 21*x^2/2 + 48*x^3/3 + 105*x^4/4 + 108*x^5/5 + 336*x^6/6 + 192*x^7/7 + 465*x^8/8 + 507*x^9/9 + 756*x^10/10 + ... + sigma(n)*sigma(2*n)*x^n/n + ...).
RELATED SERIES.
A(x)^(1/3) = 1 + x + 4*x^2 + 9*x^3 + 22*x^4 + 44*x^5 + 105*x^6 + 200*x^7 + 425*x^8 + 825*x^9 + 1634*x^10 + ... + A382124(n)*x^n + ...

Links

Crossrefs

Cf. A382124, A382123, A156302, A347108, A000203 (sigma), A000041 (partitions).
Cf. A087943, A329963.

Programs

  • Mathematica
    nmax=30; CoefficientList[Series[Exp[Sum[DivisorSigma[1,n]DivisorSigma[1,2*n] * x^n/n ,{n,nmax}]],{x,0,nmax}],x] (* Stefano Spezia, Apr 06 2025 *)
  • PARI
    {a(n) = my(A = exp( sum(m=1,n, sigma(m)*sigma(2*m)*x^m/m ) +x*O(x^n) ));
polcoef(A,n)}
for(n=0,30, print1(a(n),", "))

Formula

G.f. A(x) = Sum_{n>=0} a(n)*x^n satisfies the following formulas.
(1) A(x) = exp( Sum_{n>=1} sigma(n)*sigma(2*n) * x^n/n ).
(2) A(x) = exp( Sum_{n>=1} Sum_{k>=1} sigma(2*n*k) * x^(n*k) / n ).
(3) a(n) = (1/n) * Sum_{k=1..n} sigma(k)*sigma(2*k) * a(n-k) for n>0, with a(0) = 1.

A382123 a(n) = sigma(n)*sigma(2*n)/3 for n >= 1.

Original entry on oeis.org

1, 7, 16, 35, 36, 112, 64, 155, 169, 252, 144, 560, 196, 448, 576, 651, 324, 1183, 400, 1260, 1024, 1008, 576, 2480, 961, 1372, 1600, 2240, 900, 4032, 1024, 2667, 2304, 2268, 2304, 5915, 1444, 2800, 3136, 5580, 1764, 7168, 1936, 5040, 6084, 4032, 2304, 10416, 3249, 6727, 5184, 6860
Offset: 1

Views

Author

Paul D. Hanna, Apr 06 2025

Keywords

Comments

For n >= 1, 2*A329963(n) = A087943(k) for some k; this is a consequence of the prime factorization properties of the numbers listed in A329963 and A087943 (see the comments in both entries). That is, two times any term found in A329963 (numbers k such that sigma(k) is not divisible by 3) equals a term found in A087943 (numbers k such that 3 divides sigma(k)). Therefore sigma(n)*sigma(2*n) is divisible by 3 for n >= 1.
Equals the logarithmic derivative of A382124.

Crossrefs

Cf. A382124, A382125, A087943, A329963, A347108.
Cf. A000203, A062731.

Programs

  • PARI
    {a(n) = sigma(n)*sigma(2*n)/3}
for(n=1,52, print1(a(n),", "))

Formula

a(n) = A000203(n) * A062731(n) / 3.
Sum_{k=1..n} a(k) ~ 2*zeta(3)*n^3/3. - Vaclav Kotesovec, Apr 06 2025

A382124 G.f. A(x) = exp( Sum_{n>=1} sigma(n)*sigma(2*n)/3 * x^n/n ), where sigma(n) = A000203(n) is the sum of the divisors of n.

Original entry on oeis.org

1, 1, 4, 9, 22, 44, 105, 200, 425, 825, 1634, 3072, 5917, 10846, 20153, 36436, 65882, 116831, 207293, 361502, 629539, 1083068, 1856251, 3150554, 5328137, 8933266, 14920357, 24745481, 40869317, 67089425, 109697089, 178379353, 288953043, 465805681, 748079686, 1196148976, 1905801579, 3024212984
Offset: 0

Views

Author

Paul D. Hanna, Apr 06 2025

Keywords

Comments

Compare with g.f. for partition numbers: exp( Sum_{n>=1} sigma(n)*x^n/n ), where sigma(n) = A000203(n) is the sum of the divisors of n.
Equals the self-convolution cube root of A382125.
Conjecture: a(n) == A382125(3*n) (mod 3) for n >= 0.

Examples

			G.f.: A(x) = 1 + x + 4*x^2 + 9*x^3 + 22*x^4 + 44*x^5 + 105*x^6 + 200*x^7 + 425*x^8 + 825*x^9 + 1634*x^10 + 3072*x^11 + 5917*x^12 + ...
RELATED SERIES.
A(x)^3 = 1 + 3*x + 15*x^2 + 52*x^3 + 180*x^4 + 555*x^5 + 1696*x^6 + 4809*x^7 + 13410*x^8 + ... + A382125(n)*x^n + ...

Links

Crossrefs

Cf. A382125, A382123, A156302, A347108, A000203 (sigma), A000041 (partitions).
Cf. A087943, A329963.

Programs

  • Mathematica
    nmax=37; CoefficientList[Series[Exp[Sum[DivisorSigma[1,n]DivisorSigma[1,2*n] * x^n/(3n) ,{n,nmax}]],{x,0,nmax}],x] (* Stefano Spezia, Apr 06 2025 *)
  • PARI
    {a(n) = my(A = exp( sum(m=1,n, sigma(m)*sigma(2*m)/3*x^m/m ) +x*O(x^n) ));
polcoef(A,n)}
for(n=0,30, print1(a(n),", "))

Formula

G.f. A(x) = Sum_{n>=0} a(n)*x^n satisfies the following formulas.
(1) A(x) = exp( (1/3) * Sum_{n>=1} sigma(n)*sigma(2*n) * x^n/n ).
(2) A(x) = exp( (1/3) * Sum_{n>=1} (1/n) * Sum_{k>=1} sigma(2*n*k) * x^(n*k) ).
(3) a(n) = (1/n) * Sum_{k=1..n} sigma(k)*sigma(2*k)/3 * a(n-k) for n > 0, with a(0) = 1.
Showing 1-3 of 3 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.