OFFSET
1,2
COMMENTS
Eigenfunction of a sequence transformation.
LINKS
Paul D. Hanna, Table of n, a(n) for n = 1..400
FORMULA
a(n) = T(n,1), where T(n,m) = (1/2)*(sum(k=1..n-m, 4^k*T(n-m,k)*binomial(k+m-1,m-1)*(-1)^(k))-sum(k=m+1..n-1, T(n,k)*T(k,m))), n>m, T(n,n)=1. - Vladimir Kruchinin, May 04 2012
G.f. A(x) satisfies x = A( (1 + 4*x) * A(x) ). - Paul D. Hanna, Jan 13 2026
EXAMPLE
G.f.: A(x) = x - 2*x^2 + 8*x^3 - 36*x^4 + 160*x^5 - 656*x^6 + 2368*x^7 - 7664*x^8 + 29440*x^9 - 184896*x^10 + ...
PROG
(PARI) {a(n) = my(A); if(n<1, 0, A=x; for(k=1, n, A = Pol(A + serreverse(A + x*O(x^k))/(1+4*x))/2); polcoef(A, n))}
(Maxima) T(n, m):=if n=m then 1 else 1/2*(sum(4^k*T(n-m, k)*binomial(k+m-1, m-1)*(-1)^(k), k, 1, n-m)-sum(T(n, k)*T(k, m), k, m+1, n-1)); makelist(T(n, 1), n, 0, 10); /* Vladimir Kruchinin, May 04 2012 */
CROSSREFS
KEYWORD
sign
AUTHOR
Michael Somos, Oct 04 2003
EXTENSIONS
Changed name to the formula that was given in comments. - Paul D. Hanna, Jan 13 2026
STATUS
approved
