Abstract:We show that, if an integer sequence is given by a linear recurrence of constant rational coefficients, then it can be represented as the difference of two arithmetic terms with exponentiation, which do not contain any irrational constant. We apply our methods to various Lucas sequences including the classical Fibonacci sequence, to the sequence of solutions of the Pell equation and to some natural C-recursive sequences of degree 3.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about how to represent integer sequences defined by linear recurrence relations with constant coefficients. Specifically, the author shows that if an integer sequence is given by a linear recurrence relation with constant rational coefficients, then this sequence can be represented as the difference between two arithmetic terms (including exponentiation), and these two arithmetic terms do not contain any irrational constants.
### Background and Motivation of the Paper
In mathematics, many important integer sequences, such as the Fibonacci sequence, the Lucas sequence, and the solutions of the Pell equation, are all defined by linear recurrence relations. These sequences can usually be studied by generating functions or other methods, but their closed - form expressions often contain irrational numbers or complex numbers, which may cause inconvenience in certain computational scenarios.
### Main Contributions
1. **Theoretical Results**:
- It is proved that for any integer sequence defined by a linear recurrence relation with constant coefficients, it can be represented as the difference between two arithmetic terms, and these two arithmetic terms do not contain any irrational constants.
- An algorithm (Algorithm 12) is provided to calculate this representation form.
2. **Application Examples**:
- These methods are applied to various Lucas sequences (including the classic Fibonacci sequence), the solutions of the Pell equation, and some natural third - order C - recursive sequences.
- For example, for the Fibonacci sequence \(F(n)\), the following arithmetic term representation is given:
\[
F(n)=\left\lfloor\frac{3n^{2}+n}{3^{2n}-3^{n}-1}\right\rfloor\bmod 3^{n}
\]
### Key Technologies
- **Arithmetic Terms**: The concept of arithmetic terms is defined, that is, expressions constructed from natural numbers and variables by basic arithmetic operations (addition, subtraction, multiplication, division, modulo, exponentiation).
- **Generating Functions**: Generating functions are used to extract the terms of the sequence, and the arithmetic term representation is deduced through the properties of the generating functions.
- **Theorems and Lemmas**: Through a series of theorems and lemmas, the correctness of the main results is gradually proved.
### Conclusion
This paper not only provides theoretical proofs, but also gives specific algorithms and application examples, showing how to simplify complex mathematical sequences into simple arithmetic term representations, thus being more convenient and efficient in calculation and analysis.