Publications

2024

• Proximal Point Type Algorithms with Relaxed and Inertial Effects Beyond Convexity
  
  • Grad Sorin-Mihai
  • Lara Felipe
  • Marcavillaca Raul Tintaya
  Optimization, Taylor & Francis, 2024, pp.1-18. We show that the recent relaxed-inertial proximal point algorithm due to Attouch and Cabot remains convergent when the function to be minimized is not convex, being only endowed with certain generalized convexity properties. Numerical experiments showcase the improvements brought by the relaxation and inertia features to the standard proximal point method in this setting, too. (10.1080/02331934.2024.2329779)
  DOI : 10.1080/02331934.2024.2329779
• Cell seeding dynamics in a porous scaffold material designed for meniscus tissue regeneration
  
  • Jäger Henry
  • Grosjean Elise
  • Plunder Steffen
  • Redenbach Claudia
  • Keilmann Alex
  • Simeon Bernd
  • Surulescu Christina
  , 2024, 24 (2). We study the dynamics of a seeding experiment where a fibrous scaffold material is colonized by two types of cell populations. The specific application that we have in mind is related to the idea of meniscus tissue regeneration. In order to support the development of a promising replacement material, we discuss certain rate equations for the densities of human mesenchymal stem cells and chondrocytes and for the production of collagen‐containing extracellular matrix. For qualitative studies, we start with a system of ordinary differential equations and refine then the model to include spatial effects of the underlying nonwoven scaffold structure. Numerical experiments as well as a complete set of parameters for future benchmarking are provided. (10.1002/pamm.202400133)
  DOI : 10.1002/pamm.202400133
• Reconstruction of averaging indicators for highly heterogeneous media
  
  • Audibert Lorenzo
  • Haddar Houssem
  • Pourre Fabien
  Inverse Problems, IOP Publishing, 2024, 40 (4), pp.045028. We propose a new imaging algorithm capable of producing quantitative indicator functions for unknown and possibly highly oscillating media from multistatic far field measurements of scattered fields at a fixed frequency. The algorithm exploits the notion of modified transmission eigenvalues and their determination from measurements. We propose in particular the use of a new modified background obtained as the limit of a metamaterial background. It has the specificity of having a unique non trivial eigenvalue, which is particularly suited for the proposed imaging procedure. We show the efficiency of this new algorithm on some 2D experiments and emphasize its superiority with respect to some clasical approaches such as the Linear Sampling Method. (10.1088/1361-6420/ad2f64)
  DOI : 10.1088/1361-6420/ad2f64
• Modélisation hybride modale-éléments finis pour le contrôle ultrasonore d'une plaque élastique. Traitement des intégrales oscillantes de la méthode HSM
  
  • Allouko Amond
  , 2024. Cette thèse porte sur la méthode Half-Space Matching (HSM) pour la résolution de problèmes de diffraction dans une plaque élastique non-bornée, en vue de la simulation du contrôle non-destructif de plaques composites. La méthode HSM est une approche hybride qui couple un calcul éléments finis dans une boite contenant les défauts, avec des représentations semi-analytiques dans quatre demi-plaques qui recouvrent la partie saine de la plaque. Les représentations semi-analytiques de demi-plaques font intervenir des tenseurs de Green, exprimés à l'aide d'intégrales de Fourier et de séries modales. Or ces expressions peuvent être délicates à évaluer en pratique (coût et précision), rendant la méthode HSM inexploitable industriellement. Les difficultés sont d'abord analysées dans un cas scalaire bidimensionnel (acoustique). Deux méthodes sont proposées pour une évaluation efficace des intégrales de Fourier : la première exploite une approximation de type champ lointain et la seconde repose sur une déformation du chemin d'intégration dans le plan complexe (méthode de la complexification). Ces deux méthodes sont validées dans les cas scalaires isotrope et anisotrope où l'on dispose des valeurs exactes des intégrales de Fourier exprimées à l'aide de fonctions de Hankel. Elles sont ensuite généralisées au cas tridimensionnel de la plaque élastique. Dans ce cas, la formule de représentation est obtenue en faisant une transformée de Fourier suivant une direction parallèle à la plaque, puis, pour chaque valeur de la variable de Fourier ξ, une décomposition modale dans l'épaisseur. Les modes mis en jeu, appelés ξ-modes, sont étudiés en détail et comparés aux modes classiques (Lamb et SH dans le cas isotrope). Afin d'exploiter la bi-orthogonalité des ξ-modes, la formule de demi-plaque requiert la connaissance à la fois du déplacement et de la contrainte normale sur la frontière. Dans le cas isotrope, les propriétés d'analyticité des ξ-modes permettent de justifier et d'étendre la méthode de la complexification, y compris en présence de modes inverses. Ceci réduit les effets de couplage modal parasite induits par la discrétisation des intégrales de Fourier. La méthode de la complexification est ensuite utilisée pour le calcul des opérateurs intervenant dans la méthode HSM, qui dérivent tous de la formule de demiplaque. Différentes validations de la méthode HSM sont ainsi effectuées dans le cas isotrope. Des résultats préliminaires encourageants sont également obtenus pour une plaque orthotrope. Les améliorations réalisées ont permis à la fois de réduire significativement le temps de calcul et d'assurer une plus grande précision de la méthode HSM, permettant d'envisager son exploitation systématique dans un cadre de simulation industrielle.
