Замечание об алгоритме точной факторизации для матричных многочленов

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