AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi 10.1155/2017/1681857 1681857 Research Article On the Convergence of the Uniform Attractor for the 2D Leray-α Model http://orcid.org/0000-0003-1015-0902 Deugoué Gabriel 1 Rossi Julio D. Department of Mathematics and Computer Science University of Dschang P.O. Box 67 Dschang Cameroon univ-dschang.org 2017 1752017 2017 15 01 2017 30 03 2017 16 04 2017 1752017 2017 Copyright © 2017 Gabriel Deugoué. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

We consider a nonautonomous 2D Leray-α model of fluid turbulence. We prove the existence of the uniform attractor Aα. We also study the convergence of Aα as α goes to zero. More precisely, we prove that the uniform attractor Aα converges to the uniform attractor of the 2D Navier-Stokes system as α tends to zero.

1. Introduction

In the past decades, the study of nonautonomous dynamical systems has been paid much attention as evidenced by the references cited in . In , the author considers some special classes of nonautonomous dynamical systems and studies the existence and uniqueness of uniform attractors. In , the authors present a general approach that is well suited to construct the uniform attractor of some equations arising in mathematical physics (see also [11, 12]). In this approach, instead of considering a single process associated with the dynamical system, the authors consider a family of processes depending on a parameter (symbol) σ in some Banach space. The approach preserves the leading concept of invariance, which implies the structure of the uniform attractors.

In this article, we study the following nonautonomous 2D Leray-α model:(1)vt-νΔv+u·v+p=g0x,t,v=u-α2Δu,·u=0,·v=0,vτ=vτ,where u is the velocity vector field, p is the pressure, and ν is the viscosity coefficient. The spatial variable x belongs to the two-dimensional torus T2=0,2πL2 and α is a parameter. Precise assumptions on the external force g0 are given below. Formally, the above system is the 2D Navier-Stokes system when α=0.

The 2D Leray-α model has received much attention over the past years (see  and the references therein) because of its importance in the description of fluid motion and turbulence. The 3D version of (1), namely, the 3D Leray-α model, was considered in  as a large eddy simulation subgrid scale model of 3D turbulence. In , the authors studied the relations between the long-time dynamics of the 3D Leray-alpha model and the 3D Navier-Stokes system. They found that bounded sets of solutions of the 3D Leray-α model converge to the trajectory attractor of the 3D Navier-Stokes system as time tends to infinity and α approaches zero. In particular, they showed that the trajectory attractor of the 3D Leray-α model converges to the trajectory attractor of the 3D Navier-Stokes system. In , analogous results were proven for the 3D Navier-Stokes-α model. In , the authors studied the convergence of the solution of the 2D stochastic Leray-α model to the solution of the stochastic 2D Navier-Stokes equations as α approaches 0. In particular, they proved the convergence in probability with the rate of convergence at most O(α).

The 2D Leray-α model has been studied analytically in  and computationally in . In , the authors investigated the rate of convergence of four alpha models (2D Navier-Stokes-α model, 2D Leray-α model, 2D modified Leray-α model, and 2D simplified Bardina model) in the 2D case subject to periodic boundary conditions. In particular, they showed upper bounds in terms of α for the difference between solutions of the 2D α-models and solutions of the 2D Navier-Stokes system. They found that all the four α-models have the same order of convergence and error estimates. We also note that the autonomous and nonautonomous 2D Navier-Stokes-α models were considered in [6, 19]. In , they proved that the global attractors of the 2D Navier-Stokes-α model converge to a subset of the global attractor of the 2D Navier-Stokes system when α approaches 0. In , the authors studied the convergence of the uniform attractors of the 2D Navier-Stokes-α model when α tends to zero. They found that the uniform attractors of the 2D Navier-Stokes-α model converge to the uniform attractor of the 2D Navier-Stokes system when α approaches zero.

The purpose of this paper is to prove analogous results for the nonautonomous 2D Leray-α model. More precisely, we prove that the uniform attractors for the 2D Leray-α model converge to the uniform attractor of the 2D Navier-Stokes system when α approaches zero (see Theorem 13). Uniform attractors are not invariant under the family of processes; this brings about some difficulties in proving upper semicontinuous property. The proof of the convergence of the uniform attractors of the 2D Leray-α model uses the structure of uniform attractors which says that each uniform attractor is a union of kernels.

The article is structured as follows. In Section 2, we recall some properties of the uniform attractor for the 2D Navier-Stokes equations. In Section 3, we prove the existence and the structure of the uniform attractor of the 2D Leray-α model. In Section 4, we prove the convergence of the uniform attractors of the 2D Leray-α model to the uniform attractor of the 2D Navier-Stokes system as α approaches zero.

