arxiv: v4 [math.sp] 7 Nov 2016

Transcription

1 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I: ASYMPTOTICS OF GENERALIZED EIGENVECTORS GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN arxiv: v4 [mathsp] 7 Nov 2016 Abstract We study asymptotics of generalized eigenvectors associated with Jacobi matrices Under weak conditions on the coefficients we identify when the matrices are self-adjoint and we show that they satisfy strong non-subordinacy condition 1 Introduction Jacobimatrixisamatrixdefinedbytwosequences a = : n Nandb = b n : n N such that > 0 and b n R by the formula b 0 a a 0 b 1 a 1 0 A = 0 a 1 b 2 a a 2 b 3 The domain of the operator A is DomA = {x l 2 : Ax l 2 } where { } l 2 = x C N : x n 2 < n=0 For umber R on-zero sequence u = u n : n N is called a generalized eigenvector if it satisfies the recurrence relation 1 u n 1 +b n u n + u n+1 = u n n 1 The asymptotic behaviour of generalized eigenvectors implies properties of the operator A In particular the operator A is self-adjoint if and only if there exists a generalized eigenvector u such that u / l 2 On the other hand subordinacy theory developed in [4] and [21] reduces questions about absolutely continuous spectrum of A to the asymptotic analysis of generalized eigenvectors Specifically let I R be an interval and let the 2010 Mathematics Subject Classification Primary: 47B25 47B36 42C05 Secondary: 60J80 Key words and phrases Jacobi matrix asymptotics of generalized eigenvectors total variation 1

2 2 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN operator A be self-adjoint If for every pair of generalized eigenvectors u and v associated with I holds n i=0 lim sup u2 i n < i=0 v2 i then the operator A is absolutely continuous on I and I is in the spectrum of A The aim of this paper is to analyse the asymptotic behaviour of generalized eigenvectors This type of results allows us to better understand properties of the operator A In the sequel [28] under stronger assumptions and by means of different techniques we are able to obtain stronger and more constructive spectral information about the operator A For bounded sequences a and b asymptotics of generalized eigenvectors is well understood and precisely described see for example the recent book [27] Intheunboundedcase theproblemismorecomplex Oneoftheresultsinthisdirection wasobtainedby Clarkin[3] wheretheauthorproved thatif thesequences aandbsatisfy 1 1 an+1 V 1 : n N +V 1 : n N +V 1 b n : n N < and 1 lim = 0 then for every compact interval I R there are constants c 1 c 2 > 0 such that for every generalized eigenvector u associated with I one has 1 c 1 u 2 0 +u2 1 u2 n 1 +u2 n c 2 u 2 0 +u2 1 Notice that even though u n may be zero it cannot happen that both u n 1 and u n are In particular the operator A is self-adjoint if and only if the Carleman s condition is satisfied ie 2 n=0 1 = By means of subordinacy theory the spectrum of the operator A equals R and it is absolutely continuous 1 The total N-variation of a sequence x n : n N is defined by V N x n : n N = x n+n x n n=0

3 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 3 However there are very natural cases not covered by [3] For example sequences of the form a 2k = a 2k+1 = ã k In this context the sequence ã n = n+1 κ for κ 01] was investigated in [24] While for κ 01 the spectrum σa of the operator A equals R andit isabsolutelycontinuous forκ = 1 anewphenomenon occurs Namely theoperator A is absolutely continuous on R\[ 1/21/2] and σa = R\ 1/21/2 consequently 1/21/2 is the spectral gap ie σa 1/21/2 = The results of Moszyński [24] initiated studies to better understand when a spectral gap occurs In [19] the authors considered periodic modulations ie = α n ã n b n = β n bn where α n : n N and β n : n N are periodic sequences Additive perturbations were investigated under the condition b n = 0 In [17] the periodic perturbations of n κ for κ 01] were considered namely = n κ + d n where d n : n N is a periodic sequence Non-periodic perturbations were studied in [7] Finally the case of periodic perturbations of monotone increasing sequence was investigated in [6] In [ ] the asymptotics of generalized eigenvectors is also studied In this article we give rather general conditions on the sequences a and b which guarantee that the generalized eigenvectors have the asymptotics of the form 1 In particular with a help of subordinacy theory we get results about the spectrum of the operator A The conditions are flexible enough to cover the cases considered in [ ] see Section 43 for details Moreover our results implies the strong non-subordinacy of A and estimates on the density The following theorem is a consequence Theorem 2 and Proposition 1 proved in Section 32 Theorem A Let N be a positive integer Suppose that 1 bn an+n V N : n N +V N : n N +V 1 : n N < Let 1 a lim = 0; b lim k b kn+j a kn+j = q j for j {0N 1}; c lim k a kn+j 1 a kn+j = r j > 0 for j {0N 1}

4 4 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN and F = j=0 0 1 r j q j 0 1 and E = 1 0 If 2 detef + F t E t > 0 then for every compact interval I R there are constants c 1 c 2 > 0 such that for every generalized eigenvector u associated with I one has c 1 u 2 0 a +u2 1 u2 n 1 +u2 n c 2 u 2 0 n a +u2 1 n In particular by taking N = 1 in Theorem A we can obtain a generalization of Clark s result for related results see [16 18] Although Theorem A covers a large class of sequences it cannot be applied if r 0 = r 1 = = r = 1 and q 0 = q 1 = = q = q where 3 q { 2cos π } N 1π 2cos N N This case called critical is covered by the next theorem being a consequence of Theorem 3 and Proposition 4 proven in Section 33 Theorem B Let N be a positive integer and let q be defined in 3 Suppose that 1 V N 1 : n N+V N : n N +V N bn q : n N < If a lim = 0; b limb n q = 0; c lima kn+j a kn+j 1 = s j for j {0N 1} k then for every compact interval I R\[ + ] there are constants c 1 > 0c 2 > 0 such 1 that for every generalized eigenvector u associated with I one has c 1 u 2 0 a +u2 1 u2 n 1 +u2 n c 2 u 2 0 n a +u2 1 n The numbers + are the roots of the equation 0 = 2 N 2 NqS 4 q2 4 q +S 2 j=1 s j v 2 j 1 ij=1 s i s j v i 1 v j 1 v i j 1 4 S2 where S = lim +N v n = w n q and w n is the sequence of Chebyshev polynomials of the second kind defined in 9 2 X t denotes the transpose of the matrix X

