Pell and associated Pell braid sequences as GCDs of sums of $k$ consecutive Pell, balancing, and related numbers

aBa Mbirika,Janee Schrader,Jürgen Spilker
2023-06-29
Abstract:We consider the greatest common divisor (GCD) of all sums of $k$ consecutive terms of a sequence $(S_n)_{n\geq 0}$ where the terms $S_n$ come from exactly one of following six well-known sequences' terms: Pell $P_n$, associated Pell $Q_n$, balancing $B_n$, Lucas-balancing $C_n$, cobalancing $b_n$, and Lucas-cobalancing $c_n$ numbers. For each of the six GCDs, we provide closed forms dependent on $k$. Moreover, each of these closed forms can be realized as braid sequences of Pell and associated Pell numbers in an intriguing manner. We end with partial results on GCDs of sums of squared terms and open questions.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the greatest common divisor (GCD) of the sum of consecutive \(k\) terms in specific sequences and provide closed - form expressions for these GCDs. Specifically, the research objects include the following six well - known sequences: Pell sequence (\(P_n\)), associated Pell sequence (\(Q_n\)), balancing sequence (\(B_n\)), Lucas - balancing sequence (\(C_n\)), cobalancing sequence (\(b_n\)) and Lucas - cobalancing sequence (\(c_n\)). ### Main problem description: 1. **Definition and background**: - The sequences studied include the Pell sequence, the associated Pell sequence, the balancing sequence and their variants. - The paper focuses on the greatest common divisor (GCD) of the sum of consecutive \(k\) terms in these sequences. 2. **Objectives**: - For each sequence, find the closed - form of the greatest common divisor of all consecutive \(k\) - term sums. - Express these GCDs as braid sequences, especially involving combinations of Pell numbers and associated Pell numbers. 3. **Methods**: - Use recurrence relations and known identities to derive and verify the expressions of these GCDs. - Simplify the proof process by introducing new identities (such as Lemma 12 and Lemma 13). 4. **Results**: - Provide the GCD closed - form for each sequence when \(m = 1\). - Give partial results for the case of \(m = 2\) and propose further research directions and open problems. ### Mathematical representation of specific problems: For a given sequence \(S_n\), define \(S(k)\) as the greatest common divisor of all consecutive \(k\) - term sums: \[S(k)=\gcd\left(\sum_{i = 1}^k S_{n + i}\right)_{n\geq0}\] The paper provides specific GCD closed - forms for the following six sequences respectively: - Pell sequence \(P_n\) - Associated Pell sequence \(Q_n\) - Balancing sequence \(B_n\) - Lucas - balancing sequence \(C_n\) - Cobalancing sequence \(b_n\) - Lucas - cobalancing sequence \(c_n\) For example, for the Pell sequence \(P_n\), when \(k\equiv0\pmod{4}\), the closed - form of the GCD is: \[P(k) = 2P_{k/2}\] ### Conclusion: By introducing new identities and the concept of braid sequences, this paper successfully finds the closed - forms of the greatest common divisor of the sum of consecutive \(k\) terms in six sequences, providing a theoretical basis for further research on the properties of these sequences.