Startseite Mathematik Asymptotic analysis of Leray solution for the incompressible NSE with damping
Artikel Open Access

Asymptotic analysis of Leray solution for the incompressible NSE with damping

  • Mongi Blel EMAIL logo und Jamel Benameur
Veröffentlicht/Copyright: 9. August 2024
Veröffentlichen auch Sie bei De Gruyter Brill

Abstract

In 2008, Cai and Jiu showed that the Cauchy problem of the Navier-Stokes equations, with damping α u β 1 u for α > 0 and β 1 has global weak solutions in L 2 ( R 3 ) . In this article, we study the uniqueness and the continuity in L 2 ( R 3 ) of this global weak solution. We also prove the large time decay for this global solution for β 10 3 .

1 Introduction

Consider the three-dimensional Navier-Stokes equations (NSEs) with nonlinear damping

(NSD) t u ν Δ u + u . u + α u β 1 u = p in R + × R 3 div u = 0 in R + × R 3 u ( 0 , x ) = u 0 ( x ) in R 3 α > 0 , β > 1 ,

where u = u ( t , x ) = ( u 1 , u 2 , u 3 ) and p = p ( t , x ) are, respectively, the unknown velocity and the pressure of the fluid at ( t , x ) R + × R 3 , ν represents the viscosity of the fluid, and u 0 = ( u 1 0 ( x ) , u 2 0 ( x ) , u 3 0 ( x ) ) represents the initial given velocity.

The NSEs govern the motion of incompressible fluids. The damping is from the resistance to the motion of the flow and describes various physical situations (see [1] and references therein).

The global existence of a weak solution to the initial value problem of the classical incompressible Navier-Stokes was proved by Leray and Hopf (see [2,3]) long before. The uniqueness remains an open problem for the dimensions d 3 .

The case of polynomial damping α u β 1 u was studied in 2005 by Zhou [4] for α = 1 . He proved the existence of global strong solution for β 3 .

In 2008, Cai and Jiu [5] proved the existence of global weak solution for β 1 , the existence of global strong solution for β 7 2 , and the uniqueness of the strong solution for 7 2 β 5 . They employ the Galerkin approximations to construct the global solution of the system (NSD).

In 2011, Jia et al. [6] studied the L 2 decay of the weak solutions with β 10 3 and α = 1 .

For β > 3 and u 0 in a suitable space, Zhang et al. [7] proved the existence of global strong solution and they prove the uniqueness if 3 < β 5 . They also stated the existence and uniqueness of the strong solution to the system (NSD) for β > 3 , α > 0 , and α 1 2 if β = 3 .

In 2017, Liu and Gao [8] established the L 2 decay of the weak solutions for β > 2 and α > 0 . They also stated the asymptotic stability of the solution if β > 3 and α > 0 and if β = 3 for α 1 2 .

In this article, we study the uniqueness, continuity, and the large time decay of the global solution of the system (NSD). We use the Friedrich method to prove the continuity and the uniqueness of such solution for β > 3 . We also study the large time decay for β 10 3 . Precisely, our main result is the following:

Theorem 1.1

Let β > 3 and u 0 L 2 ( R 3 ) a divergence-free vector field, then there is a unique global solution of ( N S D ) : u C b ( R + , L 2 ( R 3 ) ) L 2 ( R + , H ˙ 1 ( R 3 ) ) L β + 1 ( R + , L β + 1 ( R 3 ) ) . Moreover, for all t 0

(1.1) u ( t ) L 2 2 + 2 0 t u ( s ) L 2 2 d s + 2 α 0 t u ( s ) L β + 1 β + 1 d s u 0 L 2 2 .

Also, if β 10 3 , we have

(1.2) lim t u ( t ) L 2 = 0 .

Remark 1.2

  1. In [6], the authors study the L 2 decay of weak solutions by developing the Fourier splitting method [9, 10] for α = 1 and β 10 3 . In this article, we use a different method called the Friedrich method to study the L 2 decay of the weak solution. We prove the uniqueness, the continuity of the global solution in L 2 ( R 3 ) , and the asymptotic behavior (1.2). This inequality is proved in [5].

  2. The case of fractional order NSEs with damping can be studied based on the previous work [11,12].

2 Preliminary results

In the following, we recall some preliminary results. The reader is referred to [1214] for more details of the proofs.

Proposition 2.1

  1. In a Hilbert space H, the unit ball is weakly compact, i.e., if ( x n ) n is a sequence in the unit ball of H, then there is a subsequence ( x φ ( n ) ) n such that

    lim n + ( x φ ( n ) y ) = ( x y ) , y H .

  2. If x H is a weak limit of a bounded sequence ( x n ) n in H , then

    x liminf n x n .

  3. If x H is a weak limit of a bounded sequence ( x n ) n in H , and limsup n x n x , then lim n x n x = 0 .

Lemma 2.2

Let s 1 and s 2 be two real numbers and N N .

  • If s 1 < N 2 and s 1 + s 2 > 0 , there exists a constant C 1 = C 1 ( N , s 1 , s 2 ) , such that if f , g H ˙ s 1 ( R N ) H ˙ s 2 ( R N ) , then f . g H ˙ s 1 + s 2 N 2 ( R N ) and

    f g H ˙ s 1 + s 2 N 2 C 1 ( f H ˙ s 1 g H ˙ s 2 + f H ˙ s 2 g H ˙ s 1 ) .

  • If s 1 , s 2 < N 2 and s 1 + s 2 > 0 , there exists a constant C 2 = C 2 ( N , s 1 , s 2 ) such that if f H ˙ s 1 ( R N ) and g H ˙ s 2 ( R N ) , then f . g H ˙ s 1 + s 2 N 2 ( R N ) and

    f g H ˙ s 1 + s 2 N 2 C 2 f H ˙ s 1 g H ˙ s 2 .

