Equivalence of differential equations of order one. (November 2015)

• Record Type: Journal Article
• Authors: Ngo, L.X. Chau; Nguyen, K.A.; van der Put, M.; Top, J.
• Is Part Of: Journal of symbolic computation. Volume 71(2016)
• Page Start: 47
• Page End: 59
• Publication Date: 2015-11
• Subjects: 34M15 -- 34M35 -- 34M55; Ordinary differential equations -- Algebraic curves -- Local behavior of solutions -- Normal forms -- Painlevé property -- Algebraic solutions; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2014.09.041
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: The notion of strict equivalence for order one differential equations of the form f ( y ′, y, z ) = 0 with coefficients in a finite extension K of C ( z ) is introduced. The equation gives rise to a curve X over K and a derivation D on its function field K ( X ) . Procedures are described for testing strict equivalence, strict equivalence to an autonomous equation, computing algebraic solutions and verifying the Painlevé property. These procedures use known algorithms for isomorphisms of curves over an algebraically closed field of characteristic zero, the Risch algorithm and computation of algebraic solutions. The most involved cases concern curves X of genus 0 or 1. This paper complements work of M. Matsuda and of G. Muntingh & M. van der Put.