Abstract
In this paper we consider a fluid-structure interaction problem given by the steady Navier Stokes equations coupled with linear elasticity taken from (Lasiecka et al. in Nonlinear Anal 44:54–85, 2018). An elastic body surrounded by a liquid in a rectangular domain is deformed by the flow which can be controlled by the Dirichlet boundary condition at the inlet. On the walls along the channel homogeneous Dirichlet boundary conditions and on the outflow boundary do-nothing conditions are prescribed. We recall existence results for the nonlinear system from that reference and analyze the control to state mapping generalizing the results of (Wollner and Wick in J Math Fluid Mech 21:34, 2019) to the setting of the nonlinear Navier-Stokes equation for the fluid and the situation of mixed boundary conditions in a domain with corners.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
The paper deals with fluid-structure interaction (FSI) problems given by a fluid flow around an elastic body in a rectangular channel with fixed walls in two space dimensions. The elastic body deforms under the flow and is modelled by linear elasticity, for the fluid we consider the steady Navier-Stokes equation with Dirichlet condition at the inlet, no-slip condition on the wall, and do-nothing condition on the outlet. The configuration is taken from Lasiecka, Szulc, and Zochoswki [27] who analyze existence of solutions to this FSI problem and existence of an optimal inflow profile, considered as a boundary control, which minimizes the drag at the interface of the elastic body and the fluid. Let g denote the Dirichlet inflow boundary values and (u, w, p) be the solution of the FSI problem after transforming the variables for the fluid to a reference domain, that means u solves the elasticity equation, (w, p) is the solution of the Navier-Stokes equation and both equations are coupled via the traction force at the interface and via coefficients in the Navier-Stokes equation: We show that the control to state map of the FSI problem
with ball \(B_r({{\mathcal {G}}}_{3/2})\) around zero with radius \(r>0\) in the space \({{\mathcal {G}}}_{3/2}\) defined in (2.28) and \(X^p\), \(p>2\), defined in (3.17) is continuously Fréchet differentiable for sufficiently small r. The exact statement is formulated in Theorem 4.
The differentiability is a crucial property to derive first-order optimality conditions which are usually the starting point for characterizing optimal controls and numerical schemes to solve such type of optimal control problems. While the formal derivation of these optimality conditions for similar settings has been considered, see below, we leave the rigorous derivation of optimality conditions for this specific case for future work. Difficulties in the analysis to derive Fréchet differentiability arise from the fact that (i) we consider the nonlinear Navier-Stokes equation, (ii) the problem is formulated in a polygonal domain, (iii) we have mixed Dirichlet-Neumann boundary conditions, and (iv) the analysis is considered in a higher regularity setting. Differentiability of FSI problems with respect to data has been considered for the Stokes equation with Dirichlet boundary conditions in smooth domains coupled with linear elasticity in Wick and Wollner [34]. There the differentiability is obtained by the implicit function theorem which we apply also here following their ideas. Therefore, the linearized Navier-Stokes operator needs to be an isomorphism in suitable spaces; hence, main parts of the paper deal with the derivation of regularity results for the linearized equation. We proceed in three steps following the procedure in [27]: In (i) we derive a lower regularity result for the velocity pressure pair in \(W^{1,2}\times L^2\) based on Lax-Milgram arguments. In (ii) we derive a higher regularity result in \(W^{2,2}\times W^{1,2}\) based on Benes and Kucera [8, Appendix] who prove \(W^{2,2}\times W^{1,2}\) regularity for the solution of the Stokes equation in rectangular domains with mixed boundary conditions. They use a construction which explicitly relies on the angle at the corner and apply results from Agmon, Douglis, and Nirenberg [1] for ellitpic systems. In (iii) we derive higher p-integrability, namely \(W^{2,p}\times W^{1,p}\) on compact subsets using commutator analysis.
For the analysis of linear elasticity we rely on classical theory.
We remark that in contrast to [27] in our setting the traction force at the interface involves not only the pressure but also the normal derivative of the velocity as considered in Grandmont [19, Equation (8)].
We Give an Overview About Related Literature. On FSI problems: Galdi and Kyed [17] analyze existence of steady FSI problems in smooth domains. Wick and Wollner [34] derived as mentioned the differentiability of steady FSI problems with respect to the problem data in smooth domains. For an introduction to evolutionary FSI problems we refer to Kaltenbacher et al [26]; moreover, see, e.g., Gunzburger et al. [12, 13], Grandmont and Maday [18], and Ignatova, Kukavica, Lasiecka, and Tuffaha [25].
On Optimal Control and FSI: In [27] boundary control of a FSI problem with stationary Navier-Stokes equation is considered. The authors show existence of a unqiue solution of the underlying equation under a smallness condition as well as of an optimal control. This paper extends Grandmot [19] in the sense that the problem is considered in a domain with corners and with mixed boundary conditions. In the later reference an elastic body surrounds the fluid and an additional volume constraint is imposed while in the former paper the elastic body is surrounded by the fluid, furthermore, a radial unbounded cost is considered. Rigorously derived first order optimality conditions have been, to the best knowledge of the authors, not been stated yet for the problem under consideration. Numerics including formally derived optimality conditions are considered, e.g., in Richter and Wick [32] where optimal control and parameter estimation for stationary FSI problems are considered.
For a control problem for a dynamic version of the considered model within regular domains we refer to Bociu et al. [5]. For further references on control of evolutionary FSI problems see, e.g. Feiler, Meidner, and Vexler [16] who consider linear FSI systems with coupled Stokes and wave equation and derive optimality conditions as well as Moubachir and Zolesio [30] who derive for an optimal control problem for nonlinear time-dependent FSI problem necessary optimality conditions formally. Existence of optimal controls for the problem of minimizing flow turbulence in the case of a nonlinear fluid-structure interaction model is considered in Bociu et al. [6].
As mentionend above a challenge of the considered problem is due to regularity properties of the Stokes equation in a rectangular domain with mixed-boundary conditions. For results on general Lipschitz domain we refer to Brown et al. [9].
Finally, we remark that differentiablity properties of shape optimization problems for fluid-structure interation has been considered in Haubner, Ulbrich, and Ulbrich [24].
Notation: Throughout the paper we use the usual notation for Lebesgue and Sobolev spaces. For spaces of type \(W^{s,p}({\varOmega })^2\) (\(W^{s,p}({\varOmega })^{2\times 2}\) resp.) we often omit the dimension. We use the usual definition for smooth functions with compact support \(C^{\infty }_c({\varOmega })\). We define the symbolic expression
for \(w\in W^{1,2}({\varOmega }_{\text {f}})^2\) using Einstein summation convention, and we write \({\text {div}}w :=\partial _1 w_1 + \partial _2 w_2\). We denote \(\nabla \cdot \sigma :=\left( \sum _{j=1}^2 \frac{\partial \sigma _{ij}}{\partial x_j} \right) _{1\le i \le 2}\) for \(\sigma \in W^{1,2}({\varOmega }_{\text {f}})^{2\times 2}\). For matrices \(B_1\) and \(B_2\) in \(\mathbb {R}^{2\times 2}\) we denote the Frobenius product by \(A \cdot B:=\sum _{i,j=1}^2 A_{ij} B_{ij}\). Sometimes we write 0 for the zero map. The dependence of a function f on another function g is indicated by f[g] while the dependence on the spatial variable x by \(f(x)=f[g](x)\). We use the following notation for the Jacobian of the flow map \(\varPhi \) as a function of u
and for the cofactor matrix and determinant of the Jacobian
Moreover, we set
Further, we use the notation
with outer normal \(n_{\text {f}}\) to \({\varOmega }_{\text {f}}\). With
we simplify the notation for the case u equal zero to \(c(\cdot ,\cdot ,\cdot ):=c[0](\cdot ,\cdot ,\cdot )\). We set for matrix \(K\in \mathbb {R}^{n,n}\) the expression
For functions f and e and operators D we write for the commutator \([f,D]e:=fDe+D(fe)\). The space of linear bounded mappings from Banach space \(X_1\) to Banach space \(X_2\) we denote by \(L(X_1,X_2)\).
The ball of radius \(r>0\) around zero in a Banach space W we denote by \(B_r(W)\). Finally, \(c>0\) denotes a generic constant and \(c_{\varepsilon }>0\) a constant depending on \(\varepsilon >0\). The Euclidean norm in \(\mathbb {R}^d\) is denoted by \(\left\Vert \cdot \right\Vert _{}\).
Structure of the paper: In Sect. 2 we introduce the physical setting as well as the flow map and transformation rules between the physical and reference domain, in Sect. 3 we introduce the Navier-Stokes system, the elasticity system, and the fluid-structure interaction system and prove existence of solutions, in Sect. 4 we state the main result of the paper, in Sect. 5 we show existence and a priori estimates for the linearized system in higher Sobolev norms, and in Sect. 6 we show the differentiability of the control to state mapping for the FSI system. In the appendix we recall the transformation of the Navier-Stokes equation and its linearization to the reference domain.
2 The Domain
We recall the problem setting from Lasiecka et al. [27]. Let \(D\subset \mathbb {R}^2\) be a bounded domain with piecewise regular boundary \(\partial D\) and straight corners as shown in Fig. 1. Further, let
with \({\varOmega }_{\text {s}}\) and \({\varOmega }_{\text {f}}\) be subsets of D with \({\varOmega }_{\text {s}}\) being a domain with a hole \({\varOmega }_0\) and boundary \(\partial {\varOmega }_{\text {s}}:=\varGamma _{\text {int}}\cup \varGamma _0\). The exterior boundary of \({\varOmega }_{\text {f}}\) is denoted by \(\varGamma _{\text {ext}}:=\varGamma _{\text {in}}\cup \varGamma _{\text {wall}}\cup \varGamma _{\text {out}}\).
In \({\varOmega }_{\text {s}}\) we consider a problem of linear elasticity for an elastic body with u denoting the displacement field. In the exterior subdomain \({\varOmega }_{\text {f}}\) we consider a Navier-Stokes problem for the motion of a fluid with velocity field denoted by \({\tilde{w}}\) and pressure \({\tilde{p}}\).
We consider a parallel fluid flow in the channel D containing the elastic body in \({\varOmega }_{\text {s}}\) which deforms due to the influence of surface forces by the fluid. The original boundary \(\varGamma _{\text {int}}=\varGamma _{\text {int}}[0]\) of \({\varOmega }_{\text {s}}\) transforms itself into \(\varGamma _{\text {int}}[u]\) with elastic displacement u on \(\varGamma _{\text {int}}\), more precisely
This leads to a new domain \({\varOmega }_{\text {f}}[u]\) with boundaries \(\varGamma _{\text {in}}\), \(\varGamma _{\text {out}}\), \(\varGamma _{\text {wall}}\), and \(\varGamma _{\text {int}}[u]\). Variables in the physical domain are denoted with a tilde, cf. Table 1. The outer normal to \({\varOmega }_{\text {f}}\) is denoted by \(n_{\text {f}}\) and the one to \({\varOmega }_{\text {f}}[u]\) by \(n_{\text {f}}[u]\). The outer normal to \({\varOmega }_{\text {s}}\) is denoted by \(n_{\text {s}}\).
2.1 The Flow Map and Some Transformation Rules
In this section we introduce the flow map and study the transformation between the physical and reference domain. At first, we recall some standard operators. The trace operator (cf. [15, Thm. B.54])
is surjective and satisfies for \(u \in W^{2,p}({\varOmega }_{\text {s}})\)
The corresponding trace operator for any open subset \(\omega \subset \varGamma _{\text {in}}\cup \varGamma _{\text {wall}}\) we denote by \(\gamma _{\omega }\).
Proposition 1
(Dirichlet harmonic extension) For \(2\le p<\infty \) the harmonic extension
defined by
is well-posed and satisfies the estimate
Proof
See Amrouche and Moussaoui [3] for an overview about results in domains with smooth and nonsmooth boundaries relying in particular on Necas [31] and Grivsvard [20,21,22]. We use the fact that \(\varGamma _{\text {int}}\) is smooth and that \(\varGamma _{\text {ext}}\) has straight angles. \(\square \)
In the following we set \( \phi [\eta ]:=(\phi _1[\eta _1],\phi _2[\eta _2])^{\top }\) for \(\phi _i\) defined in (2.5).
In the rest of the paper we assume
Definition 1
(Flow map) For \(u\in W^{2,p}({\varOmega }_{\text {s}})\), and \(\phi \) defined in (2.6) the flow map is given by
Here, \(\varPhi [u](x)\) lifts the boundary trace \(u|_{\varGamma _{\text {int}}}=\gamma _{\varGamma _{\text {int}}}u \in W^{1-1/p,p}(\varGamma _{\text {int}})\) from the interface \(\varGamma _{\text {int}}\) into \({\varOmega }_{\text {f}}[u]=\varPhi [u]({\varOmega }_{\text {f}})\), in particular we have \({\varOmega }_{\text {f}}={\varOmega }_{\text {f}}[0]=\varPhi [u]^{-1}({\varOmega }_{\text {f}}[u])\).
Hypothesis 1
Throughout the paper we assume that
This can be guaranteed by considering only small u.
Remark 1
We restrict the presentation to the case \(n=2\). Several results in this paper also hold for the case \(n\in \{2,3\}\) with
however Hypothesis 1 requires pointwise positivity of the gradient of \(\varPhi [u]\) which requires \(W^{1,\infty }({\varOmega }_{\text {f}})\) regularity. This is given in the case \(n=2\) with the continuous embedding \(W^{2,p}({\varOmega }_{\text {f}}) \subset C^{0,1}(\overline{{\varOmega }_{\text {f}}})\), in dimension \(n=3\) we only have \(W^{2,p}({\varOmega }_{\text {f}}) \subset C^{0,\frac{1}{2} + \varepsilon }(\overline{{\varOmega }_{\text {f}}})\) with small \(\varepsilon >0\).
We define
From Grandmont [19] we recall the following properties stated there for a three dimensional spatial setting.
Lemma 1
(i) The mapping \( K :W^{2,p}({\varOmega }_{\text {s}}) \rightarrow W^{1,p}({\varOmega }_{\text {f}})\)
is of class \(C^{\infty }\) with cofactor defined in (1.4).
(ii) The mapping \(G :W^{2,p}({\varOmega }_{\text {s}}) \rightarrow W^{1,p}({\varOmega }_{\text {f}})\)
is of class \(C^{\infty }\). There exists a \(r_1 > 0\) such that for all \(u \in B_{r_1}(U^p)\) we have
is an invertible matrix in \( W^{1,p}({\varOmega }_{\text {f}})\). Moreover, we have
-
(ii.a)
\(\varPhi [u] = \textrm{id}+ \phi (\gamma _{\varGamma _{\text {int}}} u)\) is injective on \(\overline{{\varOmega }_{\text {f}}}\),
-
(ii.b)
\(\varPhi [u]:{\varOmega }_{\text {f}}\rightarrow \varPhi [u]({\varOmega }_{\text {f}})\) is a \(C^1\)-diffeomorphism.
(iii) The mapping \(A :B_{r_1}(U^p) \rightarrow W^{1,p}({\varOmega }_{\text {f}})\), with
is of class \(C^{\infty }\).
Moreover, A satisfies a condition of uniform ellipticity over \(B_{r_1}(U^p)\), i.e. there exists a constant \(\beta > 0\) such that
Proof
(i) The mapping K[u] belongs to \(W^{1,p}({\varOmega }_{\text {f}})\) since \(W^{1,p}({\varOmega }_{\text {f}})\) is an algebra (see Lemma 17). As a composition of \(C^{\infty }\) mappings it is smooth. (ii) For the first statement we apply the same arguments as in (i). For the second, we use that
Choosing \({r_1}\) such that
where c is the constant in Lemma 17, then \(\textrm{id}+ \nabla (\phi (\varGamma _{\text {int}}(b)))\) is an invertible matrix in \(W^{1,p}({\varOmega }_s)\) and we get the result.
For the proof of (ii.a) and (ii.b) we refer to Grandmont [19, Lem. 2].
(iii) We recall the ideas from [19, Lem. 3]. Let \(b \in B_p\). That \(A[u] \in W^{1,p}({\varOmega }_{\text {f}})\) follows from point (ii). As for the regularity of A, it is sufficient to show that the mapping:
is infinitely differentiable at any invertible matrix of \(W^{1,p}({\varOmega }_{\text {f}})\). This can be proven by standard arguments, see [10, Chap. I]. The condition of uniform ellipticity of A over \(B_{r_1}(U^p)\) derives from continuity and compactness arguments \((W^{1,p}({\varOmega }_{\text {f}})\) is compactly embedded in \(C(\bar{{\varOmega }}_2)\)).
For the estimate for the derivative we use the boundedness of A on the bounded set \(B_{r_1}(U^p)\). \(\square \)
2.2 Transformation of Integrals
We recall some properties on the transformation of integrals and derivatives under a reference map.
For function \(\tilde{\pi }\) on the physical domain \({\varOmega }_{\text {f}}[u]\) we define the transformed function on the reference domain \({\varOmega }_{\text {f}}=\varPhi [u]^{-1}({\varOmega }_{\text {f}}[u])\) (for given u) by
which is well-defined by Lemma 1 (ii). Moreover, we denote the determinant of the gradient of the flow map by
As a direct consequence we have \(A[u]=J[u]^{-1} K[u]^{\top } K[u]\).
Lemma 2
Let \(u\in B_{r_1}(U^p)\) and \(\varPhi \) be defined by Proposition 2.9. Then, the following relations hold:
(i) Volume elements transform as
(ii) Boundary elements transform with \(J_{\varGamma }[u]:=\left\Vert K[u]n_{\text {f}}\right\Vert _{}\) as
(iii) The gradient transforms as
(iv) For the outer normal \(n_{\text {f}}[u]\) to \({\varOmega }_{\text {f}}[u]\) and \(n_{\text {f}}\) to \({\varOmega }_{\text {f}}\) we have
Proof
We refer to [19, Equation (8)] and [27, Appendix A.1]. \(\square \)
2.3 Transformation of the Navier-Stokes Equation
We consider the Navier-Stokes system in \(\mathbb {R}^2\) with viscosity \(\nu >0\). We define
Let \({\tilde{w}}=({\tilde{w}}_1,{\tilde{w}}_2)^{\top }\) the fluid velocity and \({\tilde{p}}\) the pressure in the physical domain \({\varOmega }_{\text {f}}[u]=\varPhi [u]({\varOmega }_{\text {f}})\) satisfying
for given data \(g\in {{\mathcal {G}}}_{1/2}\). Let \(\varGamma _{\text {bd}}:=\varGamma _{\text {in}}\cup \varGamma _{\text {wall}}\cup \varGamma _{\text {out}}\). By (2.6) we have \(\varPhi =\textrm{id}_x\) on \(\varGamma _{\text {bd}}\) such that for trial functions \({{\tilde{\psi }}}_1\) and \({{\tilde{\psi }}}_2\) vanishing on \(\varGamma _{\text {bd}}\) also the transformed \(\psi _1\) and \(\psi _2\) vanish on \(\varGamma _{\text {bd}}\). The transformed strong form of the Navier-Stokes system in \({\varOmega }_{\text {f}}\) is given by (cf. [27, Appendix A.1]), see also Appendix A,
3 Existence of Solutions for the Considered Systems
In this section we consider the nonlinear Navier-Stokes system, the linear elasticity system, as well as the fluid-structure interaction model.
3.1 The Navier-Stokes System
Let
For \(m=0,1,2\) we introduce
and further the spaces,
For given \({\varOmega }^c \in {\varOmega }_{\text {f}}^C\) we write
note the different meaning of p here as upper and lower index.
Theorem 1
One can choose \(r>0\), \(r_1>0\), and \(r_2>0\) such that for all \(g \in B_r(\mathcal {G}_{3/2})\) and \(u \in B_{r_1}(U^p)\) there exists a unique solution (w, p) in \(B_{r_2}(W^p)\) of (2.30). Moreover, for any \({\varOmega }^c \in {\varOmega }_{\text {f}}^C\) the solution \((w,p)\in B_{r_2}(W^p_{{\varOmega }^c})\) depends continuously on g.
Proof
We follow closely ideas from [27]. We consider the fixed point equation
where \({{\mathcal {M}}}_g\) maps for given \(g\in B_r(\mathcal {G}_{3/2})\) the point \((\bar{w},\bar{p})\) to the solution (w, p) of
Existence follows by Banach’s fixed point theorem, see [27, (68),(85)], using smallness of the data g.
The continuous dependence on the data follows by the contraction property of \({{\mathcal {M}}}_g\) and the continuous dependence of the iterates on g. \(\square \)
Hypothesis 2
For given \(r_2>0\) let \(r>0\) and \(r_1>0\) be sufficiently small such that for all \(g\in B_r({{\mathcal {G}}}_{3/2})\) and \(u\in B_{r_1}(U^p)\) the Navier-Stokes equation (2.30) has a unique solution (w, p) in \( B_{r_2}(W^p)\).
3.2 The Elasticity System and the Traction Force
We introduce the Piola Kirchhoff stress tensor
with Lamé parameters \(\lambda \) and \(\mu \). We set
and define the Neumann harmonic extension
with u be the solution of
with outer normal \(n_{\text {s}}\) to \({\varOmega }_{\text {s}}\), and vector \(n_{\text {s}}\) is the unit outward normal along \(\varGamma _{\text {int}}\) pointing from \({\varOmega }_{\text {s}}\) to \({\varOmega }_{\text {f}}\). We call u the displacement field and will also consider the system with inhomogeneous right hand side
denoting the solution operator again by \({{\mathcal {N}}}\) as a function of \(f_1\) and v.
Theorem 2
(i) For \(f_1\in L^q({\varOmega }_{\text {s}})\), \(q\ge 2\), and \(v\in W^{1-1/q,q}(\varGamma _{\text {int}})\) system (3.11) has a unique solution \(u\in W^{2,q}({\varOmega }_{\text {s}})\), i.e. we have
(ii) Moreover,
is continuously differentiable.
Proof
(i) We refer to Ciarlet [11, Thm. 6.3-6 and p. 298], note that \(\varGamma _{\text {int}}\) has positive distance to \(\varGamma _{\text {wall}}\cup \varGamma _{\text {out}}\cup \varGamma _{\text {in}}\).
(ii) Follows from the linearity of the mapping. \(\square \)
The inhomogeneous system (3.11) is considered in the proof of Theorem 4.
We introduce \(\kappa \in C^{\infty }_c(D)\) and \(\varOmega _{\kappa }:={\text {supp}}(\kappa )\cap {\varOmega }_{\text {f}}\) to localize \(v \in W^{m,p}({\varOmega }_{\text {f}})\) away from the external boundary \(\partial D\) by considering \(\kappa v \in W^{m,p}(\varOmega _{\kappa })\).
Next, we define the traction force on the interface \(\varGamma _{\text {int}}\).
Definition 2
(Traction map) We define the traction force by
with K[u] given by (1.4).
In particular we have for \((u,p) \in W^{2,p}({\varOmega }_{\text {s}}) \times W^{1,p}(\varOmega _{\kappa })\cap W^{1,2}({\varOmega }_{\text {f}})\), that
Remark 2
Here, in contrast to Lasiecka et al. [27] we define the traction force not only with the term involving the pressure, i.e. \( p K[u] n_{\text {s}}\). Hence, the results cited from this reference have to be adapted to the modified definition. That means, [27, Equation (89)] has to be modified but the argument works also with the definition of the traction force used here.
3.3 The Fluid-Structure Interation System
For \(\nu >0\), \(g\in B_r({{\mathcal {G}}}_{3/2})\) we can state the fluid-structure interaction model given as
For \({\varOmega }_{\text {f}}^c \in {\varOmega }_{\text {f}}^C\) we introduce for \(2< p < \infty \) the spaces
Theorem 3
For any \({\tilde{r}}>0\) there exist an \(r>0\) such that for \(g \in B_r({{\mathcal {G}}}_{3/2})\) problem (3.16) has a unique solution \((u,w,p)\in B_{{\tilde{r}}}(X^p)\) which depends continuously on the data.
Proof
We refer to [27, Thm. 3.2]. The proof uses a fixed-point argument based on estimates which we already cited in the proof of Theorem 1. \(\square \)
4 Main Results
We state the main result of this paper on the continuous differentiability of the data-to-solution-map for the fluid-structure interation problem.
Theorem 4
(Continuous differentiability of the control-to-state mapping) Let \(\nu >0\), \(p>2\), \(g\in B_r({{\mathcal {G}}}_{3/2})\) with \(r>0\) sufficiently small. Then, the mapping
which maps the inflow Dirichlet condition g to the solution (u[g], w[g], p[g]) of the fluid-structure interaction problem (3.16) is continuously differentiable.
The proof will be presented in the following sections. In Sect. 5 we analyze the linearized equations which will be considered in Sect. 6 where we apply the implicit function theorem to prove Theorem 4.
5 The Linearized Equations
In this section we analyze the linearized Navier-Stokes equation in the domain \({\varOmega }_{\text {f}}\) and derive regularity results for its solution using techniques from [27] which are applied there for the Navier-Stokes equation.
We introduce the space
and recall the property \(W^{1,p}({\varOmega }_{\text {f}}) \subset L^{\infty }({\varOmega }_{\text {f}})\). Moreover, for \(u\in U^p\) and \((v,w,y) \in \varPi _{i=1}^3 W^{1,2}({\varOmega }_{\text {f}})^2\) we define
Lemma 3
Let \(u\in U^p\) and \((v,w,y) \in \varPi _{i=1}^3 W^{1,2}({\varOmega }_{\text {f}})^2 \), then (5.2) can be estimated as
Proof
We have \(\partial _j v_i \in L^2({\varOmega }_{\text {f}})\) and by Sobolev’s embedding that \(w_j\) and \(z_i\) belong to \(L^4({\varOmega }_{\text {f}})\) and hence,
and we conclude. \(\square \)
In the following we write c(v, w, y) for c[0](v, w, y) with 0 denoting the zero map.
5.1 Linearized State Equation: Coefficients Equal to One
Let
Let \((\hat{w},\hat{p})\in W^p\) solution of the Navier-Stokes equation (2.30) be given. We consider the linearized Navier-Stokes system around this point with inhomogeneous right hand side given by
Let \(L:W^{1,2}({\varOmega }_{\text {f}}) \rightarrow \mathbb {R}\) with
and for \(\hat{w}\in H\) we define \(b_{\hat{w}}:H \times H \rightarrow \mathbb {R}\), by
To address the linearized terms a smallness condition on the velocity \(\hat{w}\) is made, see also de los Reyes and Yousept [14].
Lemma 4
For \(r_2>0\) sufficiently small we have
moreover, the bilinear form \(b_{\hat{w}}(\cdot ,\cdot )\) is continuous.
Proof
By Lemma 3 there exists an \(\varepsilon = \varepsilon (r_2)>0\) such that
The continuity follows again from Lemma 3 and Sobolev’s embedding. \(\square \)
The weak formulation for (5.6) is given as follows: Find \(z_w \in H\) solution of
Theorem 5
For \(\left\Vert \hat{w}\right\Vert _{W^{1,2}({\varOmega }_{\text {f}})}\) sufficiently small system (5.6) (resp. (5.11)) has a unique solution \((z_w,z_p) \in W^{1,2}({\varOmega }_{\text {f}}) \times L^2({\varOmega }_{\text {f}})\) with
Note, that this lower regularity existence and the estimate follows by classical Lax-Milgram arguments, see [27, Step 1] and also [29, Theorem 11.1.2], together with Lemma 4.
Hypothesis 3
Let \(r_2>0\) be sufficiently small such that for \(\hat{w}\in B_{r_2}(W^{2,p}_c({\varOmega }_{\text {f}}))\) equation (5.6) has a unique solution \((z_w,z_p) \in W^{1,2}({\varOmega }_{\text {f}}) \times L^2({\varOmega }_{\text {f}})\).
Note, that here we consider a higher norm for \(\hat{w}\) than necessary in comparison to Theorem 5. This is due to the fact that later we will also estimate higher norms of \((z_w,z_p)\).
5.2 The Linearized State Equation
Let \((\hat{w},\hat{p})\) be given solution of the Navier-Stokes equation (2.30). We consider the in this point linearized equation with inhomogeneous right hand sides satisfying (5.5)
To analyze this equation we follow [27] and take ideas from Grandmont [19] into account. We recall a technical result which follows by a Taylor argument.
Lemma 5
For \(r_u\) and \(r_{w}\) positive and \(\bar{u}\in B_{r_u}(U^p)\) and \(\bar{w}\in B_{r_{w}}(X^p)\) and some \(s\ge 1\) the following estimates hold:
as well as
for some \(s \ge 1\) and \(q \ge 2\).
Proof
For the proof we refer to [27, Lem. 4.1]. \(\square \)
Remark 3
We mention that in the cited reference the power s arise purely from the higher order terms.
We follow ideas in [27, Prop. 4.2, Lem. 4.3, Lem 4.4, and Lem. 4.5] developed there for the Navier-Stokes equation to analyze the linearized equation in (5.13). We start with a preliminary consideration which is later used in (5.29).
Lemma 6
For \(v\in W^{1,p}({\varOmega }_{\text {f}})\) and \(s \in L^2(\varGamma _{\text {out}})\) we have
Proof
Since \(W^{1,p}\subset C(\overline{{\varOmega }})\) continuous the product of the trace of v on \(\varGamma _{\text {out}}\) with s is in \(L^2(\varGamma _{\text {out}})\subset W^{-1/2,2}(\varGamma _{\text {out}})\) and we have
Again using that v is continuous up to the boundary we conclude. \(\square \)
For given \(u\in B_{r_1}(U^p)\) we define a map
by rewriting (5.13) as
this will allow to define a sequence \(((z_{w,n},z_{p,n}))_{n\in \mathbb {N}}\) with \((z_{w,0},z_{p,0})\) equal to some \((\bar{z}_{w},\bar{z}_{p})\in W^p\) which we further analyze in Sect. 5.5 to obtain existence of a solution for (5.13).
Lemma 7
Let \(r_u\) and \(r_w\) positive. For \(u\in B_{r_u}(U^p)\) and \(v \in B_{r_w}(W^{1,p}({\varOmega }_{\text {f}}))\) we have
Proof
We have
and conclude with Lemma 5. \(\square \)
5.3 Lower Regularity
We have the following a priori \(W^{1,2}\times L^{2}\)-estimate without having to take into account the special situation of mixed boundary conditions.
Lemma 8
Let Hypothesis 3 be satisfied. For the solution \((z_w,z_p)\) of (5.17) we have the estimate
with constant c depending on \(r_{2}\) and \(s\ge 1\).
Proof
By Theorem 5 we have existence of a unique solution and the following lower regularity result for the solution \((z_w,z_p)\) given by
where
We estimate each term separately. Differently to [27] we have to estimate the linearized convection term
and accordingly,
The other terms are treated in the same way, for simplicity we recall here the main steps. For some \(s\ge 1\) using Lemma 5 4. we have for the diffusion term
Again by [27, Lem. 4.1] we obtain for the term involving the pressure
By \({\text {div}}_{\textrm{id}- K[u]^{\top }} w = (\textrm{id}- K[u]^{\top }) \cdot \nabla w\), cf. Appendix C, we have
and for the boundary terms
using for the latter estimate the Neumann trace estimate; note, that we estimate the trace in a higher norm than necessary here. Moreover, with estimate (5.14)
Consequently, with (5.25)–(5.28) we obtain the result. \(\square \)
5.4 Higher Regularity
For \(F\in L^2({\varOmega }_{\text {f}})\), \(F_2\in W^{1,2}({\varOmega }_{\text {f}})\), \(\delta g\in {{\mathcal {G}}}_{3,2}\), and \(F_3 \in W^{1/2,2}(\varGamma _{\text {out}})\) we consider
Let \(\kappa \in C^{\infty }_c(D)\) localize v away from the external boundary \(\partial {\varOmega }_{\text {f}}\) and set \(\varOmega _{\kappa }:={\text {supp}}(\kappa )\). Here, we rely on estimates provided in Lasiecka et al. [27, equation (44)] given by
Remark 4
The authors in [27] refer here to the notion of ellipticity for systems introduced in Agmon, Douglis, and Nirenberg [1], see also Maz’ya and Rossmann [29, Sec. 1.1.3], and Bouchev and Gunzburger [7, Appendix D]. Following Beneš and Kučera [8, Appendix] the regularity is established at first locally for boundary points on the Dirichlet boundary part, the Neumann boundary part, and then for the two corners where the different types of boundary conditions meet (the less standard result), see [27, Appendix A.3]. With cut-off functions the solutions are localized and the estimates are derived using [7, Thm. D.1]. Using the compactness of D global regularity is achieved.
We define
and assume
We introduce
implying \(z_w=z_{w,a}+z_{w,b}\) and \(z_p=z_{p,a}+z_{p,b}\) and write the solution \((z_w,z_p)\) of (5.17) as the sum of \((z_{w,a},z_{p,a})\) and \((z_{w,b},z_{p,b})\) being solutions of the following two systems localized in the interior and close to the boundary:
(note that \(\partial {\varOmega }_{\text {f}}=\varGamma _{\text {int}}\cup \varGamma _{\text {out}}\)) and
Lemma 9
Let Hypothesis 3 be satisfied. For every \(\varepsilon > 0\) we have for \(p'=2\), and \(s \ge 1\) that
Proof
In the following we omit the first term in the estimate on the right hand side, since its derivation follows easily. By (5.31) we have for the solution of equation (5.36)
where
Note, that in the following we consider (besides for boundary terms) general \(L^q\), \(q\ge 2\), and not only \(L^2\) estimates to include also estimates needed for the subsequential lemma in which instead of \((z_w,z_p) \in W\) the pair \((z_{w,a},z_{p,a})\in W^p\) will be considered implying that below higher regularity has to be assumed for terms involving \(\left\Vert z_w\right\Vert _{W^{2,p}({\varOmega }_{\text {f}})}\).
We have with \(2<q <\infty \) for the linearized convection term using Sobolev embedding \(W^{2,2}({\varOmega }_{\text {f}})\subset W^{1,q}({\varOmega }_{\text {f}})\)
Moreover, following [27], with Hölder’s inequality with suitable \(q_1\ge 1\) and \(q_2\ge 1\) satisfying \(1/q=1/q_1 + 1/q_2\) and Lemma 7
for the later estimate we used that for \(q_2=(qq_1)/(q_1 - q)\) the inclusion \(W^{2,q}({\varOmega }_{\text {f}}) \subset W^{1,q_1}({\varOmega }_{\text {f}})\) is continuous. Using that the appearing commutator loses one order of differentiability we get
which can be further estimated in the case \(q=2\) by (5.20). Further, we have for \(q= 2\) that
We have with Hölder’s inequality for \({\tilde{q}}\ge 2\) that
The composition for \( q\ge 2\)
defines a continuous inclusion. Using the representation of \(\nabla \varPhi [u]\) and A[u], see [27, (129) and (138)], and that \(K[u]=\nabla \varPhi [u] A[u]\), we have, cf. [27, Proof of Lem. 4.1],
and we can conclude
Next, we have as in (5.28) the estimate
For \(q \ge 2\) we have using Appendix C and (5.46) that
Moreover, we have
using that \([(1-\kappa ),{\text {div}}]w = \nabla (1-\kappa ) \cdot w\). The norm on the right hand side can be further estimated using again (5.20).
Now, setting \(q=2\) we conclude. \(\square \)
5.4.1 Interior Estimates
For references on \(L^p\)–estimates for the Stokes equation we refer to Amrouche and Rejaiba [4], Hieber and Saal [23], Solonnikov [33]. We recall an interior estimate for the Stokes equation, note that in this case there arises no difficulty from mixed boundary conditions. We set
Lemma 10
Choosing \(p=p'>2\) we have
Proof
For a proof see [28, Thm 11.3.4]; we use the fact that \(\kappa w \in W^{1,2}_0({\varOmega }_{\kappa })\). \(\square \)
Lemma 11
Let Hypothesis 3 be satisfied. Then, we have for solution \((z_w,z_p)\) of (5.35) for \(\varepsilon >0\)
Proof
(i) We start with (5.52). Recalling ideas from [27], to estimate \(\left\Vert \kappa (K[u] - \textrm{id})\nabla z_p\right\Vert _{L^p({\varOmega }_{\text {f}})} \) we cannot use an estimate as (5.43) in a higher \(L^p\)–norm, since we have no \(W^{1,p}({\varOmega }_{\text {f}})\) regularity of the pressure up to the boundary. Hence, we use the property of the communtator that
and that the commutator looses one derivative
implying that
using the continuous embedding \(W^{1,2}({\varOmega }_{\text {f}}) \subset L^p({\varOmega }_{\text {f}})\). This term can then be estimated as in (5.43).
(ii) Using estimates from the proof of Lemma 9, estimates for the commutator, and the consideration from (i) we obtain
For the terms \(\left\Vert z_w\right\Vert _{W^{1,p}({\varOmega }_{\text {f}})} + c\left\Vert z_p\right\Vert _{L^p({\varOmega }_{\text {f}})}\) we cannot apply (5.20) directly for \(p>2\). Using Ehrling’s lemma we have for \(\varepsilon > 0\)
which yields
which allows to sublimate the higher order terms and gives, with \(\varepsilon \) arbitrarily small, the result. \(\square \)
5.5 Limit Behaviour
The map (5.16) defines an iteration scheme generating a sequence of iterates
We will verify that it converges for \(n\rightarrow \infty \) towards the unique solution \((z_w,z_p)\in W^p\) of (5.17). For a \(\eta \in ]0,1[\) we will estimate
for \({\varOmega }_{\text {f}}^c\in {\varOmega }_{\text {f}}^C\). Then, there exists \((\bar{z}_w,\bar{z}_p)\in W^p_{{\varOmega }^c}\) and sequence \(((z_{w,n},z_{p,n}))_{n\in \mathbb {N}} \subset W^p_{{\varOmega }^c}\) such that
with \((\bar{z}_w,\bar{z}_p)\) the unique solution of (5.17). This idea is taken from Grandmont [19].
Next, we show the strategy in detail.
5.5.1 The Linearized State Equation: Contraction Property
Let \(Y_1 := (z_w^1, z_p^1)\), \(Y_2 = (z_w^2, z_p^2)\), and \({\bar{Y}}_i := (\bar{z}_w^i, \bar{z}_p^i)\), \(i=1,2\), with
Our aim is to show that
where \(\eta < 1\) uniform in \({\varOmega }_{\text {f}}^c\). From the definition of the map T we write
for \(i=1,2\). Denoting \(\bar{Y}:= \bar{Y}_1 - \bar{Y}_2\) we obtain the equation for
in terms of \(\bar{Y}_i \in B_r(W^p)\):
Lemma 12
Let Hypothesis 3 be satisfied. For the solution of (5.67) we have
where \(\bar{Z}_w := \bar{z}_w^1 - \bar{z}_w^2\) and \(\bar{Z}_p := \bar{z}_p^1 - \bar{z}_p^2\).
Proof
We proceed similarly as in Lemma 9 using also Theorem 8; we estimate
For the term \(B(Y_i)\) we have by (5.46) that with \(1/p_1 + 1/p_2 =1/2\), \(p_1>2\),
and on the boundary \(\varGamma _{\text {out}}\)
From Lemma 9 it follows that
Using estimates (5.28) and (5.29) for the boundary terms we conclude. \(\square \)
Lemma 13
Let Hypothesis 3 be satisfied and additionally, \(r_1>0\) and \(r_2>0\) be sufficiently small. Then, the map T defined by (5.16) satisfies for some \(0<\eta <1\)
for \({\varOmega }^c \in {\varOmega }_{\text {f}}^C\).
Proof
As a consequence of the previous lemma it remains to prove the contraction property with respect to higer p-integrability on compact subsets.
We recall the function \(\kappa \). We remark that the commutator has for sufficiently smooth v the property that
Hence, we have
with \(Z_{w,a}:=z_{w,a}^1 - z_{w,a}^2\) and \(Z_{p,a}:=z_{p,a}^1 - z_{p,a}^2\). Since the commutators loose one order of derivative we can derive higher Lebesgue integrability, i.e. for \((w,p) \in W^{2,2}({\varOmega }_{\text {f}}) \times W^{1,2}({\varOmega }_{\text {f}})\)
Similar as in the proof of Lemma 11 we estimate \(\left\Vert \kappa (B(\bar{Y}_1) - B(\bar{Y}_2))\right\Vert _{W^{1,p}({\varOmega }_{\text {f}})}\) and \(\left\Vert \kappa (D(\bar{Y}_1) - D(\bar{Y}_2))\right\Vert _{W^{1,p}({\varOmega }_{\text {f}})}\). Here we use the same trick as in that proof to obtain higher p-integrability, namely we switch around the order of \(\kappa \) and the differential operators in the term with coefficient A[u] as well as in the divergence term and introduce a commutator as correction term.
Applying further the estimate of Lemma 12 to the terms (5.76) we obtain finally
Thus, for \(r_1>0\) and \(r_2>0\) sufficiently small we obtain the result. \(\square \)
Theorem 6
Let Hypothesis 3 be satisifed and additionally \(r_1>0\) and \(r_2>0\) sufficiently small. For data satisfying the regularity assumption in (5.33), \(\hat{w}\in B_{r_2}(W^{2,p}_c({\varOmega }_{\text {f}})) \), and \(u \in B_{r_1}(U^p)\) the linearized equation (5.13) has a unique solution \((z_w,z_p) \in W^p. \) Moreover, the solution is bounded by the data, we have
for subsets \({\varOmega }^c \in {\varOmega }_{\text {f}}^C\).
Proof
The existence follows by the procedure described at the beginning of Sect. 5.5 and the contraction property given in Lemma 13. The estimate follows from the boundedness of the operator T shown in Lemma 9 and 11 and sublimating the with powers of \(r_i\) weighted terms by the left hand side. \(\square \)
Hypothesis 4
Let \(r_1>0\) and \(r_2>0\) be sufficiently small, such that for \(\hat{w}\in W^{2,p}_c({\varOmega }_{\text {f}})\) and \(u \in B_{r_1}(U^p)\) the linearized equation (5.13) has a unique solution in \(W^p\) satsfying estimate (5.78).
6 Differentiability
In this section we show the main result, the differentiability of the mapping which maps the infow profile g to the deformation-velocity-pressure triple (u, w, p) of the fluid-structure interaction system. We follow in parts ideas from [34] where linear elasticity is coupled with the Stokes equation with Dirichlet boundary conditions in a smooth domain. In a first step we consider the differentiability of the data-to-solution map g to (w, p) for the Navier-Stokes system.
We introduce two systems, which will appear to be the linearized systems with respect to inflow data g and with respect to perturbation u, namely
and
For given \((\hat{u}, \hat{g})\in B_{r_1}(U^p)\times B_r({{\mathcal {G}}}_{3/2})\) we write the Navier-Stokes equation (2.30) as
with
Lemma 14
The function e defined in (6.3)–(6.4) is continuously differentiable.
Proof
The statement follows by the regularity of the appearing functions and the smoothness of A and K, see Lemma 1. \(\square \)
To apply the implicit function theorem we show that the derivative of e with respect to (w, p) defines an isomorphism in a solution \((\hat{u},\hat{w},\hat{p},\hat{g})\) of (6.3).
Let \(\hat{u}\in W^{2,p}({\varOmega }_{\text {s}})\) and \((\hat{w},\hat{p})\in W^p\) the corresponding solution of the Navier-Stokes equation (2.30). Moreover, let \((F,F_2,g,F_3) \in {{\mathcal {S}}}^{p'}\). Recalling Hypothesis 2 and 3, we consider the solution \((z_w,z_p) \in W^p\) of
By Theorem 6 the solution is well-defined and we have
for \({\varOmega }^c \in {\varOmega }_{\text {f}}^C\).
Lemma 15
(ia) The mapping
is continuously differentiable with (w[u, g], p[u, g]) the solution of (2.30) for given (u, g).
(ib) Let \(u\in B_{r_1}(U^p)\) be fixed. The derivative \((\delta w_g,\delta p_g)\) of
is given by (6.1).
(ic) Let \(g\in B_r({{\mathcal {G}}}_{3/2})\) be fixed. The derivative \((\delta w_u,\delta p_u)\) of
is given by (6.2).
(ii) The mapping
is continuously differentiable.
Proof
(ia) To show continuous differentiability of \((w[\cdot ],p[\cdot ])\), we employ the implicit function theorem. We note that
corresponds to the transformed Stokes operator on the left given by
We observe that \( D_{(w,p)} e(u,w,p,g) :W^p_{{\varOmega }^c}\rightarrow {{\mathcal {S}}}^{p'}\) is an isomorphism by Theorem 6 and estimate given there, cf. (6.6).
(ib) With \( D_{g} e(u,w,p,g)\delta g\) given by
the derivative \((\delta w_g,\delta p_g)\) with respect to g is given as the solution of
or equivalently by (6.1). A solution exists by Theorem 6 and is bounded by the data, the result follows.
(ic) Analogously, the partial derivative \(D_{u} e(u,w,p,g)\delta u\) is given by
and (6.2) can be written as
or equivalently by (6.2). Since
for \(p>2\), the right hand side in (6.16) has the suitable regularity and we conclude again with Theorem 6.
(ii) Follows directly from (ia). Note, that here we use that in the interior we have higher p-integrability and that \(\varGamma _{\text {int}}\) is bounded away from \(\varGamma _{\text {ext}}\). \(\square \)
Lemma 16
Let Hypothesis 2 and 4 be satisfied. For \(g\in B_r({{\mathcal {G}}}_{3/2})\) and \(u \in B_{r_1}(U^p)\) and \({{\mathcal {F}}}\) given in (6.10) we have for any \(\varepsilon > 0\)
with \(L_F:=L(W^{2,p}({\varOmega }_{\text {s}}),W^{1-1/p,p}(\varGamma _{\text {int}}))\) provided that r and \(r_1\) are sufficiently small.
Proof
We write
By Lemma 15 and applying the chain rule, we get for any direction \(\delta u \in W^{2,p}({\varOmega }_{\text {s}})\) that
By Theorem 1 we can choose for \(\delta >0\) the radii \(r>0\) and \(r_1>0\) sufficiently small such that \((w,p) \in B_{\delta }(W^p)\). Using the smoothness of the outer normal on the interface taking into account that \(\varGamma _{\text {int}}\) is bounded away from \(\varGamma _{\text {ext}}\) and recalling that \(p>n\) we have, see (3.15) (omitting the dependencies on u and g) that
Note, that in (6.21) we use higher p-integrability of \((\kappa w,\kappa p)\) whose supports are bounded away from the boundary. Now, using the estimate in Theorem 6 applied to (6.2), we have for any \(\gamma >0\) and data sufficiently small that
which shows the assertion. \(\square \)
Now we can prove Theorem 4.
Remark 5
It is not necessary to assume Hypothesis 2, 3, or 4 explicitly, since by Theorem 3 the existence of a solution of the FSI problem is in a ball of radius \({\tilde{r}}\) which we can choose arbitrary small if \(r>0\) is chosen accordingly sufficiently small. This guarantees implicitly the existence of a solution to the Navier-Stokes equation making Hypothesis 2 redundant as well as a sufficiently small bound on the velocity of the Navier-Stokes equation and the solution of the elasticity system making Hypothesis 4 and so also Hypothesis 3 redundant.
Proof of Theorem 4
We follow ideas from [34]. Existence of a solution of the fluid-structure interaction problem follows by Theorem 3. We have \( (u,w,p)=\varPi (g)\) and
with \({{\mathcal {N}}}\) defined in Theorem 2 and \({{\mathcal {F}}}\) given in (6.10). Since (w, p) depends continuously differentiable on (u, g) by Lemma 15, it is sufficient to show differentiability of the mapping \(g \mapsto u\) given by the above fix point relation (6.23). We apply the implicit function theorem. We note that
corresponds to the solution operator for the elasticity problem (3.10), see Theorem 2 and is hence, bounded. For
we use that by Lemma 16 the norm \(\left\Vert D_u{{\mathcal {F}}}\right\Vert _{L_F}\) can be made arbitrarily small choosing r sufficiently small and taking the continuous dependence of the solution of the FSI problem on the data into account, see Theorem 3. Thus, \(\textrm{id}- D_2 {{\mathcal {N}}}\circ D_u {{\mathcal {F}}}\) is invertible. By the implicit function theorem we obtain the continous differentiability of the mapping \(\varPi \). \(\square \)
References
Agmon, S., Douglis, A., Nirenberg, L.: Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. I. Commun. Pure Appl. Math. 12, 623–727 (1959)
Alt, H.W.: Linear Functional Analysis: An Application-Oriented Introduction. Springer, Berlin (2016)
Amrouche, C., Moussaoui, M.: The dirichlet and neumann problems in lipschitz and in \(c^{1,1}\) domains. arXiv:2204.02831 (2022)
Amrouche, C., Rejaiba, A.: \(l^p\)-theory for Stokes and Navier-Stokes equations with Navier boundary condition. J. Differ. Equ. 256(4), 1515–1547 (2014)
Bociu, L., Castle, L., Lasiecka, I., Tuffaha, A.: Minimizing drag in a moving boundary fluid-elasticity interaction. Nonlinear Anal. 197, 111837 (2020)
Bociu, L., Castle, L., Martin, K., Toundykov, D.: Optimal control in a free boundary fluid-elasticity interaction. Discrete Contin. Dyn. Syst., (Dynamical systems, differential equations and applications. 10th AIMS Conference. Suppl.), pp. 122–131 (2015)
Bochev, P.B., Gunzburger, M.D.: Least-Squares Finite Element Methods. Applied Mathematical Sciences, vol. 166. Springer, New York (2009)
Beneš, M., Kučera, P.: Solutions to the Navier–Stokes equations with mixed boundary conditions in two-dimensional bounded domains. Math. Nachr. 289(2–3), 194–212 (2016)
Brown, R., Mitrea, I., Mitrea, M., Wright. M.: Mixed boundary value problems for the stokes system. Trans. Am. Math. Soc. 362, 1211–1230 (2009)
Cartan, H.: Calcul Différentiel. Hermann, Paris (1967)
Ciarlet, P.G.: Mathematical Elasticity. Volume 20 of Studies in Mathematics and its Applications, vol. I. North-Holland Publishing Co, Amsterdam (1988). (Three-dimensional elasticity)
Du, Q., Gunzburger, M.D., Hou, L.S., Lee, J.: Analysis of a linear fluid-structure interaction problem. Discret.Contin. Dyn. Syst. 9(3), 633–650 (2003)
Du, Q., Gunzburger, M.D., Hou, L.S., Lee, J.: Semidiscrete finite element approximations of a linear fluid-structure interaction problem. SIAM J. Numer. Anal. 42(1), 1–29 (2004)
de los Reyes, J.C., Yousept, I.: Regularized state-constrained boundary optimal control of the Navier-Stokes equations. J. Math. Anal. Appl. 356(1), 257–279 (2009)
Ern, A., Guermond, J.-L.: Theory and Practice of Finite Elements. Applied Mathematical Sciences, vol. 159. Springer-Verlag, New York (2004)
Failer, L., Meidner, D., Vexler, B.: Optimal control of a linear unsteady fluid-structure interaction problem. J. Optim. Theory Appl. 170(1), 1–27 (2016)
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)
Grandmont, C., Maday, Y.: Existence for an unsteady fluid-structure interaction problem. M2AN Math. Model. Numer. Anal. 34(3), 609–636 (2000)
Grandmont, C.: Existence for a three-dimensional steady state fluid-structure interaction problem. J. Math. Fluid Mech. 4(1), 76–94 (2002)
Grisvard, P.: Alternative de fredholm relative au probléme de dirichlet dans un polygone ou un polyédre. Bolletino U.M.I 4(5), 132–164 (1972)
Grisvard, P.: Alternative de Fredholm relative au problème de Dirichlet dans un polyèdre. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, 4e série 2(3), 359–388 (1975)
Grisvard, P.: Elliptic Problems in Nonsmooth Domains. SIAM, Philadelphia (2011)
Hieber, M., Saal, J.: The Stokes equation in the \(L^p\)-setting: well-posedness and regularity properties. In: Handbook of Mathematical Analysis in Mechanics of Viscous Fluids, pp. 117–206. Springer, Cham (2018)
Haubner, J., Ulbrich, M., Ulbrich, S.: Analysis of shape optimization problems for unsteady fluid-structure interaction. Inverse Probl. 36(3), 03400034001 (2020)
Ignatova, M., Kukavica, I., Lasiecka, I., Tuffaha, A.: Small data global existence for a fluid-structure model. Nonlinearity 30(2), 848–898 (2017)
Kaltenbacher, B., Kukavica, I., Lasiecka, I., Triggiani, R., Tuffaha, A., Webster, J.T.: Mathematical theory of evolutionary fluid-flow structure interactions, volume 48 of Oberwolfach Seminars. Birkhäuser/Springer, Cham, 2018. Lecture notes from Oberwolfach seminars, November 20–26 (2016)
Lasiecka, I., Szulc, K., Zochowski, A.: Boundary control of small solutions to fluid-structure interactions arising in coupling of elasticity with Navier-Stokes equation under mixed boundary conditions. Nonlinear Anal. Real World Appl. 44, 54–85 (2018)
Maz’ya, V., Rossmann, J.: Mixed boundary value problems for the stationary Navier-Stokes system in polyhedral domains. Arch. Ration. Mech. Anal. 194(2), 669–712 (2009)
Mazya, V., Rossmann, J.: Elliptic equations in polyhedral domains. American Mathematical Society (AMS), Providence, RI (2010)
Moubachir, M., Zolésio, J.-P.: Moving Shape Analysis and Control, Volume 277 of Pure and Applied Mathematics. Chapman & Hall/CRC, Boca Raton, FL (2006). Applications to fluid structure interactions
Necas, J., Simader, C.G., Necasová, Š, Tronel, G., Kufner, A.: Direct Methods in the Theory of Elliptic Equations. Springer Monographs in Mathematics, Springer, Berlin Heidelberg (2012)
Richter, T., Wick, T.: Optimal control and parameter estimation for stationary fluid-structure interaction problems. SIAM J. Sci. Comput. 35(5), B1085–B1104 (2013)
Solonnikov, V.A.: \(L_p\)-estimates for solutions to the initial boundary-value problem for the generalized Stokes system in a bounded domain. Funct. Theory Part. Differ. Equ. 105, 2448–2484 (2001)
Wick, T., Wollner, W.: On the differentiability of fluid-structure interaction problems with respect to the problem data. J. Math. Fluid Mech. 21(3), 34, 21 (2019)
Acknowledgements
The authors thank Kathrin Völkner for her remarks on the manuscript.
Funding
Open Access funding enabled and organized by Projekt DEAL. The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have not disclosed any competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
A: Transformation of the Navier-Stokes Equation
Following [27] we state the strong and weak formulation of the Navier-Stokes equation in the physical and reference domain. We have for the velocity \(({\tilde{w}}_1,{\tilde{w}}_2)\) and pressure \({\tilde{p}}\) in the physical domain \({\varOmega }_{\text {f}}[u]\)
Transforming to a weak form by multiplying with a test function, integration over \({\varOmega }_{\text {f}}[u]\), and apply integration by parts we obtain
We have by (2.24), (2.25), and (2.26) on the do-nothing outflow boundary part
For the diffusion term we have using (2.25)
The convection term transforms using (2.25) as follows
For the boundary pressure term we have by (2.24) and (2.26)
Finally, for the volume pressure term we have
where
Summarizing we obtain the weak formulation
and equivalently in strong form
B: Transformation of the Linearized Navier-Stokes Equation
For the velocity \(({\tilde{w}}_1,{\tilde{w}}_2)\) and pressure \({\tilde{p}}\) in the physical domain \({\varOmega }_{\text {f}}[u]\) we have
All linear terms are transformed as for the Navier-Stokes equation. The first term of the linearized convection term transforms using (2.25) as follows
and the second one accordingly. That means we have for the transformed equation in strong form
C: Some Properties
Lemma 17
(Algebra property) For \(v \in W^{1,p}({\varOmega })\) and \(u \in W^{1,p}({\varOmega })\), the product uv belongs to \(W^{1,p}({\varOmega })\), and we have
Proof
Immediate. \(\square \)
With the embedding of Sobolev in Hölder spaces we have for \(p>n\)
and so [2, p. 338 and p. 325]
For \(w\in W^{1,2}({\varOmega }_{\text {f}})^2\) and recalling K[u] we have the following calculus rules:
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
Hintermüller, M., Kröner, A. Differentiability Properties for Boundary Control of Fluid-Structure Interactions of Linear Elasticity with Navier-Stokes Equations with Mixed-Boundary Conditions in a Channel. Appl Math Optim 87, 15 (2023). https://doi.org/10.1007/s00245-022-09938-0
Accepted:
Published:
DOI: https://doi.org/10.1007/s00245-022-09938-0
Keywords
- Fluid-structure interaction
- Boundary control
- Differentiability properties
- Navier Stokes equation
- Mixed boundary conditions
- Domain with corners