In
linear algebra, the 'LU decomposition' is a
matrix decomposition which writes a
matrix as the product of a lower and upper
triangular matrix. The product sometimes includes a
permutation matrix as well. This decomposition is used in
numerical analysis to solve systems of
linear equations or find the
inverse of a matrix.
Definitions
Let ''A'' be a square matrix. An ''LU decomposition'' is a decomposition of the form
:
where ''L'' and ''U'' are lower and upper triangular matrices (of the same size), respectively. This means that ''L'' has only zeros above the diagonal and ''U'' has only zeros below the diagonal.
For a
matrix, this becomes:
:
An ''LDU decomposition'' is a decomposition of the form
:
where ''D'' is a
diagonal matrix and ''L'' and ''U'' are ''unit'' triangular matrices, meaning that all the entries on the diagonals of ''L'' and ''U'' are one.
A ''LUP decomposition'' is a decomposition of the form
:
where ''L'' and ''U'' are again lower and upper triangular matrices and ''P'' is a
permutation matrix, i.e., a matrix of zeros and ones that has exactly one entry 1 in each row and column.
Existence and uniqueness
An
invertible matrix admits an ''LU'' factorization
if and only if all its principal
minors are non-zero. The factorization is unique if we require that the diagonal of ''L'' (or ''U'') consist of ones. The matrix has a unique ''LDU'' factorization under the same conditions.
If the matrix is singular, then an ''LU'' factorization may still exist. In fact, a square matrix of
rank ''k'' has an ''LU'' factorization if the first ''k'' principal minors are non-zero.
The exact necessary and sufficient conditions under which a not necessarily invertible matrix over any field has an LU factorization are known. The conditions are expressed in terms of the ranks of certain submatrices. The Gaussian elimination algorithm for obtaining LU decomposition has also been extended to this most general case .
Every matrix A --square or not-- admits a ''LUP'' factorization. The matrices L and P are square matrices, but
U has the same shape as A. ''Upper triangular'' should be interpreted as having only zero entries below the main diagonal, which starts at the upper left corner. The ''LUP'' factorization can be done in such a way that
U has only ones on its main diagonal.
Positive definite matrices
If the matrix ''A'' is
Hermitian and
positive definite, then we can arrange matters so that ''U'' is the
conjugate transpose of ''L''. In this case, we have written ''A'' as
:
This decomposition is called the
Cholesky decomposition. The Cholesky decomposition always exists and is unique. Furthermore, computing the Cholesky decomposition is more efficient and
numerically more stable than computing the LU decomposition.
Algorithms
The LU decomposition is basically a modified form of
Gaussian elimination. We transform the matrix ''A'' into an upper triangular matrix ''U'' by eliminating the entries below the main diagonal. The Doolittle algorithm does the elimination column by column starting from the left, by multiplying ''A'' to the left with atomic lower triangular matrices. It results in a ''unit lower triangular'' matrix and an upper triangular matrix. The Crout algorithm is slightly different and constructs a lower triangular matrix and a ''unit upper triangular'' matrix.
Computing the LU decomposition using either of these algorithms requires 2''n''
3 / 3 floating point operations, ignoring lower order terms. Partial
pivoting adds only a quadratic term and can thus be neglected; this is not the case for full pivoting .
Doolittle algorithm
Given an ''N'' × ''N'' matrix
:
we define
:
and then we iterate ''n'' = 1,...,''N-1'' as follows.
We eliminate the matrix elements below the main diagonal in the ''n''-th column
of ''A''
(''n-1'')
by adding to the ''i''-th row of this matrix the ''n''-th row multiplied
by
:
for
. This can be done by
multiplying ''A''
(''n-1'') to the left with the
lower triangular matrix
:
We set
:
After ''N-1'' steps, we eliminated all the matrix elements below the main diagonal, so we obtain an upper triangular matrix
''A''
(''N-1''). We find the decomposition
:
Denote the upper triangular matrix
''A''
(''N-1'') by ''U'', and
. Because the inverse of a lower triangular matrix ''L''
''n'' is again a lower triangular matrix, and the multiplication of two lower triangular matrices is again a lower triangular matrix, it follows that ''L'' is a lower triangular matrix.
We obtain
.
It is clear that in order for this algorithm to work, one needs to have
at each step (see the definition of
). If this assumption fails at some point, one needs to interchange ''n''-th row with another row below it before continuing. This is why the LU decomposition in general looks like
.
LUP algorithm
The LUP decomposition algorithm by Cormen et al. generalizes
Crout matrix decomposition. It can be described as follows.
# If
has a nonzero entry in its first row, then take a permutation matrix
such that
has a nonzero entry in its upper left corner. Otherwise, take for
the identity matrix. Let
.
# Let
be the matrix that one gets from
by deleting both the first row and the first column. Decompose
recursively. Make
from
by first adding a zero row above and then adding the first column of
at the left.
# Make
from
by first adding a zero row above and a zero column at the left and then replacing the upper left entry (which is 0 at this point) by 1. Make
from
in a similar manner and define
. Let
be the inverse of
.
# At this point,
is the same as
, except (possibly) at the first row. If the first row of
is zero, then
, since both have first row zero, and
follows, as desired. Otherwise,
and
have the same nonzero entry in the upper left corner, and
for some upper triangular square matrix
with ones on the diagonal (
clears entries of
and adds entries of
by way of the upper left corner). Now
is a decomposition of the desired form.
Small Example
:
One way of finding the LU decomposition of this simple matrix would be to simply solve the linear equations by inspection. You know that:
:
:
:
:
Such a system of equations is underdetermined. In this case any two non-zero elements of ''L'' and ''U'' matrices are parameters of the solution and can be set arbitrarily to any non-zero value. Therefore to find the unique LU decomposition, it is needed to put some restriction on ''L'' and ''U'' matrices. For example, we can require the upper triangular matrix ''U'' to be a unit one (i.e. set all the entries of its main diagonal to ones). Then the system of equations has the following solution:
:
:
:
:
Substituting these values into the LU decomposition above:
:
Applications
Solving linear equations
Given a matrix equation
:
we want to solve the equation for a given ''A'' and ''b''. In this case the solution is done in two logical steps:
# First, we solve the equation
for ''y''
# Second, we solve the equation
for ''x''.
Note that in both cases we have triangular matrices (lower and upper) which can be solved directly using forward and backward substitution without using the
Gaussian elimination process (however we need this process or equivalent to compute the ''LU'' decomposition itself). Thus the ''LU'' decomposition is computationally efficient only when we have to solve a matrix equation multiple times for different ''b''. It is faster to do a LU decomposition of the matrix ''A'' once and then solve the triangular matrices for the different ''b'' than to use Gaussian elimination each time.
Inverse matrix
The matrices ''L'' and ''U'' can be used to calculate the
matrix inverse by:
:
Computer implementations that invert matrices often use this approach.
See also
★
Block LU decomposition
★
Cholesky decomposition
References
★
★ .
★ . See Section 3.5.
★ .
★
LU decomposition on ''MathWorld''.
★
LU decomposition on ''Math-Linux''.
External links
★
LAPACK is a collection of FORTRAN subroutines for solving dense linear algebra problems
★
ALGLIB includes a partial port of the LAPACK to C++, C#, Delphi, etc.
★
Online Matrix Calculator performs LU decomposition
★
LU decomposition at ''Holistic Numerical Methods Institute''
★
Module for LU Factorization with Pivoting
★
LU Decomposition at the Wolfram Demonstrations Project