LU-разложение
(
LU-декомпозиция
,
LU-факторизация
) — представление
матрицы
в виде произведения двух матриц,
, где
— нижняя
треугольная матрица
, а
— верхняя треугольная матрица.
Полученное LU-разложение матрицы
(матрица коэффициентов системы) может быть использовано для решения семейства систем линейных уравнений с различными векторами
в правой части
:
Если известно LU-разложение матрицы
,
, исходная система может быть записана как
Эта система может быть решена в два шага. На первом шаге решается система
Поскольку
— нижняя треугольная матрица, эта система решается непосредственно
прямой подстановкой
.
На втором шаге решается система
Поскольку
— верхняя треугольная матрица, эта система решается непосредственно
обратной подстановкой
.
Обращение матриц
Обращение матрицы
эквивалентно решению линейной системы
,
где
— неизвестная матрица,
— единичная матрица. Решение
этой системы является обратной матрицей
.
Систему можно решить описанным выше методом LU-разложения.
где
— размер матрицы
,
и
— диагональные элементы матриц
и
.
Вывод формулы
Исходя из области применения, LU-разложение может быть применено только к невырожденной матрице, поэтому далее будем считать что матрица
невырождена.
Поскольку и в первой строке матрицы
, и в первом столбце матрицы
, все элементы, кроме, возможно, первого, равны нулю, имеем
Если
, то
или
. В первом случае целиком состоит из нулей первая строка матрицы
, во втором — первый столбец матрицы
. Следовательно,
или
вырождена, а значит, вырождена
, что приводит к противоречию. Таким образом, если
, то невырожденная матрица
не имеет LU-разложения.
Пусть
, тогда
и
. Поскольку столбец L и строка U определены с точностью до умножения строки U на константу и деления столбца L на ту же константу, мы можем потребовать, чтобы
. При этом
.
Разделим матрицу A на клетки:
,
где
имеют размерность соответственно
,
,
.
Аналогично разделим на клетки матрицы
и
:
Уравнение
принимает вид
Решая систему уравнений относительно
,
,
,
, получаем:
Окончательно имеем:
Итак, мы свели LU-разложение матрицы размера
к LU-разложению матрицы размера
.