
\documentclass[twoside]{article}
\usepackage{amssymb, amsmath}

\pagestyle{myheadings}
\markboth{\hfil Boundedness and almost periodicity \hfil EJDE--2002/67}
{EJDE--2002/67\hfil E. H. Ait Dads \&  K. Ezzinbi \hfil}
\begin{document}

\title{\vspace{-1in}%
\parbox{\linewidth}{\footnotesize\noindent
{\sc  Electronic Journal of Differential Equations},
Vol. {\bf 2002}(2002), No. 67, pp. 1--13. \newline
ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu
\newline 
ftp  ejde.math.swt.edu  (login: ftp)} \vspace{\bigskipamount} \\
%
 Boundedness and almost periodicity for some state-dependent delay
 differential equations 
%
\thanks{\emph{Mathematics Subject Classifications:}
34K05, 34K12, 34K13, 34K14.  \hfil\break \indent
\emph{Key words:} State-dependent delay, bounded solutions, 
almost periodic solutions. \hfil\break \indent
\copyright 2002 Southwest Texas State University. 
\hfil\break \indent
Submitted March 25, 2002. Published July 15, 2002. \hfil\break \indent
This research was supported by grant 00-412
RG/MATHS/AF/AC from TWAS. } }

\date{}
\author{El Hadi Ait Dads \& Khalil Ezzinbi}
\maketitle

\begin{abstract}
  This work is devoted to the study the existence and uniqueness
  of bounded solutions for state-dependent delay differential 
  equations. We also study the existence of periodic and almost
  periodic solutions.
\end{abstract}

\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}


\section{Introduction}

Differential delay equations, or functional differential equations, have
been used in modelling scientific phenomena for many years. Often, it has
been assumed that the delay is either a fixed constant or is given as an
integral in which case is called distributed delay. However, complicated
situations in which the delay depends on the unknown functions have been
proposed in modelling in recent years. These equations are frequently called
equations with state-dependent delay. Many works related to this topics have
been published; see the references in this article.

In this work we study the existence of bounded, periodic, and almost
periodic solutions of the state-dependent delay differential of the form 
\begin{equation}
\begin{aligned}
& \frac{d}{dt}x(t)=F(t,x(t),x(t-\rho (x_{t}))),\quad\mbox{for }
 t\geq 0 \\ 
& x_{0}=\varphi
\end{aligned}
\label{3}
\end{equation}
where $\varphi $ is a given function in the space of continuous functions
from $[-\tau ,0]$ to $\mathbb{R}^{n}$. This space is denoted by 
$C=C([-\tau ,0];\mathbb{R}^{n})$ and endowed with the uniform norm topology. 
For every  $t\geq 0$, the history function $x_{t}\in C$ is defined by 
\[
x_{t}(\theta )=x(t+\theta ),\quad \mbox{for }\theta \in [-\tau ,0]. 
\]
The function $F$ is a continuous from $\mathbb{R}\times \mathbb{R}^{n}\times \mathbb{R%
}^{n}$ to $\mathbb{R}^{n}$ and $\rho $ is a positive bounded continuous
function on $C$, $\tau $ is the maximal delay defined by 
\[
\tau =\sup_{\varphi \in C}\rho (\varphi ). 
\]
According to the book by Hale \cite{hale}, if $F$ is continuous, then (\ref
{3}) has at least one maximal solution $x(.,\varphi )$ which is defined on
some interval $[0,t_{\varphi })$ and if $t_{\varphi }$ is finite then 
\[
\overline{\lim_{t\rightarrow t_{\varphi }}}|x(t,\varphi )|=\infty . 
\]
The uniqueness may not hold here, because the right-hand side of (\ref{3})
is not locally Lipschitz. Even if $F$ is lipschitzian with respect to the
second or the third arguments, uniqueness may not hold. Consider the
equation 
\begin{equation}
\frac{d}{dt}x(t)=x(t-\sigma (x(t))),  \label{h0}
\end{equation}
where $\sigma :\mathbb{R}\rightarrow [0,1]$ is smooth, $\sigma ^{\prime
}(0)\neq 0$, and $\sigma (0)=1$.

