Decay of solutions for 2D navier-stokes equations posed on rectangles and on a half-strip

doi:10.15406/oajmtp.2018.01.00035

Open Access Journal of

eISSN: 2641-9335

Mathematical and Theoretical Physics

Review Article Volume 1 Issue 5

Decay of solutions for 2D navier-stokes equations posed on rectangles and on a half-strip

Padilha MV, Larkin NA

Verify Captcha

Regret for the inconvenience: we are taking measures to prevent fraudulent form submissions by extractors and page crawlers. Please type the correct Captcha word to see email ID.

Departamento de Matematica, Universidade Estadual de Maring

Correspondence: Larkin NA, Departamento de Matemática,Universidade Estadual de Maringá, Av. Colombo 5790, Agência UEM, 87020-900, Maringá, PR, Brazil

Received: June 26, 2018 | Published: September 27, 2018

Citation: Larkin NA, Padilha MV. Decay of solutions for 2D navier-stokes equations posed on rectangles and on a half-strip. Open Acc J Math Theor Phy. 2018;1(5):203-208. DOI: 10.15406/oajmtp.2018.01.00035

Download PDF

Abstract

Initial-boundary value problems for 2D Navier-Stokes equations posed on rectangles and on a half-strip were considered. The existence and uniqueness of regular global solutions on rectangles and their exponential decay as well as exponential decay of generalized solutions on a half-strip have been established.

Keywords: navier-stokes equations, lipschitz and smooth domains, decay in bounded and unbounded domains

Introduction

The main goal of this work is establishing of sharp estimates for the exponential decay rates of solutions to initial-boundary value problems for the 2D Navier-Stokes equations:

$u_{t} + (u \cdot \nabla) u = ν Δ u - \nabla p, i n Ω \times (0, t),$ $u_{t} + (u \cdot \nabla) u = ν Δ u - \nabla p, i n Ω \times (0, t),$ (1)

$\nabla u = 0 i n Ω, u |_{\partial Ω} = 0,$ $\nabla u =0 i n Ω, u |_{\partial Ω} =0,$ (2)

$u (x, y,0) = u_{0} (x, y),$ $u (x, y,0)= u_{0} (x, y),$ (3)
where $Ω$ $Ω$ is either a bounded rectangle or a half-strip in $R^{2}$ $ℝ^{2}$ with the homogeneous Dirichlet condition on the boundary of $Ω .$ $Ω .$

The question of decay of the energy for generalized solutions had been stated by J.Leray¹ and attracts till now attention of many pure and applied mathematicians^2‒11. In all of these papers, the decay rate of $∥ ∥ u ∥ {(t)}_{L^{2} (Ω)}^{2}$ $∥ u ∥ {(t)}_{L^{2} (Ω)}$ was controlled by the first eigenvalue of the operator $A = - P Δ,$ $A = - P Δ,$ where $P$ $P$ is the projection operator on solenoidal subspace of $L^{2} (Ω) .$ $L^{2} (Ω).$ Associated with stability questions, problems on dimensions of attractors and nonlinear spectral manifolds also have been studied.^2,6,7

It is well-known that solutions of the 2D Navier-Stokes equations posed on smooth bounded domains with the Dirichlet boundary conditions are globally regular.^9,11‒14 On the other hand, the question of regularity is not obvious in the case of bounded Lipschitz domains and unbounded Lipschitz and smooth domains. It has been proved that for Lipschitz domains, bounded and unbounded, there exists a unique global generalized solution.^9,11,14

$u, u_{t} \in L^{\infty} (0, \infty; L^{2} (Ω)) \cap L^{2} (0, \infty; H^{1} (Ω),)$ $u, u_{t} \in L^{\infty} (0, \infty; L^{2} (Ω)) \cap L^{2} (0, \infty; H^{1} (Ω)),$

but it was not clear whether

$u \in L^{\infty} (0, \infty; H^{2} (Ω))$ $u \in L^{\infty} (0, \infty; H^{2} (Ω))$

at least for bounded Lipschitz domains.

In this work, we have established this fact for rectangles making use of ideas.¹⁵ The following inequality holds for rectangles

$∥ ∥ u ∥_{H^{2} (Ω)}^{2} (t) + ∥ u_{t} ∥_{L^{2} (Ω)}^{2} (t) \leq C ∥ u_{0} ∥_{H^{2} (Ω)}^{2} exp (- ν (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}}) t)$ $∥ u ∥_{H^{2} (Ω)}^{2} (t) + ∥ u_{t} ∥_{L^{2} (Ω)}^{2} (t) \leq C ∥ u_{0} ∥_{H^{2} (Ω)}^{2} \exp (- ν (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}}) t)$

