OFFSET
0,6
COMMENTS
Limit a(n)/a(n+1) = t^2 = 0.569840290998053... where t = A075778 is the positive real root of 1 - x - x^5 = 0.
LINKS
Michael De Vlieger, Table of n, a(n) for n = 0..1000
Hacène Belbachir and Abdelghani Mehdaoui, Recurrence relation associated with the sums of square binomial coefficients, Quaestiones Mathematicae (2021) Vol. 44, Issue 5, 615-624.
FORMULA
G.f.: Sum_{n>=0} (2*n)!/(n!)^2 * x^(5*n) / (1 - x + x^5)^(2*n+1). - Paul D. Hanna, Oct 15 2014
G.f.: Sum_{n>=0} x^n * [Sum_{k>=0} C(n+k,k)^2 * x^(4*k)] * (1-x^4)^(2*n+1).
G.f.: Sum_{n>=0} x^(5*n) * [Sum_{k>=0} C(n+k,k)^2 * x^k].
G.f.: Sum_{n>=0} x^(5*n) * [Sum_{k=0..n} C(n,k)^2 * x^k] /(1-x)^(2n+1).
G.f.: exp( Sum_{n>=1} (x^n/n) * Sum_{k=0..n} C(2*n,2*k) * x^(4*k) ).
G.f.: exp( Sum_{n>=1} (x^n/n) * ((1+x^2)^(2*n) + (1-x^2)^(2*n))/2 ).
G.f.: 1 / sqrt((1 - x - 2*x^3 - x^5)*(1 - x + 2*x^3 - x^5)).
G.f.: 1 / sqrt((1 - x - x^5)^2 - 4*x^6).
G.f.: 1 / sqrt((1 - x + x^5)^2 - 4*x^5).
a(n) = Sum_{k=0..[n/4]} C(n-4*k, k)^2.
n*a(n) = (2*n-1)*a(n-1) - (n-1)*a(n-2) + (2*n-5)*a(n-5) + 2*(n-3)*a(n-6) - (n-5)*a(n-10). - Seiichi Manyama, Aug 10 2024
EXAMPLE
G.f.: A(x) = 1 + x + x^2 + x^3 + x^4 + 2*x^5 + 5*x^6 + 10*x^7 + 17*x^8 +...
where, by definition,
A(x) = 1 + x*(1 + x^4) + x^2*(1 + 2^2*x^4 + x^8)
+ x^3*(1 + 3^2*x^4 + 3^2*x^8 + x^12)
+ x^4*(1 + 4^2*x^4 + 6^2*x^8 + 4^2*x^12 + x^16)
+ x^5*(1 + 5^2*x^4 + 10^2*x^8 + 10^2*x^12 + 5^2*x^16 + x^20) +...
which is also given by the series identity:
A(x) = 1/(1-x+x^5) + 2*x^5/(1-x+x^5)^3 + 6*x^10/(1-x+x^5)^5 + 20*x^15/(1-x+x^5)^7 + 70*x^20/(1-x+x^5)^9 + 252*x^25/(1-x+x^5)^11 + 924*x^30/(1-x+x^5)^13 +...
The logarithm of the g.f. begins:
log(A(x)) = x*(1 + x^4) + x^2*(1 + 6*x^4 + x^8)/2
+ x^3*(1 + 15*x^4 + 15*x^8 + x^12)/3
+ x^4*(1 + 28*x^4 + 70*x^8 + 28*x^12 + x^16)/4
+ x^5*(1 + 45*x^4 + 210*x^8 + 210*x^12 + 45*x^16 + x^20)/5 +...
more explicitly,
log(A(x)) = x + x^2/2 + x^3/3 + x^4/4 + 6*x^5/5 + 19*x^6/6 + 36*x^7/7 + 57*x^8/8 + 82*x^9/9 + 116*x^10/10 + 199*x^11/11 + 391*x^12/12 +...
where the logarithmic derivative equals
A'(x)/A(x) = (1-x+5*x^4+6*x^5-5*x^9)/((1+x+x^2)*(1-2*x+x^2-x^3)*(1-x+2*x^3-x^5)).
MATHEMATICA
CoefficientList[Series[1/Sqrt[(1 - x + x^5)^2 - 4 x^5], {x, 0, 41}], x] (* Michael De Vlieger, Sep 10 2021 *)
PROG
(PARI) /* By definition: */
{a(n)=local(A=1); A=sum(m=0, n, x^m*sum(k=0, m, binomial(m, k)^2*x^(4*k)) +x*O(x^n)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From closed formula: */
{a(n)=local(A=1); A= 1/sqrt((1 - x - x^5)^2 - 4*x^6 +x*O(x^n)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From a series identity: */
{a(n)=local(A=1+x); A=sum(m=0, n, (2*m)!/(m!)^2 * x^(5*m) / (1 - x + x^5 +x*O(x^n))^(2*m+1)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From a binomial series identity: */
{a(n)=local(A=1+x); A=sum(m=0, n, x^m*(1-x^4)^(2*m+1)*sum(k=0, n, binomial(m+k, k)^2*x^(4*k)) +x*O(x^n)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From a binomial series identity: */
{a(n)=local(A=1+x); A=sum(m=0, n\5, x^(5*m)*sum(k=0, n-4*m, binomial(m+k, k)^2*x^k) +x*O(x^n)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From a binomial series identity: */
{a(n)=local(A=1+x); A=sum(m=0, n\5, x^(5*m) * sum(k=0, m, binomial(m, k)^2*x^k) / (1-x +x*O(x^n))^(2*m+1) ); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From exponential formula: */
{a(n)=local(A=1); A=exp(sum(m=1, n, sum(k=0, m, binomial(2*m, 2*k)*x^(4*k)) * x^m/m) +x*O(x^n)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From exponential formula: */
{a(n)=local(A=1); A=exp(sum(m=1, n, ((1+x^2)^(2*m) + (1-x^2)^(2*m))/2 * x^m/m) +x*O(x^n)); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* From formula for a(n): */
{a(n)=sum(k=0, n\4, binomial(n-4*k, k)^2)}
for(n=0, 40, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Sep 06 2014
STATUS
approved