rxiv:407666v [mthnt] Fe 05 Integer Powers of Complex Tridigonl Anti-Tridigonl Mtrices Htice Kür Duru &Durmuş Bozkurt Deprtment of Mthemtics, Science Fculty of Selçuk University Jnury, 08 Astrct In this pper, we derive the generl expression of the r th power for some n-squre complex tridigonl mtricesalso one type is given eigenvlues eigenvectors of complex nti-tridigonl mtrices Additionlly, we otin the complex fctoriztions of Fioncci polynomils Introduction Eloufi Hdj[] offered tridigonl mtrix powers inverse Gutiérrez [,3] otined generl expression for the entries of the q th power q N of the n n complex tridigonl mtrix tridig n, 0, for ll n N q n Rims [4-8] enquired the ritrry positive integer powers for some tridigonl mtrices Öteleş Akulk [9,0] generlized Rims s the some results get complex fctoriztion formul for the generlized Fioncci- Pell numers Let 0 A := 0 hkduru@selcukedutr dozkurt@selcukedutr
0 A := 0 where 0, C In this pper, we wnt to r th power otin of n n squre complex tridigonl mtrices in We derive expression of the r th power r N mtrix pplying the wellknown expression G r = SJ r S [3], where J is the Jordn s form of the mtrix G S is the trnsforming mtrix of G We need the eigenvlues eigenvectors of the mtrices A A, respectively, to clculte trnsforming mtrices Let Q e the following n n tridigonl mtrix 0 0 0 Q := 3 0 0 Then, the eigenvlues of Q is µ k = cos k π n, k =,,,n [4] The Cheyshev polynomils of the first kind T n x second kind U n x re defined s [4] T n x = cosnrccosx, x 4 U n x = sinn+rccosx, x 5 sinrccos x All roots of the polynomil U n x re included in the intervl [,] cn e found using the reltion kπ x nk = cos, k =,,,n 6 n+
Eigenvlues eigenvectors of A A Theorem Let A e s in Then the eigenvlues eigenvectors of the mtrix A re k π λ k = +cos, k =,,,n 7 n x kj = δj T k ;k =,,,n ;k = n T k δj j =,,,n 8 where δ j = λj T k x is Cheyshev polynomil of the first kind Proof Let B e s in the following n n tridigonl mtrix: B := Then, the chrcteristic polynomils of B re 9 D n α = α 4P n α 0 where α = λ P n α = αp n α P n α with initil conditions P 0 α =, P α = α, P α = α SolutionofdifferenceequtioninisP n α = U n α hereu nxischeyshev polynomil of the second kind So the equlity in 0 written s Then, we hve α k = cos So, the eigenvlues of A re λ k = +cos D n α = α 4U n α k π, k =,,,n n k π, for k =,,,n n 3
Components eigenvectors of the mtrix A re the solutions of the following homogeneous liner equtions system: λ k I n Ax = 0 where λ k is the k th eigenvlue of the mtrix A k =,,,n The following equtions system written, we possess λ k x x = 0 x +λ k x x 3 = 0 x +λ k x 3 x 4 = 0 3 x n +λ k x n x n = 0 x n +λ k x n = 0 Dividing ll terms of the ech eqution in system 3 y 0, sustituting δ j = λj j =,,,n Since rnk of the system is n ; choosing x = solving the set of the system 3 s regrds x, δj T k ; k =,,,n x kj = δj j =,,,n ; k = n T k where δ j = λj T k x is Cheyshev polynomil of the first kind Theorem Let A e s in Then the eigenvlues eigenvectors of the mtrix A re λ kπ k = cos, k =,,,n 4 n+ ψj y kj = r k U k ;j,k =,,,n 5 { here ψ j = λ j,k 0 or mod4,r k = U,k or 3 mod4 k x is Cheyshev polynomil of the second kind Proof Let 0 B := 0 6 4
Let Q e the following n n tridigonl mtrix 0 0 0 Q := 0 0 7 The eigenvlues of Q re defined y the roots of the chrcteristic eqution Q θi = 0 Let D n θ = θ θ θ θ θ 8 P n θ = θ θ θ θ θ 9 here θ R Then Q θi = D n θ D n θ = P nθ 0 Let us prove y 0 the inductive method For the sis step, we possess D θ = θ = P θ D θ = θ = P θ D 3 θ = θ3 θ = P 3 θ We suppose D n θ = κ = P n θ D nθ = = P n θ for n 3 The well known recurrence reltions is H n = h n,n Hn h n,n h n,n Hn [5] 5
From, if n is positive odd integer, since h n,n = θ, h n,n =, h n,n =, D n θ = κ D n θ =, D n+ θ = θ κ = θ κ, if n is positive even integer, since h n,n = θ, h n,n = h n,n =, D n+ θ = θ κ since h n,n = θ, h n,n =, h n,n =, P n θ = κ P n θ =, P n+ θ = θ κ For n Z, we hve D n θ = P nθ From, we otin θ D n θ = U n Then the eigenvlues of the mtrix Q re kπ θ k = cos, k =,,,n n+ The proof cn e done esily for the mtrix A similr to Theorem 3 The integer powers of the mtrices A A Consider the reltions A = KJK A = TJ T,where J J re the Jordn s forms of the mtrices A A, K T re trnsforming mtrices of the mtrix A A, respectively Since ll the eigenvlues of A A re simple, columns of the trnsforming mtrices K T re the eigenvectors of the mtrices A A, respectively [3] Also ll eigenvlues λ k λ k corresponds single Jordn cells J i λ k J i λ k in the mtrix J J, respectively Then, we write down the Jordn s forms of the mtrices A A J = digλ,λ,λ 3,,λ n J = digλ,λ,λ 3,,λ n 3 From 8 5, we cn write the trnsforming mtrices K T s δj T k ; k =,,,n K = [x kj ] = j =,,,n 4 ; k = n T k δj ψj T = [y kj ] = r k U k 5 6
where δ j = λj, ψ j = λ j r k = {,k 0 or mod4,k or 3 mod4 Considering 4 5, we write down the trnsforming mtrices K T, respectively, T δ 0 T δ 0 T δn 0 T δn 0 T δ T δ T δn T δn K = 6 T δ n T δ n T δn n T δn n T δ n T δ n T δn n T δn n T = r 0 U ψ 0 r U ψ r n U n ψ r n U n ψ r 0 U ψ 0 r U ψ r n U n ψ r n U n ψ r 0 U ψn 0 r U ψn 7 r n U ψn n ψn r n U n Denoting jth column of the mtrix K y τ j implementing the necessry trnsformtions, we hve where γ j = Let τ j = γ j β T j δ β T j δ β 3 T j δ3 β n T j δn β n T j δn, j =,n { {, j =, k =,n, < j n β k = n, < k < n here Thus A s = KJ s K = Us = u ij s s = { s N, n odd s Z, n even 7
n u ij s = γ j λ s k β k T i k= where i =,,,n ; j =,,,n u ij s = γ j n λ s k β k T i k= δk δk T j δk δk T j 8 9 for i = n; j =,,,n Firstly, we ssumme tht n is positive odd integer n = p+,p N Denoting jth column of the inverse mtrix T y σ j implementing necessry trnsformtions, we hve where T j = ψ µ r j U j µ r j U ψ j µ n r j U j ψn µ n r j U j ψn µ k = Let n+ ψ n+ n +k, k n+, k = n+ k n n+ ψ 3n+ k, n+3 k =,,,nn = p+,p N here s N n = p+,p N Hence w ij s = A s = T J s T = Ws = w ij s n k= sµk λ ψk ψk k r i r j U i U j 30 where i =,,,n; j =,,,n Secondly we ssume tht n is positive even integer n = p,p N [8] Denoting jth column of the inverse mtrix T y σ j implementing necessry trnsformtions, we otin 8
T j = η r j U ψ j η r j U ψ j η n r j U j ψn η n r j U j ψn where Let η k = 4 ψ k,k =,,,nn = p,p N n+ A s = T J s T = Ls = l ij s where s Z n = p,p N So l ij s = n k= where i =,,,n; j =,,,n sηk λ ψk ψk k r i r j U i U j 3 Corollry 3 Let à = 0 0 3 e the nti-tridigonl mtrices, where 0, C Lemm 4 Let 0, C, n = p, p N, A 0 J = 33 0 Then à = J A = A J 34 Proof See [] 9
Lemm 5 Let à e s in 3 Then à s = { A s, s is even J A s, s is odd 35 Proof We will use y induction on s The cse s = is explicit Assume tht the equlity 35 is true for s > Now let us show the equlity 35 is true for s+ By the induction hypothesis we possess Since à = A J, we get à s+ = { à J A s, s+ is even à A s, s+ is odd à s+ = { A s+, s+ is even J A s+, s+ is odd Theorem 6 Let à e n squre complex nti-tridigonl mtrix in 3 If s is odd, then the s th power of à is χ s n i+,j = n k= if s is even, then the s th power of à is χ s i,j = n k= sηk λ ψk ψk k r n i r j U n i U j λ k for i =,,,n; j =,,,n sηk r i r j U i ψk ψk U j 36 37 Proof Let à s = χ s ij L = A We otin the eigenvlues of A s 4 the entries of the mtrix L s 3 Let s e odd interger If we multiply the equlity 3 y J from left side, then we possess J A = n J l r,ks = l n i+,k s; k =,,n i,k i,r Therefore we get r= χ s n i+,j = l n i+,k s n = λ k k= sηk r n i r j U n i ψk ψk U j ; i,j =,n Let s e even, then the equlity 3 is vlid y the equlity 35 0
4 Numericl exmples Exmple 7 If s = 3 n = 3 Then A = 0 0 We hve J = digλ,λ,λ 3 = dig+,, A 3 = u ij s = u ij 3 = u u u 3 u u u 3 u 3 u 3 u 33 x y 4z = y q y z y x ; x = 3 +6, y = 3 +4 3, z = 3, q = 3 + Exmple 8 s = 3, n = 4, = = Then, we get J = digλ,λ,λ 3,λ 4 = dig+,+,, = dig5,3,, 3 A 3 = u ij 3 = 000 36 36 3 676 80 70 58 3 56 58 70 36 69 56 80 36 Exmple 9 If s = 4, n = 3 Then A = 0 0 We chieve J = digλ,λ,λ 3 = dig,,+ A 4 = wij 4 = w w w 3 w w w 3 w 3 w 3 w 33 = x y z y q y z y x ; x = 4 +6 + 4, y = 4 3 +8 3, z = 6 4, q = 4 +6 + 4
Exmple 0 If n = 4, s = 4, = = 4, then J = digλ,λ,λ 3,λ 4 = dig + 5, 5, 5,+ + 5 = dig 5,3 5, + 5,3+ 5 Therefore A 4 = lij 4 = 609 58 864 56 58 473 784 864 864 784 473 58 56 864 58 609 Exmple If n = 4, s = 5, = i =, then J = digλ,λ,λ 3,λ 4 = digi + 5,i 5,i 5,i+ + 5 So A 5 = lij 5 = 000 96i 56 9i 8 56 04i 7 9i 9i 7 04i 56 8 9i 56 96i 5 Complex Fctoriztions The well-known Fioncci polynomils Fx = {F n x} n= y the recurrence reltion re defined in [] where F 0 x = 0, F x = n 3 F n x = xf n x+f n x 38 Theorem Let the mtrix A e n-squre mtrix s in with := x := i where i = Then deta = x +4F n x 39 where F n is nth Fioncci numer Proof Applying Lplce expnsion ccording to the first two the lst two rows of the mtrix A, we hve here Ď n = dettridig n i,x,i Since deta = x Ď n +4xĎn 3 +4Ďn 4 dettridig n i,x,i = F n+ x,
we hve deta = x F n x+4xf n x+4f n 3 x So tht, the proof is completed = x xf n x+f n 3 x+4xf n x+4f n 3 x = x +4xF n x+f n 3 x = x +4F n x Corollry 3 Let the mtrix A e s in with := x := i Then the complex fctoriztion of generlized Fioncci-Pell numers is the following form: F n x = x +4 n k= x+icos Proof Since the eigenvlues of the mtrix A from 7 k π λ k = x+icos, k =,,,n n the determinnt of the mtrix A cn e expressed s n deta = x+icos k= k π 40 n k π n By considering 40 Theorem, the complex fctoriztion of generlized Fioncci-Pell numers is chieved Acknowledgement The uthors re prtilly supported y TUBITAK the Office of Selçuk University Reserch Project BAP References [] M Eloufi & A D A Hdj, On the powers the inverse of tridigonl mtrix, Applied Mthemtics Computtion,, 009 37-4 [] Jesús Gutiérrez-Gutiérrez, Powers of tridigonl mtrices with constnt digonls, Applied Mthemtics Computtion, 06, 008 885-89 [3] Jesús Gutiérrez-Gutiérrez, Binomil coefficients powers oflrge tridigonl mtrices with constnt digonls, Applied Mthemtics Computtion, 9, 03 99-9 [4] J Rims, On computing of ritrry positive integer powers for one type of tridigonl mtrices, Applied Mthemtics Computtion, 6, 005 037-040 [5] J Rims, On computing of ritrry positive integer powers for one type of symmetric tridigonl mtrices of odd order-i, Applied Mthemtics Computtion, 7, 005 4-7 3
[6] J Rims, On computing of ritrry positive integer powers for one type of symmetric tridigonl mtrices of odd order-ii, Applied Mthemtics Computtion, 74, 006 676-683 [7] J Rims, On computing of ritrry positive integer powers for one type of symmetric tridigonl mtrices of even order-i, Applied Mthemtics Computtion, 68, 005 783-787 [8] J Rims, On computing of ritrry positive integer powers for one type of symmetric tridigonl mtrices of even order-ii, Applied Mthemtics Computtion, 7, 006 45-5 [9] A Öteleş&M Akulk, Positiveintegerpowersofcertincomplextridigonl mtrices, Applied Mthemtics Computtion, 9, 03 0448-0455 [0] A Öteleş & M Akulk, Positive integer powers of certin complex tridigonl mtrices, Mthemticl Sciences Letters, - 03 63-7 [] H Wng, Powers of complex persymmetric ntitridigonl mtrices with constnt ntidigonls, Computtionl Mthemtics, 04 04-0 [] Thoms Koshy, Fioncci Lucs Numers with Applictions, John Wiley Sons, NY, 00 [3] PHorn, ChJohnson, Mtrix Anlysis, Cmridge University Press, Cmridge, 986 [4] J C Mson & D C Hscom, Cheyshev Polynomils, CRC Press, Wshington, 003 [5] N D Chill, J R D Erico & J P Spence, Complex fctorizsyon of the Fioncci Lucs numers, Fioncci Q 4 003 3-9 4