请输入您要查询的字词:

 

单词 OstrowskiTheorem
释义

Ostrowski theorem


Let A be a complex n×n matrix, Ri=ji|aij|,Cj=ij|aij|1in,1jn. Let’s consider, for any α(0,1), the circles of this kind: Oi={z𝐂:|z-aii|RiαCi1-α}1in.

Theorem (A. Ostrowski): For any α(0,1), all the eigenvaluesMathworldPlanetmathPlanetmathPlanetmathPlanetmath of A lie in the union of these n circles:σ(A)iOi.

Proof.

If Ri=0, the theorem says aii is an eigenvalue, whichis obviously true. Let’s then concentrate on the Ri0. By eigenvalue definition, we have:

(λ-aii)xi=jiaijxj

so that, recalling Hölder’s inequality with p=1/α and q=1/(1-α) (to have p,q>1, we must have α(0,1))

|λ-aii||xi|ji|aij||xj|
=ji|aij|α|aij|1-α|xj|
(ji(|aij|α)1/α)α(ji(|aij|1-α|xj|)1/(1-α))1-α
=(ji|aij|)α(ji|aij||xj|1/(1-α))1-α
=Riα(ji|aij||xj|1/(1-α))1-α

which means

|λ-aii|1/(1-α)Riα/(1-α)|xi|1/(1-α)ji|aij||xj|1/(1-α)

Summing over all i, one obtains

i=1n|λ-aii|1/(1-α)Riα/(1-α)|xi|1/(1-α)i=1nji|aij||xj|1/(1-α)=j=1nCj|xj|1/(1-α)

If, for each i, the coefficient of |xi|1/(1-α) in the firstsum would be greater than the coefficient of the same term in the right-handside, inequality couldn’t hold. So we can conclude that at least one index p existssuch as

|λ-app|1/(1-α)Rpα/(1-α)Cp

that is

|λ-app|RpαCp1-α

which is the thesis.∎


Remarks:

The Gershgorin theorem is obtained as a limit for α0 orfor α1; in other words, Ostrowski’s theorem represents a kind of ”continuous deformation” between the two Gershgorin rows and columns sets.

References

  • 1 R. A. Horn, C. R. Johnson,Matrix Analysis, Cambridge University Press, 1985
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 1:28:11