cp's OEIS Frontend

A215623 G.f. satisfies A(x) = (1 + x*A(x)) * (1 + x*A(x)^4).

%I A215623 #31 Sep 11 2024 05:47:37
%S A215623 1,2,11,89,836,8551,92445,1039030,12019135,142151324,1711116646,
%T A215623 20894534324,258195565959,3222677162409,40569811695707,
%U A215623 514520507077695,6567611974106756,84310605465652750,1087798325715407703,14098475168420865396,183465816241394787196
%N A215623 G.f. satisfies A(x) = (1 + x*A(x)) * (1 + x*A(x)^4).
%C A215623 The radius of convergence of g.f. A(x) is r = 0.0712256396327314729661274986100... with A(r) = 1.4248895273944523042559975726479124492235978714420... where y=A(r) satisfies 3*y^7 - 4*y^6 + 16*y^5 - 28*y^4 + 8*y^3 - 4 = 0.
%H A215623 Seiichi Manyama, <a href="/A215623/b215623.txt">Table of n, a(n) for n = 0..876</a>
%F A215623 G.f. satisfies A(x) = exp( Sum_{n>=1} x^n/n * Sum_{k=0..n} C(n,k)^2 * A(x)^(3*k)).
%F A215623 The formal inverse of g.f. A(x) is (sqrt((1-x^3)^2 + 4*x^4) - (1+x^3))/(2*x^4).
%F A215623 a(n) = Sum_{k=0..n} binomial(n+3*k+1,k) * binomial(n+3*k+1,n-k) / (n+3*k+1). - _Seiichi Manyama_, Jul 19 2023
%F A215623 From  _Peter Bala_, Sep 10 2024: (Start)
%F A215623 x/series_reversion(x*A(x)) = 1 + 2*x + 7*x^2 + 39*x^3 + 242*x^4 + 1634*x^5 + ..., the g.f. of A364336.
%F A215623 (1/x) * series_reversion(x/A(x)) = 1 + 2*x + 15*x^2 + 163*x^3 + 2070*x^4 + 28698*x^5 + ..., the g.f. of A364331. (End)
%e A215623 G.f.: A(x) = 1 + 2*x + 11*x^2 + 89*x^3 + 836*x^4 + 8551*x^5 + 92445*x^6 + ...
%e A215623 Related expansions.
%e A215623 A(x)^4 = 1 + 8*x + 68*x^2 + 652*x^3 + 6750*x^4 + 73544*x^5 + 831078*x^6 + ...
%e A215623 A(x)^5 = 1 + 10*x + 95*x^2 + 965*x^3 + 10350*x^4 + 115507*x^5 + ...
%e A215623 where A(x) = 1 + x*(A(x) + A(x)^4) + x^2*A(x)^5.
%e A215623 The logarithm of the g.f. equals the series:
%e A215623 log(A(x)) = (1 + A(x)^3)*x + (1 + 2^2*A(x)^3 + A(x)^6)*x^2/2 +
%e A215623   (1 + 3^2*A(x)^3 + 3^2*A(x)^6 + A(x)^9)*x^3/3 +
%e A215623   (1 + 4^2*A(x)^3 + 6^2*A(x)^6 + 4^2*A(x)^9 + A(x)^12)*x^4/4 +
%e A215623   (1 + 5^2*A(x)^3 + 10^2*A(x)^6 + 10^2*A(x)^9 + 5^2*A(x)^12 + A(x)^15)*x^5/5 + ...
%e A215623 more explicitly,
%e A215623 log(A(x)) = 2*x + 18*x^2/2 + 209*x^3/3 + 2550*x^4/4 + 32082*x^5/5 + 411705*x^6/6 + 5356416*x^7/7 + ....
%o A215623 (PARI) {a(n)=local(A=1+x); for(i=1, n, A=exp(sum(m=1, n, sum(j=0, m, binomial(m, j)^2*(A+x*O(x^n))^(3*j))*x^m/m))); polcoeff(A, n)}
%o A215623 (PARI) {a(n)=local(A=1+x+x*O(x^n)); for(i=1, n, A=(1+x*A)*(1+x*A^4)+x*O(x^n)); polcoeff(A, n)}
%o A215623 for(n=0,21,print1(a(n),", "))
%Y A215623 Cf. A198953, A215624, A036765, A198951, A181734, A364331, A364336, A364376.
%K A215623 nonn,easy
%O A215623 0,2
%A A215623 _Paul D. Hanna_, Aug 17 2012