Mathematical Problems in Engineering

Volume 2017, Article ID 4912032, 10 pages

https://doi.org/10.1155/2017/4912032

## Existence, Multiplicity, and Stability of Positive Solutions of a Predator-Prey Model with Dinosaur Functional Response

^{1}Department of Mathematics and Physics, Xi’an Technological University, Xi’an 710032, China^{2}School of Mechanical Engineering, Xi’an Technological University, Xi’an 710032, China^{3}College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao 266590, China^{4}State Key Laboratory of Mining Disaster Prevention and Control Co-Founded by Shandong Province and the Ministry of Science and Technology, Shandong University of Science and Technology, Qingdao 266590, China

Correspondence should be addressed to Xiaozhou Feng; moc.361@8zxfzxlf

Received 19 April 2017; Accepted 10 July 2017; Published 13 August 2017

Academic Editor: Sebastian Anita

Copyright © 2017 Xiaozhou Feng et al. 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.

#### Abstract

We investigate the property of positive solutions of a predator-prey model with Dinosaur functional response under Dirichlet boundary conditions. Firstly, using the comparison principle and fixed point index theory, the sufficient conditions and necessary conditions on coexistence of positive solutions of a predator-prey model with Dinosaur functional response are established. Secondly, by virtue of bifurcation theory, perturbation theory of eigenvalues, and the fixed point index theory, we establish the bifurcation of positive solutions of the model and obtain the stability and multiplicity of the positive solution under certain conditions. Furthermore, the local uniqueness result is studied when and are small enough. Finally, we investigate the multiplicity, uniqueness, and stability of positive solutions when is sufficiently large.

#### 1. Introduction

The dynamic relationship between predator and their prey is one of dominant themes in ecology and mathematical ecology. Some models have been studied from various views and obtained many good results (see [1–16] and the references therein). In this paper, we are concerned with the predator-prey model with Dinosaur functional response under the homogeneous Dirichlet boundary conditions as follows: where is a bounded domain in with smooth boundary and , stand for the densities of prey and predators, respectively. , , , , are positive constants. and denote prey intrinsic growth rate and predator intrinsic growth rate and then decrease to zero when , as follows:The Dinosaur reaction term is an improvement or simplification of the Ivlev-type reaction term, and the change on the species density of prey better than Ivlev-type functional response can be explained. It is easy to see that the Dinosaur reaction term describes prey focus on the fight against predators when the species density of prey is large enough, so as to achieve better defense or disguise itself. To see more biological significance of systems with Ivlev-type functional responses, one can resort to [17–28] and their contents. The research on existence and uniqueness of the limit cycle of a predator-prey model with Ivlev response can be found in [22, 23]. The permanence and existence and stability of positive periodic solutions of the model were studied in [24–26]. The spatial pattern formation of the model was investigated by using Hopf bifurcation in [27, 28]. Some dynamical behavior analysis of the Ivlev response predator-prey systems was established in [17–21]. However, the researches on system (1) are very few. Hence, this paper mainly aims at establishing the existence, bifurcation, and multiplicity of positive solutions on the corresponding elliptic equations to system (1).

The research on the steady-states in reaction-diffusion model is the hot point question [1–4, 9, 10, 13, 16]. In the present paper, we study the steady-state problem corresponding to (1), with the specific form as follows: Motivated by the papers [1–4], in the present paper, we mainly consider the positive solution of (3). In Section 2, we give some basic results and calculate the fixed point index by the fixed point index theory. In Section 3, we apply the results obtained in Section 2 to study the existence of positive solutions. In Section 4, by virtue of bifurcation theory, perturbation theory of eigenvalues, and the fixed point index theory, we establish the bifurcation of positive solutions of (3) and obtain the stability and multiplicity of the positive solution under certain conditions. Furthermore, the local uniqueness result is studied when and are small enough. Finally, we investigate the multiplicity, uniqueness, and stability of positive solutions when is sufficiently large.

