Разложение Холецкого

редактировать

В линейной алгебре, разложение Холецкого или факторизация Холецкого (произносится ) - это разложение эрмитовой эрмитовой, положительно определенной матрицы в произведение нижнетреугольная матрица и ее сопряженная транспонированная, которая полезна для эффективных численных решений, например, моделирования Монте-Карло. Он был открыт Андре-Луи Холецким для реальных матриц. Когда это применимо, разложение Холецкого примерно в два раза эффективнее LU-разложения для решения систем линейных уравнений.

Содержание

1 Утверждение
- 1.1 Положительные полуопределенные матрицы
2 Разложение LDL
3 Пример
4 Приложения
- 4.1 Линейный метод наименьших квадратов
- 4.2 Нелинейная оптимизация
- 4.3 Моделирование Монте-Карло
- 4.4 Фильтры Калмана
- 4.5 Инверсия матрицы
5 Вычисления
- 5.1 Алгоритм Холецкого
- 5.2 Алгоритмы Холецкого – Банахевича и Холецкого – Краута
- 5.3 Устойчивость вычислений
- 5.4 Разложение LDL
- 5.5 Вариант блока
- 5.6 Обновление разложения
  - 5.6.1 Обновление первого ранга
  - 5.6.2 Понижение первого ранга
  - 5.6.3 Добавление и удаление строк и столбцов
6 Доказательство для положительных полуопределенных матриц
- 6.1 Доказательство путем ограничения аргумент
- 6.2 Доказательство посредством QR-разложения
7 Обобщение
8 Реализации в библиотеках программирования
9 См. также
10 Примечания
11 Ссылки
12 Exter конечные ссылки
- 12.1 История науки
- 12.2 Информация
- 12.3 Компьютерный код
- 12.4 Использование матрицы в моделировании
- 12.5 Онлайн-калькуляторы

Утверждение

Разложение Холецкого a эрмитова положительно определенная матрица A, представляет собой разложение формы

A = LL ∗, {\ displaystyle \ mathbf {A} = \ mathbf {LL} ^ {* },}

{\ displaystyle \ mathbf {A} = \ mathbf {LL} ^ {*},}

где L - это нижнетреугольная матрица с действительными и положительными диагональными элементами, а L * обозначает сопряженное транспонирование из L . Каждая эрмитова положительно определенная матрица (а значит, и каждая вещественнозначная симметричная положительно определенная матрица) имеет уникальное разложение Холецкого.

Обратное утверждение тривиально выполняется: если A можно записать как LL * для некоторого обратимого L, нижнего треугольника или другого, тогда A эрмитово и положительно определено.

Когда A является вещественной матрицей (следовательно, симметричной положительно-определенной), факторизация может быть записана как

A= LL,

, где L - вещественная нижнетреугольная матрица с положительным диагональные элементы.

Положительные полуопределенные матрицы

Если эрмитова матрица A является только положительно полуопределенной, а не положительно определенной, то она по-прежнему имеет разложение вида A= LL* где диагональные элементы L могут быть равны нулю. Разложение не обязательно должно быть уникальным, например:

(0 0 0 1) = L L ∗, L = (0 0 cos ⁡ θ sin ⁡ θ). {\ displaystyle {\ begin {pmatrix} 0 0 \\ 0 1 \ end {pmatrix}} = \ mathbf {L} \ mathbf {L} ^ {*}, \ quad \ quad \ mathbf {L} = {\ begin {pmatrix } 0 0 \\\ cos \ theta \ sin \ theta \ end {pmatrix}}.}

{\ displaystyle {\ begin {pmatrix} 0 0 \\ 0 1 \ end {pmatrix}} = \ mathbf {L} \ mathbf {L} ^ {*}, \ quad \ quad \ mathbf {L} = {\ begin {pmatrix} 0 0 \\\ cos \ theta \ sin \ theta \ end {pmatrix}}.}

Однако, если ранг A равен r, тогда существует уникальный нижний треугольник L с ровно r положительными диагональными элементами и nr столбцами, содержащими все нули.

В качестве альтернативы, разложение можно сделать уникальным, если фиксирован выбор поворота. Формально, если A является положительной полуопределенной матрицей размера n × n ранга r, то существует по крайней мере одна матрица перестановок P такая, что PAP имеет уникальное разложение формы PAP = LL с $L = [L 1 0 L 2 0] {\ displaystyle \ mathbf {L} = {\ begin {bmatrix} \ mathbf { L} _ {1} 0 \\\ mathbf {L} _ {2} 0 \ end {bmatrix}}}$ ${\ displaystyle \ mathbf {L} = {\ begin {bmatrix} \ mathbf {L} _ {1} 0 \\\ mathbf {L} _ {2} 0 \ end {bmatrix}} }$ , где L1- матрица нижнего треугольника r× rс положительной диагональю.

Разложение ЛПНП

Близким вариантом классического разложения Холецкого является разложение ЛПНП,

A = LDL ∗, {\ displaystyle \ mathbf {A} = \ mathbf {LDL} ^ {*},}

{ \ displaystyle \ mathbf {A} = \ mathbf {LDL} ^ {*},}

где L - это нижняя единичная треугольная (унитреугольная) матрица, а D - это диагональная матрица. Таким образом, требуется, чтобы диагональные элементы L были равны 1 за счет введения дополнительной диагональной матрицы D в разложение. Основное преимущество заключается в том, что разложение LDL может быть вычислено и использовано по существу с теми же алгоритмами, но без извлечения квадратных корней.

