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.

Previous Showing 11-20 of 26 results. Next

A123330 Expansion of eta(q^2) * eta(q^3)^6 / (eta(q)^2 * eta(q^6)^3) in powers of q.

Original entry on oeis.org

1, 2, 4, 2, 2, 0, 4, 4, 4, 2, 0, 0, 2, 4, 8, 0, 2, 0, 4, 4, 0, 4, 0, 0, 4, 2, 8, 2, 4, 0, 0, 4, 4, 0, 0, 0, 2, 4, 8, 4, 0, 0, 8, 4, 0, 0, 0, 0, 2, 6, 4, 0, 4, 0, 4, 0, 8, 4, 0, 0, 0, 4, 8, 4, 2, 0, 0, 4, 0, 0, 0, 0, 4, 4, 8, 2, 4, 0, 8, 4, 0, 2, 0, 0, 4, 0, 8, 0, 0, 0, 0, 8, 0, 4, 0, 0, 4, 4, 12, 0, 2, 0, 0, 4, 8
Offset: 0

Views

Author

Michael Somos, Sep 26 2006

Keywords

Comments

Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).

Examples

			G.f. = 1 + 2*q + 4*q^2 + 2*q^3 + 2*q^4 + 4*q^6 + 4*q^7 + 4*q^8 + 2*q^9 + ... - _Michael Somos_, Aug 11 2009
		

Crossrefs

Programs

  • Mathematica
    QP = QPochhammer; s = QP[q^2]*(QP[q^3]^6/(QP[q]^2*QP[q^6]^3)) + O[q]^105; CoefficientList[s, q] (* Jean-François Alcover, Nov 27 2015 *)
  • PARI
    {a(n) = if( n<1, n==0, 2 * sumdiv(n, d, -(-1)^d * kronecker( -3, d)))}
    
  • PARI
    {a(n) = local(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x^2 + A) * eta(x^3 + A)^6 / (eta(x + A)^2 * eta(x^6 + A)^3), n))}
    
  • Sage
    A = ModularForms( Gamma1(6), 1, prec=90).basis(); A[0] + 2*A[1] # Michael Somos, Sep 27 2013

Formula

Expansion of c(q)^2 / (3 * c(q^2)) in powers of q where c() is a cubic AGM theta function.
Expansion of phi(-x^3)^3 / phi(-x) where phi() is a Ramanujan theta function.
a(n) = 2*b(n) where b(n) is multiplicative and b(2^e) = (1 - 3*(-1)^e) / 2 if e>0, b(3^e) = 1, b(p^e) = e+1 if p == 1 (mod 6), b(p^e) = (1 + (-1)^e) / 2 if p == 5 (mod 6).
Euler transform of period 6 sequence [ 2, 1, -4, 1, 2, -2, ...].
Moebius transform is period 6 sequence [ 2, 2, 0, -2, -2, 0, ...].
a(n) = 2 * A123331(n) if n>0. (-1)^n * a(n) = A113973(n).
G.f.: Product_{k>0} (1 + x^k)/(1 - x^k) * ((1 - x^(3*k)) / (1 + x^(3*k)))^3.
G.f.: 1 + 2 * Sum_{k>0} x^k / (1 - x^k + x^(2*k)) = theta_3(-x^3)^3 / theta_3(-x).
From Michael Somos, Aug 11 2009: (Start)
G.f. A(x) satisfies 0 = f(A(x), A(x^2), A(x^4)) where f(u, v, w) = v * (u - v)^2 - 2 * u * w * (v - w).
G.f. is a period 1 Fourier series which satisfies f(-1 / (6 t)) = (16/3)^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A107760.
a(4*n) = a(3*n) = a(n). a(12*n + 10) = a(6*n + 5) = 0.
a(2*n + 1) = 2 * A033762(n). a(3*n + 1) = 2 * A033687(n). a(4*n + 1) = 2 * A112604(n). a(4*n + 3) = 2 * A112605(n). a(6*n + 1) = 2 * A097195(n). a(12*n + 1) = A123884(n). a(12*n + 7) = 4 * A121361(n). (End)
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = 4*Pi/(3*sqrt(3)) = 2.418399... (A275486). - Amiram Eldar, Nov 14 2023

A115978 Expansion of phi(-q) * phi(-q^3) in powers of q where phi() is a Ramanujan theta function.

Original entry on oeis.org

1, -2, 0, -2, 6, 0, 0, -4, 0, -2, 0, 0, 6, -4, 0, 0, 6, 0, 0, -4, 0, -4, 0, 0, 0, -2, 0, -2, 12, 0, 0, -4, 0, 0, 0, 0, 6, -4, 0, -4, 0, 0, 0, -4, 0, 0, 0, 0, 6, -6, 0, 0, 12, 0, 0, 0, 0, -4, 0, 0, 0, -4, 0, -4, 6, 0, 0, -4, 0, 0, 0, 0, 0, -4, 0, -2, 12, 0, 0, -4, 0, -2, 0, 0, 12, 0, 0, 0, 0, 0, 0, -8, 0, -4, 0, 0, 0, -4, 0, 0, 6, 0
Offset: 0

