
\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
{\em Electronic Journal of Differential Equations},
Vol. 2006(2006), No. 38, 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 2006 Texas State University - San Marcos.}
\vspace{9mm}}

\begin{document}
\title[\hfilneg EJDE-2006/38\hfil Asymptotically almost periodic solutions]
{Asymptotically almost periodic and almost periodic solutions
for a class of partial integrodifferential  equations}
\author[E. Hern\'andez, J. C. dos Santos\hfil EJDE-2006/38\hfilneg]
{Eduardo Hern\'andez M.,  Jos\'e Paulo C. dos Santos}  % in alphabetical order

\address{Eduardo Hern\'andez M.\newline
Departamento de Matem\'atica \\
Instituto de Ci\^encias Matem\'aticas de S\~ao Carlos \\
Universidade de S\~ao Paulo \\
Caixa Postal 668 \\
13560-970 S\~ao Carlos, SP. Brazil}
\email{lalohm@icmc.sc.usp.br}

\address{Jos\'e Paulo C. dos Santos \newline
Departamento de Matem\'atica \\
Instituto de Ci\^encias Matem\'aticas de S\~ao Carlos \\
Universidade de S\~ao Paulo \\
Caixa Postal 668 \\
13560-970 S\~ao Carlos, SP. Brazil}
\email{zepaulo@icmc.sc.usp.br}

\date{}
\thanks{Submitted December 2, 2005. Published March 21, 2006.}
\subjclass[2000]{35B15, 45D05, 34K30}
\keywords{Almost periodic solutions; integrodifferential equations}

\begin{abstract}
 In this note,  we establish  the existence of  asymptotically
 almost periodic and almost periodic solutions for a class
 of partial integrodifferential equations.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}


\section{Introduction}

 In  this short note,  we study the existence
 of asymptotically almost periodic and almost periodic solutions for a
  class of  abstract  partial  integrodifferential
 equations  of the form
 \begin{gather}  \label{ne1}
u'(t) = Au(t) + \int_{0}^{t}B(t-s)u(s) ds+ g(t,u(t)),\\
\label{ne2}  u(0)= x_{0},
\end{gather}
 where $ A:D(A)\subset   X\to X$, $ B(t):D(B(t))\subset X\to X$,
 $t\geq 0$,  are linear,  closed and densely defined  operators
on a Banach space $X$;
   $D(B(t))\supset D(A)$ for
  every $t\geq 0$ and $ g(\cdot)$ is a continuous function.


  Abstract partial integrodifferential equations arise in many areas
of applied
mathematics  and for this reason this type of equation has received
much attention in recent years, see for example
\cite{Hudson1,Leugering1,MacCamy1,Miller1}. The existence and
qualitative properties of solutions for different  types  of
abstracts partial integrodifferential systems have  been treated in
several works, see for instance \cite{Liang1,Liang2} and the
associated references.

The existence  of  almost periodic and asymptotically almost periodic solutions is one of the
most attracting topics in the qualitative theory of differential
equations due to their  significance in physical sciences. For the
cases of ordinary  differential equations and abstract  partial
differential equations, this problem has been treated in several
works and respect to this matter we cite
\cite{Feng1,Gao1,Regan1,Zhao1,Yos1,z5,z4,z3}  and the references
therein.

  The almost periodicity of solutions of abstract partial
integrodifferential   equations have been studied in some research
works. Pr\"uss  studied in  \cite{pruss1} conditions
under which a solution  of
 $ u'(t)=  Au(t)+ \int_{0}^{\infty}dB(r)u(t-r)+g(t)$
is periodic or almost periodic if $g$  has the  corresponding
property.  On the other hand, Jakubowski $\&$ Ruess investigated
in \cite{ruess1} when some asymptotic properties (such as
asymptotic almost periodicity and weak almost periodicity in the
sense of Eberlein) of the “forcing” term $g$  are inherited by the
solutions of the integrodifferential equation
$$
\frac{d}{dt}\Big(\kappa (u(t)-u(0))+\int_0^{t}K(t-s)(u(s)-u(0) )ds\Big)
+Au(t)\ni g(t),
$$
where  $A$ is a multi-valued m-accretive operator. To the
best of our knowledge, the study of the existence of asymptotically almost periodic and
almost periodic solutions for semi-linear integrodifferential equation (the
case  $ f(t,u(t))$) is a untreated topic, and this fact is the
main motivation of this work.

   To obtain our results we will use the theory of resolvent  of
bounded linear operators. This theory is related to partial
integrodifferential   equations in the same manner that semigroup
theory is related to first order linear partial differential
equations. The existence of solutions
 and wellposedness of (\ref{ne1})-(\ref{ne2}), (equivalently, the
existence of a resolvent of bounded linear operators  associated
to (\ref{ne1})-(\ref{ne2})),  have been considered in many works
and under different assumptions on the operators $A,B(t)$. For
additional details respect this theory and their applications to
partial integrodifferential equations,  we suggest the reader the
 Grimmer works \cite{Grimmer2,Grimmer3,Grimmer1}.


  Next, we review some notations and properties needed to
establish our results.  In this paper, $(X,\|\cdot\| )$ is a
abstract Banach space;  $A:D(A) \subset X\to X$  and
$B(t):D(B(t)) \subset X\to X$, $t\geq 0$, are
 linear, closed and densely defined operator on  $X$
 with $D(B(t))\supset D(A)$ for each $t\geq 0$.
 To obtain our results we  will assume  that the integrodifferential
   abstract Cauchy problem
\begin{gather}\label{eq1}
x'(t) = Ax(t)+\int_{0}^{t}B(t-s)x(s)ds,\quad  t >0,\\
\label{eq2} x(0) = x_{0}  \in X,
\end{gather}
has associated a resolvent operator  $(R(t))_{t\geq 0}$ on $X$.

\begin{definition} \label{def1.1} \rm
A one parameter family $(R(t))_{t\geq 0}$ of bounded  linear
operators from $X$ into $X$  is called a strongly continuous
resolvent operator for (\ref{eq1})-(\ref{eq2}) if the following
conditions are verified.

\begin{itemize}
\item[(i)] $R(0)=I_d$  and the function $R(t)x$ is
continuous on  $ [0,\infty) $ for every  $x \in X$.
\item[(ii)] $ R(t)D(A) \subset D(A)$ for all  $t\geq0$
and  for $x \in D(A), \, AR(t)x $ is continuous on $[0,\infty)$
and $R(t)x$ is continuously differentiable on $[0,\infty)$.
\item[(iii)] For $x \in D(A)$,  the next  resolvent
equations are  verified,
 \begin{gather*}%\label{res1}
R'(t)x = AR(t)x+\int_{0}^{t}B(t-s)R(s)x ds,\quad t\geq
0,\\
R'(t)x = R(t)Ax+\int_{0}^{t}R(t-s)B(s)x ds.\quad t\geq 0.
\end{gather*}
\end{itemize}
\end{definition}

 In this paper, we always  assume  that the resolvent operator
$(R(t))_{t\geq 0}$ is uniformly exponentially stable  and that
 $\widetilde{M}, \delta$ are positive constants such that
$\| R(t) \| \leq \widetilde{M}e^{-\delta t }$ for every
$t\geq 0 $.

 In the sequel, we mention a few results, definitions  and notations related to
 asymptotically almost periodic and  almost periodic functions.   Next,
 $(Z,\|\cdot\|_{Z} )$, $\,(W,\|\cdot\|_{W} )$ are   Banach spaces and
 $C_0([0, \infty);Z)$ is the subspace of $C([0, \infty);Z)$
formed by the  functions that vanishes at infinity.

\begin{definition} \label{def1.2} \rm
A set  $P\subset \mathbb{R} $ is said to be relatively dense in
$\mathbb{R}$ if there exists a number $ {\it l}>0$ such that
$[a,a+\it l]\bigcap P\neq \emptyset $ for every $a\in \mathbb{R}$.
\end{definition}

\begin{definition} \label{def1.3} \rm
A  function $F\in C(\mathbb{R};Z) $ is called almost periodic
(a.p.) if for every $\varepsilon > 0$ there exists a relatively
dense subset of $\mathbb{R}$, denoted by
$\mathcal{H}(\varepsilon, F,Z)$, such that
 $ \| F(t+ \xi ) - F(t) \|_{Z} < \varepsilon $ for every
$  t \in\mathbb{R}$ and all $ \xi \in \mathcal{H}(\varepsilon, F,Z)$.
\end{definition}

\begin{definition} \label{def1.4} \rm
A  function $F\in C([0, \infty);Z) $ is   called asymptotically
almost periodic (a.a.p.) if there exists  an almost periodic
function \,$g(\cdot)$  and $w \in C_0([0, \infty);Z)$ such that
$F(\cdot) =g(\cdot) + w(\cdot)$.
\end{definition}

  The next Lemma is a  useful characterization
of  a.a.p  function.

\begin{lemma}\cite[Theorem 5.5]{z5} \label{lema2}
 A function  $F\in C([0,\infty); Z)$ is asymptotically almost
periodic if and only if, for every $ \varepsilon > 0$ there exists
$L( \varepsilon,F,Z)> 0$ and a relatively dense subset of
$ [0,\infty) $, denoted by $\mathcal{T}(\varepsilon, F,Z ) $,
such that
$$
\| F(t+ \xi ) - F(t) \|_Z  < \varepsilon,\quad t \geq
 L( \varepsilon,F,Z),\, \xi \in \mathcal{T}( \varepsilon,F,Z).
$$
\end{lemma}

 In this  paper,  $AP(Z)$ and $AAP(Z)$  are the spaces
 \begin{gather*}
 AP(Z)=\{F\in C(\mathbb{R};Z): F \,\,\hbox{is a.p.}\},\\
 AAP(Z)=\{F\in C([0,\infty );Z): F \,\,\hbox{is a.a.p.}\},
 \end{gather*}
  endowed with  the norms
 $\mid\| u
\|\big|_{Z}=\sup_{s\in\mathbb{R}}\| u(s)\|$ and   $\| u
\|_{Z}=\sup_{s\geq 0}\| u(s)\|$ respectively. We  know from
\cite{z5} that  $AP(Z)$ and $AAP(Z)$ are Banach spaces.

\begin{definition} \label{def1.6} \rm
Let $ \Omega $ be an  open subset of $W$.
\begin{itemize}
  \item[(a)] A  function $F\in C(\mathbb{R} \times \Omega; Z)$
  is called  pointwise almost periodic (p.a.p.)  if $ F(\cdot,x)\in AP(Z)$
   for every $x\in \Omega$.
   \item[(b)] A
 function   $F\in  C([0,\infty) \times \Omega; Z)$  is
called   pointwise asymptotically almost periodic (p.a.a.p.)
if  $ F(\cdot,x)\in AAP(Z)$
 for every $x\in \Omega$.
  \item[(c)]   A  function $F\in C(\mathbb{R} \times \Omega; Z)$ is called uniformly almost periodic (u.a.p.), if
for every\, $\varepsilon > 0 $ and every compact $K \subset
\Omega$ there exists a relatively dense subset of $\mathbb{R}$,
denoted by $\mathcal{H}(\varepsilon,F, K,Z)$,  such that
$$
\|F( t+ \xi, y) - F(t,y) \|_{Z} \leq \varepsilon \quad (t, \xi,y) \in
\mathbb{R}\times \mathcal{H}(\varepsilon, F,K,Z) \times K.
$$
   \item[(d)]   A  function $F: C([0,\infty ) \times \Omega; Z)$  is called uniformly asymptotically almost periodic \,\, (u.a.a.p.),
  if for every  $\varepsilon > 0 $ and every compact
$K \subset \Omega$ there exists a relatively dense subset of $[0,
\infty)$, denoted  by $\mathcal{T}(\varepsilon,F, K,Z) $, and a
constant  $L(\varepsilon,F, K,Z)> 0$ such that
$$
\|F( t + \xi, y) - F(t,y)
\|_{Z} \leq \varepsilon,\quad   t\geq L(\varepsilon,F,
K,Z),\;(\xi,y) \in \mathcal{T}(\varepsilon, F, K,Z)\times K.
$$
\end{itemize}
\end{definition}

 The next lemma summarize  some properties which are
fundamental to  obtain our results. This results can be obtained
from \cite[Theorem 1.2.7]{Yos1}.

\begin{lemma}\label{lx}
Let  $ \Omega \subset W$ be an open  set. Then the following
properties hold.
\begin{itemize}
 \item[(a)]   If   $F\in C(\mathbb{R} \times \Omega; Z)$
  is  p.a.p.  and satisfies a local Lipschitz condition at $ x\in
\Omega$, uniformly at $t$, then  $F$ is u.a.p.
 \item[(b)]   If $F\in C([0,\infty) \times \Omega; Z)$ is   p.a.a.p.
 and satisfies a local Lipschitz condition at $ x\in
\Omega$, uniformly at $t$, then  $F$ is  u.a.a.p.
 \item[(c)] If
$F\in C(\mathbb{R} \times \Omega; Z)$ is u.a.p.
 and $y\in AP(W)$  is such that
$\overline{\{ y(t): t \in \mathbb{R}\}}^W \subset\Omega $, then $
F(t, y(t)) \in AP(Z)$.
 \item[(d)] If   $F\in C([0,\infty) \times
\Omega; Z)$  is u.a.a.p;
  $y\in AAP(W)$  and
$\overline{\{ y(t): t \geq 0\}}^W \subset\Omega $, then $ F(t,
y(t)) \in AAP(Z)$.
\end{itemize}
\end{lemma}



\section{ Existence Results} \label{Existence Results}

 In this section we study the existence of  asymptotically almost periodic and almost periodic solutions of (\ref{ne1}).
The next result is proved using the ideas and estimates in
\cite[Example 2.2]{z5}.

\begin{lemma}\label{l4}
Let   $v \in AAP(X)$ and    $u:[0,\infty )\to X$ be  the function
defined by
$$  u(t)=\int_{0}^t R(t-s)v(s)ds,\quad  t\geq 0.
$$
Then $  u\in AAP(X)$.
\end{lemma}

 To prove our existence  results we always assume  that the next condition
 holds.
\begin{enumerate}
\item[(H1)] The function
   $g:\mathbb{R}\times {X}\to X$ is  continuous
   and  there exists  a  continuous and nondecreasing function $L_g:[0, \infty) \to [0,
   \infty)$ such that
   \[
 \| g(t,x_{1})-g(t,x_{2})\| \leq
L_{g}(r)\| x_{1}-x_{2} \|,\quad  t\in \mathbb{R}, x_{i}\in
B_{r}(0,X).
 \]
  \end{enumerate}

 From Grimmer  \cite{Grimmer3}, we adopt the following
concept of mild solutions of   (\ref{ne1}).

\begin{definition} \label{def2.2} \rm
A function   $u\in AAP(X)$ is   a asymptotically almost
 periodic mild solution of system
(\ref{ne1}) if
$$
 u(t)=R(t)u(0)+ \int_{0}^{t}R(t-s)g(s,u(s))ds,\quad t\geq 0.
  $$
\end{definition}

\begin{definition} \label{def2.3} \rm
A function  $u\in AP(X)$ is  a almost periodic mild solution of system
(\ref{ne1}) if
$$
 u(t)=R(t-\sigma)u(\sigma)+ \int_{\sigma}^{t}R(t-s)g(s,u(s))ds,\quad t,\sigma \in \mathbb{R},\, t\geq\sigma.
  $$
\end{definition}

\begin{remark} \label{rm2.4} \rm
It is easy to see that $u\in AP(X)$ is  a almost periodic mild solution of
system (\ref{ne1}) if, and only if,
$$
 u(t)=\int_{-\infty}^{t}R(t-s)g(s,u(s))ds,\quad t\in \mathbb{R}.
  $$
\end{remark}

Now, we can to establish our first existence result.

\begin{theorem}\label{exmi}
  Assume  that $g(\cdot)$  is  p.a.a.p. If $L_g(0)=0$ and
  $g(t,0)=0$ for every
  $t\in\mathbb{R}$, then there exists $ \varepsilon >0$ such that for
 each  $x_{0} \in B_{\varepsilon}(0,X)$ there exists  a asymptotically almost periodic mild
 solution  $u(\cdot,x_{0} )$ of (\ref{ne1})
 such that   $u(0,x_{0} )=x_{0}$.
 \end{theorem}

\begin{proof}
    Let $r>0$ and $0<\lambda<1$ be such that
    $ \widetilde{M}\lambda + \frac{\widetilde{M}L_{g}(r)}{\delta}< 1$.
We affirm that the assertion holds for $\varepsilon=\lambda r$.
In fact, let $x_{0} \in B_{\varepsilon}(0,X)$. On the space
 $$
\mathfrak{D}= \{ u \in
AAP(X): u(0) =x_{0},\, \| u(t) \| \leq  r,\, t\geq 0\}
$$
endowed with the metric $d(u,v)=\| u-v\|_{X} $, we define the
map $ \Gamma: \mathfrak{D}\to C([0,\infty);X )$ by
$$
\Gamma u(t)=R(t)x_{0} +\int ^t_ 0 R(t-s)g(s,u(s)) ds, \quad
 t\geq 0.
$$
From the properties of $(R(t))_{t\geq 0}$ and $g(\cdot)$, we infer
that $\Gamma u(\cdot)$ is well defined and that $\Gamma u \in
C([0,\infty);X)$. Moreover, from Lemmas \ref{lx} and \ref{l4}  it
follows that $ \Gamma u\in AAP(X)$.

 Now, we prove that $\Gamma(\cdot)$ is a
contraction from $\mathfrak{D}$  into $\mathfrak{D}$.  From the
definition of   $ \Gamma $, for   $u\in \mathfrak{D}$ and $t\geq
0$ we get
\[ %\label{iii}
\| \Gamma u(t)\| \leq   \widetilde{M} \lambda r +  \int^t_0
\widetilde{M}e^{- \delta ( t-s)}L_g(r)r ds  \leq
\Big(\widetilde{M} \lambda+
\frac{\widetilde{M}L_{g}(r)}{\delta}\Big)r,
\]
which implies that  $ \Gamma(\mathfrak{D}) \subset
 \mathfrak{D}$. On the other hand, for $ u,v \in \mathfrak{D} $ we
 see that
\begin{align*}
\| \Gamma u(t) - \Gamma v(t) \| &\leq \widetilde{M}\int^t_0
L_{g}(r) e^{- \delta(t-s)}\|
u(s) - v(s) \| ds  \\
& \leq   \frac{\widetilde{M}L_{g}(r)}{\delta} \| u - v \|_{X},
\end{align*}
 which shows that $ \Gamma(\cdot)$  is a contraction from $\mathfrak{D}$ into
 $\mathfrak{D}$.
The assertion  of the theorem is  now a   consequence of the
 contraction mapping principle.
\end{proof}

The next result is proved using the ideas and estimates  in the proof
 of the previous theorem. The proof will be  omit.

\begin{theorem}\label{exmi2}
 If  $ g(\cdot)$  is   p.a.a.p;
    $ L_{g}(t)=L_{g}$ for all $t\geq 0$ and
     $\frac{\widetilde{M}L_{g}}{\delta} <1$, then for
every\, $x_{0} \in X$  there exists  a unique asymptotically almost periodic mild
 solution $u(\cdot,x_{0} )$  of (\ref{ne1}) such
 that $u(0,x_{0} )=x_{0}$.
 \end{theorem}

Now  we discuss the existence of  almost periodic
solution for  (\ref{ne1}).  In the next results,
we will  assume  that $g(t,x)=p(t,x)+\varphi (t)$,
 $(t,x)\in \mathbb{R}\times X$, where $\varphi \in AP(X)$  and the
following  condition.
\begin{enumerate}
\item[(H2)] The function   $p:\mathbb{R}\times {X}\to X$
is continuous
   and  there exists  a  continuous and nondecreasing function
$L_p:\mathbb{R} \to [0, \infty)$ such that
   \[
 \| p(t,x_{1})-p(t,x_{2})\| \leq
L_{p}(r)\| x_{1}-x_{2} \|,\quad t\in \mathbb{R}, x_{i}\in
B_{r}(0,X).
 \]
  \end{enumerate}

 \begin{theorem} \label{exmi1}
 Assume that $p(\cdot)$  is p.a.p.   If $L_p(0)=0$ and
  $p(t,0)=0$ for every $t\in \mathbb{R}  $, then there
  exists $\eta >0$  such that for every  $ \varphi \in B_{\eta }(0,AP(X))$
  there exists a unique  almost periodic mild solution of   (\ref{ne1}).
\end{theorem}

\begin{proof}   Let  $1>r>0$ and  $\eta>0 $ be  such that
$ \frac{\widetilde{M} }{\delta}( L_{p}(r)r+ \eta  )<r $. On
the space
 $B_{r}=\{u\in AP(X):\mid\| u\|\big|_{X}\leq r\}$ we define the operator  $\Gamma:
B_{r}\to C_{b}(\mathbb{R}; X)$  by
\[
\Gamma u(t) =  \int ^t_ {-\infty} R(t-s)g(s,u(s))
ds,\quad  t\in\mathbb{R}.
\]
 From the assumption, it is easy to see that   $\Gamma u(\cdot)$ is
 continuous and from Lemma   \ref{lx} we infer that
$v(t)=g(t,u(t))\in AP(X)$. Consequently,  for $t\in\mathbb{R}$ and
$\xi \in \mathcal{H}(\varepsilon, v,X ) $ we get
\begin{align*}
\| \Gamma u ( t + \xi ) - \Gamma u(t) \|
& \leq  \int^t_{-\infty}\widetilde{M} e^{-
\delta (t-s)}\| g(s + \xi, u(s +\xi)) - g(s , u(s))\| ds  \\
& \leq  \int^t_{- \infty}\widetilde{M} e^{- \delta
(t-s)}\varepsilon  \,ds
\leq \frac{\widetilde{M}\varepsilon}{\delta},
\end{align*}
which implies that  $\Gamma u\in AP(X)$. Moreover,
 for   $u\in B_{r}$ we see that
\begin{align*}
 \| \Gamma u(t)  \| & \leq  \int^t_{- \infty} \widetilde{M}
e^{-\delta(t-s)}L_{g}(r) \| u(s) \| ds+ \int^t_{- \infty}
\widetilde{M}e^{-\delta(t-s)}\mid\| \varphi \| |ds  \\
& \leq  \frac{\widetilde{M} }{\delta}( L_{g}(r)r+ \eta  )
\end{align*}
which shows that  $\Gamma ( B_{r}) \subset B_{r}$. On the other
hand,
 for  $u,v\in B_{r}$    we find that
\begin{equation}\label{equa2}
\begin{aligned}
 \| \Gamma u(t) - \Gamma v(t) \| & \leq\int^t_{- \infty} \widetilde{M}
e^{-\delta(t-s)}L_{g}(r) \| u(s)-v(s) \| ds  \\
& \leq  \frac{\widetilde{M} L_{g}(r)}{\delta}\mid\| u - v
\|\big|_{X},\nonumber
 \end{aligned}
\end{equation}
which allow us  conclude  that  $\Gamma $ is a contraction from
$B_{r} $ into $B_{r} $.

The   existence of an almost periodic mild solution for  (\ref{ne1}) is now a consequence of the contraction
on mapping principle. This completes the proof.
\end{proof}

In a similar  manner we can prove the next result.

\begin{theorem}\label{exmi3}
  Assume  condition (H2)  holds  and that  $p(\cdot)$  is  p.a.p.
    If    $L_{g}(t)=L_{g}$ for all
  $t\geq 0$ and $\frac{\widetilde{M} L_{g}}{\delta}
<1$,   then there   exists a unique almost periodic mild solution of
\eqref{ne1}.
\end{theorem}


\section{Example}\label{Examples}

 In this section we apply  our abstract   results to establish the
existence of  almost periodic and  asymptotically almost
periodic solutions  for the  partial
integrodifferential differential
\begin{equation}
\begin{aligned}
  C\theta'' (t) + \beta(0)\theta'(t)
 &=\alpha (0)\Delta \theta(t) -
   \int_{0}^{t}\beta'(t-s)\theta'(s)ds  \\
 &\quad +
   \int_{0}^{t}\alpha '(t-s)\Delta \theta (s)ds +a_{1}(t)a_{2}(\theta(t)),
\end{aligned}
   \end{equation}
which  arise   in the study of heat conduction in materials with
fading  memory, see \cite{Miller1,Grimmer1,Coleman1}.

In the sequel,   $X=H^1_0(\Omega)\times L^2(\Omega)$ where
$\Omega\subset \mathbb{R}^3$ is a open set  with smooth boundary of
 class $C^{\infty}$;  $\alpha(\cdot), \beta(\cdot)$ are
$\mathbb{R}$-valued
 functions of class $C^2$ on $[0,\infty)$ with  $ \alpha(0)>0$,  $
\beta(0)>0$  and
   $ A:D(A)=(H^2(\Omega) \cap H^1_0(\Omega))\times H^1_0(\Omega) \to
X$ is   the operator  defined by
$$ A \begin{bmatrix}
  x  \\
  y  \end{bmatrix}
= \begin{bmatrix}
  y  \\
  \alpha(0)\Delta - \beta(0)y
\end{bmatrix}
 $$
where $\Delta$ is the Laplacian on $\Omega$ with
boundary condition  $\theta\big|_{\partial \Omega}=0$.  We know
from Chen \cite{Chen1}, that $A$ is the infinitesimal generator of
a $C_0$-semigroup
 $(T(t))_{t\geq 0}$ on $X$ and that there are positive constant
  $\widetilde{M},\gamma$    such that $ \| T(t)
 \| \leq \widetilde{M}e^{-\gamma t } $ for all $t\geq 0$.

  Let $B(t)=AF(t)$ where
 $F(t):X \to X$, $t\geq 0 $, is defined by
$$
F=(F_{ij})= \begin{bmatrix}
0  &  0  \\
-\beta'(t)+ \beta(0)
    \frac{\alpha'(t)}{ \alpha(0)} &  \frac{ \alpha'(t)}{\alpha(0)}
\end{bmatrix}.
$$
Assume  functions $ \alpha^{(i)}(\cdot)$, $\beta^{(i)}(\cdot)$,
$i=1,2$, be bounded, uniformly continuous  and that
 \begin{gather*}
 \max\{ \| F_{22}(t) \| , \| F_{21}(t)\| \}
\leq \frac{\gamma e^{-\gamma t}}{2M},\quad  t\geq 0, \\
\max \{ \| F'_{22}(t) \| , \| F'_{21}(t)\| \}
\leq
\frac{\gamma^{2} e^{-\gamma t}}{4M^2}, \quad t\geq 0.
 \end{gather*}
Under these conditions, the abstract integrodifferential system
 \begin{equation}\label{eq3}
x'(t) = Ax(t)+\int_{0}^{t}AF(t-s)x(s)ds,
\end{equation}
has associated a resolvent  of operator $(R(t))_{t\geq 0}$ on $X$
such that
$ \| R(t) \| \leq \widetilde{M} e^{\frac{-\gamma t }{ 2}} $ for
 $t\geq 0$, see Grimmer \cite[p.\,343]{Grimmer1}
for details.

Consider the integrodifferential system
\begin{equation} \label{eqa}
\begin{aligned}
\begin{bmatrix}
\theta'(t)  \\
 \eta'(t)
\end{bmatrix}
&= \begin{bmatrix}
  0 & I \\
  \alpha(0)\Delta  & -\beta(0)I
\end{bmatrix}
\begin{bmatrix}
\theta(t)  \\
 \eta(t)
\end{bmatrix}
+  \int_{0}^{t}  \begin{bmatrix}
  0 & I \\
  \alpha'(t-s)\Delta  & -\beta'(t-s)I
\end{bmatrix}
\begin{bmatrix}
\theta(s)  \\
 \eta(s)
\end{bmatrix}\\
&\quad + \begin{bmatrix}
0  \\
 a_{1}(t)a_{2}(\theta(t))
\end{bmatrix}
\end{aligned}
\end{equation}
where the functions $ a_{i} : \mathbb{R}\to \mathbb{R}$, $i=1,2$,
are continuous. If $g(\cdot)$ is the function  defined by
\[
 g(t,\begin{bmatrix}
x  \\
 y
\end{bmatrix})(\xi)
= a_1(t) \begin{bmatrix}
0  \\
 a_{2}(x(\xi))
\end{bmatrix}
\]
the  system  (\ref{eqa}) can be transformed into
 the abstract integrodifferential equation (\ref{ne1}).

The next result follows from  Theorems
\ref{exmi} and \ref{exmi1}. We will  omit the proof.

\begin{theorem} \label{thm3.1}
Assume that the previous conditions are satisfied and that there
exists  a constant $L>0$ such that
$$
| a_{2}(t)-a_{2}(s)|\leq L|t -s |,\quad t,s\in \mathbb{R}.
$$
If $a_{1}(\cdot)$ is asymptotically  almost  periodic (resp.
almost periodic) and $ \frac{2\|
a_{1}\|_{\mathbb{R}}ML}{\gamma}<1$,
     then there exist a asymptotically  almost  periodic mild solution
      (resp. a almost periodic mild solution) of (\ref{eqa}).
\end{theorem}


\subsection*{Acknowledgements} The authors wish to thank to the
anonymous referees for their  comments and suggestions.
 Jose dos Santos wishes to
acknowledge the  support from Capes Brazil, for this research.

\begin{thebibliography}{00}

\bibitem{Chen1} Chen, Goong Control and
stabilization for the wave equation in a bounded domain. {\sl SIAM
J. Control Optim.  } 17 (1979), no. 1, 66--81.

\bibitem{Coleman1} Coleman, Bernard D.; Gurtin, Morton E. Equipresence and
constitutive equations for rigid heat conductors. {\sl   Z. Angew.
Math. Phys. }  18 1967 199-208.
\bibitem{Grimmer2} Desch, W; Grimmer, R; Schappacher, Wilhelm
Well-posedness and wave propagation for a class of
integrodifferential equations in Banach space. {\sl  J.
Differential Equations  } 74 (1988), no. 2, 391--411.

\bibitem{Feng1} Feng, Chunhua On the existence and uniqueness of almost
periodic solutions for delay logistic equations.  { \sl Appl.
Math. Comput. } 136 (2003), no. 2-3, 487--494.

\bibitem{Gao1} Gao, Hongjun; Bu, Charles Almost periodic solution for a model of
tumor growth.  { \sl  Appl. Math. Comput.  } 140 (2003), no. 1,
127-133.


 \bibitem{Grimmer3} Grimmer, R.; Prüss, J. On linear Volterra equations in Banach spaces. Hyperbolic
 partial differential equations, II. {\sl   Comput. Math. Appl. }  11 (1985), no. 1-3, 189--205.

\bibitem{Grimmer1} Grimmer, R. C. Resolvent operators for integral equations in a
Banach space.  {\sl Trans. Amer. Math. Soc. }  273 (1982), no. 1,
333--349.


\bibitem{Hudson1} Hudson, J. A. {\sl  The excitation and propagation of elastic
waves. } Cambridge Monographs on Mechanics and Applied
Mathematics. Cambridge University Press, Cambridge-New York, 1980.

\bibitem{ruess1}  Jakubowski, Volker G.; Ruess, Wolfgang M.
Asymptotic behaviour of solutions of nonlinear Volterra equations.
 Evolution equations: applications to
physics, industry, life sciences and economics (Levico Terme,
2000), 253-273, Progr. Nonlinear Differential Equations Appl., 55,
Birkhäuser, Basel, 2003.

\bibitem{Leugering1} Leugering, Günter A generation result for a class of linear
thermoviscoelastic material. {\sl  Dynamical problems in
mathematical physics  } (Oberwolfach, 1982), 107--117, Methoden
Verfahren Math. Phys., 26, Lang, Frankfurt am Main,
1983.

\bibitem{Liang1} Liang,
Jin; Xiao, Ti-Jun Semilinear integrodifferential equations with
nonlocal initial conditions. { \sl Comput. Math. Appl.  } 47
(2004), no. 6-7, 863--875.

\bibitem{Liang2} Liang, Jin; Xiao, Ti-Jun;  van Casteren,
J.A note on semilinear abstract functional differential and
integrodifferential equations with infinite delay. {\sl Appl.
Math. Lett. } 17 (2004), no. 4, 473--477.
\bibitem{MacCamy1} MacCamy, R. C. An integro-differential
equation  with application in heat flow. {\sl  Quart. Appl. Math.
} 35 (1977/78), no. 1, 1--19.

\bibitem{Miller1} R. K. Miller,  An integro-differential equation for rigid heat
conductors with memory. {\sl  J. Math. Anal. Appl. }  66 (1978),
no. 2, 313--332.


\bibitem{Regan1}  O'Regan, D.; Meehan, M. Periodic and almost periodic solutions of
integral equations.  { \sl Appl. Math. Comput.  } 105 (1999), no.
2-3, 121--136.


\bibitem{pruss1} Pr$\rm \ddot{u}$ss, Jan Bounded solutions of Volterra equations. SIAM J. Math.
Anal. 19 (1988), no. 1, 133-149.

\bibitem{pruss2}  Pr$\rm \ddot{u}$ss, Jan Evolutionary integral equations and
applications. (English. English summary) Monographs in
Mathematics, 87. Birkhäuser Verlag, Basel, 1993.



\bibitem{Yos1} Yoshizawa, T.   { \sl Stability theory and the existence of periodic
solutions and almost periodic solutions. }  Applied Mathematical
Sciences, Vol. 14. Springer-Verlag, New York-Heidelberg, 1975.

\bibitem{z5} Zaidman, S.   { \sl Almost-periodic functions in abstract spaces. } Research
Notes in Mathematics, 126. Pitman (Advanced Publishing Program),
Boston, MA, 1985.

\bibitem{z4} Zaidman, S. Abstract differential equations with almost-periodic
solutions. {\sl J. Math. Anal. Appl. 107 (1985), }  no. 1,
291--299.

\bibitem{z3} Zaidman, S. A nonlinear abstract differential equation with
almost-periodic solution. {\sl  Riv. Mat. Univ. Parma }  (4) 10
(1984), 331--336.

\bibitem{Zhao1} Zhao, Hongyong Existence and global attractivity of almost
periodic solution for cellular neural network with distributed
delays.  { \sl Appl. Math. Comput. } 154 (2004), no. 3,
683--695.

\end{thebibliography}









\end{document}
