We study the well-posedness of a total linearization, with respect to a perturbation of the external forcing, of a free-boundary nonlinear elasticity-incompressible fluid interaction. The total linearization for the coupling modeled by the Navier-Stokes equations and the nonlinear equations of elastodynamics was obtained recently in [L. Bociu and J.-P. Zolésio, Evol. Equ. Control Theory, 2 (2013), pp. 55-79]. The equations and the free boundary were linearized together, and the result turned out to be quite different from the usual coupling of classical linear models. New additional terms are present on the common interface, some of them involving boundary curvatures and boundary acceleration. These terms play an important role in the final linearized system and cannot be neglected; their presence also introduces new challenges in the well-posedness analysis, which proceeds to establish that the evolution operator associated to the linearized system can be represented as a bounded perturbation of a maximal dissipative semigroup generator.
Introduction.A typical fluid-structure interaction system is composed of a solid either surrounding a fluid flow (arteries, pipelines, reservoir tanks, etc.) or surrounded by a fluid or gas (blood cells, marine animals, bridge supports, aircraft, automobiles, etc.). This model falls in the category of free boundary problems, since the motion of the common boundary between the solid and the fluid is one of the unknowns in the coupled system. The ubiquity of this interaction type has led to a rapidly growing research interest in this model. Its mathematical solvability [5,9,15,17,22,21,26,32,33,34,37,38,49,55,52], numerical approximations [23,29,39,54,53,44,46], and stability [14,27,28,31] have been intensively studied.Mathematically, this interaction is described by a partial differential equation (PDE) system that couples the parabolic (fluid) and hyperbolic (elasticity) phases, where the key issue is that the traces of the elastic component at the energy level are not defined via the standard trace theory. The loss of regularity induced by the hyperbolic component left the basic question of existence open until recently.The first major development appeared in [16], where the authors established local existence and regularity of solutions for the coupling of Navier-Stokes equations and a linear elasticity model, describing a body submerged in a fluid, under the assumptions of smooth initial data; specifically, the initial fluid velocity w 0 has Sobolev regularity H 5 , and the initial data for the elastic component (ϕ 0 , ϕ 1 ) belongs to H 3 × H 2 . Moreover, due to the incompressibility condition on the fluid, the uniqueness result