arxiv: v1 [math.nt] 17 Nov 2011

Size: px

Start display at page:

Download "arxiv: v1 [math.nt] 17 Nov 2011"

Clifton Wells
5 years ago
Views:

1 On the representation of k sequences of generalized order-k numbers arxiv: v1 [mathnt] 17 Nov 2011 Kenan Kaygisiz a,, Adem Sahin a a Department of Mathematics, Faculty of Arts Sciences, Gaziosmanpaşa University, Tokat, Turkey Abstract In this paper, we define k-generalized order-k numbers we obtain a relation between i-th sequences k-th sequences of k-generalized order-k numbers We give some determinantal permanental representations of k-generalized order-k numbers by using various matrices Using the relation between i-th sequences k-th sequences of k-generalized order-k numbers we give some determinantal permanental representations of i-th sequences of generalized order-k numbers In addition, we obtain Binet s formula for generalized order-k Pell numbers by using our representations Keywords: Order-k Fibonacci numbers, k sequences of the generalized order-k Fibonacci numbers, k sequences of the generalized order-k Pell numbers, Hessenberg Matrix 1 Introduction Fibonacci numbers, Pell numbers their generalizations have been studying for a long time One of these generalizations was given by Miles in 1960 Miles [6] defined generalized order-k Fibonacci numbers(gokf) as, k f = f j (1) j=1 for n > k 2, with boundary conditions: f k,1 = f k,2 = f k,3 = = f k,k 2 = 0 f k,k 1 = f k,k = 1 Er[3] defined k sequences of generalized order-k Fibonacci numbers(ksokf) as; for n > 0, 1 i k k f i = c j f j i (2) j=1 Corresponding author ( ) addresses: kenankaygisiz@gopedutr (Kenan Kaygisiz), ademsahin@gopedutr (Kenan Kaygisiz) Preprint submitted to November 8, 2018

