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 13 results. Next

A001157 a(n) = sigma_2(n): sum of squares of divisors of n.

Original entry on oeis.org

1, 5, 10, 21, 26, 50, 50, 85, 91, 130, 122, 210, 170, 250, 260, 341, 290, 455, 362, 546, 500, 610, 530, 850, 651, 850, 820, 1050, 842, 1300, 962, 1365, 1220, 1450, 1300, 1911, 1370, 1810, 1700, 2210, 1682, 2500, 1850, 2562, 2366, 2650, 2210, 3410, 2451, 3255
Offset: 1

Views

Author

Keywords

Comments

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).
sigma_2(n) is the sum of the squares of the divisors of n.
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.
Row sums of triangles A134575 and A134559. - Gary W. Adamson, Nov 02 2007
Also sum of square divisors of n^2. - Michel Marcus, Jan 14 2014
Conjecture: For each k = 2,3,..., all the rational numbers sigma_k(n)/n^k = Sum_{d|n} 1/d^k (n = 1,2,3,...) have pairwise distinct fractional parts. - Zhi-Wei Sun, Oct 15 2015
5 is the only prime entry in the sequence. - Drake Thomas, Dec 18 2016
4*a(n) = sum of squares of even divisors of 2*n. - Wolfdieter Lang, Jan 07 2017

References

  • M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 827.
  • T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, page 38.
  • D. M. Bressoud, Proofs and Confirmations, Camb. Univ. Press, 1999; p. 11.
  • 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 I. The entry 53 should be 50. - 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

Cf. also A192794, A082063 (gcd(a(n),n) and its largest prime factor); A179931, A192795 (gcd(a(n),A000203(n)) and largest prime factor).
Main diagonal of the array in A242639.
Cf. A333972 (Dgf at s=4).

