k
, y) +I
k
(u(x
k
, y)), if y [0, b]; k = 1, . . . , m, (2)
u(x, y) = (x, y), if (x, y)
J := [, a] [, b](0, a] (0, b], (3)
u(x, 0) = (x), u(0, y) = (y), x [0, a], and y [0, b], (4)
c _ 2010, FCAA Diogenes Co. (Bulgaria). All rights reserved.
226 S. Abbas, M. Benchohra
where J = [0, a] [0, b], a, b, , > 0,
c
D
r
0
is the fractional Caputo deriva
tive of order r = (r
1
, r
2
) (0, 1] (0, 1], 0 = x
0
< x
1
< < x
m
< x
m+1
=
a, :
J R
n
is a given function, : [0, a] R
n
, : [0, b] R
n
are given
absolutely continuous functions such that (x) = (x, 0), (y) = (0, y)
for each x [0, a] and y [0, b], f : J C R
n
,
1
,
2
: J C R, I
k
:
R
n
R
n
, k = 1, . . . , m are given functions and C is the space dened by
C := C
(,)
= u : [, 0] [, 0] R
n
: continuous and there exist
k
(, 0) with u(
k
, y) and u(
+
k
, y), k = 1, . . . , m, exist for any
y [, 0] with u(
k
, y) = u(
k
, y)
_
.
C is a Banach space with norm
u
C
= sup
(x,y)[,0][,0]
u(x, y).
For any function u dened on [, a] [, b] and any (x, y) J, we denote
by u
(x,y)
the element of C dened by
u
(x,y)
(s, t) = u(x +s, y + t); (s, t) [, 0] [, 0],
here u
(x,y)
(., .) represents the history of the state from time (x , y )
up to the present time (x, y).
Next we consider the following system of partial hyperbolic dierential
equations of fractional order with innite delay
(
c
D
r
0
u)(x, y) = f(x, y, u
(
1
(x,y,u
(x,y)
),
2
(x,y,u
(x,y)
))
), if (x, y) J; x ,= x
k
,
(5)
u(x
+
k
, y) = u(x
k
, y) + I
k
(u(x
k
, y)), if y [0, b]; k = 1, . . . , m, (6)
u(x, y) = (x, y), if (x, y)
J
R
n
and B is called a phase space that will be specied in
Section 4.
Dierential equations of fractional order have recently proved to be valu
able tools in the modeling of many phenomena in various elds of science
and engineering. Indeed, we can nd numerous applications in viscoelas
ticity, electrochemistry, control, porous media, electromagnetic, etc. There
has been a signicant development in ordinary and partial fractional dif
ferential equations in recent years; see the monographs [21, 22, 24, 25], the
papers [1, 2, 7, 9, 12, 27], and the references therein.
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 227
Integer order impulsive dierential equations have become important
in some mathematical models of real processes and phenomena studied in
physics, chemical technology, population dynamics, biotechnology and eco
nomics. There has been a signicant development in impulse theory in
recent years, especially in the area of impulsive dierential equations and
inclusions with xed moments; see the monographs [8, 23, 26], and the ref
erences therein. Very recently, some extensions to impulsive fractional order
dierential equations have been obtained in [4, 5, 6, 10].
Functional dierential equations with statedependent delay appear fre
quently in applications as model of equations and for this reason the study
of this type of equations has received great attention in the last year,
see, for instance, [16, 17] and the references therein. The literature re
lated to partial functional dierential equations with statedependent delay
is limited, see for instance [19]. The literature related to ordinary and
partial functional dierential equations with delay for which (t, .) = t or
(
1
(x, y, .),
2
(x, y, .)) = (x, y) is very extensive, see for instance [1, 2, 15]
and the references therein.
In this paper, we shall present existence and uniqueness results for our
problems. These results initiate the study of hyperbolic fractional functional
dierential equations with statedependent delay subject to impulsive eect.
We present two results for each of our problems, the rst one is based on Ba
nachs contraction principle and the second one on the nonlinear alternative
of LeraySchauder type.
2. Preliminaries
In this section, we introduce notations and denitions which are used
throughout this paper. By AC(J, R
n
) we denote the space of absolutely
continuous functions from J into R
n
and L
1
(J, R
n
) is the space of Lebesgue
integrable functions w : J R
n
with the norm
w
1
=
_
a
0
_
b
0
w(x, y)dydx,
where . denotes a suitable complete norm on R
n
.
Let a
1
[0, a], z
+
= (a
1
, 0) J, J
z
= [a
1
, a] [0, b], r
1
, r
2
> 0 and
r = (r
1
, r
2
). For w L
1
(J
z
, R
n
), the expression
(I
r
z
+
w)(x, y) =
1
(r
1
)(r
2
)
_
x
a
1
_
y
0
(x s)
r
1
1
(y t)
r
2
1
w(s, t)dtds,
where (.) is the Euler gamma function, is called the leftsided mixed
RiemannLiouville integral of order r.
228 S. Abbas, M. Benchohra
Definition 2.1. ([27]) For w L
1
(J
z
, R
n
), the Caputo fractionalorder
derivative of order r is dened by the expression
(
c
D
r
z
+
w)(x, y) = (I
1r
z
+
2
xy
w)(x, y).
Set
J
k
:= (x
k
, x
k+1
] [0, b]
and
J
:= J(x
1
, y), . . . , (x
m
, y), y [0, b].
Consider the space
PC := PC(J, R
n
)
=
_
u : J R
n
: u C(J
k
, R
n
); k = 1, . . . , m, and there exist u(x
k
, y)
and u(x
+
k
, y); k = 1, . . . , m, with u(x
k
, y) = u(x
k
, y)
_
.
This set is a Banach space with the norm
u
PC
= sup
(x,y)J
u(x, y).
3. Impulsive functional hyperbolic dierential equations
with nite delay
Set
PC := PC([, a] [, b], R
n
),
which is a Banach space with the norm
u
PC
= supu(x, y) : (x, y) [, a] [, b].
Definition 3.1. A function u
PC whose rderivative exists on J
k
(x, y) = u(x, 0) + u(x
+
k
, y) u(x
+
k
, 0), k = 0, . . . , m.
For the existence of solutions for the problem (1)(3), we need the following
lemma.
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 229
Lemma 3.2. ([3]) A function u AC([x
k
, x
k+1
][0, b], R
n
); k = 0, . . . , m
is a solution of the dierential equation
(
c
D
r
z
k
u)(x, y) = h(x, y); (x, y) [x
k
, x
k+1
] [0, b],
if and only if u(x, y) satises
u(x, y) =
k
(x, y) + (I
r
z
k
h)(x, y); (x, y) [x
k
, x
k+1
] [0, b]. (9)
Let
:=
0
= u(x, 0) + u(0, y) u(0, 0) = (x) +(y) (0).
Lemma 3.3. ([3]) Let 0 < r
1
, r
2
1 and let h PC(J, R
n
). A function
u is a solution of the fractional integral equation
u(x, y) =
_
_
(x, y) +
1
(r
1
)(r
2
)
_
x
0
_
y
0
(x s)
r
1
1
(y t)
r
2
1
h(s, t)dtds;
if (x, y) [0, x
1
] [0, b],
(x, y) +
k
i=1
(I
i
(u(x
i
, y)) I
i
(u(x
i
, 0)))
+
1
(r
1
)(r
2
)
k
i=1
_
x
i
x
i1
_
y
0
(x
i
s)
r
1
1
(y t)
r
2
1
h(s, t)dtds
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
h(s, t)dtds;
if (x, y) (x
k
, x
k+1
] [0, b], k = 1, . . . , m,
(10)
if and only if u is a solution of the fractional IVP
c
D
r
z
k
u(x, y) = h(x, y), (x, y) J
, (11)
u(x
+
k
, y) = u(x
k
, y) +I
k
(u(x
k
, y)), y [0, b], k = 1, . . . , m. (12)
Set :=
(
1
,
2
)
= (
1
(s, t, u),
2
(s, t, u)) : (s, t, u) J C,
i
(s, t, u) 0; i = 1, 2.
We always assume that
i
: J C R; i = 1, 2 are continuous and the
function (s, t) u
(s,t)
is continuous from into C.
The rst result is based on Banach xed point theorem.
Theorem 3.4. Let f(, , u) PC(J, R
n
) for each u C. Assume that:
230 S. Abbas, M. Benchohra
(H1) There exists a constant l > 0 such that
f(x, y, u)f(x, y, u) luu
C
, for each (x, y) J and each u, u C.
(H2) There exists a constant l
+
2la
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
< 1, (13)
then (1)(4) has a unique solution on [, a] [, b].
P r o o f. We transform the problem (1)(4) into a xed point problem.
Consider the operator F :
PC
PC dened by
F(u)(x, y) =
_
_
(x, y), (x, y)
J,
(x, y) +
0<x
k
<x
(I
k
(u(x
k
, y)) I
k
(u(x
k
, 0)))
+
1
(r
1
)(r
2
)
0<x
k
<x
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds, (x, y) J.
Clearly, the xed points of the operator F are solution of the problem (1)
(4). We shall use the Banach contraction principle to prove that F has a
xed point. For this, we show that F is a contraction. Let u, v
PC, then
for each (x, y) J, we have
F(u)(x, y) F(v)(x, y)
k=1
(I
k
(u(x
k
, y)) I
k
(v(x
k
, y)) +I
k
(u(x
k
, 0)) I
k
(v(x
k
, 0)))
+
1
(r
1
)(r
2
)
m
k=1
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1

