L. Hajdu,R. Tijdeman
Abstract:This paper is the continuation of \cite{htl}, where we deal with Lucas sequences. Here we study integers represented by integer sequences which satisfy binary recursive relations. In case of non-degenerate sequences we give bounds for the highest index for which a term can be 0 and bounds on the growth order of the absolute values of the terms, both only in terms of the two initial values, which is a novel feature. Some of these bounds are best possible apart from a multiplicative constant.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve involve some key characteristics in integer sequences defined by binary recurrence relations (BRIG sequences), especially regarding the zero terms in these sequences and their growth properties. Specifically:
1. **Zero - term problem**:
- For given parameters \(A, B, P, Q\), study whether there exists a unique index \(k\) such that \(u_k = 0\).
- Provide upper bound estimates of the zero - term index \(k\) when \(A^2>4B\) and \(A^2 < 4B\).
2. **Growth properties**:
- Study the lower bounds of the growth of BRIG sequences in real and non - real cases.
- Give specific lower - bound expressions of \(|u_n|\) under different conditions, for example, for different situations of \(A^2>4B\) and \(A^2 < 4B\).
### Overview of main results
#### Zero - term problem
- **Theorem 2.1**:
- (a) For given \(A, B, P, Q\), there exists at most one integer \(k\) such that \(u_k = 0\).
- (b) If \(u_k = 0\) and \(A^2>4B\), then \(k < 9\log|Q|+ 12\).
- (c) If \(u_k = 0\) and \(A^2 < 4B\), then \(k < 10\log\max(|Q|, 2)\) for \(k > c_4\).
#### Growth properties
- **Theorem 2.2**:
- When \(A^2>4B\), a specific lower bound of \(|u_n|\) is given, which depends on the relationship between \(n\) and \(Q\).
- **Theorem 2.3**:
- When \(A^2 < 4B\), a lower bound of \(|u_n|\) is given in the form of \(|u_n|\geq|\alpha|^{2n/3}>1.25^n\), where \(n\) exceeds a constant depending on \(P\) and \(Q\).
### Markdown representation of formulas
1. **Recurrence relation**:
\[
u_n = A u_{n - 1}-B u_{n - 2}\quad(n\geq2)
\]
2. **Characteristic polynomial**:
\[
f(x)=x^2 - Ax + B
\]
3. **General term formula**:
\[
u_n=a\alpha^n - b\beta^n
\]
where,
\[
a=\frac{Q - P\beta}{D},\quad b=\frac{Q - P\alpha}{D},\quad D = \sqrt{A^2 - 4B}
\]
4. **Lucas sequence**:
\[
U_n=\frac{\alpha^n-\beta^n}{\alpha-\beta},\quad V_n=\alpha^n+\beta^n
\]
Through these results, the author provides a profound understanding of the zero terms and growth properties in binary recursive integer sequences, and these results are explicit, quantitatively optimal, and only depend on unavoidable parameters.