Численное определение канонической формы симплектической матрицы

Предлагается алгоритм преобразования вещественной симплектической матрицы с устойчивой структурой в блочно-диагональную, состоящую из трех главных блоков. Два крайних блока одного размера и ассоциированы соответственно с собственными значениями, лежащими вне и внутри единичного круга. Кроме того, эти собственные значения симметричны относительно единичной окружности. Центральный блок состоит из нескольких диагональных блоков, собственные значения которых находятся в единичном круге и удовлетворяют модифицированному критерию Крейна-Гельфанда-Лидского. Предложенный алгоритм дает также качественный критерий структурной устойчивости.