arxiv: v2 [math.ra] 15 Feb 2013

Transcription

1 On Generalized Fibonacci Quaternions and Fibonacci-Narayana Quaternions arxiv: v2 [math.ra] 15 Feb 2013 Cristina FLAUT and Vitalii SHPAKIVSKYI Abstract. In this paper, we investigate some properties of generalized Fibonacci quaternions and Fibonacci-Narayana quaternions in a generalized quaternion algebra. Keywords: Fibonacci quaternions, generalized Fibonacci quaternions, Fibonacci-Narayana quaternions AMS Subject Classification: 11B83, 11B Introduction The Fibonacci numbers was introduced by Leonardo of Pisa ( ) in his book Liber abbaci, book published in 1202 AD (see [Ko; 01], p. 1, 3). These numbers was used as a model for investigate the growth of rabbit populations (see [Dr, Gi, Gr, Wa; 03]). The Latin name of Leonardo was Leonardus Pisanus, also called Leonardus filius Bonaccii, shortly Fibonacci. This name is attached to the following sequence of numbers 0,1,1,2,3,5,8,13,21,..., with the nth term given by the formula: f n = f n 1 +f n 2, n 2, 1

2 where f 0 = 0,f 1 = 1. Fibonacci numbers was known in India before Leonardo s time and used by the Indian authorities on metrical sciences (see [Pa; 85], p. 230). These numbers have many properties which was studied by many authors (see [Ho; 61], [Cu; 76], [Pa; 85], [Ko; 01]). Narayana was an outstanding Indian mathematician of the XIV century. From him came to us the manuscript Bidzhahanity (incomplete), written in the middle of the XIV century. For Narayana was interesting summation of arithmetic series and magic squares. In the middle of the XIV century he proved a more general summation. Using the following sums Narayana calculated that n = S (1) n, S (1) 1 +S (1) S (1) n = S (2) n, S (2) 1 +S (2) S (2) n = S(2) n,..., S (m) n = n(n+1)(n+2)...(n+m) (m+1). (*) Narayana applied its rules to the problem of a herd of cows and heifers (see [Yu; 61], [Si; 36], [Si; 85], [Al, Jo; 96 ]). Narayana problem([al, Jo; 96]). A cow annually brings heifers. Every heifer, beginning from the fourth year of his life also brings heifer. How many cows and calves will be after 20 years? Narayana s calculation is in the following: 1) a cow within 20 years brings 20 heifers of the first generation; 2) the first heifer of the first generation brings 17 heifers second generation, the second heifer of the first generation brings 16 heifers second generation etc. The total in the second generation will be = S (1) 17 cows and calves; 3) the first heifer of the seventeen heifers of the second generation brings 14 heifers of the third generation, the second heifer of the seventeen heifers of the second generation brings 13 heifers of third generation, etc. The total heifers of the first generation bring = S (1) 13 heads. Now, all heifers of the second generation brings S (1) 14 + S (1) S (1) 1 = S (2) 14 heads in the third generation. 2

3 Similarly, Narayana calculated total number in the herd after 20 years: Using formula (*), he obtained: n = 1+20+S (1) 17 +S (2) S (6) 2. n = = This problem can be solved in the same way that Fibonacci solved its problem about rabbits (see [Ka; 04], [Ko; 01], [Si; 36], [Si; 85]). In the beginning of the first year was 1 cow and 1 heifer which born. That is had 2 heads. In the beginning of the second year and in the beginning of the third year the number of heads increased by one. Therefore the number of heads are 3 and 4, respectively. From the fourth year, the number of heads in the herd is defined by recurrence formulae: x 4 = x 3 +x 1,x 5 = x 4 +x 2,...,x n = x n 1 +x n 3, since the number of cows for any year is equal with the number of cows of the previous year plus the number of heifers which was born (= number of heads that were three years ago) (see [Al, Jo; 96 ]). We have the sequence 2,3,4,6,9,..., u n+1 = u n +u n 2. Computing, we obtain that u 20 = 2745 (see [Ka; 04], [Ko; 01], [Si; 36], [Si; 85], [Al, Jo; 96 ]). Now, we can consider the sequence 1,1,1,2,3,4,6,9,..., u n+1 = u n +u n 2, with n 2,u 0 = 0,u 1 = 1,u 2 = 1. These numbers are called the Fibonacci- Narayana numbers (see [Di, St; 03]). In the same paper [Di, St; 03], authors proved some basic properties of Fibonacci-Narayana numbers, namely: 1) u 1 +u u n = u n ) u 1 +u 4 +u u 3n 2 = u 3n 1. 3) u 2 +u 5 +u u 3n 1 = u 3n. 4) u 3 +u 6 +u u 3n = u 3n

