The Ultimate Signs of Second-Order Holonomic Sequences

Fugen Hagihara, Akitoshi Kawamura

A real-valued sequence $f=\{f(n){\}}_{n\in \mathbb{N}}$ is said to be second-order holonomic if it satisfies a linear recurrence $f(n+2)=P(n)f(n+1)+Q(n)f(n)$ for…