On Nearly Linear Recurrence Sequences

A nearly linear recurrence sequence (nlrs) is a complex sequence (a n ) with the property that there exist complex numbers A 0,…, A d−1 such that the sequence \(\big(a_{n+d} + A_{d-1}a_{n+d-1} + \cdots + A_{0}a_{n}\big)_{n=0}^{\infty }\) is bounded. We give an asymptotic Binet-type formula for such sequences. We compare (a n ) with a natural linear recurrence sequence (lrs) \((\tilde{a}_{n})\) associated with it and prove under certain assumptions that the difference sequence \((a_{n} -\tilde{ a}_{n})\) tends to infinity. We show that several finiteness results for lrs, in particular the Skolem-Mahler-Lech theorem and results on common terms of two lrs, are not valid anymore for nlrs with integer terms. Our main tool in these investigations is an observation that lrs with transcendental terms may have large fluctuations, quite different from lrs with algebraic terms. On the other hand, we show under certain hypotheses that though there may be infinitely many of them, the common terms of two nlrs are very sparse. The proof of this result combines our Binet-type formula with a Baker type estimate for logarithmic forms.