Relations de récurrence linéaires, primitivité et loi de Benford

Hugues Deligny, Paul Jolissaint

We prove that many sequences of positive numbers $(a_n)$ defined by finite linear difference equations $a_{n+k}=c_{k-1}{a}_{n+k-1}+...+c_0{a}_n$ with suitable non negative reals coeffi…