f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
) f(s, t, v
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 231
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)
f(s, t, v
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
k=1
l
(u(x
k
, y) v(x
k
, y) +u(x
k
, 0) v(x
k
, 0))
+
l
(r
1
)(r
2
)
m
k=1
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1
u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
v
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))

C
dtds
+
l
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
v
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))

C
dtds
_
2ml
+
2la
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
_
u v
C
.
By the condition (13), we conclude that F is a contraction. As a consequence
of Banachs xed point theorem, we deduce that F has a unique xed point
which is a solution of the problem (1)(4).
In the following theorem we give an existence result for the problem
(1)(4) by applying the nonlinear alternative of LeraySchauder type [13].
Theorem 3.5. Let f(, , u) PC(J, R
n
) for each u C. Assume that
the following conditions hold:
(H3) There exists
f
C(J, R
+
) and
: [0, ) (0, ) continuous and
nondecreasing such that
f(x, y, u)
f
(x, y)
(u
C
) for all (x, y) J, u C.
(H4) There exists
+ 2m
(M) +
2a
r
1b
r
2
0
f
(M)
(r
1
+1)(r
2
+1)
> 1,
where
0
f
= sup
f
(x, y) : (x, y) J.
232 S. Abbas, M. Benchohra
Then (1)(4) has at least one solution on [, a] [, b].
P r o o f. Consider the operator F dened in Theorem 3.4. We shall
show that the operator F is continuous and completely continuous.
A priori estimate.
For [0, 1], let u be such that for each (x, y) J we have u(x, y) =
(Fu)(x, y).
For each (x, y) J, then from (H3) and (H4) we have
u(x, y) (x, y) +
m
k=1
(I
k
(u(x
k
, y)) +I
k
(u(x
k
, 0)))
+
1
(r
1
)(r
2
)
m
k=1
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds

+ 2m
(u) +
2a
r
1
b
r
2
0
f
(u)
(r
1
+ 1)(r
2
+ 1)
.
Thus,
u
PC

+ 2m
(u
PC
) +
2a
r
1b
r
2
0
f
(u
PC
)
(r
1
+1)(r
2
+1)
1.
By condition (H5), there exists M such that u
,= M.
Let
U = u
PC : u
PC
< M.
The operator F : U
PC is continuous and completely continuous. From
the choice of U, there is no u U such that u = F(u) for some (0, 1).
As a consequence of the nonlinear alternative of LeraySchauder type [13],
we deduce that F has a xed point u in U which is a solution of the problem
(1)(4).
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 233
4. The phase space B
The notation of the phase space B plays an important role in the study
of both qualitative and quantitative theory for functional dierential equa
tions. A usual choice is a seminormed space satisfying suitable axioms,
which was introduced by Hale and Kato [14] (see also [15, 20]).
For any (x, y) J denote E
(x,y)
:= [0, x] 00[0, y], furthermore
in case x = a, y = b we write simply E. Consider the space (B, (., .)
B
)
is a seminormed linear space of functions mapping (, 0] (, 0] into
R
n
, and satisfying the following fundamental axioms which were adapted
from those introduced by Hale and Kato for ordinary dierential functional
equations:
(A
1
) If z : (, a] (, b] R
n
, z
(x,y)
B for all (x, y) E and
z PC, then for every (x, y) J the following conditions hold:
(i) z
(x,y)
is in B;
(ii) There exists a positive constant H such that z(x, y) Hz
(x,y)

