3
$\begingroup$

It is an exercise in Peter Lax's book Linear Algebra that if all the Gershgorin disks

$$D_i := \{z\in \mathbb{C} : |a_{ii} - z| \leq \sum_{i \neq j} |a_{ij}|\}$$

are disjoint, then each disk must contain exactly one eigenvalue of the matrix $A = (a_{ij})$.

What I've tried so far: The proof of Gershgorin's theorem involves selecting the largest-modulus entry $v_i$ of an eigenvector $v$, and then showing that the corresponding eigenvalue $\lambda$ must be in $D_i$.

It would suffice if we could show that for each $i \in \{1,2,\dotsc, n\}$ there was an eigenvector $v$ such that $\max_{j}|v_j| = i$. But I'm not sure how we could show this...

$\endgroup$
4
$\begingroup$

Let $D$ be the diagonal part of $A$ and $M=A-D$ so that $A=D+M$. Let $\lambda_i(s)$ be the $i$th eigenvalue, counting multiplicities, of $D+sM$.

When $s=1$, we have our original case. When $s=0$, we have a diagonal matrix. As $s$ increases from $0$ to $1$, we are blowing up the radii of the disks given by Gershgorin's theorem.

Keeping this in mind, and noting that $\lambda_i(s)$ is continuous (implicit function theorem), consider that one of the disjoint disks $D_i$ does not have an eigenvalue. Then think about the situation as $s \to 0$. You can work out the contradiction--it's great to think about geometrically.

$\endgroup$
  • $\begingroup$ That is helpful; thanks. $\endgroup$ – Eric Auld Aug 24 '13 at 5:08
  • $\begingroup$ Can you elaborate a bit how the implicit function theorem implies the continuity of $\lambda_i(s)$? $\endgroup$ – Eric Auld Aug 25 '13 at 17:46
  • $\begingroup$ Okay, so in reality, you probably have to be careful of double roots, but otherwise you look at the characteristic equation for the eigenvalues and note that each zero, the appropriate derivative will be non-zero if it is a single root. There should be plenty online about the continuity of eigenvalues under sequences of matrices. Perhaps you can prove that if the original $\lambda$s are unique, then so will $\lambda(s)$. But you are right, this requires more consideration. $\endgroup$ – abnry Aug 25 '13 at 19:20
  • $\begingroup$ Actually, it follows from a theorem that the roots of a polynomial vary continuously with its coefficients. $\endgroup$ – abnry Aug 25 '13 at 19:23
  • $\begingroup$ See a particularly beautiful proof posted by Joel Cohen here: math.stackexchange.com/questions/63196/…. $\endgroup$ – abnry Aug 25 '13 at 19:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.