Multiplicity result for a critical elliptic system with concave-convex nonlinearities
© Batkam and Colin; licensee Springer. 2013
Received: 10 April 2013
Accepted: 29 August 2013
Published: 6 December 2013
We study the existence of multiple solutions of a strongly indefinite elliptic system involving the critical Sobolev exponent and concave-convex nonlinearities. By using a suitable version of the dual fountain theorem established in this paper, we prove the existence of infinitely many small energy solutions.
MSC:35A02, 35J50, 35J60.
where Ω is a bounded smooth domain in with , , and , and satisfy , where denotes the critical Sobolev exponent. The solutions of () are steady states of reaction-diffusion systems, which serve as a class of models with applications in physics, chemistry and biology (see, for instance, [1, 2]).
for every .
In , by extracting Palais-Smale sequences on the Nehari manifold, Hsu and Lin proved that if λ and μ are small, then () has at least two solutions. Subsequently, their result was extended by Chen and Wu , who considered () with sign-changing weight functions. See also [12, 14] and the references therein for some related results.
However, what can be said about the noncooperative case? To the best of our knowledge, there is no result on problem (), even in the subcritical case . In addition to the combined effects of the concave and convex terms, two main difficulties arise when studying (). The first one is that the energy functional J above is strongly indefinite in the sense that it is neither bounded from above nor from below, even on subspaces of finite codimension. Therefore, the usual critical point theorems such as the mountain pass theorem cannot be used. Moreover, the method of the Nehari manifold, which is extensively used in the cooperative case does not apply in this situation. We refer to  for a unified approach on the method of the Nehari manifold. The second difficulty arises with the critical Sobolev exponent. Indeed, it is well known that the embedding is not compact because of the action of dilatations. Therefore, the energy functional is not expected to satisfy the Palais-Smale condition (see Definition 5 below ). Usually, the best we can expect is to find a bounded from above subset such that the functional satisfies the Palais-Smale condition at every level , see, for instance, [3, 9, 16, 17]. But surprisingly enough, we will show that in our case the functional J satisfies the Palais-Smale condition.
The main result of the paper is the following.
Theorem 1 Let . Then problem () has a sequence of solutions such that and as .
Remark 2 Theorem 1 remains true in the subcritical case, i.e., if we assume that if or if . In this case, the proof of Theorem 1 is considerably simplified, since the embedding is now compact.
The paper is organized as follows. In order to prove Theorem 1, we need a new critical point theorem for strongly indefinite functionals, which will be provided in Section 2. This critical point theorem generalizes the dual fountain theorem of Bartsch and Willem, and is not based on any reduction method. It should be noted that problem () does not fit into the framework of the theorem proved in , which is only suitable for finding large energy solutions. Finally the proof of our main result is presented in Section 3.
2 Critical point theory
Let Y be a closed subspace of a separable Hilbert space X endowed with the inner product and the associated norm . We denote by and the orthogonal projections.
Definition 3 Let and , . We say that is τ-weak sequentially compact in if for every sequence which τ-converges to u in , there is a subsequence such that .
Lemma 4 (Deformation lemma)
if or if ,
is non increasing, ,
Each point has a τ-neighborhood such that is contained in a finite-dimensional subspace of X,
η is τ-continuous,
is odd ,
where and .
We claim that for every , there exists a τ-open neighborhood of v such that ( can be chosen to be symmetric, that is, ). In fact, if this is not true, then we can find a sequence which τ-converges to an element and such that . Since ∇φ is τ-weak sequentially compact, there is a subsequence such that , and this implies that , which is in contradiction with the definition of w.
The rest of the proof follows the same lines as the proof of Lemma 8 in  with . □
Before we state and prove our critical point theorem, we recall the following definition.
Definition 5 A functional is said to satisfy the Palais-Smale condition (resp. condition ) if every sequence such that is bounded (resp. ) and , has a convergent subsequence.
Theorem 6 (Generalized dual fountain theorem)
Let be an even functional which is τ-lower semicontinuous and such that ∇Φ is τ-weak sequentially compact in for any . If, for every , there exist such that
(B3) , ,
(B4) Φ satisfies the condition .
Then Φ has a sequence of critical points such that and as .
γ is odd, τ-continuous and ,
each has a τ-neighborhood in such that is contained in a finite dimensional subspace of X,
It follows from the definitions that . Lemma 10 in  implies that , which in turn implies that .
The conclusion of Theorem 6 then follows from (B4) and (B3).
To complete the proof of Theorem 6, it remains to show that (3) holds.
which contradicts the definition of . □
3 Proof of the main results
In this section, we denote by the usual norm.
We consider the Sobolev space endowed with the norm and with the product norm .
Lemma 7 Let such that in X. Then there exists a subsequence such that .
By the Sobolev embedding theorem and are bounded in , and . So (resp. ) is bounded in (resp. in ), and are bounded in .
and for every . Hence, . □
Lemma 8 The functional J satisfies the Palais-Smale condition.
which implies, since , that is bounded.
for n big enough, we easily deduce that is bounded.
Hence . □
Lemma 9 J is τ-lower semicontinuous, and ∇J is τ-weak sequentially compact in for any .
- 1.Let and such that in X and . By the definition of τ, converges strongly to v in . Clearly, we havewhich implies, since is bounded and , that is bounded. Up to a subsequence, we may assume that in and in , and for almost every . By using Fatou’s lemma and the weak lower semicontinuity of the norm , we deduce from the inequality
Assume that in , . The same argument as above shows that is bounded, and then . It follows from Lemma 7 that ∇J is τ-weak sequentially compact in .
We know by  that as , hence we deduce that as .
We have then proved that assumptions (B1) and (B3) of Theorem 6 are satisfied.
where and are constants. It is then easy to verify, since , that assumption (B2) of Theorem 6 is satisfied for small enough.
By using Lemmas 8, 9, we can apply Theorem 6 and get the desired result. □
The authors are grateful to the anonymous referees for their careful reading of the paper and for helpful comments. This work was funded by a grant from the Natural Sciences and Engineering Research Council of Canada.
- Murray JD: Mathematical Biology. Springer, Berlin; 1993.View ArticleMATHGoogle Scholar
- Smoller J: Shock Waves and Reaction-Diffusion Equations. Springer, Berlin; 1983.View ArticleMATHGoogle Scholar
- Brezis H, Nirenberg L: Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Commun. Pure Appl. Math. 1983, 36: 437-477. 10.1002/cpa.3160360405MathSciNetView ArticleMATHGoogle Scholar
- Ambrosetti A, Brezis H, Cerami G: Combined effects of concave and convex nonlinearities in some elliptic problems. J. Funct. Anal. 1994, 122(2):519-543. 10.1006/jfan.1994.1078MathSciNetView ArticleMATHGoogle Scholar
- Bartsch T, Willem M: On an elliptic equation with concave and convex nonlinearities. Proc. Am. Math. Soc. 1995, 123(11):3555-3561. 10.1090/S0002-9939-1995-1301008-2MathSciNetView ArticleMATHGoogle Scholar
- Cheng X, Ma S: Existence of three nontrivial solutions for elliptic systems with critical exponents and weights. Nonlinear Anal. 2008, 69: 3537-3548. 10.1016/j.na.2007.09.040MathSciNetView ArticleMATHGoogle Scholar
- Wu TF: On semilinear elliptic equations involving concave-convex nonlinearities and sign-changing weight function. J. Math. Anal. Appl. 2006, 318(1):253-270. 10.1016/j.jmaa.2005.05.057MathSciNetView ArticleMATHGoogle Scholar
- Batkam, CJ, Colin, F: The effects of a Concave-Convex nonlinearity in some noncooperative elliptic systems. Ann. Mat. Pura Appl. Published online 21 April 2013 (to appear)Google Scholar
- Hsu TS, Lin HL: Multiple positive solutions for a critical elliptic system with concave-convex nonlinearities. Proc. R. Soc. Edinb., Sect. A, Math. 2009, 139(6):1163-1177. 10.1017/S0308210508000875MathSciNetView ArticleMATHGoogle Scholar
- Shen Y, Zhang J: Multiplicity of positive solutions for a semilinear p-Laplacian system with Sobolev critical exponent. Nonlinear Anal. 2011, 74(4):1019-1030. 10.1016/j.na.2010.06.066MathSciNetView ArticleMATHGoogle Scholar
- Han P: Multiple positive solutions of nonhomogeneous elliptic systems involving critical Sobolev exponents. Nonlinear Anal. 2006, 64(4):869-886. 10.1016/j.na.2005.04.053MathSciNetView ArticleMATHGoogle Scholar
- Wu TF: The Nehari manifold for a semilinear elliptic system involving sign-changing weight functions. Nonlinear Anal. 2008, 68: 1733-1745. 10.1016/j.na.2007.01.004MathSciNetView ArticleMATHGoogle Scholar
- Chen CY, Wu TF: The Nehari manifold for indefinite semilinear elliptic systems involving critical exponent. Appl. Math. Comput. 2012, 218: 10817-10828. 10.1016/j.amc.2012.04.026MathSciNetView ArticleMATHGoogle Scholar
- Hsu TS: Multiple positive solutions for a critical quasilinear elliptic system with concave-convex nonlinearities. Nonlinear Anal. 2009, 71: 2688-2698. 10.1016/j.na.2009.01.110MathSciNetView ArticleMATHGoogle Scholar
- Szulkin A, Weth T: The method of Nehari manifold. In Handbook of Nonconvex Analysis and Applications. Int. Press, Somerville; 2010:597-632.Google Scholar
- Bouchekif M, Nasri Y: On a singular elliptic system at resonance. Ann. Mat. Pura Appl. 2010, 189(2):227-240. 10.1007/s10231-009-0106-9MathSciNetView ArticleMATHGoogle Scholar
- Chabrowski J: The Neumann problem for semilinear elliptic equations with critical Sobolev exponent. Milan J. Math. 2007, 75: 197-224. 10.1007/s00032-006-0065-1MathSciNetView ArticleMATHGoogle Scholar
- Batkam CJ, Colin F: Generalized fountain theorem and application to strongly indefinite semilinear problems. J. Math. Anal. Appl. 2013, 405: 438-452. 10.1016/j.jmaa.2013.04.018MathSciNetView ArticleMATHGoogle Scholar
- Kryszewski W, Szulkin A: Generalized linking theorem with an application to a semilinear Schrödinger equation. Adv. Differ. Equ. 1998, 3: 441-472.MathSciNetMATHGoogle Scholar
- Willem M: Analyse Harmonique Réelle. Hermann, Paris; 1995.MATHGoogle Scholar
- Willem M: Minimax Theorems. Birkhauser, Boston; 1996.View ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.