Lemma 2.3

Let r > 0 , then, for all x , y R N , we have

(2.1) x r x y r y , x y 1 2 ( x r + y r ) x y 2 .

The Leray projector P : ( L 2 ( R 3 ) ) 3 ( L σ 2 ( R 3 ) ) 3 is defined by

( P f ) = f ^ ( ξ ) f ^ ( ξ ) . ξ ξ ξ ξ = M ( ξ ) f ^ ( ξ ) ,

where M ( ξ ) is the matrix δ k , ξ k ξ ξ 2 1 k , 3 and L σ 2 ( R 3 ) represents the space of divergence-free vector fields in L 2 ( R 3 ) . In particular, if u is in the Schwartz space ( S ( R 3 ) ) 3 , the Leray projector P is given by

P ( u ) k ( x ) = 1 ( 2 π ) 3 2 R 3 δ k j ξ k ξ j ξ 2 u ^ j ( ξ ) e i ξ x d ξ .

For R > 0 , the Friedrich operator J R is defined on L 2 ( R 3 ) by J R ( D ) f = 1 ( χ B R f ^ ) and the operator A R ( D ) is defined by

A R ( D ) u = P J R ( D ) u = 1 ( M ( ξ ) χ B R ( ξ ) u ^ ) ,

with B R the ball of center 0 and radius R > 0 .

The following result is a generalization of Proposition 3.1 in [15]. The proof is similar to that of Proposition 2.4 in [12].

Proposition 2.4

Let ν 1 , ν 2 , ν 3 [ 0 , ) , r 1 , r 2 , r 3 ( 0 , ) , and f 0 L σ 2 ( R 3 ) .

For n N , let F n : R + × R 3 R 3 be a measurable function in C 1 ( R + , L 2 ( R 3 ) ) such that A n ( D ) F n = F n , F n ( 0 , x ) = A n ( D ) f 0 ( x ) , and

t F n + k = 1 3 ν k D k 2 r k F n + A n ( D ) div ( F n F n ) + A n ( D ) h ( F n ) F n = 0 .

F n ( t ) L 2 2 + 2 k = 1 3 ν k 0 t D k r k F n ( s ) L 2 2 d s + 2 0 t h ( F n ( s ) ) F n ( s ) 2 L 1 d s f 0 L 2 2 ,

where h ( z ) = α z β 1 , with α > 0 and β > 3 . Then: for every ε > 0 there is δ = δ ( ε , α , β , ν 1 , ν 2 , ν 3 , r 1 , r 2 , r 3 , f 0 L 2 ) > 0 such that for all t 1 , t 2 R + , we have

( t 2 t 1 < δ F n ( t 2 ) F n ( t 1 ) H s 0 < ε ) , n N ,

with s 0 max ( 3 , 2 r 1 , 2 r 2 , 2 r 3 ) .

3 Proof of Theorem 1.1

3.1 Existence of solution

Consider the approximate system:

( NSD n ) t u Δ J n u + J n ( J n u . J n u ) + α J n [ J n u β 1 J n u ] = p n in R + × R 3 p n = ( Δ ) 1 ( div J n ( J n u . J n u ) + α div J n [ J n u β 1 J n u ] ) div u = 0 in R + × R 3 u ( 0 , x ) = J n u 0 ( x ) in R 3 .

  • By the Cauchy-Lipschitz theorem, there exists a unique solution u n C 1 ( R + , L σ 2 ( R 3 ) ) of the system ( NSD n ) such that J n u n = u n and

    (3.1) u n ( t ) L 2 2 + 2 0 t u n ( s ) L 2 2 d s + 2 α 0 t u n ( s ) L β + 1 β + 1 d s u 0 L 2 2 .

  • The sequence ( u n ) n is bounded on L 2 ( R 3 ) and H 1 ( R 3 ) . Hence, by Proposition 2.4 and the interpolation method, the sequence ( u n ) n is equicontinuous on H 1 ( R 3 ) .

  • For a strictly increasing sequence ( T k ) k such that lim k + T k = , consider a sequence of functions ( δ k ) k in C 0 ( R 3 ) such that

    δ k ( x ) = 1 , for x k + 5 4 δ k ( x ) = 0 , for x k + 2 0 δ k 1 .

    Using the energy estimate (3.1), the equicontinuity of the sequence ( u n ) n on H 1 ( R 3 ) and classical argument by combining Ascoli’s theorem and the Cantor diagonal process, there exists a subsequence ( u φ ( n ) ) n and u L ( R + , L 2 ( R 3 ) ) C ( R + , H 3 ( R 3 ) ) such that for all k N ,

    (3.2) lim n δ k ( u φ ( n ) u ) L ( [ 0 , T k ] , H 4 ) = 0 .

    In particular, the sequence ( u φ ( n ) ( t ) ) n is weakly convergent in L 2 ( R 3 ) to u ( t ) for all t 0 .

  • Using the same method as in [15], we obtain

    (3.3) u ( t ) L 2 2 + 2 0 t u ( s ) L 2 2 d s + 2 α 0 t u ( s ) L β + 1 β + 1 d s u 0 L 2 2 ,

    for all t 0 , and u a solution of the system ( N S D ) .

