The Method of Finding Algebraic Integral for First-order Differential Equations

Article is devoted to search of algebraic integrals of the ordinary differential equations in the systems of computer algebra. The main attention is paid to development of practical instructions for work with an original package for Sage called in honor of M. N. Lagutinski. At the beginning of article Beaune’s problem is formulated: for a given differential equation, we need to identify whether it is in the form of rational integral, and if the answer is true, we need to quadrature it. The difficulties of finding the upper bound of the integral order and its value for solving differential equations practically are discussed, bounded Beaune’s problem is formulated. Our work is based on the method of M. N. Lagutinski. The theory and its realization are tested on the problems from Text-Book on Differential Equations by A. F. Filippov. The numerical experiments, which were carried out, show that the method makes it possible to identify the existence of the rational integral without taking much resources and time. However, using the method to calculate integrals is very time-consuming. In conclusion, recommendations on the optimal use of the method of Lagutinski are given. All calculations are executed in the computer algebra system Sage.