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 in which each number is the sum of the two previous ones .
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: .
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 –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 , the k–Fibonacci numbers is defined as with initial conditions and
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,
where
and
are the characteristic roots of the relation of the definition. If
, the root
is the golden ratio
, while
is
.
Among other properties, these roots verify , , , .
The sum of the first k–Fibonacci numbers is .
The generating function of the k–Fibonacci numbers is and the negative k–Fibonacci numbers are defined as .
1.2. Leonardo Numbers
A Leonardo number [
1,
2] is defined by mean of the recurrence relation
with initial conditions
and
. The first few terms of the sequence of Leonardo are
, A001595 in the OEIS [
13].
The Leonardo numbers are related to the Fibonacci numbers as
In [
6], we have found a generalization of the Leonardo numbers defined as
with initial conditions
and
. The first few terms of the sequence obtained are
1.3. Extended –Fibonacci Numbers
Let
t be a positive integer number. It defines the extended
–Fibonacci numbers [
6,
7] by mean of the linear non–homogeneus recurrence
with initial conditions
and
.
According to that definition, this sequence is
If
, this sequence takes the form
which can be considered a generalization of Leonardo sequence and it is indicated as
. Later, if
, the classical Leonardo sequence appears.
Extended
–Fibonacci numbers
are related to the
k–Fibonacci numbers by the formula
verify the homogeneous linear recurrence and its generating function is .
On the other hand, the sum of the extended –Fibonacci numbers is given by the formula
For
, the sum of the generalized Leonardo numbers
is
Moreover,
is the generating function of the sequence of partial sums
and its Binet formula is
2. Sum of the Squares of the Extended –Fibonacci Numbers
In this paper we will study the squares of the extended –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
–Fibonacci numbers
.
As
then
So
We will find the sum of these numbers taking into account the following formulas that have been proven in [
3,
5,
8,
9]:
Consequently, if
then
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 , the sum of generalized t–Leonardo numbers is
Taking into account that , this formula can be simplified as
The first few terms of this sequence are
If, moreover, , for the classical Leonardo numbers this last formula becomes .
The sequence generated is 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
–Fibonacci numbers from the formula
and taking into account the generating function of each addend as indicated in the following relation:
Addend |
Generating function |
|
|
|
|
|
|
|
|
|
|
|
|
Proof. The three first generating functions are proven in [
3,
4].
H.S.Wilf demonstrates in [
15] that if
is the generating function of the sequence
, then
is the generating function of the sequence of partial sums
. As the generating function of the sequence
is
[
9], the generating functions 4 and 5 are deduced.
Finally, the generating function of the constant sequence is , from where . □
So, the generating function of the sequence
is
The expansion of the denominator
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
To do this we will take into account the previous table so the generating function of
is
is
is
So, the generating function of the sequence of partial sums
is
And for the sequence of the sums of the squares of the classical Leonardo numbers (
)
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
Then, if
, it is verified the recurrence relation
with the initial conditions the seven first terms of Equation (
4).
And for the classical Leonardo numbers it is the same recurrence relation, with the initial conditions
3. Sum of the Alternated Squares Extended –Fibonacci Numbers
The aim of this section is to study the sum .
If
, the square of Equation (
3) is
So,
To find its value we will take into account the following equalities:
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,
Then
And finally
□
For the generalized
t–Leonardo numbers the sequence generated is
In this case
3.1. Generating Function
With the help of Mathematica we ave found the recurrence relation into this sequence, with initial conditions the first six terms of the previous sequence.
And for the classical Leonardo numbers ()
, 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
As for the Binet formula, just substitute the Binet identity for the k–Fibonacci numbers in the preceding formulas.
4. Conclusions
We have studied the sum of the squares of the extended –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
- Alp Y. and Koçer G. Some Properties of Leonardo Numbers, Konuralp Journal of Mathematics 9 (1) (2021), 183 – 189.
- Catarino P. and Borges, A. On Leonardo numbers Acta Math. Univ. Comenianae, LXXXIX 1 (2020), 75 – 86.
- Falcon, S. , On the sequences of products of the k-Fibonacci Numbers, American Review of Mathematics and Statistics, 2 (1) (2014), 111 â-120.
- 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.
- Falcon, S. On the powers of the k–Fibonacci numbers, Ars Combinatoria. Vol. CXXVII July (2016), 329-â338.
- Falcon S., On the extended (k,t)–Fibonacci numbers, Journal of Advances in Mathematics and Computer Science, 39 (7) (2024), 81 – 89. [CrossRef]
- Falcon, S. Sums of the extended (k,t)–Fibonacci numbers, Axioms, accepted.
- Falcon S. and Plaza A. On the Fibonacci k–numbers, Chaos, Solit. & Fract. 32(5) (2007), 1615–624.
- Falcon, S. and Plaza A., The k–Fibonacci sequence and the Pascal 2–triangle, Chaos, Solit. & Fract. 33(1) (2007), 38–49. [CrossRef]
- Falcon, S. and Plaza, A,, On the k–Fibonacci numbers of arithmetic indexes. Applied Mathematics and Computation, Elsevier, 208 (1) (2009), 180 â 185. [CrossRef]
- V.E. Hoggat, Fibonacci and Lucas numbers. Palo Alto, CA: Houghton-Mifflin; 1969.
- A.F. Horadam, A generalized Fibonacci sequence, Math. Mag. 68 (1961). 455–459.
- N.J.A. Sloane, The On-Line Encyclopedia of Integer Sequences (2006), www.research.att.com/∼njas/sequences/.
- 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]
- H.S.Wilf, generatingfunctionolgy, available in https://www2.math.upenn.edu/-w̃ilf/gfology2.pdf.
- 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. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).