OFFSET
0,2
LINKS
Robert Israel, Table of n, a(n) for n = 0..1200
FORMULA
a(n) = 4^n * Sum_{k=0..n} (-1)^k * binomial(-1/2,k) * binomial(n-k/2-1,n-k).
a(n) ~ 2^(n+1) * (1 + sqrt(5))^(n - 1/2) / (5^(1/4) * sqrt(Pi*n)). - Vaclav Kotesovec, May 03 2025
D-finite with recurrence: 32*(4*n + 3)*(4*n + 1)*a(n) - 16*(24*n^2 + 100*n + 85)*a(n + 1) + 8*(97 + 44*n)*a(n + 2) + 4*(14*n^2 + 67*n + 72)*a(n + 3) - 2*(n + 4)*(7*n + 23)*a(n + 4) + (n + 5)*(n + 4)*a(n + 5) = 0. - Robert Israel, Feb 24 2026
MAPLE
f:= rectoproc({32*(4*n + 3)*(4*n + 1)*a(n) - 16*(24*n^2 + 100*n + 85)*a(n + 1) + 8*(97 + 44*n)*a(n + 2) + 4*(14*n^2 + 67*n + 72)*a(n + 3) - 2*(n + 4)*(7*n + 23)*a(n + 4) + (n + 5)*(n + 4)*a(n + 5), a(0) = 1, a(1) = 2, a(2) = 10, a(3) = 56, a(4) = 326} , a(n), remember):
map(f, [$0..40]); # Robert Israel, Feb 24 2026
PROG
(PARI) a(n) = 4^n*sum(k=0, n, (-1)^k*binomial(-1/2, k)*binomial(n-k/2-1, n-k));
CROSSREFS
KEYWORD
nonn
AUTHOR
Seiichi Manyama, Oct 21 2024
STATUS
approved
