Abstract:Let $(X_{k})_{k\geq 1}$ and $(Y_k)_{k\geq 1}$ be the sequence of $X$ and $Y$-coordinates of the positive integer solutions $(x, y)$ of the equation $x^2 - dy^2 = t$. In this paper we completely describe those recurrence sequences such that sums of two terms recurrence sequences in the solution sets of generalized Pell equations are infinitely many. Further, we give an upper bound for the number of such terms when there are only finitely many of them. This work is motivated by the recent paper Hajdu and Sebestyén (Int. J. Number Theory 18 (2022), 1605-1612).
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly studies the properties of the sum of certain recursive sequence terms in the solution set of the generalized Pell equations. Specifically, the authors explore the following problems:
1. **Infinity of the sum of recursive sequence terms**: For positive integer solutions \((x, y)\) of the generalized Pell equation \(x^2 - dy^2 = t\), are there infinitely many terms of the recursive sequences \((X_k)_{k \geq 1}\) and \((Y_k)_{k \geq 1}\) such that the sum of these terms is also in the solution set?
2. **Upper bound of a finite number of terms**: If there are only a finite number of sums of recursive sequence terms in the solution set, then give an upper bound for the number of these terms.
### Main contributions of the paper
- **Complete description**: The authors completely describe those recursive sequences such that there are infinitely many sums of the terms of these sequences in the solution set of the generalized Pell equation.
- **Upper bound estimation**: When there are only a finite number of sums of recursive sequence terms in the solution set, an upper bound for the number of these terms is given, and this upper bound can be effectively calculated, depending on the parameters \(k\), \(d\) and \(t\).
### Mathematical background
The generalized Pell equation has the form:
\[ x^2 - dy^2 = t \]
where \(d\) and \(t\) are non - zero integers, and \(d>1\) is square - free. When \(t = \pm 1,\pm 4\), it is called the classical Pell equation; otherwise, it is called the generalized Pell equation.
### Main results
The core theorem of the paper is:
**Theorem 2.1**: Let \((U_n)_{n \geq 0}\) be a simple non - degenerate linear recursive sequence whose characteristic polynomial is not of the form \(x^2+ax\pm 1\), and whose roots are pairwise multiplicatively independent and none of them is a root of unity. Then:
\[ U_{n_1}+U_{n_2}\in X\cup Y \]
holds for only finitely many indices \((n_1, n_2)\). Further, the number of such values \((n_1, n_2)\) is effectively controlled by a constant \(c_1 = c_1(k, d, t)\), where \(c_1\) depends only on \(k\), \(d\) and \(t\).
### Applications and significance
This research not only deepens the understanding of the solution set of the generalized Pell equation, but also provides a new perspective for the application of recursive sequences in number theory. By introducing the concept of the sum of recursive sequence terms, the authors extend the previous research on the solutions of the Pell equation, pose new problems and give effective solutions.
### Conclusion
This paper provides a new perspective to understand the solution structure of these classical equations by studying the frequency of the sum of recursive sequence terms in the solution set of the generalized Pell equation, and lays the foundation for subsequent research.