Полярное разложение - Polar decomposition
В математика, то полярное разложение квадрата настоящий или же сложный матрица это факторизация формы , куда это унитарная матрица и это положительно-полуопределенный Эрмитова матрица, квадратные и одинакового размера.[1]
Интуитивно, если настоящий матрица интерпретируется как линейное преобразование из -размерный Космос , полярное разложение разбивает его на вращение или же отражение из , а масштабирование пространства вдоль набора ортогональные оси.
Полярное разложение квадратной матрицы всегда существует. Если является обратимый, разложение единственное, а множитель будет положительно определенный. В таком случае, можно записать однозначно в виде , куда унитарен и единственный самосопряженный логарифм матрицы .[2] Это разложение полезно при вычислении фундаментальная группа из (матрица) Группы Ли.[3]
Полярное разложение также можно определить как куда является симметричной положительно определенной матрицей, но в общем случае представляет собой другую матрицу, а та же матрица, что и выше.
Полярное разложение матрицы можно рассматривать как матричный аналог полярная форма из комплексное число в качестве , куда это его абсолютная величина (неотрицательный настоящий номер ), и - комплексное число с единичной нормой (элемент круговая группа ).
Характеристики
Полярное разложение комплексно сопряженный из дан кем-то Обратите внимание, что
дает соответствующее полярное разложение детерминант из А, поскольку и . В частности, если имеет определитель 1, то оба и имеют определитель 1.
Положительно-полуопределенная матрица п всегда уникален, даже если А является единственное число, и обозначается как
куда А* обозначает сопряженный транспонировать из А. Уникальность п гарантирует, что это выражение четко определено. Уникальность гарантируется тем, что является положительно-полуопределенной эрмитовой матрицей и, следовательно, имеет единственный положительно-полуопределенный эрмитов квадратный корень.[4] Если А обратима, то п положительно определена, следовательно, также обратима и матрица U однозначно определяется
Интуитивная интерпретация
Настоящая площадь матрица может быть интерпретирован как линейное преобразование из который принимает вектор-столбец к . Тогда в полярном разложении , фактор является вещественная ортонормированная матрица. Тогда полярное разложение можно рассматривать как выражение линейного преобразования, определяемого формулой в масштабирование пространства вдоль каждого собственного вектора из масштабным коэффициентом (действие ) с последующим однократным вращением или отражением (действие ).
В качестве альтернативы разложение выражает преобразование, определяемое как вращение () с последующим масштабированием () вдоль определенных ортогональных направлений. Коэффициенты масштабирования такие же, но направления разные.
Отношение к СВД
Что касается разложение по сингулярным числам (СВД) из , , надо
куда , , и являются унитарными матрицами (называемыми ортогональными матрицами, если поле является вещественным ). Это подтверждает, что положительно определен и унитарен. Таким образом, существование SVD эквивалентно существованию полярного разложения.
Также можно разложить в виде
Здесь такой же, как и раньше, и дан кем-то
Это называется левым полярным разложением, тогда как предыдущее разложение известно как правое полярное разложение. Левополярное разложение также известно как обратное полярное разложение.
Матрица является нормальный если и только если . потом , и можно диагонализовать с унитарной матрицей подобия что коммутирует с , давая , куда - диагональная унитарная матрица фаз . Положив , тогда можно переписать полярное разложение в виде
так то таким образом также имеет спектральное разложение
с комплексными собственными числами такими, что и унитарная матрица комплексных собственных векторов .
В полярное разложение квадратной обратимой вещественной матрицы имеет форму
куда это положительно определенный матрица и является ортогональной матрицей.
Строительство и доказательства существования
Основная идея построения полярного разложения аналогична той, которая используется для вычисления сингулярное разложение.
Для любого , матрица является эрмитовым и положительно полуопределенным, и поэтому унитарно эквивалентно положительному полуопределенному диагональ матрица. Пусть тогда быть унитарным таким, что , с диагональный и положительный полуопределенный.
В случае если нормальный
Если нормально, то она унитарно эквивалентна диагональной матрице: для какого-то унитарного и некоторая диагональная матрица . Затем мы можем написать
куда - диагональная матрица, содержащая фазы элементов , то есть, или же произвольное комплексное число с единицей величины, когда .
Таким образом, полярное разложение , с и диагональ в собственном базисе и с собственными значениями, равными фазам и модулям собственных значений , соответственно.
В случае если обратимый
От сингулярное разложение, можно показать, что обратима тогда и только тогда, когда (эквивалентно, ) является. Более того, это верно тогда и только тогда, когда собственные значения все не нулевые[5].
В этом случае полярное разложение непосредственно получается записью
и наблюдая, что унитарен. Чтобы убедиться в этом, мы можем использовать спектральное разложение написать .
В этом выражении унитарен, потому что является. Чтобы показать это также унитарен, мы можем использовать СВД написать , так что
где снова унитарен по построению.
Еще один способ прямо показать унитарность следует отметить, что написание СВД из в терминах матриц ранга 1 как , куда - сингулярные значения , у нас есть
откуда прямо следует унитарность потому что матрица унитарна тогда и только тогда, когда ее сингулярные значения имеют унитарное абсолютное значение.
Обратите внимание, как из приведенной выше конструкции следует, что унитарная матрица в полярном разложении обратимой матрицы определяется однозначно.
Общий случай
СВД г. читает , с унитарные матрицы и диагональная положительно полуопределенная матрица. Просто вставив дополнительную пару s или s, получаем две формы полярного разложения :
Ограниченные операторы в гильбертовом пространстве
В полярное разложение любой ограниченный линейный оператор А между сложными Гильбертовы пространства каноническая факторизация как произведение частичная изометрия и неотрицательный оператор.
Полярное разложение для матриц обобщается следующим образом: если А является ограниченным линейным оператором, то существует единственная факторизация А как продукт А = ВВЕРХ куда U частичная изометрия, п неотрицательный самосопряженный оператор и начальное пространство U это закрытие диапазона п.
Оператор U должно быть ослаблено до частичной изометрии, а не унитарной из-за следующих проблем. Если А это односторонний сдвиг на л2(N), то |А| = {А*А}½ = я. Так что если А = U |А|, U должно быть А, который не является унитарным.
Существование полярного разложения является следствием Лемма Дугласа:
- Лемма Если А, B - ограниченные операторы в гильбертовом пространстве ЧАС, и А*А ≤ B*B, то существует сжатие C такой, что A = CB. Более того, C уникален, если Ker(B*) ⊂ Ker(C).
Оператор C можно определить как C (Bh) := Ах для всех час в ЧАС, продолженная непрерывностью до закрытия Ран(B) и нулем в ортогональном дополнении ко всем ЧАС. Лемма следует из того, что А*А ≤ B*B подразумевает Ker(B) ⊂ Ker(А).
Особенно. Если А*А = B*B, тогда C является частичной изометрией, которая уникальна, если Ker(B*) ⊂ Ker(CВ общем случае для любого ограниченного оператора А,
куда (А*А)½ является единственным положительным квадратным корнем из А*А дан обычным функциональное исчисление. Итак, по лемме имеем
для некоторой частичной изометрии U, который уникален, если Ker(А*) ⊂ Ker(U). Брать п быть (А*А)½ и получаем полярное разложение А = ВВЕРХ. Обратите внимание, что аналогичный аргумент может использоваться, чтобы показать A = P'U', куда П' положительный и U' частичная изометрия.
Когда ЧАС конечномерна, U может быть расширен до унитарного оператора; в целом это неверно (см. пример выше). В качестве альтернативы полярное разложение можно показать с помощью операторной версии разложение по сингулярным числам.
В собственности непрерывное функциональное исчисление, | A | находится в C * -алгебра создано А. Аналогичное, но более слабое утверждение справедливо для частичной изометрии: U находится в алгебра фон Неймана создано А. Если А обратима, полярная часть U будет в C * -алгебра также.
Неограниченные операторы
Если А замкнутая плотно определенная неограниченный оператор между комплексными гильбертовыми пространствами, то у него все еще есть (единственный) полярное разложение
где |А| является (возможно, неограниченным) неотрицательным самосопряженным оператором с той же областью определения, что и А, и U является частичной изометрией, исчезающей на ортогональном дополнении диапазона Ран(|А|).
Доказательство использует ту же лемму, что и выше, которая, в общем, проводится для неограниченных операторов. Если Дом(А*А) = Дом(B*B) и А*Ах = B*Bh для всех час ∈ Дом(А*А), то существует частичная изометрия U такой, что А = UB. U уникален, если Ран(B)⊥ ⊂ Ker(U). Оператор А замкнутость и плотное определение гарантирует, что оператор А*А является самосопряженным (с плотной областью) и, следовательно, позволяет определить (А*А)½. Применение леммы дает полярное разложение.
Если неограниченный оператор А является аффилированный к алгебре фон Неймана M, и А = ВВЕРХ - его полярное разложение, то U в M и спектральная проекция п, 1B(п) для любого борелевского множества B в [0, ∞).
Кватернионное полярное разложение
Полярное разложение кватернионы ЧАС зависит от единичной 2-мерной сферы из квадратные корни из минус единицы. Учитывая любые р на этой сфере и угол −π < а ≤ π, то Versor находится на блоке 3-сфера из ЧАС. За а = 0 и а = π, версор равен 1 или −1 независимо от того, какой р выбрано. В норма т кватерниона q это Евклидово расстояние от происхождения до q. Когда кватернион - это не просто действительное число, тогда существует уникальный полярное разложение
Альтернативные планарные разложения
в Декартова плоскость, альтернативный планарный звенеть разложения возникают следующим образом:
- Если Икс ≠ 0, z = Икс(1 + ε (у/Икс)) полярное разложение двойной номер z = Икс + уε, куда ε2 = 0; т.е. ε есть нильпотентный. В этом полярном разложении единичный круг заменен линией Икс = 1, полярный угол склон у / х, а радиус Икс отрицательна в левой полуплоскости.
- Если Икс2 ≠ у2, то гипербола единиц Икс2 − у2 = 1 и его сопряженный Икс2 − у2 = −1 можно использовать для формирования полярного разложения на основе ветви единичной гиперболы через (1, 0). Эта ветвь параметризуется гиперболический угол а и написано
куда j2 = +1 и арифметика[6] из разделенные комплексные числа используется. Ветвь через (−1, 0) отслеживается -еaj. Поскольку операция умножения на j отражает точку на линии у = Икс, вторая гипербола имеет ветви, очерченные jeaj или -jeaj. Следовательно, точка в одном из квадрантов имеет полярное разложение в одной из форм:
Численное определение полярного разложения матрицы
Чтобы вычислить приближение полярного разложения А = ВВЕРХ, обычно унитарный коэффициент U приблизительно.[7][8] Итерация основана на Метод Герона для квадратного корня из 1 и вычисляет, начиная с , последовательность
Комбинация инверсии и сопряжения Эрмита выбрана так, чтобы при разложении по сингулярным числам унитарные множители оставались неизменными, а итерация сводилась к методу Герона по сингулярным значениям.
Эту базовую итерацию можно улучшить, чтобы ускорить процесс:
- На каждом шаге или через равные промежутки времени диапазон сингулярных значений оценивается, а затем матрица масштабируется до центрировать сингулярные значения вокруг 1. Коэффициент масштабирования вычисляется с использованием матричных норм матрицы и ее обратной. Примеры таких масштабных оценок:
используя сумму строк и сумму столбцов матричные нормы или же
с использованием Норма Фробениуса. Включая коэффициент масштабирования, итерация теперь
- В QR-разложение может использоваться на этапе подготовки для уменьшения сингулярной матрицы А в меньшую регулярную матрицу и внутри каждого шага, чтобы ускорить вычисление обратной.
- Метод Герона для вычисления корней могут быть заменены методами более высокого порядка, например на основе Метод Галлея третьего порядка, в результате чего
- Эта итерация снова может быть объединена с изменением масштаба. Эта конкретная формула имеет то преимущество, что она также применима к сингулярным или прямоугольным матрицам. А.
Смотрите также
- Картановское разложение
- Алгебраическое полярное разложение
- Полярное разложение комплексной меры
- Разложение группы Ли
Рекомендации
- ^ Зал 2015 Раздел 2.5
- ^ Зал 2015 Теорема 2.17.
- ^ Зал 2015 Раздел 13.3
- ^ Зал 2015 Лемма 2.18.
- ^ Обратите внимание, как это следует из положительности , что все собственные значения действительны и строго положительны.
- ^ Собчик, Г. (1995) "Гиперболическая числовая плоскость", Журнал математики колледжа 26:268–80
- ^ Хайэм, Николас Дж. (1986). «Вычисление полярного разложения с приложениями». SIAM J. Sci. Стат. Вычислить. Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики. 7 (4): 1160–1174. CiteSeerX 10.1.1.137.7354. Дои:10.1137/0907079. ISSN 0196-5204.
- ^ Байерс, Ральф; Хунго Сюй (2008). «Новый масштаб для итерации Ньютона для полярного разложения и его обратной устойчивости». SIAM J. Matrix Anal. Приложение. Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики. 30 (2): 822–843. CiteSeerX 10.1.1.378.6737. Дои:10.1137/070699895. ISSN 0895-4798.
- Конвей, Дж. Б.: Курс функционального анализа. Тексты для выпускников по математике. Нью-Йорк: Springer 1990
- Дуглас, Р.: О мажоризации, факторизации и включении диапазонов операторов в гильбертовом пространстве. Proc. Амер. Математика. Soc. 17, 413-415 (1966)
- Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение, Тексты для выпускников по математике, 222 (2-е изд.), Springer, ISBN 978-3319134666.
- Хельгасон, Сигурдур (1978), Дифференциальная геометрия, группы Ли и симметрические пространства, Academic Press, ISBN 0-8218-2848-7