2. The 2D Navier-Stokes System and Its Uniform Attractor

We consider the nonautonomous 2D Navier-Stokes system with periodic boundary conditions:(2)ut-νΔu+u·u+p=g0t,x,·u=0.In (2), u=u(x,t)=(u1(x,t),u2(x,t)) is the unknown vector field in T2 describing the motion of the fluid. The scalar function p(x,t) is the unknown pressure and g0(x,t) is a given field of external force. Let F be the set of trigonometric polynomials of two variables with periodic domain T2 and spatial average zero; that is, for every ΦF, T2Φ(x)dx=0. We then set(3)V=ΦF2:  ·Φ=0.We denote by H and V the closure of V in L2T22 and H1T22, respectively. The norms in H and V are denoted, respectively, by · and ·.

We denote by P:L2T22H the Helmholtz-Leray orthogonal projection operator and by A=-PΔ the Stokes operator, subject to periodic boundary conditions, with domain D(A)=H2T22V. We note that in the space periodic case(4)A=-PΔ=-Δ.The operator A-1 is a self-adjoint positive definite compact operator from H into H. By 0<2π/L2=λ1λ2, we denote the eigenvalues of A in the 2D case. It is well known that, in two dimensions, the eigenvalues of operator A satisfy Weyl’s type formula (see, e.g., [13, 15]); namely, there exists a constant c0>0 such that(5)jc0λjλ1c0jfor  j=1,2,.By(6)u,v=A1/2u,A1/2v=u,v,u=A1/2uforu,vV,we denote the scalar product and the norm in V, respectively. Let V be the dual space of V. For every vV, we denote by v,u the value of the functional v from V on a vector uV. The operator A is an isomorphism from V to V. In particular ((w,u))=Aw,u for all w,uV.

The Poincaré inequalities read(7)u2λ1-1u2,uV,(8)uV2λ1-1u2,uH.For every w1,w2V, we define the bilinear operator(9)Bw1,w2=Pw1·w2.In the following lemma, we list certain relevant inequalities and properties of B (see, e.g., ).

Lemma 1.

The bilinear operator B defined in (9) satisfies the following.

B can be extended as a continuous bilinear map B:V×VV. In particular, B satisfies the following inequalities:(10)Bu,v,wVcu1/2u1/2vw1/2w1/2u,v,wV,(11)Bu,v,wVcu1/2u1/2v1/2v1/2wu,v,wV,(12)Bu,v,wcuvw,uDA,vV,wH,(13)Bu,v,wcuvw,uH,vDA3/2,wH,(14)Bu,v,wDAcuvw,uH,vV,wDA.Moreover, for every w1,w2,w3V, we have(15)Bw1,w2,w3V=-Bw1,w3,w2V,and in particular(16)Bw1,w2,w2V=0.We apply the operator P to both sides of (2) and obtain an equivalent system:(17)ut+νAu+Bu,u=g0x,t.The initial condition is posed at t=τ,τR:(18)uτ=uτH.

In order to clarify the assumptions on the external force g0, we introduce the following notation. Given a Banach space X, we denote by Lb2(R;X) the subspace of Lloc2(R;X) of translation bounded functions; that is, for Ψ(s)Lb2(R;X), we have(19)ΨLb2R;X2=suptRtt+1ΨsX2ds<.We now give from  the definition and some properties of translation compact functions.

Definition 2.

A function ΨLloc2(R;X) is said to be translation compact in Lloc2(R;X) if the set of its translations {Ψ(t+h),hR} is precompact in Lloc2(R;X) for the local convergence topology.

The set(20)HΨ=Ψt+h,hRLloc2R;Xis called the hull of the function Ψ in the space Lloc2(R;X), where ·X denotes the closure in the space X. Note that if Ψ is translation compact in Lloc2(R;X), then its hull H(Ψ) is compact in Lloc2(R;X). The hull H(g) of g(x,t) in the space Lloc2(R;H) is(21)Hg=g·,t+h,hRLloc2R;H.The following proposition gives the existence and uniqueness of weak solutions of problems (17)-(18) (see  for the proof).

Proposition 3.

Let g0Lb2(R;H) and let uτH. Problems (17)-(18) have unique solutions uC(Rτ;H)Lloc2(Rτ;V) and u/tLloc2(Rτ;V), where Rτ=[τ,+). The following estimates hold:(22)ut2uτ2e-λt-τ+λ-11+λ-1g0Lb22,ut2+ντtus2dsuτ+λ-1τtg0s2ds,where λ=νλ1.