4 5) u n+m = u n 1 u m+2 +u n 2 u m +u n 3 u m+1. 6) u 2n = u 2 n+1 +u2 n 1 u2 n 2. 7) If in the sequences {u n }, n = 7k + 4, n = 7k + 6, n = 7k, when k = 0,1,2,..., then u n is even. 8) If in the sequences {u n } n = 8k, n = 8k 1, n = 8k 3, when k = 0,1,2,..., then 3 u n. Another property of Fibonacci-Narayana numbers was proved in [Sh; 06]. For all natural n 2, we have u n = [n/3] m [n/3] u n [n/3] 2m, where [a] is an integer part of a and k n = n!, k! = k,k N. k!(n k)! Let H(β 1,β 2 ) be the generalized real quaternion algebra, the algebra of the elements of the form a = a a 2 e 2 + a 3 e 3 + a 4 e 4, where a i R,i {1,2,3,4}, and the basis elements 1,e 2,e 3,e 4 satisfy the following multiplication table: 1 e 2 e 3 e e 2 e 3 e 4 e 2 e 2 β 1 e 4 β 1 e 3 e 3 e 3 e 4 β 2 β 2 e 2 e 4 e 4 β 1 e 3 β 2 e 2 β 1 β 2 We denote by t(a) and n(a) the trace and the norm of a real quaternion a. The norm of a generalized quaternion has the following expression n(a) = a 2 1 +β 1a 2 2 +β 2a 2 3 +β 1β 2 a 2 4. For β 1 = β 2 = 1, we obtain the real division algebra H. 1. Preliminaries In the present days, several mathematicians studied properties of the Fibonacci sequence. In [Ho; 61], the author generalized Fibonacci numbers and gave many properties of them: h n = h n 1 +h n 2, n 2, 4

5 where h 0 = p,h 1 = q, with p,q being arbitrary integers. In the same paper [Ho; 61], relation (7), the following relation between Fibonacci numbers and generalized Fibonacci numbers was obtained: h n+1 = pf n +qf n+1. (1.1) The same author, in [Ho; 63], defined and studied Fibonacci quaternions and generalized Fibonacci quaternions in the real division quaternion algebra and found a lot of properties of them. For the generalized real quaternion algebra, the Fibonacci quaternions and generalized Fibonacci quaternions are defined in the same way: F n = f n 1+f n+1 e 2 +f n+2 e 3 +f n+3 e 4, for the nth Fibonacci quaternions, and H n = h n 1+h n+1 e 2 +h n+2 e 3 +h n+3 e 4, for the nth generalized Fibonacci quaternions. In the same paper, we find the norm formula for the nth Fibonacci quaternions: n(f n ) = F n F n = 3f 2n+3, (1.2) where F n = f n 1 f n+1 e 2 f n+2 e 3 f n+3 e 4 is the conjugate of the F n in the algebra H. After that, many authors studied Fibonacci and generalized Fibonacci quaternions in the real division quaternion algebra giving more and surprising new properties (for example, see [Sw; 73], [Sa-Mu; 82] and [Ha; 12]). M. N. S. Swamy, in [Sw; 73], formula (17), obtained the norm formula for the nth generalized Fibonacci quaternions: n(h n ) = H n H n = = 3(2pq p 2 )f 2n+2 +(p 2 +q 2 )f 2n+3, where H n = h n 1 h n+1 e 2 h n+2 e 3 h n+3 e 4 is the conjugate of the H n in the algebra H. Similar to A. F. Horadam, we define the Fibonacci-Narayana quaternions as U n = u n 1+u n+1 e 2 +u n+2 e 3 +u n+3 e 4, 5

6 where u n are the nth Fibonacci-Narayana number. In this paper, we give some properties of generalized Fibonacci quaternions and Fibonacci-Narayana quaternions. 2. Generalized Fibonacci Quaternions As in the case of Fibonacci numbers, numerous results between Fibonacci generalized numbers can be deduced. In the following, we will study some properties of the generalized Fibonacci quaternions in the generalized real quaternion algebra H(β 1,β 2 ). Let F n = f n 1+f n+1 e 2 +f n+2 e 3 +f n+3 e 4 be the nth Fibonacci quaternion and H n = h n 1+h n+1 e 2 +h n+2 e 3 +h n+3 e 4 be the nth generalized Fibonacci quaternion. A first question which can arise is what algebraic structure have these elements? The answer will be found in the below theorem, denoting first a nth generalized Fibonacci number and a nth generalized Fibonacci element with h p,q n, respectively Hn p,q. In this way, we emphasis the starting integers p and q. Theorem 2.1. The set H n = {H p,q n / p,q Z} {0} is a Z module. Proof. Indeed, ahn p,q +bh p,q n = H ap+bp,aq+bq n H n, where a,b,p,q,p,q Z. Theorem 2.2. i) For the Fibonacci quaternion elements, we have ( 1) m+1 F m = ( 1) n+1 F n 1 +1+e 3 +e 4. (2.1) ii) For the generalized Fibonacci quaternion elements, the following relation is true ( 1) m+1 H p,q m =( 1)n+1 H p,q n 1 p+q+pe 2 +qe 3 +pe 4 +qe 4 (2.2) 6