Note that the right-hand side of (\ref{h0}) can be written as $G(\varphi
)=\varphi (-\sigma (\varphi (0)))$, for $\varphi \in C\left( [-1,0],\mathbb{R}%
\right) $, and $G$ is not locally Lipschitz in a neighborhood of zero. In
fact assume that there exist positive constants $k$ and $\rho $ such that 
\[
|G(\varphi _{1})-G(\varphi _{2})|\leq k|\varphi _{1}-\varphi _{2}|,
\quad \mbox{for} |\varphi _{1}|,|\varphi _{2}|<\rho . 
\]
Let $\varphi (\theta )=\varepsilon (-1+\sqrt{1+\theta })$, for $\theta \in
[-1,0]$, where $\varepsilon $ is a positive constant such that $|\varphi
|<\rho $. Let $\varkappa \in [-1,0]$ such that $|\varphi |+|\varkappa |<\rho 
$, then 
\[
|G(\varphi +\varkappa )-G(\varphi )|\leq k|\varkappa |, 
\]
which implies 
\[
|\varepsilon \sqrt{1-\sigma (\varkappa )}+\varkappa |\leq k|\varkappa |\quad 
\mbox{and}\quad |\frac{\varepsilon (\sigma (\varkappa )-1)}{\varkappa 
\sqrt{1-\sigma (\varkappa )}}|\leq \left( 1+k\right) \,. 
\]
Letting $\varkappa $ approach zero, we obtain a contradiction. Therefore,
the right-hand side of equation (\ref{h0}) is not locally Lipschitz near
zero. The uniqueness has been proved for lipschitzian initial data in \cite
{mallet2}. However, the standard argument for uniqueness can not be applied
in this example. The following counter example explains more the situation 
\begin{equation}
\begin{aligned}
& \frac{d}{dt}x(t)=x(t-x(t)),\quad t\in \left[ 0,1\right] \\ 
& x(\theta )=\sqrt{\left| \theta \right| }+1,\quad\theta \in \left[
-1,0\right] .
\end{aligned}
\label{dd}
\end{equation}
Then equation (\ref{dd}) has two solutions namely 
\[
x_{1}(t)=t+\frac{t^{2}}{4}\mbox{ and }x_{2}(t)=t,\;t\in \left[
0,1\right] . 
\]
In fact one has $t-x_{1}(t)=-\frac{t^{2}}{4}$ and $t-x_{2}(t)=0,$ it follows
that 
\[
x_{1}'(t)=1+\frac{t}{2}=\varphi (t-x_{1}(t))\mbox{ and }
x_{2}'(t)=1=\varphi (t-x_{2}(t)),t\in \left[ 0,1\right] . 
\]
Differential equations with state-dependent delay have been the subject for
several works. In \cite{alt} the author proved the existence and periodicity
for some state-dependent delay differential equation. In \cite{arin} it has
been proved also the existence of oscillatory and periodic solutions for
some state dependent delay differential equations arising from population
dynamics. In \cite{bel}, it has been proved the stability of some
state-dependent model arising form epidemic problems.

The organization of this work is as follows: in section 2 we recall some
preliminaries results about ordinary differential equations that will be
used in the work. In section 3, we study the problem of the existence of
bounded and almost periodic solutions of equation (\ref{3}). The remaining
section is devoted to some example.

\section{Preliminaries}

We define 
\[
[ x,y] =\lim_{h\to 0^{+}}\frac{| x+hy| -| x| }{h}, \quad \mbox{ for }x,y\in 
\mathbb{R}^{n}. 
\]

\begin{lemma}
\cite{kato}\label{la} Let $x,y$ and $z$ be in $\mathbb{R}^{n}$. Then the
following properties hold

\begin{enumerate}
\item[(i)]  $[x,y]=\inf_{h>0}\frac{|x+hy|-|x|}{h}$

\item[(ii)]  $|[x,y]|\leq |y|$

\item[(iii)]  $[x,y+z]\leq [x,y]+[x,z]$,

\item[(iv)]  Let $u$ be a function from a real interval $J$ to $\mathbb{R}%
^{n}$ such that $u'(t_{0})$ for an interior point $t_{0}$ of $J$.
Then $D_{+}|u(t_{0})|$ exists and 
\[
D_{+}|u(t_{0})|=[u(t_{0}),u'(t_{0})],
\]
where $D_{+}|u(t_{0})|$ denotes the right derivative of $|u(t)|$ at $t_{0}$.
\end{enumerate}
\end{lemma}

Let $B(0,\rho )=\left\{ x\in \mathbb{R}^{n}:|x|\leq \rho \right\} $. The
following result will be used in the sequel.

\begin{theorem}
\cite{kato1}\label{i} Let $\mathcal{H}$ be an $\mathbb{R}^{n}$-valued
function defined on $\mathbb{R}\times \mathbb{R}^{n}$. Suppose that there
exist positive constants $p,r,M$ such that $\frac{M}{p}<r$, $\mathcal{H}$ is
continuous on $\mathbb{R}\times B(0,r)$, $|\mathcal{H}(t,0)|\leq M$, for 
$t\in \mathbb{R}$, and 
\begin{equation}
\lbrack x-y,\mathcal{H}(t,x)-\mathcal{H}(t,y)]\leq -p|x-y|,\mbox{ for }t\in 
\mathbb{R}\quad \mbox{and}\quad x,y\in B(0,r).  \label{33}
\end{equation}
Then the equation 
\begin{equation}
\frac{d}{dt}x(t)=\mathcal{H}(t,x(t)),  \label{e}
\end{equation}
has a unique solution $u$ defined on $\mathbb{R}$ such that $|u(t)|\leq 
\frac{M}{p}$, for all $t\in \mathbb{R}$. Moreover, if $v$ is another
solution of (\ref{e}) on $\mathbb{R}$ such that $|v(t_{0})|\leq \frac{M}{p}$,
 for some $t_{0}$, then 
\[
|v(t)|\leq \frac{M}{p}\quad \mbox{and}\quad |u(t)-v(t)|\leq
e^{-p(t-t_{0})}|u(t_{0})-v(t_{0})|,\mbox{ for }t\geq t_{0}.
\]
\end{theorem}

\paragraph{Definition}

A continuous function $\mathcal{H}$ from $\mathbb{R}\times B(0,r)$ to 
$\mathbb{R}^{n}$ is said to be almost periodic in $t$ uniformly with 
respect to $x$ in $B(0,r)$ if for each $\varepsilon >0$, there exists 
a positive number $l$
such that any interval of length $l$ contains a $\tau $ for which 
\[
| \mathcal{H}(t+\tau ,x)-\mathcal{H}(t,x)| <\varepsilon \quad \mbox{for }
t\in \mathbb{R},\; x\in B(0,r). 
\]

