A002448 Expansion of Jacobi theta function theta_4(x).
1, -2, 0, 0, 2, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 0
Offset: 0
Examples
G.f. = 1 - 2*q + 2*q^4 - 2*q^9 + 2*q^16 - 2*q^25 + 2*q^36 - 2*q^49 + ...
References
- Richard Bellman, A Brief Introduction to Theta Functions, Dover, 2013.
- N. J. Fine, Basic Hypergeometric Series and Applications, Amer. Math. Soc., 1988; p. 93, Eq. (34.11), p. 6, Eq. (7.324).
- J. Tannery and J. Molk, Eléments de la Théorie des Fonctions Elliptiques, Vol. 2, Gauthier-Villars, Paris, 1902; Chelsea, NY, 1972, see p. 27.
- E. T. Whittaker and G. N. Watson, A Course of Modern Analysis, Cambridge Univ. Press, 4th ed., 1963, p. 464.
Links
- T. D. Noe, Table of n, a(n) for n = 0..10000
- J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups, Springer-Verlag, p. 103.
- J. W. L. Glaisher, On the deduction of series from infinite products, Messenger of Math., 2 (1873), p. 141.
- Michael Somos, Introduction to Ramanujan theta functions
- Eric Weisstein's World of Mathematics, Jacobi Theta Functions
- Eric Weisstein's World of Mathematics, q-Series Identities
- D. Zagier, Elliptic modular forms and their applications in "The 1-2-3 of modular forms", Springer-Verlag, 2008
Programs
-
Julia
using Nemo function JacobiTheta4(len, r) R, x = PolynomialRing(ZZ, "x") e = theta_qexp(r, len, -x) [fmpz(coeff(e, j)) for j in 0:len - 1] end A002448List(len) = JacobiTheta4(len, 1) A002448List(105) |> println # Peter Luschny, Mar 12 2018 -
Maple
Sum((-x)^(m^2),m=-10..10);
-
Mathematica
a[ n_] := SeriesCoefficient[ EllipticTheta[ 4, 0, q], {q, 0, n}]; (* Michael Somos, Jul 11 2011 *) QP = QPochhammer; s = QP[q]^2/QP[q^2] + O[q]^105; CoefficientList[s, q] (* Jean-François Alcover, Dec 01 2015, adapted from PARI *) -
PARI
{a(n) = if( n<0, 0, (-1)^n * issquare(n) * 2 - (n==0))}; /* Michael Somos, Jun 17 1999 */ -
PARI
{a(n) = my(A); if( n<0, 0, A = x * O(x^n); polcoeff( eta(x + A)^2 / eta(x^2 + A), n))}; /* Michael Somos, May 01 2003 */ -
Python
from sympy.ntheory.primetest import is_square def A002448(n): return (-is_square(n) if n&1 else is_square(n))<<1 if n else 1 # Chai Wah Wu, May 17 2023
Formula
Expansion of phi(-q) in powers of q where phi() is a Ramanujan theta function.
Expansion of eta(q)^2 / eta(q^2) in powers of q. - Michael Somos, May 01 2003
Expansion of 2 * sqrt( k' * K / (2 Pi) ) in powers of q. - Michael Somos, Nov 30 2013
Euler transform of period 2 sequence [ -2, -1, ...]. - Michael Somos, May 01 2003
G.f.: Sum_{k in Z} (-1)^k * x^(k^2) = Product_{k>0} (1 - x^k) / (1 + x^k). - Michael Somos, May 01 2003.
G.f.: 1 - 2 Sum_{k>0} x^k/(1 - x^k) Product_{j=1..k} (1 - x^j) / (1 + x^j). - Michael Somos, Apr 12 2012
a(n) = -2 * b(n) where b(n) is multiplicative and b(2^e) = (-1)^(e/2) if e even, b(p^e) = 1 if p>2 and e even, otherwise 0. - Michael Somos, Jul 07 2006
a(3*n + 1) = -2 * A089802(n), a(9*n) = a(n). - Michael Somos, Jul 07 2006
a(3*n + 2) = a(4*n + 2) = a(4*n + 3) = 0. a(4*n) = A000122(n). a(n) = (-1)^n * A000122(n). a(8*n + 1) = -2 * A010054(n). - Michael Somos, Apr 12 2012
For n > 0, a(n) = 2*(floor(sqrt(n))-floor(sqrt(n-1)))*(-1)^(floor(sqrt(n))). - Mikael Aaltonen, Jan 17 2015
G.f. is a period 1 Fourier series which satisfies f(-1 / (16 t)) = 32^(1/2) (t/i)^(1/2) g(t) where q = exp(2 Pi i t) and g() is the g.f. for A010054. - Michael Somos, May 05 2016
a(0) = 1, a(n) = -(2/n)*Sum_{k=1..n} A002131(k)*a(n-k) for n > 0. - Seiichi Manyama, Apr 29 2017
G.f.: exp(Sum_{k>=1} (sigma(k) - sigma(2*k))*x^k/k). - Ilya Gutkovskiy, Sep 19 2018
From Peter Bala, Feb 19 2021: (Start)
G.f: A(q) = eta(q^2)^5 / ( eta(-q)*eta(q^4) )^2.
A(q) = 1 + 2*Sum_{n >= 1} (-1)^n*q^(n*(n+1)/2)/( (1 + q^n) * Product_{k = 1..n} 1 - q^k ).
A(-q)^2 = 1 + 4*Sum_{n >= 1} (-1)^(n+1)*q^(2*n-1)/(1 - q^(2*n-1)), which gives the number of representations of an integer as a sum of two squares. See, for example, Fine, 26.63.
The unsigned sequence has the g.f. 1 + 2*Sum_{n >= 1} q^(n*(n+1)/2) * ( Product_{k = 1..n-1} 1 + q^k ) /( Product_{k = 1..n} 1 + q^(2*k) ) = 1 + 2*q + 2*q^4 + 2*q^9 + .... See Fine, equation 14.43. (End)
Form Peter Bala, Sep 27 2023: (Start)
G.f. A(q) satisfies A(q)*A(-q) = A(q^2)^2.
A(q) = Sum_{n >= 1} (-q)^(n-1)*Product_{k >= n} 1 - q^k. (End)
Comments