WikiDer > Уравнение Сильвестра

Sylvester equation

В математика, в области теория управления, а Уравнение Сильвестра это матрица уравнение формы:^[1]

{displaystyle AX + XB = C.}

Тогда данные матрицы А, B, и C, проблема состоит в том, чтобы найти возможные матрицы Икс которые подчиняются этому уравнению. Предполагается, что все матрицы имеют коэффициенты в сложные числа. Чтобы уравнение имело смысл, матрицы должны иметь соответствующие размеры, например, все они могут быть квадратными матрицами одинакового размера. Но в более общем плане А и B должны быть квадратными матрицами размеров п и м соответственно, а затем Икс и C как есть п ряды и м столбцы.

Уравнение Сильвестра имеет единственное решение для Икс именно тогда, когда нет общих собственных значений А и -BВ общем, уравнение ТОПОР + XB = C рассматривался как уравнение ограниченные операторы на (возможно, бесконечномерном) Банахово пространство. В этом случае условие единственности решения Икс почти то же самое: существует единственное решение Икс именно тогда, когда спектры из А и -B находятся непересекающийся.^[2]

Существование и уникальность решений

С использованием Кронекер продукт обозначения и оператор векторизации ${displaystyle operatorname {vec}}$ , мы можем переписать уравнение Сильвестра в виде

{displaystyle (I_ {m} иногда A + B ^ {T} иногда I_ {n}) имя оператора {vec} X = имя оператора {vec} C,}

куда ${displaystyle A}$ имеет размер ${displaystyle n! imes! n}$ , ${displaystyle B}$ имеет размер ${displaystyle m! imes! m}$ , ${displaystyle X}$ измерения ${displaystyle n! imes! m}$ и ${displaystyle I_ {k}}$ это ${displaystyle k imes k}$ единичная матрица. В таком виде уравнение можно рассматривать как линейная система измерения ${displaystyle mn imes mn}$ .^[3]

Теорема. Данные матрицы ${displaystyle Ain mathbb {C} ^ {n imes n}}$ и ${displaystyle Bin mathbb {C} ^ {mimes m}}$ , уравнение Сильвестра ${displaystyle AX + XB = C}$ имеет уникальное решение ${displaystyle Xin mathbb {C} ^ {n imes m}}$ для любого ${displaystyle Cin mathbb {C} ^ {n imes m}}$ если и только если ${displaystyle A}$ и ${displaystyle -B}$ не имеют собственных значений.

Доказательство. Уравнение ${displaystyle AX + XB = C}$ является линейной системой с ${displaystyle mn}$ неизвестных и столько же уравнений. Следовательно, он однозначно разрешим для любого данного ${displaystyle C}$ тогда и только тогда, когда однородное уравнение ${displaystyle AX + XB = 0}$ допускает только тривиальное решение ${displaystyle 0}$ .

(i) Предположим, что ${displaystyle A}$ и ${displaystyle -B}$ не имеют собственных значений. Позволять ${displaystyle X}$ - решение упомянутого однородного уравнения. потом ${displaystyle AX = X (-B)}$ , который можно поднять до ${displaystyle A ^ {k} X = X (-B) ^ {k}}$ для каждого ${displaystyle kgeq 0}$ по математической индукции. Как следствие, ${displaystyle p (A) X = Xp (-B)}$ для любого полинома ${displaystyle p}$ . В частности, пусть ${displaystyle p}$ - характеристический многочлен ${displaystyle A}$ . потом ${displaystyle p (A) = 0}$ из-за Теорема Кэли-Гамильтона; между тем, теорема о спектральном отображении говорит нам ${displaystyle sigma (p (-B)) = p (sigma (-B)),}$ куда ${displaystyle sigma (cdot)}$ обозначает спектр матрицы. С ${displaystyle A}$ и ${displaystyle -B}$ не имеют собственных значений, ${displaystyle p (sigma (-B))}$ не содержит нуля, а значит ${displaystyle p (-B)}$ неособое. Таким образом ${displaystyle X = 0}$ по желанию. Это доказывает «если» часть теоремы.

(ii) Теперь предположим, что ${displaystyle A}$ и ${displaystyle -B}$ разделять собственное значение ${displaystyle lambda}$ . Позволять ${displaystyle u}$ - соответствующий правый собственный вектор для ${displaystyle A}$ , ${displaystyle v}$ - соответствующий левый собственный вектор для ${displaystyle -B}$ , и ${displaystyle X = u {v} ^ {*}}$ . потом ${displaystyle Xeq 0}$ , и ${displaystyle AX + XB = A (uv ^ {*}) - (uv ^ {*}) (- B) = lambda uv ^ {*} - lambda uv ^ {*} = 0.}$ Следовательно ${displaystyle X}$ является нетривиальным решением вышеупомянутого однородного уравнения, оправдывая часть теоремы «только если». Q.E.D.

