HOME

TheInfoList



OR:

In mathematics, a square
matrix Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
is said to be diagonally dominant if, for every row of the matrix, the magnitude of the diagonal entry in a row is larger than or equal to the sum of the magnitudes of all the other (non-diagonal) entries in that row. More precisely, the matrix ''A'' is diagonally dominant if :, a_, \geq \sum_ , a_, \quad\text i \, where ''a''''ij'' denotes the entry in the ''i''th row and ''j''th column. Note that this definition uses a weak inequality, and is therefore sometimes called ''weak diagonal dominance''. If a strict inequality (>) is used, this is called ''strict diagonal dominance''. The unqualified term ''diagonal dominance'' can mean both strict and weak diagonal dominance, depending on the context.


Variations

The definition in the first paragraph sums entries across each row. It is therefore sometimes called ''row diagonal dominance''. If one changes the definition to sum down each column, this is called ''column diagonal dominance''. Any strictly diagonally dominant matrix is trivially a
weakly chained diagonally dominant matrix 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 of a complex matrix A = (a_) is strictly diagon ...
. Weakly chained diagonally dominant matrices are nonsingular and include the family of ''irreducibly diagonally dominant'' matrices. These are
irreducible In philosophy, systems theory, science, and art, emergence occurs when an entity is observed to have properties its parts do not have on their own, properties or behaviors that emerge only when the parts interact in a wider whole. Emergence ...
matrices that are weakly diagonally dominant, but strictly diagonally dominant in at least one row.


Examples

The matrix : A = \begin 3 & -2 & 1\\ 1 & -3 & 2\\ -1 & 2 & 4\end is diagonally dominant because :, a_, \ge , a_, + , a_,   since   , +3, \ge , -2, + , +1, :, a_, \ge , a_, + , a_,   since   , -3, \ge , +1, + , +2, :, a_, \ge , a_, + , a_,   since   , +4, \ge , -1, + , +2, . The matrix : B = \begin -2 & 2 & 1\\ 1 & 3 & 2\\ 1 & -2 & 0\end is ''not'' diagonally dominant because :, b_, < , b_, + , b_,   since   , -2, < , +2, + , +1, :, b_, \ge , b_, + , b_,   since   , +3, \ge , +1, + , +2, :, b_, < , b_, + , b_,   since   , +0, < , +1, + , -2, . That is, the first and third rows fail to satisfy the diagonal dominance condition. The matrix : C = \begin -4 & 2 & 1\\ 1 & 6 & 2\\ 1 & -2 & 5\end is ''strictly'' diagonally dominant because :, c_, > , c_, + , c_,   since   , -4, > , +2, + , +1, :, c_, > , c_, + , c_,   since   , +6, > , +1, + , +2, :, c_, > , c_, + , c_,   since   , +5, > , +1, + , -2, .


Applications and properties

The following results can be proved trivially from Gershgorin's circle theorem. Note that Gershgorin's circle theorem itself has a very short proof. A strictly diagonally dominant matrix (or an irreducibly diagonally dominant matrix) is
non-singular In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In cas ...
. A
Hermitian {{Short description, none Numerous things are named after the French mathematician Charles Hermite (1822–1901): Hermite * Cubic Hermite spline, a type of third-degree spline * Gauss–Hermite quadrature, an extension of Gaussian quadrature m ...
diagonally dominant matrix A with real non-negative diagonal entries is positive semidefinite. This follows from the eigenvalues being real, and Gershgorin's circle theorem. Note that if the symmetry requirement is eliminated, such a matrix is not necessarily positive semidefinite. For example, consider : \begin-2&2&1\end\begin 1&1&0\\ 1&1&0\\ 1&0&1\end\begin-2\\2\\1\end<0. However, the real parts of its eigenvalues remain non-negative by Gershgorin's circle theorem. Similarly, a Hermitian strictly diagonally dominant matrix with real positive diagonal entries is
positive definite In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular: * Positive-definite bilinear form * Positive-definite f ...
. No (partial) pivoting is necessary for a strictly column diagonally dominant matrix when performing
Gaussian elimination In mathematics, Gaussian elimination, also known as row reduction, is an algorithm for solving systems of linear equations. It consists of a sequence of operations performed on the corresponding matrix of coefficients. This method can also be used ...
(LU factorization). The
Jacobi Jacobi may refer to: * People with the surname Jacobi (surname), Jacobi Mathematics: * Jacobi sum, a type of character sum * Jacobi method, a method for determining the solutions of a diagonally dominant system of linear equations * Jacobi eigenva ...
and
Gauss–Seidel method In numerical linear algebra, the Gauss–Seidel method, also known as the Liebmann method or the method of successive displacement, is an iterative method used to solve a system of linear equations. It is named after the German mathematicians Carl ...
s for solving a linear system converge if the matrix is strictly (or irreducibly) diagonally dominant. Many matrices that arise in
finite element method The finite element method (FEM) is a popular method for numerically solving differential equations arising in engineering and mathematical modeling. Typical problem areas of interest include the traditional fields of structural analysis, heat ...
s are diagonally dominant. A slight variation on the idea of diagonal dominance is used to prove that the pairing on diagrams without loops in the
Temperley–Lieb algebra In statistical mechanics, the Temperley–Lieb algebra is an algebra from which are built certain transfer matrix, transfer matrices, invented by Harold Neville Vazeille Temperley, Neville Temperley and Elliott H. Lieb, Elliott Lieb. It is also rela ...
is nondegenerate. For a matrix with polynomial entries, one sensible definition of diagonal dominance is if the highest power of q appearing in each row appears only on the diagonal. (The evaluations of such a matrix at large values of q are diagonally dominant in the above sense.)


Notes


References

* *


External links


PlanetMath: Diagonal dominance definition

PlanetMath: Properties of diagonally dominant matrices


{{Matrix classes Numerical linear algebra Matrices