A general investigation of integration in finite form of differential equations of the first order article 1

Mordukhai-Boltovskoi, D.; Korenblum, Boris; Prelle, M. J.

doi:10.1145/1089257.1089261

Cited by 2 publications

(3 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Their result unifies and generalizes a number of results originally due to Mordukhai-Boltovski [4], Ritt [5] and others. Singer in [6] refines this result for ODEs, which possess Liouvillian first integral.…”

Section: The Prelle-singer Methodssupporting

confidence: 83%

“…In 1983, Prelle and Singer [3] proved the essential theorem that all first order ODEs, which possess elementary first integrals, have an integrating factor of the above mentioned form i P a i i . Their result unifies and generalizes a number of results originally due to Mordukhai-Boltovski [4], Ritt [5] and others. Singer in [6] refines this result for ODEs, which possess Liouvillian first integral.…”

supporting

confidence: 83%

“…We conclude that the integrating factor of ODE ( 1) is µ = ∂ζ ∂y n−1 , where the function ζ is a first integral, a solution of the linear first-order PDE (4).…”

mentioning

confidence: 85%

See 2 more Smart Citations

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

Kosovtsov¹

2006

SIGMA

View full text Add to dashboard Cite

Abstract. 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.

show abstract

Section: The Prelle-singer Methodssupporting

confidence: 83%

supporting

confidence: 83%