- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Discrete Dynamics in Nature and Society

VolumeΒ 2010Β (2010), Article IDΒ 893240, 16 pages

http://dx.doi.org/10.1155/2010/893240

## On the Dimension of the Pullback Attractors for g-Navier-Stokes Equations

College of Science, China Jiliang University, Hangzhou 310018, China

Received 3 June 2010; Accepted 14 November 2010

Academic Editor: BinggenΒ Zhang

Copyright Β© 2010 Delin Wu. 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.

#### Abstract

We consider the asymptotic behaviour of nonautonomous 2D g-Navier-Stokes equations in bounded domain . Assuming that , which is translation bounded, the existence of the pullback attractor is proved in and . It is proved that the fractal dimension of the pullback attractor is finite.

#### 1. Introduction

In this paper, we study the behavior of solutions of the nonautonomous g-Navier-Stokes equations in spatial dimension 2. These equations are a variation of the standard Navier-Stokes equations, and they assume the form where is a suitable smooth real-valued function defined on and is a suitable bounded domain in . Notice that if , then (1.1) reduce to the standard Navier-Stokes equations.

In addition, we assume that the function is translation bounded, where or . This property implies that

We consider this equation in an appropriate Hilbert space and show that there is a pullback attractor . This is the basic idea of our construction, which is motivated by the works of [1].

Let . We assume that the function satisfies the following properties:(1),(2)there exist constants and such that, for all , . Note that the constant function satisfies these conditions.

We denote by the space with the scalar product and the norm given by as well as with the norm where .

Then for the functional setting of the problems (1.1), we use the following functional spaces: where is endowed with the scalar product and the norm in and is the spaces with the scalar product and the norm given by Also, we define the orthogonal projection as and we have that , where Then, we define the -Laplacian operator to have the linear operator For the linear operator , the following hold (see [1]).

(1) is a positive, self-adjoint operator with compact inverse, where the domain of is .

(2) There exist countable eigenvalues of satisfying where and is the smallest eigenvalue of . In addition, there exists the corresponding collection of eigenfunctions which forms an orthonormal basis for .

Next, we denote the bilinear operator and the trilinear form where , , and lie in appropriate subspaces of . Then, the form satisfies We denote a linear operator on by and have as a continuous linear operator from into such that

We now rewrite (1.1) as abstract evolution equations: In [1] the author established the global regularity of solutions of the g-Navier-Stokes equations. The Navier-Stokes equations were investigated by many authors, and the existence of the attractors for 2D Navier-Stokes equations was first proved in [2] and independently in [3]. The finite-dimensional property of the global attractor for general dissipative equations was first proved in [4]. For the analysis of the Navier-Stokes equations, one can refer to [5], specially [6] for the periodic boundary conditions.

The theory of pullback (or cocycle) attractors has been developed for both the nonautonomous and random dynamical systems (see [7β13]) and has shown to be very useful in the understanding of the dynamics of nonautonomous dynamical systems.

The understanding of the asymptotic behaviour of dynamical systems is one of the most important problems of modern mathematical physics. One way to treat this problem for a system having some dissipativity properties is to analyse the existence and structure of its global attractor, which, in the autonomous case, is an invariant compact set which attracts all the trajectories of the system, uniformly on bounded sets. This set has, in general, a very complicated geometry which reflects the complexity of the long-time behaviour of the system (see [14β17] and the references therein). However, nonautonomous systems are also of great importance and interest as they appear in many applications to natural sciences. In this situation, there are various options to deal with the problem of attractors for nonautonomous systems (kernel sections [18], skew-product formalism [16, 19], etc.); for our particular situation we have preferred to choose that of pullback attractor (see [9, 10, 13, 20]) which has also proved extremely fruitful, particularly in the case of random dynamical systems (see [11, 13]).

In this paper, we study the existence of compact pullback attractor for the nonautonomous g-Navier-Stokes equations in bounded domain with periodic boundary condition. It is proved that the fractal dimension of the pullback attractor is finite.

Hereafter will denote a generic scale invariant positive constant, which is independent of the physical parameters in the equation and may be different from line to line and even in the same line.

#### 2. Abstract Results

We now recall the preliminary results of pullback attractors, as developed in [8β10, 13].

