Полярное разложение - 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. Следовательно, точка в одном из квадрантов имеет полярное разложение в одной из форм:

    Набор {1, −1, j, −j} есть продукты, которые делают его изоморфным Кляйн четыре группы. Очевидно, в полярном разложении в данном случае участвует элемент из этой группы.

Численное определение полярного разложения матрицы

Чтобы вычислить приближение полярного разложения А = ВВЕРХ, обычно унитарный коэффициент U приблизительно.[7][8] Итерация основана на Метод Герона для квадратного корня из 1 и вычисляет, начиная с , последовательность

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

Эту базовую итерацию можно улучшить, чтобы ускорить процесс:

  • На каждом шаге или через равные промежутки времени диапазон сингулярных значений оценивается, а затем матрица масштабируется до центрировать сингулярные значения вокруг 1. Коэффициент масштабирования вычисляется с использованием матричных норм матрицы и ее обратной. Примеры таких масштабных оценок:

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

    с использованием Норма Фробениуса. Включая коэффициент масштабирования, итерация теперь

  • В QR-разложение может использоваться на этапе подготовки для уменьшения сингулярной матрицы А в меньшую регулярную матрицу и внутри каждого шага, чтобы ускорить вычисление обратной.
  • Метод Герона для вычисления корней могут быть заменены методами более высокого порядка, например на основе Метод Галлея третьего порядка, в результате чего
    Эта итерация снова может быть объединена с изменением масштаба. Эта конкретная формула имеет то преимущество, что она также применима к сингулярным или прямоугольным матрицам. А.

Смотрите также

Рекомендации

  1. ^ Зал 2015 Раздел 2.5
  2. ^ Зал 2015 Теорема 2.17.
  3. ^ Зал 2015 Раздел 13.3
  4. ^ Зал 2015 Лемма 2.18.
  5. ^ Обратите внимание, как это следует из положительности , что все собственные значения действительны и строго положительны.
  6. ^ Собчик, Г. (1995) "Гиперболическая числовая плоскость", Журнал математики колледжа 26:268–80
  7. ^ Хайэм, Николас Дж. (1986). «Вычисление полярного разложения с приложениями». SIAM J. Sci. Стат. Вычислить. Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики. 7 (4): 1160–1174. CiteSeerX  10.1.1.137.7354. Дои:10.1137/0907079. ISSN  0196-5204.
  8. ^ Байерс, Ральф; Хунго Сюй (2008). «Новый масштаб для итерации Ньютона для полярного разложения и его обратной устойчивости». SIAM J. Matrix Anal. Приложение. Филадельфия, Пенсильвания, США: Общество промышленной и прикладной математики. 30 (2): 822–843. CiteSeerX  10.1.1.378.6737. Дои:10.1137/070699895. ISSN  0895-4798.