Electronic Journal of Differential Equations, Vol. 2000(2000), No. 20, pp. 1–15.
ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu
ftp ejde.math.swt.edu ftp ejde.math.unt.edu (login: ftp)
Existence results for neutral functional
differential and integrodifferential inclusions in
Banach spaces ∗
M. Benchohra & S. K. Ntouyas
Abstract
In this paper we investigate the existence of solutions on a compact
interval for the first and second order initial-value problems for neutral
functional differential and integrodifferential inclusions in Banach spaces.
We shall use of a fixed point theorem for condensing maps introduced by
Martelli.
1
Introduction
Existence of solutions on compact intervals for neutral functional differential
equations has received much attention in recent years. We refer for instance to
the books of Erbe, Qingai and Zhang [4], Hale [5] and Henderson [6], the paper
of Ntouyas [13] and Ntouyas, Sficas and Tsamatos [17]. For other results on
functional differential and integrodifferential equations, we mention for instance
the paper of Hristova and Bainov [7], Nieto, Jiang and Jurang [12], Ntouyas
[14], [15] and Ntouyas and Tsamatos [16].
In the above mentioned papers the main tools used for the existence of
solutions are the monotone iterative method combined with upper and lower
solutions or the topological transversality theory of Granas. For more details
on these theories we refer the interesting reader to the book of Ladde, Lakshmikantham and Vatsala [9] and the monograph of Dugundji and Granas [3].
This paper is organized as follows. In section 2, we introduce some definitions and preliminary facts from multi-valued analysis which are used later.
In section 3, we give an existence result of solutions on compact intervals to
the initial value problem (IVP for short) of the first order neutral functional
differential inclusion
d
[y(t) − f (t, yt )] ∈ F (t, yt ), a.e. t ∈ J = [0, T ],
dt
y0 = φ,
∗ Mathematics Subject Classifications: 34A60, 34G20, 34K40.
Key words and phrases: Initial value problems, Convex multivalued map,
Neutral functional differential and integrodifferential inclusion.
c
2000
Southwest Texas State University and University of North Texas.
Submitted October 28, 1999. Published March 12, 2000.
1
(1.1)
(1.2)
2
Neutral functional differential inclusions
EJDE–2000/20
where F : J × C(J0 , E) → 2E (J0 = [−r, 0]) is a bounded, closed, convex multivalued map, f : J × C(J0 , E) → E, φ ∈ C(J0 , E), and E a real Banach space
with the norm | · |.
For any continuous function y defined on the interval J1 = [−r, T ] and any
t ∈ J, we denote by yt the element of C(J0 , E) defined by
yt (θ) = y(t + θ), θ ∈ J0 .
Here yt (·) represents the history of the state from time t − r, up to the present
time t.
Section 4 is devoted to the study of the existence of solutions to the first
order IVP for neutral functional integrodifferential inclusion of the form
d
[y(t) − f (t, yt )] ∈
dt
Z
0
t
K(t, s)F (s, ys )ds, t ∈ J = [0, T ],
y0 = φ,
(1.3)
(1.4)
where F , f , φ are as in the problem (1.1)-(1.2) and K : D → R, D = {(t, s) ∈
J × J : t ≥ s}.
In Section 5, we give an existence theorem for solutions to the second order
IVP for neutral functional differential inclusions of the form
d 0
[y (t) − f (t, yt )] ∈ F (t, yt ), t ∈ J = [0, T ],
dt
y0 = φ, y 0 (0) = η.
(1.5)
(1.6)
where F , f , φ are as in the problem (1.1)-(1.2) and η ∈ E.
The strategy is to reduce the existence of solutions to problems (1.1)-(1.2),
(1.3)-(1.4) and (1.5)-(1.6) to the search for fixed points of a suitable multi-valued
map on the Banach space C(J1 , E). To prove the existence of fixed points, we
shall rely on a fixed point theorem for condensing maps introduced by Martelli
[11].
2
Preliminaries
This section presents notation, definitions, and preliminary facts from multivalued analysis which are used throughout this paper.
Let C(J, E) be the Banach space of continuous functions from J into E with
the norm
kyk∞ := sup{|y(t)| : t ∈ J}.
Let B(E) denote the Banach space of bounded linear operators from E into
E.
A measurable function y : J → E is Bochner integrable if and only if |y| is
Lebesgue integrable. (For properties of the Bochner integral see Yosida [19]).
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
3
Let L1 (J, E) denote the Banach space of continuous functions y : J → E
which are Bochner integrable and have norm
Z T
kykL1 =
|y(t)|dt for all y ∈ L1 (J, E).
0
Let (X, k · k) be a Banach space. Then a multi-valued map G : X → 2X is
convex (closed) valued if G(x) is convex (closed) for all x ∈ X. G is bounded
on bounded sets if G(B) = ∪x∈B G(x) is bounded in X for any bounded set B
of X (i.e. supx∈B {sup{kyk : y ∈ G(x)}} < ∞).
G is called upper semi-continuous (u.s.c.) on X if for each x∗ ∈ X the
set G(x∗ ) is a nonempty, closed subset of X, and if for each open set B of
X containing G(x∗ ), there exists an open neighbourhood V of x∗ such that
G(V ) ⊆ B.
G is said to be completely continuous if G(B) is relatively compact for every
bounded subset B ⊆ X.
If the multi-valued map G is completely continuous with nonempty compact
values, then G is u.s.c. if and only if G has a closed graph (i.e. xn → x∗ , yn →
y∗ , yn ∈ Gxn imply y∗ ∈ Gx∗ ).
G has a fixed point if there is x ∈ X such that x ∈ Gx.
In the following BCC(X) denotes the set of all nonempty bounded, closed
and convex subsets of X.
A multi-valued map G : J → BCC(E) is said to be measurable if for each
x ∈ E the function Y : J → R defined by
Y (t) = d(x, G(t)) = inf{|x − z| : z ∈ G(t)}
belongs to L1 (J, R). For more details on multi-valued maps see the books of
Deimling [2] and Hu and Papageorgiou [8].
An upper semi-continuous map G : X → X is said to be condensing [1] if for
any subset B ⊆ X with α(B) 6= 0, we have α(G(B)) < α(B), where α denotes
the Kuratowski measure of noncompacteness [1].
We remark that a completely continuous multi-valued map is the easiest
example of a condensing map.
Our existence results will be proved using the following fixed point result.
Lemma 2.1 [11]. Let X be a Banach space and N : X → BCC(X) a condensing map. If the set
Ω := {y ∈ X : λy ∈ N y for some λ > 1}
is bounded, then N has a fixed point.
3
Existence results for differential inclusions
In this section we give an existence result for the problem (1.1)-(1.2). For the
study of this problem we first list the following hypotheses:
4
Neutral functional differential inclusions
EJDE–2000/20
(H1) There exists constants 0 ≤ c1 < 1 and c2 ≥ 0 such that
|f (t, u)| ≤ c1 kuk + c2 , t ∈ J, u ∈ C(J0 , E);
(H2) F : J × C(J0 , E) → BCC(E); (t, u) 7−→ F (t, u) is measurable with
respect to t for each u ∈ C(J0 , E), u.s.c. with respect to u for each t ∈ J and
for each fixed u ∈ C(J0 , E) the set
n
o
SF,u = g ∈ L1 (J, E) : g(t) ∈ F (t, u) for a.e. t ∈ J
is nonempty;
(H3) kF (t, u)k := sup{|v| : v ∈ F (t, u)} ≤ p(t)ψ(kuk) for almost all t ∈ J and
all u ∈ C(J0 , E), where p ∈ L1 (J, R+ ) and ψ : R+ → (0, ∞) is continuous and
increasing with
Z ∞
Z T
dτ
;
p(s)ds <
ψ(τ )
0
c
where c =
1
1−c1 [(1
+ c1 )kφk + 2c2 ];
(H4) The function f is completely continuous and for any bounded set A ⊆
C(J1 , E) the set {t → f (t, yt ) : y ∈ A} is equicontinuous in C(J, E);
(H5) For each bounded B ⊂ C(J1 , E), u ∈ B and t ∈ J the set
o
nZ t
g(s)ds : g ∈ SF,u
0
is relatively compact.
Remark 3.1 (i) If dimE < ∞, then for each u ∈ C(J0 , E), SF,u 6= ∅ (see
Lasota and Opial [10]).
(ii) SF,u is nonempty if and only if the function Y : J → R defined by
Y (t) := inf{|v| : v ∈ F (t, u)}
belongs to L1 (J, R) (see Papageorgiou [18]).
Definition 3.2 By a solution to the IVP (1.1)-(1.2) it mean a function y :
J1 → E such that y0 = φ, yt ∈ C(J0 , E), the function y(t)−f (t, yt ) is absolutely
continuous and the inclusion (1.1) hold a.e. on J.
The following Lemma is crucial in the proof of our existence results.
Lemma 3.3 [10]. Let I be a compact real interval and X be a Banach space.
Let F be a multivalued map satisfying (H2) and let Γ be a linear continuous
mapping from L1 (I, X) to C(I, X), then the operator
Γ ◦ SF : C(I, X) → BCC(C(I, X)), y 7−→ (Γ ◦ SF )(y) := Γ(SF,y )
is a closed graph operator in C(I, X) × C(I, X).
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
5
Now, we are in a position to state and prove our main theorem for this
section
Theorem 3.4 Assume that hypotheses (H1)-(H5) hold. Then the IVP (1.1)(1.2) has at least one solution on J1 .
Proof. Let C(J1 , E) be the Banach space of continuous functions from J1 into
E endowed with the sup-norm
kyk∞ := sup{|y(t)| : t ∈ [−r, T ]}, for y ∈ C(J1 , E).
Transform the problem into a fixed point problem. Consider the multivalued
map, N : C(J1 , E) −→ 2C(J1 ,E) defined by:
φ(t),
if t ∈ J0
R
N y := h ∈ C(J1 , E) : h(t) =
t
φ(0) − f (0, φ) + f (t, yt ) + 0 g(s)ds, if t ∈ J
where
n
o
g ∈ SF,y = g ∈ L1 (J, E) : g(t) ∈ F (t, yt ) for a.e. t ∈ J .
Remark 3.5 It is clear that the fixed points of N are solutions to (1.1)-(1.2).
We shall show that N is a completely continuous multivalued map, u.s.c. with
convex closed values. The proof will be given in several steps.
Step 1: N y is convex for each y ∈ C(J1 , E). Indeed, if h1 , h2 belong to N y,
then there exist g1 , g2 ∈ SF,y such that for each t ∈ J we have
Z t
g1 (s)ds
h1 (t) = φ(0) − f (0, φ) + f (t, yt ) +
0
and
Z
h2 (t) = φ(0) − f (0, φ) + f (t, yt ) +
Let 0 ≤ k ≤ 1. Then for each t ∈ J we have
0
Z
(kh1 + (1 − k)h2 )(t) = φ(0) − f (0, φ) + f (t, yt ) +
t
0
t
g2 (s)ds.
[kg1 (s) + (1 − k)g2 (s)]ds.
Since SF,y is convex (because F has convex values) then
kh1 + (1 − k)h2 ∈ N y
which finish the proof of Step 1.
We next shall prove that N is a completely continuous operator. Using (H4)
it suffices to show that the operator N1 : C(J1 , E) −→ 2C(J1 ,E) defined by:
φ(t),
if t ∈ J0
Rt
N1 y := h ∈ C(J1 , E) : h(t) =
g(s)ds, if t ∈ J
0
is completely continuous.
6
Neutral functional differential inclusions
EJDE–2000/20
Step 2: N1 maps bounded sets into bounded sets in C(J1 , E). Indeed, it
is enough to show that there exists a positive constant ` such that for each
h ∈ N1 y, y ∈ Bq = {y ∈ C(J1 , E) : kyk∞ ≤ q} one has khk∞ ≤ `.
If h ∈ N1 y, then there exists g ∈ SF,y such that for each t ∈ J we have
Z
t
g(s)ds.
h(t) =
0
By (H3) we have for each t ∈ J
Z
kh(t)k ≤
≤
≤
t
kg(s)kds
Z t
p(s)ds
sup ψ(y)
0
y∈[0,q]
0
y∈[0,q]
0
Z t
p(s)ds .
sup ψ(y)
Then for each h ∈ N (Bq ) we have
Z
khk∞ ≤ sup ψ(y)
y∈[0,q]
T
p(s)ds := `.
0
Let
Step 3: N1 maps bounded sets into equicontinuous sets of C(J1 , E).
t1 , t2 ∈ J, t1 < t2 and Bq = {y ∈ C(J1 , E) : kyk∞ ≤ q} be a bounded set of
C(J1 , E).
For each y ∈ Bq and h ∈ N1 y, there exists g ∈ SF,y such that
Z
t
g(s)ds.
h(t) =
0
Thus
kh(t2 ) − h(t1 )k
≤
≤
Z
t2
t1
g(s)ds
Z
sup ψ(y)
y∈[0,q]
t2
p(s)ds .
t1
As t2 → t1 the right-hand side of the above inequality tends to zero.
The equicontinuity for the cases t1 < t2 ≤ 0 and t1 ≤ 0 ≤ t2 are obvious.
As a consequence of Step 2, Step 3, (H4) and (H5) together with the AscoliArzela theorem we can conclude that N : C(J1 , E) → 2C(J1 ,E) is a compact
multivalued map, and therefore, a condensing map.
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
7
Step 4: N has a closed graph. Let yn → y∗ , hn ∈ N yn , and hn → h∗ . We
shall prove that h∗ ∈ N y∗ . hn ∈ N yn means that there exists gn ∈ SF,yn such
that
Z
t
hn (t) = φ(0) − f (0, φ) + f (t, ynt ) +
gn (s)ds, t ∈ J.
0
We must prove that there exists g∗ ∈ SF,y∗ such that
Z
h∗ (t) = φ(0) − f (0, φ) + f (t, y∗t ) +
0
t
g∗ (s)ds, t ∈ J.
Since f is continuous we have that
k(hn − φ(0) + f (0, φ) − f (t, ynt )) − (h∗ − φ(0) + f (0, φ) − f (t, y∗t ))k∞ → 0,
as n → ∞. Consider the linear continuous operator
Γ : L1 (J, E) → C(J, E)
Z t
g 7→ Γ(g)(t) =
g(s)ds.
0
From Lemma 3.3, it follows that Γ ◦ SF is a closed graph operator. Moreover,
we have that
(hn (t) − φ(0) + f (0, φ) − f (t, ynt )) ∈ Γ(SF,yn ).
Since yn → y ∗ , it follows from Lemma 3.3 that
Z
(h∗ (t) − φ(0) + f (0, φ) − f (t, yt )) =
t
0
g∗ (s)ds
for some g∗ ∈ SF,y∗ .
Step 5: The set Ω := {y ∈ C(J1 , E) : λy ∈ N y for some λ > 1} is bounded.
Let y ∈ Ω. Then λy ∈ N y for some λ > 1. Thus there exists g ∈ SF,y such that
for t ∈ J,
y(t) = λ−1 φ(0) − λ−1 f (0, φ) + λ−1 f (t, yt ) + λ−1
Z
t
g(s)ds .
0
This implies by (H1), (H3) that for each t ∈ J we have
Z
ky(t)k ≤ kφk + c1 kφk + 2c2 + c1 kyt k +
t
0
p(s)ψ(kys k)ds.
We consider the function µ defined by
µ(t) = sup{|y(t)| : −r ≤ s ≤ t}, t ∈ J.
8
Neutral functional differential inclusions
EJDE–2000/20
Let t∗ ∈ [−r, t] be such that µ(t) = |y(t∗ )|. If t∗ ∈ J, by the previous inequality
we have for t ∈ J
Z t
µ(t) ≤ kφk + c1 kφk + 2c2 + c1 kyt k +
p(s)ψ(kys k)ds
0
Z t
p(s)ψ(µ(s))ds.
≤ kφk + c1 kφk + 2c2 + c1 µ(t) +
0
Thus
µ(t) ≤
1 n
(1 + c1 )kφk + 2c2 +
1 − c1
Z
t
o
p(s)ψ(µ(s))ds.
0
If t∗ ∈ J0 then µ(t) = kφk and the previous inequality holds.
Let us take the right-hand side of the above inequality as v(t), then we have
o
1 n
(1 + c1 )kφk + 2c2 and µ(t) ≤ v(t), t ∈ J.
c = v(0) =
1 − c1
Using the nondecreasing character of ψ we get
v 0 (t) ≤ p(t)ψ(v(t)), t ∈ J.
This implies for each t ∈ J that
Z
v(t)
v(0)
du
≤
ψ(u)
Z
Z
T
∞
p(s)ds <
0
v(0)
du
.
ψ(u)
This inequality implies that there exists a constant b such that v(t) ≤ b, t ∈ J,
and hence µ(t) ≤ b, t ∈ J. Since for every t ∈ J, kyt k ≤ µ(t), we have
kyk∞ := sup{|y(t)| : −r ≤ t ≤ T } ≤ b,
where b depends only on T and on the functions p and ψ. This shows that Ω is
bounded.
Set X := C(J1 , E). As a consequence of Lemma 2.1 we deduce that N has
a fixed point which is a solution of (1.1)-(1.2).
♦
4
Existence results for integrodifferential inclusions
In this section we consider the solvability of IVP (1.3)-(1.4). Let us state the
following hypotheses:
(H6) For each t ∈ J, K(t, s) is measurable on J and
K(t) = ess sup{|K(t, s)|, 0 ≤ s ≤ t},
is bounded on J;
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
9
(H7) The map t 7−→ Kt is continuous from J to L∞ (J, R); here Kt (s) =
K(t, s);
(H8) kF (t, u)k := sup{|v| : v ∈ F (t, u)} ≤ p(t)ψ(kuk) for almost all t ∈ J and
all u ∈ C(J0 , E), where p ∈ L1 (J, R+ ) and ψ : R+ → (0, ∞) is continuous and
increasing with
Z T
Z ∞
dτ
T sup K(t)
;
p(s)ds <
ψ(τ )
t∈J
0
c
n
o
1
where c = 1−c
(1 + c1 )kφk + 2c2 ;
1
(H9) For each bounded B ⊂ C(J1 , E), u ∈ B and t ∈ J the set
nZ t Z
0
0
s
K(s, σ)g(σ)dσds : g ∈ SF,u
o
is relatively compact.
Definition 4.1 By a solution to the IVP (1.3)-(1.4) it mean a function y :
J1 → E such that y0 = φ, yt ∈ C(J0 , E), the function y(t)−f (t, yt ) is absolutely
continuous and the inclusion (1.3) hold a.e. on J.
Now, we are able to state and prove our main theorem.
Theorem 4.2 Assume that hypotheses (H1), (H2), (H4), (H6)-(H9) are satisfied. Then the IVP (1.3)-(1.4) has at least one solution on J1 .
Proof. Let C(J1 , E) be the Banach space of continuous functions from J1 into
E endowed with the sup-norm
kyk∞ := sup{|y(t)| : t ∈ [−r, T ]}, for y ∈ C(J1 , E).
Transform the problem into a fixed point problem. Consider the multivalued
map, N : C(J1 , E) −→ 2C(J1 ,E) defined by:

if t ∈ J0

 φ(t),
N y := h ∈ C(J1 , E) : h(t) =
φ(0) − f (0, φ) + f (t, yt )


RtRs


+ 0 0 K(s, u)g(u)duds, if t ∈ J



where





n
o
g ∈ SF,y = g ∈ L1 (J, E) : g(t) ∈ F (t, yt ) for a.e. t ∈ J .
Remark 4.3 It is clear that the fixed points of N are solutions to (1.3)-(1.4).
10
Neutral functional differential inclusions
EJDE–2000/20
As in Theorem 3.4 we can show that N is a completely continuous multi-valued
map, u.s.c. with convex closed values, and therefore a condensing map.
Here we repeat the proof that the set
Ω := {y ∈ C(J1 , E) : λy ∈ N y, for some λ > 1}
is bounded. Let y ∈ Ω. Then λy ∈ N y for some λ > 1. Thus there exists
g ∈ SF,y such that for t ∈ J,
−1
y(t) = λ
−1
φ(0) − λ
−1
f (0, φ) + λ
−1
Z tZ
f (t, yt ) + λ
s
K(s, u)g(u) du ds.
0
0
This implies by (H1), (H6)-(H8) that for each t ∈ J we have
Z t Z s
ky(t)k ≤ kφk + c1 kφk + 2c2 + c1 kyt k + K(s, u)g(u) du ds
0
0
Z tZ s
≤ kφk + c1 kφk + 2c2 + c1 kyt k +
|K(s, u)|p(u)ψ(kyu k) du ds
0
0
Z t
p(s)ψ(kys k)ds.
≤ kφk + c1 kφk + 2c2 + c1 kyt k + T sup K(t)
t∈J
0
We consider the function µ defined by
µ(t) = sup{|y(t)| : −r ≤ s ≤ t}, t ∈ J.
Let t∗ ∈ [−r, t] be such that µ(t) = |y(t∗ )|. If t∗ ∈ J, by the previous inequality
we have for t ∈ J
Z t
p(s)ψ(kys k)ds
µ(t) ≤ kφk + c1 kφk + 2c2 + c1 kyt k + T sup K(t)
t∈J
≤
Z
kφk + c1 kφk + 2c2 + c1 µ(t) + T sup K(t)
t∈J
0
t
p(s)ψ(µ(s))ds.
0
Thus
1 n
µ(t) ≤
(1 + c1 )kφk + 2c2 + T sup K(t)
1 − c1
t∈J
Z
t
o
p(s)ψ(µ(s))ds .
0
If t∗ ∈ J0 then µ(t) = kφk and the previous inequality holds.
Let us take the right-hand side of the above inequality as v(t), then we have
c = v(0) =
o
1 n
(1 + c1 )kφk + 2c2 and µ(t) ≤ v(t), t ∈ J.
1 − c1
Using the nondecreasing character of ψ we get
v 0 (t) ≤ T sup K(t)p(t)ψ(v(t)), t ∈ J.
t∈J
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
11
This implies for each t ∈ J that
Z
v(t)
v(0)
du
≤ T sup K(t)
ψ(u)
t∈J
Z
Z
T
∞
p(s)ds <
0
v(0)
du
.
ψ(u)
This inequality implies that there exists a constant b such that v(t) ≤ b, t ∈ J,
and hence µ(t) ≤ b, t ∈ J. Since for every t ∈ J, kyt k ≤ µ(t), we have
kyk∞ := sup{|y(t)| : −r ≤ t ≤ T } ≤ b,
where b depends only on T and on the functions p and ψ. This shows that Ω is
bounded.
Set X := C(J1 , E). As a consequence of Lemma 2.1 we deduce that N has
a fixed point which is a solution of (1.3)-(1.4).
♦
5
Second order differential inclusions
In this section we consider the solvability of IVP (1.5)-(1.6). For the study of
this problem we first list the following hypotheses:
(H10) kF (t, u)k := sup{|v| : v ∈ F (t, u)} ≤ p(t)ψ(kuk) for almost all t ∈ J
and all u ∈ C(J0 , E), where p ∈ L1 (J, R+ ) and ψ : R+ → (0, ∞) is continuous
and increasing with
Z T
Z ∞
dτ
;
M (s)ds <
u
+
ψ(τ )
0
c
where c = kφk + [|η| + c1 kφk + 2c2 ]T and M (t) = max{1, c1 , p(t)};
(H11) for each bounded B ⊂ C(J1 , E), y ∈ B and t ∈ J the set
nZ t Z
0
0
u
g(u) du ds : g ∈ SF,y
o
is relatively compact.
Definition 5.1 By a solution to the IVP (1.5)-(1.6) we shall mean a differentiable function y : J1 → E such that y0 = φ, y 0 (0) = η, yt ∈ C(J0 , E), the
function y 0 (t) − f (t, yt ) is absolutely continuous and the inclusion (1.5) hold
a.e. on J.
Now, we are in a position to state and prove our main theorem in this section.
Theorem 5.2 Assume that hypotheses (H1), (H2), (H4), (H10), (H11) hold.
Then the IVP (1.5)-(1.6) has at least one solution on J1 .
12
Neutral functional differential inclusions
EJDE–2000/20
Proof. Let C(J1 , E) be the Banach space of continuous functions from J1 into
E endowed with the sup norm
kyk∞ := sup{|y(t)| : t ∈ [−r, T ]}, for y ∈ C(J1 , E).
Transform the problem into a fixed point problem. Consider the multivalued
map, N : C(J1 , E) −→ 2C(J1 ,E) defined by:

if t ∈ J0

 φ(t),
N y := h ∈ C(J1 , E) : h(t) =
φ(0) + [η − f (0, φ)]t


RtRs
 Rt

+ 0 f (s, ys )ds + 0 0 g(u)duds, if t ∈ J








Remark 5.3 It is clear that the fixed points of N are solutions to (1.5)-(1.6).
As in Theorem 3.4 we can show that N is a completely continuous multivalued map, u.s.c. with convex closed values.
Now we prove only that the set
Ω := {y ∈ C(J1 , E) : λy ∈ N y, for some λ > 1}
is bounded.
Let y ∈ Ω. Then λy ∈ N y for some λ > 1. Thus there exists g ∈ SF,y such
that for t ∈ J,
y(t) = λ−1 φ(0) + λ−1 [η − f (0, φ)]t + λ−1
Z
0
t
f (s, ys )ds + λ−1
Z tZ
u
g(u) du ds .
0
0
This implies by (H1), (H3) that for each t ∈ J we have
ky(t)k ≤
≤
kφk + [|η| + c1 kφk + 2c2 ]T
Z t
Z tZ s
+c1
kys kds +
p(u)ψ(kyu k) du ds
0
0
0
kφk + [|η| + c1 kφk + 2c2 ]T
Z t
Z t
Z
+
M (s)kys kds +
M (s)
0
0
s
0
ψ(kyu k) du ds ,
where M (t) = max{1, c1 , p(t)}. We consider the function µ defined by
µ(t) = sup{|y(t)| : −r ≤ s ≤ t}, t ∈ J.
Let t∗ ∈ [−r, t] be such that µ(t) = |y(t∗ )|. If t∗ ∈ J, by the previous inequality
we have for t ∈ J
Z t
Z t
Z s
µ(t) ≤ kφk + [|η| + c1 kφk + 2c2 ]T +
M (s)µ(s)ds +
M (s)
ψ(µ(u)) du ds.
0
0
0
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
13
If t∗ ∈ J0 then µ(t) = kφk and the previous inequality holds. Denoting by u(t)
the right hand side of the above inequality we have
u(0) = kφk + [|η| + c1 kφk + 2c2 ]T = c,
µ(t) ≤ u(t),
t∈J
and
Z
0
t
≤ M (t)µ(t) + M (t)
ψ(µ(s))ds
0
Z t
ψ(u(s))ds , t ∈ J.
≤ M (t) u(t) +
u (t)
0
Put
Z
v(t) = u(t) +
t
t ∈ J.
ψ(u(s))ds,
0
u(0) = kφk + [|η| + c1 kφk + 2c2 ]T = c,
µ(t) ≤ u(t),
t∈J
and
v 0 (t)
= u0 (t) + ψ(u(t))
≤ M (t)[v(t) + ψ(v(t))],
t ∈ J.
This implies that for each t ∈ J,
Z
v(t)
v(0)
du
≤
u + ψ(u)
Z
Z
T
∞
M (s)ds <
0
v(0)
du
.
u + ψ(u)
This inequality implies that there exists a constant b such that v(t) ≤ b, t ∈ J,
and hence µ(t) ≤ b, t ∈ J. Since for every t ∈ J, kyt k ≤ µ(t), we have
kyk∞ := sup{|y(t)| : −r ≤ t ≤ T } ≤ b,
where b depends only on T and on the functions p and ψ. This shows that Ω is
bounded.
Set X := C(J1 , E). As a consequence of Lemma 2.1 we deduce that N has
a fixed point which is a solution of (1.5)-(1.6).
♦
References
[1] Banas, J. and Goebel, K.: Measures of Noncompactness in Banach Spaces,
Marcel-Dekker, New York, 1980.
[2] K. Deimling, Multivalued Differential Equations, Walter de Gruyter,
Berlin-New York, 1992.
[3] J. Dugundji and A. Granas, Fixed Point Theory, Monografie Mat. PWN,
Warsaw, 1982.
14
Neutral functional differential inclusions
EJDE–2000/20
[4] L. H. Erbe, Q. Kong and B. G. Zhang, Oscillation Theory for Functional
Differential Equations, Pure and Applied Mathematics, Marcel Dekker,
New York, 1994.
[5] J.K. Hale, Theory of Functional Differential Equations, Springer, New
York, 1977.
[6] J. Henderson, Boundary Value Problems for Functional Differenial Equations, World Scientific, 1995.
[7] S. G. Hristova and D.D. Bainov, Application of the monotone iterative
techniques of Lakshmikantham to the solution of the initial value problem
for functional differential equations, J. Math. Phys. Sci. 24 (1990), 405-413.
[8] Sh. Hu and N. Papageorgiou, Handbook of Multivalued Analysis, Volume
I: Theory, Kluwer, Dordrecht, Boston, London, 1997.
[9] G. S. Ladde, V. Lakshmikantham and A.S. Vatsala, Monotone Iterative Techniques for Nonlinear Differential Equations, Pitman, Boston M.
A.,1985.
[10] A. Lasota and Z. Opial, An application of the Kakutani-Ky-Fan theorem
in the theory of ordinary differential equations, Bull. Acad. Polon. Sci. Ser.
Sci. Math. Astronom. Phys. 13 (1965), 781-786.
[11] M. Martelli, A Rothe’s type theorem for non-compact acyclic-valued map,
Boll. Un. Mat.Ital. 4 (3), (1975), 70-76.
[12] J. J. Nieto, Y. Jiang and Y. Jurang, Monotone iterative method for functional differential equations, Nonlinear Anal. 32 (6) (1998), 741-749.
[13] S. K. Ntouyas, Global existence for neutral functional integrodifferential
equations, Nonlinear Anal. 30 (1997), 2133-2142.
[14] S. K. Ntouyas, Initial and boundary value problems for functional differential equations via the topological transversality method: A survey, Bull.
Greek Math. Soc. 40 (1998), 3-41.
[15] S.K. Ntouyas, Global existence for functional semilinear integro different
ial equations, Arch. Math. (Brno) 34 (1998), 239-256.
[16] S. K. Ntouyas and P. Ch. Tsamatos, Initial and boundary value problems
for functional integrodifferential equations, J. Appl. Math. Stoch. Anal. 7
(1994), 191-201.
[17] S. K. Ntouyas, Y. Sficas, and P. Ch. Tsamatos, Existence results for initial
value problems for neutral functional differential equations, J. Differential
Equations 114 (1994), 527-537.
[18] N. S. Papageorgiou, Boundary value problems for evolution inclusions,
Comment. Math. Univ. Carol. 29 (1988), 355-363.
[19] K. Yosida, Functional Analysis, 6th ed. Springer-Verlag, Berlin, 1980.
EJDE–2000/20
M. Benchohra & S. K. Ntouyas
M. Benchohra
Département de Mathématiques, Université de Sidi Bel Abbès,
BP 89, 22000 Sidi Bel Abbès, Algérie
e-mail: benchohra@yahoo.com
S. K. Ntouyas
Department of Mathematics, University of Ioannina,
451 10 Ioannina, Greece
e-mail: sntouyas@cc.uoi.gr
15