×

Ordinary differential equations and descriptive set theory: Uniqueness and globality of solutions of Cauchy problems in one dimension. (English) Zbl 0883.04002

Summary: We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is \(\Pi^0_2\)-complete and that the set of Cauchy problems which locally have a unique solution is \(\Sigma^0_3\)-complete. We prove that the set of Cauchy problems which have a global solution is \(\Sigma^0_4\)-complete and that the set of ordinary differential equations which have a global solution for every initial condition is \(\Pi^0_3\)-complete. We prove that the set of Cauchy problems for which both uniqueness and globality hold is \(\Pi^0_2\)-complete.

MSC:

03E15 Descriptive set theory
34A12 Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations