|
%I #10 Jan 03 2018 17:54:56
%S 1,12,72,60,1008,2088,2520,16224,73440,11820,513648,826704,1164240,
%T 5621448,23265216,14041800,175149504,245524824,98791560,1590026160,
%U 8061191712,3706940640,40272058656,64816900128,97801149600,487966581012,1596075244848,91744440540
%N a(n) = Pell(n)*A008653(n) for n>=1, with a(0)=1, where A008653 is the theta series of direct sum of 2 copies of hexagonal lattice.
%C Compare g.f. to the Lambert series of A008653: 1 + 12*Sum_{n>=1} Chi(n,3)*n*x^n/(1-x^n).
%C Here Chi(n,3) = principal Dirichlet character of n modulo 3.
%H G. C. Greubel, <a href="/A209447/b209447.txt">Table of n, a(n) for n = 0..1000</a>
%F G.f.: 1 + 12*Sum_{n>=1} Pell(n)*Chi(n,3)*n*x^n/(1 - A002203(n)*x^n + (-1)^n*x^(2*n)), where A002203(n) = Pell(n-1) + Pell(n+1).
%e G.f.: A(x) = 1 + 12*x + 72*x^2 + 60*x^3 + 1008*x^4 + 2088*x^5 + 2520*x^6 +...
%e where A(x) = 1 + 1*12*x + 2*36*x^2 + 5*12*x^3 + 12*84*x^4 + 29*72*x^5 + 70*36*x^6 +...+ Pell(n)*A008653(n)*x^n +...
%e The g.f. is also given by the identity:
%e A(x) = 1 + 12*( 1*1*x/(1-2*x-x^2) + 2*2*x^2/(1-6*x^2+x^4) + 12*4*x^4/(1-34*x^4+x^8) + 29*5*x^5/(1-82*x^5-x^10) + 169*7*x^7/(1-478*x^7-x^14) + 408*8*x^8/(1-1154*x^8-x^16) +...).
%e The values of the Dirichlet character Chi(n,3) repeat [1,1,0, ...].
%t A008653[n_]:= If[n < 1, Boole[n == 0], 12*Sum[If[Mod[d, 3] > 0, d, 0], {d, Divisors@n}]]; Join[{1}, Table[Fibonacci[n, 2]*A008653[n], {n, 1, 1000}]] (* _G. C. Greubel_, Jan 02 2017 *)
%o (PARI) {Pell(n)=polcoeff(x/(1-2*x-x^2+x*O(x^n)),n)}
%o {A002203(n)=Pell(n-1)+Pell(n+1)}
%o {a(n)=polcoeff(1 + 12*sum(m=1,n,Pell(m)*kronecker(m,3)^2*m*x^m/(1-A002203(m)*x^m+(-1)^m*x^(2*m) +x*O(x^n))),n)}
%o for(n=0,50,print1(a(n),", "))
%Y Cf. A008653, A205967, A209446, A209448, A204270, A000129 (Pell), A002203.
%K nonn
%O 0,2
%A _Paul D. Hanna_, Mar 10 2012
|
