Radu Precup (Auth.) - Methods in Nonlinear Integral Equations-Springer Netherlands (2002)
Radu Precup (Auth.) - Methods in Nonlinear Integral Equations-Springer Netherlands (2002)
Methods in Nonlinear
Integral Equations
by
Radu Precup
Department ofApplied Mathematics,
Babe§-Bolyai University,
Cluj, Romania
Preface xi
Notation xiii
o Overview 1
Vll
viii Contents
References: Part I 77
II VARIATIONAL METHODS 83
Index 217
Preface
Nonlinear integral equations represent the major source of nonlinear op-
erators and, by this, equally, the motor and the testing ground of a vast
domain of nonlinear analysis, namely the theory of nonlinear operators.
This book is intended to present some of the most useful tools of nonlin-
ear analysis in studying systems of integral equations (integral equations in
Rn).
The book is divided into three parts: fixed point methods, variational
methods, and iterative methods. Each part contains a number of chap-
ters of theory and applications. The methods we deal with are: Schauder's
fixed point theorem; the Leray-Schauder principle; direct variational meth-
ods; the mountain pass theorem; the discrete continuation principle; mono-
tone iterative techniques; methods of upper and lower solutions; Newton's
method; and the generalized quasilinearization method.
We note that the selected topics reflect the particular interests of the
author and that many contributions to the subject, as well as some other
important treatment methods of the nonlinear integral equations have not
been included for the sake of brevity.
The lists of references, one for each part, include only referenced titles;
they are just intended to guide the reader through the enormous existing
literature and not to provide a complete bibliography on the subject.
The presentation is essentially self-contained and leads the reader from
basic concepts and results to current ideas and methods of nonlinear anal-
ysis.
We hope the book will be of interest to graduate students, and theoret-
ical and applied mathematicians in nonlinear functional analysis, integral
equations, ordinary and partial differential equations and related fields.
Radu Precup
Notation
n
(x, y) Euclidian inner product in Rn, (x,y) = 2: XiYi,
i=l
also denoted by X· Y
x5,y natural order relation in R n : Xi 5, Yi for all i
x<y strict order relation in R n : Xi < Yi for all i
x5,a for x E R n and a E R : Xi 5, a for all i
J-L Lebesgue measure in Rn
X,Y,Z metric spaces, real Banach or Hilbert spaces
X* dual space of X
1·1 norm in X, also denoted by 1.lx
(., .) inner product in a Hilbert space; also for u E X
and u* E X*, (u*,u) is the value of u* at u, u* (u)
Br (u;X) open ball {v EX: lu - vi < r} ( Br (u) for short)
Br (u; X) closed ball {v E X; lu - vi 5, r} (B r (u) for short)
U, intU closure of U, interior of U
au boundary of U : au = U\ int U
convA convex hull of A
convA closed convex hull of A
c k (O;Rn) set of k- times continuously differentiable functions
u: 0 --t Rn (0 C RN open)
c k (0; Rn) space of all functions u E C k (0; Rn), u = (U1, ... , un)
such that Da Ui admits a continuous extension to 0 for
N
all i and a = (a1, ... , aN) with lal = 2: aj 5, k. Here
j=l
Da = alai / axr1 ... axc;.r
xiv
Basic inequality:
Overview
As the title suggests, this book presents several methods of nonlinear anal-
ysis for the treatment of nonlinear integral equations. To this end the book
is developed on two levels which interfere. The first level is devoted to
the abstract results of nonlinear analysis: compactness criteria, fixed point
theorems, critical point results, and general principles of iterative approx-
imation. The second level is devoted to the applications for systems of
nonlinear integral equations (nonlinear integral equations in Rn). Here we
present existence, uniqueness, localization, and approximation results for
Fredholm, Volterra, and Hammerstein integral equations, and an integral
equation with delay.
Although most of the methods are classical, in several cases new points
of view, extensions and new applications are presented. Thus the selected
topics include: a unified existence theory for continuous and integrable so-
lutions of integral equations; Schechter's bounded mountain pass theorem;
a nontrivial solvability theory for Hammerstein integral equations; a local-
ization result for a superlinear elliptic problem; the discrete continuation
principle for generalized contractions; new fixed point results for increas-
ing and decreasing operators in ordered Banach spaces; monotone iterative
techniques; and the quasilinearization method for a delay integral equation
from biomathematics. Of course, the selective topics reflect the particular
interests of the author.
Let us now briefly describe the contents of this book without insisting
on the exact meaning of the notation and notions which are used.
Chapter 1 presents basic concepts and results of compactness in general
metric spaces, and in particular, in the spaces C (K; Rn) and LP (0; Rn) ,
where K is a compact metric space, 0 eRN is bounded open and
1
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
2 Chapter 0
with h : [a, bl 2
X Rn ~ Rn continuous, and the delay integral operator
T : D (T) c C ([0, tIl; Rn) ~ C ([0, tIl; Rn) defined by
°
Here T> and cp E C ([-T, 0l ; Rn) are given, D (T) = {u E C ([0, tIl; Rn) :
u (0) = cp (O)}, u (t) = cp (t) for t E [-T, 0], U (t) = u (t) for t E [0, tl], and
fEe ([-T, tIl x Rn; Rn) satisfies
in a such way that the two cases of continuous solutions and of LP solutions
(1 ::; p < 00) are treated together by considering 1 ::; P ::; 00. The main
result is the following existence principle:
Then (0.2) has at least one solution u in V (0; Rn) with u E U. Moreover,
for p = 00, u E C (O;Rn).
In Section 5.5 we give sufficient conditions so that (0.3) holds in the case
of the Volterra-Hammerstein equation in Rn
where
and
A: U (0; Rn) --* LP (0; R n ), A (u) (x) = 10 /'l, (x, y) u (y) dy.
E (v)
1 2
= "2lvl2 r
- in F (x, H (v) (x)) dx,
6 Chapter 0
We point out that for R < 00, (0.6) is the Leray-Schauder boundary
condition for the operator I - E', i.e., it is equivalent to
u = AN (u), u E Y, (0.7)
where Y is a Banach space, N : Y --'> Y*, and A : y* --'> Y is a linear
operator. In Section 9.1 we establish the following existence and localization
principle:
max {O, ~ IVll~ - JH (VI)} < inf {~Ivl~ - JH (V) : Ivlx = r},
V =/= >'H* NH (V) for Ivlx = R, >. E (0,1),
E satisfies the (PS)R condition.
Then there exists a V E X \ {O} with Ivlx :S R such that u = H (v) is a
non-zero solution of (0.7) .
-~u = lul p - 2 u in n,
{ (O.S)
u=o on on.
More exactly, we prove:
8 Chapter 0
IHI- 1 [(p -1) Ap _l]1/(P-2) ::; iH-1 (u)i2 ::; IHI- p /(P-2).
Here H is the square root of the operator (_~)-l considered on L2 (0) ,
IHI = sup{IH (v)lp : v E L2 (0), Ivl2 = I} and
Ap-l
. { In lul
= mf
p
-
2 1'VuI 2 dx
2/ : u E C 1 (-)
0 \ {O}, u = 0 on aO } .
(In lu1 2 dX)
P2 / p
an upper solution of (0.9). Of course, we assume that N f maps [uo, vol into
Lq (0; Rn). The main assumption is the mono tonicity of f in its second
argument. The advantage of working in the space V (0; Rn) (1 :S p < (0)
ordered by the regular cone of all positive functions is that we do not need
the complete continuity of the operator T = ANf . Additional properties of
the operator A in connexion with its spectrum, allow us to build upper and
lower solutions for (0.9) and, consequently, to obtain extremal solutions of
(0.9).
Finally, Chapter 12 discusses the problem of the convergence order of the
iterative methods. After explaining that the convergence of the methods de-
scribed in Chapters 10 and 11 is at most linear, this chapter briefly presents
Newton's method and its version for differential equations, the quasilin-
earization method. The last one is addapted for the quadratic bilateral
monotone approximation of the solution to the initial value problem for the
delay integral equation (0.1).
Part I
Compactness
in Metric Spaces
In this chapter we first define the notions of a compact metric space and
of a relatively compact subset of a metric space. Then we state and prove
Hausdorff's theorem of the characterization of the relatively compact subsets
of a complete metric space in terms of finite and relatively compact E-
nets. Furthermore, we prove the Ascoli-Arzela and Fn3chet-Kolmogorov
theorems of characterization of the relatively compact subsets of C (K; Rn)
and LP (0; Rn), respectively. Here K is a compact metric space, 0 C RN
is a bounded open set and 1 ::; p < 00.
Proof. (a) =} (b) : The completeness of X follows from (a) since every
Cauchy sequence which has a convergent subsequence is convergent. Assume
that for some E > 0 the space X does not admit a finite covering by balls
of radius E. Then, for any fixed element Ul E X there exists U2 E X with
d(Ul,U2) 2:: E. Furthermore, there exists U3 E X such that d(Ul,U3) 2:: E
and d (U2, U3) 2:: E, and so on. Thus we find a sequence (Uk) of elements of
13
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
14 Chapter 1
X such that
d(Uk,Uj) ~ c
for k i= j. This shows that (Uk) has no convergent subsequences, which
contradicts (a) .
(b) =} (a) : Let (Uk) be an arbitrary sequence of elements of X and
let (ck) be any decreasing sequence of positive numbers converging to zero.
According to (b) there exists VI E X such that the open ball Bel (VI) (of
center VI and radius cI) contains infinitely many terms of the sequence
(Uk). Similarly there exists V2 E X such that Be2 (V2) contains infinitely
many terms from those contained by Bel (VI)' and so on. Thus we find
a subsequence (Ukj) of (Uk) such that Ukl E Bel (VI), Uk2 E Bel (VI) n
Be2 (V2) and generally
Ukj E nj
i=1
Bei (Vi)
Proposition 1.2 Let (X, d) be a complete metric space and let {YA : A> O}
be a family of relatively compact subsets of X. Assume that Y C X is the
uniform limit of Y A as A ~ 0, that is for each c > 0 there is Ae > 0
such that for every u E Y and A E (0, Ae) there exists U A E Y A with
d (u, u A ) < c. Then Y is relatively compact.
Let (K, d) be a compact metric space and C (K; Rn) be the Banach space
of all continuous functions from K to Rn, under the sup-norm 1.100.
lu (x)1 sc
for all x E K and u E Y.
(ii) Y is equicontinuous, i. e., for every c > 0 there exists a 8 > 0 such
that for all u E Y,
lu (x) - u (x') I < c
whenever x, x' E K and d (x, x') < 8.
Iu (x) -
u (x') I
< lu (x) - Uk (x)1 + IUk (x) - uk (x') 1+ IUk (x') - u (x') I
< c/3+c/3+c/3=c.
This shows that Y is equicontinuous.
Conversely, assume that (i) and (ii) hold. The space C (K; Rn) being
a closed subspace of the Banach space B (K; Rn) of all bounded functions
from K to R n, it is sufficient to prove that Y is relatively compact in
B (K; Rn). For this, according to Hausdorff's theorem, we have to show
that for every c > 0 there exists in B (K; Rn) a relatively compact c-net
for Y. For a fixed c > 0 we consider 8 > 0 given by condition (ii). Since
Compactness in Metric Spaces 17
K is compact, there is a finite o/2-net {Xl, X2, ... , xm} for K. Let
Kl (Xl) ,
= B 8/ 2
K2 = B8/2 (X2) \ K l ,
m-l
Km = B8/2 (Xm) \ UK j .
j=l
One has
m
K = UK j , Ki n K j = 0 for i -=1= j,
j=l
and
d (x, x') < 0 for all x, x' E Kj, j = 1, 2, ... , m.
Let 'Pj be the characteristic function of K j , i.e.,
I for X E K j
'Pj (x) = { 0 for X E K\Kj .
v(x)=L'Pj(x)u(Xj) (xEK).
j=l
For p = 00 we let Loo (0; Rn) be the space of all measurable functions
u : 0 ~ R n for which there exists a constant c with lu(x)1 :s: c for
almost every (a.e. for short) x E O. The norm on LOO (0; Rn) is given by
lul oo = sup ess lu (x)l, i.e.,
lul oo = inf {c: lu (x)1 :s: c for a.e. x E O}.
Under the norm 1.lp ' LP (0; Rn) is a Banach space for each p E [1,00]. The
space L2 (0; Rn) is a Hilbert space with the inner-product
(u,vh = In (u(x),v(x))dx.
Compactness in Metric Spaces 19
In some places we shall denote the norm 1.l p by 1.ILP(O;Rn) in order to avoid
any confusion.
The space LP (0; R) is denoted by LP (0). Also, for 0 = (a, b) C R
we write V (a, b; Rn) instead of V ((a, b) ; Rn) and V (a, b) instead of
LP ((a, b)).
For 1 ~ p ~ 00 we let p' be the conjugate exponent of p, i.e., lip +
lip' = 1. Recall the well known Holder's inequality: if u E LP (0; Rn) and
v E Vi (0; Rn) then lullvl E L1 (0) and
This inequality implies that if 0 is bounded then for 1 ~ p < q ~ 00, the
following inclusions hold
C (0; Rn) C Lq (0; Rn) C V (0; Rn).
We also recall that the dual of V (0; Rn) (1 ~ p < (0) is the space
Vi (0; R n), where lip + lip' = 1, whilst the dual of Loo (0; Rn) strictly
includes £1 (0; Rn) .
The following density result will be useful: the space Co (0; Rn) of all
continuous functions from 0 to Rn with compact support in 0 is dense
in V (0; Rn) for every p E [1, (0).
For details and further information on the V spaces, we refer the reader
to Brezis [6].
For the rest of this section we assume that 0 C RN is a bounded open
set. For a given number r > 0 and any locally integrable (integrable on
each compact subset) function u : RN - 7 Rn we define the average function
of u with respect to radius r, mr (u) : RN - 7 Rn, by
mr (u) (x) =~
Wr
r
JBr(x)
u (y) dy (x ERN) . (1.1)
Proof. We have
< W;l r
1Br(x,x')
[U (y)[ dy,
where
Br (x, x') = (Br (x) U Br (x')) \ Br (x) n Br (x') .
Holder's inequality applied to u and to the constant function 1 yields
since f-L (Br (x, x')) ----> O. Hence mr (u) is continuous at any point x E RN.
Notice that (1.2) immediately follows from (1.1) if we apply Holder's
inequality to the functions 1 and u.
Finally, (1.3) is obtained if we apply Holder's inequality and we inter-
change the order of integration as show the following inequalities:
lip
w;llp r r [u(x+y)[Pdydx
( )
101Br(O)
lip
w;llp ( r
1 Br(O) 10
r [u (x + y)[P dxdy )
< [u[p.
This concludes the proof. •
For any hE RN and any u E LP (n; Rn) we define the translation of u
by h, to be the function Th (u) from RN to R n, given by
u (x + h) if x + hEn
Th(U)(X)= { 0 ifx+hERN\n.
Compactness in Metric Spaces 21
Iul p ::; c
for all U E Y;
(ii) Th (u) -- U in LP (0; Rn) as h -- 0, uniformly for U E Y, i.e.,
1fl\flh
IUj (x)IP dx ::; - - .
2· 3P
cp
Consequently
c
ITh (Uj) - ujlp < 3
for Ihl < 8 and j = 1,2, ... , m. Now, for a given U E Y there is a j E
{1,2, ... ,m} with Iu - ujlp < c/3. On the other hand, we have
ITh (u) - ulp ::; ITh (u - uj)lp + Iu - ujlp + ITh (Uj) - ujlp < c.
22 Chapter 1
sup
uEY
ITh (u) - ub(l1 .Rn) -+ 0
h,
as h -+ o. (1.5)
Here Oh = 0 n (0 - h).
Iv1i,p(l1\Oh) -+ 0 as h -+ o.
Thus Theorem 1.3 applies and the proof is complete. •
Chapter 2
Completely Continuous
Operators on Banach Spaces
25
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
26 Cbapter 2
-
DI TI TI (Dt) C D2 T2
- Z, DI C X, D2 C Y.
Proof. Both statements (1) and (2) are simple consequences of Defini-
tion 2.1. For (2) also use the fact that a continuous operator maps relatively
compact sets into relatively compact sets . •
Proof. (1) We first note that T is continuous at any point Uo ED. This
follows, using (2.1) and the continuity of Tk, from the following inequality
Let (cpj) be the partition of unity with respect to this covering of T (D).
Hence
me
CPj E C (T(D); [0,1]), sUPPCPj C Be (Vj), 2.:CPj (v) = 1
j=l
me
IT (u) - Te (u)ly 12.: CPj (T (u)) (Vj - T (u))
j=l
IY
me
< 2.: CPj (T (u)) IVj - T (u)ly
j=l
me
< E: 2.:CPj (T(u)) = E:
j=l
Definition 2.2 Let (X, 1.lx) and (Y,I.ly) be Banach spaces such that
Y C X. We say that the embedding Y C X is continuous (respectively,
completely continuous) if the injection map j : Y -+ X, j (u) = u (u E Y)
is continuous, respectively, completely continuous.
Then
n
L (_l)i DiA = 0, (2.2)
i=O
where DiA = fJAi/fJxi+1'
Completely Continuous Operators 29
Cij = det [DijF, DoF, ... , Di-1F, Di+1F, ... , Dj-1F, Dj+1F, ... , DnF]
where
DijF = ({)2 Fl/{)Xi+1{)Xj+l, ... , ()2 Fn/{)Xi+l{)Xj+l) .
For i > j we let C ij = C ji . We can easily check that
n
DiAi = L (-l)j C ij + L (_l)j-l C ij = L (-l)j (J (i,j) C ij
j<i j>i j=O
where
{ 1 if j < i,
(J(i,j) = 0 ifj=i,
-1 if j > i.
Hence
n n
L (_l)i DiA = L (_l)i+j (J (i,j) C ij .
i=O i,j=O
Since (J(i,j) = -(J(j,i) and C ij = C ji , we have
L L
n n
(_l)i+ j (J (i,j) C ij (_l)i+ j (J(j,i)Cji
i,j=O i,j=O
-L
n
(_l)i+ j (J (i,j) C ij ,
i,j=O
Proof. Assume that T has no fixed points. Then for any u E B the
line generating by u and T (u) :
v = u + ex (u - T (u)) , ex E R,
cuts the sphere ()B in two points. Let ex (u) be the nonnegative value of ex
which corresponds to one of these two points. It is clear that ex (u) is the
biggest root of the equation
lu+ex(u-T(u))1 = 1,
30 Chapter 2
We have Ao (0, u) = 1 and 1(0) = f-1 (B) > 0. Also Ao (1, u) == 0. Indeed,
the vectors D1F (1, u) , ... , DnF (1, u) belong to the tangent hyperplane to
8B at F (1, u). Thus they are linearly dependent and so Ao (1, u) == 0, as
we claimed. Consequently 1(1) = 0. We obtain a contradiction once we
prove that I (t) is constant; more exactly, that I' (t) == 0. To this end we
differentiate under the integral sign and we use (2.2). We then obtain
I' (t) = 1B
DtAo (t, u) du = t (-1)i+11
i=l B
DiA (t, u) du,
where
and
<pi (u) = u + (0, ... , -,i (u), ... ,0)
where Ii (u) = (1 - E u~)1/2.
J
'J.'
Then
Jr'
ki
Bi -1'i(U)
for i = 1,2, ... ,n. Indeed, since l<pf(u)1 = 1, according to (2.3), one has
DtF (t, <pf (u)) = O. Hence the first column ofthe determinant Ai (t, <pf (u))
is null, and so this determinant equals zero. Therefore l' (t) == O. •
Proof of Theorem 2.3. Step 1. Assume that D = B = Bl (0; Rn) .
Let
T (u) = (tl (u) , t2 (u) , ... , tn (u))
where ti : B ---+ [-1,1], i = 1,2, ... , n, are continuous functions. According
to Weierstrass' approximation theorem, each function ti is the uniform limit
of a sequence (tn k~l of functions tf : B ---+ [-1, 1] of class Coo satisfying
Then
T (u) = lim Tk (u)
k-+oo
Tk (Uk) = uk·
32 Chapter 2
IT(uo)-uol ~ IT(uo)-T(UkJI+IT(UkJ-Tkj(UkJI
+ IUkj - Uo I ---t 0 as j ---t 00.
T (u) if U E D,
T (u) = { (L 2- j 'ljJj (u))-l L 2- j 'ljJj (u) T (Uj) if U 1'. D
j2:1 j2:1
Tj (Uj) = Uj.
We can derive Theorem 2.5 from Theorem 2.4 via the following result.
Lemma 2.3 (Mazur) The convex hull of any relatively compact subset of
a Banach space is relatively compact.
YCUBE(Ui). (2.4)
i=l
Let
R = conv {Ul' U2, ... , urn}.
34 Chapter 2
Our goal is to prove that n is a relatively compact €-net for conv (Y) .
Once this is proved, we may say that conv (Y) is a relatively compact set
in base of Hausdorff's theorem. To this end consider an arbitrary element
U E conv (Y). We have
n n
U=LAjVj, Aj>O, LAj=l, VjEY.
j=l j=l
n n
Iu - LAjUijl IL Aj (Vj - Uij) I
j=l j=l
n
< L Aj IVj - Uij I
j=l
< €
n
and L AjUij E n. This shows that n is an €-net for conv (Y). Finally,
j=l
the compactness of n follows from the representation:
n= {f j=l
AjUj : 0::; Aj ::; 1, f
j=l
Aj = I} .
Thus the proof is complete. •
Proof of Theorem 2.5. Since T is completely continuous and D is
bounded the set T (D) is relatively compact. Mazur's lemma then implies
that the set K = conv (T (D)) is compact (and obviously convex). From
T (D) c D and D closed convex it follows that KeD. Now we apply
Theorem 2.4 to the operator T: K -+ K . •
Chapter 3
Continuous Solutions
of Integral Equations
via Schauder's Theorem
is completely continuous.
35
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
36 Chapter 3
for all x, Xl, yEn with Ix - xii :S be and u E Y. This immediately yields
-2 -
Theorem 3.2 Let R> 0 and h : 0 x BR (0; Rn) ---+ Rn be a continuous
mapping. Then the operator T : BR (0; C (0; Rn)) ---+ C (0; Rn) given by
(3.1) is completely continuous.
-2 -
Theorem 3.3 Let R> 0 and h : 0 x BR (0; Rn) ---+ Rn be a continuous
mapping. Assume
M JL(O) :::; R, (3.3)
where
M = max Ih (x,y, z)l.
TI 2 xBR(O;Rn)
Then (3.2) has at least one solution u E C (0; Rn) with lul oo :::; R.
Proof. According to Theorem 3.2, the operator T: BR (0; C (0; Rn)) ---+
C (0; Rn) given by (3.1) is completely continuous. On the other hand, (3.3)
guarantees that
Theorem 3.4 Let h : [a, b]2 X Rn ---+ Rn be continuous. Then the Volterra
operator associated to h, T: C ([a, b] ; Rn) ---+ C ([a, b] ; Rn) given by
is completely continuous.
38 Chapter 3
2 -
Theorem 3.5 Let R > 0 and let h: [a, b] x BR (0; Rn) - t Rn be contin-
uous. Then the operator T: BR (0; C ([a, b]; Rn)) - t C ([a, b] ; Rn) given by
(3.4) is completely continuous.
IT (u) (.) e-O(.-a) 100 :s a 0-1 lu (.) e-O(.-a) 100 +,6 (b - a) + Ivl oo . (3.7)
Now fix any 0> a. Then we can find R> 0 such that
{
u (t) = fL-r f (s, u (s)) ds, O:S t :S tI,
(3.9)
U (t) = cp (t) , -T :S t :S o.
We assume
i:
and the following sewing condition holds
Theorem 3.7 Assume f E C ([-T, tIl x Rn; Rn), cp E C ([-T, 01; Rn)
and that (3.10) holds. Then the delay integral operator T : D (T) --+
C ([0, tIl; Rn) given by
where
D (T) = {u E C ([0, tIl; Rn) : u (0) = cp (O)}
and
u(t) = { cp (t) for t E [-T, 01 ,
u (t) for t E [0, tIl,
is completely continuous.
Proof. Use the Ascoli-Arzela theorem and follow the same steps as in
the proof of Theorem 3.1. We omit the details. _
Theorem 3.8 Assume f E C ([-T, tIl x Rn; Rn), cp E C ([-T, 01; Rn) and
that (3.10) holds. In addition assume that there exist a, /3 E R+ such that
Proof. The proof closely resembles the proof of Theorem 3.6. Let
"I = max
tE[-T,O]
If (t, 'P (t))I·
We have
T"I+,Bt1+ a fotlu(s)le-OSeOSdS
It follows that
The Leray-Schauder
Principle
and Applications
43
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
44 Cbapter 4
T(D) cD.
H (u, A) = (1 - A) Uo + AT (u)
The Leray-Schauder Principle and Applications 45
in a such way that the unique fixed point of H (., 0), namely uo, can be
'continued' in a fixed point of H (., A) for each A E [0, 1J, and, in particular,
in a fixed point of H (., 1) = T. This continuation process is possible if all
operators H (., A) for A E [O,lJ are fixed point free on the boundary of U.
In applications the Leray-Schauder principle is usually used together
with the so called 'a priori bounds technique':
Suppose we wish to solve the operator equation
u = T (u), u E K, (4.2)
where K is a closed, convex subset of a Banach space (X, 1.lx), and T :
K ----t K is completely continuous. Then we look at the set of all solutions
to the one-parameter family of equations
u = (1 - A) Uo + AT (u), u E K, (4.3)
°
when A E (0,1). Here Uo E K is fixed (in most cases Uo = 0). If this set
is bounded, i.e., there exists R> such that
lu-uolx<R
(strictly!) whenever u solves (4.3) for some A E (0,1), then we let U be
the intersection of K with the open ball B R (uo; X). Thus Theorem 4.1
applies and guarantees the existence of a solution to (4.2).
For other results of Leray-Schauder type we refer the reader to the mono-
graph O'Regan-Precup [37J.
-2
Theorem 4.2 Let h : 0 x B -4 Rn be continuous. Assume that
~ AM 1-"(0)
< AR < R.
Hence u satisfies (4.5).
An immediate consequence of Theorem 4.2 is the following existence
result for the Hammerstein integral equation in Rn
-2 -
Corollary 4.1 Let /'i, 0 -4 Rand f O x B -4 R n be continuous
functions. Assume
1/'i,(x,Y)I~l (4.8)
The Leray-Schauder Principle and Applications 47
R
1¢ILlCr!) ~ 'lj; (R) . (4.10)
< >''lj;(R)k¢(Y)dY
u (x) = 1 1
,," (x, y) f (y, u (y)) dy, x E [0, 1J . (4.11)
Theorem 4.3 Let "" be the Green's function of the differential operator
-u" + u with respect to one set of the homogeneous Dirichlet, Neumann, or
periodic boundary conditions
Proof. To apply Theorem 4.2 we need to prove (4.5) for any solution
u E C ([0, 1J ; B) of (4.6). Let u E C ([0, 1]; B) be a solution of (4.6) for
some A E (0,1). Clearly, lul oo ~ R. Assume
lul oo = R.
Then there exists a point Xo E [O,lJ such that
lu(xo)1 = R.
On the other hand, since K, is a Green's function u E C 2 ([0, 1J ; Rn) and
solves the problem
(luI2)" (xo) ~ 0.
Direct computation shows that
and
(luI2)" = 21u'12 + 2 (u,u"). (4.18)
Consequently
(u(xo) ,u" (xo)) ~ 0.
The Leray-Schauder Principle and Applications 49
o > (u(xo),U(XO)-Aj(XO,U(xo)))
R2 - A (u (xo) ,j (xo, u (xo)))
> A(R2_(u(xO),j(xo,u(xo)))).
Thus (4.17) holds.
Next we prove (4.17) in case that Xo = O. This case can not hold under
conditions (4.12).
Case 1. Assume B means (4.13). Assume
(u(O),j(O,u(O))) ~R2.
Then
R2 > AR2
> (u (0) ,Aj (0, u (0)))
(u (0) ,-u" (0) + u (0))
R2 - (u (0) ,u" (0)) .
It follows that (u(O),u"(O)) > o. Now (4.18) implies (luI2)" (0) > 0 and
so (luI2)' is strictly increasing near o. Then
Remark 4.1 Theorem 4.3 is in fact an existence result for the two-point
boundary value problem
-u"(x)+u(x)=f(x,u(x)), XE[O,l]
{
uEB.
B = {z E Rn : Izl :S R},
i.e., u E C ([a, b] ; B) .
First we state the analog of Theorem 4.2 for Volterra equations, another
direct consequence of Theorem 4.1.
lul < R
CXl
(4.20)
Next we give a sufficient condition for (4.20) in the case of the equation
in R n
t (4.22)
u(t)= i "'(t,s)f(s,u(s))ds, tE [a,b].
The Leray-Schauder Principle and Applications 51
for all t, s E [a, b], there exists a continuous nondecreasing function 1/J
(0, R] ~ (0,00) and a <P E C ([a, b]; R+) such that
1<PI£l[a,b} ~ l0
R 1
1/J-((J) d(J. (4.25)
lu (t)1 ~A it IK (t, s) f (s, u (s))1 ds ~A it <P (s) 1/J (Iu (s)l) ds (4.26)
for all t E [a, b]. Here we have understand that 1/J (0) = lim 1/J (t). Let
t!O
c' (s) = A <p (s) 1/J (Iu (s)l) ~ A <p (s)-1/J (c (s))
52 Chapter 4
for all s E [a', b']. Now integration from a' to b' yields
f b' _c_'('-'s)--ds rR 1
a' 'IjJ (c (s)) Jo 'IjJ (cr) dcr
< A 1, b'
¢ (s) ds
< A lb ¢ (s) ds
Remark 4.2 Notice Corollary 4.2 can be directly derived from Schauder's
fixed point theorem if we observe that T (D) c D, where
D {u E C ([a, b]; Rn) : lu (t)1 ::; I' (t) on [a, b]},
I' (t) [-1 (it ¢ (s) dS) ,
[(t)
rt 1
Jo 'IjJ (cr) dcr,
and T is the Volterra integral operator associated to the right hand side of
the equation (4.22). We note that I' (t) ::; R for all t E [a, b] because of
(4.25) .
Corollary 4.2 yields a global existence result for the initial value problem
u' (t) = f (t, u (t)) , t E [0, t1],
{ (4.27)
u (0) = 0.
Theorem 4.5 Let f E C ([0, t1] X Rn; Rn). Assume that there exists a
continuous nondecreasing function 'IjJ : (0,00) ----t (0,00) such that
If (s, z)1 ::; 'IjJ (Izi)
for all s E [0, t1] , z ERn, and
roo 1
t1 < Jo 'IjJ(cr)dcr.
°
Proof. Problem (4.27) is equivalent to (4.22). Here [a, bl = [0, tIl and
/'\, == 1. Choose any R >such that
[R 1
tl ::; Jo 'IjJ ((J") d(J".
f(t,z)~g(t)
l~T g (s) ds ~ a
for all t E [0, tIl;
(iv) there exists a continuous nondecreasing function 'IjJ (a, 00) --t
where
b= I: If (s, <p (s))1 ds.
54 Chapter 4
Theorem 4.6 Assume that the assumptions (i)-(iv) are satisfied. Then
(3.9) has at least one solution u E C ([-r, tIl; Rn) with u (t) ~ a for all
t E [-r, tIl.
where
u(t) = { cp (t), t E [-r,Ol
u (t), t E [0, tIl.
According to (i)-(iii), the operator T is well defined. In addition, T is
completely continuous (see Theorem 3.7). In what follows we shall establish
the boundedness of all solutions to
for ,X E (0,1), where Uo is the constant function cp (0). To this end, let u
be any solution of (4.28) for some ,X E (0,1). Then
c'(t) = ,X(lf(t,u(t))I-lf(t-r,u(t-r))I)
::; 'xlf(t,u(t))1
< 'x'ljJ (Iu (t)1) ,
The Leray-Schauder Principle and Applications 55
Therefore
c' (s)
'IjJ (c(s)) :S)... < l.
Integration from 0 to t yields
tl :S
rR 'IjJ (a)
Jb
I
da.
The ideas in this section were adapted from the paper Precup [46].
Our assumptions are:
(hI) fEe (R x R+;R+);
(h2) f(t+w,z) = f(t,z) for every t E R, z E R+;
(h3) there exists a number a > 0 and an w-periodic function 9 E
C (R; Rn) such that
f(t,z)2:g(t)
for all t E R, z E [a,oo)n, and
l~T 9 (s) ds 2: a
for all t E R;
56 Chapter 4
and a function 'IjJ E C ([a, R]; R+) with 'IjJ (t) > ° on [b, R], such that
w::;
rR 'IjJ 1(0-) dO"
Jb (4.30)
and
b
If(t,z)l::; - (4.31)
T
Theorem 4.7 Assume that (hl)-(h4) are satisfied. Then (4.29) has an w-
periodic continuous solution u such that
u (t) ~ a on [0, w] ,
u = (1 - A) uo+ AT (u) ,
that is
u(t)=(1-A)a+Al~Tf(S,u(S))dS, tER. (4.32)
or
lul oo :::; R and min lu (t)1 = b. (4.34)
tE[O,w]
Then
(U(t),f(t-T,U(t-T))) 2 0.
Hence
(u (t) , u' (t)) :::; A (u (t) , f (t, u (t))) .
Furthermore, using (h4) we obtain
(u (t), u' (t)) :::; A lu (t)llf (t, u (t))1 :::; A lu (t)1 'lj; (Iu (t)I)·
Since
lui' = (R)' = (u,u')
lui
we obtain
lu (t)I' :::; A'lj; (Iu (t)1) . (4.35)
Let to E [0, w] be such that
lu (to) I = tE[O,w]
min lu (t) I
58 Chapter 4
and let t1 E (to, to+w] be such that lu (t1)1 = R. From (4.35), by integration
from to to t1, we obtain
1. lU (t dl
lu(to)1
1
~() dCT ~ ). (t1 - to)
'f/ CT
< w.
lu (to)1 = tE[O,wj
min lu (t)1 = b.
Remark 4.3 Assume (h1)-(h3) hold and that instead of (h4) , the following
condition is satisfied:
(h4*) If(t,z)1 ~ ~ for all t E [O,w] and z E [a,oo)n with Izl ~ R.
Then T (KR) c KR, where KR = {u E K: lu (t)1 ~ R on [O,w]}, and
the existence of a continuous w-periodic solution to (4.29) is guaranteed by
Schauder's fixed point theorem.
Remark 4.4 For a given function f satisfying (h1)-(h2) there could exist
several intervals [a, R] such that (h3) and (h4) hold. If these intervals are
disjoint, then the corresponding solutions guaranteed by Theorem 4.7 are
distinct.
The Leray-Schauder Principle and Applications 59
i
that
t gl (s)ds::::: I, t E [O,w].
t-l
the equation (4.29) has at least one continuous w-periodic solution Uk such
that
4 (k - 1) + 1 :s; inf udt) < 4 (k - 1) + 2
tER
and
sup udt) :s; 4 (k - 1) + 3.
tER
Existence Theory
in LP Spaces
61
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
62 Chapter 5
U
Pk
It follows that
Nf (Uk) lOki = f (., Ykj)
which, by (i), is a measurable function on Okj. As a result, Nf (Uk) is
measurable on O. Now according to (5.2) the function N f (u) is measurable,
as limit of a sequence of measurable functions. •
Theorem 5.1 Let p E [1,00] and q E [1,00). Assume that the function
f : n x R m --+ Rn is (p, q)-Caratheodory. Then the Nemytskii operator
N f : £P (n; Rm) --+ Lq (n; Rn) associated to f, given by (5.1) is well defined,
continuous and satisfies
Proof. Step 1: Nf maps £P (n; Rm) into Lq (n; Rn) and satisfies
(5.4). To prove this, let us consider any function u E LP (n; Rm). By the
definition of the space £P (n; Rm), u is measurable. Lemma 5.1 implies
that N f (u) is measurable too. Furthermore, from (5.3), by means of the
norm inequality, we obtain for 1 :s; p, q < 00:
( lof INf (u) (xW dx )l/q :s; {flo (Ig (x)1 + clu (x)I P/ q)
q
dx
}l/q
for all k and every measurable subset A c n with f-l (A) < 15;
(ii) for each E > 0, there exists a subset Den such that f-l (D) < 00
and
f IUk(XWdx<E
low
for all k.
64 Chapter 5
Uk . . . . . U
III £P (0; Rm) as k ......... 00. Without loss of generality we may assume that
Uk (x) ......... U (x) for a.e. x E O. Clearly
i.e.,
N f (Uk) (x) . . . . . N f (U) (x) ,
for a.e. x E O. Now, for 1 ~ p < 00, conditions (i) and (ii) in Vitali's
theorem hold for (Uk) (the Necessity Part). Then, from (5.4), we can see
that conditions (i), (ii) in Lemma 5.2, with q instead of p, also holds for
(Nf (Uk)). Thus from Vitali's theorem (the Sufficiency Part) we obtain that
N f (Uk) . . . . . N f (u)
Vk (x) =
i=l
where Vki E X and Xki is the characteristic function of a measurable subset
mk
Oki cO, with fl kj n Oki = 0 for j -I- i and 0 = U Oki. Since
i=l
mk
n
k=j+1
{xEO: lu(x)-udx)lx<E}
Hence lim JL (0 \ OJ) = 0, and therefore for each T/ > 0 there is a jo such
J->OO
that
JL(O\Oj) < T/, j ~jo.
66 Chapter 5
Thus for any positive integer k there exist a set O~ C 0 and an index Nk
such that
It (OD ~ ;k;
lu (x) - Uj (x)lx < 21k for j > Nk, x E 0 \ O~.
00
1
L It (O~) ~ L
00 00
It (0 \ 0') ~ € 2k =€
k=l k=l
Then the Fredholm linear integral operator A : Lq (0; Rn) ---+ V (0; Rn)
with kernel /'i, given by
Hence
( in IA(u) (xWdx )
l/p
~ lulq
{(
in in II>: (x,y)l r dy
)p/r
dx
}l/P
,
that is
IA (u)lp ~ III>: (x, ·)Irlp lul q ·
This shows that A is well defined and bounded. Of course, some changes
have to be made in the proof if r = 00, q = 00, or p = 00.
3) Let p = 00 and let u E Lq (0; Rn). We show that A (u) E C (0; Rn) .
Indeed, for every x, x' EO, we have
IA (u) (x) - A (u) (x') I ~ in II>: (x, y) - I>: (x', y) Ilu (y)1 dy
< lul q II>: (x,.) - I>: (x',.) Ir ----> 0
as Ix -
x'I ----> O. Hence A (u) is a continuous function.
4) A is completely continuous. To prove this, let X c Lq (0; Rn) be a
bounded set. Assume that
IA (u) (x)1 ~ in II>: (x, y)llu (y)1 dy ~ mIk (x, ·)Ir =: v (x)
for a.e. x E 0, and v E LP (0), so (1.4) holds. Secondly,
ITh (A (u)) (x) - A (u) (x)1 ~ in IT~ (I>:) (x, y) - I>: (x, y)llu (y)1 dy
< mIT~ (I>:)(x, .) - I>: (x,.) Ir .
68 Chapter 5
Here T~ (/1:) is the translation of /1: by h with respect to the first variable,
i.e.,
T~(/1:)(X,y)= {/1:(X+h,y) if x+hEO,
o if x + h tf- O.
It follows that
ITh (A (u)) - A (u)ILP(rlh;Rn) :::; m IIT~ (/1:) (x,.) - /1: (x, .)lrILP(rlh)'
for each A E (0,1). Then (5.8) has a solution in V (0; Rn) with u E U.
Proof. Apply Theorem 4.1 to K = X = V (0; Rn) with norm 1.lp ' Uo
the null function, and T: U -> LP (0; Rn) given by
Remark 5.4 If 0 is bounded and (5.6) holds for 1'\" then the Fredholm lin-
ear integral operator A of kernel I'\, is well defined and completely continuous
from Lq (0; Rn) to £P (0; Rn) ; in this case, for p = 00 the solutions of (5.8)
are continuous functions on O.
{
(a) ifl~p<oo then (lglq+cRP/q)lll'\,(x,.)lrlp~R; (5.11)
(b) if p = 00 then 19R1q III'\, (x, .)Irloo ~ R.
Proof. Let
u = {u E LP (0; Rn) : lulp < R}
and B = U. Let u E B be any solution of (5.10) for some ,\ E (0,1). Then
< ,\ (inr II'\, (x, yW dy) l/r ( inr (g (y) + clu (y)I P/ q) q dy) l/q
< ,\ (Igl q + clul~/q) II'\, (x, ·)Ir·
It follows that
lulp ~ ,\ (Igl q + clul~/q) III'\, (x, ·)Irlp· (5.12)
Since lul p ~ Rand ,\ < 1, (5.11) and (5.12) guarantee lul p < R, i.e., (5.9).
Similar estimations can be obtained if p = 00 . •
We note that in fact (5.11) implies T (B) c B. So Corollary 5.1 can be
directly derived from Schauder's fixed point theorem.
As in Section 4.2, a better result holds when I'\, is the Green's function
of a certain differential operator, with respect to some boundary conditions.
Existence Theory in V Spaces 71
Theorem 5.5 Let '" be the Green's function of the differential operator
-u" + u with respect to one set of the homogeneous Dirichlet, Neumann, or
periodic boundary conditions
u (0) ° (Dirichlet),
= u (1) =
u' (0) u' (1) ° (Neumann),
= =
and
u(m-l) (t) = u(m-l) (a) + i t u(m) (s) ds, t E [a, b].
The space wm,q (a, b; Rn) is a Banach space with the norm
For more information about the theory of Sobolev spaces we refer the reader
to Brezis [6].
This equation can viewed as a special case of equation (5.8), where n = (a, b)
and
K,(t,s) = 0 for t < s.
Theorem 5.6 Let (a, b) be a bounded real interval, K, : (a, b)2 ---+ Rand
f: (a, b) x Rn ---+ Rn. Assume that there exists p E [1,00) and q E [p, 00) n
(1,00) such that K, E £P(a,b;Lr(a,b)) (1/q+1/r=1) and f is (p,q)-
Caratheodory. In addition assume that if q = p, then there exists an r' > r
such that
K, (t,.) E U' (a, b) for a.e. t E (a, b), and
the mapti-----'f 1K,(t,.)lr' belongs to £P(a,b).
Then (5.14) has a solution u E £P (a, b; Rn).
Existence Theory in V Spaces 73
Since
1 r' - r 1
-+--+-=1
r' rr' p ,
Holder's inequality applied to three functions yields
X (Ja (g(s)+clu(s)le-B(s-a)Yds
b ) l/p
< >- (Igl p + cIlull) (r'err'- r) (r'-r)/(rr') eB(t-a) IK; (t, ·)Ir'·
It follows that
' ) (r'-r)/(rr')
Ilull ::; >- (Igl p + cIlull) ( re:r,r 11K; (t, ·)lr,lp·
74 Chapter 5
Theorem 5.7 Let (a, b) be a bounded real interval, K: : (a, b)2 --+ Rand
f : (a, b) x R n --+ R n. Assume that f satisfies the Caratheodory conditions,
there exist a, {3 E (1,00], 'Y E [1,00) with a' < {3 (l/a + l/a' = 1) and
1/a+1/{3+1h = 1, ¢ E try. (a, b), and a continuous nondecreasing function
'ljJ : (0,00) --+ (0,00) such that
In addition assume that the Fredholm linear integral operator A with ker-
nel K: is is well defined and completely continuous from L(3' (a, b; Rn) to
C([a,b] ;Rn) (1/{3+1/{3' = 1). Then (5.14) has a solution u E C([a,b] ;Rn).
Proof. We shall apply Theorem 5.4 with p = 00, any finite q satisfying
{3' < q ~ a (1/{3 + 1/{3' = 1), and
Hence
lu (t)I'Y ::; c(t) ,
where
c(t) = [A 11K; (t,.)l i3 loo 1¢lar (it ~(lu(sW)'Y dS).
From
c' (s) = [A 11K; (t, .)1 13 100 1¢lar ~ (Iu (sW)'Y
::; [AIIK;(t,.)li3lool¢lar~(c(s))'Y,
by integration from a to t, we obtain
ret)
Jo
1
~ (0")"1 dO"
i a
t c' (s)
~ (c (s ))'Y ds
< [AIIK;(t,.)l i3 lool¢lar(b-a)
< [11K;(t,.)l i3 lool¢lar(b-a).
This together with (5.16) shows that there exists an R> 0 independent of
A, with
c(t) < R'Y for all t E [a,bj.
Thus lu (t)1 < R on [a, bj . •
As a consequence we have the following global existence result for the
Cauchy problem
u' = f(t,u) a.e. on (a, b) ,
{ (5.17)
u (a) = O.
Theorem 5.8 Let (a, b) be a bounded real interval and f : (a, b) x Rn ---;
R n. Assume that f satisfies the Caratheodory conditions, there exists ex E
(1,00]' 'Y E [1,00) with l/ex + 1h = 1, ¢ E La (a,b), and a nondecreasing
continuous function ~ : (000) ---; (0,00) such that
it
given by
A (u) (t) = u (8) d8,
VARIATIONAL METHODS
Chapter 6
Positive Self-Adjoint
Operators in Hilbert Spaces
We show that this equation can be put under the variational form
E' (u) = o.
The construction of the functional E associated to equation (6.1) is based
on the theory of positive self-adjoint linear operators in Hilbert spaces.
The purpose of this introductory chapter is to present some definitions
and results of this theory that will be required in what follows. We define
the notions of adjoint operator, self-adjoint operator, positive operator, and
square root of a positive self-adjoint linear operator. As an application
we shall deal with bounded linear operators A : Lq (0; Rn) ----t LP (0; Rn) ,
where 1/p+1/q = 1. The goal is to split such an operator in the form HH*,
where H : L2 (0; Rn) ----t LP (0; Rn) and H* is the adjoint of H. When A
is the Fredholm linear integral operator of kernel K" such a representation
is useful in order to transfer the operator equation equivalent to (6.1) from
the Banach space LP (0; Rn) to the Hilbert space L2 (0; Rn) .
85
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
86 Chapter 6
Proposition 6.1 For each bounded linear operator A : X -> Y there exists
a unique bounded linear operator A * : Y* -> X such that
Then since
(A (u + v) ,u + v) - (A (u - v) ,u - v) = 4 (A (u), v)
we obtain
Ak :S A :S B, kEN.
Hence the sequence (Ak (u)) is Cauchy and so convergent. The rest of the
proof is left to the reader. •
Proposition 6.5 For each positive self-adjoint operator A the square root
B exists and is unique. Moreover, if A is completely continuous B is
completely continuous too.
Positive Self-Adjoint Operators 89
B=B+ ~ (A - B2),
whence B2 = A.
2) Uniqueness. First note if Bo is positive, self-adjoint, and B5 =
A, then ABo = BoA. By induction, using (6.4) we obtain that BkBO =
BoBk, whence letting k ---) 00, BBo = BoB. Now let u E X and v =
(B - Bo) (u). We have
On the other hand, since B is positive and self-adjoint there exists a positive
self-adjoint operator Bl with B = Br. From
A=HH*,
LPO (0; Rn) c £P (0; Rn) c L2 (0; Rn) c U (0; Rn) c LqO (0; Rn)
Theorem 6.1 Let 2 < Po < 00, 11po + 1/qo = 1 and A : LqO (0; Rn) --t
LPO (0; Rn) a bounded linear operator. Assume that the restriction of A
to L2 (0; Rn), i.e., A : L2 (0; Rn) --t L2 (0; Rn) is a positive self-adjoint
Positive Self-Adjoint Operators 91
operator. Then for each p E [2,po) the operator A1/2 L2 (0; Rn) --+
L2 (0; Rn) satisfies
00 = {XEO: IA1/2(u)(x)l:Sl};
Also
Here IAlo stands for the norm of A as an operator from LqO (0; Rn) to
LPO (0; Rn). It follows that
whence
. (
f..L(nj)5:c2-JPO, where c= 2Vnlul21Alol~)~ .
In
Then
IAl/2 (u) (x)I Pdx 5: c2 j (p-po)
J
r
Jn o
IAl/2 (u) (x)r dx < r
Jn o
IAl/2 (u) (x)1 2 dx
(A (u), u)2
< IAllul~·
Consequently
< IAllul~ + c
j=l
IAllul~ + c 2P- PO
1- :
IAllul~ + c
< 00.
Lemma 6.1 Let p > 2 and let Y c V' (0,; Rn) be relatively compact in
L2 (0,; Rn). If for each E> 0 there exists a bE: > 0 such that
for all u E Y and D c 0 with IL (D) < be, then Y is relatively compact
in £P (0; Rn) .
+ f
j=jo+1
j Dnnj
IH(u) (xWdx
L
00
where
CO = sup { (2y1n luI2IAI~/2rO : u E Z} .
For jo large enough we have
00
< -€p
L
j=jo+1
2 j (p-po)
- 2co
a) For each € > 0 there exists a sufficiently large a > 0 such that Ya
is an €-net in £P (0; Rn) for Y. Indeed, let be be such that (6.5) holds for
all u E Y and Dc 0 with IL(D) < be' For any u E Y we let
1/2 ( ) 1/2
af.l(Ou)1/2::; ( inu1u(x)12dX ) ::; in1u(x)12dX ::;r.
Hence f.l(Ou) ::; (r /a)2. Now choose a> 0 such that (r/a)2 < 6£. Then
f.l (Ou) < 6£, and so (6.6) holds.
b) Now we show that Ya is relatively compact in LP (0; Rn). Since Y
is assumed to be relatively compact in L2 (0; Rn), for a given c> 0 there
exists in L2(0;Rn) a finite c-netfor Y, say {u 1,u2, ... ,um }. We claim that
the set
1 , u2 m , Ua}
{ ua a, ...
is a (2a)1-2/ p c 2 / p -net in V (0; Rn) for Ya. Indeed,
for any j E {1, 2, ... , m} with lu - u j 12 < c. This completes the proof of
Lemma 6.1. •
Theorem 6.2 Under the assumptions of Theorem 6.1, for each p E [2,po),
the operator A : Lq (0; Rn) ----t LP (0; Rn) (l/p + l/q = 1) can be repre-
sented in the form A = HH*, where H: L2(0;Rn) ----t V (O;Rn) is a
bounded linear operator and H* is the adjoint of H.
and
where l/p+ l/q = 1, are well defined and A admits a representation in the
form A = HH*, where H: L2(0;Rn) ----t LP (0; Rn) is a bounded linear
operator and H* is the adjoint of H.
Solving (6.1) in £P (0; Rn) is equivalent to solving the operator equation
The next proposition allows us to replace the operator equation (6.7) in the
Banach space £P (0; Rn) by the operator equation
97
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
98 Chapter 7
for all VEX. The element E' (u) is called the Gateaux derivative of E at
u.
3) E is said to be Frlichet differentiable at u if there exists an E' (u) E
X* such that
and
( ) · w(u,v)
w u,v = 0 (I v I) ,I.e, Ivl ---- 0, (7.2)
Remark 7.1 More generally, one can define the Frechet derivative at u of
a map E from an open subset containing u of a Banach space X to the
Banach space Y as a bounded linear operator E' (u) from X to Y for
which (7.1) and (7.2) hold as v ---- 0.
°
Proof. Let r E (0,1] be such that Br (u) C V. Since E' : V ---- X* is
continuous at u, for every E> there exists a 6 E (0, r] such that
g(t)=E(u+tv) (tE[O,l]).
Consequently
Hence
E (u + v) - E (u) - (E' (u) ,v) = 11 (E' (u + tv) - E' (u) , v) dt. (7.5)
11
Let
w(u,v) = (E'(u+tv) -E'(u),v)dt.
Iw(u,v)1 :S 1 1
I E '(u+tv)-E'(u)llv l dt
< clvl·
Hence w (u, v) = 0 (Ivl) as v ---+ o. Then, (7.5) shows that E' (u) is the
Frechet derivative of E at u. •
We say that E E C 1 (U) if E is Frechet differentiable in U and its
Frechet derivative E' : U ---+ X* is continuous. Equivalently, in view of
Proposition 7.1 E E C 1 (U) if E is Gateaux differentiable in U and its
Gateaux derivative E' : U ---+ X* is continuous.
We say that E E C 1 (U) if E E C1 (U) and E, E' can be extended
continuously to U.
1 2 1 2 t2 2
E(u+tv)-E(u)=2"lu+ tv l -2"l u l =t(u,v)+2 Ivl .
Hence
lim C 1 (E (u + tv) - E (u)) = (u, v) .
t->O+
(JH)' = H* J'H.
and
w(H(u),H(v))
-70,
IH (v)1
for IH (v)1 -7 O. Now the conclusion follows since H (v) -70 as v -7 0 and
Example 7.4 Following the ideas from Krasnoselskii [19] and using Theo-
rem 5.1 we can prove:
The Fhkhet Derivative 101
and assume f is (p, q)-Caratheodory. Then the functional J: LP (n; Rn) ----+
R given by
J(u) = in F(x,u(x))dx
J' = Nj ,
that is
Here
w (u, v) = 10 (v (x) ,Nj (u + Bv,uv) (x) - N j (u) (x)) dx.
We have
Iw (u, v)1 ~ Ivlp INj (u + Bv,uv) - Nj (u)lq,
whence
w (u, v)
Ivl p ---+ 0 as v ---+ 0,
F(x,z) = lZ f(x,y)dy,
Theorem 7.2 Assume that all the assumptions of Theorem 7.1 hold. In
addition assume that H : L2 (0; Rn) - t LP (0; Rn) is a bounded linear
operator. Then the functional E: L2 (0; Rn) - t R, given by
E (u) =
1
21ul2
2
- inr F (x, H (u) (x)) dx
is Frechet differentiable and
E' =1 -H*NfH
that is
(E' (uo) , w) 2: O.
104 Chapter 7
(E 5, r) = {u ED: E (u) 5, r}
Uo E (E 5, E (uo) - E)
infE= inf E
D DnBR(O)
E (uo + t (Ul - uo)) - E (uo) t (E' (uo) ,Ul - uo) + w (uo, t (Ul - uo))
W (uo, t (Ul - uo))
and
w (uo, t (Ul - uo)) = 0 (t) .
for all t E (0,1) small enough. Dividing by t and letting t ----t 0+, we obtain
o :S E (ut) - E (uo). Similarly O:S E (uo) - E (ut). Hence
E (ut) = E (uo) = inf E,
X
a contradiction. •
The Frechet Derivative 107
Theorem 7.5 Let 0 C RN be bounded open, 2:::; p < Po < 00, 1/p+1/q =
1, 1/po + 1/qo = 1, K,: 0 2 ----t Rand f : 0 x R n ----t Rn. Assume that the
following conditions are satisfied:
(i) the operator A: LqO (0; Rn) ----t Vo (0; Rn) given by
is bounded and its restriction A: L2 (0; Rn) ----t L2 (0; Rn) is positive, self-
adjoint and completely continuous;
. (ii) f is (p, q)-Caratheodory of potential type;
(iii) the potential F of f satisfies the growth condition
E' (v) = 0,
where the functional E: L2 (0; Rn) ----t R is given by
E (v) ~ Ivl~ -
2 inr F (x, H (v) (x)) dx
1
21vl~ - JH (v).
108 Chapter 7
1 2
E (v) 21vl2 - JH (v)
> 1 2 - -IH
-IVI2
2
a (V)b2 -
2
1 n
b (x) IH (v) (X)I 2-'Y dx - Icll .
We have
< IAllvl~
and
Inf b(x) IH (v) (x)1 2-'Y dx ~ ( Inf b (x)2h dx )'Y/2 ( Inf IH (v) (x)1 2dx ) 1-'Y/2
b IH (v)I~-'Y ~ b IAI1-'Y/2Ivl~-'Y,
Thus E is coercive.
2) E is weakly l.s.c. on L2 (0; Rn). To this end let r> 0 and let (Vk)
be a sequence with
Then
(Vk -v,u)2 ----) 0 as k ----) 00
for every u E L2 (0; Rn). Since the operator A acting in L2 (0; Rn) is
completely continuous, we may assume, passing eventually to a subsequence,
that A (Vk) ----) W in L2 (0; Rn). We have
as k ----+ 00, since the sequence (Vk - v) is bounded, A (Vk) - w ----+ 0, and
(Vk - v,w - A(v))2 ----+ o. It follows that
1 2
21vkl2 - r::; JH (Vk)
1 2 .. 1 2
21vI2 - r::; hmmf 21vkl2 - r::; JH (V).
Hence E (v) ::; r. Thus, the level set (E::; r) is weakly closed. Therefore
E is weakly l.s.c. on L2 (0; Rn) .
Now the conclusion follows from Theorem 7.3. •
If instead of the complete continuity of A as an operator acting in
L2 (0; Rn) we ask for convexity of E, by Theorem 7.4 we immediately
obtain the following existence and uniqueness result.
Theorem 7.6 Let 0 C RN be bounded open, 2::; p < Po < 00, l/p+l/q =
1, l/po + Ijqo = 1, "': 0 2 ----+ Rand f : 0 x Rn ----+ Rn. Assume that the
following conditions are satisfied:
(i) the operator A: LqO (0; Rn) ----+ vo (0; Rn) given by
is bounded and its restriction A : L2 (0; Rn) ----+ L2 (0; Rn) is positive and
self-adjoint;
110 Chapter 7
-L F(x,H(v)(x))dx
111
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
112 Chapter 8
Uk E X for which
Let
r = bE C ([0, 1]; X) : I' (0) = Uo, I' (1) = ud (8.2)
and
c = inf max E
,Er tE[O,I]
h (t)) . (8.3)
If, in addition, E satisfies the (PS) condition then there exists an element
u E X \ {uo,ud with
Remark 8.1 Notice r is the set of all continuous paths joining Uo and
UI. Roughly speaking, the mountain pass theorem says that if we are at
the point Uo of altitude E (uo) located in a cauldron surrounded by high
mountains, and we wish to reach to a point UI of altitude E (uI), over
there the mountains, we can find a path going from Uo to UI, through a
mountain pass. To find a mountain pass we have to choose a path which
mounts the least.
Lemma 8.1 (Ekeland) Let (Z, d) be a complete metric space and let 'IjJ :
Z ~ R be a lower semicontinuous function bounded from below. Then given
c > 0 and Uo E Z there exists a point u E Z such that
Z(U)={vEZ: 'IjJ(v)-'ljJ(u)+d(u,v):S;O}.
Clearly U E Z (u) and it is easily seen that if v E Z (u) then Z (v) c Z (u).
Let (ck) be a sequence of real numbers Ck > 0 with Ck ~ 0 as k ~ 00,
and let (Uk) be a sequence with
Hence the sequence ('IjJ (Uk)) is decreasing. It is also bounded since 'IjJ is
bounded from below. Thus ('IjJ (Uk)) is convergent. On the other hand, from
(8.7) we obtain
for all k. From this, using the lower semicontinuity of 'IjJ we deduce 'IjJ (u) :s;
'IjJ (v), and so (8.5).
114 Chapter 8
Corollary 8.1 Under the assumptions of Lemma 8.1, for each € > 0 there
exists an element U E Z such that (8.5) holds and
Proof. Apply Lemma 8.1 to an element Uo E Z with 'lj; (uo) :S i~f 'lj; + €.
Then (8.8) immediately follows from (8.6). •
'lj;' (Uk) -+ O.
Therefore
1?jJ' (Uk)1 ::; ~
°
whence ?jJ' (Uk) -+ as k -+ 00. •
°
If X is a Banach space and v E X* then it is a simple consequence of
the definition of the norm of v, that for each c > there exists U E X with
Lemma 8.2 Let X be a Banach space and fEe ([0,1] ; X*). Then there
exists a function 'P E C ([0, 1] ; X) such that
I'P (t)1 ::; 1, (J (t) ,'P (t)) > If (t)l- c
for all t E [0,1].
(i (t) = ! i (t)
L Pj (t)
j=l
116 Chapter 8
Also it follows easily that <.p satisfies (f (t), <.p (t)) > If (t)l- E on [0,1] . •
Proof of Theorem 8.1. We apply Corollary 8.1 to Z = r given by
(8.2) and to the functional 'ljJ : r ----t R defined by
where ( : [0,1] ----t [0,1] is continuous, ((t) = 1 on A£, and ((0) = ((1) =
O. We have
d ('f], '1£) = Alwl ::; A,
The Mountain Pass Theorem 117
Since
E (17 (tA)) - E be: (tA)) = -.\ (E' be: (te)) ,w (t A)) + 0 (.\)
we deduce that
IW (u)1 ::; M, u E X.
118 Chapter 8
Hence the sequence (J (u, tk) is Cauchy and so convergent to some w. Now
again by the local existence theorem we can uniquely solve
Definition 8.2 The map (J given by Lemma 8.3 is called the flow generated
by the locally Lipschitz map W.
Lemma 8.4 Let X be a Hilbert space and let a, e be real numbers with
o < a < 1 - e and e 2: 0. Then for any elements u, v EX \ {OJ satisfying
(u,v):S e lullvl
there exists an element hEX such that
Proof. We may assume that lui = Ivl = 1. We look for h in the form
h =u - j3v with j3 2: O. Then
Proof. Let a' be such that a < a' < 1 - e. Consider a map h : fj --+ X
with Ih (u)1 = 1 for all u E fj and with the following properties:
Definition 8.3 Let R E (0,00] and E E C l (BR). For R < 00, we say
that E satisfies Schechter's Palais-Smale condition, (PS)R condition for
short, if any sequence of elements Uk E BR \ {O} for which
Remark 8.2 If E satisfies the (PS)R condition, then E satisfies the Palais-
Smale condition on B R , i.e., any sequence of elements Uk E BR satisfying
°
(8.1) has a convergent subsequence. For R = 00 this is true by definition.
Assume R < 00. Then since (Uk) is bounded and E' (Uk) -; we have
(E' (Uk), Uk) -; 0, so 1/ = 0. Also,
and that there are Uo, Ul E BR and r with Iuol < r < lUll such that
Let
fR = bEe ([0, 1]; BR) : I' (0) = Uo, I' (1) = ud
122 Chapter 8
and
CR = inf max E b (t)) .
,ErR tE[O,l]
Then either there is a sequence of elements Uk E B R with
Lemma 8.6 Assume all the assumptions of Theorem 8.2 hold. In addition
assume that there are constants (), 6 with 0 :s () < 1, 6 > 0 such that
for all u in
Q = {u E BR: IE (u) - cRI ~ 38}.
Clearly, we may assume 38 < CR - max {E (uo) ,E (Ul)} and that (8.18)
holds in Q = Q n aBR. Denote
We have
and
(u, H (u)) > 0, u E Q. (8.23)
Define W : BR --+ X by
This map is locally Lipschitz and can be extended to a locally Lipschitz map
on the whole of X, by setting
Let 0' be the flow generated by W as shows Lemma 8.3. Note 0' (u,.) does
not exit BR for every u E BR. Indeed, we have
d 10' ~~' t)12 = 2 (dO' ~~' t), 0' (u, t») = 2 (W (0') , 0'). (8.25)
Assume 10' (u, t)1 ::; R for all t E [0, to) and Ul = 0' (u, to) E fJBR, for some
to E R+. If Ul E Q then by (8.23) and (8.24) we see that
(W(O'(u,t»,O'(u,t» < °
for t in a neighborhood of to. If Ul t/: Q then
ry(O'(u,t» =0
for t in a neighborhood of to. Hence the right hand side of (8.25) is non-
positive in a neighborhood of to. Thus 10' (u, t) I is nonincreasing on some
interval [to, to + E). Therefore 0' (u,.) does not exit BR for t E R+.
Let us denote by EA the level set (E::; A), i.e.,
EA = {u E BR : E (u) ::; A} .
Now we look at the composite map E (0' (u, .». By (8.21) and (8.22) we
have
dE (0' (u, t»
(E' (0' (u, t» , dO' ~~' t») (8.26)
dt
(u, t» (E' (0' (u, t» , H (0' (u, t) ))
- ry ( 0'
< -ry (0' (u,t»am.
Let tl > 26/ (a m), and let u be any element of E cR + 8 . If there is a
toE [O,tl] with O'(u,to) t/: Ql, then
E(,,(dt))~CR-8, tE[O,I],
which contradicts the definition of CR. This finishes the proof of Lemma
8.6 .•
°
Proof of Theorem 8.2. Assume a sequence satisfying (8.16) does not
exist. Then there are constants m, 8> such that
(E' (u), u)2 (0- 2 - 1) ~ R2IE' (u) - R- 2 (E' (u), u) ul 2 (E' (u), u)2v02.
Since (E' (u) ,u)2vo2 ~ 1 this yields
0- 2 (E' (u), u)2 ~ (E' (u) ,u)2 + R2IE' (u) - R- 2 (E' (u) ,u) ul 2
R2 IE' (u) 12 .
Hence u satisfies (8.18). Thus (8.18) holds for all u satisfying (8.29). It
also holds trivially for all u with (E' (u) , u) > 0. Hence (8.18) holds for
all u E 8BR satisfying (8.19). Therefore Lemma 8.6 applies and guarantees
the existence of a sequence (Uk) satisfying (8.20).
126 Chapter 8
Then E has at least two different critical points u, Urn such that
uEBR\{UO,UI}, E(U)=CR
and
Urn E BR, E (urn) = mR·
Moreover, if E (Ul) ::; E (uo) then we may assume that Urn i= Uo·
The Mountain Pass Theorem 127
For much more information on critical point theory we refer the reader
to Ambrosetti [2], Benci [4], Brezis-Nirenberg [6]' Kavian [IS]' Mawhin-
Willem [23], Rabinowitz [36] and Struwe [42]. For nonsmooth critical point
theory, see Canino-Degiovanni [7], Chang [S], Corvellec [1o], Frigon [13] and
Motreanu-Varga [27].
Chapter 9
Nontrivial Solutions
of Abstract
Hammerstein Equations
u = AN (u), U E Y, (9.1)
where Y is a Banach space, N Y --+ y* and A y* --+ Y is linear.
Assume that A splits into
129
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
130 Chapter 9
v = H* N H (v), v E X. (9.3)
E' (v) = 0, v EX
for the energy (or Golomb) functional
1 2
E: X ---t R, E (v) = 21vlx - JH (v).
Theorem 9.1 Assume (9.2), (9.4) and (9.5) . Assume that N (0) = and
the functional (N (.),.) sends bounded sets into upper bounded sets. In
°
addition assume that there are VI E X \ {O}, r E (O,IVll) and R 2: IVll
such that the following conditions are satisfied:
max { 0, 21vl1x
1 2 - JH (VI) }<.mf {121vlx -
2 JH (v) : Ivlx = r } , (9.6)
and since H is bounded and (N (.) ,.) sends bounded sets into upper
bounded sets, there exists a lIO > 0 such that
equivalently, (8.13) holds. Thus, also taking into account (9.8), all the as-
sumptions of Theorem 8.2 are satisfied. •
From Theorem 8.3 we can derive the existence of two solutions for (9.1).
Theorem 9.2 Assume all the assumptions of Theorem 9.1 hold. In addi-
tion assume that J sends bounded sets into upper bounded sets and
1 2
"2IVIlx - JH (VI) :S O.
Then (9.1) has at least two non-zero solutions U E Y of the form u = H (v)
with Ivlx :S R.
Remark 9.1 (The energy space) Assume (9.2), (9.4), (9.5) hold and H:
X ----> Y is injective. The space
XH:= H(X) cY
is a Hilbert space under the scalar product (., .)H defined by
(vJ,)=(H*NH(v),~), ~EX,
or, equivalently,
(H(v),H(~))H=(NH(v),H(~)), ~EX.
1 2
E(u) = "2lulH - J(u), u E XH.
Since J E C1 (Y; R), by (9.9), J E C1 (XH; R) and has the same derivative
N. Hence
Theorem 9.3 Let 0 C RN be bounded open, 2::; p < Po < 00, l/p+l/q =
1, l/po + l/qo = 1, /'i,: 0 2 ~ Rand f : 0 x Rn ~ Rn. Assume that the
following conditions are satisfied:
(i) the operator A: LqO (0; Rn) ~ LPO (0; Rn) given by
is bounded and its restriction A: L2 (0; Rn) ~ L2 (0; Rn) is positive, self-
adjoint, and completely continuous;
(ii) f is (p, q)-Caratheodory of potential F and f (x, 0) = 0 a.e. on 0;
(iii) there are VI E L2 (O;Rn) \ {O} and r E (0, IV112) such that
Since Nf is a bounded operator, the map (Nf (.),.) sends bounded sets
into bounded sets. By (iii), (iv), conditions (9.6) and (9.7) hold trivially. It
remains to show that the attached functional E satisfies the (PS)R condition.
To do this let (Vk) be any sequence of elements in L2 (0; Rn) with
satisfying
E (Vk) ~ /-l E R, (E' (Vk) ,Vk)2 ~ l/ ::; 0
134 Chapter 9
and
E ' (Vk ) - (E' (Vk) 2, Vk)2 Vk --t
0
. (9.13)
IVkl2
We may assume that IVkl2 --t a, for some a E [0, R]. If a = 0 we have
finished. Assume a E (0, R]. Then
f k - (E'(Vk),Vkh
Vk - H *NH(v) 2 Vk --t
0
IVkb
we infer that the corresponding subsequence of (Vk) is convergent. Thus E
satisfies the (PS)R condition. •
Theorem 9.2 yields the following result.
Theorem 9.4 Assume all the assumptions of Theorem 9.3 hold. In addi-
tion assume that
r F (y, H (VI) (y)) dy ::; O.
"21 IVIb2 - in (9.14)
Then (9.1) has at least two non-zero solutions u E LP (0; Rn) of the form
u = H (v) with IvI 2 ::; R.
Proof. Notice J maps bounded sets into bounded sets as follows from
(7.7). The result is now a simple consequence of Theorem 9.2. •
Remark 9.2 If p> 2, a sufficient condition for (iii) is the following one:
(iii*) there is a VI E L2 (0; Rn) \ {O} such that (9.14) holds,
< a (C;lr + I I Z P- 1 )
c(E) Izlp-I .
Here c (E) = a (6 1- p + 1) 2: o. Hence
If (x, z)1 :S 10 Izl + c (c) Izl p- I
for a.e. x E 0 and all z ERn. Now using (7.7) we obtain
1
E (v) 21vl~ - JH (v)
Since
Here IAlq,p is norm of A as operator from £q (0; Rn) to £P (0; Rn) , whilst
g E £q (0; R+) and c E R+ come from the (p, q)-Caratheodory property of
f, i.e.,
If (x, z)1 ::; g (x) + C Izl p- 1
for a.e. x E 0 and all z ERn.
Indeed, if v E £2 (0; Rn) satisfies Ivl 2 = R then
Similar results for the existence of solutions in a ball of £p (0; Rn) are
presented in Precup [31], [32] by means of a mountain pass theorem on closed
convex sets owed to Guo-Sun-Qi [16].
Nontrivial Solutions of Abstract Hammerstein Equations 137
Ro :S Ivl x :S R.
Here we present just an example of a problem for which such a localization is
possible. The ideas in this section were adapted from Precup [34]. Naturally,
an open problem is to give extensions for other nonlinear problems.
The problem we deal with is the semi-linear Dirichlet problem
-flu = lul p- 2 u in 0,
{ (9.17)
u=0 on 80.
For p = 2, >"1 is the first eigenvalue of the Laplacian -fl under the
Dirichlet boundary condition, and 1/>"1 represents the best constant in
the Poincare's inequality (see Precup [30], Theorem 3.59). For p > 2 and
N = 1 this quantity arises in the study of compactness properties of integral
operators on spaces of functions with values in a Banach space (see Precup
[33]).
We now recall some well known results from the theory of linear elliptic
boundary value problems.
(PI) Let 0 C RN be a bounded open set with C 2-boundary. The Lapla-
cian -~ is a self-adjoint operator on L2 (0) with domain W 2,2 (0) n
W~,2 (0) (see Precup [30]' Theorem 3.33). It can be regarded as a con-
tinuous operator from w 2,q (0) n w~,q (0) to Lq (0) for each q E (1,00) .
Moreover, -~ is invertible and
A:= (_~)-1
is a bounded linear operator from Lq (0) to w 2,q (0) (see Brezis [5], The-
orem 9.32). Also, A as an operator from L2 (0) to L2 (0) is positive,
self-adjoint, and completely continuous.
(P2) (Sobolev embedding theorem) Let 0 C RN be a bounded open set
with Lipschitz boundary, kEN, 1 :S q :S 00. Then the following holds:
(1°) If kq < N we have
w 2 ,q (0) c LP (0)
2N Nq
P < - - '¢=}p<--
- N - 2 - N - 2q
According to Theorem 6.2 the properties (a )-( c) are sufficient for that the
operator A considered from Lq (0) to £P (0), where p E (2,po) and
1/p + 1/ q = 1, admits a representation in the form
A=HH*
where
H : L2 (0) ----t LP (0), H (v) = Al/2 (v)
and
H* : L q (0) ----t L 2 (0)
is the adjoint of H. Notice H is injective since A is positive defined.
In what follows by IHI we shall mean
Our first result gives a lower bound for all nontrivial solutions of (9.17).
v = H* (luIP-2 u) = H- 1 (u)
satisfies
Ivl2 2: IHI- 1 [(p - 1) Ap _l]1/(p-2) . (9.21 )
Proof. Let us first prove that any solution of (9.17) belongs to C 1 (0) .
For N = 1 this follows from (9.20) (choose a = 0, m = 1 and k = 2).
Assume N 2: 2 and fix any number qo > N (p - 1). If q 2: N /2 then
(P2) guarantees u E LqO (0) . Assume q < N /2 and denote ql = q. Since
u E W 2 ,ql (0) and ql < N/2, from (9.19) we have u E Lqi (0), where
140 Chapter 9
~ 1
qJ- * Nqj-1
u E w 2,qj (0), qj = p _ l' %-1 = N _ 2qj-1 ' (9.22)
where q1,q2, ... ,qj-1 < NI2 (j ~ 2). We claim that there exists a j with
qj ~ N12. To prove this, assume the contrary, that is qj < NI2 for every
j ~ 1. Using p < 2NI (N - 2) we can show by induction that the sequence
(qj) is increasing. Consequently, qj ~ if E [q, N12] as j ~ 00. Next, from
(9.22) we obtain
qj (N - 2qj-1) (p - 1) = Nqj-1.
Letting j ~ 00 this yields if (N - 2if) (p - 1) = N if and so
N (p - 2)
if
2 (p - 1)
p
> q=-.
p-l
Hence
-!j.u = lul p- 1 :s; lul p - 2 u.
If we 'multiply' by uP- 1 and 'integrate' on 0, we obtain
r
in lul p- 2 v;Pdx:s
(inru p2 / 2dx )2/p ( inr lulPdx )(p-2)/p (9.25)
Since IH (v)lp :S IHllvb and by (9.23) one has u # 0, from (9.24) and
(9.25) we deduce that
(p - 1) Ap-l :S IHIP-2Ivl~-2 ,
that is, (9.21) . •
The main result in this section is the following existence and localization
theorem.
Proof. First notice the left inequality in (9.26) is true for all non-zero
solutions of (9.17) according to Theorem 9.5. Next we prove that for each
The equation (9.17) can be put under the form (9.1), where N = N f and
Also
1
F (x, z) = -
p
IZ IP .
Thus the Golomb functional E: L2 (0) R is given by
1 11 IH
--t
As in the proof of Theorem 9.3 we can show that E satisfies the (PS)R
condition.
If for this R the Leray-Schauder boundary condition (9.7) does not
hold, then there are v E £2 (0) and ,\ E (0,1) such that Ivl2 = Rand
v = '\H* N H (v) .
v= H*NH(v),
where
¢ ((T) = ~(T2 - t(TP IHI P , (T E R+.
IH (v2)1~ ~ IHI P - p.
1 2 1
E (Vl) E ('\V2) = -,\
2
- p-).P IH (V2)IP
P
(9.29)
1 2 1 P 1 1
< -,\ --,\PIHI +-,\Pp=¢(,\)+-,\Pp.
2 p p p
E (v) 1 2-
-r 1 P IH (r- 1v) IP
-r (9.30)
2 p P
1 1
> _r2 - -rP IHI P = ¢(r).
2 p
Nontrivial Solutions of Abstract Hammerstein Equations 143
Now (9.29), (9.30) and (9.28) guarantee (9.6). Thus all the assumptions
of Theorem 9.1 hold and so there exists a non-zero critical point v of E
with Ivl2 ~ R. Therefore for each R > r (9.17) has a solution U E LP (0)
satisfying (9.27).
Finally, for each positive integer k we put R = r + 11k to obtain a
solution Uk with
IH- 1 (uk)12 ~ r + ~,
and the result will follow via a limit argument. •
Ap-1 > 0
for p E [2, 2NI (N - 2)] if N 2': 3 and for p E [2, (0) if N = 2. Moreover,
its proof connects Ap-1 to the embedding constant of W~,2 (0) into V (0) .
Theorem 9.7 Let 0 C RN be bounded open and let p E [2, 2NI (N - 2)]
if N 2': 3, and p E [2,(0) if N = 2. Then there exists a constant c > 0
depending only on p and 0, such that
in lV'vl2
Here
1/2
Ivlw~,2(n) = (
dx
)
Ap-1
After substituting v
t P
: u E cQ'(n),
(p~o)2
Thus (9.31) holds with the smallest constant
c = _1_ = (PCO)2
Ap-1 2 '
ITERATIVE METHODS
Chapter 10
151
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
152 Chapter 10
and
d(T(u),T(v)):::; Md(u,v) (10.2)
(I - M) z = 0
z ~ (1 - M)-l z
{ (1 - M) -1 Zo : Zo ERn, Zo > 0 } .
Z := (I - M)-l Zo 2: Zo,
Hence (Uk) is a Cauchy sequence. Let U* be its limit. Then from (10.6) we
have u* = T (u*) , whilst from (10.7) and letting m ----) 00 we obtain (10.5).
For uniqueness let Ul, U2 be two fixed points of T, then
d (Ul' U2) = d (Tk (Ul) ,Tk (U2)) ::; Mkd (Ul' U2) .
such that for any Uo E X satisfying d (uo, U (0)) :S r, the sequences (Uj,ik::o,
j = 1,2, ... , m, defined by
Ul,O = Uo
Uj,i+l = HAj (Uj,i), i = 0, I, .. .
Uj+l,O = Uj,kj , j = 1,2, ... ,m-1
Proof. Step 1. First we prove that for each A. E [0,1] HA has a fixed
point. Let
d(Uk, Uj) :S (I - M)-l [d (H (Uk, A.k), H (Uk, A.)) + d(H(Uj, A.), H(Uj, A.j))].
This shows by (a3) that (Uk) is a Cauchy sequence. Then since X is com-
plete there is a U E X with d(uk,u) ---; 0 as k ---; 00. Clearly U E U.
Then
d (Uk, H (u, A.)) ---; d (u, H (u, A.))
and, from (10.8) and (a3), we have
as A ~~.
Step 4. Finding r. For any ~ E [0,1] and each i E {I, 2, ... , n} let
ri(~)=inf{ddu,u(~)): UEX\U}.
1
di (u (~k), u (~)) < '2ri (~), k 2 k1 · (10.12)
1
ri (~k) < '2ri (~) , k 2 k 2. (10.13)
1
di(U,U(~ko)) < '2ri(~)' (10.14)
Step 5. Finding of m and 0 < A1 < A2 < ... , Am-1 < 1. If r = 00 take
h = 1; if r E PM let h = TJ (r), where TJ (r) is chosen as in (10.10). Then
by what was shown at the end of Step 1 for each f-L E [0,1] ,
d(U1,kl'U(A1))::; r.
Now
d(U2,0,U(A1)) = d(U1,kl,U(A1))::; r, A2 - A1::; h,
and we repeat the above argument in order to show that (U2,i)i>0 is well
defined and satisfies (10.9). In general, at step j (1 ::; j ::; m - 1) we choose
kj E N such that
d( Uj,k j , u( Aj)) ::; r.
Then since
by (10.15) we have that the sequence (uj+1,ik~0 is well defined and satisfies
(10.9) . •
The above proof yields the following algorithm for the approximation of
U (1) under the assumptions of Theorem 10.2:
o = '\0 < '\1 < '\2 < ... < ,\m-l < '\m = 1
of [0,1] with ,\)+1 -,\j ~ h, j = O,l, ... ,m -I, any element Uo with
d (uo, U (0)) ~ r and we follow the next:
Iterative procedure:
Set ko := 0 and UO,ko := Un;
For j := 1 to m - 1 do
Uj,O := Uj-l,kj_1
i:= 0
While Mi (1 - A)-l d(uj,o, H>.)uj,o)) i r
Uj,i+1 := H>'j(uj,i)
i := i +1
kj = i
Set i := 0
While Mi (I - M)-l d (um,o, HI (um,o)) i c
Um,i+1 = HI (Um,i)
i := i + 1
Finally take Ul = Um,i'
Notice for n = I, Theorem 10.2 reduces to Corollary 2.5 in Precup [50].
For other continuation results involving generalized contractions, see
Agarwal-O'Regan [1], Frigon [23] and Precup [53]. For some related topics
and applications, see Rus [56], ~erban [58] and Tsachev-Angelov [59].
u"=g(x,u,u'), xE [0,1]
{
u (0) = 0, u' (1) = 0
/1;12 = /1;21 = 0,
and
II (x, ul, U2) = u2, h (x, ul, U2) = g (x, Ul, U2) .
Before we state the main result we introduce the following notations.
For an element Z E Rn, Z = (ZI' Z2, ... , zn) we let
Theorem 10.3 Let 0 C RN be a bounded open set, /1;: 02~ Mnxn (R)
measurable and f : 0 x R n ~ Rn. Assume that there are p E [1,00],
The Discrete Continuation Principle 161
(a) if 1 ::; p < 00 then K,ij (x,.) E U (0) for a.e. x E 0, and
{ the map x f--+ lK,ij (x, .)Ir belongs to LP (0) (ljq + 1jr = 1) ;
(b) ifp = 00 then K,ij (x,.) E U (0) for every x E 0, and
the map x f--+ K,ij (x,.) is continuous from 0 to U (0) ;
(10.17)
f satisfies the Caratheodory conditions, f (.,0) E Lq (0; Rn) and
{ Ilf(x,zl) - f(x,z2)11::; L(x) IiZl- z211 for a.e. x E 0,
all Zl, Z2 ERn, and some L E Vq/(p-q) (0; Mnxn (R+)).
(10.18)
Let M = [MikJ ,
n
Mik = L /1K,ij (x, ·)Ir/p ILjklpq/(p_q)
j=l
and assume M is convergent to zero. In addition assume that
uEU (10.19)
for each A E [0, 1J. Then (10.16) has a unique solution u E U C V (0; Rn) .
Moreover, u E C (0; Rn) for p = 00.
By Young's inequality
< 1 t
n j=l
IfLij (x,y)llfj (y,u(y)) - Ii (y,v (Y))1 dy
< 1 t
n j=l
IfLij (x,y)1 tLjdy) IUk (y)
k=l
- vdy) I dy
n n
< I: I: IfLij (x, ·)Ir ILjklpq/(p_q) IUk - vkl p ·
k=lj=l
Consequently
n n
IHdU, >.) - Hi (v, >')Ip ::; I: I: IlfLij (x,.) Ir Ip ILjklpq/(p_q) IUk - vklp
k=lj=l
n
I: Mik IUk - vkl p ·
k=l
Thus
IIH (u, >.) - H (v, >')lIp ::; M Ilu - vll p ·
Now the conclusion follows from Theorem 10.2. The cases p = 00 and p = q
are left to the reader. •
Notice that for Volterra-Hammerstein integral equations with matrix
kernels one can use a similar argument to that in the proof of Theorem 5.6
in order to apply directly Perov's theorem.
For an extension of Theorem 10.2 to spaces with two vector-valued met-
rics and some applications to systems of abstract Hammerstein integral equa-
tions, see O'Regan-Precup [39].
Chapter 11
163
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
164 Chapter 11
K+={UEX: o '5:. u}
is a cone (called the positive cone) and '5:. = '5:.K+ .
[U,v] (u+K)n(v-K)
{WEX:u'5:.w'5:.v}.
Consequently
Definition 11.4 Let (X, K) be an ordered Banach space and let :S be the
order relation induced by K. We say that:
1) K is a normal cone if
Proposition 11.2 Let (X,K) be an ordered Banach space with norm 1.1.
The following statements are equivalent:
(a) K is a normal cone.
( b) The norm 1.1 is semi-monotone, i. e., there exists a 'Y > 0 such that
1
o :S Uk :S vk, IVkl = k' IUkl > 1.
But this is contrary to the definition of a normal cone. Let 'Y = Ih. If
o :S U :S v then
o :S 7] Ivl- 1 U :S 7] Ivl- 1 v, 17] Ivl- 1 vi = 7].
166 Chapter 11
Proof. Assume the cone K is regular but not normal. Then statement
(c) in Proposition 11.2 does not hold. Hence we may find two sequences
(Uk) , (Vk) such that
1
Uk, Vk E K, IUkl = IVkl = 1, IUk + vkl ::; 2k .
Wk :S I)Uj + Vj) E K.
j=1
°
Remark 11.1 In an ordered Banach space with normal cone, any order
interval [u, v] is a bounded set. Indeed, if W E [u, v] then :S w-u :S v-u.
The norm being semi-monotone we have
IW - ul :S 'Y Iv - ul .
Example 11.1 Let Dc RN be bounded open. In (C (D;R n ) , 1.1(0)' the
°
set
K = {u E C (D; Rn) : u (x) ;?: on n}
is a normal cone. However, it is not regular; for example, take D = (0,1) ,
n = 1, and
kx, for x E [0, kJ
Uk ()
x - {
- 1, for x E [i,lJ .
Clearly Uk :S Uk+1 :S 1 but (Uk) does not converge in C [0, 1].
Example 11.2 Let Dc RN be open and let 1 :S p < 00. The set
is a regular cone of LP (D; Rn). For the proof use Beppo Levi's theorem
(see Brezis [7], p 55).
We now state and prove the monotone iterative principle for increasing
operators in ordered Banach spaces.
Proof. Notice the increasing operator T maps [uo, vol into itself if and
only if
uo ~ T(uo) , T(vo) ~ Vo·
From
uo ~ T (uo) ~ T (vo) ~ Vo
we find
uo ~ T (uo) ~ T2 (uo) ~ T2 (vo) ~ T (vo) ~ vo,
and finally
uo ~ T(uo) (11.2)
Assume (i). Then (11.2) implies the convergence of the sequences (Tk (uo))
and (Tk (vo)). Let u*, v* be their limits. Then from
Assume (ii). The order interval [uo, vol being bounded (see Remark
11.1) and T being completely continuous, we have that T ([uo, vo]) is rel-
atively compact. Consequently (Tk (uO))k>l has a convergent subsequence
">1' Let u* be its limit. Clearly u* E [uo, vol. We claim that
(Tkj (uo)) 1_
the whole sequence (Tk (uO))k>l converges to u*. Indeed, for each c > 0
1:
there is a jc such that -
Here the constant 'Y > 0 comes from the semi-monotonicity of the norm.
On the other hand, for i 2: kj< we have
Tkj< (uo) :::; Ti (uo) :::; u*,
that is
0:::; Ti (uo) - Tkj< (uo):::; u* - Tkj< (uo).
Then
ITi (uo) - Tk je (uo)1 :::; 'Y lu* - Tk je (uo)l·
Hence
ITi (uo) - u*1 < ITi (uo) - Tkje (uo)1 + ITkje (uo) - u*1
< ('Y + 1) ITkje (uo) - u* I
< c.
Thus Ti (uo) ----t u* as claimed. Use similar arguments to prove the conver-
gence of (Tk (vo)).
Now assume that W E [uo, vol is a fixed point of T. Then
Uo :::; T (uo) :::; T (w) = w :::; T (vo) :::; vo
and in general
Tk (uo) :::; w :::; Tk (vo) .
Letting k ----t 00 we obtain u* :::; w :::; v* . •
We shall use the following terminology:
1) An element Uo for which Uo :::; T (uo) is said to be a lower solution
of the operator equation u = T (u) .
2) An element vo satisfying T (vo) :::; vo is said to be an upper solution
of the equation u = T (u) .
3) The fixed point u* given by Theorem 11.1 is the minimal solution of
the equation u = T(u) in [uo, vol , whilst v* is the maximal solution in
[uo,vol·
170 Chapter 11
°: : ;
Theorem 11.2 Let (X, K) be an ordered Banach space and let [uo, vol C
X be an order interval with Uo ::::; Vo such that there is a number A
with
A > 0, AVO::::; un. (11.3)
Assume T : [0, vol ---> X is increasing on [0, vo], continuous on [uo, vol ,
T ([uo, va]) C [uo, vol and that there is a function ¢ : (0,1) ---> R such that
for all A E (0,1), u E [uo, vol. In addition assume one of the following
conditions:
(i) K is a regular cone.
(ii) K is a normal cone and T is completely continuous.
Then T has a unique fixed point u* in [uo, vo], (Tk (uo)) zs mcreasing
and convergent to u*, (Tk (vo)) is decreasing and convergent to u*, and
Hence the set {). E (0,1] : AV* ::::; u*} is nonempty. Let
¢(A*)V* ¢(A*)T(v*)
< T(A*V*)::::; T(u*) = u*.
Theorem 11.3 Let (X, K) be an ordered Banach space and let [uo, vol C
X be an order interval with 0 :::; uo :::; Vo such that there is a number A
with
A > 0, AVO:::; Uo. (11.5)
Assume T : [0, vol -+ X is decreasing on [0, vol, continuous on [uo, vol,
T ([uo, vo]) C [uo, vol and that there is a function X : (0,1) -+ (0,00) such
that
X(A) <:x'
1
T(AU):::; X(A)T(u) (11.6)
for all A E (0,1), u E [uo, vol. In addition assume one of the following
conditions:
(i) K is a regular cone.
(ii) K is a normal cone and T is completely continuous.
Then T has a unique fixed point u* in [uo, vol. Moreover, the sequences
(T2k (uo)) and (T 2k+1 (vo)) are increasing and convergent to u*, whilst
(T 2k+ 1 (uo)) and (T2k (vo)) are decreasing and convergent to u*. Also
Uo :::; T (vo) :::; T2 (uo) :::; T2 (vo) :::; T (uo) :::; vo.
Finally
Uo :::; T(vo)
T2k (u)
o u*,
-+ T 2k +1 (u0
) -+ v*
, Uo :::; u* :::; v* :::; vo.
172 Chapter 11
We have
T(u*) = v*, T(v*) = u*.
Let
A* = sup {A E (0,1] : AV* :S u*}.
Then A*V* :S u*. We show that A* = 1. Assume A* < 1. Then using (11.6)
we deduce that
V* = T(u*)
< T (A*V*) :S X (A*) T (v*)
X(A*)U*.
Since X(A*) < I/A*, this contradicts the definition of A*. Hence A* = 1
and so u* = V*. Now, from
Finally, it is easy to conclude that Tk (w) ----t u* for every w E [uo, vol. •
The results presented in this section are more or less in connection
with those established by Amman [2], Guo-Lakshmikantham [27], Heikkilii-
Lakshmikantham [30] and Krasnoselskii [33].
Theorem 11.4 Let Uo, Vo E C (0; Rn) be such that Uo (x) :S Vo (x) and
for all z,z' ERn satisfying uo(x) :s; z:S; z':s; vo(x) , and all x,y E O.
Then the sequence (ukh~o given by
Theorem 11.5 Assume all the assumptions of Theorem 11.4 are satisfied.
In addition assume that Uo > 0, (11.8) holds for all z, z, E Rn satisfying
o :s; z :s; z' :s; Vo (x) and all x, y E 0, and there is a function ¢ : (0,1) - t R
such that ¢ ()..) >).. and
\
A = mIn
. {UOi
VOi
(x) : x E H,
(x) n' {
~ E 1,2, ... , n
}}
,
where Uo = (UOl' U02, ... , uOn ) and Vo = (VOl, V02, ... , VOn) . •
A better result can be established when Uo and Vo are constants. For
a real number a, we shall also denote by a the vector (a, a, ... , a) E Rn
and the corresponding constant vector-valued function. Also the notation
[a, b] stands for the order interval in Rn and in any space of functions with
values in Rn, ordered by the usual positive cone.
for,\ E [a/b,I), z E [a, b] with '\z 2: a and all x, y E n. Then (11.7) has a
unique solution u* in [a, b] ,
{ v7(x):
u~(x) - }
'\=min xEn, iE{I,2, ... ,n} .
¢(A)V* ¢(A)T(v*)
:s ¢ (A) T (v) :s T (AV) = T (u)
< T(u*)=u*.
This is in contradiction with the definition of A since ¢ (A) > A. •
Example 11.3 The equation
al-a:s 10 K, (x, y) dy :s b
l- a, X E n.
Here ¢ (A) = Aa .
Theorem 11.7 Let ua, Va E C (n; Rn) be such that 0 < Ua :s Va and
for A E (0,1), Z E Rn with uo(x):S z:S vo(x), and all x,y E n. Then
(11.7) has a unique solution u* in [uo, vol and
Moreover, the sequences (T2k (uo)) , (T 2k +l (vo)) are increasing and the
sequences (T 2k +1 (uo)) , (T2k (vo)) are decreasing.
for A E [a/b,l), Z E [a,b] with AZ 2 a, and x,y En. Then (11.7) has a
unique solution u* in [a, b] ,
the sequences (T2k (uo)) , (T2k+l (vo)) are increasing, and the sequences
(T 2k+1 (uo)) , (T2k (vo)) are decreasing.
f(t,z)2g(t)
l~T g (s ) ds 2 a
for all t E [0, tl] ;
(a4) there exists a continuous nondecreasing function 'IjJ (a, 00) -t
('X) 1
tl < Jb 'IjJ(<J)d<J,
178 Chapter 11
where
tl = i
b
RO 1
'ljJ ((}) d(}. (11.20)
Let X = C ([0, tl] ; Rn) be endowed with the usual positive cone, let
K={uEX:u2a}
and let T: K -> C ([0, tl] ; Rn) be given by
where u(t) = tp (t) for t E [-T, 0] , U (t) = u (t) for t E [0, tl]'
Iv(t)I:SRo on [O,tl]'
Consequently, v :S Ro. Now we apply Theorem 11.1 by setting Uo = a and
Vo= v, where v E K is any solution of the initial value problem. •
The next result deals with the existence and approximation of the max-
imal solution in K of (11.17)-(11.18).
(i.e., f(t,tp(t)):S T-IR for t E [-T,O] and f(t,R):S T-IR for t E [O,tl]),
and f (t, z) is increasing in z on [a, R]. Then Tk (R) -> v* uniformly on
[0, tl], v* is the maximal solution in K of (11.17)-(11.18), and
a :S v* :S ... :S T k+ l (R) :S Tk (R) :S ... :S T (R) :S R.
Monotone Iterative Methods 179
Corollary 11.1 Assume that all the assumptions of Theorems 11.10 and
11.11 are satisfied. Then (11.17)-(11.18) has a unique solution u* in K,
and for any wEe ([0, tl]; Rn) with w E [a, R] one has Tk (w) ~ u*
uniformly on [0, tl]'
and assume f (t, z) is decreasing in z for 0 < a :::; z :::; R. Also assume
that there is a function X: [aj R, 1) --) (0,00) such that for all oX E [aj R, 1),
t E [0, tIl and z E Rn with z E [a, R] and oXz ~ a, one has
1
X (oX) <:.\, f (t, oXz) :::; X (oX) f (t, z) . (11.24)
2. Periodic Solutions
We now present similar results for the periodic solutions of the equation
(11.17).
We are interested in periodic continuous solutions u such that
f(t,z)~g(t)
l~T g (s ) ds ~ a
for all t E R.
(h4) there is a number b with avn
< b < R, and a function 'IjJ E
C ([a, R] ; R+) with 'IjJ (t) > 0 on [b, R], such that
w:::; l b
R 1
'IjJ(a)da (11.25)
Monotone Iterative Methods 181
and
If(t,z)l::; ~T (11.26)
Tk (R) ---+ u*
uniformly on [0, w], with (T 2k +1 (R)) increasing and (T2k (R)) decreasing.
Then
a::; T (R) ::; u ::; T 2 (R).
We successively obtain
< u
a ~ u* ~ u ~ v* ~ R.
Obviously
u* = T (v*) , v* = T (u*) .
Finally, use a similar argument as in the proof of Theorem 11.3 to conclude
that u* = u = v*. •
T(a) ~ R (11.29)
Since Tk (R) ----+ u*, it follows that Tk (w) ----+ u*, as we wished . •
For the next result let us replace (h4) by the following condition used in
Guo-Lakshmikantham [28]:
The proofs are similar to that of Theorem 11.13, so we omit the details.
184 Chapter 11
Assume that
f(x,z):::;f(x,z') (11.32)
for all z,z' E Rn with Uo (x) :::; z:::; z':::; Vo (x), a.e. on 0, and that A is
increasing, i. e.,
A (v) 20 for all v 2 o. (11.33)
Then there are solutions u*, v* E [uo, vol to (11.30), minimal, respectively,
maximal in [uo, vol. Moreover, the sequences (Tk (uo)) , (Tk (vo)) converge
monotonically to u* and v*, respectively.
Monotone Iterative Methods 185
by (11.31). The conclusion now follows from Theorem 11.1 since the positive
cone of LP (0; Rn) is regular. •
and (11.32) holds for all z, z' E Rn with 0 ~ z ~ z' ~ vo (x), a.e. on O.
Also assume that there is a function ¢ : [alb, 1) -> R with
for all >.. E [a/b,l) and z E Rn with uo (x) ~ z ~ vo (x), a.e. on O. Then
(11.30) has a unique solution u* in [uo, vo], and
Moreover, the sequences (Tk (uo)) and (Tk (vo)) converge monotonically
to u*.
Proof. Let u*, v* be the minimal and maximal solutions given by The-
orem 11.17. Clearly u* ~ v*. We have to prove that u* = v*. Let
From (11.34),
a ui (x)
- < - - < 1 a.e. on 0,
b - v; (x) -
so >.. E [alb, 1]. Clearly, >..v* ~ u*. If >.. < 1, then using (11.35) we obtain
¢ (>..) v* = ¢ (>..) T (v*) ~ T (>..v*) ~ T (u*) = u*.
Since ¢ (>..) > >.. this contradicts the definition of >... Thus >.. = 1 and so
u* = v* . •
A variant of Theorem 11.18 can be stated for the case where T is in-
creasing on [uo, (b/a) uo] instead of [0, vol.
186 Chapter 11
b
uo (x) :S z :S z' :S - Uo (x) ,
a
Proof. Let u*, v* be the minimal and maximal solutions given by The-
orem 11.17. Let>. E [a/b, l] be given by (11.36). Let u = (UI' U2, ... , un)
and v = (VI, V2, ... , v n ) be defined by
Ui (x) = max {UOi (x), >.v; (x)} = >.max {}UOi (x), v; (x)}
and
Vi (x) = max {}U Oi (x), V; (x) } ,
V* :S v :S -uo,
b \ :S u * .
uo:S u = AV
a
Hence if >. < 1 then
Since ¢ (>.) > >. this contradicts the definition of >.. Thus >. = 1 and so
u* = v* . •
Similar existence and uniqueness results can be established for decreasing
operators. For example, we have the following theorem.
for all z, z' E Rn with 0 :s: z :s: z' :s: Vo (x), a.e. on O. Also assume that
there is a function x: [a/b,l) ---t (0,00) with
1
X (.\) < :\"' f (t, .\z) :s: X (.\) f (t, z) (11.39)
for all .\ E [a/b,l) and z ERn with Uo (x):S: z:S: Vo (x), a.e. on O. Then
there exists a unique solution u* E [uo, vol to (11.30) and
(A (u + tv) , u + tv) 2: 0,
that is
(A (v) , v) t 2 + 2 (A (u) , v) t + (A (u) , u) 2: o.
Consequently
(A(U),V)2:s (A(v),v)(A(u),u).
Monotone Iterative Methods 189
Lemma 11.2 Let A : L2 (0; Rn) ----t L2 (0; Rn) be a positive self-adjoint
operator. Assume the following conditions are satisfied:
and
v-cA(v)=u. (11.49)
190 Chapter 11
Therefore
(A (v-) ,v-)2
c> -'---'-----'---'----,;:-'--"'-
- IA (v-)I~
This together with (11.43) implies c 2:: IAI- 1 , a contradiction. Thus v- = 0
and the proof is complete. •
For the last two results assume that 0 c RN is bounded open.
for a.e. x E 0, all z E Rn with z 2:: 0, and some c E R+ with c < IAI- 1
and c' E R+.. In addition assume that the solution of the equation
u - cA (u) = A (c')
belongs to Loo (0; Rn). Then the equation u = ANj (u) has at least one
solution in L2 (0; Rn). Moreover, if the set S+ (S_) of all solutions u 2:: 0
(respectively, u :::; 0) is nonempty, then it has a maximal (respectively,
minimal) element.
Since Vo belongs to Loo (0; Rn), there is mE (0,00) with Vo ::; m. Then
the function fm given by
Vo - w 2: cA (vo - w) .
Theorem 11.23 Let A : L2 (0; Rn) --. L2 (0; Rn) be a completely con-
tinuous positive self-adjoint operator such that (11.46) and (11.47) hold.
Let f : R+. --) R n be a continuous map such that f (0) = 0 and for each
mE (0,00), there is a constant am E R+ with
Assume that
J(z) S;cz+c'
Jor all z E R+., and some c E R+ with c < IAI- 1 , C' E (0, oot , and
J (z) 2: IAI- 1 Z (11.52)
Jor all z E R+. with Izl S; EO, where EO > o. In addition assume that the
solutions oj the equations
belong to £00 (0; Rn). Then the equation u ANf (u) has a maximal
solution u in £2 (0; R+.) and u 1= o.
u - cA (u) = A (c')
Tm = (I + amA)-l ANfrn ,
where m E (0, 00) satisfies Va (x) S; m a. e. on O. As in the proof of
Theorem 11.22 we can show that v* is maximal in the set of all nonnegative
solutions. To show that v* 1= 0, we prove that v* is the maximal fixed point
of Tm in an order subinterval
() = (A(Ul+tV),Ul+tvh
g t 2'
IUl + tvl 2
which can be defined on a neighborhood of t = O. This function attains its
maximum IAI at t = 0, so g' (0) = O. Notice
Uo = E IU11~1 Ul,
where 0 <E :=::; EO. Clearly
then
-~w+ = fw (x,w+) :s; cw+ (x) + c'
a.e. on O. Hence
w+ :s; cA (w+) + A (c') .
This together with (11.51) implies
vo - w+ ~ cA (vo - w+) .
Thus w+ :s; Vo. Similarly -Vo :s; -w-. Therefore -vo:S; w :s; Vo·
For other applications of the monotone iterative technique to different
types of equations we refer the reader to Bainov-Hristova [4], Buidl [8],
Carl-Heikkila [13], Constantin [15], De Coster-Habets [19], Fabry-Habets
[22], Liz-Nieto [35]' Pouso [45], Precup [49] and Wang-Cabada-Nieto [61].
Chapter 12
Quadratically Convergent
Methods
195
R. Precup, Methods in Nonlinear Integral Equations
© Springer Science+Business Media Dordrecht 2002
196 Chapter 12
for all large k and some c> o. When p = 2 we say that the convergence is
quadratic. In case that the nonlinear terms of the operator equations have
behavior properties of convexity type, the iterative sequences of approximate
solutions are also monotone.
U=G(U),
where
G (U) = U - F' (u)-l F (u) .
Hence
Uk+! = Uk - F' (Uk)-l F (Uk), kEN. (12.2)
The following theorem contains the convergence criterion for Newton's method.
Proof. First we prove that F' (u) is invertible for any U E B2Q (uo).
For this, let U E B2Q (uo) and define the map r : X - t X as
r = 1 - F' (Uo) -1 F' (u) = F' (Uo) -1 (F' (Uo) - F' (u)) .
Then for every v, w E X we have
where
F' (Uk)-1 10 1 [F' (Uk-l + t (Uk - Uk-I)) - F' (Uk-I)] (Uk - Uk-I) dt.
198 Chapter 12
CYk+1 :s i3k+l CYk 11 IF' (Uk-l + t (Uk - Uk-I)) - F' (Uk-I)I dt (12.5)
< ,i3k+l CY 211
k 1
tdt=-,i3k+l CY k2
'
o 2
On the other hand, from
F' (Uk) = F' (Uk-I) [1 + F' (uk_d- l (F' (Uk) - F' (Uk-I))] ,
we deduce that
i3k
i3k+l :s 1 - 'k .
Hence
1,i3kCY 2k
CYk+l :s "2 1 - ,k'
Thus
CYk+1 :s
1 CYkfk
"2 1 - 'k ' < 1 -
'k+l - "2 (1 - ,k)
2 'k
2
(12.6)
Then
CYk+1 :s TlCYk :s Tkcy.
In addition
IUk+l - uol < IUk+1 - ukl + IUk - Uk-II + ... + lUI - uol
CYk+1 + CYk + ... + CYl :s (2- k + Tk+1 + .. , + 1) CY
< 2cy.
Hence (12.4) holds for all k E N\ {O}. Thus (Uk) is well defined and is a
Cauchy sequence. Let U* E B200 (uo) be its limit. Clearly F (u*) = O. Now
an inequality like (12.5) guarantees
with c = 2-l,s~Pi3k < 00 since i3k -+ IF' (u*)-ll. Hence (Uk) converges
quadratically to a zero of F. If v* E B 200 (uo) is another zero of F then
Quadratically Convergent Methods 199
from
F' (UO)-l 10 1 [F' (v* + t (U* - v*)) - F' (Uo)] (U* - v*) dt,
we obtain
[u* - v*[ < /3'Y [U* - V*[10 1 [V* + t (U* - V*) - Uo[ dt
< 2Ct/3'Y [U* - V* [.
Thus v* = u*. Finally we prove (12.3). Let 8k = 'Yk (1 - 'Yk) -1. Since
1/2, (12.6) implies 8k ::;
'Yk ::; Hence 8 k ::; 8L1.
1
. Consequently 8t-
1 2k - 2 k+1 2k-l_1
Ctk ::; T 81 Ctk-1::; ... ::; T (2Ct/3'Y) Ct.
Therefore
L
00
k
[Uk - uo[::; Cti::; Ct2 1 - k (2Ct/3'Y)2 -1 .
i=k+1
Example 12.1 Let us present Newton's method for the abstract Hammer-
stein equation in Rn
u=ANf(u), uELP(D;Rn).
J f = [Oli]
OZj l~i,j~n
is the Jacobian matrix of f.
Now let Uo E LP (0; Rn) be an initial approximation of the solution.
The Newton iterates are determined recursively by solving
J} (x, z, z') -+
[ of- (x,z,z ')]
OZj l~i,j~n
Quadratically Convergent Methods 201
The Newton iterates are here determined by solving in C~ ([0, 1]; Rn) the
linear equation
" - J2f ( ., Uk, Uk' )Uk+l
uk+l ' - Jlf ( ., Uk, Uk, ) Uk+l
j (., Uk, uk) - J] (., Uk, uk) U~ - J] (., Uk, uk) Uk·
Here again p' (u)-l exists if the only solution in C~ ([0, 1] ; Rn) to the
linear equation
h" - J] (.,u,u') h' - J] (.,u,u') h = °
is h = 0. For this, there are known sufficient conditions given in terms of
j, J] and J] (see Granas-Guenther-Lee [26]).
Notice that in applications it is often difficult to find an initial point
Uo and its neighborhood Br (uo) such that all the assumptions of Theorem
12.1 are satisfied. One could overcome this difficulty by asking a convex-
ity property on the nonlinear operator in order to obtain the monotonicity
and the convergence of Newton's iteratives with respect to a certain order
structure. We refer the reader to Vandergraft [60] and Schmidt-Schneider
[57] for Newton's method in ordered spaces, and to Bellman-Kalaba [6] and
Mure§an-Trif [37] for applications to differential equations. The 1990s have
brought up to date the subject by combining Newton's method with the
method of upper and lower solutions together with the monotone iterative
technique, and by the new idea of considering more general nonlinearities
which can be represented as a difference of two convex functions. The re-
sulting mixture is now known as the generalized quasilinearization method.
It provides a tool to construct upper and lower sequences that converge
monotonically and quadratically to a solution of the equation. For several
applications of this method see Lakshmikantham-Leela-Sivasundaram [34],
Carl-Lakshmikantham [14], Cabada-Nieto [10] and the references therein.
We deal with the initial value problem for (12.7) and look for a continuous
solution u (t) for -T::; t ::; tl, when
We assume
'P (0) = [Or f (s, 'P (s)) ds. (12.9)
{
u'(t)=f(t,u(t))+g(t-T,u(t-T)), o< t ::; tl,
(12.11)
u (0) = 'P (0) .
Before we state the main result of this section we present two useful
lemmas. The first one can be proved using Corollary 3.1.2 in Piccinini~
Stampacchia~Vidossich [41].
Lemma 12.1 Let u, v E C l [a, b] be such that u ::; v, and let H (t, z) be
continuous for u (t) ::; z ::; v (t) and every t E [a, b]. Assume that
u' (t) ::; H (t, u (t)) , H (t, v (t)) ::; v' (t)
on [a, b]. Then for each ao E [u (a), v (a)] there exists a solution a E
Cl [a, b] of the problem
F (t, Zl) - F (t, Z2) ::; L (Zl - Z2) for Zl ;::: Z2,
where L E R+. Then u (a) ::; v (a) implies u (t) ::; v (t) on [a, b].
Proof. Assume that u (a) ::; v (a). For small c > 0 let
Then there exist the sequences (Uk) increasing and (Vk) decreasing which
converge uniformly on [0, tll to the unique solution U E C l [0, tll of (12.11)
satisfying Uo ::; U ::; Vo, and the convergence is quadratic, i.e., there are
constants a, b E R+ such that
IUk - uloo, IVk - uloo ::; a IUk-l - ul~ + b IVk-l - ul~ (12.13)
Proof. Notice (12.11) has a unique solution u satisfying Uo ::; u ::; Vo;
this follows by using the step method since f (t, z) is Lipschitz in z on n.
In what follows we shall use the convexity of f and concavity of g by
means of the inequalities
and
U~ (t) ::; f (t, udt)) + g (t - T, 1idt - T)) , (12.15)
v~(t)?:: f(t,vdt))+g(t-T,vdt-T)).
Then we take Uk+l = a and Vk+1 = {3, a and {3 being the unique solutions
of the following linear initial value problems with delay
respectively
where
where for t E [0, T], by gz (t - T, <p (t - T)) we mean gz (0, <p (0)). Notice
for
Uk (t) ::::; X ::::; vk (t) , uk (t - T) ::::; Y ::::; Vk (t - T) ,
(12.18), (12.14) and gz decreasing yield
From (12.12), (12.14) and (12.15) we easily see that the following inequalities
hold:
u~ (t)::::; Fk (t,uk (t) ,Uk (t - T)),
Hence (12.15) also holds with k+ 1 instead of k. In order now to derive the
inequality a :s; (3, that is Uk+1 :s; Vk+l, we apply Lemma 12.2, successively
on [0, T] , [T,2T] , ... , [mT, tl], by taking
a(t-T):s;jj(t-T)
and since g is increasing (recall gz ~ 0),
Clearly, for j = m (12.23) gives (12.13). Let t E [0, T]. Then using the
definition of Uk+1 and the mean value theorem, we obtain
Thus
Iqk+Iloo,o ::::: ~M2TeMIT Iqkl~,o + ~M2TeMIT IPkl~,o.
Therefore (12.23) holds for j = 0, with ao = M 2Te M1T , bo = ~M2TeMIT.
Next, assume (12.23) holds for j. We shall prove (12.23) for j + 1. Let
tE [T,(j+1)T]. We have
1
< 2N2 [2 2 ].
3lPkl oo,j + Iqkloo,j
Thus,
we obtain
eventually, with some new constants aJ+l, bj +1 E R+. Thus (12.23) also
holds for j + 1. Therefore (12.23) is true for all j E {O, 1, ... , m} . •
Corollary 12.1 Assume 'P E C [-T, 0] , Uo, Vo E C 1 [0, tl], Uo (0) = Vo (0) =
'P (0), Uo < Vo on (0, tl], f E C(O), and
fz :=; 0, fzz 2: ° on n,
then there exist the sequences (Uk) increasing and (Vk) decreasing which
converge uniformly and quadratically on [0, tl] to the unique solution u of
(12.10) satisfying Uo :=; u :=; Vo.
217
218 Index