3.2 Continuity of the solution in L 2

Using inequality (3.3), we obtain limsup t 0 u ( t ) L 2 u 0 L 2 and by Proposition 2.1-(3), we have limsup t 0 u ( t ) u 0 L 2 = 0 . This ensures the continuity of the solution u at 0. To prove the continuity on R + , consider the functions v n , ε ( t ) = u φ ( n ) ( t + ε ) , p n , ε ( t ) = p φ ( n ) ( t + ε ) , for n N and ε > 0 . We have

t u φ ( n ) Δ u φ ( n ) + J φ ( n ) ( u φ ( n ) . u φ ( n ) ) + α J φ ( n ) ( u φ ( n ) β 1 u φ ( n ) ) = p φ ( n ) t v n , ε Δ v n , ε + J φ ( n ) ( v n , ε . v n , ε ) + α J φ ( n ) ( v n , ε β 1 v n , ε ) = p n , ε .

The function w n , ε = u φ ( n ) v n , ε verifies the following:

t w n , ε Δ w n , ε + α J φ ( n ) ( u φ ( n ) β 1 u φ ( n ) v φ ( n ) β 1 v n , ε ) = ( p φ ( n ) p n , ε ) + J φ ( n ) ( w n , ε . w n , ε ) J φ ( n ) ( w n , ε . u φ ( n ) ) J φ ( n ) ( u φ ( n ) . w n , ε ) .

Taking the scalar product with w n , ε in L 2 ( R 3 ) and using that div w n , ε = 0 and w n , ε . w n , ε , w n , ε = 0 , we obtain

(3.4) 1 2 d d t w n , ε ( t ) L 2 2 + w n , ε ( t ) L 2 2 + α J φ ( n ) ( u φ ( n ) β 1 u φ ( n ) v n , ε β 1 v n , ε ) ; w n , ε L 2 = J φ ( n ) ( w n , ε . u φ ( n ) ) ; w n , ε L 2 .

By inequality (2.1), we have

J φ ( n ) ( u φ ( n ) β 1 u φ ( n ) v n , ε β 1 v n , ε ) ; w n , ε L 2 = u φ ( n ) β 1 u φ ( n ) v n , ε β 1 v n , ε ; J φ ( n ) w n , ε L 2 = u φ ( n ) β 1 u φ ( n ) v n , ε β 1 v n , ε ; w n , ε L 2 1 2 R 3 ( u φ ( n ) β 1 + v n , ε β 1 ) w n , ε 2 1 2 R 3 u φ ( n ) β 1 w n , ε 2 ,

which implies

(3.5) α J φ ( n ) ( u φ ( n ) β 1 u φ ( n ) ( v n , ε β 1 v n , ε ) ) ; w n , ε L 2 α 2 R 3 u φ ( n ) β 1 w n , ε 2 .

Also, we have

J φ ( n ) ( w n , ε . u φ ( n ) ) ; w n , ε L 2 R 3 w n , ε . u φ ( n ) . w n , ε 1 2 R 3 w n , ε 2 u φ ( n ) 2 + 1 2 w n , ε L 2 2 .

The convex inequality a b a p p + b q q a p + b q , with p = β 1 2 , q = β 1 β 3 , a = w n , ε 2 ( α 2 ) 2 β 1 , b = ( 2 α ) 2 β 1 , yields

J φ ( n ) ( w n , ε . u φ ( n ) ) ; w n , ε L 2 α 4 R 3 w n , ε β 1 u φ ( n ) 2 + C α , β w n , ε L 2 2 + 1 2 w n , ε L 2 2 ,

where C α , β = 1 2 ( 2 α ) 2 β 3 . Combining this inequality and inequalities (3.4), (3.5), and (3.6), we obtain

d d t w n , ε L 2 2 + w n , ε L 2 2 2 C α , β w n , ε L 2 2 .

By the Gronwall lemma, we deduce

w n , ε ( t ) L 2 w n , ε ( 0 ) L 2 e C α , β t

and

u φ ( n ) ( t + ε ) u φ ( n ) ( t ) L 2 u φ ( n ) ( ε ) u φ ( n ) ( 0 ) L 2 e C α , β t .

For t 0 > 0 and ε ( 0 , t 0 ) , we have

u φ ( n ) ( t 0 + ε ) u φ ( n ) ( t 0 ) L 2 u φ ( n ) ( ε ) u φ ( n ) ( 0 ) L 2 e C α , β t 0 .

u φ ( n ) ( t 0 ε ) u φ ( n ) ( t 0 ) L 2 u φ ( n ) ( ε ) u φ ( n ) ( 0 ) L 2 e C α , β t 0 .

So

u φ ( n ) ( ε ) u φ ( n ) ( 0 ) L 2 2 = J φ ( n ) u φ ( n ) ( ε ) J φ ( n ) u φ ( n ) ( 0 ) L 2 2 = J φ ( n ) ( u φ ( n ) ( ε ) u 0 ) L 2 2 u φ ( n ) ( ε ) u 0 L 2 2 u φ ( n ) ( ε ) L 2 2 + u 0 L 2 2 2 R e u φ ( n ) ( ε ) , u 0 2 u 0 L 2 2 2 R e u φ ( n ) ( ε ) , u 0 .