7 Proof. i) From [Cu; 76], we know that It results: ( 1) m+1 F m = = n +e 3 ( 1) m+1 f m = ( 1) n+1 f n (2.3) ( 1) m+1 f m +e 2 ( 1) m+1 f m+2 +e 4 ( 1) m+1 f m+1 + ( 1) m+1 f m+3 = =( 1) [ n+1 f n 1 +1 e 2 [( 1) n+1 f n 1 +( 1) n+2 f n+1 ]+ +e 3 ( 1) n+1 f n 1 +1+( 1) n f n+1 +( 1) n+1 ] f n+2 e 4 [( 1) n+1 f n 1 1+( 1) n+2 f n+1 +( 1) n+3 f n+2 +( 1) n+4 f n+3 ]= =( 1) n+1 f n 1 +1+( 1) n+1 e 2 f n +e 3 ( 1) n+1[ f n+1 +( 1) n+1] e 4 ( 1) n+1[ f n+2 ( 1) n+1] = = ( 1) n+1 (f n 1 +f n e 2 +f n+1 e 3 +f n+2 e 4 )+1+e 3 +e 4 = = ( 1) n+1 F n 1 +1+e 3 +e 4. ii) Using relations (1.1) and (2.3),we have ( 1) m+1 Hm p,q = = n ( 1) m+1 h p,q ( 1) m+1 h p,q +e 3 = n +e 2 +e 3 +e 4 m +e 2 ( 1) m+1 h p,q m+2 +e 4 ( 1) m+1 pf m 1 + n ( 1) m+1 pf m +e 2 ( 1) m+1 pf m+1 +e 3 m+1 + ( 1) m+1 h p,q m+3 = ( 1) m+1 qf m + ( 1) m+1 pf m+2 +e 4 ( 1) m+1 qf m+1 + ( 1) m+1 qf m+2 + ( 1) m+1 qf m+3 = = p( 1) n+1 f n 2 p+q( 1) n+1 f n 1 +q+ +e 2 p( 1) n+1 f n 1 +pe 2 +e 2 q [ ( 1) n+1 f n+1 ( 1) n+1 f n 1 ] + +e 3 p [ ( 1) n+1 f n+1 ( 1) n+1 f n 1 ] + 7

8 +e 3 q [ ( 1) n+1 f n 1 +1+( 1) n f n+1 +( 1) n+1 f n+2 ] + +e 4 p [ ( 1) n+1 f n 1 +1+( 1) n f n+1 +( 1) n+1 f n+2 ] e 4 q[( 1) n+1 f n 1 1+( 1) n+2 f n+1 +( 1) n+3 f n+2 +( 1) n+4 f n+3 ] = = p( 1) n+1 f n 2 p+q( 1) n+1 f n 1 +q+ +e 2 p( 1) n+1 f n 1 +pe 2 +e 2 q( 1) n+1 f n +e 3 p( 1) n+1 f n + +e 3 q( 1) n+1 [f n 1 +( 1) n+1 f n+1 +f n+2 ]+ +e 4 p( 1) n+1[ f n 1 +( 1) n+1 f n+1 +f n+2 ] e 4 q( 1) n+1[ f n 1 ( 1) n+1 f n+1 +f n+2 f n+3 ] = = p( 1) n+1 f n 2 p+q( 1) n+1 f n 1 +q+ +e 2 p( 1) n+1 f n 1 +pe 2 +e 2 q( 1) n+1 f n +e 3 p( 1) n+1 f n + +e 3 q( 1) n+1[ f n+1 +( 1) n+1] +e 4 p( 1) n+1 [( 1) n+1 +f n+1 ] e 4 q( 1) n+1[ f n+2 ( 1) n+1] = = ( 1) n+1 H p,q n 1 p+q +pe 2 +qe 3 +pe 4 +qe 4. From the above Theorem, we can remark that all identities valid for the Fibonacci quaternions can be easy adapted in an approximative similar expression for the generalized Fibonacci quaternions, if we use relation (1.1), a true relation in the both algebras H(β 1,β 2 ) and H. Proposition 2.3. If h n+1 = pf n +qf n+1 = 0, then we have: where H 2 n+1 H(β 1,β 2 ). Hn+1=3 2 q2 [ ] f 2 fn 2 2n+1 f n+1 f n 2 f 2n+2, (2.4) Proof. Since h n+1 = 0, it results that t(h n+1 ) = h n+1 = 0, therefore n(h n+1 ) = Hn+1 2. From h n = pf n +qf n+1 = 0, we have p = qf n+1 f n and we obtain: and p 2 +2pq= q2 f 2 n+1 f 2 n 2q 2f n+1 f n = q2 f n+1 f n 2 f 2 n p 2 +q 2 = q2 f 2 n+1 f 2 n +q 2 =q 2f2 n+1 +f 2 n f 2 n since fn+1 2 +fn 2 = f 2n+1. It results n(h n+1 )=3[(p 2 +2pq)f 2n+2 +(p 2 +q 2 )f 2n+1 ]= =3 q2 [ f fn 2 n+1 f n 2 f 2n+2 +f2n+1 2 ]. = q 2f 2n+1, fn 2 8

