We develop the concept of Dafermos' relative entropy/energy in the context of fluid dynamics, in particular, for compressible viscous fluids. We discuss possible applications of the method to various problems: Flows in thin channels, weak-strong uniqueness, singular limits, stochastic perturbations and/or convergence of numerical schemes.
Les E et G-fonctions de Siegel sont des séries entières solutions d'équations différentielles linéaires, avec des coefficients de Taylor algébriques vérifiant certaines conditions de croissance. Les ensembles de valeurs prises par ces fonctions aux points algébriques possèdent une riche structure arithmétique héritée des équations différentielles sous-jacentes. Je presenterai quelques résultats sur ces ensembles obtenus dans des travaux en commun avec Stéphane Fischler (Orsay) et, indépendamment, Julien Roques (Grenoble).
À venir
Le schéma des arcs tracés sur une variété n'est pas un objet de dimension finie. Le théorème de Drinfeld-Grinberg-Kazdhan dit cependant que la singularité en un arc non contenu dans le lieu singulier de la variété possède en un sens un modèle de dimension finie. Ce modèle devrait contenir des informations sur la singularité de l'origine de l'arc considéré. Nous présenterons des résultats et questions dans ce sens pour les singularités de courbe. C'est un travail en commun avec Julien Sebag.
Une équation différentielle de Lotka-Volterra décrit l'évolution de deux populations en compétition. Selon les paramètres, elle peut favoriser l'une ou l'autre des espèces ou aboutir à un équilibre. Supposons à présent que l'on dispose de deux systèmes de ce type, tous deux favorables à la même espèce. On s'intéresse au comportement (possiblement surprenant) du processus aléatoire obtenu en suivant alternativement chacune des évolutions durant des temps aléatoires.
A Theorem of Gao, Jackson and Seward, originally conjectured to be false by Glasner and Uspenskij, asserts that every countable group admits a strongly aperiodic subshift over a 2-symbol alphabet. Their proof consists of a quite technical construction. We give a shorter proof of their result by using the asymetrical version of Lovasz Local Lemma which allows us also to prove that this subshift is effectively closed (with an oracle to the word problem of the group) in the case of a finitely generated group. This is about joint work with Nathalie Aubrun and Stéphan Thomassé.
Un polynôme est hyperbolique si toutes ses racines sont réelles. Un système polynomial est dit hyperbolique positif si toutes ses solutions complexes sont réelles et appartiennent à l'orthant positif. Lors de cet exposé, nous allons décrire une construction combinatoire de tels systèmes qui s'applique à un grand nombre de familles connues de polytopes. (basé sur un travail en commun avec Pierre-Jean Spaenlehauer, CR Inria Nancy).
Travail en collaboration avec Arkady Leiderman, Ben Gurion University, Beer-Sheva, Israel. Un espace topologique $L$ est un espace ordonnable lorsqu'il existe un ordre total $leq$ sur $L$ tel que la topologie sur $L$ est engendrée par les intervalles ouverts (non nécessairement bornés) à extrémités dans $L$ (exemples: $N$, $Z$, $Q$, $R$; contre-exemple: $C$). Un espace $L$ est un espace héréditairement ordonnable si toute image continue de $L$ est ordonnable. On montre le résultat suivant: Si $L$ est un espace héréditairement ordonnable alors $L$ est un espace dénombrable et compact (i.e. un sous-espace compact de $R$, qui est donc homéomorphe a un ordinal dénombrable ayant un plus grand élément). En fait on montre un résultat plus général.
Bisimulation is used in concurrency theory as a proof method for establishing behavioural equivalence of processes. Up-to techniques are a means of enhancing this proof method. In this talk I will argue that up-to techniques can be of general use, and discuss how this is supported by our coalgebraic framework of up-to techniques, that provides enhanced proof techniques for a wide variety of systems and a wide variety of properties. I will discuss our recent work on extending this framework to cover equivalences for systems that involve silent transitions.
On étudie les complexifications topologiquement minimales du plan affine euclidien R² à isomorphisme près et à difféomorphismes birationnels près. Un faux plans réel est une surface géométriquement intègre non singulière définie sur R telle que : • Le lieu réel S(R) est difféomorphe à R²; • La surface complexe S_C(C) a le type d’homologie rationnelle de A²_C(C).; • S n’est pas isomorphe à A²_R en tant que surface définie sur R. L’étude analogue dans le cas compact, c’est-à-dire la classification des complexifications du plan projectif réel P²(R) possédant l’homologie rationnelle du plan projectif complexe est bien connue : P²_C est l’unique telle complexification. Nous prouvons que les faux plans réels existent en donnant plusieurs exemples et nous abordons la question : existe-t-il un faux plan réel S tel que S(R) n’est pas birationnellement difféomorphe à A²_R(R) ? (Travail en commun avec Adrien Dubouloz.) Deux articles à ce sujet : http://arxiv.org/abs/1507.01574 (soumis) et ``Real frontiers of fake planes'', European Journal of Math, DOI 10.1007/s40879-015-0087-8 (2015).
Dans ce travail en collaboration avec François Delarue (Nice) et Nicolas Vauchelet (Paris 6), nous étudions l'ordre d'approximation du schéma décentré amont pour le transport conservatif (équation de continuité) en dimension d'espace quelconque, sur maillage cartésien, pour des champs de vitesse lipschitziens à droite. La difficulté est que ces champs de vitesse peuvent être discontinus et qu'en conséquence les solutions sont des mesures. L'analyse du caractère bien posé repose sur les travaux de Filippov pour les équations différentielles, et de Poupaud et Rascle pour les EDP, dont nous utilisons les outils et les résultats. Notre analyse est basée sur une interprétation probabiliste de l'algorithme (déterministe), dont nous montrons qu'il est l'espérance d'un algorithme aléatoire (ce travail est l'extension d'un résultat obtenu avec François Delarue il y a quelques années pour des champs de vitesse lipschitziens sur maillages quelconques).
Le traitement catégorique de la théorie des probabilités formulé par Giry et Lawvere, basé sur la monade de probabilité G, permet de manipuler de façon élégante des probabilités d'ordre supérieur. Dans ce cadre, je présenterai une reconstruction du processus de Dirichlet, un objet largement utilisé en inférence bayésienne. Ce processus prend la forme d'une famille de mesures dans GG(X) indexée par M(X), où X est un espace Polonais et M(X) est l'espace des mesures finies non-zéro sur X. Sa construction repose sur deux outils dont l’intérêt dépasse le simple cas de la construction de Dirichlet. Le premier de ces outils est une version fonctorielle du théorème d'extension de Bochner adapté au cadre Polonais, qui permet d'étendre une famille projective de probabilités en une probabilité limite. Le second outil est une méthode de ``décomposition'' qui associe à tout espace Polonais zéro-dimensionnel une famille projective d'espaces finis, dont la limite projective est une compactification de l'espace originel. La combinaison de ces deux outils avec des propriétés bien connues de Dirichlet sur les espaces finis nous permet de reconstruire Dirichlet comme une transformation naturelle de M vers GG. Cette construction améliore les précédentes en ce qu'elle prouve la continuité de Dirichlet en ses paramètres.
PML est un langage de programmation en appel par valeurs similaire à ML, avec une syntaxe à la Curry (c'est à dire, pas de types dans les termes) et basé sur une logique d'ordre supérieur classique. Les termes apparaissent dans les types via un prédicat d'appartenance t ∈ A et un opérateur de restriction A | t ≡ u. La sémantique de ces deux constructeurs de types utilise une relation d'équivalence (observationnelle) sur les programmes (non typés). L'opérateur de restriction est utile pour l'écriture de spécifications tandis que l'appartenance permet d'encoder les types dépendants. La présence de l'équivalence nous permet également de relâcher la « value restriction » pour obtenir un type produit dépendant compatible avec la logique classique (ce qui n'avait pas été fait avant).
La théorie des jeux à champ moyen a été initée par Lasry et Lions il y a une dizaine d'années. Le but est de décrire le comportement asymptotique d'équilibres de Nash sur une grande population de joueurs en interaction champ moyen. Dans ce cadre, très peu de critères sont connus pour garantir l'unicité des équilibres asymptotiques. Inspirés par la théorie des EDO et EDS, nous posons ici la question du rétablissement de l'unicité par randomisation des solutions.
We call a closed basic semialgebraic subset X of R^n homogeneous if it is defined by a finite system of strict inequalities with homogeneous polynomials. We prove an effective version of the Putinar and Vasilescu Positivstellensatz for positive homogeneous polynomials on homogeneous semialgebraic sets.