• Introduction aux équations aux dérivées partielles hyperboliques et à leur approximation numérique
  
  • Fliss Sonia
  • Bonnet-Ben Dhia Anne-Sophie
  • Joly Patrick
  • Moireau Philippe
  , 2024.
• Flexible Optimization for Cyber-Physical and Human Systems
  
  • Simonetto Andrea
  IEEE Control Systems Letters, IEEE, 2024, 8, pp.1475-1480. Can we allow humans to pick among different, yet reasonably similar, decisions? Are we able to construct optimization problems whose outcome are sets of feasible, close-to-optimal decisions for human users to pick from, instead of a single, hardly explainable, do-as-I-say ``optimal'' directive? In this paper, we explore two complementary ways to render optimization problems stemming from cyber-physical applications flexible. In doing so, the optimization outcome is a trade off between engineering best and flexibility for the users to decide to do something slightly different. The first method is based on robust optimization and convex reformulations. The second method is stochastic and inspired from stochastic optimization with decision-dependent distributions. (10.1109/LCSYS.2024.3411931)
  DOI : 10.1109/LCSYS.2024.3411931
• Fast Imaging of Local Perturbations in a Unknown Bi-Periodic Layered Medium
  
  • Cakoni Fioralba
  • Haddar Houssem
  • Nguyen Thi-Phong
  Journal of Computational Physics, Elsevier, 2024, 501, pp.112773. We discuss a novel approach for imaging local faults inside an infinite bi-periodic layered medium in R 3 using acoustic measurements of scattered fields at the bottom or the top of the layer. The faulted area is represented by compactly supported perturbations with erroneous material properties. Our method reconstructs the support of perturbations without knowing or reconstructing the constitutive material parameters of healthy or faulty bi-period layer; only the size of the period is needed. This approach falls under the class of non-iterative imaging methods, known as the generalized linear sampling method with differential measurements, first introduced in [2] and adapted to periodic layers in [25]. The advantage of applying differential measurements to our inverse problem is that instead of comparing the measured data against measurements due to healthy structures, one makes use of periodicity of the layer where the data operator restricted to single Floquet-Bloch modes plays the role of the one corresponding to healthy material. This leads to a computationally efficient and mathematically rigorous reconstruction algorithm. We present numerical experiments that confirm the viability of the approach for various configurations of defects. (10.1016/j.jcp.2024.112773)
  DOI : 10.1016/j.jcp.2024.112773
• Correlation Clustering Problem under Mediation
  
  • Alès Zacharie
  • Engelbeen Céline
  • Figueiredo Rosa
  INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2024, pp.672-689. In the context of community detection, correlation clustering (CC) provides a measure of balance for social networks as well as a tool to explore their structures. However, CC does not encompass features such as the mediation between the clusters, which could be all the more relevant with the recent rise of ideological polarization. In this work, we study correlation clustering under mediation (CCM), a new variant of CC in which a set of mediators is determined. This new signed graph clustering problem is proved to be NP-hard and formulated as an integer programming formulation. An extensive investigation of the mediation set structure leads to the development of two efficient exact enumeration algorithms for CCM. The first one exhaustively enumerates the maximal sets of mediators in order to provide several relevant solutions. The second algorithm implements a pruning mechanism, which drastically reduces the size of the exploration tree in order to return a single optimal solution. Computational experiments are presented on two sets of instances: signed networks representing voting activity in the European Parliament and random signed graphs. History: Accepted by Van Hentenryck, Area Editor for Pascal. Funding: This work was supported by Fondation Mathématique Jacques Hadamard [Grant P-2019-0031]. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0129 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2022.0129 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ . (10.1287/ijoc.2022.0129)
  DOI : 10.1287/ijoc.2022.0129
• The scattering phase: seen at last
  
  • Galkowski Jeffrey
  • Marchand Pierre
  • Wang Jian
  • Zworski Maciej
  SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2024, 84 (1), pp.246-261. The scattering phase, defined as $ \log \det S ( \lambda ) / 2\pi i $ where $ S ( \lambda ) $ is the (unitary) scattering matrix, is the analogue of the counting function for eigenvalues when dealing with exterior domains and is closely related to Krein's spectral shift function. We revisit classical results on asymptotics of the scattering phase and point out that it is never monotone in the case of strong trapping of waves. Perhaps more importantly, we provide the first numerical calculations of scattering phases for non-radial scatterers. They show that the asymptotic Weyl law is accurate even at low frequencies and reveal effects of trapping such as lack of monotonicity. This is achieved by using the recent high level multiphysics finite element software FreeFEM. (10.1137/23M1547147)
  DOI : 10.1137/23M1547147
• Design and Dimensioning of Natural Gas Pipelines with Hydrogen Injection
  
  • Jorquera-Bravo Natalia
  • Elloumi Sourour
  • Plateau Agnès
  , 2024. The global focus on reducing air pollution and dependence on fossil fuels has led to efforts to shift to renewable energy sources. Hydrogen is a promising alternative due to its high energy capacity and ability to regulate electricity production through electrolysis. In this context, the problem of designing and sizing natural gas pipelines with hydrogen injection is presented. The objective is to establish the network topology and diameter dimensions of each pipeline section for hydrogen distribution, in order to cover the demand at a minimum cost. To address the proposed problem, we consider the dimensioning as the selection of a diameter from a set of available measures, i.e., a discrete diameter approach, and we compare it with a continuous diameter approach from the literature, including a mixed integer nonlinear programming (MINLP) formulation of degree six. In our discrete diameter approach, we propose a non-convex quadratic (MIQLP) model, and we derive a mixed-integer quadratic convex relaxation (MIQCP). Finally, we adapt a Delta Change heuristic to this context. We implement several solution methods for a real case study in France. These include solving the dimensioning problem on a fixed Minimum Spanning Tree topology, considering both continuous and discrete diameters, employing the Delta Change heuristic for both cases, continuous and discrete, and solving the MIQCP relaxation problem. The strengths and weaknesses of each of these proposals are demonstrated through the study.
• Relaxed-Inertial Proximal Point Algorithms for Nonconvex Equilibrium Problems with Applications
  
  • Grad Sorin-Mihai
  • Lara Felipe
  • Marcavillaca Raúl
  Journal of Optimization Theory and Applications, Springer Verlag, 2024. We propose a relaxed-inertial proximal point algorithm for solving equilibrium problems involving bifunctions which satisfy in the second variable a generalized convexity notion called strong quasiconvexity, introduced by Polyak in 1966. The method is suitable for solving mixed variational inequalities and inverse mixed variational inequalities involving strongly quasiconvex functions, as these can be written as special cases of equilibrium problems. Numerical experiments where the performance of the proposed algorithm outperforms the one of the standard proximal point methods are provided, too.
• Radial perfectly matched layers and infinite elements for the anisotropic wave equation
  
  • Halla Martin
  • Kachanovska Maryna
  • Wess Markus
  , 2025, pp.3171-3216. We consider the scalar anisotropic wave equation. Recently a convergence analysis for radial perfectly matched layers (PML) in the frequency domain was reported and in the present article we continue this approach into the time domain. First we explain why there is a good hope that radial complex scalings can overcome the instabilities of PML methods caused by anisotropic materials. Next we discuss some sensitive details, which seem like a paradox at the first glance: if the absorbing layer and the inhomogeneities are sufficiently separated, then the solution is indeed stable. However, for more general data the problem becomes unstable. In numerical computations we observe instabilities regardless of the position of the inhomogeneities, although the instabilities arise only for fine enough discretizations. As a remedy we propose a complex frequency shifted scaling and discretizations by Hardy space infinite elements or truncation-free PMLs. We show numerical experiments which confirm the stability and convergence of these methods. (10.1137/24M1636551)
  DOI : 10.1137/24M1636551
• How does the partition of unity influence SORAS preconditioner?
  
  • Bonazzoli Marcella
  • Claeys Xavier
  • Nataf Frédéric
  • Tournier Pierre-Henri
  , 2024, 149, pp.61-68. We investigate the influence of the choice of the partition of unity on the convergence of the Symmetrized Optimized Restricted Additive Schwarz (SORAS) preconditioner for the reaction-convection-diffusion equation. We focus on two kinds of partitions of unity, and study the dependence on the overlap and on the number of subdomains. In particular, the second kind of partition of unity, which is non-zero in the interior of the whole overlapping region, gives more favorable convergence properties, especially when increasing the overlap width, in comparison with the first kind of partition of unity, whose gradient is zero on the subdomain interfaces and which would be the natural choice for ORAS solver instead. (10.1007/978-3-031-50769-4_6)
  DOI : 10.1007/978-3-031-50769-4_6
• Exact solution methods for large-scale discrete p-facility location problems
  
  • Durán Mateluna Cristian
  , 2024. This thesis focuses on the exact solution of the NP-hard problems p-median and p-center, combinatorial optimization problems that quickly become difficult to solve as the instance size increases. These discrete location problems involve opening a defined number p of facilities and then allocating to them a set of clients according to an objective function to be minimized.First, we study the p-median problem, which seeks to minimize the sum of distances between clients and the open facilities to which they are allocated. We develop an algorithm based on Benders decomposition that outperforms state-of-the-art exact methods. The algorithm considers a two-stage approach and an efficient algorithm for separating Benders cuts. The method has been evaluated on over 230 benchmark instances with up to 238025 clients and sites. Many instances are solved to optimality for the first time or have their best known solution improved.Secondly, we explore the p-center problem, which seeks to minimize the largest distance between a client and its nearest open facility. We first compare the five main MILP formulations in the literature. We study the Benders decomposition and also propose an exact algorithm based on a client clustering procedure based on the structure of the problem. All the proposed methods are compared with the state-of-the-art on benchmark instances. The results obtained are analyzed, highlighting the advantages and disadvantages of each method.Finally, we study a robust two-stage p-center problem with uncertainty on node demands and distances. We introduce the robust reformulation of the problem based on the five main deterministic MILP formulations in the literature. We prove that only a finite subset of scenarios from the infinite uncertainty set can be considered without losing optimality. We also propose a column and constraint generation algorithm and a branch-and-cut algorithm to efficiently solve this problem. We show how these algorithms can also be adapted to solve the robust single-stage problem. The different proposed formulations are tested on randomly generated instances and on a case study drawn from the literature.
• Commande des Systèmes
  
  • Jean Frédéric
  , 2024.
• Fair Energy Allocation for Collective Self-Consumption
  
  • Jorquera-Bravo Natalia
  • Elloumi Sourour
  • Kedad-Sidhoum Safia
  • Plateau Agnès
  , 2024. This study explores a collective self-consumption community with several houses, a shared distributed energy resource (DER), and a common energy storage system, as a battery. Each house has an energy demand over a discrete planning horizon, met by using the DER, the battery, or purchasing electricity from the main power grid. Excess energy can be stored in the battery or sold back to the main grid. The objective is to determine a supply plan ensuring a fair allocation of renewable energy while minimizing the overall microgrid cost. We investigate and discuss the formulation of these optimization problems using mixed integer linear programming. We show some dominance properties that allow to reformulate the model into a linear program. We study some fairness metrics like the proportional allocation rule and max-min fairness. Finally, we illustrate our proposal in a real case study in France with up to seven houses and a one-day time horizon with 15minute intervals.
• Degenerate McKean-Vlasov equations with drift in anisotropic negative Besov spaces
  
  • Issoglio Elena
  • Pagliarani Stefano
  • Russo Francesco
  • Trevisani Davide
  , 2024. The paper is concerned with a McKean-Vlasov type SDE with drift in anisotropic Besov spaces with negative regularity and with degenerate diffusion matrix under the weak Hörmander condition. The main result is of existence and uniqueness of a solution in law for the McKean-Vlasov equation, which is formulated as a suitable martingale problem. All analytical tools needed are derived in the paper, such as the well-posedness of the Fokker-Planck and Kolmogorov PDEs with distributional drift, as well as continuity dependence on the coefficients. The solutions to these PDEs naturally live in anisotropic Besov spaces, for which we developed suitable analytical inequalities, such as Schauder estimates.
• Towards high-performance linear potential flow BEM solver with low-rank compressions
  
  • Ancellin Matthieu
  • Marchand Pierre
  • Dias Frédéric
  Energies, MDPI, 2024, 17 (2), pp.372. The interaction of water waves with floating bodies can be modelled with linear potential flow theory, numerically solved with the Boundary Element Method (BEM). This method requires the construction of dense matrices and the resolution of the corresponding linear systems. The cost in time and memory of the method grows at least quadratically with the size of the mesh and the resolution of large problems (such as large farms of wave energy converters) can thus be very costly. Approximating some blocks of the matrix by data-sparse matrices can limit this cost. While matrix compression with low-rank blocks has become a standard tool in the larger BEM community, the present paper provides its first application (to our knowledge) to linear potential flows. In this paper, we assess that low-rank blocks can efficiently approximate interaction matrices between distant meshes when using the Green function of linear potential flow. Due to the complexity of this Green function, a theoretical study is difficult and numerical experiments are used to test the approximation method. Typical results on large arrays of floating bodies show that 99% of the accuracy can be reached with 10% of the coefficients of the matrix. (10.3390/en17020372)
  DOI : 10.3390/en17020372
• Bi-objective finite horizon optimal control problems with Bolza and maximum running cost
  
  • Chorobura Ana Paula
  • Zidani Hasnaa
  , 2024. In this paper, we investigate optimal control problems with two objective functions of different nature that need to be minimized simultaneously. One objective is in the classical Bolza form and the other one is defined as a maximum running cost. Our approach is based on the Hamilton-Jacobi-Bellman framework. In the problem considered here the existence of Pareto solutions is not guaranteed. So first, we consider the bi-objective problem to be minimized over the convexified dynamical system. We show that if a vector is (weak) Pareto optimal solution for the convexified problem, then there exists an (weak) ε-Pareto optimal solution of the original problem that is in the neighborhood of this vector. After we define an auxiliary optimal control problem and show that the weak Pareto front of the convexified problem is a subset of the zero level set of the corresponding value function. Moreover, with a geometrical approach we establish a characterization of the Pareto front. It is also proved that the (weak) ε-Pareto front is contained in the negative level set of the auxiliary optimal control problem that is less or equal ε. Some numerical examples are considered to show the relevance of our approach.
• Computing singular and near-singular integrals over curved boundary elements: The strongly singular case
  
  • Montanelli Hadrien
  • Collino Francis
  • Haddar Houssem
  SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2024, 46 (6), pp.A3756-A3778. (10.1137/23M1605594)
  DOI : 10.1137/23M1605594
• Modified error-in-constitutive-relation (MECR) framework for the characterization of linear viscoelastic solids
  
  • Bonnet Marc
  • Salasiya Prasanna
  • Guzina Bojan B.
  Journal of the Mechanics and Physics of Solids, Elsevier, 2024, 190, pp.105746. We develop an error-in-constitutive-relation (ECR) approach toward the full-field characterization of linear viscoelastic solids described within the framework of standard generalized materials. To this end, we formulate the viscoelastic behavior in terms of the (Helmholtz) free energy potential and a dissipation potential. Assuming the availability of full-field interior kinematic data, the constitutive mismatch between the kinematic quantities (strains and internal thermodynamic variables) and their ``stress'' counterparts (Cauchy stress tensor and that of thermodynamic tensions), 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 affiliated stationarity conditions then yield two coupled evolution problems, namely (i) the forward evolution problem for the (trial) displacement field driven by the constitutive mismatch, and (ii) the backward evolution problem for the adjoint field driven by the data mismatch. This allows us to establish compact expressions for the MECR functional and its gradient with respect to the viscoelastic constitutive parameters. For generality, the formulation is established assuming both time-domain (i.e. transient) and frequency-domain data. We illustrate the developments in a two-dimensional setting by pursuing the multi-frequency MECR reconstruction of (i) piecewise-homogeneous standard linear solid, and (b) smoothly-varying Jeffreys viscoelastic material. (10.1016/j.jmps.2024.105746)
  DOI : 10.1016/j.jmps.2024.105746
• Characteristics and Itô's formula for weak Dirichlet processes: an equivalence result
  
  • Bandini Elena
  • Russo Francesco
  Stochastics: An International Journal of Probability and Stochastic Processes, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2024, 97 (8), pp.992-1015. The main objective consists in generalizing a well-known Itô formula of J. Jacod and A. Shiryaev: given a càdlàg process S, there is an equivalence between the fact that S is a semimartingale with given characteristics (B^k , C, ν) and a Itô formula type expansion of F (S), where F is a bounded function of class C2. This result connects weak solutions of path-dependent SDEs and related martingale problems. We extend this to the case when S is a weak Dirichlet process. A second aspect of the paper consists in discussing some untreated features of stochastic calculus for finite quadratic variation processes. (10.1080/17442508.2024.2397984)
  DOI : 10.1080/17442508.2024.2397984
• The T-coercivity approach for mixed problems
  
  • Barré Mathieu
  • Ciarlet Patrick
  Comptes Rendus. Mathématique, Académie des sciences (Paris), 2024, 362, pp.1051-1088. Classically, the well-posedness of variational formulations of mixed linear problems is achieved through the inf-sup condition on the constraint. In this note, we propose an alternative framework to study such problems by using the T-coercivity approach to derive a global inf-sup condition. Generally speaking, this is a constructive approach that, in addition, drives the design of suitable approximations. As a matter of fact, the derivation of the uniform discrete inf-sup condition for the approximate problems follows easily from the study of the original problem. To support our view, we solve a series of classical mixed problems with the T-coercivity approach. Among others, the celebrated Fortin Lemma appears naturally in the numerical analysis of the approximate problems. (10.5802/crmath.590)
  DOI : 10.5802/crmath.590
• SDEs WITH SINGULAR COEFFICIENTS: THE MARTINGALE PROBLEM VIEW AND THE STOCHASTIC DYNAMICS VIEW
  
  • Issoglio Elena
  • Russo Francesco
  Journal of Theoretical Probability, Springer, 2024. We consider SDEs with (distributional) drift in negative Besov spaces and random initial condition and investigate them from two different viewpoints. In the first part we set up a martingale problem and show its well-posedness. We then prove further properties of the martingale problem, like continuity with respect to the drift and the link with the Fokker-Planck equation. We also show that the solutions are weak Dirichlet processes for which we evaluate the quadratic variation of the martingale component. In the second part we identify the dynamics of the solution of the martingale problem by describing the proper associated SDE. Under suitable assumptions we show equivalence with the solution to the martingale problem. (10.1007/s10959-024-01325-5)
  DOI : 10.1007/s10959-024-01325-5
• Solvability results for the transient acoustic scattering by an elastic obstacle
  
  • Bonnet Marc
  • Chaillat Stéphanie
  • Nassor Alice
  Journal of Mathematical Analysis and Applications, Elsevier, 2024, 536 (128198). The well-posedness of the linear evolution problem governing the transient scattering of acoustic waves by an elastic obstacle is investigated. After using linear superposition in the acoustic domain, the analysis focuses on an equivalent causal transmission problem. The proposed analysis provides existence and uniqueness results, as well as continuous data-to-solution maps. Solvability results are established for three cases, which differ by the assumed regularity in space on the transmission data on the acoustic-elastic interface Γ. The first two results consider data with "standard" H −1/2 (Γ) and improved H 1/2 (Γ) regularity in space, respectively, and are established using the Hille-Yosida theorem and energy identities. The third result assumes data with L 2 (Γ) regularity in space and follows by Sobolev interpolation. Obtaining the latter result was motivated by the key role it plays (in a separate study) in the justification of an iterative numerical solution method based on domain decomposition. A numerical example is presented to emphasize the latter point. (10.1016/j.jmaa.2024.128198)
  DOI : 10.1016/j.jmaa.2024.128198