cp's OEIS Frontend

A200718 G.f. satisfies A(x) = (1 + x*A(x)^2) * (1 + x^2*A(x)^6).

%I A200718 #28 Jul 18 2023 12:26:13
%S A200718 1,1,3,14,75,433,2636,16668,108399,720431,4871555,33409042,231817448,
%T A200718 1624503716,11480658056,81731416480,585579734959,4219179476875,
%U A200718 30552067317233,222225174139730,1622894404239115,11894991079960721,87472260252499560,645183802300787356,4771926560361458884
%N A200718 G.f. satisfies A(x) = (1 + x*A(x)^2) * (1 + x^2*A(x)^6).
%C A200718 More generally, for fixed parameters p and q, if F(x) satisfies:
%C A200718 F(x) = exp( Sum_{n>=1} x^n * F(x)^(n*p)/n * [Sum_{k=0..n} C(n,k)^2 * x^k * F(x)^(k*q)] ),
%C A200718 then F(x) = (1 + x*F(x)^(p+1))*(1 + x^2*F(x)^(p+q+1)).
%H A200718 Vaclav Kotesovec, <a href="/A200718/b200718.txt">Table of n, a(n) for n = 0..1000</a>
%H A200718 Vaclav Kotesovec, <a href="/A200718/a200718.txt">Recurrence (of order 6)</a>
%F A200718 G.f. A(x) satisfies:
%F A200718 (1) A(x) = sqrt( (1/x)*Series_Reversion( 2*x^5*(1+x)^2/(1 - 2*x^2*(1+x)^2 - sqrt(1 - 4*x^2*(1+x)^2)) ) ).
%F A200718 (2) A(x) = G(x*A(x)^2) where G(x) = A(x/G(x)^2) is the g.f. of A104545 (Motzkin paths of length n having no consecutive (1,0) steps).
%F A200718 (3) A(x) = exp( Sum_{n>=1} x^n * A(x)^n/n * [Sum_{k=0..n} C(n,k)^2 * x^k * A(x)^(4*k)] ).
%F A200718 (4) A(x) = exp( Sum_{n>=1} x^n * A(x)^n/n * [(1-x/A(x)^4)^(2*n+1) * Sum_{k>=0} C(n+k,k)^2*x^k * A(x)^(4*k)] ).
%F A200718 a(n) = Sum_{k=0..floor(n/2)}((binomial(2*n+2*k+1,k)*binomial(2*n+2*k+1,n-2*k))/(2*n+2*k+1)). - _Vladimir Kruchinin_, Mar 11 2016
%e A200718 G.f.: A(x) = 1 + x + 3*x^2 + 14*x^3 + 75*x^4 + 433*x^5 + 2636*x^6 +...
%e A200718 Related expansions:
%e A200718 A(x)^2 = 1 + 2*x + 7*x^2 + 34*x^3 + 187*x^4 + 1100*x^5 + 6784*x^6 +...
%e A200718 A(x)^6 = 1 + 6*x + 33*x^2 + 194*x^3 + 1200*x^4 + 7674*x^5 + 50317*x^6 +...
%e A200718 A(x)^8 = 1 + 8*x + 52*x^2 + 336*x^3 + 2210*x^4 + 14776*x^5 + 100216*x^6 +...
%e A200718 where A(x) = 1 + x*A(x)^2 + x^2*A(x)^6 + x^3*A(x)^8.
%e A200718 The logarithm of the g.f. A = A(x) equals the series:
%e A200718 log(A(x)) = (1 + x*A^4)*x*A + (1 + 2^2*x*A^4 + x^2*A^8)*x^2*A^2/2 +
%e A200718 (1 + 3^2*x*A^4 + 3^2*x^2*A^8 + x^3*A^12)*x^3*A^3/3 +
%e A200718 (1 + 4^2*x*A^4 + 6^2*x^2*A^8 + 4^2*x^3*A^12 + x^4*A^16)*x^4*A^4/4 +
%e A200718 (1 + 5^2*x*A^4 + 10^2*x^2*A^8 + 10^2*x^3*A^12 + 5^2*x^4*A^16 + x^5*A^20)*x^5*A^5/5 + ...
%e A200718 The g.f. of A104545, G(x) = A(x/G(x)^2) where A(x) = G(x*A(x)^2), begins:
%e A200718 G(x) = 1 + x + x^2 + 3*x^3 + 5*x^4 + 11*x^5 + 25*x^6 + 55*x^7 + 129*x^8 +...
%t A200718 a[n_] := Sum[Binomial[2*n + 2*k + 1, k]*Binomial[2*n + 2*k + 1, n - 2*k]/ (2*n + 2*k + 1), {k, 0, n/2}];
%t A200718 Table[a[n], {n, 0, 24}] (* _Jean-François Alcover_, Jan 09 2018, after _Vladimir Kruchinin_ *)
%o A200718 (PARI) {a(n)=polcoeff(sqrt( (1/x)*serreverse( 2*x^5*(1+x)^2/(1 - 2*x^2*(1+x)^2 - sqrt(1 - 4*x^2*(1+x)^2+O(x^(n+6)))) ) ),n)}
%o A200718 (PARI) {a(n)=local(p=1,q=4,A=1+x);for(i=1,n,A=(1+x*A^(p+1))*(1+x^2*A^(p+q+1))+x*O(x^n));polcoeff(A,n)}
%o A200718 (PARI) {a(n)=local(p=1,q=4,A=1+x);for(i=1,n,A=exp(sum(m=1,n,x^m*(A+x*O(x^n))^(p*m)/m*sum(j=0,m,binomial(m, j)^2*x^j*(A+x*O(x^n))^(q*j))))); polcoeff(A, n, x)}
%o A200718 (PARI) {a(n)=local(p=1,q=4,A=1+x);for(i=1,n,A=exp(sum(m=1,n,x^m*(A+x*O(x^n))^(p*m)/m*(1-x*A^q)^(2*m+1)*sum(j=0, n, binomial(m+j, j)^2*x^j*(A+x*O(x^n))^(q*j))))); polcoeff(A, n, x)}
%o A200718 (Maxima)
%o A200718 a(n):=sum((binomial(2*n+2*k+1,k)*binomial(2*n+2*k+1,n-2*k))/(2*n+2*k+1),k,0,(n)/2); /* _Vladimir Kruchinin_, Mar 11 2016 */
%Y A200718 Cf. A104545, A200716, A200717, A199876, A199877, A198951, A198953, A198957, A192415, A198888, A036765.
%Y A200718 Cf. A186241, A199874, A200074, A200075, A200719, A215576.
%K A200718 nonn
%O A200718 0,3
%A A200718 _Paul D. Hanna_, Nov 21 2011