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-10 of 28 results. Next

A380290 a(n) = [x^n] G(x)^n, where G(x) = Product_{k >= 1} 1/(1 - x^k)^(k^2) is the g.f. of A023871.

Original entry on oeis.org

1, 1, 11, 73, 539, 3976, 30107, 229811, 1771803, 13749742, 107305836, 841211966, 6619647419, 52258136399, 413682035393, 3282569032273, 26101575743771, 207930807629248, 1659134361686186, 13258065574274885, 106084302933126364, 849845499077000534, 6815530442695480418, 54712839001004065090
Offset: 0

Views

Author

Peter Bala, Jan 19 2025

Keywords

Comments

Given an integer sequence {f(n) : n >= 0} with f(0) = 1, there is a unique power series F(x) with rational coefficients, where F(0) = 1, such that f(n) = [x^n] F(x)^n. F(x) is given by F(x) = series_reversion(x/E(x)), where E(x) = exp(Sum_{n >= 1} f(n)*x^n/n). Furthermore, if the series E(x) has integer coefficients then the series F(x) also has integer coefficients and the sequence {f(n)} satisfies the Gauss congruences: f(n*p^r) == f(n*p^(r-1)) (mod p^r) for all primes p and positive integers n and r (by Stanley, Ch. 5, Ex. 5.2(a), p. 72 and the Lagrange inversion formula).
Thus the present sequence satisfies the Gauss congruences. In fact, stronger congruences appear to hold for the present sequence.
We conjecture that a(p) == 1 (mod p^3) for all primes p >= 7 (checked up to p = 61).
More generally, we conjecture that the supercongruence a(n*p^r) == a(n*p^(r-1)) (mod p^(3*r)) holds for all primes p >= 7 and positive integers n and r. Some examples are given below.

Examples

			Examples of supercongruences:
a(7) - a(1) = 229811 - 1 = 2*5*(7^3)*67 == 0 (mod 7^3)
a(3*7) - a(3) = 849845499077000534 - 73 = (7^3)*29243*84727410689 == 0 (mod 7^3)
a(19) - a(1) = 13258065574274885 - 1 = (2^2)*11*(19^3)*29*26723*56687 == 0 (mod 19^3)
		

References

  • R. P. Stanley. Enumerative combinatorics. Vol. 2, volume 62 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1999.

Crossrefs

Programs

  • Maple
    with(numtheory):
    G(x) := series(exp(add(sigma[3](k)*x^k/k, k = 1..23)),x,24):
    seq(coeftayl(G(x)^n, x = 0, n), n = 0..23);
  • Mathematica
    Table[SeriesCoefficient[Product[1/(1 - x^k)^(n*k^2), {k, 1, n}], {x, 0, n}], {n, 0, 25}] (* Vaclav Kotesovec, Jul 30 2025 *)
    (* or *)
    Table[SeriesCoefficient[Exp[n*Sum[DivisorSigma[3, k]*x^k/k, {k, 1, n}]], {x, 0, n}], {n, 0, 25}] (* Vaclav Kotesovec, Jul 30 2025 *)

Formula

a(n) = [x^n] exp(n*Sum_{k >= 1} sigma_3(k)*x^k/k).
a(n) ~ c * d^n / sqrt(n), where d = 8.20432131153340331179513077696629277558952852444670658917204305357709... and c = 0.2513708881073263860977360125648021910598660424705749139651716452651... - Vaclav Kotesovec, Jul 30 2025

A294530 Binomial transform of A023871.

Original entry on oeis.org

1, 2, 8, 33, 131, 497, 1834, 6635, 23622, 82942, 287656, 986552, 3349165, 11263951, 37558235, 124240204, 407951848, 1330340478, 4310385956, 13881618570, 44451643311, 141578435571, 448634389388, 1414774796929, 4441038400458, 13879652908322, 43197263002063
Offset: 0

Views

Author

Vaclav Kotesovec, Nov 02 2017

Keywords

Crossrefs

Programs

  • Mathematica
    nmax = 40; s = CoefficientList[Series[Product[1/(1 - x^k)^(k^2), {k, 1, nmax}], {x, 0, nmax}], x]; Table[Sum[Binomial[n, k] * s[[k+1]], {k, 0, n}], {n, 0, nmax}]

Formula