Programs

  • Haskell
    a001157 n = s n 1 1 a000040_list where
       s 1 1 y _          = y
       s m x y ps'@(p:ps)
         | m `mod` p == 0 = s (m `div` p) (x * p^2) y ps'
         | x > 1          = s m 1 (y * (x * p^2 - 1) `div` (p^2 - 1)) ps
         | otherwise      = s m 1 y ps
    -- Reinhard Zumkeller, Jul 10 2011
    
  • Magma
    [DivisorSigma(2,n): n in [1..50]]; // Bruno Berselli, Apr 10 2013
    
  • Maple
    with(numtheory); A001157 := n->sigma[2](n); [seq(sigma[2](n), n=1..100)];
  • Mathematica
    Table[DivisorSigma[2, n], {n, 1, 50}] (* Stefan Steinerberger, Mar 24 2006 *)
    DivisorSigma[2,Range[50]] (* Harvey P. Dale, Aug 22 2016 *)
  • Maxima
    makelist(divsum(n,2),n,1,20); /* Emanuele Munarini, Mar 26 2011 */
    
  • PARI
    a(n)=if(n<1,0,sigma(n,2))
    
  • PARI
    a(n)=if(n<1,0,direuler(p=2,n,1/(1-X)/(1-p^2*X))[n])
    
  • PARI
    a(n)=if(n<1,0,n*polcoeff(sum(k=1,n,x^k/(x^k-1)^2/k,x*O(x^n)),n)) /* Michael Somos, Jan 29 2005 */
    
  • PARI
    N=99; q='q+O('q^N); Vec(sum(n=1,N,n^2*q^n/(1-q^n)))  /* Joerg Arndt, Feb 04 2011 */
    
  • PARI
    a(n) = sumdiv(n^2, d, issquare(d)*d); \\ Michel Marcus, Jan 14 2014
    
  • Python
    from sympy import divisor_sigma
    def a(n): return divisor_sigma(n, 2)
    print([a(n) for n in range(1, 51)]) # Michael S. Branicky, Jan 05 2021
    
  • Python
    from math import prod
    from sympy import factorint
    def a(n): return prod((p**(2*e+2)-1)//(p**2-1) for p, e in factorint(n).items())
    print([a(n) for n in range(1, 51)]) # Michael S. Branicky, Feb 25 2024
  • Sage
    [sigma(n,2)for n in range(1,51)] # Zerinvary Lajos, Jun 04 2009
    

Formula

G.f.: Sum_{k>0} k^2 x^k/(1-x^k). Dirichlet g.f.: zeta(s)*zeta(s-2). - Michael Somos, Apr 05 2003
Multiplicative with a(p^e) = (p^(2e+2)-1)/(p^2-1). - David W. Wilson, Aug 01 2001
G.f. for sigma_k(n): Sum_{m>0} m^k*x^m/(1-x^m). - Vladeta Jovovic, Oct 18 2002
L.g.f.: -log(Product_{j>=1} (1-x^j)^j) = Sum_{n>=1} a(n)/n*x^n. - Joerg Arndt, Feb 04 2011
Equals A127093 * [1, 2, 3, ...]. - Gary W. Adamson, May 10 2007
Equals A051731 * [1, 4, 9, 16, 25, ...]. A051731 * [1/1, 1/2, 1/3, 1/4, ...] = [1/1, 5/4, 10/9, 21/16, 26/25, ...]. - Gary W. Adamson, Nov 02 2007
Row sums of triangle A134841. - Gary W. Adamson, Nov 12 2007
a(n) = A035316(n^2). - Michel Marcus, Jan 14 2014
Conjecture: a(n) = sigma(n^2*rad(n))/sigma(rad(n)), where sigma = A000203 and rad = A007947. - Velin Yanev, Aug 20 2017
G.f.: Sum_{k>=1} x^k*(1 + x^k)/(1 - x^k)^3. - Ilya Gutkovskiy, Oct 24 2018
a(n) = a(n/4) + A050461(n) + A076577(n/2) + A050465(n) where A(.) are zero for non-integer arguments. - R. J. Mathar, May 25 2020
Sum_{k>=1} 1/a(k) = A109694 = 1.53781289182725616253866100273826833091936004947322354929617689659426330445... - Vaclav Kotesovec, Sep 26 2020
G.f.: Sum_{n >= 1} q^(n^2)*(n^2 - ((n-1)^2 - 2)*q^n - ((n+1)^2 - 2)*q^(2*n) + n^2*q^(3*n))/(1 - q^n)^3 - apply the operator x*d/dx twice to equation 5 in Arndt and set x = 1. - Peter Bala, Jan 21 2021
From Vaclav Kotesovec, Aug 07 2022: (Start)
Sum_{k=1..n} a(k) = A064602(n) ~ zeta(3) * n^3 / 3.
Sum_{k=1..n} (-1)^k * a(k) ~ zeta(3) * n^3 / 24. (End)
a(n) = Sum_{1 <= i, j <= n} tau(gcd(i, j, n)) = Sum_{d divides n} tau(d) * J_2(n/d), where the divisor function tau(n) = A000005(n) and the Jordan totient function J_2(n) = A007434(n). - Peter Bala, Jan 22 2024

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

Original entry on oeis.org

1, 2, 6, 16, 38, 88, 196, 420, 878, 1794, 3584, 7032, 13572, 25792, 48352, 89512, 163774, 296444, 531234, 943072, 1659560, 2896376, 5015700, 8622108, 14718652, 24960138, 42062200, 70458160, 117349856, 194381704, 320295312, 525123604
Offset: 0

Views

Author

R. J. Mathar, Feb 11 2009

Keywords

Comments

Generating function for a sum over strict plane partitions weighted with 2 powered to their number of connected components.
The inverse Euler transform is apparently 2, 3, 6, 6, 10, 9, 14, 12, 18, 15, 22, 18, 26, 21, ..., A016825 interlaced with A008585. - R. J. Mathar, Apr 23 2009
In general, for m >= 1, if g.f. = Product_{k>=1} ((1+x^k)/(1-x^k))^(m*k), then a(n) ~ exp(m/12 + 3/2 * (7*m*Zeta(3)/2)^(1/3) * n^(2/3)) * m^(1/6 + m/36) * (7*Zeta(3))^(1/6 + m/36) / (A^m * 2^(2/3 + m/9) * sqrt(3*Pi) * n^(2/3 + m/36)), where Zeta(3) = A002117 and A = A074962 is the Glaisher-Kinkelin constant. - Vaclav Kotesovec, Aug 17 2015
In general, for m >= 0, if g.f. = Product_{k>=1} ((1+x^k)/(1-x^k))^(k^m), then a(n) ~ ((2^(m+2)-1) * Gamma(m+2) * Zeta(m+2) / (2^(2*m+3) * n))^((1-2*Zeta(-m))/(2*m+4)) * exp((m+2)/(m+1) * ((2^(m+2)-1) * n^(m+1) * Gamma(m+2) * Zeta(m+2) / 2^(m+1))^(1/(m+2)) + Zeta'(-m)) / sqrt((m+2)*Pi*n). - Vaclav Kotesovec, Aug 19 2015

Crossrefs

Programs

  • Mathematica
    nmax = 40; CoefficientList[Series[Product[((1+x^k)/(1-x^k))^k, {k, 1, nmax}], {x, 0, nmax}], x] (* Vaclav Kotesovec, Aug 17 2015 *)
  • PARI
    {a(n)=polcoeff(exp(sum(m=1,n,(sigma(2*m,2)-sigma(m,2))/2*x^m/m)+x*O(x^n)),n)} \\ Paul D. Hanna, May 01 2010

Formula

Convolve A000219 with A026007.
O.g.f.: exp( Sum_{n>=1} (sigma_2(2n) - sigma_2(n))/2 *x^n/n ), where sigma_2(n) is the sum of squares of divisors of n (A001157). - Paul D. Hanna, May 01 2010
a(n) ~ exp(1/12 + 3 * 2^(-4/3) * (7*Zeta(3))^(1/3) * n^(2/3)) * (7*Zeta(3))^(7/36) / (A * 2^(7/9) * sqrt(3*Pi) * n^(25/36)), where Zeta(3) = A002117 and A = A074962 is the Glaisher-Kinkelin constant. - Vaclav Kotesovec, Aug 17 2015
a(0) = 1, a(n) = (2/n)*Sum_{k=1..n} A076577(k)*a(n-k) for n > 0. - Seiichi Manyama, Apr 30 2017
G.f.: A(x) = exp( 2*Sum_{n >= 0} x^(2*n+1)/((2*n+1)*(1 - x^(2*n+1))^2) ). Cf. A000122 and A302237. - Peter Bala, Dec 23 2021

A007331 Fourier coefficients of E_{infinity,4}.

Original entry on oeis.org

0, 1, 8, 28, 64, 126, 224, 344, 512, 757, 1008, 1332, 1792, 2198, 2752, 3528, 4096, 4914, 6056, 6860, 8064, 9632, 10656, 12168, 14336, 15751, 17584, 20440, 22016, 24390, 28224, 29792, 32768, 37296, 39312, 43344, 48448, 50654, 54880, 61544, 64512
Offset: 0

Views

Author

Keywords

Comments

E_{infinity,4} is the unique normalized weight-4 modular form for Gamma_0(2) with simple zeros at i*infinity. Since this has level 2, it is not a cusp form, in contrast to A002408.
a(n+1) is the number of representations of n as a sum of 8 triangular numbers (from A000217). See the Ono et al. link, Theorem 5.
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
a(n) gives the sum of cubes of divisors d of n such that n/d is odd. This is called sigma^#3(n) in the Ono et al. link. See a formula below. - _Wolfdieter Lang, Jan 12 2017

Examples

			G.f. = q + 8*q^2 + 28*q^3 + 64*q^4 + 126*q^5 + 224*q^6 + 344*q^7 + 512*q^8 + ...
		

References

  • B. C. Berndt, Ramanujan's Notebooks Part III, Springer-Verlag, see p. 139, Ex (ii).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Number of ways of writing n as a sum of k triangular numbers, for k=1,...: A010054, A008441, A008443, A008438, A008439, A008440, A226252, A007331, A226253, A226254, A226255, A014787, A014809, A076577.

Programs

  • Magma
    Basis( ModularForms( Gamma0(2), 4), 10) [2]; /* Michael Somos, May 27 2014 */
    
  • Maple
    nmax:=40: seq(coeff(series(x*(product((1-x^k)^8*(1+x^k)^16, k=1..nmax)), x, n+1), x, n), n=0..nmax); # Vaclav Kotesovec, Oct 14 2015
  • Mathematica
    Prepend[Table[Plus @@ (Select[Divisors[k + 1], OddQ[(k + 1)/#] &]^3), {k, 0, 39}], 0] (* Ant King, Dec 04 2010 *)
    a[ n_] := SeriesCoefficient[ EllipticTheta[ 2, 0, q^(1/2)]^8 / 256, {q, 0, n}]; (* Michael Somos, Jun 04 2013 *)
    a[ n_] := If[ n < 1, 0, Sum[ d^3 Boole[ OddQ[ n/d]], {d, Divisors[ n]}]]; (* Michael Somos, Jun 04 2013 *)
    f[n_] := Total[(2n/Select[ Divisors[ 2n], Mod[#, 4] == 2 &])^3]; Flatten[{0, Array[f, 40] }] (* Robert G. Wilson v, Mar 26 2015 *)
    nmax=60; CoefficientList[Series[x*Product[(1-x^k)^8 * (1+x^k)^16, {k,1,nmax}],{x,0,nmax}], x] (* Vaclav Kotesovec, Oct 14 2015 *)
    QP = QPochhammer; s = q * (QP[-1, q]/2)^16 * QP[q]^8 + O[q]^50; CoefficientList[s, q] (* Jean-François Alcover, Dec 01 2015, adapted from PARI *)
  • PARI
    {a(n) = if( n<1, 0, sumdiv( n, d, (n/d%2) * d^3))}; /* Michael Somos, May 31 2005 */
    
  • PARI
    {a(n) = local(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( (eta(x^2 + A)^2 / eta(x + A))^8, n))}; /* Michael Somos, May 31 2005 */
    
  • PARI
    a(n)=my(e=valuation(n,2)); 8^e * sigma(n/2^e, 3) \\ Charles R Greathouse IV, Sep 09 2014
    
  • Python
    from sympy import divisors
    def a(n):
        return 0 if n == 0 else sum(((n//d)%2)*d**3 for d in divisors(n))
    print([a(n) for n in range(101)]) # Indranil Ghosh, Jun 24 2017
  • Sage
    ModularForms( Gamma0(2), 4, prec=33).1; # Michael Somos, Jun 04 2013
    

Formula

G.f.: q * Product_{k>=1} (1-q^k)^8 * (1+q^k)^16. - corrected by Vaclav Kotesovec, Oct 14 2015
a(n) = Sum_{0
G.f.: Sum_{n>0} n^3*x^n/(1-x^(2*n)). - Vladeta Jovovic, Oct 24 2002
Expansion of Jacobi theta constant theta_2(q)^8 / 256 in powers of q.
Expansion of eta(q^2)^16 / eta(q)^8 in powers of q. - Michael Somos, May 31 2005
Expansion of x * psi(x)^8 in powers of x where psi() is a Ramanujan theta function. - Michael Somos, Jan 15 2012
Expansion of (Q(x) - Q(x^2)) / 240 in powers of x where Q() is a Ramanujan Lambert series. - Michael Somos, Jan 15 2012
Expansion of E_{gamma,2}^2 * E_{0,4} in powers of q.
Euler transform of period 2 sequence [8, -8, ...]. - Michael Somos, May 31 2005
G.f. A(x) satisfies 0 = f(A(x), A(x^2), A(x^4)) where f(u, v, w) = v^3 - u^2*w + 16*u*v*w - 32*v^2*w + 256*v*w^2. - Michael Somos, May 31 2005
G.f. is a period 1 Fourier series which satisfies f(-1 / (2 t)) = 16^(-1) (t / i)^4 g(t) where q = exp(2 Pi i t) and g() is the g.f. for A035016. - Michael Somos, Jan 11 2009
Multiplicative with a(2^e) = 2^(3e), a(p^e) = (p^(3(e+1))-1)/(p^3-1). - Mitch Harris, Jun 13 2005
Dirichlet convolution of A154955 by A001158. Dirichlet g.f. zeta(s)*zeta(s-3)*(1-1/2^s). - R. J. Mathar, Mar 31 2011
A002408(n) = -(-1)^n * a(n).
Convolution square of A008438. - Michael Somos, Jun 15 2014
a(1) = 1, a(n) = (8/(n-1))*Sum_{k=1..n-1} A002129(k)*a(n-k) for n > 0. - Seiichi Manyama, May 06 2017
Sum_{k=1..n} a(k) ~ c * n^4, where c = Pi^4/384 = 0.253669... (A222072). - Amiram Eldar, Oct 19 2022

Extensions

Additional comments from Barry Brent (barryb(AT)primenet.com)
Wrong Maple program replaced by Vaclav Kotesovec, Oct 14 2015
a(0)=0 prepended by Vaclav Kotesovec, Oct 14 2015

A352048 Sum of the squares of the divisor complements of the odd proper divisors of n.

Original entry on oeis.org

0, 4, 9, 16, 25, 40, 49, 64, 90, 104, 121, 160, 169, 200, 259, 256, 289, 364, 361, 416, 499, 488, 529, 640, 650, 680, 819, 800, 841, 1040, 961, 1024, 1219, 1160, 1299, 1456, 1369, 1448, 1699, 1664, 1681, 2000, 1849, 1952, 2365, 2120, 2209, 2560, 2450, 2604, 2899, 2720
Offset: 1

Author

Wesley Ivan Hurt, Mar 01 2022

Keywords

Examples

			a(10) = 10^2 * Sum_{d|10, d<10, d odd} 1 / d^2 = 10^2 * (1/1^2 + 1/5^2) = 104.
		

Crossrefs

Sum of the k-th powers of the divisor complements of the odd proper divisors of n for k=0..10: A091954 (k=0), A352047 (k=1), this sequence (k=2), A352049 (k=3), A352050 (k=4), A352051 (k=5), A352052 (k=6), A352053 (k=7), A352054 (k=8), A352055 (k=9), A352056 (k=10).

Programs

  • Maple
    f:= proc(n) local m,d;
          m:= n/2^padic:-ordp(n,2);
          add((n/d)^2, d = select(`<`,numtheory:-divisors(m),n))
    end proc:
    map(f, [$1..60]); # Robert Israel, Apr 03 2023
  • Mathematica
    a[n_] := n^2 DivisorSum[n, If[# < n && OddQ[#], 1/#^2, 0]&];
    Table[a[n], {n, 1, 60}] (* Jean-François Alcover, May 11 2023 *)
    a[n_] := DivisorSigma[-2, n/2^IntegerExponent[n, 2]] * n^2 - Mod[n, 2]; Array[a, 100] (* Amiram Eldar, Oct 13 2023 *)
  • PARI
    a(n) = n^2*sumdiv(n, d, if ((dMichel Marcus, May 11 2023
    
  • PARI
    a(n) = n^2 * sigma(n >> valuation(n, 2), -2) - n % 2; \\ Amiram Eldar, Oct 13 2023

Formula

a(n) = n^2 * Sum_{d|n, d
G.f.: Sum_{k>=2} k^2 * x^k / (1 - x^(2*k)). - Ilya Gutkovskiy, May 14 2023
From Amiram Eldar, Oct 13 2023: (Start)
a(n) = A050999(n) * A006519(n)^2 - A000035(n).
Sum_{k=1..n} a(k) = c * n^3 / 3, where c = 7*zeta(3)/8 = 1.0517997... (A233091). (End)

A050461 a(n) = Sum_{d|n, n/d=1 mod 4} d^2.

Original entry on oeis.org

1, 4, 9, 16, 26, 36, 49, 64, 82, 104, 121, 144, 170, 196, 234, 256, 290, 328, 361, 416, 442, 484, 529, 576, 651, 680, 738, 784, 842, 936, 961, 1024, 1090, 1160, 1274, 1312, 1370, 1444, 1530, 1664, 1682, 1768, 1849, 1936, 2132, 2116, 2209
Offset: 1

Author

N. J. A. Sloane, Dec 23 1999

Keywords

Comments

Not multiplicative: a(3)*a(7) <> a(21), for example. - R. J. Mathar, Dec 20 2011

Programs

  • Haskell
    a050461 n = sum [d ^ 2 | d <- a027750_row n, mod (div n d) 4 == 1]
    -- Reinhard Zumkeller, Mar 06 2012
    
  • Maple
    A050461 := proc(n)
            a := 0 ;
            for d in numtheory[divisors](n) do
                    if (n/d) mod 4 = 1 then
                            a := a+d^2 ;
                    end if;
            end do:
            a;
    end proc:
    seq(A050461(n),n=1..40) ; # R. J. Mathar, Dec 20 2011
  • Mathematica
    a[n_] := DivisorSum[n, Boole[Mod[n/#, 4] == 1]*#^2&]; Array[a, 50] (* Jean-François Alcover, Feb 12 2018 *)
  • PARI
    a(n) = sumdiv(n, d, (n/d % 4 == 1) * d^2); \\ Amiram Eldar, Nov 05 2023

Formula

a(n) = A050470(n) + A050465(n). - Reinhard Zumkeller, Mar 06 2012
From Amiram Eldar, Nov 05 2023: (Start)
a(n) = A076577(n) - A050465(n).
a(n) = (A050470(n) + A076577(n))/2.
Sum_{k=1..n} a(k) ~ c * n^3 / 3, where c = Pi^3/64 + 7*zeta(3)/16 = 1.010372968262... . (End)

A050465 a(n) = Sum_{d|n, n/d=3 mod 4} d^2.

Original entry on oeis.org

0, 0, 1, 0, 0, 4, 1, 0, 9, 0, 1, 16, 0, 4, 26, 0, 0, 36, 1, 0, 58, 4, 1, 64, 0, 0, 82, 16, 0, 104, 1, 0, 130, 0, 26, 144, 0, 4, 170, 0, 0, 232, 1, 16, 234, 4, 1, 256, 49, 0, 290, 0, 0, 328, 26, 64, 370, 0, 1, 416, 0, 4, 523, 0, 0, 520, 1, 0, 538, 104, 1, 576, 0
Offset: 1

Author

N. J. A. Sloane, Dec 23 1999

Keywords

Programs

  • Haskell
    a050465 n = sum [d ^ 2 | d <- a027750_row n, mod (div n d) 4 == 3]
    -- Reinhard Zumkeller, Mar 06 2012
    
  • Mathematica
    a[n_] := DivisorSum[n, #^2 &, Mod[n/#, 4] == 3 &]; Array[a, 100] (* Amiram Eldar, Nov 05 2023 *)
  • PARI
    a(n) = sumdiv(n, d, (n/d % 4 == 3) * d^2); \\ Amiram Eldar, Nov 05 2023

Formula

a(n) = A050461(n) - A050470(n). - Reinhard Zumkeller, Mar 06 2012
From Amiram Eldar, Nov 05 2023: (Start)
a(n) = A076577(n) - A050461(n).
a(n) = (A076577(n) - A050470(n))/2.
Sum_{k=1..n} a(k) ~ c * n^3 / 3, where c = 7*zeta(3)/16 - Pi^3/64 = 0.041426822002... . (End)

Extensions

Offset fixed by Reinhard Zumkeller, Mar 06 2012

A285989 a(0) = 0, a(n) = Sum_{0 0.

Original entry on oeis.org

0, 1, 16, 82, 256, 626, 1312, 2402, 4096, 6643, 10016, 14642, 20992, 28562, 38432, 51332, 65536, 83522, 106288, 130322, 160256, 196964, 234272, 279842, 335872, 391251, 456992, 538084, 614912, 707282, 821312, 923522, 1048576, 1200644, 1336352, 1503652, 1700608
Offset: 0

Author

Seiichi Manyama, Apr 30 2017

Keywords

Comments

Multiplicative because this sequence is the Dirichlet convolution of A000035 and A000583 which are both multiplicative. - Andrew Howroyd, Aug 05 2018

Crossrefs

Sum_{0A002131 (k=1), A076577 (k=2), A007331 (k=3), this sequence (k=4), A096960 (k=5), A096961 (k=7), A096962 (k=9), A096963 (k=11).

Programs

  • Maple
    f:= n -> add((n/d)^4, d = numtheory:-divisors(n/2^padic:-ordp(n,2))); # Robert Israel, Apr 30 2017
  • Mathematica
    {0}~Join~Table[DivisorSum[n, Mod[#, 2] (n/#)^4 &], {n, 36}] (* Michael De Vlieger, Aug 05 2018 *)
  • PARI
    a(n)={sumdiv(n, d, (d%2)*(n/d)^4)} \\ Andrew Howroyd, Aug 05 2018

Formula

a(n) = A051001(n)*16^A007814(n) for n >= 1. - Robert Israel, Apr 30 2017
From Amiram Eldar, Nov 01 2022: (Start)
Multiplicative with a(2^e) = 2^(4*e) and a(p^e) = (p^(4*e+4)-1)/(p^4-1) for p > 2.
Sum_{k=1..n} a(k) ~ c * n^5, where c = 31*zeta(5)/160 = 0.200904... . (End)
Dirichlet g.f.: zeta(s)*zeta(s-4)*(1-1/2^s). - Amiram Eldar, Jan 08 2023

A285675 Expansion of Product_{n>0} ((1-x^n)/(1+x^n))^n in powers of x.

Original entry on oeis.org

1, -2, -2, 0, 6, 8, 4, -4, -18, -34, -32, -8, 36, 96, 144, 152, 94, -60, -294, -560, -760, -760, -460, 228, 1276, 2486, 3576, 4080, 3456, 1304, -2576, -7956, -13986, -19208, -21644, -19056, -9462, 8200, 33364, 63224, 92384, 112860, 114976, 88896, 26660, -74792
Offset: 0

Author

Seiichi Manyama, Apr 30 2017

Keywords

Crossrefs

Product_{n>0} ((1-x^n)/(1+x^n))^(n^m): A002448 (m=0), this sequence (m=1), A285988 (m=2), A285990 (m=3), A285991 (m=4).

Formula

a(0) = 1, a(n) = -(2/n)*Sum_{k=1..n} A076577(k)*a(n-k) for n > 0.
G.f.: exp(Sum_{k>=1} (sigma_2(k) - sigma_2(2*k))*x^k/(2*k)). - Ilya Gutkovskiy, Apr 14 2019
G.f.: exp( - 2*Sum_{n >= 0} x^(2*n+1)/((2*n+1)*(1 - x^(2*n+1))^2) ). Cf. A000122. - Peter Bala, Dec 23 2021

A308422 a(n) = n^2 if n odd, 3*n^2/4 if n even.

Original entry on oeis.org

0, 1, 3, 9, 12, 25, 27, 49, 48, 81, 75, 121, 108, 169, 147, 225, 192, 289, 243, 361, 300, 441, 363, 529, 432, 625, 507, 729, 588, 841, 675, 961, 768, 1089, 867, 1225, 972, 1369, 1083, 1521, 1200, 1681, 1323, 1849, 1452, 2025, 1587, 2209, 1728, 2401, 1875, 2601, 2028, 2809, 2187, 3025
Offset: 0

Author

Ilya Gutkovskiy, May 26 2019

Keywords

Comments

Moebius transform of A076577.

Programs

  • Mathematica
    a[n_] := If[OddQ[n], n^2, 3 n^2/4]; Table[a[n], {n, 0, 55}]
    nmax = 55; CoefficientList[Series[x (1 + 3 x + 6 x^2 + 3 x^3 + x^4)/(1 - x^2)^3, {x, 0, nmax}], x]
    LinearRecurrence[{0, 3, 0, -3, 0, 1}, {0, 1, 3, 9, 12, 25}, 56]
    Table[(7 - (-1)^n) n^2/8, {n, 0, 55}]

Formula

G.f.: x*(1 + 3*x + 6*x^2 + 3*x^3 + x^4)/(1 - x^2)^3.
G.f.: Sum_{k>=1} J_2(k)*x^k/(1 - x^(2*k)), where J_2() is the Jordan function (A007434).
E.g.f.: x*((4 + 3*x)*cosh(x) + (3 + 4*x)*sinh(x))/4.
Dirichlet g.f.: zeta(s-2)*(1 - 1/2^s).
a(n) = (7 - (-1)^n)*n^2/8.
a(n) = Sum_{d|n, n/d odd} J_2(d).
a(2*k+1) = A016754(k), a(2*k) = A033428(k).
Sum_{n>=1} 1/a(n) = 13*Pi^2/72 = 1.7820119057522453061...
Sum_{n>=1} (-1)^(n+1)/a(n) = 5*Pi^2/72 = 0.68538919452009434853...
Multiplicative with a(2^e) = 3*2^(2*e-2), and a(p^e) = p^(2*e) for odd primes p. - Amiram Eldar, Oct 26 2020
For n >= 1, n*a(n) = A309337(n) = Sum_{d divides n} (-1)^(d+1) * J(3, n/d), where the Jordan totient function J_3(n) = A059376. - Peter Bala, Jan 21 2024

A322082 Square array A(n,k), n >= 1, k >= 0, read by antidiagonals: A(n,k) = Sum_{d|n, n/d odd} d^k.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 1, 4, 4, 1, 1, 8, 10, 4, 2, 1, 16, 28, 16, 6, 2, 1, 32, 82, 64, 26, 8, 2, 1, 64, 244, 256, 126, 40, 8, 1, 1, 128, 730, 1024, 626, 224, 50, 8, 3, 1, 256, 2188, 4096, 3126, 1312, 344, 64, 13, 2, 1, 512, 6562, 16384, 15626, 7808, 2402, 512, 91, 12, 2, 1, 1024, 19684, 65536, 78126, 46720, 16808, 4096, 757, 104, 12, 2
Offset: 1

Author

Ilya Gutkovskiy, Nov 26 2018

Keywords

Examples

			Square array begins:
  1,  1,   1,    1,     1,     1,  ...
  1,  2,   4,    8,    16,    32,  ...
  2,  4,  10,   28,    82,   244,  ...
  1,  4,  16,   64,   256,  1024,  ...
  2,  6,  26,  126,   626,  3126,  ...
  2,  8,  40,  224,  1312,  7808,  ...
		

Programs

  • Mathematica
    Table[Function[k, Sum[Boole[OddQ[n/d]] d^k, {d, Divisors[n]}]][i - n], {i, 0, 12}, {n, 1, i}] // Flatten
    Table[Function[k, SeriesCoefficient[Sum[j^k x^j/(1 - x^(2 j)), {j, 1, n}], {x, 0, n}]][i - n], {i, 0, 12}, {n, 1, i}] // Flatten
  • PARI
    T(n,k)={sumdiv(n, d, if(n/d%2, d^k))}
    for(n=1, 10, for(k=0, 8, print1(T(n, k), ", ")); print); \\ Andrew Howroyd, Nov 26 2018

Formula

G.f. of column k: Sum_{j>=1} j^k*x^j/(1 - x^(2*j)).
Showing 1-10 of 13 results. Next