Preprint
Article

Sum of the Squares of the Extended (k, t)–Fibonacci Numbers

Altmetrics

Downloads

135

Views

35

Comments

0

This version is not peer-reviewed

Submitted:

14 August 2024

Posted:

15 August 2024

You are already at the latest version

Alerts
Abstract
In two previous articles, the extended $(k, t)$--Fibonacci numbers were presented and some of their properties were studied, both in general and particularizing them for the Leonardo numbers. In a second article we study the sum of the extended $(k, t)$--Fibonacci numbers as well as the sums of these odd and even numbers.\\ In this article we study the sum of the squares of these numbers with their properties as well as the generating function, the recurrence relation and the Binet formula.\\ Finally we particularize these results for the generalized $t$--Leonardo numbers.
Keywords: 
Subject: Computer Science and Mathematics  -   Applied Mathematics

1. Introduction

Leonardo of Pisa or Fibonacci (12th-13th centuries) was a mathematician from the city-state of Pisa who made great contributions to Mathematics, the most important of which was perhaps the introduction of decimal numbering in Europe from a practical point of view.
As a mathematician, he is most famous for the so-called Fibonacci numbers { 0 , 1 , 1 , 2 , 3 , 5 , 8 , } in which each number is the sum of the two previous ones F n = F n 1 + F n 2 .
It is believed that he also introduced the so-called Leonardo numbers created with the same previous relationship but adding a unit to the indicated sum and the first two being 1 and 1: L e n = L e n 1 + L e n 2 + 1 .
Leonardo numbers gained importance in the mid-20th century because they were used by computer scientist Edsger W. Dijkstra in his algorithm for finding the shortest path between two vertices of a graph.
There are several generalizations of the Fibonacci numbers, one of which leads to the so-called k–Fibonacci numbers. This section begins with a reminder of these numbers as well as some of their properties. Later, some of the properties of the extended ( k , t ) –Fibonacci numbers demonstrated in the previous articles are shown. And these results are particularized to the case of the Leonardo numbers.
The concept of Fibonacci number has been generalized in different ways [11,12]. One of them has given rise to the concept of k–Fibonacci number [8,9,14,16].

1.1. k–Fibonacci Numbers

We remember this concept as well as some of its properties.
Definition 1. 
For any integer number k 1 , the k–Fibonacci numbers is defined as F k , n + 1 = k F k , n + F k , n 1 with initial conditions F k , 0 = 0 and F k , 1 = 1
Some of the properties that the k–Fibonacci numbers verify and that we will need later are summarized in the previous cites. In particular, and since we will use it throughout this article, we indicate the Binet identity,
F k , n = σ 1 n σ 2 n σ 1 σ 2
where σ 1 = k + k 2 + 4 2 and σ 2 = k k 2 + 4 2 are the characteristic roots of the relation of the definition. If k = 1 , the root σ 1 = 1 + 5 2 is the golden ratio ϕ , while σ 2 = 1 5 2 is ψ .
Among other properties, these roots verify σ 1 + σ 2 = k , σ 1 · σ 2 = 1 , σ 2 = k σ + 1 , σ 1 σ 2 = k 2 + 4 .
The sum of the first k–Fibonacci numbers is j = 0 n F k , j = F k , n + F k , n + 1 1 k .
The generating function of the k–Fibonacci numbers is f ( k , x ) = x 1 k x x 2 and the negative k–Fibonacci numbers are defined as F k , n = ( 1 ) n + 1 F k , n .

1.2. Leonardo Numbers

A Leonardo number [1,2] is defined by mean of the recurrence relation L e n = L e n 1 + L e n 2 + 1 with initial conditions L e 0 = 1 and L e 1 = 1 . The first few terms of the sequence of Leonardo are { 1 , 1 , 3 , 5 , 9 , 15 , 25 , 41 , } , A001595 in the OEIS [13].
The Leonardo numbers are related to the Fibonacci numbers as L e n = 2 F n + 1 1
In [6], we have found a generalization of the Leonardo numbers defined as L e n ( t ) = L e n 1 ( t ) + L e n 2 ( t ) + t with initial conditions L e 0 ( t ) = 1 and L e 1 ( t ) = 1 . The first few terms of the sequence obtained are { L e n } = { 1 , 1 , k + ( 1 + t ) , k 2 + ( t + 1 ) k + ( t + 1 ) , k 3 + ( 1 + t ) k 2 + ( 2 + t ) k + ( 1 + 2 t ) , }

