English

Rational Solutions of First Order Algebraic Ordinary Differential Equations

Symbolic Computation 2020-05-05 v1

Abstract

Let f(t,y,y)=i=0dai(t,y)yi=0f(t, y,y')=\sum_{i=0}^d a_i(t, y)y'^i=0 be a first order ordinary differential equation with polynomial coefficients. Eremenko in 1999 proved that there exists a constant CC such that every rational solution of f(t,y,y)=0f(t, y,y')=0 is of degree not greater than CC. Examples show that this degree bound CC depends not only on the degrees of ff in t,y,yt,y,y' but also on the coefficients of ff viewed as polynomial in t,y,yt,y,y'. In this paper, we show that if maxi=0d{deg(ai,y)2(di)}>0\max_{i=0}^d \{{\rm deg}(a_i,y)-2(d-i)\}>0 then the degree bound CC only depends on the degrees of ff, and furthermore we present an explicit expression for CC in terms of the degrees of ff.

Cite

@article{arxiv.2005.01289,
  title  = {Rational Solutions of First Order Algebraic Ordinary Differential Equations},
  author = {Ruyong Feng and Shuang Feng},
  journal= {arXiv preprint arXiv:2005.01289},
  year   = {2020}
}

Comments

40 pages

R2 v1 2026-06-23T15:16:58.919Z