Abstract
In this paper, we deal with the existence of three nontrivial solutions for the potential system of pLaplacian equations with homogeneous Dirichlet boundary conditions. Applying the Nehari procedure and abstract linking theorem on a product space, we give a linking structure for our variational problem, and then, combining with the classical minimax principle, we obtain three nontrivial critical values for the relevant energy functional.
MSC: 35J20, 35J25.
Keywords:
elliptic equations; Nehari manifold; linking theorem; minimax principle1 Introduction
In this paper, we are concerned with the multiplicity of nontrivial solutions for the following system of quasilinear equations:
where (), Ω is a bounded smooth domain in (), , are Carathéodory functions (), and there exists a function such that
In recent years, many authors have studied the existence of nontrivial solutions for Laplacian systems and pLaplacian systems, see [15] and the references therein. Usually the authors change the problem into the critical point problem of the corresponding energy functional and then apply the critical point theory or the variational method, or they change it into the fixed point problem of the corresponding compactly continuous mapping and then apply topological degree theory or the method of lower and upper solutions. For instance, in [2] Costa and Magalhaes unified the cooperative and noncooperative Laplacian systems, and they got the existence of nontrivial solutions via the variational approach; in [1] Conti et al. dealt with the competitive Laplacian system, and they established the existence of positive solutions by the Nehari procedure, critical point theory, and topological degree theory; in [3,4] the authors studied the sublinear pLaplacian systems, and they obtained the existence of positive solutions by the method of lower and upper solutions and LeraySchauder degree theory, respectively; in [5] Zhang and Zhang considered the existence of nontrivial solutions for nonlinear Laplacian systems and pLaplacian systems applying the direct variational method. More recently, some authors discussed the multiplicity of nontrivial solutions for Laplacian systems and pLaplacian systems, see [612] and references therein. In [6,11,12], the authors provided the existence results of three nontrivial solutions for system (1.1) with one parameter for the case , where the main methods used are the Nehari procedure and the linking theorem on product space. In [8] Motreanu and Zhang consider a general noncoercive quasilinear elliptic system, they establish the existence of two opposite constant sign solutions; in the case where the system has a variational structure, under the proper hypotheses, they obtain a third nontrivial solution, which is sign changing in the sense that one cannot have both components of the new solution of the same constant sign; their approach relies on a suitable method of subsupersolutions combined with truncation and variational arguments that do not require a subcritical growth condition. In [9] Shen and Zhang established the existence of two positive solutions for multiparameter pLaplacian systems with critical exponents by use of the Nehari procedure and the variational approach. In [7,10], the present author and coauthors dealt with a class of Laplacian systems with superlinear and sublinear terms applying the fixed point index formula on a product cone, and they obtained the existence and multiplicity of positive solutions.
Motivated by some ideas in [1,7,9,12], we shall deal with the existence of nonnegative solutions (especially, positive solutions) for system (1.1) with superlinear and subcritical nonlinear terms. It is well known that the AmbrosettiRabinowitz type result (see [13,14]) can be extended to system (1.1) with superlinear and subcritical nonlinear terms by imposing the AmbrosettiRabinowitz conditions and other proper conditions on nonlinear terms. Now, we have a natural question of when system (1.1) has multiple nonnegative solutions. In order to obtain the multiplicity of nonnegative solutions for system (1.1), we need only to construct the multiple critical values of the corresponding energy functional. For this matter, first we get two ground states in view of the Nehari procedure, establish a linking structure by the abstract linking theorem on the product space, and then construct the third critical value by the classical minimax principle.
The present paper is organized as following. In Section 2, we provide a linking structure for our variational problem (see Theorem 2.2); in Section 3, we verify that the energy functional satisfies the (P.S.) condition (see Theorem 3.1); in Section 4, we prove the existence of three nonnegative solutions for system (1.1) as λ is small enough, and, in addition, one of them is positive if the equations excluding coupled terms have both a unique positive solution (see Theorem 4.1).
2 Linking structure
In this section, we list some preliminaries, including the abstract linking theorem on the product space and the concept of Nehari manifold, and then we give a linking structure, which is useful for constructing the critical value of the functional associated with system (1.1).
Definition 2.1[12]
Let f be a real functional on Banach space X and c be a real constant, we say that has the sphere property, if the following hypotheses are satisfied:
(S_{1}) f is continuous on X;
(S_{2}) there is a homeomorphic mapping between and unit sphere of X;
(S_{3}) for any fixed , the equation has a unique solution ;
(S_{4}) X is separated into two open connected subsets by and the origin is contained in one of the subsets.
Theorem 2.1[12]
LetX, Ybe Banach spaces with the following direct sum decomposition:
where, are finite dimensional subspaces ofX, Y, respectively. Letf, gbe the real functionals onX, Y, respectively, c, dbe two real constants and, have the sphere property. Takesuch thatand. Denote
then∂QlinksS.
Definition 2.2[15]
Assume that is such that , then the constraint set is called a Nehari manifold of X.
Denote by the Nehari manifold of on ; we have the following.
Lemma 2.1Assume that the following conditions are satisfied:
(F_{1}) , and there exist constantsandsuch that
(F_{2}) there exist constantssuch that
(F_{3}) uniformly w.r.t. , hereis the first eigenvalue of the operatoron;
(F_{4}) is an increasing function ofuon.
Then the Nehari manifolds, have the sphere property.
Proof It is very similar to the proof of Lemma 4.1 on page 72 in [15], so we omit it. □
Theorem 2.2Assume that, satisfy conditions (F_{1})(F_{4}). Letand, here. If, then∂QlinksS.
Proof Let , then . Let , then and , and by conditions (F_{1}), (F_{3}) and (F_{4}) it is easy to verify that there exists a unique such that , and for , for . Thus
From Lemma 2.1 and Theorem 2.1, ∂Q links S. □
3 PalaisSmale condition
It is well known that the nontrivial critical points of the functional
correspond to nontrivial solutions of system (1.1). In the following, we show that the functional ψ satisfies the (P.S.) condition.
Theorem 3.1Assume that, satisfy conditions (F_{1})(F_{2}), and, satisfy the conditions:
(H_{1}) there exist constantsandsuch that
(H_{2}) there exist constants, andsuch that
then the functionalψsatisfies (P.S.) condition.
Proof Let be a sequence such that
we need to prove that has a strongly convergent subsequence.
In fact, from (3.1) there exists a constant such that
and for n large enough
Taking , combining with (3.2) and (3.3), we have
as n large enough, where ’s are positive constants, which implies that is bounded.
Claim II. has a strongly convergent subsequence.
From Claim I, there exists a subsequence, relabel it as , such that
In what follows, we show that
In fact, by (3.1) we get
that is,
From conditions (F_{1}), (H_{1}), and the compact embedding theorems (see [16]), we have
where , are the conjugate numbers of , q, respectively. In combination with (3.5) and (3.6), we obtain
By the property (S_{+}) of pLaplacian operator (see [14,17]), we know that in as . Similarly, we can prove that in as . □
4 Nontrivial solutions
First, we consider the least energy critical point of the functional , which is very useful for the multiplicity of nontrivial solutions to system (1.1).
For that purpose, we define
where
Similar to [15], we have the following.
Lemma 4.1Under conditions (F_{1})(F_{4}), , andis a critical value of.
Proof It is very similar to the proof of Theorem 4.2 on page 73 in [15], so we omit it. □
Lemma 4.2Letsatisfy conditions (F_{1})(F_{4}), be ofclass and satisfyfor allwitha constant (). Denote
Proof By the assumptions on , we have
The proof is complete. □
Theorem 4.1Assume that, satisfy conditions (F_{1})(F_{4}) and that, satisfy conditions (H_{1})(H_{2}) and the following condition:
Then, there exists a constantsuch that system (1.1) has at least three nonnegative solutions for any. Furthermore, if the problems
have both a unique positive solution, then for any, system (1.1) has at least three nonnegative solutions in which there is a nontrivial positive solution.
Proof From Lemma 4.1, there exists such that and (), which implies that and are nonnegative solutions of the following system:
Combining with condition (H_{3}), and are nonnegative solutions of system (1.1) with and .
Now, we prove the existence of the third nonnegative solution.
First, we consider , , as follows:
where ’s are positive constants, which implies that there exists an such that
then and , thus ∂Q links S by Theorem 2.2.
Second, we claim that as λ is small enough. In fact, by Lemma 4.1,
which, in connection with (4.2), implies that
On the other hand, combining with Lemma 4.2, for any we have
here ’s are proper positive constants. Now let , then for all ,
Hence, is inferred from (4.3) and (4.4).
Finally, we define
In combination with Theorem 3.1 and the classical minimax principle (see [15,18]), is the third critical value of ψ.
Therefore, system (1.1) has at least three nonnegative solutions for .
In addition, if the equations
have both a unique positive solution (), the third nonnegative solution of system (1.1) is actually positive. In fact, if one component of the third solution equals zero, its functional value equals or , which is a contradiction. □
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors read and approved the final manuscript.
Acknowledgements
This work is partly supported by NNSF (11101404, 11201204, 11361053) of China and the State Scholarship Fund (201308620021) of China Scholarship Council.
References

