ABSTRACT
In this paper we investigate the generalized Pell numbers of order through the properties of their related fundamental system of generalized Pell numbers. That is, the generalized Pell number of order , are expressed as a linear combination of a fundamental system of generalized Pell numbers. The properties of this fundamental system are examined and results can be established for generalized Pell numbers of order . Some identities and combinatorial results are established. Moreover, the analytic study of the fundamental system of generalized Pell is provided. Furthermore, the generalized Pell Cassini identity type is provided.
Keywords:
generalized Pell fundamental system; generalized Pell numbers; combinatorial identities; analytic representations; Generalized Cassini identity
RESUMO
Neste artigo investigamos os números de Pell generalizados de ordem 2 por meio das propriedades do sistema fundamental de números de Pell generalizados associado. Ou seja, o número de Pell generalizado de ordem é expresso como uma combinação linear de um sistema fundamental de números de Pell generalizados. As propriedades deste sistema fundamental são examinadas e os resultados podem ser estabelecidos para números de Pell generalizados de ordem . Algumas identidades e resultados combinatórios são estabelecidos. Além disso, o estudo analítico do sistema fundamental de Pell generalizado e a identidade Pell-Cassini generalizada são fornecidos.
Palavras-chave:
sistema fundamental de Pell generalizado; números de Pell generalizados; identidades combinatórias; representações analíticas; identidade de Cassini generalizada
1 INTRODUCTION
The usual sequence of Pell numbers is defined by the initial conditions , and the recurrence relation , for . In the literature, there are various generalizations of this well known sequence of integers (see, for example, 44 P. Catarino & P. Vasco. On some identities and generating functions for k-Pell-Lucas sequence. Appl. Math. Sci., 7(98) (2013), 4867-4873.), (66 A. Dasdemir. On generalized order−k modified Pell and Pell-Lucas numbers in terms of Fibonacci and Lucas numbers. Notes on Number Theory and Discrete Mathematics, 26(2) (2020), 205-212.), (1010 A. Shannon & A. Horadam. Generalized Pell numbers and polynomials. Howard F.T. (eds) Applications of Fibonacci Numbers, Springer, Dordrecht, (2004), 213-224.), (1111 A. Shannon & C. Wong. Some properties of generalized third order Pell numbers. Notes on Number Theory and Discrete Mathematics, 14(4) (2008), 16-24., and references therein). The sequence and their generalizations are widely studied from both algebraic, analytic, combinatorial and matrix perspective, and it is an interesting subject of several important properties and identities (see, for example, 11 F.R.V. Alves & P.M.M.C. Catarino. Generalized Fibonacci and k-Pell matrix sequences: Another way of demonstrating their properties. Notes on Number Theory and Discrete Mathematics, 25(4) (2019), 110-122.), (44 P. Catarino & P. Vasco. On some identities and generating functions for k-Pell-Lucas sequence. Appl. Math. Sci., 7(98) (2013), 4867-4873.), (66 A. Dasdemir. On generalized order−k modified Pell and Pell-Lucas numbers in terms of Fibonacci and Lucas numbers. Notes on Number Theory and Discrete Mathematics, 26(2) (2020), 205-212.), (1010 A. Shannon & A. Horadam. Generalized Pell numbers and polynomials. Howard F.T. (eds) Applications of Fibonacci Numbers, Springer, Dordrecht, (2004), 213-224.), (1111 A. Shannon & C. Wong. Some properties of generalized third order Pell numbers. Notes on Number Theory and Discrete Mathematics, 14(4) (2008), 16-24.).
In this paper we are concerned with the generalization defined by the following linear difference equation of order <math><mi>r</mi><mo>≥</mo><mn>2</mn></math>,
where the initial conditions are adequately chosen. Let consider the set of sequences of generalized Pell numbers defined as follows,
For example, in case , the set of sequences of generalized Pell numbers is given by
The set 𝔓r will play a central role in the sequel of this work. Indeed, we explore the family of generalized Pell numbers (1.1), through the properties of the set 𝔓r . More precisely, we describe explicitly the closed connection between the sequences and the sequence of generalized Pell numbers . This approach permits us to elaborate some combinatorial identities and examined the analytical properties of each sequence of the set 𝔓r . Finally, the combinatorial and the analytical formula of the generalized Pell Cassini identity are investigate.
The content of this paper is organized as follows. In Section 2, we establish that the set 𝔓r is fundamental system of solutions of (1.1), considered as a difference equation. Moreover, for every , we show that can be expressed with the aid of . Sections 3 and 4 are devoted to some results, identities and combinatorial relation, related to the sequences of generalized Pell numbers. In Section 5 we study the analytical properties of the elements of the set 𝔓r , and derive the analytic aspect of every sequence of generalized Pell numbers (1.1). Section 6 concerns the generalized Pell Cassini identity, where its combinatorial and analytical expressions are considered. Finally, conclusion and perspective are provided in Section 7.
2 GENERALIZED PELL NUMBERS (1.1) AND THE SET 𝔓R
Generally, for the usual generalized Pell numbers of order <math><mi>r</mi><mo>≥</mo><mn>2</mn></math>, the initial conditions are given by,
We can show that the sequence of the Pell fundamental system 𝔓r , is nothing else but the generalized Pell numbers defined by (1.1) and initial conditions (2.1). Let study the closed connection between the sequence , or equivalently the sequence , and the other sequences of the set 𝔓r .
First, we establish that we have , for every , and second that each can be expressed in terms of the generalized Pell numbers or . That is, we have and . On the other hand, we have .Therefore, we have . And an induction process allows us to show that , for all .
For , let prove that , for all . To this aim, we proceed by induction, involving a slight similar process as in the proof of , for all . For , we set , for with initial conditions , for , and . For , we have , for , and . Hence, we have , for , and . Therefore, an induction process permits to derive that , for every .
For , suppose that , for every . The sequence defined by . For , the first r terms are for for and . Since and , for , by summation , and comparison with the values of , we derive that,
Therefore, we obtain , for every . Hence, we get the following result.
Theorem 2.1.Letbe the generalized Pell numbers (1.2), associated with the generalized Pell numbers (1.1). Then, for every, we have
We observe that, the first part of Theorem 2.1 is equal to the third part of Lemma 2 of 88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670.. However, the second part is not common in the literature.
Let consider the case , then Theorem 2.1 implies that for the set of the basic sequences of generalized Pell numbers , we have,
The Table 1 describes the list of the first terms of the fundamental system of the generalized Pell number of order .
And a direct computation shows that the property , for every , is verified.
Let be a sequence of generalized Pell numbers defined by the recursive relation (1.1), and whose initial conditions are , and be the sequence defined by , for every . We can verify that , and the sequence satisfies the recursive relation (1.1). Thus, for every , we have . Moreover, suppose that , for every . Then, for , we derive that . Therefore, the sequences of the set are linearly independent. Hence, we have the following proposition.
Proposition 2.1.Letbe a sequence of generalized Pell numbers defined by the recursive relation (1.1), and whose initial conditions are, then
In other terms, the setis a basis of the vector spaceof solutions of Equation (1.1).
Proposition 2.1 shows the main role of the set 𝔓r , known in the literature as fundamental system of solutions of (1.1), when (1.1) is considered as a difference equation. According to Theorem 2.1 the sequence play a fundamental role. The sequence (and also ), is called in the literature the fundamental solution of Equation (1.1). In the sequel, we can also call it the generalized Pell fundamental sequence of order r and denote .
3 PELL FUNDAMENTAL SYSTEM 𝔓R AND SOME GENERALIZED PELL IDENTITIES
Let consider the vector column , for , for every , and the matrix,
Since the set 𝔓r is a fundamental system of solutions of (1.1), considered as a difference equation, then the matrix , represents the Pell Casoratian matrix associated with 𝔓r . The main goal here, is to exhibit the explicit expressions for the entries of the matrix , and derive some identities. A direct verification shows that the Casoratian matrix can be written under the form,
where is the anti-diagonal unit matrix, namely, for , and , otherwise and . We show that the matrix 𝕄n , can be written under the form , where 𝔸 is the classical companion matrix
(for more details see 22 R. Ben-Taher & M. Rachidi. On the matrix powers and exponential by r-generalized Fibonacci sequences methods: the companion matrix case. Linear Algebra and Its Applications, 370 (2003), 341-353. and references therein). Hence, we get the following property.
Proposition 3.2.Consider the setof sequences of generalized Pell numbers (1.2). Then, the associated Casoratian matrixand the powers 𝔸n of the companion matrix 𝔸 are similar. More precisely, we have the matrix identity,
for every , where the entries are given by , and is the anti-diagonal unit matrix.
Expression (3.1) implies the matrix identity , for every n and m. Hence, the entries of the matrix are expressed in terms of those of the matrices and as follows,
where . In fact, according to Proposition 3.2, Expression (3.2) is equivalent to the identity,
for any integer and . Therefore, since and we have the identity,
for . More generally, for , we have,
Theorem 3.2. Let the generalized Pell fundamental sequence. Then, for every , we have the following identities,
Using Expression (3.3), we obtain the following corollary.
Corollary 3.2. 1) The generalized Pell fundamental sequence of order , satisfies the identity,
for every and .
2) For , the generalized Pell fundamental sequence satisfies the identity,
for everyand. For example, using values described in Table 1 for and , we have .
For a given companion matrix , it was established in [7, Proposition 2.1] that the entries of the powers A n are expressed in terms of a family of generalized Fibonacci sequences , where , with , for (see also formulas (18)-(19) of 22 R. Ben-Taher & M. Rachidi. On the matrix powers and exponential by r-generalized Fibonacci sequences methods: the companion matrix case. Linear Algebra and Its Applications, 370 (2003), 341-353., page 348). Thus, we can show that Formula (4) of 88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670.) represents a particular case of the preceding studies. Moreover, using the previous formula (3.2), we can recover Theorem 2 of 88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670..
4 COMBINATORIAL IDENTITIES FOR THE PELL FUNDAMENTAL SYSTEM 𝔓R
Let be real or complex numbers and consider the following combinatorial expression,
where , for , and . Since , we derive that satisfies the following linear difference equation , for every . Specially, for , we get
with for and . Therefore, the sequence satisfies the Expression (1.1) and its initial conditions are given by and . Therefore, we formulate the following result.
Proposition 4.3. (Combinatorial expression of generalized Pell numbers) The combinatoric expression of the generalized Pell fundamental sequence is given by,
where , for , and .
More generally, a direct application of Expressions (2.2)-(2.3) (see Theorem 2.1) and Expression (4.3) (see Proposition 4.3) lead to the combinatorial formulas of the sequences of the Pell fundamental system 𝔓r .
Proposition 4.4.Letbe the Pell fundamental system, associated with the generalized Pell numbers (1.1). The combinatorial expression of each element, where, is given by,
with, where theare given as in (4.3).
Proof. Indeed, since , Expressions (2.2) and (4.3) imply that , for every . For , Formulas (2.3) and (4.3), give immediately Expression (4.4), namely, . □
By a direct application of Theorem 3.2 and Proposition 4.4, we can obtain some identities involving the combinatorial expression (4.2) of the . More precisely, by combining Expressions (4.4)-(4.5) and (3.3)-(3.4), we arrive at the identities.
Corollary 4.2.The combinatorial expressions of the generalized Pell numbers identities (4.4)(4.5), are given by
For , formulas of Corollary 4.2 show that the combinatorial identities (4.6)-(4.7) take the form,
for every and . Let then, for every and , we have the identity,
On the other hand, a direct computation using the identity , allows us to obtain,
This expression can be derived from [22 R. Ben-Taher & M. Rachidi. On the matrix powers and exponential by r-generalized Fibonacci sequences methods: the companion matrix case. Linear Algebra and Its Applications, 370 (2003), 341-353., Proposition 3.1] and [55 W. Chen & J. Louck. The combinatorial power of the companion matrix. Linear Algebra and its Applications, 232 (1996), 261-278., Theorem 3.1].
It was established in that the Chen-Louck Theorems [55 W. Chen & J. Louck. The combinatorial power of the companion matrix. Linear Algebra and its Applications, 232 (1996), 261-278., Theorem 3.1] can be recovered by a direct computation from Expression (22) of 22 R. Ben-Taher & M. Rachidi. On the matrix powers and exponential by r-generalized Fibonacci sequences methods: the companion matrix case. Linear Algebra and Its Applications, 370 (2003), 341-353.. In 88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670. the authors recall the Chen-Louck Theorem (see Theorem 5 of 88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670.), and formulate the combinatorial expression of the generalized Pell numbers , by considering other kind of initial conditions, see, for instance [88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670., Corollary 2].
We conclude this section by observing that Expression (4.1) can be written under the form , for every , where the are the multivariate Fibonacci polynomials of order r (see 99 G. Philippou. On the k-th order linear recurrence and some probability applications. In G. Bergum, A. Philippou & A. Horadam (editors), “Applications of Fibonacci Numbers”. Kluwer Academic Publishers (1988).). Therefore, according to Expressions (4.3) and (4.5), the fundamental generalized Pell numbers can be written as a multivariate Fibonacci polynomials of order r under the form , for every . On the other side, with the aid of Formula (4.4) we can deduce that each element of the set 𝔓r takes the form , for and every .
5 ANALYTICAL EXPRESSIONS OF THE GENERALIZED PELL NUMBERS
It well known that, the analytic formula for linear recursive sequences, is related to the roots of the associated (so-called) characteristic polynomial (see, for example, 33 R. Ben-Taher & M. Rachidi. Solving some generalized Vandermonde systems and inverse of their associate matrices via new approaches for the Binet formula. Applied Mathematics and Computation, 290 (2016), 267-280.), (1212 R.P. Stanley. “Enumerative Combinatorics”, volume 1. Cambridge studies in advanced mathematics, 2nd ed. (2011)., and references therein). Here the roots of the characteristic polynomials of the Pell recursive equation (1.1) given by are simple. Indeed, we observe that for , the simple roots of the characteristic polynomial , are and . For we obtain the approximating simple roots of the characteristic polynomial , are given by , and . For the general case , we have the following result.
Lemma 5.1. For , the roots of the polynomial , are simple.
Proof. For , we have . Hence, it ensue , where . Let , since , we show that if, and only if, , or equivalently,
Suppose that λ is a root of P(z), with multiplicity ≥ 2. Let , where be the derivative of P(z). Therefore, implies . Thus, get,
because and . On the other hand, since , we derive that is equivalent to the equation,
whose roots are . Taking into account Expressions (5.1) and (5.2), allows us to show that λ satisfies the equation,
For the root λ 1, since , for , we show that . Further along, a direct computation implies that . Therefore, we have, . Using Expression (5.4), we have , which is impossible, because . Consequently, the root λ 1 is not a root of the polynomial or equivalently, λ 1 is not a root of the polynomial P(z) of multiplicity ≥ 2.
Let consider the root λ 2. For each , we have . Once again, using Expression (5.4), we obtain,
which is impossible. Thus, the root λ 2 is not a root of , namely, λ 2 is not a root of multiplicity ≥ 2 of the polynomial P(z). Therefore, the roots of the polynomial P(z) are simple. □
In the aim to apply Lemma 5.1 for providing the analytic formula of each sequence of the set 𝔓r , we are going to use the result of [33 R. Ben-Taher & M. Rachidi. Solving some generalized Vandermonde systems and inverse of their associate matrices via new approaches for the Binet formula. Applied Mathematics and Computation, 290 (2016), 267-280., Theorem 2.2], where the combinatorial expression (4.1) of , is expressed in terms of the roots of the characteristic polynomial . Indeed, this expression of is given by,
Lemma 5.2. (see 2 2 R. Ben-Taher & M. Rachidi. On the matrix powers and exponential by r-generalized Fibonacci sequences methods: the companion matrix case. Linear Algebra and Its Applications, 370 (2003), 341-353. ),( 3 3 R. Ben-Taher & M. Rachidi. Solving some generalized Vandermonde systems and inverse of their associate matrices via new approaches for the Binet formula. Applied Mathematics and Computation, 290 (2016), 267-280. ) Suppose that the roots of satisfy for . Then, we have
otherwise for , where .
Following Propositions 4.3-4.4, the combinatorial expressions of the Pell fundamental system, are given by Expressions (4.3), (4.4) and (4.5), namely, we have,
for , or , respectively, where the are given as in (4.1), with . Using Lemmas 5.1 and 5.2, and Expressions (4.3)-(4.5), we show that the analytical expression of each sequence of 𝔓r , is as follows.
Theorem 5.3.Letbe the set defined as in (1.2). Then, the analytic expression of each sequence, is given by,
where the simple roots of the polynomial .
For , the fundamental system is . The roots of the polynomial are and .
Then, using Theorem 5.3, we obtain,
Proposition 2.1, Lemma 5.3 and Theorem 5.3 imply the following general result.
Proposition 5.5.Letbe a sequence of generalized Pell numbers defined by the recursive relation (1.1), and whose initial conditions are. Then, the analytic formula foris given by,
wherethe simple roots of the polynomial. For clarifying, take and be a sequence of generalized Pell numbers, with initial conditions , and . Applying Proposition 5.5 we obtain the following analytic formula for .
for every , where λ 1, λ 2, λ 3 the simple roots of the polynomial .
Result of the previous Theorem 5.3 shows that we have a compact and explicit formula for the family of generalized Pell numbers 𝔓r . More generally, for a given sequence of general Pell numbers, with arbitrary initial conditions, the compact explicit analytic formula is presented in Proposition 5.5. This formula is obtained without using the usual heavy computation of the determinant. In 88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670. the authors gave the analytic formulas of the family of generalized Pell , only in terms of the determinants, see for instance [88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670., Theorem 4] and [88 E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670., Corollary 1].
6 PELL GENERALIZED CASSINI IDENTITY
We consider here the process of building the type of Cassini identity for the generalized Pell fundamental system 𝔓r . Following Section 3 the Pell Casoratian matrix is given by
where is the vector column , for every and every . Hence, the determinant properties imply that the Casoratian of the Pell fundamental system 𝔓, takes the following form,
for every . By iteration of the preceding process and taking into account that , we show that the generalized Pell Cassini identity, is obtained from the Pell Casoratian of the set 𝔓r as follows,
called the Cassini matrix, whose entries are given by . Summarizing, the generalized Pell Cassini identity is formulated in the following result.
Theorem 6.4. Let be the Pell fundamental system, and consider the associated Casoratian . Then, the generalized Pell Cassini Identity, is given by,
where 𝒮ris the group of permutations of the set {1, 2, . . . , r} and ε(σ) is the signature of. Theorem 6.4 shows that the generalized Pell Cassini identity, is expressed in terms of the fundamental solution of (1.1), considered as a linear difference equation. For , the generalized Pell Cassini identity is given by,
where is the signature of σ 3. And, a direct computation shows that the preceding expression takes the form,
Moreover, using Expression (4.3), the generalized Cassini identity of order r, takes the following combinatorial form,
where 𝒮 r is the group of permutations of the set {1, 2, . . . r} and ε(σ) is the signature of .
We conclude this section by establishing the analytic formula of the generalized Pell Cassini identity. Indeed, combining the combinatorial identity (6.1), with the analytic formulas of P n given in Theorem 5.3, we get the following analytic expression of the generalized Pell Cassini identity,
where the λ i are the simple roots of , and 𝒮 r is the permutations group of {1, 2, . . . , r}, and ε(σ) is the signature of .
The results of this section allow us to see that the Pell Cassini identity is formulated only in terms of the fundamental solution .
7 CONCLUSION AND PERSPECTIVES
In this study we have considered another approach for investigating the generalized fundamental Pell system, related to the difference equation (1.1) defining the generalized Pell numbers. Our advance is based on the properties of the fundamental system 𝔓r . Therefore, some results and various identities about the generalized Pell numbers are established. On the other side, the analytic formula of the sequences that make up the set 𝔓r of generalized Pell fundamental system are established without using the usual method of the determinant. Furthermore, the generalized Pell Cassini identity is studied. Moreover, the comparison of literature is considered. It should be emphasized that, in the best of our knowledge, our procedure and results are not common in the literature.
Finally, it is noted that our approach can be used for to examine other type of generalized Pell numbers. Some partial and significant results have been obtained in this direction.
Acknowledgment
The authors thank the anonymous referee for useful suggestions that improved the presentation of this paper. The authors express their sincere thanks to the INMA and Universidade Federal de Mato Grosso do Sul - UFMS/MEC - Brazil for their valuable support.
REFERENCES
-
1F.R.V. Alves & P.M.M.C. Catarino. Generalized Fibonacci and k-Pell matrix sequences: Another way of demonstrating their properties. Notes on Number Theory and Discrete Mathematics, 25(4) (2019), 110-122.
-
2R. Ben-Taher & M. Rachidi. On the matrix powers and exponential by r-generalized Fibonacci sequences methods: the companion matrix case. Linear Algebra and Its Applications, 370 (2003), 341-353.
-
3R. Ben-Taher & M. Rachidi. Solving some generalized Vandermonde systems and inverse of their associate matrices via new approaches for the Binet formula. Applied Mathematics and Computation, 290 (2016), 267-280.
-
4P. Catarino & P. Vasco. On some identities and generating functions for k-Pell-Lucas sequence. Appl. Math. Sci., 7(98) (2013), 4867-4873.
-
5W. Chen & J. Louck. The combinatorial power of the companion matrix. Linear Algebra and its Applications, 232 (1996), 261-278.
-
6A. Dasdemir. On generalized order−k modified Pell and Pell-Lucas numbers in terms of Fibonacci and Lucas numbers. Notes on Number Theory and Discrete Mathematics, 26(2) (2020), 205-212.
-
7B. El-Wahbi, M. Mouline & M. Rachidi. Solving non homogeneous recurrences relations by matrix method. Fibonacci Quarterly, 40(2) (2002), 109-117.
-
8E. Kilic¸ & D. Tasci. The Generalized Binet formula, representation and sums of the Generalized order-k Pell numbers. Taiwanese Journal of Mathematics, 10(6) (2006), 1661-1670.
-
9G. Philippou. On the k-th order linear recurrence and some probability applications. In G. Bergum, A. Philippou & A. Horadam (editors), “Applications of Fibonacci Numbers”. Kluwer Academic Publishers (1988).
-
10A. Shannon & A. Horadam. Generalized Pell numbers and polynomials. Howard F.T. (eds) Applications of Fibonacci Numbers, Springer, Dordrecht, (2004), 213-224.
-
11A. Shannon & C. Wong. Some properties of generalized third order Pell numbers. Notes on Number Theory and Discrete Mathematics, 14(4) (2008), 16-24.
-
12R.P. Stanley. “Enumerative Combinatorics”, volume 1. Cambridge studies in advanced mathematics, 2nd ed. (2011).
Publication Dates
-
Publication in this collection
05 Apr 2021 -
Date of issue
Jan-Mar 2021
History
-
Received
03 Aug 2020 -
Accepted
20 Nov 2020