9 In the following, we will compute the norm of a Fibonacci quaternion and of a generalized Fibonacci quaternion in the algebra H(β 1,β 2 ). Let F n = f n 1+f n+1 e 2 +f n+2 e 3 +f n+3 e 4 be the nth Fibonacci quaternion, then its norm is n(f n ) = f 2 n +β 1f 2 n+1 +β 2f 2 n+2 +β 1β 2 f 2 n+3. Using recurrence of Fibonacci numbers and relations f 2 n +f2 n 1 = f 2n 1, n N, (2.5) f 2n = f 2 n +2f n f n 1, n N, (2.6) from [Cu; 76], we have n(f n ) = fn 2 +β 1fn+1 2 ( +β 2fn+2 2 +β 1β 2 fn+3 2 = = fn 2 +β 1 fn+1 2 +β 2 f 2 n+2 +β 1 fn+3) 2 = = f 2n+1 +(β 1 1)fn+1 2 +β 2( f2n+5 +(β 1 1)fn+3) 2 = = f 2n+1 +β 2 f 2n+5 +(β 1 1) ( fn+1 2 +β 2 fn+3) 2 = = (1+2β 2 )f 2n+1 +3β 2 f 2n+2 +(β 1 1) ( fn+1 2 +β 2fn+3) 2 = 2n+2 +(β 1 1) ( fn+1 2 +β 2fn+3) 2 = 2n+2 +(β 1 1)(f 2n+2 2f n f n+1 +β 2 f 2n+6 2β 2 f n+2 f n+3 ) = 2n+2 +(β 1 1)[f 2n+2 +β 2 f 2n+6 2(f n f n+1 +β 2 f n+2 f n+3 )] = 2n+2 +(β 1 1)[f 2n+2 +β 2 f 2n+6 2 ( f n f n+1 +β 2 fn+2 2 +β ) 2f n+1 f n+2 = 2n+2 +(β 1-1)[f 2n+2 +β 2 f 2n+6-2 ( f n f n+1 +β 2 fn+2 2 +βf2 n+1 +β ) 2f n f n+1 = 2n+2 +(β 1 1)[f 2n+2 +β 2 f 2n+6 2(1+β 2 )f n f n+1 2β 2 f 2n+3 ] = 2n+2 +(β 1-1)[f 2n+2 +β 2 f 2n+4 +β 2 f 2n+3 +β 2 f 2n+4 2β 2 f 2n+3-2(1+β 2 )f n f n+1 ] = 2n+2 +(β 1-1)[f 2n+2 +2β 2 f 2n+4 β 2 f 2n+3-2(1+β 2 )f n f n+1 ] = 2n+2 +(β 1-1)[f 2n+2 +2β 2 f 2n+2 +2β 2 f 2n+3 β 2 f 2n+3-2(1+β 2 )f n f n+1 ] = 2n+2 +(β 1-1)[(1+2β 2 )f 2n+2 +β 2 f 2n+3-2(1+β 2 )f n f n+1 ] = 2n+2 +(β 1-1)[h 1+2β 2,β 2 2n+3 2(1+β 2 )f n f n+1 ] = 2n+2 +(β 1-1)h 1+2β 2,β 2 2n+3 2(β 1-1)(1+β 2 )f n f n+1. We just proved Theorem 2.4. The norm of the nth Fibonacci quaternion F n in a generalized quaternion algebra is n(f n )=h 1+2β 2,3β 2 2n+2 +(β 1-1)h 1+2β 2,β 2 2n+3-2(β 1-1)(1+β 2 )f n f n+1. (2.7) 9

10 Using the formula (2.7) and the relation (1.1) when β 1 = β 2 = 1, we obtain the formula (1.2). Using the above theorem and relations (2.5) and (2.6), we can compute the norm of a generalized Fibonacci quaternion in a generalized quaternion algebra. Let H n = h n 1+h n+1 e 2 +h n+2 e 3 +h n+3 e 4 be the nth generalized Fibonacci quaternion. The norm is n(hn p,q )=h 2 n+β 1 h 2 n+1+β 2 h 2 n+2+β 1 β 2 h 2 n+3= =(pf n 1 +qf n ) 2 +β 1 (pf n +qf n+1 ) 2 +β 2 (pf n+1 +qf n+2 ) 2 + +β 1 β 2 (pf n+2 +qf n+3 ) 2 = = p 2( fn 1 2 +β 1fn 2 +β 2fn+1 2 +β 1β 2 fn+2) 2 + +q 2( fn 2 +β 1 fn+1 2 +β 2 fn+2 2 +β 1 β 2 fn+3) pq(f n 1 f n +β 1 f n f n+1 +β 2 f n+1 f n+2 +β 1 β 2 f n+3 f n+2 ) = = p 2 h 1+2β 2,3β 2 2n +p 2 (β 1-1)h 1+2β 2,β 2 2n+1-2p 2 (β 1-1)(1+β 2 )f n 1 f n + +q 2 h 1+2β 2,3β 2 2n+2 +q 2 (β 1-1)h 1+2β 2,β 2 2n+3-2q 2 (β 1-1)(1+β 2 )f n f n pq(1-β 1 )f n f n 1 +2pqβ 1 f 2n +2pqβ 2 (1-β 1 )f n+1 f n+2 +2pqβ 1 β 2 f 2n+4 = = p 2 h 1+2β 2,3β 2 2n +p 2 (β 1-1)h 1+2β 2,β 2 2n+1 +q 2 h 1+2β 2,3β 2 2n+2 +q 2 (β 1-1)h 1+2β 2,β 2 2n+3 2p(β 1 1)(pβ 2 +p+q)f n 1 f n 2q 2 (β 1-1)(1+β 2 )f n f n+1 + +h 2pqβ 1,2pqβ 1 β 2 2n+1 +2pqβ 1 β 2 (f 2n +f 2n+3 )+2pqβ 2 (1 β 1 )f n+1 f n+2. From the above, we proved Theorem 2.5. The norm of the nth generalized Fibonacci quaternion H p,q n in a generalized quaternion algebra is is n(h p,q n )=p2 h 1+2β 2,3β 2 2n +p 2 (β 1-1)h 1+2β 2,β 2 2n+1 +q 2 h 1+2β 2,3β 2 2n+2 +q 2 (β 1-1)h 1+2β 2,β 2 2n+3-2p(β 1 1)(pβ 2 +p+q)f n 1 f n 2q 2 (β 1 1)(1+β 2 )f n f n+1 + +h 2pqβ 1,2pqβ 1 β 2 2n+1 +2pqβ 1 β 2 (f 2n +f 2n+3 )+2pqβ 2 (1 β 1 )f n+1 f n+2. (2.8) It is known that the expression for the nth term of a Fibonacci element f n = 1 [α n β n ] = αn [1 βn 5 5 αn], (2.9) where α = 1+ 5 and β = From the above, we can compute the following lim n(f n) = lim(fn 2 +β n n 1fn+1 2 +β 2fn+2 2 +β 1β 2 fn+3 2 ) = 10

11 = lim( α2n n 5 +β 1 α 2n+2 5 α 2n+4 α 2n+6 +β 2 +β 1 β 2 ) = 5 5 n = sgne(β 1,β 2 ) where E(β 1,β 2 ) = ( 1 + β α2 + β 2 5 α4 + β 1β 2 5 α6 ) = = 1 (1+β 5 1(α+1)+β 2 (3α+2)+β 1 β 2 (8α+5)) = = 1[1+β β 2 +5β 1 β 2 +α(β 1 +3β 2 +8β 1 β 2 )], since α 2 = α+1. If E(β 1,β 2 ) > 0, there exist a number n 1 N such that for all n n 1 we have h 1+2β 2,3β 2 2n+2 +(β 1 1)h 1+2β 2,β 2 2n+3 2(β 1 1)(1+β 2 )f n f n+1 > 0. In the same way, if E(β 1,β 2 ) < 0, there exist a number n 2 N such that for all n n 2 we have h 1+2β 2,3β 2 2n+2 +(β 1 1)h 1+2β 2,β 2 2n+3 2(β 1 1)(1+β 2 )f n f n+1 < 0. Therefore for all β 1,β 2 R with E(β 1,β 2 ) 0, in the algebra H(β 1,β 2 ) there is a natural number n 0 = max{n 1,n 2 } such that n(f n ) 0, hence F n is an invertible element for all n n 0. Using the same arguments, we can compute ( ) lim n (n(hp,q n )) = lim h 2 n +β 1 h 2 n+1 +β 2 h 2 n+2 +β 1 β 2 h 2 n+3 = n = lim n [(pf n 1 +qf n ) 2 +β 1 (pf n +qf n+1 ) 2 +β 2 (pf n+1 +qf n+2 ) 2 + +β 1 β 2 (pf n+2 +qf n+3 ) 2 ] = = sgne (β 1,β 2 ) where E (β 1,β 2 ) = 1 5 [(p+αq)2 +β 1 (pα+α 2 q) 2 +β 2 (pα 2 +α 3 q) 2 + +β 1 β 2 (pα 3 +α 4 q) 2 ] = = 1 5 (p+αq)2 [1+β 1 α 2 +β 2 α 4 +β 1 β 2 α 6 ] = = 1 5 (p+αq)2 E(β 1,β 2 ). Therefore for all β 1,β 2 R with E (β 1,β 2 ) 0 in the algebra H(β 1,β 2 ) there exist a natural number n 0 such that n(hn p,q ) 0, hence Hn p,q is an invertible element for all n n 0. 11

12 Now, we proved Theorem 2.6. For all β 1,β 2 R with E (β 1,β 2 ) 0, there exist a natural number n such that for all n n Fibonacci elements F n and generalized Fibonacci elements Hn p,q are invertible elements in the algebra H(β 1,β 2 ). Remark 2.7. Algebra H(β 1,β 2 ) is not always a division algebra, and sometimes can be difficult to find an example of invertible element. Above Theorem provides us infinite sets of invertible elements in this algebra, namely Fibonacci elements and generalized Fibonacci elements. 3. Fibonacci-Narayana Quaternions In this section, we will study some properties of Fibonacci-Narayana elements in the algebra H(β 1,β 2 ). Theorem 3.1. For the Fibonacci-Narayana quaternion U n, we have Proof. a) a) U m = U n+3 U 2, b) U 3m = U 3n+1 1 e 4. U m = n+1 u m +e 2 n+2 u m +e 3 Since u 0 = 0, we consider that the term n m=2 can use property 1) from Introduction and we obtain n+3 u m +e 4 m=3 u m = u m is equal with n = u n+3 1+e 2 (u n+4 1)+e 3 (u n+5 2)+e 4 (u n+6 3) = u m. We 12

