Жорданова нормальная форма: анатомия недиагонализуемых матриц

Мы знаем, что многие квадратные матрицы можно привести к диагональному виду, что радикально упрощает вычисление их степеней и экспонент. Однако в линейной алгебре существует целый класс матриц, для которых диагонализация принципиально невозможна из-за нехватки линейно независимых собственных векторов. Такие матрицы называются дефектными. Для них французский математик Камиль Жордан разработал канонический вид, который является максимально близким к диагональному — Жорданову нормальную форму. Изучение жордановых форм позволяет решать сложные системы линейных дифференциальных уравнений с кратными корнями характеристического уравнения и глубоко понимать резонансные явления в динамических системах.

Алгебраическая и геометрическая кратность

Ключ к пониманию дефектных матриц лежит в различии двух типов кратностей собственных значений. Характеристический полином матрицы может иметь кратные корни. Число раз, которое корень встречается в полиноме, называется алгебраической кратностью собственного значения. В то же время каждому собственному значению соответствует собственное подпространство, состоящее из собственных векторов. Размерность этого подпространства называется геометрической кратностью. Главная теорема гласит: геометрическая кратность никогда не может превышать алгебраическую. Если для какого-то собственного значения геометрическая кратность строго меньше алгебраической, матрица не может быть приведена к диагональному виду, и нам требуется Жорданова форма.

Структура Жордановой клетки

Жорданова нормальная форма матрицы представляет собой блочно-диагональную матрицу, состоящую из так называемых жордановых клеток. Жорданова клетка (или блок) — это квадратная матрица, у которой на главной диагонали стоит одно и то же собственное значение, на диагонали непосредственно над главной (наддиагонали) стоят сплошные единицы, а все остальные элементы равны нулю. Одна клетка соответствует одному собственному вектору. Если собственное значение имеет алгебраическую кратность k, но только один собственный вектор (геометрическая кратность 1), то ему будет соответствовать ровно одна жорданова клетка размера k на k. Наличие единиц над диагональю как раз и отражает «дефектность» матрицы.

Присоединенные векторы и корневые подпространства

Так как собственных векторов не хватает для образования базиса всего пространства, базис дополняется так называемыми присоединенными векторами. Если собственный вектор v обнуляется оператором (A - lambda*I)v = 0, то первый присоединенный вектор v1 обнуляется только в квадрате этого оператора: (A - lambda*I)^2 v1 = 0, при этом (A - lambda*I)v1 = v. Выстраивается цепочка (или серия) векторов, которая генерируется одним собственным вектором. Множество всех собственных и присоединенных векторов, отвечающих одному собственному значению, образует корневое подпространство. Вся матрица пространства расщепляется в прямую сумму таких независимых инвариантных корневых подпространств.

Практическое применение и устойчивость

Вычисление Жордановой формы вручную — процесс весьма трудоемкий и требует безупречного владения алгоритмами линейной алгебры. Более того, с вычислительной точки зрения Жорданова форма является крайне неустойчивой. Малейшее изменение (ошибка округления) в элементах дефектной матрицы может мгновенно превратить ее в диагонализуемую (с очень близкими, но разными собственными значениями) или изменить структуру клеток. Поэтому в численных методах компьютерной математики чистую форму Жордана почти не используют, заменяя ее разложением Шура. Однако в теоретической физике (например, в квантовой теории поля) и теории управления Жорданова форма незаменима для точного аналитического решения матричных дифференциальных уравнений вида x' = Ax.

Оценить