This topic is the subject of our important collaboration with Maxence Cassier (Institut Fresnel). and corresponds the PhD thesis of Alex Rosas Martinez who started in November 2020 and has been defended in October 2023.

A first part of the thesis has been devoted to the large time behaviour of the associated Cauchy problem for dissipative version of generalized Lorentz media. The main result is the polynomial stability of this model. A first article on the approach via "frequency dependent" Lyapunov methods has been accepted for publication. More precise results have then been obtaines via a (more involved) spectral approach : the corresponding article has been submitted.

A second part of the thesis concernes guided waves by a slab of a non dissipative metamaterial (a Drude material) embedded in the vacuum. When this slab is homogeneous one can compute explicitly the dispersion relation of the modes. A thorough study of this dispersion relation leads to new existence and dispersion results which are quite different from those obtained with a slab of dielectric material. An article is in preparation.

This work is a continuation of the research done in collaboration with B. Desprès et al. on the degenerate elliptic equations describing plasma heating and is a part of the PhD thesis of E. Peillon. Plasma heating is modelled by the Maxwell equations with variable coefficients, which, in the simplest 2D setting can be reduced to the 2D Helmholtz equation, where the coefficient the principal part of the operator changes its sign smoothly along an interface. Such problems are naturally well-posed in a certain weighted Sobolev space; however, the corresponding solutions cannot contribute to the plasma heating, due to their high regularity.

It is possible to demonstrate that plasma heating is induced by singular solutions, which are square integrable but do not longer lie in this weighted Sobolev space. From the theoretical viewpoint, the explanation of the plasma heating phenomenon is based on the limiting absorption principle. No justification was known, except in some special cases. We have obtained a proof of the limiting absorption principle which makes use of the refined studies of the regularity of the limiting solution.In addition, in some situations, we proved that the corresponding singular solutions can be represented as a product of an $H^1$-function varying in tangential direction along the interface where the variable coefficient changes its sign, and a singular function depending on the normal direction.

The numerical method suggested in previous works is based on exploiting the plasma heating property, however it relies on a variational formulation which requires $H^2$-regularity of the tangential part. We were able to alter the existing variational formulation in the way that requires a regularity of this tangential part that conforms with the theory; interestingly, this allows to use lower order finite elements in the numerical simulation while preserving the general order of convergence of the scheme. Convergence has been observed on many numerical experiments when the mesh is refined. Finally, the numerical algorithms can be drastically simplified to take into account jump conditions at the interface.

We started from the scalar equation $\text{div}\left(\sigma \nabla u\right)-{\omega }^2\eta u=f$ in a domain $\Omega$ (plus boundary conditions), where $\sigma$ and $\eta$ are real-valued, and piecewise constant. Specifically, $\sigma$ is strictly positive in part of the domain, and stricly negative elsewhere. When the problem is well-posed in $H^1\left(\Omega \right)$, meshing rules have been designed in the past to solve the problem with the finite element method (the so-called T-conform meshes), that ensure convergence of the discrete solution towards the exact solution. Following the Master's thesis of David Lassounon (2021) in which the model with $\eta =0$ was addressed, we investigated a method based on control techniques, that allows in principle to compute solutions without having to comply with those meshing rules. The mathematical theory has been completed, and the numerical results confirm theory. Currently, we are investigating similar issues for the 2D Maxwell equation $\mathbf{\text{curl}}\left({\mu }^{-1}\text{curl}𝐄\right)-{\omega }^2\epsilon 𝐄=𝐟$ in $\Omega$ (plus b.c.). The mathematical analysis is under way.

A collaboration with Juan Pablo Borthagaray (DMEL, Universidad de la República, Montevideo, Uruguay). The long term goal is to better take into account interface transmission conditions between a classical material and and metamaterial. The purely local models have limitations, in the sense that they are not well-posed mathematically in some configurations. On the other hand, nonlocal models allow to take transmission conditions in a more flexible manner but, on the downside, they are much more expensive to solve numerically. So, the thread currently investigated with Juan Pablo Borthagaray is to build a global model that couples local to nonlocal models, the former for their low numerical cost, the latter for their flexibility. As a first step, we focus on the design of a global diffusion model that couples local and nonlocal models, with fixed-sign diffusivity everywhere: there exist several choices to realize the coupling, not all of them being equivalent. Mathematical analysis of the most promising is currently under way.

In the context of a collaboration with Matias Ruiz (University of Edinburgh) who spent 3 months at POEMS (from october to december, 2021), we have started a work concerning theoretical and numerical aspects of the so-called plasmonic eigenvalue problem. This problem can be formulated as follows, considering time-harmonic electromagnetic scattering (at a fixed frequency) by a metallic particle of given (possibly complex) permittivity $\epsilon$ in vacuum. Thanks to integral equation methods or Dirichlet-to-Neumann map techniques, such a problem can be reduced to a problem set on the particle itself. In the absence of incident wave, the reduced problem can be seen as a non selfadjoint eigenvalue problem where $\epsilon$ plays the role of an eigenvalue. The eigenfunctions associated to a possible eigenvalue are called generalized normal modes. The questions we are interested in are the following. What can be said about the essential / discrete spectrum? Do the generalized normal modes form a complete family (Riesz basis ?) of the natural energy space? How can we compute these eigenfunctions and associated modes?

In order to deal first with a simple situation for which a dispersion equation can be derived, we have considered the two-dimensional Helmholtz equation in a half uniform waveguide, where the end of the waveguide plays the role of a rectangular metallic particle. The problem has been implemented using the finite element library XLiFE++. Some promising numerical results have already been obtained. They show in particular two categories of modes: bulk modes and plasmonic modes (localized near the interface between the metallic particle and vacuum).

We developed for several years a new method for the solution of 2D scattering problems with complex backgrounds, providing an alternative to Perfectly Matched Layers (PML) or other artificial boundary conditions. This method is called the Half-Space Matching (HSM) method. Based on half-plane representations for the solution, the scattering problem is rewritten as a system coupling (1) a standard finite element discretisation localised around the scatterer and (2) integral equations whose unknowns are traces of the solution on the boundaries of a finite number of overlapping half-planes contained in the domain. While satisfactory numerical results have been obtained for real wavenumbers, well-posedness and equivalence of this HSM formulation to the original scattering problem were established only for complex wavenumbers. Our new results, obtained in collaboration with Simon Chandle-Wilde (Reading University) concern the case of a real wavenumber and a homogeneous background. We proved that the HSM formulation is equivalent to the original scattering problem, and so is well-posed, provided the traces satisfy radiation conditions at infinity analogous to the standard Sommerfeld radiation condition. As a key component of our argument we show that, if the trace on the boundary of a half-plane satisfies our new radiation condition, then the corresponding solution to the half-plane Dirichlet problem satisfies the Sommerfeld radiation condition in a slightly smaller half-plane. We expect that this last result will be of independent interest, in particular in studies of rough surface scattering.

