Résumés de la conférence

Ci-dessous, vous trouverez les résumés des différentes présentations de jeudi - vendredi :

• TBA (Yves Achdou) :

• Adipose tissue size distribution modeling (Chloé Audebert) : Adipose tissue, made of adipocyte cells (also known as fat cells), is central in many physiological pathways involved in obesity-related diseases. Clarifying the dynamics of adipocytes size and number evolution is crucial to better understand the pathophysiological basis of those diseases. We will study adipocyte size dynamics using mathematical models based on partial differential equations. We aim to mimic characteristic cell size distributions in order to provide information on their connections with health conditions.
  
  A mathematical model describing adipocyte size dynamics, based on exchange of lipid, will be presented. Parameter estimation from adipocyte size distribution will be performed as well as a study of parameter identifiability. Parameter estimation is performed with CMAES and will be presented first on synthetic data, then results on measured adipocyte size distribution of several rats will be discussed.

• TBA (Isabeu Birindelli) :

• TBA (Vincent Calvez) :

• Un problème de frontière libre en jeux à champ moyen (Pierre Cardaliaguet) : Les jeux à champ moyen modélisent des systèmes avec un grand nombre de contrôleurs en interaction. Dans de nombreux cas, le problème se réduit à un système (le système MFG) couplant une équation de Hamilton-Jacobi à une équation de continuité. Dans une séries de travaux avec Sebastian Munoz (Chicago) et Alessio Porretta (Rome Tor Vergata), nous étudions le comportement des solutions du système MFG lorsque la densité initiale est une fonction supportée de manière compacte sur la droite réelle. Nos résultats montrent que la solution est lisse dans les régions où la densité est strictement positive, et que la densité elle-même est globalement continue. De plus, pour un couplage de type puissance, nous établissons une vitesse de propagation finie, conduisant à la formation d’une frontière libre. Cette frontière libre est strictement convexe et jouit d'une régularité $C^{1,1}$. Nos méthodes sont basées sur l'analyse d'une nouvelle équation elliptique satisfaite par le flux de trajectoires optimales. Les résultats sont également s'appliquent aux problèmes de planification de champ moyen, caractérisant la structure des minimiseurs d'une classe de problèmes de transport optimaux avec congestion.

• Modeling and numerical simulations of irreversible electroporation for cardiac ablation (Annabelle Collin) : In arrhythmia, the electrical waves of the heart become chaotic and disrupt its function. In the most important treatment, catheter ablation, small heart tissue is destroyed to isolate the irregular beats. This is usually done with thermal radiofrequency (RFA), but this work focuses on a non-thermal method: pulsed electric field ablation (PFA). PFA uses intense electrical pulses to induce cell death through irreversible electroporation. Although PFA has been used in oncology for over a decade, it is still in its infancy in cardiology due to its technical complexity.

  In collaboration with IHU Liryc, we are investigating how mathematical models and numerical strategies could support the development of this therapeutic strategy. This leads to several mathematical challenges that I will present in this talk. I will present a bidomain model that includes a nonlinear transport term derived thanks to a two-scale approach that can account for the different time and length scales between cardiac electrophysiology and electroporation. Numerical simulations with industrial catheter geometries will be presented, showing first interesting results for the determination of the electroporated area. I will then present an electrophysiological model of a cardiac area containing a region ablated by PFA. By considering the modeling assumptions and performing a rigorous asymptotic analysis, the transmission conditions at the interface between the two regions were determined. Numerical simulations performed thanks to well-designed Schwarz algorithms allow a numerical explanation for the higher rate of fibrillation recurrence after RFA compared to PFA.

• TBA (Noemi David) :

• Adaptative observers for wave equations and associated discretization: formulations and analyses (Tiphaine Delaunay) : The context of this talk is the study of inverse problems for wave propagation phenomena from a control theory perspective, more specifically using observation theory. Our goal is to formalize, analyze, and discretize strategies called sequential in data assimilation, where measurements are taken into account as they become available. The resulting system, called an observer (or a sequential estimator), stabilizes on the observed trajectory hence reconstructs the state and possibly some unknown parameters of the system. Here we focus in particular on source reconstruction on the right-hand side of our wave equation, an estimation problem intermediate in complexity between state estimation (or initial condition estimation) and the more general problem of parameter identification. In this context, we propose to define in a deterministic framework in infinite dimension a so-called Kalman estimator that sequentially estimates the source term to be identified. Using dynamic programming tools, we show that this sequential estimator is equivalent to the minimization of a functional. This equivalence allows us to propose convergence analysis under observability conditions. We then demonstrate observability inequalities for different source types by combining functional analysis, multiplier methods, and Carleman estimates. In particular, these inequalities inform us about the ill-poseness nature of the inverse reconstruction problems we study and allow us to quantify the degree of ill-posedness hence to propose adapted regularizations. Concerning discretization issues and their analysis, we defend the idea of redefining these observers associated with the minimization of the functional once the direct model has been discretized. This discretize-then-optimize approach is advantageous for the analysis compared to optimize-then-discretize approach. Nevertheless, the observability inequalities need to be extended to discretized systems. In particular, in this context, we extend uniform exponential stabilization results to the discretization for high-order finite element discretizations of the wave equation.