5 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 5 Theorem B provides ew class of sequences such that the operator A potentially has a spectral gap In proving Theorem A and Theorem B we further develop the method used in [29 Theorem 41] This approach allows us to better understand the reason why there might be a spectral gap Moreover our results give elementary proofs for previously considered sequences Let us briefly outline the structure of the article In Section 2 we recall basic definitions and introduce otion of strong non-subordinacy Section 3 contains proofs of main theorems Finally in Section 4 we provide applications of main results Notation We use the convention that c stands for a generic positive constant whose value can change from line to line The set of non-negative integers is denoted by N 2 Preliminaries For umber R on-zero sequence u = u n : n N is called a generalized eigenvector if 4 1 u n 1 +b n u n + u n+1 = u n n 1 For each α R 2 \{0} there is unique generalized eigenvector u such that u 0 u 1 = α If the recurrence relation 4 holds also for n = 0 with the convention that u 1 = 0 then u is a formal eigenvector of the matrix A associated with If A is a self-adjoint operator we define a Borel measure µ on R by setting µb = E A Bδ 0 δ 0 where E A is the spectral resolution of A and δ 0 is the sequence with 1 on 0th position and 0 elsewhere Following Clark and Hinton [4] we say that a self-adjoint matrix A satisfies a strong non-subordinacy condition on a compact interval I R if there exists a constant β > 0 such that for every generalized eigenvectors u and v associated with I and normalized so that u 2 0 +u2 1 = v2 0 +v2 1 = 1 we have lim sup n i=0 u i 2 n i=0 v i 2 β

6 6 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN It was proved in [4] see also [3] that a Jacobi matrix A satisfying the strong nonsubordinacy condition on I gives rise to the absolutely continuous measure µ Moreover its density is bounded above and below by 10β/π and 1/10βπ respectively Given a positive integer N we define the total N-variation V N of a sequence of vectors x = x n : n N from a vector space V by V N x = x n+n x n n=0 Observe that if x n : n N has finitetotal N-variation then foreach j {0} a subsequence x kn+j : k N is a Cauchy sequence Total N-variation controls supremum of a sequence Indeed we have 5 sup x n V N x n : n N+max { x 0 x } n N Moreover if V is also analgebra then for any two sequences x n : n N and y n : n N we have 6 V N x n y n : n N sup n N For a square matrix C its symmetrization is defined by x n V N y n : n N+sup y n V N x n : n N n N symc = C +Ct 2 where C t is the transpose of C With a binary quadratic form that is a quadratic form on R 2 represented by a real symmetric matrix C we associate its discriminant given by the formula discrc = trc 2 4detC For a sequence of square matrices C n : n N and n 0 n 1 N we set n 1 C n1 C n1 1 C n0 n 1 n 0 C k = k=n 0 Id otherwise Finally let us recall the definition of Chebyshev polynomials of the second kind ie polynomials U n satisfying the following relations 7 U 1 x = 0 U 0 x = 1 U n+1 x = 2xU n x U n 1 n 0 There is the explicit formula for U n valid on the interval 11 Namely 8 U n x = sin n+1arccosx sinarccosx

7 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 7 for x 11 For our application it is more convenient to use polynomials w n given by 9 w n x = U n x/2 3 The strong non-subordinacy 31 Turán-type determinants In this section we study under which conditions the matrix A is self-adjoint and satisfies strong non-subordinacy condition Let Λ be an open subset of R Suppose that for each Λ there is a sequence Q = Q n : n N of quadratic forms on R2 We say that {Q : Λ} is uniformly non-degenerated on I if there are c 1 and M 1 such that for all v R 2 I and n M c 1 v 2 Q nv c v 2 We say {Q : Λ} is almost uniformly non-degenerated on Λ if it is uniformly nondegenerated on each compact subinterval of Λ Fix a positive integer N and a Jacobi matrix A Let us define a sequence of functions S n : n N S n : S 1 Λ R by 10 S n α = + Q n where u is the generalized eigenvector corresponding to such that u 0 u 1 = α S 1 and S 1 is the unit sphere in R 2 centred at the origin In some cases the sequence S n : n N is related to shifted Turán determinants employed in [11] see also [9] to study asymptotically periodic Jacobi matrices Theorem 1 Let A be a Jacobi matrix and {Q : I} be a family of sequences of binary quadratic forms uniformly non-degenerated on a compact interval I Suppose that there is c 1 such that for all α S 1 and I 11 c 1 S n α c u n 1 u n Then there is c 1 such that for all I and every generalized eigenvector u corresponding to and n 1 c 1 a 1 n+ u2 0 +u 2 1 u 2 n 1 +u 2 n ca 1 n+ u2 0 +u 2 1

