OFFSET
0,2
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..1000
FORMULA
G.f.: (1+2*z^2-(1+2*z)*sqrt(1-4*z))/(2*z^2*(2+z)^2*sqrt(1-4*z)).
a(n) = sum(k*A114588(n+2,k),k=0..n+1).
a(n)=sum{k=0..n, sum{j=0..n-k, C(n-j,k-j)*C(n-j,k)*(j+1)}}; - Paul Barry, Nov 03 2006
Conjecture: 2*(n+2)*a(n) +(-7*n-9)*a(n-1) -18*a(n-2) +2*(-7*n+19)*a(n-3) +4*(-2*n+3)*a(n-4)=0. - R. J. Mathar, Nov 15 2012
Recurrence: 2*n*(n+2)*(3*n+1)*a(n) = (21*n^3 + 34*n^2 + n - 8)*a(n-1) + 2*(n+1)*(2*n+1)*(3*n+4)*a(n-2). - Vaclav Kotesovec, Feb 12 2014
a(n) ~ 4^(n+2) / (9*sqrt(Pi*n)). - Vaclav Kotesovec, Feb 12 2014
EXAMPLE
a(1)=2 because in the 2 (=A000957(4)) hill-free Dyck paths of semilength 3, namely UUUDDD and U(UD)(UD)D (U=(1,1), D=(1,-1)) we have altogether 2 peaks at even level (shown between parentheses).
MAPLE
G:=(1+2*z^2-(1+2*z)*sqrt(1-4*z))/2/z^2/(2+z)^2/sqrt(1-4*z): Gser:=series(G, z=0, 30): 1, seq(coeff(Gser, z^n), n=1..25);
MATHEMATICA
CoefficientList[Series[(1+2*x^2-(1+2*x)*Sqrt[1-4*x])/2/x^2/(2+x)^2/Sqrt[1-4*x], {x, 0, 20}], x] (* Vaclav Kotesovec, Feb 12 2014 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Emeric Deutsch, Dec 11 2005
STATUS
approved