cp's OEIS Frontend

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

%I A215715 #23 Jul 19 2023 07:27:29
%S A215715 1,2,13,118,1242,14227,172177,2165732,28032668,370944717,4995412647,
%T A215715 68239105203,943278064473,13169938895473,185453340189492,
%U A215715 2630813161415976,37561512615867450,539336703889993006,7783290731579783544,112828761898680983141,1642222504807143423470
%N A215715 G.f. satisfies A(x) = (1 + x*A(x)^2) * (1 + x*A(x)^4).
%C A215715 More generally, for fixed parameters p, q, r, and s, if F(x) satisfies:
%C A215715 F(x) = (1 + x^r*F(x)^(p+1)) * (1 + x^(r+s)*F(x)^(p+q+1)), then
%C A215715 F(x) = exp( Sum_{n>=1} x^(n*r)*F(x)^(n*p)/n * [Sum_{k=0..n} C(n,k)^2 * x^(k*s)*F(x)^(k*q)] ).
%C A215715 The radius of convergence of g.f. A(x) is r = 0.06368546004073732405169450... with A(r) = 1.3960637117611795281240000742797488619448782873... where y=A(r) satisfies 6*y^5 + 17*y^4 - 46*y^3 + 16*y^2 + 4*y - 8 = 0.
%H A215715 G. C. Greubel, <a href="/A215715/b215715.txt">Table of n, a(n) for n = 0..825</a>
%H A215715 Vaclav Kotesovec, <a href="/A215715/a215715.txt">Recurrence</a>
%F A215715 G.f. A(x) satisfies:
%F A215715 (1) A(x) = sqrt( (1/x)*Series_Reversion( x*(1 + sqrt(1 - 4*x*(1+x)^2))^2/(4*(1+x)^2) ) ).
%F A215715 (2) A(x) = exp( Sum_{n>=1} x^n*A(x)^n/n * Sum_{k=0..n} C(n,k)^2 * A(x)^(2*k) ).
%F A215715 (3) A(x) = exp( Sum_{n>=1} x^n*A(x)^(3*n)/n * Sum_{k=0..n} C(n,k)^2 / A(x)^(2*k) ).
%F A215715 The formal inverse of the g.f. A(x) is (sqrt(x^4 + 4*x^3 - 2*x^2 + 1) - (1+x^2))/(2*x^4).
%F A215715 a(n) ~ c*d^n/(sqrt(Pi)*n^(3/2)), where d = 15.70217125479403872... is the root of the equation -1024 - 3840*d + 26368*d^2 - 58644*d^3 + 1933*d^4 + 108*d^5 = 0 and c = 0.320114409... - _Vaclav Kotesovec_, Sep 17 2013
%F A215715 a(n) = Sum_{k=0..n} binomial(2*n+2*k+1,k) * binomial(2*n+2*k+1,n-k) / (2*n+2*k+1). - _Seiichi Manyama_, Jul 18 2023
%e A215715 G.f.: A(x) = 1 + 2*x + 13*x^2 + 118*x^3 + 1242*x^4 + 14227*x^5 + ...
%e A215715 Related expansions.
%e A215715 A(x)^2 = 1 + 4*x + 30*x^2 + 288*x^3 + 3125*x^4 + 36490*x^5 + ...
%e A215715 A(x)^4 = 1 + 8*x + 76*x^2 + 816*x^3 + 9454*x^4 + 115260*x^5 + ...
%e A215715 A(x)^6 = 1 + 12*x + 138*x^2 + 1648*x^3 + 20427*x^4 + 260934*x^5 + ...
%e A215715 where A(x) = 1 + x*(A(x)^2 + A(x)^4) + x^2*A(x)^6.
%e A215715 The logarithm of the g.f. equals the series:
%e A215715 log(A(x)) = (1 + A(x)^2)*x*A(x) + (1 + 2^2*A(x)^2 + A(x)^4)*x^2*A(x)^2/2 +
%e A215715 (1 + 3^2*A(x)^2 + 3^2*A(x)^4 + A(x)^6)*x^3*A(x)^3/3 +
%e A215715 (1 + 4^2*A(x)^2 + 6^2*A(x)^4 + 4^2*A(x)^6 + A(x)^8)*x^4*A(x)^4/4 +
%e A215715 (1 + 5^2*A(x)^2 + 10^2*A(x)^4 + 10^2*A(x)^6 + 5^2*A(x)^8 + A(x)^10)*x^5*A(x)^5/5 + ...
%e A215715 Explicitly,
%e A215715 log(A(x)) = 2*x + 22*x^2/2 + 284*x^3/3 + 3878*x^4/4 + 54607*x^5/5 + 784144*x^6/6 + 11414265*x^7/7 + 167819014*x^8/8 + ...
%t A215715 CoefficientList[Sqrt[1/x*InverseSeries[Series[x*(1+Sqrt[1-4*x*(1+x)^2])^2/(4*(1+x)^2),{x,0,20}],x]],x] (* _Vaclav Kotesovec_, Sep 17 2013 *)
%o A215715 (PARI) {a(n)=local(A=1+x+x*O(x^n)); for(i=1, n, A=(1 + x*A^2)*(1 + x*A^4)); polcoeff(A, n)}
%o A215715 for(n=0,31,print1(a(n),", "))
%o A215715 (PARI) {a(n)=polcoeff( sqrt((1/x)*serreverse( x*(1 + sqrt(1 - 4*x*(1+x)^2 +x*O(x^n)))^2/(4*(1+x)^2))), n)}
%o A215715 (PARI) {a(n)=local(A=1+x+x*O(x^n)); for(i=1, n, A=exp(sum(m=1, n, sum(j=0, m, binomial(m, j)^2*A^(2*j))*x^m*A^m/m))); polcoeff(A, n)}
%o A215715 (PARI) {a(n)=local(A=1+x+x*O(x^n)); for(i=1, n, A=exp(sum(m=1, n, sum(j=0, m, binomial(m, j)^2/A^(2*j))*x^m*A^(3*m)/m))); polcoeff(A, n)}
%Y A215715 Cf. A198953.
%Y A215715 Cf. A007863, A069271, A073157, A215654.
%K A215715 nonn
%O A215715 0,2
%A A215715 _Paul D. Hanna_, Aug 21 2012