Views

Author

Michael Somos, Feb 09 2006

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. = 1 - 2*q - 2*q^3 + 6*q^4 - 4*q^7 - 2*q^9 + 6*q^12 - 4*q^13 + ...
		

Crossrefs

Programs

  • Mathematica
    a[ n_] := SeriesCoefficient[ EllipticTheta[ 4, 0, q] EllipticTheta[ 4, 0, q^3], {q, 0, n}] (* Michael Somos, Nov 09 2013 *)
  • PARI
    {a(n) = local(A); if( n<0, 0, A = x * O(x^n); polcoeff( (eta(x + A) * eta(x^3 + A))^2 / (eta(x^2 + A) * eta(x^6 + A)), n))}
    
  • PARI
    {a(n) = local(A, p, e); if( n<1, n==0, A = factor(n); -2 * prod( k=1, matsize(A)[1], if(p = A[k,1], e = A[k,2]; if( p==2, -3 * ((e+1)%2), if( p==3, 1, if( p%6==1, e+1, (e+1)%2))))))} /* Michael Somos, Nov 09 2013 */

Formula

Expansion of theta_4(q) * theta_4(q^3) in powers of q.
Expansion of (4 * a(q^4) - a(q)) / 3 = (4 * b(q^4) - b(q)) * b(q) / (3 * b(q^2)) in powers of q where a(), b() are cubic AGM theta functions. - Michael Somos, Nov 09 2013
Expansion of (eta(q) * eta(q^3))^2 / (eta(q^2) * eta(q^6)) in powers of q.
Euler transform of period 6 sequence [ -2, -1, -4, -1, -2, -2, ...].
Moebius transform is period 12 sequence [ -2, 2, 0, 6, 2, 0, -2, -6, 0, -2, 2, 0, ...]. - Michael Somos, Nov 09 2013
a(n) = -2*b(n) where b(n) is multiplicative and b(2^e) = -3 * (1 + (-1)^e) / 2 if e>0, b(3^e) = 1, b(p^e) = 1+e if p == 1 (mod 6), b(p^e) = (1 +(-1)^e) / 2 if p == 5 (mod 6).
Given g.f. A(x), then B(x) = A(x)^2 satisfies 0 = f(B(x), B(x^2), B(x^4)) where f(u, v, w) = v*(u + v)^2 - 4*u * (w^2 - v*w + v^2).
G.f. is a period 1 Fourier series which satisfies f(-1 / (12 t)) = 192^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A033762. - Michael Somos, Nov 09 2013
G.f.: 1 - 2*(Sum_{k>0} x^k / (1 + x^k + x^(2*k)) - 4 * x^(4*k) / (1 + x^(4*k) + x^(8*k))).
G.f.: (Sum_{k in Z} (-x)^(k^2)) * (Sum_{k in Z} (-x)^(3*k^2)).
a(n) = -2 * A115979(n) unless n=0. a(n) = (-1)^n * A033716(n).
a(3*n + 2) = a(4*n + 2) = 0. a(3*n) = a(n). a(2*n + 1) = -2 * A033762(n). a(3*n + 1) = -2 * A122861(n). a(4*n) = A004016(n). a(4*n + 1) = -2 * A112604(n). a(6*n + 1) = -2 * A097195(n). - Michael Somos, Nov 09 2013

A112298 Expansion of (a(q) - 3*a(q^2) + 2*a(q^4)) / 6 in powers of q where a() is a cubic AGM theta function.

Original entry on oeis.org

1, -3, 1, 3, 0, -3, 2, -3, 1, 0, 0, 3, 2, -6, 0, 3, 0, -3, 2, 0, 2, 0, 0, -3, 1, -6, 1, 6, 0, 0, 2, -3, 0, 0, 0, 3, 2, -6, 2, 0, 0, -6, 2, 0, 0, 0, 0, 3, 3, -3, 0, 6, 0, -3, 0, -6, 2, 0, 0, 0, 2, -6, 2, 3, 0, 0, 2, 0, 0, 0, 0, -3, 2, -6, 1, 6, 0, -6, 2, 0, 1, 0, 0, 6, 0, -6, 0, 0, 0, 0, 4, 0, 2, 0, 0, -3, 2, -9, 0, 3, 0, 0, 2, -6, 0
Offset: 1

Views

Author

Michael Somos, Sep 02 2005

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. = q - 3*q^2 + q^3 + 3*q^4 - 3*q^6 + 2*q^7 - 3*q^8 + q^9 + 3*q^12 + ...
		

Crossrefs

