Abstract
We study the shape differentiability of a general functional depending on the solution of a bidimensional stationary Stokes–elasticity system with small loads, with respect to the reference domain of the elastic structure immersed in a viscous fluid. The differentiability with respect to reference elastic domain variations is considered under shape perturbations with diffeomorphisms. The shape derivative is then calculated with the use of the velocity method. This derivative involves the material derivatives of the solution of this fluid–structure interaction problem. The adjoint method is then used to obtain a simplified expression for the shape derivative.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fluid–structure interaction (FSI) problems model physical systems in which a solid body (rigid or deformable) interacts with a fluid (internal or external to the body). In this work, we consider an elastic body in plain strain, clamped to a rigid support in its interior and immersed in a viscous incompressible fluid. The system is infinite in the anti-plane dimension. From the mathematical point of view, we consider a system of bidimensional stationary PDEs which involves on the one hand the Stokes equations for the fluid flow and, on the other hand, incompressible linearised elasticity equations for the deformation of the structure. These two sub-systems are coupled through a boundary condition on the interface between the solid and the fluid, by imposing the force continuity across the interface.
In this paper, we are interested in a shape optimisation issue for this fluid–structure interaction problem. We aim to study the shape sensibility with respect to the reference domain \(\varOmega _0\) of the elastic body, also called the reference configuration (i.e. the domain at rest, before deformation) of a given shape functional. This functional depends on the elastic reference domain \(\varOmega _0\) as well as on the corresponding solution of the full PDE system. We point out that in this context, we do not directly control the shape of the deformed elastic body which actually interacts with the fluid.
The goal of this paper is to show the differentiability of a broad family of shape functionals (e.g. energy functional, drag functional) in which the shape is the reference configuration \(\varOmega _0\) of the elastic body, and also to calculate the associated shape derivatives. The differentiability is tackled with respect to the reference configuration \(\varOmega _0\) by considering a class of perturbations of \(\varOmega _0\), obtained by diffeomorphism. We also provide formulas for the associated shape derivatives.
These derivatives would be useful in a numerical shape optimisation procedure (as, for example, steepest descent methods) to determine an optimal elastic reference domain that minimises a given shape functional (see, e.g. [2, 25, 34, 45]).
Dealing with an FSI problem, the first mathematical issue is proving existence of solutions. Early important contributions can be found in [4, 16, 17] in which the authors study stationary flows in nonlinear elastic shells and also nonlinear elastic tubes and shells under external flow for which the velocity is prescribed. In the early 2000, mathematicians started to investigate more intensively the interaction of a viscous liquid with elastic bodies in steady and unsteady regimes. For steady-state problems, one can cite [6, 24, 26, 38, 41] and for the unsteady case, we refer for example to [8, 9, 14, 19, 27, 35]. One of the difficulties in the study of this kind of FSI problems is that the fluid, described in Eulerian coordinates, turns out to be defined on a domain depending on the structure displacement, which is instead described in Lagrangian coordinates. For the FSI problem under consideration in this paper, we will first establish the existence and uniqueness of the solution.
The second issue in FSI problems is to find optimal structures which optimise a suitable desired efficiency in fluid dynamics, possibly under constraint. Great interest has been shown in the minimisation of the drag in fluid mechanics optimisation (see, e.g. [5, 25, 34]), in the shape minimisation of the dissipated energy in a pipe (see, e.g. [7, 30]) or in the optimisation of fluid flow with or without body forces (see, e.g. [18]). In all these mentioned works, the shape or the geometry in which PDEs lie, are fixed and known. Shape optimisation applied to FSI problems, where the geometry is one of the unknowns, is more recent. One can cite [3, 31, 32, 44, 45] where level-set methods are used to characterise the fluid and the structure domains, and also [33, 36, 37] in which the FSI problem is relaxed by a density design variable. The work presented in this paper is an extension of what is done in [39], where the shape differentiability of a simplified free-boundary one-dimensional problem is studied, and for which it is proved that the shape optimisation problem is well-posed. In the recent papers [21, 22], the shape and topological optimisation of a multiphysics thermal–fluid–structure interaction problem is studied with a velocity and adjoint method, for which the structure domain is assumed to be fixed. In [43], differentiability results are shown for the solutions of a stationary fluid–structure interaction problem in an ALE framework. The differentiability is considered with respect to variations of the given data (volume forces and boundary values) but not with respect to the reference domain of the elastic structure, as it is done in this present paper. Finally, we mention the work of Haubner et al. [28] where the method of mappings is used for proving differentiability results with respect to domain variations, for unsteady fluid–structure interaction problems that couple the Navier–Stokes equations and the Lamé system.
The paper is organised as follows: we start, in Sect. 2, with a presentation of the FSI problem under study. In Sect. 3, we prove an existence and uniqueness result for the FSI problem for small data, first by analysing separately the fluid equations and the structure problem, and finally by coupling the two sub-systems through a fixed-point procedure. Then, in Sect. 4, after an introduction to the calculus of shape derivatives by the velocity method, we apply this approach to our FSI problem: the sensitivity analysis allows us to show that the solutions of the FSI system are shape-differentiable. Section 5 is devoted to the calculation of the shape derivative of an abstract shape functional. Using the adjoint method, we also give a simplified expression of the shape derivative, not depending on the material derivatives of the solutions of the FSI problem but involving the solutions of adjoint problems. Our results, together with possible future research lines, are discussed in Sect. 6.
2 A Two-Dimensional FSI Model with a Shape Optimisation Problem
In this section, we first present the FSI model under study and then the related shape optimisation problem that will be addressed in this paper. The FSI model couples the Stokes equations with the elasticity equation and follows essentially [26] and [39]. The difference with respect to the literature is the assumption of linear incompressible elasticity for the structure, which results in a divergence-free condition for the structure’s displacement.
2.1 Notations
In this preliminary paragraph, we fix the notations that will be used throughout the paper. Let \(\lbrace \textrm{e}_1, \textrm{e}_{2} \rbrace \) be the canonical orthogonal basis of \({\mathbb {R}}^{2}\). Let u and v be two vectors of \({\mathbb {R}}^{2}\), A and B be two second-order tensors of \({\mathbb {R}}^{2}\). Using the Einstein summation convention, we set:
where \(\{\textrm{e}_i \otimes \textrm{e}_j\}_{1 \le i,j \le 2}\) forms the canonical basis of the second-order tensors on \({\mathbb {R}}^{2}\). Denoting by \(\textrm{I}\) the identity matrix, we, respectively, define the trace \(\textrm{tr}( A ) \) of a matrix A, its symmetric part \(A^s\), and its norm \(|A |\) by:
Moreover, if A is an invertible matrix, we define the cofactor matrix of A by:
Let \(\varOmega \) be an open subset of \({\mathbb {R}}^{2}\). The functions involved in the equations we study in this paper belong to Sobolev spaces \(W^{m,p}(\varOmega )\), for \(m\ge 0\) a positive integer, and \(1 \le p \le +\infty \). With this convention, \(W^{0,p}(\varOmega )\) stands for the Lebesgue space \(L^p (\varOmega )\). The norm in \(W^{m,p}(\varOmega )\) is denoted by \(\Vert \cdot \Vert _{m,p, \varOmega }\), or, when no ambiguity may arise, simply by \( \Vert \cdot \Vert _{m,p}\). Finally, the space \(W^{m,2}(\varOmega )\) will simply be denoted by \(H^{m}(\varOmega )\).
2.2 The Fluid–Structure Interaction Model
We consider a two-dimensional elastic body (the structure) immersed in an incompressible viscous fluid and clamped from a part of its boundary, while applying volume forces to both fluid and elastic parts. This results in the deformation of the free boundary of the elastic body, which is the interface where the interaction between the elastic body and the fluid takes place (see Fig. 1).
In order to describe this setting, we fix three simply connected bounded open sets \(\omega , D_0, D\subset {\mathbb {R}}^2\), such that \(\omega \subset \subset D_0 \subset \subset D\). We denote by \(\varGamma _0\) and \(\varGamma _\omega \) the boundaries of \(D_0\) and \(\omega \), respectively. The annular domain:
represents the region occupied by the elastic body, that we assume to be clamped on the boundary part \(\varGamma _\omega \). The complementary set in the box D, namely the annular domain:
is the region occupied by the fluid, that we take incompressible. The elastic body and the fluid interact through the interface \(\varGamma _0\), which is deformable.
The fluid and the structure are subject to volume forces which result in a deformation of the elastic part. In our analysis, we assume that the system is at equilibrium, in particular, the time variable will not appear in the model.
The deformed elastic body, denoted by \(\varOmega _S\), is described in Lagrangian coordinates, that is, through a function defined in the reference configuration:
with:
where \(\textrm{id}_{{\mathbb {R}}^2}\) is the identity in \({\mathbb {R}}^2\) and \(\textrm{w}\) is the elastic displacement field in \(\varOmega _0\). Accordingly, the deformed fluid–structure interface is:
On the other hand, the fluid is described in Eulerian coordinates, namely through functions defined in the region surrounding the deformed elastic body:
The functions describing the fluid are the velocity field \(\textrm{u}: \varOmega _F \rightarrow {\mathbb {R}}^2\) and the pressure field \(\textrm{p}: \varOmega _F \rightarrow {\mathbb {R}}\).
In the following paragraphs, we will specify the PDEs governing the two phases of the system, and their interaction.
2.2.1 Fluid Equations
In the framework of incompressibility, the velocity field \(\textrm{u}\) and the pressure field \(\textrm{p}\) are governed by Stokes equations:
In the system, \(f: {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2\) is the applied force, defined in the whole space, whereas \(\varsigma \) is the Cauchy stress tensor, defined by:
with \(\nu > 0\) the viscosity of the fluid. We recall that the superscript s stands for the symmetrization operator (see (1)).
2.2.2 Structure Equations
We suppose that the elastic body is attached to the rigid support \(\omega \) via its boundary \(\varGamma _\omega \). This assumption results in a Dirichlet boundary condition for the elastic displacement \(\textrm{w}\):
A given volume force g is applied to the structure in \(\varOmega _0\) and the elastic displacement \(\textrm{w}\) satisfies the elasticity equation:
where \(\sigma \) is the linearised stress tensor (also called the second Piola–Kirchoff stress tensor) or simply stress tensor:
Here, \(\lambda \) and \(\mu \) are the so-called Lamé coefficients (see, e.g. [15]). Furthermore, we impose the equilibrium of the surface forces on the free boundary \(\varGamma _0\) which reads as:
for all functions v defined on \(\varOmega _F\). In the above relation, \(\varGamma _{FS}\) is defined in (5) and denotes the boundary between the fluid domain \(\varOmega _F\) and the deformed elastic body \(\varOmega _S\), whereas \(\textrm{d}\varGamma _0\) and \(\textrm{d}\varGamma _{FS}\) are the length elements of the boundaries \(\varGamma _0\) and \(\varGamma _{FS}\), respectively, and finally \(n_0\) and \(n_{FS}\) are the outer unit normal vectors to \(\varGamma _0\) and \(\varGamma _{FS}\), respectively. Recalling that \(\varGamma _{FS}\) is the image of \(\varGamma _0\) via \(T (\textrm{w}) =\textrm{id}_{{\mathbb {R}}^2} + \textrm{w}\), cf. (4)–(5), we infer (see, e.g. [15]) that:
Thus, using \(T(\textrm{w})\) for a change of variables in (7) together with (8), we get the following boundary condition:
where:
is the cofactor matrix of the Jacobian matrix of \(T:= T( \textrm{w})\).
In this paper, we consider the special case of linear incompressible elasticity for the structure, by imposing the following equation for the displacement:
We introduce a Lagrange multiplier function \( \textrm{s}\) associated with the incompressibility constraint (10). Then, the structure equation (6) together with the continuity condition of forces (9), for \(( \textrm{w}, \textrm{s})\), becomes:
2.2.3 Full FSI Coupled System
Using the fact that both the velocity \(\textrm{u}\) and the displacement \(\textrm{w}\) are divergence free, the FSI system for \((\text {u, p})\) and \((\text {w,s})\) that we consider in this paper is the following:
Remark 1
In view of the incompressibility of the fluid, we consider the case where \(|\varOmega _F |\) is conserved, \(|\varOmega _F |\) denoting the Lebesgue measure of \(\varOmega _F\). For this, the following constraint can be considered:
In our case, we have that:
So, under the condition that \(\text {div w} = 0\) and neglecting the second-order terms in (13), we obtain that the area constraint (12) is satisfied. This implies that the volume of the fluid is conserved, since, by definition, \(|\varOmega _F |:= |D|- |\varOmega _S |- |\omega |\).
We can observe that the coupling of the FSI problem (11) is twofold:
-
the structure displacement \(\textrm{w}\) affects and defines the domain \(\varOmega _F\) on which the fluid equations are posed and where the velocity \(\textrm{u}\) and the pressure \(\textrm{p}\) are defined,
-
the velocity \(\textrm{u}\) and the pressure \(\textrm{p}\) of the fluid give rise to a surface force which influences the calculation of the displacement \(\textrm{w}\).
One of the main difficulties lies in the fact that there are two kinds of variables under consideration. On the one hand, the FSI problem involves Eulerian variables with the fluid velocity \(\textrm{u}\) and pressure \(\textrm{p}\), and on the other hand, the elastic displacement \(\textrm{w}\) and the multiplier \(\textrm{s}\) are Lagrangian variables.
Moreover, the domain \(\varOmega _F\) on which the fluid equations are written is unknown. To overcome these difficulties, we need to transport the fluid equations into a reference domain matching with the elastic reference domain \(\varOmega _0\). This domain transformation technique is also known as the ALE method (Arbitrary Eulerian Lagrangian). It is commonly used for computing the numerical solution (with a finite element method) of coupled Eulerian–Lagrangian systems or for free-boundary problems involving a time derivative (see [20]).
2.3 Fixed Domain Formulation of the FSI Problem
In order to tackle the FSI problem (11), we transpose the fluid equations posed on the fluid domain \(\varOmega _F\) onto the fixed domain \(\varOmega _0^c\) defined by:
Thus, we need a \(C^1\)-diffeomorphism which maps \(\varOmega _0^c\) to \(\varOmega _F\). To this aim, we consider an extension of the map T, initially defined on \(\varOmega _0\) in (4), to the whole box D. With a slight abuse of notation, we use the same letter T and we set:
where \(\textrm{w}\) is a displacement field defined in the initial elastic body domain \(\varOmega _0\), and \({P}\) is an extension operator from \(\varOmega _0\) to \(D\), such that \({P}( \textrm{w})\) is defined in \(D\) and \(T( \textrm{w})\) is one to one in \(D\). This allows us to consider the fluid domain \(\varOmega _F\) defined as:
where \(\varOmega _0^c\) is defined in (14) (see also Fig. 1). We will go through this extension procedure in details later on, to give a rigorous definition of T.
In the same way as in [26], we can define the transported velocity and pressure fields:
With these new variables, we can write the fluid equations transported onto the reference domain \(\varOmega ^c_{0}\) (e.g. by using the variational formulation as in [12, Sect. 3.2.2]), and the complete FSI problem reads as:
where we have set:
The boundary condition on \(\varGamma _0\) appearing in (16) comes from the computation of the surface force applied on the structure, given in (9) by \(( \varsigma ( \text { u, p} ) \circ T) \textrm{cof}( \nabla T) n_0\), in terms of the new variables \(\textrm{v}\) and \(\textrm{q}\):
We point out that the FSI problem (16) is a sort of hybrid model compared to [26], coming from the linearisation of the equilibrium equation of the structure (that is to say the Piola–Kirchhoff stress tensor) and the area constraint (12). This has been done in order to simplify the shape optimisation analysis performed in this paper. Moreover, we do not have linearised the terms arising from the fluid equations change of variables, i.e. \(J( \textrm{w})\), \(G( \textrm{w})\), and \(F( \textrm{w})\), because we want to compute shape derivatives by keeping as much information as possible, for possible further applications and calculation purposes for a general system.
2.4 Optimisation of the FSI System
The shape sensitivity analysis of the FSI model (16) carried out in this article is motivated by a shape optimisation problem. This problem consists in seeking for an optimal shape of the elastic reference domain \(\varOmega _0\) that minimises a functional depending on the solution of the FSI system associated to \(\varOmega _0\). The shape optimisation problem we consider is of the following form:
where \({\mathcal {J}}(\varOmega _0)\) is a quite general shape functional depending on the initial elastic domain, defined by:
where \(j_F\) and \(j_S\) are smooth functions depending, respectively, on \(\textrm{u}= \textrm{v}\circ T(\textrm{w})^{-1}\) and \(\textrm{w}\). The fields \(\textrm{v}\) and \(\textrm{w}\) are the velocity and the displacement solutions of the FSI problem (16) posed on \(\varOmega _0 \cup \varOmega _0^c\). The domain \(\varOmega _0 \in {\mathcal {U}}_{\textrm{ad}}\) belongs to a class \({\mathcal {U}}_{\textrm{ad}}\) of smooth domains admissible for the FSI problem. For example, we can consider:
In this paper, we do not go as far as to solve the complete optimisation problem (17). We will restrict our study to the shape sensitivity analysis of the FSI model (16).
3 Existence and Uniqueness Result for the FSI Problem
In this section, we establish an existence and uniqueness result written in Theorem 1 for the FSI problem (16). In [26], an existence result is obtained for the Navier–Stokes equations coupled with a St. Venant–Kirchhoff material in 3D with a volume constraint, for small enough volume forces. Existence and uniqueness for small data are achieved in [43] for a 3D Stokes and linear elasticity system, without volume constraint, and with small data not affected by the ALE change of variable. For our purpose, the existence and the uniqueness of the solution are required to address the associated optimisation problem and its shape sensitivity analysis. Moreover, since the body force \(f\circ T(\textrm{w})\) applied to the fluid is affected by the change of variable, we need higher regularity of the data. Indeed, from [29, Lemma 5.3.9], we need \(f \in H^{2} \) in order to have that the map \( W^{1,\infty } \ni \theta \mapsto f \circ ( \textrm{id}_{{\mathbb {R}}^2} + \theta ) \in H^1 \), is of class \(C^1\) in the vicinity of 0 (see (48)). The existence and uniqueness result for our semi-linearised model is obtained by adapting what is done in [26].
Theorem 1
Let \(D\), \(\varOmega _0\), \(\varOmega _0^c\) and \(\omega \) be domains of the form (2)–(3) with boundary components \(\partial D\) and \(\varGamma _{\omega }\) of class \(C^{3}\) and \(\varGamma _0\) of class \(C^{3,1}\). Let \(f\in \big (H^{2} ( {\mathbb {R}}^2 ) \big )^2\) and \(g\in \left( H^1 ( \varOmega _0 )\right) ^2\). There exists a positive constant C such that if \(\Vert f \Vert _{2,2} \le C\) and \(\Vert g \Vert _{1,2} \le C\), then there exists a unique solution:
to the FSI problem (16). Furthermore, there exists a positive constant \(C_{FS}\) such that:
Before going through the proof of Theorem 1, let us introduce some preliminary elements that allow to well define the bijective map \(T\) introduced in (15).
3.1 Preliminaries
Let \(\varvec{\textrm{b}}\) be a vector field belonging to \(( H^3(\varOmega _0) )^2\). We define the following transformation map:
where \(\gamma \) is the trace operator on \(\varGamma _0\) and \({\mathcal {R}}\) is a lifting operator from \(\varGamma _0\) to \(\varOmega _0^c\):
We note that \(\gamma \) and \({\mathcal {R}}\) are continuous linear operators. The extension operator \(P= {\mathcal {R}}\circ \gamma \) can then be used to define the transformation map \(T(\textrm{w})\) introduced in (15). This map has to be a \(C^1\)-diffeomorphism, which requires some regularity property of the displacement field \(\textrm{w}\). The following lemma ensures that for a function \(\varvec{\textrm{b}}\) regular enough, the map \(T( \varvec{\textrm{b}})\) defined in (19) can be used as a change of variable in the Stokes equations. A proof of this result can be found in [26].
Lemma 1
There exists a positive constant \({\mathcal {M}} \) such that if \(\varvec{\textrm{b}}\in ( H^3( \varOmega _0 ) )^2\) satisfies:
then the following properties hold true:
-
(i)
\(\nabla ( \textrm{id}_{{\mathbb {R}}^2} + {\mathcal {R}}(\gamma (\varvec{\textrm{b}}) ) ) = \textrm{I}+ \nabla {\mathcal {R}} ( \gamma (\varvec{\textrm{b}}) ) \) is an invertible matrix in \((H^2(\varOmega _0^c ))^{2\times 2}\),
-
(ii)
\(T(\varvec{\textrm{b}}) = \textrm{id}_{{\mathbb {R}}^2} + {\mathcal {R}} ( \gamma (\varvec{\textrm{b}}) ) \) is one to one on \(\overline{\varOmega _0^c }\),
-
(iii)
\(T(\varvec{\textrm{b}})\) is a \(C^1\)-diffeomorphism from \(\varOmega _0^c\) onto \(T(\varvec{\textrm{b}})(\varOmega _0^c )\).
Note that the change of variables in the Stokes equations shows up some terms such as \((\nabla \textrm{v}) F( \textrm{w})\) or \(G( \textrm{w})\nabla \textrm{q}\), see (16). If we want them to be well defined, we still need higher regularity for \(\textrm{w}\), and we need an algebra structure allowing products of functions. This is done with the following result offering an algebra structure for Sobolev spaces (see [1, Theorem 4.39, p. 106]).
Lemma 2
Let \(\varOmega \) be a bounded domain of \({\mathbb {R}}^{2}\) of class \(C^1\). There exists a positive constant \(C_{\textrm{a}}\) such that for all \(u, \, v \in H^2(\varOmega )\), we have \( u v \in H^2(\varOmega )\) and:
Furthermore, for all \( w \in H^1(\varOmega )\) and \(u \in H^2(\varOmega )\), we have \( u w \in H^1(\varOmega )\) and:
Now, we define the set:
Then, from the two preceding lemmas, the following maps \( J: (H^3(\varOmega _0))^2 \rightarrow H^2( \varOmega _0^c )\) and \(G,F: B_{{\mathcal {M}}} \rightarrow (H^2( \varOmega _0^c ))^{2\times 2}\) are well defined by:
Now we give a result concerning the regularity of J, G, F (see [26]).
Lemma 3
The maps J, G and F are of class \(C^\infty \) in \(B_{{\mathcal {M}}}\) defined in (23).
We conclude the paragraph with some remarks which will turn out useful in Sects. 3.3 and 4.4. From Lemmas 2 and 3, we have that J defined from \(B_{{\mathcal {M}}}\) into \(H^2(\varOmega _0^c)\) and G and F defined from \(B_{{\mathcal {M}}}\) into \((H^2(\varOmega _0^c))^{ 2 \times 2}\) are of class \(C^\infty \), and the norms of their derivatives are bounded on \(B_{{\mathcal {M}}}\). We set:
noting that \(J(0) \equiv 1\), \(\nabla T(0) \equiv \textrm{I}\), and that from Sobolev injection theorem, \(H^2(\varOmega _0^c)\) is continuously embedded into \(L^{\infty }(\varOmega _0^c)\), we can choose \({\mathcal {M}}\) small enough in (23), so that there exist two positive constants \(0< C_1 < C_2\), such that for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\) we have:
and:
Finally, let \(\eta \in H^1 ( {\mathbb {R}}^2 )\). In view of Lemma 1, \(T(\varvec{\textrm{b}})\) is a \(C^1\)-diffeomorphism. Thus, we have \(\eta \circ T(\varvec{\textrm{b}}) \in H^1 (\varOmega _0^c)\) and \(\nabla ( \eta \circ T(\varvec{\textrm{b}}) ) = \big ((\nabla \eta ) \circ T(\varvec{\textrm{b}}) \big ) \nabla T(\varvec{\textrm{b}})\), where \(\nabla T(\varvec{\textrm{b}})\) is bounded in \(H^{2}(\varOmega _0^c)\) and then in \(L^{\infty }(\varOmega _0^c)\). It follows that for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\):
for all \(\eta \in H^1 ( {\mathbb {R}}^2 )\), where C is a positive constant depending on \(\varOmega _0\), \(C_1\), and \(C_2\).
Furthermore, we recall a useful calculus property called Piola’s identity (see, e.g. [15]). For \( 1\le n< p\), and \(\varPsi \in ( W^{2,p} )^n\), we have:
3.2 Fixed-Point Procedure
The proof of Theorem 1 for the existence and uniqueness of the solution of the FSI problem (16) relies on a fixed-point argument that we present in this subsection, by first considering the two following problems.
-
1.
Let \(f\in ( H^2 ({\mathbb {R}}^2 ))^2\) and let \((\textrm{v}(\varvec{\textrm{b}}), \textrm{q}(\varvec{\textrm{b}})) \) be the solution of the system:
$$\begin{aligned} \begin{aligned} -\nu \textrm{div}( ( \nabla \textrm{v}(\varvec{\textrm{b}}) ) F(\varvec{\textrm{b}}) ) + G(\varvec{\textrm{b}}) \nabla \textrm{q}(\varvec{\textrm{b}})&= J(\varvec{\textrm{b}})( f \circ T(\varvec{\textrm{b}}) ){} & {} \text { in } \varOmega _0^c, \\ \textrm{div}( G(\varvec{\textrm{b}})^T \textrm{v}(\varvec{\textrm{b}}) )&= 0{} & {} \text { in } \varOmega _0^c, \\ \textrm{v}(\varvec{\textrm{b}})&= 0{} & {} \text { on } \partial \varOmega _0^c, \end{aligned} \end{aligned}$$(30)where the maps J, G and F are defined by (24).
-
2.
Let \(g\in ( H^1 (\varOmega _0))^2\) and let \((\textrm{w}(\varvec{\textrm{b}}), \textrm{s}(\varvec{\textrm{b}}))\) be the solution of the system:
$$\begin{aligned} \begin{aligned} - \mu \textrm{div}( \nabla \textrm{w}(\varvec{\textrm{b}}) ) + \nabla \textrm{s}(\varvec{\textrm{b}})&= g{} & {} \text { in } \varOmega _0,\\ \text {div w}(\varvec{\textrm{b}})&= 0{} & {} \text { in } \varOmega _0,\\ \textrm{w}(\varvec{\textrm{b}})&= 0{} & {} \text { on } \varGamma _{\omega }, \\ ( \mu \nabla \textrm{w}(\varvec{\textrm{b}}) - \textrm{s}(\varvec{\textrm{b}}) \textrm{I}) n_0&= ( \nu \nabla \textrm{v}(\varvec{\textrm{b}}) F(\varvec{\textrm{b}}) - \textrm{q}(\varvec{\textrm{b}}) G(\varvec{\textrm{b}}) ) n_0{} & {} \text { on } \varGamma _0. \end{aligned} \end{aligned}$$(31)
For a fixed \( \varvec{\textrm{b}}\) small enough, we will show that the problem (30) admits a unique solution \((\textrm{v}(\varvec{\textrm{b}}), \textrm{q}(\varvec{\textrm{b}})) \), and then that the problem (31) depending on \((\textrm{v}(\varvec{\textrm{b}}), \textrm{q}(\varvec{\textrm{b}})) \) admits also a unique solution denoted by \((\textrm{w}(\varvec{\textrm{b}}), \textrm{s}(\varvec{\textrm{b}}))\). In particular, we will see that \(\textrm{w}( \varvec{\textrm{b}}) \) belongs to \(H^3(\varOmega _0)\). Thus, we will be able to define a map:
and we will show in Sect. 3.3 that this map is actually a contraction, so that we can apply the Banach fixed-point theorem, and deduce that the solution we search for the FSI problem is unique and is given by the fixed point of \({\varvec{S}}\).
Problem (30) is a slightly perturbed incompressible Stokes problem with non-slip boundary condition, having a solution for which the pressure field is defined up to a constant. For this, we introduce the null mean-value pressure space:
In the case of the structure problem (31) with mixed boundary conditions, the velocity together with the pressure are completely determined, and no zero mean value has to be imposed for the pressure. Recalling that \(\varOmega _0\) is defined by (2) with boundary components \(\varGamma _0\) and \(\varGamma _{\omega }\) (see Fig. 1), we set:
We give existence, uniqueness, and regularity results for the solutions to the fluid and the structure problems (30) and (31), compiled in the following theorem.
Theorem 2
Let \(D\), \(\varOmega _0\), \(\varOmega _0^c\) and \(\omega \) be domains of the form (2)–(3) with boundary components \(\partial D\) and \(\varGamma _{\omega }\) of class \(C^{3}\) and \(\varGamma _0\) of class \(C^{3,1}\). Let \(( f_F, h_F ) \in ( H^{1}( \varOmega _0^c ) )^2 \times H^{2}( \varOmega _0^c )\) and \(( g, h_S, f_b ) \in ( H^1(\varOmega _0) )^{2} \times H^2(\varOmega _0) \times ( H^{3/2}(\varGamma ) )^{2}\) be such that:
Let \(\varvec{\textrm{A}},\varvec{\textrm{B}}\in (H^{2}(\varOmega _0^c))^{2 \times 2}\) and \(\varvec{\textrm{C}}\), \(\varvec{\textrm{D}}\in (H^{2}(\varOmega _0))^{2 \times 2}\) be matrix fields such that there exist \(\psi _F \in (H^{3}(\varOmega _0^c ))^{2}\) and \(\psi _S \in (H^{3}(\varOmega _0 ))^{2}\) satisfying:
There exists a positive constant \(C_{\textrm{pert}}\) such that, if:
then there exists a unique solution \((v,p) \in (H^1_0(\varOmega _0^c) \cap H^{3}(\varOmega _0^c) )^{2} \times ( L^{2}_0(\varOmega _0^c) \cap H^{2}(\varOmega _0^c) ) \) of the perturbed Stokes system:
and there exists a unique solution \((w, s) \in (H^1_{0,\varGamma _\omega }(\varOmega _0) \cap H^{3} (\varOmega _0) )^2 \times H^2(\varOmega _0)\) of the problem:
where \(n\) is the outward normal vector to \(\varGamma \). Furthermore, there exists a positive constant \(C_{\textrm{fs}}\) such that:
and
We refer the reader to [26], where the proof of this result for Problem (36) is entirely given. The demonstration relies on a fixed-point argument leading to conditions (34), and on the classical regularity result of Stokes problem (see, e.g. [10]). For a complete proof of well-posedness and regularity for Stokes problem, we may refer to [13] for the three-dimensional case, and to [42, Proposition 2.3 p. 35] for the two-dimensional case. A complete development on these questions is carried out in [23].
Problem (37) involves non-standard boundary conditions of different types. In the case where \(\varvec{\textrm{C}}= \varvec{\textrm{D}}= \textrm{I}\), a proof of the existence and uniqueness of a weak solution is given in [12, Sect. 3.3.3], and the regularity result can be obtained following the approach presented in [10, Sect. IV.7] in the case where the stress boundary condition lies on the whole boundary \(\partial \varOmega _0 \). From there, the result dealing with Problem (37) can be proved in the very same way as for Problem (36), with a fixed-point argument.
3.3 Proof of Theorem 1
Now, we turn to the proof of Theorem 1 for the existence and uniqueness of the solution of the FSI problem (16) by means of the fixed-point procedure introduced in Sect. 3.2. From now on, we will denote by C any generic positive constant depending only on \(\varOmega _0\) and on the constants \(C_1\) and \(C_2\) appearing in inequalities (26) and (27). The proof is divided into 3 steps.
\(\bullet \) Step 1: continuity of the fluid problem. We start by proving that Problem (30) possesses a unique solution. We have that \(G( 0 ) = F( 0 ) = \textrm{I}\). For \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\) (see (23)), we deduce from Lemma 3 that if \({\mathcal {M}}\) is small enough, then \(\Vert \textrm{I}- F(\varvec{\textrm{b}}) \Vert _{(H^{2}(\varOmega ))^{2 \times 2}} \le C_{\textrm{pert}}\) and \(\Vert \textrm{I}- G(\varvec{\textrm{b}}) \Vert _{(H^{2}(\varOmega ))^{2 \times 2}} \le C_{\textrm{pert}}\), where \(C_{\textrm{pert}}>0\) is the positive constant from inequalities (34) of Theorem 2. Moreover, from Lemma 1 we know that \(T(\varvec{\textrm{b}})\) is a \(C^1\)-diffeomorphism and consequently \(f \circ T(\varvec{\textrm{b}})\in \left( H^1(\varOmega _0^c)\right) ^2\). Since \(J(\varvec{\textrm{b}})\in H^2(\varOmega _0^c)\), we deduce from (21) in Lemma 2 that \(J(\varvec{\textrm{b}})(f\circ T(\varvec{\textrm{b}}))\in \left( H^1(\varOmega _0^c)\right) ^2\). Thus, we can apply Theorem 2 with \(f_F = J(\varvec{\textrm{b}}) f \circ T(\varvec{\textrm{b}})\) and \(h_F\equiv 0\) for Problem (30): for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\) with \({\mathcal {M}}\) small enough, Problem (30) admits a unique solution \(( \textrm{v}(\varvec{\textrm{b}}), \textrm{q}(\varvec{\textrm{b}})) \in (H^1_0(\varOmega _0^c) \cap H^{3}(\varOmega _0^c) )^{2} \times ( L^{2}_0(\varOmega _0^c) \cap H^{2}(\varOmega _0^c) )\), satisfying the following estimate:
Now, we prove a continuity property for the solutions of Problem (30). Let then \(( \textrm{v}(\varvec{\textrm{b}}_1), \textrm{q}(\varvec{\textrm{b}}_1))\) and \(( \textrm{v}(\varvec{\textrm{b}}_2), \textrm{q}(\varvec{\textrm{b}}_2))\) be the solutions of Problem (30) for, respectively, \(\varvec{\textrm{b}}_1\) and \(\varvec{\textrm{b}}_2\) in \(B_{{\mathcal {M}}}\). We set \(\varvec{\delta } \textrm{v}:= \textrm{v}(\varvec{\textrm{b}}_1) - \textrm{v}(\varvec{\textrm{b}}_2) \) and \(\varvec{\delta } \textrm{q}:= \textrm{q}(\varvec{\textrm{b}}_1) - \textrm{q}(\varvec{\textrm{b}}_2) \). We want to estimate \( \Vert \varvec{\delta } \textrm{v}\Vert _{3,2, \varOmega _0^c}\) and \( \Vert \varvec{\delta } \textrm{q}\Vert _{2,2, \varOmega _0^c}\) with respect to the difference \( \Vert \varvec{\textrm{b}}_1 -\varvec{\textrm{b}}_2 \Vert _{3,2, \varOmega _0}\). In view of (30), by difference, we infer that the pair \((\varvec{\delta } \textrm{v}, \varvec{\delta } \textrm{q})\) solves:
where now \( f_F \) and \( h_F\) are defined by:
The compatibility condition (33) for \(h_F\) is valid because of the homogeneous Dirichlet condition satisfied by \(\textrm{v}(\varvec{\textrm{b}}_2)\). In view of the regularity of \(\varvec{\textrm{b}}_1\), \(\varvec{\textrm{b}}_2\), \(\textrm{v}(\varvec{\textrm{b}}_2)\) and \(\textrm{q}( \varvec{\textrm{b}}_2 )\), we can apply Theorem 2 to Problem (39). Indeed, from Piola’s identity (29), we have that \(h_F=-\textrm{div}( ( G( \varvec{\textrm{b}}_1 ) - G( \varvec{\textrm{b}}_2 ) )^{\top } \textrm{v}(\varvec{\textrm{b}}_2) ) = -( G( \varvec{\textrm{b}}_1 ) - G( \varvec{\textrm{b}}_2 ) ) \cdot \nabla \textrm{v}(\varvec{\textrm{b}}_2)\), which belongs to \(H^2(\varOmega _0^c)\) thanks to Lemma 2. Still from Lemma 2, we directly have that \(\textrm{div}( \nabla (\textrm{v}( \varvec{\textrm{b}}_2 )) ( F( \varvec{\textrm{b}}_1 ) - F( \varvec{\textrm{b}}_2 ) ) )\) is in \(H^1(\varOmega _0^c)\). From the second part (22) of Lemma 2, \( ( G( \varvec{\textrm{b}}_1 ) - G( \varvec{\textrm{b}}_2 ) ) \nabla \textrm{q}( \varvec{\textrm{b}}_2 )\) belongs to \(H^1(\varOmega _0^c)\). As a result from (40), we deduce that \(f_F\in ( H^1(\varOmega _0^c) )^2\) and we can apply Theorem 2 to Problem (39). Thus, for all \(\varvec{\textrm{b}}_1\), \(\varvec{\textrm{b}}_2\) in \(B_{{\mathcal {M}}}\), the solution \(( \varvec{\delta } \textrm{v}, \varvec{\delta } \textrm{q})\) of Problem (39) belongs to \(( H^1_0(\varOmega _0^c) \cap H^3(\varOmega _0^c) )^2 \times ( L^2_0(\varOmega _0^c) \cap H^2(\varOmega _0^c) )\) and satisfies:
Let us first estimate the term \( f_F \), starting by considering the terms depending on \(\textrm{v}( \varvec{\textrm{b}}_2 )\) and \(\textrm{q}( \varvec{\textrm{b}}_2 )\) in (40). From Theorem 2 applied to Problem (30) written for \(\varvec{\textrm{b}}_2\), we have the estimate:
In view of Lemma 2, and inequalities (26) and (28), we have, up to taking a smaller \({\mathcal {M}}\):
From Lemma 2 with (42), (43) and (25), we deduce:
and similarly we find:
In order to obtain a bound for \(f_F\), we also need to treat the first two terms in the right-hand side of (40), which we rewrite as follows:
For the first term of the right-hand side of (46), we have from Lemma 2 and (28):
For the second term of the right-hand side of (46), we rely on [29, Lemma 5.3.9]. Let us remark that it is at this stage, i.e. for the application of this Lemma, that we need more regularity for f when normally \(H^1\)-regularity would have been enough to solve the fluid problem. Indeed, this lemma states that if \(f \in H^{2}({\mathbb {R}}^2)\), then the map:
is of class \(C^1\) in the vicinity of 0, and the differential is given by \(D( f \circ ( \textrm{id}_{{\mathbb {R}}^2} + \theta ) ) \xi = ( \nabla f ) \circ ( \textrm{id}_{{\mathbb {R}}^2} + \theta ) \cdot \xi \) for all \(\xi \) in \(( W^{1,\infty }({\mathbb {R}}^2 ) )^{2}\). Yet we have that \(T(\varvec{\textrm{b}})\) defined in (19) can in fact be defined as \(T(\varvec{\textrm{b}}) = \textrm{id}_{{\mathbb {R}}^2} + {\mathcal {R}} ( \gamma ( \varvec{\textrm{b}}) )\) with \(B_{{\mathcal {M}}} \ni \varvec{\textrm{b}}\mapsto {\mathcal {R}} ( \gamma ( \varvec{\textrm{b}}) ) \in H^3 ( {\mathbb {R}}^2 )\). From Sobolev embedding, we have that \(( H^3( {\mathbb {R}}^2 ))^2\) is continuously embedded into \(( W^{1,\infty } ({\mathbb {R}}^2) ) ^2\), and we denote by \(C_{\infty }\) the embedding constant. We also note that \(\varvec{\textrm{b}}\mapsto T(\varvec{\textrm{b}})\) is continuously affine and then smooth. As a consequence we have that the map:
is well defined and is of class \(C^1\) in the vicinity of 0. Its differential is given by \(D_{\varvec{\textrm{b}}} ( f \circ T(\varvec{\textrm{b}}) ) \xi = ( \nabla f ) \circ T(\varvec{\textrm{b}}) \cdot {\mathcal {R}} ( \gamma ( \xi ) ) \) for all \(\xi \) in \(( H^3(\varOmega _0 ) )^{2}\). In view of Lemma 2 with \(f\in \left( H^2({\mathbb {R}}^2)\right) ^2\), \(D_{\varvec{\textrm{b}}} ( f \circ T(\varvec{\textrm{b}}) ) \xi \) is indeed in \(( H^1 ({\mathbb {R}}^2) )^2\) and:
where \(C_{{\mathcal {R}}\gamma }\) stands for the continuity constant of the operator \({\mathcal {R}}\circ \gamma \). Thus, for \(f \in ( H^2( {\mathbb {R}}^2 ) )^2\), we have:
In the light of (28), we have similarly for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\):
and then by arguing in the same way as for (43) we have:
We recall that \(f_F\) is given by (40). We have completely estimated \(\Vert f_F \Vert _{1,2}\) by combining (44), (45), (47), and (49). We obtain:
and finally we have a constant \(C_{\varvec{1}} = C_{\varvec{1}} ( C_{\textrm{fs}}, C_{\textrm{a}}, C_{\infty }, C_{{\mathcal {R}}\gamma }, {\mathcal {M}})\) such that:
Let us now pass to the estimate for \(\Vert h_F \Vert _{2,2}\). We recall that in view of Piola’s identity (29) we can write:
so that in a same manner as for (44), we have:
At this point, we have computed two upper bounds for the norms of \(f_F\) and \(h_F\). Thus, by combining (41), (50), and (51), we finally obtain that there exists a constant \(\varvec{C_{\textrm{F}}} = \varvec{C_{\textrm{F}}} ( C_{\textrm{fs}}, C_{\textrm{a}}, C_{\infty }, C_{{\mathcal {R}}\gamma }, {\mathcal {M}})\) such that for all \(\varvec{\textrm{b}}_1\), \(\varvec{\textrm{b}}_2\) in \(B_{{\mathcal {M}}}\):
\(\bullet \)Step 2: continuity of the structure problem. We first prove that Problem (31) has a unique solution. For \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\), Problem (31) involves the source term on \(\varGamma _0\):
where \(\left( \textrm{v}(\varvec{\textrm{b}}), \textrm{q}(\varvec{\textrm{b}})\right) \) is the unique solution of the fluid equations (30) studied in Step 1. In view of the regularity of the fields involved in the expression (53) and from Lemma 2, we have that:
Thus, \(f_b\) belongs to \( ( H^{3/2} (\varGamma _0) )^2\) and Theorem 2 for \(\varvec{\textrm{C}}= \varvec{\textrm{D}}=\textrm{I}\) can be applied: for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}}\), there exists a unique solution \(\left( \textrm{w}(\varvec{\textrm{b}}), \textrm{s}(\varvec{\textrm{b}})\right) \in ( H^1_{0,\varGamma _{\omega }}(\varOmega _0) \cap H^2(\varOmega _0) )^2 \times H^2(\varOmega _0)\) of Problem (31) and there exists a positive constant \(C_{\textrm{fs}}\) such that:
Now, we establish a continuity property for Problem (31). Let \(( \textrm{w}(\varvec{\textrm{b}}_1), \textrm{s}(\varvec{\textrm{b}}_1) )\) and \(( \textrm{w}(\varvec{\textrm{b}}_2), \textrm{s}(\varvec{\textrm{b}}_2) )\) be the solutions of Problem (31) for, respectively, \(\varvec{\textrm{b}}_1\) and \(\varvec{\textrm{b}}_2\) in \(B_{{\mathcal {M}}}\) (note that in the system \(\textrm{v}(\varvec{\textrm{b}}_i)\) are given and they solve the fluid equation studied in Step 1). We set \(\varvec{\delta } \textrm{w}:= \textrm{w}(\varvec{\textrm{b}}_1) - \textrm{w}(\varvec{\textrm{b}}_2) \) and \(\varvec{\delta } \textrm{s}:= \textrm{s}(\varvec{\textrm{b}}_1) - \textrm{s}(\varvec{\textrm{b}}_2) \). In view of (31), by difference, we infer that the pair \((\varvec{\delta }\textrm{w}, \varvec{\delta }\textrm{s})\) solves:
with \(f_b\) the surface force on \(\varGamma _0\):
In view of (54), \(f_b \in ( H^{3/2} (\varGamma _0) )^2\) and Theorem 2 applies giving the a priori estimate:
Let us furtherly bound from above the right-hand side, in order to make the norm of the difference \(\varvec{\textrm{b}}_1-\varvec{\textrm{b}}_2\) appear. The first two terms of \(f_b\) (see expression (56)) satisfy:
We bound the two terms of the right-hand side of (58) by using, respectively, (44) and (52), and noting that \(H^{2}\) norm of \(F( \varvec{\textrm{b}})\) is bounded in \(B_{{\mathcal {M}}}\) by a positive constant \(C_{\varvec{2}} = C_{\varvec{2}} ( {\mathcal {M}})\). This gives:
In a same manner, exploiting (45), (52), and a bound \(C_{\varvec{3}} = C_{\varvec{3}} ( {\mathcal {M}})\) of the \(H^{2}\) norm of \(G (\varvec{\textrm{b}})\) for \(\textrm{b}\) in \(B_{{\mathcal {M}}}\), we get:
By combining (57), (59), and (60), we conclude that there exists a positive constant \(\varvec{C_{{\mathcal {M}}}} = \varvec{C_{{\mathcal {M}}}} ( C_{\textrm{fs}}, C_{\textrm{a}}, C_{\infty }, C_{{\mathcal {R}}\gamma }, {\mathcal {M}})\) such that:
\(\bullet \) Step 3: contraction property. In the sequel, we prove that the map \({\varvec{S}}: \varvec{\textrm{b}}\mapsto \text {w}({\textbf{b}})\) defined in (32) is a contraction. From estimate (61), we have the existence of a positive constant \(C_I\) with \(C_I C_{\textrm{fs}} \varvec{C_{{\mathcal {M}}}} < 1\) such that if \(\Vert f \Vert _{2,2, {\mathbb {R}}^2 } < C_I\), then \({\varvec{S}}\) is a contraction in \(B_{{\mathcal {M}}}\). From (55), we deduce that there exists a constant \(C_{II}\) such that if \(\Vert f \Vert _{1,2, {\mathbb {R}}^2 } < C_{II}\) and \(\Vert g \Vert _{1,2, \varOmega _0} < C_{II}\), then:
By defining:
we have that if \(\Vert f \Vert _{2,2, {\mathbb {R}}^2 } < C_{{\varvec{S}}}\) and \(\Vert g \Vert _{1,2, \varOmega _0} < C_{{\varvec{S}}}\), then the map \({\varvec{S}}\) is a contraction which maps \(B_{{\mathcal {M}}}\) onto \(B_{{\mathcal {M}}}\). Thus, the Banach fixed-point theorem ensures that \({\varvec{S}}\) admits a unique fixed point in \(B_{{\mathcal {M}}}\) denoted by \(\textrm{w}\). It results that the solution \(( \textrm{v}(\textrm{w}), \textrm{q}(\textrm{w}), \textrm{w}, \textrm{s}(\textrm{w}) )\) is the unique solution to the fluid–structure interaction problem (16). Finally, combining (38), (53), (55), and (62), we obtain estimate (18). The proof of Theorem 1 is then complete.
4 Velocity Method and Shape Differentiability of the FSI System
After having proved the existence of solutions of the FSI system for a prescribed reference configuration, we now address the so-called shape sensitivity analysis: we analyse the behaviour of the solutions with respect to infinitesimal perturbations of the reference configuration. The section is organized as follows: we start, in Sect. 4.1, by introducing the classical velocity method, applied to the FSI problem in Sect. 4.2, and we show its uniform well-posedness in Sect. 4.3. We end with the main result of this section establishing in Sect. 4.4, Theorem 3, the shape differentiability of the solutions of the FSI problem.
4.1 Presentation of the Method
We are interested in the study of the behaviour of a shape functional \({\mathcal {J}}( \varOmega )\) with respect to infinitesimal variations of its argument, the set \(\varOmega \). This topic, referred to as shape derivative or shape sensitivity analysis, is now a standard tool in shape optimisation. See, e.g. [40, Chapter 2], [29, Sect. 5.1], or [2, Chapter 6].
Let us present the classical approach: the velocity method. Given an admissible domain \(\varOmega _0\) for \({\mathcal {J}}\), we consider a 1-parameter family of shapes \((\varOmega _{0,t})_{t}\) of the form:
where \((\varPhi _t)_{t}\) is a family of diffeomorphisms, chosen with the following properties:
-
at \(t=0\) there holds \(\varPhi _0=\textrm{id}_{{\mathbb {R}}^2}\);
-
the map \(t\mapsto \varPhi _t\) is of class \(C^1\);
-
each diffeomorphism \(\varPhi _t\) preserves the imposed geometrical constraints on \(\varOmega _0\), so that every \(\varOmega _{0,t}\) is admissible for \({\mathcal {J}}\).
If the function \(t\mapsto {\mathcal {J}}(\varOmega _{0,t})\) is differentiable at \(t=0\), then it admits the following development in t:
The coefficient \({\mathcal {J}}' (\varOmega _0 ) \) of t is the so-called shape derivative of \({\mathcal {J}}\) at \(\varOmega _0\) with respect to the deformations \((\varPhi _t)_t\). In the literature, it is classical to take diffeomorphisms of the form:
for a suitable vector field V, representing the velocity (when t is seen as the time) of \(\varPhi _t\) at \(t=0\).
In order to write the expression of \({\mathcal {J}}' (\varOmega _0 ) \), it is useful to introduce the notion of material derivative of a family of functions \((\varphi _t)_t\) defined on the family of transformed domains \(( \varOmega _{0,t} )_{t\ge 0}\) given by (63). By definition, \(\varphi _t \circ \varPhi _t\) are all defined in the fixed domain \(\varOmega _0\). If the map \(t\mapsto \varphi _t \circ \varPhi _t\) is differentiable at \(t=0\), we define the material derivative \({\dot{\varphi }}\) of \(\varphi _t\) at \(t=0\) as the coefficient of t in the expansion:
Note that \(\varphi _0\) and \({\dot{\varphi }}\) do not depend on t.
4.2 Shape Transformation of the FSI Problem
In order to apply the velocity method in our framework, let us start by specifying the transformations \(\varPhi _t\) that we choose. We consider \(t\ge 0\) small (the threshold will be specified later) and:
Here V is taken in the space:
Let \(\varOmega _0\) be defined as in Sect. 2, namely the reference configuration of an elastic body contained into D and attached to the rigid support \(\omega \). For \(t\ge 0\) (small), we set:
We recall that \(\varOmega _{0}^{c}\) is the open complementary of \(\varOmega _0\) in \(D\setminus {\overline{\omega }}\) (see Fig. 2). The assumptions on \(\varTheta \) ensure that every \(\varOmega _{0,t}\) is contained into D and its boundary is the union of \(\varGamma _{0,t}\) and \(\varGamma _\omega \). Let \((\textrm{u}_{t}, \textrm{p}_t, \textrm{w}_{t}, \textrm{s}_t )\) be the solution of the coupled FSI problem (see (11)) posed on the perturbed elastic body \(\varOmega _{0,t}\) and on the perturbed fluid domain \(\varOmega _{F,t}\), defined by:
The map \(\textrm{id}_{{\mathbb {R}}^2} + \textrm{w}_{t}\) is one to one from \(\varOmega _{0,t}\) to \(\varOmega _{S,t}\) for a \(\textrm{w}_t\) small enough (see Lemma 1). Thus, \(\varOmega _{S,t}\) and \(\varOmega _{F,t}\) represent, respectively, the shape of the elastic body and the incompressible fluid after resolution of the coupled problem. In the same way as in Sect. 2.3, we can transport the fluid equations on the reference domain \(\varOmega _{0,t}^c\). In principle, we could repeat the very same steps, by replacing \(\varOmega _0\) with \(\varOmega _{0,t}\) and by introducing suitable lifting and trace operators which depend on t. An alternative approach, that we follow here, consists in exploiting the change of variables \(\varPhi _t\), which allows to use the lifting and trace operators defined in (20) constructed starting from \(\varOmega _0\), which of course do not depend on t:
We set:
where \(\textrm{w}_t \in H^3(\varOmega _{0,t})\) is the displacement solving the fluid–structure problem and \(\varPhi _t\) is defined in (64). The transformation \(T_t\) maps the domain \(\varOmega _{0,t}\) onto \(\varOmega _{S,t}\) and the domain \(\varOmega _{0,t}^c\) onto \(\varOmega _{F,t}\) (see Fig. 2).
Now we can define the Lagrangian fluid velocity and pressure variables:
and we find that the transported FSI problem for \(( \textrm{v}_t, \textrm{q}_t, \textrm{w}_t, \textrm{s}_t )\) can be written as follows (see (16)):
where we formally define for any vector field \(\varphi \):
It has to be noted that these maps, which will be used in the rest of the article, differ from the ones defined in (24) and used in Sect. 3. Nevertheless, we still denote them by F, G, and J for the sake of readability.
Before investigating in Sect. 4.4 the differentiability in the t variable at 0 of the solutions to the FSI problems (69), we transport these problems, which are defined on the t-dependent domains \(\varOmega _{0,t}\) and \(\varOmega ^c_{0,t}\), onto the fixed reference domains \(\varOmega _{0}\) and \(\varOmega ^c_{0}\).
We briefly explain how to obtain the transported system of equations. For details, we refer to [12, Sect. 3.4.4] (see also [26]). The main idea is to write the variational formulation of Problem (69) with test functions \(( {\mathfrak {v}}\circ \varPhi _t^{-1}, {\mathfrak {q}}\circ \varPhi _t^{-1} )\) and \(( {\mathfrak {w}}\circ \varPhi _t^{-1}, {\mathfrak {s}}\circ \varPhi _t^{-1})\), for any \(( {\mathfrak {v}}, {\mathfrak {q}}) \in ( H^1_0(\varOmega ^c_{0}) )^2 \times L^2_0(\varOmega ^c_{0})\) and \(( {\mathfrak {w}}, {\mathfrak {s}}) \in ( H^1_{0, \varGamma _{\omega }}(\varOmega _{0}) )^2 \times L^2(\varOmega _{0 })\), recalling that \(\varPhi _t\) is defined in (64). It can be shown that the compositions
of the solutions \(( \textrm{v}_t, \textrm{q}_t, \textrm{w}_t, \textrm{s}_t )\) of the transformed FSI problem (69) with the change of variable \(x = \varPhi _t (X)\), solve the following problem:
where we recall that \(T_t\) is defined above in (67), whereas J, G, and F are given in (70).
4.3 Uniform Well-Posedness for Small t
By directly applying Theorem 1 to Problem (69), we can obtain a solution to Problem (69) and consequently to Problem (72). However, the constants C and \(C_{FS}\) in Theorem 1, the former controlling the data and the latter appearing in the a priori estimate, should depend on t. In order to make this resolution uniform with respect to t, we have the following result.
Proposition 1
Let \(f\in (H^{2} ( {\mathbb {R}}^2 ) )^2\) and \(g\in (H^1 ({\mathbb {R}}^2 ))^2\). There exist three positive constants \(t_{\mathcal {M}}\), \(C_{{\varvec{S}}}\) and \(C_{FS}\) such that if \(\Vert f \Vert _{2,2} \le C_{{\varvec{S}}}\) and \(\Vert g \Vert _{1,2} \le C_{{\varvec{S}}}\) then for all \(t\in [0, t_{\mathcal {M}})\), Problem (72) admits a unique solution \(( \textrm{v}^t, \textrm{q}^t, \textrm{w}^t, \textrm{s}^t )\in ( H^1_0 (\varOmega ^c_0) \cap H^3 (\varOmega ^c_0) )^2 \times ( L^2_0(\varOmega ^c_0) \cap H^2(\varOmega ^c_0) ) \times ( H^1_{0,\varGamma _{\omega }}(\varOmega _0) \cap H^3(\varOmega _0) )^2 \times H^2(\varOmega _0)\). Furthermore, there exists a positive constant \(C_{FS}\) which does not depend on t, such that:
Proof
To solve Problem (72), we copy the fixed point procedure built in Sect. 3.2, applied this time to \(\textrm{w}^t\). With the new definition of the transformation \(T_t\) in (67), and from (71), we have then that \(T_t:= \textrm{id}_{{\mathbb {R}}^2} + {\mathcal {R}} ( \gamma ( \textrm{w}^t ) ) \circ \varPhi _t^{-1}\). This suggests to consider the adapted transformation:
for \(\varvec{\textrm{b}}\in H^3(\varOmega _0)^2\) and to introduce the following version of Problem (72), for which the change of variable is given by \(\varvec{\textrm{b}}\):
We can adapt the proof of Theorem 1 in Sect. 3 to prove that the map:
has a unique fixed point \(\textrm{w}^t\) such that \(\left( \textrm{v}^t(\textrm{w}^t), \textrm{q}^t(\textrm{w}^t), \textrm{w}^t, \textrm{s}^t(\textrm{w}^t)\right) \) corresponds to the solution of Problem (72).
We recall that \(\varPhi _t = \textrm{id}_{{\mathbb {R}}^2} + t V\) and we have \(T(\varvec{\textrm{b}}) \circ \varPhi _t = \textrm{id}_{{\mathbb {R}}^2} + \eta _t(\varvec{\textrm{b}})\) with:
We know that \(\Vert {\mathcal {R}}\left( \gamma ( \varvec{\textrm{b}}) \right) \Vert _{3,2,D} \le C_{{\mathcal {R}}\gamma } \Vert \varvec{\textrm{b}}\Vert _{3,2,\varOmega _0}\). Then, let \(t_{{\mathcal {M}}} > 0\) be such that \(t_{{\mathcal {M}}} \Vert V \Vert _{3,2} \le C_{{\mathcal {R}}\gamma } {\mathcal {M}}/ 2\). Thus, we have that:
for all \(t\in [0, t_{\mathcal {M}})\) and for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}/2}:= \lbrace \varvec{\textrm{b}}\in ( H^3(\varOmega _0) )^2 \mid \Vert \varvec{\textrm{b}}\Vert _{3,2,\varOmega _0} \le {\mathcal {M}}/ 2 \rbrace \). Now, we can choose the constant \({\mathcal {M}}>0\) independent of t such that for all \(u \in H^3 (D)\) with \(\Vert u \Vert _{3,2,D} \le C_{{\mathcal {R}}\gamma } {\mathcal {M}}\), then \((\textrm{id}_{{\mathbb {R}}^2} + u)\) satisfies all the properties required in Sect. 3. In particular, we have that, for all \(t\in [0, t_{\mathcal {M}})\) and for all \(\varvec{\textrm{b}}\in B_{{\mathcal {M}}/2}\):
-
Lemma 1 and inequalities (26) and (27) are satisfied for both \(\varPhi _t\) and \(T(\varvec{\textrm{b}}) \circ \varPhi _t\),
-
Conditions (34) are satisfied for \(\varvec{\textrm{A}}= F( T(\varvec{\textrm{b}}) \circ \varPhi _t)\), \(\varvec{\textrm{B}}= G( T(\varvec{\textrm{b}}) \circ \varPhi _t )\), and (35) are satisfied for \(\varvec{\textrm{C}}= F(\varPhi _t)\), \(\varvec{\textrm{D}}= G(\varPhi _t)\).
As a consequence, we can proceed as in Sect. 3.3 by applying Theorem 2 in order to solve Problem (73). Thereafter, we show that there exists a constant \(C_{{\varvec{S}}}\) which depend only on \({\mathcal {M}}\) and \(\varOmega _0\)—and not on t—such that if \(\Vert f \Vert _{2,2} \le C_{{\varvec{S}}}\) and \(\Vert g \Vert _{1,2} \le C_{{\varvec{S}}}\), then \({\varvec{S}}_t\) is a contraction and \({\varvec{S}}_t (B_{{\mathcal {M}}/2}) \subset B_{{\mathcal {M}}/2}\). \(\square \)
4.4 Differentiability with Respect to the Domain
We want to analyse the shape sensitivity of these solutions, namely their behaviour with respect to small variations of t, which amounts to study the differentiability of \(( \textrm{v}_t, \textrm{q}_t, \textrm{w}_t, \textrm{s}_t ) \circ \varPhi _t\). For this, we apply the classical method presented in [29, Sects. 5.3.3 and 5.3.4]. The main result of this section is the following.
Theorem 3
Under the assumptions of Proposition 1, let \(( \textrm{v}^t, \textrm{q}^t, \textrm{w}^{t}, \textrm{s}^t )\) be the unique solution to the FSI problem (72) for all \(t \in [0, t_{\mathcal {M}})\). In addition, assume that g belongs to \((H^2 ({\mathbb {R}}^2 ))^2\). Then the map:
is differentiable in the vicinity of 0 in:
Proof
The key argument is the implicit function theorem, that will be applied to an adequate operator characterising the problem, and which depends on both t and the state variables representing the solution.
Let us set:
and:
From this, we define the following sets:
Before defining the adequate operator we want to study, we can remark that the map \(T_{t}\) defined in (67) and involved in the FSI problem, depends on the parameter t through the map \(\varPhi _t\) given by (64) and through the field \(\textrm{w}^t\). To make a distinction between these two dependencies, we introduce the following map defined from \({\mathbb {R}}_+ \times \textrm{H}_3\) to \(( H^{3}(\varOmega _0^c) )^2\) by:
In this manner, the map \(T^{t}_w\) depends on functions w belonging to the fixed space \(\textrm{H}_3\), and we have furthermore that:
Let us denote by \({\mathcal {X}}^t\) the vector of \(\varvec{\textrm{H}}\) solution of the FSI problem defined for all \(t\ge 0\) by:
while:
stands for an arbitrary vector of \(\varvec{\textrm{H}}\). The FSI coupling problem (72) leads us to define the following operator. Let:
be the map defined by:
where we recall that \(F( T^{t}_w )\), \(G( T^{t}_w )\), and \(J( T^{t}_w )\) are given by the expressions in (70). As we said, for \(t=0\), the vector \({\mathcal {X}}^0 = ( \textrm{v}^0, \textrm{q}^0, \textrm{w}^0, \textrm{s}^0 )\) is the solution of the coupling FSI problem (72) posed on \(\varOmega _0\) and \(\varOmega _0^c\). Thus, by definition (75) of \({\varvec{F}}\), we have \({\varvec{F}}(0,{\mathcal {X}}^0) = 0\). From there, we want to apply the implicit functions theorem to \({\varvec{F}}\), by showing that:
-
1.
\({\varvec{F}}\) is of class \(C^1\) in a neighbourhood of \((0,{\mathcal {X}}^0)\),
-
2.
\(D_{{\mathcal {X}}} {\varvec{F}}(0,{\mathcal {X}}^0)\) is a bi-continuous isomorphism.
In this case, by uniqueness of the FSI problem, we will have as a result that the map \(t \mapsto {\mathcal {X}}^t\) is of class \(C^1\) in a neighbourhood of \((0, {\mathcal {X}}^0)\). \(\square \)
4.4.1 Step (1).
We first show that the map \({\varvec{F}}\) is of class \(C^1\) in a neighbourhood of \((0,{\mathcal {X}}^0)\). Obviously, \({\varvec{F}}={\varvec{F}}(t,v,q,w,s)\) is of class \(C^1\) with respect to v, q and s since it is linear in these variables. So we only have to check that \({\varvec{F}}\) is also of class \(C^1\) in t and w. We have that the map \((t, w) \in {\mathbb {R}}_+ \times H^{3}(\varOmega _0) \mapsto \nabla ( \varPhi _t + {\mathcal {R}}\gamma ( w) ) \in H^{2} (\varOmega _0^c)\) is of class \(C^{\infty }\). Indeed, \(w\mapsto {\mathcal {R}}\gamma ( w)\) is linear and continuous and \(t\mapsto \varPhi _t \) is affine since \(\varPhi _t:= \textrm{id}_{{\mathbb {R}}^2} + t V\) with \(V \in ( H^{3}({\mathbb {R}}^2) )^2 \). We can also show that \(A\in ( H^2 (\varOmega _0^c) )^{2\times 2} \mapsto A^{-1} \in ( H^2 (\varOmega _0^c) )^{2\times 2}\) is of class \(C^{\infty }\) in a neighbourhood of the identity matrix \(\textrm{I}\). Thus, the maps \(t\mapsto J(\varPhi _t) \in H^2 (\varOmega _0^c) \) and \(t\mapsto (\nabla \varPhi _t)^{-1} \in ( H^2 (\varOmega _0^c) )^{2\times 2}\) are \(C^\infty \). Moreover, from Lemma 3, we have that the three maps \((t, w) \in {\mathbb {R}}_+ \times H^3 (\varOmega _0) \mapsto F( T^{t}_w )\), \(G( T^{t}_w ) \in (H^2 (\varOmega _0^c) )^{2\times 2}\), and \(J( T^{t}_w ) \in H^2 (\varOmega _0^c) \) are of class \(C^{\infty }\). Finally, because of the regularity of \(f \in (H^2 ({\mathbb {R}}^2))^2\) and \(g \in (H^2 ({\mathbb {R}}^2))^2\), we have from [29, Lemma 5.3.9] that \((t, w) \mapsto (f\circ T^{t}_w ) J( T^{t}_w ) \) and \((t, w) \mapsto J(\varPhi _t) ( g\circ \varPhi _t )\) are \(C^1\) in the vicinity of 0.
4.4.2 Step (2).
For a \({\mathcal {X}}= (v,q,w,s)\) in \(\varvec{\textrm{H}}\), we calculate the following element of \(\varvec{\textrm{K}}\):
whose components are given by:
Here, \(T^0:= \textrm{id}_{{\mathbb {R}}^2} + {\mathcal {R}} \gamma ( \textrm{w}^0 ) \), whereas the expressions of \(( D_{w} J( T^0 )w )\), \(( D_{w} G( T^0 )w )\), and \(( D_{w} F( T^0 )w )\) are given in the Appendix (cf. (105)–(107)). Moreover, we set:
Given \( {\mathscr {F}} = ( {\mathscr {F}}_1, {\mathscr {F}}_2, {\mathscr {F}}_3, {\mathscr {F}}_4, {\mathscr {F}}_5 ) \in \varvec{\textrm{K}}\), we want to show that there exists a unique \({\mathcal {X}}= (v,q,w,s) \in \varvec{\textrm{H}}\) such that:
This amounts to solving the following problem: find \((v,q,w,s) \in \varvec{\textrm{H}}\) such that:
where the maps \({\textbf{f}}_j\) for \(j=1, \cdots , 5\), are, respectively, linear forms from \(\textrm{H}_3 \) to \(\textrm{K}_j\), given by \({\textbf{f}}_3 \equiv {\textbf{f}}_4 \equiv 0\), and:
Let \(\varvec{\textrm{b}}\in H^{3}(\varOmega _0)\) be an arbitrary field. In order to prove that Problem (77) admits a unique solution, we introduce the following parametrised problem, with parameter \(\varvec{\textrm{b}}\):
In the same way as done in Sect. 3.3, we can prove that for any \(\varvec{\textrm{b}}\in (H^{3}(\varOmega _0))^2\), there exists a unique solution \(( v (\varvec{\textrm{b}}), q (\varvec{\textrm{b}}), w (\varvec{\textrm{b}}), s (\varvec{\textrm{b}}) ) \in \varvec{\textrm{H}}\) to this problem, allowing us to define the map \(b\mapsto {\varvec{S}}( \varvec{\textrm{b}}):= w (\varvec{\textrm{b}})\). Indeed, the fields \({\textbf{f}}_1 ( w )\), \({\textbf{f}}_2 ( w )\), and \({\textbf{f}}_5 ( w )\) have the required regularity to apply Theorem 2, and \({\textbf{f}}_2 ( w )\) together with \({\mathscr {F}}_2\) satisfy the compatibility condition (33). Moreover, since \(\textrm{w}^0\) is the displacement solution of the coupling FSI problem (72) for \(t=0\), we have that \(T^0:= \textrm{id}_{{\mathbb {R}}^2} + {\mathcal {R}} \gamma ( \textrm{w}^0 ) \) is such that \(F( T^0 )\) and \(G( T^0 )\) satisfy the assumption (34) of Theorem 2. Thus, applying Theorem 2, we obtain a unique solution \(( v (\varvec{\textrm{b}}), q (\varvec{\textrm{b}}), w (\varvec{\textrm{b}}), s (\varvec{\textrm{b}}) ) \in \varvec{\textrm{H}}\) to Problem (81).
Now we want to show that this map is a contraction for data f and g small enough. Let \(\varvec{\textrm{b}}_1\) and \(\varvec{\textrm{b}}_2\) be in \( ( H^3(\varOmega _0) )^2\). We set \(\varvec{\delta } v:= v (\varvec{\textrm{b}}_1) - v (\varvec{\textrm{b}}_2) \), \(\varvec{\delta } q:= q (\varvec{\textrm{b}}_1) - q (\varvec{\textrm{b}}_2) \), \(\varvec{\delta } w:= w (\varvec{\textrm{b}}_1) - w (\varvec{\textrm{b}}_2) \), and \(\varvec{\delta } s:= s (\varvec{\textrm{b}}_1) - s (\varvec{\textrm{b}}_2) \). By linearity of Problem (81), and applying Theorem 2 for \(( \varvec{\delta } v, \varvec{\delta } q )\) and \(( \varvec{\delta } w, \varvec{\delta } s )\), we have:
and
where \(C_{\textrm{fs}}\) depends only on \(\varOmega _0\) and \(C_1\), \(C_2\) in (26), (27). We can see in expressions (78), (79), and (80), by using Lemma 2 and the same kind of estimates written in Sect. 3.3, that the norms of the linear maps \({\textbf{f}}_1\), \({\textbf{f}}_2\), and \({\textbf{f}}_5\) are bounded by the norms of \(\textrm{v}^0\), \(\textrm{q}^0\), and the volume force f. Yet, from Theorem 1, we have that:
Then, we can choose the data f and g of our problem small enough so that \({\varvec{S}}\) is a contraction on \((H^{3}(\varOmega _0))^2\). Therefore, \({\varvec{S}}\) admits a unique fixed point showing that Problem (76) has a unique solution \({\mathcal {X}}= (v, q, w, s) \in \varvec{\textrm{H}}\).
Finally, from Problem (77) we have the following estimates:
and
Once again, \(\Vert {\textbf{f}}_1 \Vert _{{\mathcal {L}}(\textrm{H}_3, \textrm{K}_1 )}\), \(\Vert {\textbf{f}}_2 \Vert _{{\mathcal {L}}(\textrm{H}_3, \textrm{K}_2 )}\), and \(\Vert {\textbf{f}}_5 \Vert _{{\mathcal {L}}(\textrm{H}_3, \textrm{K}_5 )}\) can be chosen small enough so that combining (82) and (83), we obtain that the solution \({\mathcal {X}}= (v, q, w s) \in \varvec{\textrm{H}}\) of the linear elliptic system (76) (see also (77)), satisfies the following estimate:
where C is a positive constant depending on the norms of \((\textrm{v}^0,\textrm{q}^0,\textrm{w}^0,\textrm{s}^0)\), f and g. Then, \(D_{{\mathcal {X}}} {\varvec{F}}(0,{\mathcal {X}}^0)\) is a bi-continuous isomorphism.
5 Shape Derivative of \({\mathcal {J}}(\varOmega )\)
5.1 Direct Calculus
In this paragraph, we compute the shape derivative of functionals depending on the FSI problem.
We consider a functional of the form:
where \(j_S\) and \(j_F\) are differentiable functions. As we have done in the previous section, we consider a 1-parameter family of shapes \(\varOmega _{0,t}\) defined in (66).
Computing the shape derivative of \({\mathcal {J}}\) with respect to the deformation chosen amounts to evaluate the derivative of \(t\mapsto {\mathcal {J}}(\varOmega _{0,t})\) at \(t=0\). The shape functional evaluated on the domain \(\varOmega _{0,t}\) is given by:
where \((\textrm{w}_t,\textrm{u}_t)\) are the solution fields of the FSI problem (69).
Let us first compute the derivative of \({\mathcal {J}}_S(\varOmega _{0,t})\). After transporting the integral from \(\varOmega _{0,t}\) to \(\varOmega _0\), we obtain:
Thus, the shape derivative of \({\mathcal {J}}_S\) is given by:
where \({\dot{\textrm{w}}}\) is the material derivative of \(\textrm{w}_t\) at \(t=0\), defined by:
and \(D_1\), \(D_2\), \(D_3\) stand for the differential on each argument of \(j_S\). In (85), we have used the relation:
with the definition (64) of \(\varPhi _t\) (see (101) in the Appendix). The term \((\nabla {\dot{\textrm{w}}} - \nabla \textrm{w}\nabla V)\) comes from the differentiation of \(( \nabla \textrm{w}_t ) \circ \varPhi _t (Y )\).
Secondly, we consider the shape derivative of \({\mathcal {J}}_F\) with respect to t. We perform a change of variable \(x = T_{t} \circ \varPhi _t (X)\), in order to rewrite the integrals from \(\varOmega _{F,t}\) to \(\varOmega _{0}^c\). This gives
We compute the shape derivative of \({\mathcal {J}}_F\), setting: \( \textrm{v}= \textrm{u}\circ T, \) where \(T=T_0=\textrm{id}_{{\mathbb {R}}^{2}} +R\gamma (\textrm{w})\). This gives:
where we denote by \({\dot{\textrm{v}}}\) and \({\dot{T}}\) the material derivatives of \(\textrm{v}\) and \(T_t\), respectively, defined by:
From the definitions of \(T_t\) in (67) and of \({\dot{T}}\), we have:
The term \(\textrm{tr}(\textrm{cof}(\nabla T)^{\top }\nabla {\dot{T}})\) in (88) comes from the differentiation of \(\det ( \nabla ( T_{t} \circ \varPhi _t (X) ))\) in (87). The terms \( {\dot{T}}\) and \({\dot{\textrm{v}}} \) in (88) are, respectively, the results of the differentiation through the chain rule of the terms \( T_{t} \circ \varPhi _t (X) \) and \( \textrm{u}_t \circ T_{t} \circ \varPhi _t (X)\) in (87). For the last term \((\nabla {\dot{\textrm{v}}} - \nabla \textrm{v}(\nabla T)^{-1}\nabla {\dot{T}} )\textrm{cof}(\nabla T)^{\top }\) in (88) deriving from \((\nabla \textrm{u}_t ) \circ T_{t} \circ \varPhi _t (X)\) in (87), we can write:
with \(\textrm{v}_t = \textrm{u}_t \circ T_t\) (see (68)). From there, we can write in the following proposition the formula of the shape derivative \({\mathcal {J}}' (\varOmega _0 )\).
Proposition 2
Let \({\mathcal {J}}\) be the shape functional defined by (84), where \(j_S\) and \(j_F\) are differentiable functions. Let V be a velocity field belonging to the space \(\varTheta \) introduced in (65). Then, the shape derivative of \({\mathcal {J}}\) in the direction V computed at \(\varOmega _0\) is given by:
Notice that the expression (89) of \({\mathcal {J}}'\) depends on the material derivatives \({\dot{\textrm{v}}}\) and \({\dot{\textrm{w}}}\) of the velocity and of the displacement. These material derivatives can be computed as solutions of boundary value problems which depend on the direction V (see [12, Sect. 3.4.4]). For a practical use of the shape derivative—within a shape optimisation algorithm for example—it is suitable to find an expression which does not depend on \({\dot{\textrm{v}}}\) and \({\dot{\textrm{w}}}\). For this, we apply in the next section the classical adjoint method allowing for a simplified expression of \({\mathcal {J}}'\).
5.2 Adjoint Method
The adjoint method allows to guess straightforwardly the adjoint states we need to introduce in order to simplify the expression of the shape derivative formula (89). In this section, we use a mixed variational formulation method as presented in [21, Sect. 3.4.4].
5.2.1 Shape Functional and Its Related Lagrangian
We consider the shape functional defined by (84) written on a perturbed domain \(\varOmega _{0,t}\). According to (87), we can rewrite it as follows:
where \(T_{t}\) is defined in (67), whereas \(\textrm{v}_t \in ( H^1_0(\varOmega ^c_{0,t}) )^2\) and \(\textrm{w}_t \in ( H^1_{0, \varGamma _{\omega }} (\varOmega _{0,t}) )^2\) are, respectively, the velocity and the displacement solutions of Problem (69). To find suitable adjoint states, we need to define a Lagrangian related to \({\mathcal {J}}\) having independent variables lying in the space \(( H^1_0(\varOmega _{0}^c) )^2 \times L^2_0(\varOmega _{0}^c) \times ( H^1_{0, \varGamma _{\omega }}(\varOmega _{0}) \times H^3(\varOmega _{0}) )^2 \times L^2(\varOmega _{0})\) independent of t. To this aim, we first transport \({\mathcal {J}}(\varOmega _{0,t})\) on the reference configuration, as it is done in the previous section, by means of the change of variable \(x = \varPhi _t (X)\). Then, we exploit the variational formulation of Problem (72), taking the same test function \({\mathfrak {y}}\) for both the equilibrium equation of the fluid (72)(i) and the equilibrium equation of the structure (72)(iv). This suggests the following definition of Lagrangian, for \(t\ge 0\), for all (v, q, w, s) in \( ( H^1_0(\varOmega ^c_{0}) )^2 \times L^2_0(\varOmega ^c_{0}) \times ( H^1_{0, \varGamma _{\omega } } (\varOmega _{0}) \times H^3(\varOmega _{0}) )^2 \times L^2 (\varOmega _{0})\), and for all \(( {\mathfrak {y}}, {\mathfrak {q}}, {\mathfrak {s}})\) in \(H^1_0 ( D{\setminus } {\overline{\omega }}) \times L^2_0(\varOmega ^c_{0}) \times L^2 (\varOmega _{0})\):
recalling that the transformation \(T^t_{ w }\) defined in (74) is given by \( T^t_{ w } = \varPhi _t + {\mathcal {R}}\gamma ( w ), \) and setting:
Recalling that \(( \textrm{v}^t, \textrm{q}^t, \textrm{w}^t, \textrm{s}^t )\) defined in (71) are the transported solutions of the coupling Problem (72), and that \(T^{t}_{ \textrm{w}^t } = T_t \circ \varPhi _t\) (see (67)), we have that the following equality holds:
where \({\mathcal {J}}(\varOmega _{0,t})\) is given by (90). Then, in view of Problem (72) multiplied by the corresponding test functions \({\mathfrak {y}}\), \({\mathfrak {q}}\), \({\mathfrak {s}}\), and after integration by parts, we obtain that for all \(( {\mathfrak {y}}, {\mathfrak {q}}, {\mathfrak {s}})\) in \( H^1_0 ( D{\setminus } {\overline{\omega }}) \times L^2_0(\varOmega ^c_{0}) \times L^2 (\varOmega _{0})\):
5.2.2 Derivatives of the Lagrangian
In order to obtain the adjoint problems, we need to differentiate the Lagrangian \({\mathcal {L}}\) with respect to the variables v, q, w, and s. The derivatives of \({\mathcal {L}}\) are evaluated at \(t\ge 0\), \(( v, q, w, s ) \in ( H^1_0(\varOmega ^c_{0}) )^2 \times L^2_0(\varOmega ^c_{0}) \times ( H^1_{0, \varGamma _{\omega } } (\varOmega _{0}) \times H^3(\varOmega _{0}) )^2 \times L^2 (\varOmega _{0})\), and \( ( {\mathfrak {y}}, {\mathfrak {q}}, {\mathfrak {s}}) \in H^1_0 ( D{\setminus } {\overline{\omega }}) \times L^2_0(\varOmega ^c_{0}) \times L^2 (\varOmega _{0}) \). For the sake of readability, we group the variables of the Lagrangian as follows, by setting:
We first differentiate the Lagrangian with respect to the variables q and s. For \(d\in L^2_{0}(\varOmega _0^c)\) and \(e \in L^2(\varOmega _0)\), we have:
When differentiating the Lagrangian with respect to the variables v and w, we shall simply write \(D_\alpha j_F\) and \(D_\alpha j_S\) instead of \(D_\alpha j_F ( T^t_{ w }, v, \nabla v \nabla ( T^t_{ w } )^{-1})\) and \(D_\alpha j_S ( \varPhi _t, w, \nabla w (\nabla \varPhi _t)^{-1} )\), respectively, for \(\alpha = 1,2,3\). For \(h \in ( H^{1}_0(\varOmega _0^c) )^2\) and \(k \in ( H^{1}_{0, \varGamma _{\omega } }(\varOmega _0) \times H^3(\varOmega _{0}) )^2\), we have:
and:
where the derivatives \(D_{ w }(\cdot )\) with respect to the variable w are detailed in the Appendix (cf. (104)–(107)), whereas \(D_{w} ( f \circ T^t_{w} ) k = ( \nabla f ) \circ T^t_{w} \cdot {\mathcal {R}} ( \gamma ( k ) ) \).
5.2.3 Definition of the adjoint states
Let us write the adjoint equations. For this, the partial derivatives of the Lagrangian calculated in the previous section are evaluated at \(t=0\) and at \( X^0:= (\textrm{v}^0, \textrm{q}^0, \textrm{w}^0, \textrm{s}^0 ) \), solution to Problem (72) written at \(t=0\) (which is in fact Problem (16)). Because of the terms written on \(\varOmega _0^c\) in (94) involving \({\mathcal {R}} ( \gamma ( k ) )\), it is not straightforward to write a strong formulation of the adjoint problem, then we need to use an abstract weak form result for which the test function k lies in \(H^1\). In view of the regularity of \(X^0\) given by Theorem 1, all the terms in (94) are well defined. Then, the adjoint problem associated to the shape functional \({\mathcal {J}}\) defined in (84) and to the FSI problem (16) is defined as follows:
where the partial derivatives are given by expressions (92), (93), and (94).
Proposition 3
Let \( X^0:= (\textrm{v}^0, \textrm{q}^0, \textrm{w}^0, \textrm{s}^0 ) \) be the solution of Problem (72) with \(f \in ( H^{2} (\varOmega _0^c) )^2\) and \(g \in ( H^2 ( \varOmega _0 ) )^2\). There exists a constant \(C>0\) such that if \(\Vert f \Vert _{2,2} \le C\) and \(\Vert g \Vert _{2,2} \le C\), then the adjoint problem (95) admits a unique solution.
Proof
Given \( {\mathfrak {y}} \in H^1_0 ( D{\setminus } {\overline{\omega }})\), we define the restrictions:
From expressions (92), (93), and (94), we can rewrite Problem (95) as follows: find \(({\mathfrak {y}}, {\mathfrak {q}}, {\mathfrak {s}}) \in H^1_0 ( D{\setminus } {\overline{\omega }}) \times L^2_0(\varOmega ^c_{0}) \times L^2 (\varOmega _{0}) \) such that:
where \(a_F\), \(b_F\), and \(c_F\) are bilinear and linear forms defined in (93), \(a_S\), \(b_S\), \(c_S\) are bilinear and linear forms defined in (94), and \(d_S\) is a continuous linear map from \(( H^1 (\varOmega _{0}) )^2 \times L^2_0(\varOmega _{0})\) to \([( H^1(\varOmega _{0}) )^2]'\) defined in (94). To solve Problem (96), we apply a fixed-point procedure by fixing \(( {\mathfrak {v}}, {\mathfrak {q}})\) in the structure system, and homogenising the Dirichlet condition in the fluid system. Given \(\varvec{\textrm{b}}:= ( {\mathfrak {v}}_{\varvec{\textrm{b}}}, {\mathfrak {q}}_{\varvec{\textrm{b}}} )\), we define the following problem:
whose solution is \(({\tilde{{\mathfrak {v}}}}(\varvec{\textrm{b}}), {\mathfrak {q}}(\varvec{\textrm{b}}), {\mathfrak {w}}(\varvec{\textrm{b}}), {\mathfrak {s}}(\varvec{\textrm{b}}))\). Here, \(\textrm{E}\) denotes an extension operator from \(H^1_{0,\varGamma _\omega }(\varOmega _0 )\) to \(H^1_0 ( D{\setminus } {\overline{\omega }})\), which in particular fixes the trace zero on \(\partial D\). We define:
From what is done in [26], we have that \(a_{F}\), \(b_{F}\), \(a_{S}\), and \(a_{S}\) satisfy the conditions required to apply the abstract result from [11]. Namely, there exists \(M>0\) such that for \(\alpha = F, S\), and for any \(( f_\alpha , g_\alpha ) \in V_\alpha ' \times W_\alpha '\), there exists a unique \((v,q) \in V_\alpha \times W_\alpha \) satisfying:
and:
Thus, we first obtain existence and uniqueness of a solution \(( {\mathfrak {w}}(\varvec{\textrm{b}}), {\mathfrak {s}}(\varvec{\textrm{b}})) \in ( H^1_{0, \varGamma \omega }(\varOmega _{0}) )^2 \times L^2_0(\varOmega _{0})\) to Problem (97)(iv)–(v), then we obtain existence and uniqueness of a solution \(( {\tilde{{\mathfrak {v}}}}(\varvec{\textrm{b}}), {\mathfrak {q}}(\varvec{\textrm{b}}) )\) in the space \(( H^1_0(\varOmega _{0}^c) )^2 \times L^2_0(\varOmega _{0}^c) \) to Problem (97)(i)–(ii). Let map \({\mathfrak {S}}\) be the map from \(( H^1_{0,\partial D}(\varOmega _{0}^c) )^2 \times L^2_0(\varOmega _{0}^c)\) into itself defined by:
It remains us to show that \({\mathfrak {S}}\) is a contraction. Take \(\varvec{\textrm{b}}_1, \varvec{\textrm{b}}_2 \in ( H^1_{0,\partial D}(\varOmega _{0}^c) )^2 \times L^2_0(\varOmega _{0}^c)\). By writing the difference of Problem (97) for \(\varvec{\textrm{b}}_1\) and \(\varvec{\textrm{b}}_2\), thanks to (98) and (99), we infer that:
where c is the norm of the extension operator \(\textrm{E}\) depending only on \(\varOmega _0\) and \(D\). From the definition of \(d_S\) in lines 3 and 4 of the right-hand side of (94), we infer that \(\Vert d_S \Vert \) is controlled by the norms of \(\textrm{v}^0\), \(\textrm{q}^0\), and f, and, in the end, from Theorem 1, it is controlled by the norms of f and g. This concludes the proof. \(\square \)
5.3 Simplified Formula for the Shape Derivative
We can simplify the formula of the shape derivative \({\mathcal {J}}' (\varOmega _0 ) \) obtained in (89), Sect. 5.1. Indeed, in view of (91), we have that:
for any \({\mathfrak {Y}} \in H^1_0 ( D{\setminus } {\overline{\omega }}) \times L^2_0(\varOmega ^c_{0}) \times L^2 (\varOmega _{0}) \). Here \(X^0:= (\textrm{v}^0, \textrm{q}^0, \textrm{w}^0, \textrm{s}^0 )\) is the solution of the FSI Problem (16) and \(\dot{X^0}\) denotes its material derivative. Thus, by definition of the adjoint state \({\mathfrak {Y}}^0 \) solution of Problem (95), we obtain:
Referring to the expressions (108)–(110) in the Appendix of the time derivatives \(D_t(\cdot )\) of \( J( T^t_{w} )\), \( G( T^t_{w} )\), and \( F( T^t_{w} )\), and using (86), we write the expression of the time derivative of the Lagrangian:
where we recall that \(T^t_{ w } = \varPhi _t + {\mathcal {R}}( \gamma ( w ) )\) (see (74)). This formula can be simplified by noticing that \(D_t T^t_{ w } = V_t:= D_t \varPhi _t \), and \(D_{t} ( f \circ T^t_{w} ) = ( \nabla f ) \circ T^t_{w} \cdot V_t \). From this expression evaluated at \((t,X,{\mathfrak {Y}}) = (0,X^0,{\mathfrak {Y}}^0)\), we have the following result.
Theorem 4
Let \({\mathcal {J}}(\varOmega _0) \) be the shape functional defined by (84). Let \( ( \textrm{v}, \textrm{q}, \textrm{w}, \textrm{s}) \) be the solution of the FSI problem (16), and \( ( {\mathfrak {y}}, {\mathfrak {q}}, {\mathfrak {s}}) \) be the adjoint state solution of the adjoint problem (95). Then the shape derivative of \({\mathcal {J}}(\varOmega _0)\) can be written as follows:
where \({\mathcal {A}} '\) is given by:
and where \(T:= T_0\) is given by (67), V is the velocity of the transformation \(\varPhi _t\) given by (64), whereas DJ(V), DG(V), and DF(V) denote, respectively, the time derivatives of \( J( T^t_{w} )\), \( G( T^t_{w} )\), and \( F( T^t_{w} )\), computed in (108)–(110) and evaluated at \(t=0\) and \(w = \textrm{w}\), and are given by:
6 Conclusions
In this paper, we have addressed a stationary 2D FSI problem. The mathematical model that we propose couples Stokes equations (for the fluid) and incompressible linearised elasticity equations (for the structure), through a boundary condition (for the common interface). This system of PDEs is shown to have a unique solution, when the applied forces are small. Then, the shape differentiability of the solution is established, and the shape derivative of a general functional is computed and simplified by showing the existence of suitable adjoint states.
Among the possible extensions of this work, offering a simplified but rigorous baseline, we can consider enriched models for the fluid (e.g. Navier–Stokes), the structure (e.g. compressible linear or nonlinear elasticity), and the boundary conditions (e.g. slip conditions for the fluid). More general functionals could also be studied, such as boundary integrals.
Finally, the shape derivative computed here allows to engage a numerical investigation, for instance for an energy minimization problem with the functional \({\mathcal {J}}(\varOmega _0) = \int _{\varOmega _0} |\nabla \textrm{w}|^2 + \int _{\varOmega _F} |\nabla \textrm{u}|^2 \), taken into account by our study.
References
Adams, R. A., Fournier, J. J. F.: Sobolev spaces. Second. Vol. 140. Pure and Applied Mathematics (Amsterdam). Elsevier/Academic Press, Amsterdam, pp. xiv+305 (2003)
Allaire,G.: Conception optimale de structures. Vol. 58. Mathématiques & Applications (Berlin) [Mathematics & Applications]. With the collaboration of Marc Schoenauer (INRIA) in the writing of Chapter 8. Springer-Verlag, Berlin, pp. xii+278 (2007)
Andreasen, C.S., Sigmund, O.: Topology optimization of fluid-structure-interaction problems in poroelasticity. Comput. Methods Appl. Mech. Engrg. 258, 55–62 (2013)
Antman, S. S., de Cristoforis, M. Lanza: Nonlinear, nonlocal problems of fluid-solid interactions. In: Degenerate diffusions (Minneapolis, MN, 1991). Vol. 47. IMA Vol. Math. Appl. Springer, New York, pp. 1-18 (1993)
Arumugam, G., Pironneau, O. R.: On the problems of riblets as a drag reduction device. In: Optimal Control Appl. Methods 10.2, 93-112 (1989)
Bayada, G., Chambat, M., Cid, B. n., Vázquez, C. C.: On the existence of solution for a nonhomogeneous Stokes-rod coupled problem. In: Nonlinear Anal. 59.1-2 , pp. 1-19 (2004)
Bergounioux, M., Privat, Y.: Shape optimization with Stokes constraints over the set of axisymmetric domains. SIAM J. Control. Optim. 51.1, 599–628 (2013)
Boulakia, M., Guerrero, S., Takahashi, T.: Well-posedness for the coupling between a viscous incompressible fluid and an elastic structure. In: Nonlinearity 32.10, 3548–3592 (2019)
Boulakia, M., Schwindt, E.L., Takahashi, T.: Existence of strong solutions for the motion of an elastic structure in an incompressible viscous fluid. Interfaces Free Bound. 14.3, 273–306 (2012)
Boyer,F., Fabrie,P.: Mathematical tools for the study of the incompressible Navier-Stokes equations and related models. Vol. 183. Applied Mathematical Sciences. Springer, New York, pp. xiv+525 (2013)
Brezzi, F.: On the existence, uniqueness and approximation of saddle-point problems arising from Lagrangian multipliers. In: Rev. Française Automat. Informat. Recherche Opérationnelle Sér. Rouge 8.R-2 pp. 129-151 (1974)
Calisti, thesis V.: Synthèse de microstructures par optimisation topologique, et optimisation de forme d’un problème d’interaction fluide-structure. PhD thesis. (2021)
Cattabriga, L.: Su un problema al contorno relativo al sistema di equazioni di Stokes. Rend. Sem. Mat. Univ. Padova 31, 308–340 (1961)
Chambolle, A., Desjardins, B., Esteban, M.J., Grandmont, C.: Existence of weak solutions for the unsteady interaction of a viscous fluid with an elastic plate. J. Math. Fluid Mech. 7.3, 368–404 (2005)
Ciarlet,P. G.: Mathematical elasticity. Volume I. Three-dimensional elasticity. Vol. 84. Classics in Applied Mathematics. Reprint of the 1988 edition [0936420]. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, \(\copyright \)2022, pp. lxviii+451 (2022)
de Cristoforis, M. Lanza, Antman, S. S.: The large deformation of non-linearly elastic shells in axisymmetric flows. In: Ann. Inst. H. Poincaré C Anal. Non Linéaire 9.4 ,pp. 433–464 (1992)
de Cristoforis, M., Antman, S.S.: The large deformation of nonlinearly elastic tubes in two-dimensional flows. SIAM J. Math. Anal. 22.5, 1193–1221 (1991)
Deng, Y., Liu, Z., Wu, Y.: Topology optimization of steady and unsteady incompressible Navier-Stokes flows driven by body forces. Struct. Multidiscip. Optim. 47.4, 555–570 (2013)
Desjardins, B., Esteban, M.J., Grandmont, C., Le Tallec, P.: Weak solutions for a fluidelastic structure interaction model. Rev. Mat. Complut. 14.2, 523–538 (2001)
Donea, J., Huerta, A., Ponthot, J.-P., Rodíguez-Ferran,A.: Arbitrary Lagrangian-Eulerian Methods. In: Encyclopedia of Computational Mechanics. John Wiley & Sons, Ltd, . Chap. 14 (2004)
Feppon, F., Allaire, G., Bordeu, F., Cortial, J., Dapogny, C.: Shape optimization of a coupled thermal fluid-structure problem in a level set mesh evolution framework. SeMA J. 76.3, 413–458 (2019)
Feppon, F., Allaire, G., Dapogny, C., Jolivet, P.: Body-fitted topology optimization of 2D and 3D fluid-to-fluid heat exchangers. In: Comput. Methods Appl. Mech. Engrg. 376, Paper No. 113638, 36 (2021)
Galdi, G. P.: An introduction to the mathematical theory of the Navier-Stokes equations. Second. Springer Monographs in Mathematics. Steady-state problems. Springer, New York, pp. xiv+1018 (2011)
Galdi, G.P., Kyed, M.: Steady flow of a Navier-Stokes liquid past an elastic body. Arch. Ration. Mech. Anal. 194.3, 849–875 (2009)
Gao, Z., Ma, Y., Zhuang, H.: Drag minimization for Navier-Stokes flow. Numer. Methods Partial Differential Equations 25.5, 1149–1166 (2009)
Grandmont, C.: Existence for a three-dimensional steady state fluid-structure interaction problem. J. Math. Fluid Mech. 4.1, 76–94 (2002)
Grandmont,C., Maday,Y.: Fluid-structure interaction: a theoretical point of view. In: Fluid-structure interaction. Innov. Tech. Ser. Kogan Page Sci., London, pp. 1–22 (2003)
Haubner, J., Ulbrich, M., Ulbrich,S.: Analysis of shape optimization problems for unsteady fluid-structure interaction. In: Inverse Problems 36.3 , pp. 034001, 38 (2020)
Henrot, A., Pierre, M.: Shape variation and optimization. Vol. 28. EMS Tracts in Mathematics. A geometrical analysis, English version of the French publication [MR2512810] with additions and updates. European Mathematical Society (EMS), Zürich, pp. xi+365 (2018)
Henrot, A., Privat, Y.: What is the optimal shape of a pipe? Arch. Ration. Mech. Anal. 196.1, 281–302 (2010)
Jenkins, N., Maute, K.: Level set topology optimization of stationary fluid-structure interaction problems. Struct. Multidiscip. Optim. 52.1, 179–195 (2015)
Kreissl, S., Pingen, G., Evgrafov, A., Maute, K.: Topology optimization of flexible microfluidic devices. Struct. Multidiscip. Optim. 42, 495–516 (2010)
Lundgaard, C., Alexandersen, J., Zhou, M., Andreasen, C.S., Sigmund, O.: Revisiting density-based topology optimization for fluid-structure-interaction problems. Struct. Multidiscip. Optim. 58.3, 969–995 (2018)
Mohammadi, B., Pironneau,O.: Applied shape optimization for fluids. Numerical Mathematics and Scientific Computation. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, pp. xvi+251 (2001)
Muha, B., Canić, S.: Existence of a weak solution to a nonlinear fluid-structure interaction problem modeling the flow of an incompressible, viscous fluid in a cylinder with deformable walls. Arch. Ration. Mech. Anal. 207.3, 919–968 (2013)
Picelli, R., Ranjbarzadeh, S., Sivapuram, R., Gioria, R.S., Silva, E.C.N.: Topology optimization of binary structures under design-dependent fluid-structure interaction loads. Struct. Multidiscip. Optim. 62.4, 2101–2116 (2020)
Picelli, R., Vicente, W.M., Pavanello, R.: Bi-directional evolutionary structural optimization for design-dependent fluid pressure loading problems. Eng. Optim. 47.10, 1324–1342 (2015)
Rumpf, M.: On equilibria in the interaction of fluids and elastic solids. In: Theory of the Navier-Stokes equations. Vol. 47. Ser. Adv. Math. Appl. Sci. World Sci. Publ., River Edge, NJ, pp. 136–158 (1998)
Scheid, J.-F., Sokolowski, J.: Shape optimization for a fluid-elasticity system. Pure Appl. Funct. Anal. 3.1, 193–217 (2018)
Sokolowski, J., Zolésio,J.-P.: Introduction to shape optimization. Vol. 16. Springer Series in Computational Mathematics. Shape sensitivity analysis. Springer-Verlag, Berlin, pp. ii+250 (1992)
Surulescu, C.: On the stationary interaction of a Navier-Stokes fluid with an elastic tube wall. Appl. Anal. 86.2, 149–165 (2007)
Temam, R.: Navier-Stokes equations. Third. Vol. 2. Studies in Mathematics and its Applications. Theory and numerical analysis, With an appendix by F. Thomasset. North-Holland Publishing Co., Amsterdam, pp. xii+526 (1984)
Wick,T., Wollner, W.: On the differentiability of fluid-structure interaction problems with respect to the problem data. In: J. Math. Fluid Mech. 21.3 Paper No. 34, 21 (2019)
Yoon, G.H.: Stress-based topology optimization method for steady-state fluid-structure interaction problems. Comput. Methods Appl. Mech. Engrg. 278, 499–523 (2014)
Yoon, G.H.: Topology optimization for stationary fluid-structure interaction problems using a new monolithic formulation. Int. J. Numer. Meth. Eng. 82.5, 591–616 (2010)
Acknowledgements
The authors would like to thank an anonymous reviewer for his/her suggestions which have improved the content of this work, in particular for the well-posedness of the adjoint problem. V. Calisti has been supported by Praemium Academiæ of Š. Nečasová, in Institute of Mathematics supported by the Czech Academy of Sciences (RVO 67985840).
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Grégoire Allaire.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Let \(\alpha : U \subset {\mathbb {V}}\mapsto \varphi _\alpha \in (H^3 ( \varOmega ))^2\) be a differentiable map, where \({\mathbb {V}}\) is a normed vector space endowed with the norm \(\Vert \cdot \Vert _{{\mathbb {V}}}\), and U is an open subset of \({\mathbb {V}}\), and \(\varOmega \) is an open subset of \({\mathbb {R}}^2\). Thus, \(\alpha : U \subset {\mathbb {V}}\mapsto \nabla \varphi _\alpha \in (H^2 ( \varOmega ))^{2 \times 2}\) is differentiable, and we denote by \(D_\alpha ( \nabla \varphi _\alpha )\) the differential of \(\alpha \mapsto \nabla \varphi _\alpha \) at \(\alpha \). Namely \(D_\alpha ( \nabla \varphi _\alpha )\) is the continuous linear map from \({\mathbb {V}}\) to \((H^2 ( {\mathbb {R}}^2 ))^{2 \times 2}\) such that for all \(d\alpha \in {\mathbb {V}}\):
Assuming \(\nabla \varphi _\alpha \) being invertible, we define the following maps depending on \(\varphi _\alpha \):
where \(\textrm{cof}( \nabla \varphi _\alpha ) \) is the cofactor matrix of \(\nabla \varphi _\alpha \) defined by:
We recall that the determinant \(\det ( \cdot )\), the inverse \(( \cdot )^{-1}\), and the cofactor \(\textrm{cof}(\cdot )\) matrix are differentiable maps defined on the open set of invertible matrices, and their differentials are given by the following expressions. Let \(A,B \in {\mathbb {R}}^{2 \times 2}\), A being invertible, and \(|B |\) sufficiently small so that \(A+B\) is invertible, where \(|B |\) is given in (1). We have:
As it is shown in Sect. 3.1, the maps J, G, and F are well defined and differentiable because of the Banach algebra structure of \(H^2 (\varOmega )\). From there, applying the chain rule and using expressions (101), (102), and (103), we can compute the differentials \(D_\alpha J ( \varphi _\alpha )\), \(D_\alpha G ( \varphi _\alpha )\), and \(D_\alpha F ( \varphi _\alpha )\). We give their expressions in the case where \(\alpha =t \), \(\alpha =w\), and \(\varphi _\alpha = T^t_w\).
We recall that \(\varPhi _t\) is the map defined in (64) in Sect. 4.2 by:
and that we have defined in (74) the following \(H^{3}(\varOmega _0^c)\)-valued map for all \((t, w) \in {\mathbb {R}}_+ \times (H^1_{0, \varGamma _{\omega }}(\varOmega _{0}) \cap H^3 (\varOmega _{0}) )^2 \) by:
This map is differentiable, and we have the following derivatives with respect to w:
for all \(k \in (H^1_{0, \varGamma _{\omega }}(\varOmega _{0}) \cap H^3 (\varOmega _{0}) )^2 \). Thus, from the definitions in (100), the expressions (101), (102), (103) and (104) and in view of the chain rule, we can deduce the values of the following differentials:
Noting that the derivative of \(T^t_w\) with respect to t is given by:
we can also deduce the time derivatives of \( J( T^t_{w} )\), \( G( T^t_{w} )\), and \( F( T^t_{w} )\), given by:
By setting \(T^t_{w} = T_0\) and \(V_t = V\) in these expressions, we retrieve the fields DJ(V) , DG(V) , and DF(V) involved in Theorem 4.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Calisti, V., Lucardesi, I. & Scheid, JF. Shape Sensitivity Analysis of a 2D Fluid–Structure Interaction Problem. J Optim Theory Appl 199, 36–79 (2023). https://doi.org/10.1007/s10957-023-02213-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10957-023-02213-4