Матричное тождество Вудбери
В математике (в частности , в линейной алгебре ) матричное тождество Вудбери , названное в честь Макса А. Вудбери , [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]
где можно записать как потому что любая положительная полуопределенная матрица равна для некоторых .
Выводы
[ редактировать ]Прямое доказательство
[ редактировать ]Формулу можно доказать, проверив, что умноженное на предполагаемое обратное в правой части тождества Вудбери, получим тождественную матрицу:
Альтернативные доказательства
[ редактировать ]Алгебраическое доказательство |
---|
Вывод посредством блочного исключения |
---|
Вывод из разложения LDU |
---|
Приложения
[ редактировать ]Это тождество полезно в некоторых численных вычислениях, где 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]
См. также
[ редактировать ]- Формула Шермана-Моррисона
- дополнение Шура
- Лемма об определителе матрицы , формула обновления ранга k до определителя
- Обратимая матрица
- Псевдообратная обратная задача Мура – Пенроуза § Обновление псевдообратной
Примечания
[ редактировать ]- ^ Макс А. Вудбери, Инвертирование модифицированных матриц , Memorandum Rept. 42, Группа статистических исследований, Принстонский университет, Принстон, Нью-Джерси, 1950, 4 стр. MR. 38136
- ^ Макс А. Вудбери, Стабильность матриц вывода-входа . Чикаго, Иллинойс, 1949. 5 стр. MR . 32564
- ^ Гутманн, Луи (1946). «Методы расширения для вычисления обратной матрицы» . Энн. Математика. Статист . 17 (3): 336–343. дои : 10.1214/aoms/1177730946 .
- ^ Jump up to: а б Хагер, Уильям В. (1989). «Обновление обратной матрицы». Обзор СИАМ . 31 (2): 221–239. дои : 10.1137/1031049 . JSTOR 2030425 . МР 0997457 .
- ^ Хайэм, Николас (2002). Точность и устойчивость численных алгоритмов (2-е изд.). СИАМ . п. 258 . ISBN 978-0-89871-521-7 . МР 1927606 .
- ^ «Обсуждение MathOverflow» . MathOverflow .
- ^ Jump up to: а б с Хендерсон, ХВ; Сирл, СР (1981). «О получении обратной суммы матриц» (PDF) . Обзор СИАМ . 23 (1): 53–60. дои : 10.1137/1023004 . hdl : 1813/32749 . JSTOR 2029838 .
- ^ Курт С. Ридель, «Тождество Шермана-Моррисона-Вудбери для матриц, повышающих ранг с применением к центрированию», SIAM Journal on Matrix Analysis and Applications , 13 (1992)659-662, doi : 10.1137/0613040 препринт MR 1152773
- ^ Бернштейн, Деннис С. (2018). Скалярная, векторная и матричная математика: теория, факты и формулы (пересмотренное и расширенное изд.). Принстон: Издательство Принстонского университета. п. 638. ИСБН 9780691151205 .
- ^ Шотт, Джеймс Р. (2017). Матричный анализ для статистики (Третье изд.). Хобокен, Нью-Джерси: John Wiley & Sons, Inc., с. 219. ИСБН 9781119092483 .
- Пресс, WH; Теукольский, С.А.; Феттерлинг, WT; Фланнери, BP (2007), «Раздел 2.7.3. Формула Вудбери» , Численные рецепты: искусство научных вычислений (3-е изд.), Нью-Йорк: Cambridge University Press, ISBN 978-0-521-88068-8