login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A215715 G.f. satisfies A(x) = (1 + x*A(x)^2) * (1 + x*A(x)^4). 4

%I #23 Jul 19 2023 07:27:29

%S 1,2,13,118,1242,14227,172177,2165732,28032668,370944717,4995412647,

%T 68239105203,943278064473,13169938895473,185453340189492,

%U 2630813161415976,37561512615867450,539336703889993006,7783290731579783544,112828761898680983141,1642222504807143423470

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

%C More generally, for fixed parameters p, q, r, and s, if F(x) satisfies:

%C F(x) = (1 + x^r*F(x)^(p+1)) * (1 + x^(r+s)*F(x)^(p+q+1)), then

%C 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 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 G. C. Greubel, <a href="/A215715/b215715.txt">Table of n, a(n) for n = 0..825</a>

%H Vaclav Kotesovec, <a href="/A215715/a215715.txt">Recurrence</a>

%F G.f. A(x) satisfies:

%F (1) A(x) = sqrt( (1/x)*Series_Reversion( x*(1 + sqrt(1 - 4*x*(1+x)^2))^2/(4*(1+x)^2) ) ).

%F (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 (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 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 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 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 G.f.: A(x) = 1 + 2*x + 13*x^2 + 118*x^3 + 1242*x^4 + 14227*x^5 + ...

%e Related expansions.

%e A(x)^2 = 1 + 4*x + 30*x^2 + 288*x^3 + 3125*x^4 + 36490*x^5 + ...

%e A(x)^4 = 1 + 8*x + 76*x^2 + 816*x^3 + 9454*x^4 + 115260*x^5 + ...

%e A(x)^6 = 1 + 12*x + 138*x^2 + 1648*x^3 + 20427*x^4 + 260934*x^5 + ...

%e where A(x) = 1 + x*(A(x)^2 + A(x)^4) + x^2*A(x)^6.

%e The logarithm of the g.f. equals the series:

%e 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 (1 + 3^2*A(x)^2 + 3^2*A(x)^4 + A(x)^6)*x^3*A(x)^3/3 +

%e (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 (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 Explicitly,

%e 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 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 (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 for(n=0,31,print1(a(n),", "))

%o (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 (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 (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 Cf. A198953.

%Y Cf. A007863, A069271, A073157, A215654.

%K nonn

%O 0,2

%A _Paul D. Hanna_, Aug 21 2012

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 15:38 EDT 2024. Contains 371254 sequences. (Running on oeis4.)