По этой причине разложение LDL часто называют разложением Холецкого без квадратного корня. Для реальных матриц факторизация имеет вид A= LDL и часто упоминается как LDLT-разложение (или LDL-разложение, или LDL '). Это тесно связано с собственным разложением вещественных симметричных матриц, A= QΛQ .

Разложение LDL связано с классическим разложением Холецкого формы LL * следующим образом:

A = LDL * = LD 1/2 (D 1/2) * L * = LD 1/2 (LD 1/2) *. {\ Displaystyle \ mathbf {A} = \ mathbf {LDL} ^ {*} = \ mathbf {L} \ mathbf {D} ^ {1/2} (\ mathbf {D} ^ {1/2}) ^ { *} \ mathbf {L} ^ {*} = \ mathbf {L} \ mathbf {D} ^ {1/2} (\ mathbf {L} \ mathbf {D} ^ {1/2}) ^ {*}.}

{\ displaystyle \ mathbf {A} = \ mathbf {LDL} ^ {*} = \ mathbf {L} \ mathbf {D} ^ {1/2} (\ mathbf {D} ^ {1 / 2}) ^ {*} \ mathbf {L} ^ {*} = \ mathbf {L} \ mathbf {D} ^ {1/2} (\ mathbf {L} \ mathbf {D} ^ {1/2}) ^ {*}.}

И наоборот, учитывая классическое разложение Холецкого $A = CC ∗ {\ displaystyle \ mathbf {A} = \ mathbf {C} \ mathbf {C} ^ {*}}$ ${\ displaystyle \ mathbf {A } = \ mathbf {C} \ mathbf {C} ^ {*}}$ из положительно определенная матрица, если S - диагональная матрица, содержащая главную диагональ $C {\ displaystyle \ mathbf {C}}$ $\ mathbf C$ , тогда a A можно разложить как $LDL ∗ {\ displaystyle \ mathbf {L} \ mathbf {D} \ mathbf {L} ^ {*}}$ ${\ Displaystyle \ mathbf {L} \ mathbf {D} \ mathb е {L} ^ {*}}$ , где

L = CS - 1 { \ displaystyle \ mathbf {L} = \ mathbf {C} \ mathbf {S} ^ {- 1}}

{\ displaystyle \ mathbf {L} = \ mathbf {C} \ mathbf {S} ^ {- 1}}

(это изменяет масштаб каждого столбца, чтобы сделать диагональные элементы равными 1),

D = S 2. {\ displaystyle \ mathbf {D} = \ mathbf {S} ^ {2}.}

{\ displaystyle \ mathbf {D} = \ mathbf {S} ^ {2}.}

Если A положительно определено, то все диагональные элементы D положительны. Для положительного полуопределенного A существует разложение $LDL ∗ {\ displaystyle \ mathbf {L} \ mathbf {D} \ mathbf {L} ^ {*}}$ ${\ Displaystyle \ mathbf {L} \ mathbf {D} \ mathb е {L} ^ {*}}$ там, где количество ненулевых элементов на диагонали D равно рангу A . Некоторые неопределенные матрицы, для которых не существует разложения Холецкого, имеют разложение LDL с отрицательными элементами в D : достаточно, чтобы первые n-1 ведущие основные миноры из A неособые.

Пример

Вот разложение Холецкого симметричной вещественной матрицы:

(4 12 - 16 12 37 - 43 - 16 - 43 98) = (2 0 0 6 1 0 - 8 5 3) (2 6 - 8 0 1 5 0 0 3). {\ displaystyle {\ begin {align} \ left ({\ begin {array} {* {3} {r}} 4 12 -16 \\ 12 37 -43 \\ - 16 -43 98 \\\ end {array}} \ right) = \ left ({\ begin {array} {* {3} {r}} 2 0 0 \\ 6 1 0 \\ - 8 5 3 \\\ end {array}} \ right) \ left ({\ begin {array} { * {3} {r}} 2 6 -8 \\ 0 1 5 \\ 0 0 3 \\\ end {array}} \ right). \ End {align}}}

{\ displaystyle {\ begin { выровнено} \ left ({\ begin {array} {* {3} {r}} 4 12 -16 \\ 12 37 -43 \\ - 16 -43 98 \\\ end {array}} \ right) = \ left ({ \ begin {array} {* {3} {r}} 2 0 0 \\ 6 1 0 \\ - 8 5 3 \\\ end {array}} \ right) \ left ({\ begin {array} {* {3} {r} } 2 6 -8 \\ 0 1 5 \\ 0 0 3 \\\ end {array}} \ right). \ End {align}}}

А вот его разложение LDL:

( 4 12 - 16 12 37 - 43 - 16 - 43 98) = (1 0 0 3 1 0 - 4 5 1) (4 0 0 0 1 0 0 0 9) (1 3 - 4 0 1 5 0 0 1). {\ displaystyle {\ begin {align} \ left ({\ begin {array} {* {3} {r}} 4 12 -16 \\ 12 37 -43 \\ - 16 -43 98 \\\ end {array}} \ right) = \ left ({\ begin {array} {* {3} {r}} 1 0 0 \\ 3 1 0 \\ - 4 5 1 \\\ end {array}} \ right) \ left ({\ begin {array} {* {3} {r}} 4 0 0 \\ 0 1 0 \\ 0 0 9 \\\ end {array}} \ right) \ left ({\ begin {array} {* {3} {r}} 1 3 -4 \\ 0 1 5 \\ 0 0 1 \\\ end {array}} \ right). \ End {align}}}

{\ displaystyle {\ begin {align} \ left ({\ begin { array} {* {3} {r}} 4 12 -16 \\ 12 37 -43 \\ - 16 -43 98 \\\ end {array}} \ right) = \ left ({\ begin {array} {* { 3} {r}} 1 0 0 \\ 3 1 0 \\ - 4 5 1 \\\ end {array}} \ right) \ left ({\ begin {array} {* {3} {r}} 4 0 0 \\ 0 1 0 \\ 0 0 9 \\\ end {array}} \ right) \ left ({\ begin {array} {* {3} {r}} 1 3 -4 \\ 0 1 5 \\ 0 0 1 \\\ end {array}} \ right). \ конец {выровнено}}}

Приложения

Разложение Холецкого в основном используется для численного решения линейных уравнений $A x = b {\ displaystyle \ mathbf {Ax} = \ mathbf {b}}$ $\ mathbf {Ax} = \ mathbf {b}$ . Если A симметрично и положительно определено, то мы можем решить $A x = b {\ displaystyle \ mathbf {Ax} = \ mathbf {b}}$ $\ mathbf {Ax} = \ mathbf {b}$ , сначала вычислив Разложение Холецкого $A = LL ∗ {\ displaystyle \ mathbf {A} = \ mathbf {LL} ^ {\ mathrm {*}}}$ ${\ displaystyle \ mathbf {A} = \ mathbf {LL} ^ {\ mathrm {*}}}$ , затем решение $L y = b {\ displaystyle \ mathbf {Ly} = \ mathbf {b}}$ ${\ displaystyle \ mathbf {Ly} = \ mathbf {b}}$ вместо y на прямую замену и, наконец, решение $L ∗ x = y {\ displaystyle \ mathbf {L ^ {*} x} = \ mathbf {y}}$ ${\ displaystyle \ mathbf {L ^ {*} x} = \ mathbf {y}}$ для x на обратная подстановка.

Альтернативный способ избавиться от извлечения квадратных корней в разложение $LL ∗ {\ displaystyle \ mathbf {LL} ^ {\ mathrm {*}}}$ ${\ displaystyle \ mathbf {LL} ^ {\ mathrm {*}} }$ предназначено для вычисления разложения Холецкого $A = LDL ∗ {\ displaystyle \ mathbf {A } = \ mathbf {LDL} ^ {\ mathrm {*}}}$ ${\ displaystyle \ mathbf {A} = \ mathbf {LDL} ^ {\ mathrm {*}}}$ , затем решение $L y = b {\ displaystyle \ mathbf {Ly} = \ mathbf {b}}$ ${\ displaystyle \ mathbf {Ly} = \ mathbf {b}}$ для y и, наконец, решение $DL ∗ x = y {\ displaystyle \ mathbf {DL} ^ {\ mathrm {*}} \ mathbf {x} = \ mathbf {y}}$ ${\ displaystyle \ mathbf {DL} ^ {\ mathrm {*}} \ mathbf {x} = \ mathbf {y}}$ .

Для линейных систем, которые могут быть представлены в симметричной форме, разложение Холецкого (или его вариант LDL) является методом выбора, обеспечивающим превосходную эффективность и численную стабильность. По сравнению с LU-разложением, оно примерно вдвое эффективнее.

Линейный метод наименьших квадратов

Системы формы Ax= bс симметричным A и положительно определенные возникают довольно часто в приложениях. Например, нормальные уравнения в задачах линейных наименьших квадратов имеют такую форму. Также может случиться, что матрица A получена из функционала энергии, который должен быть положительным по физическим соображениям; это часто случается при численном решении уравнений в частных производных.

Нелинейная оптимизация

Нелинейные многомерные функции могут быть минимизированы по своим параметрам с помощью вариантов метода Ньютона Называются квазиньютоновскими методами. На итерации k поиск идет в направлении $pk {\ displaystyle p_ {k}}$ ${\ displaystyle p_ {k}}$ , определяемом решением $B kpk {\ displaystyle B_ {k} p_ {k}}$ ${ \ Displaystyle B_ {k} p_ {k}}$ = $- gk {\ displaystyle -g_ {k}}$ ${\ displaystyle -g_ {k}}$ для $pk {\ displaystyle p_ {k}}$ ${\ displaystyle p_ {k}}$ , где $pk {\ displaystyle p_ {k} }$ ${\ displaystyle p_ {k}}$ - направление шага, $gk {\ displaystyle g_ {k}}$ ${\ displaystyle g_ {k}}$ - градиент, а $B k {\ displaystyle B_ {k}}$ $B_ {k}$ является приближением к матрице Гессе, сформированной путем повторения обновлений ранга-1 на каждой итерации. Две хорошо известные формулы обновления называются Дэвидон – Флетчер – Пауэлл (DFP) и Бройден – Флетчер – Голдфарб – Шанно (BFGS). Потери положительно определенного условия из-за ошибки округления можно избежать, если вместо обновления аппроксимации обратного к гессиану обновить разложение Холецкого аппроксимации самой матрицы Гессе.

Моделирование Монте-Карло

Разложение Холецкого обычно используется в методе Монте-Карло для моделирования систем с множеством коррелированных переменных. Ковариационная матрица разлагается для получения нижнетреугольного L . Применение этого к вектору некоррелированных выборок u дает вектор выборки Lu с ковариационными свойствами моделируемой системы.

Следующий упрощенный пример показывает экономичный получается из разложения Холецкого: предположим, цель состоит в том, чтобы сгенерировать две коррелированные нормальные переменные $x 1 {\ displaystyle x_ {1}}$ $x_ {1}$ и $x 2 {\ displaystyle x_ {2}}$ $x_ {2}$ с заданным коэффициентом корреляции $ρ {\ displaystyle \ rho}$ $\ rho$ . Для этого необходимо сначала сгенерировать две некоррелированные гауссовские случайные величины $z 1 {\ displaystyle z_ {1}}$ $z_ {1}$ и $z 2 {\ displaystyle z_ {2}}$ $z_ {2}$ , что можно сделать с помощью преобразования Бокса – Мюллера. Учитывая требуемый коэффициент корреляции $ρ {\ displaystyle \ rho}$ $\ rho$ , коррелированные нормальные переменные могут быть получены с помощью преобразований $x 1 = z 1 {\ displaystyle x_ {1} = z_ { 1}}$ $x_ {1} = z_ {1 }$ и $x 2 = ρ z 1 + 1 - ρ 2 z 2 {\ displaystyle x_ {2} = \ rho z_ {1} + {\ sqrt {1- \ rho ^ {2}}} z_ {2}}$ ${\ displaystyle x_ {2} = \ rho z_ {1} + {\ sqrt {1- \ rho ^ {2}}} z_ {2}}$ .

Фильтры Калмана

Фильтры Калмана без запаха обычно используют разложение Холецкого для выбора набора так называемых сигма-точек. Фильтр Калмана отслеживает среднее состояние системы как вектор x длины N и ковариацию как матрицу N × N P . Матрица P всегда является положительно полуопределенной и может быть разложена на LL . Столбцы L могут быть добавлены и вычтены из среднего x, чтобы сформировать набор из 2N векторов, называемых сигма-точками. Эти сигма-точки полностью отражают среднее значение и ковариацию состояния системы.

Обращение матрицы

Явное обратное эрмитовой матрицы может быть вычислено с помощью разложения Холецкого аналогично решению линейных систем с использованием $n 3 { \ displaystyle n ^ {3}}$ $n^{3}$ операции ( $1 2 n 3 {\ displaystyle {\ tfrac {1} {2}} n ^ {3}}$ ${\ displaystyle {\ tfrac {1} {2}} п ^ {3}}$ умножения). Вся инверсия может быть эффективно выполнена даже на месте.

Неэрмитова матрица B также может быть инвертирована с помощью следующего тождества, где BB * всегда будет эрмитовой:

B - 1 = B ∗ (BB ∗) - 1. {\ displaystyle \ mathbf {B} ^ {- 1} = \ mathbf {B} ^ {*} (\ mathbf {BB} ^ {*}) ^ {- 1}.}

{\ displaystyle \ mathbf {B} ^ {- 1} = \ mathbf {B} ^ {*} (\ mathbf {BB} ^ {*}) ^ {- 1}.}

Вычисление

Существуют различные методы расчета разложения Холецкого. Вычислительная сложность обычно используемых алгоритмов в целом составляет O (n). Все описанные ниже алгоритмы включают около n / 3 FLOP (n / 6 умножений и такое же количество сложений), где n - размер матрицы A . Следовательно, они имеют половину стоимости разложения LU, которое использует 2n / 3 FLOP (см. Trefethen and Bau 1997).

Какой из приведенных ниже алгоритмов быстрее зависит от деталей реализации. Как правило, первый алгоритм будет немного медленнее, потому что он получает доступ к данным менее регулярно.

Алгоритм Холецкого

Алгоритм Холецкого, используемый для вычисления матрицы разложения L, представляет собой модифицированную версию исключения Гаусса.

Запуск рекурсивного алгоритма с i: = 1 и

A: = A.

На шаге i матрица A имеет следующий вид:

A (i) = (I i - 1 0 0 0 ai, ibi * 0 би В (я)), {\ Displaystyle \ mathbf {A} ^ {(я)} = {\ begin {pmatrix} \ mathbf {I} _ {i-1} 0 0 \\ 0 a_ {я, я } \ mathbf {b} _ {i} ^ {*} \\ 0 \ mathbf {b} _ {i} \ mathbf {B} ^ {(i)} \ end {pmatrix}},}

\ mathbf {A} ^ {(i)} = {\ begin {pmatrix} \ mathbf {I} _ {i-1} 0 0 \\ 0 a_ {i, i} \ mathbf {b} _ {i} ^ {*} \\ 0 \ mathbf {b} _ {i} \ mathbf {B} ^ {(i)} \ end {pmatrix}},

где Ii − 1 обозначает единичную матрицу размерности i - 1.

Если мы теперь определим матрицу Liкак

L i: = ( I i - 1 0 0 0 ai, i 0 0 1 ai, ibi I n - i), {\ displaystyle \ mathbf {L} _ {i}: = {\ begin {pmatrix} \ mathbf {I} _ {i -1} 0 0 \\ 0 {\ sqrt {a_ {i, i}}} 0 \\ 0 {\ frac {1} {\ sqrt {a_ {i, i}}}} \ mathbf {b} _ {i } \ mathbf {I} _ {ni} \ end {pmatrix}},}

\ mathbf {L} _ {i}: = {\ begin {pmatrix} \ mathbf {I} _ {i -1} 0 0 \\ 0 {\ sqrt {a_ {i, i}}} 0 \\ 0 {\ frac {1} {\ sqrt {a_ {i, i}}}}} \ mathbf {b} _ {i } \ mathbf {I} _ {ni} \ end {pmatrix}},