8 8 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN In particular the matrix A is self-adjoint if and only if 1 12 = n=0 Moreover 12 implies that the matrix A satisfies the strong non-subordinacy condition on I Proof Let I andubeageneralizedeigenvectorcorrespondingtosuchthatu 0 u 1 = α S 1 Since {Q : I} is uniformly non-degenerated there are c 1 and M 1 such that for all n M c 1 + u 2 n 1 +u2 n S nα c+ u 2 n 1 +u2 n which together with 11 implies that there is c 1 such that for all n M 13 c 1 a 1 n+ u2 n 1 +u 2 n ca 1 n+ In particular u / l 2 if and only if 12 holds The last statement combined with [26 Theorem 2 and Theorem 3] is equivalent to self-adjointness of the matrix A Finally by 13 we get c 1 n j=m a 1 j+ n j=m 1 u 2 j c n j=m a 1 j+ where the constant c 1 is independent of I and a generalized eigenvector u Hence for any two generalized eigenvectors u and v corresponding to I and normalized so that u 0 u 1 v 0 v 1 S 1 by 14 and 12 we have n j=0 lim sup u j 2 M 2 n j=0 v j limsup j=0 u j 2 +c n j=m 1 a 1 n+ 2 M 2 j=0 v j c 1 n j=m 1 a 1 n+ which finishes the proof 2c 2 Remark 1 Theorem1isalsointerestinginthecasewhenthecondition12isnotsatisfied Indeed it gives a criterion to non-self-adjointness of the matrix A and implies asymptotics of the generalized eigenvectors Such information was needed in the proof of [1 Theorem 48 and Theorem 59] Corollary 1 Let A be a Jacobi matrix and {Q : Λ} be a family of sequences of binary quadratic forms such that 15 lim Q n = fid

9 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 9 almost uniformly with respect to Λ where f : Λ R is a function without zeros Suppose that for each j {0N 1} 16 lim k S kn+j α = g j α almost uniformly with respect to α S 1 and Λ Then for any generalized eigenvector u corresponding to Λ such that u 0 u 1 = α S 1 17 lim a k+1n+j 1 u 2 kn+j 1 +u 2 g j α kn+j = k f almost uniformly with respect to α S 1 and Λ Proof Let ǫ > 0 and let I be a compact interval in Λ By 15 there is N such that for all I n N and v R 2 f ǫ v 2 1 +v2 2 Q n v f +ǫ v 2 1 +v2 2 Hence for any generalized eigenvector u corresponding to with u 0 u 1 = α f ǫ+ u 2 n 1 +u 2 n Sn α f +ǫ+ u 2 n 1 +u 2 n By 16 for any j {0N 1} lim supa k+1n+j 1 u 2 kn+j 1 +u 2 g j α kn+j k f ǫ and lim inf a k+1n+j 1 u 2 kn+j 1 +u 2 g j α kn+j k f +ǫ Taking ǫ approaching zero we obtain Regular case Fix a positive integer N and a Jacobi matrix A For each R and n N we define the transfer matrix B n by B n = b n Then for any generalized eigenvector u corresponding to we have u n u n+1 = B n u n 1 Next let us define a sequence of binary quadratic forms Q by the formula u n Q n v = EX n vv

10 10 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN where 18 X n = n+ j=n Bj 0 1 and E = 1 0 The main result of this section is the following theorem Theorem 2 Assume that 1 bn a V N : n N +V N : n N +V 1 an+n : n N < ; b c 1 < +1 < c 2 for some constants c 1 c 2 > 0; c the family { Q : I } is uniformly non-degenerated on a compact interval I Then there is c 1 such that for all I and every generalized eigenvector u corresponding to and n 1 c 1 a 1 n u2 0 +u2 1 u2 n 1 +u2 n ca 1 n u2 0 +u2 1 Proof Let S n be a sequence of functions defined by 10 In view of Theorem 1 it is enough to show that there is c 1 such that 19 c 1 S n α c for all α S 1 and I The study of the sequence S n : n N is motivated by the method developed in [3] Given a generalized eigenvector corresponding to I normalized so that u 0 u 1 = α S 1 we can easily see that for each n 2 u n considered as a function of α and is continuous on S 1 I As a consequence the function S n is continuous on S 1 I Since {Q : I} is uniformly non-degenerated for each n M the function S n is non-zero and has the same sign for all I and α S 1 Indeed otherwise there would be onzero α S 1 and I such that S n α = 0 which would contradict the non-degeneracy of Q n Next we define a sequence of functions F n : n M on S 1 I by setting Then F n = S n+1 S n S n S n S M = n 1 1+F j j=m

11 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 11 Since each function F n is continuous to conclude 19 it is enough to show that the product n 1+F j j=m converges uniformly on S 1 I To do so we are going to prove that the series 20 F j j=m converges uniformly on S 1 I Let u be a generalized eigenvector corresponding to I such that u 0 u 1 = α S 1 Using E 1 = E we can write S n+1 α = +N EX n+1 u n u n+1 = +N EB n+n E 1 EX n u n u n+1 u n 1 = +N B n t EB n+neex n Hence S n+1 α S n α is equal to 21 u n +NBn t EBn+N E +Id EXn B n u n 1 u n u n 1 u n u n 1 u n u n 1 u n u n 1 u n We now compute the matrix +N Bn t EBn+N E 0 1 a n+n b 1 n b n+n +N +N a = n 0 +N 0 b n 1 b n+n + 1 a = n +N 0 b n+n bn +N + Therefore +N B n t EB n+n E +Id = an 1 +N + 0 b n+n bn +N 0

