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-2 of 2 results.

A132000 Expansion of (1/3) * b(q) * b(q^2) * c(q)^2 / c(q^2) in powers of q where b(), c() are cubic AGM functions.

Original entry on oeis.org

1, -1, -5, -1, 11, 24, -5, -50, -53, -1, 120, 120, 11, -170, -250, 24, 203, 288, -5, -362, -264, -50, 600, 528, -53, -601, -850, -1, 550, 840, 120, -962, -821, 120, 1440, 1200, 11, -1370, -1810, -170, 1272, 1680, -250, -1850, -1320, 24, 2640, 2208, 203, -2451
Offset: 0

Views

Author

Michael Somos, Aug 06 2007

Keywords

Comments

Cubic AGM theta functions: a(q) (see A004016), b(q) (A005928), c(q) (A005882).
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).

Examples

			G.f. = 1 - x - 5*x^2 - x^3 + 11*x^4 + 24*x^5 - 5*x^6 - 50*x^7 - 53*x^8 - x^9 + ...

References

  • N. J. Fine, Basic Hypergeometric Series and Applications, Amer. Math. Soc., 1988; p. 85, Eq. (32.71).

Links

Crossrefs

Cf. A113261, A122373, A123330, A131943.

Programs

  • Magma
    A := Basis( ModularForms( Gamma1(6), 3), 50); A[1] - A[2] - 5*A[3] - A[4]; /* Michael Somos, Nov 03 2015 */
  • Mathematica
    a[ n_] := If[ n < 1, Boole[n == 0], DivisorSum[ n, #^2 (-1)^# KroneckerSymbol[ -3, #] &]]; (* Michael Somos, Nov 03 2015 *)
a[ n_] := SeriesCoefficient[ (1/4) EllipticTheta[ 4, 0, q]^2 EllipticTheta[ 4, 0, q^3]^2 EllipticTheta[ 2, 0, q^(1/2)]^3 / EllipticTheta[ 2, 0, q^(3/2)], {q, 0, n}]; (* Michael Somos, Nov 03 2015 *)
a[ n_] := SeriesCoefficient[(9 EllipticTheta[ 4, 0, q] EllipticTheta[ 4, 0, q^3]^5 - EllipticTheta[ 4, 0, q]^5 EllipticTheta[ 4, 0, q^3]) / 8, {q, 0, n}]; (* Michael Somos, Nov 03 2015 *)
a[ n_] := SeriesCoefficient[ QPochhammer[ q] QPochhammer[ q^2]^4 QPochhammer[ q^3]^5 / QPochhammer[ q^6]^4, {q, 0, n}]; (* Michael Somos, Nov 03 2015 *)
  • PARI
    {a(n) = if( n<1, n==0, sumdiv(n, d, d^2 * (-1)^d * kronecker(-3, d)))};
  • PARI
    {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A) * eta(x^2 + A)^4 * eta(x^3 + A)^5 / eta(x^6 + A)^4, n))};
  • PARI
    {a(n) = my(A, p, e); if( n<1, n==0, A = factor(n); - prod(k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==3, 1, p==2, 2 + ((-4)^(e+1) - 1) / 5, p = p^2 * kronecker(-3, p); (p^(e+1) - 1) / (p-1) )))};

Formula

Expansion of phi(-q)^2 * phi(-q^3)^2 * psi(q)^3 / psi(q^3) in powers of q where phi(), psi() are Ramanujan theta functions.
Expansion of eta(q) * eta(q^2)^4 * eta(q^3)^5 / eta(q^6)^4 in powers of q.
Euler transform of period 6 sequence [-1, -5, -6, -5, -1, -6, ...].
a(n) = -b(n) where b() is multiplicative with b(2^e) = 2+((-4)^(e+1)-1)/5, b(3^e) = 1, b(p^e) = (q^(e+1) - 1) / (q-1) where q = p^2*Kronecker(-3, p) if p > 3.
a(3*n) = a(n).
G.f.: 1 - Sum_{k>0} k^2 * Kronecker(-3, k) * x^k / (1 - (-x)^k) = Product_{k>0} (1 - x^(3*k)) * (1 - x^k)^5 / (1 - x^k + x^(2*k))^4.
a(n) = (-1)^n * A113261(n). Convolution of A123330 and A131943.
a(n) = -A132000(n) unless n=0.
Expansion of (9 * phi(-q) * phi(-q^3)^5 - phi(-q)^5 * phi(-q^3)) / 8 in powers of q where phi() is a Ramanujan theta function. - Michael Somos, Nov 03 2015
G.f. is a period 1 Fourier series which satisfies f(-1 / (6 t)) = 15552^(1/2) (t/i)^3 g(t) where q = exp(2 Pi i t) and g() is the g.f. for A122373. - Michael Somos, Nov 03 2015

A288143 Expansion of x * phi(x) * phi(x^3)^2 * f(x, x^5)^3 in powers of x where phi() is a Ramanujan theta function and f(, ) is Ramanujan's general theta function.

