Discrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational ScienceDiscrete and Continuous Models and Applied Computational Science2658-46702658-7149Peoples' Friendship University of Russia named after Patrice Lumumba (RUDN University)8227ArticlesСтатьиResearch ArticleOn Integrals of Ordinary Differential Equations Systems which are Representable in Finite TermsОб интегралах систем обыкновенных дифференциальных уравнений, представимых в конечном видеMalykhM DМалыхМихаил ДмитриевичFaculty of Materials Sciences; Department of Applied Informatics and Probability Theory Peoples’ Friendship University of Russia 6, Miklukho-Maklaya str., Moscow, Russian Federation, 117198Факультет наук о материалах; Кафедра прикладной информатики и теории вероятностей Российский университет дружбы народов ул. Миклухо-Маклая, д.6, Москва, Россия, 117198malykhmd@yandex.ruLomonosov Moscow State UniversityМосковский государственный университет им. М.В. Ломоносова150320143NO3 (2014)№3 (2014)111608092016Copyright ©; 2014, Малых М.Д.2014Малых М.Д.http://creativecommons.org/licenses/by/4.0https://journals.rudn.ru/miph/article/view/8227Existing theories on resolvability of nonlinear differential equations systems in a finite terms are generalization of Galois theory and for this reason the list of elementary operations is subject of the contract. In the Stockholm lectures (1897) Painleve gave on the example of the equations of the 1st and 2nd order property which is common for all equations, solvable in elementary, special and abelian functions: the general solutions of these equations depend on integration constants algebraically. Thus, if we record algebraic properties of the common decision, we can allocate a class of all-usable transcendental functions. This statement can be inscribed in a circle of the theory of Galois, i.e. we can construct the theory for the differential equations without fixing of this list. We consider an arbitrary system of ordinary differential equations g1(x1,. . ., x'1)=0,..., here g1,... are polynomials from x1,x'1 ... , which coefficients lie in a field k of functions of a variable t, for example in k = C(t). This system has solutions in an algebraically closed field K, for example in the field of Puiseux series. We will assume that ideal p =(f1,...) of ring K[x1,... ] is simple and that there is a differentiation D of the ring the rational functions on affine variety V (p/K), which kernel is a field of integrals of the system. Coefficients of integrals generate a field over k. We will designate its transcendence degree as r and prove that there are r-parametrical group of automorphisms for the field of integrals. This theorem will be used for calculation of integrals of these equations.Существующие теории разрешимости систем нелинейных дифференциальных уравнений в конечном виде представляют собой обобщения теории Галуа и по этой причине список элементарных операций в этих теория считается предметом договора. В своих Стокгольмских лекциях (1897) Пенлеве на примере уравнений 1-го и 2-го порядка указал свойство, общее всем уравнениям, разрешимым в элементарных, специальных и абелевых функциях: общее решения этих уравнений зависят от констант интегрирования алгебраически. Тем самым зафиксировав алгебраические свойства общего решения, можно выделить класс общеупотребимых трансцендентных функций. Это утверждение можно вписать в круг идей теории Галуа, тем самым построив для дифференциальных уравнений теорию и без фиксации этого списка. Рассмотрим произвольную систему g1(x1,. . ., x˙1,... )=0,..., где g1,... - многочлены от x1,x'1 ... , коэффициенты которых лежат в поле k функций переменной t, напр., k = C(t). Эта система имеет решения в алгебраически замкнутом поле K, напр., в поле рядов Пюизё. Будем предполагать, что идеал p =(f1,... ) кольца K[x1,... ] прост и что существует дифференцирование D кольца рациональных функций на многообразии V (p/K), ядром которого является поле интегралов системы. Обозначим его степень трансцендентности как r и докажем, что существует r-параметрическая группа автоморфизмов поля интегралов. Эта теорема будет использована для вычисления интегралов системы дифференциальных уравнений.Galois theoryintegration in finite termsabelian integralsRiccati equationтеория Галуаинтегрирование в конечном видеабелевы интегралыуравнение Риккати1.Borwein J.M., Crandall R.E. Closed Forms: What They Are and Why We Care // Notices of the AMS. 2013. Vol. 60, No 1. Pp. 50-65.2.Painlev´e P. Le¸cons sur la theorie analytique des equations differentielles. Paris, 1897. Reprinted in the first volume of Penleve’s work, 1971.3.Painlev´e P. Memoire sur les equations differentielles du primier ordre // Annales scientifiques de l’´ E.N.S., 3e s´erie. 1890. Т. 8. С. 9-58. Reprinted in the2nd volume of Penleve’s work, 1974, pag. 237-461.4.Голубев В.В. Лекции по аналитической теории дифференциальных уравнений. М.-Л.: ГИТТЛ, 1950.5.Кудряшов Н.А. Аналитическая теория нелинейных дифференциальных уравнений. М.: Наука, 2002.6.Трансценденты Пенлеве. Метод задачи Римана / А.Р. Итс, А.А. Капаев, В.Ю. Новокшенов, А.С. Фокас. Москва-Ижевск: R & C, 2005.7.Соболевский С.Л. Подвижные особые точки решений обыкновенных дифференциальных уравнений. Минск: БГУ, 2006.8.Singer M.F. Liouvillian First Integral of Differential Equations // Transactions of the American Mathematical Society. 1992. Vol. 333, No 2. Pp. 673-688.9.Casale G. Liouvillian First Integrals of Differential Equations // Banach Center Publ. 2011. Vol. 94. Pp. 153-161.10.Боголюбов А.Н., Малых М.Д. Трансцендентные функции, вводимые интегрированием дифференциальных уравнений // Динамика сложных систем - XXI век. 2010. № 3. С. 35-38.11.Ritt J.F. Integration in Finite Terms. N.-Y., 1949.12.Чеборарев Н.Г. Теория алгебраических функций. М.: УРСС, 2013.13.Castelnuovo G., Enriques F. Die algebraischen Fl¨achen vom Gesichtspunkte der birationalen Transformationen aus // Encyklop¨adie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen. 1903-1932. Bd. III.2.