Спектральная теорема для симметричных матриц: геометрия и физика

Вещественность спектра и ортогональность векторов

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

Ортогональная диагонализация матрицы

Из двух первых свойств вытекает главное следствие спектральной теоремы: любую вещественную симметричную матрицу A можно диагонализовать с помощью ортогональной матрицы. В матричном виде это записывается как A = Q * D * Q^T, где D — диагональная матрица, содержащая на главной диагонали собственные значения, а Q — ортогональная матрица, столбцами которой являются нормированные (единичной длины) собственные векторы матрицы A. Поскольку для ортогональной матрицы обратная матрица совпадает с транспонированной (Q^(-1) = Q^T), вычисление обратной матрицы не требует никаких вычислительных затрат. Геометрически это означает, что действие любой симметричной матрицы можно представить как жесткий поворот системы координат (Q^T), затем независимое растяжение осей (D) и обратный поворот (Q).

Спектральное разложение (Спектральная резольвента)

Формулу A = Q * D * Q^T можно переписать в иной, невероятно глубокой алгебраической форме, называемой спектральным разложением. Матрицу A можно представить как сумму матриц ранга 1: A = lambda_1 * P_1 + lambda_2 * P_2 + ... + lambda_n * P_n. Здесь lambda_i — это собственные значения, а P_i — это матрицы ортогонального проектирования на соответствующие собственные векторы (вычисляемые как внешнее произведение q_i * q_i^T). Это разложение показывает, что исходный сложный линейный оператор «собирается» из независимых, непересекающихся проекторов. Если мы захотим возвести матрицу A в миллионную степень или взять от нее матричную экспоненту, нам достаточно будет просто возвести в эту степень или проэкспоненцировать только числа lambda_i, оставив матрицы проекторов P_i без изменений.

Физический смысл: главные оси тензоров

В теоретической механике спектральная теорема известна как теорема о приведении тензора к главным осям. Например, тензор инерции несимметричного вращающегося тела (скажем, картофелины) описывается симметричной матрицей 3x3. Согласно теореме, внутри этой картофелины всегда можно найти три взаимно перпендикулярные оси (главные оси инерции), проходящие через центр масс. Если мы заставим тело вращаться вокруг любой из этих осей, оно будет вращаться идеально ровно, без биений, так как центробежные силы будут уравновешены. Моменты инерции относительно этих главных осей — это в точности собственные значения матрицы инерции. Аналогично в теории упругости всегда существуют три главные оси напряжений, вдоль которых материал испытывает только чистое растяжение или сжатие, без деформаций сдвига.