Abstract
We study the equilibrium configurations of a possibly asymmetric fluid–structure interaction problem. The fluid is confined in a bounded planar channel and is governed by the stationary Navier–Stokes equations with laminar inflow and outflow. A body is immersed in the channel and is subject to both the lift force from the fluid and to some external elastic force. Asymmetry, which is motivated by natural models, and the possibly non-vanishing velocity of the fluid on the boundary of the channel require the introduction of suitable assumptions to prevent collisions of the body with the boundary. With these assumptions at hand, we prove that for sufficiently small inflow/outflow there exists a unique equilibrium configuration. Only if the inflow, the outflow and the body are all symmetric, the configuration is also symmetric. A model application is also discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(L>H>0\) and consider the rectangle \(R=(-L,L)\times (-H,H)\). Let \(B\subset R\) be a closed smooth domain having barycenter at the origin \((x_1,x_2)=(0,0)\) such that \(\textrm{diam}(B)\ll L,H\). We study the behavior of a stationary laminar (horizontal) fluid flow going through R and filling the domain \(\Omega _h= R\setminus B_h\), where \(B_h=B+he_2\) for some h (a vertical translation of B), see Fig. 1. Note that \(B_0=B\).
The fluid is governed by the stationary 2D Navier–Stokes equations
complemented with inhomogeneous Dirichlet boundary conditions on \(\partial \Omega _h=\partial B_h\cup \partial R\), see (2.4). Here, \(\mu >0\) is the kinematic viscosity, u is the velocity vector field, p is the scalar pressure.
The body B is subject to two vertical forces. The first force (the lift) is due to the fluid flow and tends to move B away from its original position \(B_0\); it is expressed through a boundary integral over \(\partial B\), see (3.1). The second force is mechanical (elastic) and acts as a restoring force tending to maintain B in \(B_0\). When there is no inflow/outflow, the body is only subject to the restoring force and remains in \(B_0\) which is the unique equilibrium position. But, as soon as there is a fluid flow, these two forces start competing and one may wonder if the body remains in \(B_0\) or, at least, if the equilibrium position remains unique.
We show that if the inflow/outflow is sufficiently small, then the equilibrium position of B remains unique and coincides with \(B_h\) for some h close to zero. We point out that, contrary to [3, 8, 10], we make no symmetry assumptions neither on B nor on the laminar inflow/outflow. Therefore, not only the overall configuration will be asymmetric but also some of the techniques developed in these papers do not work and \(B_h\) may be different from \(B_0\). The motivation for studying asymmetric configurations comes from nature. Only very few bodies are perfectly symmetric, and most fluid flows, although laminar in the horizontal direction, are asymmetric in the vertical direction: think of an horizontal wind depending on the altitude or the water flow in a river depending on the distance from the banks. Figure 2 shows two front waves in sandstorms that have no vertical symmetry although the wind is (almost) horizontally laminar.
In Sect. 2, we give a detailed description of our model and we prove that, for small Reynolds numbers, the Navier–Stokes equations are uniquely solvable in any \(\Omega _h\), see Theorem 2.2. The related a priori bounds depend on h, and this is one crucial difference compared to the (symmetric) Poiseuille inflow/outflow considered in [3]. It is well known [5] that to solve inhomogeneous Dirichlet problems for the Navier–Stokes equations, one needs to find a solenoidal extension of the boundary data and to transform the original problem in an homogeneous Dirichlet problem with an additional source term. For the existence issue, one can use the classical Hopf extension, but there are infinitely many other possible choices for the solenoidal extension. One of them, introduced in [12], was used in [3] to write the lift force as a volume integral by means of the solution of an auxiliary Stokes problem. For asymmetric flows, the same solenoidal extension does not allow to estimate all the boundary terms and, in order to obtain refined bounds for the solution to the Navier–Stokes equations in \(\Omega _h\), we build a new explicit solenoidal extension that also plays a fundamental role in the analysis of the subsequent fluid–structure interaction (FSI) problem.
The main physical interest in FSI problems is to determine the \(\omega \)-limit of the associated evolution equations because this allows to forecast the long-time behavior of the structure. Since the evolution Navier–Stokes equations are dissipative, one is led to investigate if the global attractor exists, see [7, 15]: the main difficulty is that the corresponding phase space is time dependent and semigroup theory does not apply. The global attractor contains stationary solutions of the evolution FSI problem that we call equilibrium configurations, which are investigated in the present work.
In Sect. 3, we introduce the lift force and the restoring force and we set up the steady-state FSI problem. Our main result, namely Theorem 3.1, states that, for small Reynolds numbers, the equilibrium position is unique and may differ from \(B_0\). By exploiting the strength of the restoring force, uniqueness for the FSI problem is obtained without assuming uniqueness for (1.1). To prove this result, we need some bounds on the lift force in proximity of collisions of \(B_h\) with \(\partial R\): these bounds are collected in Theorem 3.2 and proved in Sect. 4 by using the very same solenoidal extension introduced in Sect. 2. The remaining part of the proof of Theorem 3.1 is divided in two steps. In Subsection 5.1, we prove some properties of the global force exerted on the body B. These properties are then used in Subsection 5.2 to complete the proof by means of an implicit function argument, combined with some delicate bounds involving derivatives of moving boundary integrals. We emphasize that for our FSI problem we cannot use the explicit expression of the lift derivative as in [17] because the displacements \(B_h\) within R do not follow the normal of \(\partial B_h\), in particular if \(\partial B_h\) contains some vertical segments. Instead, based on the general approach introduced in [2] (see also the previous work [14]), we compute with high precision the lift variation with respect to the vertical displacement parameter h of \(B_h\) by acting directly on the strong form of the FSI problem.
Section 6 contains the symmetric version of Theorem 3.1, see Theorem 6.1 which states that, under symmetry assumptions on the inflow/outflow and on B, for small Reynolds numbers the equilibrium position is unique and coincides with \(B_0\). This extends former results in [3, 8, 10] to a wider class of symmetric frameworks.
As an application of our results, in Sect. 7 we consider a model where \(B_h\) represents the cross-section of the deck of a suspension bridge [6], while \(\Omega _h\) is filled by the air and represents either a virtual box around the deck or a wind tunnel around a scaled model of the bridge. Since the deck may have a nonsmooth boundary, we also explain how to extend our results to the case where B is merely Lipschitz.
2 Fluid boundary value problem
Let R and B be as in Sect. 1 (Fig. 1) with
On the one hand, (2.1) ensures the regularity \((u,p)\in H^2(\Omega _h)\times H^1(\Omega _h)\) for the solutions to (1.1), see [14, Theorem 2.1] and Theorem 2.2. On the other hand, in engineering applications B is usually a polygon with rounded corners, see Sect. 7, which belongs to \(W^{2,\infty }\) but not to \(C^2\). Let
Since we consider vertical displacements \(B_h\) within R, we have \(h\in (-H+\delta _b,H-\delta _t)\) and \(B_h \subset [-\tau ,\tau ]\times [h-\delta _b, h +\delta _t]\) for any such h. Then, \(\partial \Omega _h=\partial B_h\cup \partial R\). The bottom and top parts of \(\partial R\) are, respectively,
while its lateral left and right parts are, respectively,
Let \(V_\textrm{in}, V_\textrm{out}\in W^{2,\infty }(-H,H)\subset C^0[-H,H]\) satisfy
For some \(\lambda \ge 0\), we consider the boundary value problem
Note that \(u_{|_{\partial R}}\in C^0(\partial R)\) and (2.3)-(2.4) are compatible with the Divergence Theorem. The role of \(\lambda \ge 0\) in the boundary conditions is to measure with a unique parameter the strength of both the inflow and the outflow. Hence, \(\lambda \asymp \textrm{Re}\) where \(\textrm{Re}\) is the Reynolds number.
Definition 2.1
We say that \((u,p)\in H^2(\Omega _h)\times H^1(\Omega _h)\) is a strong solution to (2.4) if the differential equations are satisfied a.e. in \(\Omega _h\) and the boundary conditions are satisfied as restrictions (recall that \(H^2(\Omega _h)\subset C^0(\overline{\Omega _h})\)).
We now state an apparently classical existence and uniqueness result which, however, has some novelties. First, since the domain \(\Omega _h\) is only Lipschitzian, the regularity of the solution is obtained through a geometric reflection. More importantly, the explicit upper bound for the blow-up of the \(H^1\)-norm of the unique solution to (2.4) in proximity of collision: when B approaches \(\Gamma _t\), the norm remains bounded while when B approaches \(\Gamma _b\) we estimate its blow-up. This refined bound requires the construction of a suitable solenoidal extension of the boundary data. Note that, up to normalization, we can reduce to the cases where
In order to state the result, we define the distances of the body \(B_h\) to \(\Gamma _b\) and \(\Gamma _t\), respectively, by
Hence, \(0<\varepsilon _b(h),\varepsilon _t(h) \le 2H -\delta _b -\delta _t\) for any \(h\in (-H+\delta _b, H-\delta _t)\). Throughout the paper, any (positive) constant depending only on \(\mu \), \(B_0\), L, H will be denoted by C and, when it depends also on h, by \(C_h\). We may now state
Theorem 2.2
Let \(h\in (-H+\delta _b,H-\delta _t)\) and assume (2.3) with (2.5). Then, (2.4) admits a strong solution (u, p) for any \(\lambda \ge 0\) and there exists \(\Lambda =\Lambda (h)>0\) such that the solution is unique if \(\lambda \in [0,\Lambda (h))\); if \(U=0\), \(\Lambda (h)\) can be chosen independent of h, i.e., \(\Lambda (h)\equiv \Lambda >0\). Moreover, there exist \(C>0\) and \(C_h>0\) such that the unique solution (when \(\lambda <\Lambda (h)\)) satisfies
A priori bounds such as (2.7) and (2.8) are available for any \(\lambda \ge 0\) and any strong solution of (2.4), but with different powers of \(\lambda \).
Before giving the proof, let us explain qualitatively the main differences between the cases \(U=0\) and \(U=1\). For \(U=0\), the a priori bound (2.7) is independent of h, so that the graph of \(\Lambda (h)\) looks like Fig. 3 (left). For \(U=1\), (2.7) depends on h and \(\Lambda (h)\) itself may depend on h, see Fig. 3 (right) and (2.20).
Proof
Existence of weak solutions. For later use, we first define weak solution for the forced Navier–Stokes equations
which reduces to (2.4) when \(f=0\). We say that \(u\in H^1(\Omega _h)\) is a weak solution to (2.9) with \(f\in L^2(\Omega _h)\) if u is a solenoidal vector field satisfying the boundary conditions in the trace sense and
for all \(\varphi \in W(\Omega _h):=\{\varphi \in H^1_0(\Omega _h): \nabla \cdot \varphi =0 \ \text{ a.e. } \text{ in } \ \Omega _h\}\). For any weak solution u, there exists a unique associated \(p\in L^2_0(\Omega _h)\) (i.e., with zero mean value), satisfying
for all \(\psi \in H^1_0(\Omega _h)\) (Lemma IX.1.2, [5]). In (2.24), we introduce an ad-hoc solenoidal extension matching our geometric framework which is not optimal for our current purpose. This is why we use here the well-known Hopf’s extension s that reduces the effect of the nonlinearity and allows to prove existence for any \(\lambda \ge 0\). Hence, we recast (2.4) as (2.9) with homogeneous boundary conditions, namely
where \(f=\mu \Delta s -s\cdot \nabla v - v\cdot \nabla s-s\cdot \nabla s \). Then, there exists \(v\in W(\Omega _h)\) satisfying (2.10) for any \(\lambda \ge 0\) (Theorem IX.4.1, [5]). This is equivalent to say that the vector field \(u=v+s\in H^1(\Omega _h)\) and the associated pressure \(p\in L^2(\Omega _h)\) satisfy (2.10)-(2.11) with \(f=0\). Moreover, \(\nabla \cdot u=0\), \(u_{|_{\partial \Omega _h}}= s_{|_{\partial \Omega _h}}\) and
In these bounds and the ones below, we only emphasize the smallest and largest powers of \(\lambda \), as for any polynomial. These bounds are not part of the statement, but they will be used later in the present proof.
Regularity. We claim that any weak solution (u, p) to (2.4) satisfies \((u,p)\in H^2(\Omega _h)\times H^1(\Omega _h)\). This would be straightforward if \(\Omega _h\in W^{2,\infty } \), see [14], but R is only Lipschitzian. Here, we take advantage of the particular shape of R and use a reflection argument as in [9]. We construct a new domain \(\Omega ^t_h=R^t\setminus B^t_h\), obtained by reflecting \(\Omega _h\) across \(\Gamma _t\), where \(R^t=(-L,L)\times [H,3H)\) and \(B^t_h\) is the reflection of \(B_h\) with respect to \(\Gamma _t\). Define \((u^t, p^t): \Omega ^t_h \rightarrow \mathbb {R}^2\times \mathbb {R} \) by
which satisfies
Therefore, the couple
satisfies the Navier–Stokes equations
Similarly, let \(\Omega ^b_h=R^b\setminus B^b_h\) with \(R^b=(-L,L)\times (-3H,-H]\) and \(B^b_h\) is the reflection of \(B_h\) with respect to \(\Gamma _b\). Define \((u^b, p^b): \Omega ^b_h \rightarrow \mathbb {R}^2\times \mathbb {R} \) by
which satisfies the corresponding of (2.15) in \(\Omega ^b_h\). Thanks to these two vertical reflections, we obtain a solution in \(\Omega ^s_h=\big \{(-L,L)\times (-3\,H,3\,H)\big \} {\setminus } \{B_h \cup B_h^t\cup B_h^b\}\).
With the same principle, we then perform two horizontal reflections of \(\Omega ^s_h\) with respect to \(x_1=\pm L\). At the end of this procedure, let
and \((\widetilde{u}, \widetilde{p}): \widetilde{\Omega }_h \rightarrow \mathbb {R}^2\times \mathbb {R}\) be the extension of (u, p), so that
and \(\tilde{u}\) satisfies further boundary conditions that we do not need to make explicit. After introducing a suitable solenoidal extension, we can proceed as in the first part of the proof and obtain the existence of a solution \((\widetilde{u}, \widetilde{p})\in H^1(\widetilde{\Omega }_h)\times L^2(\widetilde{\Omega }_h)\) satisfying the bounds (2.13)-(2.14). Hence, \(\widetilde{u}\cdot \nabla \widetilde{u} \in L^{3/2}(\widetilde{\Omega }_h)\) and
with \(C_h=C(\widetilde{\Omega }_h)\). By applying [14] and [5, Theorems IV.4.1 and IV.5.1] to the Stokes problem (2.16), we infer that \((\widetilde{u}, \widetilde{p})\in W^{2,3/2}(\Omega ')\times W^{1,3/2}(\Omega ')\) for any \( \Omega '\subset \widetilde{\Omega }_h\) and
with \(C_h=C( \Omega ', \widetilde{\Omega }_h)\). We recall that \((\widetilde{u}, \widetilde{p})=(u,p)\) in \(\Omega _h\). Then, using Sobolev embedding \(W^{2,3/2}\hookrightarrow W^{1,6}\) in \(\mathbb {R}^2\) and a bootstrap argument we obtain that \((u,p)\in H^2(\Omega _h)\times H^1(\Omega _h)\). Moreover, from (2.17)-(2.18) we get
with \(C_h=C( \Omega _h, \widetilde{\Omega }_h)\). This also proves (2.8) whenever \(\lambda < \Lambda (h)\).
Uniqueness. Let \(u_1\) and \(u_2\) be two weak solutions to (2.4), let \(w=u_1-u_2\), then
for all \(\varphi \in W(\Omega _h)\). Then, take \(\varphi = w\) so that the latter yields
where we used Hölder, Ladyzhenskaya and Poincaré inequalities and (2.13). Hence, there exists \(\Lambda =\Lambda (h)>0\) (uniformly upper-bounded with respect to h) such that
and this condition implies \(\Vert \nabla w\Vert _{L^2(\Omega _h)}=0\) and, in turn, \(w=0\) since \(w_{|_{\partial \Omega _h}}=0\).
Refined bounds. For \(\lambda \in [0,\Lambda (h))\), in all the above bounds we can drop the largest power of \(\lambda \) and they all become linear upper bounds. We treat separately the cases \(U=1\) and \(U=0\) and we make explicit the dependence of the constant \(C_h\) in (2.13) on h.
When \(U=1\), we claim that the unique strong solution u to (2.4) satisfies
with \(C>0\) independent of h. To this end, we introduce a different (and explicit) solenoidal extension. Consider the cutoff functions \(\zeta _l,\zeta _r\in C^\infty (\mathbb {R}^2)\), with \(0\le \zeta _{ l}, \zeta _r\le 1\), defined piece-wise in the rectangles of Fig. 4 by
where \(\zeta ^0_l\) is a function only of \(x_1\), and
where \(\zeta ^0_r\) is a function only of \(x_1\).
Then, letting \(\nabla ^\perp =(-\partial _2,\partial _1)\), consider the vector field \(s: R\rightarrow \mathbb {R}^2\) defined by
which is solenoidal and satisfies the boundary conditions in (2.4). Rewriting s as
its partial derivatives read
Using that \(V_\textrm{in},V_\textrm{out}\in W^{2,\infty }(-H,H)\) and that \(\zeta _l,\zeta _r\) are smooth, it follows that
We need to quantify the dependence of \(C_h>0\) on \(\varepsilon _b(h)\) and \(\varepsilon _t(h)\). On the one hand, we notice that, by construction, both \(\zeta _l\) and \(\zeta _r\) depend on \(x_2\) only in
In this domain, the \(x_1\)-derivatives of \(\zeta _{l}\) and \(\zeta _r\) are uniformly bounded with respect to h while the \(x_2\)-derivatives blow-up as \(\varepsilon _t(h)\) goes to zero, for instance, we have
Therefore, in \(\Omega _{\varepsilon _t(h)}\)
On the other hand, the cutoff functions depend only on \(x_1\) in \(\Omega _h\setminus \Omega _{\varepsilon _t(h)}\) and their \(x_1\) and \(x_2\)-derivatives are uniformly bounded with respect to h. Therefore, in \(\Omega _h\setminus \Omega _{\varepsilon _t(h)}\)
Gathering all together, we refine the bounds in (2.25) as
with all the constants \(C>0\) independent of h. Then, testing (2.12) with \(v=u-s\) we obtain
We want to estimate, when possible, only s and not \(\nabla s\) since the bounds for s are less singular in terms of \(\varepsilon _t(h)\). Hence, since \(\nabla \cdot v=\nabla \cdot s=0\) and using integration by parts, we rewrite (2.28) as
We split the first integral in the right-hand side over \(\Omega _{\varepsilon _t(h)}\) and \(\Omega _h \setminus \Omega _{\varepsilon _t(h)}\). On the one hand, since \(v_{|_{\Gamma _t}}=0\), Poincaré inequality
and Hölder inequality yield
where we used that \(\Vert s\Vert _{L^\infty (\Omega _{\varepsilon _t(h)})}\le C(1+ (\varepsilon _t(h))^{-1})\lambda \) and \(\varepsilon _t(h)\le 2\,H-\delta _b -\delta _t\). On the other hand, since \(v_{|_{\Gamma _l, \Gamma _r}}=0\), Poincaré and Hölder inequalities yield
where we used that \(\Vert s\Vert _{L^\infty (\Omega _h {\setminus }\Omega _{\varepsilon _t(h)})}\le C\lambda \). Therefore, from (2.27) and (2.29) we infer
Then, for \(\lambda \in [0,\Lambda (h))\) with \(\Lambda (h)\) as in (2.20) we have
and
which proves (2.21).
When \(U=0\), we claim that the unique strong solution u to (2.4) satisfies
with \(C>0\) independent of h, which will imply that \(\Lambda (h)\equiv \Lambda \) can be also taken independent of h. In this case, we shall define the cut-off functions and the solenoidal extension differently depending if \(h\le 0\) or \(h>0\). If \(h\le 0\), we define \(\zeta _l\), \(\zeta _r\) as in (2.22)-(2.23) (see Fig. 5) replacing \(\varepsilon _t(h)\) with the distance of \(B_0\) to \(\Gamma _t\), namely \(\varepsilon _t(0)=H-\delta _t\). The solenoidal extension s is then defined as in (2.24). By construction both \(\zeta _l\) and \(\zeta _r\) depend on \(x_2\) only in \(\Omega _{\varepsilon _t(0)}\), defined as in (2.26) with \(\varepsilon _t(h)\) replaced by \(\varepsilon _t(0)\). In this domain, both \(x_1\) and \(x_2\)-derivatives of \(\zeta _l\) and \(\zeta _r\) are uniformly bounded with respect to h, for instance, we have
Since in \(\Omega _h \setminus \Omega _{\varepsilon _t(0)}\) the cutoff functions depend only on \(x_1\), we infer that s, \(\partial _1 s\) and \(\partial _2 s\) are uniformly bounded with respect to h in all \(\Omega _h\) and
Repeating the same computations as in the case \(U=1\) and using (2.32), we obtain (2.31) for \(h\le 0\).
If \(h>0\), we make a vertical reflection \(x_2\mapsto -x_2\) and we consider the new cutoff functions defined piece-wise in the rectangles of Fig. 5, where \(\varepsilon _b(0)=H-\delta _b\).
Then, we consider the vector field \(s: R\rightarrow \mathbb {R}^2\) defined by
which is solenoidal and satisfies the boundary conditions in (2.4). By the same argument used when \(h\le 0\), s, \(\partial _1 s\) and \(\partial _2 s\) are uniformly bounded with respect to h in \(\Omega _h\). Therefore, using again (2.32), we obtain (2.31) for \(h<0\).\(\square \)
Remark 2.3
We stated (2.7) and (2.8) only in case of uniqueness because, in what follows, \(\lambda \) will be taken small and higher powers of \(\lambda \) can be upper estimated with the first power.
The reflection method used to obtain the regularity result has its own interest. The rectangular shape of the domain is crucial and the technique fails for other polygons. However, in the case of convex polygons, in particular also for a rectangle, one can obtain the more \(C^\infty \)-regularity result by using Theorem 2 in [13], see also [11, Section 7.3.3] and [4].
3 Equilibrium configurations of a FSI problem
By Theorem 2.2, for any \({(\lambda , h)\in [0,+\infty )\times (-H+\delta _b, H-\delta _t)}\) there exists at least a strong solution \((u,p)=(u(\lambda , h), p(\lambda , h))\) to (2.4). The fluid described by (u, p) in \(\Omega _h\) exerts on \(B_h\) a force perpendicular to the direction of the inflow, called lift (see [16]). Since the inflow in (2.4) is horizontal, the lift is vertical and given by
where \(\mathbb {T}\) is the fluid stress tensor, namely
and n is the unit outward normal vector to \(\partial \Omega _h\), which, on \(\partial B_h\), points toward the interior of \(B_h\). In fact, \(\mathcal {L}(\lambda , h)\) is a multi-valued function when uniqueness for (2.4) fails. However, we keep this simple notation instead of writing \(\mathcal {L}(\lambda , h, u(\lambda , h), p(\lambda , h)),\) in which also the dependence on the particular solution (u, p) is emphasized. The regularity of the solution (see Theorem 2.2) and the smoothness of \(\partial B_h\) yield \(\mathbb {T}(u,p)_{|_{\partial B_h}}\in H^{1/2}(\partial B_h)\subset L^1(\partial B_h)\); hence, the integral in (3.1) is finite. In fact, the lift can also be defined for merely weak solutions, see (7.5) in Sect. 7. Note that (3.1) holds for any \(\lambda \ge 0\) and any solution to (2.4), but our main result on the FSI problem focuses on small inflows, see Theorem 3.1.
Aiming to model, in particular, a wind flow hitting a suspension bridge, the body B may also be subject to a (possibly nonsmooth) vertical restoring force f tending to maintain B in the equilibrium position \(B_0\) (for \(h=0\)); see Sect. 7. We assume that f depends only on the position h, that \(f\in C^0(-H+\delta _b,H-\delta _t)\) with \(f(0)=0\) and
Moreover, we assume that there exists \(K>0\) such that
The assumption (3.3) is somehow technical and prevents collisions of B with the horizontal boundary \(\Gamma _b\cup \Gamma _t\), at least for small inflow/outflow. It can probably be relaxed but, so far, only few (numerical) investigations on the effect of proximity to collisions of hydrodynamic forces (such as the lift), acting on non-spherical bodies, have been tackled, see [20] and references therein. The presence of U in (3.3) highlights the different behavior of f when B is close to \(\Gamma _t\) for \(U=0\) or \(U=1\). In the first case, f has the same strength close to \(\Gamma _b\) and \(\Gamma _t\). Conversely, for \(U=1\), the asymmetry of the boundary conditions requires a different strength of f, which is stronger when B is close to \(\Gamma _t\) than when B is close to \(\Gamma _b\). Overall, (3.2)-(3.3) model the fact that B is not allowed to go too far away from the equilibrium position \(B_0\).
Since we are interested in the equilibrium configurations of the FSI problem, we consider the boundary-value problem (2.4) coupled with a compatibility condition stating that the restoring force balances the lift force, namely
Our main result concerns the existence and uniqueness of the solution to (3.4) for small values of \(\lambda \) that we expect to be stable.
Theorem 3.1
Let \(f\in C^0(-H+\delta _b, H-\delta _t)\) satisfy (3.2)-(3.3) with \(f(0)=0\) and \(V_\textrm{in}\), \(V_\textrm{out}\in W^{2,\infty }(-H,H)\) satisfy (2.3) with (2.5). There exist \(\Lambda _1>0\) and a unique \(\mathfrak {h}\in C^0[0, \Lambda _1)\) such that for \(\lambda \in [0,\Lambda _1)\) the FSI problem (3.4) admits a unique solution \((u(\lambda ,h), p(\lambda ,h),h)\in H^2(\Omega _h)\times H^1(\Omega _h)\times (-H+\delta _b, H-\delta _t)\) given by
We emphasize that Theorem 3.1 ensures uniqueness of the equilibrium configuration for the FSI problem (3.4) in the uniform interval \([0, \Lambda _1)\) even in absence of uniqueness for (2.4) that, instead, is only ensured in the possibly non-uniform interval \([0,\Lambda (h))\). The proof of Theorem 3.1 is given in Sect. 5. It is fairly delicate because if \(U=0\) (as for symmetric inflow/outflow), then from (2.21) we infer that the \(H^1\)-norm is uniformly bounded with respect to h. However, if \(U=1\), the same norm obviously blows up when \(B_h\) approaches \(\Gamma _t\), which affects the bounds for the lift in (3.1). As already mentioned, very little is known when a body approaches a collision, see again [20] and references therein. Therefore, the next statement has its own independent interest; it provides some upper bounds and shows that, probably, the lift behaves differently for homogeneous and inhomogeneous boundary data.
Theorem 3.2
Assume (2.5) and let \(\lambda \in [0,\Lambda _0]\) for some \(\Lambda _0>0\). Let (u, p) be a strong solution to (2.4) (see Theorem 2.2) and let \(\mathcal {L}(\lambda , h)\) be as in (3.1). There exists \(C>0\) (independent of \(\lambda , h, u, p\)) such that, for any \((\lambda ,h )\in [0,\Lambda _0]\times (-H+\delta _b, H-\delta _t)\),
with \(\varepsilon _b(h)\) and \(\varepsilon _t(h)\) defined in (2.6). In fact, \(\mathcal {L}(\lambda , h)\) is defined in all \([0,+\infty )\times (-H+\delta _b, H-\delta _t)\), possibly as a multi-valued function, but (3.5) would hold with different powers of \(\lambda \).
The proof of Theorem 3.2 is given in the next section.
4 Proof of theorem 3.2
We rewrite the lift (3.1), which is a boundary integral, as a volume integral. This can be done by considering \(w\in H^1(\Omega _h)\) that satisfies
The divergence theorem ensures that (4.1) admits infinitely many solutions. Testing (2.4) with one such solution w (recall that \(\nabla \cdot \mathbb {T}=\mu \Delta u -\nabla p\)) yields
and, using the boundary conditions on w,
Among the infinitely many solutions of (4.1), we select one obtained by using a solenoidal extension similar to the ones introduced in Sect. 2. We consider a cutoff function \(\chi \in C^\infty (\overline{R})\) with \(0\le \chi \le 1\) such that
We put \(w=\nabla ^\perp (x_1 \chi )\). Clearly \(w\in H^1(\Omega _h)\) satisfies (4.1) and \(\textrm{supp} \ w \subseteq \Omega _w= \Omega _{w,b} \cup \Omega _{w,c} \cup \Omega _{w,t}\) with
Moreover, from the definition of \(\chi \) it follows that w and its \(x_1\) and \(x_2\)-derivatives are uniformly bounded with respect to h in \(\Omega _{w,c}\), while in \(\Omega _{w,b}\)
and in \( \Omega _{w,t}\)
\(B_h\) close to \(\Gamma _b\). We consider the case when h is close to \(-H+\delta _b\); hence, \(\varepsilon _b(h)\) is close to zero. This implies that \(\varepsilon _t(h)\ge 1\) and the bounds in (4.4) become uniform. Choosing in (4.2) the previously constructed w, we observe that the integrals in the right-hand side are defined only on \(\Omega _w\). Let us split these integrals over the regions \(\Omega _{w,b}\), which is shrinking as \(\varepsilon _b(h)\) goes to zero, and \(\Omega _w\setminus \Omega _{w,b}\). On the one hand, Hölder inequality and (2.7) yield
for \(\lambda \in [0,\Lambda _0]\), using that w and its derivatives are uniformly bounded with respect to h in \(\Omega _{w} {\setminus } \Omega _{w,b}\). On the other hand, since \(w\equiv 0\) in \(\Omega ^0_{w, b}:=[-2\tau ,2\tau ]\times [-H,h-\delta _b-\tfrac{\varepsilon _b(h)}{2}]\) and \(u_{|_{\Gamma _b}}=0\), Poincaré inequality for u in \(\Omega _{w, b}\cup \Omega ^0_{w, b}\), the Hölder inequality and (2.7) yield
and
for \(\lambda \in [0,\Lambda _0]\), using that \(\Vert w\Vert _{L^\infty (\Omega _{w,b})}\le C (\varepsilon _b(h))^{-1}\) and \(\Vert \nabla w\Vert _{L^2(\Omega _{w,b})}\le C (\varepsilon _b(h))^{-3/2}\) for \(\varepsilon _b(h) \) close to zero, due to (4.3).
Putting together (4.5)-(4.7), then there exists \(\eta _b>0\) sufficiently small such that, for any \((\lambda ,h)\in [0,\Lambda _0]\times (-H+\delta _b, -H+\delta _b+\eta _b),\)
We remark that the same blow-up rate in (4.8) could be obtained without taking advantage of Poincaré inequality in (4.6) but using directly \(u\in H^1\subset L^4\). This idea, however, will be crucial to obtain a better blow-up rate for the lift in the case when the body is close to \(\Gamma _t\), that we now analyze.
\(B_h\) close to \(\Gamma _t\). We consider the case when h is close to \(H-\delta _t\); hence, \(\varepsilon _t(h)\) is close to zero. Analogously to what done in the previous case, we split the integrals over the regions \(\Omega _{w,t}\), which is shrinking as \(\varepsilon _t(h)\) goes to zero, and \(\Omega _w\setminus \Omega _{w,t}\). On the one hand, Hölder inequality yields
using that w and its derivatives are uniformly bounded with respect to h in \(\Omega _{w} \setminus \Omega _{w,t}\). On the other hand, since \(w\equiv 0\) in \(\Omega ^0_{w, t}:=[-2\tau ,2\tau ]\times [h+\delta _t+\tfrac{\varepsilon _t(h)}{2}, H]\) and \(u=v+s\) with \(v_{|_{\Gamma _t}}=0\), Poincaré inequality for v in \(\Omega _{w,t}\cup \Omega ^0_{w,t}\) and Hölder inequality yield
and
using that \(\Vert w\Vert _{L^\infty (\Omega _{w,t})}\le C (\varepsilon _t(h))^{-1}\) and \(\Vert \nabla w\Vert _{L^2(\Omega _{w,t})}\le C (\varepsilon _t(h))^{-3/2}\) for \(\varepsilon _t(h)\) close to zero, due to (4.4). Now we shall distinguish the cases \(U=1\) and \(U=0\). When \(U=1\), using (2.7), (2.27) and (2.30) we obtain, for \(\lambda \in [0,\Lambda _0]\),
and
When \(U=0\), using (2.7) and (2.32), we obtain, for \(\lambda \in [0,\Lambda _0]\),
and
Putting together (4.9)-(4.12), then there exists \(\eta _t>0\) sufficiently small such that, for \((\lambda ,h)\in [0,\Lambda _0]\times (H-\delta _t-\eta _t, H-\delta _t),\)
For \(h\in [-H+\delta _b + \eta _b, H-\delta _t-\eta _t]\), \(\varepsilon _b(h)\) and \(\varepsilon _t(h)\) are uniformly bounded from below with respect to h. Therefore, by combining (4.8) and (4.13), there exists \(C>0\) independent of h such that, for any \((\lambda ,h)\in [0,\Lambda _0]\times (-H+\delta _b, H-\delta _t)\),
5 Proof of theorem 3.1
5.1 Continuity and monotonicity of the global force
In Sect. 3, we have defined the lift \(\mathcal {L}(\lambda ,h)\) as a possibly multi-valued function of \((\lambda , h)\in [0,+\infty )\times (-H+\delta _b,H-\delta _t)\). Let f be the restoring force satisfying (3.2)-(3.3). Then, the global force acting on \(B_h\) is the function \(\phi : [0,+\infty )\times (-H+\delta _b,H-\delta _t) \rightarrow \mathbb {R}\) defined by
We first focus on the \(\lambda \)-dependence by maintaining h fixed, and we prove the Lipschitz-continuity of the map \(\lambda \mapsto \phi (\lambda , h)\).
Proposition 5.1
Let \(\overline{h}=H-\max \{\delta _b,\delta _t\}\). There exist \(\overline{\lambda }>0\) and \(h^*\in (0, \overline{h})\) such that \(\lambda \mapsto \phi (\lambda , h)\) is Lipschitz continuous in \( [0,\overline{\lambda })\) for all \(h\in [-h^*, h^*]\).
Proof
To begin, let us take \(\overline{\lambda }\) and \(h^*\) sufficiently small so that Theorem 2.2 guarantees the uniqueness for (2.4) whenever \(\lambda < \overline{\lambda }\) and \(|h|\le h^*\) (see Fig. 3). Hence, \(\mathcal {L}(\lambda , h)\) is a one-valued function on \([0,\overline{\lambda })\times [-h^*, h^*]\). Since f does not depend on \(\lambda \), we only need to show that \(\lambda \mapsto \mathcal {L}(\lambda ,h)\) is Lipschitz continuous in a neighborhood of \(\lambda =0\), possibly smaller than \([0, \overline{\lambda })\).
For \(\lambda _1, \lambda _2\in [0,\overline{\lambda })\) consider, respectively, the solutions \((u(\lambda _1), p(\lambda _1))\) and \((u(\lambda _2), p(\lambda _2))\) to (2.4). Let
so that (v, q) satisfies
Let \(v_\lambda :=v-s_\lambda \), where \(s_\lambda \in W^{1,\infty }(\Omega _h)\cap H^2(\Omega _h)\) is a solenoidal extension of v that can be constructed as s in (2.24) and, hence, it satisfies the estimates (2.25), namely
We then rewrite (5.3) as
where
From Theorem 2.2, we know that \(v,u(\lambda _2)\in H^2(\Omega _h)\hookrightarrow L^\infty (\Omega _h)\), so that \(g\in L^2(\Omega _h)\). Moreover,
where we used Hölder inequality (first step), the estimates (2.7)-(2.8)-(5.4) and the embeddings \(H^2\hookrightarrow H^1,L^\infty \) (second step). Thus, by extending the solution as in the proof of Theorem 2.2, recalling [14] and applying [5, Theorem IV.5.1] to (5.5), we obtain
Hence, there exists a possibly smaller \(\overline{\lambda }>0\) such that if \(\lambda _1, \lambda _2 \in [0,\overline{\lambda })\), the second term in the right-hand side of (5.6) can be absorbed in the left-hand side and
for some \(C_h>0\) also depending on \(\overline{\lambda }\). Since the lift (3.1) is linear with respect to u and p, we have
with v and q defined in (5.2). Therefore, using the Trace Theorem and (5.7), we infer that, for any \(\lambda _1,\lambda _2\in [0,\overline{\lambda })\) and a fixed \(h\in [-h^*,h^*]\), we have
This shows that \(\lambda \mapsto \mathcal {L}(\lambda , h)\) is Lipschitz continuous in \([0,\overline{\lambda })\) for all \(h\in [-h^*,h^*]\). \(\square \)
We now focus on the h-dependence of \(\phi \) by maintaining \(\lambda \) fixed. Although we prove a slightly stronger result, we state:
Proposition 5.2
Let \(\overline{h}=H-\max \{\delta _b,\delta _t\}\). There exist \(h_0\in (0,h^*]\) and \(\lambda _0\in (0, \overline{\lambda }]\) (see Proposition 5.1) such that \( h\mapsto \phi ( \lambda , h)\) is continuous and strictly increasing in \([-h_0, h_0]\) for all \(\lambda \in [0,\lambda _0)\).
Proof
Recall that \(R=(-L,L)\times (-H,H)\). Let \( 0<r_1<r_2\) and \(D_{r_i}(0)\) be the open disk centered at (0, 0) with radius \(r_i\). Choose \(h_0\in (0, h^*)\) in such a way that \(B_h\subset D_{r_1}(0)\subset D_{r_2}(0)\subset R\) whenever \(|h|\le h_0\); in later steps, we may need to choose a possibly smaller \(h_0\) that, however, we continue calling \(h_0\). Let \(\sigma \in W^{2,\infty }(R, \mathbb {R}^2)\) be defined by
with \( F\equiv 1\) in \([0,r_1]\), \(F\equiv 0\) in \([r_2, +\infty )\) and \(F\in W^{2,\infty }(r_1,r_2)\) is the polynomial of third degree such that \(F(r_1)=1\) and \(F(r_2)=F'(r_1)=F'(r_2)=0\). For \(h\in [-h_0, h_0]\), with \(h_0\) small, we view the fluid domain \(\Omega _h\) as a variation of \(\Omega _0\) via the diffeomorphism \(\textrm{Id}+h\sigma \), that is,
In particular, \(\partial B_h = \partial B_0 + he_2\) with unit outer normal vector \(n(h)=n(0)\circ (\textrm{Id}+ he_2)\). Let J(h) denote the Jacobian matrix of the diffeomorphism \(\textrm{Id} + h\sigma \), that is,
with I the \(2\times 2 \) identity matrix. Fixing \(\lambda \in [0,\overline{\lambda })\), the lift in (3.1) can be written as
with \(\mathbb {T}(u(h), p(h))=\mathbb {T}(u( \lambda , h), p( \lambda , h))\). Letting
with \(\sigma \) as in (5.8), we transform the moving boundary integral into a fixed boundary integral, namely
Note that \((U(0), P(0))=(u(0), p(0))\). We now claim that
To this end, let \(M(h)=(J^{-1}(h))^T\) and we rewrite (2.4) as
complemented with the same boundary conditions. This can also be expressed as
where \(\mathcal {H}:(-h_0,h_0)\times H^2(\Omega _0)\times H^1(\Omega _0) \rightarrow L^2(\Omega _0)\times H^1(\Omega _0)\) is defined by \(\mathcal {H}(h, \xi , \varpi )=(\mathcal {H}_1(h, \xi , \varpi ), \mathcal {H}_2(h, \xi , \varpi ))\) with
Due to the expression (5.8), we are able to compute \(|\det J(h)|M(h)\) and \(|\det J(h)|M^T(h)M(h)\) explicitly at second order for \(h\rightarrow 0\). In fact,
yield
where \(O(h^3)\) contains terms having at least third order with respect to h as \(h\rightarrow 0\). Note that the expression of \(|\det J(h)|M(h)\) in (5.12) is exact and obtained without any Taylor expansion for \(h\rightarrow 0\). We have that \(\mathcal {H}\) is \(C^1\) in a neighborhood of (0, U(0), P(0)) since the mappings \(h\mapsto \det J(h)\) and \(h\mapsto M(h)\) are \(C^1(-h_0,h_0)\) with values in \(C^1(R, \mathbb {R}^4)\).
For \(h\in (-h_0, h_0)\), we consider the linearized operator \(\Upsilon = D_{(\xi , \varpi )}\mathcal {H} (h, U(h), P(h))\) defined through the Jacobian matrix of \(\mathcal {H}\). For any
we have \( \Upsilon (\chi , \Pi )=( \Upsilon _1(\chi , \Pi ),\Upsilon _2(\chi , \Pi ) )\) with
The linear operator \(\Upsilon \) is bounded from \(\mathcal {X}\times \mathcal {Y}\) into \(L^2(\Omega _0)\times \mathcal {Y}\). To show that \(\Upsilon \) is an isomorphism, given \((\varphi _1, \varphi _2)\in L^2(\Omega _0)\times \mathcal {Y}\), we have to prove that there exists a unique solution \((\chi , \Pi )\in \mathcal {X}\times \mathcal {Y}\) to
This linear elliptic problem admits a unique solution provided that
for \(h_0, r>0\) small enough. For \(|h|<h_0\) and \(\sigma \) as in (5.8), we have
with constants \(0<c\le C\) independent of h. Then, by taking \(\lambda \in [0,\overline{\lambda })\), the bound (2.8), where the constant \(C_h\) is uniformly bounded for \(|h|<h_0\), yields the needed smallness condition for U(h), so that \(\Upsilon \) is an isomorphism. Therefore, by applying the Implicit Function Theorem to (5.10), we conclude (5.9).
Moreover, the derivatives \(U'(h)\) and \(P'(h)\), whose existence follows from (5.9), satisfy
From (5.12), we know that for any h (resp. \(h\rightarrow 0\))
Then, recalling the definition (5.11), (5.14) and the fact that \(\Upsilon \) is an isomorphism imply that \((U'(h), P'(h))\) is uniquely determined by the linear elliptic problem
with
For \(h\in (-h_0,h_0)\), with \(h_0\) small, we have
Since \((U(h),P(h))\in H^2(\Omega _0)\times H^1(\Omega _0)\) due to (5.13) and Theorem 2.2, we bound the right-hand side of the above expression as
where in the second inequality we used that \(\sigma \in W^{2,\infty }(R, \mathbb {R}^2)\), see (5.8). Testing the first equation in (5.15) with \(U'(h)\), using (5.13) and (2.13)-(2.14) yield
Summarizing, we obtain
for any \(\lambda \in [0,\overline{\lambda })\), where in the second inequality we used (5.13) and (2.7)-(2.8).
Finally, we estimate the variation in the lift for small values of h, say \(|h|< h_0\). By taking \(h_1,h_2\in (-h_0,h_0)\), from the trace theorem we have
Then, (5.16) and the mean value theorem yield
using (5.13) and (2.8) in \(\Omega _{h_2}\). Then, the monotonicity property (3.2) ensures that, if \(-h_0<h_2< h_1< h_0\),
There exists \(\lambda _0\in (0,\overline{\lambda }]\) such that \(\gamma -C\lambda _0\ge \gamma /2\). Therefore, \(h\mapsto \phi (\lambda , h)\) is continuous and strictly increasing in \([-h_0,h_0]\) (with a possible smaller \(h_0\)) for all \(\lambda \in [0,\lambda _0).\) \(\square \)
5.2 Conclusion of the proof
Let \((u(\lambda ,h), p(\lambda , h))\) be a solution to (2.4), and let \(\phi (\lambda , h)\) be the corresponding global force in (5.1). Then, the triple (u, p, h) is a solution to (3.4) if and only if
Therefore, Theorem 3.1 follows once we prove:
Proposition 5.3
Let \(\phi \) be as in (5.1) and \((\lambda _0,h_0)\) be as in Proposition 5.2. Then, there exist \(\Lambda _1\in (0,\lambda _0]\) and a unique \(\mathfrak {h}\in C^0[0,\Lambda _1)\) such that, for all \(\lambda \in [0,\Lambda _1)\), \(\phi (\lambda , h)=0\) if and only if \(h=\mathfrak {h}(\lambda ).\) Moreover, \(\Vert \mathfrak {h}\Vert _{L^\infty (0, \Lambda _1)}\le h_0\).
Proof
We prove the result in two steps, namely by analyzing the behavior of \(\phi \) in two different subregions of \([0,\lambda _0)\times (-H+\delta _b, H-\delta _t)\).
We start by considering the case when |h| is close to 0. Let again \(\overline{h}=H-\max \{\delta _b,\delta _t\}\). We claim that there exists \(\widetilde{\lambda }\in (0,\lambda _0]\) and a unique \(\mathfrak {h}\in C^0[0,\widetilde{\lambda })\) such that
To this end, we notice that Theorem 2.2 implies that, when \(\lambda =0\), the unique solution to (2.4) is \((u,p)=(0,0)\), regardless of the value of \(h\in (-H+\delta _b, H-\delta _t)\). Hence, \(\phi (0,0)=0\). Moreover, by Proposition 5.2 we know that \(h\mapsto \phi (0,h)\) is continuous and strictly increasing in \([-h_0,h_0]\). These two facts imply that
In turn, by Proposition 5.1 we know that \(\lambda \mapsto \phi (\lambda ,h)\) is continuous in \([0,\overline{\lambda })\) for all \(h\in [-h_0,h_0]\). By (5.18) and by compactness, we then infer that there exists \(\widetilde{\lambda }\in (0,\lambda _0]\) such that
and, by invoking again Proposition 5.2, that \(h\mapsto \phi (\lambda ,h)\) is continuous and strictly increasing in \([-h_0,h_0]\) for all \(\lambda \in [0,\widetilde{\lambda })\). Together with (5.19), this implies that for all \(\lambda \in [0,\widetilde{\lambda })\) there exists a unique \(\mathfrak {h}(\lambda )\in [-h_0,h_0]\) such that \(\phi (\lambda ,\mathfrak {h}(\lambda ))=0\). This defines the function \(\lambda \mapsto \mathfrak {h}(\lambda )\) in the interval \([0,\widetilde{\lambda })\). Its continuity follows by the (separated) continuities proved in Propositions 5.1 and 5.2. The proof of (5.17) is so complete.
We now claim that there exists \(\Lambda _1\in (0,\widetilde{\lambda }]\) such that
Recall that in this set \(\phi (\lambda , h)\) may be multi-valued, see Theorem 3.2. In order to prove (5.20), from (3.2)-(3.3) we know that there exists \(K_0\in (0,K]\) such that
while from Theorem 3.2 there exists (a different) \(C>0\) such that
Gathering (5.21)-(5.22) together yields
Then, there exists \(\Lambda _1\in (0,\widetilde{\lambda }]\) such that (5.20) holds and the statement of the proposition follows from (5.17) and (5.20). \(\square \)
Remark 5.4
In fact, the proof of (5.20) shows that if \(\lambda >0\) is small, then
From a physical point of view, this means that, for small Reynolds numbers, the global force \(\phi =\phi (\lambda , h)\) in (5.1) pushes downwards the body if \(B_h\) is close to the upper boundary \(\Gamma _t\), whereas it pushes the body upwards if \(B_h\) is close to the lower boundary \(\Gamma _b\).
6 Symmetric configuration
We consider here a symmetric framework for (3.4), that is, when
and the boundary data are symmetric with respect to the line \(x_2=0\). Therefore, the FSI problem (3.4) is modified on \(\Gamma _b\) and reads
with \(\lambda \ge 0\), \(U\in \{0,1\}\) (up to normalization). Here, \(V_\textrm{in},V_\textrm{out}\in W^{2,\infty }(-H,H)\) are now even functions satisfying
In this symmetric framework, \(\delta _b=\delta _t=\delta \) and \(h\in (-H+\delta , H-\delta ).\) Then, we prove that the unique curve \(\mathfrak {h}(\lambda )\) found in Theorem 3.1 reduces to \(\mathfrak {h}(\lambda )\equiv 0\), namely that the unique equilibrium position is symmetric. Again, we expect this position to be stable, at least for small \(\lambda .\)
Theorem 6.1
Let \(V_\textrm{in}\), \(V_\textrm{out}\in W^{2,\infty }(-H,H)\) be even functions satisfying (6.2) and \( f\in C^0(-H+\delta , H-\delta )\) satisfying \(f(0)=0\) and (3.2)-(3.3) with \(\delta _b=\delta _t=\delta \). There exists \(\Lambda _1 >0\) such that for \(\lambda \in [0,\Lambda _1)\) the FSI problem (6.1) admits a unique strong solution \((u(\lambda ,h), p(\lambda ,h),h)\in H^2(\Omega _h)\times H^1(\Omega _h)\times (-H+\delta , H-\delta )\) given by
where \((u^0(\lambda ,0), p^0(\lambda ,0))\) is the unique solution to the first two lines in (6.1) for \(h=0\) and has the following symmetries:
Proof
The first step is to obtain the counterpart of Theorem 2.2. The case \(U=0\) is already included in the original statement. When \(U=1\), we construct the cutoff functions \(\zeta _l\) and \(\zeta _r\) in a slightly different way with Fig. 4 replaced by Fig. 6. We define the solenoidal extension as in (2.24), which satisfies the boundary conditions in (6.1).
With this construction, the refined bound (2.7) is replaced by
Hence, in both cases \(U\in \{0,1 \}\), by arguing as in the proof of Theorem 2.2, we infer that there exists \(\Lambda =\Lambda (h)>0\) such that for \(\lambda \in [0,\Lambda (h))\) the solution (u, p) to
is unique for any \(h\in (-H+\delta ,H-\delta )\). This proves the counterpart of Theorem 2.2.
In particular, for \(h=0\) there exists a unique solution \((u^0,p^0)\) to (6.3) in \(\Omega _0\). Since \(\Omega _0\) is symmetric with respect to the line \(x_2=0\), the couple \((u^*, p^*): \Omega _0 \rightarrow \mathbb {R}^2\times \mathbb {R}\) defined by
also satisfies (6.3) for \(h=0\) (see also [10]). Therefore, by uniqueness \((u^0, p^0)=(u^*, p^*)\) is also symmetric and, thanks to all these symmetries, we obtain
which implies
From Theorem 3.1, we know that there exist \(\Lambda _1>0\) and a unique curve \(\mathfrak {h}\in C^0[0,\Lambda _1)\) such that for \(\lambda \in [0,\Lambda _1)\) the unique solution to (6.1) is given by
Thanks to (6.4), \(\mathfrak {h}(\lambda )\equiv 0\) and this solution coincides with \((u^0(\lambda ,0), p^0(\lambda ,0),0)\). \(\square \)
7 An application: equilibrium positions of the deck of a bridge
A suspension bridge is usually erected starting from the anchorages and the towers. Then, the sustaining cables are installed between the two couples of towers and the hangers are hooked to the cables. Once all these components are in position, they furnish a stable working base from which the deck can be raised from floating barges. We refer to [18, Section 15.23] for full details. The deck segments are put in position one aside the other (see Fig. 7, left) and have the shape of rectangles while their cross-section resembles to smoothened irregular hexagons (see Fig. 7, right) that satisfy (2.1).
This cross section B plays the role of the obstacle in (2.4) while \(\Omega _h\) is the region filled by the air. This region can be either be a virtual box around the deck of the bridge or a wind tunnel around a scaled model of the bridge. In both cases, we may refer to inflow and outflow also as windward and leeward, respectively: \(\lambda V_\textrm{in}e_1\) represents the laminar horizontal windward while \(\lambda V_\textrm{out}e_1\) is the leeward. Typically, the higher is the altitude the stronger is the wind. Therefore, in this application we consider specific laminar shear flows, which are the Couette flows. Thus, the inflow and outflow now read
and satisfy (2.3). The windward creates both vertical and torsional displacements of the deck. However, the cross section of the suspension bridge is also subject to some elastic restoring forces tending to maintain the deck in its original position \(B_0\). These forces are of three different kinds. There is an upwards restoring force due to the elastic action of both the hangers and the sustaining cables of the bridge. The hangers behave as nonlinear springs which may slacken [1, 9-VI] so that they have no downwards action and they be nonsmooth. There is the weight of the deck which acts constantly downwards: this is why there is no odd requirement on the restoring force considered in the model. There is also a nonlinear resistance to both elastic bending and stretching of the whole deck for which B merely represents a cross-section. Moreover, since the boundary of the channel R is virtual and our physical model breaks down in case of collision of B with \(\partial R\), we require that there exists an “unbounded force” preventing collisions.
Overall, the position of B depends on both the displacement parameter h and the angle of rotation \(\theta \) with respect to the horizontal axis. With the addition of this second degree of freedom, we have \(B=B_{h,\theta }\) and \(\Omega =\Omega _{h,\theta }\). A “plastic” regime leading to the collapse of the bridge is reached when \(\theta =\pm \tfrac{\pi }{4}\) (see [1]) since the sustaining cables of the bridge attain their maximum elastic tension. The strong point of the analysis carried out in this paper is that it applies independently of the part of \(\partial B\) closest to \(\partial R\). Therefore, for any \(\theta \in (-\tfrac{\pi }{4}, \tfrac{\pi }{4})\), we can apply our general theory considering the family of bodies \(B_{h,\theta }\) simply by adapting it to the rotating scenario. The only difference now is that, when the body is free to rotate, the collision with \(\Gamma _b\) and \(\Gamma _t\) occurs at \(h=-H+\delta _b(\theta )\) and \(h= H-\delta _t(\theta )\), where \(\delta _b(\theta )\) and \(\delta _t(\theta )\) are positive functions of \(\theta \). For \(\theta =0\), \(\delta _b(0)\) and \(\delta _t(0)\) are as in (2.2) while, for \(\theta \ne 0\),
both being independent of h. Due to the possible complicated shape of B, these functions are not easy to be determined explicitly. For this reason, we define the set of non-contact values of \((h,\theta )\) by
Clearly, \((0,0) \in A\) and \((h,\theta )\in \partial A\) if and only if \(B_{h,\theta }\cap \partial R \ne \emptyset .\) We assume that, for some \(K>0\), \(f\in C^0(A)\) satisfies
where \(d( \cdot , \cdot )\) is the distance function. Assumption (7.3) generalizes (3.3) taking into account the rotational degree of freedom. Moreover, we assume that
In fact, the second line in (7.4) is not mathematically needed, but, from a physical point of view, it states that the restoring force does not act at equilibrium and tends to maintain B in an horizontal position. A straightforward consequence of Theorem 3.1, in the case of the interaction between the wind and the deck of a suspension bridge, is the following:
Corollary 7.1
Let \(V_\textrm{in}\), \(V_\textrm{out}\) be as in (7.1) and \(f\in C^0(A)\) satisfy (7.3)-(7.4). There exist \(\Lambda _1>0\) and a unique \(\mathfrak {h}\in C^0[0, \Lambda _1)\) such that, for \(\lambda \in [0,\Lambda _1)\) and \(\theta \in (-\tfrac{\pi }{4}, \tfrac{\pi }{4})\), the FSI problem (3.4) admits a unique solution \((u_\theta (\lambda ,h), p_\theta (\lambda ,h),h)\in H^2(\Omega _{h,\theta })\times H^1(\Omega _{h,\theta })\times (-H,H) \), with \((h,\theta )\in A\), given by
Here, (3.4) is understood with h replaced by the couple \((h, \theta )\).
The deck of a suspension bridge, in particular its cross section, may have a nonsmooth boundary. If B is not \(W^{2,\infty } \), but it is only Lipschitzian, Theorem 2.2 ceases to hold and we only know that (u, p) is a weak solution to (2.4) so that (3.1) does not hold in a “strong” sense. Indeed, since \(u\in H^1(\Omega _h)\), see (2.7), we may rewrite the first equation in (2.4) as \(-\mu \Delta u+\nabla p=f\) with \(f\in L^q(\Omega _h)\) for all \(q<2\). Hence, \(f\in H^{-\epsilon }(\Omega _h)\) for any \(\epsilon >0\). By applying [19, Theorem 7], we then deduce that \(u\in H^{1+s}(\Omega _h)\) and \(p\in H^s(\Omega _h)\) for all \(s<1/2\), but, still, this does not allow to consider the trace of \(\mathbb {T}(u,p)\) as an integrable function over \(\partial B_h\). However, following [10] we may define the lift L through a generalized formula. Indeed, from \(u \in H^1(\Omega _h)\) we know that \(\mathbb {T}(u,p)\in L^2(\Omega _h)\) and, since \(\Omega _h\) is a bounded domain, \(\mathbb {T}(u,p)\in L^{3/2}(\Omega _h)\). Moreover, from the first equation in (2.4) we obtain \(\nabla \cdot \mathbb {T}(u,p) \in L^{3/2}(\Omega _h)\). Therefore, \(\mathbb {T}(u,p)\in E_{3/2}(\Omega _h):=\{f\in L^{3/2}(\Omega _h) \ | \ \nabla \cdot f\in L^{3/2}(\Omega _h)\}\). By Theorem III.2.2 in [5], we know that \(\mathbb {T}(u,p)n_{|_{\partial \Omega _h}}\in W^{-2/3, 3/2}(\partial \Omega _h)\). Hence, if \(\partial B_h\) is Lipschitzian and (u, p) is a weak solution to (2.4), then the lift exerted by the fluid over \(B_h\) is
where \(\langle \cdot ,\cdot \rangle _{\partial B_h}\) denotes the duality pairing between \(W^{-2/3,3/2}(\partial B_h)\) and \(W^{2/3, 3}(\partial B_h)\).
Data availability
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Ammann, O., von Kármán, T., Woodruff, G.: The failure of the Tacoma Narrows Bridge. Washington D.C, Federal Works Agency (1941)
Bello, J.A., Fernández-Cara, E., Lemoine, J., Simon, J.: The differentiability of the drag with respect to the variations of a Lipschitz domain in a Navier-Stokes flow. SIAM J. Control Optim. 35, 626–640 (1997)
Bonheure, D., Galdi, G.P., Gazzola, F.: Equilibrium configuration of a rectangular obstacle immersed in a channel flow. Comptes Rendus. Mathématique 358, 887–896 (2020)
Dauge, M.: Opérateur de Stokes dans des espaces de Sobolev à poids sur des domaines anguleux. Can. J. Math. 34, 853–882 (1982)
Galdi, G.P.: An Introduction to the Mathematical Theory of the Navier-Stokes Equations. Springer Monographs in Mathematics, 2nd edn. Springer, New York (2011). (Steady-state problems)
Gazzola, F.: Mathematical Models for Suspension Bridges, vol. 15 of MS &A. Modeling, Simulation and Applications. Springer, Cham (2015)
Gazzola, F., Pata, V., Patriarca, C.: Attractors for a fluid-structure interaction problem in a time-dependent phase space, To appear in J. Funct. Anal.
Gazzola, F., Patriarca, C.: An explicit threshold for the appearance of lift on the deck of a bridge. J. Math. Fluid Mech. 24, 1–23 (2022)
Gazzola, F., Secchi, P.: Inflow-outflow problems for Euler equations in a rectangular cylinder. Nonlinear Differ. Equ. Appl. NoDEA 8, 195–217 (2001)
Gazzola, F., Sperone, G.: Steady Navier-Stokes equations in planar domains with obstacle and explicit bounds for unique solvability. Arch. Ration. Mech. Anal. 238, 1283–1347 (2020)
Grisvard, P.: Elliptic Problems in Nonsmooth Domains, vol. 24 of Monographs and Studies in Mathematics. Pitman (Advanced Publishing Program), Boston, MA (1985)
Ho, B.P., Leal, L.G.: Inertial migration of rigid spheres in two-dimensional unidirectional flows. J. Fluid Mech. 65, 365–400 (1974)
Kellogg, R.B., Osborn, J.E.: A regularity result for the Stokes problem in a convex polygon. J. Funct. Anal. 21, 397–431 (1976)
Murat, F., Simon, J.: Quelques résultats sur le contrôle par un domaine géométrique, VI Laboratoire d’Analyse Numérique (1974)
Patriarca, C., Calamelli, F., Schito, P., Argentini, T., Rocchi, D.: A numerical characterization of the attractor for a fluid-structure interaction problem 3, 175–192 (2022)
Païdoussis, M.P., Price, S.J., de Langre, E.: Fluid-Structure Interactions: Cross-Flow-Induced Instabilities. Cambridge University Press, Cambridge (2010)
Pironneau, O.: On optimum design in fluid mechanics. J. Fluid Mech. 64, 97–110 (1974)
Podolny, W.: Cable-suspended bridges, Structural Steel Designer’s Handbook, 3rd edn. McGraw-Hill, INC, New York (1999)
Savaré, G.: Regularity results for elliptic equations in Lipschitz domains. J. Funct. Anal. 152, 176–201 (1998)
Zarghami, A., Padding, J.T.: Drag, lift and torque acting on a two-dimensional non-spherical particle near a wall. Adv. Powder Technol. 29, 1507–1517 (2018)
Acknowledgements
The authors warmly thank the anonymous referee for the careful proofreading and several useful remarks. The authors were partially supported by the PRIN project Direct and inverse problems for partial differential equations: theoretical aspects and applications and by the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There are no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Bocchi, E., Gazzola, F. Asymmetric equilibrium configurations of a body immersed in a 2d laminar flow. Z. Angew. Math. Phys. 74, 180 (2023). https://doi.org/10.1007/s00033-023-02061-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-023-02061-2