Puiseux Series Solutions with Real or Rational Coefficients of First Order Autonomous AODEs

Sebastian Falkensteiner
2022 Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation  
Given an autonomous first order algebraic ordinary differential equation 𝐹 (𝑦, 𝑦 ′ ) = 0, we provide algorithms for computing formal Puiseux series solutions of 𝐹 (𝑦, 𝑦 ′ ) = 0 with real or rational coefficients. For this purpose we give necessary and sufficient conditions on the existence of such solutions by combining classical methods from algebraic geometry and the study of an associated differential equation. Since all formal Puiseux series solutions of such differential equations are
more » ... rgent in a certain neighborhood, the solutions also define real solution functions. CCS CONCEPTS • Mathematics of computing → Ordinary differential equations; Solvers.
doi:10.1145/3476446.3536185 fatcat:kx2njtmhqzcnnccbymipwoydsq