|
%I #20 May 09 2013 21:09:51
%S 1,-2,-4,0,14,16,0,0,4,-152,-188,0,0,-44,0,0,4414,5456,-4,0,1288,0,0,
%T 0,0,-335406,-414728,0,0,-97904,0,0,4,0,-8828,0,66770564,82532956,0,0,
%U 19483388,-304,0,0,0,1756816,0,0,0,-34787592002,-42999828492,0,60508,-10150882544,0,0,0,0,-915304508,0,0,796
%N G.f.: Product_{n>=1} (1 - Lucas(n)*x^n + (-x^2)^n) / (1 + Lucas(n)*x^n + (-x^2)^n) where Lucas(n) = A000204(n).
%C Compare to: Product_{n>=1} (1-q^n)/(1+q^n) = 1 + 2*Sum_{n>=1} (-1)^n*q^(n^2), the Jacobi theta_4 function, which has the g.f: exp( Sum_{n>=1} -(sigma(2*n)-sigma(n)) * q^n/n ).
%H Paul D. Hanna, <a href="/A203850/b203850.txt">Table of n, a(n) for n = 0..1000</a>
%F a(n) = 0 iff n is not the sum of 2 squares (A022544).
%F G.f.: Product_{n>=1} (1 - Lucas(2*n-1)*x^(2*n-1) - x^(4*n-2))^2 * (1 - Lucas(2*n)*x^(2*n) + x^(4*n)).
%F G.f.: exp( Sum_{n>=1} -(sigma(2*n)-sigma(n)) * Lucas(n) * x^n/n ) where Lucas(n) = A000204(n).
%e G.f.: A(x) = 1 - 2*x - 4*x^2 + 14*x^4 + 16*x^5 + 4*x^8 - 152*x^9 - 188*x^10 +...
%e -log(A(x)) = 2*x + 4*3*x^2/2 + 8*4*x^3/3 + 8*7*x^4/4 + 12*11*x^5/5 + 16*18*x^6/6 +...+ (sigma(2*n)-sigma(n))*Lucas(n)*x^n/n +...
%e Compare to the logarithm of Jacobi theta4 H(x) = 1 + 2*Sum_{n>=1} (-1)^n*x^(n^2):
%e -log(H(x)) = 2*x + 4*x^2/2 + 8*x^3/3 + 8*x^4/4 + 12*x^5/5 + 16*x^6/6 + 16*x^7/7 +...+ (sigma(2*n)-sigma(n))*x^n/n +...
%e The g.f. equals the product:
%e A(x) = (1-x-x^2)/(1+x-x^2) * (1-3*x^2+x^4)/(1+3*x^2+x^4) * (1-4*x^3-x^6)/(1+4*x^3-x^6) * (1-7*x^4+x^8)/(1+7*x^4+x^8) * (1-11*x^5-x^10)/(1+11*x^5-x^10) *...* (1 - Lucas(n)*x^n + (-x^2)^n)/(1 + Lucas(n)*x^n + (-x^2)^n) *...
%e Positions of zeros form A022544:
%e [3,6,7,11,12,14,15,19,21,22,23,24,27,28,30,31,33,35,38,39,42,43,44,...]
%e which are numbers that are not the sum of 2 squares.
%o (PARI) /* Subroutine used in PARI programs below: */
%o {Lucas(n)=fibonacci(n-1)+fibonacci(n+1)}
%o (PARI) {a(n)=polcoeff(prod(m=1, n, 1 - Lucas(m)*x^m + (-1)^m*x^(2*m) +x*O(x^n))/prod(m=1, n, 1 + Lucas(m)*x^m + (-1)^m*x^(2*m) +x*O(x^n)), n)}
%o (PARI) {a(n)=polcoeff(prod(m=1, n\2+1, (1 - Lucas(2*m-1)*x^(2*m-1) - x^(4*m-2))^2*(1 - Lucas(2*m)*x^(2*m) + x^(4*m) +x*O(x^n))), n)}
%o (PARI) {a(n)=polcoeff(exp(sum(k=1, n,-(sigma(2*k)-sigma(k))*Lucas(k)*x^k/k)+x*O(x^n)), n)}
%Y Cf. A203860, A203861, A022544, A000204 (Lucas), A203318, A225524.
%K sign
%O 0,2
%A _Paul D. Hanna_, Jan 07 2012
|