But lim n + u φ ( n ) ( ε ) , u 0 = u ( ε ) , u 0 , hence

liminf n u φ ( n ) ( ε ) u φ ( n ) ( 0 ) L 2 2 2 u 0 L 2 2 2 Re u ( ε ) ; u 0 L 2 .

Moreover, for all k , N N

J N ( δ k . ( u φ ( n ) ( t 0 ± ε ) u φ ( n ) ( t 0 ) ) ) L 2 2 δ k . ( u φ ( n ) ( t 0 ± ε ) u φ ( n ) ( t 0 ) ) L 2 2 u φ ( n ) ( t 0 ± ε ) u φ ( n ) ( t 0 ) L 2 2 .

Using (3.2) we obtain, for k big enough,

J N ( δ k . ( u ( t 0 ± ε ) u ( t 0 ) ) ) L 2 liminf n u φ ( n ) ( t 0 ± ε ) u φ ( n ) ( t 0 ) L 2 .

Then

J N ( δ k . ( u ( t 0 ± ε ) u ( t 0 ) ) ) L 2 2 2 ( u 0 L 2 2 Re u ( ε ) ; u 0 L 2 ) e 2 C α , β t 0 .

By applying the monotone convergence theorem in the order N and q , we obtain

u ( t 0 ± ε ) u ( t 0 ) L 2 2 2 ( u 0 L 2 2 R e u ( ε ) ; u 0 L 2 ) e 2 C α , β t 0 .

Using the continuity at 0, we deduce the continuity at t 0 by making ε 0 .

3.3 Uniqueness

Let u and v be two solutions of ( N S D ) in the space

C b ( R + , L 2 ( R 3 ) ) L 2 ( R + , H ˙ 1 ( R 3 ) ) L β + 1 ( R + , L β + 1 ( R 3 ) ) .

The function w = u v satisfies the following:

t w Δ w + α ( u β 1 u v β 1 v ) = ( p p ˜ ) + w . w w . u u . w .

Taking the scalar product in L 2 with w , we obtain

1 2 d d t w L 2 2 + w L 2 2 + α ( u β 1 u v β 1 v ) ; w L 2 = w . u ; w L 2 .

By adapting the same method for the proof of the continuity of such solution in L 2 ( R 3 ) , with u , v , w instead of u φ ( n ) , v n , ε , w n , ε in order, we find

α ( u β 1 u v β 1 v ) ; w L 2 α 2 R 3 u β 1 w 2

and

w . u ; w L 2 α 4 R 3 w 2 u 2 + C α , β w L 2 2 + 1 2 w L 2 2 .

Combining the above inequalities, we obtain the following energy estimate:

d d t w ( t ) L 2 2 + w ( t ) L 2 2 2 C α , β w ( t ) L 2 2 .

By Gronwall lemma inequality, we obtain

w ( t ) L 2 2 + 0 t w L 2 2 w 0 L 2 2 e 2 C α , β t .

As w 0 = 0 , then w = 0 and u = v , which implies the uniqueness.

3.4 Asymptotic study of the global solution

To prove the asymptotic behavior (1.2), we need some preliminary lemmas:

Lemma 3.1

If u is a global solution of ( N S D ) with β 10 3 , then u L β ( R + × R 3 ) .

Proof

Let E 1 = { ( t , x ) : u ( t , x ) 1 } , E 2 = { ( t , x ) : u ( t , x ) > 1 } , L 1 = E 1 u ( s , x ) β d x d s , and L 2 = E 2 u ( s , x ) β d x d s . We have

L 1 = E 1 u ( s , x ) β d x d s = E 1 u ( s , x ) β 10 3 u ( s , x ) 10 3 d x d s 0 u ( s ) L 10 3 10 3 d s .

Using the Sobolev injection H ˙ 3 5 ( R 3 ) L 10 3 ( R 3 ) , we obtain

L 1 C 0 u ( s ) H ˙ 3 5 10 3 d s .

By interpolation inequality u ( s ) H ˙ 3 5 u ( s ) H ˙ 0 2 5 u ( s ) H ˙ 1 3 5 , we obtain

L 1 C 0 u ( s ) L 2 4 3 u ( s ) L 2 2 C u 0 L 2 4 3 0 u ( s ) L 2 2 .

Moreover, for the term L 2 , we have

L 2 = E 2 u ( s , x ) β d x d s 0 R 3 u ( s , x ) β + 1 d x d s .

Hence

u L β ( R + × R 3 ) C u 0 L 2 4 3 0 u ( s ) L 2 2 d s + 0 R 3 u ( s , x ) β + 1 d x d s .

Therefore, u L β ( R + × R 3 ) .□

Lemma 3.2

If u is a global solution of ( N S D ) , with β 10 3 , then lim t u ( t ) H 2 = 0 .

Proof

For ε > 0 , using the energy inequality (1.1) and Lemma 3.1, there exists t 0 0 such that

(3.6) u L 2 ( [ t 0 , ) × R 3 ) < ε 4

and

(3.7) u L β ( [ t 0 , ) × R 3 ) < ε 4 .

Now, consider the following system:

(NSD′) t v ν Δ v + v . v + α v β 1 v = q in R + × R 3 div v = 0 in R + × R 3 v ( 0 , x ) = u ( t 0 , x ) in R 3 .

By the existence and uniqueness part, the system ( NSD ) has a unique global solution v C b ( R + , L 2 ( R 3 ) ) L 2 ( R + , H ˙ 1 ( R 3 ) ) L β + 1 ( R + , L β + 1 ( R 3 ) ) such that v ( t 0 ) = u ( t 0 , x ) and q ( t ) = p ( t 0 + t ) . The energy estimate for this system is as follows:

v ( t ) L 2 2 + 2 0 t v ( s ) L 2 2 d s + 2 a 0 t v ( s ) L β + 1 β + 1 u ( t 0 ) L 2 2 u 0 L 2 2 .

By the Duhamel formula, we obtain

v ( t , x ) = e t Δ v 0 ( x ) + f ( t , x ) + g ( t , x ) ,

where

f ( t , x ) = 0 t e ( t s ) Δ P div ( v v ) ( s , x ) d s

and

g ( t , x ) = α 0 t e ( t s ) Δ P div v ( s , x ) β 1 v ( s , x ) d s .

By dominated convergence theorem, lim t e t Δ v 0 L 2 = 0 and hence lim t e t Δ v 0 H 2 = 0 . Moreover,

f ( t ) H 2 2 f ( t ) H 1 2 2 f ( t ) H ˙ 1 2 2 R 3 ξ 1 0 t e ( t s ) ξ 2 div ( v v ) ( s , ξ ) d s 2 d ξ R 3 ξ 0 t e ( t s ) ξ 2 ( v v ) ( s , ξ ) d s 2 d ξ .

Since

0 t e ( t s ) ξ 2 ( v v ) ( s , ξ ) d s 2 0 t e 2 ( t s ) ξ 2 d s 0 t ( v v ) ( s , ξ ) 2 d s ξ 2 0 t ( v v ) ( s , ξ ) 2 d s ,

then

f ( t ) H 2 2 d t R 3 ξ 1 0 t ( v v ) ( s , ξ ) 2 d s d ξ 0 t R 3 ξ 1 ( v v ) ( s , ξ ) 2 d ξ d s = 0 t ( v v ) ( s ) H ˙ 1 2 2 d s .

Using the product law in homogeneous Sobolev spaces, with s 1 = 0 , s 2 = 1 , we obtain

f ( t ) H 2 2 d t C 0 t v ( s ) L 2 2 v ( s ) L 2 2 d s .

Using inequalities (3.6) and (3.7), we obtain

f ( t ) H 2 2 d t C u 0 L 2 2 0 t u ( t 0 + s ) L 2 2 d s C u 0 L 2 2 0 u ( t 0 + s ) L 2 2 d s C u 0 L 2 2 t 0 u ( s ) L 2 2 d s C u 0 L 2 2 ε 2 9 ( C u 0 L 2 2 + 1 ) ,

which implies that f ( t ) H 2 < ε 3 , t 0 .

For an estimation of g ( t ) H 2 , using the injection L 1 ( R 3 ) H s ( R 3 ) , s > 3 2 , with s = 2 , we obtain

g ( t ) H 2 2 d t R 3 ( 1 + ξ 2 ) 2 0 t e ( t s ) ξ 2 ( v β 1 v ) ( s , ξ ) d s 2 d ξ C 0 t ( v β 1 v ) ( s , . ) L 1 ( R 3 ) d s 2 C 0 t v ( s , . ) β L 1 ( R 3 ) d s 2 C v L β ( R + × R 3 ) 2 ,

where C = R 3 ( 1 + ξ 2 ) 2 d ξ .

Also, using inequality (3.7), we obtain

g ( t ) H 2 2 d t C u ( t 0 + . ) L β ( R + × R 3 ) 2 C u L β ( [ t 0 , ) × R 3 ) 2 C ε 2 9 C ,

which implies that g ( t ) H 2 < ε 3 , t 0 . Combining the above inequalities, we obtain

lim t u ( t ) H 2 = 0 .

Lemma 3.3

If u is a global solution of ( N S D ) and β 10 3 , then lim t u ( t ) L 2 = 0 .

Proof

Let w 1 = 1 D < 1 u = 1 ( 1 ξ < 1 u ^ ) and w 2 = 1 D 1 u = 1 ( 1 ξ 1 u ^ ) .

Using the second step, we obtain

w 1 ( t ) L 2 = c 0 w 1 ( t ) H 0 2 c 0 w 1 ( t ) H 2 2 u ( t ) H 2 ,

which implies lim t w 1 ( t ) L 2 = 0 .

For ε > 0 , there is t 1 > 0 such that w 1 ( t ) L 2 < ε 2 , t t 1 , we have

t 1 w 2 ( t ) L 2 2 d t t 1 w 2 ( t ) L 2 2 d t t 1 u ( t ) L 2 2 d t < .

Since the map t w 2 ( t ) L 2 is continuous, there exists t 2 t 1 such that w 2 ( t 2 ) L 2 < ε 2 . Hence

u ( t 2 ) L 2 2 = w 1 ( t 2 ) L 2 2 + w 2 ( t 2 ) L 2 2 < ε 2 2 .

Using the following energy estimate

u ( t ) L 2 2 + 2 t 2 t u ( s ) L 2 2 d s + 2 α t 2 t u ( s ) L β + 1 d s u ( t 2 ) L 2 2 , t t 2 ,

we obtain u ( t ) L 2 < ε , t t 2 , and the proof is completed.□