12 12 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN In particular we can estimate 22 an+n Bn t EBn+N E ++Id +N an N 1 +N +a b n n+n b n+n +N Finally since {Q : I} is uniformly non-degenerated 23 S n α c 1 + u 2 n +u2 n 1 and S n+1 α S n α c an+n B n t EB n+ne ++ Id u 2 n +u 2 n 1 one has F n α c 2 1 +N Bn a t EBn+N E ++Id n+ c 2 an 1 +N N N + +N b n b n+n + Using b we can estimate F n c 2 c N an+n 1 V 1 a 24 n=m n +N +c 2 c 2 V N bn : n N thus a implies 20 and the proof is complete 1 : n N +c 2 c 2 V N : n N Corollary 2 Under the hypothesis of Theorem 2 the sequence of continuous functions S n : n N converges almost uniformly to the function without zeros Theorem 2 depends on the almost uniform non-degeneracy of {Q : R} We are going to apply it for a Jacobi matrix A such that for each j {0} the following limits exist 25 q j = lim k b kn+j a kn+j and r j = lim k a kn+j 1 a kn+j with r j > 0 The next propositionis aneasy to check criterion for thefamily {Q : R} to be almost uniformly non-degenerated

13 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 13 Proposition 1 Suppose that Let F = j=0 0 1 r j q j lim = 0 1 and E = 1 0 where q j and r j are given by 25 Then the family {Q : R} is almost uniformly non-degenerated whenever 26 detsymef > 0 Proof For each j {0N 1} we set B j = r j q j = lim k B kn+j We notice that the convergence in 27 is almost uniform with respect to For each R and j {0N 1} we set Q jv = lim k Q kn+jv where the convergence is almost uniform with respect to The quadratic form Q j corresponds to the matrix j 1 28 sym E B k B k k=0 Hence it is enough to show that the determinant of the matrix 28 is positive Since for any matrix X M 2 R k=j detsymex = 4 discr X and the discriminant is invariant under conjugation we conclude j 1 det sym E B k B k = 4discr k=0 k=j j 1 k=0 B k k=j B k = 4discr B k = detsymef k=0

14 14 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN Remark 2 There are cases when the condition 26 can be easily verified For example when detf = 1 and trf < 2 Indeed for the proof it is enough to observe that detsymef = 1 trf 2trF +2 4 Remark 3 We can obtain an important example by taking N to be a positive odd integer and q j = 0 for all j {0N 1} To show 26 we observe that = r j+1 0 r j 0 r j 0 0 r j+1 Therefore EF = 1 N/2 r 0 r 2 r 0 0 r 1 r 3 r N 2 which makes clear that the condition 26 is satisfied Remark 4 Let 29 q 22\ { 2cos π N 2cos 2π } N 1π 2cos N N Suppose that for all j {0N 1} r j = 1 and q j = q In this case we set It may be easily verified that B = q = lim B n 30 B n = 1 n w n 2 q w n 1 q w n 1 q w n q where w n : n N is the sequence of polynomials defined in 9 Therefore by the recurrence relation 7 we can write detsymeb N = w 2 q q2 which is positive since by 8 and 29 w q 0 and q < 2

15 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I Critical case Remark4leaves outaveryinteresting casethatiswhenw q = 0 In fact we cannot apply Theorem 2 since in this case the family {Q : R} is not almost uniformly non-degenerated To deal with this case we need to modify its definition Our strategy is motivated by [24 Criterion 2] Let us fix 31 q = 2cos k 0π N for some k 0 {1N 1} We set 32 γ = 1 N w N q = 1 N+k 0 For each R and n N we define a binary quadratic form Q n v = + EX n vv where Xn and E are given by 18 We notice that Evv = 0 This simple observation lies behind the following nondegeneracy test Proposition 2 Suppose that there is γ R such that for all j {0N 1} lim k a kn+jx kn+j γid = C j almost uniformly with respect to Λ If for all j {0N 1} and all Λ 33 discrc j < 0 then the family {Q : Λ} is almost uniformly non-degenerated on Λ Proof Since for each j {0N 1} we have Q n v = + EX n vv = + +N an+n EX n γidvv lim k Q kn+jv = EC jvv almost uniformly with respect to Λ In particular Λ C j is a continuous mapping Therefore it is enough to check whether which is easily implied by 33 because detsymecj > 0 detsymec j = 4discrC j > 0

16 16 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN We start from the simplified version of our problem Proposition 3 Suppose that a lim = ; 1 b V 1 : n N < Given R we set and B n = q C n = B n N γid where q and γ are defined by 31 and 32 respectively Then for every compact interval I 34 supv 1 C n : n N < I Moreover N 35 lim C n = 1 4 q 2w Nq almost uniformly with respect to q 2 2 q Proof First by 7 we get B n N = 1 N w N 2 x n w x n w x n w N x n where x n = q / Using 8 9 and 31 we can calculate Therefore by a we get w N 2 q = 1 k 0+1 w q = 0 w N q = 1 k 0 lim B n N = γid with γ given by 32 We now write C n = 1 N w N 2 x n +w N 2 q w x n +w q w x n w q w N x n w N q

17 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 17 which by the mean value theorem implies that the sequence C n : n N converges to the matrix 36 1 N w N 2 q w q w q w N q Moreover the second application of the mean value theorem gives w N 2 q w N 2 x n+1 w N 2q w N 2 x n q x n+1 q x n c for some c > 0 Therefore 34 follows from b It remains to express the matrix 36 in the form 35 Combining [23 Section ] with [23 Section ] we obtain the following identity w n w n 2 = nw n 1 thus w Nq = w N 2q Next we have see [23 Section 25 Problem 15] for x 22 Therefore we get w n x = n+2w n 1x nw n+1 x 4 x 2 w q = 2Nw Nq 4 q 2 w N q = Nw N+1q 4 q 2 Finally by the recurrence formula 7 w N+1 q = qw N q Hence which finished the proof w N q = Nqw Nq 4 q 2 We next investigate for which set Λ R the family {Q : Λ} is almost uniformly non-degenerated Proposition 4 Let q and γ be defined by 31 and 32 respectively Suppose that a lim = ; 1 b V N 1 : n N+V N : n N < ; c V N bn q : n N < ; d lim b n q = 0;

