- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 746380, 13 pages
Multiplicity of Positive Solutions for Semilinear Elliptic Systems
Department of Natural Sciences in the Center for General Education, Chang Gung University, Tao-Yuan 333, Taiwan
Received 15 November 2012; Accepted 5 March 2013
Academic Editor: Gabriella Tarantello
Copyright © 2013 Tsing-San Hsu. 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.
We study the effect of the coefficient of the critical nonlinearity on the number of positive solutions for semilinear elliptic systems. Under suitable assumptions for , , and , we should prove that for sufficiently small , there are at least positive solutions of the semilinear elliptic systems , , where is a bounded domain, , , and for .
1. Introduction and Main Results
For , , , and , consider the semilinear elliptic systems where , is a bounded domain with smooth boundary .
Let , , and satisfy the following conditions., , and are positive continuous functions in and . There exist points and some such that are strict maxima and satisfy and as uniformly in .
Recent studies [1–10] have investigated the elliptic systems with subcritical or critical exponents and have proved the existence of a ground state solution or the existence of at least two positive solutions for these problems. For the case of , , , and , Lin  constructs the compact Palais-Smale sequences that are suitably localized in correspondence of maximum points of . Under assumptions -, she has showed that there are at least positive solutions of the problem for sufficiently small . In this paper, we study the problem and complement the results of  to the case . Under assumptions -, we should prove that there exist at least positive solutions of the problem for sufficiently small .
Let be the space with the standard norm Associated with the problem , we consider the -functional, for , The weak solution of the problem is the critical point of the functional ; that is, satisfies for any .
Let with the norm , and let be the best Sobolev constant defined by and let then, by [1, Theorem 5], we have where .
Set where .
The main results of this paper are given as follows.
This paper is organized as follows. In Section 2, we consider the Nehari manifold where Note that contains all nontrivial weak solution of the problem . Using the argument of Tarantello [12, 13], we split into two parts and for . In Section 3, we prove Theorem 1. In Section 4, since satisfies the -condition for , for sufficiently small , , and some restriction on and , we construct the compact Palais-Smale sequences which are suitably localized in correspondence with the maximum points of and which converge to distinct solutions of the problem belonging to . Hence, we prove Theorem 2 (one is the ground state solution belonging to and the others are in ).
2. Nehari Manifold
Throughout this paper, will be assumed. First, we give some notations.
Notations. We make use of the following notations. , , denote Lebesgue spaces; the norm is denoted by for . , endowed with norm . The dual space of a Banach space will be denoted by . and for all and . is said to be nonnegative in if and in . is said to be positive in if and in . is the Lebesgue measure of . is a ball in . denotes as for . means that there exist the constants such that as is small. denotes as . . , will denote various positive constants, the exact values of which are not important.
Let be the functional defined by
We know that is not bounded below on . From the following lemma, we have that is bounded from below on the Nehari manifold defined in (9).
Lemma 3. The energy functional is coercive and bounded below on .
Proof. If , then by (10), the Hölder inequality, and the Sobolev embedding theorem, we get Hence, we have that is coercive and bounded below on .
Define Then, for , We apply the method in ; let
By using equality (17), we get that for . Moreover, we have the following results.
Lemma 4. Let be a constant defined as in (8). If , then .
For each with , we write Then, the following lemma holds.
Lemma 5. Suppose that , and with . Then, there exist unique such that , and
Proof. This is similar to the proof of Hsu [14, Lemma 2.7].
Applying Lemma 4 ( for ), we write and define
The following lemma shows that the minimizers on are usual critical points for .
Lemma 6. For the case when , if is a local minimizer for on , then in .
Proof. See Brown and Zhang [15, theorem 2.3].
Lemma 7. (i) If and , then one has
In particular, .
(ii) If and , then one has , in , and for some positive constant .
Proof. (i) Let . By (16) and (17), we have
By the definition of , , we deduce that .
(ii) Let ; by (16) and the Hölder and the Sobolev inequalities, we get This implies By (13) and (31), we obtain that , in , and Thus, if , for all , then
3. Existence of a Ground State Solution
First of all, we define the Palais-Smale (denote by (PS)) sequences and (PS)-condition in for as follows.
Definition 8. (i) For , a sequence is a -sequence in for if and strongly in as .
(ii) satisfies the -condition in if any -sequence in for contains a convergent subsequence.
Proof of Theorem 1. Using the same argument as in Wu [16, Proposition 9] or Hsu [14, Proposition 3.3], there exists a minimizing sequence for on such that Since is coercive on (see Lemma 3), we get that is bounded in . Then, there exist a subsequence and such that This implies First, we claim that is a nontrivial solution of . By (34) and (35), it is easy to verify that is a weak solution of . From and (12), we deduce that Let in (37); by (34), (36), and , we get Thus, is a nontrivial solution of . Now, we prove that strongly in and . By (37), if , then In order to prove that , it suffices to recall that , by (39) and applying Fatou's lemma to get This implies that and . Let ; then Brézis-Lieb lemma  implies Therefore, strongly in . Since and , by Lemma 6 we may assume that is a nontrivial nonnegative solution of . By an argument of Hsu [18, Lemma 4.2], we can deduce that and in . Finally, from the maximum principle , we deduce that is positive in .
Remark 9. and .
Proof. We claim that . On the contrary, assume that ( for ); then by Lemma 5, there exist unique and such that and . In particular, we have . Since there exists such that . By Lemma 5, which is a contradiction. Hence, and .
4. Existence of Solutions
Throughout this section, - will be assumed. First of all, we want to show that satisfies the -condition in for , where is defined in the following lemma.
Lemma 10. If is a -sequence for with weakly in , then and there exists a constant such that .
Proof. Let and . If is a -sequence for with weakly in , it is easy to check that in . Then, we get ; that is, . Thus, by (13), the Hölder, the Young, and the Sobolev inequalities, we have where .
Lemma 11. If is a -sequence for , then is bounded in .
Proof. See Hsu and Lin [8, Lemma 2.3].
Recall that and let where is given in Lemma 10.
Lemma 12. satisfies the -condition in for .
Proof. Let be a -sequence for with . Write . We know from Lemma 11 that is bounded in , and then weakly up to a subsequence; is a critical point of . Furthermore, we may assume that , weakly in and , strongly in for all , and , a.e. on . Hence, we have that and Let and . Then, we obtain and by an argument of Han [20, Lemma 2.1], Since , in and (47)–(49), we deduce that Hence, we may assume that Assume that ; by the definition of , and (52), we obtain which implies that . In addition, from Lemma 10, (50), and (52), we get which is a contradiction. Hence, ; that is, strongly in .
From assumption , we can choose such that and , where and for .
Define where , .
Then, we have the following separation result.
Lemma 13. If and for , then .
Proof. For any satisfying , we get which implies that Hence, from (58), we obtain which is a contradiction.
For , we set and define
Recall that the best Sobolev constant is defined as It is well known that is a minimizer of , and . Fix a maximum point of (). Let be a cut-off function such that , , and for , for . We define where and .
From now on, we assume that and .
Lemma 14. There exist , , such that for and , one has
where is the positive constant given in Lemma 12.
In particular, for all .
Proof. It is well known that (or see Brézis and Nirenberg , Cheng and Ma [22, Lemma 3.2], Struwe , and Willem [24, Lemma 1.46]) as ,
For , and ,
Set . By Lemma 5, there exists such that for . Furthermore, Hence, there exists for any which implies and then First, we consider the functional defined by
Step I. Show that .
According to condition , we conclude that From (66), (74), , and , we can deduce that Using (67) and (75), then Since by (7) and (76), we conclude that
Step II. Let be the positive constant given in Lemma 10. We can choose such that for all , we have Since is continuous in , , and is uniformly bounded in for any (see (67)), then there exists (independent of ) such that for any , According to condition , and . Applying the results of Step I and (68), we have that for and , where and .
Therefore, we can choose and such that
This implies that There exist , such that for all and , we have Thus, we can choose . Then, for all , there holds
Step III. For and , by Lemma 7, (72), and (85), we get
Lemma 15. Let be a sequence such that Then, it follows that Moreover, if and , then and concentrate at a single point.
Proof. See Han [20, Lemma 2.2].
Lemma 16. For any , there exist such that
Proof. Fix . Assume the contrary. There then exists a sequence with as such that as . Consequently, there exists a sequence such that as , It then follows easily that is uniformly bounded in , and since and are continuous on , we obtain