Géométrie analytique réelle et trajectoires de champs de vecteurs
8 au 12 juin 2015
Les trajectoires de champs de vecteurs analytiques, c’est-à-dire les solutions d’équations différentielles ordinaires à coefficients analytiques, apparaissent dans de nombreux domaines des mathématiques et sont étudiées sous différents aspects à l’aide de méthodes analytiques, algébriques, numériques ou géométriques. Le projet ANR STAAVF combine toutes ces approches en se concentrant particulièrement sur le comportement géométrique des trajectoires de champs de vecteurs analytiques. Il est bien connu que la plupart des équations différentielles intéressantes ne peuvent être résolues de façon exacte. Très souvent, les solutions approchées, obtenues par des méthodes numériques, ne donnent pas d’information satisfaisante sur le comportement qualitatif des  vraies solutions, tel que la stabilité, l’existence d’ensembles limites, de cycles limites, ou les phénomènes de (non) oscillation. Les trajectoires de champs de vecteurs analytiques sont en général transcendantes. Toutefois leur géométrie est souvent «modérée». La compréhension du comportement qualitatif géométrique des trajectoires de champs de vecteurs analytiques est l’objectif premier de notre projet. Nous voulons déterminer dans quels cas les solutions sont modérées et rendre précis le concept de modération dans chaque cas.

Ces dernières années des progrès substantiels ont été accomplis dans la compréhension des propriétés qualitatives des trajectoires de champs de vecteurs analytiques réels (ou autres) au moyen d’une grande variété de méthodes géométriques, telles que : résolution des singularités, classification des germes analytiques réels, stratifications et géométrie conormale, flots de gradients, courbes de crêtes et vallées, géométries semi-algébrique et o-minimale, ainsi que par des approches plus analytiques telles que : classes quasi-analytiques, intégrales (pseudo) abéliennes, séries formelles et analyse asymptotique, analyse non linéaire, méthodes résurgentes et procédés de resommation. Le but principal de notre colloque est de réunir des experts des différentes approches, ainsi que des jeunes chercheurs, membres ou non de notre projet ANR, afin de présenter les principaux résultats obtenus durant notre project ANR, les méthodes sous-jacentes, et de  susciter des discussions.       


Comité scientifique

Edward Bierstone (University of Toronto)
Daniel Panazzolo (Université de Haute Alsace)
Patrick Speissegger (MacMaster University)
Yosef Yomdin (Weizmann Institute of Science)

Comité d’organisation

Krzysztof Kurdyka (Université Savoie Mont-Blanc)
Adam Parusinski (Université de Nice)
Jean-Philippe Rolin (Université de Bourgogne)
Fernando Sanz (Valladolid University)

Conférenciers

Monomialization of differential forms on an algebraic or analytic variety

Counting solutions of differential equations

Finite cyclicity of slow-fast Darboux systems

Gradient systems associated with j-elliptic functionals

Sets with few rational points

Lebesgue integration of oscillating and subanalytic functions, Part I

Trajectory length of the tame sweeping process.

Classication of spherical quadrilaterals

Perturbations of quadratic Hamiltonian two-saddle cycles

Lebesgue measure and integration theory on arbitrary real closed fields.

Realization of formal invariant curves.

Unfoldings of saddle-nodes and their Dulac time.

Topological classes and topologycal moduli spaces of marked holomorphic singular foliations

Expansions of the real field by trajectories of definable vector fields

Nuij type pencils of hyperbolic polynomials

Optimal regularity of roots of smooth polynomials

Epsilon-neighborhoods of orbits and classications of parabolic germs

Nonlinear analysis with resurgent functions

Lebesgue integration of oscillating and subanalytic functions, Part II

Convexifying positive polynomials and a proximity algorithm

Towards a model theory for transseries

  • Sergei Yakovenko (Weizmann Institute of Science)
    Classication of higher order linear differential equations

Smooth parametrizations in Analysis, Dynamics, and Diophantine Geometry.