2 with boundary conditions for 1 k n 0, { 1 if i = 1 n, = 0 otherwise, f i where c j (1 j k) are constant coefficients, f i is the n-th term of i-th sequence oforderk generalization For c j = 1, k-th sequenceofthis generalization involves the Miles generalization(1) for i = k, ie f k = f k,k+n 2 (3) Kiliç[5] defined k sequences of generalized order-k Pell numbers (ksokp) as; for n > 0, 1 i k p i = 2p i 1 +p i p i k (4) with initial conditions for 1 k n 0, p i = { 1 if i = 1 n, 0 otherwise, where p i is the n-th term of i-th sequence of order k generalization We give general form of sequences mentioned above depending on λ Z + this sequences named as k sequences of generalized order-k numbers(ksok) as; for n > 0, 1 i k a i = λa i 1 +a i a i k (5) with initial conditions for 1 k n 0, { a i 1 if i = 1 n, = 0 otherwise, where a i is the n-th term of i-th sequences of order-k generalization Not that f k,k+n 2, f i, p i a i are GOkF, ksokf, ksokp ksok respectively, substituting c j = 1 in(2) λ = 1 in(5), for 1 i k we obtain a i = f i, substituting λ = 2 in(5), for 1 i k we obtain substituting λ = 2 in(5) we obtain a i = p i a k = f k,k+n 2 2

3 11 Relation between i-th sequences k-th sequences of generalized order-k numbers Lemma 11 Let a i be the i-th sequences of ksok for n > 1 k 1 i < k, a i = a i+1 + a k k+i since a k+i k i = 0 for 1 n k i then a = a i+1 Proof It s obvious that for 1 n k i, a i = a i+1 from (5) Assume for n > k i, a i i+1 a = t n show t n = a k+i k First we obtain initial conditions for t n by using initial conditions of i-th (i + 1)-th sequences of ksok simultaneously as follows; n\ a i a i+1 t n = a i 1 k k i i i i a i+1 Since initial conditions of t n are equal to initial condition of a k with index iteration since t i+1 = ak,1 k i then we have t n = a k k+i Theorem 12 Let a i 1 i k be the i-th sequences of ksok, then for n 1 a i = a k +a k 1 + +a k k+i = k i+1 m=1 a k m+1 Proof From Lemma(11) a i i+1 a = a k+i k Using this equation we write a i a i+1 a i+1 a i+2 a k 1 a k = a k k+i = a k k+i+1 = a k 1 3

4 adding these equations side by side we obtain a i a k = a k 1 + +a k k+i so a i = a k +a 1 k + +a k+i k which completes the proof Corollary 13 Let f i p i respectively Then, for 1 i < k Proof Proof is similar to Lemma(11) be the i-th sequences of ksokf ksokp f i = f i+1 + f k k+i p i = p i+1 + p k k+i Corollary 14 Let f i p i be the i-th sequences of ksokf ksokp respectively then, for n 1 1 i k k i+1 f i = f k +f 1 k + +f k+i k = m=1 k i+1 p i = p k +p 1 k + +p k+i k = m=1 f k m+1 p k m+1 Proof Proof is similar in Theorem(12) Example 15 Let us obtain p i for k = 5, n = 10 i = 2 by using Corollary (14) p i = p k +p k 1 + +p k k+1 p 2 5,10 = p 5 5,10 +p 5 5,9 +p 5 5,8 +p 5 5,7 = = 6531 Theorem(12) Corollary(14) are important, because there are a lot of studies on k th sequences of ksokf ksokp(which are called generalized order-k sequences in some papers[3,5,6]) Our relations allows to translate these studies to i th sequences 4

5 12 The determinantal representations An n n matrix A n = (a ij ) is called lower Hessenberg matrix if a ij = 0 when j i > 1 ie, a 11 a a 21 a 22 a 23 0 a 31 a 32 a 33 0 A n = a n 1,1 a n 1,2 a n 1,3 a n 1,n a n,1 a n,2 a n,3 a n,n Theorem 16 [2] A n be the n n lower Hessenberg matrix for all n 1 define det(a 0 ) = 1, then, for n 2 det(a 1 ) = a 11 n 1 n 1 det(a n ) = a n,n det(a n 1 )+ (( 1) n r a n,r a j,j+1 det(a r 1 )) (6) r=1 Theorem 17 Let k 2 be an integer, a k be the k-th sequences of ksok Q = (q st ) n n Hessenberg matrix, where i s t if 1 s t < k s t, q st = λ if s = t, 0 otherwise ie, Q = then where i = 1 λ i i λ i 0 0 i 2 i λ i 0 i k 1 i k 2 i k 3 i k i k 1 i k 2 i k i λ det(q ) = a k +1 (7) 5

6 Proof Proof is by mathematical induction on n The result is true for n = 1 by hypothesis Assume that it is truefor allpositive integerslessthan orequal tom, namely det(q k,m ) = ak,m+1 k Using Theorem (16) we have m m det(q k,m+1 ) = q m+1,m+1 det(q k,m )+ (( 1) m+1 r q m+1,r q j,j+1 det(q k,r 1 )) r=1 m k+1 m = λdet(q k,m )+ (( 1) m+1 r q m+1,r + m r=m k+2 = λdet(q k,m )+ = λdet(q k,m )+ = λdet(q k,m )+ = λdet(q k,m )+ r=1 m (( 1) m+1 r q m+1,r q j,j+1 det(q k,r 1 )) m r=m k+2 m r=m k+2 m r=m k+2 m r=m k+2 q j,j+1 det(q k,r 1 )) m (( 1) m+1 r i m+1 r i j j 1 det(q k,r 1 )) m (( 1) m+1 r i m+1 r idet(q k,r 1 )) (( 1) m+1 r i m+1 r i m+1 r det(q k,r 1 )) det(q k,r 1 ) = λdet(q k,m )+det(q k,m 1 )+ +det(q k,m (k 1) ) From the hypothesis the definition of k th sequences of ksok we obtain det(q k,m+1 ) = λa k k,m+1 +a k k,m + + a k k,m k+2 = a k k,m+2 Therefore, the result is true for all non-negative integers Theorem 18 Let k 2 be an integer, a i be the i-th sequences of ksok Q i +1 be Hessenberg matrix as; 1 i 0 0 i i 2 Q i +1 = i k i Q (n+1) (n+1)

7 where Q is as (7), then for 2 i k det(q i ) = a i Proof Proof is similar to the proof of Theorem (17) Theorem 19 Let k 2 be an integer, a k be the k-th sequences of ksok B = (b ij ) be an n n lower Hessenberg matrix such that 1 if j = i+1, 1 if 0 i j < k i j b ij = λ if i = j 0 otherwise ie, then λ λ λ 1 0 B = λ det(b ) = a k +1 (8) Proof Proof is by mathematical induction on n The result is true for n = 1 by hypothesis Assume that it is truefor allpositive integerslessthan orequal tom, namely det(b k,m ) = ak,m+1 k Using Theorem (16) we have det(b m+1,k ) = b m+1,m+1 det(b k,m )+ m m (( 1) m+1 r b m+1,r b j,j+1 det(b r 1,k )) r=1 m k+1 m = λdet(b k,m )+ (( 1) m+1 r b m+1,r + m r=m k+2 = λdet(b k,m )+ r=1 m (( 1) m+1 r b m+1,r b j,j+1 det(b r 1,k )) m r=m k+2 b j,j+1 det(b r 1,k )) m (( 1) m+1 r ( 1)det(B r 1,k )) = λdet(b k,m )+det(b m 1,k )+ +det(b m (k 1),k ) 7

8 From the hypothesis the definition of ksok we obtain det(q m+1,k ) = λa k k,m+1 +a k k,m + + a k k,m k+2 = a k k,m+2 Therefore, the result is true for all non-negative integers Theorem 110 Let a i be i-th sequences of ksok for k 2 2 i k; B+1 i = 1 B 0 0 where B is as (8) the number of 1 s in the first column is k i+1, then det(b i ) = a i Proof Proof is similar to the proof of Theorem (19) Corollary 111 If we rewrite Theorem (17) Theorem (19) for λ = 1, we obtain det(q ) = f k +1 respectively det(b ) = f k +1 Proof We know from [8] that for λ = 1, det(q ) = f k,k+n 1, det(b ) = f k,k+n 1 since f k = f k,k+n 2 in (13) then, det(q ) = f k +1 det(b ) = f k +1 8

9 Corollary 112 If we rewrite Theorem (17) Theorem (19) for λ = 2, we obtain det(q ) = p k +1 respectively det(b ) = p k +1 Proof Proof is similar to the proof of Theorem (17) for λ = 2 Corollary 113 If we rewrite Theorem (18) for λ = 1 λ = 2, we obtain respectively det(q i ) = f i det(q i ) = p i Corollary 114 If we rewrite Theorem (110) for λ = 1 λ = 2, we obtain respectively det(b i ) = f i det(b i ) = p i 13 The permanent representations Let A = (a i,j ) be a square matrix of order n over a ring R The permanent of A is defined by per(a) = n σ S n i=1 a i,σ(i) where S n denotes the symmetric group on n letters Let A i,j be the matrix obtained from a square matrix A = (a i,j ) by deleting the i-th row the j-th column Then it is also easy to see that n n per(a) = a i,k per(a i,k ) = a k,j per(a k,j ) for any i,j k=1 k=1 9

10 Theorem 115 [8]Let A n be n n lower Hessenberg matrix for all n 1 define per(a 0 ) = 1 Then, per(a 1 ) = a 11 for n 2 n 1 per(a n ) = a n,n per(a n 1 )+ r=1 (a n,r n 1 a j,j+1 per(a r 1 )) (9) Theorem 116 Let a k be the k-th sequences of ksok, k 2 be an integer H = (h st ) be an n n Hessenberg matrix, such that i s t if 1 s t < k s t, h st = λ if s = t, 0 otherwise ie, then where i = 1 H = λ i i λ i 0 0 i 2 i λ i 0 i k 1 i k 2 i k 3 i k i k 1 i k 2 i k 3 0 i i λ per(h ) = a k +1 (10) Proof Proof is similar to the proof of Theorem (17) using Theorem (115) Theorem 117 Let a k be the k-th sequences of ksokp, k 2 be an integer let D = (d st ) be an n n Hessenberg matrix such that 1 if 1 s t < k s t, d st = λ if s = t, 0 otherwise 10

11 ie, D = λ λ λ λ where number of 1 s in the first column is k i+1, then per(d ) = a k +1 (11) Proof Proof of the theorem is similar to the proof of Theorem (19) using Theorem (115) Corollary 118 If we rewrite Theorem (116) Theorem (117) for λ = 1, we obtain per(h ) = f k +1 respectively per(d ) = f k +1 Proof Weknowfrom[8][7]forλ = 1,per(H ) = f k,k+n 1 per(d ) = f k,k+n 1 respectively since f k = f k,k+n 2 in (13) then, per(h ) = f k +1 per(d ) = f k +1 Corollary 119 If we rewrite Theorem (116) Theorem (117) for λ = 2, we obtain per(h ) = p k +1 respectively per(d ) = p k +1 11

12 Theorem 120 Let a i be the i-th sequences of ksok for 2 i k n,k 2; 1 i 0 0 i i 2 H+1 i = i k i H 0 0 where H is as (10), then per(h i ) = a i Proof Proof is similar to the proof of Theorem (116) Theorem 121 Let a i be i-th sequences of ksok numbers for 2 i k k 2; D+1 i = 1 D 0 0 where D is as (11) the numbers of 1 s in the first column is k i +1, then per(d i ) = a i Proof Proof is similar to the proof of Theorem (117) 12

13 Corollary 122 If we rewrite Theorem (120) for λ = 1 λ = 2, we obtain per(h i ) = f i respectively per(h i ) = p i Corollary 123 If we rewrite Theorem (121) for λ = 1 λ = 2,we obtain per(d i ) = f i respectively per(d i ) = p i Theorem 124 Let p k be the k-th sequences of ksokp, 3 integers P = (p i,j ) be an n n Hessenberg matrix, such that i)p 1,1 = = p n 3,n 3 = p n 2,n 1 = 2 ii) p n 3,n = p n 4,n = = p n k+1,n = 0 if i 1 j i+k 1 p i,j = iii) 1 otherwise 0 otherwise ie, then P = per(p ) = p k Proof Proof is similar to the proof of Theorem (19) by using Theorem (115) 13

