Jump to content

Матричное тождество Вудбери

В математике (в частности , в линейной алгебре ) матричное тождество Вудбери , названное в честь Макса А. Вудбери , [1] [2] говорит, что обратную поправку ранга k некоторой матрицы можно вычислить, выполнив поправку ранга k к обратной исходной матрице. Альтернативные названия этой формулы — лемма обращения матрицы , формула Шермана–Моррисона–Вудбери или просто формула Вудбери . Однако эта личность появилась в нескольких газетах до отчета Вудбери. [3] [4]

Матричное тождество Вудбери: [5]

где A , U , C и V сообразные матрицы : A — это n × n , C — это k × k , U — это n × k , а V — это k × n . Это можно получить с помощью блочной инверсии матрицы .

Хотя тождество в основном используется в матрицах, оно сохраняется в общем кольце или в Ab-категории .

Матричное тождество Вудбери позволяет дешево вычислять обратные задачи и решения линейных уравнений. Однако мало что известно о численной устойчивости формулы. Нет опубликованных результатов, касающихся границ погрешности. Неофициальные данные [6] предполагает, что она может расходиться даже для, казалось бы, безобидных примеров (когда и исходная, и модифицированная матрицы хорошо обусловлены).

Обсуждение

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

Чтобы доказать этот результат, начнем с доказательства более простого. Заменив A и C единичной матрицей I , мы получим другое тождество, немного более простое: Чтобы восстановить исходное уравнение из этого сокращенного тождества , замените к и к .

Эту идентичность можно рассматривать как комбинацию двух более простых идентичностей. Получаем первое тождество из таким образом, и аналогично Вторая идентичность – это так называемая сквозная идентичность. [7] что мы получаем из после умножения на справа и рядом слева.

Собрав все вместе, где первое и второе равенство вытекают из первого и второго тождества соответственно.

Особые случаи

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

Когда являются векторами, тождество сводится к формуле Шермана–Моррисона .

В скалярном случае сокращенная версия просто

Обратная сумма

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

Если n = k и U = V = I n — единичная матрица, то

Продолжение слияния членов крайней правой части приведенного выше уравнения приводит к тождеству Хуа.

Другая полезная форма того же тождества:

что, в отличие от приведенных выше, справедливо, даже если является сингулярным и имеет рекурсивную структуру, которая дает если радиус спектральный меньше единицы. То есть, если приведенная выше сумма сходится, то она равна .

Эту форму можно использовать в пертурбативных разложениях, где возмущение A. B

Вариации

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

Биномиальная обратная теорема

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

Если A , B , U , V — матрицы размеров n × n , k × k , n × k , k × n соответственно, то

при условии A и B + BVA −1 UB неособы. Невырожденность последнего требует, чтобы B −1 существует, поскольку оно равно B ( I + VA −1 UB ) и ранг последнего не может превышать B. ранга [7]

Поскольку B обратима, два члена B, обрамляющие обратную величину в скобках в правой части, можно заменить на ( B −1 ) −1 , что приводит к исходной идентичности Вудбери.

Вариант, когда B сингулярный и, возможно, даже неквадратный: [7]

Существуют также формулы для некоторых случаев, когда A сингулярно. [8]

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

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

В общем, тождество Вудбери недействительно, если одна или несколько инверсий заменены псевдообратными (Мура – ​​Пенроуза) . Однако, если и положительно полуопределены и (имея в виду, что сама по себе положительно полуопределена), то следующая формула дает обобщение: [9] [10]

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

Прямое доказательство

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

Формулу можно доказать, проверив, что умноженное на предполагаемое обратное в правой части тождества Вудбери, получим тождественную матрицу:

Альтернативные доказательства

[ редактировать ]
Алгебраическое доказательство

First consider these useful identities,

Now,

Вывод посредством блочного исключения

Deriving the Woodbury matrix identity is easily done by solving the following block matrix inversion problem

Expanding, we can see that the above reduces towhich is equivalent to . Eliminating the first equation, we find that , which can be substituted into the second to find . Expanding and rearranging, we have , or . Finally, we substitute into our , and we have . Thus,

We have derived the Woodbury matrix identity.

Вывод из разложения LDU

We start by the matrixBy eliminating the entry under the A (given that A is invertible) we get