тогда мы можем записать A как

A (i) = L i A (i + 1) L я * {\ Displaystyle \ mathbf {A} ^ {(я)} = \ ма thbf {L} _ {i} \ mathbf {A} ^ {(i + 1)} \ mathbf {L} _ {i} ^ {*}}

\ mathbf {A} ^ {(i)} = \ mathbf {L} _ {i} \ mathbf {A} ^ {(i + 1)} \ mathbf { L} _ {i} ^ {*}

где

A (i + 1) = ( I i - 1 0 0 0 1 0 0 0 B (i) - 1 ai, ibibi ∗). {\ displaystyle \ mathbf {A} ^ {(i + 1)} = {\ begin {pmatrix} \ mathbf {I} _ {i-1} 0 0 \\ 0 1 0 \\ 0 0 \ mathbf {B} ^ {(i)} - {\ frac {1} {a_ {i, i}}} \ mathbf {b} _ {i} \ mathbf {b} _ {i} ^ {*} \ end {pmatrix}}.}

\ mathbf {A} ^ {(i + 1)} = {\ begin {pmatrix } \ mathbf {I} _ {i-1} 0 0 \\ 0 1 0 \\ 0 0 \ mathbf {B} ^ {(i)} - {\ frac {1} {a_ {i, i}}} \ mathbf {b } _ {i} \ mathbf {b} _ {i} ^ {*} \ end {pmatrix}}.

Обратите внимание, что bib*iявляется внешним продуктом, поэтому этот алгоритм называется версией внешнего продукта в (Golub Van Loan).

Мы повторяем это для i от 1 до n. После n шагов получаем A= I. Следовательно, нижняя треугольная матрица L, которую мы ищем, вычисляется как

L: = L 1 L 2… L n. {\ displaystyle \ mathbf {L}: = \ mathbf {L} _ {1} \ mathbf {L} _ {2} \ dots \ mathbf {L} _ {n}.}

\ mathbf {L}: = \ mathbf {L} _ {1} \ mathbf {L} _ {2} \ dots \ mathbf {L} _ {n}.

Холецкий – Банахевич и Холецкий –Алгоритмы разметки

Шаблон доступа (белый) и шаблон записи (желтый) для локального алгоритма Холецкого — Банахевича на матрице 5 × 5

Если мы запишем уравнение

A = LLT = (L 11 0 0 L 21 L 22 0 L 31 L 32 L 33) (L 11 L 21 L 31 0 L 22 L 32 0 0 L 33) = (L 11 2 (симметричный) L 21 L 11 L 21 2 + L 22 2 L 31 L 11 L 31 L 21 + L 32 L 22 L 31 2 + L 32 2 + L 33 2), {\ displaystyle {\ begin {align} \ mathbf {A} = \ mathbf {LL} ^ {T } = {\ begin {pmatrix} L_ {11} 0 0 \\ L_ {21} L_ {22} 0 \\ L_ {31} L_ {32} L_ {33} \\\ end {pmatrix}} {\ begin {pmatrix} L_ {11} L_ {21} L_ {31} \\ 0 L_ {22} L_ {32} \\ 0 0 L_ {33} \ end {pmatrix}} \\ [8pt] = {\ begin {pmatrix} L_ {11} ^ {2} ({\ text {symric}}) \\ L_ {21} L_ {11} L_ {21} ^ {2} + L_ {22} ^ {2} \\ L_ { 31} L_ {11} L_ {31} L_ {21} + L_ {32} L_ {22} L_ {31} ^ {2} + L_ {32} ^ {2} + L_ {33} ^ {2} \ end {pmatrix}}, \ end {align}}}

{\ displaystyle {\ begin {выровнено } \ mathbf {A} = \ mathbf {LL} ^ {T} = {\ begin {pmatrix} L_ {11} 0 0 \\ L_ {21} L_ {22} 0 \\ L_ {31} L_ {32} L_ {33} \\\ end {pmatrix}} {\ begin {pmatrix} L_ {11} L_ {21} L_ {31} \\ 0 L_ {22} L_ {32} \\ 0 0 L_ {33} \ end {pmatrix }} \\ [8pt] = {\ begin {pmatrix} L_ {11} ^ {2} ({\ text {symric}}) \\ L_ {21} L_ {11} L_ {21} ^ {2 } + L_ {22} ^ {2} \\ L_ {31} L_ {11} L_ {31} L_ {21} + L_ {32} L_ {22} L_ {31} ^ {2} + L_ {32 } ^ {2} + L_ {33} ^ {2} \ end {pmatrix}}, \ end {align}}}

получаем следующее:

L = (A 11 0 0 A 21 / L 11 A 22 - L 21 2 0 A 31 / L 11 (A 32 - L 31 L 21) / L 22 A 33 - L 31 2 - L 32 2) {\ displaystyle {\ begin {align} \ mathbf {L} = {\ begin {pmatrix} {\ sqrt {A_ {11}}} 0 0 \\ A_ {21} / L_ {11} {\ sqrt {A_ {22} -L_ {21} ^ {2}}} 0 \\ A_ { 31} / L_ {11} \ left (A_ {32} -L_ {31} L_ {21} \ right) / L_ {22} {\ sqrt {A_ {33} -L_ {31} ^ {2} -L_ {32} ^ {2}}} \ end {pmatrix}} \ end {align}}}

{\ displaystyle {\ begin {align} \ mathbf {L} = {\ begin {pmatrix} { \ sqrt {A_ {11}}} 0 0 \\ A_ {21} / L_ {11} {\ sqrt {A_ {22} -L_ {21} ^ {2}}} 0 \\ A_ {31} / L_ {11} \ left (A_ {32} -L_ {31} L_ {21} \ right) / L_ {22} {\ sqrt {A_ {33} -L_ {31} ^ {2} -L_ {32 } ^ {2}}} \ end {pmatrix}} \ end {align}}}