For a sequence $\alpha $ in $\mathbb{R}$, we write $\alpha ^{\prime}\subset
\alpha $ to indicate that $\alpha^{\prime}$ is a subsequence of $\alpha $.
For a function $\mathcal{H}:\mathbb{R}\times B(0,r)\to \mathbb{R}^{n}$, 
we write 
\[
T_{\alpha }\mathcal{H}=\mathcal{G}, 
\]
to indicate that $\lim_{n}\mathcal{H}(t+\alpha _{n},x)=\mathcal{G}(t,x)$,
the mode of convergence will be made clear at each use of the symbol.

\begin{theorem}[\cite{fink}] 
A continuous function $\mathcal{H}$ from $\mathbb{R}\times B(0,r)
$ to $\mathbb{R}^{n}$ is said to be almost periodic in $t$ uniformly with
respect to $x$ in $B(0,r)$ if and only if for every real sequence $\alpha $
there exists a subsequence $\alpha '$ such that $T_{\alpha ^{\prime
}}\mathcal{H}=\mathcal{G}$ uniformly in any $\mathbb{R}\times B(0,r)$.
Furthermore, $\mathcal{G}$ is also almost periodic in $t$ uniformly with
respect to $x$ in $B(0,r)$.
\end{theorem}

\paragraph{Definition \cite{fink}}
The hull of $\mathcal{H}$, denoted by $H(\mathcal{H})$ is the set of
continuous functions $\mathcal{G}$ in $\mathbb{R}\times B(0,r)$ with values in $%
\mathbb{R}^{n}$ such that there exists a sequence of real numbers $\alpha $
such that $T_{\alpha }\mathcal{H}=\mathcal{G}$ uniformly in any 
$\mathbb{R}\times B(0,r)$.