13 = U n+3 (1+e 2 +2e 3 +3e 4 ) = U n+3 U 2. b) Since u 0 = 0, the term n u 3m is equal with n u 3m, therefore U 3m = u 3m +e 2 u 3m+1 +e 3 u 3m+2 +e 4 u 3m+3 = using properties 4), 2), 3), and again 4), we have = u 3n+1 1+u 3n+2 e 2 +u 3n+3 e 3 +(u 3n+4 1)e 4 = U 3n+1 1 e 4. Let {u n } beafibonacci-narayana sequence, andlet U n = u n 1+u n+1 e 2 + u n+2 e 3 +u n+3 e 4 be the nth Fibonacci-Narayana quaternion. Thefunctionf(x) = a 0 +a 1 x+a 2 x a n x n +...iscalled the generating function for the sequence {a 0,a 1,a 2,...}. In [Ha; 12], the author found a generating function for Fibonacci quaternions. In the following theorem, we established the generating function for Fibonacci-Narayana quaternions. Theorem 3.2. The generating function for the Fibonacci-Narayana quaternion U n is G(t)= U 0+(U 1 -U 0 )t+(u 2 -U 1 )t 2 1 t t 3 = e 1+e 2 +e 3 +(1+e 3 )t+(e 2 +e 3 )t 2 1 t t 3. (3.1) Proof. Assuming that the generating function of the quaternion Fibonacci-Narayana sequence {U n } has the form G(t) = U n t n, we obtain that U n t n t U n t n t 3 U n t n = n=0 n=0 n=0 = U 0 +U 1 t+u 2 t 2 +U 3 t U 0 t U 1 t 2 U 2 t 3 U 3 t 4... U 0 t 3 U 1 t 4 U 2 t 5 U 3 t 6... = = U 0 +(U 1 U 0 )t+(u 2 U 1 )t 2, since U n = U n 1 + U n 3,n 3 and the coefficients of t n for n 3 are equal with zero. It results U 0 +(U 1 U 0 )t+(u 2 U 1 )t 2 = U n t n (1 t t 3 ), 13 n=0 n=0