и, следовательно, следующие формулы для записей L:

L j, j = (±) A j, J - ∑ К знак равно 1 J - 1 L J, К 2, {\ Displaystyle L_ {j, j} = (\ pm) {\ sqrt {A_ {j, j} - \ sum _ {k = 1} ^ { j-1} L_ {j, k} ^ {2}}},}

{\ displaystyle L_ {j, j} = (\ pm) {\ sqrt {A_ {j, j} - \ sum _ {k = 1} ^ {j-1} L_ {j, k} ^ {2}}},}

L i, j = 1 L j, j (A i, j - ∑ k = 1 j - 1 L i, k L j, k) для i>j. {\ displaystyle L_ {i, j} = {\ frac {1} {L_ {j, j}}} \ left (A_ {i, j} - \ sum _ {k = 1} ^ {j-1} L_ {i, k} L_ {j, k} \ right) \ quad {\ text {for}} i>j.}

L_{i,j}={\frac {1}{L_{j,j}}}\left(A_{i,j}-\sum _{k=1}^{j-1}L_{i,k}L_{j,k}\right)\quad {\text{for }}i>j.

Для сложных и реальных матриц несущественные изменения произвольного знака диагональных и связанных недиагональных элементов разрешено. Выражение под квадратным корнем всегда положительно, если A является вещественным и положительно определенным.

Для комплексной эрмитовой матрицы применяется следующая формула:

L J, J знак равно A J, J - ∑ K = 1 J - 1 L J, K L J, K ∗, {\ Displaystyle L_ {j, j} = {\ sqrt {A_ {j, j} - \ sum _ {k = 1} ^ {j-1} L_ {j, k} L_ {j, k} ^ {*}}},}

{\ displaystyle L_ {j, j} = {\ sqrt {A_ {j, j} - \ sum _ {k = 1} ^ {j-1} L_ {j, k} L_ {j, k } ^ {*}}},}

L i, j = 1 L j, j (A i, j - ∑ К знак равно 1 j - 1 L я, k L j, k ∗) для i>j. {\ displaystyle L_ {i, j} = {\ frac {1} {L_ {j, j}}} \ left (A_ {i, j} - \ sum _ {k = 1} ^ {j-1} L_ {i, k} L_ {j, k} ^ {*} \ right) \ quad {\ text {for} } i>j.}

L_{i,j}={\frac {1}{L_{j,j}}}\left(A_{i,j}-\sum _{k=1}^{j-1}L_{i,k}L_{j,k}^{*}\right)\quad {\text{for }}i>j.

Итак, мы можем вычислить запись (i, j), если нам известны записи слева и выше. Вычисление обычно проводится в одном из следующих порядков:

Алгоритм Холецкого – Банахевича начинается с верхнего левого угла матрицы L и переходит к вычислению матрицы построчно.
Алгоритм Холецкого – Краута начинается с верхнего левого угла матрицы L и переходит к вычислению матрицы столбец за столбцом.

Любой шаблон доступа позволяет выполнять все вычисления на месте при желании.

Стабильность вычислений

Предположим, что мы хотим решить хорошо обусловленную систему линейных уравнений. Если используется разложение LU, алгоритм будет нестабильным,если мы не используем какую-то стратегию поворота. В последнем случае ошибка зависит от так называемого фактора роста матрицы, который обычно (но не всегда) невелик.

Теперь предположим, что применимо разложение Холецкого. Как было сказано выше, алгоритм будет вдвое быстрее. Кроме того, не требуется никакого поворота , и ошибка всегда будет небольшой. В частности, если мы хотим решить Ax= b, а y обозначает вычисленное решение, тогда y решает возмущенную систему (A+ E)y= b, где

‖ E ‖ 2 ≤ сп ε ‖ A ‖ 2. {\ displaystyle \ | \ mathbf {E} \ | _ {2} \ leq c_ {n} \ varepsilon \ | \ mathbf {A} \ | _ {2}.}

\ | \ mathbf {E} \ | _ {2} \ leq c_ {n} \ varepsilon \ | \ mathbf {A} \ | _ {2}.

Здесь || · || 2 - это матрица 2-норма, c n - небольшая константа, зависящая от n, а ε обозначает единичный раунд -off.

Одной из проблем, связанных с разложением Холецкого, использование является квадратной корней., и в этом случае алгоритм не может продолжить работу. Однако это может произойти только в том случае, если матрица очень плохо подготовлена, если одна из способов решения этой проблемы - добавить диагональную матрицу разлагаемую матрицу в попытке. Положительной определенности. Хотя это может уменьшить точность разложения, это может быть очень выгодно по другим причинам; например, при выполнении метод Ньютона в оптимизации добавление диагональной матрицы может улучшить стабильность, когда она далека от оптимума.

Разложение LDL

Альтернативной схемой, устраняющей извлечения квадратного корня, когда A является симметричным, является симметричной неопределенной факторизацией

A = LDLT = (1 0 0 L 21 1 0 L 31 L 32 1) (D 1 0 0 0 D 2 0 0 0 D 3) (1 L 21 L 31 0 1 L 32 0 0 1) = (D 1 (симметричный) L 21 D 1 L 21 2 D 1 + D 2 L 31 D 1 L 31 L 21 D 1 + L 32 D 2 L 31 2 D 1 + L 32 2 D 2 + D 3.). {\ displaystyle {\ begin {align} \ mathbf {A} = \ mathbf {LDL} ^ {\ mathrm {T}} = {\ begin {pmatrix} 1 0 0 \\ L_ {21} 1 0 \\ L_ {31} L_ {32} 1 \\\ end {pmatrix}} {\ begin {pmatrix} D_ {1} 0 0 \\ 0 D_ {2} 0 \\ 0 0 D_ {3} \\\ end {pmatrix}} {\ begin {pmatrix} 1 L_ {21} L_ {31} \\ 0 1 L_ {32} \\ 0 0 1 \\ \ end {pmatrix}} \\ [8pt] = {\ begin {pmatrix} D_ {1} (\ mathrm {symric}) \\ L_ {21} D_ {1} L_ {21} ^ {2} D_ {1} + D_ {2} \\ L_ {31} D_ {1} L_ {31} L_ {21} D_ {1} + L_ {32} D_ {2} L_ {31} ^ {2 } D_ {1} + L_ {32} ^ {2} D_ {2} + D_ {3}. \ End {pmatrix}}. \ End {выравнивается}}}

{ \ Displaystyle {\ begin {выровненный} \ mathbf {A} = \ mathbf {LDL} ^ {\ mathrm {T}} = {\ begin {pmatrix} 1 0 0 \\ L_ {21} 1 0 \\ L_ {31} L_ {32} 1 \\\ end {pmatrix}} {\ begin {pmatrix} D_ {1} 0 0 \\ 0 D_ {2} 0 \\ 0 0 D_ {3} \\\ end {pmatrix}} {\ begin {pmatrix} 1 L_ {21} L_ {31} \\ 0 1 L_ {32} \\ 0 0 1 \\\ end {pmatrix }} \\ [8pt] = {\ begin {pmatrix} D_ {1} (\ mathrm {symric}) \\ L_ {21} D_ {1} L_ {21} ^ {2} D_ {1} + D_ {2} \\ L_ {31} D_ {1} L_ {31} L_ {21} D_ {1} + L_ {32} D_ {2} L_ {31} ^ {2} D_ {1} + L_ {32} ^ {2} D_ {2} + D_ {3}. \ End {pmatrix}}. \ End {align}}}

Следующие рекурсивные отношения применяются для записей D и L:

D j = A jj - ∑ k = 1 j - 1 L jk 2 D k, {\ displaystyle D_ {j} = A_ {jj} - \ sum _ {k = 1} ^ {j-1} L_ {jk} ^ {2} D_ {k},}

{\ displaystyle D_ {j} = A_ {jj} - \ sum _ {k = 1} ^ {j-1} L_ {jk} ^ {2} D_ {k },}

L ij = 1 D j (A ij - ∑ k = 1 j - 1 L ik L jk D k) для i>j. {\ displaystyle L_ {ij} = {\ frac {1} {D_ {j}}} \ left (A_ {ij} - \ sum _ {k = 1} ^ {j-1} L_ {ik} L_ {jk } D_ {k} \ right) \ quad {\ text {for}} i>j.}

L_{ij}={\frac {1}{D_{j}}}\left(A_{ij}-\sum _{k=1}^{j-1}L_{ik}L_{jk}D_{k}\right)\quad {\text{for }}i>j.

Это работает до тех пор, пока сгенерированные диагональные элементы в D остаются уникально ненулевыми <. 292>D и L действительны, если A действительно.

Для комплексной эрмитовой матрицы A имеющая следующая формула:

D j знак равно A jj - ∑ К знак равно 1 J - 1 L jk L jk ∗ D К, {\ Displaystyle D_ {j} = A_ {jj} - \ sum _ {k = 1} ^ {j-1} L_ { jk} L_ {jk} ^ {*} D_ {k},}

{\ displaystyle D_ {j} = A_ {jj} - \ sum _ {k = 1} ^ {j-1} L_ {jk} L_ {jk} ^ {*} D_ {k},}