Likewise, eliminating the entry above C gives

Now combining the above two, we get

Moving to the right side giveswhich is the LDU decomposition of the block matrix into an upper triangular, diagonal, and lower triangular matrices.

Now inverting both sides gives

We could equally well have done it the other way (provided that C is invertible) i.e.

Now again inverting both sides,

Now comparing elements (1, 1) of the RHS of (1) and (2) above gives the Woodbury formula

Приложения

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

Это тождество полезно в некоторых численных вычислениях, где A −1 уже вычислено, и желательно вычислить ( A + UCV ) −1 . Имея обратное значение A , необходимо найти только обратное значение C. −1 + И −1 U , чтобы получить результат, используя правую часть тождества. Если C имеет гораздо меньшую размерность, чем A , это более эффективно, чем непосредственное инвертирование A + UCV . Распространенным случаем является поиск обратного обновления A + UCV ( низкого ранга A где U имеет только несколько столбцов, а V только несколько строк) или поиск аппроксимации обратной матрицы A + B , где матрица B можно аппроксимировать матрицей UCV низкого ранга , например, используя разложение по сингулярным значениям .

Это применяется, например, в фильтре Калмана и рекурсивных методах наименьших квадратов для замены параметрического решения , требующего инверсии матрицы размера вектора состояния, решением на основе уравнений условий. В случае фильтра Калмана эта матрица имеет размеры вектора наблюдений, т.е. всего лишь 1 в случае, если одновременно обрабатывается только одно новое наблюдение. Это значительно ускоряет расчеты фильтра, которые зачастую выполняются в реальном времени.

В случае, когда C — единичная матрица I , матрица известна в числовой линейной алгебре и численных уравнениях в частных производных как матрица емкости . [4]

См. также

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

Примечания

[ редактировать ]
  1. ^ Макс А. Вудбери, Инвертирование модифицированных матриц , Memorandum Rept. 42, Группа статистических исследований, Принстонский университет, Принстон, Нью-Джерси, 1950, 4 стр. MR. 38136
  2. ^ Макс А. Вудбери, Стабильность матриц вывода-входа . Чикаго, Иллинойс, 1949. 5 стр. MR . 32564
  3. ^ Гутманн, Луи (1946). «Методы расширения для вычисления обратной матрицы» . Энн. Математика. Статист . 17 (3): 336–343. дои : 10.1214/aoms/1177730946 .
  4. ^ Jump up to: а б Хагер, Уильям В. (1989). «Обновление обратной матрицы». Обзор СИАМ . 31 (2): 221–239. дои : 10.1137/1031049 . JSTOR   2030425 . МР   0997457 .
  5. ^ Хайэм, Николас (2002). Точность и устойчивость численных алгоритмов (2-е изд.). СИАМ . п. 258 . ISBN  978-0-89871-521-7 . МР   1927606 .
  6. ^ «Обсуждение MathOverflow» . MathOverflow .
  7. ^ Jump up to: а б с Хендерсон, ХВ; Сирл, СР (1981). «О получении обратной суммы матриц» (PDF) . Обзор СИАМ . 23 (1): 53–60. дои : 10.1137/1023004 . hdl : 1813/32749 . JSTOR   2029838 .
  8. ^ Курт С. Ридель, «Тождество Шермана-Моррисона-Вудбери для матриц, повышающих ранг с применением к центрированию», SIAM Journal on Matrix Analysis and Applications , 13 (1992)659-662, doi : 10.1137/0613040 препринт MR 1152773
  9. ^ Бернштейн, Деннис С. (2018). Скалярная, векторная и матричная математика: теория, факты и формулы (пересмотренное и расширенное изд.). Принстон: Издательство Принстонского университета. п. 638. ИСБН  9780691151205 .
  10. ^ Шотт, Джеймс Р. (2017). Матричный анализ для статистики (Третье изд.). Хобокен, Нью-Джерси: John Wiley & Sons, Inc., с. 219. ИСБН  9781119092483 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: e795c47a6639f0658e9b578c4ed1f3cb__1719990300
URL1:https://arc.ask3.ru/arc/aa/e7/cb/e795c47a6639f0658e9b578c4ed1f3cb.html
Заголовок, (Title) документа по адресу, URL1:
Woodbury matrix identity - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)