Conti, M, Terracini, S, Verzini, G: Nehari’s problem and competing species systems. Ann. Inst. Henri Poincaré, Anal. Non Linéaire. 19, 871–888 (2002). Publisher Full Text

Costa, DG, Magalhaes, CA: A variational approach to subquadratic perturbations of elliptic systems. J. Differ. Equ.. 111, 103–122 (1994). Publisher Full Text

Hai, DD, Shivaji, R: An existence result for a class of pLaplacian systems. Nonlinear Anal.. 56, 1007–1010 (2004). Publisher Full Text

Hai, DD, Wang, H: Nontrivial solutions for pLaplacian systems. J. Math. Anal. Appl.. 330, 186–194 (2007). Publisher Full Text

Zhang, J, Zhang, Z: Existence results for some nonlinear elliptic systems. Nonlinear Anal.. 71, 2840–2846 (2009). Publisher Full Text

Cheng, X, Ma, S: Existence of three nontrivial solutions for elliptic systems with critical exponents and weights. Nonlinear Anal.. 69, 3537–3548 (2008). Publisher Full Text

Cheng, X, Zhong, C: Existence of three nontrivial solutions for an elliptic system. J. Math. Anal. Appl.. 327, 1420–1430 (2007). Publisher Full Text

Motreanu, D, Zhang, Z: Constant sign and sign changing solutions for systems of quasilinear elliptic equations. SetValued Var. Anal.. 19, 255–269 (2011). Publisher Full Text

Shen, Y, Zhang, J: Multiplicity of positive solutions for a semilinear pLaplacian system with Sobolev critical exponent. Nonlinear Anal.. 74, 1019–1030 (2011). Publisher Full Text

Zhang, Z, Cheng, X: Existence of positive solutions for a semilinear elliptic system. Topol. Methods Nonlinear Anal.. 37, 103–116 (2011)

Zhao, P, Wang, X: The existence of positive solutions of elliptic system by a linking theorem on product space. Nonlinear Anal.. 56, 227–240 (2004). Publisher Full Text

Zhao, P, Zhou, W, Zhong, C: The existence of three nontrival solutions of a class of elliptic systems. Nonlinear Anal.. 49, 431–443 (2002). Publisher Full Text

Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal.. 14, 349–381 (1973). Publisher Full Text

Dinca, G, Jebelean, P, Mawhin, J: A result of AmbrosettiRabinowitz type for pLaplacian. In: Corduneanu C (ed.) Qualitative Problems for Differential Equations and Control Theory, World Scientific, Singapore (1995)

Dinca, G, Jebelean, P, Mawhin, J: Variational and topological methods for Dirichlet problems with pLaplacian. Port. Math.. 58, 339–378 (2001)

Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems, Springer, Berlin (1989)