L ij = 1 D j (A ij - ∑ k = 1 j - 1 L ik L jk ∗ D k) для я>j. \ Displaystyle L_ {ij} = {\ frac {1} {D_ {j}}} \ left (A_ {ij} - \ sum _ {k = 1} ^ {j-1} L_ {ik} L_ {jk} ^ {*} D_ {k} \ right) \ quad {\ text {for}} i>j.}

L_{ij}={\frac {1}{D_{j}}}\left(A_{ij}-\sum _{k=1}^{j-1}L_{ik}L_{jk}^{*}D_{k}\right)\quad {\text{for }}i>j.

Опять же, позволяет получить доступ при желании выполнять все вычисления на месте.

Вариант блока

Известно, что при использовании с неопределенными матрицами факторизация LDL * будет нестабильной без тщательного поворота; в частности, элементы факторизации могут расти произвольно. Возможным улучшением является выполнение факторизации блочных подматриц, обычно 2 × 2:

A = LDLT = (I 0 0 L 21 I 0 L 31 L 32 I) (D 1 0 0 0 D 2 0 0 0 D 3) (IL 21 TL 31 T 0 IL 32 T 0 0 I) = (D 1 (симметричный) L 21 D 1 L 21 D 1 L 21 T + D 2 L 31 D 1 L 31 D 1 L 21 T + L 32 D 2 L 31 D 1 L 31 T + L 32 D 2 L 32 T + D 3), {\ displaystyle {\ begin {align} \ mathbf {A} = \ mathbf {LDL} ^ {\ mathrm {T}} = { \ begin {pmatrix} \ mathbf {I} 0 0 \\\ mathbf {L} _ {21} \ mathbf {I} 0 \\\ mathbf {L} _ {31} \ mathbf {L} _ {32} \ mathbf {I} \\\ end {pmatrix}} {\ begin {pmatrix} \ mathbf {D} _ {1} 0 0 \\ 0 \ mathbf {D} _ {2} 0 \ \ 0 0 \ mathbf {D} _ {3} \\\ end {pmatrix}} {\ begin {pmatrix} \ mathbf {I} \ mathbf {L} _ {21} ^ {\ mathrm {T}} \ mathbf {L} _ {31} ^ {\ mathrm {T}} \\ 0 \ mathbf {I} \ mathbf {L} _ {32} ^ {\ mathrm {T}} \ \ 0 0 \ mathbf {I} \\\ end {pmatrix}} \\ [8pt] = {\ begin {pmatrix} \ mathbf {D} _ {1} (\ mathrm {symric}) \\ \ mathbf {L} _ {21} \ mathbf {D} _ {1} \ mathbf {L} _ {21} \ mathbf {D} _ {1} \ mathbf {L} _ {21} ^ {\ mathrm {T}} + \ mat hbf { D} _ {2} \\\ mathbf {L} _ {31} \ mathbf {D} _ {1} \ mathbf {L} _ {31} \ mathbf {D} _ {1} \ mathbf {L } _ {21} ^ {\ mathrm {T}} + \ mathbf {L} _ {32} \ mathbf {D} _ {2} \ mathbf {L} _ {31} \ mathbf {D} _ {1 } \ mathbf {L} _ {31} ^ {\ mathrm {T}} + \ mathbf {L} _ {32} \ mathbf {D} _ {2} \ mathbf {L} _ {32} ^ {\ mathrm {T}} + \ mathbf {D} _ {3} \ end {pmatrix}}, \ end {align}}}

{\ displaystyle {\ begin {align} \ mathbf {A} = \ mathbf {LDL} ^ {\ mathrm {T}} = {\ begin {pmatrix} \ mathbf {I} 0 0 \\\ mathbf {L} _ {21} \ mathbf {I} 0 \\\ mathbf { L} _ {31} \ mathbf {L} _ {32} \ mathbf {I} \\\ end {pmatrix}} {\ begin {pmatrix} \ mathbf {D} _ {1} 0 0 \\ 0 \ mathbf {D} _ {2} 0 \\ 0 0 \ mathbf {D} _ {3} \\\ конец {pmatrix}} {\ begin {pmatrix} \ mathbf {I} \ mathbf {L} _ {21} ^ {\ mathrm {T}} \ mathbf {L} _ {31} ^ {\ mathrm {T }} \\ 0 \ mathbf {I} \ mathbf {L} _ {32} ^ {\ mathrm {T}} \\ 0 0 \ mathbf {I} \\\ end {pmatrix}} \\ [8pt] = {\ begin {pmatrix} \ mathbf {D} _ {1} (\ mathrm {symric}) \\\ mathbf {L} _ {21} \ mathbf {D} _ {1} \ mathbf {L} _ {21} \ mathbf {D} _ {1} \ mathbf {L} _ {21} ^ {\ mathrm {T}} + \ mathbf {D} _ {2} \\\ mathbf {L} _ { 31} \ mathbf {D} _ {1} \ mathbf {L} _ {31} \ mathbf {D} _ {1} \ mathbf {L} _ {21} ^ {\ mathrm {T}} + \ mathbf {L} _ {32} \ mathbf {D} _ {2} \ mathbf {L} _ {31} \ mathbf {D} _ {1} \ mathbf {L} _ {31} ^ {\ mathrm {T }} + \ mathbf {L} _ {32} \ mathbf {D} _ {2} \ mathbf {L} _ {32} ^ {\ mathrm {T}} + \ mathbf {D} _ {3} \ end {pmatrix}}, \ end {align}}}

где каждый элемент в приведенных выше матрицах представляет собой квадратную подматрицу. Отсюда следуют аналогичные рекурсивные соотношения:

D j = A jj - ∑ k = 1 j - 1 L jk D k L jk T, {\ displaystyle \ mathbf {D} _ {j} = \ mathbf {A} _ { jj} - \ sum _ {k = 1} ^ {j-1} \ mathbf {L} _ {jk} \ mathbf {D} _ {k} \ mathbf {L} _ {jk} ^ {\ mathrm {T }},}

{\ displaystyle \ mathbf {D} _ {j} = \ mathbf {A} _ {jj} - \ sum _ {k = 1} ^ {j-1} \ mathbf {L} _ {jk } \ mathbf {D} _ {k} \ mathbf {L} _ {jk} ^ {\ mathrm {T}},}

L ij = (A ij - ∑ k = 1 j - 1 L ik D k L jk T) D j - 1. {\ displaystyle \ mathbf {L} _ {ij} = \ left ( \ mathbf {A} _ {ij} - \ sum _ {k = 1} ^ {j-1} \ mathbf {L} _ {ik} \ mathbf {D} _ {k} \ mathbf {L} _ {jk } ^ {\ mathrm {T}} \ right) \ mathbf {D} _ {j} ^ {- 1}.}

{\ displaystyle \ mathbf {L} _ {ij} = \ left ( \ mathbf {A} _ {ij} - \ sum _ {k = 1} ^ {j-1} \ mathbf {L} _ {ik} \ mathbf {D} _ {k} \ mathbf {L} _ {jk } ^ {\ mathrm {T}} \ right) \ mathbf {D} _ {j} ^ {- 1}.}

Это включает матрицу продуктов и явной инверсии, что ограничивает практический размер блока.

Обновление разложения

На практике возникает проблема обновления разложения Холецкого. Более подробно, уже вычислено разложение Холецкого $A = LL ∗ {\ displaystyle \ mathbf {A} = \ mathbf {L} \ mathbf {L} ^ {*}}$ ${\ displaystyle \ mathbf {A} = \ mathbf {L} \ math bf {L} ^ {*}}$ некоторая матрица $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ , затем матрица $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ каким-то образом заменяется на другую матрицу, скажем $A ~ {\ displaystyle {\ tilde {\ mathbf {A}}}}$ ${\ tilde {\ mathbf {A}}}$ , и нужно вычислить разложение Холецкого обновленной матрицы: $A ~ = L ~ L ~ ∗ {\ displaystyle {\ tilde { \ mathbf {A}}} = {\ tilde {\ mathbf {L}}} {\ tilde {\ mathbf {L}}} ^ {*}}$ ${\ tilde {\ mathbf {A}}} = {\ тильда {\ mathbf {L}}} {\ тильда {\ mathbf {L}}} ^ {*}$ . Теперь возникает вопрос, можно ли использовать разложение Холецкого для $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ , которое было вычислено ранее, для вычислений разложения Холецкого $A ~ {\ displaystyle {\ tilde {\ mathbf {A}}}}$ ${\ tilde {\ mathbf {A}}}$ .

Обновление первого ранга

Конкретный случай, когда обновленная матрица $A ~ {\ displaystyle {\ tilde {\ mathbf {A}}}}$ ${\ tilde {\ mathbf {A}}}$ относится к матрице $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ посредством $A ~ = A + xx ∗ {\ displaystyle {\ tilde {\ mathbf {A}}} = \ mathbf {A} + \ mathbf {x} \ mathbf {x} ^ {*}}$ ${\ tilde {\ mathbf {A}}} = \ mathbf {A} + \ mathbf {x} \ mathbf {x} ^ {*}$ , известно как обновление первого ранга.