The semigroup property is replaced by the process composition property and, obviously, the initial condition implies that . As with the semigroup composition , this just expresses the uniqueness of solutions.

It is also possible to present the theory within the more general framework of cocycle dynamical systems. In this case the second component of is viewed as an element of some parameter space , so that the solution can be written as , and a shift map is defined so that the process composition becomes the cocycle property However, when one tries to develop a theory under a unified abstract formulation, the context of cocycle (or skew-product flows) may not be the most appropriate to deal with the problem. In this paper, we apply a process to (1.16) by using the concept of measure of noncompactness to obtain pullback attractors.

By we denote the collection of the *bounded* sets of .

*Definition 2.1. *Let be a process on a complete metric space . A family of compact sets is said to be a pullback attractor for if, for all , it satisfies(i) for all ,(ii), for .The pullback attractor is said to be uniform if the attraction property is uniform in time, that is,

*Definition 2.2. *A family of compact sets is said to be a forward attractor for if, for all , it satisfies(i) for all ,(ii), for .The forward attractor is said to be uniform if the attraction property is uniform in time, that is,
In the definition, is the Hausdorff semidistance between and , defined as
Property (i) is a generalization of the invariance property for autonomous dynamical systems. The pullback attracting property (ii) considers the state of the system at time when the initial time goes to .

The notion of an attractor is closely related to that of an absorbing set.

*Definition 2.3. *The family is said to be (pullback) absorbing with respect to the process if, for all and , there exists such that for all
The absorption is said to be uniform if does not depend on the time variable .

Now we recall the abstract results in [21].

*Definition 2.4. *The family of processes is said to be satisfying pullback Condition (C) if, for any fixed and , there exist and a finite dimensional subspace of such that(i) is bounded,(ii),
where is a bounded projector.

Theorem 2.5. *Let the family of processes acting in be continuous and possess compact pullback attractor satisfying
**
if it *(i)*has a bounded (pullback) absorbing set ,*(ii)*satisfies pullback Condition (C).**Moreover if is a uniformly convex Banach space, then the converse is true.*

#### 3. Pullback Attractor of Nonautonomous g-Navier-Stokes Equations

This section deals with the existence of the attractor for the two-dimensional nonautonomous g-Navier-Stokes equations in a bounded domain with periodic boundary condition.

In [1], the author has shown that the semigroup associated with the autonomous systems (1.16) possesses a global attractor in and . The main objective of this section is to prove that the nonautonomous system (1.16) has uniform attractors in and .

To this end, we first state the following results of existence and uniqueness of solutions of (1.16).

Proposition 3.1. *Let be given. Then for every there exists a unique solution on of (1.16), satisfying . Moreover, one has
**
Finally, if , then
*

*Proof. *The Proof of Proposition 3.1 is similar to autonomous case in [1, 17].

Proposition 3.2. *The process associated with the system (1.16) possesses (pullback) absorbing sets, that is, there exists a family of bounded (pullback) absorbing sets in and for the process , which is given by
**
which absorb all bounded sets of . Moreover and absorb all bounded sets of and in the norms of and , respectively.*

*Proof. *The proof of Proposition 3.2 is similar to autonomous g-Navier-Stokes equation. We can obtain absorbing sets in and from [1].

The main results in this section are as follows.

Theorem 3.3. *If and , then the processes corresponding to problem (1.16) possess compact pullback attractor in which coincides with the pullback attractor:
**
where is the (pullback) absorbing set in .*

*Proof. *As in the previous section, for fixed , let be the subspace spanned by , and the orthogonal complement of in . We write
Now, we only have to verify Condition (C). Namely, we need to estimate , where is a solution of (1.16) given in Proposition 3.1.

Multiplying (1.16) by , we have
It follows that
Since satisfies the following inequality (see [6]):
thus,
Next, using the Cauchy inequality,
Finally, we have
Putting (3.9)β(3.11) together, there exists constant such that
Therefore, we deduce that
Here, depends on , is not increasing as increasing.

By the Gronwall inequality, the above inequality implies that
If we consider the time instead of (so that we can use more easily the definition of pullback attractors), we have
Applying continuous integral and Lemma II β1.3 in [18] for any , there exists such that
thus, we have
Using (1.11) and letting , then implies that
Therefore, we deduce from (3.14) that
which indicates satisfying pullback Condition (C) in . Applying Theorem 2.5, the proof is complete.