14 14 Binet s formula for generalized order-k Pell numbers Let a n z n be the power series of the analytical function f We assume that n=0 f(z) = a n z n when f(0) 0 n=0 then the reciprocal of f(z) can be written in the following form g(z) = 1 f(z) = ( 1) n det(a n )z n, n=0 whose radius of converge is inf{ λ : f(λ) = 0}[1] It is clear that A n is a lower Hessenberg matrix, ie, a 1 a a 2 a 1 a 0 0 A n = a 3 a 2 a 1 0 a n a n 1 a n 2 a 1 Let then the reciprocal of p k (z) is where A = Inselberg [4] showed that n n p k (z) = 1+a 1 z + +a k z k, (12) 1 p k (z) = ( 1) n det(a )z n det(a ) = n=0 a a 2 a a 3 a 2 a 1 0 a k a k 1 a k a k a k a k a 1 k j=1 n n 1 p k (λ j) ( 1 λ j ) n+1 (n k) (13) if p k (z) has the distinct zeros λ j, j = 1,2,,k Where p k (z) is the derivative of polynomial p k (z) in (12) 14

15 Lemma 125 The equation 1+3z z 2 z k+1 does not have multiple roots for k 2 Proof Let f(z) = 1 2z z k let h(z) = (z 1) f(z) Then h(z) = 1+3z z 2 z k+1 So 1 is a root but not a multiple root of h(z), since k 2 f(1) 0 Suppose that a is a multiple root of h(z) Note that a 0 a 1 Since a is a multiple root, h(a) = 1+3a a 2 a k+1 = 0 We obtain a(3 a a k ) = 1 (14) h (a) = 3 2a (k +1)a k = 0 (15) 3ka (k +3)a 2 = k +1 using equations (14) (15) Thus a 1,2 = 3k± 5k 2 16k 12 2(k+3) hence, for a 1 we get We let 0 = (k +1)a k 1 +2a 1 3 = (k +1)( 3k+ 5k 2 16k 12 2(k +3) a k = (k +1)( 3k + 5k 2 16k 12 2(k +3) Then we write: a k 3 = 0 ) k +2( 3k+ 5k 2 16k 12 ) 3 2(k +3) ) k +2( 3k + 5k 2 16k 12 ) 2(k +3) Since for k 4, a k < a k+1 a 4 = = 7, a k 3, a contradiction It can be easily shown that the roots of the equation 1+3z z 2 z k+1 = 0 are distinct for k = 3 k = 4 Similarly, for a 2 = 3k 5k 2 16k 12 2(k +3) similar results are obtained Therefore, the equation h(z) = 0 does not have multiple roots Consequently, from Lemma (125) it is seen that the equation does not have multiple roots for k 2 0 = 1 2z z k 15