Вот небольшая функция, написанная в синтаксисе Matlab, которая реализует обновление первого ранга:

function [L] = cholupdate (L, x) n = length (x); для k = 1: n r = sqrt (L (k, k) ^ 2 + x (k) ^ 2); c = r / L (k, k); s = x (k) / L (k, k); L (k, k) = r; if k < n L((k+1):n, k) = (L((k+1):n, k) + s * x((k+1):n)) / c; x((k+1):n) = c * x((k+1):n) - s * L((k+1):n, k); end end end

Понижение первого ранга

Понижение первого ранга аналогично обновлению первого ранга, за исключением того, что добавление заменяется вычитанием: $A ~ = A - xx ∗ {\ displaystyle {\ tilde {\ mathbf {A}}} = \ mathbf {A} - \ mathbf {x} \ mathbf {x} ^ {*}}$ ${\ tilde {\ mathbf { A}}} = \ mathbf {A} - \ mathbf {x} \ mathbf {x} ^ {*}$ . Это работает, только если новая матрица $A ~ {\ displaystyle {\ tilde {\ mathbf {A}}}}$ ${\ tilde {\ mathbf {A}}}$ все еще положительно определена.

Код для обновления ранга один, показанный выше, можно легко адаптировать для пони показанного ранга один: нужно просто заменить два добавления в присвоении rи L ((k + 1): n, л)вычитанием.

Добавление и удаление строк и столбцов

Если у нас есть симметричная и положительно определенная матрица $A {\ displaystyle \ mathbf {A}}$ ${\ Displaystyle \ mathbf {A}}$ , представленная в блочной как

A = (A 11 A 13 A 13 TA 33) {\ displaystyle \ mathbf {A} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {13 } \\\ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A} _ {33} \\\ end {pmatrix}}}

{\ displaystyle \ mathbf {A} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {13} \\\ mathbf {A} _ {13 } ^ {\ mathrm {T}} \ mathbf {A} _ {33} \\\ end {pmatrix}}}

и его верхний фактор Холецкого

L Знак равно (L 11 L 13 0 L 33), {\ Displaystyle \ mathbf {L} = {\ begin {pmatrix} \ mathbf {L} _ {11} \ mathbf {L} _ {13} \\ 0 \ mathbf {L} _ {33} \\\ end {pmatrix}},}

{\ displaystyle \ mathbf {L} = {\ begin {pmatrix} \ mathbf {L} _ {11} \ mathbf {L} _ {13} \\ 0 \ mathbf {L} _ {33} \\\ end {pmatrix}},}

затем для новой матрицы $A ~ {\ displaystyle {\ tilde {\ mathbf {A}}}}$ ${\ tilde {\ mathbf {A}}}$ , что аналогично $A {\ displaystyle \ mathbf {A}}$ ${\ Displaystyle \ mathbf {A}}$ , но со вставкой новых строк и столбцов,

A ~ = (A 11 A 12 A 13 A 12 TA 22 A 23 A 13 TA 23 TA 33) {\ displaystyle {\ begin {align} {\ tilde {\ mathbf {A}}} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {12} \ mathbf {A} _ {13} \\\ mathbf {A} _ {12} ^ {\ mathrm {T}} \ mathbf {A} _ {22} \ mathbf {A} _ {23} \\\ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A} _ {23} ^ {\ mathrm {T}} \ mathbf {A} _ {33} \\\ end {pmatrix}} \ end {align}}}

{\ displaystyle {\ begin {align} {\ tilde {\ mathbf {A}}} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {12} \ mathbf {A} _ {13} \\\ mathbf {A} _ {12} ^ {\ mathrm {T}} \ mathbf { A} _ {22} \ mathbf {A} _ {23} \\\ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A} _ {23} ^ {\ mathrm { T}} \ mathbf {A} _ {33} \\\ конец {pmatrix}} \ конец {выровнено}}}

нас интересует факторизация Холецкого $A ~ {\ displaystyle {\ tilde {\ mathbf {A}}}}$ ${\ tilde {\ mathbf {A}}}$ , который мы называем $S ~ {\ displaystyle {\ tilde {\ mathbf {S}}}}$ ${\ displaystyle {\ tilde {\ mathbf {S}}}}$ , без прямого вычисления всего разложения.

S ~ = (S 11 S 12 S 13 0 S 22 S 23 0 0 S 33). {\ displaystyle {\ begin {align} {\ tilde {\ mathbf {S}}} = {\ begin {pmatrix} \ mathbf {S} _ {11} \ mathbf {S} _ {12} \ mathbf {S} _ {13} \\ 0 \ mathbf {S} _ {22} \ mathbf {S} _ {23} \\ 0 0 \ mathbf {S} _ {33} \\\ end { pmatrix}}. \ end {align}}}

{\ displaystyle {\ begin {выровнено} {\ tilde {\ mathbf {S}}} = {\ begin {pmatrix} \ mathbf {S} _ {11} \ mathbf {S} _ {12} \ mathbf {S} _ {13} \\ 0 \ mathbf {S} _ {22} \ mathbf {S} _ {23} \\ 0 0 \ mathbf {S} _ {33} \\\ end {pmatrix}}. \ End {align}}}

Запись $A ∖ b {\ displaystyle \ mathbf {A} \ setminus \ mathbf {b}}$ ${\ displaystyle \ mathbf {A} \ setminus \ mathbf {b}}$ для решения $A x = b {\ displaystyle \ mathbf {A} \ mathbf {x} = \ mathbf {b}}$ ${\ displaystyle \ mathbf {A} \ mathbf {x} = \ mathbf {b}}$ , который легко найти для треугольных матриц, и $chol (M) {\ displaystyle {\ text {chol}} (\ mathbf {M})}$ ${\ displaystyle {\ text {chol}} (\ mathbf {M})}$ для разложения Холецкого $M {\ displaystyle \ mathbf {M}}$ ${\ mathbf M}$ можно найти следующие соотношения:

S 11 = L 11, S 12 = L 11 T ∖ A 12, S 13 = L 13, S 22 = чоль (A 22 - S 12 TS 12), S 23 = S 22 T ∖ (A 23 - S 12 TS 13), S 33 = чел (L 33 TL 33 - S 23 TS 23). {\ displaystyle {\ begin {align} \ mathbf {S} _ {11} = \ mathbf {L} _ {11}, \\\ mathbf {S} _ {12} = \ mathbf {L} _ { 11} ^ {\ mathrm {T}} \ setminus \ mathbf {A} _ {12}, \\\ mathbf {S} _ {13} = \ mathbf {L} _ {13}, \\\ mathbf { S} _ {22} = {\ text {chol}} (\ mathbf {A} _ {22} - \ mathbf {S} _ {12} ^ {\ mathrm {T}} \ mathbf {S} _ { 12}), \\\ mathbf {S} _ {23} = \ mathbf {S} _ {22} ^ {\ mathrm {T}} \ setminus (\ mathbf {A} _ {23} - \ mathbf { S} _ {12} ^ {\ mathrm {T}} \ mathbf {S} _ {13}), \\\ mathbf {S} _ {33} = {\ text {chol}} (\ mathbf {L } _ {33} ^ {\ mathrm {T}} \ mathbf {L} _ {33} - \ mathbf {S} _ {23} ^ {\ mathrm {T}} \ mathbf {S} _ {23}). \\\ end {align}}} <4>Эти формулы положения установления для фактора Холецкого после вставки строк или столбцов в любую позицию, если мыим размеры строки и столбца должным образом (включая ноль). Обратная задача, когда мы имеем

A ~ = (A 11 A 12 A 13 A 12 TA 22 A 23 A 13 TA 23 TA 33) {\ displaystyle {\ begin {align} {\ tilde {\ mathbf {A} }} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {12} \ mathbf {A} _ {13} \\\ mathbf {A} _ {12} ^ {\ mathrm {T}} \ mathbf {A} _ {22} \ mathbf {A} _ {23} \\\ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A} _ {23} ^ {\ mathrm {T}} \ mathbf {A} _ {33} \\\ end {pmatrix}} \ end {align}}}

{\ displaystyle {\ begin {align} {\ tilde {\ mathbf {A}}} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {12} \ mathbf {A} _ {13} \\\ mathbf {A} _ {12} ^ {\ mathrm {T}} \ mathbf { A} _ {22} \ mathbf {A} _ {23} \\\ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A} _ {23} ^ {\ mathrm { T}} \ mathbf {A} _ {33} \\\ конец {pmatrix}} \ конец {выровнено}}}

с известным разложением Холецкого

S ~ = (S 11 S 12 S 13 0 S 22 S 23 0 0 S 33) {\ displaystyle {\ begin {align} {\ tilde {\ mathbf {S}}} = {\ begin {pmatrix} \ mathbf {S} _ {11} \ mathbf {S} _ {12} \ mathbf {S} _ {13} \\ 0 \ mathbf {S} _ {22} \ mathbf {S} _ {23} \\ 0 0 \ mathbf {S} _ {33} \\\ end {pmatrix}} \ end {align}}}

{\ displaystyle {\ begin {align} {\ tilde {\ mathbf {S) }}} = {\ begin {pmatrix} \ mathbf {S} _ {11} \ mathbf {S} _ {12} \ mathbf {S} _ {13} \\ 0 \ mathbf {S} _ { 22} \ mathbf {S} _ {23} \\ 0 0 \ mathbf {S} _ {33} \\\ end {pmatrix}} \ end {align}}}