From Proposition 3, we can define a process {Ug0(t,τ)}:Ug0(t,τ)uτ=u(t),tτ, where u(t) is a solution of (17)-(18).

Now, we are given a field external force g0 that is translation compact function in L2loc(R;H). In particular, g0 is translation bounded in Lloc2(R;H).

Let H(g0) be the hull of g0Lloc2(R;H). Consider the family of Cauchy problems(23)ut+νAu+Bu,u=gx,t,uτ=uτ,gHg0.For all gH(g0), problem (23) has a unique solution u(t) and estimates in (22) hold. Thus the family of processes {Ug(t,τ)},gH(g0) acting on H corresponds to problem (23).

We denote by Kg the kernel of the process {Ugα(t,τ)} with the external force gH(g0). Let us recall that Kg is the family of all complete solutions u(t),tR, of (23) which are bounded in the norm of H. The set Kg(s)={u(s),uKg}H is called the kernel section at t=s.

The following result gives the existence and the structure of the uniform attractor of the process {Ug0(t,τ)} (see  for the proof).

Proposition 4.

If g0 is translation compact function in Lloc2(R;H), then the process {Ug0(t,τ)} corresponding to (17) with external force g0(x,s) has the uniform (withrespectto  τR) attractor A0 that coincides with the uniform (w.r.tgH(g0)) attractor AH(g0) of the family of processes {Ug(t,τ)},gH(g0) and(24)A0=AHg0=gHg0Kg0,where Kg is the kernel of the process {Ug(t,τ)}. The kernel Kg is nonempty for all gH(g0).

3. The 2D Leray-<bold><italic>α</italic></bold> Model and Its Uniform Attractor 3.1. The 2D Leray-<italic>α</italic> Model

We consider the following system with periodic boundary conditions:(25)vt-νΔv+u·v+p=g0x,t,xT2,v=u-α2Δu,·u=0,·v=0.This system is an approximation of the 2D Navier-Stokes system discussed in the previous section. The unknown functions are the vector fields v=v(x,t)=(v1,v2) or u=u(x,t)=(u1,u2) and the scalar function p=p(x,t). In (25), α is a fixed positive parameter which is called the subgrid length scale of the model. For α=0, the function v=u and we obtain exactly the 2D Navier-Stokes system.

We can rewrite system (25) in an equivalent form using the standard projector P in H and excluding the pressure as in the previous section, where all the necessary notations were defined. We obtain the system(26)vt+νAv+Bu,v=g0x,t,v=u+α2Au.We supplement system (26) with the initial data(27)vτ=vτH.It follows from the embedding theorem in R2 that H2(T2)L(T2). In particular, we have the energy inequality(28)uLT22cαu+α2Aucαv,uH2V, where v=u+α2Au and c(α) is a constant that depends on α. We obtain from inequality (28) that(29)Bu,vcuLT22vc1αvv,where v=u+α2Au.

Consider an arbitrary function v(·)Lloc2(Rτ;V)L(Rτ;H). Then, from (29), we conclude that(30)Bu·,v·Lloc2Rτ;H.We study weak solutions v(x,t) of system (25) belonging to the space Lloc2(Rτ;V)L(Rτ;H). Then(31)AvLloc2Rτ;V,tvLloc2Rτ;V.We now formulate the theorem on the existence and uniqueness of weak solutions of problems (26)-(27).

Theorem 5.

Let α>0, let g0Lb2(R;H), and let vτH. Systems (26)-(27) have unique weak solutions vC(Rτ;H)Lloc2(Rτ;V) and tvLloc2(Rτ;V). The following estimates hold:(32)ut2vt2vτ2e-λt-τ+λ-11+λ-1g0Lb2R;H2,(33)vt2+ντtvs2dsvτ2+λ-1τtg0s2ds,(34)t-τvt2Ct-τ,vτ2,τtg0s2ds,where λ=νλ1 and C(z,R,R1) is a monotone continuous function of z=t-τ,R and R1.

To prove the estimates in (32)-(34), we will need the following lemma whose proof is given in .

Lemma 6.

Let a real function z(t),t0, be uniformly continuous and satisfy the inequality(35)dzdt+λztft,t0,where λ>0,f(t)0 for all t0, and fLloc1(R+). Suppose also that(36)tt+1fsdsM,t0.Then z(t)z(0)e-λt+M(1+λ-1),t0.

Proof of Theorem <xref ref-type="statement" rid="thm1">5</xref>.