16 Theorem 126 Let p k be the k-th sequences of ksokp, then for n k 2 p k +1 = k j=1 where p k (z) is the derivative of polynomial p k(z) in (12) 1 p k (λ j) ( 1 λ j ) n+1 (16) Proof Substituting a 1 = 2 a i = 1 for 2 i k in polynomial p k (z) (112), then p k (z) = 1 2z z 2 z k Substituting a 1 = 2 a i = 1 for 2 i k in matrix A for λ = 2 in matrix B (8) then, so det(a ) = ( 1) n det(b ) det(b ) = det(a ) ( 1) n (17) det(b ) = p k +1 from Corollary(113) using equation(17) then p k +1 = det(a ) ( 1) n Lemma (125) we have the zeros of p k (z) are simple Hence from equation(13) we obtain k p k 1 +1 = p k (λ j) ( 1 ) n+1 (n k) λ j j=1 Corollary 127 Let p i be the i-th sequences of ksokp then for n k 2 1 i k; k i+1 p i = k 1 p k (λ j) ( 1 ) n λ j m=1 j=1 Proof Proof is direct from Corollary (14) Theorem(126) 16

17 Example 128 Let us obtain a i for λ = 2 k = 3, for λ = 3 k = 3, for λ = 3 k = 4 by using (15); n\i , n\i , n\i Example 129 Let us obtain a i for λ = 2 k = 3, for λ = 3 k = 3, for λ = 3 k = 4 by using our some determinant permanent representation; detq 2 3,3 = det 1 i 0 i 2 i = 7, perd3,3 2 = per = 7 0 i perh4,4 2 = per 1 i 0 0 i 3 i 0 1 i 3 i = 47, perh3 4,4 = per 0 1 i 3 1 i 0 0 i 3 i 0 0 i 3 i 0 1 i 3 = 44 References [1] ET Bell, Euler algebra, Trans Amer Math Soc 25(1923) [2] ND Cahill, JR D Errico, DA Narayan, JY Narayan, Fibonacci determinants, College Math J 33(3) (2002) [3] M C Er, Sums of Fibonacci Numbers by Matrix Method, Fibonacci Quarterly 23(3) (1984) , [4] A Insenberg, On determinants of Toeplitz-Hessenberg matrices arising in power series, J Math Anal Appl 63 (1978) [5] E Kiliç D Tasci, The Generalized Binet Formula, Representation Sums of The Generalized Order-k Pell Numbers, Taiwanese Jour of Math 10(6) (2006)

18 [6] EP Miles, Generalized Fibonacci Numbers Associated Matrices, Amer Math Monthly 67 (1960) [7] H Minc, Encyclopaedia of Mathematics its Applications, Permanents, Vol6, Addison-Wesley Publishing Company, London, 1978 [8] AA Öcal, N Tuglu, E Altinisik, On the representation of k-generalized Fibonacci Lucas Numbers Appl Math Comput 170(2005)

Determinant and Permanent of Hessenberg Matrix and Fibonacci Type Numbers

Gen. Math. Notes, Vol. 9, No. 2, April 2012, pp.32-41 ISSN 2219-7184; Copyright c ICSRS Publication, 2012 www.i-csrs.org Available free online at http://www.geman.in Determinant and Permanent of Hessenberg