и хотите определить коэффициент Холецкого

L = (L 11 L 13 0 L 33) {\ displaystyle {\ begin {align} \ mathbf {L} = {\ begin {pmatrix} \ mathbf {L} _ {11} \ mathbf {L} _ {13} \\ 0 \ mathbf {L} _ {33} \\\ конец {pma trix}} \ end {align}}}

{\ displaystyle {\ begin {align} \ mathbf {L} = {\ begin {pmatrix} \ mathbf {L} _ {11} \ mathbf {L} _ {13} \\ 0 \ mathbf {L} _ {33} \\\ end {pmatrix}} \ end {align}}}

матрицы $A {\ displaystyle \ mathbf {A}}$ ${\ Displaystyle \ mathbf {A}}$ с удаленными строками и столбцами,

A = (A 11 A 13 A 13 TA 33), {\ displaystyle {\ begin {align} \ mathbf {A} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {13} \\ \ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A} _ {33} \\\ end {pmatrix}}, \ end {align}}}

{\ displaystyle {\ begin {align} \ mathbf {A} = {\ begin {pmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {13} \\\ mathbf {A} _ {13} ^ {\ mathrm {T}} \ mathbf {A } _ {33} \\\ end {pmatrix}}, \ end {align}}}

дает следующие правила :

L 11 = S 11, L 13 = S 13, L 33 = чоль (S 33 + S 23 TS 23). {\ displaystyle {\ begin {align} \ mathbf {L} _ {11} = \ mathbf {S} _ {11}, \\\ mathbf {L} _ {13} = \ mathbf {S} _ { 13}, \\\ mathbf {L} _ {33} = {\ text {chol}} (\ mathbf {S} _ {33} + \ mathbf {S} _ {23} ^ {\ mathrm {T} } \ mathbf {S} _ {23}). \ end {align}}}

{\ displaystyle {\ begin {align} \ mathbf {L} _ {11} = \ mathbf {S} _ {11}, \\\ mathbf {L} _ {13} = \ mathbf {S} _ {13}, \\\ mathbf {L} _ {33} = {\ text {chol}} (\ mathbf {S} _ {33} + \ mathbf {S} _ {23} ^ {\ mathrm {T}} \ mathbf {S} _ {23}). \ end {align}}}

Обратите внимание, что приведенные выше уравнения, которые включают поиск разложения Холецкого новой матрицы, имеют вид $A ~ = A ± xx ∗ {\ displaystyle {\ tilde {\ mathbf {A}}} = \ mathbf {A} \ pm \ mathbf {x} \ mathbf {x} ^ {*}}$ ${\ displaystyle {\ тильда {\ mathbf {A}}} = \ mathbf {A} \ pm \ mathbf {x} \ mathbf {x} ^ {*}}$ , что позволяет им можно эффективно вычислить с использованием процедур обновления и понижения, подробно описанных в предыдущем разделе.

Доказательство для положительных полуопределенных матриц

Доказательство ограничивающим аргументом

Вышеупомянутые алгоритмы показывают, что каждый положительно определенная матрица $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ имеет разложение Холецкого. Этот результат можно распространить на положительный полуопределенный случай ограничивающим аргументом. Аргумент не является полностью конструктивным, т. Е. Не дает явных численных алгоритмов вычисления факторов Холецкого.

Если $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ является $n × n {\ displaystyle n \ times n}$ $n \ times n$ положительно полуопределенной матрицей, тогда последовательность $(A k) k: = (A + 1 k I n) k {\ displaystyle \ left (\ mathbf {A} _ {k} \ right) _ {k}: = \ left (\ mathbf {A} + {\ frac {1} {k}} \ mathbf {I} _ {n} \ right) _ {k}}$ ${\ displaystyle \ left (\ mathbf {A} _ {k} \ right) _ {k}: = \ left (\ mathbf {A} + {\ frac { 1} {k}} \ mathbf {I} _ {n} \ right) _ {k}}$ состоит из положительно определенных матриц. (Это является прямым следствием, например, теоремы о спектральном отображении для полиномиального функционального исчисления.) Кроме того,

A k → A для k → ∞ {\ displaystyle \ mathbf {A} _ {k} \ rightarrow \ mathbf {A} \ quad {\ text {for}} \ quad k \ rightarrow \ infty}

{\ displaystyle \ mathbf {A} _ {k} \ rightarrow \ mathbf {A} \ quad {\ text {для }} \ quad k \ rightarrow \ infty}

в норме оператора. В положительно определенном случае каждый $A k {\ displaystyle \ mathbf {A} _ {k}}$ ${\ mathbf {A}} _ {k }$ имеет разложение Холецкого $A k = L k L k ∗ {\ displaystyle \ mathbf {A} _ {k} = \ mathbf {L} _ {k} \ mathbf {L} _ {k} ^ {*}}$ ${\ displaystyle \ mathbf {A} _ {k} = \ mathbf {L} _ {k} \ mathbf {L} _ {k} ^ {*}}$ . По свойству операторной нормы

L k ‖ 2 ≥ ‖ L k L k ∗ ‖ = ‖ A k ‖. {\ Displaystyle \ | \ mathbf {L} _ {k} \ | ^ {2} \ geq \ | \ mathbf {L} _ {k} \ mathbf {L} _ {k} ^ {*} \ | = \ | \ mathbf {A} _ {k} \ | \,.}

{\ Displaystyle \ | \ mathbf {L} _ {k} \ | ^ {2} \ geq \ | \ mathbf {L} _ {k} \ mathbf {L} _ {k} ^ {*} \ | = \ | \ mathbf {A} _ {k} \ | \,.}

Итак, $(L k) k {\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k} }$ ${\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ - ограниченное множество в банаховом пространстве операторов, поэтому относительно компактно (поскольку лежащее в основе векторное пространство конечномерно). Следовательно, у него есть сходящаяся подпоследовательность, также обозначаемая $(L k) k {\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ ${\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ , с предел $L {\ displaystyle \ mathbf {L}}$ $\ mathbf {L}$ . Легко проверить, что этот $L {\ displaystyle \ mathbf {L}}$ $\ mathbf {L}$ имеет желаемые свойства, то есть $A = LL ∗ {\ displaystyle \ mathbf {A} = \ mathbf {L} \ mathbf {L} ^ {*}}$ ${\ displaystyle \ mathbf {A} = \ mathbf {L} \ math bf {L} ^ {*}}$ и $L {\ displaystyle \ mathbf {L}}$ $\ mathbf {L}$ является нижним треугольником с неотрицательными диагональными элементами: для всех $x {\ displaystyle x}$ $x$ и $y {\ displaystyle y}$ $y$ ,

⟨A x, y⟩ = ⟨lim A kx, y⟩ = ⟨lim L k L k ∗ x, y⟩ = ⟨LL ∗ x, y⟩. {\ displaystyle \ langle \ mathbf {A} x, y \ rangle = \ left \ langle \ lim \ mathbf {A} _ {k} x, y \ right \ rangle = \ langle \ lim \ mathbf {L} _ { k} \ mathbf {L} _ {k} ^ {*} x, y \ rangle = \ langle \ mathbf {L} \ mathbf {L} ^ {*} x, y \ rangle \,.}

{\ displaystyle \ langle \ mathbf {A} x, y \ rangle = \ left \ langle \ lim \ mathbf {A} _ {k} x, y \ right \ rangle = \ langle \ lim \ mathbf {L} _ {k} \ mathbf {L} _ {k} ^ {*} x, y \ rangle = \ langle \ mathbf {L} \ mathbf {L} ^ {*} x, y \ rangle \,.}

Следовательно, $A = LL * {\ Displaystyle \ mathbf {A} = \ mathbf {L} \ mathbf {L} ^ {*}}$ ${\ displaystyle \ mathbf {A} = \ mathbf {L} \ math bf {L} ^ {*}}$ . Поскольку основное векторное пространство конечномерно, все топологии в пространстве операторов эквивалентны. Итак, $(L k) k {\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ ${\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ стремится к $L {\ displaystyle \ mathbf { L}}$ $\ mathbf {L}$ в норме означает $(L k) k {\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ ${\ displaystyle \ left (\ mathbf {L} _ {k} \ right) _ {k}}$ имеет тенденцию на $L {\ displaystyle \ mathbf {L}}$ $\ mathbf {L}$ поэтапно. Это, в свою очередь, означает, что поскольку каждый $L k {\ displaystyle \ mathbf {L} _ {k}}$ ${\ displaystyle \ mathbf {L} _ {k}}$ является нижним треугольником с неотрицательными диагональными элементами, $L {\ displaystyle \ mathbf {L}}$ $\ mathbf {L}$ тоже.

Доказательство с помощью QR-разложения

Пусть $A {\ displaystyle \ mathbf {A}}$ $\ mathbf {A}$ будет положительно полуопределенной эрмитовой матрицей. Тогда его можно записать как произведение его матрицы квадратного корня, $A = BB ∗ {\ displaystyle \ mathbf {A} = \ mathbf {B} \ mathbf {B} ^ {*}}$ ${\ displaystyle \ mathbf {A} = \ mathbf {B} \ mathbf {B} ^ {*}}$ . Теперь QR-разложение можно применить к $B ∗ {\ displaystyle \ mathbf {B} ^ {*}}$ ${\ displaystyle \ mathbf {B} ^ {*}}$ , в результате получится $B ∗ = QR {\ displaystyle \ mathbf {B} ^ {*} = \ mathbf {Q} \ mathbf {R}}$ ${\ displaystyle \ mathbf {B} ^ {*} = \ mathbf {Q} \ mathbf {R}}$ , где $Q {\ displaystyle \ mathbf {Q}}$ $\ mathbf {Q}$ унитарен и $R {\ displaystyle \ mathbf {R}}$ $\ mathbf {R}$ - верхний треугольник. Вставка разложения в исходное равенство дает $A = BB ∗ = (QR) ∗ QR = R ∗ Q ∗ QR = R ∗ R {\ displaystyle A = \ mathbf {B} \ mathbf {B} ^ {*} = ( \ mathbf {QR}) ^ {*} \ mathbf {QR} = \ mathbf {R} ^ {*} \ mathbf {Q} ^ {*} \ mathbf {QR} = \ mathbf {R} ^ {*} \ mathbf {R}}$ ${\ displaystyle A = \ mathbf {B} \ mathbf {B} ^ {*} = (\ mathbf {QR}) ^ {*} \ mathbf {QR} = \ mathbf {R} ^ {*} \ mathbf {Q} ^ {*} \ mathbf {QR} = \ mathbf {R} ^ {*} \ mathbf {R}}$ . Установка $L = R ∗ {\ displaystyle \ mathbf {L} = \ mathbf {R} ^ {*}}$ ${\ displaystyle \ mathbf {L} = \ mathbf {R} ^ {*}}$ завершает доказательство.

Обобщение

Факторизация Холецкого может быть обобщена на (не обязательно конечные) матрицы с операторными характеристиками. Пусть ${H n} {\ displaystyle \ {{\ mathcal {H}} _ {n} \}}$ $\ {{\ mathcal {H}} _ {n} \}$ будет последовательностью гильбертовых пространств. Рассмотрим операторную матрицу

A = [A 11 A 12 A 13 A 12 ∗ A 22 A 23 A 13 ∗ A 23 ∗ A 33 ⋱] {\ displaystyle \ mathbf {A} = {\ begin {bmatrix} \ mathbf { A} _ {11} \ mathbf {A} _ {12} \ mathbf {A} _ {13} \; \\\ mathbf {A} _ {12} ^ {*} \ mathbf {A} _ {22} \ mathbf {A} _ {23} \; \\\ mathbf {A} _ {13} ^ {*} \ mathbf {A} _ {23} ^ {*} \ mathbf {A} _ {33} \; \\\; \; \; \ ddots \ end {bmatrix}}}

\ mathbf {A} = {\ begin {bmatrix} \ mathbf {A} _ {11} \ mathbf {A} _ {12} \ mathbf {A} _ {13} \; \\\ mathbf {A} _ {12} ^ {*} \ mathbf {A} _ {22} \ mathbf {A} _ {23} \; \ \\ mathbf {A} _ {13} ^ {*} \ mathbf {A} _ {23} ^ {*} \ mathbf {A} _ {33} \; \\\; \; \ ; \ ddots \ end {bmatrix}}

действующее на прямую сумму

H = ⨁ n H n, {\ displaystyle {\ mathcal {H}} = \ bigoplus _ {n} {\ mathcal {H} } _ {n},}

{\ displaystyle {\ mathcal {H}} = \ bigoplus _ {n} {\ mathcal {H}} _ {n},}

, где каждый

A ij: H j → H i {\ displaystyle \ mathbf {A} _ {ij}: {\ mathcal {H}} _ {j} \ rightarrow {\ mathcal {H}} _ {i}}

\ mathbf {A} _ {ij} : {\ mathcal {H}} _ {j} \ rightarrow {\ mathcal {H}} _ {i}

- это ограниченный оператор. Если A положительно (полуопределено) в том смысле, что для всех конечных k и для любого

h ∈ ⨁ n = 1 k H k, {\ displaystyle h \ in \ bigoplus _ {n = 1 } ^ {k} {\ mathcal {H}} _ {k},}

{\ displa ystyle h \ in \ bigoplus _ {n = 1} ^ {k} {\ mathcal {H}} _ {k},}

мы имеем $⟨h, A h⟩ ≥ 0 {\ displaystyle \ langle h, \ mathbf {A} h \ rangle \ geq 0}$ $\ langle h, \ mathbf {A} h \ rangle \ geq 0$ , тогда существует нижнетреугольная матрица операторов L такая, что A= LL*. Можно также считать диагональные элементы L положительными.

Реализации в библиотеках программирования

Язык программирования C : Научная библиотека GNU предоставляет несколько реализаций разложения Холецкого.
Система компьютерной алгебры Maxima : функция cholesky вычисляет разложение Холецкого.
Система численных вычислений GNU Octave предоставляет несколько функций для вычисления, обновления и применения разложения Холецкого.
Библиотека LAPACK обеспечивает высокопроизводительную реализацию разложение Холецкого, доступное из Fortran, C и большинства языков.
В Python функция cholesky из модуля numpy.linalg выполняет разложение Холецкого.
В Matlab и R функция "chol" дает разложение Холецкого.
В Julia функция "cholesky" из стандартной библиотеки LinearAlgebra дает Разложение Холецкого.
В Mathematica функция "CholeskyDecomposition" может быть применена к ма trix.
В C ++ команда "chol" из библиотеки armadillo выполняет разложение Холецкого. Библиотека Eigen предоставляет факторизации Холецкого как для разреженных, так и для плотных матриц.
В пакете ROOT доступен класс TDecompChol.
В Analytica, функция Decompose дает разложение Холецкого.
Библиотека Apache Commons Math имеет реализацию, которая может использоваться в Java, Scala и любом другом языке JVM.

См. Также

Примечания

Ссылки

Дерениовский, Дариуш; Кубале, Марек (2004). «Факторизация Холецкого параллельных матриц и ранжирование графов». 5-я Международная конференция по параллельной обработке и прикладной математике (PDF). Конспект лекций по информатике. 3019 . Springer-Verlag. С. 985–992. DOI : 10.1007 / 978-3-540-24669-5_127. ISBN 978-3-540-21946-0. Архивировано из оригинального (PDF) 16.07.2011.
Голуб, Джин Х. ; Ван Лоан, Чарльз Ф. (1996). Матричные вычисления (3-е изд.). Балтимор: Джонс Хопкинс. ISBN 978-0-8018-5414-9. CS1 maint: ref = harv (ссылка )
Хорн, Роджер А.; Джонсон, Чарльз Р.. (1985). Matrix Analysis. Cambridge University Press. ISBN 0-521-38632-2. CS1 maint: ref = harv (ссылка )
SJ Julier и JK Uhlmann. «Общий метод аппроксимации нелинейных преобразований вероятностных распределений ".
SJ Julier и JK Uhlmann,« Новое расширение фильтра Калмана на нелинейные системы », в Proc. AeroSense: 11-й международный симпозиум. Aerospace / Defense Sensing, Simulation and Controls, 1997, стр. 182–193.
Трефетен, Ллойд Н. ; Бау, Дэвид (1997). Численная линейная алгебра. Филадельфия: Общество для промышленной и прикладной математики. ISBN 978-0-89871-361-9. CS1 maint: ref = harv (link )
Osborne, Michael ( 2010). Байесовские гауссовские процессы для последовательного прогнозирования, оптимизации и квадратуры (PDF) (диссертация). Оксфордский университет.

Внешние ссылки

История of science

Sur la résolution numérique des systèmes d'équations linéaires, рукопись Холецкого 1910 г., онлайн и проанализирована на BibNum (на французском и английском языках) [для английского языка нажмите «A télécharger»]

Информация

, Энциклопедия математики, EMS Press, 2001 [1994]
«Разложение Холецкого». PlanetMath.
Разложение Холецкого, Краткое руководство по анализу данных
Разложение Холецкого на www.math-linux.com
Разложение Холецкого стало проще на компьютере «Science Meanderthal»

code

LAPACK - это набор подпрограмм FORTRAN для решения задач плотной линейной алгебры.
ALGLIB включает частичный порт LAPACK на C ++, C #, Delphi, Visual Basic и т. д.
libflame - это библиотека C с функцией LAPACK.
Заметки и видео по высокопроизводительной реализации факторизации Холецкого в Техасском университете в Остине.
Холецкий: TBB + Threads + SSE книга, объясняющая реализацию CF с TBB, потоками и SSE (на испанском языке).
библиотека "Ceres Solver" от Google.
процедуры разложения LDL в Matlab.
Armadillo - это пакет линейной алгебры C ++.

Использование матрицы в моделировании

Создание коррелированных случайных переменных и случайных процессов, Мартин Хо, Columbia Universi ty

Онлайн-калькуляторы

Онлайн-калькулятор матриц Выполняет разложение матриц по Холецкому в режиме онлайн.