Abstract and Applied Analysis

Volume 2014, Article ID 546898, 7 pages

http://dx.doi.org/10.1155/2014/546898

## Upper Semicontinuity of Attractors for a Non-Newtonian Fluid under Small Random Perturbations

Oil and Gas Engineering Institute, Southwest Petroleum University, Chengdu, Sichuan 610500, China

Received 9 March 2014; Revised 11 May 2014; Accepted 15 May 2014; Published 19 June 2014

Academic Editor: Antonio Suárez

Copyright © 2014 Jianxin Luo. 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

This paper investigates the limiting behavior of attractors for a two-dimensional incompressible non-Newtonian fluid under small random perturbations. Under certain conditions, the upper semicontinuity of the attractors for diminishing perturbations is shown.

#### 1. Introduction

Fluid flows arise in numerous scientific and industrial endeavors such as aeronautical sciences, meteorology, thermohydraulics, petroleum industry, and plasma physics. The equations describing the motion of the fluid flows are determined by its extra stress tensor. If the extra stress tensor of the fluid depends linearly on its symmetric part of the velocity gradient, the fluid is called Newtonian. Otherwise, the fluid is called non-Newtonian [1]. For instance, gases, water, motor oil, alcohols, and simple hydrocarbon compounds tend to be Newtonian fluids and their motions can be described by the Navier-Stokes equations. Molten plastics, polymer solutions, and paints tend to be non-Newtonian fluids, which may be described by the following system: where the vector function is the velocity of the fluid, is the external force, the scalar function represents the pressure, and is the extra stress tensor of the fluid.

Ladyzhenskaya [2] formulated a two-dimensional non-Newtonian fluid model with the extra stress tensor: where and , , , and are parameters associated with the fluid and generally depend on temperature and pressure. The initial-boundary value problem of (1)-(2) on a 2D bounded domain (with regular boundary) can be formulated as follows: where and denotes the exterior unit normal vector to the boundary . The first condition in (6) is the usual no-slip condition, while the second one expresses the fact that the first moments of the traction vanish on the boundary. This is a direct consequence of the principle of virtual work. We refer to [1–7] for more physical background. Recent results on well posedness, regularity, and long-term behavior of solutions for (4)–(7) are in, for example, [1–5, 7–10].

Attractors are an important concept in the study of infinite dimensional dynamical systems. There are numerous works on the autonomous and nonautonomous equations concerning this subject; see, for example, Chepyzhov and Vishik [11], Hale [12], Robinson [13], and Temam [14]. However, external forces or time-dependent influences in some fluid and materials phenomenon lead to the presence of stochastic terms in the above model equations (see, e.g., [15, 16]).

The fundamental theory of random dynamical systems (RDS) was developed in 1990s by many people, including Arnold [15], Crauel and Flandoli [17], Crauel et al. [18], Flandoli and Schmalfuss [19], Caraballo, Langa, Robinson, and their coauthors [20–24].

The motivation for the present paper is the desire to understand the stability of attractors for the above two-dimensional non-Newtonian fluid under vanishing small random perturbations.

We investigate the relations between the random attractor and its deterministic counterpart when the incompressible non-Newtonian fluid is subject to a small random perturbation, whose strength is measured by a small positive parameter . Consider the problem (4)–(7) and the following 2D incompressible non-Newtonian fluid with an additive noise: where , is an independent two-sided Wiener processes, and is a function satisfying some conditions to be specified below. Caraballo et al. [25–28] proved the stability of the attractors for a class of evolution equations under small random perturbations and the results were applied to various physical equations. We note that (4) is regarded as the modified Navier-Stokes equations as the gradient of the velocity is relatively large [2]. Clearly, (4) reduces to Navier-Stokes equations when .

The main result in the present paper is the stability of the attractor in the sense that where is the Hausdorff semidistance on the metric space (see notation in Section 2) and and are the attractors associated with (8) and (4)–(7), respectively. Given a , we prove that there exists an (depending on , a parameter event in a probability space ) sufficiently small, such that the random attractors are inside the neighborhood of the global attractor for all with probability one.

The paper is organized as follows. In the next section, we introduce some notations and recall some results from [8, 10]. Section 3 is devoted to prove the stability of solutions of the perturbed random system to the unperturbed deterministic system and then show the stability of the random attractor by showing with probability one.

#### 2. Global Existence and Uniqueness of Solutions

In this section, we introduce some notations and recall some results about non-Newtonian fluid dynamics. Define , , , , ,where denotes the inner product in and stands for the dual pairing between and . If we identify with , then with continuous and compact embeddings.

We also define the bilinear form

Lemma 1 (see [4]). *There exist two positive constants and , which depend only on , such that
*

From the definition of and Lemma 1 we see that defines a positive definite symmetric bilinear form on . As a consequence of the Lax-Milgram Lemma, we obtain an operator , via Moreover, let , and then is a Hilbert space. We have (see [8]) For brevity, we use to denote in the sequel. We also define a continuous trilinear form on as follows: Since , is continuous on and one can check Now for any , defines a continuous functional from to . Finally, for , we set and define as Then the functional is continuous from to . When , can be extended to via

