- Research
- Open access
- Published:
Steady states of a nonlinear elliptic system arising from population dynamics
Boundary Value Problems volume 2014, Article number: 185 (2014)
Abstract
In this paper, we study the existence and multiplicity of coexistence states for an elliptic system modeling two subpopulations of the same species competing for resources. Our results generalize and complement the work of Bouguima et al. (Nonlinear Anal., Real World Appl. 9:1184-1201, 2008). In particular, an open problem proposed by Bouguima et al. is partially solved.
MSC: 34B10, 34B18.
1 Introduction
This paper studies the coexistence states of the nonlinear elliptic system
where Ω is a bounded regular domain of (), i.e., is an n-dimensional compact connected smooth submanifold of with boundary ∂ Ω. Throughout the paper, we suppose that a, b, c, d, e, and f are positive functions in for a certain .
System (1.1) arises from population dynamics where it models the steady-state solutions of the corresponding nonlinear evolution problem [1], where u and v represent, respectively, the concentrations of the adult and juvenile populations. The function a gives the rate at which juveniles become adults and as adults give birth to juveniles, the function b corresponds to the birth rate of the population, e and f reflect the result of harvesting a portion of the population (fishing effort for marine population), c and d measure the competition between u and v. Both populations are living in the same region Ω, and the boundary conditions in (1.1) may be interpreted as the condition that the populations u and v may not stay on ∂ Ω. The Laplacian operator shows the diffusive character of u and v within Ω.
Obviously, system (1.1) can be rewritten as
where , ,
and F the nonlinear term such that . In the following, for , we denote by and the essential infimum and supremum of q, respectively. Let be the principal eigenvalue of the linear problem
and the principal eigenfunction associated to . Then it is not difficult to check that and if is a constant. Here is the principal eigen-pair of −Δ under a homogeneous Dirichlet boundary condition such that , , and
In recent years, system (1.1) has been studied by several authors, see for example, [1]–[5] and the references listed therein. In [1] and [2], system (1.1) was discussed as a problem in optimal control. Existence and uniqueness results are given in terms of hypotheses which are appropriate for control problems, that is, the coefficients are required to satisfy certain uniform bounds. Brown and Zhang [3] studied system (1.1) subject to Neumann boundary condition, and obtained more precise existence results in terms of the principal eigenvalue of
where n is the outward unit normal vector on ∂ Ω; see [3], Theorem 3.2]. Recently, Bouguima et al.[4] investigated system (1.1) and showed that it has a positive solution if and only if via fixed point theory, where is the principal eigenvalue of the linear eigenvalue problem
We note that exists if , for ; see Lemma 12 and Corollary 18 in [4] for the details. In addition, implicit function theorem was adopted in [4] to discuss the limit case of system (1.1), where the authors supposed that , with sufficiently small and ; the strength of the crowding effect and the competition between u and v are negligible, i.e., , for , and small ; the functions e and f are assumed to have the same effect, that is, with and is small enough. Under the above assumptions, Bouguima et al. obtained the following multiplicity results.
Theorem A
[4], Theorem 24]
Assume that
Then there exists, such that system (1.1) has two nontrivial solutions of the form
whereandare some functions w.r.t. ε, and, are neighborhoods of 0 and, respectively. The function () appearing in (1.3) is given as in[4], Lemma 23].
By an inspection of the arguments in [4], Section 5], it is easy to see that the second nontrivial solution obtained in Theorem A is positive and satisfies
see also [4], Theorem 2]. However, Bouguima et al. pointed out that the positiveness of the small solution is not obvious and the question remains open. In this paper, we shall give a partial answer to this open problem.
Our main result can be stated as below.
Theorem 1.1
Let, , , and e be positive constants such that. Then the small solutionis positive.
Remark 1.1
We note that the constants α and β defined in [4] were wrong, and this mistake is corrected in the statement of Theorem A. Moreover, we would like to point out that under the assumptions (which are similar to the corresponding ones of Theorem A) of Theorem 1.1, the discussions in [4], Section 5] can also be carried out, and thus the positiveness of remains unclear. However, in our case the positiveness of could be obtained. Consequently, the open problem proposed by Bouguima et al.[4] is partially solved, and it is the first time to obtain the multiplicity of positive solutions for system (1.1). For other related results on this topic, we refer the readers to [6]–[8] and the references therein.
2 Proof of Theorem 1.1
To obtain the positiveness of , we introduce the following nonlinear elliptic system:
where , , , are real parameters. For a matrix , we denote by the spectrum of . Let be the spectrum of −Δ under a homogeneous Dirichlet boundary condition. We shall also use the notation . Let be the closure of the set of nontrivial solutions of system (2.1). We define the Banach space
equipped with the usual norm. Denoting by the outward normal derivative, we introduce
The subsets , , and are open in E.
Lemma 2.1
[9], Lemma 3.1]
Assume that f and g are continuous functions insatisfying the following conditions:
(H1)andare continuous and locally Lipschitz with respect to.
(H2), at 0, uniformly in.
Supposeand eitheror. Then there exists a neighborhoodof, such that iffor some matrix A and, then eitheror.
Proof of Theorem 1.1
We shall consider the system
Let
Then it is not hard to check that has two eigenvalues and , and therefore . Moreover,
Clearly, the functions and satisfy (H1) and (H2). Consequently, all of the assumptions of Lemma 2.1 are satisfied.
On the other hand, by Theorem A, we know that the system
admits the nontrivial small solution , i.e., the nontrivial solution with and small, where
In addition, since is sufficiently small, it follows from Lemma 2.1 that the nontrivial small solution lies in the neighborhood of , and either or .
We claim that .
Suppose on the contrary that . Then we have
and they satisfy
Let be the transpose of . Then it is easy to verify that is the adjoint operator of . By the well-known functional analytic techniques (see [10], [11] and [12], Lemma 2.3]), we know that the principal eigenvalue of is also the principal eigenvalue of . In the following, we denote by the unique eigenfunction of (up a constant multiple) associated to , such that , in Ω. Then verifies that
Multiplying the system (2.5) by , the system (2.6) by , integrating over Ω, and subtracting, we can get
which together with (2.4) implies , and hence . Consequently, by [4], Corollary 18], we know that system (1.1) has no positive solutions. But this is impossible since (1.1) admits a positive solution . □
3 Related results
In this section, we shall investigate the effect of death rates and birth rates on the coexistence states. Bouguima et al.[4] established the following existence result.
Theorem B
[4], Theorem 20]
Assumewith. If, then system (1.1) admits at least one positive solution.
Obviously, the assumption , used in Theorem B is too restrictive, we shall weaken it below. Since a, b, c, d, e, and f are continuous positive functions, system (1.2) has a principal eigenvalue , which corresponds to a unique (up to a constant multiple) eigenfunction
satisfying , in Ω.
Theorem 3.1
System (1.1) has at least one positive solution provided that
Proof
By [4], Corollary 18], to prove the theorem we need only to show that . Recall that satisfies
Multiplying (3.2) with , multiplying the system
with , integrating over Ω, and subtracting, we can obtain
which together with (3.1) implies . □
Remark 3.1
Theorem B was established in the special case , . In such a case, we have and . By (3.1) we can easily get
and therefore , which is just the crucial condition used in Theorem B. Although (3.1) seems to be stronger than the assumption of Theorem B, the restrictive condition , is weakened, and Theorem 3.1 is applicable to more general classes of f and e rather than , .
References
Arino O, Montero JA: Optimal control of a nonlinear elliptic population system. Proc. Edinb. Math. Soc. 2000, 116: 225-241. 10.1017/S0013091500020897
Canada A, Magal P, Montero JA: Optimal control of harvesting in a nonlinear elliptic system arising from population dynamics. J. Math. Anal. Appl. 2001, 254: 571-586. 10.1006/jmaa.2000.7239
Brown KJ, Zhang Y: On a system of reaction-diffusion equations describing a population with two age groups. J. Math. Anal. Appl. 2003, 282: 444-452. 10.1016/S0022-247X(02)00374-8
Bouguima SM, Fekih S, Hennaoui W: Spatial structure in a juvenile-adult model. Nonlinear Anal., Real World Appl. 2008, 9: 1184-1201. 10.1016/j.nonrwa.2007.02.011
Henaoui O: An elliptic system modeling two subpopulations. Nonlinear Anal., Real World Appl. 2012, 13: 2447-2458. 10.1016/j.nonrwa.2012.01.020
Bouguima SM, Mehlia FZ: Asymptotic behavior of an age-structured population model with diffusion. J. Appl. Anal. Comput. 2012, 2: 351-362.
Hei L: Existence and uniqueness of coexistence states for an elliptic system coupled in the linear part. Nonlinear Anal., Real World Appl. 2004, 5: 881-893. 10.1016/j.nonrwa.2004.04.001
Hei L, Wu J: Existence and stability of positive solutions for an elliptic cooperative system. Acta Math. Sin. Engl. Ser. 2005, 21: 1113-1120. 10.1007/s10114-004-0467-3
Fleckinger J, Gil RPS: Bifurcation for an elliptic system coupled in the linear part. Nonlinear Anal. 1999, 37: 13-30. 10.1016/S0362-546X(98)00138-2
Sweers G:Strong positivity in for elliptic systems. Math. Z. 1992, 209: 251-271. 10.1007/BF02570833
Kato T: Perturbation Theory for Linear Operators. Springer, Berlin; 1995.
Wu B, Cui R: Existence, uniqueness and stability of positive solutions to a general sublinear elliptic systems. Bound. Value Probl. 2013, 74: 1-14.
Acknowledgements
The authors are very grateful to the anonymous referees for their valuable suggestions. This work was supported by the NSFC (No. 11361054), SRFDP (No. 20126203110004), Gansu provincial National Science Foundation of China (No. 1208RJZA258).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
RM and RC completed the main study, carried out the results of this article and drafted the manuscript. YL checked the proofs and verified the calculation. All the authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ma, R., Chen, R. & Lu, Y. Steady states of a nonlinear elliptic system arising from population dynamics. Bound Value Probl 2014, 185 (2014). https://doi.org/10.1186/s13661-014-0185-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0185-4