On generalized Lehmer sequences (Q1095174): Difference between revisions

A generalized Lehmer sequence \(H=H(H_ 0,H_ 1,L,M)=\{H_ n\}^{\infty}_{n=0}\) is defined by the recursion \(H_ n=LH_{n-1}- MH_{n-2}\) for n odd, and \(H_ n=H_{n-1}-MH_{n-2}\) for n even, where the initial terms \(H_ 0\), \(H_ 1\) and L, M are given integers. We suppose that the sequence \(H(H_ 0,H_ 1,L,M)\) is nondegenerate, i.e. \(LM\neq 0,\quad K=L-4M\neq 0,\quad H^ 2_ 0+H^ 2_ 1\neq 0\) and \(\alpha\) /\(\beta\) is not a root of unity, where \(\alpha\), \(\beta\) are roots of \(f(z)=z^ 2-\sqrt{L}z+M\) with \(| \alpha | \geq | \beta |.\) The author proves that if \(LK<0\) then \(H_ n\neq 0\) for \(n>\max (N_ 1,N_ 2)\), where \[ N_ 1=\min (2^{67} \log | 4M |, e^{398}),\quad N_ 2=\min (\frac{4}{\log 2}\log | dH_ 0|, \frac{4}{\log 2}\log | H_ 1|),\quad and\quad d=(L,M); \] furthermore \[ \frac{| a|}{2\sqrt{| LK|}}| \alpha |^ n n^{-c_ 0}\quad <\quad | H_ n| \quad <\quad \frac{2 | a|}{\sqrt{| K|}}| \alpha |^ n, \] for \(n>2^{67} \log (| 4M | (H^ 2_ 0+H^ 2_ 1))\), where \(c_ 0=2^{80} \log | 4M | \cdot \log \log | 4M | \cdot \log (| 4M | (H^ 2_ 0+H^ 2_ 1)),\) \(a=H_ 1-\sqrt{L}H_ 0\beta.\)