proof of determinant lower bound of a strict diagonally dominant matrix


Let’s define, for any i=1,2,…,n

hi=|ai⁢i|-∑j=1,j≠i|ai⁢j|

Then, by strict diagonally dominance, one has hi>0  ∀i. Let D=d⁢i⁢a⁢g⁢{(h1)-1,(h2)-1,…,(hn)-1} and B=D⁢A, so that the i-th row of B matrix is equal to the corresponding row of A matrix multiplied by (hi)-1. In this way , one has

di = |bi⁢i|-∑j=1,j≠i|bi⁢j|
= |ai⁢i|hi-∑j=1,j≠i|ai⁢j|hi
= 1

Now, let λ be an eigenvalueMathworldPlanetmathPlanetmathPlanetmathPlanetmath of B, and v=[v1,v2,…,vn] the corresponding eigenvectorMathworldPlanetmathPlanetmathPlanetmath; let moreover p be the index of the maximal componentPlanetmathPlanetmathPlanetmath of v, i.e.

|vp|≥|vi|⁢ ⁢∀i

Of course, by definition of eigenvector, |vp|>0. Writing the p-th characteristic equationMathworldPlanetmathPlanetmath, we have:

λ⁢vp = ∑j=1nbp⁢j⁢vj
= bp⁢p⁢vp+∑j=1,j≠pnbp⁢j⁢vj

so that, being |vjvp|≤1,

λ = bp⁢p+∑j=1,j≠pnbp⁢j⁢vjvp
|λ| = |bp⁢p+∑j=1,j≠pnbp⁢j⁢vjvp|
≥ ||bp⁢p|-|∑j=1,j≠pnbp⁢j⁢vjvp||
≥ ||bp⁢p|-∑j=1,j≠pn|bp⁢j|⁢|vjvp||⁢ (*)
≥ ||bp⁢p⁢|-∑j=1,j≠pn|⁢bp⁢j||⁢ (**)
= |bp⁢p|-∑j=1,j≠pn|bp⁢j|
= dp=1

In this way, we found that each eigenvalue of B is greater than one in absolute valueMathworldPlanetmathPlanetmathPlanetmath; for this reason,

|det⁡(B)|=|∏i=1nλi|≥1

Finally,

det⁡(D)=∏i=1n(hi)-1=(∏i=1nhi)-1

so that

1 ≤ |det⁡(B)|
= |det⁡(D)|⁢|det⁡(A)|
= (∏i=1nhi)-1⁢|det⁡(A)|

whence the thesis.

Remark: Perhaps it could be not immediately evident where the hypothesis of strict diagonally dominance is employed in this proof; in fact, inequality (*) and (**) would be, in a general case, not valid; they can be stated only because we can assure, by virtue of strict diagonally dominance, that the final argument of the absolute value (|bp⁢p|-∑j=1,j≠pn|bp⁢j|) does remain positive.

Title proof of determinantMathworldPlanetmath lower bound of a strict diagonally dominant matrixMathworldPlanetmath
Canonical name ProofOfDeterminantLowerBoundOfAStrictDiagonallyDominantMatrix
Date of creation 2013-03-22 17:01:11
Last modified on 2013-03-22 17:01:11
Owner Andrea Ambrosio (7332)
Last modified by Andrea Ambrosio (7332)
Numerical id 13
Author Andrea Ambrosio (7332)
Entry type Proof
Classification msc 15-00