Commun. Math. Phys. 276, 93–115 (2007) Digital Object Identifier (DOI) 10.1007/s00220-007-0327-y
Communications in
Mathematical Physics
Decay of Weak Solutions to the 2D Dissipative Quasi-Geostrophic Equation César J. Niche, María E. Schonbek Department of Mathematics, UC Santa Cruz, Santa Cruz, CA 95064, USA. E-mail:
[email protected];
[email protected] Received: 15 May 2006 / Accepted: 15 April 2007 Published online: 28 August 2007 – © Springer-Verlag 2007
Abstract: We address the decay of the norm of weak solutions to the 2D dissipative quasi-geostrophic equation. When the initial data θ0 is in L 2 only, we prove that the L 2 norm tends to zero but with no uniform rate, that is, there are solutions with arbitrarily slow decay. For θ0 in L p ∩ L 2 , with 1 ≤ p < 2, we are able to obtain a uniform decay 2 rate in L 2 . We also prove that when the L 2α−1 norm of θ0 is small enough, the L q norms, 2 for q > 2α−1 , have uniform decay rates. This result allows us to prove decay for the L q norms, for q ≥
2 2α−1 ,
2
when θ0 is in L 2 ∩ L 2α−1 .
1. Introduction and Statement of Results We consider the dissipative 2D quasi-geostrophic equation θt + (u · ∇)θ + (−)α θ = 0, θ (x, 0) = θ0 (x),
(1.1)
where x ∈ R2 , t > 0 and subcritical exponent 21 < α ≤ 1. In this equation, θ = θ (x, t) is a real scalar function (the temperature of the fluid), u is an incompressible vector field (the velocity of the fluid) determined by the scalar function ψ (the stream function/pressure) through u = (u 1 , u 2 ) = (−
∂ψ ∂ψ , ). ∂ x2 ∂ x1
The temperature θ and the stream function ψ are related by ψ = −θ, The second author was partially supported by NSF grant DMS-0600692.
94
C. J. Niche, M. E. Schonbek 1
where is the usual operator given by = (−) 2 and defined via the Fourier transform as s 2 f (ξ ) = |ξ |s fˆ(ξ ), s ≥ 0. When α = 21 , “dimensionally, the 2D quasi-geostrophic equation is the analogue of the 3D Navier-Stokes equations” (Constantin and Wu [11]), and the behaviour of solutions to (1.1) is similar to that of the 3D Navier-Stokes equations. For this reason, α = 21 is considered the critical exponent, while α ∈ ( 21 , 1] are the subcritical exponents. Note that when α = 1, (1.1) is the vorticity equation of the 2D Navier-Stokes equations. Besides its intrinsic mathematical interest, the dissipative 2D quasi-geostrophic equation describes models arising in meteorology and oceanography. More specifically, it can be derived from the General Quasi Geostrophic equations by assuming constant potential vorticity and constant buoyancy frequency (see Constantin, Majda and Tabak [10] and Pedlosky [20]). Consider the dissipative quasi-geostrophic equation with subcritical exponent, this is α ∈ ( 21 , 1]. In this article, we address the uniform decay of the L q norm, for q ≥ 2, of weak solutions to (1.1) for the initial data θ0 in different spaces. We first describe results related to the ones obtained here. In his Ph.D. thesis, Resnick [21] proved existence of global solutions to (1.1) for θ0 in L 2 . Moreover, he proved a maximum principle θ (t) L p ≤ θ0 L p , t ≥ 0
(1.2)
for 1 < p ≤ ∞. Constantin and Wu [11] established uniqueness of “strong” solutions (for a precise statement of this and Resnick’s result, see Sect. 2.1) and also showed that for θ0 in L 1 ∩ L 2 , 1
θ (t) L 2 ≤ C(1 + t)− 2α , t ≥ 0.
(1.3)
Their proof relies on an adaptation of the Fourier splitting method developed by Schonbek [22, 23] and on the retarded mollifiers method of Cafarelli, Kohn and Nirenberg [2]. Moreover, they proved that for generic initial data, the decay rate (1.3) is optimal. Using rather general pointwise estimates for the fractional derivative α θ and a positivity lemma, Córdoba and Córdoba [12] gave a new proof of (1.2) and proved decay of solutions when θ0 is in L 1 ∩ L p , for 1 < p < ∞. More specifically, they showed that − p−1 αp
θ (t) L p ≤ C1 (1 + C2 t)
, t ≥ 0,
(1.4)
where C1 and C2 are explicit constants. Working along the same lines, Ju [15] obtained an improved maximum principle of the form θ (t) L p ≤ θ0 L p
1
C p−2 t 1+ p−2
p 2− 2 pα
(1.5)
for θ0 in L 2 ∩ L p , with p ≥ 2 and a constant C = 1. Note that for p = 2, i.e. θ0 in L 2 , this expression reduces to (1.2); this is θ (t) L 2 ≤ θ0 L 2 . We now state the results we prove in this article. As we mentioned in the last paragraph, when θ0 is in L 2 , the decay (1.5) reduces to the maximum principle (1.2) and no decay rate can be deduced. We address this issue in the following theorems, where we prove that the L 2 norm of weak solutions tends to zero but not uniformly, that is, there are solutions with arbitrarily slow decay.
Decay of Solutions to Quasi-Geostrophic Equation
95
Theorem 1.1. Let θ be a solution to (1.1) with θ0 ∈ L 2 . Then lim θ (t) L 2 = 0.
t→∞
Theorem 1.2. Let r > 0, > 0, T > 0 be arbitrary. Then, there exists θ0 in L 2 with θ0 L 2 = r such that if θ (t) is the solution with initial data θ0 , then θ (T ) L 2 ≥ 1 − . θ0 L 2 To prove Theorem 1.1 we adapt an argument used in Ogawa, Rajopadhye and Schonbek [19] to prove decay in the context of the Navier-Stokes equations with slowly varying external forces. It consists in finding estimates for the decay of the norm in the frequency space, studying separately low and high frequencies. The decay of the low frequency part is obtained through generalized energy inequalities, while the Fourier splitting method is used to bound the decay of the high frequency part. To construct the slowly decaying solutions of Theorem 1.2 we follow the ideas used by Schonbek [23] to prove a similar result for the Navier-Stokes equations. Namely, we construct initial data θ0λ whose L 2 norm does not change under an appropiate λ-scaling, such that it gives rise to a slowly decaying solution to the linear part of (1.1). We then impose extra conditions on θ0λ to control the term related to the nonlinear part, making it arbitrarily small for small enough values of λ. The next result concerns the decay of the L 2 norm of solutions when the initial data is in L p ∩ L 2 , with 1 ≤ p < 2. Theorem 1.3. Let θ0 ∈ L p ∩ L 2 , where 1 ≤ p < 2. Then, there is a weak solution such that 1 2 − 2α ( p −1)
θ (t) L 2 ≤ C(1 + t)
.
The proof of Theorem 1.3 has similarities with the one for (1.3) in Constantin and Wu [11]. We remark that the decay rate we obtain is of the same type as in (1.4) and (1.5), where θ0 is in L 1 ∩ L p , with 1 < p < ∞ and in L 2 ∩ L p , with p ≥ 2, as proved in Córdoba and Córdoba [12] and Ju [15] respectively. The next theorem is key for establishing decay of the L q norm of solutions, for large enough q. Theorem 1.4. Let θ0
2
L 2α−1 1
tα Moreover, for
2 2α−1
≤ κ. Then, for m =
( m1 − q1 )
2 2α−1
≤ q < ∞,
θ (t) ∈ BC((0, ∞), L q ).
≤ q < ∞, 1
t 2α
+ α1 ( m1 − q1 )
∇θ (t) ∈ BC((0, ∞), L q ).
The proof of Theorem 1.4 is based on ideas used by Kato [17] for proving a similar result for the Navier-Stokes equations. Namely, we construct (in an appropiate space) a solution to (1.1) by successive approximations θn+1 , whose norms are bounded by that of θ1 , θn and ∇θn . This gives rise to a system of recursive inequalities that can be solved if the norm of the data θ0 is small enough. We can then extract a subsequence converging to a solution with a certain decay rate. This preliminary estimate is then used to obtain the decay rate in Theorem 1.4. Note that when α = 1, we recover the rates obtained by Kato [17].
96
C. J. Niche, M. E. Schonbek
Remark 1.1. A result related to Theorem 1.4 concerning existence of strong solutions in 2 L p for small data in L q , where 2α−1 < q ≤ p and 1p + αq = α − 21 , was proven by Wu [27]. These solutions exist only in an interval [0, T ], where the size of the initial data 2 tends to zero when T goes to infinity. Notice that the special case of θ0 in L 2α−1 is not covered by the hypothesis. Remark 1.2. It is well known that solutions to the 3D Navier-Stokes equations, i.e. (1.1) with α = 1, are smooth when θ0 is small in L 2 and the solution is in H 1 (see Heywood [13], Kato [17] and Serrin [26]). For the quasi-geostrophic equation with critical expo3 nent α = 21 , Córdoba and Córdoba [12] proved that when θ0 is in H 2 and is small in ∞ L , the solution is in fact classical. These results suggest that the solution obtained in Theorem 1.4 might have better regularity than the one obtained. We now state the result concerning decay of L q norms, for large q. 2
Theorem 1.5. Let θ0 ∈ L 2 ∩ L 2α−1 . Then there exists T = T (θ0 ) such that for t ≥ T 2 and 2α−1 ≤ q < ∞, 1
4a−3
θ (t) L q ≤ C t q α(2α−1) 2
1 −1+ 2α
.
2
By (1.5), when θ0 ∈ L 2 ∩ L 2α−1 , the L 2α−1 norm of the solution tends to zero. Then, after a (possibly long) time T = T (θ0 ), the solution enters the ball of radius κ, where κ is as in Theorem 1.4. Interpolation between the decays in (1.5) and Theorem 1.4, for some q in the appropiate range of values, provides us with a first decay rate. This rate, which is a function of q, can then be maximized, leading us to the result in Theorem 1.5. A similar idea was used by Carpio [3] to obtain analogous results for the Navier-Stokes equations. Remark 1.3. After this work was submitted we received preprints of articles by Carrillo and Ferreira [4–6] in which they prove results directly related to the ones obtained here. The proofs by Carrillo and Ferreira are, in general, rather different from ours, as they work in spaces that are related but not identical to the ones we work in. In [5], they prove Theorem 1.4 in the particular case α = 1 and θ0 ∈ L 2 but with no restriction on the size of the initial data θ0 . Moreover, they obtain estimates for the decay of all derivatives of θ in L 2 ∩ L q , thus showing that the solution is smooth (see Remark 1.2). In the forthcoming preprint [6], Carrillo and Ferreira extend their results to 21 < α ≤ 1 2
and θ0 ∈ L 2α−1 and also obtain decays analogous to those of Theorem 1.5, but in the 2 more restrictive case of initial data θ0 ∈ L 1 ∩ L 2α−1 . Recently, many articles concerning different aspects of the dissipative quasigeostrophic equation have been published. Besides the ones we have already referred to, see Berselli [1], Carrillo and Ferreira [4], Chae [7], Chae and Lee [8], Constantin, Córdoba and Wu [9], Ju [14, 16], Schonbek and Schonbek [24, 25], Wu [27–32] and references contained therein. This article is organized as follows. In Sect. 2, we collect the basic results and estimates we need. In Sect. 3 we prove Theorems 1.1 and 1.2, in Sect. 4 we prove Theorem 1.3 and finally in Sect. 5 we prove Theorems 1.4 and 1.5.
Decay of Solutions to Quasi-Geostrophic Equation
97
2. Preliminaries In this section we collect some essential results and estimates concerning solutions to Eq. (1.1).
2.1. Existence and uniqueness of solutions. We first state the existence and uniqueness results we assume througout this article. Theorem 2.1 (Resnick [21]). Let T > 0 be arbitrary. Then, for every θ0 ∈ L 2 and f ∈ L 2 ([0, T ]; H −α ) there exists a weak solution of θt + (u · ∇)θ + (−)α θ = f, θ (x, 0) = θ0 (x), such that θ ∈ L ∞ ([0, T ]; L 2 ) ∩ L 2 ([0, T ]; H α ). Theorem 2.2 (Constantin and Wu [11]). Assume that α ∈ ( 21 , 1], T > 0 and p and q satisfy 1 α 1 + =α− . p q 2
p ≥ 1, q > 0,
Then there is at most one solution θ of (1.1) with initial value θ0 ∈ L 2 such that θ ∈ L ∞ ([0, T ]; L 2 ) ∩ L 2 ([0, T ]; H α ), θ ∈ L q ([0, T ]; L p ). These solutions obey a Maximum Priciple as in (1.2); this is θ (t) L p ≤ θ0 L p , t ≥ 0 for 1 < p ≤ ∞ (see Resnick [21], Córdoba and Córdoba [12] and Ju [15] for proofs). Multiplying (1.1) by θ and integrating in space and time yields s
t
α θ (τ )2L 2 dτ ≤ C, ∀ s, t > 0.
(2.6)
2.2. Estimates. Let θ (x, t) = K α (t, x) ∗ θ0 −
0
t
K α (t − s, x) ∗ u · ∇θ (s) ds
(2.7)
be the integral form of Eq. (1.1), where K α (x, t) is the kernel of the linear part of (1.1), i.e. 1 2α K α (x, t) = ei xξ e−|ξ | t dξ. 2π R2
98
C. J. Niche, M. E. Schonbek
Proposition 2.3 (Wu [27]). Let 1 ≤ p ≤ q ≤ ∞. For any t > 0, the operators K α (t) : L p → L q , K α (t) f = K α (t) ∗ f, ∇ K α (t) : L p → L q , ∇ K α (t) f = ∇ K α (t) ∗ f are bounded and K α (t) f L q ≤ Ct
− α1 ( 1p − q1 )
∇ K α (t) f L q ≤ Ct
f L p ,
1 1 1 1 −( 2α + α ( p − q ))
(2.8)
f L p .
(2.9)
The following estimates for the integral term in the right-hand side of (2.7) are an immediate consequence of Proposition 2.3 and they are key in the proof of Theorem 1.4. Lemma 2.4. Let η ≤ µ + ν < 2. Then t t 1 K α (t − s) ∗ u · ∇θ (s) ds η2 ≤ C (t − s)− 2a (µ+ν−η) θ (s) L
0
0
2
Lµ
∇θ (s)
2
Lν
ds
(2.10) and
t
∇ K α (t − s) ∗ u · ∇θ (s) ds η2 L t 1 1 ≤C (t − s)−( 2α + 2a (µ+ν−η)) θ (s)
0
0
Proof. Use (2.8) and (2.9) with q = η2 , p = u · ∇θ
2
L µ+ν
2 µ+ν
≤ Cθ
2
Lµ
∇θ (s)
2
Lν
ds.
(2.11)
and 2
Lµ
∇θ
2
Lµ
which follows from Hölder’s inequality and boundedness of Riesz transform.
Lemma 2.5 (Schonbek and Schonbek [25]). Let β, γ be multi-indices, |γ | < |β| + 2α max( j, 1), j = 0, 1, 2, · · · , 1 ≤ p ≤ ∞. Then x γ Dt D β K α (t)L p = Ct j
|γ |−|β| p−1 2α − j− pα
for some constant C depending only on α, β, γ , j, p. 3. L 2 Decay for Initial Data in L 2 3.1. Proof of Theorem 1.1. Let θ (t) be a solution to (1.1) with θ0 ∈ L 2 . For φ = φ(ξ, t), 2 2 ˆ ˆ . (3.12) + (1 − φ(t))θ(t) θˆ (t)2L 2 ≤ 2 φ(t)θ(t) L2 L2 2 and (1−φ(t))θ(t) 2 the low and high frequency parts ˆ ˆ We call the terms φ(t)θ(t) L2 L2 of the energy respectively. In Propositions 3.1 and 3.3 and Corollary 3.2, we obtain estimates, for an appropiate class of functions φ, that allow us to prove that the low and high frequency parts of the energy tend to zero. These estimates are of similar character to the ones that Ogawa, Rajophadye and Schonbek obtained for the Navier-Stokes equations in [19].
Decay of Solutions to Quasi-Geostrophic Equation
99
3.1.1. Energy estimates. We first establish some preliminary estimates which will be needed in the proof of Theorem 1.1. Proposition 3.1. Let ψ ∈ C 1 ((0, ∞), C 1 ∩ L 2 ). Then for 0 < s < t, t ˆ ), ψ θˆ (τ ) − |ξ |α θˆ ψ (τ )2 2 | dτ (s)2 2 + 2 θ(τ (t)2 2 ≤ θˆ ψ |ψ θˆ ψ L
L
t
+2
L
s
2 θˆ (τ )| dτ. |ξ · u θ (τ ), ψ
s
Proof. Let θ (t) be a smooth solution to (1.1). Taking the Fourier transform, multiplying 2 θˆ and integrating by parts we obtain the formal estimate by ψ d αˆ 2 ˆ θˆ 2 2 = 2 ψ θ (t), ψ θ(t) ψ ψ θ (t) − |ξ | 2 L L dt 2 θˆ (t). − 2u · ∇θ (t), ψ Integrating between s and t yields
t 2 2 ˆ ), ψ ˆ ˆ θˆ (τ ) − |ξ |α θˆ ψ (τ )2 2 | dτ θ(τ θ ψ (t) L 2 ≤ θ ψ (s) L 2 + 2 |ψ L s t 2 θˆ (τ )| dτ. |ξ · u θ (τ ), ψ +2 s
The retarded mollifiers method (see Lemma 4.3) allows us to extend this estimate to weak solutions. For full details see Ogawa, Rajopadhye and Schonbek [19].
Corollary 3.2. Let φ ∈ C 1 ((0, ∞), L 2 ). Then for 0 < s < t, t 2α 2 −|ξ |2α (t−s) 2 ˆ ˆ )| dτ. ˆ φ(t) L 2 + 2 |ξ · u θ , e−2|ξ | (t−τ ) φ 2 (t)θ(τ θ φ(t) L 2 ≤ θ (s)e s
η (τ ) = Proof. Take ψ
2α e−|ξ | (t+η−τ ) φ(ξ, t)
for η > 0. Then
ˆ ), ψ η θˆ (τ ) = |ξ |2α ψ η θˆ (τ ) = |ξ |α ψ η θˆ (τ ), ψ η θˆ (τ )2 2 , η θ(τ ψ L so the integrand in the second term in Proposition 3.1 vanishes. Taking the limit as η → 0 (t) = φ(ξ, t) and ψ (s) = e−|ξ |2α (t−s) φ(ξ, t), so we see that ψ t 2α 2α ˆ )| dτ, θˆ φ(t)2L 2 ≤ θˆ (s)e−|ξ | (t−s) φ(t)2L 2 + 2 |ξ · u θ , e−2|ξ | (t−τ ) φ 2 (t)θ(τ s
as we wanted to prove.
Proposition 3.3. Let E ∈ C 1 ((0, ∞), R) and ψ ∈ C 1 ((0, ∞), L ∞ ) such that 1 − ψ 2 ∈ L ∞ ((0, ∞), L ∞ ) and ∇(1 − ψ 2 )ˇ ∈ L ∞ ((0, ∞), L 2 ). Then t ˆ )2 2 dτ E(t)ψ θˆ (t)2 2 ≤ E(s)ψ θˆ (s)2 2 + E (τ )ψ θ(τ L
L
t
+2 s
+2
s
t
s
L
E(τ )|ψ θˆ (τ ), ψ θˆ (τ ) − |ξ |α ψ θˆ (τ )2L 2 | dτ ˆ )| dτ. E(τ )|u · ∇θ (τ ), (1 − ψ 2 (τ ))θ(τ
100
C. J. Niche, M. E. Schonbek
Proof. We prove the estimate first for smooth solutions. As in Proposition 3.1, we take the Fourier transform of (1.1) and multiply it by Eψ 2 θˆ . Integrating by parts and then between s and t we obtain the formal estimate t 2 2 ˆ ˆ E(t)ψ θ(t) L 2 ≤ E(s)ψ θ (s) L 2 + E (τ )ψ θˆ (τ )2L 2 dτ s t ˆ )2 2 | dτ E(τ )|ψ θˆ (τ ), ψ θˆ (τ ) − |ξ |α ψ θ(τ +2 L s t E(τ )|u · ∇θ (τ ), (1 − ψ 2 (τ ))θˆ (τ )| dτ. +2 s
Here we used that u · ∇θ, θ = 0. When using the retarded mollifiers method, the conditions 1 − ψ 2 ∈ L ∞ ((0, ∞), L ∞ ) and ∇(1 − ψ 2 )ˇ ∈ L ∞ ((0, ∞), L 2 ) will guarantee the weak convergence of the nonlinear term. For full details see Ogawa, Rajopadhye and Schonbek [19].
3.1.2. Proof of Theorem 1.1. We first prove the following easy estimate. Lemma 3.4. Let m > 0 and
f m (t) =
|ξ |>1
|ξ |2α e−m|ξ |
2α t
dξ.
Then limt→∞ f m (t) = 0. Proof. From the inequality |ξ |2α e−m|ξ |
2α t
e−m|ξ | mt
2α t/2
≤C
it follows that f m (t) =
|ξ |>1
|ξ |2α e−m|ξ |
2α t
dξ ≤ C
Thus, limt→∞ f m (t) = 0.
2α t/2
|ξ |>1 ∞ r e−mtr/2
e−m|ξ |t/2 dξ = C ≤C mt |ξ |>1 1 C 2 e−mtr/2 ≤ 1+ =C . (mt)2 mt (mt)2
e−m|ξ | mt
mt
dξ
dr (3.13)
We choose φ(ξ, t) = e−|ξ | t . Note that φ is the kernel of the solution to the Fourier transform of (1.1). Low frequency energy decay. Using Corollary 3.2 with φ as defined above we obtain 2α
θˆ φ(t)2L 2 ≤ θˆ (s)φ(t − s)φ(t)2L 2 + 2
s
t
ˆ ). |ξ · u θ, φ 2 (t − τ )φ 2 (t)θ(τ
(3.14)
Decay of Solutions to Quasi-Geostrophic Equation
101
A standard application of the Dominated Convergence Theorem proves that the first term in the right-hand side of (3.14) tends to zero when t goes to infinity. Now ˆ ) = ξ α · u ˆ ) ξ · u θ (τ ), φ 2 (t − τ )φ 2 (t)θ(τ θ (τ ), |ξ |1−α φ 2 (t − τ )φ 2 (t)θ(τ α 1−α 2 ˆ ) L 1 . ≤ |ξ | u θ (τ ) L ∞ |ξ | φ (t − τ )φ 2 (t)θ(τ (3.15) As u θ (ξ ) = uˆ ∗ θˆ (ξ ), then
α α
ˆ |ξ | u θ (τ ) L ∞ = sup
|ξ | u(ξ ˆ − η)θ (η) dη
ξ ∈R2
≤C
R2
sup
2
R2
ξ ∈R
+ sup
2 ξ ∈R
|ξ − η|α u(ξ ˆ − η)θˆ (η) dη
ˆ |η| u(ξ ˆ − η)θ(η) dη
α
R2
α )u θ ∞ + u ≤ C ( a θ L ∞ ≤ C (α u)θ L 1 + u α θ L 1 L ≤ Cα θ L 2 . Now ˆ ) L 1 ≤ C|ξ |1−2α φ 2 (t − τ )φ 2 (t) L 2 |ξ |α θˆ (τ ) L 2 . |ξ |1−α φ 2 (t − τ )φ 2 (t)θ(τ (3.16) and
|ξ |1−2α φ 2 (t − τ )φ 2 (t)2L 2 =
R
≤
2
|ξ |2−4α e−4|ξ |
|ξ |≤1
2α (2t−τ )
dξ
|ξ |2−4α dξ + f 4 (2t − τ ).
(3.17)
As 21 < α ≤ 1, the first term in the right-hand side of (3.17) is integrable. By Lemma 3.4 and (3.13) we see that f 4 (2t − τ ) ≤
C ≤C 4(2t − τ )2
(3.18)
for t large enough. Then using (3.15), (3.16), (3.17) and (3.18) we obtain that t t ˆ ) dτ ≤ θ (τ ) L ∞ |ξ |1−α φ 2 (t − τ ) |ξ · u θ , φ 2 (t − τ )φ 2 (t)θ(τ |ξ |α u 2 s
s
ˆ ) L 1 dτ × φ 2 (t)θ(τ t θ (τ ) L ∞ |ξ |1−2α φ 2 (t − τ )φ 2 (t) ≤2 |ξ |α u s
× θˆ (τ ) L 2 |ξ |α θˆ (τ ) L 2 dτ t ≤C α θ (τ )2L 2 dτ. s
102
C. J. Niche, M. E. Schonbek
Taking limits as s and t go to infinity, (2.6) implies that the low frequency part of the energy goes to zero. High energy frequency decay. Let ψ(ξ, t) = 1 − φ(ξ, t). As 1 − ψ 2 (ξ, t) = 2φ(ξ, t) − φ 2 (ξ, t) = 2e−|ξ |
2α t
− e−2|ξ |
2α t
decays exponentially fast, we can apply Proposition 3.3. After rearranging terms, we obtain 2 2 ˆ ˆ (1 − φ(t))θ(t) = ψ(t)θ(t) ≤ I + I I + I I I + I V, L2 L2
where E(s) 2 ˆ ψ θ(s) , L2 E(t) t 1 E (τ )ψ θˆ (τ )2L 2 − 2E(τ )|ξ |α ψ θˆ (τ )2L 2 dτ, II = E(t) s t 2 III = E(τ )ψ θˆ (τ ), ψ(τ )θˆ (τ ) dτ, E(t) s t 2 E(τ )|u · ∇θ (τ ), (1 − ψ 2 (τ ))θˆ (τ )| dτ. IV = E(t) s I =
We choose E(t) = (1 + t)k , where k > 2. Term I. Since |ψ| ≤ C and θ ∈ L 2 , 1+s k 1+s k 2 ˆ ψ(s)θ(s) ≤ C . I = L2 1+t 1+t Thus, lim I (t) = 0.
t→∞
Term II. We use the Fourier splitting method. Let B(t) = {ξ ∈ R2 : |ξ | ≤ G(t)}, where G is to be determined below. Then E (τ )ψ(τ )θˆ (τ )2L 2 − 2E(τ )|ξ |α ψ(τ )θˆ (τ )2L 2 ˆ )|2 dξ − 2E(τ ) = E (τ ) |ψ θ(τ |ξ |2α |ψ θˆ (τ )|2 dξ R2 B(t) R2 B(t) ˆ )|2 dξ − 2E(τ ) ˆ )|2 dξ + E (τ ) |ψ θ(τ |ξ |2α |ψ θ(τ B(t) B(t) ˆ )|2 dξ ≤ E (τ ) − 2E(τ )G 2α (τ ) |ψ θ(τ R2 B(t) ˆ )|2 dξ − 2E(τ ) +E (τ ) |ψ θ(τ |ξ |2α |ψ θˆ (τ )|2 dξ. B(t)
B(t)
(3.19)
Decay of Solutions to Quasi-Geostrophic Equation
103
1 2α k Choosing G(t) = 2(1+t) , we see that E (τ ) − 2E(τ )G 2α (τ ) = 0 so the first term in the right-hand side of (3.19) vanishes. As the last term in (3.19) is negative, it can be dropped, hence t k k−1 ˆ (τ )|2 dξ dτ. II ≤ (1 + τ ) |ψ θ (1 + t)k s B(t) As ψ(ξ, t) = 1 − e−|ξ | t , then |ψ| ≤ |ξ |2α for |ξ | ≤ 1. Then 2 ˆ ˆ )|2 dξ ≤ C G 4α (t) = |ψ θ(τ )| dξ ≤ |ξ |4α |θ(τ 2α
B(t)
B(t)
Then II ≤
k (1 + t)k
t
(1 + τ )k−3 dτ ≤
s
C . (1 + t)2
C , (1 + t)2
so lim I I (t) = 0.
t→∞
2α −|ξ | t = |ξ |2α φ(ξ, t). As Term III. As ψ(ξ, t) = 1 − e−|ξ | t , then ψ = ∂ψ ∂t = |ξ | e E(t) is an increasing function t 2 ˆ ), (1 − φ(τ ))θ(τ ˆ ) dτ III = E(τ )|ξ |2α φ(τ )θ(τ E(t) s t ≤ 2 |ξ |α θˆ (τ ), |ξ |α θˆ (τ ) dτ s t ≤2 α θˆ (τ )2L 2 dτ. (3.20) 2α
2α
s
Taking limits when t and s go to infinity we obtain lim I I I (t) = 0.
t→∞
Term IV. Let ω(ξ, ˆ t) = 1 − ψ 2 (ξ, t). Then ˆ )| ≤ |ξ |α |u |u · ∇θ (τ ), ω(τ ˆ )θ(τ θ (τ )|, |ξ |1−a |ωˆ θˆ (τ )| ˆ ) L 1 . ≤ |ξ |α u θ (τ ) L ∞ |ξ |1−α ωˆ θ(τ
(3.21)
As in (3.16) |ξ |1−α ω(τ ˆ )θˆ (τ ) L 1 ≤ C|ξ |1−2α ω(τ ˆ ) L 2 |ξ |α θˆ (τ ) L 2 . We notice that as 2α − 4 < 0, then |ξ |1−2α ω(τ ˆ )2L 2 = |ξ |2−4α |ω| ˆ 2 dξ R2 2−4α ≤ |ξ | dξ + |ξ |≤1
|ξ |≥1
|ω| ˆ 2 dξ ≤ C.
(3.22)
(3.23)
104
C. J. Niche, M. E. Schonbek
Then by (3.21), (3.22) and (3.23),
t
IV ≤ 2
s
s
t
≤2
t
≤2 s
|u · ∇θ (τ ), ω(τ ˆ )θˆ (τ )| dτ θ (τ ) L ∞ |ξ |1−2α ω(τ |ξ |α u ˆ ) L 2 α θ (τ ) L 2 dτ α θ (τ )2L 2 dτ.
As before, letting s and t go to infinity we obtain lim I V (t) = 0.
t→∞
Thus, the high frequency part of the energy goes to zero, which concludes the proof of Theorem 1.1.
3.2. Proof of Theorem 1.2. We briefly describe the idea of the proof. In order to make the decay of a solution to (1.1) arbitrarily slow, we will construct a set of initial data {θ0λ }λ>0 in L 2 such that θ0λ L 2 = θ0 L 2 . The mild solution to (1.1) with initial data θ0λ , θ λ (x, T ) = K α (T ) ∗ θ0λ (x) −
T 0
K α (T − s) ∗ (u λ · ∇)θ λ (s) ds,
(3.24)
has the following property: given T > 0, we can find λ sufficiently close to zero, so that the L 2 norm of the first term of the right-hand side of (3.24) stays arbitrarily close to that of θ0 . For this to hold, θ0λ must be such that: a) the L 2 norm of θ0λ is invariant under the scaling; b) θ0λ gives rise to a self-similar solution to the linear part of (1.1); and c) θ0 is in L p ∩ L q , for appropiate p and q, so that the integral term will be sufficiently small. We remark that as a result of our choice, the L p and L q norms of θ0λ will not be invariant under scaling. We proceed to the proof now. For θ0 in L 2 , it is easy to see that θ0λ (x) = λθ0 (λx) is such that θ0λ L 2 = θ0 L 2 , λ > 0. Then, for these θ0λ , condition a) holds. Now let θ0 be such that θ0λ gives rise to a selfsimilar solution λ to the linear part of (1.1), that is λ (x, t) = λ(λx, λ2α t) is a solution to t + (−)α = 0, λ0 (x) = θ0λ (x).
Decay of Solutions to Quasi-Geostrophic Equation
105
By uniqueness of the solution to the linear part, we have λ (x, t) = K α (t) ∗ λ0 (x) = K α (t) ∗ θ0λ (x), thus λ (t) L 2 = |λ (x, t)|2 d x = λ2 |(λx, λ2α t)|2 d x R2 R2 2α 2α 2α 2 = |(y, λ t)| dy = e−|ξ | λ t |θˆ0 (ξ )| dξ. R2
R2
As a result of this, given T > 0,
λ (T )2 −|ξ |2α λ2α T |θˆ (ξ )|2 dξ 0 L2 R2 e = 1. lim = lim 2 dξ 0 2 2 λ→0 λ→0 | θ (ξ )| R2 0 L
(3.25)
This shows that choosing λ small enough, we can make the ratio of the norms arbitrarily close to 1 for large enough t. We now address the integral term in (3.24). We first notice that K α (t − s) ∗ (u λ · ∇)θ λ (s) L 2 = ∇ K α (t − s) ∗ (u λ θ λ )(s) L 2 ≤ ∇ K α (t − s) L 1 (u λ θ λ )(s) L 2 1
≤ C(t − s)− 2α u λ (s) L p θ λ (s) L q 1
≤ C(t − s)− 2α θ λ (s) L p θ λ (s) L q , where we have used Lemma 2.5 with γ = 0, p = 1, β = 1, j = 0, Hölder’s inequality with 21 = 1p + q1 and boundedness of the Riesz transform. By the Maximum Principle (1.2), θ λ (s) L m ≤ θ0λ L m and as 2
θ0λ L m = λ1− m θ0 L m
(3.26)
then 1
K α (t − s) ∗ (u λ · ∇)θ λ (s) L 2 ≤ C(t − s)− 2α λ ≤ C(t − s)
1 − 2α
2−( 2p + q2 )
θ0 L p θ0 L q
λθ0 L p θ0 L q .
θ0λ
(3.27)
norm of is invariant only when m = 2. Choosing We remark that by (3.26), the θ0 in L p ∩ L q (condition c)) we obtain T 1 K α (T − s) ∗ (u λ · ∇)θ λ (s) L 2 ds ≤ C T 1− 2α λθ0 L p θ0 L q . (3.28) Lm
0
So given > 0 and T > 0, we can choose λ > 0 such that by (3.25), K α (T ) ∗ θ0λ L 2 θ0λ L 2
and by (3.28)
T 0
≥1− , 2
K α (T − s) ∗ (u λ · ∇)θ λ (s) L 2 ds θ0λ L 2
Then θ λ (T ) L 2 ≥ 1 − . θ0λ L 2 This proves our result.
≤
. 2
106
C. J. Niche, M. E. Schonbek
4. L 2 Decay for Initial Data in L p ∩ L 2 , 1 ≤ p < 2 To prove Theorem 1.3, we follow a modified version of the Fourier splitting method, see Constantin and Wu [11]. Similar ideas in the context of the 2D Navier-Stokes equation can be found in Zhang [33]. In order to compute the actual decay rate of the L 2 norm, we need a preliminary estimate, proven in Lemma 4.3, which we then use to establish the right decay. In both proofs we first obtain formal estimates for smooth solutions through the Fourier splitting method and we then use the method of retarded mollifiers of Cafarelli, Kohn and Nirenberg [2] to extend them to weak solutions. The following auxiliary lemmas will be necessary in the sequel. 1
Lemma 4.1. Let h ∈ L p , 1 ≤ p < 2 and let S(t) = {ξ ∈ R2 : |ξ | ≤ g(t)− 2α }, for a continuous function g : R+ → R+ . Then
ˆ 2 dξ ≤ Cg(t) |h|
− α1 ( 2p −1)
.
S(t)
Proof. By Cauchy-Schwarz
ˆ 2 dξ ≤ |h|
S(t)
ˆ 2r dξ |h|
1
1
r
s
dξ
S(t)
,
S(t)
where r1 + 1s = 1. Setting 2r = q, we obtain
1 r
=
2 q
and
1 s
=
2 p
− 1. By the Riesz-Thorin
→ is bounded for p ∈ [1, 2] and Interpolation Theorem, F : p ˆ q p is in L , then h L ≤ h L and as a result of this Lp
ˆ 2 dξ ≤ C |h| S(t)
Lq
2 −1 p
dξ
2
= C (V ol S(t)) p
1 p
+
1 q
= 1. As h
−1
S(t)
= C r (t)
2( 2p −1)
= Cg(t)
− α1 ( 2p −1)
.
Lemma 4.2. Let θ be a solution to (1.1). Then, |u · ∇θ (ξ )| ≤ C|ξ |θ 2L 2 .
Proof. As u · ∇θ (ξ ) = ∇ · uθ (ξ ) = ξ · u θ (ξ ), boundedness of the Fourier transform and of the Riesz transform imply |u · ∇θ (ξ )| = |ξ ||u θ(ξ )| ≤ |ξ |u θ L ∞ ≤ C|ξ |uθ L 1 ≤ C|ξ |θ 2L 2 .
In the next lemma we establish the preliminary decay rate.
Decay of Solutions to Quasi-Geostrophic Equation
107
Lemma 4.3. Let θ be a solution to (1.1) with initial data θ0 in L p ∩ L 2 , 1 ≤ p < 2. Then 1 ˆ 2 dξ ≤ C ln(e + t)−(1+ α ) . |θ| R2
Proof. The first part of the proof consists of a formal argument that proves the expected decay for smooth solutions. At the end of the proof we sketch how to make the argument rigrous. We use the Fourier splitting method, taking 1
B(t) = {ξ : |ξ | ≤ g − 2α (t)}, 1 where g(t) = ( 21 + 2α )[(e+t) ln(e+t)]. From (1.1), after multiplying by θ and integrating
d |θˆ |2 dξ = −2 |ξ |2α |θˆ |2 dξ. 2 dt R2 R Then, as ˆ 2 dξ ≥ 2 2 |ξ |2α |θ| R2
ˆ 2 dξ + (1 + |ξ |2α |θ| B(t)
1 )[(e + t) ln(e + t)]−1 α
(4.29)
B(t)c
|θˆ |2 dξ,
(4.29) becomes d 1 ˆ 2 dξ + (1 + )[(e + t) ln(e + t)]−1 ˆ 2 dξ |θ| |θ| 2 dt R2 α R 1 −1 ≤ (1 + )[(e + t) ln(e + t)] |θˆ |2 dξ. α B(t) 1
Multiplying on both sides by h(t) = [ln(e + t)]1+ α , writing the left-hand side as a derivative and integrating between 0 and t, 1 ˆ 2 dξ ≤ θ0 2 2 [ln(e + t)]1+ α |θ| L R2 t 1 1 ˆ 2 dξ ds. + (1 + )[(e + s)]−1 ln(e + s) α |θ| α B(s) 0 (4.30) Hence, we need to estimate (1.1),
ˆ 2 dξ . From the solution to the Fourier transform of
B(s) |θ|
2α θˆ (ξ, t) = θ0 (ξ )e−|ξ | t +
t
e−|ξ |
2α (t−s)
u · ∇θ (s)ds.
0
We obtain ˆ t)| ≤ |θ0 (ξ )| + |θ(ξ,
0
t
|u · ∇θ | ds
108
C. J. Niche, M. E. Schonbek
which, by Lemma 4.2 leads to ˆ t)| ≤ 2 |θ0 (ξ )| + |θ(ξ, 2
t
2
0
2 |ξ |θ (τ )2L 2
dτ
t ≤ 2 |θ0 (ξ )|2 + t|ξ |2 θ (τ )4L 2 dτ . 0
Then, passing to polar coordinates
ˆ 2 dξ ≤ 2 |θ| B(s)
|θ0 |2 dξ + B(s)
s|ξ |
2 0
B(s)
s
θ (τ )4L 2
dτ
dξ
− 1 ( 2 −1)
≤ C[(e + s) ln(e + s)] α p s π g(s) −2 α 2 3 4 +C r s θ (τ ) L 2 dτ dr dϕ 0 0 0 2 − 1 ( 2 −1) + Cs 2 g α (s) ≤ 2 C[(e + s) ln(e + s)] α p = C[(e + s) ln(e + s)]
− α1 ( 2p −1)
2
+ Cs 2 [(e + s) ln(e + s)]− α ,
(4.31)
where we have used Lemma 4.1 with g(s) = C[(e + s) ln(e + s)] and the Maximum Principle for the L 2 norm of θ . Substituting (4.31) in (4.30) we see that the integral in the right-hand side of (4.30) is finite, so
ˆ 2 dξ ≤ C [ln(e + t)]−(1+ α ) . |θ| 1
R2
The formal part of the proof is now complete. To extend the estimate to weak solutions, we repeat the argument, applying it to the solutions of the approximate equations ∂θn + u n ∇θn + (−)α θn = 0, ∂t where u n = δn (θn ) is defined by δn (θn ) =
t
φ(τ )R⊥ θn (t − δn τ ) dτ.
0
Here the operator R⊥ is defined on scalar functions as R⊥ f = (−∂x2 −1 f, ∂x1 −1 f )
∞ and φ is a smooth function with support in [1, 2] and such that 0 φ(t) dt = 1. For each n, the values of u n depend only on the values of θn in [t − 2δn , t − δn ]. As stated in Constantin and Wu [11], the functions θn converge to a weak solution θ and strongly in L 2 almost everywhere. Since the estimates obtained do not depend on n, they are valid for the limit function θ . The proof is now complete.
Decay of Solutions to Quasi-Geostrophic Equation
109
4.1. Proof of Theorem 1.3. As before, we prove a formal estimate for smooth solutions, which then can be extended to weak solutions by the method of retarded mollifiers. For the formal estimate, we proceed as in Lemma 4.3, employing the Fourier splitting method with 1
B(t) = {ξ : |ξ | ≤ g(t)− 2α } for g(t) = 2α(t + 1). Thus d 1 1 2 2 ˆ ˆ ˆ 2 dξ, |θ| dξ + |θ| dξ ≤ |θ| dt R2 α(t + 1) R2 α(t + 1) B(t) 1
which after using h(t) = (t + 1) α as an integrating factor leads to t 1 1 1 2 2 −1 2 ˆ ˆ (s + 1) α (t + 1) α |θ | dξ ≤ θ0 L 2 + |θ| dξ ds. 0 α R2 B(s)
(4.32)
Working as in (4.31) in Lemma 4.3, using Lemma 4.1 with g(s) = 2(s + 1) and the preliminary estimate from Lemma 4.3 for making 1
θ (τ )4L 2 ≤ θ (τ )2L 2 [ln(e + τ )]−(1+ α ) , we obtain 1 α (t + 1)
t − 1 ( 2 −1)+ α1 −1 2 2 ˆ |θ| dξ ≤ θ0 L 2 + C (1 + s) α p ds 2 R 0 t s 1 −2 1 + θ (τ )2L 2 [ln(e + τ )]−(1+ α ) sg α (s)(1 + s) α −1 dτ ds 0
0
1 2
1
− ( −1)+ α ≤ θ0 2L 2 + C(1 + s) α p t s 1 1 + θ (τ )2L 2 [ln(e + τ )]−(1+ α ) s(1 + s)−( α +1) dτ ds. 0
0
(4.33) Now I (t) =
t 0
s
0 t
(1 + s)
≤C
1
− a1
0
0
t
ds
(1 + τ )
0 t
≤C
1
θ (τ )2L 2 [ln(e + τ )]−(1+ α ) s(1 + s)−( α +1) dτ ds 1 α
[ln(e θ (τ )2L 2
1
+ τ )]−(1+ α ) 1
(1 + τ ) α
dτ
1
1
(1 + τ ) α θ (τ )2L 2
[ln(e + τ )]−(1+ α ) 1
(1 + τ ) α
dτ,
so taking 1
f (t) = (t + 1)
1 α
θ (t)2L 2 ,
− α1 ( 2p −1)+ α1
a(t) = (1 + t)
, b(t) =
[ln(e + τ )]−(1+ α ) 1
(1 + τ ) α
,
110
C. J. Niche, M. E. Schonbek
Eq. (4.33) becomes
t
f (t) ≤ C + a(t) +
f (τ )b(τ )dτ.
0
By Gronwall’s inequality
t
f (t) ≤ f (0) exp
b(τ ) dτ
0
Notice that as
1 2
t
+
a (τ ) exp
0
< α ≤ 1, t b(τ ) dτ = 0
t 0
τ
t
b(s)ds dτ.
(4.34)
1
[ln(e + τ )]−(1+ α ) 1
(1 + τ ) α
< ∞.
Then (4.34) becomes (t + 1) α θˆ (t)2L 2 ≤ C θ0 2L 2 + (1 + t) 1
− α1 ( 2p −1)+ α1
ds,
hence 1 2 ( p −1)
1
θ (t)2L 2 ≤ (t + 1)− α + C(1 + t) α
1 2 ( p −1)
≤ C(1 + t) α
,
which proves the formal estimate. The retarded mollifiers method allows us to extend it to weak solutions.
2 5. L q Decay, for q ≥ 2α− 1 5.1. Proof of Theorem 1.4. We now describe the main ideas behind the proof of 2 Theorem 1.4. For clarity, we let m = 2α−1 . We first prove preliminary estimates of the form 1 1−δ m )
t α ( t
1 2α
θ (t) mδ ≤ C, t > 0,
(5.35)
∇θ (t) L m ≤ C, t > 0
(5.36)
for fixed 0 < δ < 1. To do so, following Katos’s [17] ideas, we construct a solution in m L δ to the integral equation (2.7) by successive approximations θ1 (t) = K α (t) ∗ θ0 ,
θn+1 (t) = K α (t) ∗ θ0 −
0
t
K α (t − s) ∗ (u n · ∇)θn (s) ds, n ≥ 1.
These approximations are such that 1 1−δ m )
t α (
θn+1 (t)
1
m Lδ
≤ K n+1 , t 2α ∇θn+1 (t) L m ≤ K n+1
(5.37)
are bounded by expressions that depend on K 1 , K n and K n only. If θ0 has small L m norm then these recursive relations are uniformly bounded; this is K n ≤ K , K n ≤ K , n ≥ 1 for some K > 0. A standard argument allows us to show that there is a uniformly m converging subsequence θn whose limit is a solution to (2.7) in L δ that obeys (5.35) and (5.36). These preliminary estimates are used to bootstrap a similar argument which proves the results stated in the theorem.
Decay of Solutions to Quasi-Geostrophic Equation
111
Proof. We begin by proving (5.35) and (5.36). Let δ be fixed, 0 < δ < 1. We note first that by (2.8) in Lemma 2.3, θ1 (t)
1 1−δ m )
≤ Ct − α (
m δ
L
θ0 L m ,
and by (2.9) in Lemma 2.3, 1
∇θ1 (t) L m ≤ Ct − 2α θ0 L m . Let K 1 = K 1 = Cθ0 L m . Now assume 1 1−δ m )
t α (
1 2α
t for t > 0. Then θn+1 (t)
∇θn (t) L m ≤ K n
m Lδ
≤ θ1 (t)
m Lδ
θn (t) mδ ≤ K n ,
t
+
1 1−δ m )
≤ K1 t − α (
0
t
+ 0
1 1−δ m )
≤ K1 t − α (
K α (t − s) ∗ (u n · ∇)θn (s)
L
m δ
K α (t − s) ∗ (u n · ∇)θn (s)
L
t
ds m δ
ds
1
(t − s)− αm θn (s) mδ ∇θn (s) L m ds L 0 t 1 1−δ 1 1−δ 1 ≤ K 1 t − α ( m ) + C K n K n (t − s)− αm s − αm − 2α ds +C
0
1 1−δ m )
≤ K1 t − α (
1 1−δ m )
+ C K n K n t − α (
,
(5.38)
where we used boundedness of the Riesz transform and (2.10) in Lemma 2.4 with 2 η = µ = 2δ m and ν = m . By an analogous method
t
∇θn+1 (t) L m ≤ ∇θ1 (t) L m + ∇ K α (t − s) ∗ (u n · ∇)θn (s) L m ds 0 t 1 ≤ K 1 t − 2α + ∇ K α (t − s) ∗ (u n · ∇)θn (s) L m ds 0 t 1 1 δ m ∇θn (s) L m ds ≤ K 1 t − 2α + C (t − s)−( 2α + mα ) θn (s) delta L 0 t 1 1 δ 1−δ 1 − 2α ≤ K1 t + C Kn Kn (t − s)−( 2α + αm ) s − αm − 2α ds ≤ K1 t
1 − 2α
+C
0 1 − 2α Kn Kn t ,
(5.39)
where we used boundedness of the Riesz transform and (2.11) in Lemma 2.4 with η = ν = m2 , µ = 2δ m . We have then that the norms described in (5.37) are respectively bounded by K n+1 ≤ K 1 + C K n K n , K n+1 ≤ K 1 + C K n K n .
112
If K 1 <
C. J. Niche, M. E. Schonbek 1 4c ,
an induction argument allows us to prove that K n ≤ K
Kn ≤ K , 1 . Note that K 0 < for n ≥ 1, where K = 2c of the initial data has to be small. Then 1 1−δ m )
t α (
t
1 2α
1 4c
θn (t)
implies θ0 L m < L
1 , 4c2
thus the L m norm
≤ K,
m δ
∇θn (t) L m ≤ K ,
for n ≥ 1. By a standard argument (see Kato [17] and Kato and Fujita [18] for full details) we can extract a subsequence that converges uniformly in (0, +∞) to a solution θ . Then 1 1−δ m )
t α(
m
θ ∈ BC((0, +∞), L δ ),
1
t 2α ∇θ ∈ BC((0, +∞), L m ). We now use these preliminary estimates to prove the theorem. As before, we construct a solution by successive approximations. Let m ≤ q < ∞. By (2.8) in Lemma 2.3, θ1 (t) L q ≤ Ct
− α1 ( m1 − q1 )
θ0 L m ,
and by (2.9) in Lemma 2.3, ∇θ1 (t) L q ≤ Ct
1 1 1 −( 2α + α ( m − q1 ))
θ0 L m .
Notice that this estimate holds for q ≥ m. Again, set K 1 = K 1 = Cθ0 L m . We want 1
( 1 −1)
1
+1( 1 −1)
to show inductively that the L q norms of t α m q θn (t) and t 2α α m q ∇n+1 θ (t) are uniformly bounded. Then t −1( 1 −1) θn+1 (t) L q ≤ K 1 t α m q + K α (t − s) ∗ (u n · ∇)θn (s) L q ds 0 t −1( 1 −1) − 1 ( 1+δ − 1 ) ≤ K1t α m q + C (t − s) α m q θn (s) mδ ∇θn (s) L m ds L 0 t 2−δ 1 −1( 1 −1) − 1 ( 1+δ − 1 ) ≤ K 1 t α m q + C K n K n (t − s) α m q s − mα − 2α ds 0
≤ K1 t
− α1 ( m1 − q1 )
1
1
1
− ( − ) + C K n K n t α m q ,
(5.40)
2 where we have used (2.10) in Lemma 2.4 with η = q2 , µ = 2δ m and ν = m and we have used the preliminary estimates obtained for θn (t) mδ and ∇θn (t) L m . Proceeding L analogously for the gradient we obtain t ∇θn+1 (t) L q ≤ ∇θ1 (t) L q + ∇ K α (t − s) ∗ (u n · ∇)θn (s) L q ds 0 t −( 1 + 1 ( 1 − 1 )) ≤ K 1 t 2α α m q + ∇ K α (t − s) ∗ (u n · ∇)θn (s) L q ds 0 t 2−δ 1 −( 1 + 1 ( 1 − 1 )) −( 1 + 1 ( 1+δ − 1 )) ≤ K 1 t 2α α m q + C (t − s) 2α α m q s − mα − 2α ds 0
≤ K1t
1 1 1 −( 2α + α ( m − q1 ))
+ K n K n t
1 1 1 −( 2α + α ( m − q1 ))
,
(5.41)
Decay of Solutions to Quasi-Geostrophic Equation
113
where we used (2.11) in Lemma 2.4 with η = q2 , µ = 1
K n+1 = t α K n+1 = t
( m1 − q1 )
2δ m
and ν =
2 m . As before,
setting
θn+1 (t) L q ,
1 1 1 1 2α + α ( m − q )
∇θn+1 (t) L q ,
(5.42)
we obtain K n+1 ≤ K 1 + C K n K n , K n+1 ≤ K 1 + C K n K n . The same arguments that were used for the preliminary estimates apply here, leading to 1
tα
( m1 − q1 )
θ (t) ∈ BC((0, ∞), L q )
and 1
t 2α for
2 2α−1
+ α1 ( m1 − q1 )
∇θ (t) ∈ BC((0, ∞), L q )
≤ q < ∞, which is the desired result.
2 5.2. Proof of Theorem 1.5. Let m = 2α−1 . By (1.5), the L m norm of θ tends to zero, so for times larger than some T = T (θ0 ), θ (t) L m ≤ κ, for κ as in Theorem 1.4. Let m ≤ q < r . Interpolation yields
θ (t) L q ≤ θ (t)aL m θ (t)1−a Lr for a =
m r −q q r −m
and 1 − a =
r q−m q r −m .
θ (t)
Lq
Then
≤ Ct
(1− α1 ) mq
r −q r −m
− α1 ( m1 − q1 )
.
This holds for any r such that q ≤ r < ∞. The optimal decay rate is given by the minimum of the exponent f (r ) = C1
r −q − C2 , r −m
where C1 = (1 − α1 ) mq and C2 = α1 ( m1 − q1 ). As C1 < 0, this is a non-increasing function, so the optimal decay rate is 1 1 1 1 m − − . lim f (r ) = C1 − C2 = 1 − r →∞ α q α m q Then 1
4a−3
θ (t) L q ≤ C t q α(2α−1) which is the desired result.
1 −1+ 2α
, t ≥ T,
Acknowledgements. The authors would like to thank Helena Nussenzveig-Lopes for calling their attention to the articles by Carrillo and Ferreira; José Carrillo and Lucas C.F. Ferreira for providing us with copies of their preprints and for helpful remarks concerning their work and the anonymous referee for his suggestions and comments.
114
C. J. Niche, M. E. Schonbek
References 1. Berselli, L.C.: Vanishing viscosity limit and long-time behaviour for 2D quasi-geostrophic equations. Indiana Univ. Math. J. 51, 905–930 (2002) 2. Cafarelli, L., Kohn, H., Nirenberg, L.: Partial regularity of suitable weak solutions of the Navier-Stokes equations. Comm. Pure Appl. Math. 35, 771–831 (1982) 3. Carpio, A.: Large-time behaviour in incompressible Navier-Stokes equations. SIAM J. Math. Anal 27, 449–475 (1996) 4. Carrillo, J., Ferreira, L.C.F.: Self-similar solutions and large time asymptotics for the dissipative quasigeostrophic equations. Monatshefte für Math 15, 111–142 (2007) 5. Carrillo, J., Ferreira, L.C.F.: Convergence towards self-similar asymptotic behaviour for the dissipative quasi-geostrophic equations. Banach Center Publ. 74, 95–115 (2006) 6. Carrillo, J., Ferreira, L.C.F.: Asymptotic behaviour for the subcritical dissipative quasi-geostrophic equations. Preprint UAB, 2006 7. Chae, D.: The quasi-geostrophic equation in the Triebel-Lizorkin spaces. Nonlinearity 16(2), 479–495 (2003) 8. Chae, D., Lee, J.: Global well-posedness in the super-critical dissipative quasi-geostrophic equations. Commun. Math. Phys. 233(2), 297–311 (2003) 9. Constantin, P., Cordoba, D., Wu, J.: On the critical dissipative quasi-geostrophic equation. Indiana Univ. Math. J. 50, Special Issue, 97–107 (2001) 10. Constantin, P., Majda, A., Tabak, E.: Formation of strong fronts in the 2-D quasigeostrophic thermal active scalar. Nonlinearity 7, 1495–1533 (1994) 11. Constantin, P., Wu, J.: Behaviour of solutions of 2D Quasi-geostrophic equations. SIAM J. Math. Anal. 30, 937–948 (electronic) (1999) 12. Córdoba, A., Córdoba, D.: A maximum principle applied to quasi-geostrophic equations. Comm. Math. Phys. 249, 511–528 (2004) 13. Heywood, J.: Open problems in the theory of Navier-Stokes equations of viscous incompressible flow. The Navier-Stokes equations (Oberwolfach, 1988), Lecture Notes in Math. 1431, Berlin: Springer, 1990. pp. 1–22 14. Ju, N.: Existence and uniqueness of the solution to the dissipative 2D quasi-geostrophic equations in the Sobolev space. Commun. Math. Phys. 251, 365–376 (2004) 15. Ju, N.: The maximum principle and the global attractor for the 2D dissipative quasi-geostrophic equation. Commun. Math. Phys. 255, 161–182 (2005) 16. Ju, N.: On the two dimensional quasi-geostrophic equations. Indiana Univ. Math. J. 54, 897–926 (2005) 17. Kato, T.: Strong L p solutions of the Navier-Stokes equation in Rm , with applications to weak solutions. Math. Z. 187, 471–480 (1984) 18. Kato, T., Fujita, H.: On the nonstationary Navier-Stokes system. Rend. Sem. Mat. Univ. Padova 32, 243–260 (1962) 19. Ogawa, T., Rajopadhye, S., Schonbek, M.: Energy decay for a weak solution of the Navier-Stokes equation with slowly varying external forces. J. Funct. Anal. 144, 325–358 (1997) 20. Pedloskym, J.: Geophysical Fluid Dynamics. New York: Springer Verlag, 1987 21. Resnick, S.: Dynamical problems in non-linear advective partial differential equarions. Ph. D. Thesis, University of Chicago, 1995 22. Schonbek, M.: L 2 decay for weak solutions of the Navier-Stokes equations. Arch. Rat. Mech. Anal. 88, 209–222 (1985) 23. Schonbek, M.: Large time behaviour of solutions to the Navier-Stokes equations. Comm. Partial Diff. Eqs. 11, 733–763 (1986) 24. Schonbek, M., Schonbek, T.: Asymptotic behavior to dissipative quasi-geostrophic flows. SIAM J. Math. Anal. 35, 357–375 (electronic) (2003) 25. Schonbek, M., Schonbek, T.: Moments and lower bounds in the far-field of solutions to quasi-geostrophic flows. Disc. Contin. Dyn. Syst. 13, 1277–1304 (2005) 26. Serrin, J.: The initial value problem for the Navier-Stokes equations. In: Nonlinear problems (Proc. Sympos., Madison, Wis.), Madison, WI: Oniv. ofvisc. Press, pp. 69–98, 1963 27. Wu, J.: Dissipative quasi-geostrophic equations with L p data. Electron. J. Diff. Eq. (2001), No. 56, 13 pp. (electronic) 28. Wu, J.: The 2D dissipative quasi-geostrophic equation. Appl. Math. Letters 15, 925–930 (2002) 29. Wu, J.: The quasi-geostrophic equation and its two regularizations. Comm. Partial Diff. Eqs. 27(5-6), 1161–1181 (2002) 30. Wu, J.: Global solutions of the 2D dissipative quasi-geostrophic equation in Besov spaces. SIAM J. Math. Anal. 36(3), 1014–1030 (2004/05) (electronic) 31. Wu, J.: Solutions of the 2D quasi-geostrophic equation in Hölder spaces. Nonlinear Anal. 62(4), 579–594 (2005)
Decay of Solutions to Quasi-Geostrophic Equation
115
32. Wu, J.: The two-dimensional quasi-geostrophic equation with critical or supercritical dissipation. Nonlinearity 18(1), 139–154 (2005) 33. Zhang, L.: Sharp rates of decay of solutions to 2-dimensional Navier-Stokes equations. Comm. Partial Diff. Eqs. 20, 119–127 (1995) Communicated by P. Constantin