In mathematics, the weakly chained diagonally dominant matrices are a family of nonsingular matrices that include the strictly diagonally dominant matrices.
Definition
Preliminaries We say row i {\displaystyle i} of a complex matrix A = ( a i j ) {\displaystyle A=(a_{ij})} is strictly diagonally dominant (SDD) if | a i i | > ∑ j ≠ i | a i j | {\displaystyle |a_{ii}|>\textstyle {\sum _{j\neq i}}|a_{ij}|} . We say A {\displaystyle A} is SDD if all of its rows are SDD. Weakly diagonally dominant (WDD) is defined with ≥ {\displaystyle \geq } instead. The directed graph associated with an m × m {\displaystyle m\times m} complex matrix A = ( a i j ) {\displaystyle A=(a_{ij})} is given by the vertices { 1 , … , m } {\displaystyle \{1,\ldots ,m\}} and edges defined as follows: there exists an edge from i → j {\displaystyle i\rightarrow j} if and only if a i j ≠ 0 {\displaystyle a_{ij}\neq 0} .
Definition A complex square matrix A {\displaystyle A} is said to be weakly chained diagonally dominant (WCDD) if
A {\displaystyle A} is WDD and for each row i 1 {\displaystyle i_{1}} that is not SDD, there exists a walk i 1 → i 2 → ⋯ → i k {\displaystyle i_{1}\rightarrow i_{2}\rightarrow \cdots \rightarrow i_{k}} in the directed graph of A {\displaystyle A} ending at an SDD row i k {\displaystyle i_{k}} .
Example
The m × m {\displaystyle m\times m} matrix
( 1 − 1 1 − 1 1 ⋱ ⋱ − 1 1 ) {\displaystyle {\begin{pmatrix}1\\-1&1\\&-1&1\\&&\ddots &\ddots \\&&&-1&1\end{pmatrix}}}
is WCDD.
Properties
Nonsingularity A WCDD matrix is nonsingular. Proof: Let A = ( a i j ) {\displaystyle A=(a_{ij})} be a WCDD matrix. Suppose there exists a nonzero x {\displaystyle x} in the null space of A {\displaystyle A} . Without loss of generality, let i 1 {\displaystyle i_{1}} be such that | x i 1 | = 1 ≥ | x j | {\displaystyle |x_{i_{1}}|=1\geq |x_{j}|} for all j {\displaystyle j} . Since A {\displaystyle A} is WCDD, we may pick a walk i 1 → i 2 → ⋯ → i k {\displaystyle i_{1}\rightarrow i_{2}\rightarrow \cdots \rightarrow i_{k}} ending at an SDD row i k {\displaystyle i_{k}} . Taking moduli on both sides of
… excerpt ends here. Continue reading the full article.



