Abstract and Applied Analysis
Volumeย 2012, Article IDย 627813, 12 pages
http://dx.doi.org/10.1155/2012/627813
Research Article

## Long-Time Decay to the Global Solution of the 2D Dissipative Quasigeostrophic Equation

Department of Mathematics, College of Science, King Saud University, Riyadh 11451, Saudi Arabia

Received 10 January 2012; Accepted 8 March 2012

Copyright ยฉ 2012 Jamel Benameur and Mongi Blel. 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 study the behavior at infinity in time of any global solution of the surface quasigeostrophic equation with subcritical exponent . We prove that . Moreover, we prove also the nonhomogeneous version of the previous result, and we prove that if is a global solution, then .

#### 1. Introduction

We consider the dissipative quasi-geostrophic equation with subcritical exponent , where , , is the unknown potential temperature, and is the divergence free velocity which is determined by the Riesz transformation of in the following way: This equation is a two-dimensional model of the incompressible Euler equations, and if , the equation is the Navier-Stokes equation. We refer the reader to [1] where the authors explain the physical origin and the signification of the parameters of this equation.

The critical homogeneous Sobolev space of the system is , and we have

The local well-posedness of () with data is established by [2] and [3] separately if . In [4], Dong and Du study the critical case in the critical space . They prove the global existence if the initial condition is in the critical space .

The global existence when is an open problem. We have only the local existence. In this case [5], Niche and Schonbek prove that if the initial data is in , then the norm of the solution tends to zero but with no uniform rate, that is, there are solutions with arbitrary slow decay. If , with , they obtain a uniform decay rate in . They consider also the solution in other spaces. For the proof of their results, they use the kernel associated to the operator , and they use the Littlewood-Paley decomposition. Our main result is the following.

Theorem 1.1. Assume that .(i)If is a global solution of (), then (ii)If is a global solution of (), then

#### 2. Notations and Preliminary Results

##### 2.1. Notations and Technical Lemmas

In this short section, we collect some notations and definitions that will be used later, and we give some technical lemmas.(i)The Fourier transformation in is normalized as (ii)The inverse Fourier formula is (iii)For , denotes the usual nonhomogeneous Sobolev space on and its scalar product.(iv)For , denotes the usual homogeneous Sobolev space on and its scalar product.(v)For and , These two inequalities are called the interpolation inequalities, respectively, in the homogeneous and nonhomogeneous Sobolev spaces.(i)For any Banach space , any real number , and any time , we denote by the space of measurable functions such that .(ii)If and are two vector fields, we set We recall a fundamental lemma concerning some product laws in homogeneous Sobolev spaces.

Lemma 2.1 (see [6]). Let , be two real numbers such that There exists a constant , such that for all , If and , there exists a constant such that for all and ,

For the proof of the main result, we need the following lemma.

Lemma 2.2. With the same conditions of Theorem 1.1, for all ,

Remark 2.3. (i) In the case where , the formula (2.9) gives
In the case where , the formula (2.9) gives

Proof of Lemma 2.2. From the Cauchy-Schwarz inequality, we have Using the weak derivatives properties, the product laws (Lemma 2.1), with , , and , we can dominate the nonlinear part as follows:

##### 2.2. Existence Theorem

In [7], Wu proves an existence and uniqueness theorem of () in the well-known Besov spaces . We recall this theorem in the special case, where .

Theorem 2.4. Assume that and , then there exists a constant such that if then the initial value problem () has a unique solution in . Moreover, where is the space of continuous and bounded functions from to .

In use of the fact that is a Hilbert space, one deduces the following.

Corollary 2.5. Assume that and , then there exists a constant such that if then the initial value problem () has a unique solution in . Moreover,

Proof . Taking the scalar product in , we get
Using Lemma 2.1 with and , we obtain Then the quadratic term can be absorbed, Taking the integral on the interval , we obtain

#### 3. Proof of the Main Theorem

The proof of the first part will be in two steps.

First Step (Small Initial Data)
In this case, we suppose that with a sufficient small number. Then from Corollary 2.5,
For a strictly positive real number and a given distribution , we define the operators and , respectively, by the following: We define and ; . Then, We deduce that Since , then from the dominate convergence theorem and (3.3), we have The function satisfies Multiplying this equation by , we deduce that Using Remark 2.3 and (3.3), we get We set Then, Let , from (3.7), there exists such that Let , then where is the Lebesgue measure of . If then . For , there exists such that , and it results that Equation (3.13) and (3.16) give that Thus, , and this finishes the proof in this case.

Second Step (Large Initial Data)
To prove the result for any initial data, it suffices to prove the existence of some such that Let , with
Now, consider the following system: By Corollary 2.5, there is a unique solution such that Let , then is a solution of the following system: Taking a scalar product in , we obtain Using the product law in Lemma 2.1, with and , then, for all , then , with , Then, Now define the set as a measurable with respect to the Lebesgue measure. We have So and , then there is Then, and then

Applying the conclusion of Theorem 1.1 for () system starting at , we can deduce the desired result.

In the nonhomogeneous case, we suppose that , then

We can suppose that , and for all ,

Thus, it suffices to prove that

Let , then we recall the operators We define and . Then, and from Lemma 2.2, We deduce that Then from the dominate convergence theorem and the following energy estimate we deduce that

Multiplying this equation by , we have We set Then, Let , from (3.40), then there exists such that Let , then where is the Lebesgue measure of . If then . For , there exists such that , then The equations (3.45) and (3.48) give that Thus, , and this finishes the proof.

#### Acknowledgments

This research is supported by NPST Program of King Saud University, project number 10-MAT1293-02. The authors thank the referee for his/her careful reading of the paper and corrections.

#### References

1. P. Constantin, A. J. Majda, and E. Tabak, โFormation of strong fronts in the 2-D quasigeostrophic thermal active scalar,โ Nonlinearity, vol. 7, no. 6, pp. 1495โ1533, 1994.
2. N. Ju, โDissipative 2D quasi-geostrophic equation: local well-posedness, global regularity and similarity solutions,โ Indiana University Mathematics Journal, vol. 56, no. 1, pp. 187โ206, 2007.
3. H. Miura, โDissipative quasi-geostrophic equation for large initial data in the critical Sobolev space,โ Communications in Mathematical Physics, vol. 267, no. 1, pp. 141โ157, 2006.
4. H. Dong and D. Du, โGlobal well-posedness and a decay estimate for the critical dissipative quasi-geostrophic equation in the whole space,โ Discrete and Continuous Dynamical Systems-Series A, vol. 21, no. 4, pp. 1095โ1101, 2008.
5. C. J. Niche and M. E. Schonbek, โDecay of weak solutions to the 2D dissipative quasi-geostrophic equation,โ Communications in Mathematical Physics, vol. 276, no. 1, pp. 93โ115, 2007.
6. J.-Y. Chemin, โAbout Navier-Stokes equations,โ Publications of Jaques-Louis Lions Laboratoiry, Paris VI University, R96023, 1996.
7. J. Wu, โExistence and uniqueness results for the 2-D dissipative quasi-geostrophic equation,โ Nonlinear Analysis: Theory, Methods & Applications A, vol. 67, no. 11, pp. 3013โ3036, 2007.