and
$∥ ∥ u ∥_{H^{1} (Ω)}^{2} (t) + ∥ u_{t} ∥_{L^{2} (Ω)}^{2} (t) \leq C ∥ u_{0} ∥_{H^{2} (Ω)}^{2} exp (- \frac{ν π^{2}}{B^{2}} t)$ $∥ u ∥_{H^{1} (Ω)}^{2} (t) + ∥ u_{t} ∥_{L^{2} (Ω)}^{2} (t) \leq C ∥ u_{0} ∥_{H^{2} (Ω)}^{2} \exp (- \frac{ν π^{2}}{B^{2}} t)$

for a half-strip.

Our paper has the following structure: Chapter I is Introduction. Chapter 2 contains notations and auxiliary facts. In Chapter 3, existence and uniqueness of global generalized solutions on either bounded or unbounded Lipschitz domains have been established. In Chapter 4, regularity and decay of solutions on rectangles and on a half-strip have been studied.

Notations and auxiliary facts

Let $Ω$ $Ω$ be a domain in $R^{2} .$ $ℝ^{2} .$ Define as in:¹¹

$D_{x} = \frac{\partial}{\partial x}, D_{y} = \frac{\partial}{\partial y}, D^{j} = D_{x}_{x}^{j_{x}} D_{y}_{y}^{j_{y}} = \frac{\partial_{x}^{| j_{x} + j_{y} |}}{\partial x_{x}^{j_{x}} \partial y_{y}^{j_{y}}} .$ $D_{x} = \frac{\partial}{\partial x}, D_{y} = \frac{\partial}{\partial y}, D^{j} = D_{x}^{j_{x}} D_{y}^{j_{y}} = \frac{\partial^{| j_{x} + j_{y} |}}{\partial x^{j_{x}} \partial y^{j_{y}}} .$

We denote for scalar functions $f (x, y, t)$ $f (x, y, t)$ by $L^{p} (Ω), 1 < p < + \infty$ $L^{p} (Ω), 1< p < + \infty$ the Banach space with the norm

$∥ ∥ ∥ f ∥_{L^{p} (Ω)}^{p} = \int_{Ω} | f |^{p} d x d y, p \in (1, + \infty), ∥ f ∥_{L^{\infty} (D)}^{\infty} = e s s s u p_{D} | f (x, y) . |$ $∥ f ∥_{L^{p} (Ω)}^{p} = \int_{Ω} | f |^{p} d x d y, p \in (1, + \infty), ∥ f ∥_{L^{\infty} (D)} = e s s s u p_{D} | f (x, y)|.$

