Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy

DOI10.4171/RMI/1311arXiv2012.06998MaRDI QIDQ6355936FDOQ6355936

Olivier Le Gal, Mickaël Matusinski, F. Sanz

Publication date: 13 December 2020

Abstract: We introduce a notion of regular separation for solutions of systems of ODEs

y^{'} = F (x, y)

, where F is definable in a polynomially bounded o-minimal structure and

y = (y_{1}, y_{2})

. Given a pair of solutions with flat contact, we prove that, if one of them has the property of regular separation, the pair is either interlaced or generates a Hardy field. We adapt this result to trajectories of three-dimensional vector fields with definable coefficients. In the particular case of real analytic vector fields, it improves the dichotomy interlaced/separated of certain integral pencils obtained by F. Cano, R. Moussu and the third author. In this context, we show that the set of trajectories with the regular separation property and asymptotic to a formal invariant curve is never empty and it is represented by a subanalytic set of minimal dimension containing the curve. Finally, we show how to construct examples of formal invariant curves which are transcendental with respect to subanalytic sets, using the so-called (SAT) property introduced by J.-P. Rolin, R. Shaefke and the third author.

Mathematics Subject Classification ID

Oscillation theory, zeros, disconjugacy and comparison theory for ordinary differential equations (34C10) Asymptotic properties of solutions to ordinary differential equations (34D05) Model theory of ordered structures; o-minimality (03C64) Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20)

This page was built for publication: Solutions of definable ODEs with regular separation and dichotomy interlacement versus Hardy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6355936)