Abstract
This paper is concerned with the steady-state bifurcations arising from a reaction–diffusion predator–prey system with nonlinear growth rate and a protection zone. Some sufficient conditions for the existence of positive steady-state solutions are given. Our proof is based on the local and global bifurcation theory and some a priori estimates.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we will investigate the following predator-prey model with a protection zone:
where \(\Omega \) is a bounded domain in the Euclidean space \({\mathbb {R}}^N~(N\ge 2)\) with smooth boundary \(\partial \Omega \) and \(\Omega _0\) is a subdomain of \(\Omega \) with smooth boundary \(\partial \Omega _0\). \(\Delta =\sum \nolimits ^N_{i=1}\frac{\partial ^2}{\partial x_i^2}\) is the Laplace operator in \({\mathbb {R}}^N\), \(\partial _\nu =\partial /\partial \nu \) and \(\nu \) is the unit outer normal vector on \(\partial \Omega \) or \(\partial (\Omega {\setminus }{\overline{\Omega }}_0)\). The homogeneous Neumann boundary condition is assumed so that no individual crosses the habitat boundary. In addition, \(a, m, d, \alpha , \beta \) are positive constants; \(b(x)\in L^\infty (\Omega ), b(x)\ge 0\) in \(\Omega \), \(b(x)\equiv 0\) on \({\overline{\Omega }}_0\) and for any compact subset A of \(\Omega {\setminus }{\overline{\Omega }}_0\), there exists \(\delta _A>0\) such that
\(c(x)\in L^\infty (\Omega {\setminus }{\overline{\Omega }}_0)\) and \(0<c(x)\le b(x)\) in \(\Omega {\setminus }{\overline{\Omega }}_0\).
In (1.1), the predator species v cannot enter the subregion \(\Omega _0\) of the habitat \(\Omega \), whereas the prey species u can enter and leave \(\Omega _0\) freely. Namely, \(\Omega _0\) is a predation-free zone for the prey species and such a subregion \(\Omega _0\) is called a protection zone. One can think that there is a barrier along \(\partial \Omega _0\) that blocks the predator but not the prey (see [1, 2] for further details). The diagrammatic sketches of b(x) and c(x) in (1.1) could be shown by Fig. 1.
To present the main results, we collect some basic notations and well-known results. Let \(q(x)\in C({\overline{\Omega }})\), and denote \(\lambda _1^D(q,O)\) and \(\lambda _1^{N}(q,O)\) to be the first eigenvalues of \(-\Delta +q(x)\) in O subject to the homogeneous Dirichlet boundary condition and Neumann boundary condition, respectively [3,4,5]. It is well known that \(\lambda _1^{N}(q,O)\) is increasing in q, that is, \(\lambda _1^{N}(q_1,O)<\lambda _1^{N}(q_2,O)\) if \(q_1,q_2\in C({\overline{O}}), q_1\le q_2\) and \(q_1\not \equiv q_2\) on \({\overline{O}}\). A similar assertion is also true for \(\lambda _1^{D}(q,O)\). Moreover,
\(\lambda _1^{N}(q,O)<\lambda _1^{D}(q,O)\) for \(q\in C({\overline{O}})\),
and
\(\lambda _1^{N}(q,\Omega )<\lambda _1^{N}(q,\Omega _0)\), \(\lambda _1^{D}(q,\Omega )<\lambda _1^{D}(q,\Omega _0)\) with \(q\in C({\overline{\Omega }})\) and \(\Omega _0\subset \subset \Omega \).
For convenience, we denote \(\lambda _1^D(O)=\lambda _1^D(0,O)\) and \(\lambda _1^N(O)=\lambda _1^{N}(0,O)\).
It is well known that the effects of the protection zone on the dynamical behavior are significantly different from non-protection zone case [6,7,8]. Many theoretical results show that there exists a critical patch size \(\Omega _0\) for the protection zone. If \(\Omega _0\) is below this size, each model behaves similarly to the non-protection zone case, but every model undergoes profound changes in dynamical behavior once \(\Omega _0\) is above the critical patch size, and in such a case, the endangered species is always saved from extinction.
In this paper, we study the existence of positive stationary solutions of (1.1) with a protection zone, and mainly investigate the effect of nonlinear growth rate \(\left( \dfrac{\alpha }{1+\beta v}\right) \) on the existence of bifurcation of stationary positive solutions. The stationary problem associated with (1.1) is given by
For convenience, \(\Omega {\setminus }{\overline{\Omega }}_0\) will be remembered as \(\Omega _1\) below.
The paper is organized as follows. In Sect. 2, we will derive some a priori estimates of positive solutions to the semilinear system (1.2). In Sect. 3, we will obtain positive solutions of the semilinear system by using the local and global bifurcation theory. Finally, the bifurcation stability and global bifurcation are included in Sect. 4.
2 A priori estimates and asymptotic stability of semi-trivial solution
The following lemmas can be helpful to obtain the bounds of positive solutions to (1.2).
Lemma 2.1
(Maximum principle, [9, Proposition 2.2]) Assume that \(g\in C({\overline{O}}\times {\mathbb {R}})\).
\(\mathrm {(i)}\) If \(w\in C^{2}(O)\cap C^{1}({\overline{O}})\) satisfies
\(\Delta w(x)+g(x,w(x))\ge 0\) in O, \(\partial _\nu w\le 0\) on \(\partial O\),
and \(w(x_{0})=\max _{{\overline{O}}} w\), then \(g(x_{0},w(x_{0}))\ge 0\).
\(\mathrm {(ii)}\) If \(w\in C^{2}(O)\cap C^{1}({\overline{O}})\) satisfies
\(\Delta w(x)+g(x,w(x))\le 0\) in O, \(\partial _\nu w\ge 0\) on \(\partial O\),
and \(w(x_{0})=\min _{{\overline{O}}} w\), then \(g(x_{0},w(x_{0}))\le 0\).
Theorem 2.2
Suppose that (u, v) is a positive solution of (1.2). Then:
-
(1)
If \(\alpha <d\), then \(\max \{a-\Vert b(x)\Vert _\infty \frac{a(a+d-\alpha )}{d-\alpha },0\}\le u\le a\) in \({\overline{\Omega }}\), \(0<v\le \frac{a(a+d-\alpha )}{d-\alpha }\) in \(\overline{\Omega _1}\).
-
(2)
If \(\alpha \ge d\), then \(\max \{a-\Vert b(x)\Vert _\infty \frac{\alpha -d}{d\beta },0\}\le u\le a\) in \({\overline{\Omega }}\), \(\frac{\alpha -d}{d\beta }\le v\) in \(\overline{\Omega _1}\). Furthermore, if \(d>\frac{a\Vert c(x)\Vert _\infty }{1+am}\), then \(v\le \frac{(\alpha -d)(1+am)+a\Vert c(x)\Vert _\infty }{\beta [d(1+am)-a\Vert c(x)\Vert _\infty ]}\) in \(\overline{\Omega _1}\).
Proof
(1) Case \(\alpha <d\). By adding two equations in (1.2), we have
By Lemma 2.1, \(u+v\le \frac{a(a+d-\alpha )}{d-\alpha }\). Consequently, \(v\le \frac{a(a+d-\alpha )}{d-\alpha }\). From the equation for u in (1.2), we get
and then the maximum principle implies that \(u\ge a-\Vert b(x)\Vert _\infty \frac{a(a+d-\alpha )}{d-\alpha }\).
(2) Case \(\alpha \ge d\). From the equation for v in (1.2), we obtain
which implies that \(v\ge \frac{\alpha -d}{d\beta }\). Similarly,
Then \(u\ge a-\Vert b(x)\Vert _\infty \frac{\alpha -d}{d\beta }\), and \(v\le \frac{(\alpha -d)(1+am)+a\Vert c(x)\Vert _\infty }{\beta [d(1+am)-a\Vert c(x)\Vert _\infty ]}\) if \(d>\frac{a\Vert c(x)\Vert _\infty }{1+am}\). \(\square \)
Theorem 2.3
Suppose that (u, v) is a positive solution of (1.2). Then:
-
(1)
If \(\alpha <d\), then \(\dfrac{\alpha (d-\alpha )}{(d-\alpha )(1+a\beta )+a^2\beta }\le d \le \alpha -\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \).
-
(2)
If \(\alpha \ge d\), then \(a\ge \lambda _1^N\left( \dfrac{(\alpha -d)b(x)}{d\beta (1+am)},\Omega \right) \).
Proof
Suppose that (u, v) is a positive solution of (1.2).
(1) Case \(\alpha <d\). From the equation for v in (1.2), we obtain
By the monotonicity of eigenvalues,
and
Thus, we have
(2) Case \(\alpha >d\). From the equation for v in (1.2), similar to the above, we obtain that
\(\square \)
Remark 2.4
The results given in Theorem 2.3 lead us directly to the conclusions that:
-
(1)
Assume that \(\alpha <d\). If \(d<\dfrac{\alpha (d-\alpha )}{(d-\alpha )(1+a\beta )+a^2\beta }\) or \(d>\alpha -\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \), then (1.2) has no positive solution.
-
(2)
Assume that \(\alpha \ge d\). If \(a<\lambda _1^N\left( \dfrac{(\alpha -d)b(x)}{d\beta (1+am)},\Omega \right) \), then (1.2) has no positive solution.
Now we start our analysis with a standard linearization argument. For any \(\alpha >0\), (1.2) has two semi-trivial solutions: (a, 0) and \((0,\frac{\alpha -d}{d\beta })\) if \(\alpha >d\). From the strong maximum principle, any non-negative solution (u, v) of (1.2) is either (0, 0), or semi-trivial, or positive.
The linearized system of (1.2) about the equilibrium point (u, v) can be characterized by the Jacobian matrix
At the equilibrium point (a, 0) and \((0,\frac{\alpha -d}{d\beta })\) if \(\alpha >d\), the corresponding Jacobian matrix J(u, v) are
and
Theorem 2.5
We have the asymptotic stability results of (1.2):
-
(1)
The semi-trivial solution (a, 0) is locally stable when \(\alpha <d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \) and unstable when \(\alpha >d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \).
-
(2)
Assume that \(\alpha >d\). The semi-trivial solution \((0, \frac{\alpha -d}{d\beta })\) is locally stable when \(a<\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) and unstable when \(a>\lambda _1^N\left( \frac{\alpha -d}{d\beta }b(x),\Omega \right) \).
Proof
(1) The linearized eigenvalue problem of (1.2) at (a, 0) is
where \(\mu \) is eigenvalue and (h, k) is the corresponding eigenfunction.
If \(k=0\), then \(h\ne 0\), and \(\mu \ge a>0\). If \(k\ne 0\), then
when \(\alpha <d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \). This shows that (a, 0) is locally stable when \(\alpha <d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \).
When \(\alpha >d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \), we assume that \(\mu _0\) and \(k_0\) are the principal eigenvalue and the corresponding positive eigenfunction of
Then \(\mu _0=d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am}\right) -\alpha <0\), and the following problem
has a unique solution \(h_0\) because the operator \(-\Delta +a-\mu _0\) is invertible. This shows that \((\mu _0, h_0, k_0)\) satisfies (2.1), i.e. the eigenvalue problem (2.1) has a negative eigenvalue \(\mu _0\) and so (a, 0) is unstable.
(2) The linearized eigenvalue problem of (1.2) at \((0,\frac{\alpha -d}{d\beta })\) is
where \(\mu \) is eigenvalue and (h, k) is the corresponding eigenfunction.
If \(h=0\), then \(k\ne 0\), and \(\mu \ge \dfrac{d(\alpha -d)}{\alpha }>0\). If \(h\ne 0\), then
when \(a<\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\). This shows that \((0,\frac{\alpha -d}{d\beta })\) is locally stable when \(a<\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\).
When \(a>\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\), we assume that \(\mu _0\) and \(h_0\) are the principal eigenvalue and the corresponding positive eigenfunction of
Then \(\mu _0=-a+\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )<0\), and the following problem
has a unique solution \(h_0\) because of the operator \(-\Delta +\frac{\alpha -d}{d\beta }-\mu _0\) is reversible. This shows that \((\mu _0, h_0, k_0)\) satisfies (2.2), i.e. the eigenvalue problem (2.2) has a negative eigenvalue \(\mu _0\) and so \((0, \frac{\alpha -d}{d\beta })\) is unstable. \(\square \)
Remark 2.6
For the two curves of solutions in the space of
Theorem 2.5 implies that bifurcation could occur along the semi-trivial branches (2.3), if (1): \(\alpha >d+\lambda _1^N\left( -\dfrac{ac(x)}{1+am},\Omega _1\right) \), or (2): \(\alpha >d\) and \(a>\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\).
3 Bifurcation from semi-trivial solution
In this section, we will investigate the bifurcation solutions of (1.2) by the bifurcation theory. We fix d and take \(\alpha \) as the main bifurcation parameter. In order to main bifurcation parameter of (1.2) which bifurcate from semi-trivial solution (a, 0) and \((0,\frac{\alpha -d}{d\beta })\) with \(\alpha \ge d\). First, we set up the abstract framework for our bifurcation analysis. For \(p>1\), we define
where \(W^{2,p}(O)=\{w\in W^{2,p}(O): \partial _\nu w=0\ \text {on}\ \partial O\}\).
For a given operator L, we denote the kernel and range of L with \({\mathcal {N}}(L)\) and \({\mathcal {R}}(L)\), respectively.
Theorem 3.1
We have the results:
-
(1)
If \(d>-\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\), then
-
(a)
\(\alpha \) is a bifurcation point where a continuum \(\Gamma _1\) of positive solutions to (1.2) bifurcates from \(\Gamma _u\) at \(({\overline{\alpha }}; a,0)\) if and only if \(\alpha =d+\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\doteq {\overline{\alpha }}\).
-
(b)
all positive solutions of (1.2) near \(({\overline{\alpha }}; a,0)\in {\mathbb {R}}\times X\) can be expressed as \(({\overline{\alpha }}(s); u(s),v(s))\) with \(s\in (0,\delta )\), where \(({\overline{\alpha }}(s);u(s),v(s))\) is a smooth function with respect to s and satisfies \(({\overline{\alpha }}(s);u(s),v(s))=({\overline{\alpha }};a,0)\) and the bifurcation is supercritical.
-
(a)
-
(2)
If \(\alpha >d\) and \(\lambda _1^N\left( \dfrac{(\alpha -d)b(x)}{d\beta (1+am)},\Omega \right) \le a<\lambda _1^D(\Omega _0)\), then
-
(a)
there exists a unique \({\widehat{\alpha }}(a)\) such that \(a=\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\). Moreover, \({\widehat{\alpha }}(a)\rightarrow d\) as \(a\rightarrow 0^+\) and \({\widehat{\alpha }}(a)\rightarrow \infty \) as \(a\rightarrow \lambda _1^D(\Omega _0)^-\).
-
(b)
\(\alpha \) is a bifurcation point where an continuum \(\Gamma _2\) of positive solutions to (1.2) bifurcates from \(\Gamma _v\) at \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\) if and only if \(\alpha ={\widehat{\alpha }}\).
-
(c)
all positive solutions of (1.2) near \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\in {\mathbb {R}}\times X\) can be expressed as \(({\widehat{\alpha }}(s); u(s),v(s))\) with \(s\in (0,\delta )\), where \(({\widehat{\alpha }}(s);u(s),v(s))\) is a smooth function with respect to s and satisfies \(({\overline{\alpha }}(s);u(s),v(s))=({\widehat{\alpha }};0, \frac{{\widehat{\alpha }}-d}{d\beta })\) and the bifurcation is supercritical (subcritical), if \(m_0>1\) \((<1)\), where
$$\begin{aligned} m_0=\frac{\int _{\Omega }\frac{m({\widehat{\alpha }}-d)}{d\beta }b(x)\varphi _1^{3} dx-\int _{\Omega }b(x)\varphi _1^2\varphi _2 dx}{\int _{\Omega }\varphi _1^{3}dx}. \end{aligned}$$
-
(a)
-
(3)
If \(a\ge \lambda _1^D(\Omega _0)\), then for any \(\alpha >d\), \(a>\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) and no bifurcation of positive solutions can occur along \(\Gamma _v\).
Proof
(1) Take the variables \(w=a-u\) and define \(F(\alpha ; w,v): {\mathbb {R}}\times X\rightarrow Y\) by
By using a simple calculation, we obtain
and
Let \(\alpha =d+\lambda _1^N(-\dfrac{ac(x)}{1+am},\Omega _1)\doteq {\overline{\alpha }}\). Then \(F_{(w,v)}(\alpha ; 0,0)[h,k]=0\) has a solution with \(h>0\). Thus \({\overline{\alpha }}\) is the only bifurcation point along \(\Gamma _u\) where positive solutions of (1.2) bifurcates.
It is easy to verify that the kernel \({\mathcal {N}}(F_{(w,v)}({\overline{\alpha }}; 0,0))=span\{(\varphi _1,\varphi _2)\}\), where \((\varphi _1,\varphi _2)\ne (0,0)\) satisfies
We can choose \(\varphi _2>0\) as the corresponding positive eigenfunction of \(\lambda _1^N(d-\dfrac{ac(x)}{1+am},\Omega _1)\) with \(\int _{\Omega _1} \varphi _2^2dx=1\), and then \(\varphi _1=(-\Delta +a)^{-1}\left( \dfrac{ab(x)}{1+am}\varphi _2\right) >0\).
It is easy to check that the range
and
since \(\int _{\Omega _1} \varphi _2^2dx=1>0\). By applying the results of [10] or [11], the set of solutions to (1.2) near \(({\overline{\alpha }}; a,0)\) is a smooth curve
with \(\delta >0\) small, \({\overline{\alpha }}(0)=d+\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1), w(s)=s\varphi _1+o(|s|), v(s)=s\varphi _2+o(|s|)\). By [12, Corollary 2.3],
where l is a linear functional on \(Y^{2}\) defined as \(\langle l,[f,g]\rangle =\int _{\Omega _1}g(x)\varphi _2dx\). This yields that the bifurcation \(\Gamma _{u}\) at \(({\widetilde{\alpha }};0,0)\) is supercritical.
(2) We take the variables \(v=\frac{\alpha -d}{d\beta }+w\) and define \(G(\alpha ; u,w): {\mathbb {R}}\times X\rightarrow Y\) by
By using a simple calculation, we obtain
where \({\overline{C}}=\frac{d^2(\beta -1)(\beta ^2-2\beta +2)({\widehat{\alpha }}-d)-d\alpha ^2\beta ^3}{{\widehat{\alpha }}^3\beta ^3}\), and
Let \(a=\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\). Then \(G_{(u,w)}(\alpha ; 0,0)[h,k]=0\) has a solution with \(h>0\).
Let \(\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) be the principal eigenvalue of
By the proof of Theorem 2.1 in [1], we obtain that for any \(\alpha >d\), \(\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) is strictly increasing respect to \(\alpha \), \(\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )<\lambda _1^D(\Omega _0)\), and
Now if \(a\ge \lambda _1^D(\Omega _0)\), then for any \(\alpha \ge d\), \(a>\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\). Hence, by the analyses above, no bifurcation of positive solutions can occur along \(\Gamma _v\).
If \(a<\lambda _1^D(\Omega _0)\), then there exits a unique \({\widehat{\alpha }}(a)\) such that \(a=\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) due to the continuity and monotonicity of \(\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\). We easily see that \({\widehat{\alpha }}(a)\rightarrow d\) as a decreases to 0, and \({\widehat{\alpha }}(a)\rightarrow \infty \) as a increases to \(\lambda _1^D(\Omega _0)\).
At \((\alpha ; u,w)=({\widehat{\alpha }}; 0,0)\), \({\mathcal {N}}(G_{(w,v)}({\widehat{\alpha }}; 0,0))=span\{(\phi _1,\phi _2)\}\). We can choose \(\phi _1>0\) with \(\int _{\Omega } \phi _1^2dx=1\) and \(\phi _2=(-\Delta +\frac{d(\alpha -d)}{\alpha })^{-1}(\frac{\alpha -d}{d\beta }c(x)\phi _1)>0\). Then
and
since \(-\frac{1}{d\beta }\int _{\Omega } b(x)\phi _1^2dx\ne 0\).
By applying the results of [10] or [11], the set of solutions to (1.2) near \(({\widehat{\alpha }}; 0,\frac{{\widehat{\alpha }}-d}{d\beta })\) is a smooth curve
with \(\delta >0\) small, \({\widehat{\alpha }}(0)={\widehat{\alpha }}, u(s)=s\phi _1+o(|s|), w(s)=s\phi _2+o(|s|)\). By [12, Corollary 2.3],
where l is a linear functional on \(Y^{2}\) defined as \(\langle l,[f,g]\rangle =\int _{\Omega }f(x)\phi _1dx\). \(\square \)
4 Bifurcation stability and global bifurcation
Theorem 4.1
Recall \({\overline{\alpha }}, {\widehat{\alpha }}, (\varphi _1,\varphi _2)\) and \((\phi _1,\phi _2)\) in Theorem 3.1.
-
(1)
Suppose that \(d>-\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\). If
$$\begin{aligned} \dfrac{1}{(1+am)^2}\int _{\Omega _1}c(x)\varphi _2^3 dx<{\overline{\alpha }}\beta \int _{\Omega _1}\varphi _1\varphi _2^2dx, \end{aligned}$$then the local bifurcation coexistence state (u(s), v(s)) bifurcating from \(({\overline{\alpha }}; a, 0)\) is linearly stable.
-
(2)
If \(\alpha >d\), then the local bifurcation coexistence state (u(s), v(s)) bifurcating from \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\) is nondegenerate and linearly stable.
Proof
For convenience, we use the notation \({\overline{\alpha }}(s)=\alpha ,(u(s),v(s))=(u,v)\) in Theorem 3.1. The linearized problem of (1.2) at (u, v) can be written as
where
It easy to see that, as \(s\rightarrow 0\),
By the proof in Theorem 3.1, we know that 0 is the principal eigenvalue of \({\mathcal {L}}_0\) with the corresponding eigenfunction \((\varphi _1,\varphi _2)\), where \(\varphi _1\) and \(\varphi _2\) are defined in Theorem 3.1.
By the perturbation theory of linear operators [13], we know that, when s is sufficiently small, \({\mathcal {L}}(s)\) has a unique eigenvalue \(\gamma (s)\) satisfying \(\lim _{s\rightarrow 0}\gamma (s)=0\) and all the other eigenvalues of \({\mathcal {L}}(s)\) have negative real parts and are apart from 0. Now we determine the sign of \(Re(\gamma (s))\) as \(s>0\) is sufficiently small. Let (h, k) be the corresponding eigenfunction to \(\gamma (s)\) such that \((h,k)\rightarrow (\varphi _1,\varphi _2)\).
Multiplying the second equation of (4.1) by v and integrating over \(\Omega _1\), we get
Multiplying the second equation of (1.2) by k integrating over \(\Omega _1\), we have
The fact combined with (4.2) and (4.3) to yields
Note that \({\overline{\alpha }}(0)=d+\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\doteq {\overline{\alpha }}, w(s)=s\varphi _1+o(|s|), v(s)=s\varphi _2+o(|s|)\). Dividing by \(s^2\) and letting \(s\rightarrow 0^+\) in (4.4), it is deduced that
which implies that the bifurcation coexistence state (u(s), v(s)) \(({\overline{\alpha }}; a, 0)\) is linearly stable, if
(2) Analogously, multiplying the first equation of (4.1) by u and the first equation of (1.2) by h, integrating over \(\Omega \), we get
Then we have
This implies that then the local bifurcation coexistence state (u(s), v(s)) bifurcating from \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\) is nondegenerate and linearly stable. The proof is completed. \(\square \)
Next, we will investigate the global bifurcation of (1.2). We fix the parameters \(a>0\) and \(d>\frac{a\Vert c(x)\Vert _\infty }{1+am}\) (See theorem 2.2) and take \(\alpha \) as the main bifurcation parameter. By the unilateral global bifurcation theorem developed by L\(\mathrm {\acute{o}}\)pez-G\(\mathrm {\acute{o}}\)mez, one can see [11] or [14] for the details, we study the global bifurcation at \(({\overline{\alpha }};a,0)\).
Let \(P_O=\{w\in W^{2,p}(O): w>0, x\in {\overline{O}}\}\). Then \(P^{2}=P_\Omega \times P_{\Omega _1}\) is the nature positive cone in X. From the proof of Theorem 3.1, it follows that all the conditions in [11, Theorem 6.4.3] hold. This yields that there exists a component \({\mathcal {C}}^{+}\supset \Gamma _u\) of solution to (1.2) bifurcating at \(({\overline{\alpha }};a,0)\) and \({\mathcal {C}}^{+}\) satisfies one of the following alternatives:
(i) \({\mathcal {C}}^{+}\) is unbounded in \({\mathbb {R}}\times X\);
(ii) There exists a real number \({\widetilde{\alpha }}\ne {\overline{\alpha }}\), such that \(({\widetilde{\alpha }};a,0)\in {\mathcal {C}}^{+}\);
(iii) \({\mathcal {C}}^{+}\) contains a point \((\alpha ;u,v)\in \Gamma _v\) or \(\in \Gamma _0=\{(\alpha ; 0, 0): \alpha \in R\}\), such that \((\alpha ;u,v)\in {\mathcal {C}}^{+}\).
By Theorems 2.2 and 2.3, the alternative (i) do not occur. By Theorem 3.1 (1)(a), i.e., \(\alpha \) is a bifurcation point where an continuum \(\Gamma _1\) of positive solutions to (1.2) bifurcates from \(\Gamma _u\) at \(({\overline{\alpha }}; a,0)\) if and only if \(\alpha ={\overline{\alpha }}\), we know that the alternative (ii) don’t occur. So, the alternative (iii) must occur. Now, we claim that \({\mathcal {C}}^{+}\) ends at some point \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\) on \(\Gamma _v\) for some \({\widehat{\alpha }}>d\).
In fact, we assume on the contrary that \({\mathcal {C}}^{+}\) ends at some point \((\alpha ; 0, 0)\). Let \(u(s)=s\psi _1(s)+o(s)\) and \(v(s)=s\psi _2(s)+o(s)\) for \(0<s\ll 1\), then \(\lim _{s\rightarrow 0^+}u(s)/s=\psi _1\), \(\lim _{s\rightarrow 0^+}u(s)/s=\psi _2\), where \(\psi _1\) and \(\psi _2\) are the positive functions in \(\Omega \) and \(\Omega _1\) respectively. By dividing the first equation of (1.2) by s and letting \(s\rightarrow 0^+\), we obtain that
Thus, we get \(a=0\), which contradicts \(a>0\).
Combined the arguments above with the local bifurcation results (Theorem 3.1), we obtain the following theorem.
Theorem 4.2
Suppose that \(0<a<\lambda _1^D(\Omega _0)\) and \(d>\frac{a\Vert c(x)\Vert _\infty }{1+am}\) be fixed. Then there exists a continuum \({\mathcal {C}}^{+}\) of the positive solutions connecting \(({\overline{\alpha }}; a, 0)\) to \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\) with \({\widehat{\alpha }}>d\) and satisfying
which implies that (1.2) possesses at least a positive solution for any \(\alpha \in ({\overline{\alpha }},{\widehat{\alpha }})\).
Remark 4.3
Theorem 3.1) shows that (1) if \(d>\frac{a\Vert c(x)\Vert _\infty }{1+am}\), then there exist bifurcation of positive solutions along \(\Gamma _u\); (2) if \(a>\lambda _1^D(\Omega _0)\), then there exists no bifurcation of positive solutions along \(\Gamma _v\).
Remark 4.4
For fixed \(a>0\), the term \(a>\lambda _1^D(\Omega _0)\) in Remark 4.3 can be interpreted as the fact that the protection zone \(\Omega _0\) is large. In addition, if \(d>\frac{a\Vert c(x)\Vert _\infty }{1+am}\), then by the same proof process similar to theorem 4.2, there exists a continuum \({\mathcal {C}}^{+}\) of the positive solutions emanating from \(({\overline{\alpha }}; a, 0)\) and satisfying \(Proj_\alpha {\mathcal {C}}^{+}=({\overline{\alpha }},+\infty )\).
Remark 4.5
(Numerical example) Letting \(\Omega =(0,5\pi )\), we consider the effect of degenerate on the positive solution to (1.1), i.e., the following two cases (See Figure 2):
(1) Functions b(x) and c(x) are independent of x: \(b(x)\equiv 0.05\) and \(c(x)\equiv 0.03\);
(2) Functions b(x) and c(x) are dependent of x:
\(b(x)=\left\{ \begin{array}{ll} 0.05 &{} \pi \le x\le 4\pi \\ 0 &{} otherwise \end{array}\right. \) and \(c(x)=\left\{ \begin{array}{ll} 0.03 &{} \pi \le x\le 4\pi \\ 0 &{} otherwise \end{array}\right. \).
5 Discussions
In this paper we propose a reaction–diffusion predator–prey model with a protection zone for the prey and nonlinear growth rate for the predator. It is shown that the protection zone will affect the existence of positive steady-state solutions or steady-state bifurcations form (1.1). By Remark 2.4 and Theorem 3.1, the existence and non-existence results are summarized below:
-
(A1)
Assume that \(\alpha <d\). If \(d<\dfrac{\alpha (d-\alpha )}{(d-\alpha )(1+a\beta )+a^2\beta }\) or \(d>\alpha -\lambda _1^N(-\dfrac{ac(x)}{1+am},\Omega _1)\), then (1.2) has no positive solution.
-
(A2)
Assume that \(\alpha >d\) and \(a\ge \min \{\lambda _1^D(\Omega _0),\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\}\). Then there is no bifurcation of positive solutions to (1.2) can occur along \(\Gamma _v\).
-
(A3)
If \(d>-\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\), then there is a continuum \(\Gamma _1\) of positive solutions to (1.2) bifurcates from \(\Gamma _u\) at \(({\overline{\alpha }}; a,0)\) where \(\alpha =d+\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\doteq {\overline{\alpha }}\).
-
(A4)
If \(\alpha >d\) and \(\lambda _1^N(\dfrac{(\alpha -d)b(x)}{d\beta (1+am)},\Omega )\le a<\lambda _1^D(\Omega _0)\), then there a continuum \(\Gamma _2\) of positive solutions to (1.2) bifurcates from \(\Gamma _v\) at \(({\widehat{\alpha }}; 0, \frac{{\widehat{\alpha }}-d}{d\beta })\), where \(\alpha ={\widehat{\alpha }}\) and which is a unique \({\widehat{\alpha }}(a)\) such that \(a=\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\). Moreover, \({\widehat{\alpha }}(a)\rightarrow d\) as \(a\rightarrow 0^+\) and \({\widehat{\alpha }}(a)\rightarrow \infty \) as \(a\rightarrow \lambda _1^D(\Omega _0)^-\).
Note that \(b(x)\in L^\infty (\Omega ), b(x)\ge 0\) in \(\Omega \), \(b(x)\equiv 0\) on \({\overline{\Omega }}_0\) and for any compact subset A of \(\Omega {\setminus }{\overline{\Omega }}_0\), there exists \(\delta _A>0\) such that \(\delta _A\le b(x), \forall x\in A;\) \(c(x)\in L^\infty (\Omega {\setminus }{\overline{\Omega }}_0)\) and \(0<c(x)\le b(x)\) in \(\Omega {\setminus }{\overline{\Omega }}_0\). Now, let \(b(x)=c(x)=1\) in \(\Omega {\setminus }{\overline{\Omega }}_0\) in order to better analyze the affect of protection zone on the dynamics of (1.1).
Since \(-\lambda _1^N(-\dfrac{ac(x)}{1+am},\Omega _1)\) is increasing in \(\Omega _0\), \(\lambda _1^D(\Omega _0)\) and \(\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) are decreasing in \(\Omega _0\), (A1) and (A2) imply that the smaller the size of protection zone \(\Omega _0\), two populations u and v are more likely to coexist. This is also in line with the original intention of constructing ecological nature reserve in reality.
Let \({\overline{\alpha }}=d+\lambda _1^N(-\frac{ac(x)}{1+am},\Omega _1)\) in (A3). Define the unique \({\widehat{\alpha }}(a)\) in (A4) such that \(a=\lambda _1^N(\frac{\alpha -d}{d\beta }b(x),\Omega )\) if \(\alpha >d\) and \(\lambda _1^N(\dfrac{(\alpha -d)b(x)}{d\beta (1+am)},\Omega )\le a<\lambda _1^D(\Omega _0)\). (A3) and (A4) show that there is a circular domain \(\Omega _0\), at which there is a continuum \(\Gamma _1\) or \(\Gamma _2\) of positive solutions to (1.2) bifurcates from \(\Gamma _u\) or \(\Gamma _v\).
Hence a recommendation for the people setting up the protection zone is to have a circular region with as large as possible area as the protect [15].
Code availability
All codes generated or used during the study are available from the corresponding author by request (W. Yang).
References
Du, Y., Shi, J.: A diffusive predator–prey model with a protection zone. J. Differ. Equ. 229(1), 63–91 (2006). https://doi.org/10.1016/j.jde.2006.01.013
Du, Y., Liang, X.: A diffusive competition model with a protection zone. J. Differ. Equ. 244(1), 61–86 (2008). https://doi.org/10.1016/j.jde.2007.10.005
Wang, Y., Li, W.: Effect of cross-diffusion on the stationary problem of a diffusive competition model with a protection zone. Nonlinear Anal. Real World Appl. 14(1), 224–245 (2013). https://doi.org/10.1016/j.nonrwa.2012.06.001
Yang, W.: Effect of cross-diffusion on the stationary problem of a predator–prey system with a protection zone. Comput. Math. Appl. 76(9), 2262–2271 (2018). https://doi.org/10.1016/j.camwa.2018.08.025
Lopez-Gomez, J.: Spectral theory and nonlinear functional analysis. Res. Notes Math. i-iv(1), i–ii, 1–168 (2001). https://doi.org/10.1007/978-93-86279-21-7
Du, Y.: Change of environment in model ecosystems: effect of a protection zone in diffusive population models. In: Recent Progress on Reaction–Diffusion Systems and Viscosity Solutions; NJ, USA, pp. 49–73 (2009)
Li, S., Dong, Y.: Uniqueness and multiplicity of positive solutions for a diffusive predator–prey model in the heterogeneous environment. Proc. R. Soc. Edinb. Sect. A Math. 150(6), 3321–3348 (2020). https://doi.org/10.1017/prm.2019.61
Zeng, X., Zeng, W., Liu, L.: Effect of the protection zone on coexistence of the species for a ratio-dependent predator–prey model. J. Math. Anal. Appl. 462(2), 1605–1626 (2018). https://doi.org/10.1016/j.jmaa.2018.02.060
Lou, Y., Ni, W.M.: Diffusion, self-diffusion and cross-diffusion. J. Differ. Equ. 131(1), 79–131 (1996). https://doi.org/10.1006/jdeq.1996.0157
Crandall, M.G., Rabinowitz, P.H.: Bifurcation from simple eigenvalues. J. Funct. Anal. 8(2), 321–340 (1971). https://doi.org/10.1016/0022-1236(71)90015-2
López-Gómez, J.: Spectral Theory and Nonlinear Functional Analysis. Research Notes in Mathematics Series. CRC, Boca Raton (2001)
Liu, P., Shi, J., Wang, Y.: Imperfect transcritical and pitchfork bifurcations. J. Funct. Anal. 251(2), 573–600 (2007). https://doi.org/10.1016/j.jfa.2007.06.015
Kato, T.: Perturbation Theory for Linear Operators, 2nd edn. Springer, Berlin (1995)
López-Gómez, J., Molina-Meyer, M.: Bounded components of positive solutions of abstract fixed point equations: mushrooms, loops and isolas. J. Differ. Equ. 209(2), 416–441 (2005). https://doi.org/10.1016/j.jde.2004.07.018
Cui, R., Shi, J., Wu, B.: Strong Allee effect in a diffusive predator–prey system with a protection zone. J. Differ. Equ. 256(1), 108–129 (2014). https://doi.org/10.1016/j.jde.2013.08.015
Acknowledgements
The work is supported by National Natural Science Foundation of China (Nos. 12001425, 12171296) and Natural Science Basic Research Program of Shaanxi (No. 2023-JC-YB-066). The author would like to thank the anonymous referees for their careful reading of the manuscript and pertinent comments; their constructive suggestions substantially improved the quality of the work.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Yang, W. Bifurcation analysis in a diffusive predator–prey system with nonlinear growth rate and protection zone. Ricerche mat (2023). https://doi.org/10.1007/s11587-023-00759-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11587-023-00759-z