There is growing biological and physiological evidence, see for instance [1] and the literature cited therein, that in some situations, specially when predators have to search for food and therefore have to share or compete for food, a more suitable general predator-prey theory should be based on the so-called ratio-dependent theory, which can be roughly stated as that the per capita predator growth rate should be a function of the ratio of prey to predator abundance. This is supported by numerous field and laboratory experiments and observations, see for instance [5].
The prey-dependent food-chain models were studied in [6, 7, 9, 11, 13, 20], while mathematically interesting, inherit the mechanism that generates the factitious paradox of enrichment and fail to produce the often observed extinction dynamics resulting in the collapse of the system. Consequently, a ratio-dependent food chain model, which is an ODE system with three equations whose species are hence assumed to be spatially homogeneous, was proposed by Hsu, Hwang, and Kuang in [10] to describe the growth of plant, pest, and top predator. However, it is not enough that populations of species are considered in only time and density. To make it more realistic, different spatial locations should also be taken into consideration, which have resulted in reaction-diffusion model with ratio-dependent functional response [12, 14]. Despite the fact that much attention has been paid to studies of weakly-coupled reaction-diffusion system, few has been found on strong-coupled reaction-diffusion system.
This paper discusses the following three questions in the one-dimensional space: the existence and the uniform boundedness of the global solution to a ratio-dependent food chain model with self and cross-diffusion, and the global asymptotic stability of the positive equilibrium point.
Concretely, consider the following problem
where $u_{0}, v_{0}, w_{0}$ are nonnegative functions which are not identically zero, $u, v$ and $w$ are the respective population densities of prey, predator, top predator. $d_{i}, \alpha_{ij}(i, j=1, 2, 3), a_i, b_i, m_i$ $(i=1, 2)$ are positive constants, $d_1, d_2, d_3$ are the the diffusion rates of $u, v, w$, respectively. $\alpha_{ii}(i=1, 2, 3)$ are referred as self-diffusion pressures, and $\alpha_{ij}(i\neq j, i, j=1, 2, 3)$ are cross-diffusion pressures. For more details on the biological background, see references [8, 15, 16, 17, 18]. $a_i, b_i, m_i$ $(i=1, 2)$ which can see more explanations for the biological background, refer to [10, 12, 14]. Furthermore, to avoid the case where predator and top-predator cannot survive, even when their food is infinitely abundant, we assume that $m_i > b_i, i = 1, 2$.
The ODE problem associated with (1.1) was proposed and studied by Hsu, Hwang, and Kuang in [10], and from [10], system (1.1) has a unique positive equilibrium $( \bar{u}, \bar{v}, \bar{w} )$ if and only if the following are satisfied:
where $A=m_1/(a_2(m_2-b_2)/m_2+b_1)$, and
We also note that $m_2>b_2$ and $A>1$ imply $m_1>b_1$.
In particular, they obtained the extinction conditions of certain species and discussed the local asymptotical stability of $( \bar{u}, \bar{v}, \bar{w} )$ and various scenarios where distinct solutions can be attracted to the origin, the pest-free steady state, and the positive steady state $( \bar{u}, \bar{v}, \bar{w} )$. For more detail, we refer the reader to [10]. From their results, the authors pointed out that this ODE system is very rich in dynamics.
The corresponding weakly coupled reaction-diffusion system (1.1) has received a lot of attention, see [12, 14]. But up to now, the corresponding researches chiefly concentrate on the existence and nonexistence of nonconstant positive steady-state solutions of the weakly-coupled reaction-diffusion system (1.1). To the best of our knowledge, when $\alpha_{ij}(i\neq j, i, j=1, 2, 3)$ is positive, (1.1) is a strongly-coupled reaction-diffusion system which occurs frequently is biological and it is very difficult to analyze, there are very few results for the (1.1).
For simplicity, denote $\|\cdot\|_{W_{p}^{k}(0, 1)}$ by $|\cdot|_{k, p}$ and $\|\cdot\|_{L^{p}(0, 1)}$ by $|\cdot|_{p}$. For the time-dependent solutions of (1.1), the local existence is an immediate consequence of a series of important papers [2-4] by Amann. Roughly speaking, if $u_{0}(x), v_{0}(x), w_0(x)$ in $W_{p}^{1}(\Omega)$ with $p>N, $ then (1.1) has a unique nonnegative solution $u, v, w$ $\in C\left([0, T), W_{p}^{1}(\Omega)\right)$ $\bigcap$ $ C^{\infty}\left((0, T), C^{\infty}(\Omega)\right), $ where $T\in(0, \infty]$ is the maximal existence time for the local solution. If the solution $(u, v, w)$ satisfies the estimates
then $T=+\infty.$ Moreover, if $u_{0}(x), v_{0}(x), w_0(x)\in W_{p}^{2}(\Omega)$, then $u, v, w\in C\left([0, \infty), W_{p}^{2}(\Omega)\right).$
Our main results as follows:
Theorem 1 Let $u_0(x), v_0(x), w_0(x)\in W_{2}^{2}(0, 1), (u, v, w)$ is the unique nonnegative solution of system (1.1) in the maximal existence interval $[0, T).$ Assume that
Then there exist $t_{0}>0$ and positive constants $M, M'$ which depend only on $ d_{i}, \alpha_{ij} (i, j=1, 2, 3)$, $a_i, b_i, m_i (i=1, 2)$ such that
and $T=+\infty$. Moreover, in the case that $d_{1}, d_{2}, d_{3}\geq1, \frac{d_2}{d_1}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}]$, where $\underline{d}$ and $\overline{d}$ are positive constants, $M', M$ depend on $\underline{d}, \overline{d}$ but do not on $d_{1}, d_{2}, d_{3}.$
Theorem 2 Assume that all conditions in Theorem 1 are satisfied and (1.2) holds. Assume that the following hold :
where $\alpha=\frac{a_1\bar{u}}{m_1\bar{v}}, \beta=\frac{a_1a_2\bar{u}}{m_1m_2\bar{w}}$, $K=\frac{1}{2}\left\{2-\frac{m_1}{b_1}+\sqrt{(2-\frac{m_1}{b_1})^2+4(1-a_1)(\frac{m_1}{b_1}-1)}\right\}$, $M$ is the positive constant in (1.5). Then the positive equilibrium point $(\bar{u}, \bar{v}, \bar{w})$ is global asymptotic stable.
Remark 1 Problem (1.1) has a positive solution implies (1.2) holds. From [14], the positive equilibrium point $(\bar{u}, \bar{v}, \bar{w})$ of the corresponding weakly coupled reaction-diffusion system (1.1) is also global asymptotic stable under conditions (1.6)-(1.8) hold.
Remark 2 Problem (1.1) has no non-constant positive steady-state solution if all conditions of Theorem 2 hold.
In order to establish the uniform $W_{2}^{1}-$estimate of the solution to system (1.1), the following corollaries to Gagliardo-Nirenberg-type inequality (see [16]) play important roles.
Corollary 1 There exists a positive constant $C$ such that
In this section we always denote that $C$ is Sobolev embedding constant or other kind of absolute constant, $A_{j}, B_{j}, C_{j}$ are the positive constants which depend only on $\alpha_{ij}(i, j=1, 2, 3)$, $a_i, b_i, m_i (i=1, 2)$ and $K_{j}$ are positive constants depending on $d_{i}$ and $\alpha_{ij} (i, j=1, 2, 3)$, $a_i, b_i, m_i (i=1, 2)$. When $d_{1}, d_{2}, d_{3}\geq1, \frac{d_{1}}{d_{2}}, \frac{d_{3}}{d_{2}}\in[\underline{d}, \overline{d}], $ $L_{j}$ depend only on $\underline{d}, \overline{d}$ but do not on $d_{1}, d_{2}, d_{3}.$
Proof of Theorem 1 First, we establish $L^{1}$-estimates of the solution $(u, v, w)$ of (1.1). Taking integrations of the first three equations in (1.1) over the domain [0,1], respectively, and then combining the three integration equalities linearly, we have
Let $m_1\int_{0}^{1}udx-m_1\int_{0}^{1}u^2dx \leq C_1-C_2\int_{0}^{1}udx$, where $C_2=\min\{\frac{b_1}{a_1}, b_2\}$, by Young inequality,
Let $\varepsilon=2m_1$, then $ C_1=\frac{1}{4}m_1(C_2+1)^2.$ Thus
Then there exists a positive constant $\tau_{0}$ such that
where $M_{0}=\frac{3C_1}{2C_2}\max\{(a_1)^{-1}, (m_1)^{-1}, \frac{m_2}{a_1a_2}\}$. Moreover, there exists a positive constant $M_{0}'$ which depends on $a_{i}, b_{i}, m_{i}(i=1, 2)$ and the $L^1-$norm of $u_{0}, v_{0}$ and $w_{0}, $ such that
Second, we will obtain $L^{2}$-estimates of $u, v, w.$ We multiply the first three equations in (1.1) by $u, v, w, $ respectively, and integrate over [0,1] to have
Let $d^*=\min\{d_{1}, d_{2}, d_{3}\}.$ We proceed in the following two cases.
(1) $t\geq\tau_{0}. \ $
where $A=\max\{1, m_1, m_2\}$, and
is positive semi-definite quadratic form of $ u_x, v_x, w_x$ if (1.3) holds. Then
Notice by (2.1) and (2.6) that $|u|_{2}^{6}\leq C(|u_{x}|_{2}^{2}|u|_{1}^{4} +|u|_{1}^{6})\leq CM_{0}^{4}(|u_{x}|_{2}^{2}+M_{0}^{2}).$ Therefore
Substituting (2.8) into (2.7), we have
This means that there exist positive constants $\tau_{1}$ and $M_{1}$ depending on $d_{i}, a_{ij} (i, j=1, 2, 3), $ $a_{i}, b_{i}, m_{i} (i=1, 2)$ such that
When $d^*\geq1$, $M_{1}$ is independent of $d^*$ since the zero point of the right-hand side in (2.10) can be estimated by positive constants independent on $d^*$
(2) $t\geq0 $. Replacing $M_{0}$ with $M'$ and repeating estimates (2.7)-(2.10), one can obtain a new inequality which is similar to (2.10). The coefficients of this new inequality depend not only on $d_{i}, a_{ij} (i=1, 2, 3)$, $a_{i}, b_{i}, m_{i} (i=1, 2)$ but also on initial functions $u_{0}, v_{0}$ and $w_{0}.$ Then there exists positive constant $M_{1}'$ depending on $d_{i}, a_{ij}(i, j=1, 2, 3), $ $a_{i}, b_{i}, m_{i} (i=1, 2)$ and the $L^{2}$-norm of $u_{0}, v_{0}, w_{0}$ such that
For $d\geq1$, $M_{1}'$ is independent of $d^*$.
Finally, $L^{2}$-estimates of $u_{x}, v_{x}$ and $w_{x}$ will be obtained. We introduce the scaling that
denoting $\xi=\frac{d_2}{d_1}, \eta=\frac{d_{3}}{d_1}$, and using $u, v, w, t$ instead of $\tilde{u}, \tilde{v}, \tilde{w}, \tilde{t}, $ respectively, then system (1.1) reduces to
where
We still divide the subsequent discuss into two cases.
(1) $t\geq\tau_{1}^*(=d_{2}\tau_{1})$ (namely, $t\geq\tau_{1}$ in original scale). It is clearly that
where $K_{1}=(1+\xi+\eta)M_0+M_{1}\xi d_2^{-1}$. By Young inequality, one can obtain
Multiply the first three equations in (2.12) by $P_{t}, Q_{t}, R_{t}, $ and integrating them over the domain [0, 1], respectively, then adding up the three integration equalities, we have
where $\bar{y}=\displaystyle\int_{0}^{1}(P_{x}^{2}+Q_{x}^{2}+R_{x}^{2})dx$. It is not hard to verify by (1.3) that there exists a positive constant $C_4$ depending only on $\alpha_{ij}$ $(i, j=1, 2, 3), $ such that
Thus
By the estimates (2.13), (2.14), one can obtain the following estimates for the terms on the right-hand side of (2.15)
Therefore,
For $\displaystyle\int_{0}^{1}uu_{t}fdx$, one can obtain
Similarly, we estimates the rest term on the right-hand side of (2.15), we have
where $\lambda$ is a positive integer. Choose a small enough positive number $\epsilon=\epsilon(\alpha_{ij} (i=1, 2, 3), $ $a_i, b_i, $ $m_i, (i=1, 2)$ such that $\lambda\epsilon<C_{4}.$ Substituting inequalities (2.16) and (2.17) into (2.15), one can obtain
where $z=\int_{0}^{1}(u^{5}+v^{5}+w^{5})dx, $ $ K_{2}=(1+\xi+\eta)(M_0+M_{1}), $ $ K_{3}=M_{1}^{\frac{2}{3}}\xi(1+d_1^{-1}+\eta ), $ $K_{4}=M_{1}^{\frac{1}{3}}\xi^2(1+\eta), \; K_{5}=\xi^{2}$. Clearly,
It follows from inequality (2.3) to functions $P, Q, R$ that
Moreover, one can obtain by (2.4) and (2.15)
Combining (2.18), (2.19) and (2.20) we have
Multiplying inequality (2.21) by $d_2^{2}, $ we have
where $y=\int_{0}^{1}[(d_2P_{x})^{2}+(d_2Q_{x})^{2}+(d_2R_{x})^{2}]dx$. Inequality (2.22) implies that there exist $\tilde{\tau_{2}}>0$ and positive constant $\tilde{M_{2}}$ depending only on $d_{i}, \alpha_{ij}(i, j=1, 2, 3)$, $a_i, b_i, m_i (i=1, 2)$ such that
In the case that $d_{1}, d_{2}, d_{3}\geq1, \frac{d_2}{d_1}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}]$, the coefficients of inequality (2.22) can be estimated by some constants depending on $\underline{d}, \overline{d}$ but not on $d_{1}, d_{2}, d_{3}.$ So $\tilde{M_{2}}$ depends on $\alpha_{ij}(i, j=1, 2, 3), a_i, b_i, m_i, (i=1, 2), \underline{d}, \overline{d}$ and is irrelevant to $d_{1}, d_{2}, d_{3}$ when $d_{1}, d_{2}, d_{3}\geq1$ and $\frac{d_{2}}{d_{1}}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}].$ Since
we can transform the formulations of $u_{x}, v_{x}, w_{x}$ into fraction representations, then distribute the denominators of the absolute value of the fractions to the numerators term by term and enlarge the term concerning with $u_{x}, v_{x}$ or $w_{x}$ to obtain
where $K$ is a constant depending only on $\xi, \eta, \alpha_{ij}(i, j=1, 2, 3)$, After scaling back and contacting estimates (2.23) and (2.24), there exist positive constant $M_{2}$ depending on $d_{i}, \;\alpha_{ii}, \;(i=1, 2, 3), \alpha_{12}, \;\alpha_{21}, \; \alpha_{23}, \;\alpha_{32}, a_{i}, \;b_{i}, m_i (i=1, 2)$ and $\tau_{2}>0, $ such that
When $d_{1}, d_{2}, d_{3}\geq1$ and $\frac{d_{2}}{d_{1}}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}]$, $M_{2}$ independent on $d_{1}, d_{2}, d_{3}.$
(2) $t\geq0.$ Modifying the dependency of the coefficients in inequalities (2.15)-(2.17), namely replacing $M_{0}, M_{1}$ with $M_{0}', M_{1}', $ there exists positive constant $M_{2}'$ depending on $d_{i}, \alpha_{ij}(i, j=1, 2, 3), a_i, b_i, m_i, (i=1, 2) $ and the $W_{2}^{1}$ -norm of $u_{0}, v_{0}, w_{0}$ such that
Furthermore, in the case that $d_{1}, d_{2}, d_{3}\geq1, \frac{d_{2}}{d_{1}}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}], $ $M_{2}'$ depends on $\underline{d}, \overline{d}$ but not on $d_{1}, d_{2}, d_{3}.$
Summarizing estimates (2.6), (2.10), (2.25) and using Sobolev embedding theorem, there exist positive constants $M, M'$ depending only on $d_{i}, \; \alpha_{ij} (i, j=1, 2, 3), \; a_i, b_i, m_i (i=1, 2) $ such that (1.4) and (1.5) hold. In particular, $M, M'$ depend only on $\alpha_{ij} (i, j=1, 2, 3), \; a_i, b_i, m_i (i=1, 2)\; \underline{d}, \overline{d}$ but do not depend on $d_{1}, d_{2}, d_{3}$ when $d_{1}, d_{2}, d_{3}\geq1, \frac{d_{2}}{d_{1}}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}]$.
Similarly, there exist positive constant $M''$ depending on $d_{i}, \;\alpha_{ij} (i, j=1, 2, 3), \; a_i, b_i, m_i (i=1, 2) $ and the initial functions $u_{0}, v_{0}, w_{0}$ such that
Further, in the case that $d_{1}, d_{2}, d_{3}\geq1, \frac{d_2}{d_1}, \frac{d_{3}}{d_1}\in[\underline{d}, \overline{d}], $ $M''$ depends only on $\underline{d}, \overline{d}$ but not on $d_{1}, d_{2}, d_{3}.$ Thus $T=+\infty.$ This is complete proof of Theorem 1.
In this section we discuss global asymptotic stability of positive equilibrium point $(\bar{u}, \bar{v}, \bar{w})$ for (1.1), namely to prove Theorem 2. Define
where $\alpha=\frac{a_1\bar{u}}{m_1\bar{v}}, \beta=\frac{a_1a_2\bar{u}}{m_1m_2\bar{w}}$. Obviously, $H(u, v, w)$ is nonnegative and $H(u, v, w)=0$ if and only if $(u, v, w) =(\bar{u}, \bar{v}, \bar{w}).$ By Theorem 1, $H(u, v, w)$ is well-posed for $t\geq0$ if $(u, v, w)$ is a non-zero solution to system (1.1). The time derivative of $H(u, v, w)$ for system (1.1) satisfies
The first integrand in above equality is positive semi-definite if
By the maximum-norm estimate in Theorem 1, condition (1.9) implies (3.2). Under our assumptions (1.6)-(1.8), we can claim that for $t\gg1$ the following hold:
So, the second integrand in above equality is positive semi-definite if conditions (1.6)-(1.8) hold. Therefore, when the all conditions in Theorem 2 hold, there exists a positive constant $\delta$ such that
Now, we recall the following lemma which can be find in [19].
Lemma 1 Let $a$ and $b$ be positive constants. Assume that $\varphi, \; \psi\in C^1[a, +\infty)$, $\psi(t)\geq0$, and $\varphi$ is bounded from below. If $\varphi'(t)\leq-b\psi(t)$ and $\psi'(t)$ is bounded from above in $[a, +\infty)$, then $\lim\limits_{t\to\infty}\psi(t)=0$.
Using partial integration, Hölder inequality and (1.5), one can easily verify that
is bounded from above. Then from Lemma 1 and (3.3) we have
Clearly, $|u(\cdot, t)|_{\infty}\leq C|u|_{1, 2}^{\frac{1}{2}}|u|_{2}^{\frac{1}{2}}$. By (1.4), we have
Namely, $(u, v, w)$ converges uniformly to $(\bar{u}, \bar{v}, \bar{w}).$ By the fact that $H(u, v, w)$ is decreasing for $t\geq0, $ it is obvious that $(\bar{u}, \bar{v}, \bar{w})$ is global asymptotic stable. The proof of Theorem 2 is completed.