14 or in equivalent form The theorem is proved. U 0 +(U 1 U 0 )t+(u 2 U 1 )t 2 1 t t 3 = U n t n. Theorem 3.3. (The Binet-Cauchy formula for Fibonacci-Narayana numbers) Let u n = u n 1 + u n 3,n 3 be the nth Fibonacci-Narayana number, then 1 [ u n = α n+1 (γ-β)+β n+1 (α-γ)+γ n+1 (β-α) ], (3.2) (α-β)(β-γ)(γ-α) n=0 where α,β,γ are the solutions of the equation t 3 t 2 1 = 0. Proof. Supposingthatu n = Aα n +Bβ n +Cγ n,a,b,c Candusingthe recurrence formula for the Fibonacci-Narayana numbers, u n = u n 1 +u n 3, it results that α,β,γ are the solutions of the equation t 3 t 2 1 = 0. Since u 0 = 0,u 1 = 1,u 2 = 1, we obtain the following system A+B +C = 0, Aα+Bβ +Cγ = 1, Aα 2 +Bβ 2 +Cγ 2 = 1. (3.3) The determinant of this system is a Vandermonde determinant and can be computed easily. It is = (α-β)(β-γ)(γ-α) 0. Using the Cramer s rule, the solutions of the system (3.3) are A = B = C = α(γ β) (α β)(β γ)(γ α) = β(α γ) (α β)(β γ)(γ α) = γ(β α) (α β)(β γ)(γ α) = therefore relation (3.2) is true. α (β α)(γ α), β (α β)(γ β), γ (β γ)(α γ), 14