В качестве альтернативы теорема о спектральном отображении, неравномерность ${displaystyle p (-B)}$ в части (i) доказательства также может быть продемонстрировано Личность Безу для взаимно простых многочленов. Позволять ${displaystyle q}$ - характеристический многочлен ${displaystyle -B}$ . С ${displaystyle A}$ и ${displaystyle -B}$ не имеют собственных значений, ${displaystyle p}$ и ${displaystyle q}$ взаимно просты. Следовательно, существуют многочлены ${displaystyle f}$ и ${displaystyle g}$ такой, что ${displaystyle p (z) f (z) + q (z) g (z) эквивалент 1}$ . Посредством Теорема Кэли – Гамильтона, ${displaystyle q (-B) = 0}$ . Таким образом ${displaystyle p (-B) f (-B) = I}$ , подразумевая, что ${displaystyle p (-B)}$ несингулярный.

Теорема остается верной, если ${displaystyle mathbb {C}}$ заменяется на ${displaystyle mathbb {R}}$ повсюду. Доказательство части «если» все еще применимо; для части "только если" обратите внимание, что оба ${displaystyle mathrm {Re} (ув ^ {*})}$ и ${displaystyle mathrm {Im} (ув ^ {*})}$ удовлетворяют однородному уравнению ${displaystyle AX + XB = 0}$ , и они не могут быть равны нулю одновременно.

Правило удаления Рота

Учитывая две квадратные комплексные матрицы А и B, размером п и м, а матрица C размера п к м, то можно спросить, когда следующие две квадратные матрицы размера п + м находятся похожий друг другу: ${displaystyle {egin {bmatrix} A&C 0 & Bend {bmatrix}}}$ и ${displaystyle {egin {bmatrix} A & 0 0 & Bend {bmatrix}}}$ . Ответ заключается в том, что эти две матрицы подобны именно тогда, когда существует матрица Икс такой, что ТОПОР − XB = C. Другими словами, Икс является решением уравнения Сильвестра. Это известно как Правило удаления Рота.^[4]

Одно направление легко проверяется: если ТОПОР − XB = C тогда

{displaystyle {egin {bmatrix} I_ {n} & X 0 & I_ {m} end {bmatrix}} {egin {bmatrix} A&C 0 & Bend {bmatrix}} {egin {bmatrix} I_ {n} & - X 0 & I_ {m } end {bmatrix}} = {egin {bmatrix} A & 0 0 & Bend {bmatrix}}.}

Правило удаления Рота не распространяется на бесконечномерные ограниченные операторы в банаховом пространстве.^[5]

Численные решения

Классическим алгоритмом численного решения уравнения Сильвестра является Алгоритм Бартельса – Стюарта, который состоит из преобразования ${displaystyle A}$ и ${displaystyle B}$ в Форма Шура по QR-алгоритм, а затем решая получившуюся треугольную систему с помощью обратная подстановка. Этот алгоритм, вычислительная стоимость которого составляет ${displaystyle {mathcal {O}} (n ^ {3})}$ арифметические операции,^{[нужна цитата]} используется, среди прочего, ЛАПАК и ляп функционировать в GNU Octave.^[6] См. Также Сильвестр функционируют на этом языке.^[7]^[8] В некоторых приложениях для обработки изображений производное уравнение Сильвестра имеет решение в замкнутой форме.^[9]

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

Примечания

^ Это уравнение также обычно записывают в эквивалентной форме ТОПОР − XB = C.
^ Бхатия и Розенталь, 1997 г.
^ Однако переписывать уравнение в этой форме не рекомендуется для численного решения, поскольку эта версия требует больших затрат и может быть плохо воспитанный.
^ Герриш, Ф; Ward, A.G.B (ноябрь 1998 г.). «Матричное уравнение Сильвестра и правило удаления Рота». Математический вестник. 82 (495): 423–430. Дои:10.2307/3619888. JSTOR 3619888.
^ Бхатиа и Розенталь, стр.3
^ "Справочник функций: Ляп".
^ "Функции матрицы (GNU Octave (версия 4.4.1))".
^ В syl команда устарела, так как GNU Octave Version 4.0
^ Wei, Q .; Dobigeon, N .; Турнере, Ж.-Й. (2015). «Быстрое объединение многополосных изображений на основе решения уравнения Сильвестра». IEEE. 24 (11): 4109–4121. arXiv:1502.03121. Bibcode:2015ITIP ... 24,4 · 109 Вт. Дои:10.1109 / TIP.2015.2458572. PMID 26208345.

внешняя ссылка

[1] Это уравнение также обычно записывают в эквивалентной форме ТОПОР − XB = C.

[2] Бхатия и Розенталь, 1997 г.

[3] Однако переписывать уравнение в этой форме не рекомендуется для численного решения, поскольку эта версия требует больших затрат и может быть плохо воспитанный.

[4] Герриш, Ф; Ward, A.G.B (ноябрь 1998 г.). «Матричное уравнение Сильвестра и правило удаления Рота». Математический вестник. 82 (495): 423–430. Дои:10.2307/3619888. JSTOR 3619888.

[5] Бхатиа и Розенталь, стр.3

[6] "Справочник функций: Ляп".

[7] "Функции матрицы (GNU Octave (версия 4.4.1))".

[8] В syl команда устарела, так как GNU Octave Version 4.0

[9] Wei, Q .; Dobigeon, N .; Турнере, Ж.-Й. (2015). «Быстрое объединение многополосных изображений на основе решения уравнения Сильвестра». IEEE. 24 (11): 4109–4121. arXiv:1502.03121. Bibcode:2015ITIP ... 24,4 · 109 Вт. Дои:10.1109 / TIP.2015.2458572. PMID 26208345.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Navigation