Рассматривается линейная система
, матрица
положительно определена, обе матрицы
симметричны и не зависят от времени. Эта система Лагранжева с лагранжианом
.
Система, очевидно эквивалентна следующей
. Матрицы
это матрицы квадратичных форм, матрица
это матрица линейного оператора: у формы
подняли индекс с помощью метрики
.
Ищутся собственные векторы и собственные числа оператора
или, по свойствам определеителя, последнее равенство эквивалентно
.
Собственные векторы оператора
образуют базис, ортогональный в смысле метрики
. Если еще этот базис отнормировать, то в нем
и матрица
-- диагональна.
Эквивалентно, можно выбрать ортонормированный в смысле
базис, а потом ортогональной заменой перейти в базис, в котором форма
диагональна.
-- Вс авг 24, 2014 11:36:02 --возводить матрицы в степень 1/2 не требуется