Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms

It is known, due to Mordukhai-Boltovski, Ritt, Prelle, Singer, Christopher and others, that if a given rational ODE has a Liouvillian first integral then the corresponding integrating factor of the ODE must be of a very special form of a product of powers and exponents of irreducible polynomials. Th...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Symmetry, Integrability and Geometry: Methods and Applications
Datum:2006
1. Verfasser: Kosovtsov, Y.N.
Format: Artikel
Sprache:English
Veröffentlicht: Інститут математики НАН України 2006
Online Zugang:https://nasplib.isofts.kiev.ua/handle/123456789/146113
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms / Y.N. Kosovtsov // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 22 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-146113
record_format dspace
spelling Kosovtsov, Y.N.
2019-02-07T13:44:52Z
2019-02-07T13:44:52Z
2006
Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms / Y.N. Kosovtsov // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 22 назв. — англ.
1815-0659
2000 Mathematics Subject Classification: 34A05; 34A34; 34A35
https://nasplib.isofts.kiev.ua/handle/123456789/146113
It is known, due to Mordukhai-Boltovski, Ritt, Prelle, Singer, Christopher and others, that if a given rational ODE has a Liouvillian first integral then the corresponding integrating factor of the ODE must be of a very special form of a product of powers and exponents of irreducible polynomials. These results lead to a partial algorithm for finding Liouvillian first integrals. However, there are two main complications on the way to obtaining polynomials in the integrating factor form. First of all, one has to find an upper bound for the degrees of the polynomials in the product above, an unsolved problem, and then the set of coefficients for each of the polynomials by the computationally-intensive method of undetermined parameters. As a result, this approach was implemented in CAS only for first and relatively simple second order ODEs. We propose an algebraic method for finding polynomials of the integrating factors for rational ODEs of any order, based on examination of the resultants of the polynomials in the numerator and the denominator of the right-hand side of such equation. If both the numerator and the denominator of the right-hand side of such ODE are not constants, the method can determine in finite terms an explicit expression of an integrating factor if the ODE permits integrating factors of the above mentioned form and then the Liouvillian first integral. The tests of this procedure based on the proposed method, implemented in Maple in the case of rational integrating factors, confirm the consistence and efficiency of the method.
I would like to thank the referees for extensive comments and suggestions regarding of earlier versions of this paper and Reece Heineke for a careful reading of the paper.
en
Інститут математики НАН України
Symmetry, Integrability and Geometry: Methods and Applications
Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
spellingShingle Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
Kosovtsov, Y.N.
title_short Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
title_full Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
title_fullStr Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
title_full_unstemmed Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms
title_sort finding liouvillian first integrals of rational odes of any order in finite terms
author Kosovtsov, Y.N.
author_facet Kosovtsov, Y.N.
publishDate 2006
language English
container_title Symmetry, Integrability and Geometry: Methods and Applications
publisher Інститут математики НАН України
format Article
description It is known, due to Mordukhai-Boltovski, Ritt, Prelle, Singer, Christopher and others, that if a given rational ODE has a Liouvillian first integral then the corresponding integrating factor of the ODE must be of a very special form of a product of powers and exponents of irreducible polynomials. These results lead to a partial algorithm for finding Liouvillian first integrals. However, there are two main complications on the way to obtaining polynomials in the integrating factor form. First of all, one has to find an upper bound for the degrees of the polynomials in the product above, an unsolved problem, and then the set of coefficients for each of the polynomials by the computationally-intensive method of undetermined parameters. As a result, this approach was implemented in CAS only for first and relatively simple second order ODEs. We propose an algebraic method for finding polynomials of the integrating factors for rational ODEs of any order, based on examination of the resultants of the polynomials in the numerator and the denominator of the right-hand side of such equation. If both the numerator and the denominator of the right-hand side of such ODE are not constants, the method can determine in finite terms an explicit expression of an integrating factor if the ODE permits integrating factors of the above mentioned form and then the Liouvillian first integral. The tests of this procedure based on the proposed method, implemented in Maple in the case of rational integrating factors, confirm the consistence and efficiency of the method.
issn 1815-0659
url https://nasplib.isofts.kiev.ua/handle/123456789/146113
citation_txt Finding Liouvillian First Integrals of Rational ODEs of Any Order in Finite Terms / Y.N. Kosovtsov // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 22 назв. — англ.
work_keys_str_mv AT kosovtsovyn findingliouvillianfirstintegralsofrationalodesofanyorderinfiniteterms
first_indexed 2025-12-01T15:53:09Z
last_indexed 2025-12-01T15:53:09Z
_version_ 1850860617574907904