Original entry on oeis.org

1, 5, 9, 11, 24, 45, 50, 53, 81, 120, 120, 99, 170, 250, 216, 203, 288, 405, 362, 264, 450, 600, 528, 477, 601, 850, 729, 550, 840, 1080, 962, 821, 1080, 1440, 1200, 891, 1370, 1810, 1530, 1272, 1680, 2250, 1850, 1320, 1944, 2640, 2208, 1827, 2451, 3005, 2592
Offset: 1

Views

Author

Michael Somos, Jul 01 2017

Keywords

Comments

Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
Cubic AGM theta functions: a(q) (see A004016), b(q) (A005928), c(q) (A005882).

Examples

			G.f. = q + 5*q^2 + 9*q^3 + 11*q^4 + 24*q^5 + 45*q^6 + 50*q^7 + 53*q^8 + 81*q^9 + ...

Links

Crossrefs

Cf. A113261, A214262, A334478, A334479.
Cf. A000122, A000700, A004016, A005882, A005928, A010054, A121373.

Programs

  • Magma
    A := Basis( ModularForms( Gamma1(12), 3), 52); A[2] + 5*A[3] + 9*A[4] + 11*A[5] + 24*A[6] + 45*A[7] + 50*A[8] + 53*A[9] + 81*A[10] + 120*A[11] + 120*A[12] + 99*A[13];
  • Mathematica
    a[ n_] := If[ n < 1, 0, (-1)^n DivisorSum[ n, (-1)^# #^2 JacobiSymbol[ -3, n/#] &]];
a[ n_] := SeriesCoefficient[ x EllipticTheta[ 3, 0, x] EllipticTheta[ 3, 0, x^3]^2 (QPochhammer[ -x, x^6] QPochhammer[ -x^5, x^6] QPochhammer[ x^6])^3, {x, 0, n}];
a[ n_] := If[ n < 2, Boole[n == 1], Times @@ (Which[# == 3, 9^#2, # == 2, (4^(#2 + 1) + 9 (-1)^(#2 + 1))/5, Mod[#, 6] == 1, ((#^2)^(#2 + 1) - 1)/(#^2 - 1), True, ((#^2)^(#2 + 1) - (-1)^(#2 + 1))/(#^2 + 1)] & @@@ FactorInteger@n)];
  • PARI
    {a(n) = if( n<1, 0, (-1)^n * sumdiv( n, d, (-1)^d * d^2 * kronecker( -3, n/d)))};
  • PARI
    {a(n) = my(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( eta(x^2 + A)^11 * eta(x^6 + A)^7 / (eta(x + A)^5 * eta(x^3 + A) * eta(x^4 + A)^5 * eta(x^12 + A)), n))};
  • PARI
    {a(n) = my(A, p, e); if( n<1, 0, A = factor(n); prod(k=1, matsize(A)[1], [p, e] = A[k, ]; if( p==3, 9^e, p==2, (4^(e+1) + 9*(-1)^(e+1)) / 5, p%6==1, ((p^2)^(e+1) - 1) / (p^2 - 1), ((p^2)^(e+1) - (-1)^(e+1)) / (p^2 + 1))))};

Formula

Expansion of (a(q^2) - a(-q)) * (2*a(q) + a(-q))^2 / 54 in powers of q where a() is a cubic AGM theta function.
Expansion of -c(-q) * (2*c(q) + c(-q))^2 / 27 in powers of q where c() is a cubic AGM theta function.
Expansion of eta(q^2)^11 * eta(q^6)^7 / (eta(q)^5 * eta(q^3) * eta(q^4)^5 * eta(q^12)) in powers of q.
a(n) is multiplicative with a(3^e) = 9^e, a(2^e) = (4^(e+1) + 9*(-1)^(e+1)) / 5 if e>0, a(p^e) = ((p^2)^(e+1) - 1) / (p^2 - 1) if p == 1 (mod 6), a(p^e) = ((p^2)^(e+1) - (-1)^(e+1)) / (p^2 + 1) if p == 5 (mod 6).
Euler transform of period 12 sequence [5, -6, 6, -1, 5, -12, 5, -1, 6, -6, 5, -6, ...].
G.f. is a period 1 Fourier series which satisfies f(-1 / (12 t)) = 192^(1/2) (t/i)^3 g(t) where q = exp(2 Pi i t) and g() is the g.f. for A113261.
G.f.: Sum_{k>0} k^2 * x^k / (1 + x^k + x^(2*k)) * if(mod(k,4)=2, 3/2, 1).
a(n) = -(-1)^n * A214262(n).
Sum_{k=1..n} a(k) ~ c * n^3 / 3, where c = Product_{p prime == 1 (mod 6)} (p^3/(p^3-1)) * Product_{p prime == 5 (mod 6)} (p^3/(p^3+1)) = 1/(A334478 * A334479) = 0.99452678821883983883... . - Amiram Eldar, Feb 20 2024
Showing 1-2 of 2 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.