Programs

  • Magma
    A := Basis( ModularForms( Gamma1(12), 1), 106); A[2] - 3*A[3] + A[4] + 3*A[5]; /* Michael Somos, Jan 17 2015 */
  • Mathematica
    a[ n_] := SeriesCoefficient[ q QPochhammer[ q, q^2]^3 QPochhammer[ -q^6, q^6]^3 EllipticTheta[ 4, 0, q^2] EllipticTheta[ 2, 0, q^(3/2)] / (2 q^(3/8)), {q, 0, n}]; (* Michael Somos, Jan 17 2015 *)
    a[ n_] := If[ n < 1, 0, DivisorSum[ n, JacobiSymbol[ -3, n/#] {1, -2, 1, 0}[[Mod[#, 4, 1]]] &]]; (* Michael Somos, Jan 17 2015 *)
  • PARI
    {a(n) = if( n<1, 0, sumdiv(n, d, kronecker(-3, n/d)*[0, 1, -2, 1][d%4 + 1]))};
    
  • PARI
    {a(n) = my(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( (eta(x + A) * eta(x^12 + A))^3/ (eta(x^2 + A) * eta(x^3 + A) * eta(x^4 + A) * eta(x^6 + A)), n))};
    

Formula

From Michael Somos, Jan 17 2015: (Start)
Expansion of b(q) * (b(q^4) - b(q)) / (3*b(q^2)) in powers of q where b() is a cubic AGM theta function.
Expansion of q * chi(-q)^3 * phi(-q^2) * psi(q^3) / chi(-q^6)^3 in powers of q where phi(), psi(), chi() are Ramanujan theta functions.
Expansion of q * phi(-q)^2 * psi(q^6)^2 / (psi(-q) * psi(-q^3)) in powers of q where phi(), psi() are Ramanujan theta functions.
Expansion of q * f(q) * f(-q, -q^5)^4 / f(q^3)^3 in powers of q where f() is a Ramanujan theta function. (End)
Expansion of (eta(q) * eta(q^12))^3 / (eta(q^2) * eta(q^3) * eta(q^4) * eta(q^6)) in powers of q.
Euler transform of period 12 sequence [ -3, -2, -2, -1, -3, 0, -3, -1, -2, -2, -3, -2, ...].
Moebius transform is period 12 sequence [ 1, -4, 0, 6, -1, 0, 1, -6, 0, 4, -1, 0, ...].
Multiplicative with a(2^e) = 3(-1)^e if e>0, a(3^e)=1, a(p^e) = e+1 if p == 1 (mod 6), a(p^e) = (1 + (-1)^e)/2 if p == 2 (mod 6).
G.f. is a period 1 Fourier series which satisfies f(-1 / (12 t)) = 12^(1/2) (t/i) f(t) where q = exp(2 Pi i t).
G.f.: Sum_{k>0} Kronecker(-3, k) * x^k * (1 - x^k)^2 / (1 - x^(4*k)).
a(n) = -(-1)^n * A244375(n). a(6*n + 5) = 0, a(3*n) = a(n).
a(2*n) = -3 * A093829(n). a(2*n + 1) = A033762(n). a(3*n + 1) = A129576(n). a(4*n + 1) = A112604(n). a(4*n + 3) = A112605(n). a(6*n + 1) = A097195(n). a(6*n + 2) = -3 * A033687(n).
Sum_{k=1..n} abs(a(k)) ~ (Pi/sqrt(3)) * n. - Amiram Eldar, Jan 23 2024

A246838 Expansion of f(-x^2) * f(-x^12)^2 / f(x^1, x^5) in powers of x where f() is Ramanujan theta function.

Original entry on oeis.org

1, -1, 0, 0, -1, 0, 1, -1, 0, 2, -1, 0, 0, 0, 0, 2, -1, 0, 1, -1, 0, 0, -2, 0, 0, -1, 0, 2, 0, 0, 0, -1, 0, 0, -1, 0, 3, -1, 0, 0, -1, 0, 2, -1, 0, 2, 0, 0, 0, -1, 0, 0, -1, 0, 2, -1, 0, 0, 0, 0, 1, -2, 0, 0, -2, 0, 0, -1, 0, 2, -1, 0, 2, 0, 0, 0, -1, 0, 0, 0
Offset: 0

Views

Author

Michael Somos, Sep 04 2014

Keywords

Comments

Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).

Examples

			G.f. = 1 - x - x^4 + x^6 - x^7 + 2*x^9 - x^10 + 2*x^15 - x^16 + x^18
+ ...
G.f. = q^3 - q^7 - q^19 + q^27 - q^31 + 2*q^39 - q^43 + 2*q^63 - q^67 + ...
		

Crossrefs

Programs

  • Mathematica
    a[ n_] := SeriesCoefficient[ x^(1/4) EllipticTheta[ 2, Pi/4, x^(1/2)] QPochhammer[ x^12]^2 / EllipticTheta[ 2, Pi/4, x^(3/2)], {x, 0, n}]; (* Michael Somos, Aug 27 2015 *)
  • PARI
    {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A) * eta(x^4 + A) * eta(x^6 + A) * eta(x^12 + A) / (eta(x^2 + A) * eta(x^3 + A)), n))};

