Tuesday, May 31, 2016

linear algebra - Eigenvalues of tridiagonal symmetric matrix with diagonal entries 2 and subdiagonal entries 1




Problem:



Let A be a square matrix with all diagonal entries equal to 2, all entries directly above or below the main diagonal equal to 1, and all other entries equal to 0. Show that every eigenvalue of A is a real number strictly between 0 and 4.





Attempt at solution:




  • Since A is real and symmetric, we already know that its eigenvalues are real numbers.


  • Since the entries in the diagonal of A are all positive (all 2), A is positive definite iff the determinants of all the upper left-hand corners of A are positive. I think this can be proven via induction (showing that each time the dimension goes up, the determinant goes up too)


  • Since A is symmetric and positive definite, eigenvalues are positive, i.e. greater than 0.





But I can't get the upper bound of 4. Any help would be appreciated. Thank you.


Answer



The characteristic polynomial of A2I is the n×n determinant Dn(X) of the matrix with entries 1 directly above or below the main diagonal, entries X on the main diagonal, and entries 0 everywhere else, hence
Dn+2(X)=XDn+1(X)Dn(X),


for every n0 with D1(X)=X and the convention D0(X)=1.
This recursion is obviously related to Chebyshev polynomials and one can prove:





For every u in (0,π) and n0, Dn(2cos(u))=sin((n+1)u)sin(u).




Assume that this holds for n and n1 for some n1, then
Dn+1(2cos(u))sin(u)=2cos(u)sin(nu)sin((n1)u)=sin((n+1)u).


Since D1(2cos(u))=2cos(u)=sin(2u)/sin(u) and D0(2cos(u))=1=sin(u)/sin(u), this proves the claim. Hence x=2cos(kπ/(n+1)) solves Dn(x)=0 for every 1kn. These n different values are the eigenvalues of A2I.



Since the eigenvalues of A2I are all in the interval [2cos(π/(n+1)),+2cos(π/(n+1))], the eigenvalues of A are all in the interval ]0,4[.



No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...