We are presently working, still in collaboration with Simon Chandler-Wilde, on the application of the HSM method to solve the diffraction by a 2D perfect infinite wedge. The difficulty is that we have to take into account non-homogeneous data (possibly non-decaying) on the infinite boundaries of the wedge.

In collaboration with Antoine Tonnoir from INSA of Rouen, we have extended the Half-Space Matching (HSM) method, first introduced for scalar problems, to elastodynamics, to solve time-harmonic 2D scattering problems, in locally perturbed infinite anisotropic homogeneous media. The HSM formulation couples a variational formulation around the perturbations with Fourier integral representations of the outgoing solution in four overlapping half-spaces. These integral representations involve outgoing plane waves, selected according to their group velocity, and evanescent waves. Numerically, the HSM method consists in a finite element discretization of the HSM formulation, together with an approximation of the Fourier integrals. We have performed numerical results, validating the method for different materials, isotropic and anisotropic, and we have compared them to results obtained with the Perfectly Matched Layers (PML) method. For materials for which PMLs are unstable in the time domain, these results highlight the robustness of the HSM method, contrary to the PML method which is very sensitive to the choice of the parameters.

This work, realized during the PhD of Amond Allouko (funded by the European training Network ENHAnCE, in partnership with CEA-List) concerns the Half Space Matching method described just above. A main ingredient of this method is a half-space formula for the outgoing scattered field. This formula is based on a convolution with a half-space Green function, whose partial Fourier transform is known analytically. Then computing this kernel amounts to evaluate Fourier integrals which may become highly oscillating, so that they cannot be evaluated with standard quadrature formulas. The difficulty is aggravated by the fact that oscillations accumulate at the branch points if the function to integrate.

We proposed two ways for improving both the accuracy and the efficiency of the evaluation of this kernel $K(𝐱,𝐲)$. For an evaluation of the kernel far from the point source (large $|𝐱-𝐲|$), a simple far-field formula can be used. In other cases, a rotation of the Fourier path in the complex plane allows to get rid of the oscillations and of the singularity at the branch points. For an angle of rotation $\alpha$, the formula is valid everywhere except when the segment defined by $𝐱$ and $𝐲$ makes an angle less than $\alpha$ with the boundary of the half-space. Numerical experiments for the 2D isotropic and anisotropic cases confirm that these two ideas dramatically reduce the cost of evaluation of the kernel.

The second approach, contrary to the far-field formula, can be used to get a factorization of the dense matrices appearing in the HSM method, which could be used to accelerate a GMRES resolution of the system.

This idea has been extended to the case of an isotropic elastic plate, where the expression of the kernel involves both a partial Fourier-tranform, parallel to the plate, and a modal decomposition on the so-called $\xi$-Lamb modes, in the thickness. We have shown that the components of the Green tensors can be expressed as sums of scalar Fourier integrals, with properties similar to the ones studied in the scalar case. An interesting point is that the method can be adapted to the treatment of inverse modes (with phase and group velocities of opposite signs), by simply changing the sign of the angle of rotation $\alpha$. This new treatment of the Fourier integrals, combined with other improvments of the implementation, allowed to reduce drammatically the time of execution of the HSM method for a 3D scattering problem in an isotropic elastic plate. A similar treatment of the Fourier integrals for an anisotropic plate still raises many open questions.

During the internship and then during the beginning of the PhD of Sarah Al Humaikani, we have been interested by the application of the HSM method to 2D heterogeneous media that could represent a junction of several open waveguides. More precisely, we consider configurations where each half-plane of the HSM is stratified, with a stratification orthogonal to the boundary of the half-plane. This allows to exploit the generalized Fourier transform to derive, for any given trace, an analytic representation of the solution in each half-space.

Up to now, we considered the case where each half-space is either homogeneous, either a planar dioptra (which means that the coefficients of the equation are constant on each side of a planar interface). We generalized to this case the HSM software developed previously for homogeneous half-planes in the XLiFE++ library.

We proved some years ago the following result : there aren't non trivial square integrable solutions to the Helmholtz equation in a 2D conical domain with opening angle larger than $\pi$. We proved this year that this result can be generalized to some Helmholtz equations with non-constant coefficients. More precisely, the conical domain must be a union of half-planes, such that, as in the previous paragraph, each half-plane is either homogeneous, either a planar dioptra.

In this work, joint with Martin Halla (post-doc at Uni Göttingen) and Markus Wess (post-doc at TU Wien) we have answered the following question : since anisotropic media does not exhibit backward propagating waves in radial directions, are radial PMLs stable in this case?

We start with the simplest model of this kind: anisotropic wave equation, for which much can be computed analytically. Our numerical experiments were quite inconclusive: in fact we noticed instabilities only on fine discretizations. Again, to analyze the problem, we work in the Laplace domain. The analysis of the complex-scaled fundamental solution and underlying PDE revealed the following:

This resembles very much our previous findings for frequency-domain behaviour of Cartesian PMLs for time-harmonic anisotropic acoustic wave equation, done in the framework of the postdoc of Maria Kazakova.

Although we can ensure stability of the continuous solution by choosing sufficiently large physical domain, this does not seem true for the discrete solution. Therefore, we suggest the following: the radial PMLs can be shown to be stable if instead of the classical Bérenger's scaling $r+\frac{\sigma (r-r_{pml})}{s}$, we make use of the complex frequency shifted scaling $r+\frac{\sigma (r-r_{pml})}{s+\gamma }$, with $\frac{\sigma }{\gamma }<c$, where $c$ depends on the anisotropy of the media. In general, if we truncate such PMLs at the length $L$, we cannot expect their convergence, unless $L$ depends on the final time (which is what we would like to avoid). Therefore, instead we do not truncate the PMLs and discretize the problem with the help of the infinite elements. We have almost finished the manuscript summarizing our findings.

This work is done in the framework of the PhD of Aurélien Parigaux, co-advised by Anne-Sophie Bonnet-Ben Dhia and Lucas Chesnel from Inria team IDEFIX.

Electromagnetic waveguide-based components play an important role in many application areas. We are particularly interested in configurations where several semi-infinite guides interact in a bounded zone of space, which is discretized by finite elements. In this context, a major difficulty is to truncate the guides by imposing well-chosen transparent conditions, in order to obtain a well-posed problem corresponding to the initial problem. This question is very well understood for scalar models of acoustic guides, but remains a delicate subject for heterogeneous electromagnetic guides.

Up to now, we have considered the case of an homogeneous electromagnetic waveguide with a simply connected cross-section. It is well-known in this case that a transparent boundary condition which links the tangential electric field to the tangential magnetic field on the artificial boundary, called EtM condition, can be written using a modal expansion on Transverse Electric and Transverse Magnetic modes. Our contributions are the following ones.