Formula

Expansion of q^(-3/4) * eta(q) * eta(q^4) * eta(q^6) * eta(q^12) / (eta(q^2) * eta(q^3)) in powers of q.
Euler transform of period 12 sequence [ -1, 0, 0, -1, -1, 0, -1, -1, 0, 0, -1, -2, ...].
G.f. is a period 1 Fourier series which satisfies f(-1 / (144 t)) = 27^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A246752.
a(3*n) = A112604(n). a(3*n + 1) = - A121361(n). a(3*n + 2) = 0.

A129449 Expansion of psi(-x) * psi(-x^3) in powers of x where psi() is a Ramanujan theta function.

Original entry on oeis.org

1, -1, 0, -2, 1, 0, 2, 0, 0, -2, 2, 0, 1, -1, 0, -2, 0, 0, 2, -2, 0, -2, 0, 0, 3, 0, 0, 0, 2, 0, 2, -2, 0, -2, 0, 0, 2, -1, 0, -2, 1, 0, 0, 0, 0, -4, 2, 0, 2, 0, 0, -2, 0, 0, 2, -2, 0, 0, 2, 0, 1, 0, 0, -2, 2, 0, 4, 0, 0, -2, 0, 0, 0, -3, 0, -2, 0, 0, 2, 0, 0, -2, 0, 0, 3, -2, 0, -2, 0, 0, 2, -2, 0, 0, 2, 0, 2, 0, 0, -2, 2, 0, 0, 0, 0
Offset: 0

Views

Author

Michael Somos, Apr 16 2007

Keywords

Comments

Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
Number 53 of the 74 eta-quotients listed in Table I of Martin (1996).

Examples

			G.f. = 1 - x - 2*x^3 + x^4 + 2*x^6 - 2*x^9 + 2*x^10 + x^12 - x^13 - 2*x^15 + ...
G.f. = q - q^3 - 2*q^7 + q^9 + 2*q^13 - 2*q^19 + 2*q^21 + q^25 - q^27 + ...
		

Crossrefs

Programs

  • Mathematica
    a[ n_] := SeriesCoefficient[ EllipticTheta[ 2, Pi/4, x^(1/2)] EllipticTheta[ 2, Pi/4, x^(3/2)] / (2 x^(1/2)), {x, 0, n}]; (* Michael Somos, Jul 09 2015 *)
    a[ n_] := With[ {m = 2 n + 1}, If[ m < 1, 0, Sum[ KroneckerSymbol[ 12, d] KroneckerSymbol[ -4, m/d], {d, Divisors[ m]}]]]; (* Michael Somos, Jul 09 2015 *)
  • PARI
    {a(n) = if( n<0, 0, n = 2*n + 1; sumdiv( n, d, kronecker( -4, d) * kronecker( 12, n/d)))};
    
  • PARI
    {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A) * eta(x^3 + A) * eta(x^4 + A) * eta(x^12 + A)/ (eta(x^2 + A) * eta(x^6 + A)), n))};

Formula

Expansion of q^(-1/2) * eta(q) * eta(q^3) * eta(q^4) * eta(q^12) / (eta(q^2) * eta(q^6)) in powers of q.
Euler transform of period 12 sequence [ -1, 0, -2, -1, -1, 0, -1, -1, -2, 0, -1, -2, ...].
a(n) = b(2*n + 1) where b() is multiplicative with b(2^e) = 0^e, b(3^e) = (-1)^e, b(p^e) = (1 + (-1)^e) / 2 if p == 5, 11 (mod 12), b(p^e) = e+1 if p == 1 (mod 12), b(p^e) = (-1)^e * (e+1) if p == 7 (mod 12).
G.f. is a period 1 Fourier series which satisfies f(-1 / (48 t)) = 48^(1/2) (t/i) f(t) where q = exp(2 Pi i t).
a(n) = (-1)^n * A033762(n). a(2*n) = A112604(n). a(2*n + 1) = -A112605(n). a(3*n) = A129451(n). a(3*n + 1) = -a(n). a(3*n + 2) = 0.
a(4*n) = A112606(n). a(4*n + 1) = - A112608(n). a(4*n + 2) = 2 * A112607(n). a(4*n + 3) = - 2 * A112609(n).
a(6*n) = A123884(n). a(6*n + 3) = -2 * A121361(n).

A136748 Expansion of (a(q) - a(q^2) - 4*a(q^4) + 4*a(q^8)) / 6 in powers of q where a() is a cubic AGM theta function.

Original entry on oeis.org