The existence and uniqueness of weak solutions are quite analogous to the proof of the existence and uniqueness theorem for the 2D Navier-Stokes system . Let us prove the estimate in (32). We take the scalar product of (26) with v and use relation (16); we obtain(37)12ddtvt2+νvt2=g0t,vtν2vt2+12νg0tV2ν2vt2+12νλ1g0t2.Using Poincaré inequality (7), we arrive at(38)ddtvt2+λvt2λ-1g0t2,where λ=νλ1. Applying Lemma 6 with(39)zt=vt+τ2;ft=λ-1g0t2;tt+1fsdsλ-1tt+1g0s2dsλ-1g0Lb2R;H2=M,we get(40)vt+τ2vτ2e-λt+λ-11+λ-1g0Lb2R;H2;that is,(41)vt2vτ2e-λt-τ+λ-11+λ-1g0Lb2R;H2.This proves (32). Multiplying (26) by tAv, we have(42)12ddttvt2-12vt2+νtAvt2+tBu,v,Av=tg0t,Av.Recall that(43)g0t,Avν4Avt2+1νg0t2.From (29), we have(44)Bu,v,AvBu,vAvc1αvvAvν4Avt2+c12ανv2v2.Replacing (43) and (44) in (42), we get(45)ddttvt2+νtAvt2vt2+2tνg0t2+2c12ανtvt2vt2.Let us set y(t)=tvt2 and obtain(46)dydt2c12ανvt2y+vt2+2tνg0t2.Using Gronwall’s lemma, we obtain(47)tvt20tvs2+s2νg0s2dsexp0t2c12ανvs2ds.From the estimate in (33), we deduce from (47) that(48)tvt21νv02+λ-1+2t0tg0s2dsexp2c12αν2v02+2c12αλ-1ν20tg0s2dsCt,v02,0tg0s2ds,where(49)Cz,R,R1=1νR+λ-1+2zR1exp2c12αν2R+2c12αλ-1ν2R1.This ends the proof of Theorem 5.

Remark 7.

We note that the estimates in (32) and (33) are independent of α. This fact plays the key role in the proof of the convergence of solutions of the 2D Leray-αmodel to the solution of the 2D Navier-Stokes system as α0+.

3.2. The Uniform Attractor <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M238"><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="script">A</mml:mi></mml:mrow><mml:mrow><mml:mi>α</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> of the 2D Leray-<italic>α</italic> Model

In this subsection, we prove the existence of the uniform attractor for the 2D Leray-α model. We consider the process {Ug0α(t,τ)},tτ,τR corresponding to problems (26)-(27). More precisely, the mapping Ug0α(t,τ):HH is defined by(50)Ug0αt,τvτ=vt,for all vτH,tτ,τR, where v is solution of (26)-(27). It follows from (32) that the process {Ug0α(t,τ)} has the uniform (w.r.t.τR) absorbing set(51)B0=vH:v22R02,where R02=λ-1(1+λ-1)g0Lb2(R;H)2 and the set B0 is bounded in H. Therefore, for any bounded (in H) set O, there exists a time t(O) such that(52)Ug0αt+τ,τOB0,for all t>t(O) and τR.

Proposition 8.

The process {Ug0α(t,τ)} associated with (26)-(27) is uniformly compact in H and has a uniformly absorbing set B1 (bounded in V) defined by(53)B1=τRUg0ατ+1,τB0,where B0 is given by (51). Moreover, the process {Ug0α(t,τ)} has a uniform attractor Aα which satisfies(54)AαB0B1.

Proof.

From (34) and (51), it is clear that B1 is bounded in V and hence is relatively compact in H. From (34), it is also clear that B1 is uniform (with respect to τR) absorbing set for the process {Ug0α(t,τ)}. The rest of the proof of the proposition follows the general theory on uniform global attractors . This ends the proof of the proposition.

From the general theory on uniform global attractors in , the global attractor Aα given in Proposition 8 satisfies the following:

For any bounded (in H) set O, supτRdistHUg0α(t+τ,τ)O,Aα0 as t.

Aα is the minimal set that satisfies (i).

3.3. The Structure of the Uniform Attractor of the 2D Leray-<italic>α</italic> Model

We consider the system(55)vt+νAv+Bu,v=g0,vτ=vτ,v=u+α2Au.We assume that g0 is translation compact in the space Lloc2(R;H). Let H(g0) be the hull of g0 in Lloc2(R;H). For all gH(g0), the problem(56)vt+νAv+Bu,v=gt,x,v=u+α2Au,vτ=vτhas a unique solution v(t) and the estimates in (32)–(34) hold. For gH(g0), system (56) generates a process {Ugα(t,τ)} that satisfies the same properties as the process {Ug0α(t,τ)}. The family of processes {Ugα(t,τ)},gH(g), acting on H corresponds to (56).

Proposition 9.

The family of processes {Ugα(t,τ)},gH(g0), corresponding to (56) is uniformly (with respect to gH(g0)) bounded, uniformly compact, and H×H(g0),H-continuous.

Proof.

The uniform boundedness of the family of processes {Ugα(t,τ)},gH(g0), follows from (32) and the fact that(57)gLb2R;H2g0Lb2R;H2,gHg0.This estimate also implies that the set B0={vH;v22R02}, where R02=λ-1(1+λ-1)g0Lb2R;H2, is uniformly (with respect to gH(g0) absorbing. The set(58)B1=gHg0τRUgτ+1,τB0is also uniformly absorbing. By (34), the set B1 is bounded in V and therefore, by the compactness of the embedding VH, B1 is precompact in H. Hence the family {Ugα(t,τ)},gH(g0), is uniformly compact.

Let us verify the H×H(g0),H-continuity of the processes {Ugα(t,τ)},gH(g0). We consider two symbols g1 and g2 and the corresponding solutions v1 and v2 of problem (56) with initial data v1τ and v2τ, respectively. Denote(59)wt=v1t-v2t=Ug1t,τv1τ-Ug2t,τv2τ,q=g1-g2.The function w satisfies the equation(60)wt+νAw+Bu1,v1-Bu2,v2=q.We take the inner product of (60) with w; we obtain(61)12ddtw2+νw2+Bu1-u2,v2,w=q,w.Using the estimate in (10), we arrive at(62)Bu1-u2,v2,wcu1-u21/2u1-u21/2v2w1/2w1/2cw1/2w1/2w1/2w1/2v2cwwv2ν4w2+cw2v22.Also we have(63)q,wqwλ-1qwν4w2+c1q2.Using (62) and (63) in (61), we get (64)ddtw2+νw2cw2v22+c1q2.Let us set y(t)=wt2 and we obtain(65)ddtytcv22yt+c1q2.Using Gronwall’s lemma, we obtain(66)wt2wτ2+τtc1qs2dsexpτtcv2s2ds.With the estimate in (33), we get(67)τtv2s2ds1νv2τ2+λ-1τtg2s2ds.The estimate in (67) proves that τtv2s2ds is bounded, and (66) implies the H×H(g0),H-continuity of the family of processes {Ugα(t,τ)},gH(g0). This ends the proof of the proposition.

Theorem 10.

If g0 is translation compact in L2loc(R;H), then the process {Ug0(t,τ)} corresponding to (55) with external force g0(x,t) has the uniform (with respect to τR) attractor Aα that coincides with the uniform (with respect to gH(g0)) attractor AH(g0)α of the family of processes {Ugα(t,τ)},gH(g0).

Moreover,(68)Aα=AHg0α=gHg0Kgα0,where Kgα is the kernel of the process {Ugα(t,τ)}. The kernel Kgα is nonempty for all gH(g0).

In the next section, we study the asymptotic behavior of the uniform attractor of the 2D Leray-α model.

4. Convergence of the Uniform Attractors of the 2D Leray-<bold><italic>α</italic></bold> Model

In the previous sections, we have proven the existence and the structure of the uniform attractor:

Aα of the process {Ug0α(t,τ)} generated by the solutions of the 2D Leray-α model.

A0 of the process {Ug0(t,τ)} generated by the solutions of the 2D Navier-Stokes system.

Our aim in this section is to prove the convergence of the uniform attractors Aα to the uniform attractor A0 as α approaches 0; that is,(69)limndistHAαn,A0=0,

if αn0+.

The following proposition is the key.

Proposition 11.

Let {gn},gH(g0), and a sequence of functions vαn(t)Kgnαn(t) satisfy the following conditions:

αn0+ as n.

gng in Hg0 as n.

vαn(t)v(t) in H as n.

Then v is a weak solution of the 2D Navier-Stokes system with external force g; that is, vKg.

For the proof of this proposition, we need an estimate for the derivative tv in which constants are independent of α similar to that proven for v in (32)-(33).

Proposition 12.

Let g0Lb2(R;H) and let vτH. Then any solution v(t) of (26)-(27) satisfies the following inequalities:(70)τTtvsV4/3ds3/4cvτ2+R22,(71)τTtvsV2ds1/2cvτ2+R22,where c depends on λ1,ν. R2 depends on λ1,ν and g0Lb2R;H. The numbers c and R2 are independent of α.

Proof.

Consider the operator B(u(t),v(t)), where v=u+α2Au. We note that(72)uv,uv.From inequalities (10) and (72), we get(73)Bu,vVcu1/2u1/2vcv1/2v3/2.We deduce that(74)τTBus,vsV4/3ds3/4cτTvs2/3vs2ds3/4cesssupsτ,Tvs1/2τTvs2ds3/4cvτ2e-λT+λ-11+λ-1g0Lb2R;H21/41νvτ2+λ-1ντTg0s2ds3/4cvτ2e-λT+λ-11+λ-1g0Lb2R;H21/41νvτ2+λ-1νT+1g0Lb2R;H23/4cvτ2+λ-11+λ-1g0Lb2R;H2+λ-1T+1g0Lb2R;H2cvτ2+R22,where R22=cλ-1(1+λ-1)g0Lb2R;H2+λ-1T+1g0Lb2(R;H)2. Using the triangle inequality, it follows from (26) that(75)τTtvsV4/3ds3/4ντTAvsV4/3ds3/4+τTBus,vsV4/3ds3/4+τTg0sV4/3ds3/4ντTvs4/3ds3/4+τTBus,vsV4/3ds3/4+λ-1/2τTg0s4/3ds3/4ντTvs2ds1/2+τTBus,vsV4/3ds3/4+λ-1/2τTg0s2ds1/2ν1νvτ2+λ-1ντTg0s2ds1/2+cvτ2+R22+T+1λ-frac12g0Lb2R;Hcvτ2+λ-1T+1g0Lb2R;H2+R22+T+1λ-1/2g0Lb2R;H+1cvτ2+R22,where R22=λ-1(T+1)g0Lb2(R;H)2+R22+(T+1)λ-1/2g0Lb2(R;H)+1. This proves (70).

For the proof of (71), we use inequalities (11) and (72) and we get(76)Bu,vVcu1/2u1/2v1/2v1/2v1/2v1/2v1/2v1/2cvv.We then have(77)τTBus,vsV2ds1/2cτTvs2vs2ds1/2cesssupsτ,TvsτTvs2ds1/2cvτ2e-λT+λ-11+λ-1g0L2bR;H21/21νvτ2+λ-1ντTg0s2ds1/2cvτ2e-λT+λ-11+λ-1g0L2bR;H21/21νvτ2+λ-1νT+1g0Lb2R;H21/2cvτ2+λ-11+λ-1g0Lb2R;H2+λ-1T+1g0Lb2R;H2cvτ2+R22.It follows from (26) that(78)τTtvsV2ds1/2ντTAvsV2ds1/2+τTBus,vsV2ds1/2+τTg0sV2ds1/2ντTvs2ds1/2+τTBus,vsV2ds1/2+λ-1/2τTg0s2ds1/2ντTvs2ds1/2+τTBus,vsV2ds1/2+λ-1/2τTg0s2ds1/2ν1νvτ2+λ-1ντTg0s2ds1/2+cvτ2+R22+T+1λ-1/2g0Lb2R;Hcvτ2+λ-1T+1g0Lb2R;H2+R22+T+1λ-1/2g0Lb2R;H+1cvτ2+R22.This ends the proof of the proposition.

Proof of Proposition <xref ref-type="statement" rid="prop5">11</xref>.

We prove that v is a weak solution of the 2D Navier-Stokes system on every interval (τ,T). The function vαn satisfies the equation(79)tvαn+νAvαn+Buαn,vαn=gn.From the estimates in (32)-(33) and (71), we have(80)vαnt2vτ2e-λt-τ+λ-11+λ-1gnLb2R;H2,ντtvαns2dsvτ2+λ-1τtgns2ds,τTtvαnsV2ds1/2cvτ2+2λ-1T+1gnLb2R;H2+cλ-11+λ-1gnLb2R;H2+T+1λ-1/2gnLb2R;H+1.Since each bounded sequence in a reflexive Banach space has a weakly convergent subsequence (see , Theorem  21.D, p. 255), we can choose a subsequence {vαn(t)} of {vαn(t)} such that(81)vαntvtinH,(82)vαntvtinL2τ,T;V,(83)vαnvinL2τ,T;V,as n. The convergence (82) uses the fact that the generalized derivatives are compatible with the weak limits (see , Proposition  23.19, p. 419). From (83), we obtain(84)AvαnAvinL2τ,T;V.In order to establish the equality, it is sufficient to prove that the sequence B(uαn,vαn) converges to B(v(·),v(·)) in D(τ,T;V) as n. Notice that(85)uαnvweakly  in  L2τ,T;V.Indeed, the function uαn satisfies the equation(86)uαn+αn2Auαn=vαn.Since uαn is bounded in L2(τ,T;V), then, passing to a subsequence, we may assume that uαn converges to a function w(·) weakly in L2(τ,T;V); that is,(87)uαnwin  L2τ,T;V.Then the sequence AuαnAw weakly in L2(τ,T;V) and(88)αnAuαn0weakly  in  L2τ,T:V.Therefore, in equality (86), we may pass to the limit in the space L2(τ,T:V) and obtain that(89)w=limnuαn=limnvαn=v.Then, (87) and (89) imply (85).

From (71), the sequences tvn and tun are bounded in L2(τ,T;V). Then the Aubin compactness theorem  implies that, passing to a subsequence, we may assume that vαn and uαn converge to v(·) strongly in L2(τ,T;H). Therefore, we may assume that(90)vαnx,tvx,tfora.e.x,tT2×τ,T,uαnx,tvx,tfora.e.x,tT2×τ,T.We recall that(91)Buαn,vαn=Pi=12iuαnivαn.It follows from (90) that(92)uαnix,tvαnx,tvix,tvx,tfora.e.x,tT2×τ,T.Using the estimate in (11), we deduce that(93)uαnivαn  is  bounded  in  L2τ,T;H,L2T2×τ,T2.Applying the known lemma on weak convergence from , we conclude from (92) and (93) that(94)uαnivαnvivweakly in L2T2×τ,T2 and weakly in L2(τ,T;H). We then deduce from (91) that(95)Buαn,vαnBv,vweakly  in  L2τ,T;V.We have then proven that v(·) is a weak solution of the 2D Navier-Stokes equations with external force g. This completes the proof of the proposition.

Now we present and prove the main result of this paper.

Theorem 13.

Let Aαn be the uniform attractor of the 2D Leray-α model and let A0 be the uniform attractor of the 2D Navier-Stokes system. Then one has(96)Aαn  convergesto  A0  asnapproaches  ;that is,(97)limndistHAαn,A0=0.

Remark 14.

In (97), distH denotes the Hausdorff semidistance defined by(98)distHX,Y=supxXinfyYx-y.

Proof of Theorem <xref ref-type="statement" rid="thm3">13</xref>.

Assume that distHAαn,A00. Hence, by the compactness of A0, we can choose a positive constant δ>0 and a subsequence {m} of {n} and ψmAαm satisfying(99)distHψm,A0δ,m1.We recall that(100)Aαm=gHg0Kgαm0.Therefore, since ψmAαm, there exist σmH(g0) and vmKσmαm such that ψm=vm(0).

Since (tvm(t+h))Kσm(·+h)αmhR, it follows that vm(t)AαmB0tR. Since B0 is an absorbing set for the process Uσmαm(t,τ) (see (51)), we have(101)vmt22R02,where R0 is independent of m and α(σmLb2(R;H)2g0Lb2(R;H)2). Also, since H(g0) is compact in Lloc2(R;H) and {σm}H(g0), there exists a subsequence of vm and gH(g0) such that(102)σmgin  Hg0.Using the fact that each bounded sequence in a reflexive Banach space has a weakly convergent subsequence (see , Theorem  21.D, p. 255) and the boundedness (101), we deduce that(103)vmt  converges  weakly  in  H.Then, using the standard Cantor diagonal procedure as in [8, 15, 16], we can deduce a function ϕ(s),sR, and a sequence {mj} such that(104)vmjtϕtweakly  in  H  as  j.From Proposition 11, we have that ϕ is a weak solution of the 2D Navier-Stokes equations. For t=0, we have(105)ψmjϕ0in  H.Using the fact that AαmB1, where B1 is given by (53) (B1 is uniformly absorbing set), we have(106)ψmjϕ0in  H,since ψmj is bounded in V. Also, since A0=gH(g0)Kg(0), we get ϕ(0)Kg(0)A0. Passing to the limit in (99), we obtain δ=0; and this contradicts the fact that δ>0. This ends the proof of the theorem.

Conflicts of Interest

The author declares that there are no conflicts of interest regarding the publication of this paper.

Tachim Medjo T. A non-autonomous two-phase flow model with oscillating external force and its global attractor Nonlinear Analysis 2012 75 1 226 243 10.1016/j.na.2011.08.024 MR2846795 Chepyzhov V. V. Pata V. Vishik M. I. Averaging of 2D Navier-Stokes equations with singularly oscillating forces Nonlinearity 2009 22 2 351 370 10.1088/0951-7715/22/2/006 MR2475550 2-s2.0-65249113282 Chepyzhov V. V. Vishik M. I. Non-autonomous 2D Navier-Stokes system with singularly oscillating external force and its global attractor Journal of Dynamics and Differential Equations 2007 19 3 655 684 10.1007/s10884-007-9077-y MR2350242 Zbl1132.35017 2-s2.0-35348953852 Lu S. Attractors for nonautonomous 2D Navier-Stokes equations with less regular normal forces Journal of Differential Equations 2006 230 1 196 212 10.1016/j.jde.2006.07.009 MR2270552 2-s2.0-33748425020 Lu S. Wu H. Zhong C. Attractors for nonautonomous 2D Navier-Stokes equations with normal external forces Discrete and Continuous Dynamical Systems. Series A 2005 13 3 701 719 10.3934/dcds.2005.13.701 MR2153139 Song H. Ma S. Zhong C. Attractors of non-autonomous reaction-diffusion equations Nonlinearity 2009 22 3 667 681 10.1088/0951-7715/22/3/008 MR2480107 2-s2.0-65249185579 Kloeden P. E. Schmalfuss B. Non-autonomous systems, cocycle attractors and variable time-step discretization Numerical Algorithms 1997 14 1–3 141 152 10.1023/A:1019156812251 MR1456499 Yue G. Zhong C. On the convergence of the uniform attractor of the 2D NS-α model to the uniform attractor of the 2D NS system Journal of Computational and Applied Mathematics 2010 233 8 1879 1887 10.1016/j.cam.2009.09.024 MR2564023 Haraux A. Systémes dynamiques dissipatifs et applications Recherches en Mathématiques Appliqueés 1991 17 Paris Mason MR1084372 Chepyzhov V. V. Vishik M. I. Attractors for equations of mathematical physics 2002 49 American Mathematical Society, Providence, RI, USA American Mathematical Society Colloquium Publications MR1868930 Temam R. Infinite Dynamical Dimensional Dynamical Systems in Mechanics and Physics 1988 68 2nd New York, NY, USA Springer-Verlag 10.1007/978-1-4684-0313-8 MR953967 Babin A. V. Vishik M. I. Attractors of evolutions equations Studies in Mathematics and Its Applications 1992 25 Amsterdam, The Netherlands North-Holland, Publishing Co Lunasin E. Kurien S. Titi E. S. Spectral scaling of the Leray-α model for the two-dimensional turbulence Journal of Physics. A. Mathematical and Theoretical 2008 41 344014 10.1088/1751-8113/41/34/344014 MR2456351 Cheskidov A. Holm D. D. Olson E. Titi E. S. On a Leray-α model of turbulence Proceedings of The Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2005 461 629 649 10.1098/rspa.2004.1373 MR2121928 Chepyzhov V. V. Titi E. S. Vishik M. I. On the convergence of solutions of the Leray-α model to the trajectory attractor of the 3D Navier-stokes system Discrete and Continuous Dynamical Systems 2007 17 3 481 500 2-s2.0-34247266067 10.3934/dcds.2007.17.481 Chepyzhov V. V. Titi E. S. Vishik M. I. On convergence of trajectory attractors of the 3D Navier-Stokes-α model as α approaches Sb. Math 2007 198 1703 1736 Bessaih H. Razafimandimby P. A. On the rate of convergence of the 2D stochastic Leray-α model to the 2D stochastic Navier-Stokes equations with multiplicative noise Applied Mathematics and Optimization 2016 74 1 1 25 10.1007/s00245-015-9303-7 MR3518865 Cao Y. Titi E. S. On the rate of convergence of the two-dimensional α-models of turbulence to the Navier-Stokes equations Numerical Functional Analysis and Optimization 2009 30 11-12 1231 1271 10.1080/01630560903439189 MR2591037 Ilyin A. A. Titi E. S. Attractors for the two-dimensional Navier-Stokes-α model: an α-dependence study Journal of Dynamics and Differential Equations 2003 14 751 778 10.1023/B:JODY.0000010064.06851.ff MR2031580 Zeidler E. Nonlinear Functional Analysis and Its applications II/A: Linear Monotone Operators 1990 New York, NY, USA Springer–Verlag Lions J. L. Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires 1969 Paris, Farnce Dunod MR0259693