There are several important applications where one must solve a scattering problem in a domain with infinite boundaries; e.g. seismic waves in a stratified medium, or water waves in the ocean. In order to handle such infinite interfaces in a boundary integral equation context, a few options are available. For simple geometries, one can construct a problem specific Green function which incorporates the imposed boundary condition on all but a bounded portion of the interface, thus reducing the problem again to integrals over bounded curves/surfaces. This has the advantage of being conceptually simple provided such problem-specific Green function can be efficiently computed. Unfortunately, that is usually not the case, and the computation of problem-specific Green functions involves challenging integrals which must be approximated numerically.

An alternative approach consists of utilizing the free-space Green function — readily available for many PDEs of physical relevance — in conjunction with a truncation technique. For non-dissipative problems, the slow (algebraic) decay — or even logarithmic growth — of the Green function makes the choice of truncation technique an important aspect which needs to be considered in order to reduce the errors associated with the domain's truncation. An easy-to-implement solution, the so-called windowed Green function approach, has been proposed and validated in several configurations.

We are currently investigating the interest of using instead a complex-scaled Green function, which amounts to combine the method of perfectly-matched-layers (PMLs) and boundary integral equations.

We have applied this idea to the 2D linear time-harmonic water wave problem, in finite or infinite depth, writing a complex-scaled integral equation on the free surface. The formulation uses only simple function evaluations (e.g. complex logarithms and square roots). Let us mention that because the water waves are surface waves, the windowed Green function approach does not work for this problem.

Numerical results show that the error decays exponentially with respect to the distance of truncation.

Another advantage of our method is that the formulation has a simple quadratic dependence with respect to the frequency, and is well-suited for computing complex scattering frequencies.

An article is currently under review concerning this work.

This study is done in collaboration with Bruno Leblé (Naval Group). It aims at developing computational strategies for modelling the impact of a far-field underwater explosion shock wave on a structure, in deep water. An iterative transient acoustic-elastic coupling is developed to solve the problem. Two complementary methods are used: the Finite Element Method (FEM), that offers a wide range of tools to compute the structure response; and the Boundary Element Method (BEM), more suitable to deal with large surrounding acoustic fluid domains. We concentrate on developing a transient FEM-BEM coupling algorithm with a fast convergence. Since the fast transient BEM is based on a fast multipole-accelerated Laplace-domain BEM (implemented in the in-house code COFFEE), extended to the time domain by the Convolution Quadrature Method (CQM), we have proposed global-in-time Robin-Robin coupling iterations (the coupling surface being either the fluid-solid interface or immersed in the fluid), proved the convergence of this iterative process, and demonstrated their effectiveness on various spatially 2D simulations. Next, this approach has been implemented in non-intrusive fashion into code_aster (the open-source EDF general-purpose structural FEM analysis library) in order to demonstrate its adaptability to existing industry computational platforms, and extended that implementation to the case of partially-immersed elastic structures representative of configurations from the naval industry.

This research is done in collaboration with Carlos Pérez-Arancibia (University of Twente, Netherlands) and Thomas Anderson (Univ. of Michigan, USA). We initially developed a general high-order kernel regularization technique applicable to all four integral operators of Calderón calculus associated with linear elliptic PDEs in two and three spatial dimensions. The proposed technique relies on interpolating the density function around the kernel singularity in terms of solutions of the underlying homogeneous PDE, so as to recast singular and nearly singular integrals in terms of bounded (or more regular) integrands. We developed a simple interpolation strategy which, unlike previous approaches, does not entail explicit computation of high-order derivatives of the density function along the surface. Furthermore, the proposed approach is kernel- and dimension-independent, thus making the procedure applicable, in principle, to any PDE with known Green’s function. In the initial work we have focused on Nyström methods for the (scalar) Laplace and Helmholtz equations and the (vector) elastostatic and time-harmonic elastodynamic equations. We have extended this approach to the evaluation of volume potentials of the kind involved in e.g. Lippmann-Schwinger volume integral equations, and an article is currently under review.

This research is done in collaboration with Carlos Pérez-Arancibia (University of Twente, Netherlands), Thomas Strauszer-Caussade (PUC, Chile), and Augustín Fernandez-Lado (Intel Coorporation, Oregon, USA). This work introduces a novel boundary integral equation (BIE) method for the numerical solution of problems of planewave scattering by periodic line arrays of two-dimensional penetrable obstacles. Our approach is built upon a direct BIE formulation that leverages the simplicity of the free-space Green function but in turn entails evaluation of integrals over the unit-cell boundaries. Such integrals are here treated via the window Green function method. The windowing approximation together with a finite-rank operator correction—used to properly impose the Rayleigh radiation condition—yield a robust second-kind BIE that produces superalgebraically convergent solutions throughout the spectrum, including at the challenging Rayleigh–Wood anomalies. The corrected windowed BIE can be discretized by means of off-the-shelf Nyström and boundary element methods, and it leads to linear systems suitable for iterative linear algebra solvers as well as standard fast matrix–vector product algorithms. A variety of numerical examples demonstrate the accuracy and robustness of the proposed methodology.

This research is being done in collaboration with Aline Lefebvre-Lepot (CMAP), and in the context of the Ph.D. thesis of Dongchen He. We are developing a method for accurately solving boundary integral equations on implicitly defined surfaces in ${ℝ}^d$. The method relies on combining a dimension-indepent technique for generating a high-order surface quadrature on level-set surfaces, with the general-purpose density interpolation method for handling the singular and nearly-singular integrals ubiquitous in boundary integral formulations. The proposed methodology, based on a Nystrom discretization scheme, bypasses the need for generating a body conforming mesh for the implicit surface, allowing in principle for an efficient coupling between a robust dynamic level-set representation of deforming surfaces, and boundary integral equation solvers. Particular attention is being paid to the computation of singular integrals when only a surface quadrature is available (i.e. in the absence of an actual mesh). We believe such techniques could prove useful in applications involving microscopic flows governed by the Stokes equations; in particular, the simulation of micro-swimmers and droplet microfluidics.

The aim of this PhD study, done in collaboration with Gilles Serre (Naval Group), is to develop an optimized method to determine numerically the 3D Green's function of the Helmholtz equation in presence of an obstacle of arbitrary shape. The determination of such so-called adapted Green's function is required to solve the Lighthill's equation, notably giving the hydrodynamic noise radiated by a ship. The case of a rigid obstacle satisfying a Neumann boundary condition has been treated in a first PhD and this second PhD extends the study to the penetrable case. In the fluid case, for two fluids separated by interface, first an integral equation is derived, expressing the adapted Green's function versus the two free space Green's functions associated to both fluids. Then a Boundary Element Method (BEM) implemented in the code COFFEE is used to compute the adapted Green's function. In order to consider realistic geometries in a reasonable amount of time, fast BEMs are used: fast multipole accelerated BEM and hierarchical matrix based BEM. The validity of these two approaches is tested on a simple sphere geometry for which an analytic solution can be determined. Moreover the numerically costly application to the screen effect of a bubble curtain, a vertical layer of many air bubbles in the ocean, is successfully implemented. Extension to an elastic body surrounded by a fluid is under consideration. The difficulty is then to use the tensorial elastic Green's function.

