Equivalence of differential equations of order one

  • L. X. Chau Ngo
  • , K. A. Nguyen
  • , M. van der Put
  • , J. Top

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
77 Downloads (Pure)

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.
Original languageEnglish
Pages (from-to)47-59
Number of pages13
JournalJournal of symbolic computation
Volume71
DOIs
Publication statusPublished - Nov-2015

Fingerprint

Dive into the research topics of 'Equivalence of differential equations of order one'. Together they form a unique fingerprint.

Cite this