On Spectra of Symmetric Jacobi Matrices
Total Page:16
File Type:pdf, Size:1020Kb
On Spectra of Symmetric Jacobi Matrices A.M. Encinas & M.J. Jim´enez Abstract A square symmetric matrix A is said bisymmetric if AS=SA, where S is the matrix with ones along the secondary diagonal and zeros elsewhere. We denote by J(a,b) the real symmetric Jacobi matrix with main diagonal a = (a0; a1; : : : ; an) and second diagonal b = (b0; b1; : : : ; bn−1). Hoschtadt and Hald proved that the spectrum of a bisymmetric Jacobi matrix with nonnegative off-diagonal elements defines uniquely the matrix and they give a constructive proof of the result. We characterize the spectra of nonnegative irreducible bisym- metric Jacobi matrices of size lees or equal 5, and we give the unique entries of the matrix in terms of the eigenvalues. We also parametrize the set of monic polynomials of degree n whose roots strictly interlace a given set Λ of n + 1 ordered real numbers, and we use this parametrization to characterize the symmetric Jacobi matrices realizing Λ. Our development is strongly based on the work by Hoschtadt but, instead of considering principal submatrices, we use the above parametrization of monic polynomials interlacing Λ. 1 Introduction and notation n A real matrix A = (aij)1 is a Jacobi matrix if aij = 0 for ji − jj > 1. It is well known that the eigenvalues of Jacobi matrices are real, that Jacobi ma- trices with nonnegative off-diagonal elements are isospectral with symmetric Jacobi matrices (preserving the diagonal) and also how are the spectra of nonnegative Jacobi matrices: Theorem 1. The real list Λ = fλ1; : : : ; λng ⊂ R with λ1 ≥ · · · ≥ λn is the spectrum of an n × n nonnegative Jacobi matrix if and only if λi + λn+1−i ≥ 0; i = 1; : : : ; n: 1 The following resul is well known, see for instance [1, Lemma 0.1.1]. Lemma 1. If bici > 0 for i = 1; : : : ; n − 1, then all the eigenvalues of the Jacobi matrix 2 3 a1 b1 0 ··· 0 6 .. 7 6c1 a2 b2 . 7 6 . 7 6 0 .. .. .. 0 7 6 7 6 . .. .. 7 4 . an−1 bn−15 0 ··· 0 cn−1 an are real and simple. Remark 1. The result of the above Lemma is no longer true if the hypothesis bici > 0 for i = 1; : : : ; n − 1 is not fulfilled. For instance, given a; b1; b2 2 R where b1b2 6= 0, the eigenvalues of the irreducible matrix 2 3 a b1 0 4−b1 a b25 0 −b2 a p 2 2 are a and ±i b1 + b2. Lemma 2 (Frobenius'theorem). For any nonnegative irreducible matrix, λ1 + λn = 0 implies λi + λn+1−i = 0 for i = 1; : : : ; n: The realization of a spectrum by a Jacobi symmetric matrix given in [?, Theorem 1] is highly reducible, so Friedland and Melkman also study the irreducible case for Jacobi matrices (ai;i+1; ai+1;i > 0). Lemma 3. Let Λ = fλ1; : : : ; λng ⊂ R with λ1 > ··· > λn and λi +λn+1−i > 0 for i = 1; : : : ; n: Then there exists a Jacobi matrix 2 3 a1 b1 0 ··· 0 6 .. 7 6b1 a2 b2 . 7 6 . 7 6 0 b .. .. 0 7 6 2 7 6 . .. .. 7 4 . an−1 bn−15 0 ··· 0 bn−1 an with spectrum Λ such that ai > 0, for 1 ≤ i ≤ n, and bi > 0, for 1 ≤ i ≤ n−1. 2 Lemma 4. Given the eigenvalues λ1 ≥ · · · ≥ λn and the diagonal matrix coefficients a1 ≥ · · · ≥ an of a symmetric and nonnegative matrix. Then, n n s s−1 X X X X λ1 ≥ a1; λi = ai; λk + λi ≥ ak−1 + ak + ai; 1 ≤ s < k ≤ n: i=1 i=1 i=1 i=1 Let K be symmetric matrix with ones along the secondary diagonal and zeros elsewhere. Note that K2 = I. A matrix A is said to be persymmetric if AK = KAT . A matrix A is said to be centrosymmetric if AQ = QA . Any two of the concepts of centrosymmetric, persymmetric and symmetric imply the other one, but the reciprocal is not true. A matrix A is named bisymmetric when it satisfies two of the above concepts. Lemma 5 (Cantoni & Butler 1976). Let Q be a N × N bisymmetric matrix. ACT If N = 2m, then Q = , where A and C are m × m matrices with C JAJ A − JC 0 A = AT and CT = JCJ, and Q and are orthogonally 0 A + JC similar. 2 3 A − JC 0p 0 T T T with A = A and C = JCJ, and Q and 4 0 pq 2x 5 are 0 2x A + JC orthogonally similar. We want to study the spectra of irreducible bisymmetric matrices A of size n × n. 2 The general case Hochstadt [3] and Hald [2] prove that the spectrum of a bisymmetric Jacobi matrix with nonnegative off-diagonal elements defines uniquely the matrix and they give a constructive proof of the result. So, under the hypothesis of nonnegativity, the unicity and the construction are applied. We will need the following results: Theorem 2. Let M and N be n × n symmetric matrices and let the eigen- values of M, N, and M + N be arranged in decreasing order: λ1(M) ≥ λ2(M) ≥ · · · ≥ λn(M) λ1(N) ≥ λ2(N) ≥ · · · ≥ λn(N) λ1(M + N) ≥ λ2(M + N) ≥ · · · ≥ λn(M + N): 3 For each k = 1; 2; : : : ; n we have λk(M) + λn(N) ≤ λk(M + N) ≤ λk(M) + λ1(N): Theorem 3. Let M be n × n symmetric matrix and let Mi be the matrix obtained deleting column and row i from M. Let the eigenvalues of M and Mi be arranged in decreasing order: λ1 ≥ λ2 ≥ · · · ≥ λn µ1 ≥ µ2 ≥ · · · ≥ µn−1: Then λ1 ≥ µ1 ≥ λ2 ≥ µ2 ≥ · · · ≥ λn−1 ≥ µn−1 ≥ λn: Lemma 6. Let A be a n × n nonnegative irreducible bisymmetric Jacobi matrix with spectrum λ1 > ··· > λn. (i) If n = 2m, then fλ1+2i : 0 ≤ i ≤ m − 1g and fλ2i : 1 ≤ i ≤ mg are the spectra of B + KC and B − KC respectively, where B and C are BCT the blocks of A = . Furthermore, A is completely defined C KBK by its spectrum: (ii) If n = 2m + 1, then fλ1+2pi : 0 ≤ i ≤ mg and fλ2i : 1 ≤ i ≤ mg q 2xT are the spectra of p and B − KC respectively, where 2x B + KC 2 B x CT 3 B; C; q and x are the blocks of A = 4xT q xT K 5. Furthermore, C Kx KBK A is completely defined by its spectrum: m k Q p λ (λi − λ2j) T k n i pq 2x X j=1 element (1; 1) of = − m m (1) 2x B + KC P Q i=1 (λi − λ1+2j) s=0 j = 0 j 6= s for k=1,...,n. 4 References [1] S.M. Fallat, C.R. Johnson: Totally Nonnegative Matrices. Princeton Uni- versity Press, 2011. [2] O.H. Hald: Inverse Eigenvalue Problems for Jacobi Matrices. Linear Alge- bra Appl., 14 (1976), 63-85. [3] H. Hochstadt: On the Construction of a Jacobi Matrix from Spectral Data. Linear Algebra Appl., 8 (1974), 435-446. 5.