A246813 - OEIS

%I #6 Oct 04 2014 05:44:30

%S 1,4,23,152,1085,8156,63579,509136,4161649,34566580,290798551,

%T 2471871784,21191824645,182984610220,1589620392835,13881368684128,

%U 121767703088377,1072382299895428,9477296423786207,84017470425706040,746903374745524629,6656552616997851036,59459592374756968323

%N G.f.: Sum_{n>=0} x^n / (1-3*x)^(2*n+1) * [Sum_{k=0..n} C(n,k)^2 * x^k] * [Sum_{k=0..n} C(n,k)^2 * 3^k * x^k].

%F G.f.: Sum_{n>=0} x^n * Sum_{k=0..n} C(n,k)^2 * 3^(n-k) * Sum_{j=0..k} C(k,j)^2 * x^j.

%F a(n) = Sum_{k=0..[n/2]} Sum_{j=0..n-2*k} C(n-k, k+j)^2 * C(k+j, j)^2 * 3^j.

%F a(n) ~ sqrt(12 + 23/sqrt(3) + 2*sqrt(80 + 46*sqrt(3))) * (3 + sqrt(3) + sqrt(11 + 6*sqrt(3)))^n / (4*Pi*n). - _Vaclav Kotesovec_, Oct 04 2014

%e G.f.: A(x) = 1 + 4*x + 23*x^2 + 152*x^3 + 1085*x^4 + 8156*x^5 +...

%e where the g.f. is given by the binomial series:

%e A(x) = 1/(1-3*x) + x/(1-3*x)^3 * (1+x) * (1+3*x)

%e + x^2/(1-3*x)^5 * (1 + 2^2*x + x^2) * (1 + 2^2*3*x + 9*x^2)

%e + x^3/(1-3*x)^7 * (1 + 3^2*x + 3^2*x^2 + x^3) * (1 + 3^2*3*x + 3^2*9*x^2 + 27*x^3)

%e + x^4/(1-3*x)^9 * (1 + 4^2*x + 6^2*x^2 + 4^2*x^3 + x^4) * (1 + 4^2*3*x + 6^2*9*x^2 + 4^2*27*x^3 + 81*x^4)

%e + x^5/(1-3*x)^11 * (1 + 5^2*x + 10^2*x^2 + 10^2*x^3 + 5^2*x^4 + x^5) * (1 + 5^2*3*x + 10^2*9*x^2 + 10^2*27*x^3 + 5^2*81*x^4 + 243*x^5) +...

%e We can also express the g.f. by the binomial series:

%e A(x) = 1 + x*(1 + (3+x)) + x^2*(1 + 2^2*(3+x) + (9+2^2*3*x+x^2))

%e + x^3*(1 + 3^2*(3+x) + 3^2*(9+2^2*3*x+x^2) + (27+3^2*9*x+3^2*3*x^2+x^3))

%e + x^4*(1 + 4^2*(3+x) + 6^2*(9+2^2*3*x+x^2) + 4^2*(27+3^2*9*x+3^2*3*x^2+x^3) + (81+4^2*27*x+6^2*9*x^2+4^2*3*x^3+x^4))

%e + x^5*(1 + 5^2*(3+x) + 10^2*(9+2^2*3*x+x^2) + 10^2*(27+3^2*9*x+3^2*3*x^2+x^3) + 5^2*(81+4^2*27*x+6^2*9*x^2+4^2*3*x^3+x^4) + (243+5^2*81*x+10^2*27*x^2+10^2*9*x^3+5^2*3*x^4+x^5)) +...

%t Table[Sum[Sum[Binomial[n-k, k+j]^2 * Binomial[k+j, j]^2 * 3^j,{j,0,n-2*k}],{k,0,Floor[n/2]}],{n,0,20}] (* _Vaclav Kotesovec_, Oct 04 2014 *)

%o (PARI) /* By definition: */

%o {a(n)=local(A=1); A=sum(m=0, n, x^m/(1-3*x)^(2*m+1) * sum(k=0, m, binomial(m, k)^2 * x^k) * sum(k=0, m, binomial(m, k)^2 * 3^k * x^k) +x*O(x^n)); polcoeff(A, n)}

%o for(n=0, 25, print1(a(n), ", "))

%o (PARI) /* By a binomial identity: */

%o {a(n)=polcoeff(sum(m=0, n, x^m*sum(k=0, m, binomial(m, k)^2 * 3^(m-k) * sum(j=0, k, binomial(k, j)^2 * x^j)+x*O(x^n))), n)}

%o for(n=0, 25, print1(a(n), ", "))

%o (PARI) /* Formula for a(n): */

%o {a(n)=sum(k=0, n\2, sum(j=0, n-2*k, binomial(n-k, k+j)^2 * binomial(k+j, j)^2 * 3^j))}

%o for(n=0, 25, print1(a(n), ", "))

%Y Cf. A246812 (dual), A246455, A243948, A246056, A246423, A246539, A245929, A227845, A245925.

%K nonn

%O 0,2

%A _Paul D. Hanna_, Sep 03 2014