Séminaires

TBA

Dans cet exposé, on s’intéressera à la construction de mesures de type Gibbs associées au Hamiltonien de l’équation de Schrödinger en présence d’un potentiel confinant et d’une non-linéarité focalisante. La construction de telles mesures a été initiée vers les années 70 dans le cadre de la théorie quantique des champs Euclidienne. On revisitera une construction classique due à Lebowitz-Rose-Speer dans le cas d’un domaine spatial borné et en l’absence de potentiel, ainsi que le phénomène de transition de phase qui a lieu dans ce cas. On expliquera ensuite des résultats obtenus avec Kihoon Seong (Institut Max Planck), Leonardo Tolomeo (Université d’Édimbourg) et Yuzhao Wang (Université de Birmingham) sur le cas d’un domaine infini en présence d’un potentiel harmonique, et l’absence de transition de phase dans ce cas.

TBA

Nous nous intéresserons à une méthode de décomposition de domaine avec recouvrement pour l’équation de Helmholtz à hautes fréquences – il s’agit de la méthode avec recouvrement classique due à Schwarz mais utilisée ici avec des conditions au bord absorbantes du type impédance sur les bords des sous-domaines. Nos travaux [Gong-Gander-Graham-Lafontaine-Spence] ont relié la convergence d’une telle méthode aux normes de certaines applications du type impédance-vers-impédance et de leurs itérées, applications qui à une donnée du type impédance sur un bord du domaine associent la trace du type impédance sur l’autre bord du domaine de la solution de Helmholtz associée. Je présenterai des bornes fines sur de telles applications dans la limite des hautes fréquences, et leurs conséquences sur l’étude de la méthode de décomposition de domaine correspondante. Travail en collaboration avec Euan Spence.

La problème de Griffith est un problème à « discontinuité libre » qui intervient dans un modèle de propagation de fissure en élasticité linéarisée. Il s’agit d’une variante vectorielle de la célèbre fonctionnelle de Mumford-Shah, correspondant au cas scalaire et pour laquelle la régularité des minimiseurs est bien connue depuis les années 90. L’analogue vectoriel (Griffith) est beaucoup plus difficile à appréhender en raison de problèmes techniques que l’on tentera d’expliquer. Ensuite on présentera certains résultats partiels de régularité $C^1$ qui ont été obtenus récemment en collaboration avec Jean-François Babadjian (Paris-Saclay) et Flaviana Iurlano (Sorbonne Université) en dimension $2$, puis généralisés en dimension supérieure en collaboration avec Camille Labourie (Erlangen-Nuremberg).

Dans cet exposé, on présente une factorisation orthogonale d’une matrice sous une certaine forme échelonnée, avec un algorithme itératif associé. Cette factorisation, dédiée aux matrices par blocs, réalise un compromis entre la méthode du pivot de Gauss qui échelonne, et la décomposition en valeurs singulières qui diagonalise par transformations orthogonales. On montrera des applications en interpolation (publiées récemment avec J.-P. Croisille et M. Brachet), ainsi que des applications en optimisation multi-critère (si le temps le permet).

Variational formulations are a popular tool to analyse linear PDEs (eg. neutron
diffusion, Maxwell equations, Stokes equations …), and it also provides a
convenient basis to design numerical methods to solve them. Of paramount
importance is the inf-sup condition, designed by Ladyzhenskaya, Necas,
Babuska and Brezzi in the 1960s and 1970s. As is well-known, it provides
sharp conditions to prove well-posedness of the problem, namely existence
and uniqueness of the solution, and continuous dependence with respect to the
data. Then, to solve the approximate, or discrete, problems, there is the
(uniform) discrete inf-sup condition, to ensure existence of the approximate
solutions, and convergence of those solutions to the exact solution. Often, the
two sides of this problem (exact and approximate) are handled separately, or at
least no explicit connection is made between the two.
In this talk, I will focus on an approach that is completely equivalent to the
inf-sup condition for problems set in Hilbert spaces, the T-coercivity
approach. This approach relies on the design of an explicit operator to realize
the inf-sup condition. If the operator is carefully chosen, it can provide useful
insight for a straightforward definition of the approximation of the exact
problem. As a matter of fact, the derivation of the discrete inf-sup condition
often becomes elementary, at least when one considers conforming methods,
that is when the discrete spaces are subspaces of the exact Hilbert spaces. In
this way, both the exact and the approximate problems are considered,
analysed and solved at once.
In itself, T-coercivity is not a new theory, however it seems that some of its
strengths have been overlooked, and that, if used properly, it can be a simple,
yet powerful tool to analyse and solve linear PDEs. In particular, it provides
guidelines such as, which abstract tools and which numerical methods are the
most “natural” to analyse and solve the problem at hand. In other words, it
allows one to select simply appropriate tools in the mathematical, or
numerical, toolboxes. This claim will be illustrated on classical linear PDEs,
and for some generalizations of those models.