15 Theorem 3.4. (The Binet-Cauchy formula for the Fibonacci-Narayana quaternions) Let U n = u n 1+u n+1 e 2 +u n+2 e 3 +u n+3 e 4 be the nth Fibonacci- Narayana quaternion, then U n =D αn+1 (β-α)(γ-α) +E β n+1 (α-β)(γ-β) +F γ n+1 (β-γ)(α-γ), (3.4) where α,β,γ are the solutions of the equation t 3 t 2 1 = 0 and D = 1+αe 1 +α 2 e 2 +α 3 e 3, E = 1+βe 1 +β 2 e 2 +β 3 e 3, F = 1+γe 1 +γ 2 e 2 +γ 3 e 3. Proof. Using relation (3.2), we have that U n =u n 1+u n+1 e 2 +u n+2 e 3 +u n+3 e 4 = 1 = (α-β)(β-γ)(γ-α) [(αn+1 (γ-β)+β n+1 (α-γ)+γ n+1 (β-α)) 1+ +(α n+2 (γ β)+β n+2 (α γ)+γ n+2 (β α))e 1 + +(α n+3 (γ β)+β n+3 (α γ)+γ n+3 (β α))e 2 + +(α n+4 (γ β)+β n+4 (α γ)+γ n+4 (β α))e 3 ]= 1 = (α β)(β γ)(γ α) [αn+1 (γ-β)(1+αe 1 +α 2 e 2 +α 3 e 3 )+ +β n+1 (α-γ)(1+βe 1 +β 2 e 2 +β 3 e 3 )+ +γ n+1 (β-α)(1+γe 1 +γ 2 e 2 +γ 3 e 3 )]. For negative n, the nth Fibonacci-Narayana number will be defined as u n = u n+3 u n+2, u 0 = 0,u 1 = 1,u 2 = 1. Accordingly defined the Fibonacci- Narayana quaternion U n for negative n. Theorem 3.5. Let U n = u n 1 + u n+1 e 2 + u n+2 e 3 + u n+3 e 4 be the nth Fibonacci-Narayana quaternion, therefore the following relations are true: 1) n i n U 2n 2i 1 = U 3n 1. i=0 2) n i n U 3n 2i 1 = U 4n 1. i=0 Proof. 1) Using the Newton s formula, it results that (t 2 +1) n = 0 n (t2 ) n + 1 n (t2 ) n n (t2 ) n n n = 15