B
,
(iii) There exist two functions K, M : R
+
R
+
R
+
independent of u,
with K continuous and M locally bounded such that
z
(x,y)

B
K(x, y) sup
(s,t)[0,x][0,y]
z(s, t)+M(x, y) sup
(s,t)E
(x,y)
z
(s,t)

B
,
(A
2
) The space B is complete.
Denote K = sup
(x,y)J
K(x, y) and M = sup
(x,y)J
M(x, y).
Now, we present some examples of phase spaces (see [11]).
Example 4.1. Let B be the set of all functions : (, 0](, 0]
R
n
such that for each , 0 we dene in C the seminorms by

B
= sup
(s,t)[,0][,0]
(s, t).
Then we have H = K = M = 1. The quotient space
B = B/.
B
is
isometric to the space PC([, 0] [, 0], R
n
) of all piecewise continuous
functions from [, 0][, 0] into R
n
with the supremum norm, this means
that partial dierential functional equations with nite delay are included
in our axiomatic model.
234 S. Abbas, M. Benchohra
Example 4.2. Let , , 0 and let

CL
= sup
(s,t)[,0][,0]
(s, t) +
_
0
_
0
e
(s+t)
(s, t)dtds.
be the seminorm for the space CL
of all functions : (, 0] (, 0]
R
n
which are measurable on (, ] (, 0] (, 0] (, ],
and such that 
CL
< . Then
H = 1, K =
_
0
_
0
e
(s+t)
dtds, M = 2.
5. Impulsive functional hyperbolic dierential equations
with innite delay
Now we present two existence results for the problem (5)(8). Let us
start in this section by dening what we mean by a solution of the problem
(5)(8). Let the space
:= u : (, a](, b] R
n
: u
(x,y)
B for (x, y) E and u[
J
PC.
Definition 5.1. A function u whose rderivative exists on J
, the
equation (5) on J
:=
1
,
2
)
= (
1
(s, t, u),
2
(s, t, u)) : (s, t, u) J, B
i
(s, t, u) 0; i = 1, 2.
We always assume that
i
: J B R; i = 1, 2 are continuous and the
function (s, t) u
(s,t)
is continuous from
into B.
We will need to introduce the following hypothesis:
(H
1
,
2
)
(0, )
such that

(s,t)

B
L(s, t)
B
, for any(s, t)
.
In the sequel we will make use of the following generalization of a conse
quence of the phase space axioms ([19]).
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 235
Lemma 5.2. If u , then
u
(s,t)

