A168491 - OEIS

%I #60 Dec 19 2022 18:10:42

%S 1,-1,2,-5,14,-42,132,-429,1430,-4862,16796,-58786,208012,-742900,

%T 2674440,-9694845,35357670,-129644790,477638700,-1767263190,

%U 6564120420,-24466267020,91482563640,-343059613650,1289904147324,-4861946401452,18367353072152,-69533550916004

%N a(n) = (-1)^n*Catalan(n).

%C Second inverse binomial transform of A001405. Hankel transform of this sequence gives A000012 = [1,1,1,1,1,1,1,...].

%C Also the expansion of real root of y+y^2=x, With offset 1, series reversion of x+x^2. - _Robert G. Wilson v_, Mar 07 2011

%H G. C. Greubel, <a href="/A168491/b168491.txt">Table of n, a(n) for n = 0..500</a>

%H <a href="/index/Res#revert">Index to sequences related to reversion of series</a>

%F a(n) = (-1)^n * A000108(n).

%F G.f.: (sqrt(1+4*x) - 1) / (2*x) = 2 / (sqrt(1+4*x) + 1).

%F E.g.f.: exp(-2*x)*(BesselI(0, 2*x) + BesselI(1, 2*x)). - _Peter Luschny_, Aug 26 2012

%F D-finite with recurrence (n+1)*a(n) +2*(2*n - 1)*a(n-1) = 0. - _R. J. Mathar_, Oct 06 2012

%F G.f.: 1 / (1 + x / (1 + x / (1 + x / ...))). - _Michael Somos_, Jan 03 2013

%F G.f.: 1/(x*Q(0)) - 1/x, where Q(k)= 1 - (4*k+1)*x/(k+1 - x*(2*k+2)*(4*k+3)/(2*x*(4*k+3) - (2*k+3)/Q(k+1))); (continued fraction). - _Sergei N. Gladkovskii_, May 15 2013

%F G.f.: G(0)/(2*x) - 1/(2*x), where G(k)= 1 + 4*x*(4*k+1)/( (4*k+2)*(1+4*x) - 2*x*(1+4*x)*(2*k+1)*(4*k+3)/(x*(4*k+3) + (1+4*x)*(k+1)/G(k+1))); (continued fraction). - _Sergei N. Gladkovskii_, Jun 24 2013

%F G.f.: G(0)/x - 1/x, where G(k)= k+1 - 2*x*(2*k+1) + 2*x*(k+1)*(2*k+3)/G(k+1) ; (continued fraction). - _Sergei N. Gladkovskii_, Jul 14 2013

%e G.f. = 1 - x + 2*x^2 - 5*x^3 + 14*x^4 - 42*x^5 + 132*x^6 - 429*x^7 + ...

%t CoefficientList[InverseSeries[Series[y + y^2, {y, 0, 28}], x]/x, x] (* _Robert G. Wilson v_, Mar 07 2011 *)

%t a[ n_] := If[ n < 0, 0, (-1)^n CatalanNumber[n]]; (* _Michael Somos_, Nov 22 2014 *)

%t Table[(-1)^n*CatalanNumber[n], {n, 0, 50] (* _G. C. Greubel_, Jul 23 2016 *)

%t Times@@@Partition[Riffle[CatalanNumber[Range[0,30]],{1,-1},{2,-1,2}],2] (* _Harvey P. Dale_, Dec 19 2022 *)

%o (PARI) a(n)=(-1)^n*binomial(2*n,n)/(n+1); \\ _Joerg Arndt_, May 15 2013

%o (Magma) [(-1)^n*Catalan(n): n in [0..40]]; // _Vincenzo Librandi_, Nov 16 2014

%K sign,less,easy

%O 0,3

%A _Philippe Deléham_, Nov 27 2009