posted on 2025-05-10, 13:45authored byMichael Coons
Let r1,..., rs: Zn≥0 → C be linearly recurrent sequences whose associated eigenvalues have arguments in πQ and let F(z) := Σn ≥ 0 f(n)zn, where f(n) ∈ {r1(n),..., rs(n)} for each n ≥ 0. We prove that if F(z) is bounded in a sector of its disk of convergence, then it is a rational function. This extends a very recent result of Tang and Wang, who gave the analogous result when the sequence f(n) takes on values of finitely many polynomials.