B
= (M +L
)
B
+K sup
(,)[0,max{0,s}][0,max{0,t}]
u(, ),
where
L
= sup
(s,t)R
L(s, t).
Our rst existence result for the IVP (5)(8) is based on the Banach
contraction principle.
Theorem 5.3. Assume that the following hypotheses hold:
(H01) There exists
uv
B
, for any u, v B and (x, y) J.
(H02) There exists a constant l
+
2K
a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
< 1, (14)
then there exists a unique solution for IV P (5)(8) on (, a] (, b].
P r o o f. Transform the problem (5)(8) into a xed point problem.
Consider the operator N : dened by
N(u)(x, y) =
_
_
(x, y), (x, y)
J
,
(x, y) +
0<x
k
<x
(I
k
(u(x
k
, y)) I
k
(u(x
k
, 0)))
+
1
(r
1
)(r
2
)
0<x
k
<x
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds, (x, y) J.
(15)
Let v(., .) : (, a] (, b] R
n
be a function dened by,
v(x, y) =
_
(x, y), (x, y)
J
,
(x, y), (x, y) J.
236 S. Abbas, M. Benchohra
Then v
(x,y)
= for all (x, y) E. For each w C(J, R
n
) with w(x, y) =
0 for each (x, y) E we denote by w the function dened by
w(x, y) =
_
0, (x, y)
J
,
w(x, y) (x, y) J.
If u(., .) satises the integral equation
u(x, y) = (x, y)
+
1
(r
1
)(r
2
)
_
x
0
_
y
0
(xs)
r
1
1
(yt)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds,
we can decompose u(., .) as u(x, y) = w(x, y) + v(x, y); (x, y) J, which
implies u
(x,y)
= w
(x,y)
+ v
(x,y)
, for every (x, y) J, and the function w(., .)
satises
w(x, y) =
0<x
k
<x
(I
k
(u(x
k
, y)) I
k
(u(x
k
, 0)))
+
1
(r
1
)(r
2
)
0<x
k
<x
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
f(s, t, u
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds.
Set
C
0
= w : w(x, y) = 0 for (x, y) E,
and let .
(a,b)
be the seminorm in C
0
dened by
w
(a,b)
= sup
(x,y)E
w
(x,y)

B
+ sup
(x,y)J
w(x, y) = sup
(x,y)J
w(x, y), w C
0
.
C
0
is a Banach space with norm .
(a,b)
. Let the operator P : C
0
C
0
be
dened by
P(x, y) =
0<x
k
<x
(I
k
(u(x
k
, y)) I
k
(u(x
k
, 0)))
+
1
(r
1
)(r
2
)
0<x
k
<x
_
x
k
x
k1
_
y
0
(x
k
s)
r
1
1
(y t)
r
2
1
f(s, t, w
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
+v
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds
+
1
(r
1
)(r
2
)
_
x
x
k
_
y
0
(x s)
r
1
1
(y t)
r
2
1
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 237
f(s, t, w
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
+v
(
1
(s,t,u
(s,t)
),
2
(s,t,u
(s,t)
))
)dtds, (16)
for each (x, y) J. Then the operator N has a xed point is equivalent to
P has a xed point, and so we turn to proving that P has a xed point. We
can easily show that P : C
0
C
0
is a contraction map, and hence it has a
unique xed point by Banachs contraction principle.
Now we give an existence result based on the nonlinear alternative of
LeraySchauder type [13]. We will make use of the following generalization
of Gronwalls lemma for two independent variables and singular kernel.
Lemma 5.4([18]). Let : J [0, ) be a real function and (., .) be
a nonnegative, locally integrable function on J. If there are constants c > 0
and 0 < r
1
, r
2
< 1 such that
(x, y) (x, y) +c
_
x
0
_
y
0
(s, t)
(x s)
r
1
(y t)
r
2
dtds,
then there exists a constant = (r
1
, r
2
) such that
(x, y) (x, y) +c
_
x
0
_
y
0
(s, t)
(x s)
r
1
(y t)
r
2
dtds,
for every (x, y) J.
Theorem 5.5. Assume (H
) and
(H03) There exist p, q C(J, R
+
) such that
f(x, y, u) p(x, y) +q(x, y)u
B
, for (x, y) J and each u B.
(H04) There exist c
k
> 0; k = 1, . . . , m such that
I
k
(u) c
k
for all u R
n
.
Then the IV P (5)(8) has at least one solution on (, a] (, b].
P r o o f. Let P : C
0
C
0
dened as in (16). As in Theorem 3.5, we
can show that the operator P is continuous and completely continuous.
We now show there exists an open set U C
0
with w ,= P(w), for
(0, 1) and w U. Let w C
0
and w = P(w) for some 0 < < 1. By
(H03) and (H04) for each (x, y) J, we have
w(x, y)
m
k=1
2c
k
+
2p
a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
238 S. Abbas, M. Benchohra
+
2
(r
1
)(r
2
)
_
x
0
_
y
0
(x s)
r
1
1
(y t)
r
2
1
q(s, t)w
(s,t)
+ v
(s,t)

B
dtds.
But Lemma 5.2 implies that
w
(s,t)
+v
(s,t)

B
w
(s,t)

B
+v
(s,t)

B
K supw( s,
t) : ( s,
t) [0, s] [0, t]
+(M +L
)
B
+K(0, 0). (17)
If we name z(s, t) the right hand side of (17), then we have
w
(s,t)
+v
(s,t)

B
z(x, y),
and therefore, for each (x, y) J we obtain
w(x, y) 2
m
k=1
c
k
+
2p
a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
+
2
(r
1
)(r
2
)
_
x
0
_
y
0
(x s)
r
1
1
(y t)
r
2
1
q(s, t)z(s, t)dtds. (18)
Using the above inequality and the denition of z for each (x, y) J we
have
z(x, y) (M + L
)
B
+ K(0, 0) + 2
m
k=1
c
k
+
2p
a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
+
2Kq
(r
1
)(r
2
)
_
x
0
_
y
0
(x s)
r
1
1
(y t)
r
2
1
z(s, t)dtds.
Then by Lemma 5.4, there exists = (r
1
, r
2
) such that we have
z(x, y) R +
2Kq
(r
1
)(r
2
)
_
x
0
_
y
0
(x s)
r
1
1
(y t)
r
2
1
Rdtds,
where
R = (M + L
)
B
+ K(0, 0) + 2
m
k=1
c
k
+
2p
a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
.
Hence
z
R +
2RKq
a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
:=
M.
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 239
Then, (18) implies that
w
2
m
k=1
c
k
+
2a
r
1
b
r
2
(r
1
+ 1)(r
2
+ 1)
(p
+
Mq
) := M
.
Set
U = w C
0
: w
(a,b)
< M
+ 1.
P : U C
0
is continuous and completely continuous. By our choice of U,
there is no w U such that w = P(w), for (0, 1). As a consequence
of the nonlinear alternative of LeraySchauder type [13], we deduce that N
has a xed point which is a solution to problem (5)(8).
6. Examples
Example 1. As an application of our results we consider the following
impulsive partial hyperbolic functional dierential equations of the form
(
c
D
r
0
u)(x, y) =
e
xy
9 +e
x+y
[u(x
1
(u(x, y)), y
2
(u(x, y)))[
1 +[u(x
1
(u(x, y)), y
2
(u(x, y)))[
, if (x, y) [0, 1] [0, 1], x ,=
1
2
,
(19)
u((
1
2
)
+
, y) = u((
1
2
)
, y) +
[u((
1
2
)
, y)[
3 +[u((
1
2
)
, y)[
, y [0, 1], (20)
u(x, y) = x + y
2
, (x, y) [1, 1] [2, 1](0, 1] (0, 1], (21)
u(x, 0) = x, u(0, y) = y
2
, for each x [0, 1] and y [0, 1], (22)
where
1
C(R, [0, 1]),
2
C(R, [0, 2]). Set
1
(x, y, ) = x
1
((0, 0)), (x, y, ) J C,
2
(x, y, ) = y
2
((0, 0)), (x, y, ) J C,
where C := C
(1,2)
. Set
f(x, y, ) =
e
xy
[[
(9 + e
x+y
)(1 +[[)
, (x, y) [0, 1] [0, 1], C,
240 S. Abbas, M. Benchohra
and
I
k
(u) =
u
3 + u
, u R
+
.
A simple computations show that conditions of Theorem 3.4 are satis
ed which implies that problem (19)(22) has a unique solution dened
on [1, 1] [2, 1].
Example 2. We consider now the following impulsive fractional order
partial hyperbolic dierential equations with innite delay of the form
(
c
D
r
0
u)(x, y) =
ce
x+y(x+y)
[u(x
1
(u(x, y)), y
2
(u(x, y)))[
(e
x+y
+ e
xy
)(1 +[u(x
1
(u(x, y)), y
2
(u(x, y)))[)
;
if (x, y) J := [0, 1] [0, 1], x ,=
k
k + 1
; k = 1, ...m, (23)
u
_
_
k
k + 1
_
+
, y
_
= u
_
_
k
k + 1
_
, y
_
+
u
_
_
k
k+1
_
, y
_
3mk +
u
_
_
k
k+1
_
, y
_
= u C((, 0] (, 0], R) : u[
J
PC(J, R)
and lim
(,)
e
(+)
u(, ) exists in R.
The norm of B
is given by
u
= sup
(,)(,0](,0]
e
(+)
[u(, )[.
Let
E := [0, 1] 0 0 [0, 1],
and u : (, 1] (, 1] R such that u
(x,y)
B
: (s, t) E
(x,y)
,
where K = M = 1 and H = 1.
If x + 0, y + 0, we get
u
(x,y)

= sup
(s,t)(,0](,0]
[u(s, t)[ + sup
(s,t)[0,x][0,y]
[u(s, t)[.
Then
u
(x,y)

= sup
(s,t)E
u
(s,t)

+ sup
(s,t)[0,x][0,y]
[u(s, t)[.
(B
, .
is a phase space.
Set
1
(x, y, ) = x
1
((0, 0)), (x, y, ) J B
2
(x, y, ) = y
2
((0, 0)), (x, y, ) J B
,
f(x, y, ) =
ce
x+y(x+y)
[[
(e
x+y
+ e
xy
)(1 +[[)
, (x, y) [0, 1] [0, 1], B
and
I
k
(u) =
u
3mk +u
; u R
+
, k = 1, . . . , m.
We can easily show that conditions of Theorem 5.3 are satised, and hence
problem (23)(26) has a unique solution dened on (, 1] (, 1].
References
[1] S. Abbas and M. Benchohra, Partial hyperbolic dierential equations
with nite delay involving the Caputo fractional derivative, Commun.
Math. Anal. 7, No 2 (2009), 6272.
242 S. Abbas, M. Benchohra
[2] S. Abbas and M. Benchohra, Darboux problem for perturbed partial
dierential equations of fractional order with nite delay, Nonlinear
Anal. Hybrid Syst. 3 (2009), 597604.
[3] S. Abbas and M. Benchohra, Upper and lower solutions method
for impulsive partial hyperbolic dierential equations with frac
tional order, Nonlinear Anal. Hybrid Syst. 4 (2010), 406413,
doi:10.1016/j.nahs.2009.10.004.
[4] R. P. Agarwal, M. Benchohra and B.A. Slimani, Existence results for
dierential equations with fractional order and impulses, Mem. Dier
ential Equations Math. Phys. 44 (2008), 121.
[5] B. Ahmad and S. Sivasundaram, Existence results for nonlinear impul
sive hybrid boundary value problems involving fractional dierential
equations. Nonlinear Anal. Hybrid Syst. 3 (2009), 251258.
[6] E. Ait Dads, M. Benchohra and S. Hamani, Impulsive fractional dif
ferential inclusions involving the Caputo fractional derivative, Fract.
Calc. Appl. Anal. 12, No 1 (2009), 1538.
[7] M. Benchohra, J. R. Graef and S. Hamani, Existence results for bound
ary value problems of nonlinear fractional dierential equations with
integral conditions, Appl. Anal. 87, No 7 (2008), 851863.
[8] M. Benchohra, J. Henderson and S. K. Ntouyas, Impulsive Dierential
Equations and Inclusions, Hindawi Publishing Corporation, Vol. 2,
New York, 2006.
[9] M. Benchohra, J. Henderson, S.K. Ntouyas and A. Ouahab, Existence
results for functional dierential equations of fractional order, J. Math.
Anal. Appl. 338 (2008), 13401350.
[10] M. Benchohra and B. A. Slimani, Existence and uniqueness of solutions
to impulsive fractional dierential equations, Electron. J. Dierential
Equations, Vol. 2009, No 10 (2009), 111.
[11] T. Czlapinski, On the Darboux problem for partial dierential
functional equations with innite delay at derivatives. Nonlinear Anal.
44 (2001), 389398.
[12] K. Diethelm and N. J. Ford, Analysis of fractional dierential equa
tions, J. Math. Anal. Appl. 265 (2002), 229248.
[13] A. Granas and J. Dugundji, Fixed Point Theory, SpringerVerlag, New
York, 2003.
[14] J. Hale and J. Kato, Phase space for retarded equationswith innite
delay, Funkcial. Ekvac. 21, (1978), 1141.
IMPULSIVE PARTIAL HYPERBOLIC FUNCTIONAL . . . 243
[15] J. K. Hale and S. Verduyn Lunel, Introduction to Functional 
Dierential Equations, Applied Mathematical Sciences, 99, Springer
Verlag, New York, 1993.
[16] F. Hartung, Dierentiability of solutions with respect to parameters
in neutral dierential equations with statedependent delays, J. Math.
Anal. Appl. 324, No 1 (2006), 504524.
[17] F. Hartung, Linearized stability in periodic functional dierential
equations with statedependent delays, J. Comput. Appl. Math. 174,
No 2 (2005), 201211.
[18] D. Henry, Geometric Theory of Semilinear Parabolic Partial Dieren
tial Equations, SpringerVerlag, BerlinNew York, 1989.
[19] E. Hernandez M., R. Sakthivel, S. Tanaka Aki, Existence results for
impulsive evolution dierential equations with statedependent delay,
Electron. J. Dierential Equations 2008, No 28 (2008), 111.
[20] Y. Hino, S. Murakami and T. Naito, Functional Dierential Equations
with Innite Delay, in: Lecture Notes in Mathematics, 1473, Springer
Verlag, Berlin, 1991.
[21] A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applica
tions of Fractional Dierential Equations. NorthHolland Mathematics
Studies, 204. Elsevier Science B.V., Amsterdam, 2006.
[22] V. Kiryakova, Generalized Fractional Calculus and Applications. Long
man Scientic & Technical, Harlow; and J. Wiley, New York, 1994.
[23] V. Lakshmikantham, D. D. Bainov and P. S. Simeonov, Theory of
Impulsive Dierential Equations, World Scientic, Singapore, 1989.
[24] V. Lakshmikantham, S. Leela and J. Vasundhara, Theory of Fractional
Dynamic Systems, Cambridge Academic Publishers, Cambridge, 2009.
[25] I. Podlubny, Fractional Dierential Equations, Academic Press, San
Diego, 1999.
[26] A. M. Samoilenko and N. A. Perestyuk, Impulsive Dierential Equa
tions, World Scientic, Singapore, 1995.
[27] A. N. Vityuk and A. V. Golushkov, Existence of solutions of systems
of partial dierential equations of fractional order, Nonlinear Oscil. 7,
No 3 (2004), 318325.
Received: February, 1, 2010
244 S. Abbas, M. Benchohra
Laboratoire de Mathematiques
Universite de Sada
B.P. 138, 20000 Sada, ALG
ERIE
email: abbas said dz@yahoo.fr
(Corresponding author)
Laboratoire de Mathematiques
Universite de Sidi BelAbb`es
B.P. 89, 22000 Sidi BelAbb`es, ALG
ERIE
email: benchohra@univsba.dz