Квадратичные формы и их приведение к каноническому виду

Симметричные матрицы квадратичных форм

Любую квадратичную форму можно компактно и изящно записать на матричном языке. В самом центре этой записи будет находиться симметричная квадратная матрица (такая, элементы которой симметричны относительно главной диагонали). Выражение квадратичной формы выглядит как произведение: вектор-строка умножается на эту матрицу, а затем результат умножается на вектор-столбец тех же переменных (X^T * A * X). Взаимно-однозначное соответствие между квадратичными формами и симметричными матрицами позволяет изучать геометрические свойства кривых и поверхностей с помощью мощного арсенала матричной алгебры, исследуя определители и собственные значения.

Канонический вид квадратичной формы

В общем виде уравнение квадратичной формы содержит перекрестные произведения переменных (например, x*y или y*z), что делает анализ поверхности крайне сложным. Главная задача алгебры квадратичных форм — найти такую замену координат (переход к новому базису), при которой все перекрестные произведения исчезнут. В таком новом базисе форма будет состоять только из квадратов переменных с некоторыми коэффициентами. Этот упрощенный вид называется каноническим видом. Геометрически это означает, что мы поворачиваем и искажаем систему координат так, чтобы ее оси совпали с главными осями симметрии исследуемой геометрической фигуры.

Методы Лагранжа и ортогональных преобразований

Существует несколько алгоритмов приведения квадратичной формы к каноническому виду. Метод Лагранжа заключается в последовательном выделении полных квадратов — это алгебраический, очень быстрый ручной метод, который меняет базис неортогонально (искажает углы и длины). Однако для реальных задач физики и геометрии гораздо важнее метод ортогональных преобразований. Любую симметричную матрицу можно диагонализовать с помощью ортогональной матрицы. Это означает, что можно избавиться от перекрестных членов исключительно за счет жесткого вращения системы координат, не искажая пропорций объекта. Коэффициенты при квадратах в таком случае будут являться собственными значениями исходной матрицы.

Знакоопределенность и критерий Сильвестра

В задачах оптимизации критически важно знать, может ли квадратичная форма принимать отрицательные значения. Форма называется положительно определенной, если для любых ненулевых переменных она строго больше нуля (ее график представляет собой многомерную чашу, направленную вверх). Форма отрицательно определена, если она всегда меньше нуля. Выяснить это помогает знаменитый критерий Сильвестра. Он утверждает, что форма положительно определена тогда и только тогда, когда все главные угловые миноры (определители подматриц, начинающихся с левого верхнего угла) ее матрицы строго положительны. Этот критерий повсеместно применяется при проверке достаточных условий экстремума функций многих переменных.