Abstract
In this paper, we study the theory of the harmonic and the hyperharmonic Fibonacci numbers. Also, we get some combinatoric identities like as harmonic and hyperharmonic numbers and we obtain some useful formulas for \(\mathbb{F}_{n}\), which is concerned with finite sums of reciprocals of Fibonacci numbers. We obtain the spectral and Euclidean norms of circulant matrices involving harmonic and hyperharmonic Fibonacci numbers.
Similar content being viewed by others
1 Introduction
The harmonic numbers have many applications in combinatorics and other areas. Many authors have studied these numbers. The nth harmonic number, \(H_{n}\), is defined by
where \(H_{0}=0\). The nth harmonic number \(H_{n}\) can be expressed as
where \({n \brack k}\) denotes the Stirling number of the first kind, counting the permutations of n elements that are the product of k disjoint cycles.
Several interesting properties of harmonic numbers can be found in [1]. For \(n\geq1\), some of them are the following:
where \(n^{\underline{2}}=n(n-1)\) and m is a nonnegative integer.
In [2], Spivey proved that, for \(n\geq1\),
Harmonic numbers have been generalized by many authors [3–7]. In [5], Conway and Guy defined the nth hyperharmonic number of order r, \(H_{n}^{(r)}\) for \(n,r\geq1\) by the following recurrence relations:
where \(H_{n}^{(0)}=\frac{1}{n}\) and \(H_{n}^{(1)}=H_{n}\) is the nth ordinary harmonic number.
Furthermore, these numbers can be expressed by binomial coefficients and ordinary harmonic numbers [5], as follows:
In [4], Benjamin et al. gave the following properties of hyperharmonic numbers:
where \(0\leq m\leq r-1\). In [3], Bahsi and Solak defined a special matrix whose entries are hyperharmonic numbers and gave some properties of this matrix.
The Fibonacci sequence is defined by the following recurrence relation, for \(n\geq0\):
with \(F_{0}=0\), \(F_{1}=1\).
In [8], Dil and Mezö defined hyper-Fibonacci numbers, \(F_{n}^{(r)}\), for positive integer r,
with \(F_{n}^{(0)}=F_{n}\), \(F_{0}^{(r)}=0\), and \(F_{1}^{(r)}=1\). Moreover, the authors obtained some properties of these numbers.
In [9], Ohtsuka and Nakamura studied the partial infinite sums of reciprocals Fibonacci numbers and the reciprocal of the square of the Fibonacci numbers. Holiday and Komatsu generalized their results in [10].
The important point to note here is the form of finite sums of reciprocals Fibonacci numbers. In [11], Rabinowitz pointed out that
is no known simple form. Now we present some preliminaries to our study.
In [1], the difference operator of \(f(x)\) is defined as
The expression x to the m falling is denoted \(x^{\underline{m}}\). The value of
and it is called the falling power.
The Δ operator has a very interesting property for \(m\geq0\),
Analogously, the Δ operator has an inverse, the anti-difference or summation operator ∑ defined as follows. If \(\Delta f(x)=g(x)\) then
The anti-difference operator ∑ has some properties as follows:
and
where \(Ev(x)=v(x+1)\) [1].
In [1] the authors use a property of the finite difference operator to show the validity of the identity (1) as follows.
Let \(u(k)=H_{k}\) and \(\Delta v(k)=1\) be as in (6). Then they obtain \(\Delta u(k)=\frac{1}{k+1}\) and \(v(k)=k\). Therefore,
In this paper, inspired by the definition of a harmonic number, we introduce harmonic Fibonacci numbers and give various identities for these numbers by using the difference operator. Moreover, we introduce hyperharmonic Fibonacci numbers and present some certain properties of them; the same as hyperharmonic numbers. Finally, we obtain the spectral and the Euclidean norms of circulant matrices with harmonic and hyperharmonic Fibonacci numbers.
2 Harmonic Fibonacci numbers and some combinatorial properties
In this section, we investigate various properties of \(\mathbb{F}_{n}\); finite sums of the reciprocals of the Fibonacci numbers are defined as
Here and subsequently we call it the nth harmonic Fibonacci number. Now we state some theorems related to harmonic Fibonacci numbers.
Theorem 1
Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number. Then we have
Proof
Our proof starts with the observation of a property of the difference operator. Let \(u(k)=\mathbb{F}_{k}\) and \(\Delta v(k)=1\) be as in (6). Then we obtain \(\Delta u(k)=\frac{1}{F_{k+1}}\), \(v(k)=k\) and \(Ev(k)=k+1\). Hence, we have
□
Theorem 2
Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number. Then we have
Proof
Let \(u(k)=\mathbb{F}_{k}^{2}\) and \(\Delta v(k)=1\) be as in (6). Then by using (6), we obtain
□
Theorem 3
Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number and m be a nonnegative integer, we have
Proof
Let \(u(k)=\mathbb{F}_{k}\) and \(\Delta v(k)=\binom{k}{m}\) be as in (6). Then we obtain \(\Delta u(k)=\frac{1}{F_{k+1}}\), \(v(k)=\binom {k}{m+1}\), and \(Ev(k)=\binom{k+1}{m+1}\). By using (6), we have
□
Theorem 4
Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number and m be a nonnegative integer. Then we have
Proof
Let \(u(k)=\mathbb{F}_{k}\) and \(\Delta v(k)=k^{\underline{m}}\) be as in (6). Then we get \(\Delta u(k)=\frac{1}{F_{k+1}}\), \(v(k)=\frac{k^{\underline{m+1}}}{m+1}\), and \(Ev(k)=\frac {(k+1)^{\underline{m+1}}}{m+1}\). With the aid of (6), we have
□
The following theorem gives the relationship between harmonic numbers and harmonic Fibonacci numbers.
Theorem 5
Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number, we have
Proof
Let \(u(k)=\mathbb{F}_{k}\) and \(\Delta v(k)=\frac{1}{k+1}\) be as in (6). Then we obtain \(\Delta u(k)=\frac{1}{F_{k+1}}\), \(v(k)=H_{k}\), and \(Ev(k)=H_{k+1}\). By using (6), we have
□
Corollary 1
Proof
If we take \(H_{n}=\frac{{n+1 \brack 2}}{n!}\) in Theorem 5 the proof can be completed. □
Theorem 6
We have
Proof
Let \(u(k)=\mathbb{F}_{k}\) and \(\Delta v(k)=F_{k-1}\) be as in (6). Then we obtain \(\Delta u(k)=\frac{1}{F_{k+1}}\), \(v(k)=F_{k}\), and \(Ev(k)=F_{k+1}\). By using (6), we have
□
3 Hyperharmonic Fibonacci numbers
In this section, hyperharmonic Fibonacci numbers will be defined having used a similarity and affiliation between harmonic numbers and hyperharmonic numbers with the help of harmonic Fibonacci numbers. Now we define \(\mathbb{F}_{n}^{(r)}\), the hyperharmonic Fibonacci numbers of order r.
Definition 1
Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number. For \(n,r\geq1\) hyperharmonic Fibonacci numbers are defined by
with \(\mathbb{F}_{n}^{(0)}=\frac{1}{F_{n}}\) and \(\mathbb {F}_{0}^{(k)}=0\) for \(k\geq0\).
In particular for \(r=1\) we get
where \(\mathbb{F}_{n}\) is nth harmonic Fibonacci numbers.
Lemma 1
Hyperharmonic Fibonacci numbers have a recurrence relation as follows:
Proof
From (8) we have
□
We give an interesting property of hyperharmonic numbers; the same as in (4).
Theorem 7
For \(1\leq i,j\leq n\), we have
Proof
We begin by recalling the definition of \(\mathbb{F}_{n}^{(r)}\). If we use this definition \(j-1\) times, we get
We use induction on n to obtain
Clearly it is true for \(n=1\). Suppose it is true for some \(n>1\), then using the induction hypothesis, we have
Finally we obtain
□
Corollary 2
We have
Proof
By putting \(i=1\) and \(j=r\) in Theorem 7, one has
□
At this point, we express \(\mathbb{F}_{n}^{(r+s)}\) in terms of \(\mathbb {F}_{1}^{(s)},\mathbb{F}_{2}^{(s)},\ldots,\mathbb{F}_{n}^{(s)}\) with the following theorem.
Theorem 8
For \(r\geq1\) and \(s\geq0\) we have
Proof
We prove this by induction on n. Clearly it is true for \(n=1\). Assuming (10) to hold for \(n>1\), we will prove it for \(n+1\). Thus,
Thus the proof is completed by the mathematical induction. □
Another proof
Let \(C_{n}^{(r)}\) be the \(n\times n\) matrix which is defined by
where \(\mathbb{F}_{n}^{(r)}\) is the nth hyperharmonic Fibonacci number. Let
be an \(n\times n\) upper triangle matrix. In [3], Bahsi and Solak show that \(A^{r}=(b_{ij})_{n\times n}\), where
From the matrix multiplication one obtains
Hence the element of \(( C_{n}^{(r+s)} ) _{11}\) is
□
4 An application of harmonic and hyperharmonic Fibonacci numbers in circulant matrices
In this section, we will give some applications on matrix norms of harmonic Fibonacci and hyperharmonic Fibonacci numbers. Recently, there have been many papers on the norms of circulant matrices with special numbers [12–15].
Let \(A=(a_{ij})\) be any \(m\times n\) complex matrix. The Euclidean norm and the spectral norm of the matrix A are, respectively,
and
where \(\lambda_{i}(A^{H}A)\) is an eigenvalue of \(A^{H}A\) and \(A^{H}\) is the conjugate transpose of the matrix A. Then the following inequality holds:
By a circulant matrix of order n is meant a square matrix of the form
Theorem 9
Let \(C_{1}=\operatorname{Circ} (\mathbb{F}_{0},\mathbb{F}_{1},\mathbb {F}_{2},\ldots,\mathbb{F}_{n-1} )\) be an \(n\times n\) circulant matrix. The Euclidean norm of \(C_{1}\) is
Proof
From the definition of the Euclidean norm, we have
Then by using (7), we have
□
For the proof of the following theorem, we use the same method as in [12].
Theorem 10
Let \(C_{1}=\operatorname{Circ} (\mathbb{F}_{0},\mathbb{F}_{1},\mathbb {F}_{2},\ldots,\mathbb{F}_{n-1} )\) be an \(n\times n\) circulant matrix. The spectral norm of \(C_{1}\) is
Proof
Since the circulant matrices are normal, the spectral norm of the circulant \(C_{1}\) is equal to its spectral radius. Furthermore, \(C_{1}\) is irreducible and its entries are nonnegative, we see that the spectral radius of the matrix \(C_{1}\) is equal to its Perron root. Let υ be a vector with all components 1. Then
Obviously, \(\sum_{k=0}^{n-1}\mathbb{F}_{k}\) is an eigenvalue of \(C_{1}\). Corresponding to a positive eigenvector, it must be the Perron root of the matrix \(C_{1}\). Hence from Theorem 1, we have
□
Theorem 11
Let \(C_{2}=\operatorname{Circ} (\mathbb{F}_{0}^{(r)},\mathbb{F}_{1}^{(r)},\mathbb {F}_{2}^{(r)},\ldots,\mathbb{F}_{n-1}^{(r)} )\) be an \(n\times n\) circulant matrix. The spectral norm of \(C_{2}\) is
Proof
An analysis similar to that in the proof of Theorem 10 shows that
From the definition of hyperharmonic Fibonacci numbers, we have
□
Corollary 3
For the Euclidean norm of the matrix \(C_{2}=\operatorname{Circ} (\mathbb {F}_{0}^{(r)},\mathbb{F}_{1}^{(r)},\mathbb{F}_{2}^{(r)},\ldots,\mathbb {F}_{n-1}^{(r)} )\), we have
Proof
The proof is trivial from Theorem 11 and the relation between the spectral norm and the Euclidean norm in (11). □
Corollary 4
For the sum of the squares of hyperharmonic Fibonacci numbers, we have
Proof
It is easily seen from the definition of the Euclidean norm and Corollary 3. □
5 Conclusion
Our results can be applied to any linear recurrence sequences by using a similar method; for example, Lucas numbers, Pell numbers, Horadam numbers, generalized Fibonacci p-numbers.
References
Graham, R, Knuth, D, Patashnik, K: Concrete Mathematics. Addison-Wesley, Reading (1989)
Spivey, MZ: Combinatorial sums and finite differences. Discrete Math. 307, 3130-3146 (1975)
Bahsi, M, Solak, S: An application of hyperharmonic numbers in matrices. Hacet. J. Math. Stat. 42, 387-393 (2013)
Benjamin, AT, Gaebler, D, Gaebler, R: A combinatorial approach to hyperharmonic numbers. Integers 3, A15 (2003)
Conway, JH, Guy, RK: The Book of Numbers. Springer, New York (1996)
Kronenburg, MJ: Some generalized harmonic number identities. ar**v:1103.5430
Cheon, GS, Mikkawy, MEA: Generalized harmonic number identities and a related matrix representation. J. Korean Math. Soc. 44, 487-498 (2007)
Dil, A, Mezö, I: A symmetric algorithm for hyperharmonic and Fibonacci numbers. Appl. Math. Comput. 206, 942-951 (2008)
Ohtsuka, H, Nakamura, S: On the sum of reciprocal Fibonacci numbers. Fibonacci Q. 46/47, 153-159 (2008/2009)
Holiday, S, Komatsu, T: On the sum of reciprocal generalized Fibonacci numbers. Integers 11, 441-455 (2011)
Rabinowitz, S: Algorithmic summation of reciprocals of products of Fibonacci numbers. Fibonacci Q. 37, 122-127 (1999)
İpek A: On the spectral norms of circulant matrices with classical Fibonacci and Lucas numbers entries. Appl. Math. Comput. 217, 6011-6012 (2011)
Bahsi, M, Solak, S: On the norms of r-circulant matrices with the hyper-Fibonacci and Lucas numbers. J. Math. Inequal. 8, 693-705 (2014)
Bozkurt, D: On the spectral norms of the matrices connected to integer number sequences. Appl. Math. Comput. 219, 6576-6579 (2013)
Kocer, EG, Mansour, T, Tuglu, N: Norms of circulant and semicirculant matrices with Horadam’s numbers. Ars Comb. 85, 353-359 (2007)
Acknowledgements
The authors are grateful to anonymous referees and the associate editor for their careful reading, helpful comments and constructive suggestions, which improved the presentation of the results.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors contributed to each part of this work equally and read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tuglu, N., Kızılateş, C. & Kesim, S. On the harmonic and hyperharmonic Fibonacci numbers. Adv Differ Equ 2015, 297 (2015). https://doi.org/10.1186/s13662-015-0635-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0635-z