Namespaces
Variants
Actions

Gershgorin theorem

From Encyclopedia of Mathematics
Revision as of 17:06, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Gerschgorin theorem, Geršgorin theorem

Given a complex -matrix, , with , then finding the eigenvalues of is equivalent to finding the zeros of its associated characteristic polynomial

where is the identity -matrix (cf. also Matrix; Eigen value). But for large, finding these zeros can be a daunting problem. Is there an "easy" procedure which estimates these eigenvalues, without having to explicitly form the characteristic polynomial above and then to find its zeros? This was first considered in 1931 by the Russian mathematician S. Gershgorin, who established the following result [a1]. If denotes the closed complex disc having centre and radius , then Gershgorin showed that for each eigenvalue of the given complex -matrix there is a positive integer , with , such that , where

(a1)

with

( is called the th Gershgorin disc for .) As this is true for each eigenvalue of , it is evident that if denotes the set of all eigenvalues of , then

(a2)

Indeed, let be any eigenvalue of , so that there is a complex vector , with , such that . As , then , and there is an , with , such that . Taking the th component of gives , or equivalently

On taking absolute values in the above expression and using the triangle inequality, this gives

(a3)

the last inequality following from the definition of in (a1) and the fact that for all . Dividing through by in (a3) gives that .

In the same paper, Gershgorin also established the following interesting result: If the discs of (a2) consist of two non-empty disjoint sets and , where consists of the union of, say, discs and consists of the union of the remaining discs, then contains exactly eigenvalues (counting multiplicities) of , while contains exactly eigenvalues of . (The proof of this depends on the fact that the zeros of the characteristic polynomial vary continuously with the entries of .)

One of the most beautiful results in this area, having to do with the sharpness of the inclusion of (a2), is a result of O. Taussky [a2], which depends on the following use of directed graphs (cf. also Graph, oriented). Given a complex -matrix , with , let be distinct points, called vertices, in the plane. Then, for each , let denote an arc from vertex to vertex . The collection of all these arcs defines the directed graph of . Then the matrix , with , is said to be irreducible if, given any distinct vertices and , there is a sequence of abutting arcs from to , i.e.,

where .

Taussky's theorem is this. Let be any irreducible complex -matrix, with . If is an eigenvalue of which lies on the boundary of the union of the Gershgorin discs of (a2), then lies on the boundary of each Gershgorin circle, i.e., from (a1) it follows that

Next, there is related work of A. Brauer [a3] on estimating the eigenvalues of a complex -matrix (), which uses Cassini ovals instead of discs. For any integers and () with , the th Cassini oval is defined by (cf. also Cassini oval)

(a4)

Then Brauer's theorem is that, for any eigenvalue of , there exist and , with , such that , and this now gives the associated eigenvalue inclusion

(a5)

Note that there are now such Cassini ovals in (a5), as opposed to the Gershgorin discs in (a2). But it is equally important to note that the eigenvalue inclusions of (a2) and (a5) use the exact same data from the matrix , i.e., and . So, which of the eigenvalue inclusions of (a2) and (a5) is smaller and hence better? It turns out that

(a6)

for any complex -matrix , so that the Cassini ovals are always at least as good as the Gershgorin discs. (The result (a6) was known to Brauer, but was somehow neglected in the literature.)

Finally, as both eigenvalue inclusions (a2) and (a5) depend only on the row sums , it is evident that these inclusions apply not to just the single matrix , but to a whole class of -matrices, namely,

Thus,

for each in . Then, if denotes the set of all eigenvalues of all in , it follows that

(a7)

How sharp is the first inclusion of (a7)? It was shown in 1999 by R.S. Varga and A. Krautstengl [a4] that

(a8)

Thus, for , it can be said that the Cassini ovals give "perfect" results.

Gershgorin's discs and Brauer's Cassini ovals are mentioned in [a5], [a6]. A more detailed treatment of these topics can be found in [a7].

References

[a1] S. Gerschgorin, "Ueber die Abgrenzung der Eigenwerte einer Matrix" Izv. Akad. Nauk. SSSR Ser. Mat. , 1 (1931) pp. 749–754
[a2] O. Taussky, "Bounds for the characteristic roots of matrices" Duke Math. J. , 15 (1948) pp. 1043–1044
[a3] A. Brauer, "Limits for the characteristic roots of a matrix" Duke Math. J. , 13 (1946) pp. 387–395
[a4] R.S. Varga, A. Krautstengl, "On Geršgorin-type problems and ovals of Cassini" Electron. Trans. Numer. Anal. , 8 (1999) pp. 15–20
[a5] R.S. Varga, "Matrix iterative analysis" , Springer (2000) (Edition: Second)
[a6] R.A. Horn, C.R. Johnson, "Matrix analysis" , Cambridge Univ. Press (1985)
[a7] R.S. Varga, "Geršgorin and his circles" , Springer (to appear)
How to Cite This Entry:
Gershgorin theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Gershgorin_theorem&oldid=14015
This article was adapted from an original article by Richard S. Varga (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article