Модуль IV·Статья I·~1 мин чтения

Инвариантные подпространства и жорданова форма

Линейные операторы и жорданова форма

Превратить статью в подкаст

Выберите голоса, формат и длину — AI запишет аудио

Инвариантные подпространства и жорданова форма

Проблема диагонализации

Не всякий оператор диагонализируем. Матрица [[1,1],[0,1]] имеет единственное собственное значение 1 кратности 2, но лишь одну собственную прямую — пространство собственных векторов одномерно. Диагонализация невозможна.

Что можно сделать в этом случае? Привести к почти диагональному — жордановой нормальной форме.

Жорданова клетка и жорданова форма

Жорданова клетка J(λ, k) — матрица k×k вида: λ на диагонали, 1 над диагональю, 0 везде остальное.

J(λ, 1) = (λ) — скаляр. J(λ, 2) = [[λ,1],[0,λ]]. J(λ, 3) = [[λ,1,0],[0,λ,1],[0,0,λ]].

Теорема о жордановой нормальной форме: Для любого линейного оператора A над алгебраически замкнутым полем (например, ℂ) существует базис, в котором A имеет блочно-диагональный вид: J(λ₁,k₁) ⊕ J(λ₂,k₂) ⊕ ... Эта форма единственна с точностью до порядка клеток.

Нильпотентные операторы

Оператор N нильпотентен, если Nᵏ = 0 для некоторого k. Нильпотентный оператор имеет жорданову форму с λ = 0.

Примеры: матрица [[0,1,0],[0,0,1],[0,0,0]] — нильпотентна, N³ = 0.

Общий оператор A = D + N (разложение Данфорда): D диагонализируема (семипростая часть), N нильпотентна, DN = ND.

Минимальный многочлен

Минимальный многочлен μₐ(t) — наименьший степени многочлен такой, что μₐ(A) = 0.

μₐ(t) делит характеристический многочлен pₐ(t). Кратность корня λ в μₐ ≤ его кратности в pₐ.

A диагонализируема ⟺ μₐ не имеет кратных корней.

Вычисление функций от матриц

Жорданова форма позволяет вычислять f(A) для аналитических f. Например, eᴬ = P·eᴶ·P⁻¹, где eᴶ — блочно-диагональна с блоками e^(J(λ,k)).

eᴶ⁽λ'ᵏ⁾ = eλ · [[1,1,1/2!,...,1/(k-1)!],[0,1,1,...],[...],[0,...,0,1]].

Применение: решение систем ОДУ x' = Ax с матричной экспонентой x(t) = eᴬᵗ x(0).

§ Акт · что дальше