OFFSET
1,3
COMMENTS
Compare to: C(x) = x + C( C(x)^2 - C(x)^4 ) holds when C(x) = x + C(x)^2 is a g.f. of the Catalan numbers (A000108).
LINKS
Paul D. Hanna, Table of n, a(n) for n = 1..300
FORMULA
G.f. satisfies:
(1) A(x - A(x^2 - x^5)) = x.
(2) A(x) = x + Sum_{n>=0} d^n/dx^n A(x^2-x^5)^(n+1) / (n+1)!.
(3) A(x) = x * exp( Sum_{n>=0} d^n/dx^n A(x^2-x^5)^(n+1)/x / (n+1)! ).
EXAMPLE
G.f.: A(x) = x + x^2 + 2*x^3 + 6*x^4 + 19*x^5 + 65*x^6 + 234*x^7 + 873*x^8 + 3346*x^9 + 13099*x^10 + 52154*x^11 + 210541*x^12 + 859768*x^13 + 3545263*x^14 +...
such that A(x) = x + A( A(x)^2 - A(x)^5 ).
RELATED SERIES.
A(x)^2 = x^2 + 2*x^3 + 5*x^4 + 16*x^5 + 54*x^6 + 192*x^7 + 710*x^8 + 2702*x^9 + 10515*x^10 + 41660*x^11 + 167483*x^12 + 681532*x^13 + 2801816*x^14 +...
A(x)^5 = x^5 + 5*x^6 + 20*x^7 + 80*x^8 + 320*x^9 + 1286*x^10 + 5210*x^11 + 21285*x^12 + 87655*x^13 + 363660*x^14 + 1518952*x^15 +...
A(x^2 - x^5) = x^2 + x^4 - x^5 + 2*x^6 - 2*x^7 + 6*x^8 - 6*x^9 + 20*x^10 - 24*x^11 + 71*x^12 - 95*x^13 + 270*x^14 - 392*x^15 + 1063*x^16 - 1662*x^17 +...
where Series_Reversion(A(x)) = x - A(x^2 - x^5).
PROG
(PARI) {a(n) = my(A=x); for(i=1, n, A = x + subst(A, x, A^2 - A^5 +x*O(x^n))); polcoeff(A, n)}
for(n=1, 40, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Aug 20 2016
STATUS
approved