Séminaire Logique mathématique ICJ

Léo Jimenez, "Internalité des équations différentielles autonomes"

Europe/Paris
112

112

Description

Les solutions d'une équation différentielles sont parfois exprimables à partir de la donnée d'un nombre fini de solutions particulières. C'est par exemple le cas pour les équations différentielles linéaires, pour lesquelles l'ensemble des solutions est un espace vectoriel, mais ce n'est pas limité à celles-ci. Ceci est une manifestation du phénomène modèle-théorique d'internalité au corps des constantes dans un corps différentiellement clos. Dans cette présentation, je vais discuter de progrès récents, obtenus avec Christine Eagles, pour déterminer si l'ensemble des solutions d'un équation différentielle ordinaire autonome est interne aux constantes. Nos méthodes donnent aussi un critère pour l'orthogonalité aux constantes, et en particulier un critère nécessaire pour que les solutions soient liouvilliennes. Je les appliquerai au système classique de Lotka-Volterra.