Next Article in Journal
Category-Theoretical and Topos-Theoretical Frameworks in Machine Learning: A Survey
Previous Article in Journal
On the Abscissa of Convergence of Laplace–Stieltjes Integrals in the Euclidean Real Vector Space Rp
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Gersenne Sequence: A Study of One Family in the Horadam-Type Sequence

by
Douglas Catulio Santos
1,†,
Eudes Antonio Costa
2,3,*,† and
Paula M. M. C. Catarino
3,†
1
Education Department of the State of Bahia, Barreiras 41745-004, Brazil
2
Department of Mathematics, Federal University of Tocantins, Arraias 77330-000, Brazil
3
Department of Mathematics, University of Trás-os-Montes and Alto Douro, 5000-801 Vila Real, Portugal
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2025, 14(3), 203; https://doi.org/10.3390/axioms14030203
Submission received: 8 February 2025 / Revised: 2 March 2025 / Accepted: 5 March 2025 / Published: 10 March 2025
(This article belongs to the Section Algebra and Number Theory)

Abstract

:
This study introduces an innovative approach to Mersenne-type numbers. This paper introduces a new class of numbers, which we call Gersenne numbers. The aim of this paper is to define the Gersenne sequence and to investigate some of their properties, such as the recurrence relation, the summation formula, and the generating function. Moreover, the classical identities are derived, such as the Tagiuri–Vajda, Catalan, Cassini, and d’Ocagne identities for Gersenne numbers.

1. Introduction and Background

The Mersenne sequence is composed of non-negative integers in the form of a power of two minus one, and it is best known for some of the prime numbers that make it up, which are called Mersenne primes. These numbers are defined by the recursion relation
M n = 3 M n 1 2 M n 2 ,   for   all   n 2
with initial condition M 0 = 0 , and M 1 = 1 , forming the sequence
{ M n } n 0 = { 0 , 1 , 3 , 7 , 15 , 31 , 63 , 127 , 255 , } ,
which is referred to as sequence A000225 in the OEIS [1]. Considering the initial values m 0 = 2 and m 1 = 3 , with the identical recurrence relation m n = 3 m n 1 2 m n 2 , for all n 2 , we have the Mersenne–Lucas numbers. The terms of this sequence are called Mersenne–Lucas numbers and are expressed in the form m n = 2 n + 1 , which is identified as sequence A000051 in OEIS [1]. These two classes of numbers, which have important implications in areas such as cryptography and the identification of large prime numbers, are an indispensable concept in number theory.
Consider k, a and b as fixed constants (typically integers), with k 0 . We define the sequence { G M ( k , n ) } n 0 as a Mersenne-type sequence that satisfies the recurrence relation
G M ( k , n ) = ( k + 1 ) G M ( k , n 1 ) k G M ( k , n 2 ) ; n 2 ,
with initial values G M ( k , 0 ) = a and G M ( k , 1 ) = b , where a and b are fixed constants. When k = 2 , a = 0 and b = 1 , we have the classical Mersenne numbers. If we set k = 10 , a = 0 and b = 1 , we obtain the ordinary Repunit numbers. Here, this sequence is referred to as the Gersenne sequence.
A straightforward calculation shows that the first five elements of the Gersenne sequence are
a , b , k ( b a ) + b , ( k 2 + k ) ( b a ) + b , ( k 3 + k 2 + k ) ( b a ) + b ,
If we take k = 0 , we have a constant sequence equal to b for every term n greater than 1, so
a , b , b , b , b , b ,
when k = 1 , we have the following sequence:
a , b , 2 b a , 3 b 2 a , 4 b 3 a , 5 b 4 a ,
Thus, by taking k = 1 , a = 0 and b = 1 , we have the following sequence of non-negative integers: 0 , 1 , 2 , 3 , 4 , . Therefore, throughout the text, unless otherwise stated, k is a positive integer greater than 1, that is, k > 1 .
The structure of the present paper is divided into four more sections, as follows. In Section 2, we present the recurrence of the Gersenne sequence, the generalized Binet formula, and the generating function. In Section 3, we derive several classical identities for the generalized Gersenne sequence for all integers n, including the Tagiuri–Vajda, Catalan, Cassini, d’Ocagnes, and Gelin–Cesàro identities. In the Section 4, we present results on partial sums of terms of the Gersenne sequence. We conclude with some final considerations and state some future work about this topic.
In the mathematical literature, there have been countless studies on the sequences of Mersenne and Mersenne–Lucas numbers. For example, in [2], the author offers a thorough and detailed examination of these two types of special numbers; in particular, they are intimately tied to classical problems in the theory of prime numbers (see [3,4,5]). It also considers practical applications and is particularly relevant in the specific context of cryptography (see [6,7]). In [8], the authors defined the generalized Mersenne number as in Equation (1), but with initial terms a = 0 and b = 1 , and present their interpretations and matrix generators for this sequence. Other generalizations or extensions of the Mersenne or Mersenne–Lucas sequences, generating function and several identities, can be found in [9,10,11,12], among others. In [13,14], the authors studied the generalized Gaussian Mersenne numbers with arbitrary initial values and considered two particular cases, namely, Gaussian Mersenne and Gaussian Mersenne–Lucas numbers.

2. The Gersenne Numbers

We refer to Gersenne numbers as an abbreviation of the term ’generalized Mersenne numbers’ and they are denoted by G M ( k , n ) . This name was inspired by the term Gibonacci numbers, a shortened form of generalized Fibonacci numbers, first used in [15], as well as ‘Geonardo numbers’, which was used in [16] to designate a generalization of the Leonardo numbers.
For a non-negative integer n, consider the Horadam sequence { h n } n 0 , which is defined by the second-order recurrence relation:
h n = p h n 1 + q h n 2 for all n 2 ,
where p and q are fixed integers, and the initial conditions are h 0 = a and h 1 = b . This sequence was introduced by Horadam [17,18] and generalizes several well-known sequences that are ruled by a characteristic equation of the form x 2 p x q = 0 . For a more detailed discussion and further results on the Horadam sequence, see [18,19], as the authors of ref. [18] introduced and studied what is now referred to as the Horadam sequence, and ref. [19] notes that several other well-known sequences can also be expressed as Horadam sequences by selecting suitable initial terms and recurrence constants. In our study, we consider the class of Horadam-type sequences represented by the recurrence Equation (3), where we take p = k + 1 and q = k , for all integers k 2 . Then, for all k, a and b that are fixed constants, the Gersenne sequence is given by the recurrence relation given by Equation (1).
By looking at list (2), we can verify the following result.
Proposition 1. 
Let n denote arbitrary non-negative integers. For all n 2 , the following property holds:
G M ( k , n ) = ( k n 1 + k n 2 + + k ) ( b a ) + b
where { G M ( k , n ) } n 0 is the Gersenne sequence, with initial values G M ( k , 0 ) = a and G M ( k , 1 ) = b .
Proof is carried out by mathematical induction using the recurrence (1).
From Proposition 1, the next result follows.
Corollary 1. 
Let n denote arbitrary non-negative integers. For all n 2 , the following property holds:
G M ( k , n ) = k n 1 k 1 ( b a ) + a ,
where { G M ( k , n ) } n 0 is the Gersenne sequence, with initial values G M ( k , 0 ) = a and G M ( k , 1 ) = b .
Equation (5) can be rewritten in the form
G M ( k , n ) = ( k n 1 ) ( b a ) + ( k 1 ) a k 1 .

2.1. The Binet Formula

In this subsection, we present the characteristic equation of the Gersenne sequence and provide Binet’s formula. Additionally, we present the exponential generating function and the ordinary generating function of the Gersenne sequence.
Note that the Horadam-type characteristic equation associated with the Gersenne sequence { G M ( k , n ) } n 0 is
x 2 ( k + 1 ) x + k = 0 ,
and its real distinct roots are x 1 = k and x 2 = 1 .
The Binet formula is presented in the next result.
Proposition 2. 
 (Binet’s formula) For all non-negative integers n, we have
G M ( k , n ) = c k n + d k 1 ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , and d = k a b with k > 1 .
The proof is immediate since the characteristic equation is (6).
The special case a = 0 and b = 1 is denoted as
G M ( k , n ) = υ ( k , n ) = k n 1 k 1 .
are called the generalized k-Mersenne sequence.
Table 1 shows some examples of the generalized k-Mersenne sequence.
According to Table 1, the 2-Mersenne sequence is the classic (or ordinary) Mersenne sequence, and the 10-Mersenne sequence is the repunit sequence.
See that for any integer n > 0 , the repunit or 10-Mersenne numbers are repunits in base 10, i.e., r n = [ 11 11 n d i g i t s ] 10 . Moreover, the representation of ordinary Mersenne or 2-Mersenne numbers in base 2 is of the form M n = [ 11 11 n   d i g i t s ] 2 . A direct calculation using Equation (8) shows the result, as stated in the next proposition.
Proposition 3. 
Let n , k be a non-negative integer. For all n > 0 and k > 1 , the representation of υ ( k , n ) numbers in base k is
υ ( k , n ) = [ 11 11 n   d i g i t s ] k ,
where υ ( k , n ) is the n-th k-Mersenne number given by Equation (8).

2.2. Generating Function

Now, we present the ordinary and exponential generating functions for the Gersenne sequence { G M ( k , n ) } n 0 . Taking into account the literature, the formal summation
f ( x ) = n = 0 a n x n = a 0 + a 1 x + a 2 x 2 + a 3 x 3 + + a n x n +
is known as the ordinary generating function for the sequence { a 0 , a 1 , a 2 , } .
Our next result presents the ordinary generating function for the Gersenne sequence.
Proposition 4. 
The ordinary generating function for the Gersenne sequence { G M ( k , n ) } n 0 , denoted by G G M ( k , n ) ( x ) , is
G G M ( k , n ) ( x ) = a + b ( k + 1 ) a x 1 ( k + 1 ) x + k x 2 ,
where G M ( k , 0 ) = a and G M ( k , 1 ) = b .
Proof. 
According to Equation (9), the generating function for the Gersenne sequence is G G M ( k , n ) ( x ) = n = 0 G M ( k , n ) x n , and then, using the equations ( k + 1 ) x G G M ( k , n ) ( x ) and k x 2 G G M ( k , n ) ( x ) , we obtain
G G M ( k , n ) ( x ) = G M ( k , 0 ) + G M ( k , 1 ) x + G M ( k , 2 ) x 2 + + G M ( k , n ) x n + ( k + 1 ) x G G M ( k , n ) ( x ) = ( k + 1 ) G M ( k , 0 ) x ( k + 1 ) G M ( k , 1 ) x 2 ( k + 1 ) G M ( k , 2 ) x 3 ( k + 1 ) G M ( k , n ) x n + 1 k x 2 G G M ( k , n ) ( x ) = k G M ( k , 0 ) x 2 + G M ( k , 1 ) x 3 + G M ( k , 2 ) x 4 + + k G M ( k , n ) x n + 2 +
When we add to both sides of these equations and use Equation (1), we obtain the result. □
The exponential generating function, designated as E a n ( x ) of a sequence { a n } n 0 , is a power series of the form
E a n ( x ) = a 0 + a 1 x + a 2 x 2 2 ! + + a n x n n ! + = n = 0 a n x n n ! .
In the next result, we consider the Binet Equation (7), and obtain the exponential generating function for the Gersenne sequence { G M ( k , n ) } n 0 .
Proposition 5. 
For all n 0 , the exponential generating function for the Gersenne sequence { G M ( k , n ) } n 0 is
E G M ( k , n ) ( x ) = 1 k 1 ( c e k x + d e x ) ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , and d = k a b with k > 1 .
The proof is immediate by Binet’s formula.
The Poisson generating function P a n ( x ) for a sequence { a n } n 0 is given by
P a n ( x ) = n = 0 a n x n n ! e x = e x E a n ( x ) ,
where E a n ( x ) is the exponential generating function of the sequence { a n } n 0 . Consequently, the corresponding Poisson generating function is derived.
Corollary 2. 
For all n > 0 , the Poisson generating function for the Gersenne sequence { G M ( k , n ) } n 0 is
P G M ( k , n ) ( x ) = 1 k 1 ( c e ( k 1 ) x + d ) .

3. Some Identities for Gersenne Numbers

In this section, we establish some identities for the generalized Gersenne, some of which are classical identities, for example, the Tagiuri–Vajda, Catalan, Cassini, d’Ocagnes and Gelin–Cesàro identities.
The first result shows the addition and difference between two terms of the Gersenne sequence, and it is a direct consequence of Equation (7).
Proposition 6. 
Let { G M ( k , n ) } n 0 be the Gersenne sequence. For all non-negative integers m and n with m n , the following identities are verified:
( 1 ) G M ( k , m ) + G M ( k , n ) = c k n υ ( k , m n ) + 2 c k n k 1 ,
( 2 ) G M ( k , m ) G M ( k , n ) = c k n υ ( k , m n ) ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , n ) } n 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
The next result establishes the linear combination for a product of two terms of the Gersenne sequence.
Proposition 7. 
Let { G M ( k , n ) } n 0 be the Gersenne sequence. For all non-negative integers m and n, the following identity holds:
G M ( k , m ) · G M ( k , n + 1 ) k G M ( k , m 1 ) · G M ( k , n ) = c 2 k m + n d 2 k 1 ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , and d = k a b , with k > 1 .
Proof. 
According to Binet’s Equation (7), we have
G M ( k , m ) · G M ( k , n + 1 ) k G M ( k , m 1 ) · G M ( k , n ) = c 2 · k m + n + 1 c 2 · k m + n k d 2 + d 2 ( k 1 ) 2 = c 2 · k m + n ( k 1 ) d 2 ( k 1 ) ( k 1 ) 2 = c 2 · k m + n d 2 k + 1 ,
as required. □
The following corollary follows directly from Proposition 7, considering c = 1 and d = 1 .
Corollary 3. 
Let { υ ( k , n ) } n 0 be the generalized k-Mersenne sequence given by Equation (8). For all non-negative integers m and n, we obtain the identity
υ ( k , m ) · υ n + 1 , k k υ ( k , m 1 ) · υ ( k , n ) = υ ( k , m + n ) ,
where k is an integer ( k > 1 ) .
As a direct consequence of Corollary 3, the following result is established.
Corollary 4. 
Let { υ ( k , n ) } n 0 be the generalized k-Mersenne sequence given by Equation (8). For all non-negative integers r, the following identities hold:
(1) 
υ ( k , 2 r 1 ) = ( υ ( k , r ) ) 2 k ( υ ( k , r 1 ) ) 2 .
(2) 
υ ( k , 2 r ) = ( k + 1 ) ( υ ( k , r ) ) 2 2 k υ ( k , r ) · υ ( k , r 1 ) where k is an integer ( k > 1 ) .
Using the same technique employed in Proposition 7, we omit the proof of the next result in the interest of brevity.
Proposition 8. 
Let { G M ( k , n ) } n 0 be the Gersenne sequence. For all non-negative integers m , n , if m n , then
G M ( k , m + 1 ) · G M ( k , n ) G M ( k , m ) · G M ( k , n + 1 ) = c d · k n υ ( k , m n ) ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
The Tagiuri–Vajda identity for the Gersenne sequence is given below.
Theorem 1. 
Let { G M ( k , m ) } m 0 be the Gersenne sequence, and m , k , r , s non-negative integers. The following identity holds:
G M ( k , m + r ) · G M ( k , m + s ) G M ( k , m ) · G M ( k , m + r + s ) = c d k m · υ ( k , r ) · υ ( k , s ) ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
According to Binet’s Equation (7), we have
G M ( k , m + r ) · G M ( k , m + s ) G M ( k , m ) · G M ( k , m + r + s ) = c · k m + r + d k 1 · c · k m + s + d k 1 c · k m + d k 1 · c · k m + r + s + d k 1 = c d k m · k r 1 k 1 · k s 1 k 1
and we have the validity of the result. □
The following identities will be derived as a consequence of the Tagiuri–Vajda identity, as demonstrated in Theorem 1.
Proposition 9. 
(d’Ocagne’s identity) Let { G M ( k , m ) } m 0 be the Gersenne sequence and m , n be non-negative integers with m n . Then, the following identity holds:
G M ( k , m + 1 ) · G M ( k , n ) G M ( k , m ) · G M ( k , n + 1 ) = c d · k n · υ ( k , m n ) ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
Take m = n , r = m n and s = 1 in Theorem 1, so
G M ( k , n + 1 ) · G M ( k , m ) G M ( k , m + 1 ) · G M ( k , n ) = c d · k n υ m n , k · υ 1 , k .
Since υ ( 1 , k ) = 1 , we obtain the result. □
Similar to Proposition 9, we have the Catalan identity.
Proposition 10. 
(Catalan’s identity) Let { G M ( k , n ) } n 0 denote the Gersenene sequence, and let n and r be non-negative integers such that n r . Under these conditions, the following identity holds:
G M ( k , n + r ) · G M ( k , n r ) ( G M ( k , n ) ) 2 = c d · k n r · ( υ ( k , r ) ) 2 ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
In Theorem 1, taking r = s and m + r = n , we obtain
G M ( k , n + r ) · G M ( k , n r ) ( G M ( k , n ) ) 2 = c d · k n r · ( υ ( k , r ) ) 2 .
Thus, the result is obtained. □
Applying the Catalan identity yields the following result.
Corollary 5. 
Let { G M ( k , m ) } m 0 represent the Gersenene sequence. For any non-negative integers m, the following identity is satisfied:
G M ( k , m + 2 ) · G M ( k , m 2 ) = ( G M ( k , m ) ) 2 + c d k m 2 ( υ k , 2 ) 2 ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Other consequences from the Catalan identity are as follows:
Corollary 6.  
(Cassini’s identity) Let { G M ( k , m ) } m 0 represent the Gersenene sequence. The following identity is satisfied for all integers m 1
G M ( k , m + 1 ) · G M ( k , m 1 ) ( G M ( k , m ) ) 2 = c d · k m 1 ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , and d = k a b , with k > 1 .
The next result, which is one of the main results of this paper, gives a formula for calculating the multiplication of four consecutive elements of the Gersenne sequence, which generalizes the Gelin–Cesàro identity.
Theorem 2. 
Let { G M ( k , m ) } m 0 denote the Gersenne sequence. The following identity holds for all non-negative integers m > r :
G M ( k , m ( r + 1 ) ) · G M ( k , m r ) · G M ( k , m + r ) · G M ( k , m + ( r + 1 ) ) = ( G M ( k , m ) ) 4 c d · k m ( r + 1 ) ( G M ( k , m ) ) 2 ( υ ( k , r + 1 ) ) 2 + k ( υ ( k , r ) ) 2 + c d · k 2 ( m r ) 1 ( υ ( k , r + 1 ) · υ ( k , r ) ) 2 ) ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
By substituting n = r + 1 into Equation (10), we obtain the following:
G M ( k , m ( r + 1 ) ) · G M ( k , m + ( r + 1 ) ) = ( G M ( k , m ) ) 2 + c d k m ( r + 1 ) ( υ ( k , r + 1 ) ) 2
By multiplying Equations (10) and (11), we obtain
G M ( k , m ( r + 1 ) ) · G M ( k , m r ) · G M ( k , m + r ) · G M ( k , m + ( r + 1 ) ) = ( G M ( k , m ) ) 4 c d · k m ( r + 1 ) ( G M ( k , m ) ) 2 ( υ ( k , r + 1 ) ) 2 + k ( υ ( k , r ) ) 2 + c d · k 2 ( m r ) 1 ( υ ( k , r + 1 ) · υ ( k , r ) ) 2 ) ,
which completes the proof. □
By virtue of Theorem 2, and taking r = 1 , we have the following corollary.
Corollary 7.  
(Gelin-Cesàro’s identity) Let m be any natural number and { G M ( k , m ) } m 0 denote the Gersenne sequence. Then, the identity holds
G M ( k , m 2 ) · G M ( k , m 1 ) · G M ( k , m + 1 ) · G M ( k , m + 2 ) ( G M ( k , m ) ) 4 = ( c d ) 2 k 2 m 3 ( υ k , 2 ) 2 + c d · k m 2 ( k + 1 ) 2 + k ( G M ( k , m ) ) 2 ,
where G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
In the first example, we specify the last identity for the repunit sequence.
Example 1. 
Considering the repunit sequence { r n } n 0 specified when we take k = 10 , M 0 = 0 and M 1 = 1 (see Table 1), c = 1 and d = 1 , and we have that the Gelin–Cesàro identity for the repunit sequence
r m 2 r m 1 r m + 1 r m + 2 ( r m ) 4 = 10 2 m 3 · 121 131 · 10 m 2 ( r m ) 2 ,
according to Proposition 3.6 in [20].
In the following example, we also illustrate the Gelin–Cesàro’s identity for the One-Zero sequence.
Example 2. 
Considering the One-Zero sequence { U n } n 0 specified when we take p = 10 2 , U 0 = 0 and U 1 = 1 , c = 1 and d = 1 , and we have that
U m 2 U m 1 U m + 1 U m + 2 ( U m ) 4 = 10 2 ( 2 m 3 ) · 10201 10301 · 10 2 ( m 2 ) ( U m ) 2 ,
according to Proposition 3.1 in [21].
In concluding this section, we present a restricted result to the generalized k-Mersenne sequence. This result shows the difference between an even order and any n-th term.
Proposition 11. 
Let n be any non-negative integer. We have
υ ( k , 2 n ) 2 υ ( k , n ) = ( k 1 ) ( υ ( k , n ) ) 2 ,
where { υ ( k , n ) } n is a k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
A straightforward calculation, and making use of Equation (8), shows that
υ ( k , 2 n ) = k 2 n 1 k 1 = ( k n 1 ) ( k n + 1 ) k 1 = ( k n 1 ) [ ( k n 1 ) + 2 ] k 1 = ( k n 1 ) ( k n 1 ) k 1 + 2 k n 1 k 1 = ( k 1 ) υ ( k , n ) 2 + 2 υ ( k , n ) ,
which proves the result. □
The above result generalizes Proposition 1 given in [22].

4. Sum of Terms Involving the Gersenne Sequence

In this section, we present results on partial sums of terms of the Gersenne numbers with n integers. In general, the partial sums k = 0 n h k = h 0 + h 1 + + h n , for n 0 , where { h n } n 0 is the Horadam sequence, can be obtained by applying Equations (3.5), (3.12) and (3.13) in [18], or the fundamental summation rule (Equation (33)) in [23], when p q 1 , which we have not applied here.
So, we consider the sequence of partial sums
i = 0 n G M ( k , i ) = G M ( k , 0 ) + G M ( k , 1 ) + G M ( k , 2 ) + + G M ( k , n ) ,
for n 0 , where { G M ( k , n ) } n 1 is the Gersenne sequence.
Proposition 12. 
Let  { G M ( k , n ) } n 1  be the Gersenne sequence; then, we have the following formulas:
(a) 
i = 0 n G M ( k , i ) = c · υ n + 1 , k + d ( n + 1 ) k 1 ;
(b) 
i = 0 n G M ( k , 2 i ) = c ( k n + 1 + 1 ) υ n + 1 , k k 2 1 + d ( n + 1 ) k 1 ;
(c) 
i = 0 n G M ( k , 2 i + 1 ) = c ( k n + 2 + k ) υ n + 1 , k k 2 1 + d ( n + 1 ) k 1 ;
(d) 
i = 0 n ( G M ( k , i ) ) 2 = c 2 ( k n + 1 + 1 ) · υ n + 1 , k k 3 k 2 k + 1 + 2 c d · υ n + 1 , k + d 2 ( n + 1 ) ( k 1 ) 2 .
In the above, G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
(a)
By Equation (7), we have
i = 0 n G M ( k , i ) = G M ( k , 0 ) + G M ( k , 1 ) + G M ( k , 2 ) + + G M ( k , n ) = c · k 0 + d k 1 + c · k 1 + d k 1 + c · k 2 + d k 1 + + c · k n + d k 1 = c · υ n + 1 + d ( n + 1 ) k 1 ,
as required.
Using the same approach as in (a), we obtain the other points. □
In order to better visualize Proposition 12, consider the following example.
Example 3. 
Considering the repunit sequence { r n } n 0 specified when we take k = 10 , r 0 = 0 and r 1 = 1 (see Table 1), c = 1 , d = 1 , the following formulas hold:
(a) 
i = 0 n r i = r n + 1 ( n + 1 ) 9 ;
(b) 
i = 0 n r 2 i = ( 10 n + 1 + 1 ) r n + 1 99 n + 1 9 ;
(c) 
i = 0 n r 2 i + 1 = ( 10 n + 2 + 10 ) r n + 1 99 n + 1 9 ;
(d) 
i = 0 n ( r i ) 2 = ( 10 n + 1 + 1 ) r n + 1 891 2 r n + 1 ( n + 1 ) 81 .
In the above example, the items (a), (b) and (c) are direct consequences of Proposition 6.1, as presented in [20], while item (d) follows from Proposition 12.
To illustrate the previous result, we present in the next example the particular case for k = 4 .
Example 4. 
Considering the Gersenne sequence, specified when we take k = 4 , G M ( 4 , 0 ) = 0 and G M ( 4 , 1 ) = 1 (see Table 1), c = 1 and d = 1 , and G M ( 4 , n ) = 4 n 1 3 ; therefore, the following formulas hold:
(a) 
i = 0 n G M ( 4 , i ) = G M ( 4 , n + 1 ) ( n + 1 ) 3 ;
(b) 
i = 0 n G M ( 4 , 2 i ) = ( 2 2 ( n + 1 ) + 1 ) G M ( 4 , n + 1 ) 15 n + 1 3 ;
(c) 
i = 0 n G M ( 4 , 2 i + 1 ) = ( 2 2 ( n + 2 ) + 10 ) G M ( 4 , n + 1 ) 15 n + 1 3 ;
(d) 
i = 0 n ( G M ( 4 , i ) ) 2 = ( 2 2 ( n + 1 ) + 1 ) G M ( 4 , n + 1 ) 45 2 G M ( 4 , n + 1 ) ( n + 1 ) 9 .
Consider now the sequence of alternating partial sums given by
i = 0 n ( 1 ) i G M ( k , i ) = G M ( k , 0 ) G M ( k , 1 ) + G M ( k , 2 ) G M ( k , 3 ) + + ( 1 ) n G M ( k , n )
for n 0 , where { G M ( k , n ) } n 0 denotes the Gersenne sequence.
Proposition 13. 
Let { G M ( k , n ) } n 0 be the Gersenne sequence, and n be a non-negative integer. Hence, the following hold:
(a) 
i = 0 n ( 1 ) i G M ( k , i ) = c ( k n + 1 + 1 ) υ n + 1 , k k + 1 , if n is odd;
(b) 
i = 0 n ( 1 ) i G M ( k , i ) = c k n + 2 ( υ n + 2 , k υ n + 1 , k ) ( k υ n + 1 , k υ n + 2 , k ) k 2 1 , if n is even.
In the above, G M ( k , 0 ) = a , G M ( k , 1 ) = b , c = b a , d = k a b , and { υ ( k , m ) } m 0 is the generalized k-Mersenne sequence given by Equation (8), with k > 1 .
Proof. 
(a)
First, suppose that n is an odd natural number, or equivalently, the last term is negative; thus,
i = 0 2 n + 1 ( 1 ) i G M ( k , i ) = G M ( k , 0 ) G M ( k , 1 ) + G M ( k , 2 ) G M ( k , 3 ) + + G M ( 2 n , k ) G M ( k , 2 n + 1 ) = ( G M ( k , 0 ) + G M ( k , 2 ) + + G M ( 2 n , k ) ) ( G M ( k , 1 ) + G M ( k , 3 ) + + G M ( k , 2 n + 1 ) ) = i = 0 n G M ( 2 i , k ) i = 0 n G M ( k , 2 i + 1 ) .
According to items (b) and (c) in Proposition 12, it follows that
i = 0 2 n + 1 ( 1 ) i G M ( k , i ) = c ( k n + 1 + 1 ) υ n + 1 , k k + 1 .
(b)
The proof follows a similar approach to the one used in item (a).

5. Final Considerations

This study presents an innovative approach to the generalized Mersenne number, so that this generalization is essentially analogous to the generalized Horadam sequence for a second-order recurrence with p q = 1 . Motivated by some previous work on Mersenne numbers, we generalize the Mersenne numbers by allowing for arbitrary initial values and a second-order linear recurrence that depends on a positive parameter k, thereby introducing a new family of Gersenne numbers. We explore their algebraic properties and derive several well-known identities, using explicit formulas.

Author Contributions

D.C.S., E.A.C. and P.M.M.C.C. contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

The second author expresses their sincere gratitude to the Federal University of Tocantins (Arraias—Brazil) for their valuable support. The last author is a member of the Research Centre CMAT-UTAD (Polo of Research Centre CMAT—Centre of Mathematics of University of Minho) and she thanks the Portuguese Funds through FCT—Fundação para a Ciência e a Tecnologia, within the Project UID/00013: Mathematics Centre of the University of Minho (CMAT/UM).

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors would like to thank the referees for their helpful suggestions and comments.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Sloane, N.J.A. The On-Line Encyclopedia of Integer Sequences. The OEIS Foundation Inc. 2025. Available online: https://oeis.org (accessed on 7 February 2025).
  2. Deza, E. Mersenne Numbers and Fermat Numbers; World Scientific: Singapore, 2021; Volume 1. [Google Scholar]
  3. Hall, J.S. A Remark on the Primeness of Mersenne Numbers. J. Lond. Math. Soc. 1953, 1, 285–287. [Google Scholar] [CrossRef]
  4. Delello, B.A. Perfect Numbers and Mersenne Primes. Ph.D. Thesis, University of Central Florida, Orlando, FL, USA, 1986. [Google Scholar]
  5. Gomes, A.J.; Costa, E.A.; Santos, R.A. Números perfeitos e primos de mersenne. Rev. Olimp. IME 2008, 7, 99–111. [Google Scholar]
  6. Aggarwal, D.; Joux, A.; Prakash, A.; Santha, M. A new public-key cryptosystem via Mersenne numbers. In Proceedings of the Advances in Cryptology–CRYPTO 2018: 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, 19–23 August 2018; Proceedings, Part III 38. Springer International Publishing: Berlin/Heidelberg, Germany, 2018; pp. 459–482. [Google Scholar]
  7. Padmaja, C.J.; Bhagavan, V.S.; Srinivas, B. RSA encryption using three Mersenne primes. Int. J. Chem. Sci. 2016, 14, 2273–2278. [Google Scholar]
  8. Ochalik, P.; Włoch, A. On generalized Mersenne numbers, their interpretations and matrix generators. Ann. Univ. Mariae Curie Skłodowska Sect. A Math. 2018, 72, 69–76. [Google Scholar] [CrossRef]
  9. Catarino, P.; Campos, H.; Vasco, P. On the Mersenne sequence. Math. Informaticae 2016, 46, 37–53. [Google Scholar]
  10. Chelgham, M.; Boussayoud, A. On the k-Mersenne-Lucas numbers. Notes Number Theory Discret. Math. 2021, 27, 7–13. [Google Scholar] [CrossRef]
  11. Mangueira, M.C.S.; Vieira, R.P.M.; Alves, F.R.V.; Catarino, P.M.M.C. As generalizações das formas matriciais e dos quatérnios da sequência de Mersenne. Rev. Matemática UFOP 2021, 1, 1–17. [Google Scholar]
  12. Soykan, Y. A study on generalized Mersenne numbers. J. Progress. Res. Math. 2021, 18, 90–112. [Google Scholar]
  13. Kumari, M.; Pasad, K.; Tanti, J. Generalization of Gaussian Mersenne numbers and their new families. Bull. Transilv. Univ. Bras. 2025, 1, 147–160. [Google Scholar] [CrossRef]
  14. Kumari, M.; Tanti, J.; Prasad, K. On some new families of k-Mersenne and generalized k-Gaussian Mersenne numbers and their polynomials. Contrib. Discret. Math. 2023, 18, 244–260. [Google Scholar] [CrossRef]
  15. Benjamin, A.T.; Quinn, J.J. Proofs That Really Count: The Art of Combinatorial Proof MAA; American Mathematical Society: Washington, DC, USA, 2003. [Google Scholar]
  16. Beites, P.; França, P.; Moreira, C. Uma fórmula de tipo Binet para os números de Geonardo. Gaz. Mat. 2023, 201, 20–23. [Google Scholar]
  17. Horadam, A.F. A generalized Fibonacci sequence. Am. Math. Mon. 1961, 68, 455–459. [Google Scholar] [CrossRef]
  18. Horadam, A.F. Basic properties of a certain generalized sequence of numbers. Fibonacci Q. 1965, 3, 161–176. [Google Scholar] [CrossRef]
  19. Kalman, D.; Mena, R. The Fibonacci numbers—Exposed. Math. Mag. 2003, 76, 167–181. [Google Scholar]
  20. Santos, D.C.; Costa, E.A. A note on Repunit number sequence. Intermaths 2024, 5, 54–66. [Google Scholar] [CrossRef]
  21. Costa, E.A.; Costa, G.A.; Catarino, P.M.M.C. One-Zero numbers: A new Horadam-type sequence. Intermaths 2024, 5, 80–92. [Google Scholar] [CrossRef]
  22. Costa, E.A.; Catarino, P.M.; Vasco, P.J.; Alves, F.R. A Brief Study on the k-Dimensional Repunit Sequence. Axioms 2025, 14, 109. [Google Scholar] [CrossRef]
  23. Kristyan, S. Lucas sequences and Fibonacci numbers related equations. Part I: Differential equations and sums. AIP Conf. Proc. 2022, 2425, 420003. [Google Scholar] [CrossRef]
Table 1. Some generalized k-Mersenne sequence.
Table 1. Some generalized k-Mersenne sequence.
kSequenceNameID Catalog
2 0 , 1 , 3 , 7 , 15 , 31 , 63 , 127 , 255 , MersenneA000225 [1]
3 0 , 1 , 4 , 13 , 40 , 121 , 364 , 1093 , 3280 , 3-MersenneA003462 [1]
4 0 , 1 , 5 , 21 , 85 , 341 , 1365 , 5461 , 4-MersenneA002450 [1]
5 0 , 1 , 6 , 31 , 156 , 781 , 3906 , 19,531, …5-MersenneA001047 [1]
6 0 , 1 , 7 , 43 , 259 , 1555 , 9331 , 55,987, …6-MersenneA003464 [1]
7 0 , 1 , 8 , 57 , 400 , 2801 , 19,608, 137,257,…7-MersenneA023000 [1]
8 0 , 1 , 9 , 73 , 585 , 4681 , 37,449, …8-MersenneA023001 [1]
9 0 , 1 , 10 , 91 , 820 , 7381 , 66,430, …9-MersenneA002452 [1]
10 0 , 1 , 11 , 111 , 1111 , 1111 , 11,111, …repunitA002275 [1]
11 0 , 1 , 12 , 133 , 1464 , 16,105, 177,156, …11-MersenneA016123 [1]
k 0 , 1 , k + 1 , k 2 + k + 1 , k 3 + k 2 + k + 1 , k-Mersenne
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Santos, D.C.; Costa, E.A.; Catarino, P.M.M.C. On Gersenne Sequence: A Study of One Family in the Horadam-Type Sequence. Axioms 2025, 14, 203. https://doi.org/10.3390/axioms14030203

AMA Style

Santos DC, Costa EA, Catarino PMMC. On Gersenne Sequence: A Study of One Family in the Horadam-Type Sequence. Axioms. 2025; 14(3):203. https://doi.org/10.3390/axioms14030203

Chicago/Turabian Style

Santos, Douglas Catulio, Eudes Antonio Costa, and Paula M. M. C. Catarino. 2025. "On Gersenne Sequence: A Study of One Family in the Horadam-Type Sequence" Axioms 14, no. 3: 203. https://doi.org/10.3390/axioms14030203

APA Style

Santos, D. C., Costa, E. A., & Catarino, P. M. M. C. (2025). On Gersenne Sequence: A Study of One Family in the Horadam-Type Sequence. Axioms, 14(3), 203. https://doi.org/10.3390/axioms14030203

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop