[go: up one dir, main page]

Skip to content
BY-NC-ND 3.0 license Open Access Published by De Gruyter Open Access April 23, 2017

Binomials transformation formulae for scaled Fibonacci numbers

  • Edyta Hetmaniok EMAIL logo , Bożena Piątek and Roman Wituła
From the journal Open Mathematics

Abstract

The aim of the paper is to present the binomial transformation formulae of Fibonacci numbers scaled by complex multipliers. Many of these new and nontrivial relations follow from the fundamental properties of the so-called delta-Fibonacci numbers defined by Wituła and Słota. The paper contains some original relations connecting the values of delta-Fibonacci numbers with the respective values of Chebyshev polynomials of the first and second kind.

MSC 2010: llB39; llB83

1 lntroduction

Wituła and Słota in [1] defined the δ-Fibonacci numbers an(δ), bn(δ), n ∈ ℕ0 := ℕ ∪ {0} in the following way

(11+52δ)n=an(δ)1+52bn(δ),δC,nN0, (1)

or equivalently by the relation

(1+512δ)n=an(δ)+512bn(δ),δC,nN0. (2)

From this, one can easily conclude that

a0(δ)=1,b0(δ)=0,

an+1(δ)bn+1(δ)=1δδ1δan(δ)bn(δ),nN0 (3)

and next, the following recurrence relations hold true

an+2(δ)=(2δ)an+1(δ)+(δ2+δ1)an(δ), (4)

bn+2(δ)=(2δ)bn+1(δ)+(δ2+δ1)bn(δ), (5)

for every n ∈ ℕ0. We note that a1(δ) = 1 and b1(δ) = δ.

We note also that δ-Fibonacci numbers are the simplest members of the family of the quasi-Fibonacci numbers of (k-th, δ-as) order (see [13] and the references therein). So the following natural question arises: does there exist some algebraic relation connecting an(δ) and bn(δ), n ∈ ℕ0, δ ∈ ℂ, with the Fibonacci numbers? The answer is positive. There exist two basic relations of such type resulting from two following fundamental properties of an(δ) and bn(δ) (see formulae (1. 1), (3. 14), (3. 15), (5.6), (5.7) in [1]):

an(1)=Fn+1,bn(1)=Fn, (6)

and

an(δ)=k=0nnkFk1(δ)k=k=0nnkFk+1(1δ)nkδk, (7)

bn(δ)=k=1nnk(1)k1Fkδk=k=1nnkFk(1δ)nkδk, (8)

for every n ∈ ℕ0. We note that one can easily verify all relations (6)-(8) by induction (on the basis of recurrence relations (4) and (5)).

Moreover, it follows from (7) and (8) that the sequences {an(δ)}n=0and{bn(δ)}n=0 are the binomial transformation (denoted for shortness by Binom(⋅)) of sequences {Fk1(δ)k}k=0and{Fk(δ)k}k=0, respectively. Similarly, we have

{an(δ)(1δ)n}n=0=Binom({Fk+1(δ1δ)k}k=0)

and

{bn(δ)(1δ)n}n=0=Binom({Fk(δ1δ)k}k=0).

We note also that, after [4], from (7) and (8) one can derive the generating functions A(x; δ) and B(x; δ) of {an(δ)}n=0and{bn(δ)}n=0 , respectively. For example, we obtain

B(x;δ)=11(1δ)xF(δx1(1δ)x)=δx(1δδ2)x2+(δ2)x+1,

where F(x)=x1xx2 is the generating function of the Fibonacci numbers. However, with regard to the length of our paper, we will not make use of the functions A(x; δ) and B(x; δ) as the alternative sources for deriving the presented here formulae.

Reflections

The δ-Fibonacci numbers [1] and the δ-Lucas numbers [5] represent the simplest ”quasi-Fibonacci” numbers of any order defined by R. Wituła and D. Słota (see [1, 2, 5, 6] and the references therein), which in fact are the recursively defined polynomials of the respective order. The above numbers have been introduced so that their definitions indicate an easy way for generating many standard identities for these numbers (including the sums of powers, the sums of the respective scalar products). Relations defining the quasi-Fibonacci numbers constitute the ”platform” for discussing the recursively defined sequences, alternative for Binet’s formulae or generating functions — very effective platform, according to us. It is worth to emphasize that all the quasi-Fibonacci numbers seem to exist independently of the background of the recurrence sequences discussed in literature.

Since the δ-Fibonacci numbers and the δ-Lucas numbers are in fact the binomial transformations of the scaled sequences of Fibonacci and Lucas numbers, thus in some moment we realized that it would be welcome, for emphasizing the meaning of these numbers, to have at our disposal the general formulae for δ-Fibonacci numbers and δ-Lucas numbers for “the most generally expressed” parameters δ from the set of complex numbers. So, these are the roots of this work.

2 Main results

First we will show relations between the special cases of δ-Fibonacci numbers for complex values of δ and the Fibonacci and Lucas numbers.

Theorem 2.1

Let δ=12(1+i5tanφ)andφπ2(2Z+1). Then

bn(δ)=(52cosφ)n×[FnTn(cosφ)+i55LnsinφUn1(cosφ)],forevennN0,[55LnTn(cosφ)+iFnsinφUn1(cosφ)],foroddnN, (9)

where Tn and Un are the n-th Chebyshev polynomials of the first and second kind, respectively.

Indeed, we get

5bn(12(1+i5tanφ))=(15121+i5tanφ2)n(1+5+121+i5tanφ2)n=(14(55i(51)5tanφ))n(14(5+5+i(5+1)5tanφ))n=(52βeiφcosφ)n(52αeiφcosφ)n=(52cosφ)n[(β)neinφαneinφ]=(52cosφ)n[((β)nαn)cosnφi(αn+(β)n)sinnφ]=(52cosφ)n×[5FncosnφiLnsinnφ],forevennN0,[Lncosnφi5Fnsinnφ],foroddnN,

where we set (and these notations hold in the entire paper):

α:=1+52,β:=152

(α denotes the golden ratio) and where we used the Binet’s formulae for the Fibonacci and Lucas numbers, respectively

Fn=αnβn5,Ln=αn+βn,n=0,1,2,...

Similarly we obtain the following theorem.

Theorem 2.2

Let δ=12(1+i5tanφ)andφπ2(2Z+1). Then

an(δ)=(52cosφ)n×[55Ln1Tn(cosφ)+iFn1sinφUn1(cosφ)],foroddnN,[Fn1Tn(cosφ)+i55Ln1sinφUn1(cosφ)],forevennN.

where again Tn and Un denote the Chebyshev polynomials.

Indeed, one can deduce that

5an(12(1+i5tanφ))=(52cosφ)n[α(β)neinφβαneinφ]=(52cosφ)n[(β)n1einφ+αn1einφ]=(52cosφ)n[(αn1+(β)n1)cosnφ+i(αn1(β)n1)sinnφ]=(52cosφ)n×[Ln1cos(nφ)+i5Fn1sin(nφ)],foroddnN,[5Fn1cos(nφ)+iLn1sin(nφ)],forevennN.

Now we focus on the special cases of φ. One may note that if φ := arctan ( 5 5 tan φ 0 ) , φ 0 ( π 2 , π 2 ) , then

12(1+i5tanφ)=12(1+itanφ0)=12cosφ0eiφ0,cosφ=11+15tan2φ0=5cosφ01+4cos2φ0,sinφ=tanφ05+tan2φ0=sinφ01+4cos2φ0.

Thus, as a consequence we obtain

  1. for φ0=π3:

    bn(eiπ/3)=2n/2×[FnTn(cosφ)+i2310LnUn1(cosφ)],forevennN0,[15LnTn(cosφ)+i232FnUn1(cosφ)],foroddnN.

    an(eiπ/3)=2n/2×[15Ln1Tn(cosφ)+i232Fn1Un1(cosφ)],foroddnN,[Fn1Tn(cosφ)+i2310Ln1Un1(cosφ)],forevennN,

    where φ:=arctan(155) which yields cosφ=58,sinφ=38.

    Furthermore, we have (see [7, 8]):

    T2N(58)=Nk=0N(1)k2Nk2Nkk(52)Nk,T2N1(58)=2N110k=0N1(1)k2Nk12Nk1k(52)Nk,

    since

    Tn(x)=n2k=0n/2(1)knknkk(2x)n2k.

    Similar formulae hold for the values of Chebyshev polynomials of the second kind

    U2N(58)=k=0N(1)k2Nkk(52)Nk,U2N1(58)=25k=0N1(1)k2Nk1k(52)Nk,

    because of identity

    Un(x)=k=0n/2(1)knkk(2x)n2k.

    Moreover, we observe that all four numbers

    2b2N1(eiπ/3),2a2N1(eiπ/3),2b2N(eiπ/3),2a2N(eiπ/3)

    belong to the number class Z+i3Z since in definition of the coefficients of Tn(x) we have nnk(nkk)Z,kn2.

  2. for φ0=π6:

    bn(33eiπ/6)=(43)n/2×[FnTn(cosφ)+i520LnUn1(cosφ)],forevennN0,[55LnTn(cosφ)+i4FnUn1(cosφ)],foroddnN,

    an(33eiπ/6)=(43)n/2×[55Ln1Tn(cosφ)+i4Fn1Un1(cosφ)],foroddnN,[Fn1Tn(cosφ)+i520Ln1Un1(cosφ)],forevennN,

    where φ:=arctan(1515) which gives cosφ=154,sinφ=14.

  3. for φ0=π4:

    bn(22eiπ/4)=(32)n/2×[FnTn(cosφ)+i30LnUn1(cosφ)],forevennN0,[15LnTn(cosφ)+i6FnUn1(cosφ)],foroddnN,

    an(22eiπ/4)=(32)n/2×[15Ln1Tn(cosφ)+i6Fn1Un1(cosφ)],foroddnN,[Fn1Tn(cosφ)+i30Ln1Un1(cosφ)],forevennN,

    where φ:=arctan(55) which gives cosφ=56,sinφ=16.

    Now, from (4) and (5) one may also obtain the result given below (in fact, one of the authors deduced these formulae by “observing” the numerical values of an(−i) and bn(−i) for n = 0, 1, …, 20, and then he verified them easily by induction).

Lemma 2.3

The following recurrent identities hold

a0(i)=a1(i)=1,an+2(i)=(2+i)(an+1(i)an(i)),a2n+2(i)=(2+i)n+1in+3Fn=(2i1)n+1Fn,a2n+3(i)=(2+i)n+1in+3(Fn+iFn+1)=(2i1)n+1(Fn+iFn+1), (10)

b0(i)=0,b1(i)=i,bn+2(i)=(2+i)(bn+1(i)bn(i)),b2n(i)=(2+i)nin+2Fn=(2i1)nFn,b2n+1(i)=(2+i)nin+2(Fn+iFn+1)=(2i1)n(Fn+iFn+1), (11)

for every n ∈ ℕ0.

Now one may deduce from (7) and (8) the corollary.

Corollary 2.4

For the Fibonacci numbers the following identities hold

(2i1)n+1Fn=k=02n+22n+2kikFk1=k=02n+22n+2k(1+i)2n+2k(i)kFk+1, (12)

(2i1)nFn=k=12n2nkikFk, (13)

(2i1)n+1(Fn+iFn+1)=k=02n+32n+3kikFk1, (14)

(2i1)n(Fn+iFn+1)=k=12n+12n+1kikFk,=k=12n+12n+1k(1+i)2n+1k(i)kFk, (15)

for every n = 0, 1, ….

3 Some general recurrence relations

The above formulae can be used to generate the interesting general relations for Fibonacci numbers, but to this aim we need some technical result which holds true for both the Fibonacci and Lucas numbers (and even for the Gibonacci numbers).

Lemma 3.1

Let αk,n, βk,n ∈ ℂ, k = 0, 1, …, b n + c, b, c, n ∈ ℕ0, a, r0 ∈ ℤ. Let X, y, Z ∈ {F, L} (in fact, one can assume that X, y, Z are the Gibonacci numbers - see the respective definition at the end of this section). If there exists an r0 ∈ ℤ such that the following equalities

Xan+r=k=0bn+cαk,nYk+r=k=0bn+cβk,n(1)krZkr (16)

hold for r = r0, r0+1 and for every n ∈ ℕ0, then these equalities hold for all r ∈ ℤ and n ∈ ℕ0.

Proof

We discuss here only the case r0 = 0.

We will prove by induction that for every m ∈ ℕ and r ∈ ℤ, −m+1≤rm, equality (16) is an identity with respect to n ∈ ℕ0. For m = 1 the above thesis follows from the assumption in Lemma. Thus, let us suppose that the statement is true for some m ∈ ℕ and for all r ∈ ℤ, −m+1 ≤ rm. Then we find

Xanm=Xanm+2Xanm+1=k=0bn+cαk,n(Ykm+2Ykm+1)=k=0bn+cβk,n((1)k+mZk+m2+(1)k+mZk+m1)=k=0bn+cαk,nYkm=k=0bn+cβk,n(1)k+mZk+m,Xan+m+1=Xan+m+Xan+m1=k=0bn+cαk,n(Yk+m+Yk+m1)=k=0bn+cβk,n((1)kmZkm+(1)km+1Zkm+1)=k=0bn+cαk,nYk+m+1=k=0bn+cβk,n(1)km1Zkm1.

Hence, in view of the inductive assumption, relation (16) holds for every n ∈ ℕ0 and r ∈ ℤ, −mrm+1. Therefore, by virtue of the mathematical induction rule, the Lemma is true. □

From the above Lemma and Corollary 2.4 we get the next result.

Corollary 3.2

The following identities hold

(2i1)nFn+r=k=02n2nkikFk+r, (17)

(2i1)n(Fn+r+iFn+r+1)=k=02n+12n+1kikFk+r, (18)

for every n ∈ ℕ0 and r ∈ ℤ.

We note also that formulae (7) and (8) are not the only technical tools for generating the binomials transform formulae of scaled Fibonacci numbers. One can also apply the following formulae (see (5.1) and (5.2) in [1]).

Lemma 3.3

Let δ, γ ∈ ℂ and γ ≠ 0. Then

γnanδγ=k=0n(nk)(γ1)nkak(δ),γnbnδγ=k=0n(nk)(γ1)nkbk(δ). (19)

As examples of the previous lemma we may also deduce the additional relations between Fibonacci numbers. Let us note

an(1)=F2n1,bn(1)=F2n. (20)

So, if we set δ = −1, γ = − i, then by using (19), (10) and (11) we obtain

(12i)nFn1=k=02n2nk(1)k(1+i)2nkF2k1,(12i)n(FniFn1)=k=02n+12n+1k(1)k+1(1+i)2n+1kF2k1,(12i)nFn=k=02n2nk(1)k(1+i)2nkF2k,(12i)n(Fn+1iFn)=k=02n+12n+1k(1)k+1(1+i)2n+1kF2k,

which implies, by Lemma 3.1, that

(12i)nFn+r=k=02n2nk(1)k(1+i)2nkF2k+r, (21)

(12i)n(Fn+riFn+r1)=k=02n+12n+1k(1)k+1(1+i)2n+1kF2k+r1, (22)

for every n ∈ ℕ0 and r ∈ ℤ. Similarly, if we set δ = 2, γ = 2i, then we can generate the identities (we note that especially for the left hand side the subtle calculations are needed-more precisely, one should use the auxiliary fact given in the footnote[1] ):

(12i)n(Fr1Fn+FrFn2)=22nk=02n2nk(2i1)2nk(Fr+2Fr+1(1)k)5k/2, (23)

(12i)n(Fr1Fn+1+FrFn1i(Fr1Fn+FrFn2))=22n1k=02n+12n+1k(2i1)2n+1k(Fr+2Fr+1(1)k)5k/2, (24)

for every n ∈ ℕ0 and r ∈ ℤ since an(2) = 5n/2⌋ and bn(2) = (1 − (−1)n)5n/2⌋ (see [1]).

Finally, let us note that most of the presented results can be reformulated for the general Gibonacci numbers, i.e., the recurrent sequences {Gn}n= satisfying the recurrent relation

Gn+2=Gn+1+Gn,nZ

(only the recurrence relation is important, the initial conditions are not). It follows easily from the result given below and being the counterpart of Lemma 3.1 for more general case of Gibonacci numbers.

Theorem 3.4

Let αk,n ∈ ℂ, k = 0, 1, …, b n + c, b, c, n ∈ ℕ0, a ∈ ℤ. If the following identity holds with respect to n ∈ ℕ0 and r ∈ ℤ

Fan+r=k=0bn+cαk,nFk+r,

then for every Gibonacci sequence {Gn}n= the identity

Gan+r=k=0bn+cαk,nGk+r

is satisfied for n ∈ ℕ0 and r ∈ ℤ.

Proof

Since Gn = G0 Fn − 1 + G1 Fn, n ∈ ℤ, thus we obtain

k=0bn+cαk,nGk+r=G0k=0bn+cαk,nFk+r1+G1k=0bn+cαk,nFk+r=G0Fan+r1+G1Fan+r=Gan+r.

Acknowledgement

The Authors want to express sincere thanks to the Reviewer for many essential remarks and advices. We had a fortune that our paper was investigated by a careful and understanding Reviewer who not only showed us the failings but also influenced the final form of this paper. We are very grateful.

References

[1] Wituła R., Słota D., δ-Fibonacci numbers, Appl. Anal. Discrete Math., 2009, 3, 310–32910.2298/AADM0902310WSearch in Google Scholar

[2] Wituła R., Słota D., Quasi-Fibonacci numbers of order 11, J. Integer Seq., 2007, 10, Article 07.8.5Search in Google Scholar

[3] Wituła R., δ-Fibonacci numbers. Part II, Novi Sad Math. J., 2013, 43, no 1, 9–2210.2298/AADM0902310WSearch in Google Scholar

[4] Galuzzi M., A remark about the binomial transform, Fib. Quart., 1998, 36, no 3, 287–288Search in Google Scholar

[5] Wituła R., Binomials transformation formulae of scaled Lucas numbers, Demonstratio Math., 2013, 46, no 1, 15–2710.1515/dema-2013-0436Search in Google Scholar

[6] Wituła R., Hetmaniok E., Słota D., Pleszczyński M., δ-Fibonacci and δ-Lucas numbers, δ-Fibonacci and δ-Lucas polynomials, Mathematica Slovaca, 2017, 67, no 1, 51–7010.1515/ms-2016-0247Search in Google Scholar

[7] Paszkowski S., Numerical Applications of Chebyshev Polynomials and Series, PWN, Warsaw, 1975 (in Polish)Search in Google Scholar

[8] Rivlin T., Chebyshev Polynomials from Approximation Theory to Algebra and Number Theory, Wiley, New York, 1990Search in Google Scholar

Received: 2015-12-24
Accepted: 2016-9-15
Published Online: 2017-4-23

© 2017 Hetmaniok et al.

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Downloaded on 7.11.2024 from https://www.degruyter.com/document/doi/10.1515/math-2017-0047/html
Scroll to top button