Abstract
Mersenne primes, renowned for their captivating form as have intrigued mathematicians for centuries. In this paper, we embark on a captivating quest to unveil the intricate nature of Mersenne primes, seamlessly integrating methods with the Eight Levels Theorem. Initially, we extend the Eight Levels Theorem and introduce an innovative approach that harmoniously combines arithmetic and differential techniques to compute the coefficients of the polynomial expansions of in terms of binary quadratic forms. This endeavor leads us to the genesis of novel polynomial sequences as we scrutinize the coefficients within this expansion. Our research unearths previously uncharted connections between Mersenne numbers and the derivatives of specific polynomial sequences. By forging this linkage, we not only enhance our understanding of Mersenne primes but also bridge the divide between well-established sequences in number theory and differential equations. This broadens the applicability of our findings across diverse scientific domains, revealing fresh avenues for exploration in number theory and beyond. These polynomial bridges serve as conduits between these sequences, unveiling exciting prospects for future research. This interdisciplinary exploration opens up exciting possibilities for the broader implications of Mersenne primes, extending their significance beyond the realm of pure mathematics. In our paper, we also delve into the intriguing influence of the Golden Ratio constant, which unveils segments reminiscent of the beauty found in nature, adding an unexpected dimension to the world of arithmetic. In this harmonious journey, the allure of Mersenne primes resonates through the symphony of mathematical discovery.
1. Introduction
Recent investigations in the domains of biology and experimental psychology offer compelling evidence that prime numbers possess inherent natural traits, existing autonomously apart from human perception (Loconsole and Regolin, Citation2022). Moreover, the recent uncovering of planetary sequences resembling a Fibonacci-like prime pattern indicates a profound connection, underscoring a direct correlation between prime numbers and the celestial arrangement, potentially revealing fundamental principles governing the structure of the cosmos (He, Yang, He, & Alsolami, Citation2023). Our current paper delves into the realm of Mersenne primes, a captivating subset within primes. Before exploring the new results of our study, let’s establish definitions for Mersenne primes and Mersenne composites and Lucas-Lehmer Primality test.
1.1. Mersenne primes
A Mersenne prime is a prime number that can be expressed in the form where p is also a prime number. In other words, a Mersenne prime is a prime of the form where both and p are prime numbers.
1.2. Mersenne composites
Conversely, a Mersenne composite number is a number of the form where p is a prime number, but itself is not a prime number.
1.3. Lucas-Lehmer primality test
The tantalizing question of whether there exists an infinite number of Mersenne primes remains an enigma in mathematics. The finite or infinite status of the known Mersenne primes continues to elude us, representing an ongoing field of active investigation (as cited in [Cai, Citation2022; Fine, Moldenhauer, Rosenberger, Schürenberg, & Wienke, Citation2023; Ibrahim, Citation2023; Gallier, Citation2011; GIMPS, Citation2016; Kundu & Mazumder, Citation2022]). Mersenne primes boast distinctive attributes that render them indispensable in certain computational applications, particularly in the realms of cryptography and computing. Notably, they are amenable to primality testing via the Lucas-Lehmer primality test. This simplifies the search for large prime numbers, critical elements in secure cryptographic systems. The Lucas-Lehmer primality test, tailored explicitly for Mersenne numbers, provides a rapid and efficient means of ascertaining the primality or compositeness of a given Mersenne number. The following theorem is well-established in the literature (as referenced in [Deza, Citation2021; Gallier, Citation2011; Kraft & Washington, Citation2018]):
Theorem 1.
(Lucas-Lehmer primality test)
is Mersenne prime if and only if (1) (1) where
For a natural number n, we define with denoting the highest integer less than or equal to
1.4. Motivation–Mersenne primes–An integrated study with the eight levels theorem
Using the Eight Level theorem, as presented in (Ibrahim, Citation2023), for any prime number and defining n as we have established that the number is a Mersenne prime if and only if it evenly divides the following expression, which is an expansion of the product of differences of squares: (2) (2)
To delve into the arithmetic properties of the sum Equation(2)(2) (2) , it is imperative to broaden our perspective beyond these numbers and work with the polynomial that generates them. For any natural number n satisfying the condition we introduce the following polynomial: (3) (3)
This paper extends the definition of to encompass all natural numbers n, irrespective of their divisibility by 8. For any given variables a and b, as well as any natural number n, we establish and prove that the sequences () satisfy the following recurrence relations: (4) (4)
To gain insights into the arithmetic of the sum Equation(2)(2) (2) , it is essential to comprehend the numbers This motivation drives us to generalize the Eight Levels Theorem as well. Remarkably, these generalizations have uncovered numerous new results for well-known sequences and polynomials, leading to new expansions for expressed in terms of binary quadratic forms.
2. New results
In this paper, we present and prove several novel findings, organized as follows:
Generalization of the Eight Levels Theorem: We introduce a generalized version of the Eight Levels theorem, extending its applicability and insights.
Emergence of a New Class of Polynomials: We explore the emergence of a new class of polynomials, shedding light on their properties and applications.
Development of a New Version for the Lucas-Lehmer Primality Test: We propose an enhanced version of the Lucas-Lehmer Primality Test, improving its efficiency.
New Insights into Mersenne Primes: We present new results concerning Mersenne primes, integrating them with the Eight Levels theorem for a comprehensive study.
New Findings on Mersenne Composites: We discuss our discoveries related to Mersenne composites, offering fresh perspectives on their characteristics.
New Differential Operators and Polynomials: We introduce novel differential operators and polynomials, unveiling their mathematical significance.
New Combinatorial Identities: We present a series of new combinatorial identities.
New Expansions for Sums of Like Powers: We provide a special case of the Generalized Eight Levels theorem, showcasing new expansions for sums of like powers.
We conclude this section by opening the door to further potential investigations, particularly in the context of the Lucas-Lehmer primality test, and by offering a fresh theoretical understanding of Mersenne primes.
3. The purpose of the current paper
The Eight Levels Theorem, as referenced in (Ibrahim, Citation2023), serves as a fundamental cornerstone of our research, enabling us to demonstrate that the expansion Equation(2)(2) (2) is divisible by if and only if is a Mersenne prime. The complete proof of the Eight Levels Theorem for this assertion hinges on the exploration of the expansion: (5) (5)
Consequently, in order to delve deeply into the arithmetic properties of (EquationEquation (2)(2) (2) ) and broaden the applicability of this result, we find ourselves at a pivotal juncture: the need to extend the scope of the Eight Levels Theorem. This paper undertakes the mission of exploring the generalization of the Eight Levels Theorem and its implications for our research domain. This step not only amplifies the reach of our results but also sets the stage for further advancements in our field. The generalization of the Eight Levels theorem involves the exploration of the expansion: (6) (6)
3.1. Generalization for the eight levels theorem
In this paper, we present a novel approach to generalize (84) by seamlessly blending arithmetic and differential methods to calculate the coefficients of the polynomial expansions of in terms of binary quadratic forms and where For the polynomials we introduce the following groundbreaking polynomial expansion for any given variables and natural number n: (7) (7)
These generalizations not only facilitate the exploration of the arithmetic properties of Equation(2)(2) (2) but also, intriguingly, unveil a new category of polynomials with unexpected and captivating arithmetic and differential characteristics. Moreover, they establish a unifying framework for various well-known polynomials and sequences in number theory.
3.2. Exploring the emergence of a new class of polynomials
The polynomial coefficients, of the expansion Equation(7)(7) (7) , expressed as (8) (8) possess remarkable and unexpected arithmetic differential properties. These polynomials act as bridges between several well-known sequences, including Fermat sequences, Chebyshev and Dickson polynomials, Fibonacci sequences, and many others. This discovery has led to the creation of a new and interconnected map of mathematical structures with surprising and intriguing properties. Through the lens of this newfound class of polynomials, formerly isolated sequences are now connected, forming a magnificent network that unites previously disjoint elements. This unexpected unity erases the gaps between sequences, revealing hidden relationships, and deepening our understanding of the world of sequences. Due to these characteristics, we find it necessary to assign them a symbol. Herein, we introduce the symbol
Definition 3.1.
For given variables a and b, and a natural number n, we define the new class of polynomials as: (9) (9)
In this paper, we present three distinct approaches to compute the polynomials Additionally, we provide explicit formulas for these polynomials, showcasing their unique properties and applications in the field of arithmetic differential equations. We also prove the following unexpected result:
For any numbers a, b, where and any natural number n, we have (10) (10)
To help the readers get a quick feeling about this result, we proved that for any natural number n: (11) (11)
In my quest to understand and explore the fascinating landscape of mathematics that governs Mersenne numbers, see (Ibrahim, Citation2023), I had the privilege of stumbling upon a truly extraordinary revelation - Any Mersenne prime must factor (12) (12) for some natural number n. Replacing Equation(4)(4) (4) by Equation(3)(3) (3) , we surprisingly get (13) (13) where represents the Lucas numbers defined by the recurrence relation and
It is possible that it is conspicuous for some readers that the following new result (14) (14) is true for any natural number n. However, it is not conspicuous at all that our new result (15) (15) is true for any natural number n, where represents the Fibonacci numbers defined by the recurrence relation and These examples show natural connections of with almost all of the known sequences in number theory. Actually, we show at the end of the paper, see Section 15, that these polynomial coefficients gives natural unification for the Chebyshev polynomials of the first and second kind, Dickson polynomials of the first and second kind, Lucas numbers, Fibonacci numbers, Fermat numbers, Pell-Lucas polynomials, Pell numbers, Mersenne numbers, Fermat numbers, and others
3.3. Developing new version for Lucas-Lehmer primality test
We apply our generalized Eight Levels theorem to develop a new Lucas-Lehmer primality test for Mersenne primes and elaborate on essential criteria for detecting Mersenne composites.
3.4. New results for Mersenne primes an integrated study with the eight levels theorem
Theorem 2.
For any prime with is a Mersenne prime if and only if is divisible by
Theorem 3.
For a given prime and is a Mersenne prime if and only if, for any natural number the following congruence holds: (16) (16)
Based on the Eight Level Theorem, see (Ibrahim, Citation2023), we establish the following significant results:
Theorem 4.
(Enhanced Lucas-Lehmer Primality Test) For a given prime and is a Mersenne prime if and only if, for any natural number the following congruence holds: (17) (17)
Theorem 5.
(Necessary Condition for Mersenne Primes) For a given prime and if is a Mersenne prime, then the following congruence must hold: (18) (18)
3.5. New results for Mersenne composites
In this paper, we extend the definition of to encompass any natural number n. This expansion allows us to prove the following theorem concerning Mersenne composite numbers.
Theorem 6.
Given a prime p and if the following condition is met: (19) (19) then is a Mersenne composite number.
3.6 New differential operators and polynomials
In the upcoming sections, we embark on an intriguing journey where distinct differential operators converge with polynomials. What unfolds are compelling connections that extend to well-known sequences, including the Chebyshev polynomial of the first kind, Dickson polynomial of the first kind, Lucas, Fibonacci, Fermat numbers, Mersenne numbers, the Golden Ratio, and beyond. These discoveries shed illuminating insights on the intricate interplay between mathematical constructs and classical sequences, offering fresh perspectives on their relationships.
Theorem 7.
For any natural number l is a natural number greater than 3, we get: (20) (20) (21) (21) (22) (22) (23) (23) (24) (24) (25) (25) (26) (26) (27) (27) (28) (28) (29) (29) where represents the Lucas numbers defined by the recurrence relation and and is the Dickson polynomial of the first kind: and is the Chebyshev polynomial of the first kind:
Moreover, if l is even, refers to the Golden Ratio, (Cai, Citation2022), then (30) (30)
3.7. New combinatorial identities
We are excited to introduce a set of novel combinatorial identities. To illustrate, consider the following identity, particularly when dealing with natural numbers where and (31) (31)
3.8. New expansions for sums of like powers–special case of the generalized eight levels theorem
We introduce the following notation: (32) (32)
In this paper, we present and provide a proof for the following expansion formula for sums of like powers:
Theorem 8.
(Special Case of the Generalized Eight Levels Theorem)
The following polynomial expansion is true (33) (33)
4. Generalization for the eight levels theorem and emergence of a new class of polynomials
In (Mostafa, Citation2004), on page 430, I introduced the definition for polynomials as follows:
Definition 4.1.
For any given variables a and b, and for any natural number n, we define the sequences by the following recurrence relations: (34) (34)
4.1. History and future of polynomials
The first few -Polynomials are
The first step toward generalizing the Eight Levels theorem involves the consideration of the sequence In this paper, we observe that the polynomials generalize the numbers for any natural number n. Back in 2004, as documented in (Mostafa, Citation2004), the polynomial was initially discovered, although in a different context. When we set out to explore the properties of the sum Equation(2)(2) (2) , the sequence naturally resurfaced. Our main objective in this paper is to investigate the theoretical properties of the polynomial with a specific focus on understanding the special case To our surprise, as we delved into this generalization, we stumbled upon its unexpected role as a bridge connecting various well-established sequences. Furthermore, this generalization plays a pivotal role in unveiling the differential properties inherent in the polynomial sequences By establishing these connections, we not only deepen our understanding of Mersenne primes but also bridge the gap between established sequences in number theory and differential equations. These polynomial sequences, denoted as possess noteworthy arithmetic and differential properties, effectively unifying various established polynomial sequences. These polynomials exhibit inherent arithmetic and differential characteristics, consolidating several well-known polynomial families. One of the approaches for calculating the -sequence, detailed in (Mostafa, Citation2004), is through the following explicit formula: (35) (35)
In (Mostafa, Citation2004), page 447, using the formal derivation, we proved the following identity: (36) (36)
From EquationEquations (35)(35) (35) and Equation(36)(36) (36) , we get the proof of the following explicit formula:
Theorem 9.
For any natural number n, the following formula is true: (37) (37)
4.2. Generalization of the eight level theorem
Theorem 10
(Generalization of the Eight Level Theorem)
For any natural number n, and any real numbers there exist unique polynomials in with integer coefficients, that we call that depend only on and r, and satisfy the following polynomial expansion: (38) (38)
Moreover, we have the following: (39) (39) (40) (40)
Proof.
From EquationEquation (36)(36) (36) , and noting that (41) (41) we get the proof of the existence of the polynomials with integer coefficients. The uniqueness of the coefficients come from the fact that and are algebraically independent for Put then It follows that (42) (42)
From Eqautions Equation(42)(42) (42) and Equation(35)(35) (35) we get Eqaution Equation(39)(39) (39) . Now put then Hence (43) (43)
From Eqautions Equation(43)(43) (43) and Equation(35)(35) (35) we get Eqaution Equation(40)(40) (40) . This completes the proof.□
4.3. The first fundamental theorem of -sequence
Theorem 11.
(The first fundamental theorem of -sequence)
For the polynomials satisfy (44) (44)
Proof.
We differentiate (Equation [Equation36(33) (33) ]) with respect to the particular differential operator
Noting that (45) (45) we get (46) (46)
Consequently, from Eqaution Equation(46)(46) (46) , we obtain the following desirable polynomial expansion (47) (47)
As the polynomials and are algebraically independent which means that all of the coefficients of Eqaution Equation(47)(47) (47) must vanish. This means that (48) (48)
Similarly, we differentiate Eqaution Equation(36)(36) (36) with respect to the particular differential operator
We get (49) (49)
This completes the proof.□
This result immediately gives the following desirable theorem.
Theorem 12.
For the polynomials satisfy (50) (50) and (51) (51)
5. Exploring two illustrative examples in detail
5.1. Illustrative example–1
To illustrate a simple example for Theorem (10), Theorem (12), let’s consider Simple computations yield: (52) (52)
Hence, we derive the following polynomial identity, which represents a specific instance of the primary results outlined in this paper: (53) (53)
This example not only provides an intuitive understanding of EquationEquation (7)(7) (7) but also reveals a fascinating generalization of a renowned identity in number theory. For the case when and the middle coefficient in EquationEquation (7)(7) (7) becomes zero, leading us to a special instance of a well-established identity often used in the exploration of equal sums of like powers and the derivation of new formulas for Fibonacci numbers: (54) (54)
In Volume 2, on page 650, (Dickson, Citation2005) attributes this special case to C. B. Haldeman (1905), although Proth (1878) briefly mentioned it earlier (see page 657 of [Dickson, Citation2005]).
5.2. Illustrative example–2
Take We know that
Therefore, (55) (55)
Therefore, we derive the following expansion from the Generalized Eight Levels theorem and the first fundamental theorem of the -sequence: (56) (56)
6. Exploring two explicit formulas
6.1. Explicit formula–1
Upon reviewing the expansion in EquationEquation (38)(38) (38) of the Generalized Eight Levels Theorem (10) and EquationEquation (36)(36) (36) , it becomes apparent that the subsequent formula is valid for all integer values of n: (57) (57)
6.2. Explicit formula–2
It is worth noting that the following result can be derived using the binomial theorem. We can express it as: (58) (58)
Hence, we can conclude: (59) (59)
6.2.1. The second fundamental theorem of -sequence
Now, put in EquationEquation (50)(50) (50) of Theorem (12), together with Theorem (10), we get the following immediate consequence
Theorem 13.
(The second fundamental theorem of -sequence)
For any numbers and any natural number n, we have (60) (60)
Also, it is useful to deduce the following relations. Replace each and by and respectively in Theorem (10), we get the following polynomial identity for any
Then (61) (61)
Comparing EquationEquation (61)(61) (61) with EquationEquation (10)(10) (10) , we obtain
Similarly, we can prove the following useful relations.
Theorem 14.
For any numbers we get (62) (62)
7. Representations for the -sequence
We now ready to prove the following theorem.
Theorem 15.
For any the following identities are true (63) (63)
Proof.
Define and and
From Theorem (10), we know that
As we get (64) (64)
Replace each of a, b by respectively, in Theorem (10), we obtain (65) (65)
As and noting from Theorem (14) that we immediately get the following congruence (66) (66)
Now, subtracting EquationEquations (64)(64) (64) and Equation(66)(66) (66) , we obtain (67) (67)
As the congruence EquationEquation (67)(67) (67) is true for any x, y, and as then the binary quadratic forms and are algebraically independent. This immediately leads to (68) (68)
Hence we obtained the proof of EquationEquation (63)(63) (63) . This completes the proof of Theorem (15).□
8. Specialization and lifting
The following desirable generalization is important
Theorem 16.
For any the following identities are true (69) (69)
Proof.
Without loss of generality, let We obtain the proof by replacing each in EquationEquation (63)(63) (63) of Theorem (15) by and multiplying each side by and noting from Theorem (14) that
□
Replacing by in EquationEquation (63)(63) (63) , we obtain the following desirable special cases
Theorem 17.
For any the following identities are true (70) (70)
8.1. More generalizations
Now we can generalize Theorem (15) by applying the following specific differential map on EquationEquation (63)(63) (63) , and noting that
Hence we immediately obtain the following desirable generalization
Theorem 18.
For any the following identity is true (71) (71)
Again, without loss of generality, let By replacing each in Equation(71)(71) (71) by and multiplying each side by and noting the properties of of Theorem (14) that we obtain the following generalization for Theorem (18)
Theorem 19.
For any the following identity is true (72) (72)
9. The -representation for the sum of like powers
Now, put and in EquationEquation (69)(69) (69) of Theorem (16), we obtain (73) (73)
Now, from EquationEquation (10)(10) (10) , we get (74) (74)
From EquationEquations (73)(73) (73) and Equation(74)(74) (74) , we get the following desirable representation for the sums of powers
Theorem 20.
(The representation for sums of powers) For any natural number n, the polynomial satisfy the following identity (75) (75)
10. New formulas for sum of like powers
From Theorem (20), we can readily establish that: (76) (76)
It becomes apparent that, according to the Generalized Eight Levels Theorem (10), the first and last coefficients on the right-hand side of EquationEquation (38)(38) (38) are and respectively. This observation, along with the intriguing natural symmetry, motivates us to investigate a specific special case of the Generalized Eight Levels theorem. To do so, we consider the substitution of a new set of parameters z, t, u, v:
For the sake of simplification, let’s introduce the following notation: (77) (77)
Observe that this symbol exhibits the following elementary properties:
Upon substituting into the Generalized Eight Levels theorem, we promptly arrive at the following noteworthy special case:
Theorem 21.
(Special Case of the Generalized Eight Levels Theorem)
The following polynomial expansion is true (78) (78)
Let’s consider some special cases to gain a better understanding of the result.
11. New identities for sum of like powers
For n = 2 (79) (79)
For n = 3 (80) (80)
For n = 4 (81) (81)
For n = 5 (82) (82)
Remarks.
To compute the expression (83) (83)
we need to represent
as an expansion in terms of the symmetric polynomials zt and The most direct approach to achieve this representation is to apply The Eight Levels Theorem as referenced in (Ibrahim, Citation2023) or make use of Theorems (24) and (25): (84) (84)
From EquationEquations (79)(79) (79) and Equation(80)(80) (80) we get (85) (85)
As observed, Expansion Equation(82)(82) (82) represents a specific instance and a unique case of the Expansion Equation(78)(78) (78) from Theorem (21). In 2004, (Mostafa, Citation2004), on page 446, made reference to Expansion Equation(82)(82) (82) but did not provide any proof.
Notably, (Mostafa, Citation2004) pointed out that for the following values of x, y, z, and t:
we can establish the relationship:
where d is given by:
Based on the structure of x, y, z, t, and d described above, it is impossible to eliminate the common factor 5 in order to find a solution to the equation:
in co-prime polynomials with integer coefficients and without constant common factors.
(Gawron & Ulas, Citation2016) succeeded in finding relatively prime solutions and demonstrated that, for n as a non-zero rational number, the Diophantine equation:
has a solution in co-prime polynomials:
12. Formula for the products of
First, we need to extend the definition of for any integer l. Now, for any natural numbers n, m, we need a formula for the product as a combination of and We should observe that EquationEquation (75)(75) (75) is helpful to find that formula. In EquationEquation (75)(75) (75) , put (86) (86)
Clearly (87) (87)
Consequently, from Theorems (20) and (14), we get (88) (88)
From EquationEquation (88)(88) (88) , and noting the unexpected formula (89) (89) we immediately get the proof for the following desirable theorem
Theorem 22.
(The product of -sequences)
For any natural numbers n, m, the polynomial satisfy the following identity (90) (90)
13. The eight levels theorem and formulas for
Put in the expansion Equation(69)(69) (69) , we get the following desirable expansion for polynomial sequence
Theorem 23.
For any natural number n, we have the following expansion (91) (91)
For our next step, we will substitute into EquationEquation (91)(91) (91) as per Theorem (23). With the aid of Theorem (20), we promptly obtain the following outcome:
Theorem 24.
For any complex numbers x, y, any non negative integers n, k, the coefficients of the expansion (92) (92)
Depending on the Eight Levels theorem, see (Ibrahim, Citation2023), gives 8 formulas for the polynomial sequence Now combining the the Eight Levels theorem and Theorem (23), we get the following polynomial expansion for
Theorem 25.
(Expansion for as sums of the product of difference of squares) For any complex numbers x, y, any non negative integers n, k, the coefficients of the expansion (93) (93) are integers and (94) (94) and, for each the coefficients satisfy the following statements
For
For
14. Results for Mersenne primes and Mersenne composites
Mersenne numbers with prime p form the sequence
(sequence A001348 in [Sloane et al., Citation2019]). For to be prime, it is necessary that p itself be prime.
14.1. primality test for Mersenne primes
Theorem 26.
(A new version for the Lucas-Lehmer primality test) Given prime The number is prime if and only if (95) (95) where
Proof.
Given prime let From Lucas-Lehmer test, [Gallier, Citation2011], we have
As n even, and from Theorem (20), we get the following equivalent statement: where As and from Theorem (14), and noting we get the following equivalent statements:
□
Theorem (26) tells us that any Mersenne prime must be a factor for Thus we need to study the general arithmetical and combinatorial properties of the sequence We need the following theorem.
Theorem 27.
Given prime and is prime if and only if for any natural number we have (96) (96)
Proof.
Let be a prime, and Then from Theorem (26) we get From Theorem (22), the following recurrence relation is true for any natural number : (97) (97)
Noting that and from EquationEquation (97)(97) (97) , and working recursively, and starting from and noting we get the proof of EquationEquation (96)(96) (96) for any natural number Now suppose EquationEquation (96)(96) (96) holds for any for any natural number Then it holds for which means which implies, by Theorem (26), that is prime. This completes the proof.□
Based on Theorem (27) and Theorem (25), we establish the following new result:
Theorem 28.
(Enhanced Lucas-Lehmer Primality Test) For a given prime and is a Mersenne prime if and only if, for any natural number the following congruence holds: (98) (98)
Substituting into EquationEquation (98)(98) (98) , we readily obtain the following necessary condition applicable to all Mersenne primes.
Theorem 29.
(Necessary Condition for Mersenne Primes) For a given prime and if is a Mersenne prime, then the following congruence must hold: (99) (99)
14.2. Mersenne composite numbers
The number is called Mersenne composite number if p is prime but is not prime.
Theorem 30.
Given prime p, If (100) (100) then is a Mersenne composite number.
Proof.
Suppose for contradiction that divides Now, assume the contrary, that is prime. Then, referring to Theorem (26) and using the recurrence relation (EquationEquation (34)(34) (34) ) recursively, we arrive at dividing This leads to a contradiction.□
15. New combinatorial identities related to Mersenne numbers
From Theorem (25), we get
Theorem 31.
For any natural number we get (101) (101)
An immediate result is the following.
Theorem 32.
For any natural number we get (102) (102)
As Mersenne primes factorize the sequence for specific natural numbers it becomes imperative to thoroughly investigate the associated expansions of This investigation should extend beyond isolated examinations of instead, it should encompass a broader context. To attain a comprehensive understanding, it is essential to explore notable expansions of across all natural numbers where For example, when considering any natural numbers
Put in Theorem (31):
Put in Theorem (31):
Substitute into Theorem (31):
where the right-hand side of EquationEquation (105)(105) (105) equals if and if
16. New differential operator approach to Mersenne primes
As we embark on the enigmatic journey of Mersenne primes, a realm of mathematical wonders unfolds before us. Embracing a new differential approach and exploring essential operator lists, we illuminate the intricate properties of Mersenne primes, unraveling their mysteries. The intriguing link between Mersenne primes and other sequences, such as the captivating Lucas sequence, holds the potential for groundbreaking discoveries and novel research avenues. By integrating advanced mathematical techniques like number theory algorithms and computational methods, we deepen our understanding of these elusive numbers and their profound significance. This exploration of Mersenne primes and their interplay with various sequences beckons further investigation and inspires curiosity. The pursuit of knowledge in this domain promises profound insights into the fundamental nature of primes and offers a gateway to innovative advancements in mathematics and beyond. We mustn’t overlook the fact that Mersenne primes are nestled within the factors of This prompts us to substitute into EquationEquation (50)(50) (50) of Theorem (12), in conjunction with Theorem (10), leading to the following immediate consequence.
Theorem 33.
(A New Differential Operator Approach to Mersenne prime)
For any numbers a, b, and any natural number n, we have (106) (106)
Theorem 34.
For any natural number n, we get: (107) (107) (108) (108) (109) (109) (110) (110) (111) (111) (112) (112) (113) (113) (114) (114)
The theorem ahead establishes bridges between sequences, imparting knowledge about their arithmetic connections.
Theorem 35.
For any for each i, we get: (115) (115)
For instance, this theorem may contribute to our comprehension of the arithmetic interplay between Mersenne primes and the Lucas sequence, and vice versa. If, for example, we were to pinpoint an elegant formula for the sum of the operators where are integers, and considering the fundamental facts that and we would undoubtedly obtain a new, elegant formula for:
17. Unification of well-known sequences
The polynomials exhibit captivating arithmetical and differential properties, uniting a plethora of well-known polynomials and sequences. Notably, these include Mersenne numbers, the Chebyshev polynomials of the first and second kind, Dickson polynomials of the first and second kind, Lucas numbers, Fibonacci numbers, Fermat numbers, Pell-Lucas polynomials, Pell numbers, and others (see [Lidl et al., Citation1993; Mason and Handscomb, Citation2002]). These remarkable polynomial sequences form a rich tapestry that connects diverse areas of mathematics, providing valuable insights and deepening our understanding of these well-established sequences.
17.1. Connections with Fibonacci and Lucas sequences
Notably, the and polynomials are closely linked to the Fibonacci and Lucas sequences through a variety of formulas, which are presented below:
Here, represents the Lucas numbers defined by the recurrence relation and while denotes the Fibonacci numbers defined by the recurrence relation and These formulas showcase the remarkable connections between the and the well-known Fibonacci and Lucas sequences. Moreover, for any natural number n, we get, from EquationEquation (34)(34) (34) , the following relation (116) (116) and (117) (117)
17.2. Connections with Mersenne and Fermat numbers
Notably, the choices and for establish significant links between the -Polynomial and Mersenne numbers. For each natural number n, the following desirable formulas emerge: (118) (118)
For p odd, we obtain where are known as Mersenne numbers. Mersenne primes for some prime p, are remarkable due to their connection with primality tests and perfect numbers. In number theory, a perfect number is a positive integer equal to the sum of its proper positive divisors, excluding the number itself. It remains unknown whether any odd perfect numbers exist. Recent research (Ochem and Rao, Citation2012) has shown that odd perfect numbers, if they exist, must be greater than Additionally, we observe that where represents the Fermat number. The connections with Mersenne and Fermat numbers further emphasize the significance and broad applications of the polynomials in the realm of number theory.
17.3. Connections with Pell numbers and polynomials
The Pell numbers are defined by the recurrence relation and
The Pell-Lucas numbers are defined by the recurrence relation and We find that the polynomial serves as a generalization for the Pell-Lucas numbers: Similarly, the Pell-Lucas numbers where is the Pell-Lucas polynomial defined by the recurrence relation and This leads to the following relation:
17.4. Connections with Dickson polynomials
The Dickson polynomial of the first kind of degree n with parameter denoted see (Hou, Mullen, Sellers, & Yucas, Citation2009; Levine & Brawley, Citation1977; Lidl, Mullen, & Turnwald, Citation1993; Mason & Handscomb, Citation2002; Mesnager, Citation2011), are defined by the following formulas, where for n odd and for n even:
Considering EquationEquation (37)(37) (37) and Theorem (9), it becomes evident that the following relation holds between the polynomials and the Dickson polynomials:
17.5. Connections with Chebyshev polynomials
The Chebyshev polynomial of the first kind of degree n, denoted see (Chebyshev, Citation1854; Cody, Hillstrom, & Thacher, Citation1971; Ishii, Citation2008; Iwasaki & Umeno, Citation2014; Hou, Mullen, Sellers, & Yucas, Citation2009; Liao, Chen, & Wong, Citation2010; Lidl, Mullen, & Turnwald, Citation1993; Mason & Handscomb, Citation2002; Piessens & Branders, Citation1972), are defined by the following formulas:
In light of EquationEquation (37)(37) (37) and Theorem (9), it is manifest that the following connection is established between the polynomials and the Chebyshev polynomials:
17.5.1. - Unraveling captivating patterns with
In the realm of -sequences, a mesmerizing revelation awaits as we delve into the enchanting world of with This captivating case leads us to a striking formula:
As we explore further, the beauty of this sequence unfolds, revealing a profound expression that showcases the symmetries and connections hidden within:
The allure of this case lies in its ability to uncover the intricate interplay of numbers, offering us glimpses into the underlying structures and relationships within the sequence.
18. Symmetrical beauty: periodic patterns in sequences
18.1. Revealing additional special cases of the -sequence
Delving deeper into the world of the -sequence, we unearth a wealth of other exceptional scenarios where distinct values of a and b intertwine to form this fascinating class of polynomials. Each special case holds its own unique set of patterns and properties, enriching our understanding of this newly discovered mathematical structure.
18.1.1.
For and the -sequence takes the following form: (119) (119)
This specific case of the -sequence provides valuable insights into the patterns and characteristics of the polynomial for the given values of a and b.
18.1.2. - Unraveling Mersenne prime patterns
The fascinating world of the -sequence offers yet another captivating revelation when and In this special case, the -sequence takes the form: (120) (120)
This alluring special case unravels intriguing patterns related to Mersenne primes, offering a glimpse into the enigmatic world of these unique numbers.
18.1.3. - Unraveling patterns with
Yet another compelling case within the realm of the -sequence emerges when and In this instance, the -sequence takes on the following form: (121) (121)
This specific case provides us with invaluable insights into the periodic patterns of the -sequence when and The graph of exhibits a mesmerizing symmetry, evoking a delicate beauty reminiscent of a flower. With a periodicity of 12, the pattern gracefully repeats, creating an enchanting interplay of numbers. This captivating visualization provides a delightful glimpse into the underlying nature of the sequence.
18.1.4.
It is quite unexpected to note that the periodicity of equals 16 and its formula is given by: (122) (122)
The graph of exhibits mesmerizing symmetry with a periodicity of 16, forming patterns that strikingly resemble parts of a flower. Each element in the sequence is connected in a harmonious manner, reminiscent of the blooming flowers in a vast garden. The intriguing properties of this graph and its connection to the golden ratio encourage further investigation into the captivating behavior of polynomials and their links to fundamental mathematical constants. The graph of is as follows:
18.1.5.
The periodicity of equals 24; (123) (123)
18.1.6. periodicity of links with the golden ratio
Notably, the Polynomials reveal intriguing links with the Golden Ratio. Specifically, when and we obtain the following expressions for the and sequences: (124) (124)
The graph of gracefully repeats with a periodicity of 20, forming elegant patterns that strikingly resemble parts of a flower. Each element in the sequence is connected in a harmonious manner, much like flowers blooming in a vast garden, inviting further exploration into the captivating behavior of the sequences. This remarkable symmetry and linkage with the Golden Ratio beckon researchers to delve deeper into the enchanting world of these polynomials and their connections to fundamental mathematical constants.
19. A window into the future of Mersenne primes
19.1. Beyond the surface: unexplored horizons in Mersenne primes and polynomial sequences
The domain of Mersenne prime research is both profound and teeming with promise, harboring the potential for countless future discoveries. As we conclude our paper, my intention is to provide a concise glimpse of a pivotal result, tailored to ignite the curiosity and enthusiasm of our readers for the ever-evolving realm of Mersenne primes. Our final revelation unveils a remarkable new finding within the Mersenne prime landscape, with exciting implications that beckon further exploration. We introduce the double-indexed polynomial sequences and and divulge their intriguing ratios, as illustrated below: (125) (125)
The intriguing revelation is that these ratios yield integers.
Remarkably, we uncover a direct correlation between the primality of and the divisibility relationships among these ratios. This intriguing association calls for deeper exploration, promising valuable insights into the distribution and essence of Mersenne primes. Our findings set the stage for promising advancements in the field of number theory and ignite the spark for future inquiries into the underlying mathematical structure. Succinctly, without delving into the proof, we present the following striking new result for Mersenne primes, ushering in exciting possibilities for further investigation.
Theorem 36.
For any given prime let and we associate the double-indexed polynomial sequences and defined as follows: (126) (126)
Then both of the ratios (127) (127) are integers. Moreover the number is prime if and only if (128) (128)
19.2. Conclusion
In conclusion, this paper has presented a new result for Mersenne primes, shedding light on intriguing connections between the double-indexed polynomial sequences and The ratios described in EquationEquation (125)(125) (125) were shown to yield integers, and a significant link between the primality of and the divisibility relation of these ratios was established. With rigorous investigation and additional work, researchers can explore the properties and behaviors of the polynomial sequences and potentially unveiling deeper insights into the distribution and nature of Mersenne primes. The “if and only if” statement in Theorem (36), linking the divisibility of the ratios, presents an intriguing direction for future investigations. The existence of integer ratios of EquationEquation (127)(127) (127) hints at a hidden mathematical structure yet to be fully understood. Further investigation into the properties of these polynomial sequences and their relationship to prime numbers could lead to significant advancements in the field of number theory and unveil new insights into the distribution and existence of Mersenne primes.
Disclosure statement
No potential conflict of interest was reported by the author(s).
References
- Cai, T. (2022). Perfect numbers and fibonacci sequences. World Scientific, Singapore, doi:10.1142/12477
- Chebyshev, P. L. (1854). Theorie des mecanismes connus sous le nom de parall’elogrammes. Mémoires de l'Académie impériale des sciences de St. Pétersbourg, 7, 539–568.
- Cody, W. J., Hillstrom, K. E., & Thacher, H. C. (1971). Chebyshev approximations for Riemann zeta function. Mathematics of Computation, 25(115), 537–547. doi:10.1090/S0025-5718-1971-0295535-9
- Deza, E. (2021). Mersenne numbers and Fermat numbers. Hackensack: World Scientific Publishing Co. Pte. Ltd.
- Dickson, L. E. (2005). History of the theory of numbers, Vol. 2: Diophantine analysis. New York: AMS Chelsea Publishing.
- Fine, B., Moldenhauer, A., Rosenberger, G., Schürenberg, A., & Wienke, L. (2023). Algebra and number theory: A selection of highlights. Berlin, Boston: De Gruyter. doi:10.1515/9783110790283,
- Gallier, J. (2011). Discrete mathematics–Universitext. New York: Springer-Verlag.
- Gawron, M., & Ulas, M. (2016). On primitive integer solutions of the Diophantine equation t2 = G(x,y,z) and related results. Journal of Number Theory, 159, 101–122. doi:10.1016/j.jnt.2015.07.012
- GIMPS. (2016). Great internet mersenne prime search, project. http://www.mersenne.org/default.php
- He, J.-H., Yang, Q., He, C.-H., & Alsolami, A. (2023). Unlocking the plants’ distribution in a fractal space. Fractals, 31(09), 23501025. doi:10.1142/S0218348X23501025
- Hou, X., Mullen, G. L., Sellers, J. A., & Yucas, J. L. (2009). Reversed Dickson polynomials over finite fields. Finite Fields and Their Applications., 15(6), 748–773. doi:10.1016/j.ffa.2009.06.004
- Ibrahim, M. (2023). On the eight levels theorem and applications towards Lucas-Lehmer primality test for Mersenne primes, I. Arab Journal of Basic and Applied Sciences, 30(1), 267–284. doi:10.1080/25765299.2023.2204672
- Ishii, M. (2008). Periodicity of Chebyshev polynomials over the residue ring of Z/2rZ and an electronic signature. Transaction of the Japan Society for Industrial and Applied Mathematics, 18(2), 257–265.
- Iwasaki, A., & Umeno, K. (2014). Periodical property of Chebyshev polynomials on the residue class rings modulo 2w. IEICE Technical Report, CAS2014-67k, NLP2014-61.
- Kraft, J. S., & Washington, L. C. (2018). An introduction to number theory with cryptography (2nd ed.). Washington: Chapman and Hall/CRC.
- Kundu, S., & Mazumder, S. (2022). Number theory and its applications. Boca Raton: CRC Press.
- Levine, J., & Brawley, J. V. (1977). Some cryptographic applications of permutation polynomials. Crvptologia, 1, 76–92.
- Liao, X., Chen, F., & Wong, K. (2010). On the security of public-key algorithms based on Chebyshev polynomials over the finite field ZN. IEEE Transaction on Computers, 59(10), 1392–1401.
- Lidl, R., Mullen, G. L., & Turnwald, G. (1993). Dickson polynomials. Pitman Monographs in Pure and Applied Mathematics, Vol. 65, Chapman and Hall/CRC: Addison-Wesley.
- Loconsole, M., & Regolin, L. (2022). Are prime numbers special? Insights from the life sciences. Biology Direct, 17(1), 11. doi:10.1186/s13062-022-00326-w
- Mason, J. C., & Handscomb, D. C. (2002). Chebyshev polynomials. Boca Raton: Chanpman-Hall.
- Mesnager, S. (2011). Bent and hyper-bent functions in polynomial form and their link with some exponential sums and Dickson Polynomials. IEEE Transactions on Information Theory, 57(9), 5996–6009. doi:10.1109/TIT.2011.2124439
- Mostafa, M. I. (2004). A new approach to polynomial identities. The Ramanujan Journal, 8(4), 423–457. doi:10.1007/s11139-005-0272-3
- Ochem, P., & Rao, M. (2012). Odd perfect numbers are greater than 101500. Mathematics of Computation, 81(279), 1869–1877. doi:10.1090/S0025-5718-2012-02563-4
- Piessens, R., & Branders, M. (1972). Chebyshev polynomial expansions of the Riemann zeta function. Mathematics of Computation, 26(120), G1–G5.
- Sloane, N. J. A., et al. (2019). The on-line encyclopedia of integer sequences. https://oeis.org.