Eliminating the pressure by a proper projection, we have the weak version of problem (4)–(7) in the solenoidal vector fields as follows (see [4, 9]):

Lemma 2 (see [8, 9]). *Let (independent of time ). Then the semigroup associated with (19) possesses a global attractor in satisfying*(1)*( compactness) is compact in ;*(2)

*(*(3)

*invariance*) , ;*(*

*attractivity*) for all bounded, .*Moreover, is compact in space and for any bounded,*

In this paper, we use the concepts concerning the metric dynamical system (MDS), random dynamical system (RDS), random closed set, and global random attractor from [15].

We now take and endow it with the compact open topology (see Appendices and in [15]). Take as the corresponding product measure of two Wiener measures on the negative and the positive time parts of , and denote by the Borel -algebra on . Let

To obtain the uniqueness and existence of solutions for the problem (8), we need the following assumption.

*Assumption A. *If , , , and , then there exists a positive number such that

*Remark 3. *Since , we see that the assumption (22) is satisfied provided that the function is Lipschitz continuous on .

Using the notations and operators introduced above, we can put (8) into the following abstract form:

Let be a constant and denote by the solution of the stationary solution of the It equation: The solution is often called an Ornstein-Uhlenbeck process. In fact, We now make the change Then satisfies the following random abstract evolutionary equation: Now (28) can be studied for each .

Lemma 4 (see [10]). *Let Assumption A hold. Then for - a.s. , the following results hold.*(1)

*For all and , there exists a unique solution of (28) with initial value .*(2)

*If , then the solution belongs to .*(3)

*For every , .*(4)

*Denote the solution by . Then the map is continuous for all .*

By Lemma 4 we see that for each there is a continuous mapping from into itself: , where is the solution of (28) with initial value . Thus for each , we can define an RDS associated with (23) and (24) in by setting

We end this section with the concept of random attractor for in space .

*Definition 5. *Let the RDS on be defined by (29) with state space , if satisfies the following:(i)(random compactness) is a random compact set of for a.e. ,(ii)(invariance) for a.e. and all , ,(iii)(attracting property) for any bounded subset of and a.e. ,
Then is called a global random attractor for in space .

#### 3. Stability of Attractors

We first prove the following lemma, which plays a key role later on.

Lemma 6. *The solution of (23) and (24) converges in - a.s. as to the solution of the unperturbed problem (19), uniformly on bounded sets of initial conditions. That is, for almost every , and bounded, the following convergence holds:
*

*Proof. *Let be the difference between the solutions of the perturbed and unperturbed equations with the same initial condition at . It is clear that satisfies
We now make the change of variables
and thus formally obtain
Taking the inner product of the above equation with , we get
Therefore
By the property of the operator , we imply that
Thus,
We now estimate the right hand side of (38) terms by terms. First note that
Then also note that
By the nonnegativity of (see [4]), we conclude that
Set , where
Here denotes the matrix of order . Then the first order Fréchet derivative of is
Since , we have
Consequently,

Now for any ,
Taking , , applying the integration by parts first, and then utilizing the above inequality about , we have
Combining (35)–(40) and (47), we obtain
where
Then, by Gronwall inequality,
By Lemma 2 we find that is uniformly bounded with the initial values belonging to a bounded set (see [8] for details). Obviously, . Thus, as and by (50) we get as for all . Therefore,
We complete the proof by taking .

*Remark 7. *The RDS (see (29)) is defined using the transformation (27) into a random equation with the Ornstein-Uhlenbeck process. The estimates in Lemma 6 are obtained using a change of variable (33). It is just for the convenience of computation. In fact, we can check that the functions given by the two changes of variable satisfy the same equation (23). Thus the solutions of the stochastic system (23) given by the two changes of variables are the same.

Lemma 8. *Let Assumption A hold. Then for each , there exists a random attractor for the RDS associated with (23) and (24), and in addition there exists a compact set such that - a.s.*

*Proof. *For each , the existence of a random attractor for the RDS associated with (23) and (24) can be found in [10]. Also, the existence of a compact set and (52) can be established, with a similar way to Lemma 4.3 of [10] by showing that (the radius of random absorbing set in ) and with independent of . The detailed proof is omitted here.

By Lemmas 3.1 and 3.3 and Theorem 2 of [25] and Theorem 1.1 of [8], we obtain the main result of this paper as follows.

Theorem 9. *Let Assumption A hold. Then for each , the random dynamical system generated by (23) and (24) possesses a compact random attractor and the deterministic dynamical system generated by (19) has a global attractor in . Moreover,
**
with probability one.*

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgment

This paper is supported by the special fund of China’s central government for the development of local colleges and universities: the project of national first-level discipline in Oil and Gas Engineering.

#### References

