Abstract
Using the theory of uniform global attractors for multivalued semiprocesses, we prove the existence of attractors for quasilinear parabolic equations related to CaffarelliKohn Nirenberg inequalities, in which the conditions imposed on the nonlinearity provide the global existence of weak solutions but not uniqueness, in both autonomous and nonautonomous cases.
Mathematics Subject Classification 2010: 35B41, 35K65, 35D30.
Keywords:
CaffarelliKohnNirenberg inequalities; nonuniqueness; weak solution; multivalued semiflow; multivalued semiprocess; compact attractor; compactness and monotonicity methods1. Introduction
The understanding of the asymptotic behavior of dynamical systems is one of the most important problems of modern mathematical physics. One way to attack the problem for a dissipative dynamical system is to consider its attractor. The existence of the attractor has been derived for a large class of PDEs (see e.g., [1,2] and references therein) for both autonomous and nonautonomous equations. However, these researches may not be applied to a wide class of problems, in which solutions may not be unique. Good examples of such systems are differential inclusions, variational inequalities, control infinite dimensional systems and also some partial differential equations for which solutions may not be known unique as, for example, some certain semilinear wave equations with high power nonlinearities, the incompressible NavierStokes equation in three space dimension, the GinzburgLandau equation, etc. For the qualitative analysis of the above mentioned systems from the point of view of the theory of dynamical systems, it is necessary to develop a corresponding theory for multivalued semigroups.
In the last years, there have been some theories for which one can treat multivalued semiflows and their asymptotic behavior, including the generalized semiflows theory of Ball [3], theory of trajectory attractors of Chepyzhov and Vishik [4] and theories of multivalued semiflows and semiprocesses of Melnik and Valero [57]. Thanks to these theories, several results concerning attractors in the case of equations without uniqueness have been obtained recently for differential inclusion [5,6], parabolic equations [810], the phasefield equation [11], the wave equation [12], the threedimensional NavierStokes equation [3,13], etc. Although the existence of attractors has been derived for many classes of partial differential equations without uniqueness, to the best of our knowledge, little seems to be known for singular/degenerate equations, expecially in the quasilinear case.
Let Ω be a bounded domain in ℝ^{N}(N ≥ 2) containing the origin with boundary ∂Ω. In this paper we consider the following quasilinear parabolic equation
where τ ∈ ℝ, u_{τ }∈ L^{2}(Ω) are given, the nonlinearity f, the external force g, and the numbers p, γ satisfy the following conditions:
(H1) f: ℝ × ℝ → ℝ is a continuous function satisfying
for some q ≥ 2, where C_{1}, C_{2}, k_{1}, k_{2 }are positive constants;
(H2)
(H3)
Let us give some comments about assumptions (H1)(H3). The nonlinearity f is assumed to have a polynomial growth and to satisfy a standard dissipative condition.
A typical example of functions satisfying conditions (H1) is f (t, u) = u^{q2}u. arctan t, q ≥ 2. We refer the reader to [[1], Chapter 5, Propositions 3.3 and 3.5] for translation compact criterions in
Problem (1.1), which is related to some CaffarelliKohnNirenberg inequalities [14], contains some important classes of parabolic equations, such as the semilinear heat equations (when γ = 0, p = 2), semilinear singular/degenerate parabolic equations (when p = 2), the pLaplacian equations (when γ = 0, p ≠ 2), etc. The existence and properties of solutions to problem type (1.1) have attracted interest in recent years [1519]. However, to the best of our knowledge, little seems to be known for the longtime behavior of solutions to problem (1.1).
In this article we study the longtime behavior of solutions to problem (1.1) via the concept of uniform global attractors for multivalued semiprocesses. Here there is no restrictions on the growth of the nonlinearity f and the conditions imposed on f provide the global existence of a weak solution to problem (1.1), but not uniqueness. Thus, when studying the longtime behavior of solutions, in order to handle nonuniqueness of solutions, we need use the theory of attractors for multivalued semiprocesses. Following the general lines of the approach used in [810,20] for nondegenerate parabolic equations, we prove the existence of a global compact attractor in the autonomous case, and of a uniform global compact attractor in the nonautonomous case. Noting that when the nonlinearity f does not depend on time t, the existence of an attractor for problem (1.1) in the semilinear nondegenerate case, namely when γ = 0 and p = 2, was studied in [8,9]. Thus, our results extend some known results on the existence and longtime behavior of solutions of nondegenerate semilinear parabolic equations.
It is worth noticing that under some additional conditions on f, for example,
one can prove that the weak solution of problem (1.1) is unique. Then the multivalued semiprocess turns to be a singlevalued one and the uniform compact global attractor is exactly the usual uniform attractor for the family of singlevalued semiprocesses [1].
In the rest of this section, for convenience of the reader, we recall some results on function spaces related to CaffarelliKohnNirenberg inequalities and translation compact functions.
For 1 < p < ∞ and
equipped with the norm
It is easy to check that the dual space
As 1 < p < ∞,
We now state some results which we will use later. The first is the CaffarelliKohnNirenberg inequality.
Proposition 1.1. [14]Assume that 1 < p < N. Then there exists a positive constant C_{N,p,γ,q }such that for every
where p, q, γ, δ are related by
and δq < N, γp < N.
The inequality (1.5) implies that the embedding
This implies, by duality,
It is pointed out in [19] that
for every p, q, γ, δ satisfying
From assumption (H3), it is easy to check that there exists a positive number δ such that
We now define the following "evolution" spaces which will be useful in what follows.
endowed with the norm
The dual space of
Putting
The following proposition, which is easily proved by using similar arguments as in [[21], Chapter 2], gives some important properties of the operator Δ_{p,γ}.
Proposition 1.2. The operator Δ_{p,γ }maps
(1) Δ_{p,γ }is hemicontinuous, i.e., for all
(2) Δ_{p,γ }is monotone, i.e., 〈Δ_{p,γ}u + Δ_{p,γ}v,u  v〉 ≥ 0, for all
Definition 1.1. Assume that ℰ is a reflexive Banach space.
(1) A function
(2) A function
Denote by
Let
Lemma 1.3. (1)
(2) For all
(3) The translation group {T(h)}, which is defined by T(h)σ(s) = σ(h + s), s, h ∈ ℝ, is continuous on
(4)
The rest of the article is organized as follows. In Section 2, we prove the global existence of a weak solution to problem (1.1) by using the monotonicity and compactness methods. In Section 3, the existence of global attractors for problem (1.1) is proved in both the autonomous and nonautonomous cases.
2. Existence of a weak solution
We denote
where p', q' are the conjugate indexes of p, q, respectively.
Definition 2.1. A function u(x, t) is called a weak solution of (1.1) on (τ, T) iff
and
for all test functions φ ∈ V.
It is known (see [[1], Theorem 1.8, p. 33]) that if u ∈ V and
Theorem 2.1. For any τ, T ∈ ℝ, T > τ and u_{τ }∈ L^{2}(Ω) given, problem (1.1) has at least one weak solution u on (τ, T). Moreover, the solution u can be extended to the whole interval (τ, +∞).
Proof. We split the proof into three steps.
Step 1: A Galerkin scheme. Consider the approximating solution u_{n}(t) in the form
where
Using the Peano theorem in the theory of ODEs, we get the local existence of u_{n}.
Step 2: A priori estimates. We have
By assumption (H3), we can choose δ > 0 such that
where the last inequality follows from the Young inequality. Using (1.3) and the Cauchy inequality, we get
Hence
We show that the local solution u_{n }can be extended to the interval [τ, ∞). Indeed, from (2.2) we have
By the Gronwall inequality, we obtain
where we have used the facts that
We now establish some a priori estimates for u_{n}. Integrating (2.2) on [τ, T], τ < t ≤ T, and using the fact that
The last inequality implies that
Using hypothesis (1.2), we get
Hence, we can conclude that {f(t, u_{n})} is bounded in
We have
for all
Step 3: Passing limits. From the above estimates, there exists a subsequence {u_{μ}} ⊂ {u_{n}} such that
up to a subsequence.
To prove that η(t) = f(t, u(t)), we argue similarly to [22,23] to deduce that
for all T > τ. In particular, we obtain from (2.5) that
Then, by Theorem 13.3 and Remark 13.1 in [24], we obtain that u_{μ }→ u strongly in L^{2}(τ, T; L^{2}(Ω)), up to a subsequence. Hence, we can assume that u_{μ }→ u a.e. in Q_{τ,T}. Therefore, f(t, u_{μ}) → f(t, u) a.e. in Q_{τ,T }since f is continuous. By Lemma 1.3 in [[21], Chapter 1], one has
Thus, we have
We now show that ψ = Δ_{p, γ }u. Since Δ_{p, γ }is monotone, we have
Note that {u_{n}(T)} is bounded in L^{2}(Ω), so by arguments as in [[21], pp. 159160], we have that u_{n}(T) ⇀ u(T) in L^{2}(Ω). Because
we obtain
where we have used the facts that u_{n}(τ) → u_{τ }in
and therefore thanks to (2.15) and (2.16) one gets
We now use the hemicontinuity of the operator Δ_{p,γ }to show that ψ = Δ_{p,γ }u. Taking v = u  λw, where λ > 0 and
hence
leting λ → 0 in (2.17), we conclude that
So ψ = Δ_{p,γ }u. Thus,
We now show that u(τ) = u_{τ}. Choosing some
Doing the same in the Galerkin approximations yields
Passing to the limit as n → ∞, we have
Therefore, u(τ) = u_{τ }and u is a weak solution of (1.1) on (τ, T).
Finally, it is easy to check that the solution u satisfies the inequality similar to (2.3), and this implies that the solution u exists globally on the interval (τ, +∞).
3. Existence of global attractors
3.1. The autonomous case
Consider the case where f and g do not depend on the time t, and let us recall the definition of multivalued semiflows.
Definition 3.1. [5]Let E be a Banach space. The mapping
is called a multivalued semiflow if the following conditions are satisfied:
(1)
(2)
It is called a strict multivalued semiflow if
We now consider problem (1.1) with τ = 0. By Theorem 2.1, we construct a multivalued mapping as follows
Lemma 3.1. is a strict multivalued semiflow in the sense of Definition 3.1.
Proof. Assume that
Since u and v are two solutions of (1.1), we obtain that w is a solution of (1.1) with w(0) = u(0) = u_{0}. In addition, since ξ = v(t_{1}) = w(t_{1 }+ t_{2}), we have
Definition 3.2. [5]A set is said to be a global attractor of the multivalued semiflow if the following conditions hold:
• is an attracting, i.e.,
• is negatively semiinvariant:
• If ℬ is an attracting of then
where
The following theorem gives the sufficient conditions for the existence of a global attractor for the multivalued semiflow .
Theorem 3.2. [5,7]Suppose that the strict multivalued semiflow has the following properties:
(1) is pointwise dissipative, i.e., there exists K > 0 such that for
(2)
(3) is asymptotically upper semicompact, i.e., if B is a bounded set in E such that for
some
Then has a compact global attractor in E. Moreover, is invariant, i.e.,
Lemma 3.3.
Proof. This lemma is a direct consequence of Lemma 3.8 in Section 3.2 below.
We now can prove the existence of a global attractor.
Theorem 3.4. Under conditions (H1)(H3), where f andg are assumed to be independent of time t, the strict multivalued semiflow generated by problem (1.1) has an invariant compact global attractor in L^{2}(Ω).
Proof. We will check hypotheses (1)(3) of Theorem 3.2. First, assume
Noting that
we have
Therefore
Hence one can deduce that is pointwise dissipative.
We now check hypothesis (2) of Theorem 3.2. Assume that
Using the same arguments as in the proof of Theorem 2.1, we have
• u_{n }→ u in L^{2}(Q_{0,T}),
• u_{n}(t) ⇀ u(t) in L^{2}(Ω) for arbitrary t ∈ [0, T] (and then u(0) = η),
• f(u_{n})⇀ f(u) in
•
• Δ_{p,γ }u_{n }⇀ Δ_{p,γ }u in
up to a subsequence. Hence, passing to the limit in the equality
we conclude that u(t) is a weak solution of (1.1) with the initial condition u(0) = η. Thus,
For hypothesis (3), one observes that for n large enough,
where t* > 0 and B* is a bounded set in L^{2}(Ω). Using Lemma 3.3, we conclude that, if
3.2. The nonautonomous case
Let us recall some definitions and related results. The pair of functions (f(s,⋅),g(⋅,s)) = σ(s) is called a symbol of (1.1). We consider (1.1) with a family of symbols including
the shifted forms σ(s + h) = (f(s + h,⋅), g (⋅, s + h)) and the limits of some sequence {σ(s + h_{n})}_{n∈N }in an appropriate topological space Σ. The family of such symbols is said to be the
hull of σ in Σ and is denoted by
If the hull
Denote ℝ_{d }= {(t, τ) ∈ ℝ^{2 } τ ≤ t}. Let X be a complete metric space,
Denote
Then Z is a Banach space. We say that f_{n }→ f in the space C(ℝ; Z) if
for all t ∈ ℝ, r > 0.
Let
where the topology in
for all t ∈ ℝ, r > 0 and ϕ ∈ L^{2 }(Q_{t,t+r}). We define
In order to deal with a uniform attractor with respect to the family of symbols, one
usually requires the translation compact property. Let us recall some discussions
on this requirement. It is known that hypothesis (H2) ensures that g is translation compact in
Proposition 3.5. [4]The function f ∈ C(ℝ; Z) is translation compact if and only if for all R > 0 one has
(1) f(t, v) ≤ C(R) for all t ∈ ℝ, v ∈ [R, R],
(2) f(t_{1}, v_{1})f(t_{2}, v_{2}) ≤ α(t_{1}t_{2} + v_{1}v_{2},R), ∀t_{1}, t_{2 }∈ ℝ, v_{1}, v_{2 }∈ [R, R], here C(R) > 0 and α(.,.) is a function such that α(s, R) → 0 as s → 0^{+}.
From now on, we suppose that f is translation compact. Together with the fact that g is translation compact in
Definition 3.3. [6]The map
(1)U (τ, τ,.) = Id (the identity map),
(2)U (t, τ, x) ⊂ U(t, s, U(s, τ, x)), for all x ∈ X, t, s, τ ∈ ℝ,τ ≤ s ≤ t.
It is called a strict multivalued semiprocess if U(t, τ, x) = U(t, s, U(s, τ, x)).
We denote by
Lemma 3.6. U_{σ }(t, τ, u_{τ}) is a multivalued semiprocess. Moreover,
Proof. Given z ∈ U_{σ}(t, τ, u_{τ})) we have to prove that z ∈ U_{σ}(t, s, U_{σ}(s, τ, u_{τ})). Take
Let z ∈ U_{σ}(t + s, τ + s, u_{τ}). Then there exists
Conversely, if z ∈ U_{τ,T(s)σ }(u_{τ}), then there is
Denote by
Definition 3.4. [6]A set is called a uniform global attractor for the family of multivalued semiprocesses U_{Σ }if:
(1) it is negatively semiinvariant, i.e.,
(2) it is uniformly attracting, i.e.,
(3) for any closed uniformly attracting set Y, we have
Theorem 3.7. [[6], Theorem 2] Suppose that the family of multivalued semiprocesses U_{Σ }satisfies the following conditions:
(1) On Σ is defined the continuous shift operator T(s)σ(t) = σ(t + s), s ∈ ℝ such that T(h)Σ ⊂ Σ, and for any (t, τ) ∈ ℝ_{d}, σ ∈ Σ, s ∈ ℝ, x ∈ X, we have
(2) U_{σ }is uniformly asymtopically upper semicompact;
(3) U_{σ }is pointwise dissipative;
(4) The map (x, σ) ↦ U_{σ}(t, 0, x) has closed values and is wupper semicontinuous.
Then the family of multivalued semiprocesses U_{Σ }has a uniform global compact attractor .
The following is the key point of this subsection.
Lemma 3.8. Let conditions (H1)(H3) hold and let {u_{n}}_{n∈ℕ }is a sequence of weak solutions of (1.1) with respect to the sequence of symbols {σ_{n}} ⊂ Σ such that
Then there exists a solution u of (1.1) with respect to the symbol σ such that u(τ) = u_{T }and u_{n}(t*) → u(t*) in L^{2}(Ω) for any t* > τ, up to a subsequence.
Proof. Let σ_{n }= (f_{n}, g_{n}). Since f satisfies (H1) for all t ∈ ℝ and
In particular, we have
up to a subsequence. Let
for all v ∈ V. Since
because
We now have to show that u_{n}(t*) → u(t*) in L^{2}(Ω) for any t* > τ. Taking into account of (3.3), we have to check that
Putting
It is easy to check that the functions J_{n}(t), J(t) are continuous and nonincreasing on [τ, T]. We first show that
Indeed,
and
as n → ∞ since u_{n }→ u strongly in L^{2}(Q_{τ,t}) and {g_{n}} is bounded in L^{2}(Q_{τ,t}). In addition,
as n → ∞ since g_{n }⇀ g in L^{2}(Q_{τ,t}). Then (3.4) is proved due to the fact that u_{n}(t) → u(t) in L^{2}(Ω) for a.e. t ∈ [τ, T].
We choose an increasing sequence {t_{m}} ⊂ [τ, T], t_{m }→ t* such that J_{n}(t_{m}) ⇀ J(t_{m}) as n → ∞. Then, by the continuity,
So
for n ≥ n_{0}(ε) and any ε > 0. Hence, lim sup J_{n}(t*) ≤ J(t*) and then lim sup ∥u_{n}(t*)∥ ≤ ∥u(t*)∥. From the weak convergence u_{n}(t*) ⇀ u(t*) we have then ∥u_{n}(t*)∥ → ∥u(t*)∥, so u_{n}(t*) → u(t*) strongly in L^{2}(Ω) as n → ∞. This completes the proof.
Theorem 3.9. Let conditions (H1)(H3) hold. Then the family of multivalued semiprocesses {U_{σ }(t, τ)} has a uniform global compact attractor .
Proof. We know that each symbol σ_{n }= (f_{n}, g_{n}) ∈ Σ satisfies the same conditions as in (H1)(H2). Furthermore, since
The last inequality ensures the existence of a positive number R_{0 }such that if u_{n}(τ) ∈ B_{R}, the ball in L^{2}(Ω) centered at 0 with radius R, then there exists T_{0 }= T_{0}(τ, R) such that
that is,
We now define the set
for all
Finally, let us prove that the map (σ, x) ↦ U_{σ}(t, τ, x) is upper semicontinuous for each fixed t ≥ τ. Suppose that it is not true, that is, there exist
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors read and approved the final manuscript.
Acknowledgements
This work was supported by Vietnam's National Foundation for Science and Technology Development (NAFOSTED), Project 101.012010.05.
The authors would like to thank the reviewers for valuable comments and suggestions.
References

