Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Search: a123884 -id:a123884
     Sort: relevance | references | number | modified | created      Format: long | short | data
Number of representations of n as a sum of three times a square and two times a triangular number.
+10
27
1, 0, 1, 2, 0, 2, 1, 0, 0, 2, 0, 0, 3, 0, 2, 2, 0, 0, 2, 0, 1, 0, 0, 2, 2, 0, 0, 2, 0, 2, 1, 0, 2, 4, 0, 0, 0, 0, 0, 2, 0, 0, 3, 0, 0, 2, 0, 2, 2, 0, 2, 0, 0, 0, 4, 0, 1, 2, 0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 4, 2, 0, 0, 1, 0, 0, 4, 0, 2, 2, 0, 0, 2, 0, 2, 2, 0, 0, 2, 0, 0, 3, 0, 0, 2, 0, 2, 0, 0, 0, 2, 0, 0, 2, 0, 2
OFFSET
0,4
COMMENTS
Ramanujan theta functions: f(q) := Prod_{k>=1} (1-(-q)^k) (see A121373), phi(q) := theta_3(q) := Sum_{k=-oo..oo} q^(k^2) (A000122), psi(q) := Sum_{k=0..oo} q^(k*(k+1)/2) (A010054), chi(q) := Prod_{k>=0} (1+q^(2k+1)) (A000700).
Number of representations of 2n as a sum of three times a triangular number and a triangular number.
LINKS
M. D. Hirschhorn, The number of representations of a number by various forms, Discrete Mathematics 298 (2005), 205-211.
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions
FORMULA
a(n) = A002324(4n+1) = A033762(2n) = d_{1, 3}(4n+1) - d_{2, 3}(4n+1) where d_{a, m}(n) equals the number of divisors of n which are congruent to a mod m.
From Michael Somos, Feb 14 2006: (Start)
Expansion of (psi(q)psi(q^3) + psi(-q)psi(-q^3))/2 in powers of q^2 where psi() is a Ramanujan theta function.
G.f.: (Sum_{k} x^k^2)^3*(Sum_{k>0} x^((k^2-k)/2))^2 = Product_{k>0} (1-x^(4k))(1-x^(6k))(1+x^(2k))(1+x^(3k))^2/(1+x^(6k))^2.
Euler transform of period 12 sequence [0, 1, 2, -1, 0, -2, 0, -1, 2, 1, 0, -2, ...]. (End)
From Michael Somos, Aug 11 2009: (Start)
G.f. is a period 1 Fourier series which satisfies f(-1 / (48 t)) = 3^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is g.f. for A164272.
a(3*n + 1) = 0. (End)
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = Pi/(2*sqrt(3)) = 0.906899... (A093766). - Amiram Eldar, Nov 24 2023
EXAMPLE
a(12) = 3 since we can write 12 = 3(2)^2 + 0 = 3(-2)^2 + 0 = 0 + 2*6.
2*12 = 24 = 3*1+21 = 3*3+15 = 3*6+6 so a(12) = 3.
G.f. = 1 + x^2 + 2*x^3 + 2*x^5 + x^6 + 2*x^9 + 3*x^12 + 2*x^14 + 2*x^15 + ... - Michael Somos, Aug 11 2009
G.f. = q + q^9 + 2*q^13 + 2*q^21 + q^25 + 2*q^37 + 3*q^49 + 2*q^57 + 2*q^61 + ... - Michael Somos, Aug 11 2009
MATHEMATICA
a[n_] := DivisorSum[4n+1, Switch[Mod[#, 3], 1, 1, 2, -1, 0, 0]&]; Table[ a[n], {n, 0, 104}] (* Jean-François Alcover, Dec 04 2015, adapted from PARI *)
PROG
(PARI) {a(n) = if(n<0, 0, n=4*n+1; sumdiv(n, d, (d%3==1) - (d%3==2)))};
(PARI) {a(n) = my(A); if(n<0, 0, A=x*O(x^n); polcoeff( eta(x^6+A)^5 / eta(x^2+A)*(eta(x^4+A) / eta(x^3+A) / eta(x^12+A))^2, n))}; /* Michael Somos, Feb 14 2006 */
CROSSREFS
A112606(n) = a(2*n). 2 * A112607(n) = a(2*n + 1). A123884(n) = a(3*n). A112605(n) = a(3*n + 2). A131961(n) = a(6*n). A112608(n) =a(6*n + 2). 2 * A131963(n) = a(6*n + 3). 2 * A112609(n) = a(6*n + 5). - Michael Somos, Aug 11 2009
KEYWORD
nonn
AUTHOR
James A. Sellers, Dec 21 2005
STATUS
approved
a(n) = Sum_{d|n} Kronecker(-12, d) (= A134667(d)).
+10
10
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,7
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
REFERENCES
J. V. Uspensky and M. A. Heaslet, Elementary Number Theory, McGraw-Hill, NY, 1939, p. 346.
LINKS
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions.
FORMULA
Moebius transform is period 6 sequence [ 1, 0, 0, 0, -1, 0, ...]. - Michael Somos, Feb 14 2006
G.f. A(x) satisfies 0 = f(A(x), A(x^2), A(x^3), A(x^6)) where f(u1, u2, u3, u6) = (u1 - u2) * (u1 - u2 - u3 + u6) - (u2 -u6) * (1 + 3*u6). - Michael Somos, May 29 2005
Dirichlet g.f.: zeta(s) * L(chi,s) where chi(n) = Kronecker( -12, n). Sum_{n>0} a(n) / n^s = Product_{p prime} 1 / ((1 - p^-s) * (1 - Kronecker( -12, p) * p^-s)). - Michael Somos, Jun 24 2011
a(n) is multiplicative with a(p^e) = 1 if p=2 or p=3, a(p^e) = 1+e if p == 1 (mod 6), a(p^e) = (1 + (-1)^e)/2 if p == 5 (mod 6).
G.f.: Sum_{k>0} (x^k + x^(3*k)) / (1 + x^(2*k) + x^(4*k)) = Sum_{k>=0} x^(6*k + 1) / (1 - x^(6*k + 1)) - x^(6*k + 5) / (1 - x^(6*k + 5)). - Michael Somos, Feb 14 2006
a(n) = |A093829(n)| = -(-1)^n * A137608(n) = a(2*n) = a(3*n). a(6*n + 1) = A097195(n). a(6*n + 5) = 0.
From Michael Somos, Aug 11 2009: (Start)
3 * a(n) = A107760(n) unless n=0. a(2*n + 1) = A033762(n). a(3*n + 1) = A033687(n). a(4*n + 1) = A112604(n). a(4*n + 3) = A112605(n).
a(8*n + 1) = A112606(n). a(8*n + 3) = A112608(n). a(8*n + 5) = 2 * A112607(n). a(8*n + 7) = 2 * A112608(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). (End)
Expansion of (psi(q)^3 / psi(q^3) - 1) / 3 in powers of q where psi() is a Ramanujan theta function. - Michael Somos, Aug 04 2015
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = Pi/(2*sqrt(3)) = 0.906899... (A093766). - Amiram Eldar, Nov 16 2023
EXAMPLE
G.f. = q + q^2 + q^3 + q^4 + q^6 + 2*q^7 + q^8 + q^9 + q^12 + 2*q^13 + 2*q^14 + ...
MATHEMATICA
a[ n_] := If[ n < 1, 0, Sum[ KroneckerSymbol[ -12, d], { d, Divisors[ n]}]]; (* Michael Somos, Jun 24 2011 *)
a[ n_] := If[ n < 1, 0, Times @@ (Which[ # < 5, 1, Mod[#, 6] == 5, 1 - Mod[#2, 2], True, #2 + 1 ] & @@@ FactorInteger@n)]; (* Michael Somos, Aug 04 2015 *)
a[ n_] := SeriesCoefficient[ (EllipticTheta[ 2, 0, q^(1/2)]^3 / EllipticTheta[ 2, 0, q^(3/2)] - 4) / 12, {q, 0, n}]; (* Michael Somos, Aug 04 2015 *)
a[n_] := DivisorSum[n, KroneckerSymbol[-12, #]&]; Array[a, 105] (* Jean-François Alcover, Dec 01 2015 *)
PROG
(PARI) {a(n) = if( n<1, 0, sumdiv( n, d, kronecker( -12, d)))}; /* Michael Somos, Apr 18 2004 */
(PARI) {a(n) = if( n<1, 0, direuler( p=2, n, 1 / ((1 - X) * (1 - kronecker( -12, p) * X))) [n])}; /* Michael Somos, Jun 24 2011 */
(PARI) {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( (eta(x^3 + A) * eta(x^2 + A)^6 / (eta(x^6 + A)^2 * eta(x + A)^3) - 1) / 3, n))}; /* Michael Somos, Aug 11 2009 */
(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<5, 1, p%6==5, 1-e%2, 1+e)))}; /* Michael Somos, Aug 04 2015 */
(Magma) A := Basis( ModularForms( Gamma1(6), 1), 88); B<q> := (A[1] - 1) / 3 + A[2]; B; /* Michael Somos, Aug 04 2015 */
KEYWORD
nonn,easy,mult
EXTENSIONS
Definition edited by Michael Somos, Aug 11 2009
STATUS
approved
Expansion of eta(q)^2 * eta(q^6)^4 * eta(q^8) * eta(q^24) / (eta(q^2) * eta(q^3) * eta(q^12))^2 in powers of q.
+10
10
1, -2, 1, 0, 0, -2, 2, 0, 1, 0, 0, 0, 2, -4, 0, 0, 0, -2, 2, 0, 2, 0, 0, 0, 1, -4, 1, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, -4, 2, 0, 0, -4, 2, 0, 0, 0, 0, 0, 3, -2, 0, 0, 0, -2, 0, 0, 2, 0, 0, 0, 2, -4, 2, 0, 0, 0, 2, 0, 0, 0, 0, 0, 2, -4, 1, 0, 0, -4, 2, 0, 1, 0, 0, 0, 0, -4, 0, 0, 0, 0, 4, 0, 2, 0, 0, 0, 2, -6, 0, 0, 0, 0, 2, 0, 0
OFFSET
1,2
COMMENTS
Expansion of (a(q) - 2 * a(q^2) - a(q^4) + 2*a(q^8)) / 6 in powers of q where a() is a cubic AGM function.
LINKS
FORMULA
Euler transform of period 24 sequence [ -2, 0, 0, 0, -2, -2, -2, -1, 0, 0, -2, 0, -2, 0, 0, -1, -2, -2, -2, 0, 0, 0, -2, -2, ...].
Moebius transform is period 24 sequence [ 1, -3, 0, 2, -1, 0, 1, 0, 0, 3, -1, 0, 1, -3, 0, 0, -1, 0, 1, -2, 0, 3, -1, 0, ...].
a(n) is multiplicative with a(2) = -2, a(2^e) = 0 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 g.f. for A136748.
G.f.: x * Product_{k>0} (1 -x^(6*k)) * (1 - x^k + x^(2*k))^2 * (1 - x^(8*k)) * (1 + x^(12*k)) / (1 + x^(6*k)).
a(4*n) = a(6*n + 4) = a(6*n + 5) = 0. a(3*n) = a(n).
Sum_{k=1..n} abs(a(k)) ~ c * n, where c = Pi/(2*sqrt(3)) = 0.906899... (A093766). - Amiram Eldar, Jan 22 2024
EXAMPLE
q - 2*q^2 + q^3 - 2*q^6 + 2*q^7 + q^9 + 2*q^13 - 4*q^14 - 2*q^18 + ...
MATHEMATICA
QP = QPochhammer; s = QP[x]^2*QP[x^6]^4*QP[x^8]*(QP[x^24]/(QP[x^2]*QP[x^3]* QP[x^12])^2) + O[x]^105; CoefficientList[s, x] (* Jean-François Alcover, Nov 06 2015, adapted from PARI, updated Dec 06 2015 *)
PROG
(PARI) {a(n)=if(n<1, 0, sumdiv(n, d, if(d%2, 1, d/2%2*-2)*kronecker(-12, n/d)))}
(PARI) {a(n)=local(A, p, e); if(n<1, 0, A=factor(n); prod( k=1, matsize(A)[1], if(p=A[k, 1], e=A[k, 2]; if(p==2, -2*(e<2), if(p==3, 1, if(p%6==1, e+1, !(e%2)))))))}
(PARI) {a(n) = local(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( eta(x + A)^2 * eta(x^6 + A)^4 * eta(x^8 + A) * eta(x^24 + A) / (eta(x^2 + A) * eta(x^3 + A) * eta(x^12 + A))^2, n))}
CROSSREFS
A033762(n) = a(2*n+1). A112604(n) = a(4*n+1). -2 * A033762(n) = a(4*n+2). A112605(n) = a(4*n+3). A097195(n) = a(6*n+1). A112606(n) = a(8*n+1). -2 * A112604(n) = a(8*n+2). A112608(n) = a(8*n+3). 2 * A112607(n) = a(8*n+5). -2 * A112605(n) = a(8*n+6). 2 * A112609(n) = a(8*n+7).
A123884(n) = a(12*n+1). 2 * A121361(n) = a(12*n+7). A131961(n) = a(24*n+1). 2 * A131962(n) = a(24*n+7). A112608(n) = a(24*n+9). 2 * A131963(n) = a(24*n+13). 2 * A131964(n) = a(24*n+19).
KEYWORD
sign,mult
AUTHOR
Michael Somos, Sep 28 2006, Apr 04 2008
STATUS
approved
Expansion of phi(-q)^3 / phi(-q^3) in powers of q where phi() is a Ramanujan theta function.
+10
8
1, -6, 12, -6, -6, 0, 12, -12, 12, -6, 0, 0, -6, -12, 24, 0, -6, 0, 12, -12, 0, -12, 0, 0, 12, -6, 24, -6, -12, 0, 0, -12, 12, 0, 0, 0, -6, -12, 24, -12, 0, 0, 24, -12, 0, 0, 0, 0, -6, -18, 12, 0, -12, 0, 12, 0, 24, -12, 0, 0, 0, -12, 24, -12, -6, 0, 0, -12, 0, 0, 0, 0, 12, -12, 24, -6, -12, 0, 24, -12, 0, -6, 0, 0, -12, 0, 24
OFFSET
0,2
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
REFERENCES
Nathan J. Fine, Basic Hypergeometric Series and Applications, Amer. Math. Soc., 1988; p. 84, Eq. (32.64).
LINKS
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions.
FORMULA
Expansion of 2*a(q^2) - a(q) = b(q)^2 / b(q^2) in powers of q where a(), b() are cubic AGM theta functions.
Expansion of eta(q)^6 * eta(q^6) / (eta(q^2)^3 * eta(q^3)^2) in powers of q.
Euler transform of period 6 sequence [ -6, -3, -4, -3, -6, -2, ...].
Moebius transform is period 6 sequence [ -6, 18, 0, -18, 6, 0, ...].
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. A(x) satisfies 0 = f(A(x), A(x^2), A(x^3), A(x^6)) where f(u1, u2, u3, u6) = (u1-u2-u3+u6) * (u1+2*u2+u3) - (2*u1+u2-2*u3-u6) * (u1+2*u2-u3).
G.f.: Product_{k>0} (1 + x^(3*k)) / (1 + x^k)^3 * (1 - x^k)^3 / (1 - x^(3k)) = 1 + 6 * Sum_{k>0} (-1)^k * x^k / (1 + x^k + x^(2*k)).
G.f.: 1 - 6 * (Sum_{k>0} x^(3*k - 2) / (1 + x^(3*k - 2)) - x(3*k - 1)
/ (1 + x^(3*k - 1))).
a(3*n) = a(4*n) = a(n). a(6*n + 5) = 0.
(-1)^n * a(n) = A113660(n). -6 * a(n) = A122860(n) if n>0.
a(2*n) = A227354(n). a(2*n + 1) = -6 * A033762(n). a(3*n + 1) = -6 * A033687(n). a(4*n + 1) = -6 * A112604(n). a(4*n + 3) = -6 * A112605(n). a(6*n + 1) = -6 * A097195(n). a(8*n + 1) = -6 * A112606(n). a(8*n + 3) = -6 * A112608(n). a(8*n + 5) = -12 * A112607(n-1). a(8*n + 7) = -12 * A112609(n). a(12*n + 1) = -6 * A123884(n). a(12*n + 7) = -12 * A121361(n). - Michael Somos, Sep 27 2013
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = 0. - Amiram Eldar, Nov 23 2023
EXAMPLE
G.f. = 1 - 6*q + 12*q^2 - 6*q^3 - 6*q^4 + 12*q^6 - 12*q^7 + 12*q^8 - 6*q^9 + ...
MATHEMATICA
a[ n_] := SeriesCoefficient[ EllipticTheta[ 4, 0, q]^3 / EllipticTheta[ 4, 0, q^3], {q, 0, n}] (* Michael Somos, Sep 27 2013 *)
PROG
(PARI) {a(n)= if( n<1, n==0, 6 * sumdiv(n, d, (-1)^(n/d) * kronecker( -3, d)))}
(PARI) {a(n)= if( n<1, n==0, -6 * sumdiv(n, d, (2 + (-1)^d) * kronecker( -3, d)))}
(PARI) {a(n) = local(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A)^6 * eta(x^6 + A) / (eta(x^2 + A)^3 * eta(x^3 + A)^2), n))}
(Sage) A = ModularForms( Gamma1(6), 1, prec=90).basis(); A[0] - 6 *A[1] # Michael Somos, Sep 27 2013
KEYWORD
sign
AUTHOR
Michael Somos, Sep 15 2006
STATUS
approved
Expansion of i * theta_2(i * q^3)^3 / (4 * theta_2(i * q)) in powers of q^2.
+10
7
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,7
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).
LINKS
Li-Chien Shen, On the Modular Equations of Degree 3, Proc. Amer. Math. Soc. 122 (1994), no. 4, 1101-1114. See p. 1105, equation (3.8).
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions.
FORMULA
Expansion of (eta(q^2) * eta(q^3)^3 * eta(q^12)^3) / (eta(q) * eta(q^4) * eta(q^6)^3) in powers of q.
Euler transform of period 12 sequence [1, 0, -2, 1, 1, 0, 1, 1, -2, 0, 1, -2, ...].
Moebius transform is period 12 sequence [1, 0, 0, -2, -1, 0, 1, 2, 0, 0, -1, 0, ...].
a(n) is multiplicative and a(2^e) = -(-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 == 5 (mod 6).
G.f.: Sum_{k>0} x^(6*k - 5) / (1 - x^(6*k - 5)) - x^(6*k - 1) / (1 - x^(6*k - 1)) - 2 * x^(12*k - 8) / (1 - x^(12*k - 8)) + 2 * x^(12*k - 4) / (1 - x^(12*k-4)).
G.f.: Sum_{k>0} x^k * (1 - x^(3*k))^2 / (1 + x^(4*k) + x^(8*k)).
G.f.: x * Product_{k>0} (1 - x^k) / (1 - x^(4*k - 2)) * ((1 - x^(12*k - 6)) / (1 - x^(3*k)))^3.
Expansion of theta_2(i * q^3)^3 / (4 * theta_2(i * q)) in powers of q^2.
Expansion of q * psi(-q^3)^3 / psi(-q) in powers of q where psi() is a Ramanujan theta function.
Expansion of (c(q) * c(q^4)) / (3 * c(q^2)) in powers of q where c() is a cubic AGM theta function.
G.f. is a period 1 Fourier series which satisfies f(-1 / (12 t)) = (4/3)^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g(t) is the g.f. for A132973.
a(n) = -(-1)^n * A093829(n). - Michael Somos, Jan 31 2015
Convolution inverse of A133637.
a(3*n) = a(n). a(6*n + 5) = a(12*n + 10) = 0. |a(n)| = A035178(n).
a(2*n) = A093829(n). a(2*n + 1) = A033762(n).
a(4*n + 1) = A112604(n). a(4*n + 3) = A112605(n).
a(6*n + 1) = A097195(n). a(6*n + 2) = A033687(n).
a(8*n + 1) = A112606(n). a(8*n + 3) = A112608(n). a(8*n + 5) = 2 * A112607(n). a(8*n + 6) = A112605(n). 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 * A121963(n). a(24*n + 19) = 2 * A131964(n).
Asymptotic mean: Limit_{m->oo} (1/m) * Sum_{k=1..m} a(k) = Pi/(6*sqrt(3)) = 0.604599... (A073010). - Amiram Eldar, Nov 23 2023
EXAMPLE
G.f. = q + q^2 + q^3 - q^4 + q^6 + 2*q^7 + q^8 + q^9 - q^12 + 2*q^13 + ...
MATHEMATICA
a[ n_] := If[ n < 1, 0, DivisorSum[ n, {1, 0, 0, -2, -1, 0, 1, 2, 0, 0, -1, 0}[[Mod[#, 12, 1]]] &]]; (* Michael Somos, Jan 31 2015 *)
PROG
(PARI) {a(n) = if( n<1, 0, -(-1)^max( 1, valuation( n, 2)) * sumdiv(n, d, kronecker( -12, d)))};
(PARI) {a(n) = if( n<1, 0, direuler( p=2, n, if( p==2, 1 + X / (1 + X), 1 / ((1 - X) * (1 - kronecker( -12, p) * X))))[n])};
(PARI) {a(n) = local(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( eta(x^2 + A) * eta(x^3 + A)^3 * eta(x^12 + A)^3 / (eta(x + A) * eta(x^4 + A) * eta(x^6 + A)^3), n))};
(PARI) {a(n) = if( n<1, 0, sumdiv(n, d, [ 0, 1, 0, 0, -2, -1, 0, 1, 2, 0, 0, -1][d%12 + 1]))}; /* Michael Somos, May 07 2015 */
(Magma) A := Basis( ModularForms( Gamma1(24), 1), 106); A[2] + A[3] + A[4] - A[5] + A[7] + 2*A[8] + A[9] + A[10]; /* Michael Somos, May 07 2015 */
KEYWORD
sign,easy,mult
AUTHOR
Michael Somos, Nov 02 2005
STATUS
approved
Expansion of eta(q^2) * eta(q^3)^6 / (eta(q)^2 * eta(q^6)^3) in powers of q.
+10
7
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,2
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
LINKS
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions.
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
EXAMPLE
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
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 *)
PROG
(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
KEYWORD
nonn,easy
AUTHOR
Michael Somos, Sep 26 2006
STATUS
approved
Expansion of f(x^3)^3 / f(x) in powers of x where f() is a Ramanujan theta function.
+10
7
1, -1, 2, 0, 2, -1, 2, 0, 1, -2, 2, 0, 2, 0, 2, 0, 3, -2, 0, 0, 2, -1, 2, 0, 2, -2, 2, 0, 0, 0, 4, 0, 2, -1, 2, 0, 2, -2, 0, 0, 1, -2, 2, 0, 4, 0, 2, 0, 0, -2, 2, 0, 2, 0, 2, 0, 3, -2, 2, 0, 2, 0, 0, 0, 2, -3, 2, 0, 0, -2, 2, 0, 4, 0, 2, 0, 2, 0, 0, 0, 2, -2
OFFSET
0,3
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
LINKS
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions
FORMULA
Expansion of q^(-1/3) * eta(q) * eta(q^4) * eta(q^6)^9 / (eta(q^2) * eta(q^3) * eta(q^12))^3 in powers of q.
Euler transform of period 12 sequence [ -1, 2, 2, 1, -1, -4, -1, 1, 2, 2, -1, -2, ...].
Moebius transform is period 36 sequence [ 1, -1, -1, -1, -1, 1, 1, 1, 0, 1, -1, 1, 1, -1, 1, -1, -1, 0, 1, 1, -1, 1, -1, -1, 1, -1, 0, -1, -1, -1, 1, 1, 1, 1, -1, 0, ...].
a(n) = b(3*n+1) where b(n) is multiplicative with b(2^e) = - (1 + (-1)^e) / 2 if e>0, b(3^e) = 0^e, b(p^e) = e+1 if p == 1 (mod 6), b(p^e) = (1 + (-1)^3) / 2 if p == 5 (mod 6).
G.f. is a period 1 Fourier series which satisfies f(-1 / (36 t)) = (4/3)^(1/2) (t / i) g(t) where q = exp(2 Pi i t) and g() is the g.f. of A226535.
G.f.: Product_{k>0} (1 - (-x)^k)^3 / (1 - (-x)^k).
a(n) = (-1)^n * A033687(n). a(4*n + 3) = 0.
a(2*n) = A097195(n). a(4*n) = A123884(n). a(4*n + 1) = - A033687(n). a(4*n + 2) = 2 * A121361(n).
EXAMPLE
G.f. = 1 - x + 2*x^2 + 2*x^4 - x^5 + 2*x^6 + x^8 - 2*x^9 + 2*x^10 + ...
G.f. = q - q^4 + 2*q^7 + 2*q^13 - q^16 + 2*q^19 + q^25 - 2*q^28 + 2*q^31 + ...
MATHEMATICA
a[ n_] := SeriesCoefficient[ QPochhammer[ -q^3]^3 / QPochhammer[ -q], {q, 0, n}]
PROG
(PARI) {a(n) = local(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A) * eta(x^4 + A) * eta(x^6 + A)^9 / (eta(x^2 + A) * eta(x^3 + A) * eta(x^12 + A))^3, n))}
CROSSREFS
KEYWORD
sign
AUTHOR
Michael Somos, Sep 22 2013
STATUS
approved
Expansion of phi(-x^2) * psi(x^3) * chi(x^3) in powers of x where phi(), psi(), chi() are Ramanujan theta functions.
+10
4
1, 0, -2, 2, 0, -4, 1, 0, 0, 2, 0, 0, 3, 0, -4, 2, 0, 0, 2, 0, -2, 0, 0, -4, 2, 0, 0, 2, 0, -4, 1, 0, -4, 4, 0, 0, 0, 0, 0, 2, 0, 0, 3, 0, 0, 2, 0, -4, 2, 0, -4, 0, 0, 0, 4, 0, -2, 2, 0, -4, 2, 0, 0, 0, 0, 0, 0, 0, -8, 2, 0, 0, 1, 0, 0, 4, 0, -4, 2, 0, 0, 2
OFFSET
0,3
COMMENTS
Ramanujan theta functions: f(q) (see A121373), phi(q) (A000122), psi(q) (A010054), chi(q) (A000700).
LINKS
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions
FORMULA
Expansion q^(-1/4) * eta(q^2)^2 * eta(q^6)^4 / (eta(q^3)^2 * eta(q^4) * eta(q^12)) in powers of q.
Euler transform of period 12 sequence [ 0, -2, 2, -1, 0, -4, 0, -1, 2, -2, 0, -2, ...].
G.f. is a period 1 Fourier series which satisfies f(-1 / (144 t)) = 108^(1/2) (t/i) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A246650.
a(n) = A123530(2*n) = A097109(4*n + 1) = A112848(4*n + 1) = A123477(4*n + 1). 3 * a(n) = A226535(4*n + 1). -3 * a(n) = A005928(4*n + 1).
a(3*n) = A123884(n). a(3*n + 1) = 0. a(3*n + 2) = -2 * A112605(n).
EXAMPLE
G.f. = 1 - 2*x^2 + 2*x^3 - 4*x^5 + x^6 + 2*x^9 + 3*x^12 - 4*x^14 + 2*x^15 + ...
G.f. = q - 2*q^9 + 2*q^13 - 4*q^21 + q^25 + 2*q^37 + 3*q^49 - 4*q^57 + ...
MATHEMATICA
a[ n_] := SeriesCoefficient[ EllipticTheta[ 4, 0, x^2] QPochhammer[ -x^3, x^6] EllipticTheta[ 2, 0, x^(3/2)] / (2 x^(3/8)), {x, 0, n}];
PROG
(PARI) {a(n) = if( n<0, 0, n = 4*n + 1; sumdiv(n, d, [ 0, 1, -1, -3, 1, -1, 3, 1, -1] [d%9 + 1]))};
(PARI) {a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x^2 + A)^2 * eta(x^6 + A)^4 / (eta(x^3 + A)^2 * eta(x^4 + A) * eta(x^12 + A)), n))};
KEYWORD
sign
AUTHOR
Michael Somos, Jun 04 2015
STATUS
approved
Expansion of (c(q^3) - c(q^6) - 2*c(q^12)) / 3 in powers of q where c(q) is a cubic AGM theta function.
+10
3
1, -1, 0, -1, 0, 0, 2, -1, 0, 0, 0, 0, 2, -2, 0, -1, 0, 0, 2, 0, 0, 0, 0, 0, 1, -2, 0, -2, 0, 0, 2, -1, 0, 0, 0, 0, 2, -2, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 3, -1, 0, -2, 0, 0, 0, -2, 0, 0, 0, 0, 2, -2, 0, -1, 0, 0, 2, 0, 0, 0, 0, 0, 2, -2, 0, -2, 0, 0, 2, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 4, 0, 0, 0, 0, 0, 2, -3, 0, -1, 0, 0, 2, -2, 0
OFFSET
1,7
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).
LINKS
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions
FORMULA
Expansion of (a(x) - a(x^2) - a(x^3) - 2*a(x^4) + a(x^6) + 2*a(x^12)) / 6 in powers of x where a() is a cubic AGM theta function. - Michael Somos, Aug 03 2015
Expansion of psi(-x) * psi(-x^9) * phi(x^9) / f(-x^6) in powers of x where phi(), psi(), f() are Ramanujan theta functions. - Michael Somos, Aug 03 2015
Expansion of eta(q) * eta(q^4) * eta(q^18)^4 / (eta(q^2) * eta(q^6) * eta(q^9) * eta(q^36)) in powers of q.
Euler transform of period 36 sequence [ -1, 0, -1, -1, -1, 1, -1, -1, 0, 0, -1, 0, -1, 0, -1, -1, -1, -2, -1, -1, -1, 0, -1, 0, -1, 0, 0, -1, -1, 1, -1, -1, -1, 0, -1, -2, ...].
a(n) is multiplicative with a(2^e) = -1 if e>0, a(3^e) = 0^e, a(p^e) = e+1 if p == 1 (mod 6), a(p^e) = (1 + (-1)^e)/2 if p == 5 (mod 6).
a(3*n) = a(6*n + 5) = 0.
a(2*n) = -A113448(n). a(6*n + 2) = -A033687(n).
a(3*n + 1) = A227696(n). a(6*n + 1) = A097195(n). a(12*n + 1) = A123884(n). a(12*n + 7) = 2 * A121361(n). - Michael Somos, Aug 03 2015
EXAMPLE
G.f. = q - q^2 - q^4 + 2*q^7 - q^8 + 2*q^13 - 2*q^14 - q^16 + 2*q^19 + ...
MATHEMATICA
a[ n_] := If[ n < 1, 0, Times @@ (Which[ # < 4, {1, -1, 0}[[Mod[#, 3, 1]]], Mod[#, 6] == 1, #2 + 1, True, (1 + (-1)^#2) / 2] & @@@ FactorInteger @ n)]; (* Michael Somos, Aug 03 2015 *)
a[ n_] := SeriesCoefficient[ x EllipticTheta[ 2, 0, x^(9/2)] EllipticTheta[ 2, Pi/4, x^(1/2)] EllipticTheta[ 4, 0, x^18] / (2^(3/2) x^(5/4) QPochhammer[ x^6]), {x, 0, n}]; (* Michael Somos, Aug 03 2015 *)
PROG
(PARI) {a(n) = my(A); if( n<1, 0, n--; A = x * O(x^n); polcoeff( eta(x + A) * eta(x^4 + A) * eta(x^18 + A)^4 / (eta(x^2 + A) * eta(x^6 + A) * eta(x^9 + A) * eta(x^36 + 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==2, -1, p==3, 0, p%6==1, e+1, !(e%2))))};
CROSSREFS
KEYWORD
sign,mult
AUTHOR
Michael Somos, Oct 14 2006
STATUS
approved
Expansion of psi(-x) * psi(-x^3) in powers of x where psi() is a Ramanujan theta function.
+10
3
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,4
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).
LINKS
Y. Martin, Multiplicative eta-quotients, Trans. Amer. Math. Soc. 348 (1996), no. 12, 4825-4856, see page 4852 Table I.
Eric Weisstein's World of Mathematics, Ramanujan Theta Functions
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).
EXAMPLE
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 + ...
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 *)
PROG
(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))};
KEYWORD
sign
AUTHOR
Michael Somos, Apr 16 2007
STATUS
approved

Search completed in 0.014 seconds