%I #5 Aug 01 2014 00:45:12
%S 1,1,4,26,224,2337,28088,377144,5544824,88039724,1494960308,
%T 26954440490,513267546824,10279486681982,215822203235952,
%U 4737785187211908,108509135362455192,2588049036893027820,64180886929824389840,1652564046132761428040,44124859215715377422552,1220338620776444854394561
%N G.f. satisfies: A(x) = 1 + x*A(x)^4 / (A(x) - x*A'(x)).
%F G.f. A(x) satisfies:
%F (1) [x^n] A(x)^(n+1) = (n+1) * [x^(n-1)] A(x)^(n+3) for n>=1.
%F (2) A(x) = x/Series_Reversion(G(x)) where G(x) = x*G(x)^4 + x^2*G(x)^3*G'(x).
%e G.f.: A(x) = 1 + x + 4*x^2 + 26*x^3 + 224*x^4 + 2337*x^5 + 28088*x^6 +...
%e The table of coefficients of x^k in A(x)^n begin:
%e n=1: [1, 1, 4, 26, 224, 2337, 28088, 377144, ...];
%e n=2: [1, 2, 9, 60, 516, 5330, 63318, 840808, ...];
%e n=3: [1, 3, 15, 103, 888, 9105, 107050, 1406655, ...];
%e n=4: [1, 4, 22, 156, 1353, 13804, 160844, 2092748, ...];
%e n=5: [1, 5, 30, 220, 1925, 19586, 226480, 2919840, ...];
%e n=6: [1, 6, 39, 296, 2619, 26628, 305979, 3911688, ...];
%e n=7: [1, 7, 49, 385, 3451, 35126, 401625, 5095392, ...];
%e n=8: [1, 8, 60, 488, 4438, 45296, 515988, 6501760, ...];
%e n=9: [1, 9, 72, 606, 5598, 57375, 651948, 8165700, ...];
%e n=10:[1, 10, 85, 740, 6950, 71622, 812720, 10126640, ...]; ...
%e in which the diagonals illustrate the relation
%e [x^n] A(x)^(n+1) = (n+1) * [x^(n-1)] A(x)^(n+3) for n>=1
%e as follows:
%e [x^1] A(x)^2 = 2 = 2*[x^0] A(x)^4 = 2*1 ;
%e [x^2] A(x)^3 = 15 = 3*[x^1] A(x)^5 = 3*5 ;
%e [x^3] A(x)^4 = 156 = 4*[x^2] A(x)^6 = 4*39 ;
%e [x^4] A(x)^5 = 1925 = 5*[x^3] A(x)^7 = 5*385 ;
%e [x^5] A(x)^6 = 26628 = 6*[x^4] A(x)^8 = 6*4438 ;
%e [x^6] A(x)^7 = 401625 = 7*[x^5] A(x)^9 = 7*57375 ;
%e [x^7] A(x)^8 = 6501760 = 8*[x^6] A(x)^10 = 8*812720 ; ...
%e Also, from the above table, we can generate:
%e [1/1, 2/2, 15/3, 156/4, 1925/5, 26628/6, 401625/7, 812720/8, ...]
%e = [1, 1, 5, 39, 385, 4438, 57375, 812720, 12428977, 203183595, ...];
%e the g.f. G(x) of which begins:
%e G(x) = x + x^2 + 5*x^3 + 39*x^4 + 385*x^5 + 4438*x^6 + 57375*x^7 +...
%e such that:
%e G(x) = x*G(x)^4 + x^2*G(x)^3*G'(x) and G(x) = A(G(x)).
%o (PARI) /* From [x^n] A(x)^(n+1) = (n+1) * [x^(n-1)] A(x)^(n+3): */
%o {a(n)=local(A=[1, 1]); for(i=2, n, A=concat(A, 0); A[#A]=((#A)*Vec(Ser(A)^(#A+2))[#A-1]-Vec(Ser(A)^(#A))[#A])/(#A)); A[n+1]}
%o for(n=0,30,print1(a(n),", "))
%o (PARI) /* From A(x) = 1 + x*A(x)^4 / (A(x) - x*A'(x)): */
%o {a(n)=local(A=1+x); for(i=1, n, A = 1 + x*A^4/(A - x*A' +x*O(x^n))); polcoeff(A,n)}
%o for(n=0,30,print1(a(n),", "))
%o (PARI) /* From A(x) = x/Series_Reversion(G) where G = x*G^4 + x^2*G^3*G': */
%o {a(n)=local(G=1+x); for(i=1, n, G = 1 + x*G^4 + x^2*G^3*G' +x*O(x^n)); polcoeff(x/serreverse(x*G +x^2*O(x^n)),n)}
%o for(n=0,30,print1(a(n),", "))
%Y Cf. A088715, A245118.
%K nonn
%O 0,3
%A _Paul D. Hanna_, Aug 01 2014
|