1.3. Extended ( k , t ) –Fibonacci Numbers

Let t be a positive integer number. It defines the extended ( k , t ) –Fibonacci numbers [6,7] by mean of the linear non–homogeneus recurrence
T ( k , t , n ) = k T ( k , t , n 1 ) + T ( k , t , n 2 ) + t
with initial conditions T ( k , t , 0 ) = 1 and T ( k , t , 1 ) = 1 .
According to that definition, this sequence is
{ T ( k , t , n ) } = { 1 , 1 , k + ( t + 1 ) , k 2 + ( t + 1 ) k + ( t + 1 ) , k 3 + ( t + 1 ) k 2 + ( t + 2 ) k + ( 2 t + 1 ) , }
If k = 1 , this sequence takes the form { 1 , 1 , 2 + t , 3 + 2 t , 5 + 4 t , 8 + 7 t , 13 + 12 t , 21 + 20 t , } which can be considered a generalization of Leonardo sequence and it is indicated as L e n ( t ) . Later, if t = 1 , the classical Leonardo sequence appears.
Extended ( k , t ) –Fibonacci numbers T ( k , t , n ) = T n are related to the k–Fibonacci numbers by the formula
T n = ( k + t ) ( F k , n + F k , n 1 ) t k
T n verify the homogeneous linear recurrence T n = ( k + 1 ) T n 1 ( k 1 ) T n 2 T n 3 and its generating function is f ( k , t , x ) = 1 k x ( 1 k t ) x 2 ( 1 x ) ( 1 k x x 2 ) .
On the other hand, the sum of the extended ( k , t ) –Fibonacci numbers is given by the formula j = 0 n T j = 1 k k + t k ( F k , n + 1 + 2 F k , n + F k , n 1 2 ) + k n t
For k = 1 , the sum of the generalized Leonardo numbers L e n ( t ) is
j = 0 n L e j ( t ) = ( t + 1 ) ( F n + 3 2 ) n t + 1
Moreover, s ( k , t , x ) = 1 k x ( 1 k t ) x 2 ( 1 x ) 2 ( 1 k x x 2 ) is the generating function of the sequence of partial sums j = 0 n T ( k , t , j ) and its Binet formula is
j = 0 n T ( k , t , j ) = k + t k 2 1 k 2 + 4 σ 1 n 1 ( σ 1 + 1 ) 2 σ 2 n 1 ( σ 2 + 1 ) 2 2 ( k + t ) k 2 n t k + 1

2. Sum of the Squares of the Extended ( k , t ) –Fibonacci Numbers

In this paper we will study the squares of the extended ( k , t ) –Fiboacci numbers and their sum to later find their generating function, the recurrence relation verified by these addends and their Binet formula.
We will use Formula (3) to find the sum of the squares of the extended ( k , t ) –Fibonacci numbers j = 0 n T 2 ( k , t , j ) .
As T ( k , t , n ) = ( k + t ) ( F k , n + F k , n 1 ) t k then
T 2 ( k , t , n ) = 1 k 2 ( k + t ) 2 ( F k , n + F k , n 1 ) 2 2 t ( k + t ) ( F k , n + F k , n 1 ) + t 2
So
j = 0 n T 2 ( k , t , j ) = ( k + t ) 2 k 2 j = 0 n F k , j 2 + 2 j = 0 n F k , j F k , j 1 + j = 0 n F k , j 1 2 2 t ( k + t ) k 2 j = 0 n F k , j + j = 0 n F k , j 1 + t 2 k 2 j = 0 n 1
We will find the sum of these numbers taking into account the following formulas that have been proven in [3,5,8,9]:
j = 0 n F k , j 2 = 1 k F k , n F k , n + 1 j = 0 n F k , j 1 2 = 1 k ( F k , n 1 F k , n + k ) j = 0 n F k , j 1 F k , j = 1 k F k , n 2 + ( 1 ) n 1 2 j = 0 n F k , j = 1 k ( F k , n + F k , n + 1 1 ) j = 0 n F k , j 1 = 1 k ( F k , n 1 + F k , n + k 1 ) j = 0 n 1 = n + 1
Consequently, if
m 1 [ k , n ) = F k , n F k , n + 1 + F k , n 1 F k , n + k + 2 F k , n 2 + ( 1 ) n 1 m 2 ( k , n ) = 2 F k , n + F k , n + 1 + F k , n 1 + k 2 m 3 ( n ) = n + 1
then
j = 0 n T 2 ( k , t , j ) = ( k + t ) 2 k 3 m 1 ( k , n ) 2 t ( k + t ) k 3 m 2 ( k , n ) + t 2 k 2 m 3 ( n )
Below we will particularize this result to the case of Leonardo numbers.

2.1. Sum of the Squares of the Leonardo Numbers

If in the previous formula it is k = 1 , the sum of generalized t–Leonardo numbers is j = 0 n L e j 2 ( t ) = ( 1 + t ) 2 ( F n F n + 3 + ( 1 ) n ) 2 t ( 1 + t ) ( F n + 3 1 ) + t 2 ( n + 1 )
Taking into account that F n + 3 = F n + 1 + F n + 2 , this formula can be simplified as j = 0 n L e j 2 ( t ) = ( ( t + 1 ) F n + 1 2 t ) ( ( t + 1 ) F n + 2 2 t ) + t 2 ( n 1 ) + 2 t
The first few terms of this sequence are
j = 0 n L e j 2 ( t ) = { 1 , 2 , 6 + 4 t + ` t 2 , 15 + 16 t + 5 t 2 , 40 + 56 t + 21 t 2 , }
If, moreover, k = 1 , for the classical Leonardo numbers this last formula becomes j = 0 n L e j 2 = 4 ( F n + 1 1 ) ( F n + 2 1 ) + n + 1 .
The sequence generated is j = 0 n L e j 2 = { 1 , 2 , 11 , 36 , 117 , 342 , 967 , 2648 , 7137 , } that is not indexed in the OEIS.

2.2. Generating Function

We will find the generating function of the sum of the squares of the extended ( k , t ) –Fibonacci numbers from the formula
j = 0 n T 2 ( k , t , j ) = ( k + t ) 2 k 2 j = 0 n F k , j 2 + 2 j = 0 n F k , j F k , j 1 + j = 0 n F k , j 1 2 2 t ( k + t ) k 2 j = 0 n F k , j + j = 0 n F k , j 1 + t 2 k 2 j = 0 n 1
and taking into account the generating function of each addend as indicated in the following relation:
Addend Generating function
j = 0 n F k , j 2 f 1 ( k , x ) = x 1 ( k 2 + 1 ) ( x + x 2 ) + x 3
j = 0 n F k , j 1 F k , j f 2 ( k , x ) = k x 2 ( 1 x ) ( 1 ( k 2 + 1 ) ( x + x 2 ) + x 3 )
j = 0 n F k , j 1 2 f 3 ( k , x ) = 1 ( k 2 + 1 ) x k 2 x 2 ( 1 x ) ( 1 ( k 2 + 1 ) ( x + x 2 ) + x 3 )
j = 0 n F k , j f 4 ( k , x ) = x ( 1 x ) ( 1 k x x 2 )
j = 0 n F k , j 1 f 5 ( k , x ) = 1 k x ( 1 x ) ( 1 k x x 2 )
j = 0 n 1 f 6 ( x ) = 1 ( 1 x ) 2
Proof. 
The three first generating functions are proven in [3,4].
H.S.Wilf demonstrates in [15] that if f ( x ) is the generating function of the sequence { a n } , then 1 1 x f ( x ) is the generating function of the sequence of partial sums j = 0 n a j . As the generating function of the sequence { F k , n } is x 1 k x x 2 [9], the generating functions 4 and 5 are deduced.
Finally, the generating function of the constant sequence { 1 } is 1 1 x , from where f 6 ( x ) . □
So, the generating function of the sequence j = 0 n T 2 ( k , t , j ) is
f [ k , t , x ) = ( k + t ) 2 k 2 f 1 ( k , x ) + 2 f 2 ( k , x ) + f 3 ( k , x ) 2 t ( k + t ) k 2 f 4 ( k , x ) + f 5 ( k , x ) + t 2 k 2 f 6 ( x )
The expansion of the denominator ( 1 ( k 2 + 1 ) ( x + x 2 ) + x 3 ) ( 1 x ) 2 ( 1 k x x 2 ) of this generating function is a polynomial of the seventh degree, so the recurrence relation, although easy to calculate, lacks practical use.
As for the Binet formula, its calculation is much more complex and its practical application lacks the greatest interest due to this complexity.
For these reasons, we will dedicate the next sections to Leonardo numbers.

2.3. Generating Function of the Sum of the Squares of the Generalized t-Leonardo Numbers

We will find the generating function of the generalized t–Leonardo numbers from the equation
j = 0 n L e j 2 ( t ) = ( 1 + t ) 2 j = 0 n F j + 1 2 2 t ( 1 + t ) j = 0 n F j + 1 + j = 0 n t 2
To do this we will take into account the previous table so the generating function of
  • j = 0 n F j + 1 2 is f 1 ( x ) = 1 1 2 ( x + x 2 ) + x 3
  • j = 0 n F j + 1 is f 2 ( x ) = 1 ( 1 x ) ( 1 x x 2 ) = 1 1 2 x + x 3
  • j = 0 n 1 is f 3 ( x ) = 1 ( 1 x ) 2
So, the generating function of the sequence of partial sums j = 0 n L e j 2 ( t ) is
f ( t , x ) = ( 1 + t ) 2 1 2 ( x + x 2 ) + x 3 2 t ( 1 + t ) ( 1 x ) ( 1 x x 2 ) + t 2 ( 1 x ) 2
And for the sequence of the sums of the squares of the classical Leonardo numbers ( t = 1 )
f ( x ) = 1 3 x + 7 x 2 3 x 3 + x 4 x 5 ( 1 x ) 2 ( 1 x x 2 ) ( 1 2 ( x + x 2 ) + x 3 )

2.4. Recurrence Relation for the Sum of the Squares of the Generalized t-Leonardo Numbers

The denominator of the generating function, Equation (5), is
d ( x ) = ( 1 2 ( x + x 2 ) + x 3 ) ( 1 x x 2 ) ( 1 x ) 2 = 1 5 x + 6 x 2 + 4 x 3 10 x 4 + 2 x 5 + 3 x 6 x 7
Then, if { q n ( t ) } = j = 0 n L e j 2 ( t ) , it is verified the recurrence relation q n ( t ) = 5 q n 1 ( t ) 6 q n 2 ( t ) 4 q n 3 ( t ) + 10 q n 4 ( t ) 2 q n 5 ( t ) 3 q n 6 ( t ) + q n 7 ( t ) with the initial conditions the seven first terms of Equation (4).
And for the classical Leonardo numbers it is the same recurrence relation, q n = 5 q n 1 6 q n 2 4 q n 3 + 10 q n 4 2 q n 5 3 q n 6 + q n 7 with the initial conditions { 1 , 2 , 11 , 36 , 117 , 342 , 967 }

3. Sum of the Alternated Squares Extended ( k , t ) –Fibonacci Numbers

The aim of this section is to study the sum j = 0 n ( 1 ) j T j 2 .
If T n = T ( k , t , n ) , the square of Equation (3) is
T n 2 = 1 k 2 ( k + t ) 2 ( F k , n 2 + 2 F k , n F k , n 1 + F k , n 1 2 ) ) 2 t ( k + t ) ( F k , n + F k , n 1 ) + t 2
So,
j = 0 n ( 1 ) j T j 2 = ( k + t ) 2 k 2 j = 0 n ( 1 ) j F k , j 2 + 2 j = 0 n ( 1 ) j F k , j F k , j 1 + j = 0 n ( 1 ) j F k , j 1 2 2 t ( k + t ) k 2 j = 0 n ( 1 ) j F k , j + j = 0 n ( 1 ) j F k , j 1 + t 2 k 2 j = 0 n ( 1 ) j
To find its value we will take into account the following equalities:
S 1 = j = 0 n ( 1 ) j F k , j 2 = 1 k 2 + 4 ( ( 1 ) n F k , 2 n + 1 2 n 1 ) S 2 = j = 0 n ( 1 ) j F k , j F k , j 1 = 1 k 2 + 4 ( ( 1 ) n F k , 2 n + k n ) S 3 = j = 0 n ( 1 ) j F k , j 1 2 = 1 k 2 + 4 ( ( 1 ) n F k , 2 n 1 + k 2 + 2 n + 3 ) S 4 = j = 0 n ( 1 ) j F k , j = 1 k ( ( 1 ) n ( F k , n + 1 F k , n ) 1 ) S 5 = j = 0 n ( 1 ) j F k , j 1 = 1 k ( ( 1 ) n ( F k , n F k , n 1 ) + 1 ) + 1 S 6 = j = 0 n ( 1 ) j ( 1 ) j = ( 1 ) n + 1 2
Proof. 
The first three formulas are demonstrated in a similar way, so we will only prove the first one.
The fourth and fifth are proven in [10].
The last one is obvious.
For the first formula, applying Binet Identity,
j = 0 n ( 1 ) j F k , j 2 = 1 k 2 + 4 j = 0 n ( 1 ) j σ 1 2 j + σ 2 2 j 2 ( 1 ) j = 1 k 2 + 4 j = 0 n ( 1 ) j σ 1 2 j + σ 2 2 j j = 0 n 2 = 1 k 2 + 4 ( 1 ) n σ 1 2 n + 2 + 1 σ 1 2 + 1 + ( 1 ) n σ 2 2 n + 2 + 1 σ 2 2 + 1 2 ( n + 1 ) = 1 ( k 2 + 4 ) 2 ( 1 ) n σ 1 2 n + σ 2 2 + ( 1 ) n σ 1 2 n + 2 + 1 + ( 1 ) n σ 2 2 n + σ 1 2 + ( 1 ) n σ 2 2 n + 2 + 1 2 ( n + 1 ) k 2 + 4 = 1 k 2 + 4 ( ( 1 ) n F k , 2 n + 1 + 1 2 n 2 ) = 1 k 2 + 4 ( ( 1 ) n F k , 2 n + 1 2 n 1 )
Then
S 1 + 2 S 2 + S 3 = 2 k 2 + 4 ( ( 1 ) n F k , 2 n + k n ) + ( 1 ) n F k , n 2 + 1
S 4 + S 5 = ( 1 ) n F k , n + 1
S 6 = ( 1 ) n + 1 2 And finally
j = 0 n ( 1 ) j T j 2 = ( k + t ) 2 k 2 2 k 2 + 4 ( ( 1 ) n F k , 2 n + k n ) + ( 1 ) n F k , n 2 + 1 2 t ( k + t ) k 2 ( ( 1 ) n F k , n + 1 ) + t 2 k 2 ( 1 ) n + 1 2
For the generalized t–Leonardo numbers the sequence generated is
{ 1 , 0 , 4 + 4 t + t 2 , 5 8 t 3 t 2 , 20 + 32 t + 13 t 2 , 44 80 t 36 t 2 , }
In this case
j = 0 n ( 1 ) j L e j 2 ( t ) = ( 1 + t ) 2 2 5 ( ( 1 ) n F 2 n + n ) + ( 1 ) n F n 2 + 1 2 t ( 1 + t ) ( ( 1 ) n F n + 1 ) + t 2 ( 1 ) n + 1 2

3.1. Generating Function

With the help of Mathematica we ave found the recurrence relation into this sequence, u n = 3 u n 1 + 2 u n 2 + 8 u n 3 2 u n 4 6 u n 5 + u n 6 + u n 7 with initial conditions the first six terms of the previous sequence.
And for the classical Leonardo numbers ( t = 1 )
j = 0 n ( 1 ) j L e j 2 = 4 ( 1 ) n 2 5 F 2 n + F n 2 F n + 8 5 n + ( 1 ) n + 1 2 , generating the sequence {1, 0, 9, −16, 65, −160, 465, −1216, 3273, −8608, 22721,…} with the same recurrence relation that in the case of the generalized t–Leonardo numbers but initial conditions { 1 , 0 , 9 , 16 , 65 , 160 , 465 }
As for the Binet formula, just substitute the Binet identity for the k–Fibonacci numbers F k , n = σ 1 n σ 2 n σ 1 σ 2 in the preceding formulas.

4. Conclusions

We have studied the sum of the squares of the extended ( k , t ) –Fibonacci numbers and then the corresponding alternate sum.
Subsequently, the Binet formula, the generating function and the recurrence relation that verify the elements of these sequences have been found.
In both cases, the results have been particularized to Leonardo numbers, both the generalized and the classical ones.
The path is now open to continue research on extended Fibonacci numbers. Among them we can study the behavior of powers greater than 2, the results that can be obtained by applying binomial transformations to them or the study of their prime numbers for determined or arbitrary values of t.

Funding

“This research received no external funding”.

Use of Artificial Intelligence

Author hereby declares that NO generative AI technologies such as Large Language Models (ChatGPT, COPILOT, etc) and text generators have been used during writing of this manuscript.

Conflicts of Interest

Author has declared that no competing interests exist.

References

  1. Alp Y. and Koçer G. Some Properties of Leonardo Numbers, Konuralp Journal of Mathematics 9 (1) (2021), 183 – 189.
  2. Catarino P. and Borges, A. On Leonardo numbers Acta Math. Univ. Comenianae, LXXXIX 1 (2020), 75 – 86.
  3. Falcon, S. , On the sequences of products of the k-Fibonacci Numbers, American Review of Mathematics and Statistics, 2 (1) (2014), 111 –-120.
  4. Falcon S:, On the Generating Functions of the Powers of the k-Fibonacci Numbers, Scholars Journal of Engineering and Technology (SJET), 2 (4C) (2014), 669 – 675.
  5. Falcon, S. On the powers of the k–Fibonacci numbers, Ars Combinatoria. Vol. CXXVII July (2016), 329-–338.
  6. Falcon S., On the extended (k,t)–Fibonacci numbers, Journal of Advances in Mathematics and Computer Science, 39 (7) (2024), 81 – 89. [CrossRef]
  7. Falcon, S. Sums of the extended (k,t)–Fibonacci numbers, Axioms, accepted.
  8. Falcon S. and Plaza A. On the Fibonacci k–numbers, Chaos, Solit. & Fract. 32(5) (2007), 1615–624.
  9. Falcon, S. and Plaza A., The k–Fibonacci sequence and the Pascal 2–triangle, Chaos, Solit. & Fract. 33(1) (2007), 38–49. [CrossRef]
  10. Falcon, S. and Plaza, A,, On the k–Fibonacci numbers of arithmetic indexes. Applied Mathematics and Computation, Elsevier, 208 (1) (2009), 180 – 185. [CrossRef]
  11. V.E. Hoggat, Fibonacci and Lucas numbers. Palo Alto, CA: Houghton-Mifflin; 1969.
  12. A.F. Horadam, A generalized Fibonacci sequence, Math. Mag. 68 (1961). 455–459.
  13. N.J.A. Sloane, The On-Line Encyclopedia of Integer Sequences (2006), www.research.att.com/∼njas/sequences/.
  14. A.A. Ocal, N. A.A. Ocal, N. Tuglu, E. Altinisik, On the representation of k–generalized Fibonacci and Lucas numbers, Appl. Math. Comput., 170(1) (2005), 584–596. [CrossRef]
  15. H.S.Wilf, generatingfunctionolgy, available in https://www2.math.upenn.edu/-w̃ilf/gfology2.pdf.
  16. S. Yang, On the k–generalized Fibonacci numbers and high–order linear recurrence relations, Appl. Math. Comput., 196(2) (2008). 850–857. [CrossRef]
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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated