Open Access

On the harmonic and hyperharmonic Fibonacci numbers

Advances in Difference Equations20152015:297

Received: 5 March 2015

Accepted: 4 September 2015

Published: 17 September 2015


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.


harmonic numberhyperharmonic numberharmonic Fibonacci numberhyperharmonic Fibonacci numbermatrix norm



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
$$ H_{n}=\sum_{k=1}^{n} \frac{1}{k}, $$
where \(H_{0}=0\). The nth harmonic number \(H_{n}\) can be expressed as
$$ H_{n}=\frac{ {n+1 \brack 2} }{n!}, $$
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:
$$\begin{aligned}& \sum_{k=1}^{n-1}H_{k} =nH_{n}-n, \end{aligned}$$
$$\begin{aligned}& \sum_{k=1}^{n-1} \binom{k}{m} H_{k} = \binom{n}{m+1} \biggl(H_{n}-\frac{1}{m+1} \biggr), \end{aligned}$$
$$\begin{aligned}& \sum_{k=1}^{n-1}kH_{k} = \frac{n^{\underline{2}}}{2} \biggl(H_{n}-\frac{1}{2} \biggr), \end{aligned}$$
where \(n^{\underline{2}}=n(n-1)\) and m is a nonnegative integer.
In [2], Spivey proved that, for \(n\geq1\),
$$\begin{aligned}& \sum_{k=0}^{n} \binom{n}{k} H_{k} =2^{n} \Biggl(H_{n}-\sum_{k=1}^{n} \frac{1}{k2^{k}} \Biggr), \\& \sum_{k=0}^{n} \binom{n}{k} (-1)^{k}H_{k} =-\frac{1}{n}. \end{aligned}$$
Harmonic numbers have been generalized by many authors [37]. 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:
$$ H_{n}^{(r)}=\sum_{k=1}^{n}H_{k}^{(r-1)}, $$
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:
$$ H_{n}^{(r)}=\binom{n+r-1}{r-1}(H_{n+r-1}-H_{r-1}). $$
In [4], Benjamin et al. gave the following properties of hyperharmonic numbers:
$$\begin{aligned}& H_{n}^{(r)} = \sum_{t=1}^{n} \binom{n+r-t-1}{r-1}\frac{1}{t}, \end{aligned}$$
$$\begin{aligned}& H_{n}^{(r)} = \sum_{t=1}^{n} \binom{n+r-m-t-1}{r-m-1}H_{t}^{(m)}, \end{aligned}$$
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\):
$$ F_{n+2}=F_{n+1}+F_{n} $$
with \(F_{0}=0\), \(F_{1}=1\).
In [8], Dil and Mezö defined hyper-Fibonacci numbers, \(F_{n}^{(r)}\), for positive integer r,
$$ F_{n}^{(r)}=\sum_{k=0}^{n}F_{k}^{(r-1)} $$
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
$$ \mathbb{F}_{n}=\sum_{k=1}^{n} \frac{1}{F_{k}} $$
is no known simple form. Now we present some preliminaries to our study.
In [1], the difference operator of \(f(x)\) is defined as
$$ \Delta f(x)=f(x+1)-f(x). $$
The expression x to the m falling is denoted \(x^{\underline{m}}\). The value of
$$ x^{\underline{m}}=x(x-1) (x-2)\cdots(x-m+1) $$
and it is called the falling power.
The Δ operator has a very interesting property for \(m\geq0\),
$$ \Delta x^{\underline{m}}=mx^{\underline{m-1}}. $$
Analogously, the Δ operator has an inverse, the anti-difference or summation operator ∑ defined as follows. If \(\Delta f(x)=g(x)\) then
$$ \sum_{a}^{b}g(x)\delta_{x}= \sum_{x=a}^{b-1}g(x)=f(b)-f(a). $$
The anti-difference operator ∑ has some properties as follows:
$$ \sum x^{\underline{m}}\delta_{x}=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{ x^{\underline{m+1}}}{m+1 } & \text{if }m\neq-1, \\ H_{x} & \text{if }m=-1 \end{array}\displaystyle \right . $$
$$ \sum_{a}^{b}u(x)\Delta v(x) \delta_{x}= {\bigl.u(x)v(x) \bigr|_{a}^{b+1}}-\sum _{a}^{b}Ev(x)\Delta u(x) \delta_{x}, $$
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,
$$\begin{aligned} \sum_{k=1}^{n-1}H_{k} =&kH_{k}\vert_{1}^{n}-\sum _{1}^{n}(k+1)\frac{1}{k+1}\delta_{k} \\ =&nH_{n}-n. \end{aligned}$$

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
$$ \mathbb{F}_{n}=\sum_{k=1}^{n} \frac{1}{F_{k}}. $$
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
$$ \sum_{k=0}^{n-1}\mathbb{F}_{k}=n \mathbb{F}_{n}-\sum_{k=0}^{n-1} \frac {k+1}{F_{k+1}}. $$


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
$$ \sum_{k=0}^{n-1}\mathbb{F}_{k}=n \mathbb{F}_{n}-\sum_{k=0}^{n-1} \frac {k+1}{F_{k+1}}. $$

Theorem 2

Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number. Then we have
$$ \sum_{k=0}^{n-1} ( \mathbb{F}_{k} ) ^{2}=n\mathbb {F}_{n}^{2}-\sum _{k=0}^{n-1}\frac{k+1}{F_{k+1}} \biggl(2\mathbb {F}_{k}+\frac{1}{F_{k+1}} \biggr) . $$


Let \(u(k)=\mathbb{F}_{k}^{2}\) and \(\Delta v(k)=1\) be as in (6). Then by using (6), we obtain
$$ \sum_{k=0}^{n-1} ( \mathbb{F}_{k} ) ^{2}=n\mathbb {F}_{n}^{2}-\sum _{k=0}^{n-1}\frac{k+1}{F_{k+1}} \biggl(2\mathbb {F}_{k}+\frac{1}{F_{k+1}} \biggr) . $$

Theorem 3

Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number and m be a nonnegative integer, we have
$$ \sum_{k=0}^{n-1}\binom{k}{m} \mathbb{F}_{k}=\binom{n}{m+1}\mathbb {F}_{n}-\sum _{k=0}^{n-1}\binom{k+1}{m+1}\frac{1}{F_{k+1}}. $$


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
$$ \sum_{k=0}^{n-1}\binom{k}{m} \mathbb{F}_{k}=\binom{n}{m+1}\mathbb {F}_{n}-\sum _{k=0}^{n-1}\binom{k+1}{m+1}\frac{1}{F_{k+1}}. $$

Theorem 4

Let \(\mathbb{F}_{n}\) be the nth harmonic Fibonacci number and m be a nonnegative integer. Then we have
$$ \sum_{k=1}^{n-1}k^{\underline{m}} \mathbb{F}_{k}=\frac{n^{\underline {m+1}}}{m+1} \mathbb{F}_{n}-\sum _{k=0}^{n-1}\frac{(k+1)^{\underline {m+1}}}{m+1}\frac{1}{F_{k+1}}. $$


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
$$ \sum_{k=1}^{n-1}k^{\underline{m}} \mathbb{F}_{k}=\frac{n^{\underline {m+1}}}{m+1} \mathbb{F}_{n}-\sum _{k=0}^{n-1}\frac{(k+1)^{\underline {m+1}}}{m+1}\frac{1}{F_{k+1}}. $$

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
$$ \sum_{k=0}^{n-1}\frac{\mathbb{F}_{k}}{k+1}=H_{n} \mathbb{F}_{n}-\sum_{k=0}^{n-1} \frac{H_{k+1}}{F_{k+1}}. $$


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
$$ \sum_{k=0}^{n-1}\frac{\mathbb{F}_{k}}{k+1}=H_{n} \mathbb{F}_{n}-\sum_{k=0}^{n-1} \frac{H_{k+1}}{F_{k+1}}. $$

Corollary 1

$$ \sum_{k=0}^{n-1}\frac{\mathbb{F}_{k}}{k+1}= \frac{{n+1 \brack 2}}{n!}\mathbb{F}_{n}-\sum_{k=0}^{n-1} \frac{{k+2 \brack 2}}{(k+1)!F_{k+1}} . $$


If we take \(H_{n}=\frac{{n+1 \brack 2}}{n!}\) in Theorem 5 the proof can be completed. □

Theorem 6

We have
$$ \sum_{k=0}^{n-1}F_{k-1} \mathbb{F}_{k}=F_{n}\mathbb{F}_{n}-n. $$


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
$$\begin{aligned} \sum_{k=0}^{n-1}F_{k-1} \mathbb{F}_{k} =& F_{n}\mathbb{F}_{n}-\sum _{k=0}^{n-1}k^{\underline{0}} \delta_{k} \\ =& F_{n}\mathbb{F}_{n}-n. \end{aligned}$$

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
$$ \mathbb{F}_{n}^{(r)}=\sum_{k=1}^{n} \mathbb{F}_{k}^{(r-1)} $$
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
$$ \mathbb{F}_{n}^{(1)}=\mathbb{F}_{n}=\sum _{k=1}^{n}\frac {1}{F_{k}}, $$
where \(\mathbb{F}_{n}\) is nth harmonic Fibonacci numbers.

Lemma 1

Hyperharmonic Fibonacci numbers have a recurrence relation as follows:
$$ \mathbb{F}_{n}^{(r)}=\mathbb{F}_{n}^{(r-1)}+ \mathbb{F}_{n-1}^{(r)}. $$


From (8) we have
$$\begin{aligned} \mathbb{F}_{n}^{(r)} =&\sum_{k=1}^{n} \mathbb{F}_{k}^{(r-1)} \\ =&\sum_{k=1}^{n-1}\mathbb{F}_{k}^{(r-1)}+ \mathbb {F}_{n}^{(r-1)} \\ =&\mathbb{F}_{n-1}^{(r)}+\mathbb{F}_{n}^{(r-1)}. \end{aligned}$$

We give an interesting property of hyperharmonic numbers; the same as in (4).

Theorem 7

For \(1\leq i,j\leq n\), we have
$$ \mathbb{F}_{n-i+1}^{(j)}=\sum_{k=i}^{n} \binom{n-k+j-1}{j-1} \frac{1}{F_{k-i+1}}. $$


We begin by recalling the definition of \(\mathbb{F}_{n}^{(r)}\). If we use this definition \(j-1\) times, we get
$$\begin{aligned} \begin{aligned} \mathbb{F}_{n-i+1}^{(j)} &=\sum_{k=1}^{n-i+1} \mathbb {F}_{k}^{(j-1)} \\ &=\sum_{k_{j}=1}^{n-i+1}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac{1}{F_{k_{1}}}. \end{aligned} \end{aligned}$$
We use induction on n to obtain
$$ \sum_{k_{j}=1}^{n-i+1}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac{1}{F_{k_{1}}}=\sum_{k=i}^{n} \binom {n-k+j-1}{j-1}\frac{1}{F_{k-i+1}}. $$
Clearly it is true for \(n=1\). Suppose it is true for some \(n>1\), then using the induction hypothesis, we have
$$\begin{aligned} \sum_{k_{j}=1}^{n-i+2}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac{1}{F_{k_{1}}} =&\sum_{k_{j}=1}^{n-i+1}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum _{k_{1}=1}^{k_{2}}\frac {1}{F_{k_{1}}}+\sum _{k_{j-1}=1}^{n-i+2} \sum_{k_{j-2}=1}^{k_{j-1}} \cdots\sum_{k_{1}=1}^{k_{2}}\frac{1}{F_{k_{1}}} \\ =&\sum_{k_{j}=1}^{n-i+1}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac{1}{F_{k_{1}}}+\sum_{k_{j-1}=1}^{n-i+1} \sum _{k_{j-2}=1}^{k_{j-1}}\cdots\sum _{k_{1}=1}^{k_{2}}\frac{1}{F_{k_{1}}} \\ &{}+\sum_{k_{j-2}=1}^{n-i+2}\sum _{k_{j-3}=1}^{k_{j-2}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac{1}{F_{k_{1}}} \\ =&\sum_{k_{j}=1}^{n-i+1}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac {1}{F_{k_{1}}}+\sum_{k_{j-1}=1}^{n-i+1} \sum _{k_{j-2}=1}^{k_{j-1}}\cdots\sum _{k_{1}=1}^{k_{2}}\frac{1}{F_{k_{1}}} +\cdots \\ &{}+\sum_{k_{2}=1}^{n-i+1}\sum _{k_{1}=1}^{k_{2}}\frac{1}{F_{k_{1}}}+\sum _{k_{1}=1}^{n-i+2}\frac {1}{F_{k_{1}}} \\ =&\sum_{k_{j}=1}^{n-i+1}\sum _{k_{j-1}=1}^{k_{j}}\cdots\sum_{k_{1}=1}^{k_{2}} \frac {1}{F_{k_{1}}}+\sum_{k_{j-1}=1}^{n-i+1} \sum _{k_{j-2}=1}^{k_{j-1}}\cdots\sum _{k_{1}=1}^{k_{2}}\frac{1}{F_{k_{1}}} +\cdots \\ &{}+\sum_{k_{2}=1}^{n-i+1}\sum _{k_{1}=1}^{k_{2}}\frac{1}{F_{k_{1}}}+\sum _{k_{1}=1}^{n-i+1}\frac {1}{F_{k_{1}}}+\frac{1}{F_{n-i+2}} \\ =&\sum_{k=i}^{n}\frac {1}{F_{k-i+1}} \biggl[ \binom{n-k+j-1}{j-1}+\binom{n-k+j-2}{j-2}+\cdots +\binom{n-k}{0} \biggr] \\ &{}+\frac{1}{F_{n-i+2}} \\ =&\sum_{k=i}^{n}\frac{1}{F_{k-i+1}} \binom{n-k+j}{j-1}+\frac{1}{F_{n-i+2}} \\ =&\sum_{k=i}^{n+1}\binom{n-k+j}{j-1} \frac{1}{F_{k-i+1}}. \end{aligned}$$
Finally we obtain
$$ \mathbb{F}_{n-i+1}^{(j)}=\sum_{k=i}^{n} \binom{n-k+j-1}{j-1}\frac{1}{F_{k-i+1}}. $$

Corollary 2

We have
$$ \mathbb{F}_{n}^{(r)}=\sum_{k=1}^{n} \binom{n-k+r-1}{r-1}\frac {1}{F_{k}}. $$


By putting \(i=1\) and \(j=r\) in Theorem 7, one has
$$ \mathbb{F}_{n}^{(r)}=\sum_{k=1}^{n} \binom{n-k+r-1}{r-1}\frac {1}{F_{k}}. $$

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
$$ \mathbb{F}_{n}^{(r+s)}=\sum_{t=1}^{n} \binom{n-t+r-1}{r-1}\mathbb {F}_{t}^{(s)} . $$


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,
$$\begin{aligned} \mathbb{F}_{n+1}^{(r+s)} =&\mathbb{F}_{n+1}^{(r+s-1)}+ \mathbb {F}_{n}^{(r+s)} \\ =&\mathbb{F}_{n+1}^{(r+s-2)}+\mathbb {F}_{n}^{(r+s-1)}+ \mathbb{F}_{n}^{(r+s)} \\ &\vdots \\ =&\mathbb{F}_{n+1}^{(s)}+\mathbb{F}_{n}^{(s+1)}+ \cdots+\mathbb {F}_{n}^{(r+s-1)}+\mathbb{F}_{n}^{(r+s)} \\ =&\mathbb {F}_{n+1}^{(s)}+\sum_{t=1}^{n} \biggl[ \binom{n-t}{0}+\binom {n-t+1}{1}+\cdots+\binom{n-r-t-1}{r-1} \biggr] \mathbb{F}_{t}^{(s)} \\ =&\mathbb{F}_{n+1}^{(s)}+\sum_{t=1}^{n} \binom{n-t+r}{r-1}\mathbb {F}_{t}^{(s)} \\ =&\sum_{t=1}^{n+1}\binom{n-t+r}{r-1} \mathbb{F}_{t}^{(s)}. \end{aligned}$$
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
$$ C_{n}^{(r)}= \begin{pmatrix} \mathbb{F}_{n}^{(r)} & \mathbb{F}_{n}^{(r+1)} & \cdots & \mathbb {F}_{n}^{(r+n-1)} \\ \mathbb{F}_{n-1}^{(r)} & \mathbb{F}_{n-1}^{(r+1)} & \cdots & \mathbb {F}_{n-1}^{(r+n-1)} \\ \vdots & \vdots & \cdots & \vdots \\ \mathbb{F}_{1}^{(r)} & \mathbb{F}_{1}^{(r+1)} & \cdots & \mathbb{F}_{1}^{(r+n-1)} \end{pmatrix} , $$
where \(\mathbb{F}_{n}^{(r)}\) is the nth hyperharmonic Fibonacci number. Let
$$ A= \begin{pmatrix} 1 & 1 & \cdots & 1 \\ 0 & 1 & \cdots & 1 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & 1 \end{pmatrix} $$
be an \(n\times n\) upper triangle matrix. In [3], Bahsi and Solak show that \(A^{r}=(b_{ij})_{n\times n}\), where
$$ b_{ij}= \left \{ \textstyle\begin{array}{l@{\quad}l} \binom{j-i+r-1}{r-1} & \text{if }i\leq j, \\ 0 & \text{otherwise}. \end{array}\displaystyle \right . $$
From the matrix multiplication one obtains
$$ C_{n}^{(r+s)}=A^{r}C_{n}^{(s)}. $$
Hence the element of \(( C_{n}^{(r+s)} ) _{11}\) is
$$\begin{aligned} \mathbb{F}_{n}^{(r+s)} =&\sum_{j=1}^{n}b_{1j} \mathbb {F}_{n-j+1}^{(s)} \\ =&\sum_{j=1}^{n}\binom{j+r-2}{r-1} \mathbb{F}_{n-j+1}^{(s)} \\ =&\sum_{t=1}^{n}\binom{n-t+r-1}{r-1} \mathbb{F}_{t}^{(s)}. \end{aligned}$$

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 [1215].

Let \(A=(a_{ij})\) be any \(m\times n\) complex matrix. The Euclidean norm and the spectral norm of the matrix A are, respectively,
$$ \Vert A\Vert _{E}= \Biggl(\sum_{i=1}^{m} \sum_{j=1}^{n}\vert a_{ij}\vert ^{2} \Biggr) ^{\frac{1}{2}} $$
$$ \Vert A\Vert _{2}=\sqrt{\max_{1\leq i\leq n}\bigl\vert \lambda_{i}\bigl(A^{H}A\bigr)\bigr\vert }, $$
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:
$$ \Vert A\Vert _{2}\leq \Vert A\Vert _{E}\leq\sqrt {n}\Vert A\Vert _{2}. $$
By a circulant matrix of order n is meant a square matrix of the form
$$ C=\operatorname{Circ}(c_{0},c_{1},\ldots,c_{n-1})= \begin{pmatrix} c_{0} & c_{1} & c_{2} & \cdots & c_{n-1} \\ c_{n-1} & c_{0} & c_{1} & \cdots & c_{n-2} \\ \vdots & \vdots & \vdots & & \vdots \\ c_{1} & c_{2} & c_{3} & \cdots & c_{0}\end{pmatrix} . $$

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
$$ \Vert C_{1}\Vert _{E}= \Biggl[ n^{2} \mathbb{F}_{n}^{2}-n\sum_{k=0}^{n-1} \frac{k+1}{F_{k+1}} \biggl( 2\mathbb{F}_{k}+\frac {1}{F_{k+1}} \biggr) \Biggr] ^{\frac{1}{2}}. $$


From the definition of the Euclidean norm, we have
$$ \Vert C_{1}\Vert _{E}^{2}=n\sum _{k=0}^{n-1}\mathbb {F}_{k}^{2}. $$
Then by using (7), we have
$$ \Vert C_{1}\Vert _{E}= \Biggl[ n^{2} \mathbb{F}_{n}^{2}-n\sum_{k=0}^{n-1} \frac{k+1}{F_{k+1}} \biggl( 2\mathbb{F}_{k}+\frac {1}{F_{k+1}} \biggr) \Biggr] ^{\frac{1}{2}}. $$

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
$$ \Vert C_{1}\Vert _{2}=n\mathbb{F}_{n}-\sum _{k=0}^{n-1}\frac {k+1}{F_{k+1}}. $$


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
$$ C_{1}\upsilon= \Biggl( \sum_{k=0}^{n-1} \mathbb{F}_{k} \Biggr) \upsilon. $$
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
$$ \Vert C_{1}\Vert _{2}=n\mathbb{F}_{n}-\sum _{k=0}^{n-1}\frac {k+1}{F_{k+1}}. $$

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
$$ \Vert C_{2}\Vert _{2}=\mathbb{F}_{n-1}^{(r+1)}. $$


An analysis similar to that in the proof of Theorem 10 shows that
$$ \Vert C_{2}\Vert _{2}=\sum _{k=0}^{n-1}\mathbb {F}_{k}^{(r)}. $$
From the definition of hyperharmonic Fibonacci numbers, we have
$$ \Vert C_{2}\Vert _{2}=\mathbb{F}_{n-1}^{(r+1)}. $$

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
$$ \mathbb{F}_{n-1}^{(r+1)}\leq \Vert C_{2}\Vert _{E}\leq\sqrt {n} \mathbb{F}_{n-1}^{(r+1)}. $$


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
$$ \frac{1}{\sqrt{n}} \mathbb{F}_{n-1}^{(r+1)}\leq\sqrt{ \sum_{k=0}^{n-1} \bigl(\mathbb{F}_{k}^{(r)} \bigr) ^{2}}\leq\mathbb {F}_{n-1}^{(r+1)}. $$


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.



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.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Authors’ Affiliations

Department of Mathematics, Gazi University
Department of Mathematics, Bülent Ecevit University


  1. Graham, R, Knuth, D, Patashnik, K: Concrete Mathematics. Addison-Wesley, Reading (1989) MATHGoogle Scholar
  2. Spivey, MZ: Combinatorial sums and finite differences. Discrete Math. 307, 3130-3146 (1975) MathSciNetView ArticleGoogle Scholar
  3. Bahsi, M, Solak, S: An application of hyperharmonic numbers in matrices. Hacet. J. Math. Stat. 42, 387-393 (2013) MathSciNetMATHGoogle Scholar
  4. Benjamin, AT, Gaebler, D, Gaebler, R: A combinatorial approach to hyperharmonic numbers. Integers 3, A15 (2003) MathSciNetGoogle Scholar
  5. Conway, JH, Guy, RK: The Book of Numbers. Springer, New York (1996) View ArticleMATHGoogle Scholar
  6. Kronenburg, MJ: Some generalized harmonic number identities. arXiv:1103.5430
  7. Cheon, GS, Mikkawy, MEA: Generalized harmonic number identities and a related matrix representation. J. Korean Math. Soc. 44, 487-498 (2007) MathSciNetView ArticleMATHGoogle Scholar
  8. Dil, A, Mezö, I: A symmetric algorithm for hyperharmonic and Fibonacci numbers. Appl. Math. Comput. 206, 942-951 (2008) MathSciNetView ArticleMATHGoogle Scholar
  9. Ohtsuka, H, Nakamura, S: On the sum of reciprocal Fibonacci numbers. Fibonacci Q. 46/47, 153-159 (2008/2009) Google Scholar
  10. Holiday, S, Komatsu, T: On the sum of reciprocal generalized Fibonacci numbers. Integers 11, 441-455 (2011) MathSciNetGoogle Scholar
  11. Rabinowitz, S: Algorithmic summation of reciprocals of products of Fibonacci numbers. Fibonacci Q. 37, 122-127 (1999) MathSciNetMATHGoogle Scholar
  12. İpek A: On the spectral norms of circulant matrices with classical Fibonacci and Lucas numbers entries. Appl. Math. Comput. 217, 6011-6012 (2011) MathSciNetView ArticleMATHGoogle Scholar
  13. 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) MathSciNetView ArticleMATHGoogle Scholar
  14. Bozkurt, D: On the spectral norms of the matrices connected to integer number sequences. Appl. Math. Comput. 219, 6576-6579 (2013) MathSciNetView ArticleMATHGoogle Scholar
  15. Kocer, EG, Mansour, T, Tuglu, N: Norms of circulant and semicirculant matrices with Horadam’s numbers. Ars Comb. 85, 353-359 (2007) MathSciNetMATHGoogle Scholar


© Tuglu et al. 2015