Infinitely many solutions for a class of quasilinear elliptic equations with p-Laplacian in
© Jia et al.; licensee Springer 2013
Received: 15 December 2012
Accepted: 22 July 2013
Published: 6 August 2013
In this paper, we study the multiplicity of solutions for a class of quasilinear elliptic equations with p-Laplacian in . In this case, the functional J is not differentiable. Hence, it is difficult to work under the classical framework of the critical point theory. To overcome this difficulty, we use a nonsmooth critical point theory, which provides the existence of critical points for nondifferentiable functionals.
MSC:35J20, 35J92, 58E05.
Keywordsquasilinear elliptic equations nondifferentiable functional p-Laplacian multiple solutions
1 Introduction and main results
where , denotes the p-Laplacian operator, Ω is a bounded domain in with smooth boundary ∂ Ω.
for all and .
Our approach to study (1.3) is based on the nonsmooth critical point theory developed in  and . Dealing with this class of problems, the main difficulty is that the associated functional is not differentiable in all directions.
The main goal here is to establish multiplicity of results for (1.3), when is odd and is even in s. Such solutions for (1.3) will follow from a version of the symmetric mountain pass theorem due to Ambrosetti and Rabinowitz [10, 11]. Compared with problem (1.2) in , problem (1.3) is much more difficult, since the discreteness of the spectrum is not guaranteed. Therefore, we only consider the first eigenvalue .
To state and prove our main result, we consider the following assumptions.
Suppose that and .
(H1) Let be a function such that
for each , is measurable with respect to x;
for a.e. , is a function of class with respect to s;
there exist such that(1.6)(1.7)
where θ is the same as that in (H2).
where is a positive constant.
Next, we can state the main theorem of the paper.
Theorem 1.1 Assume that and satisfy (H1)-(H4). Moreover, let and , a.e. , . If there exists a positive number μ such that , then problem (1.3) has infinitely many distinct solutions in , i.e., there exists a sequence , satisfying (1.3) and , as .
To explain our result, we introduce some functional spaces. We define the reflexive Banach space E of all functions with the norm .
Such a weighted Sobolev space has been used in many previous papers, see  and . Now, we give an important property of the space E, which will play an essential role in proving our main results.
Remark 1.1 One can easily deduce and for . More details can be found in .
Throughout this paper, let denote the norm of E and () means that converges strongly (weakly) in corresponding spaces. ↪ stands for a continuous map, and ↪↪ means a compact embedding map. C denotes any universal positive constant unless specified.
The paper is organized as follows. In Section 2, we introduce the nonsmooth critical framework and preliminaries to our work. In Section 3, we give some lemmas to prove the main result. Finally, the proof of Theorem 1.1 is presented in Section 4.
2 Nonsmooth critical framework and preliminaries
The extended real number is called the weak slope of I at u.
Note that the notion above was independently introduced in , as well.
Definition 2.2 Let be a metric space, let be a continuous functional and . We say that I satisfies , i.e., the Palais-Smale condition at level c, if every sequence in X with and admits a strongly convergent subsequence.
In order to treat the Palais-Smale condition, we need to introduce an auxiliary notion.
possesses a strongly convergent subsequence in E, where is some real number converging to zero.
where denotes the weak slope of J at u.
Remark 2.2 Let c be a real number. If J satisfies , then J satisfies .
By Remark 2.1, we have . Taking , the conclusion follows. □
3 Basic lemmas
- (i)there exist , and a subspace of finite codimension such that
- (ii)for every finite-dimensional subspace , there exists such that
Then there exists a sequence of critical values of I with .
Lemma 3.2 If is a critical point of J, then .
By Theorem 5.2 of , we get that . Replacing by , we can similarly prove that . We conclude that , and the proof of Lemma 3.2 is completed. □
i.e., u is a critical point of J.
Moreover, since satisfies (3.6), by Theorem 2.1 of , we have, up to a further subsequence, a.e. in .
Finally, we can deduce (3.7) from (3.14). □
Remark 3.1 (see )
In the following lemma, we will prove the boundedness of a sequence under (1.6), (1.8) and (1.9).
Then is bounded in E.
Choosing in (3.22), we find that is bounded in E. □
Lemma 3.5 Let be the same as that in Lemma 3.3. Then , up to a subsequence, converges strongly to u in E.
According to (1.6), we conclude that converges strongly to u in E. □
Lemma 3.6 For every real number c, the functional J satisfies .
Proof Let be a sequence in E satisfying (3.6) and (3.16). By Lemma 3.4, is bounded in E. Therefore, the conclusion can be deduced from Lemma 3.5. □
4 Proof of Theorem 1.1
It is easy to check that the functional J is continuous and even. Moreover, by Remark 2.2 and Lemma 3.6, J satisfies for every .
We discuss (4.1) in the following two cases:
Hence, condition (i) of Lemma 3.1 holds with .
In view of , we deduce that the set is bounded in E and condition (ii) of Lemma 3.1 holds. By Lemma 3.1, the conclusion follows.
The authors express their sincere thanks to the referees for their valuable criticism of the manuscript and for helpful suggestions. This work has been supported by the Natural Science Foundation of China (No. 11171220) and Shanghai Leading Academic Discipline Project (XTKX2012).
- Liu SB: Multiplicity results for coercive p -Laplacian equations. J. Math. Anal. Appl. 2006, 316: 229-236. 10.1016/j.jmaa.2005.04.034MATHMathSciNetView ArticleGoogle Scholar
- Aouaoui S:Multiplicity of solutions for quasilinear elliptic equations in . J. Math. Anal. Appl. 2010, 370(2):639-648. 10.1016/j.jmaa.2010.04.052MATHMathSciNetView ArticleGoogle Scholar
- Alves CO, Carrião PC, Miyagaki OH:Existence and multiplicity results for a class of resonant quasilinear elliptic problems on . Nonlinear Anal. 2000, 39: 99-110. 10.1016/S0362-546X(98)00176-XMATHMathSciNetView ArticleGoogle Scholar
- Canino A: Multiplicity of solutions for quasilinear elliptic equations. Topol. Methods Nonlinear Anal. 1995, 6: 357-370.MATHMathSciNetGoogle Scholar
- Squassina M: Existence of multiple solutions for quasilinear diagonal elliptic systems. Electron. J. Differ. Equ. 1999, 1999: 1-12.MathSciNetGoogle Scholar
- Arcoya D, Boccardo L: Critical points for multiple integrals of the calculus of variations. Arch. Ration. Mech. Anal. 1996, 134: 249-274. 10.1007/BF00379536MATHMathSciNetView ArticleGoogle Scholar
- Arcoya D, Boccardo L: Some remarks on critical point theory for nondifferentiable functionals. NoDEA Nonlinear Differ. Equ. Appl. 1999, 6: 79-100. 10.1007/s000300050066MATHMathSciNetView ArticleGoogle Scholar
- Corvellec JN, Degiovanni M, Marzocchi M: Deformation properties of continuous functionals and critical point theory. Topol. Methods Nonlinear Anal. 1993, 1: 151-171.MATHMathSciNetGoogle Scholar
- Degiovanni M, Marzocchi M: A critical point theory for nonsmooth functionals. Ann. Mat. Pura Appl. 1994, 167(4):73-100.MATHMathSciNetView ArticleGoogle Scholar
- Ambrosetti A, Rabinowitz PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 1973, 14: 349-381. 10.1016/0022-1236(73)90051-7MATHMathSciNetView ArticleGoogle Scholar
- Silva, EAB: Critical point theorems and applications to differential equations. Ph.D. thesis, University of Wisconsin-Madison (1988)Google Scholar
- Brasco L, Franzina G: On the Hong-Krahn-Szego inequality for the p -Laplace operator. Manuscr. Math. 2013, 141: 537-557. 10.1007/s00229-012-0582-xMATHMathSciNetView ArticleGoogle Scholar
- Bartsh T, Wang ZQ:Existence and multiplicity results for some superlinear elliptic problems on . Commun. Partial Differ. Equ. 1995, 20: 1725-1741. 10.1080/03605309508821149View ArticleGoogle Scholar
- Rabinowitz PH: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 1992, 43: 270-291. 10.1007/BF00946631MATHMathSciNetView ArticleGoogle Scholar
- Katriel G: Mountain pass theorems and global homeomorphism theorems. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1994, 11: 189-209.MATHMathSciNetGoogle Scholar
- Rabinowitz PH CBMS Regional Conf. Ser. Math. 65. In Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence; 1986.Google Scholar
- Ladyzenskaya OA, Uralceva NN: Equations aux dérivées partielles de type elliptiques. Dunod, Paris; 1968.Google Scholar
- Brezis H, Lieb E: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 1983, 88: 486-490.MATHMathSciNetView ArticleGoogle Scholar
- Boccardo L, Murat F: Almost everywhere convergence of the gradients of solutions to elliptic and parabolic equations. Nonlinear Anal. 1992, 19: 581-597. 10.1016/0362-546X(92)90023-8MATHMathSciNetView ArticleGoogle Scholar
- Boccardo L, Murat F, Puel JP: Existence de solutions non bornées pour certaines équations quasi-linéaires. Port. Math. 1982, 41: 507-534.MATHMathSciNetGoogle Scholar
- Brezis H, Browder FE: Sur une propriété des espaces de Sobolev. C. R. Math. Acad. Sci. Paris 1978, 287: 113-115.MATHMathSciNetGoogle 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.