Professional Documents
Culture Documents
Nonlinear Functional Analysis in Banach Space
Nonlinear Functional Analysis in Banach Space
Nonlinear
Functional Analysis
in Banach Spaces
and Banach Algebras
Fixed Point Theory
under Weak Topology
for Nonlinear Operators
and Block Operator Matrices
with Applications
Aref Jeribi
University of Sfax
Tunisia
Bilel Krichen
University of Sfax
Tunisia
MONOGRAPHS AND RESEARCH NOTES IN MATHEMATICS
Series Editors
John A. Burns
Thomas J. Tucker
Miklos Bona
Michael Ruzhansky
Published Titles
Application of Fuzzy Logic to Social Choice Theory, John N. Mordeson, Davender S. Malik
and Terry D. Clark
Blow-up Patterns for Higher-Order: Nonlinear Parabolic, Hyperbolic Dispersion and
Schrödinger Equations, Victor A. Galaktionov, Enzo L. Mitidieri, and Stanislav Pohozaev
Cremona Groups and Icosahedron, Ivan Cheltsov and Constantin Shramov
Difference Equations: Theory, Applications and Advanced Topics, Third Edition,
Ronald E. Mickens
Dictionary of Inequalities, Second Edition, Peter Bullen
Iterative Optimization in Inverse Problems, Charles L. Byrne
Modeling and Inverse Problems in the Presence of Uncertainty, H. T. Banks, Shuhua Hu,
and W. Clayton Thompson
Monomial Algebras, Second Edition, Rafael H. Villarreal
Nonlinear Functional Analysis in Banach Spaces and Banach Algebras: Fixed Point
Theory under Weak Topology for Nonlinear Operators and Block Operator Matrices with
Applications
Aref Jeribi and Bilel Krichen
Partial Differential Equations with Variable Exponents: Variational Methods and Qualitative
Analysis, Vicenţiu D. Rădulescu and Dušan D. Repovš
A Practical Guide to Geometric Regulation for Distributed Parameter Systems,
Eugenio Aulisa and David Gilliam
Signal Processing: A Mathematical Approach, Second Edition, Charles L. Byrne
Sinusoids: Theory and Technological Applications, Prem K. Kythe
Special Integrals of Gradshetyn and Ryzhik: the Proofs – Volume l, Victor H. Moll
Forthcoming Titles
Actions and Invariants of Algebraic Groups, Second Edition, Walter Ferrer Santos
and Alvaro Rittatore
Analytical Methods for Kolmogorov Equations, Second Edition, Luca Lorenzi
Complex Analysis: Conformal Inequalities and the Bierbach Conjecture, Prem K. Kythe
Computational Aspects of Polynomial Identities: Volume l, Kemer’s Theorems, 2nd Edition
Belov Alexey, Yaakov Karasik, Louis Halle Rowen
Forthcoming Titles (continued)
Geometric Modeling and Mesh Generation from Scanned Images, Yongjie Zhang
Groups, Designs, and Linear Algebra, Donald L. Kreher
Handbook of the Tutte Polynomial, Joanna Anthony Ellis-Monaghan and Iain Moffat
Lineability: The Search for Linearity in Mathematics, Juan B. Seoane Sepulveda,
Richard W. Aron, Luis Bernal-Gonzalez, and Daniel M. Pellegrinao
Line Integral Methods and Their Applications, Luigi Brugnano and Felice Iaverno
Microlocal Analysis on Rˆn and on NonCompact Manifolds, Sandro Coriasco
Practical Guide to Geometric Regulation for Distributed Parameter Systems,
Eugenio Aulisa and David S. Gilliam
Reconstructions from the Data of Integrals, Victor Palamodov
Special Integrals of Gradshetyn and Ryzhik: the Proofs – Volume ll, Victor H. Moll
Stochastic Cauchy Problems in Infinite Dimensions: Generalized and Regularized
Solutions, Irina V. Melnikova and Alexei Filinkov
Symmetry and Quantum Mechanics, Scott Corry
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
© 2016 by Taylor & Francis Group, LLC
CRC Press is an imprint of Taylor & Francis Group, an Informa business
This book contains information obtained from authentic and highly regarded sources. Reasonable
efforts have been made to publish reliable data and information, but the author and publisher cannot
assume responsibility for the validity of all materials or the consequences of their use. The authors and
publishers have attempted to trace the copyright holders of all material reproduced in this publication
and apologize to copyright holders if permission to publish in this form has not been obtained. If any
copyright material has not been acknowledged please write and let us know so we may rectify in any
future reprint.
Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced,
transmitted, or utilized in any form by any electronic, mechanical, or other means, now known or
hereafter invented, including photocopying, microfilming, and recording, or in any information stor-
age or retrieval system, without written permission from the publishers.
For permission to photocopy or use material electronically from this work, please access www.copy-
right.com (http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222
Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that pro-
vides licenses and registration for a variety of users. For organizations that have been granted a photo-
copy license by the CCC, a separate system of payment has been arranged.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are
used only for identification and explanation without intent to infringe.
Visit the Taylor & Francis Web site at
http://www.taylorandfrancis.com
and the CRC Press Web site at
http://www.crcpress.com
To
my mother Sania, my father Ali,
my wife Fadoua, my children Adam and Rahma,
my brothers Sofien and Mohamed Amin,
my sister Elhem,
my mother-in-law Zineb, my father-in-law Ridha, and
all members of my extended family ....
Aref Jeribi
To
the memory of my mother Jalila,
my father Hassan,
my wife Nozha, and my children Mohamed and Zaineb.
Bilel Krichen
Contents
Preface xi
Symbol Description xv
Introduction 3
1 Fundamentals 19
1.1 Basic Tools in Banach Spaces . . . . . . . . . . . . . . . . . . 19
1.1.1 Normed vector spaces . . . . . . . . . . . . . . . . . . 19
1.2 Contraction Mappings . . . . . . . . . . . . . . . . . . . . . . 21
1.2.1 The contraction mapping principle . . . . . . . . . . . 22
1.3 Weak Topology . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.3.1 Weakly compact linear operators . . . . . . . . . . . . 30
1.3.2 The Dunford–Pettis property (DP property) . . . . . 34
1.4 Measure of Weak Noncompactness (MNWC) . . . . . . . . . 35
1.5 Basic Tools in Banach Algebras . . . . . . . . . . . . . . . . 40
1.6 Elementary Fixed Point Theorems . . . . . . . . . . . . . . . 43
1.7 Positivity and Cones . . . . . . . . . . . . . . . . . . . . . . . 47
vii
viii Contents
Bibliography 339
Index 353
Preface
This book focuses on fixed point theory for block operator matrices and its
applications to a wide range of diverse equations such as, e.g., transport equa-
tions arising in the kinetic theory of gas (see [63]), stationary nonlinear bio-
logical models (see [138]), and in particular two-dimensional boundary value
problems arising in growing cell populations and functional systems of inte-
gral equations. In all these topics, we are faced with problems such as the
loss of compactness of mappings and/or missing appropriate geometric and
topological structure of their underlying domain. Hence, it is convenient that
we focus on fixed point results under the weak topology.
As a general rule, emphasis is generally put on some generic and recent re-
sults regarding the main topic, since it would be impossible to aim for complete
coverage. Simultaneously throughout the chapters (5–7), we tried to illustrate
the diversity of the theoretical results in the different settings (Banach spaces
and Banach algebras).
In recent years, a number of excellent monographs and surveys presented
by distinguished authors about fixed point theory have appeared such as, e.g.,
[2, 3, 45, 88]. Most of the above mentioned books deal with fixed point theory
related to continuous mappings in topology and all its modern extensions.
However, it is not always possible to show that a given operator between Ba-
nach spaces is weakly continuous. Quite often, its weak sequential continuity
does not present any problem. As a first aim, this book is devoted to the study
of several extensions of Schauder’s and Krasnosel’skii’s fixed point theorems
to the class of weakly compact operators acting on Banach spaces as well as
Banach algebras, in particular on spaces satisfying the Dunford–Pettis prop-
erty. Notice that both of the above mentioned theorems can be used in order
to resolve some open problems, seen in [99] and [115]. We first give some ex-
tension forms of Schauder’s theorem by using some tools of the weak topology.
Then, we present other results which are deduced by quite simple arguments.
The notion of weak sequential continuity seems to be the most convenient one
xi
xii Preface
The second objective of this book is dealing with the following question:
Under which conditions will a 2 × 2 block operator matrix with nonlinear en-
tries (and acting on Banach spaces and Banach algebras) have a fixed point?
Based on the previous extension established under the weak topology setting,
we are planning to extend these results by proving that, under certain hy-
potheses associated with its nonlinear entries, the 2 × 2 block operator matrix
!
A B.B ′
L :=
C D
Many applications to a wide range of diverse equations such as, e.g., trans-
port equations arising in the kinetic theory of gas [97], stationary nonlinear
biological models, in particular the two-dimensional boundary value problem
arising in a growing cell population, a functional system of integral equations,
and differential inclusions, are presented.
We should emphasize that this book is the first one dealing with the topo-
logical fixed point theory for block operator matrices with nonlinear entries
Preface xiii
in Banach spaces and Banach algebras. This book can also be regarded as a
modest contribution to the fixed point theory in Banach spaces and Banach
algebras. Researchers, as well as graduate students in applicable analysis, will
find that this book constitutes a useful survey of the fundamental principles
of the subject. Nevertheless, the reader is assumed to be, at least, familiar
with some related sections concerning notions like the fixed point theorems
of Schauder, Krasnosel’skii, Leray–Schauder and Furi–Pera, the basic tools
of the weak topology, the concept of measures of weak noncompactness, and
the transport equations, etc. Otherwise, the reader is urged to consult the
recommended literature in order to benefit fully from this book.
There are some theorems which are based upon a number of hypotheses.
These results are very recent. We should notice that, in a future and improved
version of this book, the number of hypotheses in some theorems could be
lowered and yet lead to the same conclusions. In other words, it may be
possible to find an optimum number of hypotheses in the future.
The first author should mention that in the thesis work performed under
his direction, by his former students and present colleagues Afif Ben Amar,
Ines Feki, Bilel Krichen, Soufien Chouayekh, Rihab Moalla, Bilel Mefteh, Na-
jib Kaddachi, and Wajdi Chaker, the obtained results have helped us in writing
this monograph.
Sfax
Symbol Description
The most frequently used notations, symbols, and abbreviations are listed
below.
xv
xvi Symbol Description
1
Introduction
Over the past few decades, fixed point theory has been an active area of re-
search with a wide range of applications in several fields. In fact, this theory
constitutes an harmonious mixture of analysis (pure and applied), topology,
and geometry. In particular, it has several important applications in various
fields, such as physics, engineering, game theory, and biology (in which we
are interested). Perhaps, the most well-known result in this theory is Ba-
nach’s contraction principle. More precisely, in 1922, S. Banach formulated
and proved a theorem which focused, under appropriate conditions, on the ex-
istence and uniqueness of a fixed point in a complete metric space (see [149]).
This result leads to several powerful theorems such as inverse map theorem,
Cauchy–Picard theorem for ordinary differential equations among others. In
mathematics, some fixed point theorems in infinite-dimensional spaces gener-
alize a well-known result proved by L. E. J. Brouwer [42] which states that
every continuous map A : B1 −→ B1 , where B1 is the closed unit ball in Rn
has, at least, a fixed point in B1 . These theorems have several applications.
For example, we may refer to the proof of existence theorems for differential
equations. The first result in this field was Schauder’s fixed point theorem,
proved in 1930 by J. Schauder and which asserts that every continuous and
compact mapping from a closed, convex, and bounded subset M of a Banach
space X into M has, at least, a fixed point [147].
From a mathematical point of view, many problems arising from diverse
areas of natural sciences involve the existence of solutions of nonlinear equa-
tions having the following form
Ax + Bx = x, x ∈ M,
3
4 Introduction
The model (0.1)–(0.2) can be transformed into a fixed point problem having
Introduction 5
two types of equations. The first type involves a nonlinear weakly compact
operator on L1 spaces. The second type involves two nonlinear operators de-
pending on the parameter λ, say, ψ = A1 (λ)ψ + A2 (λ)ψ, where A1 (λ) is
a weakly compact operator (i.e., it transforms bounded sets into relatively
weakly compact sets) on L1 spaces and A2 (λ) is a (strict) contraction map-
ping for a large enough Reλ. Consequently, Schauder’s (resp. Krasnosel’skii’s)
fixed point theorem cannot be used in the first (resp. second) type of equations.
This is essentially due to the loss of compactness of the operator (λ−SK )−1 B,
where
∂ψ
SK ψ(x, v) = −v3 (x, v) − σ(x, v, ψ(x, v)),
∂x
and Z b
Bψ(x, v) = r(x, v, v ′ , ψ(x, v ′ ))dv ′ .
a
More precisely, the authors of [32] gave an extension of the Schauder and
Krasnosel’skii’s fixed point theorems in Dunford–Pettis spaces to weakly com-
pact operators. Since L1 is a Dunford–Pettis space, this generalization gives
a positive answer to some open problems encountered in [115] concerning the
existence results in L1 spaces for stationary transport equations arising in
the kinetic theory of gas. The boundary conditions were assumed to be linear
because, in contrast to biological models (0.1)–(0.2), it seems that, in rar-
efied gas dynamics context, nonlinear boundary conditions have no physical
meaning (see [115] and the references therein). Due to the nonlinearity of the
boundary conditions (0.2), the generalization of Schauder and Krasnosels’kii
results established in [32] cannot be used to solve the problem (0.1)–(0.2).
Consequently, it is useful to establish some fixed point theorems on general
Banach spaces which can be applied directly for solving the biological problem
(0.1)–(0.2). For this purpose, the authors of [33] gave some fixed point theo-
rems based on the notion of weak sequential continuity and the well-known
Arino–Gautier–Penot fixed point theorem.
In this direction, several other attempts have been made in the literature
in order to prove the analogousness of the Krasnosel’skii fixed point theorem
under the weak topology. In 2003, C. S. Barroso established a version of Kras-
nosel’skii’s theorem using the weak topology of a Banach space [22]. His result
required both the weak continuity and the weak compactness of A, whereas
B had to be a linear operator satisfying the condition kB p k < 1 for some
integer p ≥ 1. The proof was based on the Schauder–Tychonoff’s fixed point
theorem and on the weak continuity of (I − B)−1 . In a more recent paper [23],
6 Introduction
(x = Bx + Ay, y ∈ M) =⇒ x ∈ M.
to show the weak continuity of the involved mappings, whereas the weak
sequential continuity does not involve any problem. So, O. Arino, S. Gautier,
and J. P. Penot proved the analogousness of Schauder’s fixed point theorem for
weakly sequentially continuous mappings. Then, several fixed point theorems
have been proved for weakly sequentially continuous mappings of Darbo’s and
Sadovskii’s types [86, 112] and also Krasnosel’skii’s type (see, for examples
[4, 22, 29, 48, 51, 104] and many other references).
In [135], D. O’Regan has proved a number of fixed point theorems for multi-
valued maps defined on bounded domains with weakly compact and convex
values and which are weakly contractive with a weakly sequentially closed
graph. Recently, A. Ben Amar and A. Sikorska-Nowak [36] improved and
extended these theorems to the case of weakly condensing and 1-set weakly
8 Introduction
More recently, fixed point theory has been treated in Banach algebras. It
was initiated in 1977 by R. W. Legget [122] who proved the existence theorems
for the particular following equation:
x = x0 + x.Bx, (x0 , x) ∈ X × M,
In recent years, several authors have focused on the resolution of the equation
(0.3) and have obtained many valuable results. We can cite for examples,
J. Banas in [15, 16, 19, 20], J. Caballero, B. Lopez, and K. Sadarangani in
[50], and B. C. Dhage in [66, 70, 71, 73]. These studies were mainly based on
the convexity of the bounded domain, as well as the well-known Schauder’s
fixed point theorem, in order to guarantee the compactness of the operator
I−C −1
A B. Moreover, some properties of the operators A, B, and C (such as
completely continuous, k-set contractive, condensing) and the potential tool of
the axiomatic measures of noncompactness, were used. We should notice that
−1
if I−CA is not invertible, I−C
A could be seen as a multi-valued mapping.
This case is not discussed in the results of Chapter 3. To our knowledge, this
question is still open.
Since the weak topology is the practice setting and it is natural to inves-
tigate the problems of existence of solutions of different types of nonlinear
integral equations and nonlinear differential equations in Banach algebras, it
turns out that the above-mentioned results cannot be easily applied. One of
the difficulties arising, when dealing with such situations, is that a bounded
linear functional ϕ acting on a Banach algebra X does not necessarily satisfy
Introduction 9
Their aim was to prove some new fixed point theorems in a nonempty, closed,
and convex subset of any Banach algebra or of a Banach algebra satisfying
the condition (P) under the weak topology setting. Their conditions were
formulated in terms of a weak sequential continuity for the three nonlinear
operators A, B, and C which are involved in Eq. (0.3). Besides, no weak
continuity conditions were required in their work. The theoretical results were
applied in order to show the existence of solutions for the following nonlinear
functional integral equations in the Banach algebra C(J, X) of real continuous
functions defined on the interval [0, 1]:
" Z ! #
σ(t)
x(t) = a(t) + (T1 x)(t) q(t) + p(t, s, x(s), x(λs))ds .u
0
and
" Z ! #
σ(t)
x(t) = a(t)x(t) + (T2 x)(t) q(t) + p(t, s, x(s), x(λs))ds .u ,
0
where 0 < λ < 1, J is the interval [0, 1], and X represents any Banach algebra.
The functions a, q, σ are continuous on J; T1 , T2 , p(., ., ., .) are nonlinear
functions and u is a non-vanishing vector.
Notice that the study of weakly condensing operators and weakly 1-set-
contractive ones has been one of the main research objects in nonlinear func-
tional analysis (see, for examples, [16, 35, 122, 127]). Due to the loss of com-
pactness, continuity, and weak continuity, the authors in [27] provided some
new fixed point theorems in Banach algebras satisfying the condition (P) un-
der the weak topology setting. Their results were based on the class of weakly
condensing, weakly 1-set-contractive, weak sequential continuity, and weakly
compact via the concept of De Blasi measure of weak noncompactness [64] for
10 Introduction
Knowing that the product W.W ′ of two arbitrary weakly compact subsets
W , W ′ of a Banach algebra X is not necessarily weakly compact, a recent
paper by J. Banas and M. A. Taoudi [21] gave a generalization of some results
established in [26] in the case of WC–Banach algebra, that is, a Banach algebra
such that the product W.W ′ of two arbitrary weakly compact subsets W , W ′
Introduction 11
and
(
if (xn )n∈N ⊆ D(A) is a weakly convergent sequence in X, then
(H2)
(Axn )n∈N has a weakly convergent subsequence in X.
Question 1:
Are there any examples of WC–Banach algebras which do not satisfy the
condition (P)?
where the entries were not necessarily bounded in Banach spaces. Our book
12 Introduction
does not pretend to be complete in any respect, e.g., it does not deal with the
vast literature concerning block operator matrices in spectral theory (see, e.g.,
the monograph of A. Jeribi [100], the book of C. Tretter [151], and the papers
[11, 24, 25, 30, 55, 56, 59, 106, 107, 129]) or with the semigroup theory (see,
e.g., [84]). However, the studies of nonlinear functional integral and differential
systems in Banach spaces and Banach algebras have also been discussed for
a long time in the literature. These studies were achieved via fixed point
techniques (see, e.g., the book of B. Krichen [111] and the papers [54, 133]). It
should be noticed that these systems may be transformed into the following
fixed point problem of the 2 × 2 block operator matrix
!
A B · B′
(0.4)
C D
One of the most important problems in the fixed point theory is related
to the existence of solution for a two-dimensional equation. That is why A.
Ben Amar, A. Jeribi, and B. Krichen have established in [31] Schauder’s and
Krasnoselskii’s fixed point theorems for the operator (0.4), when B ′ = 1,
and X is a Banach space. These authors have applied their results to a two-
dimensional mixed boundary problem in Lp × Lp , p ∈]1, +∞[. Due to the loss
of compactness of the operator C(λ − A)−1 in L1 spaces, their analysis was
carried out via the arguments of weak topology and particularly the measure
of weak noncompactness. Hence, it was useful for the authors of [103] to extend
it by establishing some new variants of the fixed point theorems for a 2 × 2
block operator matrix involving weakly compact operators. This problem can
be formulated by:
∂ ! !
−v − σ1 (µ, v, .) R12
∂µ ψ1 ψ1
∂ =λ ,
R21 −v − σ2 (µ, v, .) ψ2 ψ2
∂µ
and
ψi | = Ki ψi | , i = 1, 2,
Γ0 Γ1
Z b
where Rij ψj (µ, v) = rij (µ, v, v ′ , ψj (µ, v ′ ))dv ′ , (i, j) ∈ {(1, 2), (2, 1)}, µ ∈
a
Introduction 13
[0, 1], v, v ′ ∈ [a, b] with 0 ≤ a < b < ∞. The functions σi (., ., .) and
rij (., ., ., .) are nonlinear and λ is a complex number, Γ0 = {0} × [a, b] and
Γ1 = {1} × [a, b]. We denote by ψi | (resp. ψi | ) the restriction of ψi
Γ0 Γ1
to Γ0 (resp. Γ1 ) while Ki are nonlinear operators from a suitable function
space on Γ1 to a similar one on Γ0 . We should notice that in the case
where σi depends on the density of the population, we have assumed that
Ki ∈ L (Lp ({1} × [a, b]; vdv), Lp ({0} × [a, b]; vdv)).
Question 2:
What happens if the reproduction rules are not generated by a bounded
linear operator Ki from Lp ({1} × [a, b]; vdv) to Lp ({0} × [a, b]; vdv)? To our
knowledge, this question is not yet developed.
is completely continuous. Some other conditions using the Lipschitzian [3] and
D-Lipschitzian maps (see the paper of B. C. Dhage [66]) were also used. An
application to a coupled system of nonlinear equations defined on bounded
domains in C([0, 1], R) was considered. In [101], the same authors continued
their studies in the weak topology setting. However, the arguments used in
their applications were not valid when the operators are defined on unbounded
domains. In fact, their proofs were based on Ascoli’s theorem which is not
generally applicable. To compensate the loss of compactness encountered, only
few alternative tools were known, for example measures of noncompactness
[8, 122]. Recently, a study of integral equations in the space Cb (I), constituted
of real functions which are defined, continuous and bounded on an unbounded
interval, was developed by many authors [17, 49, 61, 62, 127].
why some new variants of fixed point theorems involving the measure of weak
noncompactness and based on the notion of weak sequential continuity are
given. We conclude Chapter 1 with nonlinear alternatives of Leray–Schauder
and Furi–Pera for the sum of two weakly sequentially continuous mappings.
Banach spaces and Banach algebras and its various useful interactions with
topological structures. An important feature of this fixed point theory (which
is developed in detail in Chapter 4) is that it is based on two-dimensional vari-
ants of fixed point theorems for the 2 × 2 block operator matrix L. There are
two objectives of Chapter 4. The first one is to discuss the existence of fixed
points for the block operator matrix L by laying down some conditions on the
entries, which are generally nonlinear operators. This discussion is based on
the presence or absence of invertibility of the diagonal terms of I − L. As a
second objective, we first recall that, in Chapter 3, the fixed point theorems
have enabled us to get new results for the 2 × 2 block operator matrix (0.4)
involving operators such as, e.g., D-Lipschitzian, convex-power condensing,
weakly sequentially continuous..., acting on a Banach algebra X. A regular
case is also considered when X is a commutative Banach algebra satisfying
the condition (P).
Chapter 5 deals with some open problems chosen from [99, 115, 116, 117,
118] concerning the existence of solutions on L1 spaces for nonlinear boundary
value problems derived from three models. The first one deals with nonlinear
one-dimensional stationary transport equations arising in the kinetic theory
of gas where we must describe the interaction of gas molecules with solid
walls bounding the region where the gas follows (see [115, 116]). The second
model was introduced by J. L. Lebowitz and S. I. Rubinow [121] in 1974 for
modeling microbial populations by age and cycle length formalism. The third
model, introduced by M. Rotenberg [142] in 1983, describes the growth of
a cell population. These three models can be transformed into a fixed point
problem including two types of equations. The first type involves a nonlinear
weakly compact operator on L1 spaces. The second type deals with two non-
linear operators depending on the parameter λ, say, ψ = A1 (λ)ψ + A2 (λ)ψ,
where A1 (λ) is a weakly compact operator (i.e., it transforms bounded sets
into relatively weakly compact sets) on L1 spaces and A2 (λ) is a (strict) con-
traction mapping for a large enough Reλ. Consequently, the Schauder’s (resp.
Krasnosel’skii’s fixed point theorem) [149] cannot be used in the first (resp.
second) type of equations. This is essentially due to the lack of compactness.
The study of fixed point requires more prerequisites from the general theories
of topological notions and nonlinear operators. The aim of this chapter is to
introduce the basic concepts, notations, and elementary results that are used
throughout the book. Moreover, the results of this chapter may be found in
most standard books dealing with functional analysis and fixed point theory
(see for examples [41, 83, 128]).
A normed vector space which is a complete metric space, with respect to the
above-defined metric d(. , .), is called a Banach space. Thus, a closed subset
19
20 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
There are many useful norms with which we can equip Kn , such as the fol-
lowing ones:
The next example extends the just considered one to the infinite-dimensional
setting.
Example 3 Let
n o
K∞ := x : x = {xi }∞
i=1 , xi ∈ K, ; i = 1, 2, . . . .
and
kxk∞ := sup{|xi |, x ∈ l∞ }.
i
∞
With respect to this sup norm, l is complete.
Let
kf k∞ := sup |f (x)|.
x∈Ω
is a Banach space.
Hence,
d(xm , xn ) ≤ k m + k m+1 + · · · + k n−1 d(x0 , x1 ),
i.e.,
km
d(xm , xn ) ≤ d(x0 , x1 ),
1−k
whenever m ≤ n. From this, we deduce that {xn }∞ n=0 is a Cauchy sequence in
X. Since X is complete, this sequence has a limit, say x ∈ X. Furthermore,
since T is continuous, we deduce that
Now, let
δ := inf d(T (x), x).
x∈X
and hence,
which implies that {xn } is a Cauchy sequence and hence, has a limit x in X.
Now, we may conclude that
d(T (x), x) = 0
Proof. While the hypotheses do not assume that T is defined on the closure B
of B, the uniform continuity of T allows us to extend T to a mapping defined
on B which is a contraction mapping having the same Lipschitzian constant
as the previous mapping. We may also note that, for x ∈ B, we have
kT x − T yk ≤ ΦT (kx − yk)
In the special case where ΦT (r) = kr for some k > 0, T is a Lipschitz mapping
with a Lipschitzian constant k. In particular, if k < 1, T is a contraction on
X with a contraction constant k.
It is clear that every compact operator is totally bounded, but the converse
may not be true. Take T : R −→ R and T (x) = x. The operator T is totally
bounded but is not compact. Also take
x x>0
F (x) =
1 x = 0.
In other terms, this condition says that x and H can be separated by a con-
tinuous function.
Notice that every pseudo-metric space is completely regular. That is, a set X
equipped with a non-negative real-valued function d : X × X −→ R+ (called
a pseudo-metric) such that, for every x, y, z ∈ X,
(i) d(x, x) = 0,
disjoint subsets of X, with E being closed and F being compact. Then, there
exists a continuous function Θ such that Θ = 0 throughout E and Θ = 1
throughout F .
x4 sin2 (t)
f (t, x) = x − + .
4 4
Let X = C(R, [0, 1]) and T : X −→ X be defined by (T x)(t) = f (t, x(t)). It is
easy to verify that the operator T is well-defined. Moreover, T is a separate
contraction mapping, but not a contraction mapping.
Another example of a separate contraction mapping which is not a strict
contraction is given in [47]. Anyway, if we consider the mapping
1 1
T : 0, √ −→ 0, √
2 2
defined by:
T (x) = x − x3 ,
≥ kx − yk − ϕ(kx − yk)
≥ ψ(kxnk − yk)
≥ ψ(ε0 ) > 0.
Proposition 1.2.1 Let (X, k.k) be a linear normed space, with M ⊂ X. Let
us assume that the mapping T : M −→ X is expansive with a constant h > 1.
Then, the inverse of the mapping F := I − T : M −→ (I − T )(M ) exists, and
we have
1
kF −1 (x) − F −1 (y)k ≤ kx − yk, x, y ∈ F (M ).
h−1
Fundamentals 29
Let (X, k.k) be a Banach space and let τ be the family of semi-norms
separating vector space of linear functionals hold for the weak topology of a
normed space X. In particular :
Theorem 1.3.1 [83, Theorem 13, p. 422] A convex subset of locally convex
linear topological X is X ∗ -closed if, and only if, it is closed.
Notation: Throughout this book, ⇀ will denote the weak convergence and
→ will denote the strong convergence in X, respectively.
The collection of all weakly compact linear operators from X into Y is denoted
by W(X, Y ) or just W(X) if X = Y .
Fundamentals 31
Proposition 1.3.2 Every compact linear operator from a Banach space into
a Banach space is weakly compact.
One can verify that all just presented notions of compactness and their relative
counterparts coincide in metrizable topologies. However there are examples of
non-metrizable topologies where some types of compactness are equivalent.
32 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
The most known one is the weak topology of Banach spaces. One of the
advantages of this special locally convex topology is the fact that if a set M is
weakly compact, then every weakly sequentially continuous map A : M −→
X is weakly continuous. This is an immediate consequence of the fact that
weak sequential compactness is equivalent to weak compactness (Eberlein–
Šmulian’s theorem). The Eberlein–Šmulian theorem states:
(iii) Every bounded sequence (xn )n in X has a subsequence (xnj ), such that
the sequence (T xnj ) converges weakly.
Theorem 1.3.4 (S. Mazur, 1933)[128, Theorem 2.5.16] The closure and the
weak closure of a convex subset of a normed space are the same. In particular,
a convex subset of a normed space is closed if, and only if, it is weakly closed.
(i) K is bounded,
(i) Equibounded: there is some L > 0 such that |ϕ(x)| ≤ L for all x ∈ X and
all ϕ ∈ F, and
(ii) Equicontinuous: for every ε > 0 there is a δ > 0 such that |ϕ(x)−ϕ(y)| < ε
for all ϕ ∈ F whenever |x − y| < δ, and x, y ∈ X.
34 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Definition 1.3.7 [91] A Banach space X has the Dunford–Pettis property (in
short DP property) if, for every Banach space Y , each weakly compact linear
operator from X into Y maps weakly compact sets in X to norm compact sets
in Y .
The space L1 (S, Σ, λ), where (S, Σ, λ) is a finite measure space has the
Dunford–Pettis property. This DP property is also valid for the space C(K),
where K is a compact Hausdorff space. For further examples, we may refer
to [78] or [83], p. 494, 479, 508, and 511. Note that the DP property is not
preserved under conjugation. However, if X is a Banach space whose dual
has the DP property, then X has the DP property (see, e.g., [91]). For more
information, we refer to the paper of J. Diestel [78] which contains a survey of
the Dunford–Pettis property and related topics. The following theorem gives
a characterization of the Dunford–Pettis property [128, Theorem 3.5.18].
(iii) For every sequence (xn )n in X converging weakly to some x and every
(ϕn )n in X ∗ converging weakly to some ϕ, the sequence (ϕn (xn ))n converges
to ϕ(x).
for all M ∈ ΩX . For more convenience, let us recall some basic properties of
ω(.) needed below (see, for example, [9, 64]) (see also [18], where an axiomatic
approach to the notion of a measure of weak noncompactness is presented).
(2) ω(M1 ) = 0 if, and only if, M1 w ∈ Kw , where M1 w is the weak closure of
the subset M1 .
Remark 1.4.1 ω(BX ) ∈ {0, 1}. Indeed, it is obvious that ω(BX ) ≤ 1. Let
r > 0 be given such that there is a weakly compact K of X satisfying BX ⊂ K+
rBX . Hence, ω(BX ) ≤ rω(BX ). If ω(BX ) = 6 0, then r ≥ 1. Thus, ω(BX ) ≥ 1.
Clearly, since ∀x, y ∈ L2 (0, 1), ||F x − F y||2 ≤ ||x − y||2 ||x + y||2 , it follows
Fundamentals 37
= rϕ(r)
= ω(rBX )ϕ(r).
≤ ϕ(r)ω(B)
< ω(B).
Q.E.D.
where
F (1,x0 ) (V ) = F (V ), and F (n0 ,x0 ) (V ) = F co {F (n0 −1,x0 ) (V ), x0 } .
a.e., s ∈ [a, b] for all x, y ∈ R. The function ϕ is called the Lipschitz function
of T.
Proof. By using Theorem 1.3.3, it is sufficient to show that B(K) is weakly se-
quentially compact. For this purpose, let us take a bounded sequence (xn )n in
K. Since K is weakly sequentially compact, there exists a subsequence (xnk )k
of (xn )n converging weakly for some x in K. Since B is weakly sequentially
continuous, (B(xnk ))k converges weakly to Bx. Q.E.D.
The following theorem is a fundamental tool for the proofs of the existence of
solutions for several functional integral equations (see Chapters 6 and 7). A
proof of this theorem can be found in [81, Dobrakov, p. 26].
40 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
kx.yk ≤ kxkkyk.
Example 8 The set of all real or complex n-by-n matrices becomes a unital
Banach algebra, if we equip it with a sub-multiplicative matrix norm.
Example 9 Take the Banach space Kn with the sup-norm and define the mul-
tiplication componentwise: x.y = (x1 , ..., xn ).(y1 , ..., yn ) = (x1 y1 , ..., xn yn ).
Definition 1.5.2 We will say that the Banach algebra X satisfies the condi-
tion (P) if:
For any sequences {xn } and {yn } in X such that xn ⇀ x and yn ⇀ y,
(P)
then x .y ⇀ x.y.
n n
Proof. Let {xn } and {yn } be any sequences in C(K, X), such that xn ⇀ x
and yn ⇀ y. So, for each t ∈ K, we have xn (t) ⇀ x(t) and yn (t) ⇀ y(t) (see
Theorem 1.4.1). Since X satisfies the condition (P), then
because (xn .yn )n is a bounded sequence. Moreover, this implies with Theorem
1.4.1, that
xn .yn ⇀ x.y,
which shows that the space C(K, X) verifies condition (P). Q.E.D.
Proof. We will show that K.K ′ is weakly sequentially compact. For this, let
{xn }∞ ′ ∞ ′
n=0 be any sequence of K and let {xn }n=0 be any sequence of K . By
∞
hypothesis, there is a renamed subsequence {xn }n=0 of K such that xn ⇀
x ∈ K. Again, there is a renamed subsequence {x′n }∞ ′
n=0 of K such that
x′n ⇀ x′ ∈ K ′ . This, together with the condition (P), implies that
xn .x′n ⇀ x.x′ .
ω(V.K) ≤ ||K||ω(V ).
Proof. We may assume that ||K|| > 0. Let ε > 0 be given. From the definition
of ω, we deduce that there exists a weakly compact subset K ′ of X, such that
ε
V ⊂ K ′ + ω(V ) + BX .
||K||
Then, we have
ε
V.K ⊂ K ′ .K + ω(V ) + BX .K.
||K||
Fundamentals 43
ω(V.K) ≤ ||K||ω(V ) + ε,
ω(V.K) ≤ ||K||ω(V ).
Q.E.D.
The Tikonov (Tychonoff) fixed point theorem is applied to any locally convex
topological space X. It states :
The last theorem can be generalized in the following way: Let Pcl, cv (S) be the
family of all closed convex subsets of S. A point-to-set mapping x −→ Φ(x) ∈
Pcl, cv (S) of S into Pcl, cv (S) is called upper semi-continuous (in short u.s.c.)
if xn → x0 , yn ∈ Φ(xn ) and yn → y0 implying y0 ∈ Φ(x0 ). Obviously, this
condition is equivalent to saying that the graph of Φ(x) is a closed subset of
S × S, where × denotes a cartesian product. As a generalization, S. Kakutani
[109] obtained the following fixed point theorem.
Proof. Let S (n) be the n-th barycentric simplicial subdivision of S. For each
vertex xn of S (n) let us take an arbitrary point y n from Φ(xn ). Then, the
mapping xn → y n defined on all vertices of S (n) will define, if it is extended
linearly inside each simplex of S (n) , a continuous point-to-point mapping x →
ϕn (x) of S into itself. Consequently, by using Brouwer’s fixed point theorem,
there exists an xn ∈ S such that xn = ϕn (xn ). Now, if we take a subsequence
(xnv )v (v = 1, 2, ...) of (xn )n (n = 1, 2, ...) which converges to a point x0 ∈
S, then x0 is the required point. In order to prove this, let ∆n be an r-
dimensional simplex of S (n) which contains the point xn : (If xn lies on the
lower-dimensional simplex of S (n) , then ∆n is not uniquely determined. In this
case, let ∆n be any one of these simplexes). Let xn0 , xn1 , ..., xnr be the vertices
of ∆n . Then, it is clear that the sequence (xni v )v (v = 1, 2, ...) converges to x0
for i = 0, 1, ..., r, and we have
r
X
xn = λni xni
i=0
Au + Bu = u, u ∈ M,
where M is a closed and convex subset of a Banach space X; see for example
[48, 51, 67, 68, 76]. Krasnosel’skii’s fixed point theorem appeared as a pro-
totype for solving equations of the above type. Motivated by the observation
that the inversion of a perturbed differential operator could yield the sum of
a contraction and a compact operator, M. A. Krasnosel’skii proved the next
theorem. A proof can be found in [149].
Ay + By = y.
While it is not always possible to show that a given mapping between func-
tional Banach spaces is weakly continuous, quite often its weak sequential
continuity does not create any problem. This is deduced from the fact that
the Lebesgue’s dominated convergence theorem is valid for sequences but not
for nets. A very interesting discussion (including illustrative examples) about
the different types of continuity can be found in [13]. The following version of
Schauder–Tychonoff’s theorem holds [10, Theorem 1] :
Fundamentals 47
An important fixed point theorem that has been commonly used in the theory
of nonlinear differential and integral equations is the following result proved
by D. W. Boyd and J. S. W. Wong in [39]. This theorem extends the contrac-
tions to nonlinear contractions, and also generalizes the Banach fixed point
principle, dating from 1922 (see for example [154]).
(i) X+ + X+ ⊂ X+ ,
In the first part of this chapter, we give some variants of the Schauder and
Krasnosel’skii fixed point theorems in Dunford–Pettis spaces for weakly com-
pact operators. Precisely, if an operator A acting on a Banach space X having
the property of Dunford–Pettis, leaves a subset M of X invariant, then A
has, at least, a fixed point in M. In addition, if B is a contraction map of
M into X, Ax + By ∈ M for x, y in M and if (I − B)−1 A is a weakly com-
pact operator, then A + B has, at least, a fixed point in M. Both of these
two theorems can be used to resolve some open problems (see Chapter 5).
In the second part of this chapter, we establish new variants of fixed point
theorems in general Banach spaces. Furthermore, nonlinear Leray–Schauder
alternatives for the sum of two weakly sequentially continuous mappings are
presented. This notion of weakly sequential continuity seems to be the most
convenient in use. Moreover, it is not always possible to show that a given
operator between Banach spaces is weakly continuous. Quite often, its weakly
sequential continuity presents no problem. Finally, we establish fixed point
theorems for multi-valued maps with weakly sequentially closed graphs.
51
52 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Remark 2.1.1 Since K(X) ⊂ W(X), Theorem 2.1.1 is a new variant of the
Schauder’s fixed point theorem in the Dunford–Pettis space under the weak
topology.
z = Bz + Ay
Corollary 2.1.1 for the operators A and (I − B)−1 , shows that (I − B)−1 A
has, at least, a fixed point in M. This point y is the one required. Q.E.D.
Remark 2.1.2 (i) The Theorem 2.1.2 is a new variant of the Krasnosel’skii’s
fixed point theorem in the Dunford–Pettis spaces under the weak topology.
(ii) Note that Theorem 2.1.2 remains true if we replace the assumption (iii)
by a weaker one; (if u = Bu + Av with v ∈ M , then u ∈ M ).
In the remaining part of this section, we will briefly discuss the existence of
positive solutions. Let X1 and X2 be two Banach lattice spaces, with positive
cônes X1+ and X2+ , respectively. An operator T from X1 into X2 is said to be
positive if it carries the positive cône X1+ into X2+ (i.e., T (X1+ ) ⊂ X2+ ).
i.e., A maps N + into itself. Now, the rest of the proof is similar to that of
Theorem 2.1.1; it is sufficient to replace the set N by N + . Q.E.D.
Proof. Let N = co(A(M)) be the closed convex hull of A(M). Since A(M)
is relatively weakly compact, then N is a weakly compact convex subset of
X. Moreover,
A(N ) ⊂ A(M) ⊂ co(A(M)) = N ,
i.e., A maps N into itself. Since A is weakly sequentially continuous, and by
using the O. Arino, S. Gautier, and J. P. Penot theorem (see Theorem 1.6.9),
it follows that A has, at least, one fixed point in N . Q.E.D.
i.e., A maps N + into itself. Moreover, using the fact that A(M+ ) is relatively
weakly compact, it follows, by using the Krein–S̆mulian’s theorem (see Theo-
rem 1.3.5), that N + is a weakly compact set. Now, the result follows from O.
Arino, S. Gautier, and J. P. Penot’s theorem (see Theorem 1.6.9). Q.E.D.
for all M ∈ ΩX . For more convenience, we recall the basic properties of ω(.)
presented in Lemma 1.4.1 and needed below.
(ii) there exists α ∈ [0, 1) such that ω(A(N )+B(N )) ≤ αω(N ) for all N ⊂ M ,
Fixed Point Theory under Weak Topology 59
(iv) (x = Bx + Ay, y ∈ M ) =⇒ x ∈ M .
We claim that the sequence (Mn )n≥1 satisfies the condition of property (8) of
ω(.)(see Lemma 2.3.1). Indeed, it is clear that the sequence (Mn )n≥1 consists
of nonempty closed convex subsets of M . Using Eq. (2.3), we notice that it is
also decreasing. Now, using Eq. (2.2) and the following equality:
ω(Mn+1 ) ≤ αω(Mn ).
and therefore lim ω(Mn ) = 0, because α ∈ [0, 1). Now, applying property
n→∞
(8) of Lemma 1.4.1, we infer that M∞ := ∩∞
n=1 Mn is a nonempty, closed,
60 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
we get a subsequence (xρ(n) )n≥1 of (xn )n≥1 such that (I − B)−1 Axρ(n) ⇀ y
in M∞ . Going back to Eq. (2.4), the weak sequential continuity of the maps
A and B yields to y = By + Ax and thus y = (I − B)−1 Ax.
We claim that:
(I − B)−1 Axn ⇀ (I − B)−1 Ax.
Suppose the contrary, then there exists a subsequence (xρ1 (n) )n≥1 and a weak
neighborhood V w of (I − B)−1 Ax such that (I − B)−1 Axρ1 (n) 6∈ V w for all
n ≥ 1. Moreover, xρ1 (n) ⇀ x, then arguing as before, we find a subsequence
(xρ1 (ρ2 (n)) )n≥1 of (xρ1 (n) )n≥1 such that
which is absurd, since (I − B)−1 Axρ1 (ρ2 (n)) 6∈ V w for all n ≥ 1. Finally, (I −
B)−1 A is weakly sequentially continuous. Now, applying the Arino–Gautier–
Penot fixed point theorem (see Theorem 1.6.9), we conclude that (I − B)−1 A
has, at least, one fixed point x ∈ M∞ , that is, Ax + Bx = x. This completes
the proof. Q.E.D.
Remark 2.3.2 The result in Theorem 2.3.1 remains valid for any arbitrary
measure of weak noncompactness on X.
Taking into account that A(M ) is relatively weakly compact and using the
subadditivity of the De Blasi measure of weak noncompactness, we get
Now, let r > 0 and let K be a weakly compact subset of M such that N ⊂
K + Br . We show that
B(N ) ⊂ B(K) + Bkr .
Now, combining Eqs. (2.6) and (2.7), we get ω(A(N ) + B(N )) ≤ kω(N ).
Q.E.D.
(iii) (x = Bx + Ay, y ∈ Ω) =⇒ x ∈ Ω.
We should notice that Theorem 2.3.2 remains true if we suppose that there
exists p ∈ N∗ such that B p is a nonlinear contraction.
(iii) (x = Bx + Ay, y ∈ Ω) =⇒ x ∈ Ω.
Hence, B is ω-condensing, which ends the proof of the claim. On the other
hand, it is easy to see that A + B is weakly sequentially continuous. Thanks
to Theorem 2.3.4, it suffices to show that A + B is ω-condensing. To see this,
let D be a bounded subset of Ω. Taking into account the fact that A(D) is
relatively weakly compact and using the subadditivity of the De Blasi measure
of weak noncompactness we get
6 0 then
So, if ω(B(D) =
and hence A+B is ω-condensing, which ends the proof of the theorem. Q.E.D.
We point out that Theorem 2.3.5 remains valid if we replace the assumption
(A + B)(Ω) ⊂ Ω
(x = Bx + Ay, y ∈ Ω) =⇒ x ∈ Ω.
Fixed Point Theory under Weak Topology 65
(iii) (x = Bx + Ay, y ∈ Ω) =⇒ x ∈ Ω.
Then, there exists x ∈ Ω such that x = Ax + Bx.
Proof. Let y be fixed in Ω. The map which assigns to each x ∈ Ω the value
Bx + Ay defines a nonlinear contraction from Ω into Ω. So, using Theorem
1.6.10 together with assumption (iii), the equation x = Bx + Ay has a unique
solution x = (I − B)−1 Ay ∈ Ω. Therefore,
(I − B)−1 A(Ω) ⊂ Ω.
Let K = conv(F (Ω)) be the closed convex hull of F (Ω). Clearly, K is closed,
convex, bounded, and F (K) ⊂ K ⊂ Ω. We claim that K is weakly compact.
If it is not the case, then ω(K) > 0. Since F (Ω) ⊆ A(Ω) + BF (Ω), we obtain
Taking into account the fact that A is weakly compact and B is ω-condensing,
we obtain
ω(K) = ω(F (Ω)) ≤ ω(B(F (Ω))) < ω(F (Ω)),
which is absurd. Hence, K is weakly compact. In view of Corollary 2.3.3, it
remains to show that F : K −→ K is weakly sequentially continuous. In fact,
let (xn )n ⊂ K such that xn ⇀ x. Because F (K) is relatively weakly compact,
it follows by the Eberlein–Šmulian theorem that there exists a subsequence
(xnk )k of (xn )n such that F (xnk ) ⇀ y. The weakly sequentially continuity of
B leads to BF (xnk ) ⇀ By. Also, from the equality BF = −A + F, it results
that
−A(xnk ) + F (xnk ) ⇀ −A(x) + y.
So, y = F (x). We claim that F (xn ) ⇀ F (x). Suppose that this is not the
case, then there exists a subsequence (xϕ1 (n) )n and a weak neighborhood V w
66 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
of (I − B)−1 Ax such that (I − B)−1 Axϕ1 (n) ∈ / V w , for all n ∈ N. On the other
hand, we have xϕ1 (n) ⇀ x, then arguing as before, we find a subsequence
(xϕ1 (ϕ2 (n)) )n such that (I −B)−1 Axϕ1 (ϕ2 (n)) converges weakly to (I −B)−1 Ax,
which is a contradiction and hence F is weakly sequentially continuous. Q.E.D.
Proof. Suppose that (ii) does not hold. We notice that this supposition is
also satisfied for λ = 0 (since θ ∈ U ). If (ii) is satisfied for λ = 1 then, in
w
this case, we have a fixed point in u ∈ ∂Ω U and there is nothing to prove. In
w
conclusion, we can consider that the supposition is satisfied for any x ∈ ∂Ω U
and any λ ∈ [0, 1]. Let D be the set defined by
n o
D = x ∈ U w such that x = λF (x), for some λ ∈ [0, 1] .
Let
D∗ = conv(F (U w ) ∪ {θ}).
Using the Krein–Šmulian theorem (see Theorem 1.3.5) and the weakly sequen-
tial continuity of F , it follows that D∗ is a weakly compact and convex set.
Moreover, F ∗ (D∗ ) ⊂ D∗ . Since F ∗ is weakly sequentially continuous, and by
using Theorem 1.6.9, it follows that F ∗ has, at least, a fixed point x0 ∈ Ω. If
x0 6∈ U , ϕ(x0 ) = 0 and x0 = 0, which contradicts the hypothesis θ ∈ U . Then,
x0 ∈ U and x0 = ϕ(x0 )F (x0 ), which implies that x0 ∈ D. Hence, ϕ(x0 ) = 1
and the proof is complete. Q.E.D.
Proof. Suppose that (ii) does not hold and F does not have a fixed point in
w
∂Ω U (otherwise, we have finished, i.e., (i) occurs). Let D be the set defined
by: n o
D = x ∈ U w such that x = λF (x), for some λ ∈ [0, 1] .
68 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
D ⊂ conv({θ} ∪ F (D)).
6 0 which implies
So, ω(D) =
then, we have ω(F ∗ (X)) ≤ ω(F (X ∩ Ω)) ≤ ω(F (X)) and ω(F ∗ (X)) < ω(X) if
ω(X) =6 0. So, F ∗ is condensing with respect to ω. Therefore, Theorem 2.3.4
implies that F ∗ has, at least, a fixed point x0 ∈ Ω. If x0 ∈ / U , ϕ(x0 ) = 0
and x0 = 0, which contradicts the hypothesis θ ∈ U . Then, x0 ∈ U and
x0 = ϕ(x0 )F (x0 ), which implies that x0 ∈ D, and so ϕ(x0 ) = 1 and the proof
is complete. Q.E.D.
conv{z1 , ..., zn } ⊂ Ω.
HV = GV ∩ (C × C).
For each x ∈ C, HV (x) is closed, convex (since C ⊂ Ω), and nonempty (since
G(x) + V contains some zi ). Moreover, HV is a closed subset of C × C since
GV is closed. Thus, HV has, at least, a fixed point by Kakutani’s fixed point
theorem (see Theorem 1.6.4). It belongs to FV which is then nonempty. Q.E.D.
Proof. Let us assume the contrary, i.e., ϕ is not u.s.c. Then, there exists an
open neighborhood Vϕ(x) of ϕ(x) in Y such that, for every open neighborhood
Ux of x in X, we have ϕ(Ux ) is not contained in Vϕ(x) . We take Ux = B(x, n1 ),
n = 1, 2, .... Then, for every n, we get a point xn ∈ B(x, n1 ) such that ϕ(xn )
is not contained in Vϕ(x) . Let yn be a point in Y such that yn ∈ ϕ(xn )
and yn ∈ / Vϕ(x) . Then, we have limn→∞ xn = x and (yn )n ⊂ K. Since K is
compact, we can assumes without loss of generality, that limn→∞ yn = y ∈ K.
We see that y ∈ / Vϕ(x) . Then, for every n, we have (xn , yn ) ∈ Gr(ϕ) and
(xn , yn ) → (x, y). So (x, y) ∈ Gr(ϕ) because Gr(ϕ) is a closed subset of
X × Y but it contradicts y ∈ / Vϕ(x) and the proof is completed. Q.E.D.
Recall that in Theorems 2.3.2, 2.3.3, and 2.3.6 our arguments were based on
the invertibility of the mapping I − B and our strategy consists in proving the
fixed point property of the mapping (I −B)−1 A. Hence, it would be interesting
to investigate the case when I − B may not be injective.
In that line, the following result presents a critical type of Krasnoselskii’s fixed
point theorem. Having obtained these results, we shall now study the fixed
point property for a larger class of weakly sequentially continuous mappings
under weaker assumptions. Besides, we will focus on the case invertible and we
investigate this kind of generalization by looking for the multi-valued mapping
(I − B)−1 A.
Step 1: F (Ω) is relatively weakly compact. For any (yn )n ⊂ F (Ω), we choose
72 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
(xn )n ⊂ Ω such that yn = F (xn ). Taking into account assumption (ii), to-
gether with the Eberlein–Šmulian theorem, we get a subsequence (yϕ1 (n) )n of
(yn )n such that (I − B)yϕ1 (n) ⇀ z, for some z ∈ Ω. Thus, by assumption (iii),
there exists a subsequence yϕ1 (ϕ2 (n)) converging weakly to y0 ∈ Ω.
Hy := (I − B)−1 Ay.
Step 3: H(x) is closed for each x ∈ Ω. This assertion follows from Steps 1
and 2 by setting (xn )n ≡ x.
Since {(I − B)xn }w is weakly compact, we obtain ω({xn }) ≤ ω({Bxn }). Now,
Fixed Point Theory under Weak Topology 73
we show that ω({xn }) = 0. If we suppose the contrary, then using the fact that
B is ω-condensing, we obtain
(iii) (x = Bx + Ay, y ∈ Ω) =⇒ x ∈ Ω.
Then, there exists x ∈ X such that x = Ax + Bx.
Using the technique used in the proof of Theorem 2.4.4, we have the following
result.
and
In the remaining part of this section, we prove some fixed point theorems for
a Browder class of multi-valued mappings with a weakly sequentially closed
graph, in which the operators have the property that the image of any set is,
in a certain sense, more weakly compact than the original set itself.
Proof. Suppose that (ii) does not hold and F does not have a fixed point in
w
∂Ω U (otherwise, we have finished, i.e., (i) occurs). Let D be the set defined
by: n o
D = x ∈ U w such that x ∈ λF (x), for some λ ∈ [0, 1] .
we have
Φ(F ∗ (X)) ≤ Φ(X ∩ U w ) ≤ Φ(F (X))
and Φ(F ∗ (X)) < Φ(X) if Φ(X) = 6 0. So, F ∗ is Φ-condensing. Therefore, all
the assumptions of Theorem 2.4.6 are satisfied for F ∗ . Consequently, there
exists x0 ∈ Ω with x0 ∈ F ∗ (x0 ). If x0 ∈
/ U , Φ(x0 ) = 0 and x0 = θ, which
contradicts the hypothesis θ ∈ U . Then, x0 ∈ U and x0 ∈ Φ(x0 )F (x0 ), which
implies that x0 ∈ D. Hence, ϕ(x0 ) = 1 and the proof is complete. Q.E.D.
Since every weakly sequentially continuous single valued mapping can be iden-
tified as a multi-valued mapping having weakly sequentially closed graph, we
obtain the following corollary:
(iii) (x = Bx + Ay, y ∈ U w ) =⇒ x ∈ Ω.
80 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
w
Then, either A + B has, at least, a fixed point or there is a point x ∈ ∂Ω U
(the weak boundary of U in Ω) and a scalar λ ∈ (0, 1) with x = Bx + λAx.
Using Eq. (2.10), we have (I − B)−1 ∈ L(X). So, (I − B)−1 is weakly contin-
uous. Let us set F := (I − B)−1 A. Since A acts from U w into X then, from
assumption (iii), the mapping F acts from U w into Ω. Since (I − B)−1 is
weakly continuous and A is weakly sequentially continuous, we deduce that F
is weakly sequentially continuous. Moreover, since A(U w ) is relatively weakly
compact and (I −B)−1 is weakly continuous, we get F (U w ) is relatively weakly
compact. Consequently, using Theorem 2.3.7 and Remark 2.3.4, we get either
w
F has, at least, a fixed point or there exists a point x ∈ ∂Ω U and a λ ∈ (0, 1)
such that x = λF (x). This yields, either A + B has, at least, a fixed point or
w
there is a point x ∈ ∂Ω U and a λ ∈ (0, 1) such that
x
= (I − B)−1 A(x). (2.11)
λ
Eq. (2.11) implies that (I − B)( λx ) = A(x). Since B is linear, we get x =
λAx + Bx. Q.E.D.
(iii) (x = Bx + Ay, y ∈ U w ) =⇒ x ∈ Ω.
Fixed Point Theory under Weak Topology 81
w
Then, either A + B has, at least, a fixed point or there is a point x ∈ ∂Ω U
(the weak boundary of U in Ω) and a scalar λ ∈ (0, 1) with x = Bx + λAx.
Proof. Let D be a bounded subset of U w such that ω(D) > 0. Taking into
account the fact that A(D) is relatively weakly compact, and using the sub-
additivity of the De Blasi measure of weak noncompactness, we get
satisfying:
Proof. Let y be fixed in U w . The map which assigns to each x ∈ Ω the value
Bx+Ay defines a nonlinear contraction from Ω into Ω. So, taking into account
the fact that I − B is a homeomorphism together with the assumption (iii),
the equation x = Bx + Ay has a unique solution x = (I − B)−1 Ay ∈ Ω.
Therefore,
(I − B)−1 A(U w ) ⊂ Ω.
Now, let us define the mapping F : U w −→ Ω by:
F (U w ) ⊂ A(U w ) + BF (U w ),
we get
ω(F (U w )) ≤ ω(A(U w )) + ω(BF (U w )).
Taking into account the fact that A(U w ) is relatively weakly compact and B
is ω-condensing (see Remark 2.3.1), we obtain
Hence, y = F (x). We claim that F (xn ) ⇀ F (x). Suppose that this is not the
case, then there exists a subsequence (xϕ1 (n) )n and a weak neighborhood V w
of (I − B)−1 Ax such that (I − B)−1 Axϕ1 (n) ∈
/ V w , for all n ∈ N. Moreover, we
have xϕ1 (n) ⇀ x. Then arguing as before, we find a subsequence (xϕ1 (ϕ2 (n)) )n
such that (I − B)−1 Axϕ1 (ϕ2 (n)) converges weakly to (I − B)−1 Ax, which is
a contradiction. Hence, F is weakly sequentially continuous. Consequently,
w
either F has, at least, a fixed point or there is a point x ∈ ∂Ω U (the weak
boundary of U in Ω) and a λ ∈ (0, 1) with x = λF (x). Q.E.D.
Proof. The result follows immediately from Theorem 2.5.5. Indeed, since B
is a nonlinear contraction, then taking into account Remarks 2.3.1 and 2.4.1,
we get that B satisfies the assumption (iii) of Theorem 2.5.5. Moreover, we
have I − B is a homeomorphism. So, for every y in the range of I − B, the set
Dy = {x ∈ Ω such that (I − B)x = y} is reduced to {(I − B)−1 y}, which is
convex. Q.E.D.
The next theorem extends a result of H. Schaefer [145] to the case of multi-
valued mappings in the context of weak topology, dealing with the method of
a priori estimate in the Leray–Schauder theory.
(ii) there exists a closed convex, balanced, and absorbing weak neighborhood U
of θ such that the set H(mU ) is relatively weakly compact for all m ∈ N, and
(iii) the set H(x) is closed, convex and nonempty for all x ∈ X.
86 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
x ∈ λH(x) (2.13)
for all x ∈ X and we shall show that for any natural m there exists ym ∈
ηm H(ym ) with 0 < ηm < 1 and p(ym ) = n. To do this, let m be a natural
number and define a weakly continuous retraction rm : X −→ mU by rm (x) =
mx
x for all x ∈ mU and rm (x) = p(x) for all x such that p(x) > m. Consider the
composition Hm = G ◦ rm . In the following, we will prove that Hm satisfies
the conditions of Theorem 2.4.3.
rm (xm )p(xm )
= λ0 H(rm (xm )).
n
nλ0
This gives that ym = ηm H(ym ) with ym = rm (xm ), ηm = p(xm ) < 1 and
p(ym ) = n. Q.E.D.
Fixed Point Theory under Weak Topology 87
Then, either for any λ ∈ [0, 1] there exists an x ∈ X such that x = λB( xλ ) +
λAx or the set {x ∈ X : ∃ λ ∈]0, 1[, x = λB( λx ) + λAx} is unbounded.
Hy := (I − B)−1 Ay.
H is well defined by assumption (i). Now, arguing as in the proof of the second
part of Theorem 2.4.4, we prove that H satisfies the hypotheses of Theorem
2.5.6. So, using this theorem, we get the desired result. Q.E.D.
Proof. The result follows immediately from Theorem 2.5.7 and Remark 2.4.1
(i). Q.E.D.
Step 1: Arguing as in Step 1 of the first part of the proof of Theorem 2.5.5,
we get F (M ) is relatively weakly compact.
Hy := (I − B)−1 Ay.
(iv) Ax.By + Cx ∈ S ∀ x, y ∈ S.
Ax.Bx + Cx = x (3.1)
91
92 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Proof. From assumption (i), it follows that, for each y in S, there exists a
unique xy ∈ X such that
I −C
xy = By. (3.2)
A
or, equivalently
Axy .By + Cxy = xy . (3.3)
Since the hypothesis (iv) holds, then xy ∈ S. Therefore, we can define
N : S −→ S
−1
I −C
y −→ N y = By.
A
By using the hypotheses (ii), (iii), combined with Theorem 2.2.1, we conclude
that N has, at least, a fixed point y in S. Hence, y verifies Eq. (3.1). Q.E.D.
Then, the operator equation Ax.Bx = x has a solution whenever M Φ(r) < r,
r > 0 where M = kB(S)k.
I
x∗ = By.
A
This proves the claim (3.5) and consequently, (3.4). It is easy to check that
I −1
A is well defined on B(S). Since T is a composition of a continuous and
a completely continuous operator, then it is a completely continuous operator
on S. Now, we may apply Schauder’s fixed point theorem in order to deduce
the desired result. Q.E.D.
x = Ax.By,
Now, by applying a fixed point theorem of Boyd and Wong (see Theorem
1.6.10), we deduce that there exists a unique element xy ∈ X such that
ϕy (xy ) = xy .
Hence, xy verifies Eq. (3.3) and so, by virtue of the hypothesis (ii), xy verifies
−1
Eq. (3.2). Therefore, the mapping I−C A is well defined on B(S), and
−1
I −C
By = xy ,
A
(ii) A is regular on X,
Then, Eq. (3.1) has, at least, one solution in S whenever M φA (r)+φC (r) < r,
for all r > 0.
I−C −1
Proof. From Proposition 3.1.2, it follows that A exists on B(S). By
virtue of assumption (vi), we obtain
−1
I −C
B(S) ⊂ S.
A
Moreover, the use of the hypotheses (iv) and (v) implies that
−1
I −C
B(S)
A
Bun → Bu.
I−C −1
Since A is a continuous mapping on B(S), we deduce that
−1 −1
I −C I −C
Bun → Bu.
A A
−1
This shows that I−CA B is weakly sequentially continuous. Finally, an ap-
plication of Theorem 2.2.1 shows that Eq. (3.1) has a solution in S. Q.E.D.
Fixed Point Theory in Banach Algebras 97
(iii) A is regular on X,
−1
(iv) I−CA is weakly sequentially continuous on B(S), and
Then, Eq. (3.1) has, at least, one solution in S whenever M φA (r)+φC (r) < r,
for all r > 0.
Proof. Similarly to the proof of the preceding Theorem 3.1.4, we show that
I−C −1
A exists on B(S), and
−1
I −C
B(S) ⊂ S.
A
−1
Since I−CA and B are weakly sequentially continuous, then by composi-
tion, we show that
−1
I −C
B
A
is weakly sequentially continuous. Finally, we claim that
−1
I −C
B(S)
A
is relatively weakly compact. To see this, let {un } be any sequence in S, and
let −1
I −C
vn = Bun .
A
Since B(S) is relatively weakly compact, we deduce that there is a renamed
subsequence {Bun } weakly converging to an element w. This fact, together
with hypothesis (iv), implies that
−1 −1
I −C I −C
vn = Bun ⇀ w.
A A
−1
We infer that I−C A B(S) is sequentially relatively weakly compact. An
application of Eberlein–Šmulian’s theorem (see Theorem 1.3.3) implies that
−1
I −C
B(S)
A
98 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
is relatively weakly compact, which proves our claim. The result is deduced
immediately from Theorem 3.1.2. Q.E.D.
In [70], B. C. Dhage gave a proof of the next theorem in the case of a Lips-
chitzian mapping. Here, we give a proof for the case of D-Lipschitzian maps.
Az.By + Cz = z, y ∈ S.
Now, let us show that N is continuous. To do this, let {yn } be any sequence
in S converging to a point y and set zn = N yn . Since S is closed, then y ∈ S.
Moreover, let us notice that
Hence,
L ≤ (M φA + φC ) L + kAN yk lim supkByn − Byk,
n
where
L := lim supkN yn − N yk.
n
kz − ak
kAzk ≤ kAak + φA (kz − ak) < kAak + ≤ c,
M
where
diam(S)
c = kAak +
M
for some point a in S. Let ε > 0 be given. Since B(S) is a totally bounded
subset, there exists a subset Y = {y1 , . . . , yn } of points in S such that
n
[
B(S) ⊂ Bδ (wi ),
i=1
ckByk − Byk < ε − M φA (ε) + φC (ε) . (3.8)
100 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
We also have
Then,
IdR − M φA + φC (kN yk − N yk) < ckByk − Byk.
kN yk − N yk < ε.
x = N x = Ax.Bx + Cx
Then, the operator A.B+C has, at least, a fixed point in S whenever M φA (r)+
φC (r) < r, where M = kB(S)k.
Since φC (r) < r for all r > 0, then (I − C)−1 exists on S. Again, the operator
I −1
A exists in view of the hypothesis (ii). By using the assumption (ℵ), we
deduce that −1
I −C
exists on B(S).
A
Let us show that N is well defined. It is sufficient to prove that
I −C
B(S) ⊂ (S).
A
where M φA (r) + φC (r) < r for all r > 0. Hence, by applying a fixed point
theorem of Boyd and Wong (see Theorem 1.6.10), we deduce that there exists
a unique point x∗ ∈ S, such that
or, equivalently
I −C
By = x∗ .
A
102 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
−1
Hence, I−C
A B defines a mapping
−1
I −C
B : S −→ S.
A
−1
Next, let us show that the operator I−C
A is continuous. For this purpose,
let {yn } be any sequence in B(S) converging to a point y, and let
−1
x = I −C
(yn )
n A
−1
I −C
x= (y).
A
So,
xn = Axn .yn + Cxn
x = Ax.y + Cx.
Now, we have
(ii) A is regular on X,
Then, Eq. (3.1) has, at least, one solution in S whenever M φA (r)+φC (r) < r,
for all r > 0.
I−C −1
Proof. Similarly to the proof of Theorem 3.1.4, we may deduce that A
exists on B(S),
−1
I −C
B(S) ⊂ S,
A
and −1
I −C
B(S)
A
is relatively weakly compact. In view of Theorem 2.2.1, it is sufficient to es-
tablish that −1
I −C
B
A
is weakly sequentially continuous. For this purpose, let {un } be a weakly
convergent sequence of S to a point u in S. Now, we define the sequence {vn }
of the subset S by:
−1
I −C
vn = Bun .
A
−1
Since I−CA B(S) is relatively weakly compact, then there is a renamed
subsequence such that
−1
I −C
vn = Bun ⇀ v.
A
Therefore, from the assumption (iii), and in view of condition (P), we deduce
that v verifies the following equation
v − Cv = Av.Bu,
104 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
or, equivalently
−1
I −C
v= Bu.
A
Next, we claim that the whole sequence {un } verifies
−1
I −C
Bun = vn ⇀ v.
A
Indeed, let us suppose that this is not the case. Then, there is V w , a weakly
neighborhood of v, satisfying for all n ∈ N, the existence of an N ≥ n such
that vN ∈ / V w . Hence, there is a renamed subsequence {vn } verifying the
property
for all n ∈ N, vn ∈/ V w. (3.9)
However,
−1
I −C
for all n ∈ N, vn ∈ B(S).
A
Again, there is a renamed subsequence such that
vn ⇀ v ′ .
and consequently,
v = v′ ,
Corollary 3.1.2 Let X be a Banach algebra satisfying condition (P), and let
S be a nonempty, closed, and convex subset of X. Let A, C : X −→ X and
B : S −→ X be three operators such that:
(ii) A is regular on X,
Fixed Point Theory in Banach Algebras 105
(iv) A(S), B(S), and C(S) are relatively weakly compact, and
vn ⇀ x.w + y.
Theorem 3.1.9 Let X be a Banach algebra satisfying condition (P) and let
S be a nonempty, closed, and convex subset of X such that S + = S ∩ X + =
6 ∅.
Let A, C : X −→ X and B : S −→ X be three operators such that:
(ii) A is regular on X,
Then, Eq. (3.1) has, at least, one solution in S + whenever M + φA (r)+φC (r) <
r, for all r > 0, where M + = kB(S + )k.
weakly closed subset of X. Suppose that there exists a weakly sequentially con-
tinuous operator F : Ω −→ Ω. Let x0 ∈ Ω. If the following implication:
holds for every subset V of Ω, then F has, at least, one fixed point in Ω.
Q0 ⊆ Q1 ⊆ ... ⊆ Qn ⊆ ... ⊆ Ω.
∞
[
Let Q = Qn . Since Qn−1 ⊆ Qn for n = 1, 2, ...., hence, Q is convex. Now,
n=0
we claim that Q = co ({x0 } ∪ F (Q)). Let us denote by Q∗ = co ({x0 } ∪ F (Q)).
Since F (Qn ) ⊆ Q for n = 0, 1, 2, ...., then,
∞
[
F (Q) = F (Qn ) ⊆ Q,
n=0
Q∗ ⊆ Q. (3.13)
Q∗ = Q.
Qw = Q = co ({x0 } ∪ F (Q)).
Remark 3.1.4 Under the assumptions of the above Theorem 3.1.11, the set
of fixed points of F belonging to Ω, is relatively weakly compact.
Fixed Point Theory in Banach Algebras 109
In the remainder of this section, we assume that the Banach space X has the
structure of a Banach algebra satisfying the condition (P).
Now, by using the hypothesis (ii) and in view of Lemma 1.5.2, we deduce that
ω(F (V )) ≤ γω(L(V ))
≤ λγω(V ).
By combining Theorems 3.1.11 and 3.1.12, we get the following fixed point
result:
(iii) Ax + Lx.U x ∈ Ω, x ∈ Ω.
110 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
If F (Ω) = (A + L.U )(Ω) and U (Ω) are bounded subsets of X, then F has, at
least, one fixed point in Ω whenever 0 ≤ λγ < 1, where γ := ||U (Ω)||.
Notice that when the scalar λ (used in the previous theorem) vanishes, we
have the following result:
If F (Ω) = (A + L.U )(Ω) and U (Ω) are bounded subsets of X, then F has, at
least, one fixed point in Ω.
≤ γω(L(V )).
Then,
ω(F (V )) ≤ ω(L(V )).
(iii) Ax + Lx.U x ∈ Ω, x ∈ Ω.
If F (Ω) = (A + L.U )(Ω) and U (Ω) are bounded subsets of X, then F has, at
least, one fixed point in Ω whenever 0 ≤ γ ≤ 1, where γ := ||U (Ω)||.
Notice that, there is a relation between α-Lipschitzian and λ-set-contraction
maps with respect to ω:
ω(L(V )) ≤ αω(V ).
Q.E.D.
(iii) Ax + Lx.U x ∈ Ω, ∀x ∈ Ω.
Then, Eq. (3.1) has, at least, one fixed point in Ω whenever αγ < 1, where
γ := ||U (Ω)||.
Proof. We will show that the operator F satisfies all the conditions of Theo-
rem 3.1.11, where F is defined by:
F : Ω −→ X
x −→ F x = Ax + Lx.U x.
First, since A, L, and U are weakly sequentially continuous on Ω, and ac-
cording to condition (P), we infer that F is weakly sequentially continuous.
Clearly, F is a strict set-contraction with respect to ω, since αγ < 1. It fol-
lows that F is a condensing map with respect to ω. Finally, the use of the
hypothesis (iii) implies that F (Ω) ⊆ Ω and consequently, F (Ω) is bounded.
Then, Theorem 3.1.11 allow us to reach the desired result. Q.E.D.
x = x0 + x.U x (3.15)
In what follows, we will discuss the existence of positive solutions for Eq.
(3.1) in an ordered Banach algebra (X, ||.||, ≤) satisfying condition (P), with
a positive closed cone X + . We recall that X + verifies (i) X + + X + ⊆ X + ,
(ii) λX + ⊆ X + for all λ ∈ R+ , (iii) {−X + } ∩ X + = {0}, where 0 is the
zero element of X, and (iv) X + · X + ⊆ X + , where “·” is a multiplicative
composition in X. We recall the following lemma proved in [72].
(iii) Ax + Lx.U x ∈ Ω+ , x ∈ Ω+ .
(iii) Ax + Lx.U x ∈ Ω+ , ∀x ∈ Ω+ .
(iii) Ax + Lx.U x ∈ Ω+ , x ∈ Ω+ .
Then, Eq. (3.1) has a solution x in Ω+ whenever αγ + < 1, where γ + :=
||U (Ω+ )||.
To close this section, we will prove the existence of positive solutions for Eq.
(3.15) in the Banach algebra C(K, X), the space of continuous functions from
K into X, endowed with the sup-norm ||.||∞ defined by ||f ||∞ := sup{||f (t)|| :
t ∈ K}, where K is a compact Hausdorff space. In the remainder of this
section, we suppose that X + verifies the following condition (H):
xn+1 = x0 + xn .U xn , n = 0, 1, 2, ....
Then,
xn+1 = F xn , n = 0, 1, 2, ....
Hence, F maps the subset Q = {x0 , x1 , x2 , ....} into itself. Proceeding by
induction and using the fact that U is isotone together with Lemma 3.1.1, we
get for each t ∈ K:
Since U is weakly sequentially continuous, and using the fact that the Banach
algebra C(K, X) satisfies condition (P), we infer that F is weakly sequentially
116 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Hence,
xϕ(p) (t) − xn (t) ∈ X + .
Therefore,
x(t) − xn (t) ∈ X + , as p → ∞.
This implies that
xn (t) ≤ x(t),
which leads to
xn ≤ x.
As a result, x satisfies the conclusion of Theorem 3.1.21, which completes the
proof. Q.E.D.
x0 = x + x.U x (3.17)
has, at least, one fixed point in Ω whenever γ := sup ||U x||∞ < 1.
x ∈ Ω
x.U x ∈ C+ (K).
x(t).U x(t) ∈ X + ,
Fixed Point Theory in Banach Algebras 117
and then,
x0 (t) − (x0 (t) − x(t).U x(t)) ∈ X + ,
or, equivalently
x0 ≥ x0 + x.(−U x). (3.18)
x0 + x.(−U x) ∈ Ω,
for each x ∈ Ω. Now, the use of Corollary 3.1.4 allows us to achieve the proof.
Q.E.D.
Proof. The existence of the solution is proved in the above Theorem 3.1.22.
Now, we have to show its uniqueness. For this purpose, let us assume that x1
and x2 are two solutions of Eq. (3.17). Hence, it follows that
x1 + x1 .U x1 = x2 + x2 .U x2 .
Thus,
x1 − x2 = x2 .(U x2 − U x1 ) + (x2 − x1 ).U x1 .
118 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Then,
Since (α||x0 || + γ) < 1, we must have x1 = x2 , which achieves the proof of the
uniqueness of the solution. Q.E.D.
Remark 3.1.5 The element x0 is invertible if, and only if, the solution x
of Eq. (3.17) is invertible. Indeed, Eq. (3.17) is equivalent to the equation
x0 = x(I +U x) where I represents the identity operator defined by Ix = x, x ∈
C+ (K). Since γ := sup ||U y||∞ < 1, then ||U x||∞ < 1 and consequently,
y ∈ Ω
P∞
(I + U x) is invertible (we recall that (I + U x)−1 = n=0 (−1)n (U x)n ).
and
M ′ ⊂ W2 + Bt . (3.21)
Now, let z ∈ M.M ′ . Then, z can be represented in the form z = x.y with
x ∈ M and y ∈ M ′ . In view of (3.20) and (3.21), there exist w1 ∈ W1 ,
w2 ∈ W2 , u ∈ Br , and v ∈ Bt such that x = w1 + u and y = w2 + v. Hence,
we get
Hence, keeping in mind the fact that X is a WC–Banach algebra, and in view
of the definition of the De Blasi measure of weak noncompactness ω, we obtain
the following inequality.
ω(M.M ′ ) ≤ kM kt + kM ′ kr + rt.
Q.E.D.
120 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Now, we are ready to state our first fixed point theorem in WC–Banach algebra
in order to provide the existence of solutions for the operator equation
x = Ax.Bx + Cx.
(iii) B is an ω-β-contraction,
(iv) C is an ω-α-contraction, and
x = Ax.Bx + Cx
combined with the facts that A(S) is relatively weakly compact and C is a
ω-α-contraction, we obtain the following:
ω {T xn : n ∈ N} ≤ ω {A(T xn )Bxn : n ∈ N} + ω {C(T xn ) : n ∈ N}
≤ αω {T xn : n ∈ N}
< ω {T xn : n ∈ N} .
The properties of ω in Lemmas 1.4.1 and 3.2.1, when combined with the
assumptions (ii), (iii), and (iv) on A, B, and C, allow us to show that
and then,
γβ
ω(T (M)) ≤ ω(M).
1−α
This inequality means, in particular, that T is ω-condensing. Q.E.D.
(iii) A(S), B(S), and C(S) are relatively weakly compact, and
is relatively weakly compact. By using both Lemmas 1.4.1 and 3.2.1, and
knowing the weak compactness of A(S), B(S), and C(S), we infer that
This shows that ω(T (S)) = 0. Hence, T (S) is relatively weakly compact. The
use of Theorem 3.2.1 achieves the proof. Q.E.D.
(i) B is a ω-δ-contraction,
Now, an application of Boyd’s and Wong’s fixed point theorem (see Theorem
1.6.10) shows the existence of a unique point xy ∈ X, such that
ϕy (xy ) = xy .
Making use of Lemmas 1.4.1 and 3.2.1 together with the assumptions on A,
B, and C, enables us to have
(iii) (x = By + Cx, y ∈ S) =⇒ x ∈ S.
If we only take the function φC (r) = ζr, where ζ ∈ [0, 1 − δ) in the above
theorem, we obtain the following corollary:
(iii) (x = By + Cx, y ∈ S) =⇒ x ∈ S.
(vi) ( I−C
A )
−1
is weakly sequentially continuous on B(U w ).
Then, either
φy (x) = Ax.By + Cx
Ax.Bx + Cx = x.
Next, let us suppose that there exist an element u ∈ ∂Ω (U ) and a real number
−1
λ ∈]0, 1[ such that u = λ I−C
A Bu. Then,
−1
I −C u
Bu = ,
A λ
so that u u
λA .Bu + λC = u.
λ λ
This completes the proof. Q.E.D.
Notice that this result remains true even when C ≡ 0, and we get a nonlinear
alternative of the Leray–Schauder type in a Banach algebra for the product
of two operators.
Fixed Point Theory in Banach Algebras 127
Then, either
(b) there is an element u ∈ ∂Ω (U ) such that λA( uλ )Bu = u for some 0 < λ < 1.
Now, we may give some Leray–Schauder results for maps acting on Banach
algebras satisfying condition (P).
(ii) A is regular on X,
Then, either
(b) there is an element u ∈ ∂Ω (U ) such that λA( uλ ).Bu + λC( uλ ) = u for some
0 < λ < 1.
Since ( I−C
A )
−1
B(U w ) is relatively weakly compact, so there is a renamed
subsequence such that
−1
I −C
vn = Bun ⇀ v.
A
However, the subsequence {vn } verifies vn − Cvn = Avn .Bun . Therefore, from
assumption (vi) and in view of condition (P), we deduce that v verifies the
following equation
v − Cv = Av.Bu,
or equivalently,
−1
I −C
v= Bu.
A
Next, we claim that the whole sequence {un } verifies
−1
I −C
Bun = vn ⇀ v.
A
Indeed, let us suppose that this is not the case. So, there is V w , a weakly
neighborhood of v satisfying, for all n ∈ N, the existence of an N ≥ n such
that vN ∈ / V w . Hence, there is a renamed subsequence {vn } verifying the
property:
/ V w.
for all n ∈ N, { vn } ∈ (3.24)
(e) ( I−C
A )
−1
B has, at least, a fixed point, or
Ax.Bx + Cx = x.
w
Second, let us suppose that there exist an element u ∈ ∂Ω (U ) and a real
I−C −1
number λ ∈]0, 1[ such that u = λ( A ) Bu. Then,
−1
I −C u
Bu = ,
A λ
Notice that this result remains true when C ≡ 0, and we get the following
results :
(ii) A is regular on X,
Then, either
vn ⇀ x.w + y.
Then, either
Proof. Using the preceding Theorem 3.4.1, the set A is nonempty. Now, let
us prove that A is weakly compact in S. Indeed, since A = F (A) ⊂ F (S),
then A is bounded. Moreover,
and if we assume that F (S) is bounded, then F has, at least, one fixed point
in S.
Theorem 3.4.4 Let X be a Banach space, and let ψ be a regular and set
additive measure of weak noncompactness on X. Let C be a nonempty, closed,
and convex subset of X, x0 ∈ C, and let n0 be a positive integer. Suppose that
F : C −→ C is ψ-convex-power condensing about x0 and n0 . If F is ws-
compact and if F (C) is bounded, then F has, at least, a fixed point in C.
Fixed Point Theory in Banach Algebras 133
Proof. Let
M = co F (n,x0 ) (M ) ∪ {x0 } . P(n)
co (F (M ) ∪ {x0 }) ⊂ M.
Hence,
F (co (F (M ) ∪ {x0 })) ⊂ F (M ) ⊂ co (F (M ) ∪ {x0 }) .
Consequently,
co (F (M ) ∪ {x0 }) ∈ F.
Hence,
M ⊂ co (F (M ) ∪ {x0 }) .
As a result, co (F (M ) ∪ {x0 }) = M . This shows that P(1) holds. Let n be
fixed, and suppose that P(n) holds. This implies that
F (n+1,x0 ) (M ) = F (co F (n,x0 ) (M ) ∪ {x0 } = F (M ).
Consequently,
co F (n+1,x0 ) (M ) ∪ {x0 } = co (F (M ) ∪ {x0 }) = M.
As a result,
co F (n0 ,x0 ) (M ) ∪ {x0 } = M.
Knowing that F (C) is bounded also implies that M is bounded. By using the
properties of the measure of weak noncompactness, we get
ψ(M ) = ψ co F (n0 ,x0 ) (M ) ∪ {x0 } = ψ F (n0 ,x0 ) (M ) ,
Theorem 3.4.5 Let X be a Banach space, and let ψ be a regular set additive
measure of weak noncompactness on X. Let Q be a closed and convex subset
of X with 0 ∈ Q, and let n0 be a positive integer. Assume that F : X −→ X
is ws-compact and ψ-convex-power condensing about 0 and n0 and that F (Q)
is bounded, and
if {(xj , λj )} is a sequence in ∂Q × [0, 1] converging to (x, λ) with
x = λF (x) and 0 < λ < 1, then λ F (x ) ∈ Q for a sufficiently large j.
j j
(rF )(1,0) (A) = rF (A) = rF (1,0) (A) ⊂ co(F (1,0) (A) ∪ {0}).
Hence,
Fixed Point Theory in Banach Algebras 135
(rF )(2,0) (A) = rF co((rF )(1,0) (A) ∪ {0})
= rF co(rF (1,0) (A) ∪ {0})
⊂ rF co(F (1,0) (A) ∪ {0})
= rF (2,0) (A),
ψ (rF )(n0 ,0) (A) ≤ ψ rF (n0 ,0) (A)
≤ ψ co F (n0 ,0) (A) ∪ {0}
≤ ψ F (n0 ,0) (A)
< ψ(A),
whenever ψ(A) > 0. Invoking Theorem 3.4.4, we infer that there exists y ∈ Q
with rF (y) = y. Let z = F (y). So, F r(z) = F r(F (y)) = F (y) = z. Thus,
z ∈ B and B =6 ∅. In addition, B is closed, since F r is continuous. Moreover,
we claim that B is compact. Q.E.D.
Next, we will also generalize this result as follows:
Then,
(n−1,0)
F1 (V ) ⊂ co {F (n−1,x0 ) (V + x0 ), x0 } − x0 .
Consequently,
(n−1,0)
F1 (V ) ∪ {θ} ⊂ co {F (n−1,x0 ) (V + x0 ), x0 } − x0 .
Hence,
(n−1,0)
co {F1 (V ), 0} ⊂ co {F (n−1,x0 ) (V + x0 ), x0 } − x0 .
Thus,
(n,0) (n−1,0)
F1 (V ) = F1 co {F1 (V ), 0}
⊂ F1 co {F (n−1,x0 ) (V + x0 ), x0 } − x0
= F co {F (n−1,x0 ) (V + x0 ), x0 } − x0
= F (n,x0 ) (V + x0 ) − x0 .
Fixed Point Theory in Banach Algebras 137
x1 ∈ S1 and F1 (x1 ) = x1 ,
or equivalently,
F (x1 + x0 ) = x1 + x0 , where x = x1 + x0 ∈ S.
Q.E.D.
Proof. By using the preceding Theorem 3.4.1, the set A is nonempty. Now,
let us prove that A is weakly compact in S. Since A = F (A) ⊂ F (S), then A
is bounded. Moreover,
and consequently,
A ⊂ F (3,x0 ) (A).
and if we assume that F (S) is bounded, then F has, at least, one fixed point
in S.
Consequently,
(n−1,0)
F1 (V ) ∪ {θ} ⊂ co {F (n−1,x0 ) (V + x0 ), x0 } − x0 .
Hence,
(n−1,0)
co {F1 (V ), 0} ⊂ co {F (n−1,x0 ) (V + x0 ), x0 } − x0 .
Thus,
(n,0) (n−1,0)
F1 (V ) = F1 co {F1 (V ), 0}
⊂ F1 co {F (n−1,x0 ) (V + x0 ), x0 } − x0
= F co {F (n−1,x0 ) (V + x0 ), x0 } − x0
= F (n,x0 ) (V + x0 ) − x0 .
or equivalently,
F (x1 + x0 ) = x1 + x0 ,
where x = x1 + x0 ∈ S. Q.E.D.
Next, we have:
Notice that
T (V ) ⊂ co (F (V ∩ U ), {0}), (3.28)
which implies that
T (2,0) (V ) ⊂ T co F (V ∩ U ), {0} .
Then, n o
T (n+1,0) (V ) ⊂ T co Fe (n,0) (V ∩ U ), {0} .
This proves the claim. Hence, by using both (3.27) and the defining properties
of ω, we have
ω T (n0 ,0) (V ) ≤ ω Fe(n0 ,0) (V ∩ U ) .
Now, we may invoke Theorem 3.4.3 in order to conclude that T has, at least, a
fixed point x in S, i.e., T (x) = x. If x ∈ Q, then x ∈ U and T (x) = F (x) = x.
If x ∈
/ Q, then T (x) = 0. (Otherwise, x = ρ(x)F (x) ∈ Q). As a result,
Thus,
Q ⊂ co F (2,0) (Q) ∪ {0} .
Question 3:
−1
If A is not invertible, I−C
I−C
A could be seen as a multi-valued map-
ping. This case is not discussed in all the theorems of this chapter. To our
knowledge, this question is still open.
Chapter 4
Fixed Point Theory for BOM on
Banach Spaces and Banach Algebras
In this chapter, we are concerned with fixed point theorems for a 2 × 2 block
operator matrix with nonlinear entries (in short BOM) acting on a product of
two Banach spaces or Banach algebras. We are also interested with the case
where these entries are assumed nonlinear multi-valued operators.
(H2 ) S := C(I − A)−1 B is an operator with a closed graph and the subset
143
144 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Proof. (i) ⇔ (ii) is trivial and follows immediately from the definition of the
product topology. Note that (ii) can be rewritten in the following forms:
\
{f (x)} = {f (U ) such that U is an open neighborhood of x}
for each x ∈ X; or
\
f −1 (y) = {f −1 (V ) such that V is an open neighborhood of y}
for each y ∈ Y . Since compact sets “ behave” like points, we obtain (ii) ⇔ (iii)
and (ii) ⇔ (iv). Q.E.D.
Proof. For (i), use (iii) from Theorem 4.1.1; for (ii), use (iv) from Theorem
4.1.1; for (iii), use both (iii) and (iv) from Theorem 4.1.1. Q.E.D.
Fixed Point Theory for BOM on Banach Spaces and Banach Algebras 145
Proof. Because closed subsets of a compact space are compact, the result
follows immediately from Corollary 4.1.1. Q.E.D.
Proof. The proof of Theorem 4.1.2 follows from both Corollary 4.1.3 and the
Schauder’s fixed point theorem. Q.E.D.
Theorem 4.1.3 Under assumptions (H1 )–(H4 ), the block operator matrix
(4.1) has, at least, a fixed point in Ω × Ω′ .
(I − D)−1 Sy0 = y0 .
! !
−1 x0 x0
Let x0 := (I − A) By0 . Hence, L = . Q.E.D.
y0 y0
≥ Φ(αn , α).
At the end of this section, we will treat only the case of invertibility of I − A.
The other case is similar, just simply exchanging the roles of A and D, and
B and C.
Then, the block operator matrix (4.1) has, at least, a fixed point in Ω × Ω′ .
! !
A1 B P1 0
Le = + . (4.2)
C D1 0 P2
Theorem 4.1.5 Under the previous four assumptions (H5 )–(H8 ), the block
operator matrix (4.2) has, at least, a fixed point in Ω × Ω′ .
or, equivalently
! ! !
(I − A1 )−1 P1 (I − A1 )−1 B x x
= .
(I − D1 )−1 C (I − D1 )−1 P2 y y
where !
(I − A1 )−1 P1 0
Z1 =
0 (I − D1 )−1 P2
and !
0 (I − A1 )−1 B
Z2 = .
(I − D1 )−1 C 0
Obviously, from (H6 ) the operator matrix Z2 is completely continuous, and
from (H7 ) the map Z1 is a contraction. Using (H8 ) and Krasnosel’skii’s the-
orem, it follows that the operator matrix (4.2) has, at least, a fixed point in
Ω × Ω′ . Q.E.D.
and
if (xn )n∈N is a weakly convergent sequence in X, then
(A2)
(Axn )n∈N has a weakly convergent subsequence in X.
Remark 4.2.1 (i) Operators satisfying (A1) or (A2) are not necessarily
weakly continuous.
(ii) The map A satisfies (A1) if, and only if, it maps relatively weakly compact
sets into relatively compact ones.
(iii) The assumption (A1) is weaker than the weakly-strongly sequentially con-
tinuity of the operator A.
(v) The map A satisfies (A2) if, and only if, it maps relatively weakly compact
sets into relatively weakly compact ones (use the Eberlien-S̆mulian theorem
1.3.3).
(vi) The condition (A2) holds true for every bounded linear operator.
Proof. Let M1 = M and Mn+1 = co(A(Mn )). It is clear that the sequence
(Mn )n consists of nonempty, closed, convex decreasing subsets of M. Since A
is ω-contractive, then, for some β ∈ [0, 1), we have
for some τ ∈ (0, 1). This shows that (I − B)−1 exists and is continuous on
X. Let y be fixed in M, the map which assigns to each x ∈ X the value
Bx + Ay defines a contraction from X into X. So, according to assumption
(iii), the equation x = Bx + Ay has a unique solution x = (I − B)−1 Ay in
M. Therefore,
Accordingly,
(use the Properties (1) and (7) of Lemma 1.4.1). Since A(M) is relatively
weakly compact, then we get
ω(B(Mn )) ≤ ω(Mn )
and so
ω(Mn+1 ) ≤ τ ω(Mn ).
By induction, it follows that
and therefore, limn→∞ ω(Mn ) = 0 because τ ∈ (0, 1). This proves the claim.
Now, making use of the Property (8) of Lemma 1.4.1, we infer that N :=
∩∞
n=1 Mn is a nonempty, closed, convex, and weakly compact subset of M.
Moreover, it is easily seen that
(I − B)−1 A(N ) ⊂ N .
Consequently,
(I − B)−1 A(N )
is relatively weakly compact. Finally, from the properties of A and the conti-
nuity of (I − B)−1 , it follows that the map (I − B)−1 A verifies the condition
(A1 ). Now, the use of Theorem 4.2.1 achieves the proof. Q.E.D.
Remark 4.2.2 From the proof of Theorem 4.2.3, it follows that if a mapping
A : X −→ X is a contraction and satisfies (A2), then A is ω-contractive.
In the remaining part of this section, we will use the notations and results
of Section 4.1 in order to develop a general matrix fixed point theory under
weak topology. As above, the discussion will be based on the invertibility or
not of the diagonal terms of I − L.
Theorem 4.2.4 Under the assumptions (H9 )–(H13 ), the block operator ma-
trix (4.1) has, at least, a fixed point in Ω × Ω′ .
Γy0 = y0 .
! !
x0 x0
Let x0 := (I − A)−1 By0 , hence L = . Q.E.D.
y0 y0
Fixed Point Theory for BOM on Banach Spaces and Banach Algebras 153
In these other cases, we will also assume that Ω and Ω′ are bounded. As above,
we will treat only the case of invertibility of I − A. The other case is similar,
just simply exchanging the roles of A and D, and B and C.
Theorem 4.2.5 Under the assumptions (H14 )–(H17 ), the block operator ma-
trix (4.1) has, at least, a fixed point in Ω × Ω′ .
(I − S)−1 D(Ω′ ) ⊂ Ω′ .
we infer that
ω(T (N )) ≤ ω(D(N ) + ST (N )).
The properties of ω(.) in Lemma 1.4.1 and the assumptions on S and D imply
that
ω(T (N )) ≤ ω(D(N )) + ω(ST (N )) ≤ αω(N ) + kω(T (N )),
and therefore,
α
ω(T (N )) ≤ ω(N ).
1−k
154 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
α
This inequality means that T is ω-β-contractive with β := 1−k . Consequently,
T satisfies the hypotheses of Theorem 4.2.2 as we claimed. Hence, such an
operator has, at least, a fixed point in Ω′ , and the block operator matrix (4.1)
has, at least, a fixed point in Ω × Ω′ . Q.E.D.
(H20 ) (I − A1 )−1 P1 and (I − D1 )−1 P2 are contraction maps and verify (A2 ),
and
Theorem 4.2.6 Under the above assumptions (H18 )–(H21 ), the block opera-
tor matrix (4.5) has, at least, a fixed point in Ω × Ω′ .
Proof. By using the assumption (H18 ) and the same decomposition used in
the proof of Theorem 4.1.5, the following equation
! ! !
A1 + P1 B x x
=
C D1 + P2 y y
where !
(I − A1 )−1 P1 0
Z1 = ,
0 (I − D1 )−1 P2
and !
0 (I − A1 )−1 B
Z2 = .
(I − D1 )−1 C 0
where the entries of the matrix are generally nonlinear operators defined on
a Banach algebra. The operators occurring in the representation (4.6) are
nonlinear, and our assumptions are as follows: A maps a bounded, closed,
convex, and nonempty subset S of a Banach algebra X into X, B, and B ′
from another bounded, closed, convex, and nonempty subset S ′ of a Banach
algebra Y into X, C from S into Y , and D from S ′ into Y.
Then, the block operator matrix (4.6) has, at least, a fixed point in S × S
whenever α + βδγM < 1, where M = kT ′ (S)k.
Proof. Let y ∈ S be any fixed point and let us define a mapping ϕy on S into
itself by:
ϕy (x) = Ax + T x.T ′y.
Notice that ϕy is a contraction on S, since we have
kϕy (x1 ) − ϕy (x2 )k ≤ α + βγδM kx1 − x2 k
ϕy (x∗ ) = x∗
or,
x∗ = Ax∗ + T x∗ .T ′ y.
Let us define the operator
N : S −→ S
y −→ N (y) = z,
z = Az + T z.T ′y.
Hence,
kN yn − N yk ≤ α + βγδM kN yn − N yk + kT (N y)kkT ′yn − T ′ yk.
lim kN yn − N yk = 0.
n→+∞
kT zk ≤ kT ak + M βγδkz − ak ≤ c,
Therefore,
kN yk − N yk = kzk − zk
Then,
c
kN yk − N yk ≤ kT ′ yk − T ′ yk < ε.
1 − (α + M βγδ)
Since y ∈ S was arbitrary,
n
[
N (S) ⊂ Bε (ki ),
i=1
158 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
x = Ax + T x.T ′ x
Then, the block operator matrix (4.6) has, at least, a fixed point in S × S
whenever M φB ◦ φψ ◦ φC (r) + φA (r) < r, where M = kT ′ (S)k.
x = Ax + T x.T ′ x
has a solution in S. Now, the use of equation y = (I − D)−1 Cx leads the block
operator matrix (4.6) to have a fixed point in S × S. Q.E.D.
Then, the operator matrix (4.6) has, at least, a fixed point in S × S ′ whenever
βM ′
1−k φC (r) + φA (r) < r, where M = kT (S)k.
Proof. It is easy to verify that the inverse operator (I − D)−1 exists and
1
is Lipschitzian with the Lipschitz constant 1−k on (I − D)(S ′ ) in view of
hypothesis (ii) and hypothesis (iii). Now, since C is D-Lipschitzian, then it is
continuous on S and from hypothesis (iv), it follows that T ′ = B ′ (I − D)−1 C
is completely continuous. Let y ∈ S be fixed and let us define a mapping
ϕy : S −→ S
x −→ Ax + T x.T ′ y.
x∗ = Ax∗ + T x∗ .T ′ y.
In what follows, we will combine Theorems 3.1.7 and 4.3.3 in order to get the
following fixed point theorem in a Banach algebra.
≤ ψ(kx1 − x2 k),
βM
where ψ(r) = 1−k φC (r) + φA (r) < r, if r > 0. From Theorem 1.6.10, it follows
that there is a unique point x∗ ∈ R such that
ϕy (x∗ ) = x∗ .
Or, also
I −A
x∗ = T ′ y.
T
−1
I −A
Hence, T ′ defines a mapping
T
−1
I −A
T ′ : R −→ R.
T
So,
kzn − zk ≤ ψ(kzn − zk) + kT zkkyn − yk,
β
where ψ(r) = 1−k φC (r) + φA (r) < r, for r > 0. Taking the supremum limit
in the above inequality shows that N is continuous. Therefore, the operator
I−A −1
T is continuous on T ′ (S). Moreover, from hypothesis (iv), it follows
that N is a compact operator on R, and consequently it is completely contin-
uous. Now, use the vector y = (I − D)−1 Cx to solve the problem. Q.E.D.
Note that the hypothesis (iv) of Theorem 4.3.4 is very strong and can be
replaced by a milder one. We state the following result.
This map is continuous. To see this, let {xn } be any sequence in S such that
xn → x and let
′
yn = T xn
and y = T ′x
−1 −1
I −A I −A
zn = (yn ) and z = (y).
T T
Then,
yn = T ′ xn and y = T ′x
z = Az + T z .y and z = Az + T z.y.
n n n n
where ψ(r) = M φB ◦ L 1−k1 ◦ φC (r) + φA (r) < r. Now, taking the supremum
limit in the above inequality shows that N is continuous. Moreover,
−1
I −A
N (S) ⊂ B ′ (S).
T
−1
Now, the continuity of the operator I−A T combined with hypothesis (ii),
allow N (S) to be a relatively compact subset. Again, an application of
Schauder’s fixed point theorem completes this proof. Q.E.D.
An interesting corollary of Theorem 4.3.5 is as follows:
(iv) B ′ is continuous,
−1
(v) I−A
T exists on B ′ (X), and
(vi) x = Ax + T x.T ′ z =⇒ x ∈ S, ∀ z ∈ S, where T = B(I − D)−1 C and
T ′ = B ′ (I − D)−1 C.
Then, the block operator matrix (4.6) has, at least, a fixed point in S × X
whenever φB ◦ L 1−k
1 ◦ φC (r) + φA (r) < r if r > 0, where M = kT ′ (S)k.
164 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Proof. The proof follows from both Theorem 4.3.5 and Schauder’s fixed point
theorem. Q.E.D.
The following result gives sufficient conditions to the block operator matrix
(4.6) acting on a product of Banach algebras satisfying condition (P) to have
a fixed point.
Proof. From the assumption (ii) and Lemma 1.2.2, we infer that the operator
(I − Dp )−1 exists on X and
p−1
X
(I − D)−1 = (I − Dp )−1 Dk .
k=0
it follows from assumption (i) that F (S) is relatively weakly compact. Accord-
ingly, the operator F has, at least, a fixed point x in S in view of Theorem
2.2.1. So, the vector y = (I − D)−1 Cx solves the problem. Q.E.D.
Remark 4.3.2 Theorem 4.3.6 remains true if we suppose that there exists a
strictly positive integer p such that Dp is a nonlinear contraction.
Notice that the proof of Theorem 4.3.6 is based on the linearity of the operator
D. Hence, it would be interesting to investigate the case when D is not linear.
Then, the block operator matrix (4.6) has, at least, one fixed point in S × X.
and taking into account that C(S) is a relatively weakly compact subset of
X, we get
β (I − D)−1 C(S) ≤ β D(I − D)−1 C(S) . (4.10)
(I − D)−1 C
(I − D)−1 C(S)
(I − D)−1 Cθnk ⇀ ρ.
Therefore, the use of equality Eq. (4.9) combined with the weak sequential
continuity of C and D yields ρ = Cθ + Dρ. Consequently, ρ = (I − D)−1 Cθ.
Hence,
(I − D)−1 Cθnk ⇀ (I − D)−1 Cθ.
Moreover, taking into account that X satisfies the condition (P), and using
the weak sequential continuity of B and B ′ , we get
B(I − D)−1 Cθnk .B ′ (I − D)−1 Cθnk ⇀ B(I − D)−1 Cθ.B ′ (I − D)−1 Cθ.
Now, we may combine Theorem 4.3.7 and Lemma 3.1.3 to obtain the following
fixed point theorem.
By the same arguments used in the proof of Theorem 4.3.7, we have the
following result:
(i) B and C are Lipschitzian with the Lipschitz constants α and γ, respec-
tively,
Then, the block operator matrix (4.6) has, at least, one fixed point in S × S
provided 0 ≤ αM < 1, where M = kB ′ (I − D)−1 C(S)k.
Taking into account that A(S) is relatively weakly compact, and using Lemma
1.5.2, we get
β (F (S)) ≤ M β B(I − D)−1 C(S) .
6 0, we have
So, if β(S) =
αγ
β (F (S)) ≤ M β(S) < β(S).
h−1
Hence, the operator F is β-condensing. Now, the result follows from Theorem
2.3.4. Q.E.D.
(i) B and C are Lipschitzian with the Lipschitz constants α and γ, respectively,
(ii) C is weakly compact and C(S) ⊂ (I − D)(S),
(iii) A and D are two contractions with constants k and k ′ , respectively, and
Fixed Point Theory for BOM on Banach Spaces and Banach Algebras 169
Then, the block operator matrix (4.6) has, at least, a fixed point in S × S
αγ ′ −1 C(S)w k > 1.
whenever 0 ≤ k + 1−k ′ M < 1, where M = kB (I − D)
Proof. Notice that the map (I − D)−1 exists and is continuous. Our next task
is to show that the mapping F defined in Eq. (4.8) respects all conditions of
Lemma 1.4.2. We first claim that (I − D)−1 C(S) is relatively weakly compact.
If not, then β (I − D)−1 C(S) > 0. It is easy, in view of Eq. (4.9), to see that
β((I − D)−1 C(S)) ≤ β(C(S)) + β(D(I − D)−1 C(S)) ≤ β(D(I − D)−1 C(S)).
Let r > β((I − D)−1 C(S)). Then, there exists 0 ≤ r0 < r and K ∈ W(X)
such that
(I − D)−1 C(S) ⊂ K + Br0 .
Arguing as above, we get
β((I − D)−1 C(S)) ≤ β(D(I − D)−1 C(S)) < β((I − D)−1 C(S)),
The use of assumption (iv), Lemma 3.1.3 and Lemma 1.5.2, leads to
β (F (S)) ≤ kβ (S) + kB ′ (I − D)−1 C(S)w kβ B(I − D)−1 C(S) .
170 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
n
αγ
≤ k + M 1−k ′ β(S).
αγ
Since 0 < k + M 1−k ′ < 1, F is a convex power condensing operator. Now, we
may apply Lemma 1.4.2 to infer that F has, at least, one fixed point x in S.
Consequently, the vector y = (I − D)−1 Cx solves the problem. Q.E.D.
Lemma 4.4.1 Let S be a nonempty, convex, and closed subset of X, and let
A, C : S −→ X and B, B ′ , D : X −→ X be five operators such that:
(iii) T is regular on T ′ (S), i.e., T maps S into the set of all invertible elements
of X included in T ′ (S), where T = B(I − D)−1 C and T ′ = B ′ (I − D)−1 C,
Axy + T xy · T ′ y = xy .
In the following result, we will combine Theorem 2.3.4 and Lemma 4.4.1.
(vi) x = Ax + T x · T ′ y ; y ∈ S =⇒ x ∈ S, and
n o
1
(vii) max M1 φB ◦ 1−k φC (r) + φA (r), M2 αφC (r) ≤ kr, for r > 0,
where M1 = kT ′ (S)k > k and M2 = kT (S)k > 1.
Then, the block operator matrix (4.6) has, at least, a fixed point in S × S.
Proof. By using our assumptions, it is easy to verify that B(I − D)−1 C and
B ′ (I − D)−1 C are two contractions on S, and consequently T (S) and T ′ (S)
are two bounded subsets. The use of Lemma 4.4.1 and the Browder’s fixed
−1
point theorem [44] shows that the operator I−AT exists on T ′ (S). Define
a mapping
N : S −→ X
−1 (4.12)
I −A
x −→ T ′ x.
T
Now, in view of Lemma 1.4.2, it is sufficient to prove that the operator N is
weakly sequentially continuous and convex-power condensing and that N (S)
is bounded.
Then,
≤ kAyn − Ayk + kT yn · xn − T y · xn k + kT y · xn − T y · xk
1
≤ kxn k φB ◦ 1−k φC + φA (kyn − yk) + kT ykkxn − xk
1
≤ M1 φB ◦ 1−k φC + φA (kyn − yk) + M2 kxn − xk.
Consequently,
1
lim supkyn − yk ≤ M1 φB ◦ φC + φA (lim supkyn − yk).
n 1−k n
M2 α
1
≤ φA + M1 φB ◦ 1−k φC (ky1 − y2 k) + φC (kx1 − x2 k)
1−k
k
≤ kky1 − y2 k + kx1 − x2 k.
1−k
This implies that
k
kN x1 − N x2 k ≤ kx1 − x2 k.
(1 − k)2
174 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
(ii) B ′ is continuous on S,
Then, the
block operator
matrix (4.6) has, at least, a fixed point in S 2 whenever
1
M φB ◦ 1−k φC (r) + φA (r) < r for r > 0, where M = kT ′ (S)k.
Proof. Similarly to the proof of Theorem 4.4.1, we show that the operator N
defined in Eq. (4.12) is weakly sequentially continuous. Moreover, taking into
account that S is weakly compact and using the Eberlein–Šmulian theorem
(see Theorem 1.3.3), we deduce that N (S) is relatively weakly compact. Hence,
from Theorem 2.2.1, we prove that the equation N x = x has, at least, one
solution in S. Consequently, the use of the vector y = (I − D)−1 Cx solves the
problem. Q.E.D.
Fixed Point Theory for BOM on Banach Spaces and Banach Algebras 175
In what follows, let X be a Banach algebra and let Pp (X) denote the class
of all nonempty subsets of X with the property p. Thus, Pcl (X), Pbd (X),
Pcp (X), and Pcv (X) denote, respectively, the classes of all closed, bounded,
compact, and convex subsets of X. Similarly, Pcl, bd (X) and Pcp, cv (X) denote,
respectively, the classes of all closed-bounded and compact-convex subsets of
X. Recall that a correspondence Q : X −→ Pp (X) is called a multi-valued
operator or multi-valued mapping on X into X. A point x ∈ X is called a
fixed point of Q if, x ∈ Qx and the set of all fixed points of Q in X is denoted
by FQ . For the sake of convenience, we denote Q(A) = ∪x∈A Qx for a subset
A of X. For x ∈ X and A, B ∈ Pcl (X) we denote by:
D(x, A) := inf{kx − yk ; y ∈ A}.
Let us define a function dH : Pcl (X) × Pcl (X) −→ R+ by:
dH (A, B) = max{sup D(a, B), sup D(A, b)}.
a∈A b∈B
Before reaching the major part of the main fixed point results for this section,
let us state the useful lemmas for the sequel.
Using the notion of Hausdorff metric, in 1969, H. Covitz and S. B. Nadler, Jr.
[58] proved a set-valued version of the Banach contraction principle. We now
consider some known results which will be used in the following sections.
Theorem 4.5.1 [58] Let (X, d) be a complete metric space, and let T : X −→
Pcl (X) be a multi-valued contraction. Then, the fixed point set FT of T is a
nonempty and closed subset of X.
The following result is due to L. Rybinski [143] and will be useful in the sequel.
(i) dH (Q(x1 , y), Q(x2 , y)) ≤ qkx1 − x2 k for all (x1 , y), (x2 , y) ∈ S × Y, where
q < 1, and
Proof. Notice that the fixed point sets FQi , i = 1, 2 are nonempty and closed
(see [75]). Write K = sup {dH (Q1 (x), Q2 (x)) ; x ∈ X} and assume that it is
finite. Let ε be an arbitrary strictly positive real. Next, choose c > 0 such
that,
X∞
c iai−1 < 1
i=1
and set ε1 = c(1 − a)ε. Let x0 ∈ FQ1 . Since dH (Q1 (x0 ), Q2 (x0 )) ≤ K, we may
choose x1 ∈ Q2 (x0 ) such that kx1 − x0 k ≤ K + ε. As
kx2 − x1 k ≤ akx1 − x0 k + ε1 .
178 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Proceeding by induction, we can define a sequence (xn )n∈N such that xn+1 ∈
Q2 (xn ) and
kxn+1 − xn k ≤ an kx1 − x0 k + nan−1 ε1 .
It follows that,
n+1
X n+1
X +∞
X
kxi − xi−1 k ≤ ai kx1 − x0 k + iai−1 (ε1 )
i=m i=m i=m
m +∞
X
a
≤ kx1 − x0 k + iai−1 (ε1 ) → 0.
1−a i=m
Question 4:
Let X be a Banach space and Q1 , Q2 : X → Pbd, cl (X) be two multi-valued
nonlinear D-contractions with the same subadditive D-function φ. Is there
0 ≤ a < 1 such that:
1
dH (FQ1 , FQ2 ) ≤ sup {dH (Q1 (x), Q2 (x)) ; x ∈ X}?
1−a
Theorem 4.5.3 Let S be a closed, convex, and bounded subset of the Banach
algebra X, and let A, C : X −→ Pcl, cv, bd (X) and B : S −→ Pcp, cv (X) be
three multi-valued operators such that:
Fixed Point Theory for BOM on Banach Spaces and Banach Algebras 179
(i) A and C are multi-valued Lipschitzian operators with the Lipschitz con-
stants q1 and q2 , respectively,
(ii) B is a lower semi-continuous and compact operator,
Theorem 4.5.4 Let S be a closed, convex, and bounded subset of the Banach
algebra X, and let A : S −→ Pcl, cv, bd (X), B : X −→ Pcl, cv, bd (X), B ′ :
X −→ Pcp, cv (X), C : S −→ X, and D : X −→ X be five multi-valued
operators satisfying:
(ii) C and D are Lipschitzian with the constants q and k such that q + k < 1,
(iii) C(S) ⊆ (I − D)(S),
Then, the multi-valued block operator matrix (4.6) has, at least, a fixed point
whenever, ψ1 (r) + M ψ2 (r) < αr, r > 0 and α ∈ [0, 1[, where M = k ∪
B ′ (S)kP = sup{kB ′ xkP ; x ∈ S}.
≤ (ψ1 + M ψ2 )(kx1 − x2 k)
≤ αkx1 − x2 k,
f (x, y) ∈ A(f (x, y)) + B(I − D)−1 C(f (x, y)) · B ′ (I − D)−1 Cy. (4.14)
g(x) = f (x, x) ∈ A(f (x, x)) + B(I − D)−1 C(f (x, x)) · B ′ (I − D)−1 Cx
kz−ak
≤ kB(I − D)−1 C(a)kP + M
≤ η,
where
diam(S)
η = kB(I − D)−1 C(a)kP + , (4.15)
M
for some fixed point a in S. Let ε > 0 be given. Since B ′ (I − D)−1 C is totally
bounded on S, then there exists a subset Y = {y1 , . . . , yn } of points in S, such
that
′ −1 1−α
B (I − D) C(S) ⊂ {w1 , . . . , wn } + B 0, ε
η
n
[
1−α
⊂ B wi , ε ,
i=1
η
1
≤ sup{dH (Ty (x), Tyk (x))}
1 − α x∈S
1
≤ kB(I − D)−1 CxkP dH (Π′ y, Π′ yk )
1−α
η 1−α
< ε
1−α η
≤ ε.
182 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Therefore, for each u ∈ G(y), there exists uk ∈ G(yk ) such that ku − uk k < ε,
and thereby, for each y ∈ Y, one has
[n
G(y) ⊆ B(uk , ε),
i=1
g(y) = f (y, y) ∈ A(f (y, y)) + B(I − D)−1 C(f (y, y)) · B ′ (I − D)−1 Cy,
for each y ∈ S. Once again, we proceed with the same arguments as in the
proof of Theorem 4.5.4. Then, we can show that there exists u ∈ S such that
Theorem 4.5.6 [75] Let S be a nonempty, closed, convex, and bounded subset
of a Banach space X, and let Q : S −→ Pcl, cv (S) be a closed and nonlinear
D-set-contraction. Then, Q has, at least, a fixed point.
Lemma 4.5.6 [6] Let α and β be, respectively, the Kuratowskii and Hausdorff
measure of noncompactness in a Banach space X. Then, for any bounded
subset S of X, we have α(S) ≤ 2β(S).
Now, we can use Theorem 4.5.6, together with Lemma 4.5.5, in order to reach
the following fixed point theorem.
Theorem 4.5.7 Let S be a closed, convex, and bounded subset of the Banach
algebra X, and let A, B, B ′ : X −→ Pbd, cv (X), and C, D : S −→ X be five
multi-valued operators satisfying:
Then, the multi-valued block operator matrix (4.6) has, at least, a fixed point
whenever M ψ2 (r) + ψ1 (r) < αr, where α ∈ [0, 21 [ and M = k ∪ B ′ (S)kP .
≤ β(Ax) + β B(I − D)−1 Cx · B ′ (I − D)−1 Cx
≤ β(Ax) + β B(I − D)−1 Cx kB ′ (I − D)−1 CxkP
≤ α(Ax) + α B(I − D)−1 Cx kB ′ (I − D)−1 CxkP
q
≤ ψ1 α({x}) + ψ2 α({ 1−k x}) kB ′ (I − D)−1 CxkP
where η was defined in Eq. (4.15), δ(x, z) := dH (Ax, Az), Π := B(I −D)−1 C,
and Π′ := B ′ (I − D)−1 C. Since B ′ is upper semi-continuous, then
dH (Π′ xn , Π′ x) → 0, whenever xn → x.
≤ (ψ1 + M ψ2 ) (α(S1 ))
Theorem 4.5.8 Let S be a closed, convex, and bounded subset of the Banach
algebra X, and let S ′ be a closed, convex, and bounded subset of the Banach
space Y. Let A : S −→ X, B : S ′ −→ X, C : S −→ Y , D : S ′ −→ Y and
B ′ : S ′ −→ Pcp, cv (X) be five multi-valued operators satisfying:
Then, the multi-valued block operator matrix (4.6) has, at least, a fixed point
whenever q1−k
2 q3
M + q1 < 12 , where M = k ∪ B ′ (I − D)−1 C(S)kP .
is a convex and closed subset of X for each x ∈ S, and when we apply Theorem
4.5.7, we reach the desired conclusion. Q.E.D.
Part II
Applications in
Mathematical Physics and
Biology
187
Chapter 5
Existence of Solutions for Transport
Equations
This chapter deals with some open problems carried from [99, 115, 116, 117,
118] concerning the existence of solutions on L1 spaces to nonlinear boundary
value problems derived from three models. The first one deals with nonlinear
one-dimensional stationary transport equations arising in the kinetic theory
of gas where we must describe the interaction of gas molecules with solid walls
bounding the region where the gas follows. The second one, introduced by J.
L. Lebowitz and S. I. Rubinow [121] in 1974, models microbial populations by
age and cycle length formalism. The third one, introduced by M. Rotenberg
[142] in 1983, describes the growth of a cell population. These three models can
be transformed into a fixed point problem which has two types of equations.
The first type involves a nonlinear weakly compact operator on L1 spaces. The
second type deals with two nonlinear operators depending on the parameter
λ, say, ψ = A1 (λ)ψ + A2 (λ)ψ where A1 (λ) is a weakly compact operator on
L1 spaces and A2 (λ) is a (strict) contraction mapping for a large enough Reλ.
Consequently, Schauder’s (resp. Krasnosel’skii’s) fixed point theorem [149]
cannot be used in the first (resp. second) type of equation. This is essentially
due to the lack of compactness.
189
190 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Z
∂ψ
v3 − λψ(x, v) + V(x, v, ψ(x, v)) = r(x, v, v ′ , ψ(x, v ′ )) dv ′ in D, (5.1)
∂x K
where Di (resp. D0 ) is the incoming (resp. outgoing) part of the space bound-
ary and which is given by:
for
K 0 = K ∩ {v3 < 0}, K 1 = K ∩ {v3 > 0}.
We will treat the problem (5.1)–(5.2) in the following functional setting. Let
X = L1 (D, dxdv),
and
X 0 := L1 (D0 , |v3 |dv) ∼ L1 (D10 , |v3 |dv) ⊕ L1 (D20 , |v3 |dv)
:= X10 ⊕ X20
endowed with the norm :
kψ 0 , X 0 k = kψ10 , X10 k + kψ20 , X20 k
Z Z
= |ψ(0, v)||v3 | dv + |ψ(1, v)||v3 | dv ,
K0 K1
Existence of Solutions for Transport Equations 191
where ∼ means the natural identification of these spaces. Now, let us introduce
the boundary operator H by:
H : X10 ⊕ X20 −→ X1i ⊕ X2i
! ! !
u 1 H 11 H 12 u1
H
=
u2 H21 H22 u2
for j, k ∈ {1, 2}, Hjk : Xk0 −→ Xji , Hjk ∈ L(Xk0 , Xji ), defined such that, on
natural identification, the boundary conditions can be written as ψ i = H(ψ 0 ).
where ψ 0 = ψ|D0 = (ψ10 , ψ20 )⊤ , ψ i = ψ|Di = (ψ1i , ψ2i )⊤ and ψ10 , ψ20 , ψ1i , ψ2i are
given by:
ψ1i (v) = ψ(0, v), v ∈ K1
ψ2i (v) = ψ(1, v), v ∈ K0
ψ10 (v) = ψ(0, v), v ∈ K0
0
ψ2 (v) = ψ(1, v), v ∈ K 1.
Thus, for Reλ < σ, the solution of Eq. (5.3) is formally given by:
Rx Z x Rx
−
σ(s,v)−λ
ds 1 −
σ(s,v)−λ
ds
ψ(x, v) = ψ(0, v) e 0 |v3 |
+ e x′ |v3 |
ϕ(x′ , v) dx′ , v ∈ K 1
|v3 | 0
(5.4)
R1 Z 1 Rx
− σ(s,v)−λ
ds 1 − σ(s,v)−λ
ds
ψ(x, v) = ψ(1, v) e x |v3 |
+ e x′ |v3 |
ϕ(x′ , v) dx′ , v ∈ K 0
|v3 | x
(5.5)
whereas, ψ(1, v) and ψ(0, v) are given by:
R1 Z 1 R1
−
σ(s,v)−λ
ds 1 −
σ(s,v)−λ
ds
ψ(1, v) = ψ(0, v) e 0 |v3 |
+ e x′ |v3 |
ϕ(x′ , v) dx′ , v ∈ K 1
|v3 | 0
(5.6)
R1 Z 1 R x′
− σ(s,v)−λ
ds 1 − σ(s,v)−λ
ds
ψ(0, v) = ψ(1, v) e 0 |v3 |
+ e 0 |v3 |
ϕ(x′ , v) dx′ , v ∈ K 0 .
|v3 | 0
(5.7)
In order to allow the abstract formulation of Eqs. (5.4)–(5.7), let us define the
following operators depending on the parameter λ :
Mλ : X i −→ X 0 , Mλ u := (Mλ+ u, Mλ− u), with
R
− 1 σ(s,v)−λ ds
(Mλ+ u(0, v) := u(1, v) e 0 |v3 | , v ∈ K 0;
R 1 σ(s,v)−λ
(M − u(1, v) := u(0, v) e− 0 |v3 | ds , v ∈ K 1;
λ
Bλ : X i −→ X, Bλ u := χK 0 (v)Bλ+ u + χK 1 (v)Bλ− u, with
R
− x σ(s,v)−λ ds
(Bλ− u)(x, v) := u(0, v) e 0 |v3 | , v ∈ K 1;
R
(B + u)(x, v) := u(1, v) e− x1 σ(s,v)−λ
|v3 | ds
, v ∈ K 0;
λ
Gλ : X −→ X 0 , Gλ u := (G+ −
λ ϕ, Gλ ϕ), with
Z
1 R σ(s,v)−λ
1 − x1 ds
G−
λ ϕ := e |v3 |
ϕ(x, v) dx, v ∈ K 1;
|v3 | 0
Z 1 R σ(s,v)−λ
G+ ϕ := 1
− x
e 0 |v3 |
ds
ϕ(x, v) dx, v ∈ K 0;
λ
|v3 | 0
Existence of Solutions for Transport Equations 193
and
Cλ : X −→ X, Cλ ϕ := χK 0 (v)Cλ+ ϕ + χK 1 (v)Cλ− ϕ, with
Z x R
− 1 − x σ(s,v)−λ ds
Cλ ϕ := e x′ |v3 | ϕ(x′ , v) dx′ , v ∈ K 1 ;
|v3 |
Z0 1 R
1 − x σ(s,v)−λ ds
Cλ+ ϕ := e x′ |v3 | ϕ(x′ , v) dx′ , v ∈ K 0 ,
|v3 | x
where χK 0 (.) and χK 1 (.) denote, respectively, the characteristic functions of
the sets K 0 and K 1 . Let λ0 denote the real defined by:
σ, if kHk ≤ 1
λ0 :=
σ − log(kHk), if kHk > 1.
A simple calculation shows that the above operators are bounded on their
respective spaces. In fact, for Reλ < σ , the norms of the operators Mλ , Bλ ,
1 1
Cλ , and Gλ are bounded above, respectively, by eReλ−σ , σ−Reλ , σ−Reλ and
1. By using these operators and the fact that ψ must satisfy the boundary
conditions, we deduce that Eqs. (5.6) and (5.7) are written in the space X 0
in the operator form, as follows:
ψ 0 = Mλ Hψ 0 + Gλ ϕ.
ψ = Bλ Hψ 0 + Cλ ϕ.
Proposition 5.1.1 {λ ∈ C such that Reλ < λ0 } ⊂ ̺(TH ), and for Reλ <
λ0 , we have X
(TH − λ)−1 = Bλ H(Mλ H)n Gλ + Cλ , (5.9)
n≥0
Let us notice that the operator F acts only on the variables v ′ , so x may be
viewed merely as a parameter in [0, 1]. Hence, we may consider F as a function
where Z = L(L1 (K; dv)) denotes the set of all bounded linear operators on
L1 (K; dv). In the following, we will make the assumptions:
− the function F (.) is strongly measurable,
− there exists a compact subset C ⊂ L(L1 (K; dv)) such that:
(B2 )
F (x) ∈ C a.e. on [0, 1],
− F (x) ∈ K(L1 (K; dv)) a.e.,
where K(L1 (K; dv)) denotes the set of all compact operators on L1 (K; dv).
Obviously, the second assumption of (B2 ) implies that
and therefore,
Existence of Solutions for Transport Equations 195
Z 1 Z Z 1 Z
|(F ψ)(x, v)| dvdx ≤ kF (.)kL∞ ((0,1),Z) |ψ(x, v)| dvdx.
0 K 0 K
The interest of the operators in the forms which satisfy (B2 ) lies in the fol-
lowing lemma.
Lemma 5.1.1 Let F be a linear operator given by (5.10) and assume that
(B2 ) holds. Then, F can be approximated, in the uniform topology, by a se-
quence (Fn )n of linear operators with kernels of the form
n
X
ηi (x)θi (v)βi (v ′ ),
i=1
Proof. Let C ∗ = C ∩K(L1 (K; dv)). By using the second and third assumptions
of (B2 ), C ∗ is a nonempty and closed subset of C. Then, C ∗ is a compact set
of Z. Let ε > 0, there exist F1 , . . . , Fm such that (Fi )i ⊂ C ∗ and
C⊂ ∪ B(Fi , ε),
1≤i≤m
where χIi (.) denotes the characteristic function of Ii . Obviously, S(.) satis-
fies the hypothesis (B2 ). Then, using (5.10), we get F − S ∈ L∞ ((0, 1), Z).
Moreover, an easy calculation leads to
kF − SkL∞ ((0,1),Z) ≤ ε .
196 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Hence, we infer that the operator F may be approximated (in the uniform
topology) by operators of the form
n
X
U (x) = ηi (x)Fi ,
i=1
where ηi ∈ L∞ ((0, 1); dx) and Fi ∈ K(L1 (K; dv)). Moreover, each compact
operator Fi is a limit (for the norm topology) of a sequence of finite rank
operators because L1 (K; dv) admits a Schauder’s basis. Q.E.D.
The following lemma is fundamental for the sequel.
Lemma 5.1.2 Assume that (B2 ) holds. Then, for any λ ∈ C satisfying Reλ <
λ0 , the operator (TH − λ)−1 F is weakly compact on X.
Proof. Let λ be such that Reλ < λ0 . In view of Eq. (5.9), we have
X
(TH − λ)−1 F = Bλ H(Mλ H)n Gλ F + Cλ F .
n≥0
P n
In order to conclude, it is sufficient to show that n≥0 Bλ H(Mλ H) Gλ F
and Cλ F are weakly compact on X. We claim that Gλ F and Cλ F are weakly
compact on X. By using Lemma 5.1.1, we only need to prove the result for
an operator whose kernel is in the form:
ξ(x, v, v ′ ) = η(x)θ(v)β(v ′ ),
where η ∈ L∞ ([0, 1]; dx), θ ∈ L1 (K; dv), β ∈ L∞ (K; dv). Let ϕ ∈ X. Then,
for v ∈ K1 we have
Z Z 1 R
1 − 1 σ(s,v)−λ ds
(G−λ F ϕ)(v) = η(x)θ(v)e x |v3 | β(v ′ ) ϕ(x, v ′ ) dxdv ′
K 0 |v3 |
= Jλ Uλ ϕ,
and
0
Jλ : L1 ([0, 1]; dx) −→ X2
Z 1 R
1 − 1 σ(s,v)−λ
ds
ψ −→ η(x)θ(v)e x |v3 |
ψ(x) dx .
0 |v3 |
Now, let us recall some facts concerning the superposition operators required
below. A function f : D × C −→ C is said to satisfy the Carathéodory condi-
tions on D × C, if
(x, v) −→ f (x, v, u) is measurable on D for all u ∈ C,
u −→ f (x, v, u) is continuous on C a.e. (x, v) ∈ D.
We note that (B3 ) implies that Nf acts from L1 into L1 . Then, by using
Proposition 5.1.2, we deduce that Nf is continuous and takes bounded sets
into bounded sets. Let r be a positive real and set
Theorem 5.1.1 Let (B1 )–(B3 ) be satisfied. Then, for each r > 0 , there ex-
ists a real λ1 < 0 such that, for all λ satisfying Reλ < λ1 , the boundary value
problem
Z
∂ψ
v
3 ∂x + σ(x, v)ψ(x, v) − λψ(x, v) = ξ(x, v, v ′ )f (x, v ′ , ψ(x, v ′ )) dv ′ in D,
K
i
ψ = H(ψ 0 ), λ ∈ C
(5.13)
has, at least, one solution on Br .
Proof. Let λ be a complex number such that Reλ < λ0 . Then, according to
Eq. (5.9), (TH −λ) is invertible and therefore, the problem may be transformed
into
ψ = F (λ)ψ
ψ i = H(ψ 0 ),
where F (λ)ψ = (TH − λ)−1 F Nf ψ. First, let us check that, for a suitable
λ, F (λ) is continuous and leaves Br invariant. It is clear that F (λ) is contin-
uous. By using Eq. (5.9), we have
X
(TH − λ)−1 = Bλ H(Mλ H)n Gλ + Cλ .
n≥0
Existence of Solutions for Transport Equations 199
Then, X
k(TH − λ)−1 k ≤ kBλ kkHkkMλHkn kGλ k + kCλ k
n≥0
X
≤ kBλ kkHkkGλ k kMλ Hkn + kCλ k
n≥0
kHk 1 1
≤ +
σ − Reλ 1 − kMλ Hk σ − Reλ
kHk 1 1
≤ +
σ − Reλ
1 − kMλ kkHk σ − Reλ
1 kHk
≤ + 1 . (5.14)
σ − Reλ 1 − eReλ−σ kHk
kHk kHk
<
1− eReλ−σ kHk 1 − eε−σ kHk
and therefore,
1 kHk
kF(λ)ψk ≤ + 1 kF k(khk + kr)
σ − Reλ 1 − eε−σ kHk
= Q(Reλ),
where
1 kHk
Q(t) = + 1 kF k(khk + kr).
σ−t 1 − eε−σ kHk
Hence, Z
lim |(Nf ψ)(x, v)| dxdv = 0,
|E|→0 E
Now, by using Theorem 1.3.7, we may conclude that the family (Nf ψnp ) is
weakly compact in X. Thus, (Nf ψnp )p is weakly convergent and Nf (O) is
weakly compact. Finally, the use of Theorem 2.1.1 and Corollary 2.1.2 for the
bounded closed convex subset Br , shows that F (λ) has, at least, one fixed
point in Br ∩ D(TH ). Q.E.D.
Proof. Let λ be a real such that λ < min(0, σ). Using the fact that the
operators Mλ , Bλ , Gλ , Cλ , and F are positive and Eq. (5.8), we deduce that
(TH − λ)−1 F is positive. Now, the remaining part of the proof is similar to
that of Theorem 5.1.1; it suffices to replace the set N := co(F (λ)(Br )) by
N + := co(F (λ)(Br+ )). Q.E.D.
Existence of Solutions for Transport Equations 201
Proposition 5.1.4 Let (B1 )–(B3 ) be satisfied and assume that H and F are
positive. If there exist τ > 0 and 0 6= ψ0 ∈ Br+ such that :
(i) ψ0 ∈
/ N (F ) where N (F ) is the null space of F ,
Then, there exists λ1 < 0 such that, for any λ < λ1 , there is η > 0 such that
the boundary value problem
Z
∂ψ
v3 ∂x (x, v) + σ(x, v)ψ(x, v) − λψ(x, v) = η
ξ(x, v, v ′ )f (x, v ′ , ψ(x, v ′ )) dv ′ ,
K
Indeed, since Nf satisfies the assumption (ii), it follows from (5.9) and the
P
positivity of n≥0 Bλ H(Mλ H)n Gλ , that
Hence,
kF(λ)(ψ)k ≥ τ kCλ F ψ0 k for all ψ ∈ Br+ .
This proves the claim. Consequently, for each λ ≤ λ1 , we define the operator
G(λ) on Br+ by:
F (λ)(ψ)
G(λ)(ψ) = r for all ψ ∈ Br+ .
kF(λ)(ψ)k
Next, let us prove that G(λ) is a weakly compact operator on Br+ . Indeed, set
m = inf{kF(λ)ψk, ψ ∈ Br+ } > 0. Then,
r
0 ≤ G(λ)(ψ) ≤ F (λ)(ψ) for all ψ ∈ Br+ .
m
202 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
uniformly for ψ in Br+ , and G(λ)(Br+ ) is weakly compact. Finally, the use of
Theorem 2.1.1 and Remark 2.1.2 for the bounded closed convex set Br+ shows
that G(λ) has, at least, a fixed point ψ ∗ in Br∗ satisfying kψ ∗ k = r. Setting
r
η = kF (λ)(ψ ∗ )k , we get
(TH − λ)−1 F Nf (ψ ∗ ) = η −1 ψ ∗ .
where ψ|Di := ψ i and ψ|D0 := ψ 0 . Since H is linear, TbH is a closed densely de-
fined linear operator. Moreover, easy calculations can show that the resolvent
set of ̺(TbH ) contains the half plane {Reλ < λ0 }, λ0 is calculated by taking
σ = 0 denoted by λ00 and defined by:
0, if kHk ≤ 1
λ00 :=
− log(kHk), if kHk > 1.
where Bλ0 , Mλ0 , G0λ , and Cλ0 are the bounded linear operators derived from
Bλ , Mλ , Gλ , and Cλ by taking σ = 0. Their norms are bounded above, respec-
−1 −1
tively, by Reλ , eReλ , 1, and Reλ . These observations lead to the estimate
−1 kHk
k(TbH − λ)−1 k ≤ +1 (5.15)
Reλ 1 − eReλ kHk
for any λ in the half plane Reλ < λ00 . Let ε < 0 and let λ be such
that Reλ < min(ε, λ00 ). Since λ ∈ ̺(TbH ), we can consider the operators
F (λ)ψ = (TbH − λ)−1 F Nf and H(λ) = (TbH − λ)−1 N−V . Now, let us check
that, for a suitable λ, the operator H(λ) is a contraction mapping on Br .
Indeed, let ψ1 , ψ2 ∈ Br . We have
kH(λ)ψ1 − H(λ)ψ2 k = k(TbH − λ)−1 N−V (ψ1 ) − (TbH − λ)−1 N−V (ψ2 )k
(B5 ) For λ such that Reλ < λ2 , (I−H(λ))−1 F (λ) is a weakly compact operator.
Theorem 5.1.2 Let (B1 )–(B5 ) be satisfied. Then, there exists λ∗ < 0 such
that, for each λ satisfying Reλ < λ∗ , the boundary value problem (5.1)–(5.2)
has, at least, one solution in Br .
Proof. Let ε < 0 and let λ be such that Reλ < min(ε, λ00 ). Since λ ∈ ̺(TbH ),
the problem (5.1)–(5.2) may be written in the form
ψ = F (λ)ψ + H(λ)ψ,
ψ i = H(ψ 0 ).
where
kHk
Θ(kHk, ε) := +1 .
1 − eε kHk
Therefore, the function Q∗ has the same properties as Q defined in the proof
of Theorem 5.1.1. Thus, there is λ3 < 0 such that, for Reλ < λ3 , F (λ)ϕ
+ H(λ)ψ ∈ Br . Let λ∗ := min(ε, λ00 , λ2 , λ3 ). As a summary, the above steps
show that, for any λ satisfying Reλ < λ∗ , the operators F (λ) and H(λ) satisfy
the hypotheses of Theorem 2.1.2 on the nonempty bounded, closed and convex
subset Br . Hence, the problem (5.1)–(5.2) has a solution in Br . Q.E.D.
where
L : L1 ([0, 1] × K) −→ L∞ ([0, 1] × K)
Existence of Solutions for Transport Equations 205
Note that
Z
dx ⊗ dµ − ess sup |κ(x, v, v ′ )|dv ′ = kF k < ∞.
(x,v ′ )∈[0,1]×K K
We assume that:
The interest of the operators in the form that satisfies (B7 ) lies in the following
lemma which can be found in [23, Lemma 7.11].
Proof. For more simplicity, we will restrict ourselves to finite measure spaces.
We will use Dunford’s theorem, (see Theorem 1.3.8). Let un ⇀ u in L1 ([0, 1]×
K, dxdv). According to Eberlein–Šmulian’s theorem, the set K = {u, un }∞ n=1
206 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
The last inequality also shows that Nf ◦ L(K) is uniformly integrable. Since
[0, 1] × K is reflexive, we get item (iii) of Dunford’s theorem (Theorem 1.3.8)
for free. Hence, Nf ◦ L(K) is relatively weakly compact in L1 ([0, 1] × K, dxdv).
Q.E.D.
where
F (λ) := (TH − λ)−1 F Nf L
H(λ) := (T − λ)−1 N .
H −V
Theorem 5.1.3 Assume that (B6 )–(B8 ) hold and that F is a regular operator
on X. Let Ur be a weakly open subset of Br with 0 ∈ Ur . In addition, suppose
that
ψ
[for any solution ψ ∈ X to ψ = αF (λ)ψ + αH(λ) a.e., 0 < α < 1,
α
w
we have ψ ∈
/ ∂Br
Ur (the weak boundary of Ur in Br )] holds.
Then, for a small enough Reλ, the problem (5.1)–(5.2) has a solution in Urw .
Existence of Solutions for Transport Equations 207
Proof. We first check that, for a suitable λ, F (λ) and H(λ) are weakly se-
quentially continuous. Indeed, we have N−V is weakly sequentially contin-
uous and for Reλ < λ00 , the linear operator (TH − λ)−1 is bounded. So,
H(λ) := (TH − λ)−1 N−V is weakly sequentially continuous, for Reλ < λ00 .
Moreover, we have F (λ) := (TH − λ)−1 F Nf L is weakly sequentially contin-
uous for Reλ < λ00 . Second, by using the hypothesis (B7 ), we show that
Nf L(Urw ) is a bounded subset of X. So, from Lemma 5.1.2, we deduce that
for Reλ < λ00 . So, for Reλ < min(λ00 , λ1 , ε), ε < 0, Inequality (5.19) implies
that
−1 kHk
kF(λ)(ϕ) + H(λ)(ψ)k ≤ 1+ (kF k kAk khk∞ + M (r))
Reλ 1 − eεkHk
= G(Reλ),
where
−1 kHk
G(t) := 1+ (kF k kAk khk∞ + M (r)) .
t 1 − eεkHk
Clearly, G is continuous, strictly increasing in t, t < 0 and satisfies
limt→−∞ G(t) = 0. Hence, there exists λ2 < min(λ00 , λ1 , ε) such that for
Reλ < λ2 , we have F (λ)(ϕ) + H(λ)(ψ) ∈ Br . Consequently, for Reλ < λ2 ,
the mappings F (λ) and H(λ) satisfy the assumptions of Corollary 2.5.1 on
the nonempty bounded, closed, and convex subset Br . Hence, the problem
(5.1)–(5.2) has a solution in Urw for all λ such that Reλ < λ2 . Q.E.D.
208 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
where µ ∈ [0, 1], v, v ′ ∈ [a, b] with 0 ≤ a < b < ∞, σ(., ., .) and r(., ., ., .) are
nonlinear functions of ψ and λ is a complex number. This equation describes
the number density ψ(µ, v) of cell population as a function of the degree of
maturation µ and the maturation velocity v. The degree of maturation is
defined so that µ = 0 at birth and µ = 1 at the death of a cell. The boundary
conditions are modeled by:
where Γ0 = {0} × [a, b] and Γ1 = {1} × [a, b]. ψ|Γ (resp. ψ|Γ ) denotes the
0 1
restriction of ψ to Γ0 (resp. Γ1 ) whereas K is a nonlinear operator from a
suitable function space on Γ1 to a similar one on Γ0 . In [142], M. Rotenberg
studied essentially the Fokker–Plank approximation of Eq. (5.20) for which he
obtained numerical solutions. Using an eigenfunction expansion technique, C.
Van der Mee and P. Zweifel [152] obtained analytical solutions for a variety of
linear boundary conditions. Using J. L. Lebowitz and S. I. Rubinow’s bound-
ary conditions (see [121] or [142]), M. Boulanouar and L. Leboucher [38] proved
that the associated Cauchy problem to the Rotenberg model is governed by
a positive C 0 -semigroup and they gave sufficient conditions guaranteeing its
irreducibility. Recently, K. Latrach and A. Jeribi [117, 118] obtained several
existence results for the boundary value problem (5.20)–(5.21) in Lp spaces
with 1 < p < ∞. The analysis which started in [118] was based essentially on
compactness results established only for 1 < p < ∞. This analysis used the
Schauder and Krasnosel’skii fixed point theorems. Due to the lack of compact-
ness in L1 spaces, this approach failed in the L1 context (which represents the
convenient and natural setting of the problem) and therefore, the solvability
of the problem (5.20)–(5.21) remained open in the L1 framework [118].
Existence of Solutions for Transport Equations 209
In the following, we will present some existence results of the stationary model
(5.20)–(5.21) in L1 spaces. The main points in this framework are the non-
linearity of the boundary condition K and the nonlinear dependence of the
function r(., ., ., .) on ψ. More specifically, we suppose that
where
L : L1 ([0, 1] × [a, b]) −→ L∞ ([0, 1] × [a, b])
where A ∈ L1 ([0, 1] × [a, b]) and h ∈ L∞ (R+ ). The function κ(., ., .) is a mea-
surable function from [0, 1] × [a, b] × [a, b] into R, satisfying the condition,
where σ(., .) ∈ L∞ ([0, 1] × [a, b]), λ is a complex number, Γ0 = {0} × [a, b] and
Γ1 = {1} × [a, b]. ψ|Γ (resp. ψ|Γ ) denotes the restriction of ψ to Γ0 (resp.
0 1
Γ1 ) whereas K is a nonlinear operator from a suitable function space on Γ1
to a similar one on Γ0 . Let
It is well known (see [52], [53] or [63]) that any ψ in W has traces on the
spatial boundaries {0} and {1} which belong respectively to the spaces X 0
and X 1 . We define the free streaming operator SK by:
SK : D(SK ) ⊂ X −→ X
∂ψ
ψ −→ SK ψ(µ, v) = −v (µ, v) − σ(µ, v)ψ(µ, v)
∂µ
D(SK ) = ψ ∈ W such that ψ 0 = K(ψ 1 ) ,
(λ − SK )ψ = g. (5.25)
For Reλ > −σ, the solution of Eq. (5.25) is formally given by:
Z
1
Rµ ′ ′ 1 µ − v1 Rµµ′ (λ+σ(τ,v))dτ
ψ(µ, v) = ψ(0, v) e− v 0 (λ+σ(µ ,v))dµ + e ϕ(µ′ , v) dµ′ .
v 0
(5.26)
Accordingly, for µ = 1, we get
Z
1
R1 ′ ′ 1 1 − v1 Rµ1′ (λ+σ(τ,v))dτ
ψ(1, v) = ψ(0, v) e− v 0 (λ+σ(µ ,v))dµ + e ϕ(µ′ , v) dµ′ .
v 0
(5.27)
Let the following operators Pλ , Qλ , Πλ , and Rλ be defined by:
Pλ : X 0 −→ X 1
R1
u −→ (Pλ u)(1, v) := u(0, v) e− v
1
0
(λ+σ(µ′ ,v))dµ′
;
Qλ : X 0 −→ X
Rµ
u −→ (Qλ u)(µ, v) := u(0, v) e− v
1
0
(λ+σ(µ′ ,v))dµ′
;
1
Πλ : X −→ X
Z 1 R1
1 1
u −→ (Πλ u)(1, v) := e− v µ′
(λ+σ(τ,v))dτ
u(µ′ , v) dµ′ ;
v 0
and finally,
Rλ : X −→ X
Z µ Rµ
1 − v1 (λ+σ(τ,v))dτ
u −→ (Rλ u)(µ, v) := e µ′ u(µ′ , v) dµ′ .
v 0
Clearly, for λ satisfying Reλ > −σ, the operators Pλ , Qλ , Πλ , and Rλ are
bounded. It is not difficult to check that
1
kPλ k ≤ e− b (Reλ+σ) , (5.28)
and
kQλ k ≤ (Reλ + σ)−1 . (5.29)
Moreover, by making some simple calculations, we may show that
kΠλ k ≤ 1, (5.30)
and
kRλ k ≤ (Reλ + σ)−1 . (5.31)
212 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
ψ 1 = Pλ ψ 0 + Πλ g. (5.32)
ψ 1 = Pλ Kψ 1 + Πλ g.
u = Pλ Ku + f, f ∈ X 1, (5.34)
where u is the unknown function, and let us define the operator A(λ,f ) on X 1
by:
A(λ,f ) : X 1 −→ X 1 ,
u −→ (A(λ,f ) u)(1, v) := Pλ Ku + f.
From the estimate (5.33), it follows that
Reλ+σ
kA(λ,f ) ϕ1 − A(λ,f ) ϕ2 k = kPλ Kϕ1 − Pλ Kϕ2 k ≤ α e− b kϕ1 − ϕ2 k. (5.35)
u(λ,f ) = u.
where u is the solution of Eq. (5.34). Arguing as in the proof of Lemma 2.1
and Proposition 2.1 in [118], we deduce the following result :
(i) for every λ satisfying Reλ > −σ + b log(α), the operator Wλ is continuous
and maps bounded sets into bounded ones and satisfying the following estimate
Reλ+σ
kWλ f1 − Wλ f2 k ≤ (1 − αe−( b )
)−1 kf1 − f2 k (f1 , f2 ∈ X 1 ). (5.36)
Existence of Solutions for Transport Equations 213
Moreover, (λ−SK )−1 is continuous on X and maps bounded sets into bounded
ones.
Wλ f = Pλ K(Wλ f ) + f
and therefore,
(ii) Since Reλ > max(−σ, −σ + b log(α)), the solution of the problem (5.32)
is given by:
ψ 1 = Wλ Πλ g. (5.38)
ψ = Qλ KWλ Πλ g + Rλ g
(λ − SK )−1 = Qλ KWλ Πλ + Rλ .
The second assertion follows from the boundedness of the linear operators Qλ ,
Πλ , Rλ and from (i). Q.E.D.
214 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
where
L : L1 ([0, 1] × [a, b]) −→ L∞ ([0, 1] × [a, b])
is a continuous linear map and f is a measurable function defined by:
f : [0, 1] × [a, b] × C−→ C
(µ, v, u)−→ f (µ, v, u).
The function κ(., ., .) is a measurable function from [0, 1] × [a, b] × [a, b] into
R. It defines a continuous linear operator B by:
B : X −→ X
Z b
(5.39)
ϕ −→ Bϕ(µ, v) = κ(µ, v, v ′ )ϕ(µ, v ′ ) dv ′ .
a
Note that
Z b
dµ ⊗ dv − ess-sup |κ(µ, v, v ′ )| dv ′ = kBk < ∞.
(µ,v)∈[0,1]×[a,b] a
Remark 5.2.1 Definition 5.2.1 asserts that, for every µ ∈ [0, 1],
Z b
f ∈ L1 ([a, b]) −→ κ(µ, v, v ′ )f (v ′ ) dv ′ ∈ L1 ([a, b])
a
Let the operator B be defined by (5.39) and let κ+ (., ., .) (resp. κ− (., ., .))
denote the positive part (resp. the negative part) of κ(., ., .):
Clearly,
B = B+ − B−.
Now, let |B| denote the following nonnegative operator:
|B| := B + + B −
i.e.,
Z b
|B| ϕ(µ, v) = |κ| (µ, v, v ′ )ϕ(µ, v ′ ) dv ′ , ϕ ∈ X.
a
Remark 5.2.2 Thanks to Dunford–Pettis criterion, the following assertions
are equivalent:
Z
dx ⊗ dµ − ess sup |κ(x, v, v ′ )|dν(v) = kKk < ∞. (5.41)
(x,v ′ )∈Ω×V V
(iii) limm→+∞ kB − Bm k = 0.
216 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
where
with
Clearly,
0 ≤ Km ≤ K.
Z Z
∆m (x, v, v ′ )dν(v) = ∆m (x, v, v ′ )dν(v)
V {κ(x,v,v ′ )≥mχBm (v)}
Z
≤ κ(x, v, v ′ )dν(v),
{κ(x,v,v ′ )≥mχBm (v)}
where ∆m (x, v, v ′ ) := |κ(x, v, v ′ )−κm (x, v, v ′ )|. Then, according to Eq. (5.42),
we have
lim kK − Km k = 0.
m→∞
Existence of Solutions for Transport Equations 217
which proves the second assertion and achieves the proof. Q.E.D.
Remark 5.2.3 Let us clarify the point (ii) of Theorem 5.2.1. This asserts
that, for any m ∈ N, there exists a nonnegative fm ∈ L1 ([a, b], dv) such that,
for any ϕ ∈ L1 ([0, 1] × [a, b], dµdv), ϕ ≥ 0, we have
Z b
Bm ϕ(µ, v) ≤ fm (v) ϕ(µ, v ′ ) dv ′ .
a
Proposition 5.2.1 [82] Let (Ω, Σ, µ) be a σ-finite, positive measure space and
let S and T be two bounded linear operators on L1 (Ω, dµ). Then, the following
assertions hold:
and
1
Jλ : L1 ([0, 1]; dµ) −→ X
Z
1 1 − v1 Rµ1′ (λ+σ(τ,v))dτ
ψ −→ e κ1 (v) ψ(µ) dµ.
v 0
for all measurable subsets E of [a, b]. Next, by applying Theorem 1.3.7, we de-
R
duce that the set Jλ (O) is weakly compact, since lim|E|→0 E |κ1 (v)| dv = 0,
(κ1 ∈ L1 ([a, b]; dv)) where |E| represents the measure of E. A similar reason-
ing allows us to reach the same result for the operator Rλ B. Q.E.D.
(λ − SK )−1 B = Qλ KWλ Πλ B + Rλ B.
Now, by applying Theorem 1.3.7 again and the fact that Πλ B(O) is weakly
compact, we conclude that KWλ Πλ B is weakly compact. This proves the
claim and completes the proof. Q.E.D.
Throughout this section, our main interest is dealing with the existence results
for the boundary value problem (5.22)–(5.23). For this purpose, we use the
notations and the preliminary results presented in the above section.
Notice that, if f is a weak Carathéodory map, then we can define the operator
Nf on the set of functions ψ : [0, 1] × [a, b] −→ C by:
Theorem 5.2.3 Assume that (B9 ), (B10 ), and (B11 ) hold. If B is a regular
collision operator on X, then for each r > 0, there is λr > 0 such that, for
each λ satisfying Re(λ) > λr , the problem (5.22)–(5.23) has, at least, one
solution in Br .
Proof. Let λ be a complex number such that Reλ > max(−σ, −σ + b log(α)).
Then, according to Lemma 5.2.1 (ii), λ − SK is invertible and therefore, the
problem (5.22)–(5.23) may be transformed into
ψ = F (λ)ψ, ψ 0 = Kψ 1 ,
220 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
where
F (λ) = (λ − SK )−1 BNf L.
Let r > 0. We first check that, for a suitable λ, F (λ) is weakly sequentially
continuous, leaves Br invariant, and F (λ)(Br ) is relatively weakly compact.
By using Lemma 5.1.3, we show that Nf L is weakly sequentially continuous.
By using both Lemma 5.2.2 and Proposition 1.3.8, we deduce that Πλ B and
Rλ B are strongly continuous. The continuity of the operator Qλ KWλ ensures
that (λ − SK )−1 B is strongly continuous. So, F (λ) is weakly sequentially
continuous. Moreover, since f satisfies (B11 ), then for all ψ ∈ X, we have:
and therefore,
σ+ε
kK(0)k + αkWλ (0)k kBkkAkkhk∞(1 + α(1 − αe−( b ) )−1 )
kF(λ)(ψ)k ≤ +
σ + Reλ σ + Reλ
= Q(Reλ),
where
σ+ε
kK(0)k + αkWλ (0)k kBkkAkkhk∞(1 + α(1 − αe−( b ) )−1 )
Q(t) = + .
σ+t σ+t
Clearly, Q(.) is continuous, strictly decreasing in t, t > 0 and satisfies
lim Q(t) = 0. Hence, there exists λ0 , such that Q(λ0 ) ≤ r and therefore,
t→+∞
kF(λ)ψk ≤ r for Reλ ≥ λ0 . This shows that Fλ leaves Br invariant. Since
Nf L(Br ) is a bounded subset of X, it follows from the weak compactness of
(λ − SK )−1 B (see Theorem 5.2.2), that
is relatively weakly compact. Finally, the use of Theorem 2.2.1 shows that
F (λ) has, at least, one fixed point in Br . Q.E.D.
Existence of Solutions for Transport Equations 221
Let us discuss the existence of positive solutions to the boundary value prob-
lem. For this purpose, we make the hypothesis:
(B12 ) K[(X 1 )+ )] ⊂ (X 0 )+ ,
Theorem 5.2.4 Assume that (B9 ), (B10 ), (B11 ), and (B12 ) hold. If B is a
regular positive operator and Nf L(X + ) ⊂ X + , then for each r > 0, there is
λr > 0 such that for all λ > λr , the problem (5.22)–(5.23) has, at least, one
solution in Br+ .
Proof. Let λ be real such that λ > max(−σ, −σ + b log(α)). In order to prove
that the operator (λ − SK )−1 B carries elements of X + onto elements of X + ,
it suffices to establish that Wλ is positive, i.e., Wλ ((X 1 )+ ) ⊂ (X 1 )+ . For this
purpose, let f ∈ (X 1 )+ and consider the sequence in (X 1 )+ defined by:
(
u0 = 0
un+1 = A(λ,f ) (un ).
So, un (v) converges to u(v) almost everywhere, v ∈ [a, b] and we have u(v) ≥ 0.
Now, as un converges to Wλ (f ) on X 1 and un (v) converges to u(v) a.e. v ∈
[a, b], we get from [148, Chapter 2, Lemma 3.9], Wλ (f ) = u which is positive.
Now, the result follows from Theorem 2.2.2. Q.E.D.
Theorem 5.2.5 Let the hypotheses (B9 ), (B10 ), (B11 ) and (B12 ) be satisfied
and suppose that B is a regular positive operator and that there is c > 0 and
0 6= ψ0 ∈ Br+ such that
(i) ψ0 ∈
/ N (B), where N (B) denotes the kernel of B,
Then, for each λ > max(−σ, −σ + b log(α)), there is η > 0 such that the
problem
Z b
∂ψ
v (µ, v) + σ(µ, v)ψ(µ, v) + λψ (µ, v) = η r(µ, v, v ′ , ψ(µ, v ′ ))dv ′ ,
∂µ a
ψ 0 = K(ψ 1 )
Proof. Arguing as in the proof of Theorem 5.2.4, we show that the operator
Accordingly,
Therefore,
inf{kF(λ)ψk, ψ ∈ Br+ } > 0. (5.43)
Let us define the operator Λ(λ) by:
rF (λ)ψ
Λ(λ)ψ = for all ψ ∈ Br+ .
kF(λ)ψk
By using (5.43) and the fact that F (λ) is weakly sequentially continuous, we
infer that Λ(λ) is weakly sequentially continuous on X. In fact, let a sequence
(fn )n such that fn ⇀ f on X. We have, for l ∈ X ′ , where X ′ denotes the dual
of X,
r
l(Λ(λ)fn ) = l(F (λ)fn ).
kF(λ)fn k
Existence of Solutions for Transport Equations 223
Since F (λ) is weakly sequentially continuous, we deduce that l(F (λ)fn ) con-
verges to l(F (λ)f ). Moreover,
Then,
r
0 ≤ Λ(λ)ψ ≤ F (λ)ψ for all ψ ∈ Br+ .
m
Since Br+ is a bounded convex subset of X + , then Nf L(Br+ ) is a bounded
subset of X + and therefore, by using Theorem 5.2.2, we show that F (λ)(Br+ )
is weakly compact. Moreover, by using Theorem 1.3.7, we may conclude that
Z
lim (F (λ)ψ)(µ, v) dµdv = 0,
|E|→0 E
uniformly for ψ in Br+ , and Λ(λ)(Br+ ) is weakly compact. Finally, the use of
Theorem 2.2.1 shows that Λ(λ) has, at least, a fixed point ψ ∗ in Br+ satisfying
r
kψ ∗ k = r. Setting η = kF (λ)ψ ∗ k , we obtain
Consequently,
ψ ∗ ∈ D(SK ) ∩ Br ,
224 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
and
∂ψ ∗
v (µ, v) + σ(µ, v)ψ ∗ (µ, v) + λψ ∗ (µ, v)
∂µ
Z b
=η κ(µ, v, v ′ )f (µ, v ′ , L(ψ ∗ )(µ, v ′ ))dv ′
a
When dealing with this problem, some technical difficulties arise. So, we need
the following assumptions:
where L(X 1 , X 0 ) denotes the set of all bounded linear operators from X 1 into
X 0 , ρ(., .) ∈ L∞ ([0, 1] × [a, b], dµdv), and Nσ acts from Br into Br . Let us
define the free streaming operator SeK by:
SeK : D(SeK ) ⊂ X −→ X
∂ψ
ψ −→ SeK ψ(µ, v) = −v (µ, v)
∂µ
D(SeK ) = ψ ∈ W such that ψ 0 = K(ψ 1 ) .
Theorem 5.2.6 Let r > 0. If (B10 ), (B11 ), and (B13 ) are satisfied, and if B
is a regular collision operator on X, then there exists λ0 > 0 such that, for all
λ satisfying Reλ > λ0 , the problem (5.44) has, at least, one solution in Br .
Proof. Since K is linear (according to (B13 )), the operator SeK is linear too
and by using Lemma 5.2.1, we infer that
where ̺(SeK ) denotes the resolvent set of SeK . Let λ be such that Reλ >
max(0, b log(kKk)). Then, by using the linearity of the operator (λ − SeK )−1 ,
the problem (5.44) may be written in the following form:
ψ = (λ − SeK )−1 Nσ ψ + (λ − SeK )−1 BNf Lψ
= H(λ)ψ + Fe(λ)ψ
ψ ∈ D(SeK ), Reλ > max(0, b log(kKk)),
where
H(λ) := (λ − SeK )−1 Nσ
and
Fe(λ) := (λ − SeK )−1 BNf L.
Let us check that, for a suitable λ, the operator H(λ) is a contraction mapping.
Indeed, let ψ1 , ψ2 in X. Then, we have
Therefore, we have
( )
kρk∞ kKk
kH(λ)ψ1 − H(λ)ψ2 k ≤ 1+ Reλ kψ1 − ψ2 k
Reλ 1 − kKk e− b
= Ξ(Reλ) kψ1 − ψ2 k.
lim Ξ(x) = 0.
x→∞
So, there exists λ1 ∈]max(0, b log(kKk)), ∞[ such that Ξ(λ1 ) < 1. Hence, for
Reλ ≥ λ1 , H(λ) is a contraction mapping. Now, let ϕ and ψ be two elements
of Br . Then, we have
226 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
e
kH(λ)ϕ + F(λ)ψk ≤ k(λ − SeK )−1 BNf Lψk + k(λ − SeK )−1 Nσ ϕk
H(λ)ϕ + Fe(λ)ψ ∈ Br
(I − H(λ))−1 Fe(λ)
We start this chapter by studying the existence of solutions for some variants
of Hammerstein’s integral equation. Next, we investigate the existence of so-
lutions for several nonlinear functional integral and differential equations, in
the Banach algebra C([0, T ], X), where X is a Banach algebra satisfying the
condition (P). An application of Leray–Schauder type fixed point theorem
under the weak topology is given.
where J = [0, T ], λ ∈ ( 21 , 1), (X, k.k) is a reflexive Banach space, C(J, X) is the
Banach space of all continuous functions from J into X endowed with the sup-
norm k.k∞ , defined by kxk∞ = sup {kx(t)k; t ∈ J}, for each x ∈ C(J, X), and
f and g satisfy some conditions. Let us suppose that the functions involved
in Eq. (6.1) satisfy the following conditions:
(i) f is a nonlinear contraction with respect to the second variable, i.e., there
exists a continuous nondecreasing function ϕ : R+ −→ R+ satisfying
229
230 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Theorem 6.1.1 Assume that the assumptions (J1 )–(J5 ) hold. Then, Eq.
(6.1) has, at least, one solution x ∈ C(J, X).
Proof. We set
Z t Z t
dr
β(t) = and b(t) = β −1 α(s)ds .
kf (0,0)k φ(r) 0
Then,
Z b(t) Z t
dr
= α(s)ds. (6.2)
kf (0,0)k φ(r) 0
Clearly, Ω is a closed convex and bounded subset of C(J, X). Let us consider
the nonlinear mappings A, B : C(J, X) −→ C(J, X) defined as follows:
Z t
(Ax)(t) = f (0, 0) + λ g(s, x(s))ds,
0
and
(Bx)(t) = f (t, x(t)) − f (0, 0).
Existence of Solutions for Nonlinear Integral Equations 231
In the following, we will prove that A and B satisfy the assumptions of The-
orem 2.3.6. For this purpose, we need four steps:
Step 1: Let us check that A(Ω) ⊂ Ω, A(Ω) is weakly equicontinuous and
A(Ω) is relatively weakly compact. (i) Let x ∈ Ω be an arbitrary point. We
will prove that Ax ∈ Ω. Let t ∈ J. Without loss of generality, we may assume
that (Ax)(t) 6= 0. According to Hahn–Banach’s theorem, there exists xt ∈ X ∗
such that kxt k = 1 and k(Ax)(t)k = xt ((Ax)(t)). By using assumption (J5 )
and Eq. (6.2), we get
Z t
k(Ax)(t)k = xt f (0, 0) + λ g(s, x(s))ds
0
Z t
≤ kf (0, 0)k + λ α(s)φ(kx(s)k)ds
0
Z t
≤ kf (0, 0)k + λ α(s)φ(b(s))ds
0
Hence, Ax ∈ Ω.
(ii) Let ε > 0; x ∈ Ω; x∗ ∈ X ∗ ; t, t′ ∈ J such that t ≤ t′ and t′ − t ≤ ε. Let
us show that kx∗ ((Ax)(t) − (Ax)(t′ )) k ≤ ε. We have
Z Z t′
t
′
k(Ax)(t) − (Ax)(t )k = λ
g(s, x(s))ds − g(s, x(s))ds
0 0
Z t′
≤ kg(s, x(s))kds.
t
A(Ω)(t) = {(Ax)(t); x ∈ Ω}
≤ ϕ (kx(t) − y(t)k)
≤ ϕ (kx − yk∞ ) ,
Step 4: (x = Bx + Ay, y ∈ Ω) =⇒ x ∈ Ω.
First, we claim that k(I − B)x(t)k ≥ kx(t)k − ϕ(kx(t)k) for every x ∈ C(J, X)
and t ∈ J. Indeed, taking into account the assumption (J1 ) (i), we get
1−λ
kx(t)k ≤ b(t) + kf (0, 0)k
λ
< b(t) + kf (0, 0)k,
(i) For any x ∈ X, the map t −→ f (t, x) is measurable from Ω into Y , and
(ii) for almost all t ∈ Ω, the map x −→ f (t, x) is weakly sequentially contin-
uous from X into Y .
Let m(Ω, X) be the set of all measurable functions ψ : Ω −→ X. If f is a weak
Carathéodory function, then f defines a mapping Nf : m(Ω, X) −→ m(Ω, Y )
by Nf ψ(t) := f (t, ψ(t)), for all t ∈ Ω. This mapping is called the Nemytskii’s
operator associated to f .
The following result will play a crucial role in our application; for further
details and proofs, we may refer to [23].
234 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Let X be a reflexive Banach space. First, we observe that Eq. (6.5) may be
written in the following form:
ψ = Aψ + Bψ,
(J10 ) αµ(Ω)kL2 k ∈ (0, 1), where kL2 k denotes the norm of the map L2 and
µ(Ω) is the Lebesgue’s measure of Ω.
The following definition and lemma give a characterization of β(M ) for any
bounded subset M of L1 (Ω, X0 ) (see [9]).
Existence of Solutions for Nonlinear Integral Equations 235
Proof. Notice that Eq. (6.5) can be written in the following form
ψ = Aψ + Bψ.
Claim 2: Let ψ, ϕ ∈ L1 (Ω, X). From the assumption (J6 ), it follows that
Z
kBψ − BϕkL1 (Ω,X) = kg(t, L2 (ψ(t))) − g(t, L2 (ϕ(t)))kX dt
Ω
Z
≤ α kL2 (ψ(t)) − L2 (ϕ(t))kX dt
Ω
Z
≤ kh1 k∞ kA1 (t)kdt
D
Remark 6.1.2 We should notice that the equality of Lemma 6.1.2, which
is fundamental in the proof of Theorem 6.1.2, was established for bounded
subsets of the space of Lebesgue integrable functions with values in a finite-
dimensional Banach space [9]. Moreover, finite dimensional Banach spaces
are reflexive (as required in Lemma 6.1.1). This justifies the assumption that
X must be a finite-dimensional Banach space.
Question 5:
At this point we don’t know whether or not Theorem 6.1.2 holds for reflex-
ive infinite-dimensional Banach spaces.
for all t ∈ J, where J is the interval [0, 1] and X is a Banach algebra satisfying
the condition (P). The functions a, q, σ, ζ, η are continuous on J; T , p(., ., ., .)
are nonlinear functions and u is a nonvanishing vector of X.
Remark 6.2.1 Notice that the FIE (6.7) contains several special types of
functional integral equations in C(J, R):
238 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
(1) If we take: ζ(s) = s; η(s) = λs, 0 < λ < 1 and u = 1, then the existence
results are reduced to those proved in [50] for the nonlinear integral equation:
Z !
σ(t)
x(t) = a(t) + (T x)(t) q(t) + p(t, s, x(s), x(λs))ds , 0 < λ < 1.
0
(2) If we take: q(t) = 0; σ(t) = 1; ζ(s) = s; η(s) = λs, 0 < λ < 1 and u = 1,
then the existence results are reduced to those proved for functional integral
equations of Urysohn type:
Z 1
x(t) = a(t) + (T x)(t) p(t, s, x(s), x(λs))ds, 0 < λ < 1.
0
(5) If we take a(t) = 0; (T x)(t) = f (t, x(ν(t))); p(t, s, x, y)) = g(s, y) and u =
1, then the existence results are reduced to those proved in [77] for the nonlin-
ear integral equation:
Z !
σ(t)
x(t) = f (t, x(ν(t))) q(t) + g(s, x(η(s)))ds .
0
(6) If we take η(s) = λs, 0 < λ < 1, then existence results are reduced to these
proved in [26] for the nonlinear integral equation:
Z !
σ(t)
x(t) = a(t) + (T x)(t) q(t) + p(t, s, x(s), x(λs))ds · u, 0 < λ < 1.
0
Next, we will prove the existence of solutions for the FIE (6.7) under some
suitable conditions. For this purpose, let us assume that the functions involved
in the FIE (6.7) satisfy the following conditions:
Existence of Solutions for Nonlinear Integral Equations 239
(b) kukkT xk∞ ≤ 1 for each x ∈ C(J, X) such that kxk∞ ≤ r0 , and
Theorem 6.2.1 Under the assumptions (J11 )–(J16 ), the FIE (6.7) has, at
least, one solution x = x(t) which belongs to the space C(J, X).
Proof. Recall that C(J, X) verifies the condition (P). Let us define the subset
S of C(J, X) by:
Obviously, S is nonempty, closed, convex, and bounded subset of C(J, X). Let
us consider three operators A, L, and U defined on S by:
(Ax)(t) = a(t),
(Lx)(t) = (T x)(t), and
" Z #
σ(t)
(U x)(t) = q(t) + p(t, s, x(ζ(s)), x(η(s)))ds · u.
0
We will prove that the operators A, L, and U satisfy all the conditions of
Theorem 3.1.3.
for all t, s ∈ J. Now, we can apply the dominated convergence theorem and
also the fact that assumption (J13 ) hold. Hence, we get
(U x)(tn ) → (U x)(t) in X.
It follows that
U x ∈ C(J, X).
Next, we will prove that U is weakly sequentially continuous on S. For this
purpose, let (xn )n≥0 be any sequence in S weakly converging to a point x in S.
Then, {xn }∞n=0 is bounded. We can apply Dobrakov’s theorem (see Theorem
1.4.1) to get
∀t ∈ J, xn (t) ⇀ x(t).
Existence of Solutions for Nonlinear Integral Equations 241
Hence, by using assumptions (J15 )–(J16 ) and also the dominated convergence
theorem, we obtain
lim Γn = Γ,
n→∞
where Z σ(t)
Γn = p(t, s, xn (ζ(s)), xn (η(s)))ds
0
and Z σ(t)
Γ= p(t, s, x(ζ(s)), x(η(s)))ds.
0
Which implies that
lim Γn · u = Γ · u.
n→∞
Hence,
(U xn )(t) → (U x)(t).
Thus,
(U xn )(t) ⇀ (U x)(t).
Since {U xn }∞
n=0 is bounded by kuk(kqk∞ + M ), then we can again apply
Dobrakov’s theorem (see Theorem 1.4.1) to obtain
U xn ⇀ U x.
U (S) := {U x : kxk∞ ≤ r0 }.
rn (t) → r(t),
242 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
and consequently,
(U xn )(t) → (q(t) + r(t)) · u.
where
Now, notice that from the above-obtained estimate, taking into account the
hypothesis (J15 ) and in view of the uniform continuity of the functions q, p,
and σ on the set J, it follows that w(q, ε) → 0, w(p, ε) → 0 and w(σ, ε) → 0
as ε → 0. Now, we can apply Arzelà–Ascoli’s theorem (see Theorem 1.3.9)
to get that U (S) is sequentially relatively weakly compact of X. Again an
application of Eberlein–Šmulian’s theorem (see Theorem 1.3.3) shows that
U (S) is relatively weakly compact.
Existence of Solutions for Nonlinear Integral Equations 243
≤ r0 .
From the last inequality and taking the supremum over t, we obtain
and consequently,
Ax + Lx.U x ∈ S.
We will prove the existence of solutions for FIE (6.8) under some suitable con-
ditions. Suppose that the functions involved in FIE (6.8) verify the following
conditions:
(J17 ) a : J −→ X is a continuous function.
Theorem 6.2.2 Under the assumptions (J17 )–(J22 ), FIE (6.8) has, at least,
one solution x = x(t) which belongs to the space C(J, X).
(Cx)(t) = a(t).
Existence of Solutions for Nonlinear Integral Equations 245
We will prove that the operators A, B, and C satisfy all the conditions of
Corollary 3.1.3. (i) From assumption (J20 )(a), it follows that A is Lipschitzian
with a Lipschitzian constant α. Clearly, C is Lipschitzian with a Lipschitzian
constant 0.
(ii) From assumption (J20 )(b), it follows that A is regular on C(J, X).
(iii) Since C is constant, then C is weakly sequentially continuous on S. From
assumption (J20 )(c), A is weakly sequentially continuous on S. Now, let us
show that B is weakly sequentially continuous on S. Firstly, we verify that
if x ∈ S, then Bx ∈ C(J, X). Let {tn } be any sequence in J converging to a
point t in J and denote ωn,x,t := k(Bx)(tn ) − (Bx)(t)k. Then,
"Z Z σ(t) #
σ(tn )
ωn,x,t =
p(tn , s, x(s), x(λs))ds − p(t, s, x(s), x(λs))ds .u
0 0
"Z #
σ(tn )
≤ |p(tn , s, x(s), x(λs)) − p(t, s, x(s), x(λs))|ds kuk
0
Z
σ(tn )
+ |p(t, s, x(s), x(λs))|ds kuk
σ(t)
Z 1
≤ |p(tn , s, x(s), x(λs)) − p(t, s, x(s), x(λs)|ds kuk
0
+(r0 − kqk∞ )|σ(tn ) − σ(t)| kuk.
Since tn → t, then (tn , s, x(s), x(λs)) → (t, s, x(s), x(λs)), for all s ∈ J. Taking
into account the assumption (J21 ), we obtain
(Bx)(tn ) → (Bx)(t).
246 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
It follows that
Bx ∈ C(J, X).
Hence,
(Bxn )(t) → (Bx)(t).
Bxn ⇀ Bx.
(iv) We will prove that A(S), B(S), and C(S) are relatively weakly compact.
Since S is bounded by r0 and taking into account the hypothesis (J20 )(d), it
follows that A(S) is relatively weakly compact. Now, let us show that B(S)
is relatively weakly compact.
(v) Finally, it remains to prove the hypothesis (v) of Corollary 3.1.3. For this
purpose, let x ∈ C(J, X) and y ∈ S such that
x = Ax.By + Cx,
Then,
From the last inequality and taking the supremum over t, we obtain
kxk∞ ≤ r0 ,
Theorem 6.2.3 Under the assumptions (J23 )–(J28 ), FIE (6.9) has, at least,
one solution x = x(t) which belongs to the space C(J, X).
(Cx)(t) = a(t)x(t).
We will check that the operators A, B, and C satisfy all the conditions of
Theorem 3.1.5.
(i) From assumption (J26 )(a), the map A is Lipschitzian with a constant α.
Next, we must show that C is Lipschitzian on C(J, X). To do it, let us fix
arbitrarily x, y ∈ C(J, X). If we take an arbitrary t ∈ J, then we get
From the last inequality and taking the supremum over t, we obtain
(iii) From assumption (J26 )(b), it follows that A is regular on C(J, X).
−1
(iv) Let us show that I−C A is weakly sequentially continuous on B(S).
For this purpose, let x, y ∈ C(J, X) such that
I −C
(x) = y,
A
250 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
or equivalently,
(1 − a)x
= y.
T2 x
Since kak∞ < 1, then (1 − a)−1 exists on C(J, X). Hence,
I
(x) = (1 − a)−1 y.
T2
This implies, from assumption (J26 )(c), that
−1
I
x= ((1 − a)−1 y).
T2
Thus,
−1 −1
I −C I
(x) = ((1 − a)−1 x)
A T2
for all x ∈ C(J, X). Now, let {xn } be a weakly convergent sequence of B(S)
to a point x in B(S). Then,
(1 − a)−1 xn ⇀ (1 − a)−1 x,
(v) Finally, by using a similar reasoning as in the last point of Theorem 3.1.5,
we prove that the condition (v) of Theorem 3.5.1 is fulfilled. As a result,
we conclude that the operators A, B, and C satisfy all the requirements of
Theorem 3.1.5. Q.E.D.
Remark 6.2.3 Let us notice that the operator C in FIE (6.9) does not satisfy
the condition (iv) of Corollary 3.1.3. In fact, if we take X = R and a ≡ 21 ,
then (Cx)(t) = 12 x(t). Thus,
n1 o
C(S) = x : kxk∞ ≤ r0 = B r20 .
2
Since C(J, R) is infinite-dimensional, then C(S) is not relatively compact. Fur-
thermore, R is finite-dimensional. Hence, C(S) is not relatively weakly com-
pact [153].
Existence of Solutions for Nonlinear Integral Equations 251
Then, FIE (6.9) has, at least, one positive solution x in the cone C(J, X + ).
Proof. Let
S + := {x ∈ S, x(t) ∈ X + for all t ∈ J}.
Obviously, S + is nonempty, closed, and convex. Similarly to the proof of The-
orem 6.2.3, we show that:
(i) A and C are Lipschitzian with a Lipschitzian constant α and kak∞ , re-
spectively.
(ii) A is regular on C(J, X).
(iv) Because S + is a subset of S, then we have A(S + ), B(S + ), and C(S + ) are
relatively weakly compact.
(v) Finally, we will show that the hypothesis (v) of Theorem 3.5.3 is satisfied.
In fact, let us fix arbitrarily x ∈ C(J, X) and y ∈ S + , such that
x = Ax.By + Cx.
Hence,
x(t)(1 − a(t))
for all t ∈ J, = (By)(t).
(T2 x)(t)
Since for all t ∈ J, ka(t)k < 1, it follows that (1 − a(t))−1 exists in X, and
+∞
X
(1 − a(t))−1 = an (t).
n=0
Since a(t) belongs to the closed positive cone X + , then (1−a(t))−1 is positive.
252 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Also, we verify that for all t ∈ J, (By)(t) is positive. Therefore, the map ψ
defined on J by:
" Z σ(t) ! #
ψ(t) = (1 − a(t))−1 q(t) + p(t, s, x(s), x(λs))ds .u
0
belongs to the positive cone C(J, X + ) of C(J, X). Then, B maps C(J, X + ) into
itself. Knowing that
" Z σ(t) ! #
I −1
x (t) = (1−a(t)) q(t) + p(t, s, x(s), x(λs))ds .u = ψ(t),
T2 0
Let C(J, R) = C(J) denote the Banach algebra of all continuous real-valued
functions on J with norm kxk∞ = sup |x(t)|. Clearly, C(J) satisfies the con-
t∈J
dition (P). Let b : J −→ R be continuous and nonnegative, and let us define
T2 by:
T2 : C(J) −→ C(J)
1
x −→ T2 x = .
1 + b|x|
We obtain the following functional integral equation:
" Z σ(t) #
1
x(t) = a(t)x(t)+ q(t) + p(t, s, x(s), x(λs))ds , 0 < λ < 1.
1 + b(t)|x(t)| 0
(6.10)
Let us check all the conditions of Theorem 6.2.3 for the above FIE (6.10):
which implies
|x|(1 + b|x|) = |y|,
and then,
√
( b|x|)2 + |x| = |y|.
For each t0 ∈ J such that b(t0 ) = 0, we have x = y. Then, for each t ∈ J such
that b(t) > 0, we obtain
!2
p 1 1
b(t)|x(t)| + p = + |y(t)|,
2 b(t) 4b(t)
and then, r
1 1
b(t)|x(t)| = − + + |y(t)|b(t).
2 4
Consequently,
y(t) y(t)
x(t) = = q .
1 + b(t)|x(t)| 1
+ 1
+ b(t)|y(t)|
2 4
Notice that the equality is also verified for each t such that b(t) = 0. Let us
consider the function F defined by the expression
254 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
F : C(J) −→ C(J)
x
x −→ F (x) = q .
1 1
2 + 4 + b|x|
It is easy to verify that for all x ∈ C(J), we have
I I
◦ F (x) = F ◦ (x) = x.
T2 T2
We conclude that −1
I x
(x) = q .
T2 1
+ 1
+ b|x|
2 4
−1
(d) It is an easy exercise to show that T2 and TI2 are weakly sequentially
continuous on B(S).
−1
Remark 6.2.4 One can easily check that TI2 is a positive operator from
the positive cone C(J, R+ ) of C(J, R) into itself.
Z σ2 (t)
for all t ∈ J, where Λ(t) = p(t, s, x(ζ(s)), x(η(s)))ds and u is a nonva-
0
nishing vector of X.
Notice that, in 2006, this FIE (6.11) was studied in the Banach algebra C(J, R)
by B. C. Dhage [73].
In what follows, we will assume that the functions involved in FIE (6.11) verify
the following conditions:
Theorem 6.2.4 Under the hypotheses (J29 )–(J34 ), FIE (6.11) has, at least,
one solution x = x(t) which belongs to the space C(J, X).
S := {y ∈ C(J, X) : kyk∞ ≤ r0 },
where
β
r0 := .
1 − α − (M + kqk∞ ) kukk0
Obviously, S is a nonempty, closed, convex, and bounded subset of C(J, X).
Let us consider three operators A, L, and U defined on S by:
We will prove that the operator F = A + L.U satisfies all the conditions of
Theorem 2.3.4. (i) For all x ∈ S, and by composition, we obtain Ax ∈ C(J, X).
256 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
≤ αkx(ν(t)) − y(ν(t))k
≤ αkx − yk∞ .
From the last inequality and taking the supremum over t, we get
Since {Axn }∞n=0 is bounded by β + αr0 , then by again using Dobrakov’s the-
orem (see Theorem 1.4.1), we infer that A is weakly sequentially continuous
on S.
(ii) We will verify that L maps S into C(J, X). For this purpose, let t, t′ ∈ J
such that t ≤ t′ and t′ − t ≤ ε. Then, we have
Z Z σ1 (t′ )
σ1 (t)
′
′
k(Lx)(t) − (Lx)(t )k =
k(t, s)x(s)ds − k(t , s)x(s)ds
0 0
Z Z
σ1 (t) ′
σ1 (t )
≤
k(t, s)x(s)ds − k(t, s)x(s)ds
0 0
Z Z σ1 (t )
σ1 (t )
′ ′
′
+
k(t, s)x(s)ds − k(t , s)x(s)ds
0 0
Z 1
≤ r0 |k(t, s) − k(t′ , s)|ds + k0 r0 |σ1 (t) − σ1 (t′ )|
0
where
This shows that L maps S into C(J, X). Next, since kLx−Lyk∞ ≤ k0 kx−yk∞
and L is linear, then L is weakly sequentially continuous on S.
(iii) Similarly to the proof of Theorem 6.2.4, we can prove that U maps S
into C(J, X) and is weakly sequentially continuous on S. Thus, F maps S into
C(J, X) and F is weakly sequentially continuous on S.
(iv) Knowing that A is Lipschitzian with a constant α, L is Lipschitzian with
a constant k0 and that U is weakly compact [27] and bounded by (M +
kqk∞ )kuk. In view of Lemmas 1.5.2 and 3.1.3, we can prove, for any bounded
subset V of S, that
≤ r0 .
From the last inequality and taking the supremum over t, we obtain
and consequently,
Ax + Lx.U x ∈ S.
We conclude that the operator F fulfills all the requirements of Theorem 2.3.4.
Hence, FIE (6.11) has a solution in the space C(J, X). Q.E.D.
In what follows, we will assume that the functions involved in FIE (6.12) verify
the following conditions:
(J39 ) There exist two constants αi > 0 (i = 1, 2) such as, for any bounded
and equicontinuous sets Vi ⊂ E (i = 1, 2), (t, s) ∈ J 2 and λ ∈ (0, 1], we
have:
Theorem 6.2.5 Under the assumptions (J35 )–(J39 ), FIE (6.12) has, at
least, one solution x = x(t) which belongs to the space C(J, X).
Proof. The use of the assumption (J38 ) leads to the existence of 0 < r′ <
1 ∗ ∗ ′
kf k∞ kbk∞ and r0 > 0 such that for all r ≥ r0 , we have Mr < r r. Now, let us
define the subset Br0 of C(J, X) by:
where
r0 := max r0∗ , (kak∞ + kf k∞kqk∞ )(1 − kf k∞ kbk∞ r′ )−1 .
We will prove that the operator F = A + L.U satisfies all the conditions of
Corollary 3.5.1.
(i) Clearly, for all x ∈ Br0 , Ax ∈ C(J, X). By using (J36 ), we show that L
maps Br0 into C(J, X). Now, let us prove that U maps Br0 into C(J, X). For
this purpose, let x ∈ Br0 and let (tn )n≥0 be any sequence in J converging to
a point t in J. Then,
k(U x)(tn ) − (U x)(t)k ≤ ∆n (t)
Z tn Z t
+
b(t n − s)p(t n , s, x(s), x(λs))ds − b(t − s)p(t, s, x(s), x(λs))ds
0 0
Z tn
≤ ∆n (t) + kb(tn − s)p(tn , s, x(s), x(λs)) − b(t − s)p(t, s, x(s), x(λs))kds
Z tn 0
+ kb(t − s)p(t, s, x(s), x(λs))kds
t
≤ ∆n (t) + Mr0 kbk∞ |tn − t|
Z 1
+ kb(tn − s)p(tn , s, x(s), x(λs)) − b(t − s)p(t, s, x(s), x(λs))kds,
0
(ii) Let us show that F (Br0 ) ⊂ Br0 . To do it, let x ∈ Br0 . Then, for all t ∈ J,
we have
kF (x(t))k ≤ kak∞ + kf k∞ (kqk∞ + kbk∞ Mr0 )
(iii) Now, let us prove that F is weakly sequentially continuous on Br0 . For
this purpose, let (xn )n≥0 be any sequence in Br0 weakly converging to a point
x in Br0 . Then, {xn }∞n=0 is bounded. We can apply Dobrakov’s theorem (see
Theorem 1.4.1) which allows us to get
∀t ∈ J, xn (t) ⇀ x(t).
Since {Lxn }∞
n=0 is bounded by kf k∞ , then by again using Dobrakov’s theorem
(see Theorem 1.4.1), we infer that L is weakly sequentially continuous on Br0 .
Moreover, for all (t, s) ∈ J 2 and λ ∈ (0, 1), we have
Hence,
Knowing that
and so,
(U xn )(t) ⇀ (U x)(t).
Since {U xn }∞
n=0 is bounded by kqk∞ + kbk∞ Mr0 , then we can again apply
Dobrakov’s theorem (see Theorem 1.4.1) to show that U , and consequently
F , are weakly sequentially continuous on Br0 .
prove that there exist a positive integer n0 ≥ 1 and k ∈ (0, 1) such that, for
any subset V ⊂ S,
ω F (n0 ,x0 ) (V ) ≤ kω(V ).
Q.E.D.
To do this, we need to recall the following well-known lemmas:
(b) ω(V ) = ω(V (J)) = max ω(V (t)), where V (J) = {x(t) : x ∈ V, t ∈ J}.
t∈J
Lemma 6.2.3 Under assumption (J37 )(b) of Theorem 6.2.5, for all t ∈ J,
Proof. Let t,s1 ,s2 ∈ J, t ≥ si (i = 1, 2) and x ∈ Br0 . Then, for all ε > 0, we
have
where
w(b, ε) := sup{|b(t) − b(t′ )| : t, t′ ∈ J; |t − t′ | ≤ ε},
k(F x)(t) − (F x)(t′ )k ≤ n(t, t′ ) + kf (t, x(t))(U x)(t) − f (t′ , x(t′ ))(U x)(t′ )k
where n(t, t′ ) = ka(t) − a(t′ )k. Hence, F (Br0 ) is equicontinuous on C(J, X).
By using Lemma 6.2.2, we deduce that S is equicontinuous. Notice that, for
any V ⊂ S, F (n,x0 ) (V ) ⊂ S is bounded and equicontinuous. Then, by using
Lemma 6.2.1, we infer that
ω F (n,x0 ) (V ) = max ω F (n,x0 ) (V )(t) , n = 1, 2, ...
t∈J
For all t ∈ J, and taking into account the assumption (J36 ), one has
ω(f (t, V )) = ω(ft (V )) ≤ ω ft (V )w = 0.
Now, from (J39 ) and Lemmas 6.2.1, 6.2.2, 6.2.3, and for all t ∈ J, it follows
that
Therefore,
Z t
ω p(t, s, V (s), V (λs))ds ≤ tω (co{p(t, s, V (s), V (λs)), s ∈ J})
0
≤ t(α1 + α2 )ω(V ).
As a result,
ω F (1,x0 ) (V ) (t) ≤ tkf k∞ kbk∞ (α1 + α2 )ω(V ).
Therefore, by using the method of mathematical induction for all positive inte-
gers n and t ∈ J, and since F (n,x0 ) (V ) ⊂ S ⊂ Br0 is bounded and equicontin-
uous, then ft is weakly compact and the use of assumption (J39 ) and Lemmas
6.2.1, 6.2.2, 6.2.3 leads to
kf kn kbkn (α + α )n
∞ ∞ 1 2
ω F (n,x0 ) (V ) (t) ≤ ω(V ).
n!
From the last inequality and taking the maximum over t, we obtain
kf kn kbkn (α + α )n
∞ ∞ 1 2
ω F (n,x0 ) (V ) ≤ ω(V ).
n!
However, it is easy to show that
kf kn∞ kbkn∞ (α1 + α2 )n
→ 0.
n!
Then, there exists a positive integer n0 such that
kf kn∞0 kbkn∞0 (α1 + α2 )n0
k= < 1.
n0 !
We conclude that the operator F fulfills all the requirements of Corollary
3.5.1. Thus, FIE (6.12) has a solution in the space C(J, X). Q.E.D.
x(0) = ζ ∈ R, (6.14)
where the functions q1 , p and the operator T2 are given with q1 (0) = 0, while
x = x(t) is an unknown function. By a solution of FDE (6.13)–(6.14), we mean
an absolutely continuous function x : J −→ R that satisfies the two equations
(6.13)–(6.14) on J. The existence result for FDE (6.13)–(6.14) is:
|ζ|
|p(t, s, y, z)| ≤ r0 − kq1 k∞ − , and
|(T2 x)(0)|
Notice also that FIE (6.15) represents a particular case of FIE (6.12) with for
ζ
all t ∈ J; σ(t) = t, a(t) = 0, u = 1 and q(t) = q1 (t) + (T2 x)(0) . Therefore, we
Rt
have for all t ∈ J; (Ax)(t) = (T2 x)(t), (Bx)(t) = q(t) + 0 p(t, s, x(s), x(λs))ds
and C(x)(t) = 0. Now, we must prove that the operators A, B, and C satisfy
all the conditions of Theorem 3.5.1. Similarly to the proof of the preceding
Theorem 6.2.4, we obtain:
|ζ| |ζ|
≤ kq1 k∞ + + r0 − kq1 k∞ −
|(T2 x)(0)| |(T2 x)(0)|
= r0 .
kBxk∞ ≤ r0 .
Thus,
M ≤ r0 .
Consequently,
αM + β = αM ≤ αr0 < 1.
Next, let us fix an arbitrary x ∈ C(J) and let y ∈ S such that
x = Ax.By + Cx,
or, equivalently
for all t ∈ J, x(t) = (T2 x)(t)(By)(t).
266 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Then,
|x(t)| ≤ kT2 xk∞ kByk∞ ,
|x(t)| ≤ kByk∞ .
|x(t)| ≤ r0 ,
kxk∞ ≤ r0 .
(Ax)(t) = (T x)(t),
h Z σ(t) i
(Bx)(t) = q(t) + p(t, s, g(x(ξ(s))), h(x(η(s))))ds .u, and
0
(Cx)(t) = a(ν(t)).
x = Ax.Bx + Cx.
268 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Theorem 6.4.1 Suppose that the assumptions (J44 )–(J50 ) hold. Let Ω = Br0
and let U be a weakly open subset of Ω such that 0 ∈ U . In addition, suppose
that, for any solution x to the equation x = λA( xλ )Bx + λC( xλ ) for some
0 < λ < 1, we have x ∈/ ∂Ω (U ). Then, the FIE (6.16) has a solution in U .
Proof. We will prove that the operators A, B, and C satisfy all the conditions
of Theorem 3.3.3.
(i) From assumption (J47 )(a), it follows that A is Lipschitzian with a constant
α. It is clear that C is Lipschitzian with a constant 0.
(ii) From assumption (J47 )(b), it follows that A is regular on C(J, X).
x = Ax.By + Cx,
≤ r0 .
From the last inequality, and taking the supremum over t, we obtain
k(Ax).(By) + (Cx)k∞ ≤ r0 ,
and consequently,
(Ax).(By) + (Cx) ∈ Ω.
k(Bx)(tn ) − (Bx)(t)k
hZ σ(t) i
≤ |q(tn ) − q(t)|kuk + |p(t, s, g(x(ξ(s))), h(x(η(s))))|ds kuk
σ(tn )
hZ σ(tn ) i
+ |p(tn , s, g(x(ξ(s))), h(x(η(s)))) − p(t, s, g(x(ξ(s))), h(x(η(s))))|ds kuk
0
for all t, s ∈ J. Now, we can apply the dominated convergence theorem and
since assumption (J46 ) holds, we get
(Bx)(tn ) → (Bx)(t).
It follows that
Bx ∈ C(J, X).
xn (t) → x(t), ∀t ∈ J.
So, by using assumptions (J48 )–(J50 ) and the dominated convergence theo-
rem, we obtain:
Z σ(t) Z σ(t)
p(t, s, g(xn (ξ(s))), h(xn (η(s))))ds → p(t, s, g(x(ξ(s))), h(x(η(s))))ds
0 0
as n → ∞, which implies that
270 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Z σ(t)
lim q(t) + p(t, s, g(xn (ξ(s))), h(xn (η(s))))ds .u
n→∞ 0
Z σ(t)
= q(t) + p(t, s, g(x(ξ(s))), h(x(η(s))))ds .u.
0
Hence,
(Bxn )(t) → (Bx)(t) in X
and so,
(Bxn )(t) ⇀ (Bx)(t) in X.
It is clear that the sequence {Bxn } is bounded by (kqk∞ + M )kuk. Then, by
using Theorem 3.5.2, we get
(Bxn ) ⇀ (Bx).
rn (t) → r(t),
which implies
rn (t).u → r(t).u,
and consequently,
(Bxn )(t) → r(t).u.
Existence of Solutions for Nonlinear Integral Equations 271
where
and
Taking into account the hypothesis (J49 ), and in view of the uniform conti-
nuity of the functions q and σ, it follows that w(q, ε) → 0, w(p, ε) → 0, and
w(σ, ε) → 0 when ε → 0. Hence, the application of Arzelà–Ascoli’s theorem
(see Theorem 1.3.9) implies that B(U w ) is sequentially relatively weakly com-
pact in E. Now, the use of Eberlein–Šmulian’s theorem (see Theorem 1.3.3)
allows B(U w ) to be relatively weakly compact. Hence, all the conditions of
Theorem 3.3.3 are satisfied and then its application ensures that either conclu-
sion (a) or (b) holds. By using the fact that, for any solution x to the equation
x = λA( λx )Bx + λC( xλ ) for some 0 < λ < 1, x ∈ / ∂Ω (U ), we can deduce that
conclusion (b) is eliminated and hence Eq. (6.16) has a solution in U . Q.E.D.
Chapter 7
Two-Dimensional Boundary Value
Problems
The first aim of this chapter is to give some existence results for a struc-
tured problem on Lp -space (1 ≤ p < ∞) under abstract boundary conditions
of Rotenberg’s model type. Next, several coupled systems of nonlinear func-
tional integral equations with bounded or unbounded domains in Banach al-
gebras are considered. Finally, some existence results for coupled systems of
perturbed functional differential inclusions of initial and boundary value prob-
lems are studied. We should mention that all the involved operator equations
are generated by block matrices with the dimensions 2 × 2. Also considered
are both single-valued and multi-valued operators acting in Banach algebras
satisfying the so-called condition (P).
∂ ! !
−v − σ1 (µ, v, .) R12 ψ1 ψ1
∂µ
∂ =λ (7.1)
R21 −v − σ2 (µ, v, .) ψ2 ψ2
∂µ
ψi | = Ki ψi | , i = 1, 2, (7.2)
Γ0 Γ1
Z b
where Rij ψj (µ, v) = rij (µ, v, v ′ , ψj (µ, v ′ ))dv ′ , (i, j) ∈ {(1, 2), (2, 1)}, µ ∈
a
273
274 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
[0, 1], v, v ′ ∈ [a, b] with 0 ≤ a < b < ∞, σi (., ., .), i = 1, 2, rij (., ., ., .)
being nonlinear operators, λ is a complex number, Γ0 = {0} × [a, b] and
Γ1 = {1} × [a, b]. We denote by ψi | (resp. ψi | ) the restriction of ψi to
Γ0 Γ1
Γ0 (resp. Γ1 ) while Ki represent nonlinear operators from a suitable function
space on Γ1 to a similar one on Γ0 . The main point in Eq. (7.1) of the proposed
model is the nonlinear dependence of the functions rij (µ, v, v ′ , ψj (µ, v ′ )) on
ψj . More specifically, we suppose that
rij (µ, v, v ′ , ψ(µ, v ′ )) = kij (µ, v, v ′ )f (µ, v ′ , ψ(µ, v ′ )); (i, j) ∈ {(1, 2), (2, 1)},
with kij (., ., .), (i, j) ∈ {(1, 2), (2, 1)} representing measurable functions from
[0, 1] × [a, b] × C into C.
∂ ! !
−v − σ1 (µ, v)I R12 ψ1 ψ1
∂µ
∂ =λ (7.3)
R21 −v − σ2 (µ, v)I ψ2 ψ2
∂µ
ψi | = Ki ψi | , i = 1, 2 (7.4)
Γ0 Γ1
where σi (., .) ∈ L∞ ([0, 1] × [a, b]) and λ is a complex number. We will focus
on the existence of solutions for the last boundary value problem (7.3)–(7.4).
For this purpose, let
where 0 ≤ a < b < ∞; 1 < p < ∞. We denote by Xp0 and Xp1 , the following
boundary spaces
Xp0 := Lp ({0} × [a, b]; vdv)
Two-Dimensional Boundary Value Problems 275
and
Xp1 := Lp ({1} × [a, b]; vdv),
endowed with their natural norms. In what follows, Wp denotes the partial
Sobolev space defined by:
∂ψ
Wp = ψ ∈ Xp such that v ∈ Xp .
∂µ
For Reλ > −σ, the solution of Eq. (7.5) is formally given by:
Z
1
Rµ ′ ′ 1 µ − v1 Rµµ′ (λ+σi (τ,v))dτ
ψi (µ, v) = ψi (0, v) e− v 0 (λ+σi (µ ,v))dµ + e g(µ′ , v) dµ′ .
v 0
276 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
1
Πi,λ : Xp −→ Xp
Z 1 R1
1 1
u −→ (Πi,λ u)(1, v) := e− v µ′
(λ+σi (τ,v))dτ
u(µ′ , v) dµ′ ;
v 0
and finally,
Ri,λ : Xp −→ Xp
Z µ Rµ
1 − v1 (λ+σi (τ,v))dτ
u −→ (Ri,λ u)(µ, v) := e µ′ u(µ′ , v) dµ′ .
v 0
Clearly, for λ satisfying Reλ > −σ, the operators Pi,λ , Qi,λ , Πi,λ , and Ri,λ
are bounded. It is not difficult to check that
1
kPi,λ k ≤ e− b (Reλ+σ) (7.7)
and
1
kQi,λ k ≤ (p(Reλ + σ))− p . (7.8)
Moreover, some simple calculations using the Hölder inequality show that
1
kΠi,λ k ≤ (Reλ + σ)− q , (7.9)
and
kRi,λ k ≤ (Reλ + σ)−1 . (7.10)
Notice that the operator Pi,λ Ki in Eq. (7.11) is defined from Xp1 into Xp1 . Let
ϕ1 , ϕ2 ∈ Xp1 . From both (R1 ) and Eq. (7.7), it follows that
Reλ+σ
kPi,λ Ki ϕ1 − Pi,λ Ki ϕ2 k ≤ αi e− b kϕ1 − ϕ2 k ∀ϕ1 , ϕ2 ∈ Xp1 . (7.12)
where u is an unknown function and let us define the operator A(i,λ,ϕ) on Xp1
by:
A(i,λ,ϕ) : Xp1 −→ Xp1 ,
u −→ (A(i,λ,ϕ) u)(1, v) := Pi,λ Ki u + ϕ.
From Eq.(7.12), it follows that
Reλ+σ
kA(i,λ,ϕ) ϕ1 − A(i,λ,ϕ) ϕ2 k = kPi,λ Ki ϕ1 − Pi,λ Ki ϕ2 k ≤ αi e− b kϕ1 − ϕ2 k.
Wi,λ ϕ = ui , (7.14)
where ui is the solution of Eq. (7.13). Now, we have the following result:
Lemma 7.1.1 Assume that (R1 ) holds. Then,
(i) for every λ satisfying Reλ > −σ + b log(αi ), i = 1, 2, the operator Wi,λ is
continuous and map bounded sets into bounded ones and satisfies the following
estimate
Reλ+σ
kWi,λ ϕ1 − Wi,λ ϕ2 k ≤ (1 − αi e−( b )
)−1 kϕ1 − ϕ2 k; ϕ1 , ϕ2 ∈ Xp1 , i = 1, 2.
(ii) If Reλ > max(−σ, −σ + b log(αi )), then the operators (λ − SKi ) are in-
vertible and (λ − SKi )−1 is given by:
Moreover, (λ − SKi )−1 are continuous on Xp and map bounded sets into
bounded ones.
278 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Proof. By the definition of Wi,λ , Eq. (7.14) may be written in the form:
The second part of the assertion (i) follows from the estimate:
Reλ+σ
−1
kWi,λ ϕk ≤ 1 − αi e−( b ) kϕk + kWi,λ (0)k.
(ii) Since Reλ > max(−σ, −σ + b log(αi )), the solution of Eq. (7.11) is given
by:
ψi1 = Wi,λ Πi,λ g. (7.15)
Observe that the solution of Eq. (7.5) may be written as:
The second part of assertion (ii) follows from the boundedness of the linear
operators Qi,λ , Πi,λ , Ri,λ and from assertion (i). Q.E.D.
In what follows, and for our subsequent analysis, we need the following as-
sumption:
(R2 ) rij (µ, v, v ′ , ψ(µ, v ′ )) = kij (µ, v, v ′ )f (µ, v ′ , ψ(µ, v ′ )); (i, j) ∈ {(1, 2), (2, 1)},
where kij (., ., .), (i, j) ∈ {(1, 2), (2, 1)} are measurable functions from [0, 1] ×
[a, b] × C into C which defines a bounded linear operator Bij by:
Bij : Xp −→ Xp
Z b (7.16)
ψ −→ kij (µ, v, v ′ )ψ(µ, v ′ )dv ′ .
a
Notice that the operators Bij , (i, j) = (1, 2), (2, 1) act only on the velocity v,
so µ may be simply seen as a parameter in [0, 1]. Then, we will consider Bij
as a function
- The function Bij (.) is measurable, i.e., if O is an open subset of
L(Lp ([a, b]; dv)), then{µ ∈ [0, 1] such thatBij (µ) ∈ O} is measurable,
(R3 ) - there exists a compact subset C ⊂ L(Lp ([a, b]; dv)) such that
Bij (µ) ∈ C a.e. on [0, 1], and
-Bij (µ) ∈ K(Lp ([a, b]; dv)) a.e. on [0, 1],
where K(Lp ([a, b], dv)) stands for the class of compact operators on
Lp ([a, b], dv).
Lemma 7.1.2 Assume that Bij satisfies the hypothesis (R3 ). Then, Bij can
by approximated, in the uniform topology, by a sequence (Bij,n )n of operators
of the form:
n
X
′
κij,n (µ, v, v ) = ηs (µ)θs (v)βs (v ′ ),
s=1
where ηs (.) ∈ L∞ ([0, 1], dµ), θs (.) ∈ Lp ([a, b], dv) and βs (.) ∈ Lq ([a, b], dv) (q
denotes the conjugate of p).
Lemma 7.1.3 Let p ∈ (1, ∞) and assume that (R1 ) holds. If Bij , (i, j) ∈
{(1, 2), (2, 1)} satisfies (R3 ), then for any λ ∈ C such that Reλ >
max(−σ, −σ + b log(αi )), the operators (λ − SKi )−1 Bij are completely con-
tinuous on Xp .
280 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Proof. Let λ be such that Reλ > max(−σ, −σ + b log(αi )). By using Lemma
7.1.1 and the boundedness of Bij (as a linear operator), we infer that (λ −
SKi )−1 Bij is continuous and maps bounded sets into bounded sets. In view
of the assertion (ii) of Lemma 7.1.1 we have
Now, let us recall some facts concerning superposition operators required be-
low. Recall f : [0, 1] × [a, b] × C −→ C is a Carathéodory function, if the
following conditions are satisfied
(µ, v) −→ f (µ, v, u) is measurable on [0, 1] × [a, b] for all u ∈ C
u −→ f (µ, v, u) is continuous on C a.e. (µ, v) ∈ [0, 1] × [a, b].
(Nf ψ)(µ, v) = f (µ, v, ψ(µ, v)) for every (µ, v) ∈ [0, 1] × [a, b].
We assume that:
Theorem 7.1.1 Assume that (R1 ) and (R2 ) hold. If Bij , (i, j) ∈
{(1, 2), (2, 1)} satisfy (R3 ) on Xp , then for each r > 0, there is λr > 0 such
that, for each λ satisfying Re(λ) > λr , the problem (7.3)–(7.4) has, at least,
one solution in Br × Br .
Proof. Let λ be a complex number such that Reλ > max(−σ, −σ + b log(α))
with α = max(α1 , α2 ). Then, according to Lemma 7.1.1 (ii), we deduce that
λ−SKi is invertible and therefore, the problem (7.3)–(7.4) may be transformed
into
! !
ψ1 ψ1
= L(λ) , ψi0 = Ki ψi1 , i = 1, 2,
ψ2 ψ2
where !
SK1 − (λ − 1)I B12 Nf
L(λ) = .
B21 Nf SK2 − (λ − 1)I
Let r > 0. We first check that, for a suitable λ, Υ(λ) := (λ − SK1 )−1 B12 Nf
leaves Br invariant. Let kψ2 k ≤ r. From Lemma 7.1.1 and Eqs (7.7)–(7.10),
we have
Reλ+σ ε+σ
(1 − α1 e− b )−1 ≤ (1 − α1 e− b )−1 .
Therefore,
" #
1 1 α1
kΥ(λ)(ψ2 )k ≤ + 1 ε+σ kB12 kM (r) + Σ(Reλ).
Reλ + σ p 1 − α1 e− b
p
Let 0 < δ < α11 . From Eq. (7.8), there exists λr such that for any λ satisfying
Reλ > max(−σ, −σ + b log(α), λr ), we have kP1,λ k ≤ δ. Then, by using (R1 ),
we deduce that
It follows that
δkK1 (0)k
kW1,λ (0)k ≤ .
1 − δα1
Therefore,
" #
1 1 α1 e
kΥ(λ)(ψ2 )k ≤ + 1 ε+σ kB12 kM (r) + Σ(Reλ),
Reλ + σ p 1 − α1 e− b
p
≤ Q(Reλ),
where
" # " α1 δ
#
1 1 α1 ( 1−δα + 1)kK1 (0)k
Q(t) = + kB12 kM (r) + 1
,
t + σ p p1 1 − α1 e− ε+σ
b
1 1
(t + σ) p p p
and " #
α1 δ
( 1−δα + 1)kK1 (0)k
e
Σ(Reλ) = 1
1 1 .
(Reλ + σ) p p p
Clearly, Q(.) is continuous strictly decreasing in t > 0 and satisfies
lim Q(t) = 0. Hence, there exists λ′r , such that Q(λ′r ) ≤ r. Obviously, if
t→+∞
Reλ ≥ λ′r , then (λ − SK1 )−1 B12 Nf maps Br into itself and (R1 ) is satisfied.
Clearly, from Lemma 7.1.3, the operator S(λ) = B21 Nf (λ − SK1 )−1 B12 Nf
is continuous, and so has a closed graph. Now, we claim that S(λ)(Br ) is
relatively compact. Indeed, Nf (Br ) is a bounded subset of Xp . From Lemma
7.1.3, it follows that Or := (λ−SK1 )−1 B12 Nf (Br ) is relatively compact. Since
B21 Nf is continuous, B12 Nf (Or ) is compact and so, S(λ)(Br ) is relatively
compact. For Reλ ≥ max(λr , λ′r ) and kψ2 k ≤ r, we have
kS(λ)(ψ2 )k ≤ r.
By using Lemma 7.1.1, we deduce that there exists λ′′r ≥ max(λr , λ′r ) such
that, for any Reλ ≥ λ′′r , we have ∆(λ)ψ2 := (λ − SK2 )−1 S(λ)ψ2 ∈ Br . The
result follows from Theorem 1.6.5. Q.E.D.
Two-Dimensional Boundary Value Problems 283
Theorem 7.1.2 Assume that (R1 ), (R2 ), and (R4 ) hold. If Bij , (i, j) ∈
{(1, 2), (2, 1)} satisfy (R3 ) on Xp , then for each r > 0, there is λr > 0 such
that, for each λ satisfying Re(λ) > λr , the problem (7.3)–(7.4) has a unique
solution in Br × Br .
Proof. Let λ be a complex number such that Reλ > max(−σ, −σ + b log(α))
with α = max(α1 , α2 ) and let ψ1 , ψ2 ∈ Xp . Using the same notations as in
the above proof, we have
where " #
1 1 1
F1 (Reλ) = + 1 Reλ+σ
Reλ + σ p p 1 − α1 e− b
is a continuous, positive, and strictly decreasing function on ]0, +∞[ satisfying
lim F1 (t) = 0. By the same way, we have
t→+∞
" #
1 1 1
k∆(λ)ψ1 − ∆(λ)ψ2 k ≤ + 1 Reλ+σ kS(λ)ψ1 − S(λ)ψ2 k
Reλ + σ p 1 − α2 e− b
p
≤ F2 (Reλ)kS(λ)ψ1 − S(λ)ψ2 k,
kB21 kkB12 kkhk2∞ F1 (Reλ)F2 (Reλ) < 1 for any Reλ ≥ λ1 . (7.18)
where L(Xp1 , Xp0 ) denotes the set of all bounded linear operators from Xp1 into
Xp0 , ωi (., .) ∈ L∞ ([0, 1] × [a, b], dµdv) and Nσi acts from Br into Br .
Theorem 7.1.3 Assume that (R2 ), (R4 ), and (R5 ) hold. If Bij , (i, j) ∈
{(1, 2), (2, 1)} satisfy (R3 ) on Xp , then for each r > 0, there is λr > 0 such
that, for each λ satisfying Re(λ) > λr , the problem (7.1)–(7.2) has, at least,
one solution in Br × Br .
Proof. Since Ki , i = 1, 2 are linear in view of (R5 ), the operators SbKi are
linear, too. By using Lemma 7.1.1, we deduce that
{λ ∈ C such that Reλ > max(0, b log kK1 k, b log kK2 k)} ⊂ ̺(SbKi ),
where ̺(SbKi ) denotes the resolvent set of SbKi . Let λ be a complex number
such that Reλ > max(0, b log kK1 k, b log kK2 k). Then, by using the linearity
of the operator (λ − SbKi )−1 , the problem (7.1)–(7.2) may be written in the
following form:
! !
ψ1 b ψ1
= L(λ) , ψi ∈ D(SbKi ), i = 1, 2,
ψ2 ψ2
where
!
b SbK1 − (λ − 1)I + Nσ1 B12 Nf
L(λ) = .
B21 Nf SbK2 − (λ − 1)I + Nσ2
Two-Dimensional Boundary Value Problems 285
where !
(λ − SbK1 )−1 Nσ1 0
G1 (λ) = ,
0 (λ − SbK2 )−1 Nσ2
and !
0 (λ − SbK1 )−1 B12 Nf
G2 (λ) = .
b
(λ − SK2 )−1 B21 Nf 0
Let us check that, for a suitable λ, the operator G1 (λ) is a contraction mapping.
! !
ψ1 ϕ1
Indeed, let , ∈ Xp . Then, for each i = 1, 2, we have
ψ2 ϕ2
k(λ − SbKi )−1 (Nσi ϕi − Nσi ψi )k ≤ k(λ − SbKi )−1 kkNσi ϕi − Nσi ψi k.
1 γ
k(λ − SbKi )−1 k ≤ 1+ Reλ , i = 1, 2, (7.20)
Reλ 1 − γe− b
where γ = max(kK1 k, kK2 k). Moreover, by taking into account the assump-
tion on σi (., ., .), we get
where
∆(λ, V, W ) := kG1 (λ)V − G1 (λ)W k
286 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
and
1 γ
Ξ(t) := 1+ t kωk∞ .
t 1 − γe− b
Let us notice that Ξ is a continuous and strictly decreasing function defined
on ]0, ∞[ and
lim Ξ(t) = 0.
t→∞
Hence, there exists λ1 ∈] max (0, b log kK1 k, b log kK2 k), ∞[ such that
Ξ(λ1 ) < 1 and so, for Reλ ≥ λ1 , G1 (λ) is a contraction mapping. By using
Lemma 7.1.1 and arguing as in the proof of Theorem 7.1.1, we can show that
the operator G2 (λ) is completely continuous on Xp . Theorem 4.1.4 achieves
the proof. Q.E.D.
Question 6:
What happens if the reproduction rules are not generated by a bounded
linear operator Ki from Xp1 to Xp0 ? To our knowledge, this question is not
yet developed.
Now, let us discuss the existence of positive solutions for our boundary value
+ −
problem. Let Bij be defined by Eq. (7.16) and let kij (., ., .) (resp. kij (., ., .))
denote the positive part (resp. the negative part) of kij (., ., .) :
+ −
kij (µ, v, v ′ ) = kij (µ, v, v ′ ) − kij (µ, v, v ′ ) (µ, v, v ′ ) ∈ [0, 1] × [a, b] × [a, b].
Clearly,
+ −
Bij = Bij − Bij .
i.e.,
Z b
|Bij |ψ(µ, v) = |kij |(µ, v, v ′ )ψ(µ, v ′ ) dv ′ , ψ ∈ Xp .
a
Assume that
where (Xp1 )+ (resp. (Xp0 )+ ) denotes the positive cone of the space Xp1 (resp.
Xp0 ). Let r > 0. We define the set Br+ by Br+ := Br ∩ Xp+ .
Theorem 7.1.4 Assume that (R1 ), (R2 ), (R3 ), (R4 ), and (R6 ) hold. If Bij
is a positive operator and if Nf (Xp+ ) ⊂ Xp+ , then for each r > 0, there is
λr > 0 such that for all λ > λr , the problem (7.1)–(7.2) has, at least, one
solution in Br+ .
Proof. Obviously, the operators Pi,λ , Πi,λ , Qi,λ , and Ri,λ are bounded and
positive. Accordingly, by using arguments similar to those used in the proof
of Theorem 5.2.4, we can reach the desired result. Q.E.D.
endowed with their natural norms. Let W be the space defined by:
∂ψ
W = ψ ∈ X such that v ∈X .
∂µ
It is well known (see, for example, [52, 53, 63]) that any ψ in W has traces
on the spatial boundary {0} and {1} which belong, respectively, to the spaces
X 0 and X 1 .
As in Section 7.1.1, we define the free streaming operator SKi , i = 1, 2, by:
SKi : D(SKi ) ⊂ X −→ X,
∂ψi
ψi −→ SKi ψi (µ, v) = −v (µ, v) − σi (µ, v)ψi (µ, v),
∂µ
D(SKi ) = ψi ∈ W such that ψi0 = Ki (ψi1 ) ,
288 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
where σi (., .) ∈ L∞ ([0, 1] × [a, b]), ψi0 = ψi|Γ , ψi1 = ψi|Γ and Ki , i = 1, 2,
0 1
represent the following nonlinear boundary operators
(
Ki : X 1 −→ X 0 ,
u −→ Ki u,
Following the same reasoning as in the previous subsection, our first task is
to determine a solution ψi ∈ D(SKi ), where g is given in X and λ ∈ C.
Let σ be the real defined by:
For Reλ > −σ, the solution of Eq. (7.21) is formally given by:
Z
R
− v1 0µ (λ+σi (µ′ ,v))dµ′ 1 µ − v1 Rµµ′ (λ+σi (τ,v))dτ
ψi (µ, v) = ψi (0, v) e + e g(µ′ , v) dµ′ .
v 0
Accordingly, for µ = 1, we get
R1
Z 1 R1
− v1 (λ+σi (µ′ ,v))dµ′ 1 1
ψi (1, v) = ψi (0, v) e 0 + e− v µ′
(λ+σi (τ,v))dτ
g(µ′ , v) dµ′ .
v 0
(7.22)
Let us introduce the following operators:
Pi,λ : X 0−→ X 1
R1
u −→ (Pi,λ u)(1, v) := u(0, v) e− v
1
0
(λ+σi (µ′ ,v))dµ′
,
Qi,λ : X 0−→ X
Rµ
u −→ (Qi,λ u)(µ, v) := u(0, v) e− v
1
0
(λ+σi (µ′ ,v))dµ′
,
Two-Dimensional Boundary Value Problems 289
1
Πi,λ : X−→ X
Z 1 R1
1 1
u −→ (Πi,λ u)(1, v) := e− v µ′
(λ+σi (τ,v))dτ
u(µ′ , v) dµ′ ,
v 0
and finally,
Ri,λ : X−→ X
Z µ Rµ
1 − v1 (λ+σi (τ,v))dτ
u −→ (Ri,λ u)(µ, v) := e µ′ u(µ′ , v) dµ′ .
v 0
Clearly, for λ satisfying Reλ > −σ, the operators Pi,λ , Qi,λ , Πi,λ , and Ri,λ ,
i = 1, 2, are bounded. It is not difficult to check that
1
kPi,λ k ≤ e− b (Reλ+σ) , (7.23)
and
kQi,λ k ≤ (Reλ + σ)−1 . (7.24)
kΠi,λ k ≤ 1, (7.25)
and
kRi,λ k ≤ (Reλ + σ)−1 . (7.26)
Notice that the operator Pi,λ Ki appearing in Eq. (7.27), is defined from X 1
into X 1 . Let ϕ1 , ϕ2 ∈ X 1 . From (R7 ) and the estimate (7.23), we have
Reλ+σ
kPi,λ Ki ϕ1 − Pi,λ Ki ϕ2 k ≤ αi e− b kϕ1 − ϕ2 k. (7.28)
u = Pi,λ Ki u + ϕ, ϕ ∈ X 1 , (7.29)
290 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
u(i,λ,ϕ) = ui .
Wi,λ ϕ = ui , (7.30)
where ui is the solution of Eq. (7.29). Arguing as in the proof of Lemma 7.1.1,
we have the following result:
Lemma 7.2.1 Assume that (R7 ) holds. Then,
(i) For every λ satisfying Reλ > −σ + b log(αi ), i = 1, 2, the operator Wi,λ
is continuous and maps bounded sets into bounded ones and satisfying the
following estimate
Reλ+σ −1
kWi,λ ϕ1 − Wi,λ ϕ2 k ≤ 1 − αi e−( b ) kϕ1 − ϕ2 k for all ϕ1 , ϕ2 ∈ X 1 .
(ii) If Reλ > max(−σ, −σ+b log(αi )), then the operator (λ−SKi ) is invertible
and (λ − SKi )−1 is given by:
Moreover, (λ−SKi )−1 is continuous on X and maps bounded sets into bounded
ones.
In what follows and for our subsequent analysis, we need the following hy-
pothesis:
where f and kij (., ., .), (i, j) ∈ {(1, 2), (2, 1)}, are defined as in the previous
subsection. We should also recall that the linear operator Bij is defined by:
Bij : X −→ X
Z b (7.31)
ψj −→ kij (µ, v, v ′ )ψj (µ, v ′ )dv ′ .
a
Two-Dimensional Boundary Value Problems 291
Definition 7.2.1 Let Bij , (i, j) ∈ {(1, 2), (2, 1)}, be the operator de-
fined by Eq. (7.31). Then, Bij is said to be a regular operator if
kij (µ, ., v ′ ) such that (µ, v ′ ) ∈ [0, 1] × [a, b] is a relatively weakly compact
subset of L1 ([a, b]; dµ).
Let us recall the following result, which states a basic fact for the theory of
these operators on L1 spaces (see [57]).
We recall the following lemma established in [119] which will play a crucial
role below.
Lemma 7.2.3 If condition (R10 ) holds true, then for every weakly convergent
sequence (ψn )n , there exists a weakly convergent subsequence of Nf ψn .
So, Z Z Z
Nf ψn (x, ξ)dxdξ ≤ h(x, ξ)dxdξ ≤ k |ψn (x, ξ)|dxdξ
∆ ∆ ∆
for all measurable subsets of ∆ of [−a, a] × [−1, 1]. This together with Lemma
6.1.2 implies that ω(Nf (G)) ≤ kω(G) and therefore, by Lemma 1.4.1, Nf (G)
is relatively weakly compact. This completes the proof. Q.E.D.
Now, we are ready to state the first existence result of this section.
292 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Theorem 7.2.1 Assume that (R7 )–(R10 ) hold. If B12 is a regular collision
operator on X, then for each r > 0, there is λr > 0 such that, for each λ
satisfying Re(λ) > λr , the problem
∂
! !
−v − σ1 (µ, v)I R12
∂µ ψ1 ψ1
∂ =λ , (7.32)
R21 −v − σ2 (µ, v)I ψ2 ψ2
∂µ
ψi | = Ki ψi | , i = 1, 2, (7.33)
Γ0 Γ1
Proof. Let λ be a complex number such that Reλ > max(−σ, −σ + b log(α))
with α = max(α1 , α2 ). Then, according to Lemma 7.2.1, we infer that λ − SKi
is invertible and therefore, the problem (7.32)–(7.33) may be transformed into
! !
ψ1 ψ1
Lλ = , ψi0 = Ki ψi1 , i = 1, 2,
ψ2 ψ2
where !
SK1 − (λ − 1)I B12 Nf
Lλ = .
B21 Nf SK2 − (λ − 1)I
Claim 1: Let r > 0. First, we check that, for a suitable λ, the operator
Sλ := (λ − SK1 )−1 B12 Nf leaves Br invariant. Let ψ ∈ Br . From both Lemma
7.2.1 and the estimates (7.23)–(7.26), we have
Therefore,
α1 kB12 kM (r) α1 kW1,λ (0)k + kK1 (0)k
kSλ ψk ≤ 1 + ε+σ + .
1 − α1 e− b Reλ + σ Reλ + σ
Two-Dimensional Boundary Value Problems 293
Let 0 < δ < α11 . From the estimate (7.23), there exists λ1 such that for any
λ satisfying Reλ > max(−σ, −σ + b log(α), λ1 ), we have kP1,λ k ≤ δ. Then, by
using the assumption (R7 ), we deduce that
It follows that
δkK1 (0)k
kW1,λ (0)k ≤ .
1 − δα1
Therefore,
α1 δ
α1 kB12 kM (r) 1−δα1 + 1 kK1 (0)k
kSλ ψk ≤ 1+ ε+σ +
1 − α1 e− b Reλ + σ Reλ + σ
≤ Q(Reλ),
where
α1 δ
α1 kB12 kM (r) ( 1−δα 1
+ 1)kK1 (0)k
Q(t) = 1 + + .
1 − α1 e − ε+σ
b t+σ t+σ
Now, let us recall the following conditions (introduced in Chapter 4), which
will be needed in the sequel.
If (ψn )n∈N is a weakly convergent sequence in L1 , then
(A1 )
(Aψn )n∈N has a strongly convergent subsequence in L1
and
if (ψn )n∈N is a weakly convergent sequence in L1 , then
(A2 )
(Aψn )n∈N has a weakly convergent subsequence in L1 .
294 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Claim 4: Clearly, from Lemma 7.2.1, we deduce that (λ − SK2 )−1 exists and
is continuous on X. Now, let us check that (λ − SK2 )−1 satisfies the condition
(A2 ). For this, let (ψn )n∈N be a weakly convergent sequence of X. By using
the fact that (W2,λ Π2,λ ψn )n∈N is a bounded sequence and that K2 is a weakly
compact operator on X 1 , we infer that (K2 W2,λ Π2,λ ψn )n∈N has a weakly con-
vergent subsequence, say (K2 W2,λ Π2,λ ψnk )k∈N . Besides, by using the continu-
ity of the linear operators Q2,λ and R2,λ , we show that (λ − SK2 )−1 ψnk k∈N
converge weakly in X. Then the operator (λ − SK2 )−1 satisfies (A2 ).
Arguing as in claim 1 for Sλ ψ, there exists λr such that, for Reλ ≥ λr , we have
Γψ := (λ−SK2 )−1 B21 Nf Sλ ψ ∈ Br . Finally, Γ has, at least, a fixed point in Br ,
or equivalently, the problem (7.32)–(7.33) has a solution in Br × Br . Q.E.D.
Now, we may discuss the existence of solutions for the more general nonlin-
ear boundary problem (7.1)–(7.2). For this purpose, we need the following
assumption:
(R11 ) Ki ∈ L(X 1 , X 0 ), and for each r > 0, the function σi (., ., .), i = 1, 2,
satisfies
where L(X 1 , X 0 ) denotes the set of all bounded linear operators from X 1 into
X 0 and ωi (., .) ∈ L∞ ([0, 1] × [a, b]), and Nσi acts from X into X.
Two-Dimensional Boundary Value Problems 295
Theorem 7.2.2 Assume that (R9 )–(R11 ) hold. If Bij , (i, j) ∈ {(1, 2), (2, 1)},
are regular collision operators on X, then for each r > 0, there is λr > 0 such
that, for each λ satisfying Re(λ) > λr , the problem (7.1)–(7.2) has, at least,
one solution in Br × Br .
{λ ∈ C such that Reλ > max(0, b log kK1 k, b log kK2 k)} ⊂ ̺(SbKi ),
where ̺(SbKi ) denotes the resolvent set of SbKi . Let λ ∈ C such that Reλ >
max(0, b log kK1 k, b log kK2 k). Then, by using the linearity of the operator
(λ − SbKi )−1 , the problem (7.1)–(7.2) may be written in the form:
! !
ψ 1 ψ1
Lbλ = , ψi0 = Ki ψi1 , i = 1, 2,
ψ2 ψ2
where
!
SbK1 − (λ − 1)I + N−σ1 B12 Nf
Lbλ = .
B21 Nf SbK2 − (λ − 1)I + N−σ2
where
!
(λ − SbK1 )−1 N−σ1 0
G1,λ = ,
0 (λ − SbK2 )−1 N−σ2
and !
0 (λ − SbK1 )−1 B12 Nf
G2,λ = .
(λ − SbK2 )−1 B21 Nf 0
296 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
k(λ − SbKi )−1 (N−σi ϕi − N−σi ψi )k ≤ k(λ − SbKi )−1 kkN−σi ϕi − N−σi ψi k.
1 γ
k(λ − SbKi )−1 k ≤ 1+ Reλ , i = 1, 2, (7.34)
Reλ 1 − γe− b
where γ = max(kK1 k, kK2 k). Moreover, by taking into account the assump-
tion on σi (., ., .), we get
where
∆(λ, Φ, Ψ) :=
G1,λ Φ − G1,λ Ψ
.
By the same arguments as those used in Section 7.1.2, we deduce that, there
exists λ1 ∈] max (0, b log kK1 k, b log kK2 k), ∞[ such that Ξ(λ1 ) < 1. Hence,
for Reλ ≥ λ1 , G1,λ is a contraction mapping.
≤ T (Reλ),
By using a similar reasoning, we may prove that there exists λ3 such that, for
Reλ ≥ λ3 , we have
Theorem 7.3.1 Under the assumptions (R12 )–(R17 ), the functional integral
system (7.35) has, at least, one solution in C(J).
Two-Dimensional Boundary Value Problems 299
≤ (1 + α)kx − yk,
where
∆(t) := kCx(t) − Cy(t)k.
Accordingly, we have
Clearly, A, B are Lipschitzian with the constants kak∞ and 1, respectively, and
the operator D satisfies the contraction condition with a constant k. We claim
300 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
that C(S) is a relatively compact subset in C(J). Let {yn } be any sequence
of C(S). Then, there exists {xn } of S such that yn = C(xn ). By taking into
account the hypothesis (R13 ), we obtain
1
− f t, xn (θ(t)) ≤ 2
|yn (t)| =
1 + xn (θ(t))
which shows that {yn (t)} has a subsequence {ynk (t)} that converges to y(t).
Consequently, C(S) is a sequentially relatively compact subset in C(J). By
applying Eberlein–Šmulian’s theorem (see Theorem 1.3.3), we infer that C(S)
is relatively compact. Next, let us show that C(S) ⊂ (I − D)(S ′ ). To do it,
let x ∈ S be a fixed point. Let us define the mapping
ϕx : C(J) −→ C(J)
y −→ Cx + Dy.
From the hypothesis (R13 )(a), we deduce that the operator ϕx is a contraction
with a constant k. Hence, by applying Banach’s theorem, we show that there
exists a unique point y ∈ C(J) such that Cx + Dy = y. Therefore,
C(S) ⊂ (I − D)(C(J)).
Z σ(tn ) Z σ(t)
∆n (t) = q(tn ) + h(tn , x(η(s)))ds − q(t) − h(t, x(η(s)))ds
0 0
Z Z
σ(tn ) σ(t)
≤ |q(tn ) − q(t)| + h(tn , x(η(s)))ds − h(t, x(η(s)))ds
0 0
Z
σ(tn )
h(tn , x(η(s))) − h(t, x(η(s)))ds
≤ |q(tn ) − q(t)| +
0
Z
σ(tn )
+ h t, x(η(s)) ds
σ(t)
Z 1
≤ |q(tn ) − q(t)| + |h(tn , x(η(s))) − h(t, x(η(s)))| ds
0
B ′ xn (t) → B ′ x(t).
kB ′ xk = |B ′ x(t∗ )| ≤ 1.
The use of both hypothesis (R15 ) and the dominated convergence theorem
302 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
shows that the operator B ′ is continuous. Now, from the hypothesis (R17 )(b),
it follows that
M = kT ′ (S)k = supkT ′ xk
x∈S
n Z σ(t) o
≤ sup sup q(t) + h(t, x(η(s)))ds ; x ∈ S
t∈J 0
n Z σ(t) o
≤ sup sup|q(t)| + sup h(t, x(η(s)))ds; x ∈ S
t∈J t∈J t∈J 0
n Z σ(t) o
≤ sup sup|q(t)| + sup suph(t, x(η(s)))ds; x ∈ S
t∈J t∈J t∈J 0 t∈J
n Z t o
≤ sup sup|q(t)| + sup suph(t, x(η(s)))ds; x ∈ S
t∈J t∈J t∈J 0 s∈J
(1 − kak∞ )(1 − k)
< .
2(1 + α)
Therefore,
1
M + kak∞ < 1.
1−k
≤ 1 + k,
z1 = (I − D)−1 Cz.
" Z ! #
σ1 (t)
x(t) = f (t, x(t)) + [a(t)y(t)] ·
k(t, s)f1 (s, y(η(s)))ds u
0
" Z σ2 (t) ! #
y(t) =
q(t) + p (t, s, x(s), x(λs)) ds v + g(t, y(t)),
0
(7.36)
where u ∈ X\{0} and v ∈ X\{0}. We will seek the solutions of the system
(7.36) in the space C(J, X) of all continuous functions on J = [0, T ], 0 < T <
∞ endowed with the norm k.k∞ . Let us assume that the functions involved
in Eq. (7.36) satisfy the following assumptions:
(R18 ) The functions a and k are such that:
variable.
(a) g is continuous,
(b) g is weakly sequentially continuous with respect to the second variable,
Theorem 7.4.1 Suppose that the assumptions (R18 )–(R24 ) hold. Moreover,
if there exists a real number r0 > 0 such that:
|p (t, s, x(s), x(λs))| ≤ r0 , for x ∈ C(J, X) with kxk∞ ≤ r0 and t, s ∈ J,
kf (t, x(t))k ≤ k ′ kx(t)k, for t ∈ J and x ∈ C(J, X) with kxk∞ ≤ r0 ,
kg(., x(.))k ≤ λkxk , for x ∈ C(J, X) such that kxk ≤ r ,
∞ ∞ 0
(1 − k ′ )r0
kak ∞ ≤ , with u ∈ X\{0},
δ 2 KT λkuk∞
where K = sup k(t, s), λδ = (kqk∞ + T r0 ) kvk∞ + r0 , and v ∈ X\{0}.
t,s∈J
(7.37)
Then the nonlinear system (7.36) has, at least, one solution in C(J, X) ×
C(J, X).
Proof. Let Br0 be the closed ball in C(J, X) centered at the origin and of
radius r0 , and consider the nonlinear mapping A, B, C, D, and B ′ on C(J, X)
defined by:
Two-Dimensional Boundary Value Problems 305
(Ax)(t) = f (t, x(t)), t ∈ J,
(Bx)(t) = a(t)x(t), t ∈ J,
Z σ1 (t) !
(B ′ x)(t) = k(t, s)f1 (s, x(η(s)))ds · u; t ∈ J and u ∈ X\{0},
0
Z σ2 (t) !
(Cx)(t) = q(t) + p (t, s, x(s), x(λs)) ds · v,
0
where t ∈ J, 0 < λ < 1, v ∈ X\{0}, and
(Dx)(t) = g (t, x(t)) , t ∈ J.
(7.38)
In order to apply Theorem 4.3.7, we have to verify the following steps.
Step 1: We first show that the entries of the block operator matrix (4.6) are
all well-defined operators. Obviously, the maps Ax(.), By(.) and Dy(.) are
continuous on J in view of the assumptions (R18 ), (R22 )(c), and (R24 )(c),
for all (x, y) ∈ Br0 × C(J, X). Moreover, we claim that the two maps Cx(.)
and B ′ y(.) are continuous on J for all (x, y) ∈ Br0 × (I − D)−1 C(Br0 ). We
begin by showing that the set (I − D)−1 C(Br0 ) is bounded. Indeed, from
hypothesis (R24 )(c) and Theorem 1.6.10, it follows that (I − D)−1 exists and
is continuous on (I − D)(C(J, X)). Let y ∈ C(J, X) with y = (I − D)−1 Cx,
for some x ∈ Br0 . Then, for all t ∈ J, we have
Z σ2 (t) !
y(t) = q(t) + p (t, s, x(s), x(λs)) ds · v + g (t, y(t)) .
0
Consequently,
kyk∞ < δ,
where
1
[(kqk∞ + T r0 ) kvk + r0 ] .
δ=
λ
Hence, (I − D)−1 C(Br0 ) is bounded with a bound δ. Now, let {tn } be any
sequence in J converging to a point t in J. We denote
Then,
Z Z σ1 (t)
σ1 (tn )
∆n ≤ k(tn , s)f1 (s, y(η(s)))ds − k(t, s)f1 (s, y(η(s)))ds kuk
0 0
"Z #
σ1 (tn )
≤ |k(tn , s) − k(t, s)| |f1 (s, y(η(s)))| ds kuk
0
Z
σ1 (t)
+ k(t, s)f1 (s, y(η(s)))ds kuk.
σ1 (tn )
"Z #
T
≤ |k(tn , s) − k(t, s)| λδds kuk + Kλδ |σ1 (tn ) − σ1 (t)| kuk.
0
The continuity of k and σ1 on the compact interval [0, T ] implies that B ′ y(.)
is continuous. Similarly, the use of the first inequality in (7.37) as well as the
dominated convergence theorem implies that the operator C is well defined.
Step 2: Let us prove that the entries of the block operator matrix (4.6) are
weakly sequentially continuous. In order to apply Theorem 4.3.7, we need to
show that B and B ′ are weakly sequentially continuous on (I − D)−1 C(Br0 )
and that A and C are weakly sequentially continuous on Br0 . Let {xn }∞ n=0
be a weakly convergent sequence of (I − D)−1 C(Br0 ) to a point x. Since
Two-Dimensional Boundary Value Problems 307
xn (t) ⇀ x(t) in X.
i.e.,
(Bxn )(t) ⇀ (Bx)(t) in X.
Since {Bxn }∞n=0 is bounded with a bound kak∞ δ, then we can again apply
Dobrakov’s theorem to obtain Bxn ⇀ Bx. Consequently, B is weakly se-
quentially continuous. Now, the use of assumption (R23 )(a) and Dobrakov’s
theorem, (see Theorem 1.4.1) allows us to get
So,
Z ! Z !
σ1 (t) σ1 (t)
k(t, s)f1 (s, xn (η(s)))ds ·u→ k(t, s)f1 (s, x(η(s)))ds · u.
0 0
Knowing that
p(t, s, xn (s), xn (λs)) ≤ r0 ,
it follows, from the dominated convergence theorem, that (Cxn )(t) ⇀ (Cx)(t).
Since the sequence {Cxn } is bounded with a bound kqk∞ + T r0 , we can again
apply Dobrakov’s theorem to deduce that C is weakly sequentially continuous
on Br0 .
Step 3: Next, let us show that C is weakly compact and that A is condens-
ing on Br0 . We should prove that C(Br0 ) is relatively weakly compact. By
definition, we have
So, by using the first inequality in (7.37), |rn (t)| ≤ kqk∞ + T r0 , which shows
that {rn } is a uniformly bounded sequence in C(J, R). Next, we show that
{rn } is an equicontinuous set. Let t1 , t2 ∈ J. Then, we have
Z
σ2 (t2 )
|rn (t1 ) − rn (t2 )| ≤ |q(t1 ) − q(t2 )| + |p (t2 , s, x(s), x(λs))| ds
σ2 (t1 )
Z
σ2 (t1 )
+ |p (t1 , s, x(s), x(λs)) − p (t2 , s, x(s), x(λs))| ds
0
Z
T
≤ |p (t1 , s, x(s), x(λs)) − p (t2 , s, x(s), x(λs))| ds
0
"Z #
σ2 (t′ )
′
+ |q(t) − q(t′ )|kx∗ (v)k + |p (t , s, x(s), x(λs))| ds kx∗ (v)k
σ2 (t)
where
G(t, t′ ) := |x∗ ((Cx)(t) − (Cx)(t′ ))| ,
w(q, ε) = sup {|q(t) − q(t′ )| : t, t′ ∈ J ; |t − t′ | ≤ ε} ,
w(p, ε) = sup {|p(t, s, x, y) − p(t′ , s, x, y)| : |t − t′ | ≤ ε} , and
t,t′ , s∈J, x,y∈S
w(σ , ε) = sup {|σ (t) − σ (t′ )| : t, t′ ∈ J ; |t − t′ | ≤ ε} .
2 2 2
By taking into account the assumption (R21 ), and in view of the uniform
continuity of the functions q and σ on the set J, it follows that w(q, ε) →
0, w(p, ε) → 0 and w(σ2 , ε) → 0 as ε → 0. By applying Arzelà–Ascoli’s
theorem (see Theorem 1.3.9), we conclude that C(Br0 ) is sequentially weakly
relatively compact in X. Again, an application of Eberlein–Šmulian’s theorem
(see Theorem 1.3.3) implies that C(Br0 ) is relatively weakly compact. As a
result, C is weakly compact. Now, the use of the assumption (R22 ) and Lemma
3.1.3 allows us to deduce that the operator A is condensing.
We should notice that, for all x ∈ (I − D)−1 C(Br0 ), there exists a unique
z ∈ C(J, X) such that z = x, with kzk ≤ δ. Therefore,
Z !
σ1 (t)
ky(t)k ≤ kf (t, x(t))k + ka(t)z(t)k
k(t, s)f1 (s, z(η(s)))ds · u
0
Z !
T
′
≤ k kx(t)k + ka(t)kkz(t)k |k(t, s)λ|kz(η(s))kds kuk∞
0
where
K = sup |k(t, s)|.
t,s∈J
Since y ∈ C(J, X), there is t∗ ∈ J such that kyk∞ = ky(t∗ )k and so, kyk∞ ≤ r0
in view of the last inequality in (7.37). Hence, the hypothesis (iii) of Theorem
4.3.7 is satisfied, which achieves the proof. Q.E.D.
(c) for each real number r > 0, there exists a function hr ∈ L1 (J, R), such
that
|f (t, x)| ≤ hr (t) ; t ∈ J
(a) |f1 (t, x(t))| ≤ |x(t)|, for x ∈ C(J, R) such that kxk∞ ≤ r.
kbk∞ (1 + k)
(c) K2 khr kL1 + K1 kl1 kL1 < k.
1−k
rK2 kl2 kL1
(d) 0 ≤ < 1.
(1 − k)2
Theorem 7.4.2 Under the assumptions (R25 )–(R31 ), the FIE (7.39) has, at
least, one solution in C(J, R) × C(J, R).
This shows that A is Lipschitzian with the constant K1 kl1 kL1 . By using
the same argument, we conclude that B ′ is Lipschitzian with the constant
K2 kl2 kL1 . Again from assumption (R30 )(a), we deduce that the operator
C is Lipschitzian with the constant (1 + k)kbk∞ . Next, we will show that
C(S) ⊂ (I − D)(S). Let x ∈ S and t ∈ J. Then, it is easy to justify that
1
(Cx)(t) = (I − D) (t).
1 + b|x|
{xn }∞
n=0 be any sequence in S weakly converging to a point x. Then, x ∈ S
since S is weakly closed in C(J, R), and by using Dobrakov’s theorem (see
Theorem 1.4.1), we have for all t ∈ J
xn (t) ⇀ x(t) in R.
Since C is Lipschitzian, then Cxn (t) → Cx(t) and consequently, Cxn → Cx.
This shows that C is a strongly continuous operator on S. Clearly, B(I −
1
D)−1 C is regular on S ⊇ B ′ (I − D)−1 C(S), since (I − D)−1 Cx = ,
1 + b|x|
−1
for all x ∈ S. Therefore, TI exists on B ′ (S). To see it, let y ∈ S be
arbitrary, with
I
(x) = y, for some x ∈ S,
B(I − D)−1 C
For each t ∈ J such that b(t) = 0, we have x = y. Then, for each t ∈ J such
that b(t) > 0, we obtain
!2
p 1 1
b(t)|x(t)| + p = + |y(t)|
2 b(t) 4b(t)
Hence, r
−1 1
b(t)|x(t)| = + + b(t)|y(t)|
2 4
and consequently,
y(t) y(t)
x(t) = = r .
1 + b(t)|x(t)| 1 1
+ + b(t)|y(t)|
2 4
314 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
(1 + k)kbk∞
M1 + K1 kl1 kL1 < k.
1−k
Now, since
M2 = sup kB(I − D)−1 Cxk ≤ sup kBxk ≤ r,
x∈S x∈S
then we have
M2 K2 kl2 kL1
0≤ < 1.
(1 − k)2
Two-Dimensional Boundary Value Problems 315
x = Ax + T x · T ′ y, for some y ∈ S.
Z σ1 (t)
≤ k1 (t, s) |f1 (s, x(η1 (s)))| ds
0
Z 1
1 1
+ k2 (t, s) f2 s, ds
1 + b(t)|x(t)| 0 1 + b(η2 (s))|x(η2 (s))|
Z 1 Z 1
≤ K1 |x(η1 (s))| ds + K2 hr (s)ds
0 0
≤ r.
Before studying Eq. (7.41), we show that a non-compact map of the form
F x = Hx + Lx.Kx
Obviously, [
F (C) ⊂ Si,j .
i,j
≤ µ(C) + ε.
Proposition 7.5.1 Let S be a subset of a Banach algebra (X, k.kX ), and let
H, K, and L be three maps from S into X. Assume that:
(i) H maps bounded sets into bounded ones and there exists a constant λ such
that µ(H(C)) ≤ λµ(C) for every bounded set C ∈ S,
(ii) L maps bounded sets into bounded ones and there exists a constant α such
that µ(L(C)) ≤ αµ(C) for every bounded set C ∈ S,
(iii) K is a compact operator, and
Now, the following theorem shows that, under some conditions, an operator
of the form F := A + T.T ′ may have a fixed point.
318 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
(iii) D is a k-contraction,
For the following, let us define the subsets S and S ′ on Cb (I) by:
S := {x ∈ Cb (I), kxk ≤ r}
Two-Dimensional Boundary Value Problems 319
(R33 ) f1 : I × R −→ R satisfies :
(d) lima−→∞ supf2 (.,x)∈f2 (.,S) {sup{|f2 (t, x)|; t ∈ I, |t| ≥ a}} = 0.
(R35 ) g2 : I × R −→ R satisfies :
(ii) for every r > 0 and for all t ∈ I, the function s −→ sup|x|≤r |g(t, s, x)|
320 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
belongs to L1 (I),
R
(iii) for every r > 0, limt∈I,|t|→+∞sup|x|≤r |g(t, s, x)|ds = 0, and
I
R
(iv) for every r > 0 and for every τ ∈ I, limt→τ I sup|x|≤r |g(t, s, x) −
g(τ, s, x)|ds = 0.
R (1 − α)r − kh(0)k
(R37 ) k I g(t, s, x(s)dsk ≤ .
ηp + kf1 (., 0)k
Now, we can prove the following theorem:
Theorem 7.5.3 Under the assumptions (R32 )–(R37 ), the problem (7.41)
ηθ (1−α)r−kh(0)k
has, at least, one solution in Cb (I) whenever α + 1−k ηp+kf1 (.,0)k < 1.
(i) It is clear that the operator A maps Cb (I) into itself and is α-Lipschitzian in
view of assumption (R32 ). Let us consider the superposition operators B, C,
and D. The hypotheses on the functions f1 , f2 , and g2 ensure that operators
B, C, and D map Cb (I) into itself and that B and C are Lipschitzian with
constants η, and θ, respectively.
(ii) Now, let us show that the set C(S) is relatively compact. Knowing that
C(S) := {Cx : x ∈ S}, this subset is nothing else than
First, let us show that C(S) is bounded. For this purpose, let x ∈ S. Then,
≤ sup kf2 (t, x(t)) − f2 (t, 0)k + sup kf2 (t, 0)k
t∈I t∈I
(iv) Next, let us show that C(S) ⊂ (I − D)(S ′ ). To do so, let x ∈ S be fixed
and let us define a mapping
ϕx : Cb (I) −→ Cb (I)
y −→ Cx + Dy.
kyk = kCx + Dyk ≤ θr + kf2 (., 0)k + kkyk + kg2 (., 0)k,
which leads to
θr + kf2 (., 0)k + kg2 (., 0)k
kyk ≤
1−k
≤ p.
(v) In order to achieve the proof, it is sufficient to verify that Ax+ T x.T ′x ∈ S
322 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
We will seek the solution of IVP (7.42) in the space C(J, R) of continuous and
real-valued functions on J. Consider the norm k.k and the multiplication “ · ”
in the Banach algebra C(J, R) of continuous functions on J by kxk = sup|x(t)|
t∈J
and
(x · y)(t) = x(t) · y(t) ; t ∈ J
for all x, y ∈ C(J, R).
for some x ∈ C(J, R). The integral of the multi-valued function Q is defined
as Z t Z t
1
Q(s, x(s))ds = v(s)ds ; v ∈ SQ (x) .
0 0
The following lemmas can be found in [120].
324 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
1
L ◦ SQ : C(J, X) −→ Pcp, cv (C(J, X))
(b) The function t −→ p(t, x) is continuous on J, for all x ∈ C(J, R), and
(7.43)
x0 − k(0, x0 ) 1
where M (x0 , y0 ) := , < P = sup{|p(t, 0)| ; t ∈ J} < 1, K =
f (0, y0 ) 2
sup{|k(t, 0)|}, and F = sup{|f (t, 0)|}. Then, the system (7.42) has a solution.
t∈J t∈J
• Ax(t) = k(t, x(t)), Bx(t) = f (t, x(t)), and Dx(t) = p(t, x(t))
1 1
• Cx(t) = − p t, , and
1 + b(t)|x(θ(t))| 1 + b(t)|x(θ(t))|
Z t
x0 − k(0, x0 ) 1
• B′x = u ∈ X such that u(t) = + v(s)ds ; v ∈ SG (x) .
f (0, y0 ) 0
For all t ∈ J, the problem IVP (7.42) may be abstractly written in the form
′
x(t) ∈ Ax(t) + By(t) · B y(t)
y(t) = Cx(t) + Dy(t)
It is obvious that S and S ′ are nonempty, bounded, convex, and closed subsets
of C(J, R), and similarly it is clear that the operator B ′ is well defined since
1
SG 6 ∅, for each x ∈ C(J, R).
(x) =
326 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
and Z t
x0 − k(0, x0 )
u2 (t) = + v2 (s)ds ; t ∈ J.
f (0, y0 ) 0
Two-Dimensional Boundary Value Problems 327
Z t
x0 − k(0, x0 )
= + v(s)ds
f (0, y0 ) 0
where v(s) = λv1 (s) + (1 − λ)v2 (s) ∈ G(s, x(s)), for all s ∈ J. Hence,
λu1 +(1−λ)u2 ∈ B ′ x and consequently, B ′ x is convex for each x ∈ C(J, R). As
a result, B ′ defines a multi-valued operator B ′ : C(J, R) −→ Pcp, cv (C(J, R)).
By using hypothesis (R41 )(a), we reach the result that the operator ϕx is a
contraction with a constant k. Then, an application of the Banach’s theorem
implies that there is a unique point y ∈ C(J, R) such that Cx+Dy = y. Hence,
q 2 + 2q + 2P − 1 ≤ 0.
Accordingly, we have
1 + q + 2P ≤ (2 + q)(1 − q)
Z t
x0 − k(0, x0 )
≤ + kG(s, x(s))k ds
f (0, y0 ) 0
Z t
x0 − k(0, x0 )
≤ + h(s)ds
f (0, y0 ) 0
x0 − k(0, x0 )
≤ + khkL1
f (0, y0 )
1
Then, K ◦ SG (x) is a closed graph operator, in view of Lemma 5.4 in [74].
Also, from the definition of K, we have
x0 − k(0, x0 ) 1
yn (t) − ∈ K ◦ SG (x).
f (0, y0 )
1
Since yn → y, there is a point v ∈ SG (x), such that
Z t
x0 − k(0, x0 )
y(t) = + v(s)ds ; t ∈ J.
f (0, y0 ) 0
≤ sup{kB ′ xkP ; x ∈ S}
x0 − k(0, x0 )
≤
f (0, y0 ) + khkL1 .
Therefore, we have
Z t
|y(t)| ≤ |k(t, x(t))| + |f (t, z(t))| |v(s)|ds
0
≤ |k(t, x(t)) − k(t, 0)| + |k(t, 0)| + |f (t, z(t)) − f (t, 0)|
+ |f (t, 0)| khkL1
≤ 1 + q.
inclusion
′
x(t) − k(t, x(t)) x(t) − k(t, x(t))
+ h(t) ∈ Gh (t, x(t), y(t))
f (t, y(t)) f (t, y(t))
1 1 (7.45)
y(t) = − p t, + p(t, y(t))
1 + b(t)|x(θ(t))| 1 + b(t)|x(θ(t))|
(x(0), y(0)) = (x(T ), y(T )) ∈ R2 ,
H(s)−H(t)+H(T )
e
if 0 ≤ s ≤ t ≤ T
eH(T ) − 1
gh (t, s) = (7.46)
H(s)−H(t)
e
if 0 ≤ t < s ≤ T
eH(T ) − 1
332 Nonlinear Functional Analysis in Banach Spaces and Banach Algebras
Z t
with H(t) = h(s)ds.
0
Lemma 7.6.4 Assume that the hypotheses (R43 ) and (R44 ) hold. Then, for
any bounded integrable function h on J, (x, y) is a solution of the differential
inclusion (7.45) if, and only if, it is a solution of the integral equation
Z T
x(t) ∈ k(t, x(t)) + f (t, y(t)) · gh (t, s)Gh (s, x(s), y(s))ds
0
1 1
y(t) = − p t, + p(t, y(t)) ,
1 + b(t)|x(θ(t))| 1 + b(t)|x(θ(t))|
(x(0), y(0)) = (x(T ), y(T )) ∈ R2
Theorem 7.6.2 Assume that the hypotheses (R43 )–(R50 ) hold. Moreover, if
there exists a real number r > 0 such that:
1
kl1 k∞ + kl2 k∞ Mh k̺kL1 ϕ(r) < 2
(7.47)
max K + F Mh k̺kL1 ϕ(r) ; 3 + P ≤ r ,
4 2
1
where 2 < P = sup{|p(t, 0)| ; t ∈ J} < 1, K = sup{|k(t, 0)|}, and F =
t∈J
sup{|f (t, 0)|}, then, Eq. (7.45) has, at least, a solution.
t∈J
Proof. Let us define an open ball B r (0) in C(J, R), centered at the origin and
with radius r, where the real number r satisfies the inequalities of Eq. (7.47).
Consider the mapping A, B, C, D, and B ′ on C(J, R) by:
(i) Ax(t) = k(t, x(t)), Bx(t) = f (t, x(t)), Dx(t) = p(t, x(t)),
1 1
(ii) Cx(t) = − p t, , and
1 + b(t)|x(θ(t))| 1 + b(t)|x(θ(t))|
Z t
′ 1
(iii) B x = u ∈ C(J, R) : u(t) = R(x0 , y0 ) + gh (t, s)v(s)ds ; v ∈ SGh (x)
0
x0 − k(0, x0 )
for all t ∈ J, where R(x0 , y0 ) := . Then, the system IVP (7.42)
f (0, y0 )
is equivalent to the operator inclusion
′
x(t) ∈ Ax(t) + By(t) · B y(t)
y(t) = Cx(t) + Dy(t).
and Z t
x0 − k(0, x0 )
u2 (t) = + gh (t, s)v2 (s)ds ; t ∈ J.
f (0, y0 ) 0
Z t
x0 − k(0, x0 )
= + v(s)ds,
f (0, y0 ) 0
where v(s) = λv1 (s) + (1 − λ)v2 (s) ∈ Gh (s, x(s), y(s)) for all s ∈ J. Hence,
λu1 + (1 − λ)u2 ∈ B ′ x and consequently, B ′ x is convex for each x ∈ C(J, R).
Then, B ′ defines a multi-valued operator B ′ : C(J, R) −→ Pcp, cv (C(J, R)).
Proceeding as in the proof of Theorem 7.6.1, we deduce that the single-valued
operators A, B, and C are Lipschitzian with the constants kl1 k∞ , kl2 k∞ and
kbk∞ + q, respectively. Under the assumption (R47 )(a), we get C(B r (0)) ⊂
(I − D)(C(J, R)). Since y ∈ C(J, R), then there exists t∗ ∈ J such that
1 + q + 2P
kyk∞ = |Cx(t∗ ) + Dy(t∗ )| ≤ ≤ r.
1−q
Hence,
Z t
x0 − k(0, x0 )
|u(t)| ≤ + gh (t, s) kGh (s, x(s), y(s))kP ds ; t ∈ J,
f (0, y0 ) 0
Z t
x0 − k(0, x0 )
≤ + gh (t, s)̺(s)ϕ(|y(s)|)ds ; t ∈ J,
f (0, y0 ) 0
Z t
x0 − k(0, x0 )
≤ + gh (t, s)k̺kL1 ϕ(r)ds ; t ∈ J,
f (0, y0 ) 0
x0 − k(0, x0 )
≤ + Mh k̺kL1 ϕ(r) ; t ∈ J.
f (0, y0 )
Z t
≤ (−h(t))k̺kL1 ϕ(r)ds |t1 − t2 |
0
≤ max(h(t))Mh k̺kL1 ϕ(r) |t1 − t2 |.
t∈J
This shows with the Arzelà–Ascoli theorem, that B ′ (B r (0)) is totally bounded.
Next, we demonstrate that B ′ is an upper semi-continuous multi-valued map-
ping on C(J, R). Let {xn } be a sequence in C(J, R) such that xn → x. Let {yn }
be a sequence such that yn ∈ B ′ xn and yn → y. We will prove that y ∈ B ′ x.
Since yn ∈ B ′ xn , there exists a vn ∈ SG1
(xn ) such that
Z t
x0 − k(0, x0 )
yn (t) = + gh (t, s)vn (s)ds ; t ∈ J.
f (0, y0 ) 0
1
We must prove that there exists a v ∈ SG h
(x) such that
Z t
x0 − k(0, x0 )
y(t) = + gh (t, s)v(s)ds ; t ∈ J.
f (0, y0 ) 0
1
Since yn → y, there is a point v ∈ SG h
(x) such that
Z t
x0 − k(0, x0 )
y(t) = + gh (t, s)v(s)ds ; t ∈ J.
f (0, y0 ) 0
≤ sup{kB ′ xkP ; x ∈ S}
Z t
x0 − k(0, x0 )
≤ |gh (t, s)|kGh (s, x(s), y(s))kP ds
f (0, y0 ) +
0
x0 − k(0, x0 )
≤
f (0, y0 ) + Mh k̺kL1 ϕ(r).
Therefore, we have
Z t
|y(t)| ≤ |k(t, x(t))| + |f (t, z(t))| g(h, s)|v(s)|ds
0
≤ |k(t, x(t)) − k(t, 0)| + |k(t, 0)| + |f (t, z(t)) − f (t, 0)|
+ |f (t, 0)| Mh k̺kL1 ϕ(r)
< r.
[1] Agarwal, R. P., Hussain, N., Taoudi, M. A.: Fixed point theorems in
ordered Banach spaces and applications to nonlinear integral equations.
Abstr. Appl. Anal., Art. ID 245872, 15 pp. MR2947757 (2012).
[2] Agarwal, R. P., Meehan, M., O’Regan, D.: Fixed Point Theory and Ap-
plications. Cambridge University Press, Cambridge (2001).
[3] Agarwal, R. P., O’Regan, D., Sahu, D. R.: Fixed Point Theory for Lips-
chitzian type Mappings with Applications. Springer, New York (2009).
[4] Agarwal, R. P., O’Regan, D., Taoudi, M. A.: Fixed point theorems for
(ws)-compact mappings in Banach spaces. Fixed Point Theory Appl. 1–
13 (2010).
[5] Agarwal, R. P., O’Regan, D., Taoudi, M. A.: Fixed point theorems for
convex-power condensing operators relative to the weak topology and
applications to Volterra integral equations. J. Integral Equations Appl.
24: 167–181 (2012).
[9] Appell, J., De Pascale, E.: Su alcuni parametri connessi con la misura
di non compattezza di Haussdorff in spazi di funzioni misurabili. Boll.
Unione Mat. Ital. Sez. B 6: 497–515 (1984).
339
340 Bibliography
[10] Arino, O., Gautier, S., Penot, J. P.: A fixed point theorem for sequentially
continuous mapping with application to ordinary differential equations.
Functional. Ekvac. 27: 273–279 (1984).
[11] Atkinson, F. V., Langer, H., Mennicken, R., Shkalikov, A. A.: The essen-
tial spectrum of some matrix operators. Math. Nachr. 167: 5–20 (1994).
[12] Averna, D., Marano, S. A.: Existence of solutions for operator inclu-
sions: A unified approach. Rendiconti del Seminario Matematico della
Universit di Padova 102: 285–303 (1999).
[15] Banas, J., Lecko, L.: Fixed points of the product of operators in Banach
algebras. Panamer. Math. J. 12: 101–109 (2002).
[17] Banas, J., O’Regan, D.: On existence and local attractivity of solutions
of a quadratic integral equation of fractional order. J. Math. Anal. Appl.
345: 573–582 (2008).
[18] Banas, J., Rivero, J.: On measures of weak noncompactness. Ann. Mat.
Pura Appl. 151: 213–224 (1988).
[19] Banas, J., Rzepka, B.: Monotonic solutions of a quadratic integral equa-
tion of fractional order. J. Math. Anal. Appl. 332: 1371–1379 (2007).
[21] Banas, J., Taoudi, M. A.: Fixed points and solutions of operator equa-
tions for the weak topology in Banach algebras. Taiwanese Journal of
Mathematics 18: 871–893 (2014).
[22] Barroso, C. S.: Krasnoselskii’s fixed point theorem for weakly continuous
maps. Nonlinear Anal. 55: 25–31 (2003).
Bibliography 341
[24] Bátkai, A., Binding, P., Dijksma, A., Hryniv, R., Langer, H.: Spectral
problems for operator matrices. Math. Nachr. 278: 1408–1429 (2005).
[25] Ben Ali, N., Jeribi, A., Moalla, N.: On some subsets of Schechter’s essen-
tial spectrum of a matrix operator and application to transport operator.
Math. Nachr. 283: 1245–1256 (2010).
[26] Ben Amar, A., Chouayekh, S., Jeribi, A.: New fixed point theorems in
Banach algebras under weak topology features and applications to non-
linear integral equations. J. Funct. Anal. 259: 2215–2237 (2010).
[27] Ben Amar, A., Chouayekh, S., Jeribi, A.: Fixed-point theory in a new
class of Banach algebras and applications. Afr. Mat. 24: 705–724 (2013).
[28] Ben Amar, A., Chouayekh, S., Jeribi, A.: Fixed point results in Banach
algebras for weakly convex-power condensing operators and applications.
Preprint (2015).
[29] Ben Amar, A., Feki, I., Jeribi, A.: Krasnoselskii–Schaefer type fixed point
theorems for weakly sequentially cotinuous mappings. Fixed Point The-
ory (2015).
[30] Ben Amar, A., Jeribi, A., Krichen, B.: Essential spectra of a 3×3 operator
matrix and an application to three-group transport equations. Integr.
Equ. Oper. Theory 68: 1–21 (2010).
[31] Ben Amar, A., Jeribi, A., Krichen, B.: Fixed point theorems for block op-
erator matrix and an application to a structured problem under bound-
ary conditions of Rotenberg’s model type. Math. Slovaca 64: 155–174
(2014).
[32] Ben Amar, A., Jeribi, A., Mnif, M.: On generalization of the Schauder
and Krasnosel’skii fixed point theorems on Dunford–Pettis space and
applications. Math. Meth. Appl. Sci. 28: 1737–1756 (2005).
[33] Ben Amar, A., Jeribi, A., Mnif, M.: Some fixed point theorems and
application to biological model. Numer. Funct. Anal. Optim. 29: 1–23
(2008).
342 Bibliography
[34] Ben Amar, A., Jeribi, A., Moalla, R.: Leray–Schauder alternatives in
Banach algebra involving three operators with applications. Fixed Point
Theory 2: 359–372 (2014).
[35] Ben Amar, A., Mnif, M.: Leray–Schauder alternatives for weakly sequen-
tially continuous mappings and application to transport equation. Math.
Methods Appl. Sci. 33: 80–90 (2010).
[36] Ben Amar, A., Sikorska-Nowak. A.: On some fixed point theorems for
1-set weakly contractive multi-valued mappings with weakly sequentially
closed graph. Adv. Pure. Math. 1: 163–169 (2011).
[37] Bonanno, G., Marano, S. A.: Positive solutions of elliptic equations with
discontinuous nonlinearities. Topological Methods in Nonlinear Analysis
8: 263–273 (1996).
[38] Boulanouar, M., Leboucher, L.: Une équation de transport dans la dy-
namique de population cellulaires. C. R. Acad. Sci. Paris, t. 321: Série
I, 305–308 (1995).
[40] Brezis, H.: Analyse fonctionnelle. Tho. et Appl., Masson, Paris (1983).
[41] Brooks, R. M., Schmitt, K.: The contraction mapping principle and some
applications. Electronic Journal of Differential Equations, Monograph 09
(2009).
[45] Brown, R. F., Furi, M., Gorniewicz, L., Jiang, B.: Handbook of Topologi-
cal Fixed Point Theory: Fixed Point Theory. Springer, Dordrecht (2005).
Bibliography 343
[47] Burton, T. A.: Integral equations, implicit functions, and fixed points.
Proc. Amer. Math. Soc. 124: 2383–2390 (1996).
[48] Burton, T. A.: A fixed point theorem of Krasnoselskii. Appl. Math. Lett.
11: 85–88 (1998).
[50] Caballero, J., Lopez, B., Sadarangani, K.: Existence of non decreasing
and continuous solutions of an integral equation with linear modification
of the argument. Acta Math. Sin. (Engl. Ser.) 23: 1719–1728 (2007).
[51] Cain, Jr., G. L., Nashed, M. Z.: Fixed points and stability for a sum
of two operators in locally convex spaces. Pacific J. Math. 39: 581–592
(1971).
[54] Chang, S. S., Cho, Y. J., Huang, N. J.: Coupled fixed point theorems
with applications. J. Korean Math. Soc. 33: 575–585 (1996).
[56] Charfi, S., Jeribi, A., Walha, I.: Essential spectra, matrix operator and
applications. Acta Appl. Math. 111: 319–337 (2010).
[58] Covitz, H., Nadler jr., S. B.: Multivalued contraction mappings in gen-
eralized metric spaces. Israel J. Math. 8: 5-11 (1970).
344 Bibliography
[59] Damak, M., Jeribi, A.: On the essential spectra of some matrix operators
and applications. Electron. J. Differential Equations 11: 1–16 (2007).
[64] De Blasi, F. S.: On a property of the unit sphere in a Banach space. Bull.
Math. Soc. Sci. Math. R. S. Roumanie (N.S.) 21: 259–262 (1977).
[66] Dhage, B. C.: On some variants of Schauder’s fixed point principle and
applications to nonlinear integral equations. J. Math. Phys. Sci. 22: 603–
611 (1988).
[68] Dhage, B. C.: Local fixed point theory for sum of two operators. Fixed
Point Theory 4: 49–60 (2003).
[70] Dhage, B. C.: A fixed point theorem in Banach algebras involving three
operators with applications. Kyungpook Math. J. 44: 145–155 (2004).
[71] Dhage, B. C.: On a fixed point theorem in Banach algebras with appli-
cations. Appl. Math. Lett. 18: 273–280 (2005).
[76] Dhage, B. C., Ntouyas, S. K.: An existence theorem for nonlinear func-
tional integral equations via a fixed point theorem of Krasnoselskii–
Schaefer type. Nonlinear Digest 9: 307–317 (2003).
[77] Dhage, B. C., O’Regan, D.: A fixed point theorem in Banach algebras
with applications to functional integral equations. Funct. Differ. Equ. 7:
259–267 (2000).
[79] Djebali, S., Górniewicz, L., Ouahab, A.: Solution Sets for Differential
Equations and Inclusions. De Gruyter Series in Nonlinear Analysis and
Applications, 18. Walter de Gruyter, Berlin. (2013).
[80] Djebali, S., Sahnoun, Z.: Nonlinear alternatives of Schauder and Kras-
nosel’skij types with applications to Hammerstein integral equations in
L1 spaces, J. Differential Equations 249: 2061–2075 (2010).
[82] Dodds, P., Fremlin, J.: Compact operator in Banach lattices. Isra. J.
Math. 34: 287–320 (1979).
[84] Engel, Klaus. J.: Operator matrices and systems of evolution equations.
Manuscript, Tübingen (1996).
346 Bibliography
[85] Furi, M., Pera, P.: A continuation method on locally convex spaces and
applications to ordinary differential equations on noncompact intervals.
Ann. Polon. Math. 47: 331–346 (1987).
[88] Granas, A., Dugundji, J.: Fixed Point Theory Springer-Verlag, New York
(2003).
[90] Gowda, M. S., Isac, G.: Operators of class (S)1+ , Altman’s condition and
the complementarity problem. J. Fac. Sci. Univ. Tokyo, Sect. IA, Math.
40: 1–16 (1993).
[93] Guo, D., Lakshmikantham, V., Liu, X.: Nonlinear Integral Equations in
Abstract Cones. Kluwer Academic Publishers (1996).
[96] Hong-Bo, S.: The fixed point theorem of convex-power condensing and its
applications in locally convex spaces. J. Southwest Univ. 29: 1–5 (2007).
[97] Hu, S., Khavanin, M., Zhuang, W.: Integral equations arising in the
kinetic theory of gases. Applicable Analysis 34: 261–266 (1989).
Bibliography 347
[99] Jeribi, A.: A nonlinear problem arising in the theory of growing cell
populations. Nonl. Anal.: Real World Applications 3: 85–105 (2002).
[100] Jeribi, A.: Spectral Theory and Applications of Linear Operators and
Block Operator Matrices. Springer-Verlag, New-York (2015).
[101] Jeribi, A., Kaddachi, N., Krichen, B.: Existence results for a system of
nonlinear functional integral equations in Banach algebras under weak
topology. To appear in Fixed point Theory (2015).
[102] Jeribi, A., Kaddachi, N., Krichen, B.: Existence Results for a coupled
system of perturbed functional differential inclusions in Banach algebras.
Preprint (2015).
[103] Jeribi, A., Krichen, B., Mefteh, B.: Existence of solutions of a two-
dimensional boundary value problem for a system of nonlinear equations
arising in growing cell populations. J. Biol. Dyn. 7: 218–232 (2013).
[104] Jeribi, A., Krichen, B., Mefteh, B.: Existence of solutions of a nonlinear
Hammerstein integral equation. Numer. Funct. Anal. Optim. 35: 1328–
1339 (2014).
[105] Jeribi, A., Krichen, B., Mefteh, B.: Fixed point theory in WC–Banach
algebras. Preprint (2015).
[106] Jeribi, A., Moalla, N., Walha, I.: Spectra of some block operator matrices
and application to transport operators. J. Math. Anal. Appl. 351: 315–
325 (2009).
[107] Jeribi, A., Walha, I.: Gustafson, Weidmann, Kato, Wolf, Schechter and
Browder essential spectra of some matrix operator and application to
two-group transport equation. Math. Nachr. 284: 67–86 (2011).
[108] Kaddachi, N., Jeribi, A., Krichen, B.: Fixed point theorems of block
operator matrices On Banach algebras and an application to functional
integral equations. Math. Meth. Appl. Sci. 36: 659–673 (2013).
[111] Krichen, B.: Spectral Properties and Fixed Point Theory for Block Oper-
ator Matrix: Fixed Point Theory, Spectral Properties for Block Operator
Matrix and Applications to Transport Equation. Scholars’ Press (2014).
[112] Kubiaczyk, I.: On a fixed point theorem for weakly sequentially contin-
uous mapping. Discuss. Math., Differ. Incl. 15: 15–20 (1995).
[113] Kubiaczyk, I., Szufla, S.: Kneser’s theorem for weak solutions of ordi-
nary differential equations in Banach spaces. Publ. Inst. Math. (Beograd)
(N.S.) 46: 99–103 (1982).
[114] Kuratowski, K.: Sur les espaces complets. Fund. Math. 15: 301-309
(1930).
[116] Latrach, K.: Compactness results for transport equations and applica-
tions. Math. Mode. Meth. Appl. Sci. 11: 1182–1202 (2001).
[117] Latrach, K., Jeribi, A.: Sur une équation de transport intervenant en
dynamique des populations. C. R. Acad. Sci. Paris, t. 325 Série I 1087–
1090 (1997).
[118] Latrach, K., Jeribi, A.: A nonlinear boundary value problem arising
in growing cell populations. Nonlinear Analysis, T.M.A. 36: 843–862
(1999).
[119] Latrach, K., Taoudi, M. A., Zeghal, Z.: Some fixed point theorems of
the Schauder and the Krasnosel’skii type and application to nonlinear
transport equations. Differential Equations 221: 256–271 (2006).
[120] Lasota, A., Opial, Z.: An application of the Kakutani–Ky Fan theorem
in the theory of ordinary differential equations, Bull. Acad. Pol. Sci. Ser.
Sci. Math. Astronom. Phy. 13: 781–786 (1965).
[121] Lebowitz, J. L., Rubinow, S. I.: A theory for the age and generation
time distribution of microbial population. J. Math. Bio. 1: 17–36 (1974).
Bibliography 349
[124] Liu, Y. C., Li, Z. X.: Schaefer type theorem and periodic solutions of
evolution equations. J. Math. Anal. Appl. 316: 237–255 (2006).
[125] Liu, Y. C., Li, Z. X.: Krasnoselskii type fixed point theorems and appli-
cations. Proc. Amer. Math. Soc. 136: 1213–1220 (2008).
[129] Moalla, N., Damak, M., Jeribi, A.: Essential spectra of some matrix
operators and application to two-group transport operators with general
boundary conditions. J. Math. Anal. Appl. 323: 1071–1090 (2006).
[131] Nashed, M. Z., Wong, J. S. W.: Some variants of a fixed point theorem of
Krasnoselskii and applications to nonlinear integral equations. J. Math.
Mech. 18: 767–777 (1969).
[132] Nieto, J. J.: Periodic boundary value problems for first order impulsive
ODEs. Nonlinear Anal. 51: 1223–1232 (2002).
[133] O’Regan, D.: Existence results for nonlinear Volterra and Hammerstein
integral equations. Dynamical systems and applications. (Edited by R.
P. Agarwal) World Scientific Series in Applicable Analysis, River Edge,
New Jersey 4: 601–615 (1995).
[134] O’Regan, D.: Fixed point theory for weakly sequentially continuous
mappings. Math. Comput. Modelling. 27: 1–14 (1998).
350 Bibliography
[135] O’Regan, D.: Fixed point theorems for weakly sequentially closed maps.
Archivum Mathematicum (Brno) Tomus, 36: 61–70 (2000).
[136] O’Regan, D., Meehan, M.: Existence Theory for Nonlinear Integral and
Integrodifferential Equations. Kluwer Academic Publishers, Dordrecht
(1998).
[137] Palmucci, M., Papalini, F.: Periodic and boundary value problems for
second order differential inclusions. Journal of Applied Mathematics and
Stochastic Analysis. 14: 161–182 (2001).
[140] Petryshyn, W. V.: Fixed point theorems for various classes of 1-set-
contractive and 1-ball-contractive mappings in Banach spaces. Transac-
tions of the American Mathematical Society. 182: 323–352 (1973).
[142] Rotenberg, M.: Transport theory for growing cell populations. J. Theo.
Biol. 103: 181–199 (1983).
[145] Schaefer, H. H.: Uber Methode der a priori-Schranken. Math. Ann. 129:
415–416 (1955).
[149] Smart, D.R.: Fixed Point Theorems. Cambridge University Press, Cam-
bridge (1980).
[150] Taoudi, M. A.: Krasnosel’skii type fixed point theorems under weak
topology features. Nonlinear Anal. 72: 478–482 (2010).
[151] Tretter, C.: Spectral Theory of Block Operator Matrices and Applica-
tions. Impe. Coll. Press, London (2008).
[152] Van der Mee, C., Zweifel, P.: A Fokker–Plank equation for growing cell
population. J. Math. Biol. 25: 61–72 (1987).
[153] Vrabie, I. I., Cuza, Al. I., Mayer, O.: C0 -Semigroups and Applications.
Elseiver, New york (2003).
[154] Zeidler, E.: Nonlinear Functional Analysis and Its Applications. Vol I,
Springer, New York (1986).