Abstract
We deal with the 3D Navier–Stokes equation in a smooth simply connected bounded domain, with controls on a non-empty open part of the boundary and a Navier slip-with-friction boundary condition on the remaining, uncontrolled, part of the boundary. We extend the small-time global exact null controllability result in Coron et al. (J Eur Math Soc 22:1625–1673, 2020) from Leray weak solutions to the case of smooth solutions. Our strategy relies on a refinement of the method of well-prepared dissipation of the viscous boundary layers which appear near the uncontrolled part of the boundary, which allows to handle the multi-scale features in a finer topology. As a byproduct of our analysis we also obtain a small-time global approximate Lagrangian controllability result, extending to the case of the Navier–Stokes equations the recent results (Glass and Horsin in J Math Pures Appl (9) 93:61–90, 2010; Glass and Horsin in SIAM J Control Optim 50: 2726–2742, 2012; Horsin and Kavian in ESAIM Control Optim Calc Var 23:1179–1200, 2017) in the case of the Euler equations and the result (Glass and Horsin in ESAIM Control Optim Calc Var 22:1040–1053, 2016) in the case of the steady Stokes equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Results
1.1 Setting
We consider an incompressible viscous fluid in a smooth bounded simply connected domain \(\Omega \) in \({\mathbb {R}}^3\). We denote by u and p its velocity and its pressure respectively and we assume that they evolve according to the Navier–Stokes equations. We assume that we can act on a non-empty open part \(\Sigma \) of the boundary \(\partial \Omega \). On the remaining part of the boundary, we assume the fluid satisfies a Navier-slip-with-friction boundary condition. To formalize this boundary condition we introduce the normal \({\mathbf {n}}\) pointing outward the domain, and for a vector field f, we define its tangential part \(f_{\text{ tan }}\), the strain tensor D(f) and the tangential Navier boundary operator \({\mathcal {N}}(f)\), respectively, as
where M is a given smooth symmetric matrix-valued function, describing the friction near the boundary. The Navier condition then reads \({\mathcal {N}}(u)=0\); it dates back to [31]. Finally we prescribe an initial data \(u_0\) for the fluid velocity u at time \(t=0\). Then the system at stake for the unknowns u and p is
Let us highlight that, in (1.2), there is no boundary condition on the part \(\Sigma \) of the boundary \(\partial \Omega \). This is typical of the controllability issue, when one chooses not to mention explicitly the controls. Indeed the controls which will be used in this paper are quite intricate, in particular because of their multi-scale feature. Let us only point out right now that this freedom of choice on \(\Sigma \) allows, in particular, for some fluid to go into and out the domain. Let us also mention here that we are not going to really use a control all the time in the sense that it will be relevant on some time intervals to choose as boundary condition on \(\Sigma \) the same Navier condition as on \(\partial \Omega \setminus \Sigma \) so that the system then coincides with its uncontrolled counterpart for which \(\Sigma = \emptyset \).
1.2 First main result: smooth small-time global exact null controllability
Our first main result is the following small-time global exact null controllability by solutions for which the velocity vector field u is in the class
Theorem 1.1
Let \(T>0\), and \(u_0 \) in \(H^1(\Omega )\) satisfying \(\mathrm {div} \,u_{0}=0 \) in \( \Omega \) and \(u_{0} \cdot n =0 \) on \( \partial \Omega \). Then there exists u in the space (1.3) satisfying (1.2) and \(u(T,\cdot )=0\).
Theorem 1.1 extends the result in [5] where the existence of u in the weaker class
is obtained. Indeed the result in [5] deals with the case where the initial data \(u_0 \) has only a \(L^2(\Omega )\) regularity but the proof developed there fails to guarantee that the constructed solution propagates higher regularity. One underlying reason is the multi-scale feature of the constructed solution which makes small scales more singular in a finer topology. Indeed the question of whether or not a result such as Theorem 1.1 holds true was explicitly raised in [5, Remark 2] and in [6, Perspective 1].
Remark 1.2
Theorem 1.1 is stated as an existence result. The lack of uniqueness comes from the fact that multiple controls can drive the initial state to zero, that is from the fact that there is no boundary condition on \(\Sigma \) for the initial boundary value problem (1.2). However, with some bookkeeping, it is possible to exhibit (though in a quite non-explicit way) from the proof of Theorem 1.1 below a boundary condition to be prescribed on \(\Sigma \) (which is inhomogeneous and depends on \(u_0\)) that generates a unique solution u in the space (1.3) to the corresponding initial boundary value problem, that is satisfying (1.2) and this boundary condition on \(\Sigma \), and this unique solution u satisfies \(u(T,\cdot )=0\).
Remark 1.3
Controllability results such as the one obtained in [5] or in Theorem 1.1 should not be confused with results on the existence of wild solutions vanishing after a finite time, such as the ones obtained in [2,3,4]. The latter rely on the lack of regularity, in particular these solutions do not belong to \(L^2((0,T); H^1(\Omega )).\) On the other hand the setting of these papers does not allow any freedom of action, neither through a part of the boundary nor through an interior part of the domain. On the contrary, the controllability results of [5] and of Theorem 1.1 take advantage of the possibility to choose some appropriate boundary conditions on the permeable part \(\Sigma \) of the boundary to drive the fluid to rest in finite time. Since the controllability result of [5] holds for Leray’s class of solutions (1.4), it concerns solutions which are more regular than in [2,3,4]. However, perhaps, one may think that the gap is narrow and perhaps only due to temporary technical limitations. The result of Theorem 1.1 shows that it is not the case and that the possibility of a localized action allows to drive a fluid to rest in finite time in a smooth setting as well. Indeed Theorem 1.1 is stated for \(H^1\) initial data and for solutions in the regularity class (1.3), but it could be easily extended to higher regularity, as the \(H^1\) norm is super-critical for the blow-up issue of the 3D Navier–Stokes equations.
Remark 1.4
Indeed, as in [5] for the case of weak solutions, the proof of Theorem 1.1 can be easily adapted to prove that one may intercept at any given positive time T any smooth uncontrolled solution to the Navier–Stokes system, that is any solution to the Navier–Stokes system with Navier condition on the whole boundary \(\partial \Omega \), by the mean of a smooth controlled solution starting from any given initial data.
Remark 1.5
We deal here with the case of a simply connected domain just for simplicity. The multiply-connected domain could be covered by some simple modifications of our method in the case where \(\Sigma \) intersects all the connected components of \(\partial \Omega \).
Remark 1.6
To simplify the exposition, Theorem 1.1 is stated in the case of an initial data which is tangent to the whole boundary. The result also holds in the case where the initial data is only tangent to the uncontrolled part \(\partial \Omega \setminus \Sigma \) of the boundary. Indeed, to deduce this slightly more general statement from the one considered in Theorem 1.1, it is sufficient to evolve the system on a short time interval with an appropriate control on \(\Sigma \), smooth in time, initially compatible with the initial data and vanishing after some small positive time.
1.3 Second main result: lagrangian small-time global approximate controllability
The question that we now address is the possibility of prescribing the motion of a set of particles, following the Lagrangian description of fluids consisting in following fluid particles along the flow map associated with a velocity field satisfying the system (1.2). This type of Lagrangian controllability notion was raised in [18], where the authors showed that for the 2-D incompressible Euler equations, one can indeed prescribe approximately the motion of some specific sets of fluids, and extended in [19] to the case of the dimension 3. Let us also mention the paper [24] where an alternative approach was considered, the result [20] in the case of the steady Stokes equations and the result in [11] about the Lagrangian controllability of the 1-D Korteweg-de Vries equation.
Our second main result establishes the small-time global approximate Lagrangian controllability of (1.2) meaning that for two smooth contractible sets of fluid particles, surrounding the same volume, for any given smooth initial velocity field and any positive time interval, one can find a boundary control such that the corresponding solution of (1.2) makes the first of the two sets approximately reach the second one, while staying in the domain in the meantime.
Theorem 1.7
Let \(T_0>0,\) \(\alpha \) in (0, 1) and k in \( {\mathbb {N}}\setminus \{0\}\). Let \(u_0\) in \( C^{k,\alpha }({\Omega };{\mathbb {R}}^{3})\) satisfy \(\mathrm {div} \,u_{0}=0 \) in \( \Omega \) and \(u_{0} \cdot n =0 \) on \( \partial \Omega \). Let \(\gamma _0\) and \(\gamma _1\) be two Jordan surfaces included in \(\Omega \) such that \(\gamma _{0} \) and \( \gamma _{1} \) are isotopic in \( \Omega \) and surrounding the same volume. Then for any \(\eta >0\), there are a time T in \( (0,T_0)\) and a solution (u, p) in \(L^{\infty }(0,T;C^{k,\alpha }(\Omega ;{\mathbb {R}}^{4}))\) to (1.2) on [0, T] such that
hold (up to reparameterization), where \(\phi ^u\) is the flow map associated with u by \( \partial _t\phi ^u(t,s,x)=u(t,\phi ^u(t,s,x)) \) for any t, s in [0, T] and for any x in \(\Omega \), and \( \phi ^u (s,s,x)=x\) for any s in [0, T] and for any x in \(\Omega \).
Moreover the same result holds true in the case where \(u_0\) is only in \(H^1({\Omega };{\mathbb {R}}^{3})\) with \(\mathrm {div} \,u_{0}=0 \) in \( \Omega \) and \(u_{0} \cdot n =0 \) on \( \partial \Omega \), with the two following modifications: one only guarantees the existence of a solution u in the class (1.3) and that (1.6) holds true with \(k=0\).
Theorem 1.7 therefore extends to the case of the Navier–Stokes equations the results mentioned above for the case of the Euler equations and of the steady Stokes system; it answers, in the case of the Navier conditions, an open problem mentioned at the end of the introduction of [20], in [22, Section 3.3.3] and in [6, Perspective 2].
Remark 1.8
In Theorem 1.7 we only succeed to assert that there exists a time T in \( (0,T_0)\) for which the conclusion holds, and we are not able to guarantee that \(T=T_0\) is convenient. The difficulty is to prevent a possible blowup due to the vorticity associated with the surface. This difficulty is typical of the 3D case and was already observed in the case of the Euler equations, see [19].
Remark 1.9
The condition that \(\gamma _{0} \) and \( \gamma _{1} \) surround the same volume is well defined since by the Jordan-Brouwer separation theorem the set \({\mathbb {R}}^{3} \setminus \gamma \) has two connected components, only one of which being bounded.
Remark 1.10
The conditions that \(\gamma _0\) and \(\gamma _1\) are isotopic and surround the same volume are necessary for the existence of a smooth volume-preserving flow driving \(\gamma _{0}\) exactly to \(\gamma _{1}\).
Remark 1.11
As in the previous result, see Remark 1.2, the boundary control is implicit in the statement of Theorem 1.7 as it is given as traces on \((0,T)\times \Sigma \) of the solution.
Remark 1.12
Let us mention that the controllability time T which is provided by the proof of Theorem 1.7 in Sect. 6 converges to 0 as \(\eta \) goes to 0, what is perhaps counterintuitive, as this means a more and more accurate achievement of the targeted final state in a shorter and shorter time. However, this corresponds to a larger and larger control force, as \(\eta \) goes to 0, and in particular the lack of compactness of these controlled solutions prevents from passing to the limit and from obtaining the absurd conclusion of an instant modification of a Jordan surface into another by a smooth flow map.
1.4 Organization of the rest of the paper
In Sect. 2 we give a scheme of the proof of Theorem 1.1. It will rely on two main intermediate results: Theorem 2.12, where an approximate solution is built thanks to a multi-scale asymptotic expansion involving some boundary layers correctors, and the a priori estimate (2.43) for the remainder term associated with this approximate solution. An auxiliary problem associated with the boundary layer is investigated in Sect. 3. Then the proof of Theorem 2.12 is given in Sect. 4. The proof of the a priori estimate (2.43) is given in Sect. 5. Finally Sect. 6 is devoted to the proof of Theorem 1.7.
2 Scheme of Proof of Theorem 1.1
This section is devoted to a scheme of proof of Theorem 1.1. We only highlight here the key steps of the proof, postponing to the next sections the proofs of several important intermediate results. As in [5, 7, 29] we will use the “well-prepared dissipation" method which consists in a rapid and violent stage where one makes use of the inviscid part of the system and of a second stage devoted to the dissipation of the boundary layers due to the discrepancy between the inviscid and the viscous case. As in [5, 7] this method is implemented by the means of multi-scale asymptotic expansions. The extension of this strategy to solutions of the Navier–Stokes equations in the space (1.3), rather than in the weaker class (1.4), requires much attention, in particular due to the fast scale associated with the boundary layer which leads to a more accurate asymptotic expansion and to a more involved preparation of the dissipation of various terms describing the fluid behaviour in the boundary layer.
2.1 Reduction to approximate controllability problem from a smooth data
In this section we reduce the proof of Theorem 1.1 to a combination of a regularisation result on the uncontrolled Navier–Stokes system, that is on the Navier–Stokes system with Navier condition on the whole boundary \(\partial \Omega \), of a small-time local exact null controllability result and of a global approximate null controllability result.
-
(1)
Let us first state the regularization result.
Theorem 2.1
Let \(T>0\), p in \({\mathbb {N}}^*\) and \(R>0\). Then there exists a continuous function \(C_{T,p,R}(\cdot )\) from \( [0,+\infty ) \) to \([0,+\infty )\) with \(C_{T,p,R}(0)=0\), such that there exists \(T_1\) in (0, T) and for any \(u_0\) in \(H^1(\Omega )\), with \( \Vert u_0\Vert _{H^1(\Omega )} \le R\), divergence free and tangent to \(\partial \Omega \), there exists a unique strong solution u in \( C([0,T_1];H^1(\Omega ))\cap L^2([0,T_1];H^2(\Omega ))\) to (1.2) with \( u\cdot {\mathbf {n}}=0 \) and \({\mathcal {N}}(u)=0\) on \(\partial \Omega \) such that u is in \( C((0,T_1];H^p(\Omega ))\) with
In the case where the no-slip conditions is imposed on the boundary \(\partial \Omega \), rather than the Navier conditions \({\mathcal {N}}(u)=0\), such a result dates back to the pioneering work of Leray and Hopf, see [23, 28]. In the case of the Navier conditions the part of Theorem 2.1 regarding the existence and uniqueness of local-in-time strong solutions with \(H^1\) initial data is also very classical; we refer to the introduction of [5] for an overview of the literature on the subject. The part of Theorem 2.1 regarding the regularization, that is the bounds (2.1) for \(p>1\), is also part of the folklore on the Navier–Stokes equations with Navier boundary conditions, see for instance [5, Lemma 9]. As we will need a slight generalization of the result in [5] we present a detailed proof of Theorem 2.1 in the Appendix A. In fact, Theorem A.1 in the Appendix A will exhibit the exact singular behavior of the solution near the time zero.
-
(2)
The second ingredient is the following small-time local exact null controllability result when the initial data is small in \(H^3\) established in [21] by Guerrero.
Theorem 2.2
Let \(T>0\). There exists \(\eta >0\) such that for any \(u_0\) in \( H^{3} (\Omega )\) divergence free, tangent to \(\partial \Omega \) and satisfying \(\Vert u_0\Vert _{H^3(\Omega )}<\eta \), there exists u in \( C([0,T];H^3(\Omega ))\cap L^2((0,T); H^4(\Omega ))\) satisfying (1.2) and \(u(T,\cdot )=0.\)
-
(3)
The third ingredient will be the following global approximate result:
Theorem 2.3
Let \(T>0\), and \(u_0\) in \( H^{200} (\Omega )\) divergence free and tangent to \(\partial \Omega \). For any \(\delta >0\), there exists u in \( C([0,T];H^1(\Omega ))\cap L^2((0,T); H^2(\Omega ))\) satisfying (1.2) and \(\Vert u(T,\cdot )\Vert _{H^1(\Omega )}<\delta .\)
This last result requires some hard work which will be done below.
On the other hand, with these three ingredients, the proof of Theorem 1.1 is plain sailing.
Proposition 2.4
A combination of Theorem 2.1, Theorem 2.2 and Theorem 2.3 implies Theorem 1.1.
Proof
The proof will make use of Theorem 2.2, of Theorem 2.3 and of Theorem 2.1 twice. We also need to care about the choice of the small parameters in the right order. Let \(\eta >0\) be associated with T/4 by Theorem 2.2. By Theorem 2.1, with T/4 instead of T, \(p=3\), and \(R=1\), there exists \(T_1\) in (0, T/4) and \( \delta \) in (0, 1) such that for any \(u_0\) in \(H^1(\Omega )\), with \( \Vert u_0\Vert _{H^1(\Omega )} \le \delta \), divergence free and tangent to \(\partial \Omega \), there exists a unique strong solution u in \(C([0,T_1];H^1(\Omega ))\cap L^2([0,T_1]; H^2(\Omega )) \) satisfying (1.2) with \( u\cdot {\mathbf {n}}=0 \) and \({\mathcal {N}}(u)=0\) on \(\partial \Omega \), and with \(\Vert u( T_1,\cdot )\Vert _{H^3(\Omega )}< \eta \). With these preliminaries at hand we can now proceed to the proof of Proposition 2.4 by chaining some appropriate applications of the three theorems. Let \(T>0\), and \(u_0 \) in \(H^1(\Omega )\) satisfying \(\mathrm {div} \,u_{0}=0 \) in \( \Omega \) and \(u_{0} \cdot n =0 \) on \( \partial \Omega \). We apply first Theorem 2.1 with T/4 instead of T, \(p = 200\) and \(R= \Vert u_0\Vert _{H^1(\Omega )}\), so that we obtain the existence of \(T'_1\) in (0, T/4) and of a unique strong solution u in \(C([0,T'_1];H^1(\Omega ))\cap L^2([0,T'_1]; H^2(\Omega )) \) satisfying (1.2) with \( u\cdot {\mathbf {n}}=0 \) and \({\mathcal {N}}(u)=0\) on \(\partial \Omega \) and with \(u(T'_1,\cdot )\) in \(H^{200} (\Omega )\). Then we apply Theorem 2.3 with T/4 instead of T, \(\delta > 0\) as previously chosen and \(u(T'_1,\cdot )\) as initial data, so that we obtain the existence of u in \( C([T'_1 ,T'_1 + T/4];H^1(\Omega ))\cap L^2(( T'_1 ,T'_1 + T/4); H^2(\Omega ))\) satisfying (1.2) and \(\Vert u(T'_1 + T/4,\cdot )\Vert _{H^1(\Omega )}<\delta .\) Now the choice of \(\delta \) has been done to guarantee, by Theorem 2.1 again, that there exists a unique strong solution u in \(C([T'_1 + T/4 ,T_1 +T'_1 + T/4];H^1(\Omega ))\cap L^2([T'_1 + T/4 ,T_1 +T'_1 + T/4 ]; H^2(\Omega )) \) satisfying (1.2) with \( u\cdot {\mathbf {n}}=0 \) and \({\mathcal {N}}(u)=0\) on \(\partial \Omega \) and with \(\Vert u( T_1 +T'_1 + T/4,\cdot )\Vert _{H^3(\Omega )}< \eta \). Moreover the choice of \(\eta \) has been done to guarantee, by Theorem 2.2 the existence of u in \(C([ T_1 +T'_1 + T/4,T_1 +T'_1 + T/2];H^1(\Omega ))\cap L^2([T_1 +T'_1 + T/4,T_1 +T'_1 + T/2]; H^2(\Omega )) \) satisfying (1.2) and \(u(T_1 +T'_1 + T/2,\cdot )=0\). Then extending u by 0 for t in \((T_1 +T'_1 + T/2,T]\) provides the existence of u in \(C([0,T];H^1(\Omega ))\cap L^2((0,T); H^2(\Omega )) \) satisfying (1.2) on [0, T] and \(u(T,\cdot )=0\). \(\square \)
2.2 domain extension
Let \({\mathcal {O}}\) be a smooth extension of the initial domain \(\Omega \) such that \(\Sigma \subset {\mathcal {O}}\) and \(\partial \Omega \backslash \Sigma \subset \partial {\mathcal {O}}.\) We denote \({\mathbf {n}}\) to be the outward pointing normal to the extended domain \({\mathcal {O}}\), which coincides with the outward pointing normal to \(\Omega \) on the uncontrolled boundary \(\partial \Omega \backslash \Sigma \). We also need to introduce a smooth function \(\varphi :{\mathbb {R}}^3\rightarrow {\mathbb {R}}\) such that \(\varphi =0\) on \(\partial {\mathcal {O}}\), \(\varphi >0\) in \({\mathcal {O}}\) and \(\varphi <0\) outside of \(\overline{{\mathcal {O}}}.\) Moreover, we assume that \(|\varphi (x)|=\text{ dist }(x,\partial {\mathcal {O}})\) in a small neighborhood of \(\partial {\mathcal {O}}.\) Hence we can extend the normal \({\mathbf {n}}\) smoothly by \(-\nabla \varphi \) to the full domain \({{\mathcal {O}}}.\) We define \({\mathcal {V}}_{\delta }:=\{x\in {{\mathcal {O}}}:0\le \varphi (x)<\delta \}\). Thus there exists a \(\delta _0>0\), such that \(\varphi =0\) on \(\partial {\mathcal {O}}\) and \(|{\mathbf {n}}|=1\) in \({\mathcal {V}}_{\delta _0}\).
Theorem 2.3 follows from the following result:
Theorem 2.5
Let \(T>0\) and \(u_*\) in \( H^{200} ({{\mathcal {O}}})\) divergence free and tangent to \(\partial {{\mathcal {O}}}\). Then for any \(\delta >0\), there are u in \( C([0,T];H^1({{\mathcal {O}}}))\cap L^2((0,T);H^2({{\mathcal {O}}}))\), \(\xi \) in \( C([0,T];H^1({{\mathcal {O}}}))\), supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) and \(\sigma \) a smooth scalar function supported in \((0,T) \times {\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\), such that
and \(\Vert u(T,\cdot )\Vert _{H^1({{\mathcal {O}}})} <\delta .\)
We will see in the next section how the proof of Theorem 2.5 can be reduced to the proof of an asymptotic result, see Theorem 2.7 below. For the moment let us see how it allows us to conclude to the proof of Theorem 2.3.
Proposition 2.6
Theorem 2.5 implies Theorem 2.3.
Proof
Let \(T>0\), and \(u_0\) in \( H^{200} (\Omega )\) divergence free and tangent to \(\partial \Omega \). Then there is an extension \(u_*\) in \(H^{200} ({{\mathcal {O}}})\) of \(u_0\) into a divergence free vector field on \({{\mathcal {O}}}\) tangent to \(\partial {{\mathcal {O}}}\). Then applying Theorem 2.5 we are left with considering the restrictions of u to \(\Omega \) to obtain a vector field in \( C([0,T];H^1(\Omega ))\cap L^2((0,T); H^2(\Omega ))\) satisfying (1.2) and \(\Vert u(T,\cdot )\Vert _{H^1(\Omega )}<\delta .\) \(\square \)
2.3 Time scaling and small viscosity
As mentioned above we will use the “well-prepared dissipation" method which consists in a rapid and violent stage followed by a longer one for which no control is applied, see [5, 7, 29] for earlier uses of this method. To implement this two-scales strategy, we introduce a positive small scale \(\varepsilon \ll 1\) as in [5] and we perform the time scaling
Thus, we consider \((u^{\varepsilon },p^{\varepsilon })\) the solution to the following large time and slightly viscous problem:
Observing the amplitude factor \(\varepsilon \) in the right hand side of (2.4e), we can deduce Theorem 2.3 from the following result:
Theorem 2.7
Let \(T>0\) and \(u_*\) in \( H^{200} ({{\mathcal {O}}})\) divergence free and tangent to \(\partial {{\mathcal {O}}}\). Then there are some sequences, \(\left\{ u^{\varepsilon }\right\} _\varepsilon ,\) \(\left\{ \xi ^{\varepsilon }\right\} _\varepsilon \) with \(u^{\varepsilon } \) in \( C([0,{T}/{\varepsilon }]; H^1({{\mathcal {O}}}))\cap L^2((0,{T}/{\varepsilon }); H^2({{\mathcal {O}}})) \) and \( \xi ^{\varepsilon } \) in \( C([0,{T}/{\varepsilon }]; H^1({{\mathcal {O}}})),\) and \(\left\{ \sigma ^{\varepsilon }\right\} _\varepsilon \) a sequence of smooth scalar functions, for \(\varepsilon \) in (0, 1), such that the mappings \(\xi ^{\varepsilon }\) and \(\sigma ^{\varepsilon } \) are supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) as a function of x and compactly supported in \((0,{T}/{\varepsilon })\) as a function of t. Furthermore, (2.4) holds true and
The proof of Theorem 2.7 is actually the core of the analysis and its proof will be detailed in the subsequent sections. Let us start to see here how it entails Theorem 2.5.
Proposition 2.8
Theorem 2.7 implies Theorem 2.5.
Proof
Let \(T>0\) and \(u_*\) in \( H^{200} ({{\mathcal {O}}})\) divergence free. Then for any \(\delta >0\), according to Theorem 2.7, there is \(\varepsilon >0\) and there exist \(u^{\varepsilon }\) belongs to \( C([0,{T}/{\varepsilon }]; H^1({{\mathcal {O}}}))\cap L^2((0, {T}/{\varepsilon }); H^2({{\mathcal {O}}}))\), \(\xi ^{\varepsilon }\) belongs to \(C([0,{T}/{\varepsilon }];H^1({{\mathcal {O}}}))\) and supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }},\) \(\sigma ^{\varepsilon } \) is a smooth scalar function supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) such that (2.4) holds true and \(\Vert u^{\varepsilon }({T}/{\varepsilon },\cdot )\Vert _{H^1({{\mathcal {O}}})} <\delta \varepsilon .\) Let us set
Then u belongs to \( C([0,T];H^1({{\mathcal {O}}}))\cap L^2((0,T);H^2({{\mathcal {O}}}))\), \(\xi \) and \(\sigma \) are compactly supported in \((0,T) \times {\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) so that (2.2) holds true and \(\Vert u(T,\cdot )\Vert _{H^1({{\mathcal {O}}})} <\delta .\) \(\square \)
2.4 An auxiliary euler solution due to the return method
When \(\varepsilon \) is small, it is expected that the analysis of the system (2.4) may be built on the small-time global exact controllability of Euler equations. We therefore consider the counterpart of the system (2.4) where the viscosity term has been dropped out. This involves the incompressible Euler equations. For these equations it is natural to prescribe the condition \( u^{\varepsilon } \cdot {\mathbf {n}} = 0\) on an impermeable wall, and only this one. The natural inviscid counterpart of (2.4) is therefore
Considering an asymptotic expansion of the form \(u^\varepsilon = \varepsilon u^1 + o( \varepsilon ) \) would amount to considering the linearized Euler equations around the null state, an equation which is not controllable, unless the initial data \(u_*\) is the gradient of a harmonic function, which is not the case in general. In order to overcome this difficulty, we are going to use Coron’s return method to take profit of the nonlinearity by forcing the amplitude of the solution thanks to the control. Indeed next result asserts that it is possible to guarantee the existence of a controlled solution to the Euler system with variations of order O(1) on time interval of order O(1), say (0, T) (but observe that the allotted time in (2.5) is \(T/\varepsilon \)), vanishing at both ends of the time interval.
Lemma 2.9
There exists a solution \((u^0,p^0,\nu ^0,\sigma ^0 )\) in \( C^{\infty }([0,T]\times {\overline{{{\mathcal {O}}}}}; {\mathbb {R}}^3\times {\mathbb {R}}\times {\mathbb {R}}^3\times {\mathbb {R}})\) to the system:
such that the flow \(\Phi ^0\) defined by \(\partial _s \Phi ^0(t,s,x)=u^0(s,\Phi ^0(t,s,x))\) and \(\Phi ^0(t,t,x)=x\) satisfies
Moreover, \(u^0\) can be chosen such that:
In addition, \(\nu ^0\) and \(\sigma ^0 \) are supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\), \((u^0,p^0,\nu ^0,\sigma ^0 )\) are compactly supported in (0, T). In the sequel, when we need it, we will implicitly extend them by zero after T.
Lemma 2.9 is the key argument of many papers concerning the small-time global exact controllability of Euler equations, cf. [8] for 2D simply connected domains, [9] for general 2D domains when \(\Sigma \) intersects all connected components of \(\partial \Omega \), [15] for 3D simply connected domains, in [13] for general domains when \(\Sigma \) intersects all connected components of \(\partial \Omega \). Let us also refer to [16, 17] and to [5, Lemma 2].
With this particular auxiliary Euler solution in hands, Coron’s return method consists in looking for solutions to (2.7) admitting asymptotic expansions of the form: \( u^\varepsilon = u^0 + \varepsilon u^1 + o( \varepsilon ) \) and \( p^\varepsilon = p^0 + \varepsilon p^1 + o( \varepsilon ) \), with some controls \(\xi ^{\varepsilon }\) and \(\sigma ^{\varepsilon }\) also admitting asymptotic expansions of the same form: \( \xi ^{\varepsilon } = \nu ^0 + \varepsilon \nu ^1 + o( \varepsilon ) \) and \( \sigma ^\varepsilon = \sigma ^0 + \varepsilon \sigma ^1 + o( \varepsilon ) \). Indeed, by gathering the terms of order \(O(\varepsilon )\), we are led to the following equations for \((u^1 , p^1 )\):
This is the linearisation of the Euler equations around \(u^0\), and the fact that the vector field \(u^0\) satisfies (2.9) is a crucial gain with respect to the null state.
In the sequel we will use such equations only with zero control on the divergence (corresponding to setting \( \sigma ^1 =0\)) but also with a source term f supported in the whole domain \({{\mathcal {O}}}\) in the first equation. We therefore consider the linearized Euler system
where f is a given source term whereas \(\nu \) is a control force to be chosen supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\).
Lemma 2.10
Let k, p in \( \mathbb {N_+}.\) Let \(u_0 \) in \( H^p({{\mathcal {O}}})\) with \(\mathrm {div} \,u_0=0\) and \(u_0\cdot {\mathbf {n}}=0\) on \(\partial {{\mathcal {O}}}\). Let f in \( C^k_{\gamma } ({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) (see Definition 3.2) and \(\nabla \times f\) is supported in [0, T] as a function of time t. Then there are \(\nu (t,x)\) in \(C^k({\mathbb {R}}_+;H^{p-1}({{\mathcal {O}}}))\), supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) as a function of x and supported in [0, T] as a function of time t, and u in \(C^k({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\), supported in [0, T], such that (2.11) holds true. Moreover the unique pressure p, for which the integral condition \(\int _{{{\mathcal {O}}}}p \ dx=0\) is satisfied at any time, is in \(C^{k-1}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\).
Remark 2.11
Though we do not require f to be supported in [0, T], when \(t\ge T\), since f is curl-free, f can be represented as a part of the pressure term and has decay. In this case, it will be used to solve \(u^4\) below.
Proof
The existence and uniqueness of a solution in \(C^k({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) to the system (2.11) makes no debate, the point is here to choose an appropriate control function \(\nu \), supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) as a function of x, such that the solution u of (2.11) vanishes when \(t\ge T.\) We can prove the Lemma by the argument in Lemma 3 of [5] and Duhamel formula. For sake of completeness let us quickly recall the key observation that \(\omega :=\nabla \times u\) satisfies
By Duhamel’s formula, we wish to find a solution
where \(\omega _1\) and \(\omega _2\) satisfy
and
By the argument in Lemma 3 of [5] we can find control functions \(\nu _1\), \(\nu _2\) and solutions \(\omega _1, \omega _2\) of (2.14) and (2.15). We take \(\nu =\nu _1+\int _0^t \nu _2(s,t,x)ds,\) and define \(\omega \) by (2.13). Then \(\omega \) is a solution of (2.12). Since \(u^0\) in \( H^p({{\mathcal {O}}})\), f in \( C^k_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) and \(\nabla \times f\) is supported in [0, T], we can check from the proof of Lemma 3 of [5] that \(\nu \) in \( C^{k}({\mathbb {R}}_+;H^{p-1}({{\mathcal {O}}}))\) and is supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) as a function of x and is supported in [0, T] as a function of time t, \(\omega \) in \( C^{k}({\mathbb {R}}_+;H^{p-1}({{\mathcal {O}}}))\) and is supported in [0, T]. Since u satisfies \(\nabla \times u=\omega \) in \({{\mathcal {O}}}\), \(\mathrm {div} \,u=0\), in \({{\mathcal {O}}}\) and \(u\cdot {\mathbf {n}}=0\) on \(\partial {{\mathcal {O}}}\), it is in \( C^k({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) and supported in [0, T]. By the first equation of (2.11) and the Poincaré inequality we obtain the part of Lemma 2.10 concerning the pressure. \(\square \)
2.5 Boundary layer and multi-scale asymptotic expansion
Since only the impermeability condition is considered in (2.7), a corrector has to be added to the Euler equation to guarantee the Navier slip-with-friction boundary condition (2.4d). The role of this corrector is to accurately describe the behaviour of the fluid close to the boundary in a layer which vanishes as \(\varepsilon \) goes to 0. For the Navier conditions, in the uncontrolled setting, it was highlighted in [25] that the thickness of this boundary layer is \({\mathcal {O}}(\sqrt{\varepsilon })\) and the the amplitude of the corrector term is also \({\mathcal {O}}(\sqrt{\varepsilon })\). Moreover, a multiscale asymptotic expansion of the solutions to the uncontrolled Navier–Stokes equations in the small viscosity limit involving a boundary layer term v, which involves an extra variable describing the fast variations of the fluid velocity in the normal direction near the boundary, is given. This corrector v is given as a solution to an initial boundary value problem with a boundary condition with respect to this extra variable, that is, in a informal way, an asymptotic expansion of the form
Indeed the boundary layer corrector is described by a smooth vector field v expressed in terms both of the slow space variable x in \( {{\mathcal {O}}}\) and a fast scalar variable \(z = \varphi (x)/\sqrt{\varepsilon }\), where v(t, x, z) satisfies an equation of the form
for x in \({\bar{{{\mathcal {O}}}}}\) and z in \( {\mathbb {R}}_+\), with the following boundary condition at \(z=0\):
The interest in prescribing (2.18) is that the velocity vector field given by (2.16) satisfies the Navier condition (2.4d), up to an error term of order o(1), due to the slow derivatives of v. Indeed it is more convenient to consider an evolution equation for v which is slightly more complicated than (2.17), and which in particular contains some extra-terms which are of lower order but allow to propagate the pointwise orthogonality condition
including the inside domain, not only on the boundary, from the initial and boundary data to positive times. For this type of linear hyperbolic-parabolic (focusing on t, x or t, z) equation, the Cauchy theory is now well-understood, see [22, 33, 34].
The analysis in [25] was performed for times of order O(1), and in general this type of multiscale asymptotic expansions fails to describe the vanishing viscosity limit of the Navier–Stokes equation for large times of order \(O(1/\varepsilon )\), even in the case where the Euler solution stays smooth for all times. However since the Euler solution \( u^0\) at stake here vanishes after the time T, the equations (2.17) and (2.18), for \(t \ge T\), reduce to
where the dependence in the slow variable x only appears through the “initial” data \( {\overline{v}}(x,z) := v(T,x,z)\). This heat system dissipates towards the null state for large times. However the decay at the final time \(t = T/\varepsilon \) is only given by
which is, unfortunately, not sufficient in view of the wished estimate (2.5) and of the tentative expansion (2.16).
2.6 Well-prepared dissipation method
This difficulty was already presented in [5, 6], and there to overcome this difficulty, the authors make use of the well-prepared dissipation method, which was first introduced in [29] in the case of the 1D Burgers equation. The idea is to enhance the natural dissipation of the boundary layer after the time T by an appropriate control before, that is in guaranteeing that \({\overline{v}}\) satisfies a finite number of vanishing moment conditions for k in \( {\mathbb {N}}\) of the form
so that the estimate (2.21) holds true but with \(o\left( \varepsilon \right) \) in the right hand side. By linearity the moments of \({\overline{v}}\) in left hand side of (2.22) can be decomposed as the sum of an addend due to the free evolution of v and of an addend due to the control. Indeed due to the properties of the vector field \(u^0\), see (2.9), it is possible to generate some moments outside, and to convect inside the physical original domain in the time interval [0, T]. This allows us to ensure the condition (2.22) for all x in \({{\mathcal {O}}}\).
2.7 Backflow
Thanks to the orthogonality condition (2.19), the divergence of the vector field \((t,x)\mapsto v\left( t,x, \varphi (x)/ \sqrt{\varepsilon }\right) \) is not singular in \(\varepsilon \). Still it is not zero, there is an error term of order O(1), due to the slow derivatives of v. To compensate for this part, we set
and consider instead of the expansion (2.16) the refined asymptotic expansion
This expansion has the advantage over (2.16) to satisfy (2.7b) (observe that the right-hand-side has to be zero in \(\Omega \) because of the support condition on \(\sigma ^\varepsilon \)) up to an error of order \(O(\varepsilon )\). The new term, the last one in (2.24), corresponds to a boundary layer on the normal velocity. The choice to integrate from infinity in (2.23) is precisely to guarantee that w vanishes as z goes to infinity. Then the new issue is that w(t, x, 0) is not zero so that the right-hand-side of (2.24) cannot satisfy the impermeability condtition (2.4c). Then a new correction is considered by the mean of what we call a backflow velocity. As w will be constructed with the integral condition
there is a solution \(\phi \) to the following Neumann problem:
Thanks to (2.10), we observe that the so-called backflow velocity \(\nabla \phi \) satisfies
that is, \(\nabla \phi \) satisfies the Euler equations linearized around \(u^0\). Then the asymptotic expansion
is better than the asymptotic expansion (2.24) in the sense that the impermeability condition (2.4c) is now satisfied up to error term \(o(\varepsilon )\).
2.8 Approximate solutions
Indeed by expanding further the asymptotic expansion, in particular expanding the velocity into an expansion of the form
with some profiles satisfying some PDEs of the previous types but with extra forcing terms due to error terms associated with the profiles which are already determined, we will be able to construct some approximate solutions \(u^{\varepsilon }_a\), \(p^{\varepsilon }_a\) to the system (2.4) associated with some control forces \( \xi ^{\varepsilon } \) and \(\sigma ^0\) (on the divergence the control given by Lemma 2.9 will be sufficient).
These solutions are approximate in the sense that
where H , G, F and \(R_0\) are error terms which satisfy some uniform bounds in some appropriate spaces which we now define. Let us introduce a cut-off function \(\chi \) in \( C^{\infty }_0({\mathbb {R}}^3)\) such that \(\chi =0\) when \(|\varphi |\ge \delta _0\) and \(\chi =1\) when \(|\varphi |<\frac{\delta _0}{2}\), where \(\delta _0\) is selected in Sect. 2.2, and the vector fields set
It is easy to observe that \(w^j\) are tangential to \(\partial {{\mathcal {O}}}\), \(0\le j\le 5\). Moreover, for \(1\le j\le 5\), \(w^j\cdot {\mathbf {n}}=0\) in \({\mathcal {V}}_{\delta _0/2}\) and \(\mathrm {div} \,w^j=0\) in \({{\mathcal {O}}}\). Now we define the tangential derivatives
Let us observe that
Generally, for \(|\alpha |=m\) in \( {\mathbb {N}}_+,\) we can use Leibniz formula to find that
for some smooth functions \(c_{\beta }\) and \(c_{\gamma }\) depended only on the vector field \({\mathfrak {W}}.\)
Let us also observe that, for \(1\le i,j\le 5,\)
Indeed, \([\partial _{\mathbf {n}},Z_{i}]=({\mathbf {n}}\cdot \nabla ) w^{i}\cdot \nabla -(w^{i}\cdot \nabla ) {\mathbf {n}}\cdot \nabla \), and, on one hand \((w^{i}\cdot \nabla {\mathbf {n}})\cdot \nabla \) is a tangential derivative since \(w^{i}\cdot \nabla {\mathbf {n}}\cdot {\mathbf {n}}=0\) in \({\mathcal {V}}_{\delta _0}\), while on the other hand, due to \(w^{i}\cdot {\mathbf {n}}=0\) in \({\mathcal {V}}_{\delta _0/2} \) and \(\nabla {\mathbf {n}}\) is symmetric, we have
in \({\mathcal {V}}_{\delta _0/2}\), so that \({\mathbf {n}}\cdot \nabla w^{i}\cdot \nabla \) is also a tangential derivative. Moreover notice that for \(1\le i\le 5,\) \(w^i\cdot \nabla \varphi =w^i\cdot {\mathbf {n}}=0,\) we find that \([Z_0,Z_i]=\varphi [\partial _{{\mathbf {n}}},Z_i]\) is also a tangential derivative. Finally, for \(1\le i,j\le 5,\) it holds that
Since \(w^i\cdot {\mathbf {n}}=w^j\cdot {\mathbf {n}}=0\) and \(\nabla {\mathbf {n}}\) is symmetric, we have
Thus \([Z_i,Z_j]\) is a tangential derivative and (2.33) holds true.
We define the Sobolev conormal spaces
with norm
In the same way, we set
and we say u in \( W_{co}^{k,\infty }\) if \(\Vert u\Vert _{k,\infty }\) is finite. Finally for \(t \ge 0\), we denote \(\langle t\rangle :=\sqrt{1+t^2}\).
Theorem 2.12
Let \(\gamma >1,\) k, p, s, q in \( {\mathbb {N}}_+\) with \(k\ge 2, p\ge 8,s,q\ge 4\). Assume \(u_*\) is smooth enough, say it satisfies (4.2) in Sect. 4.1. Then there exist \(u^{\varepsilon }_a\), \(p^{\varepsilon }_a\) and \(\xi ^{\varepsilon }\) satisfy (2.28a)-(2.28e) with F, G, H and \(R_0\) satisfying, for \(0\le j\le k ,\) \(p_1+p_2\le p-3,p_2\le s-2,m\le p-3,\)
Moreover \(u^{\varepsilon }_a\) satisfies,
The proof of Theorem 2.12 will be presented in Sect. 4.
2.9 Remainder estimate
It follows from the well-posedness of he Navier–Stokes equations with Navier boundary conditions (for fixed \(\varepsilon \)) that for every \(\varepsilon \) in (0, 1), there is \(T^\varepsilon \in (0, { T }/{ \varepsilon } ]\) and a solution \((u^{\varepsilon },p^{\varepsilon })\) to (2.4) with \(\xi ^{\varepsilon }\) given by Theorem 2.12 and \(\sigma ^{\varepsilon } := \sigma ^0\), for each \(\varepsilon \), where \(\sigma ^0\) is given by Lemma 2.9.
We define a family of vector fields R, neglecting an index for the dependence on \(\varepsilon \) for sake of levity, by
The latter R stands for “remainder " as we hope to be able to find such a vector field with a nice behaviour in \(\varepsilon \). Indeed we will prove in Sect. 5 the following a priori estimate:
This entails that \(T^\varepsilon = \frac{T}{\varepsilon }\) and, with (2.41), that (2.5) holds true. This concludes the scheme of proof of Theorem 2.7, and then according to Proposition 2.8, Proposition 2.6 and Proposition 2.4, this also concludes the scheme of proof of Theorem 1.1. To complete the proof of Theorem 2.7 it remains to prove the two main intermediate results which are Theorem 2.12 and the a priori estimate (2.43). In Sect. 3, we will study an auxiliary problem associated with the boundary layer on the tangential velocity. It will be instrumental in the proof of Theorem 2.12 which will be given in Sect. 4.
Compared to [5], we consider a more accurate asymptotic expansion, (2.27) rather than (2.26) and the large time behaviour of the higher order terms requires to adapt the well-prepared dissipation method. Moreover, the estimate of the remainder is performed in \(H^1\) rather than in \(L^2\), which requires much more work.
3 Well-Prepared Dissipation of Tangential Boundary Layers with Forcing
We set
where \(u^0\) is given by Lemma 2.9 and we observe that \(u^0_{\flat }\) is smooth in \({\overline{{{\mathcal {O}}}}}\). Let \(B^0 =B^0 (t,x)\) be a smooth field of \(3 \times 3\) matrices such that for any v in \({\mathbb {R}}^3\),
The key property associated with \(B^0\) is that for a smooth vector field v(t, x),
We are interested in this section by the following type of constrained initial-boundary value problem:
where f and g are given source terms whereas \(\xi \) is a control force to be chosen. Problem like (3.4) will be useful to construct such boundary layer correctors of the tangential velocity as that described in Sect. 2.5. As already mentioned, the Cauchy theory for this type of linear hyperbolic-parabolic (respectively in t, x and in t, z) equation is now well-understood, see [22, 33, 34], and our concern will rather be the large time asymptotics and in particular the implementation of the well-prepared dissipation method alluded in Sect. 2.6 in the presence of source terms. This will be useful in the next section in the course of constructing the higher order terms \(v^j\) for \(j \ge 2\) alluded in (2.27).
Let us introduce the following weighted Sobolev spaces:
Definition 3.1
For z in \( {\mathbb {R}}\), we denote \(\langle z\rangle :=\sqrt{1+z^2}\) and for s and q in \( {\mathbb {N}},\) we set
endowed with it natural associated norm. In the same way we define \(H^{s}_{q}({\mathbb {R}})\) and the norm
Observe that by the Plancherel theorem, we have the following equivalence of norms:
Here \({\hat{f}}\) denotes the Fourier transform of f.
Definition 3.2
Let k in \({\mathbb {N}},\gamma >0\) and X a Banach space with norm \(\Vert \cdot \Vert _X\). We define the space \(C^k_{\gamma }({\mathbb {R}}_+;X)\) of the functions f in \( C^k({\mathbb {R}}_+;X)\) such that
where
Let \({\mathcal {S}}({\mathbb {R}})\) the Schwartz space of smooth functions on \({\mathbb {R}}\) whose derivatives are rapidly decreasing. Let us denote by \({\mathcal {S}}({\mathbb {R}}_+)\) the set of the restrictions to \({\mathbb {R}}_+\) of the functions of \({\mathcal {S}}({\mathbb {R}})\).
The goal of this section is to prove the following result, where the notation [x] designates the floor integer part of a real number x:
Proposition 3.3
Let \(\gamma >0\) and s, q, k, p in \({\mathbb {N}}\) with \(k\ge 1\). Set \(n :=[\frac{q}{2}+\gamma ]\),
Let
such that f(t, x, z) and g(t, x) are supported in \( {\mathcal {V}}_{\delta } \) as a function of x and such that \(f(t,x,z)\cdot {\mathbf {n}}(x)=g(t,x)\cdot {\mathbf {n}}(x)=0\), for any \( t\ge 0\), x in \( {{\mathcal {O}}}\) and z in \( {\mathbb {R}}_+\). Let
where A(t, x, z) will be defined in (3.31) soon.
Then there are
such that (3.4) holds true. Moreover there is a continuous function \({\tilde{S}}:{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\), such that for any positive \(\delta ,\) \(\delta \le {\tilde{S}}(\delta )\), and \(\xi \) is supported in \(({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{{\tilde{S}}(\delta )}\) as a function of x and is compactly supported in (0, T) as a function of time t, and satisfies \(\xi (t,x,z)\cdot {\mathbf {n}}(x)=0\), for all t in (0, T), x in \( ({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{{\tilde{S}}(\delta )} \) and z in \( {\mathbb {R}}_+\), and v is supported in \({\mathcal {V}}_{{\tilde{S}}(\delta )}\) as a function of x . Moreover, if f and g are both supported away from \(t=0\) as a function of time t, then so does v.
The first key observation towards the proof of Proposition 3.3 is that for \(t\ge T\), we have \(u^0=0, u^0_{\flat }=0,\) \(B^0 =0\) and we look for a control \(\xi \) which is compactly supported in (0, T), so the equations for v reduces to
with an “initial" data at \(t=T\) which has no reason to be zero. To prepare the part of the proof of Proposition 3.3 regarding the decay in time, we first single out some well-prepared dissipation conditions for the heat equation on the full line (in space) with non-zero “initial" data at \(t=T\) and non-zero source term:
For n in \( {\mathbb {N}}\) and x in \( {\mathbb {R}},\) we set
Lemma 3.4
Let \(\gamma >0\) and k, s, q, n in \( {\mathbb {N}}\) and
Let \({\tilde{\gamma }}\), \({\tilde{s}}\), and \({\tilde{q}}\) be as in (3.6). Let \(v_0 \) in \( H^{s+2k}_{{\tilde{q}} } ({\mathbb {R}})\) and f in \( C^0_{{\tilde{\gamma }}}({\mathbb {R}}_+;H^{{\tilde{s}}}_{{\tilde{q}}}({\mathbb {R}}))\) when \(k=0\) and f in \( C^{k-1}_{{\tilde{\gamma }}}({\mathbb {R}}_+;H^{{\tilde{s}}}_{{\tilde{q}} } ({\mathbb {R}}))\) when \(k\ge 1\), such that
Then the Cauchy problem
has a unique solution v in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^{s}_{q}({\mathbb {R}})).\)
Proof
We first observe that it is sufficient to deal with the case where \(k=0\), since the general case follows by using that for \(0\le i\le k\), for z in \({\mathbb {R}}\) and \(t\ge 0\), \(\partial _t^{i}v=\partial _z^2\partial _t^{i-1}v+\partial _t^{i-1}f\).
The Fourier transform \({\hat{v}}(t,\cdot )\) of \(v(t,\cdot )\) is given, for \( t\ge 0\) and \(\zeta \) in \({\mathbb {R}}\), by
Let us observe that
Now we decompose the proof of Lemma 3.4 into the following two steps:
Step 1: we first prove that, for \(0\le t\le 1\), \(\Vert u(t,\cdot )\Vert _{H^{s}_{q}({\mathbb {R}})}\) is bounded. Indeed, for \(0\le t \le 1\) and \(s<{\tilde{s}},\) \(q<{\tilde{q}}, \) it follows from (3.5), (3.12), the Leibniz formula and (3.13) that
Thus for \(0\le t\le 1\), \(\Vert v(t,\cdot )\Vert _{H^{s}_{q}({\mathbb {R}})}\) is bounded.
Step 2: It remains to prove that there exists \(C>0\) such that for \(t\ge 1\), \(\Vert v(t,\cdot )\Vert _{H^{s}_{q}} \le C\langle t\rangle ^{-\gamma }\). Indeed, for \(t\ge 1\), by (3.12), we write
where
Thanks to (3.13), to conclude this second step, it is sufficient to show that, for \(1 \leqslant i \leqslant 4\), \(0\le j\le q\) and \(t\ge 1,\)
We observe that for \(t\ge 1\),
\(\bullet \) \({\underline{\hbox {Estimate}\,\,\hbox {of}\,\,I_{1}}}\)
Since \(u_0\) and f satisfies (3.11), we have, for \(0\le j_2\le q\), by the Taylor formula,
This together with the Leibniz formula, (3.13) and (3.15) implies that for \(0\le j\le q\) and \(t\ge 1,\)
Thus, thanks to (3.10), we achieve
\(\bullet \) \({\underline{\hbox {Estimate}\,\,\hbox {of}\,\,I_{2}}}\)
By the Leibniz formula and (3.13), for \(0\le j\le q,\) we find
Since \(\Vert f(\tau ,\cdot )\Vert _{H^{s+2n}_{q}}\lesssim \langle \tau \rangle ^{-(2n+3)}\), by using (3.10), we deduce that
\(\bullet \) \({\underline{\hbox {Estimate}\,\,\hbox {of}\,\, I_{3}}}\)
By Taylor’s expansion and by induction on j, we prove that for all j in \( {\mathbb {N}}\), there exists \(C_{j,n} > 0 \) such that for all \(\tau >0\), for all \(\zeta \) in \( {\mathbb {R}}\),
Then, for \(0\le j\le q,\) by the Leibniz formula, one has
Since \(\Vert f(\tau ,\cdot )\Vert _{H^s_q}\lesssim \langle \tau \rangle ^{-{\tilde{\gamma }}}\) and (3.15), we obtain
\(\bullet \) \({\underline{\hbox {Estimate}\,\,\hbox {of}\,\, I_{4}}}\)
By (3.13), we find, for \(0\le j\le q\),
Since \(\Vert f(t,\cdot )\Vert _{H^{s}_{q}}\lesssim \langle \tau \rangle ^{-(2n+3)}\), we infer
By combining the estimates, (3.14), (3.16), (3.17), (3.18) and (3.19), we deduce that there exists \(C>0\) such that for \(t\ge 1\), \(\Vert v(t,\cdot )\Vert _{H^{s}_{q}} \le C\langle t\rangle ^{-\gamma }\).
Finally by combining step 1 with step 2, we conclude that v belongs to \( C^0_{\gamma }({\mathbb {R}}_+;H^{s}_{q}({\mathbb {R}})).\) \(\square \)
We now turn to the following counterpart for the whole line \(z \in {\mathbb {R}}\) of the initial-boundary value problem (3.4):
We recall that \(B^0 \) is defined in (3.2).
Lemma 3.5
Let \(\gamma >0,\) k, p, s, q, n in \({\mathbb {N}},k\ge 1\) satisfying \(n\ge \frac{q}{2}+\gamma -1.\) Let \({\tilde{\gamma }},{\tilde{s}}, {\tilde{q}}\) be as in (3.6) and \(\delta >0\) be a small constant. Let
with F(t, x, z) being supported in \( {\mathcal {V}}_{\delta }\) as a function of x and \(F(t,x,z)\cdot {\mathbf {n}}(x)=0\), for all \( t\ge 0\), x in \( {{\mathcal {O}}}\) and z in \( {\mathbb {R}}\).
Then there are
such that (3.20) holds true, and there is a continuous function \({\tilde{S}}:{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\), such that for any positive \(\delta ,\) \(\delta \le {\tilde{S}}(\delta )\), and \(\Xi \) is supported in \(({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{{\tilde{S}}(\delta )}\) as a function of x and is compactly supported in (0, T) as a function of time t, and satisfies \(\Xi (t,x,z)\cdot {\mathbf {n}}(x)=0\), for all t in (0, T), x in \( ({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{{\tilde{S}}(\delta )} \) and z in \( {\mathbb {R}}\), and V is supported in \({\mathcal {V}}_{{\tilde{S}}(\delta )}\) as a function of x and satisfies \(V(t,x,z)\cdot {\mathbf {n}}(x)=0\), for all \( t\ge 0\), x in \( {{\mathcal {O}}}\) and z in \( {\mathbb {R}}\).
Moreover, if F is supported away from \(t=0\) as a function of time t, then so does V.
Proof
For \(0\le j\le 2n+1\) and x in \({{\mathcal {O}}}\), let
where \({\hat{F}}(t,x,\cdot )\) is the partial Fourier transform of F(t, x, z) with respect to the z variable. We use \(\zeta \) as dual variable of z by the partial Fourier transform. We also recall that \(s_n\) is defined in (3.9). By (3.21), for \(0\le j\le 2n+1\), \(\gamma _j\) in \( H^{p+1}({{\mathcal {O}}}).\) We look for a control profile \(\Xi \), with the properties mentioned in the statement of Lemma 3.5, such that there is a solution V in \(C^{k} ({\mathbb {R}}_+;H^p ({{\mathcal {O}}}; H^s_q ({\mathbb {R}})))\) to (3.20) satisfying
where \({\hat{V}}(t,x,\cdot )\) is the partial Fourier transform of \(V(t,x,\cdot )\). Then, for \(t\ge T\), as \(u^0=0\), \(u^0_{\flat }=0\) and \(B^0 =0\), the first equation in (3.20) reduces to
Therefore it would follow from Lemma 3.4 that V in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p ({{\mathcal {O}}}; H^s_q ({\mathbb {R}})))\).
Indeed for a given control profile \(\Xi \), with the properties mentioned in the statement of Lemma 3.5, the existence of a solution V in \(C^{k} ({\mathbb {R}}_+;H^p ({{\mathcal {O}}}; H^s_q ({\mathbb {R}})))\) to (3.20), supported in a neighborhood of the boundary as a function of x and satisfying \(V(t,x,z)\cdot {\mathbf {n}}(x)=0\), for all \( t\ge 0\), x in \( {{\mathcal {O}}}\) and z in \( {\mathbb {R}}\), can be proved along the same lines as [25, Proposition 5]. We therefore focus on the existence of a control profile \(\Xi \) for which the corresponding solution V to (3.20) satisfies the conditions (3.22). In this perspective we first observe that the Cauchy problem (3.20) for V translates into the following one for \({\hat{V}}\):
Let
Here \(\chi _1\) in \(C^{\infty }_0({\mathbb {R}})\) is a cut-off function satisfying \(\chi _1(\zeta )=1\) when \(|\zeta |\le 1\) and \(\chi _1(\zeta )=0\) when \(|\zeta |\ge 2\), so that H in \( H^{p+1}({{\mathcal {O}}};C^{\infty }_0({\mathbb {R}}))\) and
Let
By (3.21), for \(0\le j\le 2n+1\), the function \(\partial _{\zeta }^j{\tilde{F}}|_{\zeta =0}\) is in \(C^{k-1}_{{\tilde{\gamma }}}({\mathbb {R}}_+; H^{p}({{\mathcal {O}}})) \).
Using (2.9), we can prove the existence of \(\Xi \) with the properties mentioned in the statement of Lemma 3.5, such that for \(0\le j\le 2n+1\), the unique solution \(Q_j\) to
where \({\hat{\Xi }}(t,x,\cdot )\) is the Fourier transform of \(\Xi (t,x,\cdot )\), satisfies
We refer here to [5, Lemma 7], see also the discussion in Sect. 2.6. By differentiating (3.24), by (3.25) and by using the uniqueness of the Cauchy problem (3.27), we observe that the solution V to (3.20), for the control profile \(\Xi \) mentioned above, satisfies
By combining (3.28) and (3.29), we conclude that (3.22) is satisfied. From the construction of \(\Xi \) and \(Q_j\) we can see that, if F vanishes near \(t=0\), so does V.
Finally, thanks to the argument in [5, Section 3.4], there is a continuous function \({\tilde{S}}:{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\), such that for any positive \(\delta ,\) \(\delta \le {\tilde{S}}(\delta )\), and V is supported in \({\mathcal {V}}_{{\tilde{S}}(\delta )}\). We can choose \(\delta \) small enough such that \({\tilde{S}}(\delta )<\delta _0\). (Recall that \(\delta _0\) is defined in Sect. 2.2). \(\square \)
Now we are in a position to complete the proof of Proposition 3.3.
Proof of Proposition 3.3
Let
It is clear that \(g_j\) is supported in \({\mathcal {V}}_{\delta }\) as a function of x, \(g_j\cdot {\mathbf {n}}=0\) and \(g_j\) in \( C^{{\tilde{k}}+1-j}_{{\tilde{\gamma }}}({\mathbb {R}}_+;H^{{\tilde{p}}+1-j}({{\mathcal {O}}}))\) for \(1\le j\le k'\).
For \(z\ge 0\), we denote
where \(\chi _1\) in \( C_0^{\infty }({\mathbb {R}})\) is an even cut-off function as in the proof of Lemma 3.5. One can check that
and satisfies
Let
It is easy to check that
By combining (3.30), (3.32) and (3.33), we observe that \(\partial _z^{2j-1} F|_{z=0}=0\) for \(1\le j< k'.\) Thus, extending F by \(F(t,x,z):=F(t,x,|z|)\), and by the definition of \(k'\), we have
which is supported in \({\mathcal {V}}_{\delta }\) as a function of x. Thus we can use Lemma 3.5 to find \(\Xi \) and V, such that, in particular, (3.20) holds true. Let
Then v satisfies all the properties listed in Proposition 3.3. In particular it follows from (3.20), (3.30), (3.32) and (3.34) that (3.4) holds true, with \(v_0=A(0,x,z)\) in \( H^{p+2}({{\mathcal {O}}};C_0^{\infty }(\overline{{\mathbb {R}}_+}))\). In particular, if f and g are both supported away from \(t=0\) as a function of time t, the so do A, V and v, and \(v_0=0\). \(\square \)
4 Proof of Theorem 2.12
let us first introduce a Lemma which handles multiplication in space \(C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}};H^s_q({\mathbb {R}}_+)))\).
Lemma 4.1
Let \(\gamma >0, k,p,s,q \) in \( {\mathbb {N}}_+\) with \(p\ge 4\) and \(s\ge 2.\) Let U in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) and \(V,{\tilde{V}}\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({\mathcal {O}};H^s_q({\mathbb {R}}_+)))\) be scalar functions, then, one has
Proof
By Definition 3.2 and Sobolev imbedding, for \(0\le j\le k,0\le |\alpha |\le p-2\) and \(0\le \beta \le s-1\),
Note that when \(p\ge 4\) and \(s\ge 2,\)
Then we can easily check (4.1) by definition. \(\square \)
4.1 Construction of profiles
Recall that \(u^0\) is given by Lemma 2.9 which is smooth, curl-free and compactly supported in (0, T) as a function of time t. Now we construct an approximate solution of form (2.27). Plug (2.27) into (2.28), and we can find the equation for \(u^i\) and \(v^i\). For the equation of \(v^i\), profiles \(v^j,u^j\) with \(j<i\) will play roles as source terms. We use Proposition 3.3 to find profile \(v^j\). But there will be some regularity loss. Thanks to Lemma 3.4, we need more regularity of the source term to gain decay of the solution.
Let \(\gamma >1, k,p,s,q\) in \({\mathbb {N}}_+\) and set \(n:=[\frac{q}{2}+\gamma ]\). We define the mapping \(\mathfrak {\Gamma }\) by setting \(\mathfrak {\Gamma }(\gamma ,k,p,s,q) :=({\tilde{\gamma }},\tilde{k},{{\tilde{p}}},{{\tilde{s}}},{{\tilde{q}}})\), where \({\tilde{\gamma }},\tilde{k},{{\tilde{p}}},{{\tilde{s}}},{{\tilde{q}}}\) are given by (3.6) and (3.7).
From now on, we fix \(\gamma >1, k,p,s,q\) in \( {\mathbb {N}}_+\) with \(k\ge 2,p\ge 8, s,q \ge 4,\) we denote
We observe that, for \(0\le i\le 3\),
Let
Recall that \({\tilde{S}}:{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\) is a continuous function satisfying \({\tilde{S}}(0)=0\) and \({\tilde{S}}(\delta )\ge \delta \) for any \(\delta >0,\) we can choose and fix a small \(\delta >0\) such that \(\delta _4<\delta _0,\) where \(\delta _0\) is defined in Sect. 2.2.
We assume that the initial data \(u_*\) satisfies
\(\bullet \) \({\underline{\hbox {Main}\,\, \hbox {velocity}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
Let \(\chi _2 \) a cut-off function such that \(\chi _2(x)=1\) when x in \( {\mathcal {V}}_{\delta /2}\), and \(\chi _2(x)=0\) when x in \( {{\mathcal {O}}}\backslash {\mathcal {V}}_{\delta }.\) Set
Then \(g^1\) is in \(C^{\infty }({\mathbb {R}}_+\times {\overline{{{\mathcal {O}}}}})\), is supported in \({\mathcal {V}}_{\delta }\) as a function of x, is compactly supported in (0, T) as a function of time, and \(g^1\cdot {\mathbf {n}}=0\). By Proposition 3.3, there exist \(\xi ^1\) in \( C^{k_1-1}({\mathbb {R}}_+;H^{p_1}({{\mathcal {O}}};{\mathcal {S}}(\mathbb {R_+}))\) and \(v^1\) in \( C^{k_1}_{\gamma _1}({\mathbb {R}}_+;H^{p_1}({\mathcal {O}};(H^{s_1}_{q_1}({\mathbb {R}}_+)))\) such that
Moreover, \(\xi ^1\) is supported in \((\overline{{\mathcal {O}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{\delta _1}\) as a function of x and is compactly supported in (0, T) as a function of time t, and \(v^1\) is supported in \({\mathcal {V}}_{\delta _1}\) as a function of x and is supported away from \(t=0\) as a function of time t, and \(\xi ^1\cdot {\mathbf {n}}=v^1\cdot {\mathbf {n}}=0,\) for any \(t\ge 0\), x in \( {{\mathcal {O}}}\) and \(z\ge 0.\)
\(\bullet \) \({\underline{\hbox {Main}\,\, \hbox {pressure}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
We set
Then \(\pi ^2\) is in \( C^{k_1}_{\gamma _1}({\mathbb {R}}_+;H^{p_1}({\mathcal {O}};H^{s_1}_{q_1-2}({\mathbb {R}}_+)))\) and
Moreover, \(\pi ^2\) is supported in \({\mathcal {V}}_{\delta _1}\) as a function of x, and is supported away from \(t=0\) as a function of time t.
\(\bullet \) \({\underline{\hbox {Main}\,\, \hbox {normal}\,\, \hbox {velocity}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
We set
Then \(\partial _z w^2=\mathrm {div} \,v^1\) and \(w^2\) is \( C^{k_1}_{\gamma _1}({\mathbb {R}}_+;H^{p_1-1}({\mathcal {O}};H^{s_1}_{q_1-2}({\mathbb {R}}_+)))\) is supported in \({\mathcal {V}}_{\delta _1}\) as a function of x and its t support is away from \(t=0\). Similar to the proof in Sect. 6.1 of [35], we find that
\(\bullet \) \({\underline{\hbox {Main}\,\, \hbox {backflow}\,\,\hbox {velocity}}}\)
Let \(\phi ^2\) be a solution of the following Neumann problem:
Thanks to (4.7), there exists a unique solution \(\phi ^2\) in \( C^{k_1}_{\gamma _1}({\mathbb {R}}_+;H^{p_1}({\mathcal {O}}))\) up to a constant and \(\phi ^2\) is supported away from \(t=0\) as a function of time t.
\(\bullet \) \({\underline{\hbox {Linearized}\,\, \hbox {Euler}\,\, \hbox {flow}}}\)
It follows from Lemma 2.9 that \(\Delta u^0\) is supported in \({\overline{{{\mathcal {O}}}}}\backslash \Omega \) and is smooth. Thus, by Lemma 2.10 and (4.2), there are \(\nu ^2\) in \( C^{k_1}({\mathbb {R}}_+;H^{p_1-2}({{\mathcal {O}}}))\), supported in \({\overline{{{\mathcal {O}}}}}\setminus {\overline{\Omega }}\) as a function of x, \(u^2 \) in \( C^{k_1}({\mathbb {R}}_+;H^{p_1-1}({{\mathcal {O}}})) \) and \(p^2\) in \( C_{\gamma _1}^{k_1-1}({\mathbb {R}}_+;H^{p_1-1}({{\mathcal {O}}}))\) such that
Moreover, \(\nu ^2,u^2\) and \(p^2\) are supported in [0, T] as functions of time t.
\(\bullet \) \({\underline{\hbox {Subprincipal}\,\, \hbox {tangential}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
Let
By Lemma 4.1, we find that \(f^2\) is in \( C^{k_1}_{\gamma _1}({\mathbb {R}}_+;H^{p_1-1}({\mathcal {O}};H^{s_1-1}_{q_1-2}({\mathbb {R}}_+)))\) and \(g^2\) is in \( C^{k_1}_{\gamma _1}({\mathbb {R}}_+;H^{p_1-1}({{\mathcal {O}}}))\) satisfy the conditions of Proposition 3.3, that is, \(f^2\) and \(g^2\) are supported in \({\mathcal {V}}_{\delta _1}\) as functions of x and are supported away from \(t=0\) as functions of time t, and satisfy \(f^2(t,x,z)\cdot {\mathbf {n}}(x)=g^2(t,x)\cdot {\mathbf {n}}(x)=0\) for any \(t\ge 0,x\) in \( {\mathcal {O}} \) and \(z\ge 0.\) Therefore there exist \(\xi ^2\) in \( C^{k_2-1}_{\gamma _2}({\mathbb {R}}_+;H^{p_2}({{\mathcal {O}}};{\mathcal {S}}({\mathbb {R}}_+)))\) and a solution \(v^2\) in \( C^{k_2}_{\gamma _2}({\mathbb {R}}_+;H^{p_2}({\mathcal {O}};H^{s_2}_{q_2}({\mathbb {R}}_+)) )\) to
Furthermore, \(\xi ^2\) is supported in \((\overline{{\mathcal {O}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{\delta _2}\) as a function of x and is compactly supported in (0, T) as a function of time t, and \(v^2\) is supported in \({\mathcal {V}}_{\delta _2}\) as a function of x and is supported away from \(t=0\) as a function of time t, and \(\xi ^2\cdot {\mathbf {n}}=v^2\cdot {\mathbf {n}}=0\).
\(\bullet \) \({\underline{\hbox {Subprincipal}\,\, \hbox {pressure}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
We set
Then it follows from Lemma 4.1 that \(\pi ^3\) is in \( C^{k_2}_{\gamma _2}({\mathbb {R}}_+;H^{p_2}({\mathcal {O}};H^{s_2}_{q_2-2}({\mathbb {R}}_+))\) and
Moreover, \(\pi ^3 \) is supported in \({\mathcal {V}}_{\delta _2}\) as a function of x and is supported away from \(t=0\) as a function of time t.
\(\bullet \) \({\underline{\hbox {Subprincipal}\,\, \hbox {normal}\,\, \hbox {velocity}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
Let
Then \(\partial _z w^3=\mathrm {div} \,(v^2+w^2{\mathbf {n}})\) and \(w^3\) is in \( C^{k_2}_{\gamma _2}({\mathbb {R}}_+;H^{p_2-1}({\mathcal {O}};H^{s_2}_{q_2-2}({\mathbb {R}}_+))\) is supported in \({\mathcal {V}}_{\delta _2}\) as a function of x and is supported away from \(t=0\) as a function of time t, furthermore
\(\bullet \) \({\underline{\hbox {Lower}\,\, \hbox {order}\,\, \hbox {backflow}\,\, \hbox {velocity}}}\)
Let \(\phi ^3\) be a solution of the following Neumann problem:
Thanks to (4.15), there exists a unique solution \(\phi ^3\) in \( C^{k_2}_{\gamma _2}({\mathbb {R}}_+;H^{p_2}({\mathcal {O}}))\) up to a constant and \(\phi ^3\) is supported away from \(t=0\) as a function of time t.
\(\bullet \) \({\underline{\hbox {Lower}\,\, \hbox {order}\,\, \hbox {interior}\,\, \hbox {flow}}}\)
We take
\(\bullet \) \({\underline{\hbox {Lower}\,\, \hbox {order}\,\, \hbox {tangential}\,\, \hbox {velocity}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
Let
and
Thanks to Lemma 4.1, \(f^3\) in \( C^{k_2}_{\gamma _2}({\mathbb {R}}_+;H^{p_2-1}({\mathcal {O}};,H^{s_2-1}_{q_2-2}({\mathbb {R}}_+))\) and \(g^3\) in \( C^{k_2}_{\gamma _2} ({\mathbb {R}}_+;H^{p_2-1}({{\mathcal {O}}}))\) and satisfy \(f^3(t,x,z)\cdot {\mathbf {n}}(x)=g^3(t,x)\cdot {\mathbf {n}}(x)=0\) for any \(t\ge 0\), x in \( {\mathcal {O}} \) and \(z\ge 0.\) Moreover \(f^3\) and \(g^3\) are supported in \({\mathcal {V}}_{\delta _2}\) as functions of x. Then, by using Proposition 3.3, there exist \(\xi ^3\) in \( C^{k_3-1}_{\gamma _3}({\mathbb {R}}_+;H^{p_3}({{\mathcal {O}}};{\mathcal {S}}({\mathbb {R}}_+)))\), \( v^3\) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3}({\mathcal {O}};H^{s_3}_{q_3}({\mathbb {R}}_+))\) and \(v^3_0\) in \( H^{p_3+2}({{\mathcal {O}}};C_0^{\infty }(\overline{{\mathbb {R}}_+}))\) such that
Moreover, \(\xi ^3\) is supported in \((\overline{{\mathcal {O}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{\delta _3}\) as a function of x, \(v^3\) is supported in \({\mathcal {V}}_{\delta _3}\) as a function of x and \(\xi ^3\cdot {\mathbf {n}}=v^3\cdot {\mathbf {n}}=0\).
\(\bullet \) \({\underline{\hbox {A}\,\, \hbox {lower}\,\, \hbox {order}\,\, \hbox {pressure}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
We set
Hence \(\partial _z\pi ^4\) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3}({\mathcal {O}};H^{s_3}_{q_3-2}({\mathbb {R}}_+))\) and
Furthermore, \(\pi ^4 \) is supported in \({\mathcal {V}}_{\delta _3}\) as a function of x.
\(\bullet \) \({\underline{\hbox {A}\,\, \hbox {lower}\,\, \hbox {order}\,\, \hbox {normal}\,\, \hbox {velocity}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
Set
Then \(\partial _z w^4=\mathrm {div} \,(v^3+w^3{\mathbf {n}})\) and \(w^4\) belongs to \(C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3-1}({\mathcal {O}};H^{s_3}_{q_3-2}({\mathbb {R}}_+))\) and is supported in \({\mathcal {V}}_{\delta _3}\) as a function of x, with \(w^4|_{t=0}=w_0^4\) in \( H^{p_3+1}({{\mathcal {O}}};C_0^{\infty }(\overline{{\mathbb {R}}_+}))\). Moreover \(w^4\) satisfies
\(\bullet \) \({\underline{\hbox {A}\,\, \hbox {lower}\,\, \hbox {order}\,\, \hbox {backflow}\,\, \hbox {velocity}}}\)
Let \(\phi ^4\) be a solution of the following Neumann problem:
Thanks to (4.24), there exists a unique solution \(\phi ^4\) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3}({\mathcal {O}}))\) up to a constant, with \(\phi ^4|_{t=0}=\phi ^4_0\) in \( H^{p_3+2}({{\mathcal {O}}})\).
\(\bullet \) \({\underline{\hbox {A}\,\, \hbox {lower}\,\, \hbox {order}\,\, \hbox {interior}\,\, \hbox {flow}}}\)
Let
and obeserve that \(\text {curl}\,l^4\) is supported in [0, T] as a function of time. By Lemma 2.10, there are \(\nu ^4\) in \( C^{k_3}({\mathbb {R}}_+;H^{p_3-2}({{\mathcal {O}}}))\), supported in \({\overline{{{\mathcal {O}}}}}\setminus {\overline{\Omega }}\) as a function of x, \({u}^4 \) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3-1}({{\mathcal {O}}}))\) and \(p^4\) in \( C_{\gamma _3}^{k_3-1}({\mathbb {R}}_+; H^{p_3-1}({{\mathcal {O}}}))\) such that
Moreover, \(\xi ^4,u^4\) and \(p^4\) are supported in [0, T] as functions of time t.
\(\bullet \) \({\underline{\hbox {a}\,\, \hbox {lower}\,\, \hbox {order}\,\, \hbox {tangential}\,\, \hbox {velocity}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
Set
and
Thanks to Lemma 4.1, one can check that \(f^4\) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3-1}({\mathcal {O}};H^{s_3-1}_{q_3-2}({\mathbb {R}}_+))\) and \(g^4\) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3-1}({{\mathcal {O}}}))\) and satisfy \(f^4(t,x,z)\cdot {\mathbf {n}}(x)=g^4(t,x)\cdot {\mathbf {n}}(x)=0\) for any \(t\ge 0,x\) in \( {\mathcal {O}} \) and \(z\ge 0.\) Moreover \(f^4\) and \(g^4\) are supported in \({\mathcal {V}}_{\delta _3}\) as functions of x. Then by using Proposition 3.3, there exist \(\xi ^4\) in \( C^{k_4-1}_{\gamma _4}({\mathbb {R}}_+;H^{p_4}({{\mathcal {O}}};{\mathcal {S}}({\mathbb {R}}_+)))\), \( v^4 \) in \( C^{k_4}_{\gamma _4}({\mathbb {R}}_+;H^{p_4}({\mathcal {O}};H^{s_4}_{q_4}({\mathbb {R}}_+))\) and \(v^4_0\) in \( H^{p_4+2}({{\mathcal {O}}};C_0^{\infty }(\overline{{\mathbb {R}}_+}))\) such that
Moreover \(\xi ^4\) is supported in \((\overline{{\mathcal {O}}}\backslash {\overline{\Omega }})\cap {\mathcal {V}}_{\delta _4}\) as a function of x and is compactly supported in (0, T) as a function of time t, and \(v^4\) is supported in \({\mathcal {V}}_{\delta _4}\) as a function of x and \(\xi ^4\cdot {\mathbf {n}}=v^4\cdot {\mathbf {n}}=0\).
\(\bullet \) \({\underline{\hbox {A}\,\, \hbox {last}\,\, \hbox {pressure}\,\, \hbox {boundary}\,\, \hbox {layer}}}\)
We set
Then \(\pi ^5\) in \( C^{k_4}_{\gamma _4}({\mathbb {R}}_+;H^{p_4}({\mathcal {O}};H^{s_4}_{q_4-2}({\mathbb {R}}_+))\) and
Moreover, \(\pi ^5 \) is supported in \({\mathcal {V}}_{\delta _4}\) as a function of x.
In summary, we have now constructed
Moreover, \(u^j,p^j,\nu ^j\) and \(\xi ^j\) are supported in [0, T] as functions of time t, \(\nu ^j\) and \(\xi ^j\) are supported in \({\overline{{{\mathcal {O}}}}}\backslash {\overline{\Omega }}\) as functions of x, \(v^{j},w^{j+1},\pi ^{j+1}\) are supported in \({\mathcal {V}}_{\delta _{j}}\) as functions of x and \(v^j\cdot {\mathbf {n}}=\xi ^j\cdot {\mathbf {n}}=0.\) Furthermore, \(v^1,v^2,\phi ^2,\phi ^3,w^2\) and \(w^3\) are supported away from \(t=0\) as a function of time t.
4.2 Construction of the family of approximate solutions
Let us start with a notation: for a profile f(t, x, z), we define
We define the approximate solutions via
4.3 Consistency estimates of the approximate solutions
Below we use a slight abuse of notations by denoting, for an integer m, by \(Z^{m}\) any iterated tangential derivatives \(Z^{\alpha }\) where \(\alpha =(\alpha _0,\cdots ,\alpha _5)\) is in \( {\mathbb {N}}^5\) with \(|\alpha |=m\), where we recall that the notation \(Z^{\alpha }\) is defined in (2.29) of Sect. 2.8.
Lemma 4.2
Let \(\gamma >0, k,p,s,q \) in \( {\mathbb {N}}\) with \(p\ge 3\) and \(s\ge 1.\) Let the profile V in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({\mathcal {O}};\) \(H^s_q({\mathbb {R}}_+)))\) and is supported in \({\mathcal {V}}_{\delta _0}.\) Then one has
-
(1)
for \(0\le j\le k\), \(p_1+p_2\le p-1\) and \(p_2\le s\),
$$\begin{aligned} \Vert \partial _t^jZ^{p_1}(\sqrt{\varepsilon }\partial _{{\mathbf {n}}})^{p_2}\{V\}_{\varepsilon }\Vert _{L^2({{\mathcal {O}}})}\lesssim \varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }, \end{aligned}$$(4.36) -
(2)
for \(0\le j\le k\), \(p_1+p_2\le p-2\) and \(p_2\le s-1,\)
$$\begin{aligned} \Vert \partial _t^jZ^{p_1}(\sqrt{\varepsilon }\partial _{{\mathbf {n}}})^{p_2}\{V\}_{\varepsilon }\Vert _{L^{\infty }({{\mathcal {O}}})}\lesssim \langle t\rangle ^{-\gamma }, \end{aligned}$$(4.37) -
(3)
for \( m\le p-1,\)
$$\begin{aligned} \Vert \{V\}_{\varepsilon }\Vert _{H^m(\partial {{\mathcal {O}}})}\lesssim \langle t\rangle ^{-\gamma }. \end{aligned}$$(4.38)
Proof
We first observe that
We can take the normal derivatives \(p_2\) times, take the tangential derivatives \(p_1\) times and take the time derivatives j times and use [25, Lemma 3] to get (4.36). For (4.37), we use Sobolev imbedding \(H^1({\mathbb {R}}_+)\hookrightarrow L^{\infty }({\mathbb {R}}_+)\) for variable z and \(H^2({{\mathcal {O}}})\hookrightarrow L^{\infty }({{\mathcal {O}}}) \) for variable x. For (4.38), we use the trace theorem to get \(H^{m+1}({{\mathcal {O}}})\hookrightarrow H^m(\partial {{\mathcal {O}}}).\) \(\square \)
Let us now turn to the justification of the consistence of the approximate solutions constructed in (4.33-4.35) with the system (2.28a-2.28e).
\(\bullet \) \({\underline{\hbox {Consistency}\,\,\hbox {of}\,\, \hbox {(2.28a)}.\,\, \hbox {Definition}\,\, \hbox {and}\,\, \hbox {estimate}\,\, \hbox {of}\,\, F.}}\)
By (4.33)-(4.35), (2.8a), (2.25), (4.4)-(4.6), (4.9), (4.10), (4.12), (4.13), (4.14), (4.17)-(4.19), (4.21), (4.22), (4.23), (4.26)-(4.29), (4.31) and (4.32), we find that \(u^{\varepsilon }_a\) satisfies (2.28b) with
By the constructions of \(u^i,\phi ^i,v^i,w^i\) and the definition of \(\gamma _i,k_i,p_i,s_i,q_i,\) we have \(u^i+\nabla \phi ^i\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) and \(v^i+w^i{\mathbf {n}}\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}};H^s_q({\mathbb {R}}_+))).\) Then (2.35) and (2.36) for the part of F is a direct consequence of Lemma 4.1 and Lemma 4.2.
\(\bullet \) \({\underline{\hbox {Consistency}\,\, \hbox {of}\,\, \hbox {(2.28b)}.\,\, \hbox {Definition}\,\, \hbox {and}\,\, \hbox {estimate}\,\, \hbox {of}\,\, H.}}\)
By (2.8b), (4.8), (4.9), (4.14), (4.16), (4.17), (4.23), (4.25) and (4.27), we find that \(u^{\varepsilon }_a\) satisfies (2.28b) with
By construction \(\mathrm {div} \,( v^4+w^4{\mathbf {n}})\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^{p-1}({{\mathcal {O}}};H^s_q({\mathbb {R}}_+)))\), so Lemma 4.2 immediately leads to the estimates, (2.35), (2.36) and (2.37) for the part of H.
\(\bullet \) \({\underline{\hbox {Consistency}\,\, \hbox {of}\,\, \hbox {(2.28d)}.\,\, \hbox {Definition}\,\, \hbox {and}\,\, \hbox {estimate}\,\, \hbox {of}\,\, G.}}\)
By (4.3), (4.4), (4.11), (4.12), (4.20), (4.21), (4.30 ) and (4.31), \(u^{\varepsilon }_a\) satisfies (2.28d) with
By construction, \(u^4+\nabla \phi ^4\) in \( C^{k_3}_{\gamma _3}({\mathbb {R}}_+;H^{p_3-1}({{\mathcal {O}}}))\) and \(v^4+w^4{\mathbf {n}}\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p ({{\mathcal {O}}};H^s_q({\mathbb {R}}_+)))\). By definition of \(\gamma _i,k_i,p_i,s_i,q_i,\) we find that G in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^{p-1}({{\mathcal {O}}}))\), which is exactly (2.37) for the part of G.
\(\bullet \) \({\underline{\hbox {Consistency}\,\, \hbox {of}\,\, \hbox {(2.28c)}\,\, \hbox {and}\,\, \hbox {(2.28e)}.\,\, \hbox {Definition}\,\, \hbox {and}\,\, \hbox {estimate}\,\, \hbox {of}\,\, R_{0}.}}\)
By (2.8c), (2.8d), (4.4), (4.6), (4.8), (4.9), (4.12), (4.14), (4.16), (4.17), (4.21), (4.23), (4.25), (4.27) and (4.31), (2.28c) and (2.28e) are satisfied with
and (2.38)) is a direct consequences of Lemma 4.2.
4.4 Verification of (2.39)–(2.41)
Let us verify (2.39) and (2.40) first. Since \(u^0\) is smooth and has compact support in t,
By construction, \(v^j\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}};H^s_q({\mathbb {R}}_+))),1\le j\le 4.\) Then it follows from (4.37) of Lemma 4.2 that, for \(1\le j\le 4,m\le p-3\),
The same inequality holds for \(w^j{\mathbf {n}}\) with \(2\le j\le 4,\) since they also belong to the space \(C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}};H^s_q({\mathbb {R}}_+))).\) For \(u^j,\) \(2\le j\le 4\), it belongs to \(C^k({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) and is supported in [0, T]. Hence Sobolev imbedding Theorem ensures that, for \(2\le j\le 4,m\le p-3,\)
For \(\nabla \phi ^j,\) \(2\le j\le 4\), it belongs to \(C^k_{\gamma }({\mathbb {R}}_+;H^{p}({{\mathcal {O}}}))\). Then it follows form Sobolev imbedding Theorem that, for \(2\le j\le 4,m\le p-3,\)
Combine (4.43)-(4.46), we have verified (2.39) and (2.40).
Let us move on to (2.41). Since \(u^0\) is smooth and \(u^j\) in \( C^{k}({\mathbb {R}}_+;H^p({{\mathcal {O}}}))\) for \(2\le j\le 4\), and they both supported in [0, T], one has
For \(\nabla \phi ^j \) in \( C^k_{\gamma }({\mathbb {R}}_+;H^{p}({{\mathcal {O}}})),\) \(2\le j\le 4,\)
For \(v^j\) in \( C^{k}_{\gamma }({\mathbb {R}}_+;H^p({{\mathcal {O}}};H^s_q({\mathbb {R}}_+))),\) \(1\le j\le 4\), it follows from Lemma 4.2 that
The same estimates holds for \(w^j{\mathbf {n}}.\) By gathering the above estimates, we find that
As a result, it comes out
Since \(\gamma >1\), (2.41) holds true.
5 Estimates of the Remainder R
The goal of this section is to establish the a priori estimate (2.43) for the remainder term R defined by (2.42). We also introduce the remainder pressure term \( \pi \) such that \(p^{\varepsilon } = p^{\varepsilon }_a +\varepsilon ^2 \pi \). Then in view of (2.4), (2.28) and (2.42), we write
These equations are satisfied up to the time \(T^\varepsilon \) introduced in Sect. 2.9. At the end of this section, once the a priori estimate (2.43) in hands, we will deduce that \(T^\varepsilon \ge \frac{T}{\varepsilon }\).
We will start with a \(L^2\) estimate in Sect. 5.1, then we will turn to tangential derivatives estimates in Subsection 5.2. We will also need to handle the estimate of one normal derivative, and for that, we introduce an appropriate substitute to the vorticity, see (5.37), which is in the spirit of [30]. We will see in Sect. 5.3 that this quantity, as the vorticity, allows us to estimate one normal derivative. The advantage of this quantity over the vorticity is that its time evolution is easier to be investigated; this will be done in Sect. 5.4. The estimate of the terms involving the pressure are quite difficult and are therefore postponed to Sect. 5.5. An estimate of \(\Vert R\Vert _{1,\infty }\) will be obtained in Sect. 5.6. The end of the proof of (2.43) will be given in Sect. 2.9.
5.1 \(L^2\) Estimates
From now on, we simplify \(\Vert \cdot \Vert _{L^2({{\mathcal {O}}})}\) as \(\Vert \cdot \Vert \).
Proposition 5.1
There exist a constant \(C>0\), such that the remainder R satisfies
Proof
Let \({\mathbb {P}}\) the Leray projection operator to the divergence free vector field, we decompose R into \(R={\mathbb {P}}R+\nabla \phi .\) Hence \(\phi \) satisfies \(\Delta \phi =\mathrm {div} \,R=-H\) in \({{\mathcal {O}}}\) and \(\partial _{\mathbf {n}}\phi =R\cdot {\mathbf {n}}=0\) on \(\partial {{\mathcal {O}}}\). By elliptic regularity and (2.35), one has
Next we estimate \({\mathbb {P}}R\). Indeed by taking \(L^2\) inner product of (5.1a) with \({\mathbb {P}}R,\) we find
Let us now estimate each term of (5.4), from the right to the left.
-
Since F satisfies (2.35), we have
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}} F\cdot {\mathbb {P}}R \vert \lesssim \Vert F\Vert \Vert {\mathbb {P}}R\Vert \lesssim \varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }\bigl (\Vert {\mathbb {P}}R\Vert ^2+1\bigr ). \end{aligned}$$(5.5) -
On the other hand, in view of (5.1b), we get, by an integration by parts, that
$$\begin{aligned} \int _{{{\mathcal {O}}}}\nabla \pi \cdot {\mathbb {P}}R=0. \end{aligned}$$ -
Let us now move to the term before in (5.4). We first deduce from (5.3) that
$$\begin{aligned} \Vert R\Vert \lesssim \Vert {\mathbb {P}}R\Vert +\varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma } , \end{aligned}$$(5.6)which, together with (2.39), ensures that
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}(R\cdot \nabla u^{\varepsilon }_a)\cdot {\mathbb {P}}R \vert \lesssim \Vert \nabla u^{\varepsilon }_a\Vert _{L^{\infty }({{\mathcal {O}}})}\Vert R\Vert \Vert {\mathbb {P}}R\Vert \lesssim \langle t\rangle ^{-\gamma }\bigl (\Vert {\mathbb {P}}R\Vert ^2+\varepsilon ^{\frac{1}{2}}\langle t\rangle ^{-2\gamma }\bigr ).\nonumber \\ \end{aligned}$$(5.7) -
To deal with the third term in (5.4), we start with using again the Helmholtz-Leray decomposition to deduce that
$$\begin{aligned} \int _{{{\mathcal {O}}}}(u^{\varepsilon }\cdot \nabla R)\cdot {\mathbb {P}}R=\int _{{{\mathcal {O}}}}(u^{\varepsilon }\cdot \nabla {\mathbb {P}}R)\cdot {\mathbb {P}}R+\int _{{{\mathcal {O}}}}(u^{\varepsilon }\cdot \nabla (I- {\mathbb {P}})R)\cdot {\mathbb {P}}R .\nonumber \\ \end{aligned}$$(5.8)Thanks to (2.4b), (2.4c), and \(\sigma ^0 \) is supported on [0, T], we get, by using integration by parts, that
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}(u^{\varepsilon }\cdot \nabla {\mathbb {P}}R)\cdot {\mathbb {P}}R \vert \lesssim \langle t\rangle ^{-\gamma } \Vert {\mathbb {P}}R\Vert ^2. \end{aligned}$$(5.9)Moreover, to deal with the last term in (5.8), we first use the decomposition (2.42) to obtain
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}(u^{\varepsilon }\cdot \nabla (I- {\mathbb {P}})R)\cdot {\mathbb {P}}R \vert \lesssim \Vert \nabla (I-{\mathbb {P}})R\Vert (\Vert u^{\varepsilon }_a\Vert _{L^{\infty }}\Vert {\mathbb {P}}R\Vert +\varepsilon ^2\Vert R\Vert _{L^4}^2) . \end{aligned}$$Observing from Korn’s inequality and (5.6) that
$$\begin{aligned} \Vert R\Vert _{H^1} \lesssim \Vert D(R)\Vert +\Vert {\mathbb {P}}R\Vert +\varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }. \end{aligned}$$(5.10)Then recalling that \(\Vert R\Vert _{L^4}\lesssim \Vert R\Vert ^{\frac{1}{4}}\Vert \nabla R\Vert ^{\frac{3}{4}},\) and using again (5.6), we find
$$\begin{aligned} \Vert R\Vert _{L^4}^2\lesssim & {} (\Vert {\mathbb {P}}R\Vert +\varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma })^{\frac{1}{2}} (\Vert D(R)\Vert +\Vert {\mathbb {P}}R\Vert +\varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma })^{\frac{3}{2}}\\\lesssim & {} \lambda \Vert D(R)\Vert ^2+C_{\lambda }(\Vert {\mathbb {P}}R\Vert ^2+\varepsilon ^{\frac{1}{2}}\langle t\rangle ^{-2\gamma }), \end{aligned}$$for a small constant \(\lambda >0\), where in the last step, we used Young’s inequality. As a consequence, we deduce from (5.3) and (2.39) that
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}} (u^{\varepsilon }\cdot \nabla (I- {\mathbb {P}})R)\cdot {\mathbb {P}}R \vert\lesssim & {} \varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }(\langle t\rangle ^{-\gamma }\Vert {\mathbb {P}}R\Vert \nonumber \\&+\varepsilon ^2\lambda \Vert D(R)\Vert ^2+\varepsilon ^2C_{\lambda }(\Vert {\mathbb {P}}R\Vert ^2+\varepsilon ^{\frac{1}{2}}\langle t\rangle ^{-2\gamma }))\nonumber \\\lesssim & {} \varepsilon ^2\lambda \Vert D(R)\Vert ^2+C_{\lambda }\varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }(\Vert {\mathbb {P}}R\Vert ^2+1). \end{aligned}$$(5.11) -
For the second term of the energy equality, (5.4), we start with the following integration by parts:
$$\begin{aligned} -\int _{{{\mathcal {O}}}}\Delta R\cdot {\mathbb {P}}R=2\int _{{{\mathcal {O}}}}D(R)\cdot D({\mathbb {P}}R)+2\int _{\partial {{\mathcal {O}}}}(D(R)\cdot {\mathbf {n}})_{\text{ tan }}\cdot {\mathbb {P}}R . \end{aligned}$$Then, on the one hand, it follows from (5.3) that
$$\begin{aligned} \begin{aligned} 2\int _{{{\mathcal {O}}}}D(R)\cdot D({\mathbb {P}}R)=&2\Vert D(R)\Vert ^2-2\int _{{{\mathcal {O}}}}D(R)\cdot D((I-{\mathbb {P}})R)\\ \ge&\Vert D(R)\Vert ^2-C\Vert D((I-{\mathbb {P}})R)\Vert ^2\\ \ge&\Vert D(R)\Vert ^2-C\varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }, \end{aligned} \end{aligned}$$(5.12)and, on the other hand, by using boundary condition \({\mathcal {N}}(R)=G\) on \(\partial {{\mathcal {O}}}\), one has
$$\begin{aligned} \int _{\partial {{\mathcal {O}}}}(D(R)\cdot {\mathbf {n}})_{\text{ tan }}\cdot {\mathbb {P}}R= & {} \int _{\partial {{\mathcal {O}}}}\bigl (G-(MR)_{\text{ tan }}\bigr )\cdot {\mathbb {P}}R\\= & {} \int _{{{\mathcal {O}}}}\mathrm {div} \,\left( n(G-(MR)_{\text{ tan }})\cdot {\mathbb {P}}R\right) , \end{aligned}$$so that thanks to (5.6), (5.10) and (2.37), for \(\lambda >0,\) we get, by applying Young’s inequality, that
$$\begin{aligned} \vert \int _{\partial {{\mathcal {O}}}}(D(R)\cdot {\mathbf {n}})_{\text{ tan }}\cdot {\mathbb {P}}R \vert\lesssim & {} \lambda \Vert D(R)\Vert ^2+C_{\lambda }(\Vert {\mathbb {P}}R\Vert ^2+\langle t\rangle ^{-2\gamma }) . \end{aligned}$$(5.13)
By inserting the estimates, (5.5), (5.7), (5.9), (5.11) and (5.13), into (5.4), we arrive at
Choosing \(\lambda \) small enough such that \(C\lambda <\frac{1}{2}\) and note that (2.38) implies
then we use Gronwall inequality to find that
Together with (5.3) and (5.10), we thus conclude the proof of (5.2). \(\square \)
5.2 Tangential Derivatives Estimates
We now estimate the tangential derivatives of the remainder. Recall that the tangential derivatives \(Z^{\alpha }\) are defined in (2.29) of Sect. 2.8 and the conormal Sobolev norm \(\Vert \cdot \Vert _m\) is defined in (2.34). Let us start by estimating \(\nabla R\) on the boundary.
Lemma 5.2
Let \(m\ge 1. \) It holds that
Proof
Indeed we only need to estimate \(\Vert \partial _{\mathbf {n}} R\Vert _{H^{m-1}(\partial {{\mathcal {O}}})}\). On the one hand, we deduce from the boundary conditions: \({\mathcal {N}}(R)=-G,\) \(R\cdot {\mathbf {n}}=0\) on \(\partial {{\mathcal {O}}},\) that
from which, with (2.37), we infer
On the other hand, \(\mathrm {div} \,R=-H\) gives us
for some smooth functions \(c_j\), which depends only on vector field \(w^j.\) Thus, by (2.37),
Combining the estimate (5.16) with (5.18), we have proved the part of (5.15) regarding \(\Vert \partial _{\mathbf {n}} R\Vert _{H^{m-1}(\partial {{\mathcal {O}}})}\). The other part of the estimate is straightforward. \(\square \)
Proposition 5.3
Let \(1\le m\le p-3\) be an integer. Then there exists a constant \(C_1>0\) such that for any t in \( [0,T^\varepsilon ]\),
Proof
Let \(1\le \ell \le p-3\) be an integer and \(\alpha \) be a multi-index with \(|\alpha |=\ell \). By applying \(Z^{\alpha }\) to (5.1a), we obtain
Taking \(L^2\) inner product of the above equation with \( Z^{\alpha }R\) gives rise to
In what follows, we shall handle term by term above in (5.20).
-
We start with estimating the second term in (5.20), which relies on the following lemma:
Lemma 5.4
Let \(1\le |\alpha |\le m\). There exist constants \(C_1,C>0\) such that
We postpone its proof to the end of this subsection.
-
For the third term of (5.20), since \(\mathrm {div} \,u^{\varepsilon }=\sigma ^0 \) in \({{\mathcal {O}}},\) \(u^\varepsilon \cdot {\mathbf {n}} = 0\) on \(\partial {{\mathcal {O}}}\), and \(\sigma ^0 \) is supported on [0, T], we get, by using integration by parts, that
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}(u^{\varepsilon }\cdot \nabla Z^{\alpha }R)\cdot Z^{\alpha }R \vert \lesssim \langle t\rangle ^{-\gamma }\Vert R\Vert _m^2. \end{aligned}$$(5.22).
-
By using the Leibniz formula and (2.39), we find
$$\begin{aligned} \begin{aligned} \vert \int _{{{\mathcal {O}}}} Z^{\alpha }(R\cdot \nabla u^{\varepsilon }_a)\cdot Z^{\alpha }R \vert \lesssim&\sum _{\alpha _1+\alpha _2=\alpha }|\int _{{{\mathcal {O}}}}Z^{\alpha _1}R\cdot Z^{\alpha _2}\nabla u^{\varepsilon }_a\cdot Z^{\alpha }R|\\ \lesssim&\langle t\rangle ^{-\gamma }\Vert R\Vert ^2_m . \end{aligned} \end{aligned}$$(5.23) -
(2.35) ensures that
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}Z^{\alpha }F\cdot Z^{\alpha }R \vert \lesssim \varepsilon ^{\frac{1}{4}}\langle t\rangle ^{-\gamma }\bigl (\Vert R\Vert _m^2+1\bigr ). \end{aligned}$$(5.24) -
Thanks to (2.32) and \(Z^\alpha (R\cdot \mathbf{n})=0\) on \(\partial {{\mathcal {O}}},\) we get, by using integration by parts, that
$$\begin{aligned} \begin{aligned} \vert \int _{{{\mathcal {O}}}}\varepsilon [\Delta ,Z^{\alpha }]R\cdot Z^{\alpha }R\vert \lesssim&|\int _{{{\mathcal {O}}}}\sum _{|\beta |,|\gamma |\le m-1}\varepsilon (c_{\beta }\nabla ^2Z^{\beta }R+c_{\gamma }\nabla Z^{\gamma }R)\cdot Z^{\alpha }R|\\ \lesssim&\varepsilon (\Vert \nabla R\Vert _m+\Vert R\Vert _m )\Vert \nabla R\Vert _{m-1}\\&+\varepsilon \Vert \nabla R\Vert _{H^{m-1}(\partial {{\mathcal {O}}})}\Vert R\Vert _{H^{m}(\partial {{\mathcal {O}}})}. \end{aligned} \end{aligned}$$Moreover, due to trace Theorem (see (87) of [30] for instance) that
$$\begin{aligned} \Vert R\Vert _{H^m(\partial {{\mathcal {O}}})}^2 \lesssim \Vert R\Vert _m^2+\Vert R\Vert _m\Vert \nabla R\Vert _m, \end{aligned}$$(5.25)and Lemma 5.2, for any \(\lambda >0,\) we infer
$$\begin{aligned} \begin{aligned} \Vert \nabla R\Vert _{H^{m-1}(\partial {{\mathcal {O}}})}\Vert R\Vert _{H^{m}(\partial {{\mathcal {O}}})} \lesssim&\Vert R\Vert _{H^m(\partial {{\mathcal {O}}})}^2+\langle t\rangle ^{-2\gamma }\\ \lesssim&\Vert R\Vert _m^2+\Vert R\Vert _m\Vert \nabla R\Vert _m+\langle t\rangle ^{-2\gamma }\\ \lesssim&\lambda \Vert \nabla R\Vert _m^2+C_{\lambda }\Vert R\Vert ^2_m+\langle t\rangle ^{-2\gamma }. \end{aligned} \end{aligned}$$(5.26)As a result, it comes out
$$\begin{aligned} \varepsilon \vert \int _{{{\mathcal {O}}}}[\Delta ,Z^{\alpha }]R\cdot Z^{\alpha }R\vert \le \lambda \varepsilon \Vert \nabla R\Vert _m^2+C_{\lambda }\varepsilon (\Vert \nabla R\Vert _{m-1}^2+\Vert R\Vert _m^2+\langle t\rangle ^{-2\gamma }),\nonumber \\ \end{aligned}$$(5.27) -
For the last term, we use the decomposition (2.42) to get
$$\begin{aligned} \begin{aligned} \int _{{{\mathcal {O}}}}[u^{\varepsilon }\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R =&\int _{{{\mathcal {O}}}}[u^0\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R\\&+\int _{{{\mathcal {O}}}} [(u^{\varepsilon }_a-u^0)\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R\\&+ \varepsilon ^2 \int _{{{\mathcal {O}}}}[R\cdot \nabla , Z^{\alpha }]R\cdot Z^{\alpha } R. \end{aligned} \end{aligned}$$We write
$$\begin{aligned} u^0\cdot \nabla =\sum _j c_jZ_j+(u^0\cdot {\mathbf {n}})\partial _{\mathbf {n}}=\sum _j c_jZ_j+u^0_{\flat }Z_0, \end{aligned}$$(5.28)for some smooth functions \(c_j.\) Thanks to (2.33), we can easily show by induction that \([Z_j,Z^{\alpha }],0\le j\le 5,\) is a tangential derivative of order m. Note that \(u^0\) is supported in [0, T], we have
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}[u^0\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R \vert \lesssim \chi _{[0,T]}(t)\Vert R\Vert _{m}^2. \end{aligned}$$(5.29)On the other hand, applying the Leibniz formula yields
$$\begin{aligned}{}[(u^{\varepsilon }_a-u^0)\cdot \nabla ,Z^{\alpha }]R= & {} \sum _{\alpha _1+\alpha _2=\alpha ,\alpha _1\ne 0}c_{\alpha _1} Z^{\alpha _1}(u^{\varepsilon }_a-u^0)Z^{\alpha _2}\nabla R+(u^{\varepsilon }_a-u^0)[\nabla ,Z^{\alpha }]R, \end{aligned}$$for some smooth functions \(c_{\alpha _1}\) depended on the vector field \({\mathfrak {W}}.\) It follows from (2.40) that
$$\begin{aligned} \Vert [(u^{\varepsilon }_a-u^0)\cdot \nabla ,Z^{\alpha }]R\Vert \lesssim \sqrt{\varepsilon }\langle t\rangle ^{-\gamma }\Vert \nabla R\Vert _{m-1}, \end{aligned}$$which implies
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}} [(u^{\varepsilon }_a-u^0)\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R \vert\lesssim & {} \sqrt{\varepsilon }\langle t\rangle ^{-\gamma }\Vert \nabla R\Vert _{m-1}\Vert R\Vert _{m}\nonumber \\\lesssim & {} \varepsilon \Vert \nabla R\Vert _{m-1}^2+\langle t\rangle ^{-2\gamma }\Vert R\Vert _m^2. \end{aligned}$$(5.30)Applying the Leibniz formula once again gives
$$\begin{aligned}{}[R\cdot \nabla , Z^{\alpha }]R=\sum _{\alpha _1+\alpha _2=\alpha ,\alpha _1\ne 0}c_{\alpha _1}Z^{\alpha _1}R\cdot Z^{\alpha _2}\nabla R+R[\nabla ,Z^{\alpha }]R. \end{aligned}$$Yet it follows from generalized Sobolev-Gagliardo-Nirenberg-Morse inequality that
$$\begin{aligned} \Vert [R\cdot \nabla , Z^{\alpha }]R\Vert \lesssim \Vert R\Vert _{1,\infty }\Vert \nabla R\Vert _{m-1}+\Vert \nabla R\Vert _{L^{\infty }}\Vert R\Vert _m, \end{aligned}$$so that we infer
$$\begin{aligned} \vert \int _{{{\mathcal {O}}}}[ R\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R \vert \lesssim \Vert R\Vert _{1,\infty }\Vert \nabla R\Vert _{m-1}\Vert R\Vert _{m}+\Vert \nabla R\Vert _{L^{\infty }}\Vert R\Vert ^2_m.\nonumber \\ \end{aligned}$$(5.31)Combining (5.29), (5.30) with (5.31), we arrive at
$$\begin{aligned} \begin{aligned} \vert \int _{{{\mathcal {O}}}}[u^{\varepsilon }\cdot \nabla ,Z^{\alpha }]R\cdot Z^{\alpha }R \vert \lesssim&\varepsilon \Vert \nabla R\Vert _{m-1}^2+\langle t\rangle ^{-2\gamma }\Vert R\Vert _m^2 \\&+ \varepsilon ^2(\Vert R\Vert _{1,\infty }\Vert \nabla R\Vert _{m-1}\Vert R\Vert _{m}+\Vert \nabla R\Vert _{L^{\infty }}\Vert R\Vert ^2_m ). \end{aligned} \end{aligned}$$(5.32)
By inserting the estimates, (5.21), (5.22), (5.23), (5.24), (5.27) and (5.32), into (5.20), and then by summing up (5.2) with the resulting inequality over all the multi-indices \(\alpha \) with \(1\le |\alpha |\le m\), finally choosing \(\lambda \) to be sufficiently small, we arrive to (5.19). \(\square \)
Let us now present the proof of Lemma 5.4.
Proof of Lemma 5.4
We first get, by using integration by parts, that
It follows from Korn’s inequality that
As \({\mathcal {N}}(R)=G\) on \(\partial {{\mathcal {O}}}\), we have
so that there holds
We are going to estimate each term of the right hand side of (5.35).
On the one hand, by virtue of (2.37) and for any \(\lambda >0,\) we get, by applying Young’s inequality, that
On other hand, we deduce from (5.26) that
By substituting the above inequalities into (5.35), we achieve
By inserting (5.34) and (5.36) into (5.33) and choosing \(\lambda \) to be sufficiently small, we arrive at (5.21). \(\square \)
5.3 An Appropriate Substitute to the Vorticity
We observe that the right hand side of (5.19) involves \(\Vert \nabla R\Vert _{m-1}\) and \( \Vert \sqrt{\varepsilon }\nabla R\Vert _{\infty }\), so that we need to estimate at least one normal derivative of R. We define
where \(\chi \) is a cut-off function defined in Sect. 2. From the definition of \(\eta \), we know that \(\eta =0\) on the boundary \(\partial {{\mathcal {O}}}\). Observe that this property is not satisfied by the vorticity \(\text {curl}\,R\); this is indeed the reason why we would rather use \(\eta \) following [30] than \(\text {curl}\,R\).
Lemma 5.5
Let \(m\ge 1.\) The following equivalences hold true:
Proof
Let us focus on the proof of (5.38). We first deduce from the definitions (1.1) and (5.37), and the estimate of G in (2.37) that
which implies
To prove the other side of the inequality (5.40), we introduce
Then notice that
we have
On the other hand, by definitions of \(\chi \) and of the norm \(\Vert \cdot \Vert _{m}\), one has
And it follows from (5.17) and (2.35) that
As a consequence, we obtain
(5.42) shows that the other side of the inequality (5.40) holds, which leads to (5.38). The equivalence (5.39) can be proved along the same line. \(\square \)
By virtue of (5.38) and (5.39), we can rewrite (5.19) as
5.4 Time Evolution of the Auxiliary Quantity
Let us now estimate the time evolution of \(\Vert \eta (t)\Vert _{m-1}\), which appears in the right hand side of (5.43).
Proposition 5.6
Let \(1\le m\le p-3\). Then there exist a constant \(C_1>0\) such that for any \(t\in [0,T^\varepsilon ]\),
Here the term \(\varepsilon \Vert \nabla \eta \Vert _{m-2}^2\) does not appear on the right-hand side of (5.44) when \(m=1.\)
Proof
In view of (5.1), \(\eta \) satisfies
Applying \(Z^{\beta }\) with \(|\beta |=m-1\) to the above equation yields
Note that \(\eta =0\) on \(\partial {{\mathcal {O}}}\) and \(Z^{\beta }\) is tangential derivative, we have \(Z^{\beta }\eta =0\) on \(\partial {{\mathcal {O}}}\). Then we get, by taking \(L^2\) inner product of the above equation with \(Z^{\beta }\eta ,\) that
where
First, regarding the second term in the left hand side of (5.45), we observe from Korn’s inequality that
Let us now handle term by term in the right-hand side of (5.45).
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{1}.}}\)
Since \(u^\varepsilon \) satisfies (2.4b), (2.4c), and \(\sigma ^{\varepsilon }=\sigma ^{0}\) is supported in [0, T], by using integration by parts, we find
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{2}.}}\)
By virtue of (2.35), we get, by applying the Cauchy-Schwarz inequality, that
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{3}.}}\)
We simply estimate \(I_3\) by the third term on the right-hand side of (5.44). We remark that we do not try to get rid of the pressure at this step. Indeed this delicate issue will be postponed to Sect. 5.5.
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{4}.}}\)
Recalling (5.41) and in view of (1.1), we write
Since M is a smooth matrix-valued function and \(m\le p-3\), we get, by applying Leibniz formula and (2.39), that
which, together with (5.38), ensures that
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{5}.}}\)
We split it into two terms
Thanks to (2.37) and (2.39), \(\chi \) is a smooth function, for \(m\le p-3\), we infer
and
so that we achieve
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_6.}}\)
In view of (5.1b), we decompose \(I_6=I_{61}+I_{62}\) with
On the one hand, thanks to (2.32), we write
where \(c_{\beta _1},c_{\beta _2}\) are smooth functions depend only on vector field \({\mathfrak {W}}\). Due to \(Z^{\beta }\eta =0\) on \(\partial {{\mathcal {O}}},\) by using integration by parts and (2.37), we infer
where \(\lambda >0\) is a small constant.
On the other hand, we write
Corresponding to the second and the forth term above, we use integration by parts in \(I_{62}.\) Then we deduce from (5.38) that
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{7}.}}\)
We write
It follows from (5.28) that \(u^0\cdot \nabla \) is a tangential derivative. So that thanks to the observation (2.33), we find that \([u^0\cdot \nabla ,Z^{\beta }]\) is an operator of linear combination of tangential derivatives of order \(m-1.\) Then due to the fact that \(u^0\) is supported in [0, T], we infer
which together with (5.38) implies
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, I_{8}.}}\)
We first decompose \(I_8\) as
with
Next we deal with all the terms above.
-
Estimate of \(I_{81}\). In view of (2.30), we write
$$\begin{aligned}{}[(u^{\varepsilon }_a-u^0)\cdot \nabla ,Z^{\beta }]\eta =\sum _{\beta _1+\beta _2=\beta ,\beta _1\ne 0}c_{\beta _1}Z^{\beta _1}(u^{\varepsilon }_a-u^0)\cdot Z^{\beta _2}\nabla \eta +(u^{\varepsilon }_a-u^0)\cdot [\nabla ,Z^{\beta }]\eta , \end{aligned}$$where \(c_{\beta _1},c_{\beta _2}\) are smooth functions depend only on vector filed \({\mathfrak {W}}\). Then thanks to (2.40), we infer
$$\begin{aligned} \vert I_{81} \vert \lesssim \sqrt{\varepsilon }\langle t\rangle ^{-\gamma }\Vert \nabla \eta \Vert _{m-2}\Vert \eta \Vert _{m-1}\lesssim \varepsilon \Vert \nabla \eta \Vert _{m-2}^2+\langle t\rangle ^{-2\gamma }\Vert \eta \Vert _{m-1}^2.\nonumber \\ \end{aligned}$$(5.54) -
Estimate of \(I_{82}\). It follows from (2.37) and (2.40) that
$$\begin{aligned} \vert I_{82} \vert \lesssim \sqrt{\varepsilon }\Vert u^{\varepsilon }_a-u^0\Vert _{m-1,\infty }\Vert G\Vert _{H^{m-1}}\Vert \eta \Vert _{m-1}\lesssim \varepsilon ^{\frac{3}{4}}\langle t\rangle ^{-2\gamma }\Vert \eta \Vert _{m-1}.\nonumber \\ \end{aligned}$$(5.55) -
Estimate of \(I_{83}\). In view of (1.1), we write
$$\begin{aligned}{}[(u^{\varepsilon }_a-u^0)\cdot \nabla ,\chi {\mathcal {N}}]R= & {} [(u^{\varepsilon }_a-u^0)\cdot \nabla ,\chi \Pi ]\bigl (D(R)\cdot {\mathbf {n}}+MR\bigr )\\&+\chi \Pi \big ((u^{\varepsilon }_a-u^0)\cdot \nabla (D(R)\cdot {\mathbf {n}})\\&-D((u^{\varepsilon }_a-u^0)\cdot \nabla R)\cdot {\mathbf {n}})+((u^{\varepsilon }_a-u^0)\cdot \nabla M)R\big ). \end{aligned}$$Notice that the second order derivatives of R vanish on the right hand side above, we deduce that
$$\begin{aligned} \vert I_{83} \vert \lesssim \sqrt{\varepsilon }\bigl (\Vert u^{\varepsilon }_a-u^0\Vert _{m-1,\infty }+\Vert \nabla (u^{\varepsilon }_a-u^0)\Vert _{m-1,\infty }\bigr )\Vert \nabla R\Vert _{m-1}\Vert \eta \Vert _{m-1}, \end{aligned}$$which together with (2.40) and (5.38) ensures that
$$\begin{aligned} \vert I_{83} \vert \lesssim \sqrt{\varepsilon }\langle t\rangle ^{-\gamma }\Vert \nabla R\Vert _{m-1}\Vert \eta \Vert _{m-1}\lesssim \langle t\rangle ^{-\gamma }(\Vert \eta \Vert _{m-1}^2+\Vert R\Vert _{m}^2)+\varepsilon \langle t\rangle ^{-3\gamma }.\nonumber \\ \end{aligned}$$(5.56) -
Estimate of \(I_{84}\). In view of (2.30), we write
$$\begin{aligned} I_{84}=\varepsilon ^2\int _{{{\mathcal {O}}}}\Bigl (\sum _{\beta _1+\beta _2=\beta ,\beta _1\ne 0}c_{\beta _1}Z^{\beta _1}R\cdot Z^{\beta _2}\nabla \eta +R\cdot [\nabla ,Z^{\beta }]\eta \Bigr )\cdot Z^{\beta }\eta . \end{aligned}$$We remark that if we use directly use the generalized Sobolev-Gagliardo-Nirenberg-Morse inequality above, there appears the term, \(\Vert \nabla \eta \Vert _{L^{\infty }},\) which we do not have the estimate. To overcome this difficulty, we use integrations by parts to transfer the \(\nabla \) on terms like \(Z^{\beta _2}\nabla \eta \) into other terms. Notice that \(Z^{\beta }\eta =0\) on \(\partial {{\mathcal {O}}}\), no boundary term appears during this process. Then by applying the generalized Sobolev-Gagliardo-Nirenberg-Morse inequality, we find
$$\begin{aligned} \begin{aligned} \vert I_{84} \vert \lesssim&\varepsilon ^2\bigl (\Vert ZR\Vert _{L^{\infty }}\Vert \eta \Vert _{m-2}+\Vert R\Vert _{m-1}\Vert \eta \Vert _{L^{\infty }}\bigr )\Vert \nabla \eta \Vert _{m-1}\\&+\varepsilon ^2\bigl (\Vert \nabla R\Vert _{L^{\infty }}\Vert \eta \Vert _{m-1}+\Vert \nabla R\Vert _{m-1}\Vert \eta \Vert _{L^{\infty }}\bigr )\Vert \eta \Vert _{m-1}\\&+\varepsilon ^2\Vert R\Vert _{L^{\infty }}\Vert \nabla \eta \Vert _{m-1}\Vert \eta \Vert _{m-1}, \end{aligned} \end{aligned}$$from which, with (5.38) and (5.39), we infer
$$\begin{aligned} |I_{84}|\le \lambda \varepsilon \Vert \nabla \eta \Vert _{m-1}^2+ C_{\lambda }\varepsilon (\Vert \eta \Vert _{m-1}^2+\Vert R\Vert _{m}^2)(\varepsilon \Vert \eta \Vert _{L^{\infty }}^2+\varepsilon \Vert R\Vert _{1,\infty }^2+1)+C\varepsilon ^2\langle t\rangle ^{-\gamma }. \end{aligned}$$(5.57) -
Estimate of \(I_{85}\). Along the same line to the estimate of \(I_{84},\) we write
$$\begin{aligned}{}[R\cdot \nabla ,Z^{\beta }](\chi G)= & {} \sum _{\beta _1+\beta _2=\beta ,\beta _1\ne 0}c_{\beta _1}Z^{\beta _1}R\cdot Z^{\beta _2}\nabla (\chi G)\cdot Z^{\beta }\eta \\&+R\cdot [\nabla ,Z^{\beta }](\chi G)\cdot Z^{\beta }\eta , \end{aligned}$$from which, with (2.37) and \(m\le p-3,\) we infer
$$\begin{aligned} \vert I_{85} \vert \lesssim \varepsilon ^{\frac{5}{2}}\langle t\rangle ^{-\gamma }\Vert R\Vert _{m-1}\Vert \eta \Vert _{m-1}. \end{aligned}$$(5.58) -
Estimate of \(I_{86}\). In view of (1.1), we write
$$\begin{aligned} \begin{aligned}{}[R\cdot \nabla ,\chi {\mathcal {N}}]R=&[R\cdot \nabla ,\chi \Pi ](D(R)\cdot {\mathbf {n}}+MR)\\&+\chi \Pi \big (R\cdot \nabla (D(R)\cdot {\mathbf {n}})-D(R\cdot \nabla R)\cdot {\mathbf {n}}+(R\cdot \nabla M)R\big ). \end{aligned} \end{aligned}$$Notice that the second order derivatives of R vanish on the right-hand side above, we deduce from the generalized Sobolev-Gagliardo-Nirenberg-Morse inequality, that
$$\begin{aligned} \varepsilon ^{\frac{5}{2}}\Vert [R\cdot \nabla ,\chi {\mathcal {N}}]R\Vert _{m-1}\lesssim & {} \varepsilon ^{\frac{5}{2}}\bigl (\Vert \nabla R\Vert _{L^{\infty }}+\Vert R\Vert _{L^{\infty }}\bigr ) \bigl (\Vert \nabla R\Vert _{m-1}+\Vert R\Vert _{m-1}\bigr ), \end{aligned}$$which, together with (5.38) and (5.39), ensures that
$$\begin{aligned} |I_{86}| \lesssim \varepsilon \bigl (\Vert \eta \Vert _{m-1}^2+\Vert R\Vert _{m}^2\bigr )\bigl (1+\varepsilon \Vert \eta \Vert _{L^{\infty }}^2+\varepsilon \Vert R\Vert _{1,\infty }^2\bigr )+\varepsilon ^2\langle t\rangle ^{-\gamma }. \end{aligned}$$(5.59)
By summing up the estimates, (5.54-5.59), we arrive at
By inserting the estimates, (5.47), (5.48), (5.49), (5.50), (), (5.51), (5.52), (5.53) and (5.60), into (5.45) and summing over the resulting inequalities with the multi-indices \(\alpha \) with \(|\alpha |\le m,\) and finally choosing \(\lambda \) to be sufficiently small, we obtain (5.44). This ends the proof of Proposition 5.6. \(\square \)
By summing up (5.43) and (5.44), we achieve
To estimate the two integrals in (5.61), we will have to deal with the pressure estimates in the coming subsection.
5.5 Estimate of the Pressure Term
In view of (5.1), the pressure \(\pi \) satisfies
We start the estimate of \(\nabla \pi \) with the following toy model:
Lemma 5.7
Let \(\pi _1\) be determined by
Then for any non-negative integer \(\ell ,\) one has
Proof
We proceed by induction on \(\ell \). By taking \(L^2\) inner product of the first equation of (5.62) and using integrations by parts, we find
which implies \(\Vert \nabla \pi _1\Vert \le \Vert F\Vert \); therefore (5.63) holds for \(\ell =0\).
Next we assume that (5.63) holds for \(\ell =m-1\) with \(\ell \ge 1\). We are going to prove that (5.63) holds for \(\ell =m.\) Indeed by applying \(Z^\alpha \) with \(|\alpha |=m\) to (5.62), we get
By taking \(L^2\) inner product of the above equation with \(Z^\alpha \pi _1\) and using integration by parts, we obtain
where
Let us now handle term by term the quantities above.
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, J_{1}.}}\)
Notice that \(Z_0=0\) on \(\partial {{\mathcal {O}}},\) so that if \(Z^{\alpha }\) contains the tangential vector field \(Z_0\), \(J_1=0\). Without loss of generality, we may assume that \(Z^{\alpha }\) is composed of \(Z_i\) with \(1\le i\le 5\). We write, \(Z^{\alpha }=Z_{i_1}Z^{\alpha _1}\), \(|\alpha _1|=\ell -1\), then
As presented in Sect. 2.8, the vector fields, \([\partial _{\mathbf {n}},Z_{i_1}],\) are also tangential derivatives. By induction, \([\partial _{\mathbf {n}},Z^{\alpha }]\) is a tangential derivative operator of order m. By trace inequality, (5.25), we infer
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, J_{2}.}}\)
To deal with the commutator, we use (2.32) to write
where \(c_{\alpha _1},c_{\alpha _2}\) are some smooth functions. Yet we do not want the second order normal derivative of \(\pi _1\) to appear in (5.66). The idea is to use integration by parts. The cost is that boundary terms like \(\int _{\partial {{\mathcal {O}}}}\mathbf{n}\cdot c_{\alpha _{1}}\cdot \nabla Z^{\alpha _1}\pi _2Z^{\alpha }\pi _2\) will appear. In general, we can not guarantee that \(\mathbf{n}\cdot c_{\alpha _1}\cdot \nabla \) is a tangential derivative. One attempt is to use the boundary condition, \(\partial _{{\mathbf {n}}}\pi _1=-F\cdot {\mathbf {n}},\) and then the boundary terms will be bounded by \(\Vert F\cdot {\mathbf {n}}\Vert _{H^m(\partial {{\mathcal {O}}})}.\) Although Lemma 4.2 gives \(\Vert F\Vert _{H^m(\partial {{\mathcal {O}}})}\lesssim \langle t\rangle ^{-\gamma },\) so that \(\Vert F\cdot {\mathbf {n}}\Vert _{H^m(\partial {{\mathcal {O}}})}\) will gives rise to an appropriate estimate of \(\pi _1.\) But when we apply similar estimate to deal with \(\pi _3\), term like \(\Vert R\cdot \nabla R\Vert _{H^m(\partial {{\mathcal {O}}})}\) will appear, which is out of control.
To overcome the above mentioned difficulty, we distinguish the terms in (5.66) into two cases.
-
If \(Z^{\alpha }\) contains a field \(Z_0\), then \(Z^{\alpha }=0\) on \(\partial {{\mathcal {O}}}.\) In this case, we use integration by parts to get
$$\begin{aligned} |J_2|\lesssim \Vert \nabla \pi _2\Vert _{m-1}\Vert \nabla \pi _2\Vert _m. \end{aligned}$$ -
If \(Z^{\alpha }\) does not contain any \(Z_0\), we write
$$\begin{aligned} Z^{\alpha }=Z_{k_1}Z_{k_2}\cdots Z_{k_m} \quad \hbox {with}\quad Z_{k_i}=w^{k_i}\cdot \nabla ,\quad k_i\in \{1,2,3,4,5\},1\le i\le m, \end{aligned}$$for \(w^{k_i}\) given in Sect. 2.8. As a convention, let \(Z^{\alpha _0}=Z^{\beta _{m+1}}\) be the identity operators, we denote
$$\begin{aligned} Z^{\alpha _i}:=Z_{k_1}\cdots Z_{k_i} \quad \text { and }\quad Z^{\beta _i}:=Z_{k_i}\cdots Z_{k_m} \quad \hbox {with}\quad \quad 1\le i\le m. \end{aligned}$$Then by (2.31), we write
$$\begin{aligned} {[}\Delta ,Z^{\alpha }]\pi _1= & {} \sum _{i=1}^mZ^{\alpha _{i-1}}[\Delta ,Z_{k_i}]Z^{\beta _{i+1}}\pi _1\\= & {} \sum _{i=1}^m Z^{\alpha _{i-1}}\bigl (\Delta w^{k_i}\cdot \nabla Z^{\beta _{i+1}}\pi _1+2\nabla w^{k_i}:\nabla ^2Z^{\beta _{i+1}}\pi _1\bigr ). \end{aligned}$$Notice that for \(k_i\ne 0, w^{k_i}\cdot {\mathbf {n}}=0\) in \({\mathcal {V}}_{\delta _0/2}\), \(|{\mathbf {n}}|=1\) in \({\mathcal {V}}_{\delta _0}\) and \(\nabla n\) is symmetric, we have
$$\begin{aligned} \mathbf{n}\cdot \nabla w^{k_i}\cdot {\mathbf {n}}=-{\mathbf {n}}\cdot \nabla {\mathbf {n}}\cdot w^{k_i}=-w^{k_i}\cdot \nabla {\mathbf {n}}\cdot {\mathbf {n}}=0,\quad \text { in }{\mathcal {V}}_{\delta _0/2}. \end{aligned}$$So that \(\nabla w^{k_i}:\nabla ^2\) contains at most one normal derivative and this implies
$$\begin{aligned} \Vert [\Delta ,Z^{\alpha }]\pi _1\Vert \lesssim \Vert \nabla \pi _1\Vert _{m}. \end{aligned}$$As a result, it turns out that
$$\begin{aligned} |J_2|\lesssim \Vert \nabla \pi _1\Vert _{m-1}\Vert \nabla \pi _1\Vert _m. \end{aligned}$$(5.67)
\(\bullet \) \({\underline{\hbox {Estimate}\,\, \hbox {of}\,\, J_{3} + J_{4}}}\)
Again we distinguish to the following two cases:
-
If \(Z^{\alpha }\) contains \(Z_0\), then \(Z^{\alpha }=0\) on \(\partial {{\mathcal {O}}}.\) In this case \(J_3=0.\) For \(J_4,\) we use integration by parts to get
$$\begin{aligned} J_4= & {} \sum _{|\alpha _1|\le m}\int _{{{\mathcal {O}}}}c_{\alpha _1}\cdot \nabla Z^{\alpha _1} F Z^{\alpha }\pi _1\\= & {} \sum _{|\alpha _1|\le m}\int _{{{\mathcal {O}}}}Z^{\alpha _1} F(\mathrm {div} \,c_{\alpha _1}Z^{\alpha }\pi _1+c_{\alpha _1}\cdot \nabla Z^{\alpha }\pi _1), \end{aligned}$$from which, we infer
$$\begin{aligned} \vert J_4 \vert\lesssim & {} \Vert \nabla \pi _1\Vert _m\Vert F\Vert _m. \end{aligned}$$ -
If \(Z^{\alpha }\) does not contain \(Z_0\), notice that for \(1\le i\le 5,\) \(Z_i=w^i\cdot \nabla \) and \(w^i\cdot {\mathbf {n}}=0\) in \({\mathcal {V}}_{\delta _0/2}\) and \(\mathrm {div} \,w^i=0,\) we get, by using integration by parts, that
$$\begin{aligned} \int _{{{\mathcal {O}}}}Z^{\alpha }\mathrm {div} \,F Z^{\alpha }\pi _1= & {} (-1)^m\int _{{{\mathcal {O}}}}\mathrm {div} \,FZ^{2\alpha }\pi _1\\= & {} (-1)^m\int _{\partial {{\mathcal {O}}}}F\cdot {\mathbf {n}} Z^{2\alpha }\pi _1-(-1)^m\int _{{{\mathcal {O}}}}F\cdot \nabla Z^{2\alpha }\pi _1\\= & {} \int _{\partial {{\mathcal {O}}}}Z^{\alpha }(F\cdot {\mathbf {n}})Z^{\alpha }\pi _1+\sum _{|\alpha _1|\le m}\int _{{{\mathcal {O}}}}c_{\alpha _1}F\cdot Z^{\alpha _1}\nabla Z^{\alpha }\pi _1\\= & {} \int _{\partial {{\mathcal {O}}}}Z^{\alpha }(F\cdot {\mathbf {n}})Z^{\alpha }\pi _1+ \sum _{|\alpha _1|\le m}\int _{{{\mathcal {O}}}}\nabla Z^{\alpha }\pi _1\cdot Z^{\alpha _1}(c_{\alpha _1}F), \end{aligned}$$where \(c_{\alpha _1}\) are some smooth functions depend only on the vector field in \({\mathfrak {W}}\). As a consequence, we obtain
$$\begin{aligned} J_3+J_4= \sum _{|\alpha _1|\le m}\int _{{{\mathcal {O}}}}\nabla Z^{\alpha }\pi _1\cdot Z^{\alpha _1}(c_{\alpha _1}F), \end{aligned}$$which implies
$$\begin{aligned} \vert J_3 + J_4 \vert \lesssim \Vert \nabla \pi _1\Vert _m\Vert F\Vert _m. \end{aligned}$$(5.68)
In view of (5.64), by summarizing the estimates, (5.65), (5.67) and (5.68), we conclude the proof of (5.63). \(\square \)
Proposition 5.8
For \(1\le m\le p-4\) and for \(t\in [0,T^\varepsilon ]\), we have
Proof
We first decompose \(\pi \) into four terms \(\pi =\pi _1+\pi _2+\pi _3+\pi _4,\) where \(\pi _1\), \(\pi _2\), \(\pi _3\) and \(\pi _4\) are determined respectively by (5.62) and
and
\(\bullet \) \({\underline{\hbox {The}\,\, \hbox {estimate}\,\, \hbox {of} \nabla \pi _{1}.}}\)
The estimate \(\nabla \pi _1\) relies on Lemma 5.7. Indeed we deduce from Lemma 5.7 and (2.35) that
\(\bullet \) \({\underline{\hbox {The}\,\, \hbox {estimate}\,\, \hbox {of}\,\, \nabla \pi _{2}.}}\)
We claim that for \(0\le \ell \le p-3,\)
Without losing generality, we may assume that \(\int _{{{\mathcal {O}}}}\pi _2=0\). Again we proceed by induction on \(\ell \). Indeed by taking \(L^2\) inner product of the (5.70) with \(\pi _2\) and then using integrations by parts and the Poincaré inequality, we find
which together with (2.35) yields (5.74) for \(\ell =0\).
Next let us assume that (5.74) holds for \(\ell \le m-1\le p-4\), we are going to prove that (5.74) holds for \(\ell =m.\) In order to do it, we apply \(Z^\alpha \) with \(|\alpha | \le m\) to (5.70) and then taking \(L^2\) inner product of the resulting equation with \(Z^\alpha \pi _2\) and using integration by parts, we obtain
where we used \(\partial _{\mathbf {n}} \pi _2=0\) on \(\partial {{\mathcal {O}}},\) so that \(Z^{\alpha } \partial _{\mathbf {n}} \pi _2=0\) on \(\partial {{\mathcal {O}}}.\)
As the estimate of \(J_1\) in the proof of Lemma 5.7, if \(Z^{\alpha }\) contains \(Z_0\), the first term of the right hand side of (5.75) disappear. Otherwise, \([\partial _n,Z^\alpha ]\) is a tangential differential operator of order m. Then we get, by applying the trace inequality (5.25), that
On the other hand, it follows from (2.35) that
For the last term in the right hand side of (5.75), we deduce along the same line to that of \(J_2\) in the proof of Lemma 5.7 that
On the other hand, it follows from the boundary condition \(\partial _{{\mathbf {n}}}\pi _2=0\) that
Then by inserting the estimates (5.76),(5.77) and (5.78) into (5.75) and then summing up the resulting inequalities for \(|\alpha |\le m,\) we obtain
which, together with the inductive assumption, ensures (5.74) for \(\ell =m.\) This proves (5.74).
\(\bullet \) \({\underline{\hbox {The}\,\, \hbox {estimate}\,\, \hbox {of} \nabla \pi _3.}}\)
Due to \(\mathrm {div} \,u^{\varepsilon }=\sigma ^0 \) and \(\mathrm {div} \,R=-H,\) we write
On the other hand, due to \(u^{\varepsilon }\cdot {\mathbf {n}}=R\cdot {\mathbf {n}}=0\) on \(\partial {{\mathcal {O}}}\) and \(\nabla {\mathbf {n}}\) is symmetric, one has
In view of (5.71), \(\pi _3\) verifies
From Lemma 5.7 and the generalized Sobolev-Gagliardo-Nirenberg-Morse inequality, we infer that
which, together (2.35), (2.36), (2.39), and the fact that \(\sigma ^0\) is smooth and supported in [0, T], ensures that for \(m\le p-3\),
\(\bullet \) \({\underline{\hbox {The}\,\, \hbox {estimate}\,\, \hbox {of} \nabla \pi _{4}.}}\)
In view of (5.72), we write
from which, we deduce that for \(m\ge 1\)
yet it follows from (2.35) and trace theorem that, for \(m\le p-4,\)
As a result, it turns out that
The term \(\Vert \Delta R\cdot {\mathbf {n}}\Vert _{H^{m-\frac{1}{2}}(\partial {{\mathcal {O}}})}\) above can be handled exactly as that in Proposition 19 of [30] so that
Then we obtain, for \(1\le m\le p-4,\)
By summarizing the estimates (5.73), (5.74), (5.79) and (5.80), we arrive at (5.69). This completes the proof of Proposition 5.8. \(\square \)
With Proposition 5.8, we now turn to the estimate of the two integrals involving the pressure term in (5.61).
Corollary 5.9
Let \(2\le m\le p-4.\) Then for \(\alpha ,\beta \) satisfying \(|\alpha |\le m, |\beta |\le m-1,\) and any \(\lambda >0\) there exists \(C_\lambda \) so that
and
Proof
Thanks to (5.69), for any \(\lambda >0,\) we get, by applying Young’s inequality, that
which together with (5.39) ensures (5.81).
On the other hand, due to \(\eta =0\) on \(\partial {{\mathcal {O}}},\) by using integration by parts and Young’s inequality, we find that for any \(\lambda >0,\)
Yet it follows from (5.69), (5.38) and (5.39) that
Substituting the above estimate into (5.83) leads to (5.82). \(\square \)
By inserting the estimates (5.81) and (5.82) into (5.61) and choosing \(\lambda \) to be sufficiently small, we deduce that for \(2\le m\le p-4\) and for t in \( [0,T^\varepsilon ]\),
In order to close the estimate of (5.84), we still need the estimate of \(\Vert R\Vert _{1,\infty }\) and \(\Vert \eta \Vert _{L^{\infty }}\), which will be the content of the next section.
5.6 Estimate of \(\Vert R\Vert _{1,\infty }\) and \(\Vert \eta \Vert _{L^{\infty }}\)
Proposition 5.10
Let \(m>3\) be an integer. Then one has
Proof
We first deduce from Proposition 20 of [30] that for \(m_0>1\),
which, together with (5.38), implies
Along the same lines, we can prove similar estimate for \(\Vert ZR\Vert _{L^{\infty }}\) if \(m \ge m_0+2.\) \(\square \)
In order to estimate \(\Vert \eta \Vert _{L^{\infty }},\) we introduce
Lemma 5.11
Let \(\eta \) and \({\tilde{\eta }} \) be determined respectively by (5.37) and (5.87). Then one has
Proof
On the one hand, it follows from (5.39) that
which implies
On the other hand, due to \(n\wedge (\nabla \wedge R)=\nabla R\cdot {\mathbf {n}}-\partial _{\mathbf {n}} R,\) we have
However, it follows from (5.17) and (2.36) that
so that
This together with (5.37) shows that the other side of the inequality (5.88) holds. This concludes the proof of Lemma 5.11. \(\square \)
Now let us set
Note that (2.38) implies
Hence
Therefore
Proposition 5.12
Let \(\mathfrak {N}_m(t) \) be determined by (5.89). Then there exist constant \(\varepsilon _0, C\) so that for \(\varepsilon \le \varepsilon _0,\) \(4\le m\le p-4\)
Proof
In view of (5.1), \({\tilde{\eta }}\) satisfies
Maximum principle for the transport-diffusion equation ensures that
Applying (2.36) gives
On the other hand, it follows from (2.39) that
Notice that
we infer
By inserting the above estimates into (5.94) and then using (5.38), (5.39) and (5.91), we achieve
from which, with (5.85) and (5.89), we deduce
For any \(t\le T^\varepsilon ,\) by integrating (5.84) over [0, t] and then summing up the resulting inequality with the above inequality, we obtain for \(2\le m\le p-4\) that
On the other hand, thanks to Propositions 5.3 and 5.6, we get, by a similar derivation of (5.95), that
which, together with Proposition 5.1, ensures that
By virtute of (5.95) and (5.96), we get by an inductive argument that
from which and a comparison argument, we infer
In particular, if we take \(\varepsilon \) to be so small that \(\varepsilon \le (2TC^2)^{-\frac{2}{3}},\) we deduce from (5.97) that
which yields (5.93). This completes the proof of Proposition 5.12. \(\square \)
5.7 End of the Proof of (2.43)
For our purpose, we can take \((\gamma ,k,p,s,q)=(2,2,8,4,4)\) in Sect. 4 and \(m=4\). By an iteration argument, we find that \((\gamma _1,k_1,p_1,s_1,q_1)=(107,166,178,252,107)\) and \(u_0\) and \(u_*\) belongs to \(H^{177}({{\mathcal {O}}})\) are sufficient.
Then for any \(t\in (0,T^{\varepsilon })\), we deduce from (5.38) that
from which, with (5.89) and (5.93), we infer
This concludes the proof of (2.43).
6 Proof of Theorem 1.7
This section is devoted to the proof of Theorem 1.7. The scheme of the proof of Theorem 1.7 is very similar to that of Theorem 1.1 with some simplifications due to the facts that the statement of Theorem 1.7 only promises approximate controllability (see [19, Remark 3]), and for one positive time before the imparted time, which can be chosen arbitrarily small (recall Remark 1.8). Therefore there is no need of the well-prepared dissipation of the boundary layers as we did in Sect. 2.1 in the course of proving Theorem 1.1. Again we make use of a rapid and violent control so that the behavior of the system will follow from the one of its inviscid counterpart. Let us therefore recall a few ingredients used in [19] to tackle the inviscid case. We recall the notation for the flow map already used in the statement of Theorem 1.7: with a vector field u depending on t in [0, T] and on the space variable x, we associate, when it makes sense (below we will only need flow maps in some cases where the classical Cauchy-Lipschitz theorem applies), the flow map \(\phi ^u\) such that \( \partial _t\phi ^u(t,s,x)=u(t,\phi ^u(t,s,x)) \) for any t, s in [0, T] and for any x in \(\Omega \), and \( \phi ^u (s,s,x)=x\) for any s in [0, T] and for any x in \(\Omega \). First thanks to a construction due to Krygin [27], given \(\gamma _0\) and \(\gamma _1\) two Jordan surfaces included in \(\Omega \) such that \(\gamma _{0} \) and \( \gamma _{1} \) are isotopic in \( \Omega \) and surrounding the same volume, there exists a volume-preserving diffeotopy h in \( C^\infty ([0,1] \times \Omega ;\Omega )\) such that \(\partial _{t} h\) is compactly supported in \((0,1) \times \Omega \), \(h(0,\gamma _{0})=\gamma _0\) and \(h(1,\gamma _{0})=\gamma _1\). Then the smooth vector field \(X(t,x):= \partial _{t} h (t,h^{-1}(x))\) is compactly supported in \((0,1) \times \Omega \) and satisfies for all t in [0, 1], \(\phi ^X(t,0,\gamma _0)\subset \Omega \), \(\phi ^{X}(1,0,\gamma _{0}) = \gamma _{1}\) and \(\mathrm {div} \,X =0 \ \text { in } \ (0,1) \times \Omega \). Then, thanks to [19, Proposition 2.2], for any \(\nu >0\) and k in \( {\mathbb {N}},\) there exists \(\theta ^0 \) in \( C^{\infty }_0((0,1) \times {\overline{\Omega }};{\mathbb {R}})\) such that
up to a reparameterization. Above \(\mathbb {S}^2\) is the two-dimensional torus.
With these ingredients of the inviscid case in hands, let us now start the proof of Theorem 1.7; it is split into two parts, depending on the regularity of the initial data.
Proof of the first part of Theorem 1.7. Case where \(u_0\) is in \(C^{k,\alpha }({\Omega };{\mathbb {R}}^{3})\)
We first consider the case where \(u_0\) is in \(C^{k,\alpha }({\Omega };{\mathbb {R}}^{3})\), with \(\alpha \) in (0, 1) and k in \( {\mathbb {N}}\setminus \{0\}\), and satisfies \(\mathrm {div} \,u_{0}=0 \) in \( \Omega \) and \(u_{0} \cdot n =0 \) on \( \partial \Omega \). One also assumes that \(T_0>0\), \(\gamma _0\) and \(\gamma _1\) two Jordan surfaces included in \(\Omega \) such that \(\gamma _{0} \) and \( \gamma _{1} \) are isotopic in \( \Omega \) and surrounding the same volume, are given.
We first use the scaling transformation (2.3) to transform our original problem (1.2) to (2.4). Then we consider the same expansion as in the proof of Theorem 1.1, that is, (2.42), with \(u^\varepsilon _a\) being given by (2.27) and \(u^0 := \mathfrak {e}(\nabla \theta ^0)\), where \(\theta ^0\) is given by (6.1) and \(\mathfrak {e}\) is a linear continuous extension operator from \( C^{k,\beta }({\overline{\Omega }}; {\mathbb {R}}^3)\rightarrow C_0^{k,\beta }({{\mathcal {O}}}; {\mathbb {R}}^3).\) Of course, \(u^0\) thus constructed verifies Lemma 2.9 except (2.9), which is unnecessary here.
Let us first focus on proving (1.6) for \(k=0\), while maintaining the condition (1.5). It follows from (5.86) and (5.93) that
We remark that the choice of 1 is quite arbitrary but the fact that we consider here times of order O(1), not of order \(O(1/\varepsilon )\) as in the proof of (2.42), makes the use of the well-prepared dissipation of the boundary layers unnecessary here.
With thus obtained \(u^\varepsilon ,\) we define u via (2.6) and we denote by p the corresponding pressure. Then (u, p) is in \(L^{\infty }(0,T;C^{k,\alpha }(\Omega ;{\mathbb {R}}^{4}))\) and satisfies (1.2) on \([0,\varepsilon ]\). We denote by \(\phi ^{u}(t,s,x)\) and \(\phi ^{u^0}(t,s,x)\) the flow maps associated with u and \(u^0\) respectively. Then in view of (2.6) and (2.42), we write
from which we get, by applying Gronwall’s inequality, that
On the other hand, it follows from (2.40) and (6.2) that
so that for any \(t,s\in [0,\varepsilon ]\) it holds that
Then (6.1), together with (6.3), ensures that
This entails (1.5) and (1.6) for \(k=0\), with the time \(T:= \varepsilon \in (0,T_0)\), by appropriate choices of \(\nu \) and \( \varepsilon \). Now to prove (1.6) for \(k> 0\) it is sufficient to use the counterpart of () for higher order derivatives, see for instance [26, Equation (23)]. This estimate is performed in a compact set K such that an open neighborhood of \(\cup _{t\in [0, \varepsilon ]} \, \phi ^u(t,0,\gamma _0)\) is contained in K and such that K is included in \(\Omega \), the existence of such a compact set is granted by the condition (1.5). The higher order estimates of the velocity field on K are deduced, by Sobolev embedding, from the estimate of \(\Vert R(t)\Vert _m \) in Proposition 5.12, since on K, \(\Vert R(t)\Vert _m \) is equivalent to the usual Sobolev norm of order m, by the very definition of the the Sobolev conormal spaces in (2.34). The details are left to the reader.
This completes the proof of the first part of Theorem 1.7. \(\square \)
Proof of the Second Part of Theorem 1.7. Case where \(u_0\) is in \(H^1({\Omega };{\mathbb {R}}^{3})\)
Let us now tackle the case where the initial data \(u_0\) is only in \(H^1({\Omega };{\mathbb {R}}^{3})\), with still the compatibility conditions: \(\mathrm {div} \,u_{0}=0 \) in \( \Omega \) and \(u_{0} \cdot n =0 \) on \( \partial \Omega \). In this case we first use the regularization result of Theorem 2.1, or more precisely of Theorem A.1 in the Appendix A. More precisely, for \(\nu >0\), which will be chosen small enough later on, we consider u to be the unique solution in \(u\in C([0,\nu ];H^1(\Omega ))\cap L^2([0,\nu ];H^2(\Omega ))\) of (A.1) on \([0,\nu ]\) with initial data \(u_0\). In particular, for any \(s_0\) in (2, 3), we deduce from interpolation inequality and (A.2) that
from which, along with the Sobolev imbedding theorem, we infer that for any \(s_0\) in (5/2, 3),
Consequently, according to the classical Cauchy-Lipschitz theorem, the vector field u generates a unique flow map \(\phi ^u(t,s,x)\) on \([0,\nu ].\) Furthermore, for any t, s in \( [0,\nu ],\) it holds that
In particular, this entails that for any t in \( [0,\nu ]\), \(\phi ^u(t,0,\gamma _0)\subset \Omega \) and that the Jordan surface \(\gamma _*:= \phi ^u(\nu ,0,\gamma _0)\) satisfies
Moreover it follows from (A.2) that \(u_*:= u( \nu ,\cdot )\) belongs to \( H^\infty (\Omega )\). Thus we can use the first part of Theorem 1.7, in particular the estimate (6.4) on the time interval \([\nu , \nu + \varepsilon ]\), so that there exists an extension of u, which we still denote by u, to the time interval \([\nu , \nu + \varepsilon ]\) such that u is in \(C([0,\nu + \varepsilon ];H^1(\Omega ))\) and in \(L^2([0,\nu + \varepsilon ];H^2(\Omega ))\) and generates a flow \(\phi ^{u}\) such that for any t in \( [\nu ,\nu +\varepsilon ]\), \(\phi ^u(t, \varepsilon , \gamma _0 )\subset \Omega \), such that
Furthermore, \(\phi ^{u}(\nu + \varepsilon ,\nu ,\cdot )\) is Lipschitz. Thus combining these three last properties with (6.6), and choosing \(\varepsilon \) and \(\nu \) small enough, we arrive at
while maintaining the condition that for any t in \( [0,\nu + \varepsilon ]\), \(\phi ^u(t,0,\gamma _0)\subset \Omega \).
This completes the proof of the second part of Theorem 1.7. \(\square \)
References
Beirão de Veiga, H., Crispo, F.: Sharp inviscid limit results under Navier type boundary conditions. An \(L^p\) theory. J. Math. Fluid Mech. 12, 397–411, 2010
Buckmaster, T., Colombo, M., Vicol, V.: Wild solutions of the Navier-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1. arXiv preprint arXiv:1809.00600 (2018)
Buckmaster, T., Vicol, V.: Convex integration and phenomenologies in turbulence. EMS Surv. Math. Sci. 6(1), 173–263, 2020
Buckmaster, T., Vicol, V.: Nonuniqueness of weak solutions to the Navier–Stokes equation. Ann. Math. 189, 101–144, 2019
Coron, J.M., Marbach, F., Sueur, F.: Small-time global exact controllability of the Navier–Stokes equation with Navier slip-with-friction boundary conditions. J. Eur. Math. Soc. 22, 1625–1673, 2020. https://doi.org/10.4171/JEMS/952.
Coron, J.M., Marbach, F., Sueur, F.: On the controllability of the Navier–Stokes equation in spite of boundary layers. RIMS Kâyûroku 2058, 162–180, 2017
Coron, J.M., Marbach, F., Sueur, F., Zhang, P.: Controllability of the Navier–Stokes equation in a rectangle with a little help of a distributed phantom force. Ann. PDE 5(2), 49, 2019
Coron, J.M.: Contrôlabilité exacte frontière de l’équation d’Euler des fluides parfaits incompressibles bidimensionnels. C. R. Acad. Sci. Paris Sér. I Math. 317, 271–276, 1993
Coron, J.M.: On the controllability of \(2\)-D incompressible perfect fluids. J. Math. Pures Appl. (9) 75, 155–188, 1996
Dautray, R., Lions, J.L.: Mathematical Analysis and Numerical Methods for Sciences and Technology, vol. 3. Springer-Verlag, Berlin (1990)
Gagnon, L.: Lagrangian controllability of the 1-D Korteweg-de Vries equation. SIAM J. Control. Optim. 54, 3152–3173, 2016
Gie, G.M., Kelliher, J.: Boundary layer analysis of the Navier–Stokes equations with generalized Navier boundary conditions. J. Differ. Equ. 253, 1862–1892, 2012
Glass, O.: Exact boundary controllability of 3-D Euler equation. ESAIM Control Optim. Calc. Var. 5, 1–44, 2000
Glass, O.: Some questions of control in fluid mechanics. In: Control of Partial Differential Equations, pp. 131–206. Springer, Berlin (2012)
Glass, O.: Contrôlabilité exacte frontière de l’équation d’Euler des fluides parfaits incompressibles en dimension 3. C. R. Acad. Sci. Paris Sér. I Math. 325, 987–992, 1997
Glass, O.: An addendum to a J. M. Coron theorem concerning the controllability of the Euler system for 2D incompressible inviscid fluids. “On the controllability of 2-D incompressible perfect fluids” J. Math. Pures Appl. (9) 75(2) (1996), 155–188; MR1380673 (97b:93010)
Glass, O.: An addendum to a J. M. Coron theorem concerning the controllability of the Euler system for 2D incompressible inviscid fluids. “On the controllability of 2-D incompressible perfect fluids” J. Math. Pures Appl. (9), 80 (2001).
Glass, O., Horsin, T.: Approximate Lagrangian controllability for the 2-D Euler equation. Application to the control of the shape of vortex patches. J. Math. Pures Appl. (9) 93, 61–90, 2010
Glass, O., Horsin, T.: Prescribing the motion of a set of particles in a three-dimensional perfect fluid. SIAM J. Control. Optim. 50, 2726–2742, 2012
Glass, O., Horsin, T.: Lagrangian controllability at low Reynolds number. ESAIM Control Optim. Calc. Var. 22, 1040–1053, 2016
Guerrero, S.: Local exact controllability to the trajectories of the Navier–Stokes system with nonlinear Navier-slip boundary conditions. ESAIM Control Optim. Calc. Var. 12, 484–544, 2006
Guès, O.: Problème mixte hyperbolique quasi-linéaire caractèristique. Commun. Partial Differ. Equ. 15, 595–645, 1990
Hopf, E.: Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen, (German) Math. Nachr. 4, 213–231, 1951
Horsin, T., Kavian, O.: Lagrangian controllability of inviscid incompressible fluids: a constructive approach. ESAIM Control Optim. Calc. Var. 23, 1179–1200, 2017
Iftimie, D., Sueur, F.: Viscous boundary layers for the Navier–Stokes equations with the Navier slip conditions. Arch. Ration. Mech. Anal. 199, 145–175, 2011
Koch, H.: Transport and instability for perfect fluids. Math. Ann. 323(3), 491–523, 2002
Krygin, A.B.: Extension of diffeomorphisms that preserve volume. Funktsional. Anal. i Prilozhen. 5, 72–76, 1971
Leray, J.: Sur le mouvement d’un liquide visqueux emplissant l’espace. Acta Math. 63, 193–248, 1934
Marbach, F.: Small time global null controllability for a viscous Burgers’ equation despite the presence of a boundary layer. J. Math. Pures Appl. (9) 102, 364–384, 2014
Masmoudi, N., Rousset, F.: Uniform regularity for the Navier–Stokes equation with Navier boundary condition. Arch. Ration. Mech. Anal. 203, 529–575, 2012
Navier, C.-L.: Mémoire sur les lois du mouvement des fluides. Mémoires de l’Académie Royale des Sciences de l’Institut de France 6, 389–440, 1823
Seregin, G.: Lecture notes on Regularity Theory for the Navier–Stokes Equations. World Scientific Publishing Co. Pte. Ltd., Hackensack (2015)
Sueur, F.: Couches limites semilinéaires. Ann. Fac. Sci. Toulouse Math. (6) 15, 323–380, 2006
Sueur, F.: Approche visqueuse de solutions discontinues de systèmes hyperboliques semilinéaires. Ann. Inst. Fourier (Grenoble) 56, 183–245, 2006
Sueur, F.: Viscous profile of vortex patches. J. Inst. Math. Jussieu 14, 1–68, 2013
Acknowledgements
All the authors are supported by K. C. Wong Education Foundation. F. Sueur is partially supported by the Agence Nationale de la Recherche, Project IFSMACS, grant ANR-15-CE40-0010, Project SINGFLOWS, grant ANR-18-CE40-0027-01, and Project BORDS, grant ANR-16-CE40-0027-01; and by the H2020-MSCA-ITN-2017 program, Project ConFlex, Grant ETN-765579. P. Zhang is partially supported by NSF of China under Grants 11731007, 12031006 and 11688101. F. Sueur warmly thanks Morningside center of Mathematics, CAS, for its kind hospitality during his stays in May 2018 and October 2019.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Bedrossian.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. On the Regularization of the Uncontrolled Strong Solutions to the Navier–Stokes Equations with Navier Boundary Conditions
Appendix A. On the Regularization of the Uncontrolled Strong Solutions to the Navier–Stokes Equations with Navier Boundary Conditions
In this appendix we prove a regularization result of the uncontrolled strong solutions to the Navier–Stokes equations with Navier boundary conditions on the whole boundary \(\partial \Omega \), that is, to the following system:
Theorem A.1
Let \(T>0\), p in \({\mathbb {N}}^*\) and \(R>0\). Then there exists a continuous function \(C_{T,p,R}\) from \( [0,+\infty ) \) to \([0,+\infty )\) with \(C_{T,p,R}(0)=0\), such that there exists \(T_1\) in (0, T) and for any \(u_0\) in \(H^1(\Omega )\), with \( \Vert u_0\Vert _{H^1(\Omega )} \le R\), divergence free and tangent to \(\partial \Omega \), the unique strong solution u in \( C([0,T_1];H^1(\Omega ))\cap L^2([0,T_1];H^2(\Omega ))\) to (A.1) satisfies
As recalled in Sect. 2.1 The goal of this section is to present the proof of Theorem 2.1. The local-in-time existence and uniqueness of strong solutions with \(H^1\) initial data is classical. The interest of Theorem A.1 is to detail the regularization in time of this strong solution near the time zero. In particular it implies the part of Theorem 2.1 regarding the regularization.
Proof
We will proceed by induction on p. We start with recalling how to prove the case \(p=1\), by proving first a \(L^2(\Omega )\) energy estimate and then a \(H^1(\Omega )\) energy estimate.
\(\bullet \) \({\underline{L^{2}(\Omega )\,\, \hbox {energy}\,\, \hbox {estimate}}}\)
Indeed, we first get, by taking \(L^2(\Omega )\) inner product of the u equation in (A.1) with u, that
Here and in all that follows, we always denote \((f | g)_{L^2(\Omega )}:=\int _{\Omega } f g\,dx.\)
Due to \(\mathrm {div} \,u=0\) and \(u\cdot \mathbf{n}|_{\partial \Omega }=0,\) we have
Moreover it follows from Stokes formula that
By inserting the above equalities into (A.3), we obtain
Let us denote by \(M_{\mathrm{w}}\) the shape operator associated with \(\Omega \). Recall that, since \(\Omega \) is smooth, the shape operator \(M_{\mathrm{w}}\) is smooth and for any x in \(\partial \Omega ,\) it defines a self-adjoint operator with values in the tangent space \(T_x\). Then we have the following result, see [1, 12].
Lemma A.2
For any smooth divergence free vector field u satisfying \(u\cdot \mathbf{n}=0\) on \(\partial \Omega ,\) we have
However, due to \({\mathcal {N}}(u)|_{\partial \Omega }=0,\) we deduce from Lemma A.2 that
where we used \(u\cdot \mathbf{n}\bigr |_{\partial \Omega }=0\) in the last step. Then by applying Stokes formula and Young’s inequality, we find that for any \(\lambda >0,\) there exists \(C_\lambda \) so that
On the other hand, due to \(\mathrm {div} \,u=0\) in \(\Omega \) and \(u\cdot \mathbf{n}|_{\partial \Omega }=0,\) we deduce from Korn’s type inequality (see [10] for instance) that there exists a positive constant \(C_\Omega \) so that
By inserting the estimates, (A.7) and (A.8), into (A.4) and taking \(\lambda =\frac{1}{2C_\Omega }\) in the resulting inequality, we achieve
Applying Gronwall’s inequality gives rise to
\(\bullet \) \({\underline{H^{1}(\Omega )\,\, \hbox {energy}\,\, \hbox {estimate}}}\)
By taking \(L^2(\Omega )\) inner product of the u equation of (A.1) with \(\partial _tu,\) we get
Notice that \(\partial _tu\cdot \mathbf{n}|_{\partial \Omega }=0,\) by applying Stokes formula and along the same line to the proof of (A.6), we obtain
which together with the facts: M is a symmetric matrix and \(M_{\mathrm{w}}\) is a self-adjoint operator on \(T_x,\) ensures that
Again due to \(\partial _tu\cdot \mathbf{n}|_{\partial \Omega }=0,\) one has
By inserting the above equalities into (A.11), we achieve
Applying Young’s inequality yields
Moreover in view of (A.1), we write
The following type of Cattabriga-Solonnikov estimate can be proved along the same line to that of Theorem 2.2 in [32]:
Lemma A.3
Let k be a non-negative integer and \(\Omega \) be a bounded domain with sufficiently smooth boundary. Let f in \( H^k(\Omega )\) and g in \( H^{k+1}(\Omega )\) with \(\int _\Omega g\,dx=0.\) Then the non-homogeneous Stokes problem
has a unique solution (u, p) so that
Then it follows from Lemma A.3 and (A.13) that
from which, we infer
By substituting (A.15) into (A.12) and then taking \(\lambda =\frac{1}{4C},\) we achieve
On the other hand, it follows from trace inequality (5.25) that
so that in view of (A.8), there exists a large enough constant K which satisfies
Then we get, by summing up \(K\times \)(A.9) and (A.16), that
from which, we deduce by a comparison argument that for any \(T>0\) and \(R>0\), there exists a continuous function \(C_{T,p,R}\) from \( [0,+\infty ) \) to \([0,+\infty )\) with \(C_{T,1,R}(0)=0\), such that there exists \(T_1\) in (0, T) and such that for any \(u_0\) in \(H^1(\Omega )\), with \( \Vert u_0\Vert _{H^1(\Omega )} \le R\), divergence free and tangent to \(\partial \Omega \), the unique strong solution u in \( C([0,T_1];H^1(\Omega ))\cap L^2([0,T_1];H^2(\Omega ))\) to (A.1) satisfies (A.2) holds true for \(p=1.\)
\(\bullet \) \(\underline{\hbox {Higher}\,\, \hbox {energy}\,\, \hbox {estimates}}\)
Inductively, we assume that (A.2) holds for \(p\le \ell -1,\) we are going to show that (A.2) holds for \(p=\ell .\) Without loss of generality, we may assume that \(\ell \) is an even integer. The odd integer case can be proved along the same line. Indeed we first get, by applying \(\partial _t^{\ell /2}\) to (A.1), that
from which, we get, by a similar derivation of (A.4) that
Similarly to (A.7), we have
On the other hand, due to \(u\cdot \mathbf{n}|_{\partial \Omega }=0\) and \(\mathrm {div} \,u=0,\) we get, by using integration by parts, that
from which we infer
By substituting the above estimates into (A.20) and using Korn’s type inequality (A.8), we find
By taking \(\lambda =\frac{1}{4C_\Omega }\) in the above inequality and then applying Gronwall’s inequality to the resulting inequality, we achieve
from which, with the inductive assumption, we deduce that
On the other hand, for any non-negative integer \(j\le \frac{\ell }{2}-1,\) we infer from the inductive assumption that
Moreover in view of (A.1), we write
from which, with Lemma A.3, we infer
As a result, we get that
However, it follows from Moser type inequality and the inductive assumption that
Substituting the above estimates into (A.22) gives rise to
We deduce from this inequality and from (A.21), by an iterative argument, that
Exactly along the same line to the proof of (A.23), for any non-negative integer \(j\le \frac{\ell }{2}-1,\) we infer from the inductive assumption that
On the other hand it follows from Lemma A.3 that
For, any \(j\le \frac{\ell }{2}-1,\) it follows from Moser type inequality and the inductive assumption that
As a result, for any \(j\le \frac{\ell -1}{2},\) we arrive at
from which, with (A.21), we deduce by an iterative argument that
By combining (A.23) and (A.24), we obtain that (A.2) holds for \(p=\ell .\) This finishes the proof of (A.2) and therefore the proof of Theorem 2.1. \(\square \)
About this article
Cite this article
Liao, J., Sueur, F. & Zhang, P. Smooth Controllability of the Navier–Stokes Equation with Navier Conditions: Application to Lagrangian Controllability. Arch Rational Mech Anal 243, 869–941 (2022). https://doi.org/10.1007/s00205-021-01744-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-021-01744-2