a(n) = Sum_{k=0..n} binomial(n,k) * A023871(k).
a(n) ~ exp(2^(5/4) * 3^(-5/4) * 5^(-1/4) * Pi * n^(3/4) + Pi^2 * sqrt(n) / (4*sqrt(30)) - Pi^3 * n^(1/4) / (32 * 2^(1/4) * 15^(3/4)) + Pi^4/3840 - Zeta(3)/(4*Pi^2)) * 2^(n - 7/8) / (15^(1/8) * n^(5/8)).
G.f.: (1/(1 - x))*exp(Sum_{k>=1} sigma_3(k)*x^k/(k*(1 - x)^k)). - Ilya Gutkovskiy, Aug 20 2018

A000219 Number of plane partitions (or planar partitions) of n.

Original entry on oeis.org

1, 1, 3, 6, 13, 24, 48, 86, 160, 282, 500, 859, 1479, 2485, 4167, 6879, 11297, 18334, 29601, 47330, 75278, 118794, 186475, 290783, 451194, 696033, 1068745, 1632658, 2483234, 3759612, 5668963, 8512309, 12733429, 18974973, 28175955, 41691046, 61484961, 90379784, 132441995, 193487501, 281846923
Offset: 0

Views

Author

Keywords

Comments

Two-dimensional partitions of n in which no row or column is longer than the one before it (compare A001970). E.g., a(4) = 13:
4.31.3.22.2.211.21..2.1111.111.11.11.1 but not 2
.....1....2.....1...1......1...11.1..1........ 11
....................1.............1..1
.....................................1
In the above, one also must require that rows & columns are nondecreasing, e.g., [1,1; 2] is also forbidden (which implies that row and column lengths are nondecreasing, if empty cells are identified with cells filled with 0's). - M. F. Hasler, Sep 22 2018
Can also be regarded as number of "safe pilings" of cubes in the corner of a room: the height should not increase away from the corner. - Wouter Meeussen
Also number of partitions of n objects of 2 colors, each part containing at least one black object; see example. - Christian G. Bower, Jan 08 2004
Number of partitions of n into 1 type of part 1, 2 types of part 2, ..., k types of part k. E.g., n=3 gives 111, 12, 12', 3, 3', 3''. - Jon Perry, May 27 2004
The bijection between the partitions in the two preceding comments goes by identifying a part with k black objects with a part of type k. - David Scambler and Joerg Arndt, May 01 2013
Can also be regarded as the number of Jordan canonical forms for an n X n matrix. (I.e., a 5 X 5 matrix has 24 distinct Jordan canonical forms, dependent on the algebraic and geometric multiplicity of each eigenvalue.) - Aaron Gable (agable(AT)hmc.edu), May 26 2009
(1/n) * convolution product of n terms * A001157 (sum of squares of divisors of n): (1, 5, 10, 21, 26, 50, 50, 85, ...) = a(n). As shown by [Bressoud, p. 12]: 1/6 * [1*24 + 5*13 + 10*6 + 21*3 + 26*1 + 50*1] = 288/6 = 48. - Gary W. Adamson, Jun 13 2009
Convolved with the aerated version (1, 0, 1, 0, 3, 0, 6, 0, 13, ...) = A026007: (1, 1, 2, 5, 8, 16, 28, 49, 83, ...). - Gary W. Adamson, Jun 13 2009
Starting with offset 1 = row sums of triangle A162453. - Gary W. Adamson, Jul 03 2009
Unfortunately, Wright's formula is also incomplete in the paper by G. Almkvist: "Asymptotic formulas and generalized Dedekind sums", p. 344, (the denominator should have sqrt(3*Pi) not sqrt(Pi)). This error was already corrected in the paper by Steven Finch: "Integer Partitions". - Vaclav Kotesovec, Aug 17 2015
Also the number of non-isomorphic weight-n chains of multisets whose dual is also a chain of multisets. The dual of a multiset partition has, for each vertex, one block consisting of the indices (or positions) of the blocks containing that vertex, counted with multiplicity. The weight of a multiset partition is the sum of sizes of its parts. - Gus Wiseman, Sep 25 2018

Examples

			A planar partition of 13:
  4 3 1 1
  2 1
  1
a(5) = (1/5!)*(sigma_2(1)^5+10*sigma_2(2)*sigma_2(1)^3+20*sigma_2(3)*sigma_2(1)^2+ 15*sigma_2(1)*sigma_2(2)^2+30*sigma_2(4)*sigma_2(1)+20*sigma_2(2)*sigma_2(3)+24*sigma_2(5)) = 24. - _Vladeta Jovovic_, Jan 10 2003
From _David Scambler_ and _Joerg Arndt_, May 01 2013: (Start)
There are a(4) = 13 partitions of 4 objects of 2 colors ('b' and 'w'), each part containing at least one black object:
1 black part:
  [ bwww ]
2 black parts:
  [ bbww ]
  [ bww, b ]
  [ bw, bw ]
3 black parts:
  [ bbbw ]
  [ bbw, b ]
  [ bb, bw ]
(but not: [bw, bb ] )
  [ bw, b, b ]
4 black parts:
  [ bbbb ]
  [ bbb, b ]
  [ bb, bb ]
  [ bb, b, b ]
  [ b, b, b, b ]
(End)
From _Geoffrey Critzer_, Nov 29 2014: (Start)
The corresponding partitions of the integer 4 are:
  4'''
  4''
  3'' + 1
  2' + 2'
  4'
  3' + 1
  2 + 2'
  2' + 1 + 1
  4
  3 + 1
  2 + 2
  2 + 1 + 1
  1 + 1 + 1 + 1.
(End)
From _Gus Wiseman_, Sep 25 2018: (Start)
Non-isomorphic representatives of the a(4) = 13 chains of multisets whose dual is also a chain of multisets:
  {{1,1,1,1}}
  {{1,1,2,2}}
  {{1,2,2,2}}
  {{1,2,3,3}}
  {{1,2,3,4}}
  {{1},{1,1,1}}
  {{2},{1,2,2}}
  {{3},{1,2,3}}
  {{1,1},{1,1}}
  {{1,2},{1,2}}
  {{1},{1},{1,1}}
  {{2},{2},{1,2}}
  {{1},{1},{1},{1}}
(End)
G.f. = 1 + x + 3*x^2 + 6*x^3 + 13*x^4 + 24*x^5 + 48*x^6 + 86*x^7 + 160*x^8 + ...
		

References

  • G. Almkvist, The differences of the number of plane partitions, Manuscript, circa 1991.
  • G. E. Andrews, The Theory of Partitions, Addison-Wesley, 1976, p. 241.
  • D. M. Bressoud, Proofs and Confirmations, Camb. Univ. Press, 1999; pp(n) on p. 10.
  • Miklos Bona, editor, Handbook of Enumerative Combinatorics, CRC Press, 2015, page 575.
  • L. Carlitz, Generating functions and partition problems, pp. 144-169 of A. L. Whiteman, ed., Theory of Numbers, Proc. Sympos. Pure Math., 8 (1965). Amer. Math. Soc., see p. 145, eq. (1.6).
  • I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, Wiley, N.Y., 1983, (5.4.5).
  • P. A. MacMahon, Memoir on the theory of partitions of numbers - Part VI, Phil. Trans. Royal Soc., 211 (1912), 345-373.
  • P. A. MacMahon, Combinatory Analysis. Cambridge Univ. Press, London and New York, Vol. 1, 1915 and Vol. 2, 1916; see vol. 2, p 332.
  • P. A. MacMahon, The connexion between the sum of the squares of the divisors and the number of partitions of a given number, Messenger Math., 54 (1924), 113-116. Collected Papers, MIT Press, 1978, Vol. I, pp. 1364-1367. See Table II. - N. J. A. Sloane, May 21 2014
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Differences: A191659, A191660, A191661.
Row sums of A089353 and A091438 and A091298.
Column k=1 of A144048. - Alois P. Heinz, Nov 02 2012
Sequences "number of r-line partitions": A000041 (r=1), A000990 (r=2), A000991 (r=3), A002799 (r=4), A001452 (r=5), A225196 (r=6), A225197 (r=7), A225198 (r=8), A225199 (r=9).

Programs

  • Julia
    using Nemo, Memoize
    @memoize function a(n)
        if n == 0 return 1 end
        s = sum(a(n - j) * divisor_sigma(j, 2) for j in 1:n)
        return div(s, n)
    end
    [a(n) for n in 0:20] # Peter Luschny, May 03 2020
    
  • Maple
    series(mul((1-x^k)^(-k),k=1..64),x,63);
    # second Maple program:
    a:= proc(n) option remember; `if`(n=0, 1, add(
          a(n-j)*numtheory[sigma][2](j), j=1..n)/n)
        end:
    seq(a(n), n=0..50);  # Alois P. Heinz, Aug 17 2015
  • Mathematica
    CoefficientList[Series[Product[(1 - x^k)^-k, {k, 64}], {x, 0, 64}], x]
    Zeta[3]^(7/36)/2^(11/36)/Sqrt[3 Pi]/Glaisher E^(3 Zeta[3]^(1/3) (n/2)^(2/3) + 1/12)/n^(25/36) (* asymptotic formula after Wright; Vaclav Kotesovec, Jun 23 2014 *)
    a[0] = 1; a[n_] := a[n] = Sum[a[n - j] DivisorSigma[2, j], {j, n}]/n; Table[a[n], {n, 0, 50}] (* Jean-François Alcover, Sep 21 2015, after Alois P. Heinz *)
    CoefficientList[Series[Exp[Sum[DivisorSigma[2, n] x^n/n, {n, 50}]], {x, 0, 50}], x] (* Eric W. Weisstein, Feb 01 2018 *)
  • PARI
    {a(n) = if( n<0, 0, polcoeff( exp( sum( k=1, n, x^k / (1 - x^k)^2 / k, x * O(x^n))), n))}; /* Michael Somos, Jan 29 2005 */
    
  • PARI
    {a(n) = if( n<0, 0, polcoeff( prod( k=1, n, (1 - x^k + x * O(x^n))^-k), n))}; /* Michael Somos, Jan 29 2005 */
    
  • PARI
    my(N=66, x='x+O('x^N)); Vec( prod(n=1,N, (1-x^n)^-n) ) \\ Joerg Arndt, Mar 25 2014
    
  • PARI
    A000219(n)=#PlanePartitions(n) \\ See A091298 for PlanePartitions(). For illustrative use: much slower than the above. - M. F. Hasler, Sep 24 2018
    
  • Python
    from sympy import cacheit
    from sympy.ntheory import divisor_sigma
    @cacheit
    def A000219(n):
        if n <= 1:
            return 1
        return sum(A000219(n - k) * divisor_sigma(k, 2) for k in range(1, n + 1)) // n
    print([A000219(n) for n in range(20)])
    # R. J. Mathar, Oct 18 2009
    
  • SageMath
    # uses[EulerTransform from A166861]
    b = EulerTransform(lambda n: n)
    print([b(n) for n in range(37)]) # Peter Luschny, Nov 11 2020

Formula

G.f.: Product_{k >= 1} 1/(1 - x^k)^k. - MacMahon, 1912.
Euler transform of sequence [1, 2, 3, ...].
a(n) ~ (c_2 / n^(25/36)) * exp( c_1 * n^(2/3) ), where c_1 = A249387 = 2.00945... and c_2 = A249386 = 0.23151... - Wright, 1931. Corrected Jun 01 2010 by Rod Canfield - see Mutafchiev and Kamenov. The exact value of c_2 is e^(2c)*2^(-11/36)*zeta(3)^(7/36)*(3*Pi)^(-1/2), where c = Integral_{y=0..inf} (y*log(y)/(e^(2*Pi*y)-1))dy = (1/2)*zeta'(-1).
The exact value of c_1 is 3*2^(-2/3)*Zeta(3)^(1/3) = 2.0094456608770137530649... - Vaclav Kotesovec, Sep 14 2014
a(n) = (1/n) * Sum_{k=1..n} a(n-k)*sigma_2(k), n > 0, a(0)=1, where sigma_2(n) = A001157(n) = sum of squares of divisors of n. - Vladeta Jovovic, Jan 20 2002
G.f.: exp(Sum_{n>0} sigma_2(n)*x^n/n). a(n) = Sum_{pi} Product_{i=1..n} binomial(k(i)+i-1, k(i)) where pi runs through all nonnegative solutions of k(1)+2*k(2)+..+n*k(n)=n. - Vladeta Jovovic, Jan 10 2003
From Vaclav Kotesovec, Nov 07 2016: (Start)
More precise asymptotics: a(n) ~ Zeta(3)^(7/36) * exp(3 * Zeta(3)^(1/3) * (n/2)^(2/3) + 1/12) / (A * sqrt(3*Pi) * 2^(11/36) * n^(25/36))
* (1 + c1/n^(2/3) + c2/n^(4/3) + c3/n^2), where
c1 = -0.23994424421250649114273759... = -277/(864*(2*Zeta(3))^(1/3)) - Zeta(3)^(2/3)/(1440*2^(1/3))
c2 = -0.02576771365117401620018082... = 353*Zeta(3)^(1/3)/(248832*2^(2/3)) - 17*Zeta(3)^(4/3)/(3225600*2^(2/3)) - 71575/(1492992*(2*Zeta(3))^(2/3))
c3 = -0.00533195302658826100834286... = -629557/859963392 - 42944125/(7739670528*Zeta(3)) + 14977*Zeta(3)/1114767360 - 22567*Zeta(3)^2/250822656000
and A = A074962 is the Glaisher-Kinkelin constant.
(End)

Extensions

Corrected by N. J. A. Sloane, Jul 29 2006
Minor edits by Vaclav Kotesovec, Oct 27 2014

A144048 Square array A(n,k), n>=0, k>=0, read by antidiagonals, where column k is Euler transform of (j->j^k).

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 1, 3, 3, 1, 1, 5, 6, 5, 1, 1, 9, 14, 13, 7, 1, 1, 17, 36, 40, 24, 11, 1, 1, 33, 98, 136, 101, 48, 15, 1, 1, 65, 276, 490, 477, 266, 86, 22, 1, 1, 129, 794, 1828, 2411, 1703, 649, 160, 30, 1, 1, 257, 2316, 6970, 12729, 11940, 5746, 1593, 282, 42, 1, 1, 513
Offset: 0

Views

Author

Alois P. Heinz, Sep 08 2008

Keywords

Comments

In general, column k > 0 is asymptotic to (Gamma(k+2)*Zeta(k+2))^((1-2*Zeta(-k)) /(2*k+4)) * exp((k+2)/(k+1) * (Gamma(k+2)*Zeta(k+2))^(1/(k+2)) * n^((k+1)/(k+2)) + Zeta'(-k)) / (sqrt(2*Pi*(k+2)) * n^((k+3-2*Zeta(-k))/(2*k+4))). - Vaclav Kotesovec, Mar 01 2015

Examples

			Square array begins:
  1,  1,   1,   1,    1,     1, ...
  1,  1,   1,   1,    1,     1, ...
  2,  3,   5,   9,   17,    33, ...
  3,  6,  14,  36,   98,   276, ...
  5, 13,  40, 136,  490,  1828, ...
  7, 24, 101, 477, 2411, 12729, ...
		

Crossrefs

Rows give: 0-1: A000012, 2: A000051, A094373, 3: A001550, 4: A283456, 5: A283457.
Main diagonal gives A252782.
Cf. A283272.

Programs

  • Maple
    with(numtheory): etr:= proc(p) local b; b:= proc(n) option remember; `if`(n=0,1, add(add(d*p(d), d=divisors(j)) *b(n-j), j=1..n)/n) end end: A:= (n,k)-> etr(j->j^k)(n); seq(seq(A(n,d-n), n=0..d), d=0..13);
  • Mathematica
    etr[p_] := Module[{ b}, b[n_] := b[n] = If[n == 0, 1, Sum[Sum[d*p[d], {d, Divisors[j]}]*b[n - j], {j, 1, n}]/n]; b]; A[n_, k_] := etr[Function[j, j^k]][n]; Table[Table[A[n, d - n], {n, 0, d}], {d, 0, 13}] // Flatten (* Jean-François Alcover, Dec 27 2013, translated from Maple *)

Formula

G.f. of column k: Product_{j>=1} 1/(1-x^j)^(j^k).

A206622 G.f.: Product_{n>0} ( (1+x^n)/(1-x^n) )^(n^2).

Original entry on oeis.org

1, 2, 10, 36, 118, 376, 1148, 3376, 9654, 26894, 73192, 195188, 510948, 1315048, 3332720, 8326448, 20529526, 49998884, 120379574, 286726340, 676057144, 1578880480, 3654180236, 8385122192, 19085029540, 43103203626, 96630606968, 215105226728, 475608824400
Offset: 0

Views

Author

Paul D. Hanna, Feb 10 2012

Keywords

Comments

Compare g.f. to: Product_{n>0} (1+x^n)/(1-x^n) = exp( Sum_{n>=1} (sigma(2*n) - sigma(n))*x^n/n ) which equals 1/theta_4(x) = 1/(1 + 2*Sum_{n>=1} (-x)^(n^2)).
Convolution of A023871 and A027998. - Vaclav Kotesovec, Aug 19 2015
In general, if g.f. = Product_{k>=1} ((1 + x^k)/(1 - x^k))^(c2*k^2 + c1*k + c0) and c2>0, then a(n) ~ exp(Pi * 2^(5/4) * c2^(1/4) * n^(3/4) / 3 + 7*c1 * Zeta(3) * sqrt(n) / (Pi^2 * sqrt(2*c2)) + (c0*Pi / (2^(5/4) * c2^(1/4)) - 49*c1^2 * Zeta(3)^2 / (2^(5/4) * c2^(5/4) * Pi^5)) * n^(1/4) + 22411 * c1^3 * Zeta(3)^3 / (196 * c2^2 * Pi^8) - 7*c0*c1 * Zeta(3) / (4*c2 * Pi^2) - c2 * Zeta(3) / (4*Pi^2) + c1/12) * Pi^(c1/12) * c2^(1/8 + c0/8 + c1/48) / (A^c1 * 2^(15/8 + 11*c0/8 + 7*c1/48) * n^(5/8 + c0/8 + c1/48)), where A is the Glaisher-Kinkelin constant A074962. - Vaclav Kotesovec, Nov 08 2017
Let A(x) denote the g.f. and let m be an integer. Define a sequence by u(n) = [x^n] A(x)^(m*n). We conjecture that the supercongruence u(n*p^r) == u(n*p^(r-1)) (mod p^(3*r)) holds for all positive integers n and r and all primes p >= 5. Cf. A380582. - Peter Bala, Jan 21 2025

Examples

			G.f.: A(x) = 1 + 2*x + 10*x^2 + 36*x^3 + 118*x^4 + 376*x^5 + 1148*x^6 +...
where A(x) = (1+x)/(1-x) * (1+x^2)^4/(1-x^2)^4 * (1+x^3)^9/(1-x^3)^9 *...
Also, A(x) = Euler transform of [2,7,18,28,50,63,98,112,162,175,...]:
A(x) = 1/((1-x)^2*(1-x^2)^7*(1-x^3)^18*(1-x^4)^28*(1-x^5)^50*(1-x^6)^63*...).
		

Crossrefs

Programs

  • Mathematica
    nmax = 40; CoefficientList[Series[Product[((1+x^k)/(1-x^k))^(k^2), {k, 1, nmax}], {x, 0, nmax}], x] (* Vaclav Kotesovec, Aug 19 2015 *)
  • PARI
    {a(n)=polcoeff(prod(m=1,n+1,((1+x^m)/(1-x^m+x*O(x^n)))^(m^2)),n)}
    
  • PARI
    {a(n)=polcoeff(exp(sum(m=1, n, (sigma(2*m, 3)-sigma(m, 3))/4*x^m/m)+x*O(x^n)), n)}
    
  • PARI
    {a(n)=local(InvEulerGF=x*(2+7*x+12*x^2+7*x^3+2*x^4)/(1-x^2+x*O(x^n))^3);polcoeff(1/prod(k=1,n,(1-x^k+x*O(x^n))^polcoeff(InvEulerGF,k)),n)}
    for(n=0,35,print1(a(n),", "))

Formula

G.f.: exp( Sum_{n>=1} (sigma_3(2*n) - sigma_3(n))/4 * x^n/n ), where sigma_3(n) is the sum of cubes of divisors of n (A001158).
The inverse Euler transform has g.f.: x*(2 + 7*x + 12*x^2 + 7*x^3 + 2*x^4)/(1-x^2)^3.
a(n) ~ exp(2^(5/4)*Pi*n^(3/4)/3 - Zeta(3)/(4*Pi^2)) / (2^(15/8) * n^(5/8)), where Zeta(3) = A002117. - Vaclav Kotesovec, Aug 19 2015
a(0) = 1, a(n) = (2/n)*Sum_{k=1..n} A007331(k)*a(n-k) for n > 0. - Seiichi Manyama, Apr 30 2017

A283263 Expansion of exp( Sum_{n>=1} -sigma_3(n)*x^n/n ) in powers of x.

Original entry on oeis.org

1, -1, -4, -5, -1, 21, 49, 81, 45, -121, -484, -997, -1344, -840, 1624, 6931, 15149, 23155, 23469, 2240, -57596, -168929, -322587, -461165, -450668, -64135, 985621, 2935044, 5718865, 8597971, 9683008, 5596899, -8414092, -37295629, -83336988, -141108721
Offset: 0

Views

Author

Seiichi Manyama, Mar 04 2017

Keywords

Crossrefs

Column k=2 of A283272.
Cf. A023871 (exp( Sum_{n>=1} sigma_3(n)*x^n/n )).
Cf. exp( Sum_{n>=1} -sigma_k(n)*x^n/n ): A010815 (k=1), A073592 (k=2), this sequence (k=3), A283264 (k=4), A283271 (k=5).

Programs

  • Mathematica
    a[n_] := If[n<1, 1,-(1/n) * Sum[DivisorSigma[3, k] a[n - k], {k, n}]]; Table[a[n], {n, 0, 35}] (* Indranil Ghosh, Mar 16 2017 *)
  • PARI
    a(n) = if(n<1, 1, -(1/n) * sum(k=1, n, sigma(k, 3) * a(n - k)));
    for(n=0, 35, print1(a(n), ", ")) \\ Indranil Ghosh, Mar 16 2017
    
  • SageMath
    # uses[EulerTransform from A166861]
    b = EulerTransform(lambda n: -n^2)
    print([b(n) for n in range(36)]) # Peter Luschny, Nov 11 2020

Formula

G.f.: Product_{n>=1} (1 - x^n)^(n^2).
a(n) = -(1/n)*Sum_{k=1..n} sigma_3(k)*a(n-k).

A258349 Expansion of Product_{k>=1} 1/(1-x^k)^(k*(k-1)/2).

Original entry on oeis.org

1, 0, 1, 3, 7, 13, 28, 52, 107, 203, 396, 741, 1409, 2596, 4813, 8777, 15972, 28737, 51553, 91644, 162288, 285377, 499653, 869758, 1507615, 2599974, 4465606, 7635607, 13005252, 22061424, 37287395, 62788012, 105365891, 176211393, 293741195, 488101711, 808604106
Offset: 0

Views

Author

Vaclav Kotesovec, May 27 2015

Keywords

Crossrefs

Programs

  • Mathematica
    nmax=40; CoefficientList[Series[Product[1/(1-x^k)^(k*(k-1)/2),{k,1,nmax}],{x,0,nmax}],x]
  • SageMath
    # uses[EulerTransform from A166861]
    b = EulerTransform(lambda n: binomial(n,2))
    print([b(n) for n in range(37)]) # Peter Luschny, Nov 11 2020

Formula

a(n) ~ 1 / (2^(155/96) * 15^(11/96) * Pi^(1/24) * n^(59/96)) * exp(-Zeta'(-1)/2 - Zeta(3) / (8*Pi^2) - 75*Zeta(3)^3 / (2*Pi^8) - 15^(5/4) * Zeta(3)^2 / (2^(7/4) * Pi^5) * n^(1/4) - sqrt(15/2) * Zeta(3) / Pi^2 * sqrt(n) + 2^(7/4)*Pi / (3*15^(1/4)) * n^(3/4)), where Zeta(3) = A002117, Zeta'(-1) = A084448 = 1/12 - log(A074962).
G.f.: exp(Sum_{k>=1} (sigma_3(k) - sigma_2(k))*x^k/(2*k)). - Ilya Gutkovskiy, Aug 22 2018

A258347 Expansion of Product_{k>=1} 1/(1-x^k)^(k*(k+1)).

Original entry on oeis.org

1, 2, 9, 28, 88, 250, 708, 1894, 4988, 12718, 31839, 77952, 187771, 444526, 1037522, 2387670, 5426996, 12188774, 27079379, 59541078, 129663636, 279801102, 598620511, 1270300142, 2674874760, 5591124784, 11605082733, 23926811840, 49016020317, 99798382290
Offset: 0

Views

Author

Vaclav Kotesovec, May 27 2015

Keywords

Crossrefs

Programs

  • Mathematica
    nmax=40; CoefficientList[Series[Product[1/(1-x^k)^(k*(k+1)),{k,1,nmax}],{x,0,nmax}],x]

Formula

a(n) ~ Pi^(1/12) / (2^(3/2) * 15^(7/48) * n^(31/48)) * exp(Zeta'(-1) - Zeta(3) / (4*Pi^2) + 75*Zeta(3)^3 / Pi^8 - 15^(5/4) * Zeta(3)^2 / (2*Pi^5) * n^(1/4) + sqrt(15) * Zeta(3) / Pi^2 * sqrt(n) + 4*Pi / (3*15^(1/4)) * n^(3/4)), where Zeta(3) = A002117, Zeta'(-1) = A084448 = 1/12 - log(A074962).
G.f.: exp(Sum_{k>=1} (sigma_2(k) + sigma_3(k))*x^k/k). - Ilya Gutkovskiy, Aug 22 2018

A258348 Expansion of Product_{k>=1} 1/(1-x^k)^(k*(k-1)).

Original entry on oeis.org

1, 0, 2, 6, 15, 32, 79, 172, 397, 860, 1879, 3986, 8462, 17586, 36408, 74366, 150875, 303006, 604511, 1195872, 2350614, 4587484, 8898857, 17154278, 32883109, 62679852, 118858190, 224238730, 421021209, 786793776, 1463796383, 2711552690, 5002097398, 9190449808
Offset: 0

Views

Author

Vaclav Kotesovec, May 27 2015

Keywords

Crossrefs

Programs

  • Mathematica
    nmax=40; CoefficientList[Series[Product[1/(1-x^k)^(k*(k-1)),{k,1,nmax}],{x,0,nmax}],x]
    Clear[a]; a[n_]:= a[n] = 1/n*Sum[(DivisorSigma[3, k]-DivisorSigma[2, k])*a[n-k], {k, 1, n}]; a[0] = 1; Table[a[n], {n, 0, 100}] (* Vaclav Kotesovec, Apr 11 2016, following a suggestion of George Beck *)

Formula

a(n) ~ 1 / (2^(3/2) * 15^(5/48) * Pi^(1/12) * n^(29/48)) * exp(-Zeta'(-1) - Zeta(3)/(4*Pi^2) - 75*Zeta(3)^3 / Pi^8 - 15^(5/4) * Zeta(3)^2 / (2*Pi^5) * n^(1/4) - sqrt(15) * Zeta(3) / Pi^2 * sqrt(n) + 4*Pi / (3*15^(1/4)) * n^(3/4)), where Zeta(3) = A002117, Zeta'(-1) = A084448 = 1/12 - log(A074962).
G.f.: exp(Sum_{k>=1} (sigma_3(k) - sigma_2(k))*x^k/k). - Ilya Gutkovskiy, Aug 22 2018

A278768 Expansion of Product_{k>=1} 1/(1 - x^k)^(k*(3*k-1)/2).

Original entry on oeis.org

1, 1, 6, 18, 55, 150, 424, 1113, 2923, 7401, 18510, 45271, 109297, 259447, 608428, 1407958, 3222132, 7292198, 16340830, 36265672, 79775931, 173999194, 376497975, 808471181, 1723592762, 3649271887, 7675809680, 16043777217, 33332888108, 68853608216, 141438908854, 288994878713, 587458691042
Offset: 0

Views

Author

Ilya Gutkovskiy, Nov 28 2016

Keywords

Comments

Euler transform of the pentagonal numbers (A000326).

Crossrefs

Programs

  • Maple
    with(numtheory):
    a:= proc(n) option remember; `if`(n=0, 1, add(add(
          d^2*(3*d-1)/2, d=divisors(j))*a(n-j), j=1..n)/n)
        end:
    seq(a(n), n=0..35);  # Alois P. Heinz, Dec 02 2016
  • Mathematica
    nmax=32; CoefficientList[Series[Product[1/(1 - x^k)^(k (3 k - 1)/2), {k, 1, nmax}], {x, 0, nmax}], x]

Formula

G.f.: Product_{k>=1} 1/(1 - x^k)^(k*(3*k-1)/2).
a(n) ~ exp(-Zeta'(-1)/2 - 3*Zeta(3)/(8*Pi^2) - 25*Zeta(3)^3/(6*Pi^8) - 5^(5/4)*Zeta(3)^2/(2^(7/4)*Pi^5) * n^(1/4) - sqrt(5/2)*Zeta(3)/Pi^2 * sqrt(n) + 2^(7/4)*Pi/(3*5^(1/4)) * n^(3/4)) / (2^(155/96) * 5^(11/96) * Pi^(1/24) * n^(59/96)). - Vaclav Kotesovec, Dec 02 2016
Showing 1-10 of 28 results. Next