18 18 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN e lim k a kn+j a kn+j 1 = s j for j {0N 1} Let 37 C n = + X n γid Then for every compact interval I 38 supv N Cn : n N < I Moreover the family { Q : R\[ + ] } is almost uniformly non-degenerated where + are the roots of the equation 39 0 = 2 N 2 NqS 4 q2 4 q +S s 2 j u 2 j 1 j=1 ij=1 s i s j u i 1 u j 1 u i j 1 4 S2 where u j = w j q and S = lim+n = s j j=0 Proof We begin by deriving some consequences of b and c Let us observe that in view of 5 the sequence +1 : n N is bounded Since we have +1 = lim = 1 Moreover by 6 we can estimate an+1 an+1 V N : n N = V N 1 : n N = V N +1 1 : n N 40 cv N an+1 : n N 1 +cv N : n N for some c > 0 Similarly there is c > 0 such that an+j an+1 41 V N : n N cv N : n N

19 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 19 for each j {1N 1} Finally we can estimate bn bn V N : n N = V N q : n N 1 42 cv N : n N +cv N bn q : n N for some c > 0 We now proceed to the proof of 38 Fix a compact interval I Let B n = q and C n = B n N γid Let us observe that Xn = B n+ B n+n 2 B n = Bn+ B n B n+n 2 Bn + B n B n+n 2 B n B n + + B n Bn B n + B n N Hence C n = + B n+ B n B n+n 2 B n 43 + B n + B n+n 2 B n B n + + B n + B n B n + + C n As a consequence of 6 to estimate V N C n : n N it is enough to show that each factor in 43 has the supremum and the total N-variation bounded uniformly with respect to I Since each factor as a function of is continuous in view of 5 it is enough to prove that there is c > 0 such that for all I V N B n : n N c V N B n : n N c an+ V N C : n N c n

20 20 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN and for all j {0N 1} 47 V N + B n+j B n : n N c We have B n+n Bn + a n 1 +N N + b n+n b n +N thus by and b we get 44 Similarly for 45 we obtain B n+n B n 1 1 +N The estimate 46 is a consequence of Proposition 4 40 and 6 Finally the matrix + B n+j B n is equal to j +j +j 1 1 a n+j +q+j b n+j hence by 41 b and c we obtain 47 Next we turn to proving uniform non-degeneracy of the family { Q : I } For j {0N 1} we set Cj = lim a kn+j X kn+j γid k First we show that the convergence is uniform with respect to I To do this it is enough to analyse each factor in 43 separately Since b n q 1 + bn q both sequences B n : n N and Bn : n N converge to 0 1 B = 1 q uniformly with respect to I Moreover by 48 for i {0N 1} we have lim a k+1n+i 1 B kn+j+i B kn+i 0 0 = k s j+i mod N 0 uniformly with respect to I As a consequence 49 Cj = B i 0 0 B i +C s i+j mod N 0 i=0

21 where by Proposition 3 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 21 C = lim C n uniformly with respect to I In light of Proposition 2 it is enough to show that discrc j < 0 Since BCB 1 = C and B N = γid we have 50 C j+1 = BC j B 1 which reduces our task to j = 0 Let us observe that by 30 B 0 0 = 1 s j 0 w N q s j Thus we obtain C0 = B j B 0 0 s j 0 j=0 B j +C = 1 w N q Since by 8 and the trigonometric identity for product of sines 51 u i 1 u j 1 u i u j 2 = u i j we can compute Therefore by 32 we have C0 s 0 0 = γ γ 0 0 B j = 1 j j=1 u j u j 1 u j 1 u j 2 u j u j 2 u j u j 1 s j u j 1 u j 2 u 2 j 1 j=0 B j s j 0 B j +C 0 0 γ N 4 q 2 We now calculate discriminant of γ 1 C 0 The trace of γ 1 C 0 is equal to trγ 1 C 0 = s 0 j=1 s j u 2 j 1 u j u j 2 = S q 2 2 q where in the last equality we have used 51 We next compute the determinant of γ 1 C 0 Firstly the terms containing 2 give 2 2 Nq 2N + = 2 N 2 4 q 2 4 q 2 4 q 2 Secondly we find the terms containing N qs 4 q s j q u j u j 2 +uj 1 2 2uj 1 uj 2 +u j j=1

22 22 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN By the recurrence formula for w j 2 we get u j 1 uj 2 +u j = qu 2 j 1 We thus obtain Nq s 4 q s j uj u j 2 u 2 j 1 = Nq 4 q 2S j=1 where in the last equality we again applied 51 Lastly we compute the free term 52 j=1 s 0 s j u 2 j 1+ ij=1 s i s j u i u j 1 ui 1 u j 2 u i 2 u j 1 We have Consequently 52 equals s 0 = S i=1 s i S j=1 s j u 2 j 1 + Identity 51 implies that ij=1 s i s j ui u i 1 u j 1 u j 2 u i u 2 j 1u i 2 u 2 j 1 u 2 j 11+u i u i 2 = u 2 j 1u 2 i 1 which together with 51 proves that the free term equals Finally we write S j=1 s j u 2 j 1 ij=1 s i s j u i 1 u j 1 u i j 53 discrγ 1 C 0 4N2 4Nq = q2 4 q 2S 4S j=1 s j u 2 j 1 +4 ij=1 s i s j u i 1 u j 1 u i j +S 2 Therefore discrc 0 < 0 if and only if / [ + ] which completes the proof We now present two examples where one can give formulas for and +

23 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 23 Example 1 Multiple weights Let us fix a positive integer N and q = 2cos k 0π N for some k 0 {1N 1} Suppose s 0 = s and s 1 = = s = 0 Then = q 2s 2N + = q+2s 2N Example 2 Additive perturbations Let N = 2K and q = 0 Then w 2k 0 = 1 k and w 2k+1 0 = 0 for k Z Set a = s 0 +s 2 +s N 2 and b = s 1 +s 3 +s Therefore the equation 39 takes the form 0 = 2 N 2 +4a+bb 4b 2 a+b 2 This equation can be written as 0 = 2 N 2 a b 2 Therefore = a b N + = a b N Finally the following theorem shows the asymptotics of generalized eigenvectors in the critical case Theorem 3 Let q be defined by 31 and + be the roots of the equation 39 Suppose that a lim = ; 1 b V N 1 : n N+V N : n N < ; c V N bn q : n N < ; d lim b n q = 0; e lim k a kn+j a kn+j 1 = s j for j {0N 1} Then for every compact interval I R\[ + ] there is c 1 such that for all I and every generalized eigenvector u corresponding to and all n 1 c 1 a 1 n u 2 0 +u 2 1 u 2 n 1 +u 2 n ca 1 n u 2 0 +u 2 1

24 24 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN Proof The method of the proof is similar to that of Theorem 2 We fix a compact interval inside R\[ + ] We consider the sequence of functions S n : n N defined by 10 By Theorem 1 it is enough to show that there is c 1 such that c 1 S n α c for all α S 1 and I By Proposition 4 the family { Q : I } is uniformly non-degenerated Again it is enough to show that the series F n n=m converges uniformly on S 1 I where F n : n M is the sequence of functions on S 1 I defined by Indeed k 1 1+F jn+m = j=0 F n = S n+n S n S n k 1 j=0 S j+1n+m S jn+m = S kn+m S M Using 37 for a generalized eigenvector u corresponding to I with u 0 u 1 = α S 1 we can write 54 S n+n α = a 2 n+2 EX n+n = +2 EC n+n u n+ u n+n u n+ u n+n u n+ u n+n u n+ u n+n Moreover S n α = a 2 n+ = a 2 n+ E u n+ u n+n X n 1 t E X n 1 u n+ u n+n u n+ u n+n u n+ u n+n Observe that for every invertible matrix X M 2 R the following formula holds true 1 detx EX = X 1 t E

25 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 25 Therefore 55 S n α = a3 n+ EXn 1 = a2 n+ 1 ECn u n+ u n+n u n+ u n+n u n+ u n+n u n+ u n+n In particular since { Q : I } is uniformly non-degenerated we have 56 S n α c 1a2 n+ u 2 + +u 2 n+n n 1 for all n M α S 1 and I Hence 57 Fn α 1 c +2 Cn+N a + C n n+ 1 + which by and 6 is summable uniformly with respect to α S 1 and I Corollary 3 Under the hypothesis of Theorem 3 for each j {0 N 1} the subsequence of continuous functions S kn+j : k N converges almost uniformly on S 1 R\[ + ] to the function without zeros Remark 5 Theorem 2 could be proved in the similar way as Theorem 3 Then the assumption V 1 an+n : n N < has to be replaced by an+1 V N : n N < which is more symmetric and closer to the approach taken in [25] However in this way one could obtain only the convergence of a subsequence S kn+j : k N for each j {0N 1} Let a and b be two sequences satisfying hypothesis of Theorem 3 Observe that if ã and b are two sequences such that for some d Z and all n N ã n+d = bn+d = b n then ã and b again satisfy hypothesis of Theorem 3 The resulting sequence s 0 s is a cyclic shift of s 0 s Therefore by 50 and 53 we easily obtain = and + = +

26 26 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN Let us recall that with a Jacobi matrix A one can associate the sequence of polynomials p n : n 1 defined by 58 p 1 = 0 p 0 = 1 p n+1 = b n p n 1 p n 1 n 0 for R Proposition 5 Let u be a generalized eigenvector of A corresponding to R Suppose that u is not proportional to p n : n N Then there exist sequences ã and b such that for all n N 59 ã n+2 = bn+2 = b n and Proof Let u n = p n+2 β = b 0 u 0 a 0 u 1 Because the sequence u is not proportional to p n : n N we have β 0 In order to construct sequences ã and b it suffices to solve the system b0 +ã 0 p 1 = 60 ã 0 + b 1 p 1 +ã 1 u 0 = p 1 ã 1 p 1 +b 0 u 0 +a 0 u 1 = u 0 Let γ γβ > 0 and 1+ β γ u 0 > 0 We take Then 60 may be rewritten as b0 = b 1 = γ p 1 = γ ã 0 γ p 1 = ã 0 +ã 1 u 0 ã 1 p 1 = β

27 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 27 From the first and the third equation we get ã 1 = β γã0 Now from the second equation we obtain γ p 1 = ã 0 1+ β γ u 0 Thus ã 0 = γ 1+ β u γ 0 which completes the proof Given α S 1 and R \ [ + ] with a help of Proposition 5 we may modify the sequences a and b so that S n α = ã 2 n+n+1 pn+2 p n+n+1 p n+1 p n+n+2 Therefore in order to calculate the limit of S n α : n N it is enough to work with N-shifted Turán determinants This approach is the subject of the forthcoming article [28] 4 Applications 41 Asymptotics of orthonormal polynomials In [13 Conjecture 67] the following conjecture has been stated Conjecture 1 Ignjatović [13] Assume that b n 0 and Then lim = c > 0 κ 01 nκ n k=0 lim p2 k x n k=0 1/a k exists and is positive for x σa where p n x : n N is defined in 58 Recently in[14]see also[15] additional conditions were imposed so that the conjecture holds Corollary 1 and 2 combined with Remark 3 gives

28 28 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN Corollary 4 Let N be an odd number Assume that b n 0 and an+n 1 V 1 : n N +V N : n N < If a lim = 1 lim = 1 b = then +1 n=0 exists and is positive for x R n k=0 lim p2 k x n k=0 1/a k Corollary 4 provides sufficient conditions under which the conjecture holds Our conditions are actually weaker than in [14] For detailed discussion and comparisons we refer to [28] 42 Classical families of orthogonal polynomials In this section we present three well-known families of orthogonal polynomials which satisfy the assumptions of our theorems In what follows we define the density of a measure µ The corresponding sequence of orthonormal polynomials p n x : n N satisfies the recurrence relation of the form 58 a Generalized Hermite polynomials Let µ x = c t x t e x2 for t > 1 and ormalizing constant c t Then = 1 2 n+1+dn d 2k = t d 2k+1 = 0 b n 0 see [2 page 157] The assumptions of Theorem B are satisfied If t 0 the assumptions of Theorem A are not satisfied b Meixner-Pollaczek polynomials Let µ x = c ϕ e 2ϕ πx Γ+ix 2 for > 0 ϕ 0π and ormalizing constant c ϕ Then = n+1n+2 2sinϕ b n = n+ tanϕ

29 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 29 see [22 Chapter 97] The assumptions of Theorem A are satisfied c Freud polynomials Let µ x = c β e x β for β > 0 and ormalizing constant c β Then b n 0 n+1 1/β = c β +r n r n : n N l 1 for explicit constant c β see [5 Theorem 13] The assumptions of Theorem A are satisfied By Theorem 1 the Jacobi matrix associated with sequences a and b is self-adjoint only for β 1 For detailed explanations and numerical tests we refer to [28] 43 Spectral analysis of Jacobi matrices In this section by applying Theorem 2 and Theorem 3 we show generalizations of results known in the literature It is worth noting that conclusions from theorems presented in this article are stronger Namely we provide asymptotics of generalized eigenvectors in different form and consequently an additional information about the density 431 Multiple weights In [24] the author considered Jacobi matrices with b n 0 and a 2k = a 2k+1 = k +1 α for α 0 1] The following examples are generalizations of his result Example 3 Regular case Fix a positive integer N Let ã n : n N be a sequence of positive numbers such that a lim ã n = ; 1 b = ; ã n=0 n ãn+1 c V 1 : n N ã n Let We set 1 +V 1 : n N < ã n q 22\ { 2cos π } N 1π 2cos N N a kn = a kn+1 = = a kn+ = ã k and b n = q Then σa = R and the spectrum of the matrix A is absolutely continuous

30 30 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN Example 4 Critical case Fix a positive integer N Let ã n : n N be a sequence of positive numbers such that a lim ã n = ; 1 b V 1 ã n ã n 1 : n N+V 1 : n N < ; ã n c lim ã n ã n 1 = s Let for some k 0 {1N 1} We set Then σa R\ + where q = 2cos k 0π N a kn = a kn+1 = = a kn+ = ã k and b n = q = s q 2 2N + = s q +2 2N and the spectrum of the matrix A is absolutely continuous on R\[ + ] Whether there is an actual gap around zero depends on a speed of divergence of : n N In particular in [10] the authors considered the case when N is an even integer and q = 0 They proved that if ã n lim n = 0 then zero is not an eigenvalue of A but is an accumulation point of σa consequently there is no gap around zero in the essential spectrum of A On the other hand in [12] it is proved that if ã n lim n = then the matrix A is self-adjoint and σa has no accumulation points 432 Additive periodic perturbations In[17] and[20] the authors studied Jacobi matrices with b n 0 and = n+1 α +d n for α 01] where d n : n N is a N-periodic sequence ie there is the minimal number N 1 with the property that d n+n = d n for all n N The following examples are generalizations of their results

31 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 31 Example 5 Regular case Fix a positive integer N Let ã n : n N be a sequence of positive numbers such that a lim ã n = ; 1 b = ; ã n n=0 c V 1 ãn+1 ã n : n N Let and 1 +V 1 : n N < ã n q 22\ { 2cos π } N 1π 2cos N N = ã n +d n and b n = q Then σa = R and the spectrum of the matrix A is absolutely continuous Example 6 N even Let N be an even integer Let ã n : n N be a sequence of positive numbers such that a lim ã n = ; 1 b V 1 ã n ã n 1 : n N+V 1 : n N < ã n Let = ã n +d n and b n = 0 We set N D = 1 n d n n=1 Then σa R \ 2 D /N2 D /N and the spectrum of the matrix A is absolutely continuous on R\ [ 2 D /N2 D /N ] The result of Example 6 for N = 2 was proved in [8 Theorem 52] Again whether there is an actual gap around zero requires different techniques For N = 2results from[8] imply that theset 2 D /N2 D /Nisagapintheessential spectrum of A and consequently the essential spectrum of A equals R\ 2 D /N2 D /N

32 32 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN 433 Periodic modulations The next example is a periodic modulation considered in [19] Example 7 Let N be a positive integer Let ã n : n N and b n : n N be sequences such that ã n > 0 and a lim ã n = ; 1 b = ; ã n n=0 bn c lim = δ; ã n ãn+1 1 bn d V 1 : n N +V 1 : n N +V 1 : n N < ã n ã n ã n Let α n : n N and β n : n N be N-periodic sequences such that the matrix N 0 1 F = α j 1 j=1 α j δ β j α j satisfies 61 trf < 2 For instance the condition 61 holds for N odd and δ = 0 Finally we set = α n ã n and b n = β n bn Then σa = R and the spectrum of the matrix A is absolutely continuous According to [19] if trf > 2 then the spectrum of A has no accumulation points Acknowledgements The first author would like to thank Ryszard Szwarc for simplification of the proof of Proposition 5 References [1] C Berg and R Szwarc On the order of indeterminate moment problems Adv Math 250: [2] T S Chihara An introduction to orthogonal polynomials Mathematics and its Applications Vol 13 Gordon and Breach Science Publishers New York-London-Paris 1978 [3] S Clark A spectral analysis for self-adjoint operators generated by a class of second order difference equations J Math Anal Appl 1971:

33 PERIODIC PERTURBATIONS OF UNBOUNDED JACOBI MATRICES I 33 [4] S Clark and D Hinton Strong nonsubordinacy and absolutely continuous spectra for Sturm Liouville equations Differ Integral Equ 63: [5] P Deift T Kriecherbauer K-R McLaughlin S Venakides and X Zhou A Riemann Hilbert approach to asymptotic questions for orthogonal polynomials J Comput Appl Math : [6] J Dombrowski Eigenvalues and spectral gaps related to periodic perturbations of Jacobi matrices In Spectral Methods for Operators of Mathematical Physics volume 154 of Operator Theory: Advances and Applications pages Birkhäuser Basel 2004 [7] J Dombrowski Jacobi matrices: Eigenvalues and spectral gaps In Methods of Spectral Analysis in Mathematical Physics volume 186 of Operator Theory: Advances and Applications pages Birkhäuser Basel 2009 [8] J Dombrowski J Janas M Moszyński and S Pedersen Spectral gaps resulting from periodic perturbations of a class of Jacobi operators Constr Approx 20: [9] J Dombrowski and P Nevai Orthogonal polynomials measures and recurrence relations SIAM J Math Anal 173: [10] J Dombrowski and S Pedersen Orthogonal polynomials spectral measures and absolute continuity J Comput Appl Math 65: [11] J Geronimo and W Van Assche Approximating the weight function for orthogonal polynomials on several intervals J Approx Theory 65: [12] D Hinton and R Lewis Spectral analysis of second order difference equations J Math Anal Appl 632: [13] A Ignjatović Chromatic derivatives chromatic expansions and associated spaces East J Approx 153: [14] A Ignjatović Asymptotic behaviour of some families of orthonormal polynomials and an associated Hilbert space J Approx Theory 210: [15] A Ignjatović and D Lubinsky On an asymptotic equality for reproducing kernels and sums of squares of orthonormal polynomials To appear in Springer Memorial Volume for QI Rahman 2016 [16] J Janas and M Moszyński Alternative approaches to the absolute continuity of Jacobi matrices with monotonic weights Inter Equat Oper Th 434: [17] J Janas and M Moszyński Spectral properties of Jacobi matrices by asymptotic analysis J Approx Theory 1202: [18] J Janas and S Naboko Multithreshold spectral phase transitions for a class of Jacobi matrices In Recent Advances in Operator Theory volume 124 of Operator Theory: Advances and Applications pages Birkhäuser Basel 2001 [19] J Janas and S Naboko Spectral analysis of selfadjoint Jacobi matrices with periodically modulated entries J Funct Anal 1912: [20] J Janas S Naboko and G Stolz Spectral theory for a class of periodically perturbed unbounded Jacobi matrices: elementary methods J Comput Appl Math :

34 34 GRZEGORZ ŚWIDERSKI AND BARTOSZ TROJAN [21] S Khan and D Pearson Subordinacy and spectral theory for infinite matrices Helv Phys Acta 65: [22] R Koekoek P Lesky and R Swarttouw Hypergeometric Orthogonal Polynomials and Their q- Analogues Springer Monographs in Mathematics Springer Berlin Heidelberg 2010 [23] J Mason and D Handscomb Chebyshev polynomials Chapman & Hall/CRC Boca Raton 2003 [24] M Moszyński Spectral properties of some Jacobi matrices with double weights J Math Anal Appl 2802: [25] M Moszyński Slowly oscillating perturbations of periodic Jacobi operators in l 2 N Studia Math 1923: [26] B Simon The classical moment problem as a self-adjoint finite difference operator Adv Math 1371: [27] B Simon Szegő s Theorem and Its Descendants: Spectral Theory for L 2 Perturbations of Orthogonal Polynomials Princeton University Press 2010 [28] G Świderski Periodic perturbations of unbounded Jacobi matrices II: Formulas for density arxiv: v [29] G Świderski Spectral properties of unbounded Jacobi matrices with almost monotonic weights Constr Approx 441: address: gswider@mathuniwrocpl Grzegorz Świderski Instytut Matematyczny Uniwersytet Wroc lawski Pl Grunwaldzki 2/ Wroc law Poland address: bartosztrojan@pwredupl Bartosz Trojan Wydzia l Matematyki Politechnika Wroc lawska Wyb Wyspiańskiego Wroc law Poland