This research is developed in collaboration with Marc Lenoir (retired) and Daniel Bouche (CEA).

It has recently been realized that the combination of integral and asymptotic methods was a remarkable and necessary tool to solve scattering problems, in the case where the frequency is high and the geometry must be finely taken into account.

In order to implement the high-frequency approximations that we are developing as part of these hybrid HF/BF methods, we have introduced new geometric tools into the XLiFE++ library, in particular splines and B-Splines approximations as well as parameterizations to access quantities such as curvature, curvilinear abscissa, etc. We have also achieved the interface between the OpenCascad library and the XLiFE++ library, which allows us to manage complex geometric situations (cylinder and sphere intersection for example). In parallel, we have completed the implementation of 2D HF approximations in the shadow-light transition zone based on the Fock function and the diffraction by a 2D corner using asymptotics approximation. More recently we began to investigate the 3D case. As a first step we developed in XLiFE++ some new tools to compute geodesics on any surfaces (parametrized or only meshed). Now, the work consists in extending the 2D asymptotic expansions along the geodesics.

This research is done in collaboration with Jeffrey Galkowski (University College London) and Euan Spence (University of Bath).

We studied how to solve the Helmholtz equation posed in the exterior of a smooth obstacle, with Neumann boundary conditions, and using second-kind boundary integral equations (BIEs). In the context of Galerkin discretisation, it is important to understand the behaviour of Galerkin error when the frequency increases, and high-frequency estimates for the considered boundary integral operators are usually necessary to explicit the dependency between the discretisation parameters and the frequency.

In the case of Dirichlet boundary condition, results are well-known in the literature for the standard second-kind BIE, but in the case of Neumann boundary condition, where regularisation techniques are commonly used, such estimates are rare. Thus, we developed new high-frequency estimates for a particular boundary integral equation using a single-layer operator with complex frequency as regularising operator, which led to the first result (that we know of) about frequency-explicit bound for the discretisation error of a second-kind formulation for the Helmholtz equation with Neumann boundary condition.

This topic, in the framework of the HyBox project, is the subject of the Post-Doc of Zoïs Moitier.

The goal of the postdoc is to develop efficient numerical method to compute the scattering by fractal screen. The motivation comes from applications to, for example, fractal antenna engineering. A fractal antenna has a shape with self-similar features at different scales which allows the antenna to operate at multiple frequencies or even for a range of frequencies.

Recently, integral equations for the solution of the Helmholtz scattering problems with Dirichlet conditions have been proposed in the literature. The specificity of these equations is that they involve integrals that use the standard Helmholtz Green's function but the (non standard) Haussdorf measure on fractal sets, instead of the Lebesgue's one. This makes the resolution of these equations particularly intricate. The discretization approach we adopt is to construct a fractal based mesh by dividing the original fractal set into small subfractals (whose size is the equivalent of a mesh stepsize for usual finite elements) and to use a Galerkin approximation with piecewise constant functions. Our contributions have been developed in two directions

As part of the exploratory action OptiGPR3D, our aim is to combine coupling the Finite Element Method (FEM) and the Boundary Element Method (BEM) with domain decomposition methods. This integration is intended to provide a rapid iterative solver with guaranteed convergence, even when dealing with complex media. In Antonin Boisneault's internship, we first explored diverse formulations for FEM-BEM coupling formulations, incorporating various transmission conditions. Our objective was to assess their effectiveness when solved with an iterative solver such as GMRES, along with different types of preconditioners. We observed how the formulations using combined operators were more efficient in terms of number of iterations, and more robust to restart. We also compared the properties of a classical FEM-BEM formulations with generalized impedance transmission conditions, with a less classical formulations proposed in the PhD thesis of Boris Caudron. In the context of the PhD thesis of Antonin, in collaboration with Marcella Bonazzoli (Inria Idefix) and Xavier Claeys (Sorbonne University), we plan to extend this study of FEM-BEM couplings to the multitrace framework, which is a domain decomposition approach robust to junction point with exponential convergence.

This research topic is developed in collaboration with Hadrien Bériot (SIEMENS) and Gwénaël Gabard (LAUM). It corresponds to the post-doctoral work of Rose-Cloé Meyer, funded in part by the french "Plan de relance" program and SIEMENS. In this project, we have studied the coupling of a pseudo-spectral (PS) method with a nodal discontinuous Galerkin (DG) finite element method to solve time-domain acoustic wave problems. The PS method is very efficient, but is limited to rectangular shaped domains. In contrast, the DG method is easily applied to complex geometries, but can become costly when considering large-scale problems. The idea is to combine the strengths of these two methods: the PS method is used on the part of the domain without geometric constraint, while the DG method is used around the PS region to represent the geometry accurately. An overlap is introduced between the two domains to implement the coupling between the two numerical methods. A windowing in the spectral domain improves the convergence of the overall model. The exchange of information between the two domains is made possible even with non-conforming meshes, through an interpolation of the solution. We have validated the coupling method with one and two-dimensional numerical results, and we have studied the influence of different parameters on the accuracy of the coupling.

This research topic is developed in collaboration with Théophile Chaumont-Frelet (Inria, Rapsodi) and Gwénaël Gabard (LAUM), within the framework of the WavesDG ANR project. We have proposed a new hybridizable discontinuous Galerkin method, named the CHDG method, for solving time-harmonic scalar wave propagation problems with homogeneous media. This method relies on a standard discontinuous Galerkin scheme with upwind numerical fluxes and high-order polynomial bases. Auxiliary unknowns corresponding to characteristic variables are defined at the interface between the elements, and the physical fields are eliminated to obtain a reduced system. The reduced system can be written as a fixed-point problem that can be solved with stationary iterative schemes. Numerical results with 2D benchmarks have been proposed to study the performance of the approach. Compared to the standard HDG approach, the properties of the reduced system are improved with CHDG, which is more suited for iterative solution procedures. In particular, iterative solution procedures with CGNR or GMRES required smaller numbers of iterations with CHDG. We are currently extending the CHDG method to scalar problems with heterogeneous media. In particular, we are considering standard numerical upwind fluxes as well as other standard fluxes and non-standard higher-order fluxes. Theoretical results obtained in the homogeneous case can be extended to the heterogeneous case for some of these fluxes. Preliminary 1D and 2D results show that the extended CHDG method is still competitive with the standard HDG method.

In this research topic, we have considered the iterative finite element solution of Helmholtz problems with near-resonance phenomena. Our goal was to interpret the convergence of GMRES for solving the resulting linear systems, and to do connection with the original physical problems. In practice, it is difficult to interpret the convergence of Krylov methods. In the context of the internship of Timothée, we have studied convergence results based on harmonic Ritz values. Superlinear convergence behavior can be interpreted thanks to this approach. We have used this technique to understand the GMRES convergence for a 2D cavity benchmark implemented in a MATLAB finite element code. We observed that the superlinear convergence behavior is related to the approximation of the small eigenvalues of the matrix by the small harmonic Ritz values computed during the iterations. Finally, we have studied the influence of preconditions. In the context of the PhD thesis of Timothée, in collaboration with Victorita Dolean (TU/e, The Netherlands), we plan to extend this study, and to investigate novel preconditioning strategies.

This work is a continuation of the PhD thesis of É. Parolin on non-local and contitutes the subject of the short post-doctoral stay of Jérémy Heleine in the framework of the RAPID Project Hybox. A first contribution was to write and analyse a dual version of the multi-trace formulation of Claeys-Parolin at the continuous level. This formulation is adapted to the use of midex hybrid finite elements for the discretization of the local Helmholtz problems.

The interest of the multi-trace formulation is that its leads to an exponential convergence of the iterative domain decomposition algorithm even in the presence of junction points. A drawback is that the communication process between subdomains couples subdomains which are not neighbour the one from the other. To avoid this, J. Heleine has proposed a first "quasi-localized" multi-trace formulation based ofn the use of a partition of unity wirh cut-off functions. The analysis and the implementation of the method remain to be done.

This is a joint work with Josselin Garnier (X-CMAP) and Pierre Millien (Institut Langevin). In the context of providing a mathematical framework for the propagation of ultrasound waves in a random multiscale medium, we consider the scattering of classical waves (modeled by a divergence form scalar Helmholtz equation) by a bounded object with a random composite micro-structure embedded in an unbounded homogeneous background medium. Using quantitative stochastic homogenization techniques, we provide asymptotic expansions of the scattered field in the background medium with respect to a scaling parameter describing the spatial random oscillations of the micro-structure. Introducing a boundary layer corrector to compensate the breakdown of stationarity assumptions at the boundary of the scattering medium, we prove quantitative $L^2$ and $H^1$ error estimates for the asymptotic first-order expansion. The theoretical results are supported by numerical experiments.

In the context of time-harmonic scattering by a bounded penetrable scatterer, interior transmission eigenvalues correspond, when they are real, to discrete frequencies for which there exists an incident wave which does not scatter. At such frequencies, inversion algorithms such as the linear sampling method fail. Real interior transmission eigenvalues are a part of a larger spectrum made of complex values, which has been largely studied in the case where the difference between the parameters in the scatterer and outside does not change sign on the boundary. In collaboration with Lucas Chesnel (INRIA team IDEFIX), we obtained some years ago some results for a 2D configuration where such sign-change occurs. The main idea was that, due to very strong singularities that can occur at the boundary, the problem may lose Fredholmness in the natural $H^1$ framework. Using Kondratiev theory, we proposed a new functional framework where the Fredholm property is restored. This is very similar (while more intricate) to what happens for the plasmonic eigenvalue problem in presence of a corner of negative material.

This explains why we decided to extend the numerical method we used for plasmonic eigenvalues to interior transmission eigenvalues. It has been already checked that a naive finite element computation does not converge, and that the convergence is restored by using some complex scaling near the singular point.

This work is devoted to two different inverse problems which arise in oceanography. The first one is the identification of a tsunami from measurements of the free surface deformation, such tsunami being characterized by a brutal displacement of the bottom surface of the ocean. The second one is the bathymetry problem, which consists in recovering the underwater depth by using the same measurements as in the previous problem. In these two problems, the goal is to retrieve some sea bottom parameters from surface data, but while the loading is passive in the first problem (the tsunami is a natural phenomenon), it is active in the second one (a source generated artificially is required). These two problems are severely ill-posed. At the beginning of the PHD thesis of Raphael Terrine, for simplicity we have first considered some potential models in the frequency regime and in two dimensions. The strategy we use is composed of two steps. Firstly, we retrieve the volumic 2d solution with the help of a mixed formulation of the Tikhonov regularization, secondly we reconstruct the unknown parameter of the sea bottom by solving a 1d problem. We use an iterative method to determine the regularization parameter as a function of the amplitude of noise given by the Morozov principle. One of the goal is to achieve conclusions on the right choice of the model used in the inversion process, depending on the frequency.

Work done in collaboration with Shravan Veerapaneni and his group (University of Michigan, USA) and Thomas Anderson (Rice University, USA).

This collaboration addresses the design and implementation of computational methods for solving shape optimization problems involving slow viscous fluids modelled by the Stokes equations. We have developed a new boundary integral equation (BIE) approach for finding optimal shapes of peristaltic pumps that transport viscous fluids, as well as dedicated formulas for computing the shape derivatives of the relevant cost functionals and constraints, expressed in boundary-only form. By employing these formulas in conjunction with a BIE approach for solving forward and adjoint problems, we completely avoid the issue of volume remeshing when updating the pump shape as the optimization proceeds. This is especially useful when the fluid carries objects (e.g. particles, deformable vesicles) whose motion is not known beforehand. Significant cost savings are achieved as a result, and we demonstrate the performance on several numerical examples. We also investigate methods allowing the numerical evaluation of negative fractional Sobolev norms on arbitrary domains, which in our context are involved in the quantification of the quality of mixing for concentrations carried by fluid flows. We formulated and demonstrated a treatment based on Padé approximants, and are currently working on an alternative approach based on volume integral equations associated with fractional-order PDEs.

Work done in collaboration with Bojan Guzina and Prasanna Salasiya, University of Minnesota, USA.

In this collaboration, we develop an error-in-constitutive-relation (ECR) approach toward the full-field characterization of linear viscoelastic solids described by free energy and dissipation potentials. Assuming the availability of full-field interior kinematic data, the constitutive mismatch between the kinematic quantities and their “stress” counterparts, commonly referred to as the ECR functional, is established with the aid of Legendre-Fenchel gap functionals linking the thermodynamic potentials to their energetic conjugates. We then proceed by introducing the modified ECR (MECR) functional as a linear combination between its ECR parent and the kinematic data misfit, computed for a trial set of constitutive parameters. The resulting stationarity conditions then yield a coupled forward-adjoint evolution problem, which allows us to establish compact expressions for the MECR functional and its gradient with respect to the viscoelastic constitutive parameters. The formulation is established assuming either time-domain or time-harmonic data. These developments have so far been implemented in a two-dimensional time-harmonic setting, and demonstrated on the multi-frequency MECR reconstruction of a piecewise-homogeneous standard linear solid and a smoothly-varying Jeffreys viscoelastic material.

