\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2008(2008), No. 140, pp. 1--8.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
\newline ftp ejde.math.txstate.edu  (login: ftp)}
\thanks{\copyright 2008 Texas State University - San Marcos.}
\vspace{8mm}}

\begin{document}
\title[\hfilneg EJDE-2008/140\hfil Asymptotic behavior]
{Asymptotic behavior of a delay predator-prey system with
stage structure and variable coefficients}

\author[E. Avila-V., A. G. Estrella, J. A. Hernandez-P.\hfil EJDE-2008/140\hfilneg]
{Eric Avila-Vales, Angel G. Estrella, Javier A. Hernandez-Pinzon}
 % in alphabetical order

\address{Eric Avila-Vales \newline
Facultad de Matem\'aticas, Universidad Autonoma de Yucat\'an,
Merida, Yucat\'an, Mexico}
\email{avila@uady.mx}

\address{Angel G. Estrella \newline
Facultad de Matem\'aticas, Universidad Autonoma de Yucat\'an,
Merida, Yucat\'an, Mexico}
\email{aestrel@uady.mx}

\address{Javier A. Hernandez-Pinzon \newline
Facultad de Matem\'aticas, Universidad Autonoma de Yucat\'an,
Merida, Yucat\'an, Mexico}
\email{javieralejandro\_1@hotmail.com}

\thanks{Submitted July 8, 2008. Published October 16, 2008.}
\subjclass[2000]{35Q80, 92D25}
\keywords{Lotka-Volterra; reaction-diffusion; stage structure; time delay}

\begin{abstract}
 In this paper, we establish a global attractor for a Lotka-Volterra
 type reaction-diffusion predator-prey model with stage structure
 for the predator, delay due to maturity and variable coefficients.
 This attractor is found by the method of upper and lower solutions
 and is given in terms of bounds for the coefficients.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{Definition}[theorem]{Definition}

\section{Introduction}

Almost all animals have the stage structure of immature and then mature,
and in each stage they show different characteristics. For instance, immature
predators are not able to hunt, while mature animals have more powerful
survival capacities; likewise, rates of birth or death vary on each stage.
Therefore, considering stage-structured models could lead to more accurate
results.

In 2006, Xu, Chaplain and Davidson \cite{rui},
considered the following Lotka-Volterra type reaction-diffusion predator-prey
model with stage structure for the predator and delay due to maturity
   \begin{gather}\label{1}
\begin{aligned}
\frac{\partial u_1}{\partial t}
&=  D_1\Delta u_1(t,x) +  u_1(t,x) [r_1-a_{11}u_1(t,x)-a_{12}u_2(t,x)],\\
 & \quad (t,x)\in(0,\infty)\times\Omega
\end{aligned}\\
\begin{aligned}\label{2}
    \frac{\partial u_2}{\partial t}
&=  D_2\Delta u_2(t,x)  +\alpha
    {\int_0 ^{\tau}f(s)e^{-\gamma s}u_1(t-s,x)u_2(t-s,x)ds}\\
&\quad -    r_2u_2(t,x)-a_{22}u_2^2(t,x)\quad
  (t,x)\in(0,\infty)\times\Omega
\end{aligned}\\
 \label{3}
  {\frac{\partial u_i}{\partial\nu}} =  0 \quad
    (i=1,2),\; t>0,\; x\in\partial\Omega\\
 \label{4}
 u_i(t,x)=\phi_i(t,x)\quad (i=1,2),\;  t\in[-\tau,0]\,, x\in\overline\Omega
\end{gather}

 In this problem, $\Omega$ is a bounded domain in
  $\mathbb{R}^n$ with smooth boundary $\partial\Omega$, where
  ${\frac{\partial}{\partial\nu}}$ denotes the outward
  normal derivative on $\partial\Omega$. The boundary conditions
in (\ref{3})  imply that the populations do not move across the boundary
  $\partial\Omega$. The parameters
$r_1,r_2,a_{11},a_{12},a_{22},\alpha,\gamma$
  are positive constants. $u_1(t,x)$ represents the density of the
  prey population at time $t$ and location $x$, $u_2(t,x)$ denotes the
  density of the mature predator population at time $t$ and location
  $x$, respectively. The data $\phi_i(t,x)$ $(i=1,2)$ are
  nonnegative and  H\"{o}lder continuous and satisfy
  $\frac{\partial\phi_i}{\partial\nu} = 0$ in $(-\tau,0)\times
  \partial\Omega$. The model is derived under the following assumptions.

$\bullet$ The prey population: The growth of the species is of
    Lotka - Volterra nature. The parameters $r_1,a_{11}$ and $D_1$
are the intrinsic  growth rate, intra-specific competition rate
and diffusion rate,  respectively.

$\bullet$ The predator population:
    $a_{12},{\frac{\alpha}{a_{12}}},r_2$ and $a_{22}$
are the capturing rate, conversion rate,death rate and intra-specific competition
rate of the mature predator, respectively; $\gamma >0$ is the death
    rate of the immature predator population, $D_2$ is the diffusion
    rate of the mature population. The term $\alpha
    u_1(t-s,x)u_2(t-s,x)$ is the number born at time
    $t-s$ and location $x$ per unit time, and is taken as
    proportional to the number of the prey and mature predator the around.
     $f(s)$ denotes the probability that the maturation time is
     between $s$ and $s+ds$ with $ds$ infinitesimal,and ${
    \int_0^{\infty}}f(s)ds = 1$. $e^{-\gamma s}$ is the probability
    of an individual born at time $t-s$ still alive at time $t$.
    Individuals becoming mature at time $t$ could have been born at
    any time prior to this, and the integral totals up the
    contributions from all previous times.

They also use the following assumptions:
\begin{itemize}
\item[(H1)] $f(t)$ is piecewise continuous in $[0,\tau]$
    and has the property: $f(t)\geq0$,
    ${\int_{0}^{\tau}}f(t)dt = 1$; i.e., $f(t)$ is a
    probability diet on $[0,\tau]$
\end{itemize}
  System \eqref{1}--\eqref{4} possesses a trivial uniform
equilibrium $E_0(0,0)$
   and a  semi-trivial uniform equilibrium
    $E_1\big({\frac{r_1}{a_{11}}},0\big)$.
     If the following holds:
\begin{itemize}
\item[(H2)]  $r_1\alpha I>r_2a_{11}$.
\end{itemize}
Then  \eqref{1}--\eqref{4} also has a unique positive uniform equilibrium
    $E^{\star}( u_1^{\star}, u_2^{\star})$
where:
    \begin{equation}\label{2.6}
      u_1^{\star}  =  {\frac{r_1a_{22}+r_2a_{12}}
      {a_{11}a_{22}+\alpha a_{12}I}},\quad
      u_2^{\star}  =  {\frac{r_1\alpha I-r_2a_{11}}
      {a_{11}a_{22}+\alpha a_{12}I}}
\end{equation}
 where $I =   \int_0^\tau f(s) e^{-\gamma s} ds$.
    The main result in \cite{rui} is as follows:

\begin{theorem}
      Let the initial functions $\phi_i$ $(i=1,2)$ be H\"older
      continuous in $[-\tau,0]\times\overline\Omega$, with
      $\phi_i(t,x)\geq 0$, $\phi_i(0,x)\neq 0$. Let
      $(u_1(t,x),u_2(t,x))$ satisfy \eqref{1}--\eqref{4}.
      In addition to {\rm (H1)--(H2)}, assume  that
\begin{itemize}
 \item[(H3)] $a_{11}a_{22}>a_{12}\alpha
        {\int_0^{\tau}f(s)e^{-\gamma s}ds}$
\end{itemize}
      Then
      ${\lim_{t\to\infty}u_i(t,x)=u_i^{\star}}$
      ($i=1,2$) uniformly for $x\in\overline\Omega$
    \end{theorem}

Xu, Chaplain and Davidson considered both, the coefficients of inter-species
interaction and their birth and death rates to be constant. However, it must
not be forgotten that the variability implicit in the environment means
that these coefficients may depend on variables such as time,
temperature, light flux, etc. Therefore, whenever possible, it is
convenient to introduce these factors as functions of these
variables even though this may complicate the resolution of the
system of differential equations \cite{lop}.

In this work, we extend  Theorem \ref{theo1} to the case where the coefficients
are functions of  space and time as follows
\begin{gather}
\begin{aligned}\label{6}
  {\frac{\partial u_1}{\partial t}} & =  D_1\Delta u_1(t,x)
 +  u_1(t,x)\big[r_1(t,x)-a_{11}(t,x)u_1(t,x)-a_{12}(t,x)u_2(t,x)\big]
\end{aligned}\\
  \label{7}
\begin{aligned}
{\frac{\partial u_2}{\partial t}}
& =  D_2\Delta u_2(t,x)  +  \alpha(t,x){\int_0 ^{\tau}f(s)e^{-\gamma
  s}u_1(t-s,x)u_2(t-s,x)ds} \\
& \quad -   r_2(t,x)u_2(t,x)-a_{22}(t,x)u_2^2(t,x) ;
 \quad  (t,x)\in(0,\infty)\times\Omega
\end{aligned} \\
 \label{8}
  {\frac{\partial u_i}{\partial\nu}}=0 \quad (i=1,2),\;
  t>0,\; x\in\partial\Omega\\
  \label{9}
  u_i(t,x)=\phi_i(t,x)\quad (i=1,2), \;  t\in[-\tau,0],\;
 x\in\overline\Omega
\end{gather}

In our case the asymptotic behavior of  time-dependent solution will
be determined since we will be able to a obtain a prior upper an
lower bounds for the system \eqref{6}--\eqref{9}.

Similar problems with constant coefficients are considered in
\cite{chen_wang, rui02},
where systems of equations with diffusion are studied.
One equation with diffusion and
variable coefficients is analyzed in \cite{shi_chen}.
The competition case with diffusion
and variable coefficients is studied in \cite{muh}.
Some cases of variable coefficients
with no diffusion are studied in \cite{chen_li, montes, wang_meng}.

The rest of the paper is organized
as follows. In section 2 we state the definition of upper and lower
solutions, we also discuss the existence and uniqueness of
positive solution of our system. In section 3 we find a global
attractor for \eqref{6}--\eqref{9}. Finally, we present
a brief discussion in the last section.


\section{Preliminaries}

\begin{Definition} \label{def1}\rm
A pair of functions
$$
\tilde u(t,x) =(\tilde u_1(t,x),\tilde u_2(t,x)), \quad
\hat u(t,x) = (\hat u_1(t,x),\hat  u_2(t,x))
$$
defined for $t\geq0, x\in\overline\Omega$  are called coupled  upper
and lower solutions of systems
  \eqref{6}--\eqref{9} if $\tilde u_i\geq\hat u_i$ in
$[-\tau \times \overline{\Omega})$
  and if for all $\psi_i$ such that $\hat u_i\leq\psi_i\leq\tilde u_i$
the following differential inequalities hold:
\begin{gather*}
   \frac{\partial\tilde u_1}{\partial t}
 \geq  D_1\Delta\tilde u_1   +\tilde u_1(t,x)[r_1(t,x)
-a_{11}(t,x)\tilde u_1(t,x)-a_{12}(t,x)\hat u_2(t,x)]\\
        {\frac{\partial\tilde u_2}{\partial t}}
 \geq  D_2\Delta\tilde u_2(t,x) +
        \alpha(t,x)\int_0^\tau f(s)e^{-\gamma s} \psi _1\psi _2ds
  - r_2(t,x)\tilde u_2 - a_{22}(t,x)\tilde{u}_2^2 \\
        {\frac{\partial\hat u_1}{\partial t}}
\leq  D_1\Delta\hat u_1+\hat u_1(t,x)[r_1(t,x)
  -a_{11}(t,x)\hat u_1-a_{12}(t,x)\tilde u_2] \\
\begin{aligned}
\frac{\partial\hat u_2}{\partial t}
& \leq  D_2\Delta\hat u_2(t,x) + \alpha(t,x)\int_0^\tau f(s)
   e^{-\gamma s}\psi _1\psi _2ds  \\
&\quad  - r_2(t,x)\tilde u_2(t,x) - a_{22}(t,x)(\tilde{u}_2(t,x))^2
\end{aligned}
 \end{gather*}
for $(t,x)\in(0,\infty)\times\Omega$, and
\begin{gather*}
    \frac{\partial\hat u_i}{\partial\nu}  \leq  0
      \leq  \frac{\partial\tilde u_i}{\partial\nu}
      \quad (i=1,2),\;  (t,x)\in(0,\infty)\times\partial\Omega\\
      \hat u_i(t,x)  \leq  \phi_i(t,x)  \leq  \tilde u_i(t,x)
      \quad (i=1,2),\;   (t,x)\in[-\tau,0]\times\overline\Omega
\end{gather*}
  \end{Definition}


It is easy to see that $(0,0)$ and $(k_1,k_2)$, with
\begin{gather*}
k_1=\max\{\frac{r_1}{A_{11}}, \sup_{-\tau\leq\theta\leq0}\|\phi(\theta ,
\cdot)\|\},\\
k_2=\max\{\frac{r_2}{\alpha_2k_1\int_0^{\tau}f(s)e^{-\gamma \tau}d\tau},
  \sup_{-\tau\leq\theta\leq0}\|\phi(\theta , \cdot)\|\},
\end{gather*}
are  pairs of coupled lower-upper solutions
of problem \eqref{6}--\eqref{9}.

 The existence of solutions of  problem \eqref{6}--\eqref{9} is guaranteed
by a result established by Redlinger
  in \cite{red} if the  reaction part of the equations satisfy
  the Lipschitz condition, which turns to be true in this  case.


\begin{proposition}\label{prop_Xu_Chaplain}
Let the initial function $\phi$ be H\"older
continuous in $[-\tau,0]\times\overline\Omega$. Assume that
$A_1\geq0$, $B>0$, $A_2>0$, and $f(s)$ is defined as in {\rm (H1)}. Let
$u(x,t)$ be a nonnegative nontrivial solution of the
scalar problem
\begin{gather*}
  {\frac{\partial u}{\partial t}}
=  D\Delta u +  B\int_{0}^\tau f(s)e^{-\gamma s}u(t-s,x)ds
   -A_1u(t,x) - A_2u^2(t,x), \quad (t,x)\times\Omega, \\
{\frac{\partial u}{\partial\nu}}
= 0, \quad  (t,x)\times \partial\Omega, \\
u(t,x) =  \phi(t,x)\geq 0, \quad \phi(0,x)\neq0,
\quad (t,x)\in[-\tau,0]\times\overline\Omega.
\end{gather*}
Then we have
\begin{itemize}
\item[(i)] if $B{\int_0^\tau f(s)e^{-\gamma s}ds}>A_1$, then
  \begin{equation*}
  {\lim_{t\to\infty}u(t,x)}={\frac
  {B{\int_0^\tau f(s)e^{-\gamma s}ds}-A_1}{A_2}}
  \quad  \text{uniformly for } x\in\overline\Omega
\end{equation*}
\item[(ii)] if $B{\int_0^\tau f(s)e^{-\gamma s}ds}<A_1$, then
  \begin{equation*}
  {\lim_{t\to\infty}u(t,x)}= 0 \quad \text{uniformly for }
   x\in\overline\Omega
  \end{equation*}
\end{itemize}
\end{proposition}

A proof of the above proposition can be found in \cite{rui}.

\section{Global Attractor}

 We assume that system \eqref{6}--\eqref{9} has bounded variable
  coefficients with the following properties:
\begin{gather*}
0<a_{11}\leq a_{11}(t,x)\leq A_{11}, \quad
0<a_{12}\leq a_{12}(t,x)\leq A_{12}, \\
0<r_1   \leq r_1(t,x)   \leq R_1, \quad
0<r_2   \leq r_2(t,x)   \leq R_2, \\
0\leq \alpha_1 \leq\alpha(t,x) \leq\alpha_2, \quad
0<a_{22}\leq a_{22}(t,x)\leq A_{22}\,.
\end{gather*}

We have the following results.

\begin{proposition} \label{prop1}
 Let $u_1$, $u_2$ be solutions of \eqref{6}--\eqref{9},
\[
\underline{M}_i = {\liminf_{t \to \infty}
[ \min_{x\in \overline{\Omega}}u_i(t,x)]},\quad
\overline{M}_i = {\limsup_{t \to \infty}
[ \max_{x\in \overline{\Omega}}u_i(t,x) ]}
\]
 and $I= \int_0 ^{\tau}f(s)e^{-\gamma  s}ds$. Assume {\rm (H1)},
 and that the initial conditions $\phi_i\geq 0$ for $i=1,2$.
\begin{itemize}
\item[(a)] If
$\underline{M}_1 > \frac{R_2}{\alpha_1 I}$, then
\begin{equation}
    \frac{\alpha_1 \underline{M}_1 I -R_2}{A_{22}}
\leq \underline{M}_2  \leq  \overline{M}_2 \leq \frac{\alpha_2 \overline{M}_1 I -
r_2}{a_{22}} \label{ast1} %asterisco1
\end{equation}

\item[(b)] If  $a_{11}r_2\geq\alpha_2R_1I$, then
$\underline{M}_2=0=\overline{M_2}$.
\end{itemize}
\end{proposition}

\begin{proof}
  Let $\bar u$ and $\hat u$ be solutions of
\begin{equation} \label{10}
\begin{gathered}
    L_2\bar u  =  \alpha_2\overline{M_1}I(\bar u) - r_2\bar u- a_{22}\bar u^2, \\
    L_2\hat u  =  \alpha_1\underline{M}_1I(\hat u) - R_2\hat u- A_{22}\hat
    u^2,
\end{gathered}
\end{equation}
with boundary conditions and initial values as for $u_2$,
where  $L_i u  = u_t-D_i \Delta u$ for $i=1,2,$ and
\[
    I(u)= \int_0 ^{\tau}f(s)e^{-\gamma  s}u(t-s,x)ds,
\]
then $\bar u$ and $\hat u$ are upper and lower solutions of $u_2$; therefore
\begin{equation}\label{cotas_u2}
    \hat u \leq u_2 \leq \bar u.
\end{equation}
If $\underline{M}_1 > \frac{R_2}{\alpha_1 I}$ then
$\overline{M}_1 > \frac{r_2}{\alpha_2 I}$, thus applying
(a) of Proposition \ref{prop_Xu_Chaplain} we obtain
\[
    \lim_{t\rightarrow \infty} \hat u  =
    \frac{\alpha_1 \underline{M}_1 I -R_2}{A_{22}},  \quad
    \lim_{t\rightarrow \infty} \bar u  =
   \frac{\alpha_2 \overline{M}_1 I - r_2}{a_{22}},
\]
from this and (\ref{cotas_u2}) we obtain (\ref{ast1}).
The proof of de second part is similar using (b) of
Proposition \ref{prop_Xu_Chaplain}.
\end{proof}

With a similar idea and  taking the appropriate
upper and lower solutions of \eqref{6} we note
that
\begin{equation}
    \frac{r_1-\overline{M}_2 A_{12}}{A_{11}} \leq \underline{M}_1
\leq \overline{M}_1 \leq \frac{R_1-\underline{M}_2 a_{12}} {a_{11}}. \label{ast2}
\end{equation}

With the hypothesis and notation of the previous proposition and its
proof, we have the following result.

\begin{proposition} \label{prop3}
    If $a_{11} r_2 \leq \alpha_2 R_1 I$, then
\begin{equation}
    \overline{M}_2 \leq \frac{\alpha_2 \frac{R_1}{a_{11}} I - r_2}{a_{22}}
\label{ast3}
\end{equation}
\end{proposition}

\begin{proof}
>From equation \eqref{ast2} we have that $\overline{M}_1<R_1/a_{11}$,
therefore for each $\epsilon>0$ there exists $T>0$ such that
$u_1(t-s,x)<(R_1/a_{11})+\epsilon$ for all $t>T$, $s\in[0,\tau]$ and
$x\in \Omega$.
Let $\omega_2$ be a solution of
\begin{gather}%\label{2.10}
L_2 \omega _2  =  \alpha_2\big( \frac{R_1}{a_{11}}+ \varepsilon \big)
I(\omega_2)(t,x)
- r_2\omega _2(t,x)-a_{22}(\omega _2(t,x))^2;\quad t>T, \; x\in\Omega\\
 {\frac{\partial\omega_2}{\partial t}} = 0 \quad  t>T, \; x\in\partial\Omega\\
\omega_2(t,x) = k_2 \quad (t,x)\in[T-\tau,T]\times\overline\Omega.
\end{gather}
where $I(w)(t,x)={\int_0^{\infty}f(s)e^{-\gamma s}w(t-s,x)ds}$. Since
\[
    \alpha_2 \big( \frac{R_1}{a_{11}}+ \varepsilon \big) I \geq
    \alpha_2 \frac{R_1}{a_{11}} I  \geq r_2
\]
then we can use Proposition \ref{prop_Xu_Chaplain}
to obtain
\[
    \lim_{t\to \infty} \omega_2(t,x)
=\frac{\alpha_2 \big( \frac{R_1}{a_{11}}+ \varepsilon \big) I -r_2}{a_{22}}.
\]
Since $\omega_2$ is an upper solution of $u_2$,
$\omega_2(t,x) \leq u_2(t,x)$
for $t>T$ and $x\in \Omega$; therefore
\[
\overline{M}_2 \leq \lim_{t\to \infty} \omega_2(t,x)=\frac{\alpha_2 \big( \frac{R_1}{a_{11}}+ \varepsilon \big) I -r_2}{a_{22}}
\]
and we obtain (\ref{ast3}) from the fact that $\epsilon$ is
arbitrary.
\end{proof}

Now, we are able to state our two main results.

\begin{theorem} \label{theo1}
Let the initial functions $\phi_i$ be H\"older
continuous in $[-\tau,0]\times \overline\Omega$, with
$\phi_i(t,x)\geq 0$, $\phi_i(0,x)\neq 0$ for $i=1,2$.
Let $u_1(t,x)$, $u_2(t,x)$
satisfy \eqref{6}--\eqref{9}. In addition to {\rm (H1)} assume further
that
\begin{gather}
    a_{11} r_2  \leq  \alpha_2 R_1 I,  \label{G2}\\
    \alpha_2 A_{12} R_1 I  \leq  a_{11} (a_{22} r_1 + a_{12} r_2)\,.
\label{G1}
\end{gather}
Then
\begin{gather}
 \alpha_1  I \underline{M}_1 - A_{22} \underline{M}_2  \leq R_2, \label{syst1} \\
r_2 \leq  \alpha_2  I \overline{M}_1 - a_{22} \overline{M}_2,  \label{syst2}\\
r_1 \leq  A_{11} \underline{M}_1+ A_{12} \overline{M}_2,  \label{syst3}\\
 a_{11} \overline{M}_1+ a_{12} \underline{M}_2  \leq R_1. \label{syst4}
\end{gather}
\end{theorem}

\begin{proof}
 From (\ref{G1}) we obtain
\[
    \frac{\alpha_2 \frac{R_1}{a_{11}} I - r_2}{a_{22}} \leq
\frac{r_1- \frac{A_{11} R_2}{\alpha_1 I}}{A_{12}}\,.
\]
Now, we can use Proposition \ref{prop3}, because of (\ref{G2}),
the above inequality leads to
\[
    \overline{M}_2 \leq \frac{r_1- \frac{A_{11} R_2}{\alpha_1 I}}{A_{12}}
\]
which implies
\[
    \frac{R_2}{\alpha_1 I} \leq \frac{r_1-\overline{M}_2 A_{12}}{A_{11}}
\]
and with \eqref{ast2}, we obtain
\[
 \frac{R_2}{\alpha_1 I} \leq \underline{M}_1,
\]
thus, we can use Proposition \ref{prop1} to obtain
\eqref{syst1}--\eqref{syst2}, and \eqref{syst3}--\eqref{syst4}
 follow from \eqref{ast2}.
\end{proof}

\begin{theorem} \label{theo2}
Let $\delta  =  a_{11} a_{22} A_{11} A_{22} - a_{12} A_{12}
\alpha_1 \alpha_2 I^2$, and assume hypothesis {\rm (H1)} and
\eqref{G2}--\eqref{G1}.
If  $\delta>0$, then
\[
    s_1 \leq  \underline{M}_1 \leq \overline{M}_1  \leq S_1, \quad
    s_2 \leq  \underline{M}_2 \leq \overline{M}_2  \leq S_2,
\]
where
\begin{gather*}
    s_1  =  {\frac{a_{11}A_{22}(A_{12}r_2+a_{22}r_1)-\alpha_2A_{12}I
    (a_{12}R_2+A_{22}R_1)}{\delta}}, \\
    S_1  =  {\frac{A_{11}a_{22}(a_{12}R_2+A_{22}R_1)
    -\alpha_1a_{12}I(A_{12}r_2+a_{22}r_1)}{\delta}}, \\
    s_2  =  {\frac{a_{11} a_{22} (\alpha_1 r_1 I - A_{11} R_{2})
    - \alpha_1 A_{12} I (\alpha_2 R_1 I- a_{11} r_2)}{\delta}}, \\
    S_2  =  {\frac{A_{11} A_{22} (\alpha_2 R_1 I - a_{11} r_{2})
    - \alpha_2 a_{12} I (\alpha_1 r_1 I- A_{11} R_2)}{\delta}}.
\end{gather*}
\end{theorem}

\begin{proof}
  This is the solution of the set of inequalities
\eqref{syst1}--\eqref{syst4} using
the fact that $\delta>0$.
\end{proof}

\begin{theorem}\label{theo4}
  Let the initial functions $\phi_i$ (i=1,2) be H\"older continuous in
  $[-\tau,0]\times\overline\Omega$ with $\phi_i(t,x)\geq0$. Let
  $(u_1,u_2)$ satisfy \eqref{6}--\eqref{9}. In addition to {\rm (H1)}
  assume further that
  \begin{equation*}
    a_{11}r_2\geq\alpha_2R_1I
  \end{equation*}
  then
  $\underline{M}_2 = 0 = \overline{M_2}$
  and
  \begin{equation}
    \frac{r_1}{A_{11}} \leq \underline{M}_1 \leq \overline{M}_1 \leq \frac{R_1}{a_{11}}\,.
  \end{equation}
\end{theorem}

The above theorem is a consequence of the second part of the Proposition
\ref{prop1}
and (\ref{ast2}).

As a consequence of Theorem \ref{theo2} and Theorem \ref{theo4}, when
 the coefficients are constants we obtain
\cite[Theorems 2.1 and 2.2]{rui}. However, here we provided another
way to prove these two theorem.

\subsection{Discussion}
Motivated by the work on \cite{muh}, in this paper we have
incorporated variable coefficients in to a Lotka Volterra type
predator-prey model with diffusion and stage structure. By using the
coupled upper-lower solutions technique, we give sufficient
conditions to guarantee the existence of a global attractor for the
system. Biologically condition (15) says that lower bound of the
death rate of the mature predator and the lower bound of the intra
specific competition rate of the prey are sufficiently low.
Condition (16) means that the inter specific growth rate of the prey
and the inter specific interaction between the prey and the mature
predator are low enough. Theorem \ref{theo4} ecologically implies
that the predator population will go to extinction but the prey
population will  persist and this occurs if the death rate of the
mature predator population and the intra specific competition rate
are high and the conversion rate of the predator and the intrinsic
growth rate of the prey are sufficiently low. According to Theorem \ref{theo2} and
Theorem \ref{theo4} we note that the bounds do not depend on the diffusion
coefficients $D_1$ and $D_2$, that is the global attractors found depend
only on the reaction terms.

\subsection*{Acknowledgments} 
E. Avila-Vales was supported  by CONACYT under
grant SEP-2003-C02-44029 and by SNI under grant 15284. 
A. Estrella was suppported by SNI under grant 37805.
J. Hernandez-Pinzon was supported by CONACYT under
grant SEP-2003-C02-44029.


\begin{thebibliography}{00}

\bibitem{chen_li} F. Chen, Z. Li, X. Xie,
\emph{Permanence of a nonlinear integro-differential
        prey-competition model with infinite delays,}
        Communications in Nonlinear Science and Numerical Simulation
13 (2008) 2290-2297.
\bibitem{chen_wang} Y. Chen, M. Wang,
        \emph{Asymptotic behavior of solutions
        of a three-species predator-prey model with diffusion and time delays,}
        Applied mathematical letters 17 (2004) 1403-1408.
\bibitem{red} R. Redlinger,
        \emph{Existence theorem for semilinear
        parabolic system with functionals,}
         Nonlinear Anal. 8(1984),  667-682.
\bibitem{lop} J. F. L\'opez S\'anchez, F. Alhama, C.F.
        Gonz\'alez-Fern\'andez.
        \emph{Introduction and Permanence of Species in a
        Diffusive Lotka-volterra System with Time-Dependent Coefficients,}
        Ecological Modeling 183 (2005), 1-9.
\bibitem{montes}F. Montes de Oca, M. Vivas,
        \emph{Extinction in a two dimensional Lotka-Volterra system with
        infinite delay,}
        Nonlinear Analysis: RealWorld Applications 7 (2006), 1042-1047.
\bibitem{muh} M. Uh Zapata, Eric Avila-Vales, Angel G. Estrella.
        \emph{Asymptotic behavior of a competition-diffusion
        system with variable coefficients and time delays,} Journal
        of applied mathematics. Vol. 2008 (2008), article ID537284.
\bibitem{rui} Rui Xu, M. A. J. Chaplain, F. A. Davidson.
        \emph{Global convergence of reaction-diffusion predator
prey model with stage structure for the predator,}
        Applied Mathematics and Computation 176 (2006), 388-401.
\bibitem{rui02} R. Xiu,
        \emph{A reaction-diffusion predator-prey
        model with stage structure  and nonlocal delay,}
        Applied Mathematics and Computation 175 (2006), 984-1006.
\bibitem{shi_chen} B. Shi, Y. Chen,
        \emph{A prior bounds and stabiblity of
        solutions for Volterra reaction-diffusion equation with
        infinite delay,} Nonlinear Analysis 44(2001), 97-121.
\bibitem{wang_meng} Y. Meng, Y. Wang,
        \emph{Asymptotic Behavior of a predator-prey diffusion system
with time delays},  Electronic Journal of Differential Equations,
Vol. 2005 (2005), No. 131, 1-11

\end{thebibliography}

\end{document}
