Séminaires

Dans cet exposé, nous considérons un opérateur non-auto adjoint sur un espace de Hilbert de la forme $H_0+V$ où $H_0$ est un opérateur auto-adjoint et $V$ est un opérateur borné à valeurs complexes. Nous supposons que la résolvante de $H_0$ satisfait un principe d’absorption limite et nous définissons les singularités spectrales de $H$ comme l’ensemble des points de son spectre essentiel tel que la résolvante de $H$ ne satisfait pas le principe d’absorption limite. Nous montrons alors que les singularités spectrales de $H$ sont en bijection avec des valeurs propres associées à des vecteurs propres spécifiques d’un prolongement de $H$ à un espace de Hilbert plus gros. Dans un deuxième temps, nous montrons que les états qui disparaissent à l’infini pour $H$ correspondent aux vecteurs propres généralisés de $H$ associés à des valeurs propres de partie imaginaire négative. Enfin nous définirons le sous-espace spectral absolument continu de $H$ et montrerons qu’il est égal à l’orthogonal de l’espace vectoriel engendré par tous les vecteurs propres généralisés de l’adjoint de $H$.

Le problème de Schrödinger (~1930) consiste à inférer la trajectoire d’un système de particules Browniennes, étant données les observations de ses distributions statistiques en un temps initial et terminal. Récemment des liens profonds avec le Transport Optimal ont été mis à jour, permettant de voir le problème de Schrödinger comme une version bruitée du problème déterministe du transport optimal classique (géodésiques dans l’espace de Wasserstein des mesures de probabilités). Le niveau de bruit est déterminé par un paramètre de température $\varepsilon>0$, et l’interpolation temporelle est pilotée énergétiquement parlant par l’entropie de Boltzmann. Dans la limite de petit bruit, il est bien connu que ce problème bruité Gamma-converge vers sa contrepartie déterministe, ce qui est remarquablement utile numériquement. Dans cet exposé je discuterai une extension naturelle à des problèmes de Schrödinger géométriques dans des espaces métriques abstraits. On peut établir dans ce cadre un résultat de Gamma-convergence très général, et je montrerai comment la preuve mène également à des nouveaux résultats de convexité.

L’équation de Hartree est une équation de Schrödinger non linéaire utilisée notamment pour décrire l’évolution de certains systèmes quantiques à grand nombre de particules. Dans la première partie, après avoir rappelé brièvement le contexte physique, on s’intéressera au problème de l’existence d’un état fondamental, c’est-à-dire l’existence d’un état minimisant la fonctionnelle d’énergie. L’approche pour résoudre ce problème de minimisation sous contrainte repose sur des arguments développés par Lions dans les années 80, de type concentration-compacité.

Des divergences apparaissent lorsque l’on cherche à effectuer des calculs en théorie des champs quantiques (comme par exemple pour la section efficace de diffusion). Il est donc essentiel de recourir à une procédure, nommée renormalisation, pour retirer ces divergences de nos modèles et obtenir des prédictions vérifiables expérimentalement.

En mathématiques, on peut décrire les modèles de théorie des champs par un Hamiltonien agissant sur un espace de Fock et dont le noyau n’est pas de carré intégrable. La procédure généralement suivie est d’abord d’introduire des coupures ultraviolettes permettant de régulariser le noyau. Ensuite, il faut démontrer que cet opérateur régularisé auquel on a soustrait un terme de compensation, converge vers un opérateur limite. Les termes de compensation généralement utilisés en mathématiques proviennent du premier ou des deux premiers ordres dans la théorie de la perturbation de grandeurs physiques telles que l’énergie de l’état fondamental. Dans cet exposé nous présenterons, sur un modèle jouet, une méthode permettant d’utiliser un nombre fini mais quelconque de termes de compensation, et donc d’ordre dans la théorie de la perturbation. Il s’agit d’un travail en cours en collaboration avec Jacob Møller.

Motivated by Tadmor’s work dedicated to multiscale image representation using hierarchical (BV,L^2) decompositions, we propose transposing their approach to the case of registration, task which consists in determining a smooth deformation aligning the salient constituents visible in an image into their counterpart in another. The underlying goal is to obtain a hierarchical decomposition of the deformation in the form of a composition of intermediate deformations: the coarser one, computed from versions of the two images capturing the essential features, encodes the main structural/geometrical deformation, while iterating the procedure and refining the versions of the two images yields more accurate deformations that map faithfully small-scale features. The proposed model falls within the framework of variational methods and hyperelasticity by viewing the shapes to be matched as Ogden materials. The material behaviour is described by means of a specifically tailored strain energy density function, complemented by L^∞ penalisations ensuring that the computed deformation is a bi-Lipschitz homeomorphism. Theoretical results emphasising the mathematical soundness of the model are provided, among which the existence of minimisers, a Γ-convergence result and an analysis of a suitable numerical algorithm, along with numerical simulations demonstrating the ability of the model to produce accurate hierarchical representations of deformations.

Dans cet exposé, on étudiera la stabilité des ondes planes de l’équation de Schrödinger logarithmique sur le tore, avec ou sans amortissement. Le comportement de ces solutions sera notamment illustré par des simulations numériques.

Dans cette deuxième partie, on appliquera la méthode d’éclatement à deux problèmes qui mènent à des
résultats atypiques. Le premier exemple correspond à un problème de diffusion de la chaleur dans
un milieux à deux composantes complémentaires périodiques, à l’interface imparfaite (la température
présente un saut sur cette interface). La particularité de ce problème vient du fait qu’après
homogénéisation, la température limite est donnée comme combinaison de deux températures
distinctes, chacune étant définie sur tout le domaine initial. Les deux températures vérifient un système
couplé, connu dans la littérature comme « système de Barenblatt ». Le deuxième exemple correspond à
un problème de diffusion de la chaleur à double conductivité et sa particularité vient du fait qu’après
homogénéisation, la température limite est donnée comme la somme de deux termes, le premier étant
la solution d’un problème homogénéisé classique et le deuxième étant la moyenne sur la cellule de
périodicité de la solution d’un problème local.

Dans cette première partie, on présente la définition et quelques propriétés relatives à la méthode
d’éclatement, méthode spécifique pour l’homogénéisation de problèmes périodiques, c’est-à-dire des
problèmes pour lesquels la géométrie et/ou des caractéristiques physiques sont des fonctions
périodiques de certaines variables d’espace, la périodicité étant caractérisée par un petit paramètre
strictement positif. La présence du petit paramètre rend impossible la résolution numérique de ces
problèmes. Le processus d’homogénéisation consiste à faire tendre le petit paramètre vers zéro dans le
problème initial, ce qui conduit à l’obtention d’un problème homogénéisé. Ce problème, qui est une
bonne approximation du problème initial, peut être résolu numériquement. Il fournit ainsi une solution
approchée de la solution initiale. On va illustrer cette méthode en l’appliquant à un problème très
simple, celui de la diffusion de la chaleur dans un milieu périodique.

Au début de l’exposé, j’introduirai les problèmes d’évolution qui prennent la forme d’inclusions différentielles. Ensuite je préciserai un cadre théorique où celles-ci sont bien posées et enfin je proposerai un schéma numérique adapté avec un ordre de convergence égal à 1/2.

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.