Chepyzhov, VV, Vishik, MI: Attractors for Equations of Mathematical Physics. Am Math Soc Colloq Publ Am Math Soc, Providence, RI (2002)

Temam, R: Infinite Dimensional Dynamical Systems in Mechanics and Physics. SpringerVerlag, New York (1997)

Ball, JM: Continuity properties and global attractor of generalized semiflows and the NavierStokes equations. J Nonlinear Sci. 7, 475–502 (1997)

Chepyzhov, VV, Vishik, MI: Evolution equations and their trajectory attractor. J Math Pure Appl. 76, 913–964 (1997)

Melnik, VS, Valero, J: On attractors of multivalued semiflows and differential inclusions. Set Valued Anal. 6, 83–111 (1998)

Melnik, VS, Valero, J: On global attractors of multivalued semiprocesses and nonautonomous evalution inclusions. Set Valued Anal. 8, 375–403 (2000)

Melnik, VS, Valero, J: Addendum to On attractors of multivalued semiflows and differential inclusions. Set Valued Anal. 16, 507–509 (2008)

Kapustyan, AV: Global attractors of a nonautonomous reactiondiffusion equation. Diff Equ. 38(10), 1467–1471 [Translation from Differensial'nye Uravneniya 38(10), 13781381 (2002)] (2002)

Kapustyan, AV, Shkundin, DV: Global attractor of one nonlinear parabolic equation. Ukrain Math Zh. 55, 446–455 (2003)

Valero, J, Kapustyan, A: On the connectedness and asymptotic behaviour of solutions of reactiondiffusion systems. J Math Anal Appl. 323, 614–633 (2006)

Kapustyan, AV, Menik, VS, Valero, J: Attractors of multivalued dynamical processes generated by phasefield equations. Int J Bifur Chaos. 13, 1969–1984 (2003)

Ball, JM: Global attractor for damped semilinear wave equations. Discret Cont Dyn Syst. 10, 31–52 (2004)

Sell, G: Global attractor for the threedimensional NavierStokes equation. J Dyn Diff Equ. 8, 1–33 (1996)

Caffarelli, L, Kohn, R, Nirenberg, L: First order interpolation inequalities with weights. Compositio Math. 53, 259–275 (1984)

Abdellaoui, B, Colorado, E, Peral, I: Existence and nonexistence results for a class of linear and semilinear parabolic equations related to some CaffarelliKohnNirenberg inequalities. J Eur Math Soc. 6, 119–148 (2004)

Abdellaoui, B, Peral, I: Harnack inequality for degenerate parabolic equations related to CaffarelliKohnNirenberg inequalities. Nonlinear Anal. 57, 971–1003 (2004)

Abdellaoui, B, Peral, I: Competition reactionabsorption in some elliptic and parabolic problems related to the CaffarelliKohnNirenberg inequalities. J Math Anal Appl. 314, 590–617 (2006)

Abdellaoui, B, Peral, I: The effect of Harnack inequality on the existence and nonexistence results for quasilinear parabolic equations related to CaffarelliKohnNirenberg inequalities. NoDEA Nonlinear Diff Equ Appl. 14, 335–360 (2007)

Dall'aglio, A, Giachetti, D, Peral, I: Results on parabolic equations related to some CaffarelliKohnNirenberg inequalities. SIAM Math Anal. 36, 691–716 (2004)

Morillas, F, Valero, J: Attractors for reactiondiffusion equations in ℝ^{N }with continuous nonlinearity. Asymptot Anal. 44, 111–130 (2005)

Lions, JL: Quelques Méthodes de Résolution des Problèmes aux Limites Non Linéaires. Dunod, Paris (1969)

Anguiano, M, Caraballo, T, Real, J, Valero, J: Pullback attractors for reactiondiffusion equations in some unbounded domains with an H^{1}valued nonautonomous forcing term and without uniqueness of solutions. Discret Cont Dyn Syst B. 14, 307–326 (2010)

Rosa, R: The global attractor for the 2D NavierStokes flow on some unbounded domains. Nonlinear Anal. 32, 71–85 (1998)

Temam, R: NavierStokes Equations and Nonlinear Functional Analysis. SIAM (series lectures), Philadelphia (1995)