Алгоритмическая линеаризация обыкновенных дифференциальных уравнений – новый подход

Задача проверки линеаризуемости нелинейных ОДУ состоит в выяснении: существует ли обратимое преобразование искомой функции и ее аргумента к новым переменным, причем такого, что преобразованное уравнение становится линейным. Найти решение линейного уравнения несравненно проще. Если такое преобразование существует и если его удастся найти, то решение полученного линейного уравнения можно преобразовать в решение уравнения исходного. Много десятилетий задача по проверке линеаризуемости обыкновенных дифференциальных уравнений выше четвертого порядка оставалась нерешенной.

Алгоритмическое решение задачи проверки линеаризуемости, а в случае положительного результата проверки, и построения линеаризующего преобразования с программной реализацией на языке Maple было впервые получено директором научного центра вычислительных методов в прикладной математике РУДН Владимиром Гердтом и его коллегами.

Подробнее о новом решении рассказал доктор физико-математических наук, сотрудник РУДН Владимир Гердт.

Вы предлагаете два принципиально новых алгоритма линеаризуемости нелинейных ОДУ. Как они работают?

Да, оба алгоритма — принципиально новые. До нашей работы вообще не было разработано алгоритмов, которые для достаточно широкого круга нелинейных ОДУ отвечают на вопрос о линеаризуемости таких уравнений обратимыми точечными преобразованиями, то есть преобразованиями зависимой и независимой переменных.

Алгоритмы взаимосвязаны между собой? Их нужно применять последовательно?

Алгоритмы различны по своей математической природе. Первый — основан на групповом анализе исходного уравнения и является вычислительно быстрым. Он отвечает только на вопрос, существует ли линеаризующее преобразование. Однако алгоритм не позволяет находить такое преобразование, даже если оно существует.

Второй алгоритм более затратен по требуемым вычислениям, но при этом не только отвечает на указанный вопрос, но и строит уравнения на линеаризующее преобразование.

На практике лучше всего сначала применить первый алгоритм, и, если он покажет существование линеаризующего преобразования, применить второй алгоритм, чтобы его найти.

Как мы можем обозначить область практического применения результатов исследования? Где они могут быть использованы?

Эти алгоритмы могут быть использованы в любых научных и технических задачах, где возникает необходимость решения нелинейного ОДУ, в левой части которого стоит старшая производная (второго порядка и выше), а в правой — рациональное выражение (отношение многочленов) по младшим производным от неизвестной функции, включая саму эту функцию.

Ваша работа 2017 года получила награды высокого уровня: приз лучшей работы на крупнейшем мировом форуме по символьным и алгебраическим вычислениям (Кайзерслаутерн, Германия) и приз ISSAC Distinguished Paper Award by ACM SIGSAM. Поделитесь, пожалуйста, секретом успеха. Дело в новаторском подходе?

Наша работа произвела сильное впечатление на международное сообщество, поскольку впервые решенная нами задача была поставлена еще в 1883 году выдающимся математиком новежцем Софусом Ли. Конечно же, подход был новаторским, а второй из алгоритмов, который не только проверяет существование линеаризующего преобразования, но и строит его, основан на новом и полностью алгоритмическом методе дифференциальной декомпозиции Томаса. Это наиболее универсальный алгебраический метод исследования и решения систем полиномиально-нелинейных систем дифференциальных уравнений в частных производных. А именно такая система дифференциальных уравнений определяет линеаризующее преобразование.

Статьи Владимира Гердта:

• V.P.Gerdt, D.A.Lyakhov, D.L.Michels (both KAUST, Thuwal, Kingdom of Saudi Arabia). Proceedings of ISSAC 2017, ACM Press, 2017, PP.285-292
• D.A. Lyakhov, V.P. Gerdt, D.L. Michels. On the algorithmic linearizability of nonlinear ordinary differential equations, Journal of Symbolic Computation, V. 98, 2020, PP. 3-22)