Quasianalytic solutions of differential equations and o-minimal structures

dc.creatorRolin, J. -P.
dc.creatorSanz, F.
dc.creatorSchaefke, R.
dc.date2005-05-04
dc.date2006-06-02
dc.date.accessioned2026-07-07T06:39:53Z
dc.date.available2026-07-07T06:39:53Z
dc.descriptionIt is well known that the non-spiraling leaves of real analytic foliations of codimension 1 all belong to the same o-minimal structure. Naturally, the question arises if the same statement is true for non-oscillating trajectories of real analytic vector fields. We show, under certain assumptions, that such a trajectory generates an o-minimal and model complete structure together with the analytic functions. The proof uses the asymptotic theory of irregular singular ordinary differential equations in order to establish a quasi-analyticity result from which the main theorem follows. As applications, we present an infinite family of o-minimal structures such that any two of them do not admit a common extension, and we construct a non-oscillating trajectory of a real analytic vector field in dimension 5 that is not definable in any o-minimal extension of the reals
dc.description33 pages
dc.identifierhttps://arxiv.org/abs/math/0505073
dc.identifierhttp://arxiv.org/abs/math/0505073
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/101250
dc.subjectClassical Analysis and ODEs
dc.subjectLogic
dc.subject03C64; 30D60; 34M40; 34M30
dc.titleQuasianalytic solutions of differential equations and o-minimal structures
dc.typetext

Files

Collections