Главная – Журналы – Сибирский журнал вычислительной математики 2025 номер 1

Рассматривается задача о рациональных способах проверки конгруэнтности комплексных матриц. При этом рациональными считаются конечные алгоритмы, использующие только арифметические операции. Важную роль в проверке конгруэнтности невырожденных матриц играют их коквадраты. Проверка осложняется, если в спектре коквадратов присутствуют унимодулярные собственные значения, и особенно, если такие собственные значения дефектны. Наиболее продвинутым результатом в этом направлении является рациональный алгоритм для матриц A и B, имеющих коквадратом прямую сумму J_m (1) ⊕ J_m (1) . В данной статье этот алгоритм переносится на случай, когда коквадрат есть прямая сумма двух жордановых клеток различных порядков. Этот перенос существенно опирается на установленные в статье дополнительные факты относительно решений матричного уравнения X - J^Τ_m(1) XJ_m(1) = 0.