Work done in collaboration with Wilkins Aquino (Duke University, USA) and Jerry Rouse (Sandia Natl. Lab., USA).

This collaboration is concerned with the definition and demonstration of a numerical framework for designing diffuse fields in rooms of any shape and size, driven at arbitrary frequencies. In particular, we aim at overcoming the Schroeder frequency lower limit for generating diffuse fields in an enclosed space. We formulate the problem as a Tikhonov regularized inverse problem and propose a low-rank approximation of the spatial correlation that results in significant computational gains. Our approximation is applicable to arbitrary sets of target points and allows us to produce an optimal design at a computational cost that grows only linearly with the (potentially large) number of target points. We demonstrate the feasibility of our approach through numerical examples where we approximate diffuse fields at frequencies well below the Schroeder lower limit.

The surface homogenization technique in acoustics applied to model a rigid surface with a periodic shape by an equivalent boundary condition set on a flat surface is well established when the fluid is at rest. We have extended this approach to a fluid in motion along the periodic surface. We have considered a potential mean flow satisfying the Laplace equation and the acoustic perturbations are then found to satisfy a modified Helmholtz equation. A difficulty is that the acoustic perturbations are coupled to the unknown mean flow. Both equations are homogenized and effective boundary conditions on a mean flat surface are derived. These equivalent boundary conditions are validated by comparison with a Finite Element calculation done on the actual periodic geometry.

This work is a collaboration with Lucas Chesnel (INRIA/IDEFIX) and concerns a Laplace type problem with a generalized impedance boundary condition of the form ${\partial }_{\nu }u=-{\partial }_x\left(g{\partial }_{x}u\right)$ on a flat part $\Gamma$ of the boundary. Here $\nu$ is the outward unit normal vector to $\partial \Omega$, $g$ is the impedance parameter and $x$ is the coordinate along $\Gamma$. Such problems appear for example in the modelling of small perturbations of the boundary. In the literature, the cases $g=1$ or $g=-1$ have been investigated. In this work, we address situations where $\Gamma$ contains the origin and $g\left(x\right)=H\left(x\right)x^{\alpha }$ or $g\left(x\right)=-{\mathrm{sign}\left(x\right)\left|x\right|}^{\alpha }$ with $\alpha \ge 0$. Here $H$ and $\mathrm{sign}$ denote respectively the Heaviside and the sign functions. In other words, we study cases where $g$ vanishes at the origin and changes its sign. The main message is that the well-posedness in the Fredholm sense of the corresponding problems depends on the value of $\alpha$. For $\alpha \in [0,1)$, we show that the associated operators are Fredholm of index zero while it is not the case when $\alpha =1$. The proof of the first results is based on the reformulation as 1D problems combined with the derivation of compact embedding results for the functional spaces involved in the analysis. The proof of the second results relies on the computation of singularities and the construction of Weyl's sequences. We also discuss the equivalence between the strong and weak formulations, which is not straightforward. Finally, we provide simple numerical experiments which seem to corroborate the theorems.

This is a joint work with Josselin Garnier (X-CMAP) and Pierre Millien (Institut Langevin). This project aims at modelling and studying the propagation and diffusion of ultrasounds in complex multi-scale media in order to obtain quantitive images of physical parameters of these media.

The propagation of ultrasounds in biological tissues is a complex multi-scale phenomenon : the scattered wave is produced by small (compared to the wavelength) inhomogeneities randomly distributed throughout the medium. In order to characterize the response of this medium to an incident plane wave, we perform an asymptotic expansion of the scattered wave with respect to the size of the inhomogeneities using stochastic homogenisation techniques. The difficulties lie in the transmission conditions at the boundary of the medium. We derive quantitative error estimates given that the random distribution of inhomogeneities verifies mixing properties. Finally we present numerical simulations to illustrate and validate our results.

This is a joint work with Pierre Millien (Institut Langevin), Hatem Zaag (Paris 13), Amina Gharbi (Sfax) and Nabil Derbel (Sfax). In humid environment bio-materials exhibit a change from resistive to capacitive electrical properties and can hence be used in the design of humidity bio-sensors. The goal of this work is to model the influence of the adsorption process at the nano-scale on the effective electric properties. The adsorption process is modeled by random alterations of the conductivity on small thin patches at the surface of the material. Effective properties are then derived using stochastic homogenization techniques. The cylindrical geometry of the bio-material sample and in particular its curvature have to be taken into account in the definition of the first order correctors. In her internship Nour El Haddad derived the equations for those curvature-dependent correctors, and exhibited the effective homogenized surface conductivity. She also conducted numerical simulations in order to confront them with the experimental results obtained by Amina Gharbi (Sfax) and Nabil Derbel (Sfax).

This is a joint work with Bruno Stupfel from CEA-CESTA. We study the time-harmonic scattering by a heterogeneous object covered with a thin layer of nanoparticles. The size of the particles, their distance between each other and the layer’s thickness are all of the same order but small compared to the wavelength of the incident wave. Solving numerically Maxwell’s equation in this context is very costly. To circumvent this, we propose, via a multi-scale asymptotic expansion of the solution, an effective model where the layer of particles is replaced by an equivalent boundary condition. We consider two configurations :

For both configurations, numerical simulations illustrate our theoretical results.

We study the time-dependent scalar wave equation in presence of a periodic medium when the period is small compared to the wavelength. The classical homogenization theory enables to derive an effective model which provides an approximation of the solution. But this effective model does not take into account the long time dispersive effects which appears naturally in periodic media. This is well known since the works of Santosa and Symes in the 90s and high order effective models involving high order differential operators of higher orders (at least 4) have been proposed for infinite periodic media.

The first question concerns the presence of boundaries or interfaces. Proposing boundary conditions for these models remain open questions. Note that one of the difficulty is that one has to derive variational conditions for differential operators of order 4 from original variational conditions for operators of order 2. The past few years, we have proposed a new asymptotic expansion which takes into account the microscopic phenomena near the boundaries. Our approach enables to propose appropriate boundary conditions for these models. The well-posedness of such models is under study. We want then to tackle similar questions for Maxwell’s and elastodynamics equations. This work is done in collaboration with Bruno Lombard (LMA Marseille) and Remi Cornaggia (Institut d’Alembert, Sorbonne Université).

The second question concerns the extension of this long time homogenization to random media. Based on error estimates, one can show that for periodic media, the time scale at which dispersive effects appear is of order (${ϵ}^{-2}$) when $ϵ$ is the period of the medium. This is not so clear for random media where it seems that this timescale seems to be much shorter. In the internship of E. Meddouri and O. Empereur, we have tried to quantify this timescale numerically.

The Foldy-Lax model is an asymptotic model used to compute the solution to the problem of scattering by small obstacles. While this subject had been fairly well-studied in the frequency-domain, its time-domain analysis is still in its infancy stage. In our previous work, we have suggested a construction of an asymptotic model as a Galerkin spatial semi-discretization of associated boundary integral formulations. The main idea is to choose the basis functions in a way that the convergence of the method is ensured not by increasing the cardinality of the Galerkin basis, but rather by decreasing the size of the obstacles. We have submitted a manuscript where we presented and analyzed the method for the asymptotic sound-soft scattering by circles.

Recently, we have shown that the same choice of the Galerkin basis as for the sphere case cannot yield convergence for particles of arbitrary shape (in 3D). This was confirmed by our numerical experiments. Therefore, we suggested an alternative choice of the basis, inspired by existing works of Sini et al. Namely, now we choose basis functions as equilibrium densities. The analysis however is more involved in this case, and is based on two ingredients: a direct (but not orthogonal) decomposition of the functional space for the error and handling low- and high-frequencies separately. Nonetheless, we are able to arrive at the relative second-order convergence results. The implementation of the method to validate the theoretical results is currently on the way.

The broad objective of this study is to model classes of composite materials as effective boundary or transmission conditions for the full Maxwell's equations (i.e. we do not consider transverse approximation). Mathematically, we assume that :

These assumptions enable to use techniques from asymptotic analysis and homogenization theory to derive the homogenized model. The motivation behind this work is computational: each derived asymptotic model offers a cheaper alternative to a direct numerical simulation, which is challenging due to the multi-scale nature of the problem leading to prohibitively expansive meshes. Once implemented, the derived asymptotic models would for example enable parametric design studies.

In our work, we have derived first-order transmission conditions for the two following families of materials:

The main outlook of this work is to derive an asymptotic model for an array of high-contrast and simply-connected inclusions above a perfectly-conducting surface.

This is the subject of the PhD thesis of C. Baudet which is part of the HyBox project (task T1.1).

In this work, we consider the diffraction of waves by an object partially covered by a periodic layer whose thickness tends to 0. This situation can model industrial applications where the layer is often made of a metamaterial with unusual wave propagation properties. For layers covering the whole object, this problem already has known solutions. In our case where the covering is only partial, the difficulty is to treat the tips of the layer for where no effective model is known so far.

Our approach is made of three steps

For now we have completed step 1 for a homogeneous layer, and numerics are in progress.

We study the time-dependent scalar wave equation in presence of a periodic medium when the period is small compared to the wavelength. The classical homogenization theory enables to derive an effective model which provides an approximation of the solution. But this effective model does not take into account the long time dispersive effects which appears naturally in periodic media. This is well known since the works of Santosa and Symes in the 90s and high order effective models involving high order differential operators of higher orders (at least 4) have been proposed for infinite periodic media. Dealing with boundaries and proposing boundary conditions for these models were open questions. Note that one of the difficulty is that one to derive variational conditions for differential operators of order 4 from original variational conditions for operators of order 2. The past few years, we have proposed a new asymptotic expansion which takes into account the microscopic phenomena near the boundaries. Our approach enables to propose appropriate boundary conditions for these models. The well-posedness of such models is under study. We want then to tackle similar questions for Maxwell’s and elastodynamics equations. This work is done in collaboration with Bruno Lombard (LMA Marseille) and Remi Cornaggia (Institut d’Alembert, Sorbonne Université).

This topic is the subject of a long term collaboration with Sébastien Imperiale (M3disim) and the unerics for this problem constituted the subject of the PhD thesis of Akram Beni Hamad, defended last September.

The part of the thesis dedicated to the case of cylindrical cables and more precisely to the design an original approach condining Nédélec’s edge elements on elongated prismatic meshes with a hybrid time discretization procedure which is explicit in the longitudinal directions and implicit in the transverse ones, has been accepted for publication in Computational methods in Applied Mathematics and presented at the Conference at the 10th Workshop on Numerical Methods for Evolution Equations in Heraklion. This includes a quantitative comparison of 3D results with the results of the simplified 1D model proposed previously.

In the non cylindrical case, the development of another hybrid method combining a conforming discretization in the longitudinal variable and a discontinuous Galerkin method in the transverse ones is still under way.

In collaboration with Bérangère Delourme (LAGA, Paris 13), we have studied the spectrum of periodic operators in thin graph-like domains: more precisely Neumann Laplacian defined in periodic media which are close to quantum graphs. Moreover, we exhibit situations where the introduction of lineic defects into the geometry of the domain leads to the appearance of guided modes. We dealt with rectangular lattices few years ago and more recently we are studying hexagonal lattices. In this last case, we have shown that the dispersion curves have conical singularities called Dirac points. Their presence is linked to the invariance by rotation, symmetry and conjugation of the model. We have also observed that the direction of the line defect leads to very different properties of the guided modes. Finally, we have also proven the stability of the guided modes when the position of the edge varies (keeping the same direction). We want now to (1) open gaps (around the Dirac points) in the spectrum of the periodic operator by breaking one of the invariance of the problem (2) study the effect on guided waves.

This work is done in collaboration with C.L. Fefferman (Princeton University) and M.I. Weinstein (Columbia University). We Consider the tight binding model of graphene terminated along a rational edge, i.e. an arbitrary line in a direction of periodicity of the structure. We present a comprehensive rigorous study of zero energy / flat band edge states; all zigzag-type edges support zero energy / flat bands and armchair-type edges support no zero energy / flat bands. We also perform a careful numerical investigations showing very strong evidence for the existence of non-zero energy (dispersive / non-flat) edge states. We are investigating now the existence of states which are bounded and oscillatory parallel to an irrational edge and which decay into the bulk. The idea is to construct an « edge » state for irrational termination as the limit of a sequence of edge state wave-packets (superpositions of edge states) of rationally terminated structures.

This was the subject of the PhD thesis of P. Amenoagbadji which was defended in December 2023. Our main objective is to develop original numerical methods for the solution of the time-harmonic wave equation where some quasi-periodicity arises in the heterogeneity or in the geometry of the propagation medium. This includes two situations:

This work is done in collaboration with Eric Ducasse, Marc Beschamps, Romain Kubecki (I2M, University of Bordeaux).

We develop a numerical simulation approach for ultrasonic NDT experiments on layered structures that aims at incorporating models for flaws or other local features (sensors, stiffeners,,,) into a semi-analytical computational framework for the unperturbed, ideal structure. The latter takes the form of the existing in-house code TraFiC developed at I2M by E. Ducasse and based on Laplace transform for the time variable and partial Fourier transforms along translation-independent or circumferential spatial coordinates; this code allows to model long-range wave propagation in undisturbed structures. The various flaws or features are then taken into account by using either small-size asymptotic models (which exploit the Green's tensors already implemented in TraFiC) or local finite element models and a domain decomposition iterative coupling approach. Regarding the latter, we established the convergence of DD iterations based on Robin boundary conditions on each (TraFiC or FE) subdomain having a shared interface. This work is undertaken through the jointly-advised thesis of Romain Kubecki, whose doctoral grant is co-funded by DGA and CEA LIST.

This is the continuation of the PhD thesis of A. Bensalah (Airbus) with whom we pursue our collaboration. We recall that aeroacoustics concerns the propagation of sound in a fluid in stationnary flow (for classical acoustics, the flow is at rest). The PhD of A. Bensalah (defended in 2018) was devoted to the Goldstein model in the time harmonic regime, for both mathematical and numerical issues.

We were able to prove that the model was well posed under the essential assumption that the base flow did not contain any closed streamline (plus additional assumption on the size of the vorticity of this flow). The case of recirculant flows, i.e. with closed streamlines, is much more delicate. During his thesis, A. Bensalah initiated the study of a simple model case : a 2D circular flow in an annulus.

This year, we have completed this work. We use the method of limiting absorption (where $\epsilon >0$ is the size of the absorption) and the main technical ingredients for the analysis are

This approach leads to the apparition of singular solutions that can be fully described. These solutions are outside the functional framework used for the analysis of the non recirculating case. The corresponding article is in preparation.

This is a work in collaboration with S. Imperiale (Medisim, Inria) and J. Rodríguez (University of Santiago de Compostela).

This relatively new subject has emerged first as a continuation of a rather old work with J. Rodríguez in the framework of the contract ADNUMO with Airbus about numerical modeling in transient aeroacoustics and more recently in conjonction with the M2 course I initiated with S. Imperiale on Advanced Numerical methods for Evolution Equations.

The question we address is a priori very classical and academic : we want to study the stability of explicit numerical schemes for the time discretization of semi-discrete problems issued from the space discretization of first order hyperbolic Friedrichs systems (which include most of relevant linear wave propagation models in physics, such as aeroacoustics) with Discontinuous Galerkin Methods, using centered fluxes (which are slightly suboptimal in terms of accuracy but preserve the conservation of energy) or off-centered schemes (which restaures the optimal accuracy but introduce numerical dissipation)

Curiously, we made the constant that this a priori innocent question had not completely been solved in the literature. The results we have obtained can be seen an a continuation and hopefully an improvement of previous results obtained by Lévy-Tadmor (1998), Burman-Ern-Fernandez (2012) or Ketcheson-Loczi (2015).

We have first studied the class explicit Runge-Kutta schemes $R{K}_N$, where $N>0$ is the order of the scheme. In the conservative case, the Von Neumann analysis can be used and shows that the scheme is CFL stable if and only if $N$ is congruent to 0 or 3 (modolo 4). In the non conservative case, the Von Neumann analysis cannot be used any longer and we have used an energy approach for $1\le N\le 4$. For $N=1,2$, which gives instability in the conservatice case, the spatial dissipation may help to reach stability : for ${\mathbb{P}}_0$ DG-elements when $N=1$, for ${\mathbb{P}}_0$ and ${\mathbb{P}}_1$ elements when $N=2$. However, looking at the toy problem of the transport equation, we show that $N=1$ does not work for ${\mathbb{P}}_1$ elements and $N=2$ does not work for ${\mathbb{P}}_3$ elements. For $N=3,4$, the picture is completely different : both schemes are stable but, curiously, the spatial dissupation slighty deteriorates the stability condition.

Finally, we have looked at two-time steps schemes of leap-frog time. If the classical leap-frop scheme is known for having very good properties in the conservative case, it is unstable in the dissipative case. However, off-centering backwards in time the dissipative term restores the CFL stability without affecting the space-time stability of the method.

These results have been presented in Heraklion (Crete) at the 11th Workshop on Numerical Methods for Evolution Equations and in Concepcion (Chile) at the conference WONAPDE2024.

This work is done in collaboration with JF Semblat (ENSTA Paris) and I Stefanou (Ecole Centrale Nantes). Earthquakes due to either natural or anthropogenic sources cause important human and material damage. In both cases, the presence of pore fluid influences the triggering of seismic instabilities. A timely question in the scientific community is to show that the earthquake instability could be avoided by an active control of the fluid pressure.

We use the capabilities of Fast Boundary Element Methods (Fast BEMs) to provide a multi-physic large-scale robust solver required for modeling earthquake processes, human induced seismicity and their control. Fast BEMs are combined with a rate-and-state friction law and different adaptive time stepping algorithms available in the literature. In a first step, we have checked the capabilities of all these algorithms in terms of accuracy, stability and computational times. These methods have been compared on different benchmarks. We have derived an analytic aseismic solution to perform the convergence study.

Once the optimal solver determined, we have considered poro-elastodynamic effects. Since the use of the complete poro-elastic model would lead to unacceptable computational costs to consider realistic 3D configurations, we have performed a dimensional analysis. It allows to determine which of the poroelastodynamic effects are predominant depending on the observation time of the fault. We have rigorously justified the predominant fluid effects at stake during an earthquake or a seismic cycle. We have shown that at the timescale of the earthquake instability, inertial effects are predominant. On the other hand a combination of diffusion and elastic deformation due to pore pressure change should be privileged at the timescale of the seismic cycle instead of the diffusion model mainly used in the literature. We have illustrated these effects on a simplified crustal faulting problem with fluid-injection at the timescale of the earthquake instability.

This work is done in collaboration with E. Dunham (Stanford university) and Shuki Ronen (company Sercel). The company Sercel develops airgun-type seismic sources. These are compressed air sources that generate an underwater acoustic wave to identify the nature of the underwater ground depending on its acoustic reflection. It is an ultrasound seismic imaging technique.

In this work, we model the gas bubbles that are generated by the source and determine their acoustic signatures. The difficulty in the context of seismic sources is that the bubble cannot be assumed to remain spherical. This greatly complicates the physical modeling because one does not simply have to solve an ordinary differential equation but a coupled vector problem. To model this problem we assume that the liquid near the source is incompressible and inviscid, and an irrotational flow. We can describe the flow velocity as the gradient of the velocity potential. The flow being incompressible, the velocity potential satisfies the Laplace equation. With this modeling, the variables in time and in space are decoupled. The Laplace equation is solved to determine the evolution of the geometry of the bubble whereas the Bernoulli equation is used to update the boundary conditions at each time step. As the bubble is in an infinite space (the ocean), it is natural to consider the BEM to solve the Laplace equation. But this problem is much more complicated than it seems. There are two difficulties. The first difficulty is that the solution is very expensive because it requires to solve a Laplace problem on an evolving geometry at each time step. Even if fast BEMs are very effective they become too expensive in this context as soon as that the time of a solve exceeds one second, which limits the precision. The second difficulty is that the problem is subject to numerical instabilities due to approximations at each BEM solve. We have worked on (i) the development of a filter to stabilize the simulations and avoid the accumulation of numerical errors which lead to numerical instabilities and we have derived (ii) a mesh adaptation method in order to determine the optimal mesh for all time steps.