This paper generalizes the method of Ng6 and Winkler （2010, 2011） for finding rational general solutions of a first order non-autonomous algebraic ordinary differential equation （AODE） to the case of a higher orde...This paper generalizes the method of Ng6 and Winkler （2010, 2011） for finding rational general solutions of a first order non-autonomous algebraic ordinary differential equation （AODE） to the case of a higher order AODE, provided a proper parametrization of its solution hypersurface. The authors reduce the problem of finding the rational general solution of a higher order AODE to finding the rational general solution of an associated system. The rational general solutions of the original AODE and its associated system are in computable 1-1 correspondence. The authors give necessary and sufficient conditions for the associated system to have a rational solution based on proper reparametrization of invariant algebraic space curves. The authors also relate invariant space curves to first integrals and characterize rationally solvable systems by rational first integrals.展开更多
基金supported by the Austrian Science Foundation(FWF) via the Doctoral Program "Computational Mathematics" under Grant No.W1214Project DK11,the Project DIFFOP under Grant No.P20336-N18+2 种基金the SKLSDE Open Fund SKLSDE-2011KF-02the National Natural Science Foundation of China under Grant No.61173032the Natural Science Foundation of Beijing under Grant No.1102026,and the China Scholarship Council
文摘This paper generalizes the method of Ng6 and Winkler （2010, 2011） for finding rational general solutions of a first order non-autonomous algebraic ordinary differential equation （AODE） to the case of a higher order AODE, provided a proper parametrization of its solution hypersurface. The authors reduce the problem of finding the rational general solution of a higher order AODE to finding the rational general solution of an associated system. The rational general solutions of the original AODE and its associated system are in computable 1-1 correspondence. The authors give necessary and sufficient conditions for the associated system to have a rational solution based on proper reparametrization of invariant algebraic space curves. The authors also relate invariant space curves to first integrals and characterize rationally solvable systems by rational first integrals.