• What is new in Domain Decomposition? (Martin J. Gander) : 

  Domain decomposition research intensified in the early nineties, and there is still substantial research activity in this field. There has been however an important shift in domain decomposition, and I will explain three new interesting research directions that are pursued very actively at the moment, and give newest results:

  - Iterative solvers for time harmonic wave propagation: time harmonic wave propagation problems are very hard to solve by iterative methods. All classical iterative methods, like Krylov methods, multigrid, and also domain decomposition methods, fail for the key model problem, the Helmholtz equation. There are new, highly promising domain decomposition methods for such problems, which I will present, and I will also state precisely under which conditions they can work well, and when they still fail.

  - Coarse space components: domain decomposition analysis has lacked behind multigrid in the precise understanding of the interaction between the domain decomposition smoother and coarse space solver, and all classical domain decomposition solvers need Krylov acceleration to be effective, while multigrid does not. I will present a new spectral analysis of the Schwarz iteration operator, which allows us to achive as an accurate understanding of two level Schwarz methods as the seminal Fourier analysis of multigrid methods.

  - Time parallelization: new computing architectures have too many computing cores to parallelize only in space for evolution problems. I will present time and space-time domain decomposition methods and explain which can be effective for parabolic and hyperbolic problems.

• Some qualitative results on parabolic periodic eigenvalue problem (Idriss Mazari): 
  Parabolic periodic eigenvalue problems are important in the study of reaction-diffusion equations, and so is their optimisation with respect to the potential. The main question under consideration is the following: \emph{how to choose $m$ so as to minimise the eigenvalue $\lambda$?} Naturally we would need to specify the proper constraints, but, at a qualitative level, there are two main questions. The first one is the \emph{symmetry} of optimisers: is it true that it always better to replace $m$ with another potential (that satisfies the same constraints) but that is also symmetric in time and in space? The second one, has to do with the \emph{monotonicity} of the optimisers: provided the answer to the first question is positive, is it true that the optimiser is not only symmetric, but also monotonous? Let us emphasise that these questions are answered positively when considering the symmetry and monotonicity with respect to the space variable only.
   

  In this talk, we will present some recent time symmetrisation results for parabolic operators, which, to the best of our knowledge, are the first of the kind. This is a joint work with G. Nadin and B. Bogosel.

• High order cubature for iterated function system (Zoïs Moitier) : The talk is motivated by application to fractal antenna engineering, where antennas with self-similar shapes operate across multiple frequencies. Recent works by Chandler-Wilde, Gibbs, Hewett, Moiola and their co-workers propose boundary integral formulations for solving Helmholtz scattering problems on fractal screens with Dirichlet boundary conditions. These boundary integral equations utilize the Hausdorff measure on fractals instead of the standard Lebesgue's measure. This makes the evaluation of the boundary integral difficult from a numerical viewpoint. To tackle this point, we propose new interpolatory high-order tensor cubature formula on fractals, based on Chebyshev points on an interval. These formulas allow computing integrals of restrictions of regular functions to fractals with a high accuracy. We will discuss the construction of such cubature (in particular computation of the weights) and their properties (asymptotic behavior of weights).

• Le problème de Riemann sur réseau (Régis Monneau) :  Motivé par des questions de trafic routier sur réseau, on considère des lois de conservations scalaires sur une jonction constituée de n+m branches, avec n entrées et m sorties.En toute généralité, on montre qu'il y a une correspondence univoque entre 3 objets différents: les solvers de Riemann à la jonction, les germes de Riemann (constitués des solutions stationnaires à la jonction), et les flux de Godunov à la jonction. De plus, pour les solvers L^1-contractants (qu'on appelle solvers de Kruzkov), on montre qu'il y a une bonne théorie d'existence et d'unicité des solutions des EDP.

• TBA (Jean-Michel Roquejoffre) :

• TBA (Luca Rossi) :

• TBA (Filippo Santambrogio) :