Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

Volume 153 / 1997

Alessandro Andretta, Alberto Marcone Fundamenta Mathematicae 153 (1997), 157-190 DOI: 10.4064/fm-153-2-157-190

Abstract

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 $∏^0_2$-complete and that the set of Cauchy problems which locally have a unique solution is $∑^0_3$-complete. We prove that the set of Cauchy problems which have a global solution is $∑_0^4$-complete and that the set of ordinary differential equations which have a global solution for every initial condition is $∏^0_3$-complete. We prove that the set of Cauchy problems for which both uniqueness and globality hold is $∏^0_2$-complete.

Authors

  • Alessandro Andretta
  • Alberto Marcone

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image