Ndambomve Patrice PHD Thesis
Ndambomve Patrice PHD Thesis
BY
PATRICE NDAMBOMVE
2016
CONTRIBUTIONS TO THE CONTROL
THEORY OF SOME PARTIAL
FUNCTIONAL INTEGRODIFFERENTIAL
EQUATIONS IN BANACH SPACES
Patrice Ndambomve
B.Sc.(Hons.)(University of Buea, Cameroon),
M.Sc. (AUST, Abuja, Nigeria.)
I.D. 70064
i
Dissertation
Presented in Partial Fulfilment of the
Requirements for the Degree of
Doctor of Philosophy
in Pure and Applied Mathematics
of the
African University of Science and Technology
Abuja, Nigeria.
By
Patrice Ndambomve
B.Sc.(Hons.)(University of Buea, Cameroon),
M.Sc. (AUST, Abuja, Nigeria).
I.D. 70064
www.aust.edu.ng
P.M.B 681, Garki, Abuja F.C.T, Nigeria.
CERTIFICATE OF APPROVAL
————————————————–
Ph.D. THESIS
—————————————
——————————————————
Member: Prof. Mostafa Adimy
INRIA, Grenoble, France
——————————————————
Member: Prof. C. E. Chidume
African University of Science and Technology, Abuja, Nigeria.
Dedication
To My Lord and Savior Jesus Christ for His Unmerited Favour without
which I would not have been here and for giving me the wisdom, inspiration
and strength to start and complete this thesis.
To my Family and to my fiancée, Tiako Fani Michele Doriane,
whose love, care, vulnerability, wisdom, strength, unceasing
encouragements, motivation, and support have inspired me to be the best I
can be.
iii
Acknowledgements
Doing Mathematics may be fun. But, it takes more than just a piece of paper,
a pen, and the ability to recognize patterns, and put together implications and
equivalences to write a logical, sound and correct mathematical proof. Unfor-
tunately, most often, a substantial part of what one may need has neither a
material nor a Mathematical equivalent.
This makes me therefore, very indebted to those who gave me the strength,
the courage and the motivation to withstand the social, emotional and psy-
chological adversities which have been persistent companions over the years.
First and formost, all the glory, thanks, praise, adoration, appreciation
from the bottom of my heart be given to the Almighty God, the creator of
the universe, my strength in weakness, my comfort in sorrow, my Ebenezer,
who lifted me from grass to grace, made ways for me where there seemed to
be no way and brought to perfect completion of this thesis and my Ph.D.
programme using human instrument.
iv
acknowledgements v
I also wish to express gratitude to Prof. Ngalla Djitte for the rich aca-
demic interaction I enjoyed from him in the course of my doctoral study.
I thank Dr. Guy Degla for his numerous contributions towards my Ph.D.
studies; for introducing me to Evolution Equations during my M.Sc pro-
gramme and encouraging me to carry it over to Ph.D. level; for the numerous
hours of tutoring and discussions.
tambe Tabot, Ignace Djitog, Yoro Diouf, Koffi Ampaw, Joseph Asare, Vitalis
Anye, Aborisade Opeyemi, Azeko Salifu, Emeka Ani, Bruno Dangdobessi, for
the friendship and the great time I have had with you folks while at AUST.
Being with you folks has been a wonderful life-changing experience.
My gratitude to Dr. Shu Felix Che, Dr. Nkemzi Boniface, Dr. Nana
Cyrille, and to my lecturers at Universities of Bamenda and Buea, who in
one way or the other inspired me to further studies in Mathematics.
Very special thanks and gratitude to those who close or far said an en-
couraging word to me during my times of despair. Especially my mother
Feteko Margueritte for her love, care, prayers and sacrifices.
My gratitude to my elder brother Dr. Jean-Claude Pedjeu, whose passion for
mathematics inspired and motivated me to pursue a carrier in mathematics
right from Secondary school, for his prayers and encouragements.
Sincere and deep gratitude to my elder brother and his wife Mr and Mrs
Mbemboung who took me under their care right from childhood and taught
me how to love and appreciate learning, for their supports and encourage-
ments over the years.
Many thanks to my sisters, brothers, nieces and nephews for their prayers,
love and support throughout my life. Without them, I would not have been
able to get this far.
Thanks to all those I fail to mention here, who assisted me in any way over
these years.
Patrice Ndambomve
Abstract
vii
Abstract viii
(LP)
J (u0 ) ≤ J (u) for all u ∈ Uad ,
where Z T
J (u) := L t, xut , u
x (t), u(t) dt,
0
L is some functional, xu denotes the mild solution corresponding to the con-
trol u ∈ Uad , and Uad denotes the set of admissible controls.
Publications arising from the thesis and other peer-review
publications
x
Abstract xi
Dedication iii
Acknowledgements iv
Abstract vii
1 Introduction 1
1.1 General Introduction . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Nonlocal Differential Equations . . . . . . . . . . . . . 2
1.1.2 Delay Differential Equations . . . . . . . . . . . . . . . 3
1.2 Partial Functional Integrodifferential Equations . . . . . . . . 6
1.2.1 A Model in Viscoelasticity . . . . . . . . . . . . . . . . 6
1.2.2 A Model in Heat Conduction in Materials with Memory 8
1.3 Controllability of Dynamical Systems . . . . . . . . . . . . . . 10
1.4 Optimal Control of Dynamical Systems . . . . . . . . . . . . . 16
1.5 Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5.1 Measures of Noncompactness . . . . . . . . . . . . . . 20
1.5.2 Fixed Point Theory . . . . . . . . . . . . . . . . . . . . 22
1.5.3 Semigroup Theory . . . . . . . . . . . . . . . . . . . . 22
1.5.4 Resolvent Operator for Integral Equations . . . . . . . 23
1.6 Organization of the Thesis . . . . . . . . . . . . . . . . . . . . 23
2 Preliminaries 25
2.1 Semigroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Resolvent Operator for Integral Equations . . . . . . . . . . . 27
2.3 Measure of Noncompactness . . . . . . . . . . . . . . . . . . . 32
xii
Abstract xiii
Bibliography 124
CHAPTER 1
Introduction
where x is the state and u is the control. While studying a control system, two
most common problems that appear are the controllability and the optimal
controls problems. The controllability problem consists in checking the pos-
sibility of steering the control system from an initial state (initial condition)
1
Introduction 2
and flux boundary condition) appear and have received considerable atten-
tion during the last decades, cf. [14] and [15]. They usually take the following
form: x(0) = x0 + g(x), where g is a function satisfying some conditions, and
x is the state or a solution of the differential equation in question. Observe
that the initial condition in this case depends on the solution of the system.
So, the concept of nonlocal initial condition not only extends that of Cauchy
initial condition, but also turns out to have better effects in applications as
it may take into account future measurements over a certain period after the
initial time t equals 0.
In finite dimension, a complete theory has been developed for delay differ-
ential equations, while the theory in infinite dimension is far from being
complete. Such equations in infinite dimension are represented by differen-
tial equations which are nonlocal in time: knowing the solution at a given
time requires knowing it on a time interval whose lenght is equal to the de-
lay. These types of equations have lots of applications in physics, chemistry,
biology, population dynamics, · · · .
Equations with finite delay genera1ly take the following abstract form:
for t ≥ 0
0
x (t) = Ax(t) + F (t, xt )
(1.1.1)
x0 = ϕ ∈ C = C([−r, 0]; X),
for t ≥ 0
0
x (t) = Ax(t) + F (t, xt )
(1.1.2)
x0 = ϕ ∈ B,
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t) for t ∈ I = [0, b]
0
x(0) = x0 ,
(1.2.1)
which is a linear Volterra integrodifferential equation that arises in the analy-
sis of heat conduction in materials with memory and viscoelasticity. Equation
(1.2.1) has been studied by many authors under various hypotheses concern-
ing the operators A and B, see for instance the works by Chen and Grimmer
[17], Hannsgen [32, 33], Miller [58, 59], Miller and Wheeler [60, 61], and the
references contained in them.
It was not until 1982 that Grimmer [85] proved the existence and uniqueness
of resolvent operators for this integrodifferential equation that give the vari-
ation of parameter formula for the solutions.
In recent years, much work on the existence and regularity of solutions of the
nonlinear Volterra integrodifferential equations with delays and with nonlo-
cal conditions have been done by many authors by applying the resolvent
operator theory giving by Grimmer in [85], see e.g., [43, 106] and the ref-
erences therein. The objective of this thesis is to study the controllability
and the existence of optimal controls for some class of partial functional in-
tegrodifferential equations in Banach spaces.
We motivate the study by giving the occurence of these partial functional
integrodifferential equations in different areas of applications in science.
Z t
u0 (t)
0 ∂ξ u(t) a(t − s) 0 u(s)
= ∂ξ + ds
v 0 (t) α
0 v(t) 0 0 0 v(s)
0 0 u(t) 0
+ + , t ≥ 0.
0 − αβ v(t) h(t)
α
Setting
u(t) 0 ∂ξ a(t − s) 0
x(t) = , A= ∂ξ , B(t) =
v(t) α
0 0 0
0 0 0
K= , and p(t) = ,
0 − αβ h(t)
α
we can rewrite the above equation into the following abstract form:
h Z t i
0
x (t) = A x(t) + B(t − s)x(s) ds + Kx(t) + p(t) for t ≥ 0
0
x(0) = x0 .
The operator A here is unbounded, while K and B(t) are bounded operators
for t ≥ 0 on a Banach space X. When AB(t) = B(t)A, we obtain the
Introduction 8
following equation:
Z t
0
x (t) = Ax(t) + B(t − s)Ax(s)ds + Kx(t) + p(t) for t ≥ 0
0
x(0) = x0 .
(1.2.2)
which has been studied in [23]. We note that in general, the equality AB(t) =
B(t)A does not hold.
Setting f (t, x(t)) = Kx(t) + p(t), equation (1.2.2) becomes
Z t
0
x (t) = Ax(t) + B(t − s)Ax(s)ds + f (t, x(t)) for t ≥ 0
0 (1.2.3)
x(0) = x0 .
which to the best of our knowledge has not been investigated for controlla-
bility problem. This problem is addressed in the first part of this thesis, in
the case where equation (1.2.3) admits a nonlocal condition.
and the physical properties of the body suggest the dependence of e and q
on w and ∇w, respectively. For instance, assuming the Fourier Law, i.e.,
In many materials, the assumptions (1.2.5) and (1.2.6) are not justified be-
cause they take no account of the memory effects: several models have been
Introduction 9
proposed to overcome this difficulty (see e.g. [100, 101, 102]): one of them
consists in substituting (1.2.6) with
Z t
q(t, ξ) = −c2 ∇w(t, ξ) − h(t − s)∇w(s, ξ)ds. (1.2.8)
−∞
w(0, ξ) = w0 (ξ), ξ ∈ Ω
w(t, ξ) = 0, (t, ξ) ∈ [0, b] × Γ,
(1.2.10)
where b > 0 is arbitrarily fixed. If we prescribe h (in addition to f ) then
(1.2.10) is a Cauchy-Dirichlet problem for an integrodifferential equation in
the unknown w, which has been studied by several authors in the last decades
(see e.g., [103, 104, 105] and references therein).
Now, if we consider that the thermal history of the body Ω is known from
the time t − r (for some r > 0) up to the present time t, the temperature of
the boundary ∂Ω of Ω is constant (= 0) for all t, and the external heat flux
depends on the thermal history of the body, then, system (1.2.10) becomes
the following integrodifferential equation with finite delay:
Z t
wt (t, ξ) = ∆w(t, ξ) + h(t − s)∆w(s, ξ)ds + f (t, w(t − r, ξ))
0
for (t, ξ) ∈ [0, b] × Ω (1.2.11)
w(t, ξ) = ψ(t, ξ) for t ∈ [−r, 0] and x ∈ Ω
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t, xt ) for t ∈ I = [0, b],
0
x0 = ϕ ∈ C([−r, 0], X),
(1.2.12)
where X is a Banach space. Equation (1.2.12) has been studied by many
authors (see e.g., [83] and the references contained in it). But to the best
of our knowledge, this equation has never been considered for controllability
and existence of optimal controls and this motivates the work in this thesis.
An example of a material with memory is Shape-memory polymers (SMPs),
which are polymeric smart materials that have the ability to return from a de-
formed state (temporary shape) to their original (permanent) shape induced
by an external stimulus (trigger), such as temperature change.
Now if x is a classical solution of (1.3.2), then x(t) ∈ D(A), for all t ∈ [0, b].
In the genera1 case, when A is unbounded, D(A) 6= X, which means that
the system cannot be steered to all of X. Therefore, only a mild solution of
(1.3.2) given by
Z t
x(t) = T (t)x0 + T (t − s)Bu(s)ds, (1.3.3)
0
W
f [u] = W u, u ∈ [u].
To see this, note that this norm is equivalent to the graph norm on D(Wf −1 ) =
Range(W f ). Wf is bounded, and since D(W f ) = Y is closed, W
f −1 is closed.
So, the above norm makes Range(W ) = V , a Banach space.
Moreover,
f −1 W ukY = kW
kW ukV = kW f −1 W
f [u]k = k[u]k = inf kuk ≤ kuk,
u∈[u]
To the best of our knowledge, up to now no work has reported neither on the
controllability of partial functional integrodifferential equation with nonlocal
initial condition (equation (1.3.4)), with finite delay (equation (1.3.5)) and
with inifinite delay (equation (1.3.6)) in Banach spaces, using the resolvent
operator approach. It has been an untreated topic in the literature, and this
fact is the main aim and motivation of the present work.
Our approach constists in transforming the problem into a fixed-point prob-
lem of an appropriate operator and to apply the Mönch fixed-point theorem,
making use of the Hausdorff measure of noncompactness, and without as-
suming the compactness of the resolvent operator for the associated linear
integral part. The results obtained in this part improve, extend and comple-
ment many other important results in the litterature. They are summarized
in chapters 3, 4 and 5.
Equations (1.3.4), (1.3.5) and (1.3.6) are models that arise in the anal-
ysis of heat conduction in materials with memory [85], and viscoelastic-
ity.
Z The control term Cu(t) is the heating intensity and the integral part
t
B(t − s)x(s)ds is the memory of the system. Materials with memory are
0
interesting because they act adaptively to their environment. They can be
shaped easily into different forms at low temperature, but return to their
Introduction 16
original forms on heating. Steering such systems from an initial state (initial
condition) to a desired terminal one (boundary condition), by an appropriate
choice of a control (which could be the heating intensity), is of interest to
many scientists and engineers. The questions, whether one can heat the ma-
terial in such a way that the initial state is transferred onto a desired state in
time b and under which constraints on the control parameter u, are of interest.
heat flow in materials with memory, etc. . . ) whose state x(t) (at time t)
defined on a fixed time interval 0 ≤ t ≤ T , is modelled by the solution of a
differential equation:
dx
= ẋ = F (t, x, u) on [0, T ], x(0) = x0 , (1.4.1)
dt
where x0 ∈ Rn , and T ∈ R are fixed with 0 < T ; F is a given function
from R × Rn × U with values in Rn . As we can see, one of the arguments
of F is a function u defined on the interval [0, T ] with values in a given set
U , which is the set of admissible controls. This function u (the control, or
the command) translates mathematically the actions (or decisions) that one
can exercise on the evolution of the system; the set U corresponds to the
restrictions or the constraints that must be respected by the controls ( for
example: limited ressources, bounds on the acceleration or the speed for the
driving of a vehicule or the heat for the heat flow in a material, etc. . . ).
To formulate an optimal control problem, is to define the state of the system
x(t) and the differential system that describes its evolution, the class of
admissible controls u(t) and finally an evolution criterion or a cost function;
most often, it is a criterion cumulated in time added to a final cost, whose
typical form is:
Z T
J(u) = g(t, x(t), u(t)) dt + h(x(T )) (1.4.2)
0
Little is known and done about the existence of optimal controls for inte-
grodifferential equations with delay using the resolvent operator for integral
equations approach, especially the problem of existence of optimal controls
of a Lagrange problem for equations (1.4.4), (1.4.5) and (1.4.6) have been an
untreated topic in the literature, and this motivates the present work. We
tackle this problem by using the techniques of a priori estimation of mild
solutions, giving by the resolvent operator for the associated linear integral
part, and techniques of convex optimization. The results obtained in this
part complement many other important results in the literature. They are
summarized in chapters 6, 7 and 8.
1.5 Methods
In [68], Quinn and Carmichael proved that a controllability problem can be
converted into a fixed point problem. So our approach constists in trans-
forming the problems (1.3.4), (1.3.5) and (1.3.6) into fixed-point problems of
appropriate operators and to apply the Hausdorff measure of noncompact-
ness and the Mönch fixed-point theorem, without requiring the compactness
of the operator semigroup, in the same way as J. Wang, Z. Fan and Y. Zhou
[40] have done for the nonlocal controllability of some semilinear dynamic
systems with fractional derivative. This method enables us overcome the
resolvent operator case considered in this thesis. In contrary to the evolu-
tion semigroup case considered in [55, 71], here the semigroup property can
not be used because resolvent operators in general do not form semigroups.
As for the existence of optimal controls of the associated Lagrange prob-
lems to equations (1.4.4), (1.4.5) and (1.4.6), we apply techniques of convex
optimization together with Balder’s Theorem to obtain our results.
And let X be an arbitrary Banach space. A function Φ defined on the set of all
bounded subsets of X with values in E + is called a measure of noncompactness
(M N C) on X if Φ(co(D)) = Φ(D) for every bounded subset D ⊂ X, where
co(D) stands for the closed convex hull of D.
n n
[ o
= inf > 0 : D ⊂ Sk , Sk ⊂ Z, diam(Sk ) < (k = 1, 2, · · · , n ∈ N) .
k=1
n n
[ o
= inf > 0 : D ⊂ B(xk , rk ), xk ∈ Z, rk < (k = 1, 2, · · · , n ∈ N) .
k=1
Introduction 22
parameter formula for mild solutions. In [66], Pazy discussed the existence
and uniqueness of mild, strong and classical solutions of evolution equations
using semigroup theory and fixed point theorems.
Preliminaries
In this Chapter, we give some definitions and preliminary results that will
be needed in the subsequent chapters.
2.1 Semigroups
Definition 2.1.1 Let X be a Banach space. A family T (t) t≥0 of bounded
linear operators from X to X is called a strongly continuous semigroup of
bounded linear operators if the following three conditions are satisfied :
i) T (0) = IdX
25
Preliminaries 26
by uniform continuity of f .
Thus
lim+ kT (s)f − f kC0 (R) = 0.
t−→0
And therefore (T (s))s≥0 defined above is a strongly continuous semigroup.
continuous when regarded as a linear map from (X1 , | · |) into (X, k · k) for
almost all t ≥ 0 and the map t 7→ B(t)y is measurable for all y ∈ X1 and
t ≥ 0, and belongs to W 1,1 (R+ , X). Moreover there is a locally integrable
function ρ : R+ → R+ such that
d
kB(t)yk ≤ ρ(t)|y| and
dt B(t)y
≤ ρ(t)|y| .
Remark 2.2.1 Note that (H2 ) is satisfied in the modelling of heat conduc-
tion in materials with memory and viscosity. More details can be found in
[106].
such that
Preliminaries 28
(i) R(0) = IdX and kR(t)k ≤ N eβt for some constants N and β.
Remark 2.2.3 The above example also shows that, in general, the resolvent
operator R(t) t≥0 for equation (2.2.1) does not satisfy the semigroup law,
namely,
R(t + s) 6= R(t)R(s) for some t, s > 0 .
In this chapter, we establishthe equivalence between operator-norm conti-
nuity of the semigroup T (t) t≥0 generated by A and the resolvent operator
R(t) t≥0 corresponding to the linear equation (2.2.1). We shall then as-
Z t
0
x (t) = Ax(t) + [B1 (t − s) + B2 (t − s)] x(s)ds for t ≥ 0
0 (2.2.2)
x(0) = x0 ∈ X,
Preliminaries 29
where B1 (t) and B2 (t) are closed linear operators in X and satisfy (H2 ).
Then we have the next Lemma coming from [24].
Lemma 2.2.4 (Perturbation result)([24]) Suppose A satisfies (H1 ) and B1 (t) t≥0
and B2 (t) t≥0 satisfy (H2 ). Let RB1 (t) t≥0 be a resolvent operator of equa-
tion (2.2.1) and RB1 +B2 (t) t≥0 be a resolvent operator of equation (2.2.2).
Then Z t
RB1 +B2 (t)x − RB1 (t)x = RB1 (t − s)Q(s)x ds
0
where the operator Q is defined by
Z t Z s Z t
0
Q(t)x = B2 (t − s) RB1 +B2 (τ )x dτ ds + B2 (0) RB1 +B2 (s)x ds,
0 0 0
Proof. Since T (t) t≥0 is a C0 -semigroup, there exist M and ω such that
Let
Z t Z t Z s
0
Q(t)x = B(0) R(s)x ds + B (t − s) R(τ )x dτ ds.
0 0 0
Z t
R(t)x = T (t)x + T (t − s)Q(s)x ds.
0
Preliminaries 30
Now set α = sup kQ(t)k and let x ∈ X be arbitrary and such that kxk ≤ 1.
0≤t≤b
Suppose first that T (t) t≥0 is operator-norm continuous for t > 0. Then on
the one hand, we have for every t ∈ (0, b) and h ∈ (0, b − t) that :
h i
R(t + h)x − R(t)x
≤
T (t + h) − T (t) x
Z t
h i
+ α
T ((t − s) + h) − T (t − s) x
ds
0
Z t+h
+ α M eω(t−s+h) ds.
t
It follows that
Z t
R(t + h) − R(t)
≤
T (t + h) − T (t)
+ α
T ((t − s) + h) − T (t − s)
ds
0
Z t+h
+ α M eω(t−s+h) ds.
t
Therefore by using the operator-norm continuity of T (t) t≥0 on (0, +∞) and
On the other hand, for every t ∈ (0, b] and h ∈ (−t, 0), we have that
Z t
R(t + h) − R(t)
≤
T (t + h) − T (t)
+ α
T ((t − s) + h) − T (t − s)
ds
0
Z t
+ α M eω(t−s) ds.
t+h
And using the operator-norm continuity of T (t) t≥0 and the Lebesgue dom-
Hence
R(t + h) − R(t)
→ 0 when h → 0 with t + h ∈ [0, b].
Preliminaries 31
continuous.
and the continuity of Q(t) t≥0 that will follow from the property (H2 ) of
In fact suppose that R(t) t≥0 is operator-norm continuous for t > 0. Then
on the one hand, we have for every t ∈ (0, b) and h ∈ (0, b − t) that :
h i
T (t + h)x − T (t)x ≤ R(t + h) − R(t) x
Z t
h i
+ M eωs
Q((t − s) + h) − Q(t − s) x
ds
0
Z t+h
+ α M eωs ds.
t
It follows that
T (t + h) − T (t)
≤
R(t + h) − R(t)
Z t
+ M eωs
Q((t − s) + h) − Q(t − s)
ds
0
Z t+h
+ α M eωs ds.
t
Therefore by using the operator-norm continuity of R(t) t≥0 on (0, +∞), the
we have that
T (t + h) − T (t)
→ 0 as h → 0+ .
On the other hand, for every t ∈ (0, b] and h ∈ (−t, 0), we have that
h i
T (t + h)x − T (t)x
≤
R(t + h) − R(t) x
Z t
h i
ωs
+ M e
Q((t − s) + h) − Q(t − s) x
ds
0
Z t
+ α M eωs ds.
t+h
Preliminaries 32
It follows that
T (t + h) − T (t)
≤
R(t + h) − R(t)
Z t
+ M eωs
Q((t − s) + h) − Q(t − s)
ds
0
Z t
+ α M eωs ds.
t+h
Therefore by using the operator-norm continuity of R(t) t≥0 on (0, +∞), the
we have that
T (t + h) − T (t)
→ 0 as h → 0− .
Hence,
T (t + h) − T (t)
→ 0 as h → 0 with t + h ∈ [0, b].
β(G(D)) ≤ kβ(D),
(xi) β(D) = inf{dZ (D, E); E ⊆ Z is relatively compact} = inf{dZ (D, E); E ⊆
Z is finite valued}, where dZ (D, E) means the nonsymmetric (or sym-
metric) Hausdorff distance between D and E in Z.
(x) If {Dn }∞
n=1 is a decreasing sequence of bounded closed nonempty subsets
\∞
of Z and limn→∞ β(Dn ) = 0, then, Dn is nonempty and compact in
n=1
Z.
Lemma 2.3.3 ([40, 67]) If (un )n≥1 is a sequence of Bochner integrable func-
tions from I = [a, b] into a Banach space Z with the estimation kun (t)k ≤
µ(t) for almost all t ∈ I and every n ≥ 1, where µ ∈ L1 (I, R), then the
function
ψ(t) = β({un (t) : n ≥ 1})
belongs to L1 (I, R) and satisfies the following estimation
Z t Z t
β un (s)ds : n ≥ 1 ≤ 2 ψ(s)ds,
a a
Lemma 2.3.5 Let Z be a Banach space and (Tn )n≥1 be a sequence of bounded
linear maps on Z converging pointwise to T ∈ B(Z) . Then for any compact
set K in Z, Tn converges to T uniformly in K, namely,
Proof. By the uniform boundedness principle, we have that sup kTn k <
n≥1
∞. Let M = sup kTn k and > 0 be arbitrarily given. Then there exist
n≥1
m
[
a1 , a2 , · · · , am such that K ⊂ B ai , .
i=1
2(M + 1)
Also, for any x ∈ K, there exists i ∈ {1, · · · , m} such that x ∈ B ai , 2(M+1) .
Since for i = 1, 2, · · · , m,
Tn (ai ) → T (ai ), there exists N > 0 such that
kTn (ai ) − T (ai )k ≤ , for n ≥ N and for any i = 1, · · · , m.
M +1
We have that
kTn (x) − T (x)k ≤ kTn (x) − Tn (ai )k + kTn (ai ) − T (ai )k + kT (ai ) − T (x)k
≤ kTn kkx − ai k + kT kkai − xk + kTn (ai ) − T (ai )k
M
≤ + kTn (ai ) − T (ai )k
M +1
M
≤ + =
M +1 M +1
Therefore sup kTn (x) − T (x)k → 0 as n → +∞.
x∈K
2
Preliminaries 35
We now state the following nonlinear alternative of Mönch’s type for self-
maps, which we shall use in the proof of the controllability results.
where L1X denotes the set of all absolutely summable functions from Σ to X.
The following three conditions
37
CHAPTER 3
3.1 Introduction
Several authors have studied the controllability problem of nonlinear systems
described by functional integrodifferential equations with nonlocal conditions
in infinite dimensional Banach spaces: see for instance [69], [9], [16], [40], [77],
and the references therein. For example in [77], the authors proved the con-
trollability of an integrodifferential system with nonlocal conditions basing
on the measure of noncompactness and the Sadovskii fixed-point theorem,
and in [69], R. Atmania and S. Mazouzi have proved the controllability of a
semilinear integrodifferential system using Schaefer fixed-point theorem and
requiring the compactness of the semigroup.
In [69], the authors assumed the compactness of the operator semigroup and
in [9], the authors assumed the compactness of the resolvent operator whereas
in [16, 40, 77], the authors managed to drop this condition which motivates
our current work.
In this chapter, we study the controllability of some systems that arise in the
1
The results of this chapter are contents of the following paper
- Khalil Ezzinbi, Guy Degla, Patrice Ndambomve [42]
38
Controllability for Nonlocal Integrodifferential Equations 39
(i) W defined by
Z b
Wu = R(b − s)Cu(s) ds,
0
(ii) There exists a function LW ∈ L1 (I, R+ ) such that for any bounded
set Q ⊂ X we have
φ(r)
kf (t, x)k ≤ Lf (t)φ(kxk) for x ∈ X, t ∈ I and lim inf = 0.
r→+∞ r
(iii) There exists a function h ∈ L1 (I, R+ ) such that for any bounded set
D ⊂ X,
β(f (t, D)) ≤ h(t)β(D) for a.e t ∈ I,
where β is the Hausdorff MNC.
gr
(H5 ) g : C(I, X) −→ X is continuous, compact and satisfies lim inf =0
r→+∞ r
where n o
gr = sup kg(x)k : kxk ≤ r .
Controllability for Nonlocal Integrodifferential Equations 41
Theorem 3.2.1 Suppose equation (2.2.1) has a resolvent operator R(t)
t≥0
that is continuous in the operator-norm topology for t > 0 and hypotheses
(H3 ) − (H5 ) are satisfied. Then equation (3.1.1) is controllable on I, provided
that
γ = 1 + 2M1 M2 kLW kL1 2M1 khkL1 < 1,
Proof. Note at once that M1 < +∞ according to the exponential growth of
the resolvent operator R(t) t≥0 . Using (H3 ) we define the following control
by
Z b
ux (t) = W −1
x1 − R(b)[x0 + g(x)] − R(b − s)f (s, x(s)) ds (t) for t ∈ I,
0
has a fixed point x which is just a mild solution of the equation (3.1.1). Ob-
serve that (Kx)(b) = x1 and so the control ux steers the integrodifferential
equation from x0 to x1 in time b. This means that equation (3.1.1) is con-
trollable on I.
where
Z b
uxn − ux
≤ M3 M1
g(xn ) − g(x)
+ M1
Fn (s) − F (s)
ds .
L2 (I,U ) 0
Thus it follows that
K2 xn − K2 x
−→ 0 as n → +∞, showing that K2 is
continuous on Br . Hence K is continuous on Br .
Step 3. The Mönch condition holds.
Suppose that D ⊆ Br is countable and D ⊆ co {0} ∪ K(D) . We have to
show that D is relatively compact.
To this end, it suffices to show that β(D) = 0, where β is the Hausdorff
MNC. Since D is countable, we can describe it as D = {xn }n≥1 . Therefore
K(D) = {Kxn }n≥1 (t) and its relative compactness implies that D is also
relatively compact. So we have to prove that K(D) is equibounded and
equicontinuous on I in order to use Ascoli-Arzela’s theorem. We show that
K(D) is equicontinuous. To this end, let y ∈ K(D), and 0 ≤ t1 < t2 ≤ b,
there is x ∈ D such that y = Kx and then
y(t2 ) − y(t1 )
≤
R(t2 )x0 − R(t1 )x0
+
R(t2 )g(x) − R(t1 )g(x)
Z t2 Z t1
+
R(t2 − s)f (s, x(s))ds − R(t1 − s)f (s, x(s))ds
0 0
Z t2 Z t1
+
R(t2 − s)Cu x (s)ds − R(t1 − s)Cu x (s)ds
0 0
Controllability for Nonlocal Integrodifferential Equations 44
Firstly for t1 > 0. By (ii) of definition 2.2.2, the first term on the right hand
side tends to 0 as |t2 − t1 | → 0. That is
R(t2 )x0 − R(t1 )x0
→ 0 as |t2 − t1 | → 0.
Z t2
≤ M1
f (s, x(s))
ds
t1
Z t1
+
R(t2 − s) − R(t1 − s)
f (s, x(s))
ds
0
Z t2
≤ M1 φ(r) Lf (s)ds
t1
Z t1
+φ(r)
R(t2 − s) − R(t1 − s)
Lf (s)ds
0
t2 t1
Z Z
R(t2 − s)Cux (s)ds − R(t1 − s)Cux (s)ds
0 0
Z t2
≤ M1
Cux (s)
ds
t1
Z t1
+
R(t2 − s) − R(t1 − s)
Cux (s)
ds
0
h i
≤ M2 M3 kx1 k + M1 kx0 k + gr + M1 φ(r)kLf kL1
Z t1
M1 (t2 − t1 ) +
R(t2 − s) − R(t1 − s)
ds
0
β {uxn (t) }n≥1 (t)
n Z b o
−1
=β W x1 − R(b) x0 + g(xn ) − R(t − s)f (s, xn (s)) ds (t)
0 n≥1
n Z b o
≤ LW (t)β x1 − R(b) x0 + g(xn ) − R(t − s)f (s, xn (s)) ds (t)
0 n≥1
n o
≤ LW (t)β x1 − R(b) x0 + g(xn ) (t)
n≥1
n Z b o
+LW (t)β R(t − s)f (s, xn (s)) ds (t) .
0 n≥1
It follows that
β {(K2 xn )(t)}n≥1
!
Z t Z t
=β R(t − s)f (s, xn (s)) ds + R(t − s)Cuxn (s) ds (t)
0 0 n≥1
Z b
≤ 2M1 h(s) ds β D(t)
0
Z b Z b
+2M1 M2 LW (s) ds 2M a1 h(s) ds β D(t)
0 0
≤ 2M1 khkL1 β D(t) + 2M1 M2 kLW kL1 2M1 khkL1 β D(t)
≤ 1 + 2M1 M2 kLW kL1 2M1 khkL1 β D(t) .
Controllability for Nonlocal Integrodifferential Equations 47
It follows that
β K(D)(t) ≤ β K1 (D)(t) + β K2 (D)(t)
≤ 1 + 2M1 M2 kLW kL1 2M1 khkL1 β D(t) .
That is β K(D(t)) ≤ γβ D(t) . But from Mönch’s condition, we have
β D(t) ≤ β co {0} ∪ K(D(t)) = β K(D(t)) ≤ γβ D(t) .
This implies that β D(t) = 0, since γ < 1, which implies that β K(D)(t) =
0. This shows that K(D)(t) is compact, that is {K(x)(t); x ∈ D} is compact
as desired. So K(D) is equicontinuous and equibounded and therefore by
Ascoli-Arzela’s Theorem, we have that K(D) is relatively compact.
But
β D ≤ β co {0} ∪ K(D) = β K(D) = 0.
This implies that β D = 0, showing that D is compact in X as desired.
Thus D is relatively compact and the Mönch condition is satisfied. Therefore
by Theorem 2.4.2, K has a fixed point x in Br , which is a mild solution of
equation (3.1.1) and satisfies x(b) = x1 . And the proof is complete.
2
we now illustrate our main result by the following example.
v = 0 on ∂Ω
Z Z b
1
ρ(t, ξ) log 1 + |v(t, η)| 2 dt dη for ξ ∈ Ω,
v(0, ξ) = v0 (ξ) +
Ω 0
(3.3.1)
Controllability for Nonlocal Integrodifferential Equations 48
t > 0 and operator-norm continuous for t > 0. Then by Theorem 2.2.6, the
corresponding resolvent operator is operator-norm continuous. Define
∂v(t, ξ)
x(t)(ξ) = v(t, ξ), x0 (t)(ξ) = .
∂t
e−t
f (t, x)(ξ) = sin(x(t)(ξ)) for t ∈ I and ξ ∈ Ω
k + et
C : X → X be defined by Cu = aω.
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t, x(t)) + Cu(t) for t ∈ I = [0, b],
0
x(0) = x0 + g(x).
(3.3.3)
Controllability for Nonlocal Integrodifferential Equations 49
Moreover,
21
g(x) ≤ b mes(Ω) Mρ kxk ,
C0 (Ω)
is compact.
So g(E) is bounded.
Now since ρ is uniformly continuous on I × Ω, it follows that g(E) is equicon-
tinuous on Ω. Therefore, by Ascoli-Arzela’s theorem, g(E) is relatively com-
pact in C0 (Ω). Hence, g is compact.
We have by Lemma 3.3.2 that g is compact and therefore satisfies (H5 ). Now
for ξ ∈ Ω, the operator W is given by
Z 1
(W u)(ξ) = R(1 − s)ωu(s, ξ) ds.
0
Assuming that W satisfies (H3 ), then all the conditions of Theorem 3.2.1
hold and equation (3.3.3) is controllable.
CHAPTER 4
4.1 Introduction
In this chapter, we study the controllability for some systems that arise in
the analysis of heat flow in a rigid body of a material with memory [53, 85].
Materials with memory are interesting because they act adaptively to their
environment. They can be shaped easily into different forms at low temper-
ature, but return to their original forms on heating. Steering such systems
from an initial state (initial condition) to a desired terminal one (boundary
condition) by an appropriate choice of a control, is of interest to many sci-
entists and engineers.
These systems take the form of the following abstract model of partial func-
tional integrodifferential equation with finite delay in a Banach space (X, k·k)
1
The results of this chapter are contents of the following paper
- Khalil Ezzinbi and Patrice Ndambomve [44]
50
Controllability for integrodifferential Equations with Finite Delay 51
:
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t, xt ) + Cu(t) for t ∈ I = [0, b]
0
x0 = ϕ ∈ C = C([−r, 0]; X),
(4.1.1)
where f : I ×C → X is a function satisfying some conditions; A : D(A) →X
is the infinitesimal generator of a C0 -semigroup T (t) t≥0 on X; for t ≥ 0,
B(t) is a closed linear operator with domain D(B(t)) ⊃ D(A). The control
u belongs to L2 (I, U ) which is a Banach space of admissible controls, where
U is a Banach space. The operator C ∈ L(U, X), where L(U, X) denotes the
Banach space of bounded linear operators from U into X and C([−r, 0], X)
denotes the Banach space of continuous functions ϕ : [−r, 0] → X with
supremum norm kϕk = sup kϕ(θ)kX , xt denotes the history function that
θ∈[−r,0]
is defined by
xt (θ) = x(t + θ), for − r ≤ θ ≤ 0.
The particular cases in which B(t) = 0 and A = A(t) were considered by K.
Balachandran and R. Sakthivel; S. Baghli, M. Benchohra and K. Ezzinbi; S.
Selvi and M. M. Arjunan and many others. In this work, we extend the work
of K. Balachandran and R. Sakthivel by considering some integrodifferential
equation when B(t) 6= 0, and without any compactness assumption.
The controllability problem of nonlinear systems described by integrodiffer-
ential equations in infinite dimensional Banach spaces has been studied by
several authors: see for instance [8]-[16], [40, 55, 56, 69, 70, 83, 71] and the
references therein. Many authors have also studied the controllability prob-
lem of nonlinear systems with delay in inifinite dimensional Banach spaces:
see for instance [8], [55], [70], [83], [71], etc and the references therein. For
example in [83], the authors proved the controllability of semilinear func-
tional evolution equations with infinite delay using the nonlinear alternative
of Leray-Schauder type. In [56], M. Li, M. Wang and F. Zhang proved the
controllability of an impulsive functional differential system with finite delay
using Schaefer’s fixed-point theorem. In [71], S. Selvi and M. M. Arjunan
proved the controllability for impulsive differential systems with finite delay
using Mönch’s fixed-point Theorem, and in [8], K. Balachandran and R. Sak-
thivel studied the controllability of functional semilinear integrodifferential
systems in Banach spaces using Schaefer’s fixed point Theorem and the au-
thors assumed that the semigroup generated by the linear part is compact.
In many areas of applications such as Engineering, Electronics, Fluid Dy-
namics, Physical Sciences, etc..., integrodifferential equations appear and
Controllability for integrodifferential Equations with Finite Delay 52
have received considerable attention during the last decades. In recent years,
much work on the existence and regularity of solutions of nonlinear inte-
grodifferential equations with finite delay has been done by many authors
by applying the resolvent operator theory, see e.g., [43] and the references
therein.
In [85], R. Grimmer proved the existence and uniqueness of resolvent opera-
tors for these integrodifferential equations that give the variation of parame-
ters formula for the solution. In [24], W. Desch, R. Grimmer and W. Schap-
pacher proved the equivalence of the compactness of the resolvent operator
and that of the operator semigroup. In this work, we use the equivalence be-
tween the operator-norm continuity of the associated resolvent operator and
that of the operator semigroup. This property allows us to drop the com-
pactness assumption on the operator semigroup, considered by the authors
in [8, 83], and prove that the operator solution satisfies the Mönch condition.
The variation of parameters formula for the mild solutions of equation (4.1.1)
is given by the resolvent operator, and we prove the controllability result us-
ing the Mönch’s fixed-point Theorem and the measure of noncompactness.
This method enables us overcome the resolvent operator case considered in
this work. In contrary to the evolution semigroup case considered in [55, 71],
here the semigroup property can not be used because resolvent operators in
general do not form semigroups.
To the best of our knowledge, up to now no work has reported on control-
lability of partial functional integrodifferential equation (4.1.1) with finite
delay. It has been an untreated topic in the literature, and this fact is the
main aim and motivation of the present work.
We now state the following useful result for equicontinuous subsets of C([a, b]; X),
where X is a Banach space.
To prove the controllability for equation (4.1.1), we need the following results.
Lemma 4.2.5 [40] If (un )n≥1 is a sequence of Bochner integrable functions
from I into a Banach space Y with the estimation kun (t)k ≤ µ(t) for almost
all t ∈ I and every n ≥ 1, where µ ∈ L1 (I, R), then the function
(H3 )
(ii) There exists a function LW ∈ L1 (I, R+ ) such that for any bounded
set Q ⊂ X we have
(iii) there exists a function h ∈ L1 (I, R+ ) such that for any bounded set
D ⊂ C([−r, 0], X),
(H5 )
γ = 1 + 2Mb M2 kLW kL1 2Mb khkL1 < 1,
where Mb = sup kR(t)k and M2 is such that M2 = kCk.
0≤t≤b
Theorem 4.3.1 Suppose that hypotheses (H3 ) − (H5 ) hold and equation
(2.2.1) has a resolvent operator R(t) t≥0 that is continuous in the operator-
norm topology for t > 0. Then equation (4.1.1) is controllable on I provided
that
Mb (1 + Mb M2 M3 b)l < 1, (4.3.1)
where M3 is such that M3 = kW −1 k.
Proof. Using (H3 ) and given an arbitrary function x ∈ C([−r, b], X), we
define the control as usual by the following formula:
Z b
ux (t) = W −1
x1 − R(b)ϕ(0) − R(b − s)f (s, xs ) ds (t) for t ∈ I.
0
Controllability for integrodifferential Equations with Finite Delay 55
x(t) if t ∈ [0, b]
x
e(t) =
ϕ(t) if t ∈ [−r, 0]
Z t
es ) + Cux (s) ds for t ∈ I = [0, b]
(P x)(t) = R(t)ϕ(0) + R(t − s) f (s, x
0
has a fixed-point. This fixed point is then a mild solution of equation (4.1.1).
Observe that (P x)(b) = x1 . This means that the control ux steers the in-
tegrodifferential equation from ϕ to x1 in time b which implies the equation
(4.1.1) is controllable on I.
For each ϕ ∈ C, we define the function y ∈ C([0, b], X) by y(t) = R(t)ϕ(0)
and its extension ye in C([−r, b], X) by
y(t) if t ∈ [0, b]
ye(t) =
ϕ(t) if t ∈ [−r, 0]
where
Z b
−1
uz (t) = W x1 − R(b)ϕ(0) − R(b − s)f (s, zes + yes ) ds (t).
0
Now let
n o
Eb0 = z : [0, b] → X continuous such that z(0) = 0 .
Thus Eb0 is a Banach space provided with the supremum norm. Define the
operator K : Eb0 → Eb0 by
Controllability for integrodifferential Equations with Finite Delay 56
Z t
R(t − s) f (s, zes + yes ) + Cuz (s) ds for t ∈ [0, b]
(Kz)(t) =
0
Note that the operator P has a fixed point if and only if K has one. So to
prove that P has a fixed point, we only need to prove that K has one.
For each positive number q, let Bq = {z ∈ Eb0 : kzk ≤ q}. We shall prove the
theorem in the following steps.
Step1. We claim that there exists q > 0 such that K(Bq ) ⊂ Bq . We proceed
by contradiction. Assume that it is not true. Then for each positive number
q, there exists a function z q ∈ Bq , such that K(z q ) ∈
/ Bq , i.e., k(Kz q )(τ )k > q
for some τ ∈ [0, b]. Now we have that
q
q <
(Kz )(τ )
Z b
Z b
q
≤ Mb
f (s, z̃s + yes )
ds + Mb kCuzq (s)k ds
0 0
Z b
Z b
h Z b i
q −1 q
≤ Mb
f (s, z̃s + yes )
ds + Mb
BW x1 − R(b)ϕ(0) − R(b − s)f (s, z̃s ) ds
ds
0 0 0
Z b Z b
≤ bMb M2 M3 kx1 k + Mb kϕk + Mb kf (s, z̃sq )k ds + Mb
f (s, z̃sq + yes )
ds
0 0
Z b Z b
≤ bMb M2 M3 kx1 k + Mb kϕk + Mb lq0 (s) ds + Mb lq0 (s) ds,
0 0
Z b
lq0 (s) ds Mb M2 M3 b kx1 k + Mb kϕkC
0
1 ≤ 1 + Mb M2 M3 b Mb +
q q
Controllability for integrodifferential Equations with Finite Delay 57
and Z b Z b
l (s) ds
q0 l (s) ds
q0
0
0 q0
lim inf = lim inf = l.
q→+∞ q q→+∞ q0 q
Thus we have, 1 ≤ 1 + Mb M2 M3 b Mb l, and this contradicts (4.3.1). Hence
for some positive number q, we must have K(Bq ) ⊂ Bq .
Let {z n }n≥1 ⊂ Eb0 with z n → z in Eb0 . Then there exists a number q >
1 such that kz n (t)k ≤ q for all n and a.e. t ∈ I. So z n , z ∈ Bq . By
(H4 ) − (i), f (t, z̃tn + yet ) → f (t, zet + yet ) for each t ∈ [0, b]. And by (H4 ) − (ii),
Then we have
Z b
n
kK1 z − K1 zkC ≤ Mb kf (s, z̃sn + yes ) − f (s, zes + yes )k ds −→ 0, as n → +∞
0
convergence Theorem, we conclude that the right hand side of the above
inequality tends to zero and independent of z as t2 → t1 . Hence K(Bq ) is
equicontinuous on I.
It follows that
β K(D)(t) ≤ 2Mb khkL1 sup β D(t) + 2Mb M2 kLW kL1 2Mb khkL1 sup β D(t)
0≤t≤b 0≤t≤b
≤ 1 + 2Mb M2 kLW kL1 2Mb khkL1 sup β D(t)
0≤t≤b
= γ sup β D(t)
0≤t≤b
4.4 Example
Consider the following nonlinear integrodifferential equation.
Z t
∂v ∂v ∂v
(t, ξ) = (t, ξ) + ζ(t − s) (s, ξ) ds + α(t) sin(v(t − r, ξ)) + ωu(t, ξ)
∂t ∂ξ 0 ∂ξ
for t ∈ [0, 1] = I and ξ ∈ [0, π]
v(t, 0) = v(t, π) = 0 for t ∈ [0, 1]
v(θ, ξ) = ψ(θ, ξ) for θ ∈ [−r, 0] and ξ ∈ [0, π].
(4.4.1)
where ω > 0, α ∈ C([0, 1]; R), u : I × [0, π] → [0, π] continuous in t and
u(t, 0) = u(t, π) = 0 and ζ ∈ W 1,1 (R+ , R+ )
Let X = U = C0 ([0, π]) be the space of all continuous functions from [0, π]
to R vanishing at 0 and at π.
Controllability for integrodifferential Equations with Finite Delay 61
Ay = y 0 .
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t, xt ) + Cu(t) for t ∈ I,
0
x0 = ϕ.
(4.4.2)
f is Lipschitz continuous with respect to the second variable, moreover we
have
sup
f (t, ϕ)
≤ q |α(t)|.
kϕk≤q
So f satisfies (H4 ) − (i) and (H4 ) − (ii) with lq (t) = q |α(t)|. Also f satisfies
(H4 ) − (iii), since f is Lipschitz. Now for ξ ∈ , the operator W is given by
Z 1
(W u)(ξ) = ω R(1 − s)u(s, ξ) ds.
0
Assuming that W satisfies (H3 ), then all the conditions of Theorem 4.3.1
hold and equation (4.4.2) is controllable.
CHAPTER 5
5.1 Introduction
In this chapter, we study the controllability of the following partial functional
integrodifferential equation with infinite delay in a Banach space (X, k · k) :
Z t
0
x (t) = Ax(t) + γ(t − s)x(s)ds + f (t, xt ) + Cu(t) for t ∈ I = [0, b]
0
x0 = ϕ ∈ B,
(5.1.1)
where A : D(A) → X is the infinitesimal generator of a C0 -semigroup
T (t) t≥0 on a Banach space X; for t ≥ 0, γ(t) is a closed linear opera-
tor with domain D(γ(t)) ⊃ D(A). The control u belongs to L2 (I, U ) which
is a Banach space of admissible controls, where U is a Banach space. The
operator C ∈ L(U, X), where L(U, X) denotes the Banach space of bounded
1
The results of this chapter are contents of the following paper
- Khalil Ezzinbi and Patrice Ndambomve [45]
62
Controllability for integrodifferential Equations with Finite Delay 63
linear operators from U into X, and the phase space B is a linear space of
functions mapping ] − ∞, 0] into X satisfying axioms which will be described
later, for every t ≥ 0, xt denotes the history function of B defined by
(i) xt ∈ B,
Let
Rb = sup kR(t)k, Kb = sup kK(t)k, Mb = sup kM (t)k.
t∈[0,b] t∈[0,b] t∈[0,b]
We now state the following useful result for equicontinuous subsets of C([a, b]; X),
where X is a Banach space.
To prove the controllability for equation (5.1.1), we need the following results.
(H3 )
(ii) There exists a function LW ∈ L1 (I, R+ ) such that for any bounded
set Q ⊂ X we have
(iii) there exists a function h ∈ L1 (I, R+ ) such that for any bounded set
D ⊂ B,
where
D(θ) = {φ(θ) : φ ∈ D}.
(H5 )
τ = 1 + 2Rb M2 kLW k L1 2Rb khk L1 < 1,
where Rb = sup kR(t)k and M2 is such that M2 = kCk.
0≤t≤b
Theorem 5.3.1 Suppose that hypotheses (H3 ) − (H5 ) hold and equation
(2.2.1) has a resolvent operator R(t) t≥0 that is continuous in the operator-
norm topology for t > 0. Then equation (5.1.1) is controllable on I provided
that
Rb (1 + Rb M2 M3 b)Kb l < 1, (5.3.1)
where M3 is such that M3 = kW −1 k.
Proof. Using (H3 ) and given an arbitrary function x, we define the control
as usual by the following formula:
Z b
ux (t) = W −1
x1 − R(b)ϕ(0) − R(b − s)f (s, xs ) ds (t) for t ∈ I.
0
For each x ∈ C([0, b], X) such that x(0) = ϕ(0), we define its extension x
e
from ] − ∞, b] to X as follows
x(t) if t ∈ [0, b]
x
e(t) =
ϕ(t) if t ∈] − ∞, 0]
Controllability for integrodifferential Equations with Finite Delay 68
Z t
es ) + Cux (s) ds for t ∈ I = [0, b]
(P x)(t) = R(t)ϕ(0) + R(t − s) f (s, x
0
has a fixed-point. This fixed point is then a mild solution of equation (5.1.1).
Observe that (P x)(b) = x1 . This means that the control ux steers the in-
tegrodifferential equation from ϕ to x1 in time b which implies the equation
(5.1.1) is controllable on I.
For each ϕ ∈ B, we define the function y ∈ C([0, b], X) by y(t) = R(t)ϕ(0)
and its extension ye on ] − ∞, 0] by
y(t) if t ∈ [0, b]
ye(t) =
ϕ(t) if t ∈] − ∞, 0]
where
Z b
−1
uz (t) = W x1 − R(b)ϕ(0) − R(b − s)f (s, zes + yes ) ds (t).
0
Now let n o
Eb0 = z ∈ Eb such that z0 = 0 .
Thus Eb0 is a Banach space provided with the supremum norm. Define the
operator Γ : Eb0 → Eb0 by
Z t
R(t − s) f (s, zes + yes ) + Cuz (s) ds for t ∈ [0, b]
(Γz)(t) =
0
Note that the operator P has a fixed point if and only if Γ has one. So to
prove that P has a fixed point, we only need to prove that Γ has one.
Controllability for integrodifferential Equations with Finite Delay 69
For each positive number q, let Bq = {z ∈ Eb0 : kzk ≤ q}. Then, for any
z ∈ Bq , we have by axiom (A1 ) that
kzs + ys k ≤ kzs kB + kys kB
≤ K(s)kz(s)k + M (s)kz0 kB + K(s)ky(s)k + M (s)ky0 kB
≤ Kb kz(s)k + Kb kR(t)kkϕ(0)k + Mb kϕkB
≤ Kb kz(s)k + Kb Rb HkϕkB + Mb kϕkB
≤ Kb kz(s)k + Kb Rb H + Mb kϕkB
≤ Kb q + Kb Rb H + Mb kϕkB
Thus,
kzs + ys k ≤ Kb q + Kb Rb H + Mb kϕkB =: q 0 .
We shall prove the theorem in the following steps.
Step1. We claim that there exists q > 0 such that Γ(Bq ) ⊂ Bq . We proceed
by contradiction. Assume that it is not true. Then for each positive number
q, there exists a function z q ∈ Bq , such that Γ(z q ) ∈
/ Bq , i.e., k(Γz q )(t)k > q
for some t ∈ [0, b]. Now we have that
q
q <
(Γz )(t)
Z b
Z b
q
≤ Rb
f (s, z̃s + yes )
ds + Rb kCuzq (s)k ds
0 0
Z b
Z b
h Z b i
q −1 q
≤ Rb
f (s, z̃s + yes )
ds + Rb
CW x1 − R(b)ϕ(0) − R(b − s)f (s, z̃s ) ds
ds
0 0 0
Z b Z b
≤ bRb M2 M3 kx1 k + Rb kϕ(0)k + Rb kf (s, z̃sq )k ds + Rb
f (s, z̃sq + yes )
ds
0 0
Z b Z b
≤ bRb M2 M3 kx1 k + Rb HkϕkB + Rb lq0 (s) ds + Rb lq0 (s) ds,
0 0
where q 0 := Kb q + q0 , with q0 := Kb Rb H + Mb kϕkB .
Hence
Z b
q ≤ 1 + Rb M2 M3 b Rb lq0 (s) ds + Rb M2 M3 b kx1 k + Rb HkϕkB .
0
Z b
l (s) ds Rb M2 M3 b kx1 k + Rb HkϕkB
q0
0
1 ≤ 1 + Rb M2 M3 b Rb +
q q
and Z b Z b
lq0 (s) ds lq0 (s) ds
0
0 q0
lim inf = lim inf = lKb .
q→+∞ q q→+∞ q0 q
Thus we have, 1 ≤ 1+Rb M2 M3 b Rb Kb l, and this contradicts (5.3.1). Hence
for some positive number q, we must have Γ(Bq ) ⊂ Bq .
Let {z n }n≥1 ⊂ Eb0 with z n → z in Eb0 . Then there exists a number q >
1 such that kz n (t)k ≤ q for all n and a.e. t ∈ I. So z n , z ∈ Bq . By
(H4 ) − (i), f (t, z̃tn + yet ) → f (t, zet + yet ) for each t ∈ [0, b]. And by (H4 ) − (ii),
Then we have
Z b
n
kΓ1 z − Γ1 zkC ≤ Rb kf (s, z̃sn + yes ) − f (s, zes + yes )k ds −→ 0, as n → +∞
0
convergence Theorem, we conclude that the right hand side of the above
inequality tends to zero and independent of z as t2 → t1 . Hence Γ(Bq ) is
equicontinuous on I.
It follows that
β Γ(D)(t) ≤ 2Rb khkL1 sup β D(t) + 2Rb M2 kLW kL1 2Rb khkL1 sup β D(t)
0≤t≤b 0≤t≤b
≤ 1 + 2Rb M2 kLW kL1 2Rb khkL1 sup β D(t)
0≤t≤b
= τ sup β D(t)
0≤t≤b
5.4 Example
Consider the following nonlinear integrodifferential equation.
Z t Z 0
∂v ∂v ∂v
(t, ξ) = (t, ξ) + ζ(t − s) (s, ξ) ds + α(θ)g(t, v(t + θ, ξ)) dθ + ηω(t, ξ)
∂t ∂ξ ∂ξ
0 −∞
for t ∈ I = [0, 1] and ξ ∈ [0, π]
v(t, 0) = v(t, π) = 0 for t ∈ [0, 1]
v(θ, ξ) = φ(θ, ξ) for θ ∈] − ∞, 0] and ξ ∈ [0, π],
(5.4.1)
where η > 0, g : [0, 1] × R → R is continuous and Lipschitzian with respect
to the second variable, the initial data function φ : R− × [0, π] → R is a given
function, ω : [0, 1] × [0, π] → R continuous in t and ω(t, 0) = ω(t, π) = 0,
α : R− → R is continuous, α ∈ L1 (R− , R) and ζ ∈ W 1,1 (R+ , R+ ).
Let X = U = C0 ([0, π], R), the space of all continuous functions from [0, π]
to R vanishing at 0 and π equipped with the uniform norm topology, and
Controllability for integrodifferential Equations with Finite Delay 74
the phase space B = BU C(R− , X), the the space of uniformly bounded
continuous functions endowed with the following norm
Then, the space BU C(R− , X) satisfies axioms (A1 ), (A2 ) and (A3 ).
Ay = y 0 .
and
g(t, 0) = 0 for t ∈ I.
One can see that f is Lipschitz continuous with respect to the second variable
and moreover for ϕ ∈ B, we have we have
sup
f (t, ϕ)
≤ q kαk p(t).
kϕkB ≤q
So f satisfies (H4 ) − (i) and (H4 ) − (ii) with lq (t) = q kαk p(t). Also f
satisfies (H4 ) − (iii) by condition (viii) of Theorem 2.3.2, since f is Lipschitz.
Now for ξ ∈ [0, π], the operator W is given by
Z 1
(W u)(ξ) = η R(1 − s)ω(s, ξ) ds.
0
Assuming that W satisfies (H3 ), then all the conditions of Theorem 5.3.1
hold and equation (5.4.2) is controllable.
Part II
76
CHAPTER 6
6.1 Introduction
The aim of this chapter is to study the existence of mild solutions and the
optimal controls of some systems that take the form of the following partial
functional integrodifferential equation with finite delay in a Banach space
(X, k · k).
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t, xt ) + C(t)u(t) for t ∈ I = [0, b]
0
x0 = ϕ ∈ C = C([−r, 0]; X),
(6.1.1)
where f : I ×C → X is a function satisfying some conditions; A : D(A) → X
is the infinitesimal generator of a C0 -semigroup T (t) t≥0 on a separable re-
77
Optimal Controls for Integrodifferential Equations with Finite Delay 78
domain D(B(t)) ⊃ D(A). The control u(t) takes values from another sepa-
rable reflexive Banach space U . The operator C(t) belongs to L(U, X), the
Banach space of bounded linear operators from U into X, and C([−r, 0], X)
denotes the Banach space of continuous functions ϕ : [−r, 0] → X with
supremum norm kϕk = sup kϕ(θ)k, xt denotes the history function of C
θ∈[−r,0]
defined by
xt (θ) = x(t + θ) for θ ∈ [−r, 0].
In many areas of applications such as engineering, electronics, fluid dynam-
ics, physical sciences, etc..., integrodifferential equations appear and have
received considerable attention during the last decades. In [85], R. Grimmer
has proved the existence and uniqueness of resolvent operators for these in-
tegrodifferential equations that give the variation of parameter formula for
the solution. In recent years, much work has been done on the existence and
regularity of solutions of nonlinear integrodifferential equations with finite
delay by many authors by applying the resolvent operator theory, for inte-
gral equations see e.g., [86] and the references therein. Problems of control-
lability and existence of optimal controls for nonlinear differential equations
have been studied extensively by many authors under various hypotheses (see
e.g., [87], [88],[89],[90],[94] [95]), but little is known and done about the ex-
istence of optimal controls for integrodifferential equations with delay using
the resolvent operator theory. In [96], the authors studied the existence and
continuous dependence of mild solutions and the optimal controls of a La-
grange problem for some fractional integrodifferential equation with infinite
delay in Banach spaces using the using the techniques of a priori estimation
and extension of step by steps. Wand and Zhou [97] discussed the optimal
controls of a Lagrange problem for fractional evolution equations. In [98],
Wei et al. studied the optimal controls for nonlinear impulsive integrodiffer-
ential equations of mixed type on Banach spaces. In [99], the authors studied
the existence of mild solutions and the optimal controls of a Lagrange prob-
lem for some impulsive fractional semilinear differential equations, using the
techniques of a priori estimation. Motivated by these works, we investigate
the solvability and the existence of optimal controls of a Lagrange problem
for equation (6.1.1), using the techniques of a priori estimation of mild solu-
tions. The existence and uniqueness of mild solutions is obtained using the
theory of resolvent operator for integral equations. Furthermore, to the best
of our knowledge, the optimal controls for partial functional integrodifferen-
tial equation (6.1.1) with finite delay are untreated in the literature, and this
fact motivates us to extend the existing ones and make new development of
the present work on this issue.
Optimal Controls for Integrodifferential Equations with Finite Delay 79
(ii) for any ρ > 0, there exists Lf (ρ) > 0 such that
kf (t, ψ1 )−f (t, ψ2 )k ≤ Lf (ρ)kψ1 −ψ2 k for kψ1 k ≤ ρ, kψ2 k ≤ ρ and t ∈ [0, b],
(H4 ) Let U be the separable reflexive Banach space from which the control
u takes values and assume C ∈ L∞ (I; L(U, X)).
(H5 ) The multivalued map Γ : I → 2U \{∅} has closed, convex, and bounded
values, Γ is graph measurable, and Γ (·) ⊆ Ω where Ω is a bounded set
in U .
We denote by Uad the set of admissible controls defined by:
n o
Uad = u : I → U such that u is measurable and u(t) ∈ Γ (t), a.e. .
Z t
R(t)ϕ(0) + R(t − s) [f (s, xs ) + C(s)u(s)] ds for t ∈ I
x(t) = 0
ϕ(t) for − r ≤ t ≤ 0.
(6.2.1)
Theorem 6.2.3 Assume that (H1 ) − (H5 ) hold. Then for each u ∈ Uad ,
equation (6.1.1) has a unique mild solution on [−r, b].
b1 will be chosen sufficiently small enough to get the local existence of mild
solutions.
Let ϕ ∈ C, ρ = kϕk + 1 and ρ∗ = Lf (ρ)ρ + sups∈[0,b1 ] kf (s, 0)k.
We define the following space
n o
Eϕ = x ∈ C([−r, b1 ]; X) such that x(θ) = ϕ(θ) for θ ∈ [−r, 0] and sup kx(s)−ϕ(0)k ≤ 1 .
s∈[0,b1 ]
Mb = sup kR(t)k.
t∈[0,b]
Z t
R(t − s) f (s, xs ) + C(s)u(s) ds for t ∈ [0, b1 ]
R(t)ϕ(0) +
(Kx)(t) = 0
ϕ(t) for t ∈ [−r, 0]
We claim that K Eϕ ⊂ Eϕ . In fact let x ∈ Eϕ and t ∈ [0, b1 ]. Then,
Consequently,
√
k(Kx)(t)−ϕ(0)k ≤ kR(t)ϕ(0)−ϕ(0)k+Mb ρ∗ t+Mb kCk kukL2 t < 1 for t ∈ [0, b1 ].
Hence, K Eϕ ⊂ Eϕ .
Let x, y ∈ Eϕ and t ∈ [0, b1 ]. Then, kxs k, kys k ≤ ρ for s ∈ [0, b1 ] and we
have
Z t
k(Kx)(t) − (Ky)(t)k ≤ Mb kf (s, xs ) − f (s, ys )k ds
0
Z t
≤ Mb Lf (ρ) kxs − ys k ds
0
Z t
≤ Mb Lf (ρ) sup kx(τ ) − y(τ )k dτ
0 τ ∈[0,s]
≤ Mb Lf (ρ) b1 kx − yk
Now, since
∗
n
∗
√ o
Mb Lf (ρ) b1 ≤ Mb ρ b1 < sup kR(s)ϕ(0)−ϕ(0)k+Mb ρ s+Mb kCk kukL2 s .
s∈[0,b1 ]
Mb Lf (ρ) b1 < 1.
We show that tmax = b. Assume on the contrary that tmax < b. Then for
t ∈ [0, tmax ] we have that
Z t
x(t) = R(t)ϕ(0) + R(t − s) f (s, xs ) + C(s)u(s) ds.
0
Optimal Controls for Integrodifferential Equations with Finite Delay 82
It follows that
Z t Z t
kx(t)k ≤ Mb kϕ(0)k + Mb kf (s, xs )k ds + Mb kC(s)u(s)k ds
0 0
Z t Z t
≤ Mb kϕk + Mb tmax af + Mb af kxs k ds + Mb kCk ku(s)k ds
0 0
√
Z t
≤ Mb kϕk + Mb tmax af + Mb tmax kCkkukL2 + Mb af kxs k ds
0
√
Z t
≤ Mb kϕk + Mb tmax af + Mb tmax kCkkukL2 + Mb af sup kx(τ )k dτ
0 τ ∈[−r,s]
Lemma 6.3.1 Suppose (H1 ) − (H3 ) hold and assume that equation (6.1.1)
has a mild solution xu on [−r, b] with respect to u ∈ Uad . Then, there exists
a constant ρ > 0 independent of u such that kxu (t)k ≤ ρ for t ∈ [0, b], (ρ
depends only on Uad and ϕ).
Optimal Controls for Integrodifferential Equations with Finite Delay 83
x
e(t) =
ϕ(t) for t ∈ [−r, 0]
For ϕ ∈ C, we define the function y ∈ C([0, b], X) by y(t) = R(t)ϕ(0) and its
extension ye in C([−r, b], X) by
ye(t) =
ϕ(t) for t ∈ [−r, 0]
Let
Mb = sup kR(t)k and kCk = sup kC(t)kL(U,X) .
t∈[0,b] t∈I
√ Z t
≤ Mb b af + Mb b kCkkukL2 + Mb af ke
zs + yes k ds
0
√ Z t
≤ Mb b af + Mb b kCkK
e + Mb af ke
zs + yes k ds,
0
Thus
√ Z t
kz(t)k ≤ Mb b af + Mb b kCkK
e + Mb af ke
zs + yes k ds. (6.3.1)
0
Optimal Controls for Integrodifferential Equations with Finite Delay 84
ke
zs + yes k ≤ ke
zs k + ke
ys k
≤ ke
zs k + Mb kϕk
√ Z t
sup kz(s)k ≤ Mb b af + Mb e + Mb2 af b kϕk + Mb af
b kCkK sup kz(τ )k dτ
s∈[0,t] 0 τ ∈[0,s]
Z t
= M + Mb af sup kz(τ )k dτ.
0 τ ∈[0,s]
√
with M = Mb b af + Mb e + M 2 af b kϕk.
b kCkK b
kz(t)k ≤ M eb af Mb =: M
f.
≤ M
f + Mb kϕk := ρ
That is kxu (t)k ≤ ρ for all t ∈ I. This completes the proof of the Lemma.
Theorem 6.3.2 For all λ > 0, there exists γ ∗ (λ) > 0 such that for all
ϕ1 , ϕ2 ∈ B(0, λ),
kx1t − x2t k ≤ γ ∗ (λ) kϕ1 − ϕ2 k + ku1 − u2 kL2 for t ∈ [0, b],
Optimal Controls for Integrodifferential Equations with Finite Delay 85
where
Z t
R(t − s) f (s, xis ) + C(s)ui (s) ds for t ∈ I
i
R(t)ϕ (0) +
xi (t) = 0
ϕi (t) for − r ≤ t ≤ 0,
(6.3.2)
and ui ∈ Uad , for i = 1, 2.
Z t
R(t − s) f (s, xis ) + C(s)ui (s) ds for t ∈ I
i
R(t)ϕ (0) +
xi (t) = 0
ϕi (t) for − r ≤ t ≤ 0,
From the proof of Lemma 6.3.1, one can see that for ρλ = M f + Mb λ > 0, we
have kxs k ≤ ρλ , i = 1, 2.
i
That is
1 2 1 2
Z t √
kx (t)−x (t)k ≤ Mb kϕ −ϕ k+Mb Lf (ρλ ) kx1s −x2s k ds+Mb Lf (ρλ ) b kCk ku1 −u2 kL2
0
(6.3.3)
Optimal Controls for Integrodifferential Equations with Finite Delay 86
It follows that
√
sup kx1 (s) − x2 (s)k ≤ Mb kϕ1 − ϕ2 k + Mb Lf (ρ) b kCk ku1 − u2 kL2
s∈[−r,t]
Z t
+ Mb Lf (ρλ ) sup kx1 (τ ) − x2 (τ )k dτ.
0 τ ∈[−r,s]
Let n √ o
γ ∗ (λ) := max Mb eMb Lf (ρλ )b , Mb Lf (ρλ ) b kCk eMb Lf (ρλ )b .
Then, we have that
kx1t − x2t k ≤ γ ∗ (λ) kϕ1 − ϕ2 k + ku1 − u2 kL2 for t ∈ [0, b].
(LP)
J (u0 ) ≤ J (u) for all u ∈ Uad ,
where Z b
J (u) := L t, xut , xu (t), u(t) dt,
0
and xu denotes the mild solution of (6.1.1) corresponding to the control
u ∈ Uad and the initial data ϕ.
For the existence of solutions to problem (LP), we make the following as-
sumptions.
Optimal Controls for Integrodifferential Equations with Finite Delay 87
(HL )
We have the following result on the existence of optimal controls for problem
(LP).
Theorem 6.4.1 Assume that hypotheses (H1 ) − (H5 ) and (HL ) hold. Then
the Lagrange problem (LP) admits at least one optimal pair, that is there
exists an admissible control pair (x0 , u0 ) ∈ C([−r, b], X) × Uad such that
Z b Z b
0 0 0 0 u u
J (u ) = L t, xt , x (t), u (t) dt ≤ L t, xt , x (t), u(t) dt = J (u) for u ∈ Uad .
0 0
n o
Proof. If inf J (u) : u ∈ Uad = ∞, we are done.
n o
Without loss of generality, assume that inf J (u) : u ∈ Uad = δ < ∞.
Suppose that δ = −∞, then for each n ∈ N, there exists (un )n≥1 ⊂ Uad such
that
J (un ) < −n (∗)
Boundedness of Uad implies that (un )n≥1 is bounded and so there exists a
subsequence (unk )k≥1 of (un )n≥1 that converges weakly to some u0 in L2 (I, U ),
since L2 (I, U ) is reflexive. But Uad is closed and convex, so by Mazur’s
Lemma, it is weakly closed and therefore, u0 ∈ Uad . By hypothesis (HL ),
L(t, ψ, y, ·) is weakly lower semicontinuous, so we have that
which implies that J (u0 ) < −∞ using (∗). And this is a contradiction since
J (u0 ) ∈ R ∪ {∞}. Hence δ ∈ R.
Optimal Controls for Integrodifferential Equations with Finite Delay 88
where
n o
Sad := (x, u) : x is a mild solution of equation (6.1.1) corresponding to the control u ∈ Uad .
Boundedness of Uad and the fact that L2 (I, U ) is reflexive imply that (un )n≥1
has a subsequence denoted for simplicity by (uk )k≥1 , that converges weakly
to some u0 in L2 (I, U ). But Uad is closed and convex, so by Mazur’s Lemma,
it is weakly closed and therefore, u0 ∈ Uad .
Let
Z t
R(t − s) f (s, xks ) + C(s)uk (s) ds for t ∈ I
R(t)ϕ(0) +
xk (t) = 0
ϕ(t) for − r ≤ t ≤ 0.
Z t
√ Z t
2 12
k 0
k 0
≤ Mb Lf (ρ)
xs − xs
ds + Mb b
C(s)u (s) − C(s)u (s)
ds
0 0
Z t
k
0
√
k
0
≤ Mb Lf (ρ) x
s − x s
ds + Mb b
Cu − Cu
0 L2 (I,U )
Optimal Controls for Integrodifferential Equations with Finite Delay 89
That is
k 0
Z t
k
√
x (t) − x (t)
≤ Mb Lf (ρ)
xs − x0s
ds + Mb b
Cuk − Cu0
0 L2 (I,U )
(6.4.1)
But we have that
xk −→ x0 as k → ∞.
Thus, δ = J (u0 ), and hence there exists an admissible control u0 ∈ Uad such
that
J (u0 ) ≤ J (u) for all u ∈ Uad .
This completes the proof.
We now illustrate our main result by the following example. We observe that
in [96], the Langrangian function L defined by the authors in the example
does not satisfy condition (HL ) − (iv), as they claimed. We correct that
here.
6.5 Example
Let Ω be bounded domain in Rn with smooth boundary and consider the
following nonlinear integrodifferential equation.
Z t
∂v(t, ξ)
= ∆v(t, ξ) + ζ(t − s)∆v(s, ξ) ds + α(t) sin(v 2 (t − r, ξ)) + β(t)ω(t, ξ)
∂t 0
for t ∈ I = [0, 1] and ξ ∈ Ω
v(t, ξ) = 0 for t ∈ [0, 1] and ξ ∈ ∂Ω
v(θ, ξ) = φ(θ, ξ) for θ ∈ [−r, 0] and ξ ∈ Ω,
(6.5.1)
where α, β ∈ C([0, 1]; R), ω : I×Ω → R continuous in t and ζ ∈ W 1,1 (R+ , R+ )
where Z 1 Z
kuk2L2 (I,U ) = 2
u (s)(ξ) dξ ds.
0 Ω
We define A : D(A) ⊂ X → X by:
D(A) = H 2 (Ω) ∩ H01 (Ω)
Av = ∆v for v ∈ D(A).
Define
∂v(t, ξ)
x(t)(ξ) = v(t, ξ), x0 (t)(ξ) = , ω(t, ξ) = u(t)(ξ).
∂t
ϕ(θ)(ξ) = φ(θ, ξ) for θ ∈ [−r, 0] and ξ ∈ Ω.
f (t, ϕ)(ξ) = α(t) sin (ϕ2 (−r)(ξ)) for t ∈ [0, 1] and ξ ∈ Ω.
C(t) : X → X be defined by C(t)u(t) (ξ) = C(t)u(t)(ξ) = β(t)ω(t, ξ).
7.1 Introduction
In this chapter, we study the existence of mild solutions and the optimal con-
trols of some systems that take the form of the following partial functional
integrodifferential equation with infinite delay in a Banach space (X, k · k):
Z t
0
x (t) = Ax(t) + γ(t − s)x(s)ds + f (t, xt ) + C(t)u(t) for t ∈ I = [0, b]
0
x0 = ϕ ∈ B,
(7.1.1)
where A : D(A) → X is the infinitesimal generator of a C0 -semigroup
T (t) t≥0 on a separable reflexive Banach space X; for t ≥ 0, γ(t) is a
closed linear operator with domain D(γ(t)) ⊃ D(A). The control u takes
1
The results of this chapter are contents of the following paper
- Khalil Ezzinbi and Patrice Ndambomve [93]
92
Optimal Controls for Integrodifferential Equations with Finite Delay 93
values from another separable reflexive Banach space U . The operator C(t)
belongs to L(U, X) which is the Banach space of bounded linear operators
from U into X, and the phase space B is a linear space of functions mapping
] − ∞, 0] into X satisfying axioms which will be described later, for every
t ≥ 0, xt denotes the history function of B defined by
Z t
C
Dtq x(t) = Ax(t) + f t, xt , g(t, s, xs )ds + C(t)u(t) for t ∈ I = [0, b]
0
x0 = ϕ ∈ B,
where C Dtq denotes the Caputo fractional derivative of order q ∈ (0, 1). Using
the techniques of a priori estimation and extension of step by steps, they
studied the existence and continuous dependence of mild solutions and the
optimal controls of the associated Lagrange problem. Wand and Zhou [97]
discussed the optimal controls of a Lagrange problem for fractional evolution
equations. In [98], the authors studied the optimal controls for nonlinear im-
pulsive integrodifferential equations of mixed type on Banach spaces. In [99],
the authors studied the existence of mild solutions and the optimal controls
of a Lagrange problem for some impulsive fractional semilinear differential
equations, using the techniques of a priori estimation. Motivated by these
works, we investigate the solvability and the existence of optimal controls
of a Lagrange problem for equation (7.1.1), using the techniques of a priori
estimation of mild solutions. The existence and uniqueness of mild solutions
Optimal Controls for Integrodifferential Equations with Finite Delay 94
is obtained using the theory of resolvent operator for integral equations. Fur-
thermore, to the best of our knowledge, existence results for optimal controls
of partial functional integrodifferential equation (7.1.1) with infinite delay are
untreated in the literature, and this fact motivates us to extend the existing
ones and make new development of the present work on this issue.
(i) xt ∈ B,
(ii) for any ρ > 0, there exists Lf (ρ) > 0 such that
kf (t, ψ1 )−f (t, ψ2 )k ≤ Lf (ρ)kψ1 −ψ2 kB for kψ1 kB ≤ ρ, kψ2 kB ≤ ρ and t ∈ [0, b],
Optimal Controls for Integrodifferential Equations with Finite Delay 95
(H4 ) Let U be the separable reflexive Banach space from which the control
u takes values and assume C ∈ L∞ (I; L(U, X)).
(H5 ) The multivalued map Γ : I → 2U \{∅} has closed, convex, and bounded
values, Γ is graph measurable, and Γ (·) ⊆ Ω where Ω is a bounded set
in U .
We denote by Uad the set of admissible controls defined by:
n o
Uad = u : I → U ; u is measurable and u(t) ∈ Γ (t), a.e. .
Let
Theorem 7.2.3 Assume that (H1 ) − (H5 ) hold. Then for each u ∈ Uad ,
equation (7.1.1) has a unique mild solution on ] − ∞, b].
b1 will be chosen sufficiently small enough to get the local existence of mild
solutions.
Let ϕ ∈ B, ρ = kϕkB + 1 and ρ∗ = Lf (ρ)ρ + sups∈[0,b1 ] kf (s, 0)k.
Define the function
y(t) =
ϕ(t) for t ∈] − ∞, 0].
For x ∈ C([0, b], X) such that x(0) = ϕ(0), we define its extension x
e on
] − ∞, b] by
x
e(t) =
ϕ(t) for t ∈] − ∞, 0]
Z t
es ) + C(s)u(s) ds for t ∈ [0, b1 ]
(P x)(t) = R(t)ϕ(0) + R(t − s) f (s, x
0
We claim that P Eϕ ⊂ Eϕ .
In fact let x ∈ Eϕ . By (H3 ) and axiom (A1 ), the function s 7→ f (s, x
es ) is
continuous on [0, b1 ]. Then, Definition 2.2.2 implies that
Z t
s 7→ R(t − s) f (s, x
es ) + C(s)u(s) ds
0
Optimal Controls for Integrodifferential Equations with Finite Delay 97
ke
vt − ϕkB ≤ ke
vt − yt kB + kyt − ϕkB ≤ ke
vt − yt kB + τ1 .
Since ke
xs − ϕkB ≤ 1 for s ∈ [0, b1 ], then ke
xs kB ≤ ρ for s ∈ [0, b1 ]. Then,
ke
vt − yt kB ≤ Kb sup kv(s) − y(s)k
s∈[0,t]
and
Z t
kv(t) − y(t)k ≤
R(t − s) f (s, x
es ) + C(s)u(s)
ds
0
p
≤ Rb ρ∗ b1 + Rb kCk kukL2 b1
1
< (1 − τ1 ).
Kb
Consequently, ke vt − yt kB < 1 − τ1 . Thus, we deduce that
vt − ϕkB < 1 for
ke
any t ∈ [0, b1 ], which implies that v ∈ Eϕ . Therefore P Eϕ ⊂ Eϕ .
We now show that P is a strict contraction on [0, b1 ]. In fact, let x1 , x2 ∈ Eϕ
and t ∈ [0, b1 ].
xis k ≤ ρ for i = 1, 2. We have that
Then, ke
Z t
1 2
k(P x )(t) − (P x )(t)k ≤ Rb e1s ) − f (s, x
kf (s, x e2s )k ds
0
Z t
≤ Rb Lf (ρ) x1s − x
ke e2s k ds
0
Z t
≤ Rb Lf (ρ)Kb sup kx1 (σ) − x2 (σ)k dσ
0 σ∈[0,s]
≤ Kb Rb Lf (ρ) b1 kx1 − x2 k
Then,
k(P x1 )(t) − (P x2 )(t)k ≤ Kb Rb Lf (ρ) b1 kx1 − x2 k.
Now, since
p
Kb Rb Lf (ρ) b1 ≤ Kb Rb ρ∗ b1 < Kb Rb ρ∗ b1 + Kb Rb kCk kukL2 b1 ,
Optimal Controls for Integrodifferential Equations with Finite Delay 98
Kb Rb Lf (ρ) b1 < 1.
It follows that
Z t Z t
kx(t)k ≤ Rb kϕ(0)k + Rb kf (s, xs )k ds + Rb kC(s)u(s)k ds
0 0
Z t Z t
≤ Rb kϕ(0)k + Rb tmax af + Rb af kxs k ds + Rb kCk ku(s)k ds
0 0
√
Z t
≤ Rb kϕ(0)k + Rb tmax af + Rb tmax kCkkukL2 + Rb af kxs k ds
0
√
≤ Rb kϕ(0)k + Rb tmax af + Rb tmax kCkkukL2 + Rb Mtmax af tmax kϕ(0)k
Z t
+Rb Ktmax af sup kx(τ )k dτ.
0 τ ∈[0,s]
where
Ktmax = sup K(s) and Mtmax = sup M (s).
s∈[0,tmax ] s∈[0,tmax ]
Lemma 7.3.1 Suppose (H3 ) holds and assume that equation (7.1.1) has a
mild solution xu on ] − ∞, b] with respect to u ∈ Uad . Then, there exists a
constant ρ > 0 independent of u such that kxu (t)k ≤ ρ for t ∈ [0, b], (ρ
depends only on Uad and ϕ).
Proof. Let ϕ ∈ B. For x ∈ C([0, b], X) such that x(0) = ϕ(0), we define its
extension x
e on ] − ∞, b] by
x
e(t) =
ϕ(t) for t ∈] − ∞, 0]
Also, we define the function y ∈ C([0, b], X) by y(t) = R(t)ϕ(0) and its
extension ye on ] − ∞, b] by
ye(t) =
ϕ(t) for t ∈] − ∞, 0]
Optimal Controls for Integrodifferential Equations with Finite Delay 100
√ Z t
≤ Rb b af + Rb b kCkkukL2 + Rb af ke
zs + yes kB ds
0
√ Z t
≤ Rb b af + Rb b kCkN
e + Rb af ke
zs + yes kB ds,
0
Thus
√ Z t
kz(t)k ≤ Rb b af + Rb b kCkN + Rb af
e ke
zs + yes kB ds. (7.3.1)
0
ke
zs + yes kB ≤ ke
zs kB + ke
ys kB
√
with N ∗ = Rb b af + Rb e + Rb af b Kb Rb kϕkB + Mb kϕ(0)k .
b kCkN
kz(t)k ≤ N ∗ e(b af Rb Kb ) =: N
f∗ .
f∗ + Rb kϕ(0)k := ρ
≤ N
That is kxu (t)k ≤ ρ for all t ∈ I. This completes the proof of the Lemma.
Theorem 7.3.2 For all r > 0, there exists λ∗ (r) > 0 such that for all
ϕ1 , ϕ2 ∈ B(0, r),
kx1 (t)−x2 (t)k ≤ λ∗ (r) kϕ1 (0)−ϕ2 (0)k+kϕ1 −ϕ2 kB +ku1 −u2 kL2 for t ∈ [0, b],
where
Z t
R(t − s) f (s, xis ) + C(s)ui (s) ds for t ∈ I
i
R(t)ϕ (0) +
xi (t) = 0
ϕi (t) for − ∞ ≤ t ≤ 0,
(7.3.2)
and ui ∈ Uad , for i = 1, 2.
It follows that
√
sup kx1 (s) − x2 (s)k ≤ Rb kϕ1 (0) − ϕ2 (0)k + Rb Lf (ρr ) b kCk ku1 − u2 kL2
s∈[0,t]
Z t
1 2
+ Rb Lf (ρ)Mb b kϕ − ϕ kB + Rb Lf (ρr )Kb sup kx1 (τ ) − x2 (τ )k dτ.
0 τ ∈[0,s]
where
∗∗
h
1 2 1 2
√ 1 2
i
N = Rb kϕ (0)−ϕ (0)k+Rb Lf (ρr )Mb b kϕ −ϕ kB +Rb Lf (ρr ) b kCk ku −u kL2 .
Optimal Controls for Integrodifferential Equations with Finite Delay 103
√ i
+Rb Lf (ρr ) b kCk ku1 − u2 kL2 eRb Lf (ρr )Kb b
Let
n √ o
λ∗ (r) := max Rb eRb Lf (ρr )Kb b , Rb Lf (ρr )Mb b eRb Lf (ρ)Kb b , Rb Lf (ρr ) b kCk eRb Lf (ρr )Kb b .
(LP)
J (u0 ) ≤ J (u) for all u ∈ Uad ,
where Z b
u u
J (u) := L t, xt , x (t), u(t) dt,
0
and x denotes the mild solution of (7.1.1) corresponding to the control
u
u ∈ Uad .
For the existence of solutions to problem (LP), we make the following as-
sumptions.
(HL )
(i) The functional L : I × B × X × U → R ∪ {∞} is Borel measurable.
(ii) L(t, ·, ·, ·) is sequencially lower semicontinuous on B×X ×U for almost
all t ∈ I.
(iii) L(t, ψ, y, ·) is convex on U for each ψ ∈ B, y ∈ X and almost all
t ∈ I.
(iv) There exist constants ν, β ≥ 0, γ > 0, and µ ∈ L1 (I) nonnegative
such that
L(t, ψ, y, u) ≥ µ(t) + νkψkB + βkyk + γkukU .
Optimal Controls for Integrodifferential Equations with Finite Delay 104
We have the following result on the existence of optimal controls for problem
(LP).
Theorem 7.3.3 Assume that hypotheses (H1 ) − (H5 ) and (HL ) hold. Then
the Lagrange problem (LP) admits at least one optimal pair, that is there
exists an admissible control pair (x0 , u0 ) ∈ C([0, b], X) × Uad such that
Z b Z b
0 0 0 0
J (u ) = L t, xt , x (t), u (t) dt ≤ L t, xut , xu (t), u(t) dt = J (u) ∀u ∈ Uad .
0 0
n o
Proof. If inf J (u) : u ∈ Uad = ∞, we are done.
n o
Without loss of generality, assume that inf J (u) : u ∈ Uad = δ < ∞.
Suppose that δ = −∞, then for each n ∈ N, there exists (un )n≥1 ⊂ Uad such
that
J (un ) < −n (∗)
Boundedness of Uad implies that (un )n≥1 is bounded and so there exists a
subsequence (unk )k≥1 of (un )n≥1 that converges weakly to some u0 in L2 (I, U ),
since L2 (I, U ) is reflexive. But Uad is closed and convex, so by Mazur’s
Lemma, it is weakly closed and therefore, u0 ∈ Uad . By hypothesis (HL ),
L(t, x, y, ·) is weakly lower semicontinuous, so we have that
which implies that J (u0 ) < −∞ using (∗). And this is a contradiction since
J (u0 ) ∈ R ∪ {∞}. Hence δ ∈ R.
Now by the definition of δ, there exists a minimizing sequence, a feasible pair
((xn , un ))n≥1 ⊂ Sad such that
Z b
L t, xnt , xn (t), un (t) dt −→ δ as n → ∞,
0
where
n o
Sad := (x, u) : x is a mild solution of equation (7.1.1) corresponding to the control u ∈ Uad .
Boundedness of Uad and the fact that L2 (I, U ) is reflexive imply that (un )n≥1
has a subsequence denoted for simplicity by (uk )k≥1 , that converges weakly
to some u0 in L2 (I, U ). But Uad is closed and convex, so by Mazur’s lemma,
Optimal Controls for Integrodifferential Equations with Finite Delay 105
Z t
√ Z t
2 12
k 0
k 0
≤ Rb Lf (ρ)
xs − xs
ds + Rb b
C(s)u (s) − C(s)u (s)
ds
0 0
Z t
√
≤ Rb Lf (ρ) Kb sup
xk (τ ) − x0 (τ )
dτ + Rb b
Cuk − Cu0
0 τ ∈[0,s] L2 (I,U )
xk −→ x0 as k → ∞.
We note that (HL ) implies the assumptions of Balder’s Theorem (see Theo-
rem 2.4.3). Hence by Balder’s Theorem, we can conclude that (xt , x, u) 7→
Z b
L t, xt , x(t), u(t) dt is sequencially lower semicontinuous in the strong
0
topology of B × L1 (I, X) × L1 (I, U ).
Now, since B × L2 (I, X) × L2 (I, U ) ⊂ B × L1 (I, X) × L1 (I, U ), J is also
sequencially lower semicontinuous on B × L2 (I, X) × L2 (I, U ), and in the
strong topology of L1 (I, B × X × U ).
Hence, J is weakly lower semicontinuous on L2 (I, U ), and since by (HL ) − (iv),
J > −∞, J attains its infimum at u0 ∈ Uad , that is
Z b Z b
k k k
δ = lim L t, xt , x (t), u (t) dt ≥ L t, x0t , x0 (t), u0 (t) dt = J (u0 ) ≥ δ.
k→∞ 0 0
Thus, δ = J (u0 ), and hence there exists an admissible control u0 ∈ Uad such
that
J (u0 ) ≤ J (u) for all u ∈ Uad .
This completes the proof.
7.4 Example
Let Ω be bounded domain in Rn with smooth boundary and consider the
following nonlinear integrodifferential equation.
Optimal Controls for Integrodifferential Equations with Finite Delay 107
t 0
Z Z
∂v(t,ξ)
= ∆v(t, ξ) + ζ(t − s)∆v(s, ξ) ds + α(θ)g(t, v(t + θ, ξ)) dθ + β(t)ω(t, ξ)
∂t
0 −∞
for t ∈ I = [0, 1] and ξ ∈ Ω
v(t, ξ) = 0 for t ∈ [0, 1] and ξ ∈ ∂Ω
v(θ, ξ) = φ(θ, ξ) for θ ∈] − ∞, 0] and ξ ∈ Ω,
(7.4.1)
where β ∈ C([0, 1]; R), g : [0, 1]×R → R is continuous and Lipschitzian with
respect to the second variable, the initial data function φ : R− × Ω → R is a
given function, ω : [0, 1] × Ω → R continuous in t, α : R− → R is continuous,
α ∈ L1 (R− , R) and ζ ∈ W 1,1 (R+ , R+ ).
Let X = U = L2 (Ω) and the phase space B = BU C(R− , X), the the space of
uniformly bounded continuous functions endowed with the following norm
Then, the space BU C(R− , X) satisfies axioms (A1 ), (A2 ) and (A3 ).
For η > 0, we define the set of admissible controls Uad by
n o
Uad := u : I → U : u is measurable and kukL2 (I,U ) ≤ η .
where Z 1 Z
kuk2L2 (I,U ) = 2
u (s)(ξ) dξ ds.
0 Ω
Av = ∆v for v ∈ D(A).
Define
∂v(t, ξ)
x(t)(ξ) = v(t, ξ), x0 (t)(ξ) = , ω(t, ξ) = u(t)(ξ).
∂t
ϕ(θ)(ξ) = φ(θ, ξ) for θ ∈] − ∞, 0] and ξ ∈ Ω.
Optimal Controls for Integrodifferential Equations with Finite Delay 108
Z 0
f (t, ψ)(ξ) = α(θ)g(t, ψ(θ)(ξ)) dθ for θ ∈] − ∞, 0] and ξ ∈ Ω.
−∞
C(t) : X → X be defined by C(t)u(t) (ξ) = C(t)u(t)(ξ) = β(t)ω(t, ξ).
One can see that, f satisfies (H3 ). Now we consider the following cost func-
tion: Z 1
u u
J (u) := L t, xt , x (t), u(t) dt,
0
where
L : [0, 1] × B × L2 (Ω) × L2 (Ω) −→ R is defined by:
L t, ψ, x, u = kψkB + kxk + kuk.
Hence, all the conditions of Theorem 7.3.3 are satisfied, and therefore, equa-
tion (7.4.2) has at least one optimal pair.
CHAPTER 8
8.1 Introduction
The aim of this chapter is to study the existence of mild solutions and the
optimal controls of some systems that take the form of the following partial
functional integrodifferential equation in a Banach space (X, k · k):
Z t
0
x (t) = Ax(t) + B(t − s)x(s)ds + f (t, x(t)) + C(t)u(t) for t ∈ I = [0, b]
0
x(0) = x0 ∈ X,
(8.1.1)
where f : I ×X → X is a function satisfying some conditions; A : D(A) → X
is the infinitesimal generator of a C0 -semigroup T (t) t≥0 on a separable re-
109
Optimal Controls for Integrodifferential Equations with Finite Delay 110
domain D(B(t)) ⊃ D(A). The control u(t) takes values from another sepa-
rable reflexive Banach space U . The operator C(t) belongs to L(U, X), the
Banach space of bounded linear operators from U into X.
In many areas of applications such as engineering, electronics, fluid dynam-
ics, physical sciences, etc..., integrodifferential equations appear and have
received considerable attention during the last decades. In [85], R. Grimmer
proved the existence and uniqueness of resolvent operators for these inte-
grodifferential equations that give the variation of parameter formula for the
solution. In recent years, much work has been done on the existence and
regularity of solutions of nonlinear integrodifferential equations with various
initial conditions by many authors by applying the resolvent operator the-
ory, for integral equations see e.g., [86] and the references therein. Problems
of controllability and existence of optimal controls for nonlinear differential
equations have been studied extensively by many authors under various hy-
potheses (see e.g., [87], [88],[89],[90],[94] [95]), but little is known and done
about the existence of optimal controls for integrodifferential equations us-
ing the resolvent operator theory. Wang and Zhou [97] discussed the optimal
controls of a Lagrange problem for the following fractional evolution equa-
tions:
x(0) = x0 ∈ X,
where C Dtα denotes the Caputo fractional derivative of order α ∈ (0, 1] with
lower limit zero and A : D(A) → X is the infinitesimal generator of a C0 -
semigroup. They used the techniques of a priori estimation. In [98], the
authors studied the optimal controls for nonlinear impulsive integrodifferen-
tial equations of mixed type on Banach spaces.
Optimal Controls for Integrodifferential Equations with Finite Delay 111
(ii) for any ρ > 0, there exists Lf (ρ) > 0 such that
kf (t, x) − f (t, y)k ≤ Lf (ρ)kx − yk for kxk ≤ ρ, kyk ≤ ρ and t ∈ [0, b],
(H4 ) Let U be the separable reflexive Banach space from which the control
u takes values and assume C ∈ L∞ (I; L(U, X)).
(H5 ) The multivalued map Γ : I → 2U \{∅} has closed, convex, and bounded
values, Γ is graph measurable, and Γ (·) ⊆ Ω where Ω is a bounded set
in U .
We denote by Uad the set of admissible controls defined by:
n o
Uad = u : I → U such that u is measurable and u(t) ∈ Γ (t), a.e. .
Z t
x(t) = R(t)x0 + R(t − s) [f (s, x(s)) + C(s)u(s)] ds for t ∈ I (8.2.1)
0
Theorem 8.2.3 Assume that (H1 ) − (H5 ) hold. Then for each u ∈ Uad ,
equation (8.1.1) has a unique mild solution on [0, b].
Proof. Let b1 , ρ > 0, and x ∈ X such that kxk ≤ ρ. For t ∈ [0, b1 ], we have
by the local Lipschitz condition on f that
b1 will be chosen sufficiently small enough to get the local existence of mild
solutions.
Let x ∈ X, ρ = kxk + 1 and ρ∗ = Lf (ρ)ρ + sups∈[0,b1 ] kf (s, 0)k.
We define the following space
n o
E0 = x ∈ C([0, b1 ]; X) such that sup kx(s) − x(0)k ≤ 1 .
s∈[0,b1 ]
Z t
R(t − s) f (s, x(s)) + C(s)u(s) ds for t ∈ [0, b1 ]
(Kx)(t) = R(t)x0 +
0
We claim that K E0 ⊂ E0 . In fact let x ∈ E0 and t ∈ [0, b1 ]. Then,
Consequently,
√
k(Kx)(t)−x(0)k ≤ kR(t)x(0)−x(0)k+Mb ρ∗ t+Mb kCk kukL2 t < 1 for t ∈ [0, b1 ].
Hence, K E0 ⊂ E0 .
Let x, y ∈ E0 and t ∈ [0, b1 ]. Then, there exists ρ > 0 such that kxk, kyk ≤ ρ.
We have that
Z t
k(Kx)(t) − (Ky)(t)k ≤ Mb kf (s, x(s)) − f (s, y(s))k ds
0
Z t
≤ Mb Lf (ρ) kx(s) − y(s)k ds
0
Z t
≤ Mb Lf (ρ) sup kx(τ ) − y(τ )k dτ
0 τ ∈[0,s]
≤ Mb Lf (ρ) b1 kx − yk
Now, since
∗
n
∗
√ o
Mb Lf (ρ) b1 ≤ Mb ρ b1 < sup kR(s)x(0)−x(0)k+Mb ρ s+Mb kCk kukL2 s .
s∈[0,b1 ]
Mb Lf (ρ) b1 < 1.
It follows that
Z t Z t
kx(t)k ≤ Mb kx0 k + Mb kf (s, x(s))k ds + Mb kC(s)u(s)k ds
0 0
Z t Z t
≤ Mb kx0 k + Mb tmax af + Mb af kx(s)k ds + Mb kCk ku(s)k ds
0 0
√
Z t
≤ Mb kx0 k + Mb tmax af + Mb tmax kCkkukL2 + Mb af kx(s)k ds
0
Proof. Let
√ Z t
≤ Mb kx0 k + Mb b af + Mb b kCkkukL2 + Mb af kx(s)k ds
0
√ Z t
≤ Mb kx0 k + Mb b af + Mb b kCkK
e + Mb af kx(s)k ds.
0
Thus
√ Z t
kx(t)k ≤ Mb kx0 k + Mb b af + Mb b kCkK
e + Mb af kx(s)k ds. (8.3.1)
0
kx(t)k ≤ M eb af Mb =: M
f,
√
with M = Mb kx0 k + Mb b af + Mb b kCkK. e
As a result, for t ∈ I, we have
kxu (t)k ≤ M
f := ρ
That is kxu (t)k ≤ ρ for all t ∈ I. This completes the proof of the Lemma.
Theorem 8.3.2 For all λ > 0, there exists γ ∗ (λ) > 0 such that for all
x10 , x20 ∈ B(0, λ),
1 2 ∗ 1 2 1 2
kx (t) − x (t)k ≤ γ (λ) kx0 − x0 k + ku − u kL2 for t ∈ [0, b],
Optimal Controls for Integrodifferential Equations with Finite Delay 116
where
Z t
i
R(t)xi0 R(t − s) f (s, xi (s)) + C(s)ui (s) ds for t ∈ I (8.3.2)
x (t) = +
0
Z t
i
R(t)xi0 R(t − s) f (s, xi (s)) + C(s)ui (s) ds for t ∈ I
x (t) = +
0
That is
1 2
√ Z t
kx (t)−x (t)k ≤ Mb kx10 −x20 k+Mb Lf (ρλ ) 1 2
b kCk ku −u kL2 +Mb Lf (ρλ ) kx1 (s)−x2 (s)k ds.
0
(8.3.3)
By Gronwall’s inequality, we have that
h √ i
kx1 (t) − x2 (t)k ≤ Mb kx10 − x20 k + Mb Lf (ρλ ) b kCk ku1 − u2 kL2 eMb Lf (ρλ ) b .
Optimal Controls for Integrodifferential Equations with Finite Delay 117
Let n √ o
∗ Mb Lf (ρλ )b Mb Lf (ρλ ) b
γ (λ) := max Mb e , Mb Lf (ρλ ) b kCk e .
Then, we have that
kx1 (t) − x2 (t)k ≤ γ ∗ (λ) kx10 − x20 k + ku1 − u2 kL2 for t ∈ [0, b].
(LP)
J (u0 ) ≤ J (u) for all u ∈ Uad ,
where Z b
J (u) := L t, xu (t), u(t) dt,
0
(HL )
We have the following result on the existence of optimal controls for problem
(LP).
Optimal Controls for Integrodifferential Equations with Finite Delay 118
Theorem 8.3.3 Assume that hypotheses (H1 ) − (H5 ) and (HL ) hold. Then
the Lagrange problem (LP) admits at least one optimal pair, that is there
exists an admissible control pair (x0 , u0 ) ∈ C([0, b], X) × Uad such that
Z b Z b
0 0 0
J (u ) = L t, x (t), u (t) dt ≤ L t, xu (t), u(t) dt = J (u) for u ∈ Uad .
0 0
n o
Proof. If inf J (u) : u ∈ Uad = ∞, we are done.
n o
Without loss of generality, assume that inf J (u) : u ∈ Uad = δ < ∞.
Suppose that δ = −∞, then for each n ∈ N, there exists (un )n≥1 ⊂ Uad such
that
J (un ) < −n (∗)
Boundedness of Uad implies that (un )n≥1 is bounded and so there exists a
subsequence (unk )k≥1 of (un )n≥1 that converges weakly to some u0 in L2 (I, U ),
since L2 (I, U ) is reflexive. But Uad is closed and convex, so by Mazur’s
Lemma, it is weakly closed and therefore, u0 ∈ Uad . By hypothesis (HL ),
L(t, y, ·) is weakly lower semicontinuous, so we have that
which implies that J (u0 ) < −∞ using (∗). And this is a contradiction since
J (u0 ) ∈ R ∪ {∞}. Hence δ ∈ R.
Now by the definition of δ, there exists a minimizing sequence, a feasible pair
((xn , un ))n≥1 ⊂ Sad such that
Z b
L t, xn (t), un (t) dt −→ δ as n → ∞,
0
where
n o
Sad := (x, u) : x is a mild solution of equation (8.1.1) corresponding to the control u ∈ Uad .
Boundedness of Uad and the fact that L2 (I, U ) is reflexive imply that (un )n≥1
has a subsequence denoted for simplicity by (uk )k≥1 , that converges weakly
to some u0 in L2 (I, U ). But Uad is closed and convex, so by Mazur’s Lemma,
it is weakly closed and therefore, u0 ∈ Uad .
Let
Z t
k
R(t − s) f (s, xk (s)) + C(s)uk (s) ds for t ∈ I
x (t) = R(t)x0 +
0
Optimal Controls for Integrodifferential Equations with Finite Delay 119
√
Z t
2 21
k 0
+Mb b
C(s)u (s) − C(s)u (s)
ds
0
Z t
k
√
≤ Mb Lf (ρ)
x (s) − x0 (s)
ds + Mb b
Cuk − Cu0
0 L2 (I,U )
That is
k 0
Z t
k 0
√
k
0
x (t) − x (t) ≤ M L (ρ) x (s) − x (s) ds + M b Cu − Cu
b f
b
0 L2 (I,U )
(8.3.4)
By Gronwall’s inequality, we have that
√ M bL (ρ)
∗∗
, where M ∗∗ = Mb
k 0 k 0
x (t) − x (t) ≤ M Cu − Cu be b f .
2
L (I,U )
(8.3.5)
We have the following Lemma.
Lemma 8.3.4 [96] Let (un )n≥1 ⊂ Uad and u0 ∈ Uad such that (un )n≥1 con-
verges weakly to u0 . Then,
−→ 0 as k → ∞, if C ∈ L∞ (I; L(U, X)).
k
Cu − Cu0
2
L (I,U )
Optimal Controls for Integrodifferential Equations with Finite Delay 120
xk −→ x0 as k → ∞.
Thus, δ = J (u0 ), and hence there exists an admissible control u0 ∈ Uad such
that
J (u0 ) ≤ J (u) for all u ∈ Uad .
This completes the proof.
8.4 Example
Let Ω be bounded domain in Rn with smooth boundary and consider the
following nonlinear integrodifferential equation.
Z t
∂v(t, ξ)
= ∆v(t, ξ) + ζ(t − s)∆v(s, ξ) ds + α(t) sin(v 2 (t, ξ)) + β(t)ω(t, ξ)
∂t 0
for t ∈ [0, 1] = I and ξ ∈ Ω
v(t, ξ) = 0 for t ∈ [0, 1] and ξ ∈ ∂Ω
v(0, ξ) = v0 (ξ),
(8.4.1)
where α, β ∈ C(I, R), ω : I × Ω → R continuous in t, and ζ ∈ W 1,1 (R+ , R).
where Z 1 Z
kuk2L2 (I,U ) = 2
u (s)(ξ) dξ ds.
0 Ω
Define
∂v(t, ξ)
x(t)(ξ) = v(t, ξ), x0 (t)(ξ) = , ω(t, ξ) = u(t)(ξ).
∂t
f (t, x(t))(ξ) = α(t) sin x2 (t)(ξ) for t ∈ [0, 1] and ξ ∈ Ω.
C(t) : X → X be defined by C(t)u(t) (ξ) = C(t)u(t)(ξ) = β(t)ω(t, ξ).
Hence, all the conditions of Theorem 8.3.3 are satisfied, and therefore, equa-
tion (8.4.2) has at least one optimal pair.
Conclusion and Perspectives
In this work, we have been able to make the following contributions. In the
first part, we investigated the controllability results for some partial func-
tional integrodifferential equations with nonlocal initial conditions ( equation
(1.3.4)), with finite delay (equation (1.3.5)) and with infinite delay (equation
(1.3.6)) in Banach spaces, using fixed point techniques and measure of non-
compactness. In the second part, we established the existence of optimal
pairs for the Lagrange problems associated with some partial functional in-
tegrodifferential equations with bounded delay, with unbounded delay and
with classical Cauchy initial condition in Banach spaces, using techniques of
convex optimization. The main results are obtained by supposing that the
linear homogeneous and undelayed parts of these equations admit a resolvent
operator in the sense of Grimmer. We note that this class of integrodifferen-
tial equations have not been investigated (to the best of our knowledge) for
controllability and optimal controls.
The importance of the problems considered in this work is that they have
opened doors for new deep research problems such as approximate controlla-
bility which is a weaker notion than the axact controllability treated in this
thesis, for these partial functional integrodifferential equations. For future
work, we shall consider equations (1.3.4), (1.3.5) and (1.3.6) for approximate
controllability without compactness assumption on the resolvent operator,
we shall also extend them by a Wiener process in the stochastic frame work
and use iterative methods for existence of solutions and possibly also for
existence of optimal controls.
123
Bibliography
[3] R.R. Akhmerov, M.I. Kamenskii, A.S. Potapov, A.E. Rodkina, B.N.
Sadovskii, Measures of noncompactness and condensing operators,
Translated from the Russian by A. Iacob, Birkhäuser Verlag, (1992).
124
Bibliography 125
[20] C. M. Dafermos & A. Nohelj, Energy methods for non linear hyperbolic
Volterra integrodifferential equations, Communs partial diff. Eqns. 4,
219-278 (1979).
[21] G. Darbo, Punti uniti in transformazioni a condominio non compatto,
Rend. Sem. Math. Univ. Padova 24 (1955) 84-92.
[22] M.C. Delfour, J. P. Zolésio, Shapes and Geometries: Metrics, Analysis,
Differential Calculus, and Optimization, SIAM series on Advances in
Design and Control, Society for Industrial and Applied Mathematics,
Philadelphia, Second Edition (2011)
[23] W. Desch, R. Grimmer, W. Schappacher, Well-posedness and wave prop-
agation for a class of integrodifferential equations in Banach space, Jour-
nal of Differential Equations. 74, No 2, 391-411 (1988)
[24] W. Desch, R. Grimmer, W. Schappacher, Some Considerations for Lin-
ear Integrodifferential Equations, Journal of Mathematical analysis and
Applications 104, 219-234, (1984)
[25] I. Z. Djolović, E. Malkowsky, The Hausdorff measure of noncompact-
ness of operators in the matrix domains of triangles in the spaces of
C1 summable and bounded sequences, Appl. Math. Comp. 216 (2010)
1122-1130.
[26] Dugundij, J., Granas, A Fixed Point Theory, Mongrafie Mat. PWN,
Warsaw (1982)
[27] E. Flytzanis, N. S. Papageorgiou, On the existence of optimal controls
for a class of nonlinear infinite dimensional systems, Mathematische
Nachrichten, 150, (1991), 203-217.
[28] R. Grimmer, Resolvent operators for integral equations in a Banach
space, Transaction of American Mathematical society. 273, 333-349
(1983)
[29] R. Grimmer & A. J. Pritchard, Analytic resolvent operators for integral
equations in Banach space, J. diff. Eqns. 50, 234-259 (1983).
[30] R. Grimmer & Kappelf, Series expansions for resolvents of Volterra in-
tegrodifferential equations in Banach space, SIAM J. math. Analysis 15,
595-604 (1984).
[31] M. E. Gurtin & A. C. Pipkin, A genera1 theory of heat conduction with
finite wave speeds, Archs ration. Mech. Analysis 31, 113-126 (1968).
Bibliography 127
[48] K. Kuratowski, Sur les espaces complets, Fund. Math. 15 (1930) 301-309.
[67] Qi Xiang DONG and Gang LI, Measure of noncompactness and semi-
linear nonlocal functional differential equations in Banach spaces, Acta
Mathematica Sinica, English Series, Vol. 31, No. 1, pp. 140-150, 2015.
[68] M. D. Quinn, N. Carmichael, An approach to nonlinear control problem
using fixed point methods, degree theory and pseudo-inverses, Numer.
Funct. Anal. Optimi. 7, 197-219 (1984)
[69] Rahima Atmania, Said Mazouzi, Controllability of Semilinear Integrod-
ifferential Equations with Nonlocal conditions, Electronic Journal of Dif-
ferential Equations. Vol. 2005, No. 75, 1-9, (2005).
[70] R. Sakthivel, N.I. Mahmudov, Juan. J. Nieto, Controllability for a class
of fractional-order neutral evolution control systems, Applied Mathemat-
ics and Computation 218, 10334-10340, (2012).
[71] S. Selvi and M. Malika Arjunan, Controllability Results for Impulsive
Differential Systems With Finite Delay, J. Nonlinear Sci. Appl. 5, 206-
219, (2012).
[72] E. Sinestrari, An integrodifferential equation arising from the theory
of nonlinear heat flow with memory. in Nonlinear Parabolic Equations:
Qualitarioe Properties of Solutions, Research Notes in Mathematics
(Edited by L. Boccardo and A. Tesei), 149. 207-218. Pitman (1987).
[73] M. Schulz, Control Theory in Physics and Other Fields of Science: Con-
cepts, Tools and Applications, Springer Tracts in Modern Physics, Vol.
215 (2006)
[74] H. J. Sussmann, and V. Jurdjevic, Controllability of nonlinear systems,
J. Diff. Eqs. 12, 95-116, (1972).
[75] C. C. Travis and G. F. Webb, Existence and stability for partial func-
tional differential equations, Transactions of the American Mathematical
Society, Vol. 200, 395- 418, (1974).
[76] I. I. Vrabie, C0 -Semigroups and Applications, Mathematics Studies. 191,
(2003)
[77] J. Wang, W. Wei, Controllability of integrodifferential systems with non-
local initial conditions in Banach spaces, Journal of Mathematical Sci-
ences, Vol. 177, No. 3, 459-465 (2011)
[78] J. R. Wang and Y. Zhou, A class of fractional evolution equations and
optimal controls, Nonlinear Anal: RWA., 12 (2011), 262-272.
Bibliography 131
[80] Xiuwen Li and Zhenhai Liu, The solvability and optimal controls of im-
pulsive fractional semilinear differential equations, Taiwanese Journal of
Mathematics, Vol. 19, No. 2, (2015), 433-453.
[82] Hale J and Kato J. Phase space for retarded equations with infinite delay,
Funkcial. Ekvac. 21 (1978), 11-41.
[106] J. Liang, J. H. Liu and Ti-Jun Xiao Nonlocal problems for integrod-
ifferential equations, Dynamics of Continuous, Discrete and Impulsive
Systems Series A: Mathematical Analysis 15, 815-824 (2008).