According to Propositions 3.1-3.2, we can now regard that the families of processes are defined in and is a pullback absorbing set in .

Theorem 3.4. *If , then the processes corresponding to problem (1.16) possess compact pullback attractor in :
**
where is the absorbing set in .*

*Proof. *Using Proposition 3.2, we have that the family of processes corresponding to (1.16) possess the pullback absorbing set in .

Now we testify that the family of processes corresponding to (1.16) satisfies pullback Condition (C).

Multiplying (1.16) by , we have
It follows that
To estimate , we recall some inequalities (see [22]), for every ,
from which we deduce that
and using (3.26),
Expanding and using Young's inequality, together with the first one of (3.28) and the second one of (3.25), we have
where we use
and set
Next, using the Cauchy inequality,
Finally, we estimate by
Putting (3.29)β(3.33) together, there exists a constant such that
Here, depends on , is not increasing as increasing. Therefore, by the Gronwall inequality, the above inequality implies that
We consider the time instead of . The following result is similar to (3.17)β(3.19), for any :
Using (1.11) and letting , then implies that
Therefore, we deduce from (3.35) that
which indicates satisfying pullback Condition (C) in .

#### 4. The Dimension of the Pullback Attractor

To estimate the dimension of the pullback attractor , we will apply the abstract machinery in [18, 23]. Let be a given family of nonlinear operators such that, for all and any , there exists a unique function satisfying where .

Using the standard methods (see [17, 18]), we can show that is uniformly quasidifferentiable on . Then, for all and any , there exists a unique , which is a solution of For all , we define the linear operator by

Theorem 4.1. *Suppose that satisfies the assumptions of Theorem 3.3. Then, if , the Pullback attractor (uniformly in the past) defined by (3.4) satisfies
**
where
**
with the constant , of (3.29) and (3.32) of Chapter VI in [17], is the first eigenvalue of the Stokes operator and .*

*Proof. *With Theorem 3.3 at our disposal we may apply the abstract framework in [17, 18, 23, 24].

For , let , where . Let be an orthonormal basis for span . Since almost everywhere , we can also assume that almost everywhere . Then, similar to the proof process of Theorems 3.3 and 3.4, we may obtain
almost everywhere . From this equality, and in particular using the Schwarz and Lieb-Thirring inequality (see [17, 18, 23, 24]), one obtains
On the other hand, we can deduce that
for , and then

Now we define
Hence,

#### Acknowledgments

The author would like to thank the reviewers and the editor for their valuable suggestions and comments. This work was supported by the National Science Foundation of China (Grant no. 10901147).

#### References

