Поиск семейств периодических решений обыкновенных дифференциальных уравнений с помощью метода нормальной формы. Часть 1

В настоящей работе кратко обсуждается применение метода резонансной нормальной формы к поиску семейств периодических решений автономных систем обыкновенных дифференциальных уравнений, разрешённых относительно производных и с полиномиальными нелинейностями в правых частях. При использовании сформулированного проф. А.Д. Брюно достаточном условии сходимости нормализующего преобразования, находятся локальные семейства периодических решений систем таких ОДУ в окрестностях стационарных точек. При этом в едином подходе исследуются как гамильтоновы, так и не гамильтоновы системы. По соображениям объёма статья разбита на две части. В первой части описан алгоритм реализации метода нормальных форм. Отдельно кратко описаны созданные авторами программные пакеты. На языке RLISP разработан пакет для работы в системе REDUCE, а для работы с системой MATHEMATICA написан пакет на внешнем языке этой системы. Пакеты позволяют, в частности, получать формулы, описывающие локальные (содержащие неподвижную точку) семейства периодических решений. Результаты вычислений представляются в виде отрезков рядов Фурье заданной длины с частотой и коэффициентами, вычисленными в виде отрезков степенных рядов по параметру. Такое представление соответствует частному случаю отрезков рядов Пуассона. Важно, что при помощи единого алгоритма возможно изучать как двумерные, так и системы высоких порядков. Вторая часть статьи посвящена системам четвёртого порядка. Сравнение табуляции полученных формул с численными решениями соответствующих уравнений показывает хорошее количественное согласие. Описываемый подход может быть использован при моделировании физических и биологических систем.

резонансная нормальная форма, динамические системы, локальные периодические семейства решений, компьютерная алгебра