#### 2. Preliminaries

In this section, we mainly calculate the fixed point index by the fixed point index theory, in the following, and set up some definitions which are used in last paper.

Let be a Banach space. is called a wedge if is a closed convex set for all . For any , define and we always assume that Let be a compact linear operator on We say that has property on if there exist and such that Suppose that is a compact operator for the fixed point , and is Fréchet differentiable at Set as the Fréchet differentiable of at ; hence

Lemma 1 (see [29, 30]). *Assuming that is invertible on , then one has*(i)* has property on , and then *(ii)* does not have property on , and then , where is the sum of algebra multiplicities of the eigenvalues of which are greater than one.*

*Let , denote the principal eigenvalue of the following problem: and, by , it follows from [3, 4] that is strictly increasing in the case that and implies For convenience we denote by Let be the spectral radius of linear operator on Banach space.*

*Lemma 2 (see [24, 30]). Suppose that , and is large enough such that , Then the following results hold:(i)(ii)(iii)*

*Next, we present some a priori estimate by maximum principle which is similar to [3, 4]; its proof will be omitted.*

*Theorem 3. Any positive solution of (3) has an a priori boundary; that is, *

*Consider the following equation: it is easy to see that (7) has unique positive solution denoted by when Hence, if , then (3) has a semitrivial solution ; if , (3) has a semitrivial solution *

*Now, some notations are introduced as follows:(1), here (2), here (3)(4)*

*Define a compact operator by the following form: where is sufficiently large constant such that It follows that (3) has a positive solution in if and only if has a positive fixed point in Hence, are the only isolated fixed points of if Therefore, are well-defined, and the indices can be calculated, similar to Lemmas 2.3-2.4 in [3]; we can directly give Lemmas 4 and 5 as follows.*

*Lemma 4. Suppose (i)(ii)(iii)If , then (iv)If , then *

*Lemma 5. Suppose (i) If , then ; (ii) if , then *

*3. Existence of Positive Solutions*

*3. Existence of Positive Solutions*

*In the section, we apply the result of Lemmas 4 and 5 obtained in Section 2 to study the existence and nonexistence of positive solutions of (3).*

*Theorem 6. (i) If , , then (3) has at least one positive solution.(ii) If , then (3) has a positive solution if and only if and *

*Proof. *(i) According to Lemmas 4 and 5 and the additivity property of the index, we have Hence, (3) has at least one positive solution.

(ii) If , then (3) has no solution taking the form Supposing and , note that , and by Lemma 5, we can get the following: Hence, (3) has at least one positive solution. So the sufficiency is proved. Conversely, suppose that is a positive solution of (3); then , This is because satisfies It follows that This completes the proof of Theorem 6.

*Theorem 7. (i) If , then (3) has no positive solutions; if and , then (3) has no nonnegative nonzero solution.(ii) If , then the conditions , are necessary for the existence of positive solution of (3). In addition, as , the condition can take place of the necessary condition .(iii) If , then the conditions are necessary for the existence of positive solutions of (3).*

*Proof. *(i) Suppose that is a positive solution of (3); then satisfies so we have According to the comparison principle of eigenvalues, we have , a contradiction. Next, we suppose that is a nonnegative nonzero solution of (3). If , , then , a contradiction to the previous proof. Similarly, it is easy to see that , when , , which derives a contradiction.

(ii) Suppose that is a positive solution of (3); it follows that , and then the positive semitrivial solution exists. Thanks to is a lower solution of (3), and due to the uniqueness of , Thus, since satisfies the problem it follows from Lemma 2(iii) that Moreover, as , due to , by the second equation of (3), we get

(iii) Supposing that is a positive solution of (3), by the proof of (ii), exists and Similarly, the given condition can deduce the existence of the positive of (3), Similar to the proof of (i), we also obtain the fact that has the minimum at , or , , which derives the desired result.

This completes the proof of Theorem 7.

*Theorem 8. If one of the following conditions holds, then (3) has no positive solutions:(i) and (ii) and *

*Proof. *(i) Assume that there is a positive solution of (3). Recalling the results of Theorem 3, as and , we getwhich is a contradiction to Lemma 2(iii).

(ii) Assume that there is a positive solution of (3). By Theorem 3, if and , we have which is a contradiction to Lemma 2(iii).

This completes the proof of Theorem 8.

*4. Bifurcation and Multiplicity*

*4. Bifurcation and Multiplicity**In this section, taking as a main bifurcation parameter, we shall prove that (3) has at least two positive solutions when the parameters involved in (3) satisfy some ranges. In particular, the uniqueness of positive solutions is established when and are small enough. By the local bifurcation theory [6, 31] or Section 13 in [30], the branch of positive solutions of (3) bifurcates from (or ) when (or ) is established. Now we give the following Lemma where the proof is similar to Theorem 3.8 in [3].*

*Lemma 9. (i) If and , then (3) has a positive solution which bifurcates from if and only if , and here (ii) If and , then (3) has a positive solution which bifurcates from if and only if , and here *

*More precisely, all positive solutions near are defined by where is the principal eigenfunction of , and it follows from the following problem: where *

*Remark 10. *In Section 3, by Theorems 6 and 7, we can know the sufficient condition and necessary condition on the existence of positive solutions and find that there exists a gap between and

*Next, using the constant as a main bifurcation parameter, we get the following theorem which establishes the multiplicity and stability results of positive solution for (3) in the gap.*

*Theorem 11. Suppose and . There exists small enough such that the local bifurcation of the positive solution bifurcates from which is nondegenerate and unstable for and . In addition, (3) has at least two positive solutions.*

*Proof. *Firstly, we prove that any positive solutions bifurcated from are nondegenerate and unstable. To complete this, we need only show that there exists a sufficiently small such that, for , any positive solution of (3) is nondegenerate and the linearized eigenvalue problem has a unique eigenvalue such that with multiplicity one. Suppose that , , are the sequences which converge to as . Thanks to , there exists the sequence such that as . Set as a solution of (3). So linearized problem (20) can be denoted by Notice that, as , problem (21) converges to the following problem: and since , (22) has as a simple eigenvalue with corresponding eigenfunction . Moreover, all the other eigenvalues are positive and stand apart from . Thus, it follows from perturbation theory [32] that problem (21) has a unique eigenvalue which is near to zero for large . In particular, all the other eigenvalues of problem (21) have positive real parts and stand apart from . Note that is simple real eigenvalue which converges to zero and we can denote the corresponding eigenfunction such that Now we prove that for large in following. Multiplying the first equation of (21) with and integrating on , we get Meanwhile, multiplying the first equation of (3) with by and integrating, we obtain Thanks to , adopting variational principle, by the above equation, we have According to (24) and (26), we have Taking into (27) and so dividing by and taking the limit, we obtain recalling that , it is easy to see that for large . This proves our claim.

Next, in order to prove the existence of at least two positive solutions, we may use reduction to absurdity and suppose that (3) has a unique coexistence state ; it follows from local bifurcation theory that solutions must be positive solutions bifurcated from near ; moreover, is nondegenerate and the corresponding linearized eigenvalue problem has a unique eigenvalue such that with multiplicity one. Thanking to the above facts, it is easy to see that is invertible and does not have property on , and it follows from Lemma 1(ii) that . Thus, applying Lemmas 4-5 and the additivity property of the index, we obtain which derives a contradiction. The proof is completed.

*Remark 12. *Theorem 6 gives the multiplicity of positive solutions when . Note that since with for , there exists . Remark 10 shows that there is no positive solution of (1) if . Hence, by establishing a bifurcation sketch map as in Figure 1, we can easily get the fact that there must be at least two coexistence states for and some .