- J. Roh, βDynamics of the g-Navier-Stokes equations,β
*Journal of Differential Equations*, vol. 211, no. 2, pp. 452β484, 2005. View at Publisher Β· View at Google Scholar - O. A. Ladyzhenskaya, βOn the dynamical system generated by the Navier-Stokes equations,β
*Zapiskii of Nauchnish Seminarovs LOMI*, vol. 27, pp. 91β114, 1972, english translation in:*Journal of Soviet Mathematics*, vol. 3, 1975. View at Google Scholar - C. FoiaΕ and R. Temam, βFinite parameter approximative structure of actual flows,β in
*Nonlinear Problems: Present and Future*, A. R. Bishop, D. K. Campbell, and B. Nicolaenko, Eds., vol. 61, pp. 317β327, North-Holland, Amsterdam, The Netherlands, 1982. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. Mallet-Paret, βNegatively invariant sets of compact maps and an extension of a theorem of Cartwright,β
*Journal of Differential Equations*, vol. 22, no. 2, pp. 331β348, 1976. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. Constantin and C. Foias,
*Navier-Stokes Equations*, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, Ill, USA, 1988. - R. Temam,
*Navier-Stokes Equations, Theory and Numerical Analysis*, vol. 2 of*Studies in Mathematics and Its Applications*, North-Holland, Amsterdam, The Netherlands, 3rd edition, 1984. - T. Caraballo and J. Real, βNavier-Stokes equations with delays,β
*Proceedings of the Royal Society of London A*, vol. 457, no. 2014, pp. 2441β2453, 2001. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Caraballo and J. Real, βAsymptotic behaviour of two-dimensional Navier-Stokes equations with delays,β
*Proceedings of the Royal Society of London A*, vol. 459, no. 2040, pp. 3181β3194, 2003. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Caraballo and J. Real, βAttractors for 2D-Navier-Stokes models with delays,β
*Journal of Differential Equations*, vol. 205, no. 2, pp. 271β297, 2004. View at Publisher Β· View at Google Scholar - D. N. Cheban, P. E. Kloeden, and B. SchmalfuΓ, βThe relationship between pullback, forward and global attractors of nonautonomous dynamical systems,β
*Nonlinear Dynamics and Systems Theory*, vol. 2, no. 2, pp. 125β144, 2002. View at Google Scholar Β· View at Zentralblatt MATH - H. Crauel, A. Debussche, and F. Flandoli, βRandom attractors,β
*Journal of Dynamics and Differential Equations*, vol. 9, no. 2, pp. 307β341, 1997. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - J. Mallet-Paret and G. R. Sell, βThe PoincarΓ©-Bendixson theorem for monotone cyclic feedback systems with delay,β
*Journal of Differential Equations*, vol. 125, no. 2, pp. 441β489, 1996. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - B. Schmalfuss, βBackward cocycle and attractors of stochastic differential equations,β in
*Proceedings of the International Seminar on Applied Mathematics-Nonlinear Dynamics: Attractor Approximation and Global Behaviour*, V. Reitmann, T. Redrich, and N. J. Kosch, Eds., pp. 185β192, 1992. - I. D. Chueshov,
*Introduction to the Theory of Infinite-Dimensional Dissipative Systems*, Acta Scientific, Kharkiv, Ukraine, 2002. - Q. Ma, S. Wang, and C. Zhong, βNecessary and sufficient conditions for the existence of global attractors for semigroups and applications,β
*Indiana University Mathematics Journal*, vol. 51, no. 6, pp. 1541β1559, 2002. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - G. R. Sell and Y. You,
*Dynamics of Evolutionary Equations*, vol. 143 of*Applied Mathematical Sciences*, Springer, New York, NY, USA, 2002. - R. Temam,
*Infinite-Dimensional Dynamical Systems in Mechanics and Physics*, vol. 68 of*Applied Mathematical Sciences*, Springer, New York, NY, USA, 2nd edition, 1997. - V. V. Chepyzhov and M. I. Vishik,
*Attractors for Equations of Mathematical Physics*, vol. 49 of*American Mathematical Society Colloquium Publications*, American Mathematical Society, Providence, RI, USA, 2002. - I. Moise, R. Rosa, and X. Wang, βAttractors for noncompact nonautonomous systems via energy equations,β
*Discrete and Continuous Dynamical Systems. Series A*, vol. 10, no. 1-2, pp. 473β496, 2004. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - P. E. Kloeden and D. J. Stonier, βCocycle attractors in nonautonomously perturbed differential equations,β
*Dynamics of Continuous, Discrete and Impulsive Systems*, vol. 4, no. 2, pp. 211β226, 1998. View at Google Scholar Β· View at Zentralblatt MATH - Y. Wang, C. Zhong, and S. Zhou, βPullback attractors of nonautonomous dynamical systems,β
*Discrete and Continuous Dynamical Systems A*, vol. 16, no. 3, pp. 587β614, 2006. View at Google Scholar Β· View at Zentralblatt MATH - C. Foias, O. P. Manley, R. Temam, and Y. M. TrΓ¨ve, βAsymptotic analysis of the Navier-Stokes equations,β
*Physica D*, vol. 9, no. 1-2, pp. 157β188, 1983. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - V. V. Chepyzhov and A. A. Ilyin, βOn the fractal dimension of invariant sets: applications to Navier-Stokes equations,β
*Discrete and Continuous Dynamical Systems A*, vol. 10, no. 1-2, pp. 117β135, 2004. View at Google Scholar Β· View at Zentralblatt MATH - J. A. Langa, G. Εukaszewicz, and J. Real, βFinite fractal dimension of pullback attractors for non-autonomous 2D Navier-Stokes equations in some unbounded domains,β
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 66, no. 3, pp. 735β749, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH