Le système de Vlasov-Navier-Stokes est un couplage fluide/cinétique décrivant l’évolution d’un aérosol au sein d’un fluide. Dans le contexte de l’aérosolthérapie, l’absorption est la condition aux bords la plus adéquate pour la phase dispersée, en raison de la présence de mucus sur les voies aériennes pulmonaires. En gardant ce cadre applicatif à l’esprit, on s’interrogera sur la possibilité de récupérer cette condition au bord par l’étude du même système dans tout l’espace, dans une limite (localisée) de grande viscosité, en utilisant la théorie des traces renormalisées de Boyer-Mischler pour les équations de transport.

L’interpolation et l’approximation de fonctions définies sur la sphère sont des questions classiques en analyse harmonique et en analyse numérique.
Elles interviennent de façon essentielle dans de nombreux domaines en physique et en chimie: climatologie sur la sphère terrestre, chimie quantique, neutronique, analyse des données sur la sphère, etc.
On présente ici un algorithme de calcul en harmoniques sphériques associé à une grille sphérique particulière, la « Cubed Sphere » équiangulaire.
Différentes applications seront également présentées, dont des formules de quadrature sphériques.

Il s’agit d’un travail avec Jean-Baptiste Bellet et Matthieu Brachet.

Le système de Vlasov-Navier-Stokes est un couplage fluide/cinétique décrivant l’évolution d’un aérosol au sein d’un fluide. Dans le contexte de l’aérosolthérapie, l’absorption est la condition aux bords la plus adéquate pour la phase dispersée, en raison de la présence de mucus sur les voies aériennes pulmonaires. En gardant ce cadre applicatif à l’esprit, on s’interrogera sur la possibilité de récupérer cette condition au bord par l’étude du même système dans tout l’espace, dans une limite (localisée) de grande viscosité, en utilisant la théorie des traces renormalisées de Boyer-Mischler pour les équations de transport.

We are discussing the weak solvability of the fourth-order elliptic problems with variable exponents. When dealing with variable exponent problems, we can cover situations that cannot occur when treating constant exponent problems. Here we consider nonhomogeneous differential operators that extend the p(x)-biharmonic operators and we work on a class of general domains that includes both smooth and non-smooth domains.

We investigate the energy decay of hyperbolic system of wave-wave with generalized acoustic boundary conditions in N-dimensional space, with the equations being coupled through boundary connection. First, by spectrum approach combining with a general criteria of Arendt-Batty, we prove that our model is strongly stable. Then, after proving that this system lacks the exponential stability, we establish different type of polynomial energy decay rates provided that the coefficients of the acoustic boundary conditions satisfy some assumptions. Further, we present some appropriate examples and show that our assumptions have been set correctly. Finally, we prove that the obtained energy decay rate is optimal in particular case.

This is a joint work with Dan Tiba (Institute of Mathematics, Romanian Academy, dan.tiba@imar.ro).
We study the penalized steady Navier-Stokes with Neumann boundary conditions system in a holdall domain, its approximation properties (with error estimates) and the uniqueness of the solution that is obtained in a non standard manner. Numerical tests are presented.

We consider the wave propagation in a periodic structure made of a honeycomb arrangement of thin tubes. We prove the presence of Dirac points (in the dispersion surfaces of the associated operator). In addition, cutting the structure in the Zig Zag direction creates guides modes. Those results are proved by asymtptotic analysis: as the width of the tubes goes to zeros the domain tends to a graph (where explicite computations can be done). This is a joint work with Sonia Fliss (POEMS, Inria-ENSTA-CNRS).

On présente d’abord les notions de base et quelques résultats connus sur les plongements isométriques de régularité faible des variétés riemanniennes dans les espaces euclidiennes en basse dimension, sur leurs deux versants de flexibilité (h-principe) et rigidité, dont quelques résultats récents. En particulier, on note que Borisov, et le suivant, Conti-De Lellis et Székelyhidi, ont démontré la convexité de l’image d’un tel plongement dans ${\mathbb R}^3$ d’une surface sans bord si sa métrique est régulière de classe $C^{2,\beta}$, la courbure est positive, et le plongement est de classe $C^{1,\alpha}$ pour $\alpha>2/3$. On discute la généralisation de ce résultat au cas où la métrique est seulement de classe $C^{1,\alpha}$ et la courbure au sens distributionnel est seulement non-négative. Pour établir cette généralisation, une nouvelle approche moyennant l’étude de l’équation de Monge-Ampère au sens très faible devient nécessaire.

On s’intéresse à un problème de contrôle approché de l’équation de la chaleur par des « formes » : à l’aide d’un terme source donné par la fonction caractéristique d’un ensemble (variable dans le temps, de mesure uniformément bornée), on cherche à emmener la solution près d’un état final donné.

Ces contrôles très particuliers peuvent être vus comme des points extrémaux d’un certain ensemble convexe : or beaucoup de problèmes de contrôle optimal (et d’optimisation en général) ont pour minimiseurs (ou maximiseurs) des points extrémaux. Pour trouver le « bon » problème d’optimisation, on combine la dualité de Fenchel-Rockafellar, qui associe à un problème d’optimisation (dit primal) un problème dit dual, et le principe « de la baignoire », qui concerne la maximisation sous contraintes d’un produit scalaire. Les contrôles optimaux associés à ce « bon » problème ont alors de bonnes chances d’être des formes, et de répondre ainsi à la question initiale.

La méthode de preuve permet d’étudier plus généralement la question du contrôle d’EDP avec des contraintes sur le contrainte, notamment le phénomène dit « bang-bang » : en dimension finie, il a été souvent observé que les contrôles optimaux (notamment les contrôles en temps minimal) saturent les contraintes qui leur sont imposées, et ont donc une forme plus simple (par exemple, une fonction constante par morceaux en temps). Le phénomène apparaît également en dimension infinie et nous verrons comment l’approche développée pour l’équation de la chaleur permet de l’étudier.

On considère des modèles de théorie quantique des champs décrivant l’évolution d’une particule non-relativiste couplée à un champ quantifié. L’énergie d’un tel système est associée à un opérateur auto-adjoint, un hamiltonien, agissant sur un espace de Hilbert approprié. Dans cet exposé, nous nous intéressons à la minimisation de l’énergie quasi-classique de ce système, c’est-à-dire l’énergie lorsque le champ se trouve dans un état cohérent. Les minimiseurs d’une telle énergie sont appelés états fondamentaux quasi-classiques. Nous verrons que le problème de minimisation peut se réduire à la minimisation d’une fonctionnelle de Hartree, ou d’un système couplé Maxwell-Schrödinger, selon le modèle considéré. Nous montrerons l’existence et l’unicité d’un état fondamental quasi-classique pour ces modèles. Enfin, nous verrons que ces états permettent de décomposer l’énergie fondamentale du modèle en deux parties : une quasi-classique, calculée lors de la minimisation sur les états cohérents, et une autre correspondant à la contribution des états excités.

Sur un ouvert $\Omega$ régulier, l’ensemble des fonctions lisses $C^{\infty}(\overline{\Omega})$ est dense dans les espaces de Sobolev $W^{1,p}(\Omega)$ (avec $1\leq p <\infty$). Pourtant, minimiser une fonctionnelle du calcul des variations sur $C^{\infty}(\overline{\Omega})$ ou sur $W^{1,p}(\Omega)$ peut conduire à des résultats différents: c’est le phénomène de Lavrentiev.

Il s’agit dans cet exposé d’identifier une large classe de fonctionnelles pour laquelle ce phénomène ne se produit pas. La preuve repose sur de nouvelles techniques d’approximation pour des versions paramétriques des problèmes variationnels considérés.

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$.

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.

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.

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

The standard approach for photoacoustic imaging with variable speed of sound is time reversal, which consists of solving a well-posed final-boundary value problem for the wave equation backwards in time. We present a gradient based approach which consists of the iterative Landweber regularization algorithm, where convergence is guaranteed by standard regularization theory, notably also in cases of trapping sound speed or for short measurement times.
We formulate and solve the direct and inverse problem on the whole Euclidean space, which is common in standard photoacoustic imaging, but not for time reversal algorithms, where the problems are considered on a domain enclosed by the measurement devices. We formulate both the direct and adjoint photoacoustic operator as the solution of an interior and an exterior differential equation which are coupled by transmission conditions. The former is solved numerically using a Galerkin scheme in space and finite difference discretization in time, while the latter consists of solving a boundary integral equation. We therefore use a boundary element method/finite element method approach for numerical solution of the forward operators.
We analyze this method, prove convergence, and provide numerical tests. Moreover, we compare the approach to time reversal.

We consider the Dirichlet Laplacian in a two-dimensional strip composed of segments translated along a straight line with respect to a rotation angle with velocity diverging at infinity. We show that this model exhibits a “raise of dimension” at infinity leading to an essential spectrum determined by an asymptotic three-dimensional tube of annular cross section. If the cross section of the asymptotic tube is a disc, we also prove the existence of discrete eigenvalues below the essential spectrum. Joint work with David Krejcirik (Prague).

Le but de ce travail est de montrer la contrôlabilité à zéro d’un système modélisant l’interaction entre un fluide incompressible et une structure solide en utilisant un contrôle distribué localement situé dans le domaine du fluide. Le fluide est modélisé par le système de Navier-Stokes avec les conditions de Navier sur le bord, tandis que le corps rigide est gouverné par les lois de Newton. Le résultat principal montre qu’on peut amener les vitesses du fluide et de la structure à zéro et qu’on peut contrôler exactement la position du solide qui est supposé être assez régulier et de forme géométrique quelconque. Le point clé consiste à l’élaboration d’une nouvelle inégalité de Carleman pour le système linéarisé associé à notre problème couplant les équations de Stokes et des équations différentielles ordinaires avec les conditions de Navier sur le bord.

Nous appliquons une méthode de commutateurs à l’opérateur de Schrödinger discret sur . Nous proposons un nouvel opérateur conjugué qui nous permet de prouver la présence de spectre purement absolument continue à certains niveaux d’énergie. Nous imposons aux potentiels une décroissance de type longue portée plus générale que dans le traitement classique. Typiquement, on suppose une décroissance sur où κ>1 et τ_j est une translation dans la direction j. Le cas classique correspond à κ=1.

Travail réalisé en collaboration avec Marc-Adrien Mandich