4 Conclusion

Cai and Jiu [5] consider the incompressible NSEs with damping (NSD) and they proved the existence of global weak solution for β 1 . The problem of uniqueness and asymptotic behavior of the solution is not addressed. In this article, we prove by a new and different method, the uniqueness and the continuity of the global solution in L 2 ( R 3 ) for β > 3 . We also study the asymptotic behavior for this global solution for β 10 3 .

Acknowledgement

This project was supported by Researchers Supporting Project RSPD2024R753, King Saud University, Riyadh, Saudi Arabia.

  1. Funding information: This research has received funding support from King Saud University (Project RSPD2024R753).

  2. Author contributions: All authors have accepted responsibility for the entire content of this manuscript and approved its submission.

  3. Conflict of interest: The authors state no conflict of interest.

  4. Data availability statement: Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.

References

[1] D. Bresch, B. Desjardins, and C. K. Lin, On some compressible fluid models: Korteweg, lubrication, and shallow water systems, Comm. Partial Differential Equations 28 (2003), no. 3–4, 843–868. Suche in Google Scholar

[2] E. Hopf, Über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen, Math. Nachr. 4 (1951), 213–231. Suche in Google Scholar

[3] J. Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace, Acta Math. 63 (1934), 193–248. Suche in Google Scholar

[4] Y. Zhou, Asymptotic stability for the 3D-Navier-Stokes equations, Comm. Partial Differential Equations 30 (2005), 323–333. Suche in Google Scholar

[5] X. Cai and Q. Jiu, Weak and strong solutions for the incompressible Navier-Stokes with damping, J. Math. Anal. Appl. 343 (2008), 799–809. Suche in Google Scholar

[6] Y. Jia, X. W. Zhang, and B. Q. Dong, The asymptotic behavior of solutions to three-dimensional Navier-Stokes equations with nonlinear damping, Nonlinear Anal. RWA 12 (2011), 1736–1747. Suche in Google Scholar

[7] Z. J. Zhang, X. L. Wu, and M. Lu, On the uniqueness of strong solution to the incompressible Navier-Stokes equations with damping, J. Math. Anal. Appl. 377 (2011), 414–419. Suche in Google Scholar

[8] H. Liu and H. Gao, Decay of solutions for the 3D Navier-Stokes equations with damping Appl. Math. Letters 68 (2017), 48–54. Suche in Google Scholar

[9] M. Schonbek, L2 decay for weak solutions of the Navier-Stokes equations, Arch. Ration. Mech. Anal. 88 (1985), 209–222. Suche in Google Scholar

[10] M. Schonbek, Lower bounds of rates of decay for solutions to the Navier-Stokes equations, J. Amer. Math. Soc. 4 (1991), 423–449. Suche in Google Scholar

[11] Y.-M. Chu, N. A. Shah, P. Agarwal, and J. D. Chung, Analysis of fractional multi-dimensional Navier-Stokes equation, Adv. Differential Equations, 2021 (2021), no. 1, 91, DOI: https://doi.org/10.1186/s13662-021-03250-x. Suche in Google Scholar

[12] M. Blel and J. Benameur, Long time decay of Leray solution of 3D-NSE with exponential damping, Fractals 30 (2022), no. 10, 2240236, DOI: https://doi.org/10.1142/S0218348X22402368. Suche in Google Scholar

[13] H. Brezis, Analyse Fonctionnelle: Théorie et Applications, Masson, Paris, 1996. Suche in Google Scholar

[14] J.-Y. Chemin, About Navier-Stokes equations, Publications of Jaques-Louis Lions Laboratoiry, Paris VI University, 1996, p. R96023. Suche in Google Scholar

[15] J. Benameur, Global weak solution of 3D Navier-Stokes equations with exponential damping, Open Math. 20 (2022), 590–607, DOI: https://doi.org/10.1515/math-2022-0050. Suche in Google Scholar

Received: 2023-05-18
Revised: 2023-10-29
Accepted: 2024-06-09
Published Online: 2024-08-09

