In this talk we present the problem of designing infinite-dimensional observers for infinite-dimensional systems. We consider the situation where only boundary measurement is available. Infinite-dimensional Luenberger-like observers are elaborated to infinite-dimensional dynamical systems in the abstract framework of semigroup systems. Exponential convergence of the proposed observers is guaranteed in the abstract framework by using the Lyapunov techniques. As examples explicit observers are worked out for PDE systems such as Euler-Bernoulli elastic beam systems and water wave systems. Thanks to observability property exponential or strong convergence of the designed observers is established with the convergence rate estimated in function of parameters of the observed systems, which is a desirable property for practical applications.

Après une courte introduction, je montrerai dans cet expose comment on peut établir, au niveau numérique, des propriétés d’hypocoercivité discretes pour des méthodes d’intégration en temps de l’équation de Fokker–Planck linéaire, qui assurent notamment la convergence exponentielle en temps long de la solution numérique vers un état d’équilibre discret. On utilisera pour cela une méthode de preuve à la Villani, adaptée au contexte discret. Il s’agit d’un travail en commun avec Frédéric Herau (Nantes) et Pauline Lafitte (CentraleSupelec).

Les EDPs elliptiques du type $\Delta f = |\nabla f|^2$ sortent du cadre
classique de l’analyse par Calderon-Zygmund et admettent des solutions non
régulières. Il est remarquable de constater que l’équation $\Delta \phi =
|\nabla \phi|^2 \phi$, $\phi \in \mathbb S^2$, elle, satisfait une régularité. Ce
contraste ne peut s’expliquer analytiquement : les deux équations ont les
mêmes croissances, la même forme, le même comportement extérieur. Il faut
faire appel à une intuition géométrique, et à des résultats de compacité par
compensation pour expliquer cette divergence.

Cette procédure, cette idée, cette méthode, se retrouve pour analyser
d’autres équations, au deuxième ordre l’ensemble des équations harmoniques,
et au quatrième ordre, l’équation des surfaces de Willlmore.

Nous aborderons la régularité de ces solutions, et le comportement des
suites en mettant en évidence les phénomènes de concentration, conditionnés
par l’analyse des équations. Enfin nous exploiterons les liens entre les
deux problèmes pour en tirer des applications.

Le but de l’exposé est de comprendre la preuve du théorème de De Philippis et Rindler (2016) qui redémontre et généralise dans un cadre beaucoup plus étendu le fameux théorème dit “Rang-1” d’Alberti (1993). Pour rappel, celui-ci stipule que toute mesure (à valeurs Matrices) qui est Curl-free doit avoir une partie singulière de rang-1, répondant en particulier à une question de De Giorgi et Ambrosio à propos des fonctions BV. De Philippis et Rindler ont récemment généralisé ce résultat en découvrant une nouvelle preuve assez astucieuse basée sur la théorie de Fourier, ayant d’autres applications intéressantes. Nous nous efforcerons de faire des rappels introductifs de manière à comprendre au mieux la preuve sans trop de pré-requis, ainsi que ses principales applications.

Les notes de l’exposé d’Antoine Lemenant sont disponibles sur sa page web, en suivant ce lien.

1. Lien entre l’hydrodynamique quantique et les équations de Schrödinger non linéaires
2. Vitesse de propagation maximale pour les équations de Schrödinger

Dans cet exposé, nous montrons un résultat de stabilisation pour l’équation de la plaque amortie avec une décroissance logarithmique de l’énergie de la solution. La preuve de ce résultat est réalisée au moyen d’une estimation de Carleman pour les opérateurs elliptiques d’ordre quatre avec les conditions au bord dites de Lopatinskii-Sapiro et d’une estimation de la résolvante pour le générateur du semigroupe de la plaque amortie associé à ces conditions aux limites. La dérivation des inégalités de Carleman passe d’abord par des estimations microlocales, puis par des estimations locales, et enfin par une estimation globale.

Le but de l’exposé est de comprendre la preuve du théorème de De Philippis et Rindler (2016) qui redémontre et généralise dans un cadre beaucoup plus étendu le fameux théorème dit “Rang-1” d’Alberti (1993). Pour rappel, celui-ci stipule que toute mesure (à valeurs Matrices) qui est Curl-free doit avoir une partie singulière de rang-1, répondant en particulier à une question de De Giorgi et Ambrosio à propos des fonctions BV. De Philippis et Rindler ont récemment généralisé ce résultat en découvrant une nouvelle preuve assez astucieuse basée sur la théorie de Fourier, ayant d’autres applications intéressantes. Nous nous efforcerons de faire des rappels introductifs de manière à comprendre au mieux la preuve sans trop de pré-requis, ainsi que ses principales applications.

Les notes de l’exposé d’Antoine Lemenant sont disponibles sur sa page web, en suivant ce lien.

Dans cet exposé, je présenterai le modèle tensoriel de Landau de Gennes pour les cristaux liquides nématiques dans le régime dit de Lyutsyukov faisant intervenir des applications à valeurs dans la sphère S4. Ce modèle décrit les configurations stables de cristaux liquides comme étant les minimiseurs d’une énergie de type Ginzburg-Landau dont le puit de potentiel est le plan projectif réel. Lorsque le domaine est une boule et la donnée de Dirichlet est à symétrie radiale (équivariante), on pourrait s’attendre à ce qu’un minimiseur soit également à symétrie radiale. De nombreuses simulations numériques montrent que ce n’est pas du tout le cas. Une certaine structure en tore apparaît. Une symétrie axiale semble toutefois préservée, et celle-ci a souvent été utilisée comme ansatz faisant alors apparaître d’autres solutions, singulières, appelées solutions splits. A l’aide de résultats de régularité sur ce modèle, j’essayerai d’expliquer l’existence et la géométrie de ces solutions tores et splits. Cet exposé est basé sur une série de travaux en collaboration avec Federico Dipasquale et Adriano Pisante.