OFFSET
0,2
COMMENTS
A Motzkin meander is a lattice path with steps from the set {D=-1, H=0, U=1} that starts at (0,0), and never goes below the x-axis.
LINKS
Andrei Asinowski, Axel Bacher, Cyril Banderier, Bernhard Gittenberger, Analytic combinatorics of lattice paths with forbidden patterns, the vectorial kernel method, and generating functions for pushdown automata, Algorithmica (2019).
FORMULA
G.f.: ((1+t)/sqrt((t-1)*(4*t^2+t-1)) -1) / (2*t).
D-finite with recurrence (n+1)*a(n) +(-n-2)*a(n-1) +(-5*n+3)*a(n-2) +(n+4)*a(n-3) +2*(2*n-5)*a(n-4)=0. - R. J. Mathar, Jan 25 2023
a(n) ~ sqrt(13 + 53/sqrt(17)) * (1 + sqrt(17))^n / (sqrt(Pi*n) * 2^(n + 3/2)). - Vaclav Kotesovec, Jun 24 2023
EXAMPLE
For n = 3 the a(3) = 9 paths are UUU, UUH, UUD, UDU, UDH, HUU, HUD, HHU, HHH.
CROSSREFS
KEYWORD
nonn
AUTHOR
Andrei Asinowski, Apr 14 2019
STATUS
approved