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

Статья посвящена отысканию алгебраических интегралов обыкновенных дифференциальных уравнений в системах компьютерной алгебры, основной акцент сделан на выработку практических указаний по работе с оригинальным пакетом Lagutinski for Sage. В начале статьи формулируется задача Дебона: для заданного дифференциального уравнения pdx + qdy = 0, где p, q - многочлены из кольца [x,y], выяснить, имеет ли оно рациональный интеграл, и в случае утвердительного ответа предъявить этот интеграл. Обсуждена проблема отыскания верхней грани для порядка интеграла и её значение для решения дифференциальных уравнений на практике, сформулирована ограниченная задача Дебона. В основу решения задачи положен метод М. Н. Лагутинского и его реализация в системе компьютерной алгебры Sage. Теория и её реализация протестированы на примерах из задачника А. Ф. Филиппова. Проделанные численные эксперименты свидетельствуют, что метода позволяет на практике без особых затрат ресурсов и времени идентифицировать наличие рационального интеграла, однако является весьма затратной как метод вычисления этого интеграла. В заключении даны рекомендации по оптимальному использованию метода М. Н. Лагутинского. Все вычисления выполнены в системе компьютерной алгебры Sage.