16 = 0 n t2n + 1 n t2n n t2n n n. From here, we have that i n U 2n 2i 1= 0 n U 2n n U 2n n U 2n n n U 1 = i=0 = 0 n + 1 n + n n ( ( D α2n (β-α)(γ-α) D α2n 2 (β-α)(γ-α) ) β2n +E +F γ 2n (α-β)(γ-β) (β-γ)(α-γ) ) β2n 2 γ2n 2 +E +F (α-β)(γ-β) (β-γ)(α-γ) ( D 1 (β-α)(γ-α) +E 1 (α-β)(γ-β) +F 1 (β-γ)(α-γ) =D 1 (β-α)(γ-α) ( 0 nα 2n + 1 nα 2n n n1)+ +E 1 (α-β)(γ-β) ( 0 n β2n + 1 n β2n n n 1)+ +F 1 (β-γ)(α-γ) ( 0 n γ2n + 1 n γ2n n n 1) = ) = =D 1 (β-α)(γ-α) (α2 +1) n +E 1 (α-β)(γ-β) (β2 +1) n +F 1 (β-γ)(α-γ) (γ2 +1) n = =D 1 (β-α)(γ-α) α3n +E 1 (α-β)(γ-β) β3n +F 1 (β-γ)(α-γ) γ3n = U 3n 1. We used that α 3 = α 2 +1,β 3 = β 2 +1,γ 3 = γ ) Since t 3 = t 2 +1, starting from relation (t 3 +t) n = t 4n, for t {α,β,γ}, by straightforward calculations as in 2), we obtain the asked relation. Conclusions. In this paper we investigated some new properties of generalized Fibonacci quaternions and Fibonacci-Narayana quaternions. Since Fibonacci-Narayana quaternions was not intensive studied until now, we expect to find in the future more and surprising new properties. We study these elements for the beauty of the relations obtained, but the main reason is that the elements of this type, namely Fibonacci X elements, where X {quaternions, generalized quaternions}, can provide us many important information in the algebra H(β 1,β 2 ), as for example: sets of invertible elements in algebraic structures without division. Acknowledgements. Authors thank referee for his/her patience and suggestions which help us to improve this paper. 16

17 References [Al, Jo; 96 ] J.P. Allouche, T. Johnson, Nrayana s Cows and Delayed Morphisms, recherche.ircam.fr/equipes/repmus/jim96/actes/allouche.ps [Cu; 76] I. Cucurezeanu, Exercices in Arithmetics and Numbers Theory, Ed. Tehnică, Bucharest, [in Romanian] [Di, St; 03] T. V. Didkivska, M. V. St opochkina, Properties of Fibonacci- Narayana numbers, In the World of Mathematics, 9(1)(2003), [in Ukrainian] [Dr, Gi, Gr, Wa; 03], A. Dress, R. Giegerich, S. Grűnewald, H. Wagner, Fibonacci-Cayley Numbers and Repetition Patterns in Genomic DNA, Ann. Comb. 7(2003) [Ha; 12] S. Halici, On Fibonacci Quaternions, Adv. in Appl. Clifford Algebras, 22(2)(2012), [Ho; 61] A. F. Horadam, A Generalized Fibonacci Sequence, Amer. Math. Monthly, 68(1961), [Ho; 63] A. F. Horadam, Complex Fibonacci Numbers and Fibonacci Quaternions, Amer. Math. Monthly, 70(1963), [Ka; 04] S. Kak, The Golden Mean and the Physics of Aesthetics, Archive of Physics: physics/ , 2004, [Ko; 01] T. Koshy, Fibonacci and Lucas Numbers with Applications, A Wiley-Interscience publication, U.S.A, [Pa; 85] P. Singh, The So-called Fibonacci Numbers in Ancient and Medieval India, Historia Mathematica, 12(1985), [Sa-Mu; 82] P. V. Satyanarayana Murthy, Fibonacci-Cayley Numbers, The Fibonacci Quarterly, 20(1)(1982), [Si; 36] A.N. Singh, On the use of series in Hindu mathematics, Osiris 1, 1936, p ( [Si; 85] P. Singh, The so-called Fibonacci numbers in ancient and medieval India, Historia Mathematica 12(1985), [Sh; 06] V. Shpakivskyi, On the one property of Fibonacci-Narayana numbers, Mathematics, no. 11(359)(2006), [in Ukrainian] 17

18 [Sw; 73] M. N. S. Swamy, On generalized Fibonacci Quaternions, The Fibonacci Quaterly, 11(5)(1973), [Yu; 61] A. P. Yushkevich, History of Mathematics in the Middle Ages, Gos. izd. fiz.-mat. lit., Moskow, Cristina FLAUT Faculty of Mathematics and Computer Science, Ovidius University, Bd. Mamaia 124, , CONSTANTA, ROMANIA cristina Vitalii SHPAKIVSKYI Department of Complex Analysis and Potential Theory Institute of Mathematics of the National Academy of Sciences of Ukraine, 3, Tereshchenkivs ka st Kiev-4 UKRAINE complex/ 18