Positive solutions for a class of sublinear elliptic systems
© Ma et al.; licensee Springer. 2014
Received: 17 October 2013
Accepted: 9 January 2014
Published: 30 January 2014
In this paper, we are concerned with the existence of positive solutions of the semilinear elliptic system
where is a parameter, is a continuous real function for each . Under some appropriate assumptions, we show that the above system has at least one positive solution in certain interval of λ. The proofs of our main results are based upon bifurcation theory.
Keywordssublinear elliptic systems positive solutions eigenvalues bifurcation theory
where is a bifurcation parameter, is a continuous real function for each .
A solution of (1.1) is a pair . is called a positive solution of (1.1) if in Ω for each . In the following, also denotes the elements of .
The following definitions will be used in the statement of our main results.
Definition 1.1 
is said to be cooperative. Similarly, H is called a cooperative matrix.
Definition 1.2 
where B and D are square matrices, and is the transpose of Q. Otherwise, A is irreducible.
In the past few years, the existence of positive solutions to sublinear semilinear elliptic systems with two equations have been extensively studied, see for example, [3–6] and the references therein. The sublinear condition plays an important role. Very recently, Wu and Cui  considered the existence, uniqueness and stability of positive solutions to the sublinear elliptic system (1.1). By using bifurcation theory and the continuation method, they proved the following.
Theorem A Assume that
(H1) Each () is a smooth real function defined on satisfying .
(H2) , for all .
If at least one of () is positive and matrix is irreducible, then (1.1) has a unique positive solution for all ;
If , for each and matrix is irreducible, then for some , (1.1) has no positive solution when , and (1.1) has a unique positive solution for .
Moreover, (in the first case, we assume ) is a smooth curve so that is strictly increasing in λ, and as .
We are interested in the existence of positive solutions of (1.1) under weaker assumptions. More concretely, we consider the existence of positive solutions of (1.1) from the following two aspects: (a) To obtain the counterpart of Theorem A(ii) under the weaker assumptions than those of . In other words, we will not assume that () are smooth functions any more. (b) Furthermore, we will also consider the case that () may not exist. More precisely, the following two theorems, which are the main results of the present paper, shall be proved.
Theorem 1.1 Suppose that
(A3) , .
If the matrix is irreducible, then there exists such that (1.1) has no positive solution for and (1.1) has at least one positive solution for .
Theorem 1.2 Let (A1) and (A3) hold. Assume the following.
(A4) The matrix is irreducible, where .
Then for some , (1.1) has at least one positive solution for .
Remark 1.1 It follows from (A2) and (A2)′ that the matrices and are all cooperative.
Remark 1.2 We note that our assumptions in Theorems 1.1 and 1.2 are weaker than those of Theorem A, and, accordingly, our results are weaker than Theorem A. Since we just suppose that is continuous, we can only obtain the continua of positive solutions of (1.1) by applying bifurcation techniques, which are not necessarily curves of positive solutions, and thus the uniqueness and stability of positive solutions are not investigated. In , the authors obtained a smooth curve consisting of positive solutions of (1.1) by assuming stronger assumptions, under which the uniqueness and stability of positive solutions can be achieved.
The rest of the paper is arranged as follows. In Section 2, we recall some basic knowledges on the maximum principle of cooperative systems as well as the eigenvalues of cooperative matrices. Finally in Section 3, we prove our main results Theorems 1.1 and 1.2 by applying bifurcation theory.
The norm of will be defined as , where denotes the norm of . We use and for the standard Sobolev space. We use and to denote the null and the range space of a linear operator L, respectively.
is a real eigenvalue of , where is the spectrum of .
For , there exists a unique (up a constant multiple) eigenfunction , and in Ω.
For , the equation is uniquely solvable for any , and as long as .
(Maximum principle) For , assume that satisfies in Ω, on ∂ Ω, then in Ω.
If there exists satisfying in Ω, on ∂ Ω, and either on ∂ Ω or in Ω, then .
For the results and proofs, see Proposition 3.1 and Theorem 1.1 of Sweers . Moreover, from a standard compactness argument, there are countably many eigenvalues of , and as . We notice that () are not necessarily real-valued.
where . It is easy to verify that is the adjoint operator of , while both are considered as operators defined on subspaces of .
The following lemmas are crucial in the proof of our main results.
Lemma 2.2 
Let Y, Z, L and H be the same as in Lemma 2.1. Then the principal eigenvalue of is also a real eigenvalue of , , and for , there exists a unique eigenfunction of (up a constant multiple), and in Ω.
Lemma 2.3 [, Theorem 5.3.1]
Let matrix A be a nonnegative irreducible matrix. Then is a simple eigenvalue of A, associated to a positive eigenvector, where denotes the spectral radius of A. Moreover, .
Lemma 2.4 
is unbounded in ; or
such that in Ω and .
3 Proof of the main results
Proof of Theorem 1.1. We extend each to be a nonnegative continuous function, which is still denoted by , defined on ℝ in the following way: if , then .
is one dimensional. In addition, it is easy to see that and exist for .
We divide the rest of the proof into two steps.
Step 1. We show that is actually a bifurcation point.
Indeed, the proof of this is similar to the proof of Theorem A(ii), we state it here for the readers’ convenience.
Thus if and only if (3.6) holds, which implies that is one dimensional.
since (1.1) has only the trivial solution when .
Step 2: We claim that cannot blow up at some finite .
where . It is well known that is continuous and compact, and so is continuous and compact on .
Obviously, () in Ω and . In addition, we have . Or else, let , then by (3.14) we get () in Ω, which contradicts .
which contradicts .
Finally, by (3.10), the connectness of and above arguments, we can find some such that (1.1) has no positive solution for , and (1.1) has at least one positive solution for . □
To prove Theorem 1.2, we need the following lemmas as required.
which is a contradiction. Therefore, the closure of the set of nontrivial solutions of (3.25) is exactly Σ.
is the associated Nemytski operator. For , let , let denote the degree of on with respect to 0.
and so for k sufficiently large. Similarly, by (3.23) and (3.30), we can deduce that for k large enough. Consequently, for k sufficiently large we get , which contradicts . □
Corollary 3.2 For and , .
Hence for k sufficiently large, which contradicts . □
Corollary 3.4 For and , .
is unbounded in ; or
Consequently, (1.1) has at least one positive solution for . □
The authors are very grateful to the anonymous referees for their valuable suggestions. This work was supported by the NSFC (No. 11361054, No. 11201378), SRFDP(No. 20126203110004), Gansu provincial National Science Foundation of China (No. 1208RJZA258).
- Wu B, Cui R: Existence, uniqueness and stability of positive solutions to a general sublinear elliptic systems. Bound. Value Probl. 2013, 74: 1-14.MathSciNetGoogle Scholar
- Serrin J, Zou H: Existence of positive entire solutions of elliptic Hamiltonian systems. Commun. Partial Differ. Equ. 1998, 23: 577-599.MathSciNetGoogle Scholar
- Chen Z, Chern J, Shi J, Tang Y: On the uniqueness and structure of solutions to a coupled elliptic system. J. Differ. Equ. 2010, 249: 3419-3442. 10.1016/j.jde.2010.09.001MathSciNetView ArticleGoogle Scholar
- Chern J, Tang Y, Lin C, Shi J: Existence, uniqueness and stability of positive solutions to sublinear elliptic systems. Proc. R. Soc. Edinb. A 2011, 141: 45-64. 10.1017/S0308210509001115MathSciNetView ArticleGoogle Scholar
- Cui R, Li P, Shi J, Wang Y: Existence, uniqueness and stability of positive solutions for a class of semilinear elliptic systems. Topol. Methods Nonlinear Anal. 2013, 42: 91-104.MathSciNetGoogle Scholar
- Shi, J, Shivaji, R: Exact multiplicity of positive solutions to cooperative elliptic systems. Preprint (2012)
- Chen R, Ma R: Global bifurcation of positive radial solutions for an elliptic system in reactor dynamics. Comput. Math. Appl. 2013, 65(8):1119-1128. 10.1016/j.camwa.2013.01.038MathSciNetView ArticleGoogle Scholar
- Ma R, Dai G: Global bifurcation and nodal solutions for a Sturm-Liouville problem with a nonsmooth nonlinearity. J. Funct. Anal. 2013, 265: 1443-1459. 10.1016/j.jfa.2013.06.017MathSciNetView ArticleGoogle Scholar
- Dai G, Ma R: Unilateral global bifurcation phenomena and nodal solutions for p -Laplacian. J. Differ. Equ. 2012, 252: 2448-2468. 10.1016/j.jde.2011.09.026MathSciNetView ArticleGoogle Scholar
- Sweers G:Strong positivity in for elliptic systems. Math. Z. 1992, 209: 251-271. 10.1007/BF02570833MathSciNetView ArticleGoogle Scholar
- Serre D Graduate Texts in Mathematics 216. In Matrices: Theory and Applications. Springer, Berlin; 2002.Google Scholar
- Rabinowitz PH: Some aspects of nonlinear eigenvalue problems. Rocky Mt. J. Math. 1973, 3: 161-202. Rocky Mountain Consortium Symposium on Nonlinear Eigenvalue Problems (Santa Fe, N. M., 1971) 10.1216/RMJ-1973-3-2-161MathSciNetView ArticleGoogle Scholar
- Crandall MG, Rabinowitz PH: Bifurcation from simple eigenvalues. J. Funct. Anal. 1971, 8: 321-340. 10.1016/0022-1236(71)90015-2MathSciNetView ArticleGoogle Scholar
- Rabinowitz PH: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 1971, 7: 487-513. 10.1016/0022-1236(71)90030-9MathSciNetView ArticleGoogle 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.