For $p = 2, L^{2} (Ω$ $p =2, L^{2} (Ω$ is a Hilbert space with the scalar product

$(u, v) = \int_{Ω} u (x, y) v (x, y) d x d y a n d t h e n o r m ∥ u ∥^{2} = \int_{Ω} | u (x, y {) |}^{2} d x d y .$ $(u, v)= \int_{Ω} u (x, y) v (x, y) d x d y a n d t h e n o r m ∥ u ∥^{2} = \int_{Ω} | u (x, y {)|}^{2} d x d y .$

The Sobolev space $W^{m, p} (Ω)$ $W^{m, p} (Ω)$ is a Banach space with the norm
$∥ ∥ ∥ ∥ u ∥_{W^{k, p} (Ω)}^{k, p} = \sum 0 \leq | α | \leq k ∥ D^{α} u ∥_{L^{p} (Ω)}^{p} .$ $∥ u ∥_{W^{k, p} (Ω)} = \sum_{0 \leq | α | \leq k} ∥ D^{α} u ∥_{L^{p} (Ω)} .$
When $p = 2, W^{m,2} (Ω) = H^{m} (Ω)$ $p =2, W^{m,2} (Ω)= H^{m} (Ω)$ is a Hilbert space with the following scalar product and the norm:

${((u, v))}_{H^{m} (Ω)}^{m} = \sum | j | \leq m (D^{j} u, D^{j} v), ∥ u ∥_{H^{m} (Ω)}^{2} = \sum | j | \leq m ∥ D^{j} u ∥^{2} .$ ${((u, v))}_{H^{m} (Ω)} = \sum_{| j | \leq m} (D^{j} u, D^{j} v), ∥ u ∥_{H^{m} (Ω)}^{2} = \sum_{| j | \leq m} ∥ D^{j} u ∥^{2} .$

Let $D (Ω)$ or $D (\bar{Ω})$ be the space of $C^{\infty}$ functions with compact support in $Ω$ or $\bar{Ω}$ . The closure of $C^{\infty}$ functions in $W^{m, p} (Ω)$ is denoted by $W_{0}^{m, p} (Ω)$ and $(H_{0}^{m} (Ω) w h e n p = 2) .$

Define the auxiliary spaces which are projections for the solenoidal vector functions,

$V ={u \in D (Ω), \nabla u =0}, V = the closure of V in H_{0}^{1} (Ω),$

$H = the closure of V in L^{2} (Ω),$

The space $H$ is eqquiped with the natural $L^{2}$ inner product. The space $V$ will be equipped with the scalar produt
$((u, v))=(D_{x} u, D_{x} v) + (D_{y} u, D_{y} v)$

when $Ω$ is bounded. If $Ω$ is unbounded, we define the inner product as the sum of the inner products as following:

$[[u, v]]=(u, v) + ((u, v)).$

We use the usual notations of Sobolev spaces $W^{k, p},$ $L^{p}$ and $H^{k}$ for vector functions and the following notations for the norms:
i) For vector functions $u (x, y, t)=(u_{1} (x, y, t), u_{2} (x, y, t)),$

$∥ u ∥_{L^{p} (Ω)}^{p} = \int_{Ω} (| u_{1} |^{p} + | u_{2} |^{p}) d x d y,$

$∥ u ∥_{W^{k, p} (Ω)} = \sum_{0 \leq | α | \leq k} ∥ D^{α} u_{1} ∥_{L^{p} (Ω)} + ∥ D^{α} u_{2} ∥_{L^{p} (Ω)}, p \in (1, + \infty).$

The closures of $V$ in $L^{2} (Ω)$ and in $H_{0}^{1} (Ω)$ are the basic spaces in our study. We denote them by $H$ and $V$ respectively.. Obviously $V$ is a subspace of $H_{0}^{1} (Ω).$

Define the operator

$(u \cdot \nabla) u =(u_{1} u_{1 x} + u_{1} u_{2 x} + u_{2} u_{1 y} + u_{2} u_{2 y}).$

Lemma 4.1 (The Steklov Inequality)¹⁶ Let $v \in H_{0}^{1} (0, L).$ Then

$\frac{π^{2}}{L^{2}} ∥ v ∥^{2} (t) \leq ∥ v_{x} ∥^{2} (t).$ (4)

Proof. Let $v (t) \in H_{0}^{1} (0, π)$ , then by the Fourier series,

$\int_{0}^{π} v_{t}^{2} (t) d t \geq \int_{0}^{π} v^{2} (t) d t .$

Inequality (4) follows by a simple scaling.

Lemma 4.2 (Differential form of the Grownwall Inequality) Let $I =[t_{0}, t_{1}].$ Suppose that functions $a, b : I \to ℝ$ are integrable and a function $a (t)$ may be of any sign. Let $u : I \to ℝ$ be a differentiable function satisfying

$u^{'} (t) \leq a (t) u (t) + b (t), for t \in I and u (t_{0})= u_{0},$ (5)

then
$u (t) \leq u_{0} e^{\int_{t_{0}}^{t} a (t) d t} + \int_{t_{0}}^{t} e^{\int_{t_{0}}^{s} a (r) d r} b (s) d s .$ (6)

Proof. Multiply (5) by the integrating factor $e^{\int_{t_{0}}^{s} a (r) d r}$ and integrate from $t_{0}$ to $t .$

The next Lemmas will be used in estimates:

Lemma 4.3 (See: ^11,14 ) Let $v \in H_{0}^{1} (Ω)$ , then

$∥ v ∥_{L^{4} (Ω)} \leq 2^{1/4} ∥ v ∥_{L^{2} (Ω)}^{1/2} ∥ \nabla v ∥_{L^{2} (Ω)}^{1/2} .$ (7)

Lemma 4.4 (See: ¹⁴ ) Let $b (u, v, w)=((u \cdot \nabla) v, w),$ then

$| b (u, v, w)| \leq 2^{1/2} ∥ u ∥^{1/2} ∥ u ∥_{V}^{1/2} ∥ v ∥_{V} ∥ w ∥^{1/2} ∥ w ∥_{V}^{1/2}$

$\forall u, v, w \in H_{0}^{1} (Ω)$ . If $u \in L^{2} (0, \infty; V) \cap L^{\infty} (0, \infty; H)$ , then we can define the operator $B u$ such that $B u$ belongs to $L^{2} (0, \infty; V^{'})$ and
$(B u, v)= b (u, u, v),$

$∥ B_{u} ∥_{L^{2} (0, \infty; V^{'})} \leq 2^{1/2} ∥ u ∥_{L^{\infty} (0, \infty; H)} ∥ u ∥_{L^{2} (0, \infty; V)} .$

Existence theorems

Let $Ω$ be a bounded Lipschitz domain. Given $u_{0} \in H,$ consider the following problem:

$(\begin{matrix} u_{t} - ν Δ u + \nabla p + (u \cdot \nabla) u =0 in Ω \times (0, t), \\ \nabla u =0 in Ω \times (0, t), \\ u =0 on \partial Ω \times (0, t), t >0, \\ u (x, y,0)= u_{0} (x, y), in Ω \end{matrix}$ (8)

equivalent to the variational problem given by,¹¹

$(\begin{matrix} u^{'} + A u + B u =0 in (0, t), t >0 \\ u (0)= u_{0}, \end{matrix}$ (9)

where $A u \in V^{'}$ such that $(A u, v)= - ν ((u, v))$ for all $v \in V$ and $B u \in V^{'}$ such that

$(B u, v)= b (u, u, v).$ (10)

Theorem 5.1 Given $u_{0} \in H^{2} (Ω) \cap V,$ there exists a unique generalized solution $u$ to (8) such that for all $Φ \in V, Φ |_{\partial Ω} =0$ it satisfies the following integral identity:

$\int_{Ω} {u_{t} Φ + ν (u_{x} Φ_{x} + u_{y} Φ_{y}) - u (u \cdot \nabla) Φ} d x d y =0,$ (11)

where

$u \in L^{\infty} (0, \infty; V), u_{t} \in L^{\infty} (0, \infty; H) \cap L^{2} (0; \infty; V).$

Proof. The estimates that follow may be established on Gallerkin approximations.14,9 We estimate:

Estimate I - $u \in L^{\infty} (0, \infty; H) \cap L^{2} (0, \infty; V)$ .

Multiply (9) by $u$ to obtain

$(u_{t}, u)(t) + (A u, u)(t)=0.$ (12)

It follows from here that

$\frac{d}{d t} ∥ u ∥^{2} (t) + 2 ν ∥ u ∥^{2} {(t)}_{V} =0.$ (13)

Integrating (13) over $(0, t),$ , we get

$∥ u ∥^{2} (t) + 2 ν \int_{0}^{t} ∥ u ∥_{V}^{2} (s) d s = ∥ u_{0} ∥^{2}, t >0.$ (14)
Hence $u \in L^{\infty} (0, \infty; H) \cap L^{2} (0, \infty; V)$ .

Estimate II - $u_{t} \in L^{\infty} (0, \infty; H) \cap L^{2} (0, \infty; V)$ .

Derivating (9) and multiplying by $u_{t},$ we get

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + 2 ν ∥ u_{t} ∥_{V}^{2} (t) + 2 b (u_{t}, u, u_{t})(t)=0.$ (15)

By Lemma 4.4,

$2| b (u_{t}, u, u_{t})(t)| \leq 2^{3/2} ∥ u_{t} ∥ (t) ∥ u_{t} ∥_{V} ∥ u ∥_{V}$

$\leq ν ∥ u_{t} ∥_{V}^{2} + \frac{2^{3}}{ν} ∥ u ∥_{V}^{2} (t) ∥ u_{t} ∥^{2} (t)$

and (15) becomes

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + ν ∥ u_{t} ∥_{V}^{2} (t) \leq ϕ (t) ∥ u_{t} ∥^{2} (t),$ (16)

where $ϕ (t)= \frac{2^{3}}{ν} ∥ u ∥_{V}^{2} (t).$ Making use of Lemma 4.2, we obtain

$∥ u_{t} ∥^{2} (t) \leq ∥ u_{t} ∥^{2} (0) e^{\int_{0}^{t} ϕ (s) d s} .$ (17)

To prove that $∥ u_{t} ∥ (0)$ is in $H,$ multiply equation (9) by $u_{t} (t)$ to get

$∥ u_{t} ∥^{2} (t) + ν ((u, u_{t}))(t) + b (u, u, u_{t})(t)=0.$

In particular, for $t =0$ we have

$∥ u_{t} (0) ∥^{2} = ν (Δ u_{0}, u_{t} (0)) - b (u_{0}, u_{0}, u_{t} (0)),$ (18)

where $u_{t} (0)= \lim_{t \to 0} u_{t} (t),$ [19]. From this

$∥ u_{t} (0) ∥ \leq ν ∥ Δ u_{0} ∥ + ∥ B u_{0} ∥ .$ (19)

By the Hölder inequality,

$| b (u, u, v)| \leq ∥ u ∥_{L^{4} (Ω)} (2 ∥ \nabla u ∥_{L^{4} (Ω)} + ∥ u_{2 x} ∥_{L^{4} (Ω)} + ∥ u_{1 y} ∥_{L^{4} (Ω)}) ∥ v ∥$
$\leq C ∥ u ∥_{V} ∥ u ∥_{H^{2} (Ω)} ∥ v ∥, \forall u \in H^{2} (Ω), \forall v \in L^{2} (Ω).$ (20)

Hence

$| B u_{0} | \leq C ∥ u_{0} ∥_{V} ∥ u_{0} ∥_{H^{2} (Ω)} \leq C ∥ u_{0} ∥_{H^{2} (Ω)}^{2}$ (21)

and by (18), $u_{t} (0) \in H .$ This and (16) imply that

$u_{t} \in L^{\infty} (0, \infty; H) \cap L^{2} (0, \infty; V).$

Returning to (12), we calculate

$ν ∥ u ∥_{V}^{2} (t)=(u, u_{t})(t) \leq ∥ u ∥ (t) ∥ u_{t} ∥ (t),$ (22)

hence $u \in L^{\infty} (0, \infty; V).$ This and (17) prove validity of (11) and consequently the existence part of Theorem 3.1. Uniqueness of the generalized solution, $u,$ $u_{t} \in L^{\infty} (0, \infty; H) \cap L^{2} (0, \infty; V)$ has been established.^9,14

Remark 5.1 Estimates $u, u_{t} \in L^{\infty} (0, \infty; H \cap L^{2} (0, \infty; V)$ were established first for Lipschitz domains9,14 and were valid also for unbounded domains with a natural condition $l i m_{| x | \to + \infty} u (x, y, t)=0.$ We repeat them because we will need these estimates while establishing decay of solutions in bounded and unbounded Lipschitz domains.

Regularity and decay on rectangles and on the half-strip

Consider the Poisson problem in a bounded rectangle $Ω$

$(\begin{matrix} Δ u = f (x, y), (x, y) \in Ω, \\ u |_{\partial Ω} =0, \end{matrix}$ (23)

Remark 6.1 It has been proved10 that for

$Ω_{π} ={x =(x_{1},..., x_{n}), 0< x_{i} < π; i =1,..., n}$

the following inequality holds

$∥ u ∥_{W^{2, p} (Ω_{π})} \leq C (Ω) ∥ f ∥_{L^{p} (Ω_{π})} .$

It is easy to generalize this result for any rectangle in $ℝ^{2} .$

Theorem 6.1 The problem (23) posed in rectangle $Ω ={(x, y) \in ℝ^{2},0< x < L; 0< y < B},$ where $f \in L^{p} (Ω),$ $1< p \leq 2,$ has a solution $u \in W^{2, p} (Ω).$ Moreover,

$∥ u ∥_{W^{2, p} (Ω)} \leq c_{Ω} ∥ f ∥_{L^{p} (Ω)} .$ (24)

Returning to the original problem for the Navier-Stokes equations,

$(\begin{matrix} u_{t} - ν Δ u + \nabla p + (u \cdot \nabla) u =0 in Ω \times (0, t) \\ \nabla u =0 in Ω \times (0, t), \\ u =0 in \partial Ω \times (0, t), t >0, \\ u (x, y,0)= u_{0} (x, y), in Ω, \end{matrix}$ (25)

where $u$ is a vector function from $ℝ^{2}$ into $ℝ^{2}$ and $p$ is a real function from $ℝ^{2}$ into $ℝ,$ and making use of Galerkin approximations, we establish the following result.

Theorem 6.2 Given $u_{0} \in H^{2} (Ω) \cap V,$ the problem (25) has a unique solution $(u, p)$ such that

$u \in L^{\infty} (0, \infty; V \cap H^{2} (Ω)), u_{t} \in L^{\infty} (0, \infty; H) \cap L^{2} (0, \infty; V),$
$\nabla p \in L^{\infty} (0, \infty; H).$ (26)

Moreover,

$∥ u_{t} ∥ (t) + ∥ u ∥ {(t)}_{H^{2} (Ω)} + ∥ \nabla p ∥ (t) \leq C e^{- \frac{1}{2} χ t},$ (27)
where $χ = ν (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}})$ and $C$ depends on $∥ u_{0} ∥_{H^{2} (Ω)} .$

Proof. Decay of $L^{2}$ Norm

By definition,

$∥ u ∥_{V}^{2} (t)= ∥ u_{x} ∥^{2} (t) + ∥ u_{y} ∥^{2} (t).$

Since $u |_{\partial Ω} =0,$ making use of Lemma 4.1, we get

$∥ u_{x} ∥^{2} (t) \geq \frac{π^{2}}{L^{2}} ∥ u ∥^{2} (t), ∥ u_{y} ∥^{2} (t) \geq \frac{π^{2}}{B^{2}} ∥ u ∥^{2} (t).$
This implies $∥ u ∥_{V}^{2} (t) \geq (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}}) ∥ u ∥^{2} (t).$ (28)

Returning to (12), we obtain

$\frac{d}{d t} ∥ u ∥^{2} (t) + 2 ν (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}}) ∥ u ∥^{2} (t) \leq 0.$ (29)

Define $χ = ν (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}}).$ Then (29) implies
$∥ u ∥^{2} (t) \leq ∥ u_{0} ∥^{2} e^{- 2 χ t} .$ (30)

Decay of $H^{1}$ Norm
Rewrite (15) in the form

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + ν ∥ u_{t} ∥_{V}^{2} (t) - ϕ (t) ∥ u_{t} ∥^{2} (t) \leq 0,$ (31)

where $ϕ = \frac{2^{3}}{ν} ∥ u ∥_{V}^{2} (t).$ Acting similarly to the proof of (29), we obtain

$∥ u_{t} ∥_{V}^{2} (t) \geq (\frac{π^{2}}{L^{2}} + \frac{π^{2}}{B^{2}}) ∥ u_{t} ∥^{2} (t).$ (32)

Hence (31) reduces to the form

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + (χ - ϕ (t)) ∥ u_{t} ∥^{2} (t) \leq 0.$ (33)

By Lemma 4.2,

$∥ u_{t} ∥^{2} (t) \leq ∥ u_{t} (0) ∥^{2} e^{\int_{0}^{t} ϕ (s) d s} e^{- χ t} .$ (34)

Since $u \in L^{2} (0, \infty, V),$ then by (14),

$\int_{0}^{t} ϕ (s) d s \leq \frac{2}{ν} ∥ u_{0} ∥^{2}, t >0,$

and it follows from (13) that

$ν ∥ u ∥_{V}^{2} (t) \leq (u, u_{t})(t) \leq ∥ u ∥ (t) ∥ u_{t} ∥ (t)$

$\leq ∥ u_{0} ∥ ∥ u_{0^{'}} ∥ e^{\frac{2}{ν} ∥ u_{0} ∥} e^{- χ t} e^{- \frac{1}{2} χ t} .$ (35)
Therefore $∥ u ∥_{V}^{2} (t) \leq \frac{1}{ν} ∥ u_{0} ∥ ∥ u_{0^{'}} ∥ e^{\frac{2}{ν} ∥ u_{0} ∥} e^{- \frac{3}{2} χ t}$ (36)
and $∥ u ∥_{H_{0}^{1} (Ω)}^{2} (t) \leq (\frac{1}{ν} ∥ u_{0} ∥ ∥ u_{0^{'}} ∥ e^{\frac{2}{ν} ∥ u_{0} ∥} + ∥ u_{0} ∥^{2}) e^{- \frac{3}{2} χ t} .$ (37)

Decay of $H^{2}$ -Norm
In order to estimate $∥ u ∥_{H^{2} (Ω)} (t),$ we will use Theorem 6.1. First write (8) as

$Δ u = f = \frac{1}{ν} (u_{t} + \nabla p - (u \cdot \nabla) u).$

We estimate

$| b (u, u, v)|(t)=|((u \cdot \nabla), v)(t)| \leq c_{2} ∥ u ∥ {(t)}_{L^{4} (Ω)} ∥ u ∥ {(t)}_{H_{0}^{1} (Ω)} ∥ v ∥ {(t)}_{L^{4} (Ω)}$
$\leq C ∥ u ∥^{2} {(t)}_{H_{0}^{1} (Ω)} ∥ v ∥ {(t)}_{L^{4} (Ω)}$ (38)

and by (30),

$∥ (u \cdot \nabla) u ∥ {(t)}_{L^{4/3} (Ω)} \leq C e^{- \frac{3}{2} χ t} .$

Returning to (9), we obtain

$∥ A u ∥_{L^{4/3} (Ω)} (t) \leq ∥ B u ∥_{L^{4/3} (Ω)} (t) + ∥ u_{t} ∥_{L^{2} (Ω)} (t).$ (39)

It follows by (38) and (34) that $∥ A u ∥ {(t)}_{L^{4/3}} \leq C e^{- \frac{1}{2} χ t} .$ By Theorem of de Rham,¹⁷ one can check that there exists $\nabla p$ such that¹¹

$- \nabla p = u_{t} + A u + B u$ (40)

and

$∥ \nabla p ∥_{L^{4/3} (Ω)} (t) \leq ∥ u_{t} ∥_{L^{2} (Ω)} (t) + ∥ A u ∥_{L^{4/3} (Ω)} (t)$
$+ ∥ B u ∥_{L^{4/3} (Ω)} (t) \leq C e^{- \frac{1}{2} χ t} .$ (41)

Since $f \in L^{4/3} (Ω),$ due to Theorem 6.1,

$∥ u ∥ {(t)}_{W^{2, \frac{4}{3}} (Ω)} \leq ∥ u_{t} ∥_{L^{2} (Ω)} (t) + ∥ \nabla p ∥_{L^{4/3} (Ω)} (t)$
$+ ∥ (u \cdot \nabla) u ∥_{L^{4/3} (Ω)} (t)$ (42)

and by (42), we get $∥ u ∥ {(t)}_{W^{2,4/3} (Ω)} \leq C e^{- \frac{1}{2} χ t} .$ By the Sobolev theorems,

$∥ u ∥_{L^{\infty} (Ω)} (t) \leq C ∥ u ∥_{W^{2,4/3} (Ω)} (t) \leq C e^{- \frac{1}{2} χ t} .$ (43)
This implies

$∥ B u ∥ (t) \leq C ∥ u ∥ {(t)}_{L^{\infty} (Ω)} ∥ u ∥ {(t)}_{H_{0}^{1} (Ω)} \in L^{2} (Ω).$

To prove that the norms $∥ u_{t} ∥_{L^{2},}$ $∥ \nabla p ∥_{L^{2} (Ω)}$ and $∥ (u \cdot \nabla) u ∥_{L^{2} (Ω)}$ have exponential decay, we use the equality (10)

$∥ (u \cdot \nabla) u ∥ (t)= ∥ B u ∥ (t),$

where $B u \in L^{2} (Ω)^{'}$ such that

$〈 B u, v 〉 = \int_{Ω} (u_{1} u_{1 x} v_{1} + u_{1} u_{1 y} v_{2} + u_{2} u_{2 x} v_{1} + u_{2} u_{2 y} v_{2}) d Ω$

for every $v \in L^{2} (Ω).$ We calculate

$| b (u, u, v)|(t) \leq C ∥ u ∥_{L^{\infty} (Ω)} (t) ∥ u ∥_{H_{0}^{1} (Ω)} (t) ∥ v ∥ (t).$ (44)

Since the right-hand side of (44) has exponential decay for every $v \in L^{2} (Ω),$ it follows

$∥ (u \cdot \nabla) u ∥ (t) \leq C e^{- \frac{5}{4} χ t} .$ (45)

Returning to (9), we obtain the decay rate for the operator $A u$

$∥ A u ∥ (t) \leq ∥ B u ∥ (t) + ∥ u_{t} ∥ (t).$

It follows from (34) and (45) that $∥ A u ∥ (t) \leq C e^{- \frac{1}{2} χ t} .$ By (40),

$∥ \nabla p ∥_{L^{2}} (t) \leq ∥ u_{t} ∥ (t) + ∥ A u ∥ (t) + ∥ B u ∥ (t) \leq C e^{- \frac{1}{2} χ t} .$ (46)

Since now $f \in L^{2} (Ω),$ substituting (34), (45), (46) into (24) and making use of Theorem 6,1, we prove
$∥ u ∥_{H^{2} (Ω)} (t) \leq C e^{- \frac{1}{2} χ t} .$ It means that a unique generalized soliution is regular.

The proof of Theorem 6.2 is complete.

Existence and decay on the half-strip

Theorem 7.1 Consider the half-strip $Ω ={(x, y) \in ℝ^{2};0< x, 0< y < B}.$ Given $u_{0} \in H^{2} (Ω) \cap V,$ the following problem:

$(\begin{matrix} u_{t} - ν Δ u + \nabla p + (u \cdot \nabla) u =0 in Ω \times (0, t), \\ \nabla u =0 in Ω \times (0, t), \\ u =0 on \partial Ω \times (0, t), t >0, \\ \lim_{x \to \infty} | u (x, y, t)|=0, t >0, \\ u (x, y,0)= u_{0} (x), in Ω \end{matrix}$ (47)

has a unique solution $(u, p)$ such that

$u \in L^{\infty} (0, \infty; H_{0}^{1} (Ω)), u_{t} \in L^{\infty} (0, \infty; L^{2} (Ω)),$
$\nabla p \in L^{\infty} (0, \infty; L^{2} (Ω)).$ (48)

Moreover,

$∥ u_{t} ∥ (t) + ∥ u ∥_{H_{0}^{1} (Ω)} (t) + ∥ \nabla p ∥_{L^{4/3} (Ω)} (t) \leq C_{2} e^{- \frac{1}{2} θ t},$ (49)

where $θ = ν \frac{π^{2}}{B^{2}}$ and $C_{2}$ depends on $ν,$ $∥ u_{0} ∥_{H^{2} (Ω)} .$

Proof. Obviously, the variational formulation of (47) is also (9). Repeating the proof of Theorem 5.1 (see Remark 3.1), we can proof the existence and uniqueness of the generalized solution18 to problem (47). Note that (14) holds for the problem (47). Using the Steklov inequality with respect to variable $y,$ we obtain

$∥ u_{y} ∥^{2} \geq \frac{π^{2}}{B^{2}} ∥ u ∥^{2},$

hence, similarly to (13),

$\frac{d}{d t} ∥ u ∥^{2} (t) + 2 ν \frac{π^{2}}{B^{2}} ∥ u ∥^{2} (t) + 2 ν ∥ u_{x} ∥^{2} (t) \leq 0.$ (50)

By Lemma 5, $∥ u ∥^{2} (t) \leq ∥ u_{0} ∥^{2} e^{- 2 ν \frac{π^{2}}{B^{2}} t} .$ (51)

Since (31) holds for the problem (47), making use of Lemma 4.4, we estimate

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + 2 ν ∥ u_{t} ∥^{2} {(t)}_{V} \leq 2 ∥ u_{t} ∥ (t) ∥ u ∥ {(t)}_{V} ∥ u_{t} ∥ {(t)}_{V}$ (52)

which we rewrite as

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + ν ∥ u_{t} ∥_{V}^{2} (t) - \frac{2}{ν} ∥ u ∥_{V}^{2} (t) ∥ u_{t} ∥^{2} (t) \leq 0.$ (53)

By Lemma 4.1,

$∥ u_{t y} ∥^{2} (t) \geq \frac{π^{2}}{B^{2}} ∥ u_{t} ∥^{2} (t)$

and (53) becomes

$\frac{d}{d t} ∥ u_{t} ∥^{2} (t) + [ν \frac{π^{2}}{B^{2}} - \frac{2}{ν} ∥ u ∥_{V}^{2} (t)] ∥ u_{t} ∥^{2} (t) \leq 0.$ (54)

By Lemma 5, (54) provides

$∥ u_{t} ∥^{2} (t) \leq ∥ u_{t} ∥^{2} (0) e^{\frac{2^{3}}{ν} \int_{0}^{t} ∥ u ∥_{V}^{2} (s) d s} e^{- ν \frac{π^{2}}{B^{2}} t},$

hence

$∥ u_{t} ∥^{2} (t) \leq ∥ u_{t} ∥^{2} (0) e^{\frac{2}{ν} ∥ u_{0} ∥} e^{- ν \frac{π^{2}}{B^{2}} t} .$ (55)

Returning to (35), we estimate

$∥ u ∥_{V}^{2} (t) \leq \frac{1}{ν} ∥ u_{t} ∥ (t) ∥ u ∥ (t) \leq \frac{1}{ν} ∥ u_{0} ∥ ∥ u_{t} ∥ (0) e^{\frac{2}{ν} ∥ u_{0} ∥} e^{- ν \frac{3 π^{2}}{2 B^{2}} t} .$ (56)

Decay for Pressure
In order to obtain decay for $∥ \nabla p ∥_{L^{4/3} (Ω)} (t),$ we start with

$∥ (u \cdot \nabla) u ∥_{L^{4/3} (Ω)} (t)= ∥ B u ∥_{L^{4} (Ω)^{'}} (t),$

where $L^{4} (Ω)^{'}$ is the dual of the space $L^{4} (Ω).$ Since

$A u = - u_{t} - B u,$

repeating calculations of (38) and making use of (34), we get

$∥ A u ∥ {(t)}_{L^{4/3} (Ω)} \leq c_{1} e^{- \frac{1}{2} θ t} .$ Observing that (40) holds for the problem (47), we obtain

$∥ \nabla p ∥_{L^{4/3} (Ω)} (t) \leq ∥ u_{t} ∥_{L^{2} (Ω)} (t) + ∥ A u ∥_{L^{4/3} (Ω)} (t)$
$+ ∥ B u ∥_{L^{4/3} (Ω)} (t) \leq c_{2} e^{- \frac{1}{2} θ t} .$ (57)

Jointly (55), (56) and (57) prove (48), (49).

Conclusion

In our work, we tried to respond some questions posed by J. Leray,¹ namely, regularity of global solutions of the Navier-Stokes equations and their decay. Therefore, our results can be divided in two parts: the first one concerns decay of global regular solutions of the 2D Navier-Stokes equations posed on rectangles.¹⁹ It is known that there exist global regular solutions for the 2D Navier-Stokes equations posed on smooth bounded domains,^4,10,11,14 but regularity in nonsmooth (Lipschitz) domains, such as rectangles, is not obvious. For bounded rectangles, we have established the existence of an unique global regular solution which decays exponentially as We demonstrated that the decay rate is different for different norms, see (26), (30), (36), whereis defined by the geometrical characteristics of a domain

The second part of our work concerns decay of solutions for the 2D Navier-Stokes equations posed on a half-strip. In existing publications,^3–11 the decay rate of is controlled by the first eigenvalue of the operatorwhereis the projection operator on solenoidal subspace of It is clear that this approach does not work in unbounded domains On the other hand, our approach based on the Steklov inequality with respect toallowed us to estimate the decay rate of a generalized solution for the 2D Navier-Stokes equations posed on a half-strip.

We must emphasize that this estimate is the first in the history which gives an explicit value of the decay rate for unbounded domains. Results established in our work can be used in constructing of numerical schemes for solving initial-boundary value problems for the Navier-Stokes equations appearing in Mechanics of viscous liquid. From the physical point of view, decay estimates show that the decay rate of perturbations of solutions caused by the initial data is bigger for bigger values of viscosityand smaller values of the width and length of the rectangles and the width of a half-strip.