cp's OEIS Frontend

A214761 G.f. satisfies: A(x) = 1/A(-x*A(x)).

%I A214761 #6 Aug 22 2024 16:44:19
%S A214761 1,2,4,12,40,128,416,1344,4224,12928,38016,104832,260096,512256,
%T A214761 329728,-4140032,-33444864,-184423424,-883798016,-3935711232,
%U A214761 -16759001088,-69266997248,-280327684096,-1116872122368,-4394989174784,-17112512544768,-65974620848128
%N A214761 G.f. satisfies: A(x) = 1/A(-x*A(x)).
%C A214761 Compare g.f. to: G(x) = 1/G(-x*G(x)) when G(x) = 1/(1-x).
%C A214761 An infinite number of functions G(x) satisfy (*) G(x) = 1/G(-x*G(x)); for example, (*) is satisfied by G(x) = 1/(1-m*x).
%F A214761 The g.f. of this sequence is the limit of the recurrence:
%F A214761 (*) G_{n+1}(x) = (G_n(x) + 1/G_n(-x*G_n(x)))/2 starting at G_0(x) = 1+2*x.
%e A214761 G.f.: A(x) = 1 + 2*x + 4*x^2 + 12*x^3 + 40*x^4 + 128*x^5 + 416*x^6 + 1344*x^7 +...
%e A214761 Related expansions:
%e A214761 1/A(x) = A(-x*A(x)) = 1 - 2*x - 4*x^3 - 8*x^4 - 16*x^5 - 48*x^6 - 96*x^7 - 128*x^8 + 64*x^9 + 2048*x^10 +...
%o A214761 (PARI) {a(n)=local(A=1+2*x);for(i=0,n,A=(A+1/subst(A,x,-x*A^1+x*O(x^n)))/2);polcoeff(A,n)}
%o A214761 for(n=0,31,print1(a(n),", "))
%Y A214761 Cf. A214762, A214763, A214764, A214765, A214766, A214767, A214768, A214769.
%K A214761 sign
%O A214761 0,2
%A A214761 _Paul D. Hanna_, Jul 29 2012