\begin{theorem}[\cite{fink}] \label{th10} 
A continuous function $\mathcal{H}$ from $\mathbb{R}
\times B(0,r)$ to $\mathbb{R}^{n}$ is said to be almost periodic function in 
$t$ uniformly with respect to $x$ in $B(0,r)$, if and only if for any real
sequences $\alpha ,\beta $, there exist two subsequences $\alpha ^{\prime
},\beta '$ such that 
\[
T_{\alpha '+\beta '}\mathcal{H}=T_{\alpha ^{\prime
}}T_{\beta '}\mathcal{H},\mbox{ pointwise on }\mathbb{R}\times
B(0,r).
\]
\end{theorem}

The following Proposition is a consequence of the uniqueness of the bounded
solution.

\begin{proposition}
\label{cor1} Assume that assumptions of Theorem \ref{i} hold. If $\mathcal{H}
$ is almost periodic in $t$ uniformly with respect to $x$ in $B(0,r)$. Then
the only bounded solution of equation (\ref{e}) in $B(0,\frac{M}{p})$ is
almost periodic.
\end{proposition}

\paragraph{Proof}

It is sufficient to show that for all $\mathcal{G}\in H(\mathcal{H})$, the
limit equation 
\begin{equation}
\frac{d}{dt}x(t))=\mathcal{G}(t,x(t)),  \label{4}
\end{equation}
satisfies condition (\ref{33}). Let $\mathcal{G}\in H(\mathcal{H})$ be such
that for some sequence $\alpha $ we have $T_{\alpha }\mathcal{H}=\mathcal{G}$
uniformly in any $\mathbb{R}\times B(0,r)$. Then we have 
\begin{eqnarray*}
\lefteqn{\lbrack x-y,\mathcal{G}(t,x)-\mathcal{G}(t,y)]} \\
&=&\Big[x-y,\mathcal{G}(t,x)-\mathcal{H}(t+\alpha _{n},x)+\mathcal{H}%
(t+\alpha _{n},x)-\mathcal{G}(t,y) \\
&&+\mathcal{H}(t+\alpha _{n},y)-\mathcal{H}(t+\alpha _{n},y)\Big] \\
&\leq &-p|x-y|+|\mathcal{G}(t,x)-\mathcal{H}(t+\alpha _{n},x)|+|\mathcal{G}%
(t,y)-\mathcal{H}(t+\alpha _{n},y)|.
\end{eqnarray*}
Letting $n$ tend to infinity, we obtain 
\[
\lbrack x-y,\mathcal{G}(t,x)-\mathcal{G}(t,y)]\leq -p|x-y|, 
\]
for all $t\in \mathbb{R}$ and $x,y\in B(0,r)$. It follows that for all $%
\mathcal{G}$ in $H(\mathcal{H})$, condition (\ref{33}) is satisfied and for
all $\mathcal{G}\in H(\mathcal{H})$ the limit equation 
\begin{equation}
\frac{d}{dt}x(t)=\mathcal{G}(t,x(t)),  \label{c}
\end{equation}
has only one solution $x_{\mathcal{G}}$ on $B(0,M/p)$. We will show that the
only bounded solution $x_{\mathcal{H}}$ of (\ref{e}) is almost periodic. Let 
$\alpha $ be a sequence of real numbers such that $T_{\alpha }\mathcal{H}=%
\mathcal{G}$ uniformly in any $\mathbb{R}\times B(0,r)$. If we put $x_{n}(t)=x_{%
\mathcal{H}}(t+\alpha _{n})$, for $t\in \mathbb{R}$, then for $n\geq 0$, $x_{n}$
satisfies the equation 
\[
\frac{dx_{n}(t)}{dt}=\mathcal{H}(t+\alpha _{n},x_{n}(t)), 
\]
and $\left( x_{n}\right) _{n}$ is equicontinuous and bounded, by
Ascoli-Arzela's theorem, there exists a subsequence $\left( x_{n}^{\prime
}\right) _{n}$ of $\left( x_{n}\right) _{n}$ such that $\left( x_{n}^{\prime
}\right) _{n}$ converges uniformly in any bounded set of $\mathbb{R}$. Let $y$
be the limit function of $\left( x_{n}'\right) _{n}$, then 
\[
\frac{dx_{n}(t)}{dt}\to \mathcal{G}(t,y(t)),%
\mbox{
uniformly in bounded sets of }\mathbb{R}\mbox{ as }n\to \infty . 
\]
It follows that 
\[
\frac{dy(t)}{dt}=\mathcal{G}(t,y(t)),\quad t\in \mathbb{R}. 
\]
By the uniqueness of the bounded solution in $B(0,M/p)$ of the limit
equation (\ref{3}), we deduce that $y=x_{\mathcal{G}}$. We conclude that for
any sequence of real numbers $\alpha $ there exists a subsequence $\alpha
'\subset \alpha $ such that 
\[
T_{\alpha '}x_{\mathcal{G}}=x_{T_{\alpha '}\mathcal{G}},%
\mbox{ pointwise.} 
\]
By Theorem \ref{th10}, for two sequences $\alpha ,\beta $, there exists two
subsequence $\alpha '\subset \alpha $ and $\beta '\subset
\beta $ such that 
\[
T_{\alpha '+\beta '}\mathcal{H}=T_{\alpha ^{\prime
}}T_{\beta '\mathcal{\ }}\mathcal{H},\mbox{ pointwise in }\mathbb{R}%
\times B(0,r). 
\]
From this, we deduce that 
\[
T_{\alpha '+\beta '}x_{\mathcal{H}}=x_{T_{\alpha ^{\prime
}+\beta '}\mathcal{H}}=x_{T_{\alpha '}T_{\beta '}%
\mathcal{H}}=T_{\alpha '}T_{\beta '}x_{\mathcal{H}},%
\mbox{
pointwise.} 
\]
In view of the Theorem \ref{th10}, we deduce that $x_{\mathcal{H}}$ is
almost periodic. \hfill $\diamondsuit $

\begin{corollary}
Assume that assumptions of Theorem \ref{i} hold. If $\mathcal{H}$ is $p$%
-periodic in $t$, then the only bounded solution of equation (\ref{e}) in $%
B(0,M/p)$ is $p$-periodic.
\end{corollary}

\paragraph{Proof}

Let $u$ be the only bounded solution of equation (\ref{e}) in $B(0,M/p)$,
then by periodicity $u(.+p)$ is also bounded solution of (\ref{e}) in $%
B(0,M/p)$ and from the uniqueness of the bounded solution in $B(0,M/p)$ we
get that $u=u(.+p)$.

\section{Boundedness and almost periodicity}

We suppose that

\begin{enumerate}
\item[(H1)]  $F:\mathbb{R}\times B(0,r)\times B(0,r)\rightarrow \mathbb{R}^{n}$ is
continuous and $\rho :C_{r}\rightarrow \mathbb{R}^{+}$ is lipschitzian, where $%
C_{r}=\{\varphi \in C:|\varphi |\leq r\}$.

\item[(H2)]  There exist positive constants $M$ and $N$ such that

\begin{enumerate}
\item[(i)]  $|F(t,0,u)|\leq M$, $|F(t,x,0)|\leq N$, for $t\in \mathbb{R}$ and $%
x,y\in B(0,r)$,

\item[(ii)]  There exist positive constants $p,L$ with $p>M/r$, such that 
\[
\lbrack x-y,F(t,x,u)-F(t,y,v)]\leq -p|x-y|+L|u-v|, 
\]
for $t\in \mathbb{R}$ and $x,y,u,v\in B(0,r)$.
\end{enumerate}
\end{enumerate}

For a lipschitzian function $h$ from $\left( a,b\right) $ to $\mathbb{R}^{n}$ ,
we define 
\[
\mathop{\rm Lip}(h)=\sup \left\{ \big| \frac{h(s)-h(t)}{s-t}\big| :s,t\in
\left( a,b\right) \mbox{ and }s\neq t\right\} . 
\]

\begin{theorem}
\label{124} Assume that (H1) and (H2) hold. Then for a lipschitzian function 
$\varphi \in C$ such that $|\varphi |\leq M/p$ and $\mathop{\rm Lip}(\varphi
)\leq N+Lr$, equation (\ref{3}) has at least one solution defined on $%
\mathbb{R}^{+}$ which is bounded by $M/p$.
\end{theorem}

\paragraph{Proof}

By condition (H2-i) we have 
\begin{equation}
|F(t,x,u)|\leq N+Lr\quad \mbox{for }t\in \mathbb{R}\mbox{ and }x,y\in B(0,r).
\label{a}
\end{equation}
Let $\varphi \in C$ be such that $|\varphi |\leq M/p$, for $T>0$ and $%
C([-\tau ,T];\mathbb{R}^{n})$ be the space of continuous function from $[-\tau
,T]$ to $\mathbb{R}^{n}$ provided with the uniform norm topology. Let 
\[
S_{\varphi }=\Big\{ y\in C([-\tau ,T];\mathbb{R}^{n}):y_{0}=\varphi ,|y|\leq 
\frac{M}{p}\mbox{ and }\mathop{\rm Lip}(y)\leq N+Lr\Big\} . 
\]
Then $S_{\varphi }$ is a convex compact set in $C([-\tau ,T];\mathbb{R}^{n})$.
For $f\in S_{\varphi }$, we consider the equation 
\begin{equation}
\begin{aligned}
& \frac{d}{dt}x(t)=F(t,x(t),f(t-\rho (f_{t}))),\quad\mbox{for }
t\geq 0 \\ 
& x(0)=\varphi (0)
\end{aligned}
\label{2}
\end{equation}
By Theorem \ref{i}, equation (\ref{2}) has only one solution $x$ defined on $%
\mathbb{R}^{+}$ which is bounded by $M/p$, moreover $\mathop{\rm Lip}(x)\leq
N+Lr$ and $x\in S_{\varphi }$. Define the operator $\mathcal{K}$ on $%
S_{\varphi }$ by 
\[
\left( \mathcal{K}f\right) (t)=\left\{ 
\begin{array}{l}
\varphi (t)\text{ if }t\in \left[ -\tau ,0\right] \\ 
x(t)\text{ if }t\in \left[ 0,T\right]
\end{array}
\right. 
\]
where $x$ is the only solution of equation (\ref{5}) in $S_{\varphi }$. Then 
$\mathcal{K}$ takes $S_{\varphi }$ to itself. We still need to prove the
continuity of $\mathcal{K}$. Let $f,g\in S_{\varphi }$ and $x=\mathcal{K}f$
et $y=\mathcal{K}g$, then by Lemma \ref{la} we have 
\begin{eqnarray*}
D_{+}|x(t)-y(t)| &=&[x(t)-y(t),x'(t)-y'(t)] \\
&=&[x(t)-y(t),F(t,x,f(t-\rho (f_{t})))-F(t,y,g(t-\rho (g_{t})))]
\end{eqnarray*}
By (H2) we obtain that 
\[
D_{+}|x(t)-y(t)|\leq -p|x(t)-y(t)|+L|f(t-\rho (f_{t}))-g(t-\rho (g_{t}))|, 
\]
it follows that 
\begin{equation}
D_{+}|x(t)-y(t)|\leq -p|x(t)-y(t)|+L\left( \left( N+Lr\right) \mathop{\rm
Lip}(\rho )+1\right) |f-g|.  \label{22}
\end{equation}
To solve this differential inequality, we need the following Lemma.

\begin{lemma}
\cite{lakh}\label{lem2} Let $D$ be an open set of $\mathbb{R}^{2}$ and $%
\theta $ is a continuous function from $D$ to $\mathbb{R}$. Consider the
scalar differential equation 
\begin{equation}
\begin{aligned}
& \frac{d}{dt}w(t)=\theta (t,w(t) \\ 
& w(t_{0})=w_{0}
\end{aligned}
\label{a1}
\end{equation}
and $\varrho $ is a solution of equation (\ref{a1}) which is defined on $%
[t_{0},t_{1}[$. Let $z$ be a continuous function from $[t_{0},t_{1}[$ to $%
\mathbb{R}$ such that $(t,z(t))\in D$, for $t\in [t_{0},t_{1}[$, $%
z(t_{0})\leq w_{0}$ and 
\[
D_{+}z(t)\leq \theta (t,z(t)),\quad \mbox{for }t\in [t_{0},t_{1}[. 
\]
Then $z(t)\leq \varrho (t)$, for $t\in [t_{0},t_{1}[$.
\end{lemma}

Let $v$ be the solution of the following differential equation 
\begin{equation}
\begin{aligned}
&v'(t)=\alpha (t)v(t)+\beta (t),\quad t\geq a \\ 
& w(a)=v_{0}\geq 0
\end{aligned}
\label{zz}
\end{equation}
Using the variation of constants formula, we can see that the solution of (%
\ref{zz}) is 
\[
v(t)=v_{0}\exp \Big(\int_{a}^{t}\alpha (s)ds\Big)+\int_{a}^{t}\exp \Big(%
\int_{u}^{t}p(s)ds\Big)\beta (u)du,\quad \mbox{for }t\in [a,b] 
\]
Applying Lemma \ref{lem2} to inequality (\ref{22}) we obtain that 
\[
|x(t)-y(t)|\leq e^{-pt}|x(0)-y(0)|+\frac{L\left( \left( N+Lr\right) %
\mathop{\rm Lip}(\rho )+1\right) }{p}|f-g|,\mbox{ for }t\geq 0. 
\]
On the other hand $x(0)=y(0)$, which gives 
\begin{equation}
|\mathcal{K}f-\mathcal{K}g|\leq \frac{L\left( \left( N+Lr\right) \mathop{\rm
Lip}(\rho )+1\right) }{p}|f-g|,  \label{j}
\end{equation}
this implies that $\mathcal{K}$ is continuous in $S_{\varphi }$. By
Schauder's fixed point theorem, we deduce that $\mathcal{K}$ has at least
one fixed point which is solution of equation (\ref{3}) in $S_{\varphi }$.
This implies that equation (\ref{3}) has at least a solution which is
defined on $\mathbb{R}^{+}$ and the solution is bounded by $M/p$. \hfill $%
\diamondsuit $ \smallskip

For the uniqueness we have the following proposition.

\begin{proposition}
Assume that (H1) and (H2) hold with 
\begin{equation}
\frac{L\left( \left( N+Lr\right) \mathop{\rm Lip}(\rho )+1\right) }{p}<1.
\label{k-0}
\end{equation}
Then for any lipschitzian function $\varphi \in C$ such that $|\varphi |\leq
M/p$ and $\mathop{\rm Lip}(\varphi )\leq N+Lr$, equation (\ref{3}) has a
unique solution bounded by $M/p$ on $\mathbb{R}^{+}$ .
\end{proposition}

\paragraph{Proof}

The proof is just a consequence from inequality (\ref{j}), it follows that $%
\mathcal{K}$ is a strict contraction in $S_{\varphi }$ and $\mathcal{K}$ has
only one fixed point in $S_{\varphi }$ which is the unique solution of
equation (\ref{3}). \hfill$\diamondsuit$ \smallskip

For the existence of almost periodic solution, we assume that

\begin{enumerate}
\item[(H3)]  $F$ is almost periodic in $t$ uniformly with respect to $x,y\in
B(0,r)$.
\end{enumerate}

\begin{proposition}
\label{125} Assuming that (H1), (H2) and (H3) hold. If 
\[
\frac{L\left( \left( N+Lr\right) \mathop{\rm Lip}(\rho )+1\right) }{p}<1, 
\]
then equation (\ref{3}) has an almost periodic solution that is bounded by $%
M/p$.
\end{proposition}

\paragraph{Proof}

Let $AP(\mathbb{R}^{n})$ be the space of almost periodic functions endowed with
the uniform norm topology. Let 
\[
\Lambda =\big\{ x\in AP(\mathbb{R},\mathbb{R}^{n}):| x| \leq \frac{M}{p}%
\mbox{ and
} \mathop{\rm Lip}(x)\leq N+Lr\big\}. 
\]
For $f\in \Lambda $, consider the equation 
\begin{equation}
\frac{d}{dt}x(t)=F(t,x(t),f(t-\rho (f_{t}))).  \label{k}
\end{equation}
By Proposition \ref{cor1}, equation (\ref{k}) has only one almost periodic
solution $x$ that is bounded by $M/p$ and $\mathop{\rm Lip}(x)\leq N+Lr$, it
follows that $x\in \Lambda $. Define $\mathcal{L}$ on $\Lambda $ by 
\[
\mathcal{L}f=x. 
\]
Then $\mathcal{L}$ takes $\Lambda $ into itself. It is sufficient to prove
that $\mathcal{L}$ is a strict contraction on $\Lambda $. So we have 
\begin{eqnarray*}
D_{+}| x(t)-y(t)| &=&[ x(t)-y(t),x^{\prime}(t)-y^{\prime}(t)] \\
&=&[ x(t)-y(t),F(t,x,f(t-\rho (f_{t})))-F(t,y,g(t-\rho (g_{t})))]
\end{eqnarray*}
By (H2) we have 
\[
D_{+}| x(t)-y(t)| \leq -p| x(t)-y(t)| +L| f(t-\rho (f_{t}))-g(t-\rho
(g_{t}))| . 
\]
Therefore, 
\[
D_{+}| x(t)-y(t)| \leq -p| x(t)-y(t)| +L\left( \left( N+Lr\right) %
\mathop{\rm Lip}(\rho )+1\right) | f-g| 
\]
By Lemma \ref{lem2} we obtain that for $t\geq a$, 
\[
| x(t)-y(t)| \leq e^{-(t-a)}| x(a)-y(a)| +\frac{ L\left( \left( N+Lr\right) %
\mathop{\rm Lip}(\rho )+1\right) }{p}| f-g| . 
\]
Letting $a$ tend to $-\infty $, one has 
\[
| \mathcal{L}f-\mathcal{L}g| \leq \frac{L\left( \left( N+Lr\right) %
\mathop{\rm Lip}(\rho )+1\right) }{p}| f-g| . 
\]
By the contraction mapping theorem, $\mathcal{L}$ has a unique fixed point
in $\Lambda $ which must be the unique almost periodic solution of equation (%
\ref{3}) in $\Lambda $. \hfill$\diamondsuit$ \smallskip

For the periodicity by using the same argument as above, we obtain the
following statement.

\begin{corollary}
Assuming that (H1), (H2) hold and $F$ is $p$-periodic in $t$. If 
\[
\frac{L\left( \left( N+Lr\right) \mathop{\rm Lip}(\rho )+1\right) }{p}<1. 
\]
Then equation (\ref{3}) has a $p$-periodic solution which is bounded by $M/p$
.
\end{corollary}

When the uniqueness of solutions with initial data holds, the periodic
solutions can be obtained by the use of Poincar\'{e} map. So we have the
following statement.

\begin{proposition}
Assume that (H1), (H2) hold with $F$ being $p$-periodic in $t$ and Lipschitz
continuous with respect to $x$ and $u$ in $B(0,r)$. If $\tau
_{0}=\inf_{\varphi \in C}\rho (\varphi )>0$, then (\ref{3}) has a $p$%
-periodic solution bounded by $M/p$.
\end{proposition}

\paragraph{Proof}

Let $\varphi \in C$ such that $|\varphi |\leq M/p$ and $\mathop{\rm Lip}%
(\varphi )\leq N+Lr$, then equation (\ref{3}) has a unique solution on $\mathbb{%
R}^{+}$. In fact, we proceed by steps, if we take $t\in [0,\tau _{0}]$, then
(\ref{3}) becomes 
\begin{equation}
\begin{aligned}
&\frac{d}{dt}x(t)=F(t,x(t),\varphi (t-\rho (x_{t}))),\quad \mbox{for }
t\geq 0 \\ 
& x_{0}=\varphi \in C
\end{aligned}
\label{66}
\end{equation}
From the Lipschitz condition of $F$, $\varphi $ and $\rho $, we deduce that
the right hand of equation (\ref{66}) is Lipschitz continuous with respect
to the second argument. It is well known that (\ref{66}) has a unique
solution on $[0,\tau _{0}]$. We proceed in the same way in $[\tau _{0},2\tau
_{0}],\dots ,[n\tau _{0},(n+1)\tau _{0}]$. Now we deduce the uniqueness of
the solution $x(.,\varphi )$ . Consider the convex set 
\[
K=\Big\{ \varphi \in C:|\varphi |\leq \frac{M}{p}\mbox{ and }\mathop\mathrm{%
Lip}(\varphi )\leq N+Lr\Big\} . 
\]
Then $K$ is compact in $C$. Let $\mathcal{P}$ be the Poincar\'{e} map
defined on $K$ by 
\[
\mathcal{P}\varphi =x_{p}(.,\varphi ) 
\]
From Theorem \ref{124} it follows that the solution is bounded by $M/p$ and
from inequality (\ref{a}) we get $\mathop\mathrm{Lip}(x_{t}(.,\varphi ))\leq
N+Lr$, for every $t\geq 0$. We conclude that $\mathcal{P}K\subset K$, from
the local Lipschitz conditions, we get that $\mathcal{P}$ is continuous and
by Schauder's fixed point Theorem, we deduce that $\mathcal{P}$ has at least
one fixed point which gives a $p$-periodic solution of equation (\ref{3}).

\section{Examples}

As an application, we study the existence of bounded and almost periodic
solutions of the scalar state-dependent delay differential equation 
\begin{equation}
\begin{aligned}
&\frac{d}{dt}x(t)=-x(t)g(x(t))+\gamma \sin x(t-\left| \cos x(t)\right|
 )+\sin (t)+\sin (\sqrt{2}t),\quad \mbox{for } t\geq 0 \\ 
& x_{0}=\varphi
\end{aligned}
\label{5}
\end{equation}
where $\gamma >0$. In this example, we assume that

\begin{enumerate}
\item[(H4)]  $g:\mathbb{R}\rightarrow \mathbb{R}$ is a continuous function. Also
we assume that for $\chi (x)=xg(x)$, 
\[
p_{0}=\inf_{\xi \in [-1,1]}{\inf }\chi '(\xi )>0.
\]
\end{enumerate}

This assumption is satisfied for example for $g(x)=a+bx$, with $a,b>0$ and $%
a-2b>0$. In this case $p_{0}=a-2b$.

Equation (\ref{5}) can be written as (\ref{3}) with 
\[
F(t,x,u)=-x(a+bx)+\gamma \sin (u)+\sin (t)+\sin (\sqrt{2}t),\quad \mbox{for }
t,x,u\in \mathbb{R}. 
\]
and 
\[
\rho (\varphi )=| \cos \varphi (0)| ,\mbox{ for
}\varphi \in C\left( [ -1,0] ; \mathbb{R}\right) . 
\]
Moreover we assume that

\begin{enumerate}
\item[(H5)]  $\gamma <a-2b-2$.
\end{enumerate}

\begin{proposition}
Assume that (H4) and (H5) hold. Then for a lipschitzian function $\varphi
\in C\left( [-1,0];\mathbb{R}\right) $ such that $|\varphi |\leq \frac{%
\gamma +2}{a-2b}$ and $\mathop{\rm Lip}(\varphi )\leq \left( a+b+\gamma
+2\right) $, equation (\ref{5}) has at least one solution defined on $%
\mathbb{R}^{+}$ and bounded by $\frac{\gamma +2}{a-2b}$. Moreover if 
\begin{equation}
\gamma <\frac{a-2b}{a+b+\gamma +3}.  \label{k-1}
\end{equation}
Then (\ref{5}) has only one almost periodic solution in $B(0,\frac{\gamma +2%
}{a-2b})$.
\end{proposition}

\paragraph{Proof}

It is sufficient to prove that (H1), (H2) and (H3) hold. By a simple
computation we can see that 
\[
[ x-y,F(t,x,u)-F(t,y,v)] \leq -\mathop{\rm sgn}(x-y)\left(
xg(x)-yg(y)\right) +\gamma | u-v| , 
\]
for $t\in \mathbb{R}$ and $x,y,u,v\in B(0,1)$, where 
\[
\mathop{\rm sgn}(x)= 
\begin{cases}
1 & \mbox{if }x>0 \\ 
-1 & \mbox{if }x<0.
\end{cases}
\]
From the monotonicity of $\chi $ we have 
\[
\mathop{\rm sgn}(x-y)=\mathop{\rm sgn}(xg(x)-yg(y)). 
\]
It follows that 
\[
[ x-y,F(t,x,u)-F(t,y,v)] \leq -\mathop{\rm sgn}(xg(x)-yg(y))\left(
xg(x)-yg(y)\right) +\gamma | u-v| , 
\]
for $t\in \mathbb{R}$ and $x,y,u,v\in B(0,1)$. Which implies that 
\[
[ x-y,F(t,x,u)-F(t,y,v)] \leq -| xg(x)-yg(y)| +\gamma | u-v| , 
\]
for $t\in \mathbb{R}$ and $x,y,u,v\in B(0,1)$. Using the fact that $a-2b>0$, we
deduce that 
\[
[ x-y,F(t,x,u)-F(t,y,v)] \leq -(a-2b)| x-y| +\gamma | u-v| , 
\]
for $t\in \mathbb{R}$ and $x,y,u,v\in B(0,1)$. Consequently, assumptions (H1)
and (H2) hold with 
\[
M=\gamma +2,\quad N=a+b+2,\quad L=\gamma ,\quad r=1, \quad \tau=1, \quad
p=a-2b. 
\]
Then by Theorem \ref{124} we deduce that (\ref{5}) has at least one solution
defined on $\mathbb{R}^{+}$ which is bounded by $(\gamma +2)/(a-2b)$. Moreover
assumption (H3) is also satisfied and (\ref{k-0}) is equivalent to (\ref{k-1}%
). It follows by Proposition \ref{125} that (\ref{5}) has only one almost
periodic solution in $B(0,\frac{\gamma +2}{a-2b})$.

\paragraph{Acknowledgments}

The authors express their sincere gratitude to the anonymous referee who
carefully read the manuscript and made remarks leading to improvements on
the presentation of this paper.

\begin{thebibliography}{99}
\bibitem{alt}  W. Alt, \textit{Periodic solutions for some autonomous
differential equations with variable time delay}, Lecture Notes Math. 730,
16-31, (1979).

\bibitem{arin2}  O. Arino, E. Sanschez and A. Fathallah, \textit{%
State-dependent delay differential equations in population dynamics,
modeling and analysis}, Topics in Functional Differential and Difference
Equations, Fields Institute Communications, (T.Faria and P.Freitas,Eds.),
Vol. 29, 19-36, (2001).

\bibitem{arin}  O. Arino, K. P. Hadeler and M. L. Hbid, \textit{Existence of
periodic solutions for delay differential equations with state dependent
delay}, Journal of Differential Equations, Vol. 144, No 2, 263-301(1998).

\bibitem{bel}  J. B\'{e}lair, \textit{Population models with state-dependent
delay}. Lecture notes in Pure and and Applied Mathematics, Vol. 131, Marcel
Dekker, 165-176, (1991).

\bibitem{co}  K. L .Cooke and W. Huang, \textit{On the problem for
linearization for state-dependent delay differential equations}, Proceeding
of A.M.S. 124, No 5, (1996), 1417-1426.

\bibitem{coo}  K. L. Cooke and W. Huang, \textit{A theorem of George Seifert
and an equation with state-dependent delay}. In delay and differential
equations (A.M.Fink, R.K.Miller and W.Kliemann, Eds.) World Scientific,
Singapore, 65-77, (1992).

\bibitem{fink}  A. M. Fink, \textit{Almost Periodic Differential Equations},
Springer-Verlag, (1974).

\bibitem{ha}  E. Hanebaly, \textit{Contribution \`{a} l'Etude des Solutions P%
\'{e}riodiques et Presque-P\'{e}riodiques d'Equations Diff\'{e}rentielles
Non Lin\'{e}aires sur Les Espaces de Banach}, Th\`{e}se de Doctorat d'Etat,
Universit\'{e} de Pau et des Pays de l'Adour (1988).

\bibitem{hale}  J. K. Hale, \textit{Theory of Functional Differential
Equations}, Springer-Verlag, Berlin, (1977).

\bibitem{hale2}  J. K. Hale and V. Lunel, \textit{Introduction to Functional
Differential Equations}, Applied Mathematical Sciences, Vol. 99,
Springer-Verlag, (1993).

\bibitem{ku}  Y. Kuang and H. L. Smith, \textit{Slowly oscillating periodic
solutions of autonomous state-dependent delay equations}, IMA Preprint 754,
Minneapolis, (1990).

\bibitem{kato1}  S. Kato, \textit{Almost periodic solutions of functional
differential equations with infinite delays}, Funkcialaj Ekvacioj, Vol. 38,
No 3, (1995), 505-517.

\bibitem{kato}  S. Kato, \textit{Existence, uniqueness and continous
dependence of solutions of delay-differential equations with infinite delay
in a Banach space}, Journal of Mathematical Analysis and Applications, Vol.
195, No 1, (1995).

\bibitem{lakh}  V. Lakshmikantham and V. Leela, \textit{Differential and
Integral Inequalities, Theory and Applications}. Vol. 1, Academic Press
(1969).

\bibitem{louihi}  M. Louihi, \textit{Contribution \`{a} l'\'{e}tude des \'{e}%
quations diff\'{e}rentielles \`{a} retard d\'{e}pendent de l'\'{e}tat par la
th\'{e}orie des semi groupes}, Th\`{e}se de 3\`{e}me cycle de l'Universit%
\'{e} Cadi Ayyad, No: 533, (1997).

\bibitem{kuang2}  Y. Kuang and H. L. Smith, \textit{Slowly oscillating
periodic solutions of autonomous state-dependent delay equations}, Nonlinear
Analysis, Theory Methods and Applications, 18, 153-176, (1992).

\bibitem{mallet}  J. Mallet-Paret and R. Nussbaum, \textit{Boundary layer
phenomena for differential equations with state-dependent time lags}, Arch.
Rat. Mech. Anl. 120, 99-146, (1992).

\bibitem{mallet2}  J. Mallet-Paret, R. Nussbaum and P. Paraskevopulos, 
\textit{Periodic solutions to functional differential equations with
multiple state-dependent time lags}, Topological Methods in Nonlinear
Analysis, J. Juliusz Schauder Center 3, 101-162, (1994).
\end{thebibliography}

\noindent \textsc{El Hadi Ait Dads} (e-amil: aitdads@ucam.ac.ma)\newline
\textsc{Khalil Ezzinbi} (e-mal: ezzinbi@ucam.ac.ma)\\[3pt]
Universit\'{e} Cadi Ayyad \newline
Facult\'{e} des Sciences Semlalia \newline
D\'{e}partement de Math\'{e}matiques \newline
B.P. 2390, Marrakech, Morocco

\end{document}
