next up previous


Positive Definite Systems


Definition 6.2.1. The matrix tex2html_wrap_inline7067 is a positive definite matrix if
displaymath8851
for all nonzero vector tex2html_wrap_inline7157.

Example 6.2.1. The matrix
displaymath8852
is a positive definite one since for tex2html_wrap_inline8937

displaymath8853

displaymath8854

Problem 6.2.1.* Show that the matrix
displaymath8855
is positive definite.

Proposition 6.2.1. If tex2html_wrap_inline7067 is a positive definite matrix and the column vectors of the matrix tex2html_wrap_inline8943 are linearly independent, then the matrix
displaymath8856
is also positive definite.

Proof. If for the vector tex2html_wrap_inline8945 it holds the relation
displaymath8857
then
displaymath8858
and from the positive definiteness of the matrix A it follows that tex2html_wrap_inline8949 Since the column vectors of the matrix X are linearly independent, then from tex2html_wrap_inline8953 it follows that tex2html_wrap_inline8955 Hence from conditions tex2html_wrap_inline8945 and tex2html_wrap_inline8959 it follows that tex2html_wrap_inline8961 i.e., the matrix B is positive definite. tex2html_wrap_inline7949

Corollary 6.2.1. If the matrix tex2html_wrap_inline7067 is positive definite, then all the submatrices of the matrix A obtained by deleting the rows and columns of the matrix A with the same numbers are positive definite and all the elements on the leading diagonal of the matrix are positive.

Proof. If tex2html_wrap_inline8973 is a vector with natural number coordinates satisfying the condition
displaymath8859
then
displaymath8860
is a matrix got from the unit matrix In by taking the column-vectors with indices tex2html_wrap_inline8977 Hence the column-vectors of the matrix X are linearly independent, and proposition 6.2.1 implies that the matrix XTAX is positive definite. The matrix XTAX is a submatrix of the matrix A obtained from the rows and columns with numbers tex2html_wrap_inline8987 of the matrix A. Therefore, all the submatrices of the matrix A obtained by deleting the rows and columns of the matrix A with the same numbers are positive definite. Taking k=1, we get the second part of the statement. tex2html_wrap_inline7853

Corollary 6.2.2. If tex2html_wrap_inline7067 is positive definite, then the matrix A has a decomposition A=LDMT and all the leading diagonal elements of the matrix D are positive.

Proof. On the ground of corollary 6.2.1, all the submatrices tex2html_wrap_inline9007 tex2html_wrap_inline9009 of the matrix A are positive definite, and, therefore, regular matrices, and proposition 6.1.1 implies the existence of the LDMT decomposition. Taking X=L-T in proposition 6.2.1, we find that the matrix
displaymath8861
is positive definite. Since the matrix MTL-T is an upper triangular matrix with the unit diagonal, the matrices B and D have the same leading diagonal and the elements on it must be positive, provided that B is positive definite. tex2html_wrap_inline7949

Proposition 6.2.2 (Cholesky factorization). If the matrix tex2html_wrap_inline7067 is symmetric and positive definite, then there exists exactly one lower triangular matrix G with the positive leading diagonal such that
 
equation3697

Proof. In virtue of proposition 6.1.2, there exist and are uniquely defined the lower triangular matrix L with the unit diagonal and the diagonal matrix tex2html_wrap_inline8763 such that it holds the decomposition (3), i.e., A=LDLT. The corollary 6.2.2 provides that elements dk of the matrix D are positive. Therefore, the matrix
displaymath8862
is a lower triangular matrix with the positive leading diagonal, and equality (5) holds. The uniqueness of the the factorization follows from the uniqueness of the decomposition (3). tex2html_wrap_inline7853

The factorization (5) is known as the Cholesky factorization. The matrix G is called the Cholesky triangular matrix of the matrix A. To solve the system of equations
displaymath8863
having the symmetric and positive definite matrix A, one has to find the Cholesky triangular matrix of the matrix A. Secondly, one has to solve the system with the triangular matrix
displaymath8864
Thirdly, one has to solve the system

displaymath8865

The Cholesky factorization can be found step by step.

Proposition 6.2.3. If the matrix tex2html_wrap_inline7067 is symmetric and positive definite, then, denoting
displaymath8866
the matrix A can be expressed by
 equation3720
where tex2html_wrap_inline9055 The matrix tex2html_wrap_inline9057 is positive definite. If
displaymath8867
then A=GGT, where

displaymath8868

Proof. Let us check the accurancy of the decomposition (6):
displaymath8869

displaymath8870

displaymath8871
If
displaymath8872
then
displaymath8873

displaymath8874
Since the matrix A is positive definite and the column-vector system of the matrix X is linearly independent, proposition 6.2.1 implies the positive definiteness of the matrix
displaymath8875
and from corollary 6.2.1 it follows that the matrix tex2html_wrap_inline9057 is linewise positive definite. So we can, analogously to the partition of the matrix A into blocks, decompose also the matrix tex2html_wrap_inline9057 into blocks, etc.

Example 6.2.2. Let us find the LU, LDMT, LDLT and Cholesky factorizations of the matrix
displaymath8876

The principal minors of the matrix A are nonzero. We find
displaymath8877
and
displaymath8878
and also
displaymath8879
Knowing the LU factorization of the matrix A, we will find the LDMT decomposition, LDLT decomposition and Cholesky factorization of it:
displaymath8880
and
displaymath8881
Let us find the Cholesky factorization of the matrix A also step by step using the algorithm given in proposition 6.2.3. Since on the first step
displaymath8882
then
displaymath8883
On the next step,
displaymath8884
and
displaymath8885
Therefore,
displaymath8886
and
displaymath8887
and

displaymath8888

Problem 6.2.2.* Find the Cholesky factorization of the positive definite matrix
displaymath8889

Problem 6.2.3.* Solve the system of equations tex2html_wrap_inline6841 where
displaymath8890
when the Cholesky factorization of the matrix A is given

displaymath8891


next up previous