© 2024 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Artikel in diesem Heft

  1. Regular Articles
  2. On the p-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity
  3. L-Fuzzy fixed point results in -metric spaces with applications
  4. Solutions of a coupled system of hybrid boundary value problems with Riesz-Caputo derivative
  5. Nonparametric methods of statistical inference for double-censored data with applications
  6. LADM procedure to find the analytical solutions of the nonlinear fractional dynamics of partial integro-differential equations
  7. Existence of projected solutions for quasi-variational hemivariational inequality
  8. Spectral collocation method for convection-diffusion equation
  9. New local fractional Hermite-Hadamard-type and Ostrowski-type inequalities with generalized Mittag-Leffler kernel for generalized h-preinvex functions
  10. On the asymptotics of eigenvalues for a Sturm-Liouville problem with symmetric single-well potential
  11. On exact rate of convergence of row sequences of multipoint Hermite-Padé approximants
  12. The essential norm of bounded diagonal infinite matrices acting on Banach sequence spaces
  13. Decay rate of the solutions to the Cauchy problem of the Lord Shulman thermoelastic Timoshenko model with distributed delay
  14. Enhancing the accuracy and efficiency of two uniformly convergent numerical solvers for singularly perturbed parabolic convection–diffusion–reaction problems with two small parameters
  15. An inertial shrinking projection self-adaptive algorithm for solving split variational inclusion problems and fixed point problems in Banach spaces
  16. An equation for complex fractional diffusion created by the Struve function with a T-symmetric univalent solution
  17. On the existence and Ulam-Hyers stability for implicit fractional differential equation via fractional integral-type boundary conditions
  18. Some properties of a class of holomorphic functions associated with tangent function
  19. The existence of multiple solutions for a class of upper critical Choquard equation in a bounded domain
  20. On the continuity in q of the family of the limit q-Durrmeyer operators
  21. Results on solutions of several systems of the product type complex partial differential difference equations
  22. On Berezin norm and Berezin number inequalities for sum of operators
  23. Geometric invariants properties of osculating curves under conformal transformation in Euclidean space ℝ3
  24. On a generalization of the Opial inequality
  25. A novel numerical approach to solutions of fractional Bagley-Torvik equation fitted with a fractional integral boundary condition
  26. Holomorphic curves into projective spaces with some special hypersurfaces
  27. On Periodic solutions for implicit nonlinear Caputo tempered fractional differential problems
  28. Approximation of complex q-Beta-Baskakov-Szász-Stancu operators in compact disk
  29. Existence and regularity of solutions for non-autonomous integrodifferential evolution equations involving nonlocal conditions
  30. Jordan left derivations in infinite matrix rings
  31. Nonlinear nonlocal elliptic problems in ℝ3: existence results and qualitative properties
  32. Invariant means and lacunary sequence spaces of order (α, β)
  33. Novel results for two families of multivalued dominated mappings satisfying generalized nonlinear contractive inequalities and applications
  34. Global in time well-posedness of a three-dimensional periodic regularized Boussinesq system
  35. Existence of solutions for nonlinear problems involving mixed fractional derivatives with p(x)-Laplacian operator
  36. Some applications and maximum principles for multi-term time-space fractional parabolic Monge-Ampère equation
  37. On three-dimensional q-Riordan arrays
  38. Some aspects of normal curve on smooth surface under isometry
  39. Mittag-Leffler-Hyers-Ulam stability for a first- and second-order nonlinear differential equations using Fourier transform
  40. Topological structure of the solution sets to non-autonomous evolution inclusions driven by measures on the half-line
  41. Remark on the Daugavet property for complex Banach spaces
  42. Decreasing and complete monotonicity of functions defined by derivatives of completely monotonic function involving trigamma function
  43. Uniqueness of meromorphic functions concerning small functions and derivatives-differences
  44. Asymptotic approximations of Apostol-Frobenius-Euler polynomials of order α in terms of hyperbolic functions
  45. Hyers-Ulam stability of Davison functional equation on restricted domains
  46. Involvement of three successive fractional derivatives in a system of pantograph equations and studying the existence solution and MLU stability
  47. Composition of some positive linear integral operators
  48. On bivariate fractal interpolation for countable data and associated nonlinear fractal operator
  49. Generalized result on the global existence of positive solutions for a parabolic reaction-diffusion model with an m × m diffusion matrix
  50. Online makespan minimization for MapReduce scheduling on multiple parallel machines
  51. The sequential Henstock-Kurzweil delta integral on time scales
  52. On a discrete version of Fejér inequality for α-convex sequences without symmetry condition
  53. Existence of three solutions for two quasilinear Laplacian systems on graphs
  54. Embeddings of anisotropic Sobolev spaces into spaces of anisotropic Hölder-continuous functions
  55. Nilpotent perturbations of m-isometric and m-symmetric tensor products of commuting d-tuples of operators
  56. Characterizations of transcendental entire solutions of trinomial partial differential-difference equations in ℂ2#
  57. Fractional Sturm-Liouville operators on compact star graphs
  58. Exact controllability for nonlinear thermoviscoelastic plate problem
  59. Improved modified gradient-based iterative algorithm and its relaxed version for the complex conjugate and transpose Sylvester matrix equations
  60. Superposition operator problems of Hölder-Lipschitz spaces
  61. A note on λ-analogue of Lah numbers and λ-analogue of r-Lah numbers
  62. Ground state solutions and multiple positive solutions for nonhomogeneous Kirchhoff equation with Berestycki-Lions type conditions
  63. A note on 1-semi-greedy bases in p-Banach spaces with 0 < p ≤ 1
  64. Fixed point results for generalized convex orbital Lipschitz operators
  65. Asymptotic model for the propagation of surface waves on a rotating magnetoelastic half-space
  66. Multiplicity of k-convex solutions for a singular k-Hessian system
  67. Poisson C*-algebra derivations in Poisson C*-algebras
  68. Signal recovery and polynomiographic visualization of modified Noor iteration of operators with property (E)
  69. Approximations to precisely localized supports of solutions for non-linear parabolic p-Laplacian problems
  70. Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
  71. Pseudo compact almost automorphic solutions to a family of delay differential equations
  72. Periodic measures of fractional stochastic discrete wave equations with nonlinear noise
  73. Asymptotic study of a nonlinear elliptic boundary Steklov problem on a nanostructure
  74. Cramer's rule for a class of coupled Sylvester commutative quaternion matrix equations
  75. Quantitative estimates for perturbed sampling Kantorovich operators in Orlicz spaces
  76. Review Articles
  77. Penalty method for unilateral contact problem with Coulomb's friction in time-fractional derivatives
  78. Differential sandwich theorems for p-valent analytic functions associated with a generalization of the integral operator
  79. Special Issue on Development of Fuzzy Sets and Their Extensions - Part II
  80. Higher-order circular intuitionistic fuzzy time series forecasting methodology: Application of stock change index
  81. Binary relations applied to the fuzzy substructures of quantales under rough environment
  82. Algorithm selection model based on fuzzy multi-criteria decision in big data information mining
  83. A new machine learning approach based on spatial fuzzy data correlation for recognizing sports activities
  84. Benchmarking the efficiency of distribution warehouses using a four-phase integrated PCA-DEA-improved fuzzy SWARA-CoCoSo model for sustainable distribution
  85. Special Issue on Application of Fractional Calculus: Mathematical Modeling and Control - Part II
  86. A study on a type of degenerate poly-Dedekind sums
  87. Efficient scheme for a category of variable-order optimal control problems based on the sixth-kind Chebyshev polynomials
  88. Special Issue on Mathematics for Artificial intelligence and Artificial intelligence for Mathematics
  89. Toward automated hail disaster weather recognition based on spatio-temporal sequence of radar images
  90. The shortest-path and bee colony optimization algorithms for traffic control at single intersection with NetworkX application
  91. Neural network quaternion-based controller for port-Hamiltonian system
  92. Matching ontologies with kernel principle component analysis and evolutionary algorithm
  93. Survey on machine vision-based intelligent water quality monitoring techniques in water treatment plant: Fish activity behavior recognition-based schemes and applications
  94. Artificial intelligence-driven tone recognition of Guzheng: A linear prediction approach
  95. Transformer learning-based neural network algorithms for identification and detection of electronic bullying in social media
  96. Squirrel search algorithm-support vector machine: Assessing civil engineering budgeting course using an SSA-optimized SVM model
  97. Special Issue on International E-Conference on Mathematical and Statistical Sciences - Part I
  98. Some fixed point results on ultrametric spaces endowed with a graph
  99. On the generalized Mellin integral operators
  100. On existence and multiplicity of solutions for a biharmonic problem with weights via Ricceri's theorem
  101. Approximation process of a positive linear operator of hypergeometric type
  102. On Kantorovich variant of Brass-Stancu operators
  103. A higher-dimensional categorical perspective on 2-crossed modules
  104. Special Issue on Some Integral Inequalities, Integral Equations, and Applications - Part I
  105. On parameterized inequalities for fractional multiplicative integrals
  106. On inverse source term for heat equation with memory term
  107. On Fejér-type inequalities for generalized trigonometrically and hyperbolic k-convex functions
  108. New extensions related to Fejér-type inequalities for GA-convex functions
  109. Derivation of Hermite-Hadamard-Jensen-Mercer conticrete inequalities for Atangana-Baleanu fractional integrals by means of majorization
  110. Some Hardy's inequalities on conformable fractional calculus
  111. The novel quadratic phase Fourier S-transform and associated uncertainty principles in the quaternion setting
  112. Special Issue on Recent Developments in Fixed-Point Theory and Applications - Part I
  113. A novel iterative process for numerical reckoning of fixed points via generalized nonlinear mappings with qualitative study
  114. Some new fixed point theorems of α-partially nonexpansive mappings
  115. Generalized Yosida inclusion problem involving multi-valued operator with XOR operation
  116. Periodic and fixed points for mappings in extended b-gauge spaces equipped with a graph
  117. Convergence of Peaceman-Rachford splitting method with Bregman distance for three-block nonconvex nonseparable optimization
  118. Topological structure of the solution sets to neutral evolution inclusions driven by measures
  119. (α, F)-Geraghty-type generalized F-contractions on non-Archimedean fuzzy metric-unlike spaces
  120. Solvability of infinite system of integral equations of Hammerstein type in three variables in tempering sequence spaces c 0 β and 1 β
  121. Special Issue on Nonlinear Evolution Equations and Their Applications - Part I
  122. Fuzzy fractional delay integro-differential equation with the generalized Atangana-Baleanu fractional derivative
  123. Klein-Gordon potential in characteristic coordinates
  124. Asymptotic analysis of Leray solution for the incompressible NSE with damping
  125. Special Issue on Blow-up Phenomena in Nonlinear Equations of Mathematical Physics - Part I
  126. Long time decay of incompressible convective Brinkman-Forchheimer in L2(ℝ3)
  127. Numerical solution of general order Emden-Fowler-type Pantograph delay differential equations
  128. Global smooth solution to the n-dimensional liquid crystal equations with fractional dissipation
  129. Spectral properties for a system of Dirac equations with nonlinear dependence on the spectral parameter
  130. A memory-type thermoelastic laminated beam with structural damping and microtemperature effects: Well-posedness and general decay
  131. The asymptotic behavior for the Navier-Stokes-Voigt-Brinkman-Forchheimer equations with memory and Tresca friction in a thin domain
  132. Absence of global solutions to wave equations with structural damping and nonlinear memory
  133. Special Issue on Differential Equations and Numerical Analysis - Part I
  134. Vanishing viscosity limit for a one-dimensional viscous conservation law in the presence of two noninteracting shocks
  135. Limiting dynamics for stochastic complex Ginzburg-Landau systems with time-varying delays on unbounded thin domains
  136. A comparison of two nonconforming finite element methods for linear three-field poroelasticity
Heruntergeladen am 4.2.2026 von https://www.degruyterbrill.com/document/doi/10.1515/dema-2024-0042/html
Button zum nach oben scrollen