1, -1, 1, -3, 0, -1, 2, 3, 1, 0, 0, -3, 2, -2, 0, -3, 0, -1, 2, 0, 2, 0, 0, 3, 1, -2, 1, -6, 0, 0, 2, 3, 0, 0, 0, -3, 2, -2, 2, 0, 0, -2, 2, 0, 0, 0, 0, -3, 3, -1, 0, -6, 0, -1, 0, 6, 2, 0, 0, 0, 2, -2, 2, -3, 0, 0, 2, 0, 0, 0, 0, 3, 2, -2, 1, -6, 0, -2, 2, 0
Offset: 1

Views

Author

Michael Somos, Jan 22 2008

Keywords

Comments

Cubic AGM theta functions: a(q) (see A004016), b(q) (A005928), c(q) (A005882).

Examples

			G.f. = q - q^2 + q^3 - 3*q^4 - q^6 + 2*q^7 + 3*q^8 + q^9 - 3*q^12 + 2*q^13 + ...
		

Crossrefs

Programs

  • Mathematica
    a[ n_] := If[ n < 1, 0, DivisorSum[ n, (Mod[#, 2] - 4 Boole[Mod[#, 8] == 4]) KroneckerSymbol[ -3, n/#] &]]; (* Michael Somos, Oct 12 2015 *)
    a[ n_] := If[ n < 1, 0, Times @@ (Which[# == 1 || # == 3, 1, # == 2, If[#2 < 2, -1, -3 (-1)^#2], Mod[#, 6] == 1, #2 + 1, True, 1 - Mod[#2, 2]] & @@@ FactorInteger@n)]; (* Michael Somos, Oct 12 2015 *)
  • PARI
    {a(n) = my(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( eta(x + A) * eta(x^3+A) * eta(x^4 + A)^4 * eta(x^24 + A)^2 / ( eta(x^2 + A) * eta(x^8+A) * eta(x^12+A) )^2, 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==2, if( e<2, -1, -3 * (-1)^e), p==3, 1, p%6>1, !(e%2), e+1)))};
    
  • PARI
    {a(n) = if( n<1, 0, sumdiv(n, d, ((d%2) -4 * (d%8==4)) * kronecker(-3, n/d)))};

Formula

Expansion of eta(q) * eta(q^3) * eta(q^4)^4 * eta(q^24)^2 / (eta(q^2) * eta(q^8) * eta(q^12))^2 in powers of q.
Euler transform of period 24 sequence [ -1, 1, -2, -3, -1, 0, -1, -1, -2, 1, -1, -2, -1, 1, -2, -1, -1, 0, -1, -3, -2, 1, -1, -2, ...].
a(n) is multiplicative with a(2) = -1, a(2^e) = -3 * (-1)^e if e>1, a(3^e) = 1, a(p^e) = e+1 if p == 1 (mod 6), a(p^e) = (1 + (-1)^e)/2 if p == 5 (mod 6).
G.f. is a period 1 Fourier series which satisfies f(-1 / (24 t)) = 12^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A123484.
G.f.: x * Product_{k>0} (1 - x^k)^2 * (1 + x^(2*k))^2 * (1 + x^k + x^(2*k)) * (1 - x^(4*k) + x^(8*k))^2.
Moebius transform is period 24 sequence [ 1, -2, 0, -2, -1, 0, 1, 6, 2, -1, 0, 1, -2, 0, -6, -1, 0, 1, 2, 0, 2, -1, 0, ...].
a(2*n) = A244375(n). a(2*n + 1) = A033762(n). a(3*n) = a(n). a(3*n + 1) = A122861(n).
a(4*n) = -3 * A093829(n). a(4*n + 1) = A112604(n). a(4*n + 2) = -A033762(n). a(4*n + 3) = A112605(n).
a(6*n + 1) = A097195(n). a(6*n + 5) = 0.
Expansion of q * f(-q, -q) * f(q^2, q^10) / f(-q, -q^5)^2 in powers of q where f(, ) is Ramanujan's general theta function. - Michael Somos, Oct 12 2015
Sum_{k=1..n} abs(a(k)) ~ (Pi*sqrt(3)/4) * n. - Amiram Eldar, Jan 28 2024

A137608 Expansion of (1 - psi(-q)^3 / psi(-q^3)) / 3 in powers of q where psi() is a Ramanujan theta function.

Original entry on oeis.org

1, -1, 1, -1, 0, -1, 2, -1, 1, 0, 0, -1, 2, -2, 0, -1, 0, -1, 2, 0, 2, 0, 0, -1, 1, -2, 1, -2, 0, 0, 2, -1, 0, 0, 0, -1, 2, -2, 2, 0, 0, -2, 2, 0, 0, 0, 0, -1, 3, -1, 0, -2, 0, -1, 0, -2, 2, 0, 0, 0, 2, -2, 2, -1, 0, 0, 2, 0, 0, 0, 0, -1, 2, -2, 1, -2, 0, -2, 2, 0, 1, 0, 0, -2, 0, -2, 0, 0, 0, 0, 4, 0, 2, 0, 0, -1, 2, -3, 0, -1, 0, 0, 2, -2, 0
Offset: 1

Views

Author

Michael Somos, Jan 29 2008

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 - q^2 + q^3 - q^4 - q^6 + 2*q^7 - q^8 + q^9 - q^12 + 2*q^13 + ...
		

Crossrefs

Programs

  • Mathematica
    a[ n_] := If[ n < 1, 0, -(-1)^n DivisorSum[n, KroneckerSymbol[ -12, #] &]]; (* Michael Somos, May 06 2015 *)
    a[ n_] := SeriesCoefficient[ (4 + EllipticTheta[ 2, Pi/4, q^(1/2)]^3 / EllipticTheta[ 2, Pi/4, q^(3/2)]) / 6, {q, 0, n}]; (* Michael Somos, May 06 2015 *)
    a[ n_] := If[ n < 1, 0, DivisorSum[ n, {1, -2, 0, 0, -1, 0, 1, 0, 0, 2, -1, 0}[[Mod[#, 12, 1]]] &]]; (* Michael Somos, May 07 2015 *)
  • PARI
    {a(n) = if( n<1, 0, -(-1)^n * sumdiv(n, d, kronecker(-12, d)))};
    
  • PARI
    {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( (1 - eta(x + A)^3 * eta(x^4 + A)^3 * eta(x^6 + A) / (eta(x^2 + A)^3 * eta(x^3 + A) * eta(x^12 + A))) / 3, n))}; /* Michael Somos, May 06 2015 */

Formula

Expansion of (1 - b(q^2)^2 / b(-q) ) / 3 in powers of q where b() is a cubic AGM function.
Moebius transform is period 12 sequence [ 1, -2, 0, 0, -1, 0, 1, 0, 0, 2, -1, 0, ...].
a(n) is multiplicative with a(2^e) = -1 unless e=0, a(3^e) = 1, a(p^e) = e + 1 if p == 1 (mod 6), a(p^e) = (1 + (-1)^e) / 2 if p == 5 (mod 6).
G.f.: Sum_{k>0} (-1)^k * (x^k + x^(3*k)) / (1 + x^k + x^(2*k)).
G.f.: ( Sum_{k>0} x^(6*k-5) / ( 1 + x^(6*k-5) ) - x^(6*k-1) / ( 1 + x^(6*k-1) )).
a(n) = -(-1)^n * A035178(n). -3 * a(n) = A132973(n) unless n = 0.
a(2*n) = -A035178(n). a(2*n + 1) = A033762(n). a(3*n) = a(n). a(3*n + 1) = A227696(n).
a(4*n + 1) + A112604(n). a(4*n + 3) = A112605(n). a(6*n + 1) = A097195(n). a(6*n + 5) = 0.
a(8*n + 1) = A112606(n). a(8*n + 3) = A112608(n). a(8*n + 5) = 2 * A112607(n-1). a(8*n + 7) = 2 * A112609(n).
a(12*n + 1) = A123884(n). a(12*n + 7) = 2 * A121361(n).
a(24*n + 1) = A131961(n). a(24*n + 7) = 2 * A131962(n). a(24*n + 13) = 2 * A131963(n). a(24*n + 19) = 2 * A131964(n).

A164272 Expansion of phi(q) * phi(-q^3) in powers of q where phi() is a Ramanujan theta function.

Original entry on oeis.org

1, 2, 0, -2, -2, 0, 0, -4, 0, 2, 0, 0, -2, 4, 0, 0, 6, 0, 0, -4, 0, 4, 0, 0, 0, 2, 0, -2, -4, 0, 0, -4, 0, 0, 0, 0, -2, 4, 0, -4, 0, 0, 0, -4, 0, 0, 0, 0, 6, 6, 0, 0, -4, 0, 0, 0, 0, 4, 0, 0, 0, 4, 0, -4, 6, 0, 0, -4, 0, 0, 0, 0, 0, 4, 0, -2, -4, 0, 0, -4, 0, 2, 0, 0, -4, 0, 0, 0, 0, 0, 0, -8, 0, 4, 0, 0, 0, 4, 0, 0, -2, 0, 0, -4, 0
Offset: 0

Views

Author

Michael Somos, Aug 11 2009

Keywords

Comments

Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).

Examples

			G.f. = 1 + 2*q - 2*q^3 - 2*q^4 - 4*q^7 + 2*q^9 - 2*q^12 + 4*q^13 + 6*q^16 + ...
		

Crossrefs

Programs

  • Mathematica
    a[ n_] := SeriesCoefficient[ EllipticTheta[ 3, 0, q] EllipticTheta[ 4, 0, q^3], {q, 0, n}]; (* Michael Somos, Sep 02 2015 *)
    f[x_, y_] := QPochhammer[-x, x*y]*QPochhammer[-y, x*y]*QPochhammer[x*y, x*y]; A164272[n_] := SeriesCoefficient[f[q, q]*f[-q^3, -q^3], {q, 0, n}]; Table[A164272[n], {n,0,50}] (* G. C. Greubel, Sep 16 2017 *)
  • PARI
    {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x^2 + A)^5 * eta(x^3 + A)^2 / (eta(x + A)^2 * eta(x^4 + A)^2 * eta(x^6 + A)), n))};

Formula

Expansion of eta(q^2)^5 * eta(q^3)^2 / (eta(q)^2 * eta(q^4)^2 * eta(q^6)) in powers of q.
Euler transform of period 12 sequence [ 2, -3, 0, -1, 2, -4, 2, -1, 0, -3, 2, -2, ...].
G.f. is a period 1 Fourier series which satisfies f(-1 / (48 t)) = 768^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A112604.
a(n) = (-1)^n * A164273(n).
a(2*n + 1) = 2 * A129449(n). a(4*n) = A115978(n). a(4*n + 1) = 2 * A112604(n). a(4*n + 2) = 0. a(4*n + 3) = -2 * A112605(n).
a(3*n) = A164273(n). a(3*n + 1) = 2 * A246752(n). a(3*n + 2) = 0. - Michael Somos, Sep 02 2015

A180318 Expansion of a(-q) in powers of q where a(q) is a cubic AGM function.

Original entry on oeis.org

1, -6, 0, -6, 6, 0, 0, -12, 0, -6, 0, 0, 6, -12, 0, 0, 6, 0, 0, -12, 0, -12, 0, 0, 0, -6, 0, -6, 12, 0, 0, -12, 0, 0, 0, 0, 6, -12, 0, -12, 0, 0, 0, -12, 0, 0, 0, 0, 6, -18, 0, 0, 12, 0, 0, 0, 0, -12, 0, 0, 0, -12, 0, -12, 6, 0, 0, -12, 0, 0, 0, 0, 0, -12, 0
Offset: 0

Views

Author

Michael Somos, Aug 27 2010

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 - 6*q - 6*q^3 + 6*q^4 - 12*q^7 - 6*q^9 + 6*q^12 - 12*q^13 + 6*q^16 + ...
		

Crossrefs

Programs

  • Magma
    A := Basis( ModularForms( Gamma1(12), 1), 75); A[1] - 6*A[2] - 6*A[4] + 6*A[5]; /* Michael Somos, Sep 14 2015 */
  • Mathematica
    a[ n_] := If[ n < 1, Boole[n == 0], (-1)^n 6 Sum[ KroneckerSymbol[ -3, d], {d, Divisors[ n]}]]; (* Michael Somos, Sep 14 2015 *)
    a[ n_] := SeriesCoefficient[ (QPochhammer[ -q]^3 - 9 q QPochhammer[ -q^9]^3) / QPochhammer[ -q^3], {q, 0, n}]; (* Michael Somos, Sep 14 2015 *)
    a[ n_] := SeriesCoefficient[ EllipticTheta[ 4, 0, q] EllipticTheta[ 4, 0, q^3] - EllipticTheta[ 2, 0, q] EllipticTheta[ 2, 0, q^3], {q, 0, n}]; (* Michael Somos, Sep 14 2015 *)
  • PARI
    {a(n) = if( n<1, n==0, 6 * (-1)^n * sumdiv(n, d, kronecker(d, 3)))};
    

Formula

Expansion of 2 * a(q^4) - a(q) in powers of q where a() is a cubic AGM theta function.
Expansion of phi(-q) * phi(-q^3) - 4 * q * psi(q^2) * psi(q^6) in powers of q where phi(), psi() are Ramanujan theta functions. - Michael Somos, Sep 14 2015
Expansion of theta_3(-q) * theta_3(-q^3) - theta_2(q) * theta_2(q^3) in powers of q.
G.f. is a period 1 Fourier series which satisfies f(-1 / (12 t)) = - (12)^(1/2) (t/i) f(t) where q = exp(2 Pi i t).
a(n) = (-1)^n * A004016(n).
G.f.: 1 + 6 * Sum_{k>0} (-x)^k/(1 + (-x)^k + x^(2*k)) = Sum_{j, k in Z} (-x)^(j*j + j*k + k*k).
a(2*n) = -6 * A033762(n). a(4*n) = A004016(n). a(4*n + 1) = -6 * A112604(n). a(4*n + 2) = 0. a(4*n + 3) = -6 * A112605(n). - Michael Somos, Sep 14 2015

A253625 Expansion of psi(q^2) * f(-q, q^2)^2 / f(-q, -q^5) in powers of q where psi(), f() are Ramanujan theta functions.

Original entry on oeis.org

1, -1, 3, -1, 3, 0, 3, -2, 3, -1, 0, 0, 3, -2, 6, 0, 3, 0, 3, -2, 0, -2, 0, 0, 3, -1, 6, -1, 6, 0, 0, -2, 3, 0, 0, 0, 3, -2, 6, -2, 0, 0, 6, -2, 0, 0, 0, 0, 3, -3, 3, 0, 6, 0, 3, 0, 6, -2, 0, 0, 0, -2, 6, -2, 3, 0, 0, -2, 0, 0, 0, 0, 3, -2, 6, -1, 6, 0, 6, -2
Offset: 0

Views

Author

Michael Somos, Jan 06 2015

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. = 1 - q + 3*q^2 - q^3 + 3*q^4 + 3*q^6 - 2*q^7 + 3*q^8 - q^9 + 3*q^12 + ...
		

Crossrefs

Programs

  • Magma
    A := Basis( ModularForms( Gamma1(12), 1), 81); A[1] - A[2] + 3*A[3] - A[4] + 3*A[5];
  • Mathematica
    a[ n_] := If[ n < 1, Boole[n == 0], (-1)^ n Sum[(-1)^ Quotient[ d, 3] {1, 1, 0}[[ Mod[d, 3, 1] ]] {1, 2}[[ Mod[n/d, 2, 1] ]], {d, Divisors @ n}]];
    a[ n_] := SeriesCoefficient[ QPochhammer[ q] QPochhammer[ q^3] (QPochhammer[ -q^3, q^6] QPochhammer[ -q^2, q^2])^4, {q, 0, n}];
    a[ n_] := SeriesCoefficient[ EllipticTheta[ 3, 0, q^3]^2 EllipticTheta[ 2, 0, q]^2 / (EllipticTheta[ 2, 0, q^(1/2)] EllipticTheta[ 2, 0, q^(3/2)]), {q, 0, n}];
  • PARI
    {a(n) = if( n<1, n==0, (-1)^n * sumdiv(n, d, (-1)^(d\3) * (d%3>0) * (2-(n\d)%2)))};
    
  • PARI
    {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A) * eta(x^4 + A)^4 * eta(x^6 + A)^8 / (eta(x^2 + A)^4 * eta(x^3 + A)^3 * eta(x^12 + A)^4), n))};
    
  • PARI
    {a(n) = my(A, p, e); if( n<1, n==0, A = factor(n); - prod( k=1, matsize(A)[1], if( p=A[k, 1], e=A[k, 2]; if( p==2, -3, if( p==3, 1, if( p%6 == 1, e+1, 1-e%2))))))};
    

Formula

Expansion of psi(q^2)^2 * phi(q^3)^2 / (psi(q) * psi(q^3)) = f(-q) * f(-q^3) * (chi(q^3) / chi(-q^2))^4 in powers of q where phi(), psi(), chi(), f() are Ramanujan theta functions.
Expansion of (-a(q) - 3*a(q^2) + 4*a(q^4)) / 6 = b(q^4) * (b(q) + 2*b(q^4)) / (3*b(q^2)) in powers of q where a(), b() are cubic AGM theta functions.
Expansion of eta(q) * eta(q^4)^4 * eta(q^6)^8 / (eta(q^2)^4 * eta(q^3)^3 * eta(q^12)^4) in powers of q.
Euler transform of period 12 sequence [ -1, 3, 2, -1, -1, -2, -1, -1, 2, 3, -1, -2, ...].
Moebius transform is period 12 sequence [ -1, 4, 0, 0, 1, 0, -1, 0, 0, -4, 1, 0, ...].
G.f. is a period 1 Fourier series which satisfies f(-1 / (12 t)) = 48^(-1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A253623.
a(n) = -b(n) where b() is multiplicative with b(2^e) = -3 if e>0, b(3^e) = 1, b(p^e) = e+1 if p == 1 (mod 6), b(p^e) = (1 + (-1)^e)/2 if p == 5 (mod 6).
G.f.: 1 + Sum_{k>0} (3 - (k mod 2)*4) * (x^k + x^(3*k)) / (1 + x^(2*k) + x^(4*k)).
G.f.: Product_{k>0} (1 - x^k) * (1 - x^(3*k)) * (1 + x^(3*k))^4 / (1 - x^(2*k) + x^(4*k))^4.
a(n) = (-1)^n * A253626(n). a(2*n) = A107760(n). a(2*n + 1) = - A033762(n). a(3*n) = a(n). a(3*n + 1) = - A122861(n). a(4*n + 1) = - A112604(n). a(4*n + 2) = 3 * A033762(n). a(4*n + 3) = - A112605(n).
a(6*n + 1) = - A097195(n). a(6*n + 2) = 3 * A033687(n). a(6*n + 5) = 0. a(12*n + 1) = - A123884(n). a(12*n + 7) = -2 * A121361(n). a(12*n + 10) = 0.
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=0..m} a(k) = Pi/(2*sqrt(3)) = 0.906899... (A093766). - Amiram Eldar, Jun 08 2025

Extensions

Typo in formula fixed by Colin Barker, Jan 08 2015
Previous Showing 11-20 of 26 results. Next