- J. Málek, J. Nečas, M. Rokyta, and M. Růžička,
*Weak and Measure-Valued Solutions to Evolutionary PDE*, vol. 13, Chapman & Hall, New York, NY, USA, 1996. View at MathSciNet - O. Ladyzhenskaya, “New equations for the description of the viscous incompressible fluids and solvability in large of the boundary value problems for them,” in
*Boundary Value Problems of Mathematical Physics*, American Mathematical Society, Providence, RI, USA, 1970. View at Google Scholar - H. Bellout, F. Bloom, and J. Nečas, “Young measure-valued solutions for non-Newtonian incompressible fluids,”
*Communications in Partial Differential Equations*, vol. 19, no. 11-12, pp. 1763–1803, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Bloom and W. Hao, “Regularization of a non-Newtonian system in an unbounded channel: existence and uniqueness of solutions,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 44, pp. 281–309, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Bloom and W. Hao, “Regularization of a non-Newtonian system in an unbounded channel: existence of a maximal compact attractor,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 43, no. 6, pp. 743–766, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Guo, B. Guo, and Y. Han, “Random attractors of stochastic non-Newtonian fluids,”
*Acta Mathematicae Applicatae Sinica*, vol. 28, no. 1, pp. 165–180, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - M. Pokorný, “Cauchy problem for the non-Newtonian viscous incompressible fluid,”
*Applications of Mathematics*, vol. 41, no. 3, pp. 169–201, 1996. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Zhao and Y. Li, “${L}^{2}$-compact attractor for a non-Newtonian system in two-dimensional unbounded domains,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 56, no. 7, pp. 1091–1103, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Zhao and S. Zhou, “${L}^{2}$-compact uniform attractors for a nonautonomous incompressible non-Newtonian fluid with locally uniformly integrable external forces in distribution space,”
*Journal of Mathematical Physics*, vol. 48, no. 3, Article ID 032702, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Zhao and J. Duan, “Random attractor for the Ladyzhenskaya model with additive noise,”
*Journal of Mathematical Analysis and Applications*, vol. 362, no. 1, pp. 241–251, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at MathSciNet - J. K. Hale,
*Asymptotic behavior of dissipative systems*, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, USA, 1988. View at MathSciNet - J. C. Robinson,
*Infinite-dimensional dynamical systems*, Cambridge University Press, Cambridge, UK, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - R. Temam,
*Infinite Dimensional Dynamical Systems in Mechanics and Physics*, vol. 68, Springer, Berlin, Germany, 2nd edition, 1997. View at MathSciNet - L. Arnold,
*Random Dynamical Systems*, Berlin, Germany, Springer, 1998. View at Publisher · View at Google Scholar · View at MathSciNet - G. da Prato and J. Zabczyk,
*Stochastic Equations in Infinite Dimensions*, Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1992. View at Publisher · View at Google Scholar · View at MathSciNet - H. Crauel and F. Flandoli, “Attractors for random dynamical systems,”
*Probability Theory and Related Fields*, vol. 100, no. 3, pp. 365–393, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at MathSciNet - F. Flandoli and B. Schmalfuss, “Random attractors for the ${H}^{2}$D stochastic Navier-Stokes equation with multiplicative white noise,”
*Stochastics and Stochastics Reports*, vol. 59, no. 1-2, pp. 21–45, 1996. View at Publisher · View at Google Scholar · View at MathSciNet - T. Caraballo, J. A. Langa, and J. Valero, “Global attractors for multivalued random dynamical systems generated by random differential inclusions with multiplicative noise,”
*Journal of Mathematical Analysis and Applications*, vol. 260, no. 2, pp. 602–622, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo, J. A. Langa, V. S. Melnik, and J. Valero, “Pullback attractors of nonautonomous and stochastic multivalued dynamical systems,”
*Set-Valued Analysis*, vol. 11, no. 2, pp. 153–201, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo, J. A. Langa, and J. Valero, “Global attractors for multivalued random dynamical systems,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 48, no. 6, pp. 805–829, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo and K. Lu, “Attractors for stochastic lattice dynamical systems with a multiplicative noise,”
*Frontiers of Mathematics in China*, vol. 3, no. 3, pp. 317–335, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo, M. J. Garrido-Atienza, B. Schmalfuss, and J. Valero, “Non-autonomous and random attractors for delay random semilinear equations without uniqueness,”
*Discrete and Continuous Dynamical Systems A*, vol. 21, no. 2, pp. 415–443, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo, J. A. Langa, and J. C. Robinson, “Upper semicontinuity of attractors for small random perturbations of dynamical systems,”
*Communications in Partial Differential Equations*, vol. 23, no. 9-10, pp. 1557–1581, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo, J. A. Langa, and J. C. Robinson, “Stability and random attractors for a reaction-diffusion equation with multiplicative noise,”
*Discrete and Continuous Dynamical Systems*, vol. 6, no. 4, pp. 875–892, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Caraballo, P. E. Kloeden, and B. Schmalfuß, “Exponentially stable stationary solutions for stochastic evolution equations and their perturbation,”
*Applied Mathematics and Optimization*, vol. 50, no. 3, pp. 183–207, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. C. Robinson, “Stability of random attractors under perturbation and approximation,”
*Journal of Differential Equations*, vol. 186, no. 2, pp. 652–669, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet