Professional Documents
Culture Documents
Publishers’ page
i
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Publishers’ page
ii
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Publishers’ page
iii
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Publishers’ page
iv
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
v
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Preface
vii
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
But these natural extensions and refinements are left outside the general
scope of this book, because, instead of encyclopedic generality, we are pay-
ing special attention to simplicity and transparency in its exposition so that
it can be comfortably read by graduate and even undergraduate students.
Our proof of the previous characterization theorem is based on the clas-
sical minimum principles of E. Hopf [103, 104], M. H. Protter and H. F.
Weinberger [183] and J. M. Bony [28]. Consequently, though Theorem 7.10
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Preface ix
Preface xi
Then, Chapter 7 combines the weak minimum principles with the the-
orem of M. G. Krein and M. A. Rutman [120] to establish the existence,
the uniqueness and the dominance of the principal eigenvalue σ0 , as well as
the scalar version of Theorem 2.1 of J. López-Gómez and M. Molina-Meyer
[148] and Theorem 2.4 of H. Amann and J. López-Gómez [13].
The last two chapters give a series of fundamental applications of the
main theorem of Chapter 7, which are imperative to study the dynam-
ics of wide classes of spatially heterogeneous reaction-diffusion equations
and systems. As a first application, Chapter 7 concludes by sharpening
the classical minimum principles of E. Hopf and M. H. Protter and H. F.
Weinberger through the characterization of its precise range of applicabil-
ity. Naturally, these refinements might enjoy a huge number of linear and
nonlinear applications.
Precisely, Chapter 8 studies some of the most fundamental properties of
σ0 . Among them, it establishes the monotonicity and continuity properties
of σ0 with respect to c, Ω, |Ω|, and the boundary operator B. Finally, Chap-
ter 9 characterizes the existence of principal eigenvalues for the weighted
linear boundary value problem
{
Lφ = τ W φ in Ω
(0.3)
Bφ = 0 on ∂Ω
where W ̸= 0 is a bounded and measurable function. Our results are
extremely sharp refinements of some pioneering results by R. Courant and
D. Hilbert [44], when W is bounded away from zero, and P. Hess and T.
Kato [97], when W changes sign. Most of the contents of the last two
chapters go back to J. López-Gómez [137] and S. Cano-Casanova and J.
López-Gómez [39].
This book is indebted to the fruitful scientific collaboration of the author
with Professors S. Cano-Casanova and M. Molina-Meyer, members of the
author’s research teams since the beginning of their scientific carriers, as
it is triggered by many of their own mathematical findings. Actually, the
Master thesis of Professor S. Cano-Casanova [38] really was a first attempt
to detail a self-contained proof of Theorem 2.1 of J. López-Gómez and M.
Molina-Meyer [148] under general boundary conditions.
Overall, the whole process of elaboration of this book has taken over ten
years. In the mean time, the author’s research teams have been supported
by a number of projects from the Spanish Government. Among them, we
should mention the following:
• BFM2000-0797, of the Ministry of Science and Technology.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Preface xiii
J. López-Gómez
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Contents
Preface vii
2. Classifying supersolutions 41
2.1 First classification theorem . . . . . . . . . . . . . . . . . 42
2.2 Existence of positive strict supersolutions . . . . . . . . . 47
2.3 Positivity of the resolvent operator . . . . . . . . . . . . . 52
2.4 Behavior of the positive supersolutions on Γ0 . . . . . . . 52
2.5 Second classification theorem . . . . . . . . . . . . . . . . 53
2.6 Appendix: Partitions of the unity . . . . . . . . . . . . . . 58
2.7 Comments on Chapter 2 . . . . . . . . . . . . . . . . . . . 60
3. Representation theorems 63
3.1 The projection on a closed convex set . . . . . . . . . . . 65
3.2 The orthogonal projection on a closed subspace . . . . . . 69
xv
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Contents xvii
Bibliography 319
Index 331
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Chapter 1
1
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
U ′ := L(U, R).
Further, MN (K) will stand for the linear space of matrices of order N ≥ 1
with entries in the numerical field K ∈ {R, C}, i.e.,
MN (K) = L(KN ),
and, for every L ∈ L(U, V ), N [L] and R[L] will stand for the kernel (null
space) and the image (range) of L, respectively.
This chapter introduces the concept of ellipticity for L and gives a series
of sufficient conditions so that it satisfies the classical minimum principle
in the domain Ω.
Besides L∞ ∞
loc (Ω), in this book we consider the Banach space L (Ω) of all
measurable and bounded functions in Ω, and, for every integer k ≥ 0, the
Banach space C k (Ω̄) of all real functions in Ω̄ with continuous derivatives
of order k in Ω̄. By simplicity, we write C(Ω̄) := C 0 (Ω̄). Similarly, we also
consider
∩
C k (Ω) := C k (D̄).
D open
D̄⊂Ω
i.e., when the bilinear form associated to the matrix Ax introduced in (1.3),
B(ξ, η) := ξ T Ax η, (ξ, η) ∈ RN × RN ,
is positive definite; in other words, when all the eigenvalues of Ax are pos-
itive. In such case, µx is said to be an ellipticity constant of L at x.
The operator L is said to be elliptic in Ω when it is elliptic at every
point x ∈ Ω. In such case, L is said to be uniformly elliptic in Ω when
the ellipticity constant µx can be chosen independently of x ∈ Ω, i.e., when
there exists µ > 0 such that
∑
N
aij (x)ξi ξj ≥ µ |ξ|2 for all (x, ξ) ∈ Ω × RN .
i,j=1
The largest µ for which this condition holds is called the ellipticity con-
stant of L in Ω.
Although this operator seems to be of a very special nature, the next result
shows that the principal part of any elliptic operator can be transformed,
through a local change of coordinates, into −∆.
satisfies
∑
N
∂2v
Lp u|x=x0 = −∆v|y=y0 = − (y0 ) (1.5)
j=1
∂yj2
where Lp is the principal part of L and y0 := M x0 .
Proof. Let x0 ∈ Ω, u ∈ C 2 (Ω), and an invertible matrix
M = (mij )1≤i,j≤N ∈ MN (R).
Then,
∑
N
∂2u
Lp u|x=x = − aij (x0 ) = − ∇Tx Ax0 ∇x u (1.6)
0
i,j=1
∂xi ∂xj x=x0
x=x0
Proof. On the contrary, assume that there exist x0 ∈ Ω and R > 0 such
that BR (x0 ) ⊂ Ω,
m := u(x0 ) ≤ 0,
and
u(x0 ) ≤ u(x) for all x ∈ BR (x0 ).
By Proposition 1.1, there exists a linear change of coordinates y = M x such
that
Lp u|x=x = −∆v(y0 ),
0
where
v(y) := u(x), y0 := M x0 .
As x0 is a critical point of u, necessarily ∇x u(x0 ) = 0 and, hence,
0 < Lu(x0 ) = Lp u(x0 ) + c(x0 )u(x0 ) = −∆v(y0 ) + c(x0 )u(x0 ).
Therefore,
∆v(y0 ) < c(x0 )u(x0 ) ≤ 0
because c(x0 ) ≥ 0 and u(x0 ) ≤ 0. This is impossible, for as y0 is a local
minimum of v and, hence, ∆v(x0 ) ≥ 0.
The following result extends Theorem 1.1 to cover the more general case
when Lu ≥ 0 vanishes somewhere in Ω.
x1
y0 y1
x
0
y
1
y0
z
y2
such that
w(y2 ) = m, (1.16)
and
w(x) := u(x) − ϵv(x), x ∈ Ω,
for some appropriate constants α > 0 and ϵ > 0 to be chosen later. By
construction, w ∈ C 2 (B̄ ρ4 (y2 )). Thus, to complete the proof of the theorem
it suffices to show that there exist ϵ > 0 and α > 0 for which w satisfies
(1.16), (1.17) and (1.18).
Since |y2 − z| = ρ/2, we have that v(y2 ) = 0 and, hence, (1.13) implies
w(y2 ) = u(y2 ) − ϵv(y2 ) = u(y2 ) = m.
Thus, (1.16) holds.
Subsequently, we will prove that, for sufficiently large α > 0,
Lv(x) < 0 for every x ∈ B̄ ρ4 (y2 ). (1.20)
Since Lu ≥ 0 in Ω, (1.20) implies that
Lw(x) = Lu(x) − ϵLv(x) > 0
for all x ∈ B̄ ρ4 (y2 ) and ϵ > 0, and, consequently, (1.18) holds. Indeed, for
each j ∈ {1, ..., N } and x ∈ RN , we find from (1.19) that
∂v
(x) = −2α (xj − zj ) e−α|x−z| ,
2
∂xj
∂2v [ ]
(x) = 4α2 (xj − zj )2 − 2α e−α|x−z| ,
2
2
∂xj
where xi and zi , i ∈ {1, ..., N }, stand for the i-th coordinates of x and z,
respectively. Moreover, for every i, j ∈ {1, ..., N }, with i ̸= j, and x ∈ RN ,
∂2v
(x) = 4α2 (xi − zi ) (xj − zj ) e−α|x−z|
2
∂xi ∂xj
and hence,
∑
N
∂2v ∑ N
∂v
Lv(x) = − aij (x) (x) + bj (x) (x) + c(x)v(x)
i,j=1
∂xi ∂xj j=1
∂xj
ρ2
∑N
= −c(x)e−α 4 + −4α2 aij (x)(xi − zi )(xj − zj )
i,j=1
∑
N
[ajj (x) − bj (x)(xj − zj )] + c(x) e−α|x−z| .
2
+2α
j=1
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and hence,
∑
N
ρ2
aij (x)(xi − zi )(xj − zj ) ≥ µ for all x ∈ B ρ4 (y2 ),
i,j=1
16
because x ∈ B ρ4 (y2 ) implies |x − z| ≥ ρ4 (see Figure 1.2). Moreover, since
B̄ ρ4 (y2 ) is a compact subset of Ω, it follows from (1.2) that there exist two
constants C1 > 0 and C2 > 0 such that
∑
N
|ajj (x) − bj (x)(xj − zj )| ≤ C1 , |c(x)| ≤ C2 ,
j=1
4
since c ≥ 0. Therefore, (1.20) holds for sufficiently large α > 0. Throughout
the rest of this proof, we assume that α > 0 has been chosen in this way.
To complete the proof of the theorem it remains to show that (1.17)
holds for sufficiently small ϵ > 0. Indeed, setting
S1 := ∂B ρ4 (y2 ) ∩ B̄ ρ2 (z), S2 := ∂B ρ4 (y2 ) \ S1 ,
it is apparent that S1 is a compact subset of B̄ ρ2 (z) \ {y2 } (see Figure 1.3)
and, in particular, according to (1.15), we have that
u(x) > m for all x ∈ S1 .
Thus, since u is continuous, there exists ξ > 0 such that
u(x) ≥ m + ξ for all x ∈ S1 . (1.21)
Subsequently, we consider any ϵ > 0 satisfying
ξ
0<ϵ< ρ2
.
1 − e−α 4
According to (1.19), it is apparent that
v(x) > 0 if and only if x ∈ B ρ2 (z),
v(x) = 0 if and only if x ∈ ∂B ρ2 (z), (1.22)
v(x) < 0 if and only if x ̸∈ B̄ ρ (z).
2
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
y1
z
S1
S2
y
2
Thus, since
S1 ∪ S2 = ∂B ρ4 (y2 ),
condition (1.17) is fulfilled, and the proof is complete.
Remark 1.1.
(a) Although condition c ≥ 0 is not strictly necessary for the validity of
Theorem 1.2, when c is negative somewhere in Ω the theorem might not
be true.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and, therefore,
Br (z) ⊂ Ω.
Let x ∈ Γ0 and n0 ∈ N such that n0 ≥ 1/r, and for any integer n ≥ n0 pick
zn ∈ Ω such that
1 1
|x − zn | ≤ ≤ ≤ r.
n n0
As
dist(zn , Γ0 ) ≤ |x − zn | ≤ r,
it follows from Definition 1.2(b) that, for every n ≥ n0 , there is a point
xn := xzn ∈ Γ0
for which
( )
zn − xn
dist (zn , ∂Ω) = |zn − xn |, Br xn + r ⊂ Ω.
|zn − xn |
Setting
zn − xn
z̃n := xn + r , n ≥ n0 ,
|zn − xn |
we have that Br (z̃n ) ⊂ Ω, |z̃n − xn | = r, and xn ∈ Γ0 . Hence,
dist(z̃n , Γ0 ) = dist(z̃n , ∂Ω) = r, n ≥ n0 .
Thus, as the set
Γr := {z ∈ Ω : dist(z, Γ0 ) = dist(z, ∂Ω) = r}
is compact, there exists z̃ω ∈ Γr such that along some subsequence of
{z̃n }n≥1 , say {z̃nm }m≥1 , the following holds
lim z̃nm = z̃ω .
m→∞
x
0
z
z0 z1
x1
such that
|x0 − x1 | = diam [B̄R (z0 ) ∩ B̄R (z1 )],
as illustrated by Figure 1.4. Note that |x0 − x1 | < 2R. Then, setting
x0 + x1
z := ,
2
we have that
|x0 − x1 |
|z − x0 | = |z − x1 | =
2
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and it can be easily seen that Ω satisfies the uniform interior sphere property
in the strong sense with
|x0 − x1 |
r := < R,
2
though, obviously, the property fails for greater values of r.
In general, a domain Ω satisfying the uniform interior sphere property
does not necessarily satisfy it in the strong sense, as the following example
shows. Let Ω ⊂ R2 be the open set
Ω := B2 (0) \ {(0, 0), (1/n, 0) : n ≥ 1} , (1.24)
which consists of the ball B2 (0) perforated by (0, 0) and the sequence
(1/n, 0), n ≥ 1, which converges to (0, 0) as n → ∞. As
∂Ω = {x ∈ R2 : |x| = 2} ∪ {(0, 0), (1/n, 0) : n ≥ 1} ,
Ω cannot satisfy a uniform interior sphere property in the strong sense,
because of the special structure of its boundary around (0, 0). To prove
this we will argue by contradiction. So, suppose Ω satisfies the uniform
interior sphere property in the strong sense with parameter r > 0 and pick
an integer n ≥ 1 such that
1 1 1
− = < r,
n n+1 n(n + 1)
and a real number ϵ ∈ R satisfying
1 1 1 1
<ϵ< , ϵ− < − ϵ.
n+1 n n+1 n
Then, z := (ϵ, 0) ∈ Ω and
1
dist(z, ∂Ω) = ϵ − .
n+1
Moreover, xz := (1/(n + 1), 0) provides us with the unique point of ∂Ω such
that
dist(z, ∂Ω) = |z − xz |.
Thus, according to Definition 1.2(b), we should have that
( )
z − xz
Br xz + r ⊂ Ω,
|z − xz |
which is impossible because
( )
z − xz 1 1 1
xz + r = + r, 0 , +r > ,
|z − xz | n+1 n+1 n
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and hence,
( )
z − xz
(1/n, 0) ∈ Br xz + r ∩ ∂Ω = ∅.
|z − xz |
Nevertheless, Ω satisfies the uniform interior sphere property with param-
eter r := 1/2. Indeed, for every x ∈ ∂B2 (0) the point zx := 34 x satisfies
1
zx ∈ Ω, |x − zx | = , B 12 (zx ) ⊂ Ω.
2
Moreover, setting
z(0,0) := (0, 1/2), z(1/n,0) := (1/n, 1/2), n ≥ 1,
it is apparent that
(0, 0) ∈ ∂B 12 (z(0,0) ), (1/n, 0) ∈ ∂B 21 (z(1/n,0) ), n ≥ 1,
and
∪
B 12 (z(0,0) ) ∪ B 12 (z(1/n,0) ) ⊂ Ω.
n≥1
n
υ
Ω x0
Ω
x0
The main result of this section improves Theorem 1.2 by establishing that
any non-constant superharmonic function u ∈ C 2 (Ω) ∩ C(Ω̄) of L in Ω must
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
exists, necessarily
∂u
(x0 ) < 0. (1.27)
∂ν
Thanks to Theorem 1.2, under the assumptions of Theorem 1.3, we have
that u(x) > m for all x ∈ Ω, as we are assuming that u is not a constant.
Therefore, Theorem 1.3 establishes that any non-constant superharmonic
function u(x) decays linearly towards its minimum, m = u(x0 ), as x ∈ Ω
approximates x0 ∈ ∂Ω, if m ≤ 0. In Figure 1.7 we have represented the
profile of u along the straight line passing through x0 in the direction of
the vector ν; we are denoting
∂u
tan α := (x0 ) < 0.
∂ν
0
α
m ν
x
0
Ω r
z
D
x0
ν
and hence,
( )
0 ≤ ϵv(x) < ϵ 1 − e−αr < ξ.
2
Thus, by (1.29),
w(x) = u(x) > m for each x ∈ S2 \ {x0 } ⊂ Ω
while
w(x0 ) = u(x0 ) = m.
Consequently, w ∈ C (D) ∩ C(D̄) and it satisfies the following properties:
2
and, consequently,
∂u
(x0 ) ≤ ϵ⟨ν, ∇v(x0 )⟩ = −2αϵe−αr ⟨ν, x0 − z⟩ < 0,
2
∂ν
because ⟨ν, x0 − z⟩ > 0. This shows (1.27) and ends the proof.
The following corollaries from Theorems 1.2 and 1.3, provide us with some
important positivity properties of the superharmonic functions of L in Ω.
Then,
x ∈ ∂Ω ∩ u−1 (0)
where Ω satisfies the interior sphere property, and any outward pointing
vector ν at x, we have that
∂u
(x) < 0.
∂ν
Proof. Set
m := inf u .
Ω̄
If m > 0, then u(x) > 0 for all x ∈ Ω̄ and we are done. So, suppose m ≤ 0.
Then, thanks to Theorem 1.2,
inf u = inf u = m ≤ 0
Ω̄ ∂Ω
provides us with a solution of (1.34) and, according to Theorem 1.4, w(x) >
0 for every x ∈ Ω. Similarly, −w provides us with a solution of (1.34) such
that −w(x) > 0 for each x ∈ Ω. This contradiction ends the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Essentially, the next result provides us with a lower estimate for the decay
rate of all positive superharmonic functions of L in Ω at the points of ∂Ω
where they vanish.
M := M (L, R) > 0
and
c+ := max{c, 0} ≥ c, L+ := L − c + c+ .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Then,
∑
N
∂2E ∑ ∂E
N
L+ v = − aij + bj + c+ v
i,j=1
∂xi ∂xj j=1 ∂xj
According to (1.35), u(x) > 0 for each x ∈ B̄ R (x0 ) and hence, by the
2
continuity of u,
uR := inf u > 0.
B̄ R (x0 )
2
because
2
u ≥ uR and v ≤ v(x0 ) = eαR − 1.
In particular,
w≥0 on ∂B R (x0 ).
2
2
3
= αR dist (x, ∂BR (x0 )) .
2
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
where
x − yx
x0 := yx + R .
|x − yx |
Since B̄ R (x0 ) ⊂ KR , we have that
2
min u ≥ uL ,
B̄ R (x0 )
2
either
u(x) > mh(x) for all x ∈ Ω, (1.45)
or
u = mh in Ω. (1.46)
Further, suppose (1.26), (1.45), and the following three conditions:
(a) h ∈ C 1 (Ω̄);
(b) u(x0 ) = mh(x0 ) for some x0 ∈ ∂Ω, and there exists R > 0 such that
u ∈ C(BR (x0 ) ∩ Ω̄);
(c) Ω satisfies the interior tangent sphere property at x0 and there is an
outward pointing vector ν ∈ RN \ {0} for which ∂(u/h)
∂ν (x0 ) exists.
Then,
∂(u/h)
(x0 ) < 0.
∂ν
Remark 1.2. When c ≥ 0, the function h := 1 satisfies (i) and (ii) and,
hence, it provides us with a strict positive superharmonic function of (L, Ω).
Consequently, in this special case, Theorem 1.7 provides us with Theo-
rems 1.2 and 1.3 simultaneously, for as u/h = u. Theorem 1.7 is substan-
tially sharper than these results, because it does not impose any restriction
on the sign of c ∈ L∞ (Ω).
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and hence,
Lu = hLh v in Ω, (1.47)
where
( )
∑
N
∂2 ∑N
2∑
N
∂h ∂ Lh
Lh := − aij + bj − aij + . (1.48)
i,j=1
∂x i ∂xj j=1
h i=1
∂x i ∂x j h
2∑
N
Lh ∂h
∈ L∞
loc (Ω), bj − aij ∈ L∞
loc (Ω), 1 ≤ j ≤ N.
h h i=1 ∂xi
Moreover,
Lh
≥0 in Ω,
h
and, consequently, Theorems 1.2 and 1.3 can be applied to the operator Lh
defined by (1.48).
Since Lu ≥ 0 in Ω and h(x) > 0 for all x ∈ Ω̄, (1.47) implies that
Lh v ≥ 0 in Ω.
On the other hand, (1.44) can be equivalently expressed in the form
m = inf v ∈ (−∞, 0].
Ω
or
v=m in Ω. (1.50)
As (1.49) and (1.50) imply (1.45) and (1.46), respectively, the proof of the
alternative of the first part of the theorem is complete.
Now, suppose (1.26), (1.45), and conditions (a), (b) and (c). Then, all
the coefficients of Lh live in L∞ (Ω), and
The following definition fixes the concept of regularity for open sets.
i) DΦ(x0 ) ∈ Iso(RN ),
ii) Φ(BR (x0 ) ∩ Ω) = {(x1 , ..., xN ) ∈ D : xN > 0},
iii) Φ(BR (x0 ) ∩ ∂Ω) = {(x1 , ..., xN ) ∈ D : xN = 0},
iv) Φ ∈ C k (BR (x0 ); D) and Φ−1 ∈ C k (D; BR (x0 )).
is of class C k .
Given an open subset Γ ⊂ ∂Ω of class C k , a function ψ : Γ → R is said to
be of class C k if, for every x0 ∈ Γ and any diffeomorphism Φ straightening
∂Ω at x0 , the following condition holds
x
N
Φ
x
0
Γ 0 D x =0
−1
N
Φ
Remark 1.3.
(a) According to the inverse function theorem, Property (i) implies Prop-
erty (iv) if Φ ∈ C k (BR (x0 ); RN ).
(b) Suppose ∂Ω is of class C k for some integer k ≥ 1. Then, ψ ∈ C k (Ω̄)
implies ψ|∂Ω ∈ C k (∂Ω). Conversely, according to the H. F. F. Tietze
extension theorems, every function ψ ∈ C k (∂Ω) admits an extension to
a function of class C k (Ω̄).
x = (x1 , ..., xN ),
and, for a given i ∈ {1, ..., N −1}, we will denote by x[i] the vector
while
Also, for every η > 0 and x0 ∈ RN , we denote by Bη ((x0 )[i] ) the ball of
RN −1 of radius η centered at (x0 )[i] ∈ RN −1 . Using these notations, the
following result holds.
(a) Ω is of class C k at x0 .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
(b) There exist η > 0, i ∈ {1, ..., N }, f ∈ C k (B̄η ((x0 )[i] ); R), and an open
neighborhood N0 of x0 in RN such that
N0 ∩ ∂Ω = {(x1 , ..., xi−1 , f (x[i] ), xi+1 , ..., xN ) : x[i] ∈ Bη ((x0 )[i] )},
i.e., ∂Ω is the graph of the function xi = f (x[i] ) in N0 , and either
x ∈ N0 ∩ Ω if and only if xi > f (x[i] ), (1.51)
or else
x ∈ N0 ∩ Ω if and only if xi < f (x[i] ). (1.52)
Proof. Suppose (b) with, e.g., (1.51). Then, by Remark 1.3(a), it is easy
to see that the map
( )
Φ(x) := (x − x0 )[i] , xi − f (x[i] ) , x ∈ BR (x0 ),
provides us with a diffeomorphism straightening ∂Ω at x0 for sufficiently
small R > 0, as discussed in Definition 1.5. Therefore, (b) implies (a).
Suppose (a) and let Φ be a diffeomorphism straightening ∂Ω at x0 ,
as discussed in Definition 1.5. Let ΦN denote its N -th coordinate map.
Necessarily, ∇ΦN (x0 ) ̸= 0, because DΦ(x0 ) ∈ Iso(RN ). Thus,
∂ΦN
(x0 ) ̸= 0 for some i ∈ {1, ..., N }. (1.53)
∂xi
Moreover, by definition,
BR (x0 ) ∩ ∂Ω = Φ−1
N (0).
for all (x̃, ỹ) ∈ K, where Df and D2 f stand for the first and the second
order differentials of f . It is well known that Df (ỹ) is given by the gradient
∇f (ỹ), while D2 f (ỹ) is given through the Hessian matrix of f at ỹ. By our
regularity assumptions on f , we have that
R(x̃, ỹ)
lim = 0, |ỹ − (x0 )[i] | ≤ η.
x̃→ỹ |x̃ − ỹ|2
∑
N
( )( ) ∑
N
=ϵ 2
n2j +2ϵni ∇f (x0 )[i] x[i] − (x0 )[i] +2ϵ nj (xj − x0j )
j=1 j=1
j̸=i
[ ( )( )]2 ∑N
2
+ ∇f (x0 )[i] x[i] − (x0 )[i] + (xj − x0j )
j=1
j̸=i
( )( ) ( )
+ϵni D2 f (x0 )[i] x[i] −(x0 )[i] , x[i] −(x0 )[i] +R x[i] , (x0 )[i] ,
where R is a certain C 2 function satisfying
( )
R x[i] , (x0 )[i]
lim 2 = 0, (1.58)
x[i] →(x0 )[i] x − (x )
[i] 0 [i]
whose explicit knowledge is not important for our purposes here. Since
∑
N
[ ( )( )]2
n2j = |n|2 = 1, ∇f (x0 )[i] x[i] − (x0 )[i] ≥ 0,
j=1
and
( )
∂f ( ) −1 ∂f ( )
ni (x0 )[i] + nj = ± (x0 )[i] + nj = 0, j ̸= i,
∂xj |ν| ∂xj
we find from the previous identity that
∑
N
2 ( )
D0 ≥ ϵ 2 + (xj − x0j ) + R x[i] , (x0 )[i]
j=1
j̸=i
( )( )
+ ϵni D2 f (x0 )[i] x[i] −(x0 )[i] , x[i] −(x0 )[i] .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Most of the contents covered in this chapter were elaborated from the classi-
cal textbook of M. H. Protter and H. F. Weinberger [183], as well as many of
the subsequent historical remarks; it is the most paradigmatic book about
the maximum principle for elliptic operators, and, undoubtedly, it counts
among the best monographs on Partial Differential Equations of the 20th
Century. However, the reader should pay special attention to all necessary
changes for re-stating all classical results in terms of minimum principles,
instead of maximum principles, as it has been done in the present mono-
graph.
In the special case when L = −∆, Theorem 1.1 goes back to C. F.
Gauss [75] and S. Earnshaw [58], and to A. Paraf [174] when N = 2 (two
dimensions) and c > 0. The version of A. Paraf was extended by E. Picard
[178] and L. Lichtenstein [125], [126], to cover the more general case when
c ≥ 0. Later, T. Moutard [169] generalized the Paraf result to more than
two dimensions. These results were used by M. Picone [179] to obtain a
generalized minimum principle. Theorem 1.2 of Section 1.2 goes back to
E. Hopf [103]; it was the first result where the continuity assumptions on
the coefficients of L were removed. The proof of Theorem 1.2 given in this
chapter is based upon the proof of Theorems 5 and 6 of Section 3 in M. H.
Protter and H. F. Weinberger [183].
Section 1.3 is a non-trivial re-elaboration of the contents of the two
paragraphs after Theorem 1 of W. Walter [224]. The example (1.24) is due
to R. Redheffer [187].
Under some additional continuity properties on the coefficients of the
operator, Theorem 1.3 goes back to G. Giraud [80], [81]. The version in-
cluded in this chapter is attributable to E. Hopf [104] and O. A. Oleinik
[172]. It is a re-elaboration from Theorems 7 and 8 of Section 3 in M. H.
Protter and H. F. Weinberger [183].
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Theorems 1.5 and 1.6 are based on Lemma 1 of W. Walter [224]. The
relevance of these uniform versions of Theorem 1.3 will become apparent
in Chapter 2.
Theorem 1.7 goes back to Theorem 10 of Chapter 2 of M. H. Protter and
H. F. Weinberger [183]; it generalizes substantially Theorems 1.2 and 1.3.
In Chapter 7 we will show that the existence of h satisfying conditions (i)
and (ii) is, actually, equivalent to the positivity of the principal eigenvalue
of L in Ω under Dirichlet boundary conditions. This characterization will
provide us with a sharp substantial generalization of all classical results of
this chapter.
Section 1.8 reviews some very basic concepts and results, which, how-
ever, might be difficult to document in the available literature. For example,
though L. C. Evans in the Remark on p. 330 of [60] claimed that “ the
interior ball condition automatically holds if ∂Ω is C 2 ”, the reader should
recognize that, being certainly elementary, the proof of Theorem 1.9 is far
from ‘ automatic ’.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Chapter 2
Classifying supersolutions
41
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Classifying supersolutions 43
with
2∑
N
Lh ∂h
ch := , bhj := bj − aij , 1 ≤ j ≤ N.
h h i=1 ∂xi
Moreover,
ch ≥ 0
because h is a supersolution of (L, B, Ω) and, hence, Lh ≥ 0 in Ω, by
Definition 2.1.
As u is a supersolution of (L, B, Ω), (2.3) and (2.6) imply
Lh v ≥ 0 in Ω. (2.8)
Moreover, Bu ≥ 0 on ∂Ω, and, in particular, Bu = u ≥ 0 on Γ0 . Thus,
v≥0 on Γ0 . (2.9)
Similarly, on Γ1 we have that
∂(hv) ∂v ∂h
0 ≤ Bu = B(hv) = + βhv = h +v + βhv
( ∂ν ) (∂ν ∂ν )
∂v ∂h ∂v Bh
=h + + βh v = h + v
∂ν ∂ν ∂ν h
and, consequently,
0 ≤ Bu = hBh v on Γ1 , (2.10)
where Bh stands for the boundary operator
{
ψ on Γ0 ,
Bh ψ := ∂ψ ψ ∈ C(Γ0 ) ⊗ C 1 (Γ1 ), (2.11)
∂ν + βh ψ on Γ 1 ,
with
Bh
βh := ≥0 on Γ1 , (2.12)
h
because Bh ≥ 0 on ∂Ω. Note that βh ∈ C(Γ1 ). Incidentally, (2.12) holds
independently of the sign of β ∈ C(Γ1 ).
Combining (2.8), (2.9) and (2.10), it becomes apparent that v provides
us with a supersolution of (Lh , Bh , Ω).
Now, we will show that Alternative A3 occurs if u(x0 ) < 0 for some
x0 ∈ Ω. Indeed, in this case we have that
u(x0 )
v(x0 ) = <0
h(x0 )
and hence,
m := min v < 0.
Ω̄
Thus, as ch ≥ 0 and v is a superharmonic function of Lh in Ω, it follows
from Theorem 1.2 that either
v(x) > m for all x ∈ Ω, (2.13)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Classifying supersolutions 45
or
v=m in Ω. (2.14)
Suppose (2.13). Then, since m < 0, (2.9) implies that
v(x) > m for all x ∈ Ω ∪ Γ0 . (2.15)
Let x1 ∈ Ω̄ be such that
m = v(x1 ).
By (2.15), x ∈ Γ1 . Consequently, owing to Theorem 1.3, we have that
∂v
(x1 ) < 0.
∂ν
Thus, according to (2.10) and (2.11),
∂v
0 ≤ Bh v(x1 ) = (x1 ) + βh (x1 )v(x1 ) < βh (x1 )v(x1 ) = βh (x1 )m
∂ν
and, consequently,
βh (x1 ) < 0,
which contradicts (2.12). Therefore, (2.14) holds, and hence,
u = mh in Ω. (2.16)
By continuity, (2.16) must be satisfied in Ω̄, and, so, Alternative A3 occurs.
The remaining assertions of Alternative A3 follow very easily from (2.16).
Indeed, suppose Γ0 ̸= ∅ and pick x0 ∈ Γ0 . Then, h(x0 ) > 0 and hence,
u(x0 ) = mh(x0 ) < 0,
which is impossible, for as u ≥ 0 on Γ0 . Thus, Γ0 = ∅. Moreover, the
estimates
0 ≤ Lu = mLh ≤ 0 in Ω
imply
Lu = 0,
while the estimates
0 ≤ Bu = mBh ≤ 0 on ∂Ω = Γ1 ,
entail
Bu = 0 on ∂Ω,
and hence (2.4) holds.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Classifying supersolutions 47
Therefore, for every (f, g) ∈ C(Ω̄) × C(∂Ω), the boundary value problem
{
Lu = f in Ω,
(2.21)
Bu = g on ∂Ω,
The following result provides us with a sufficient condition for the existence
of a strict supersolution satisfying (2.3).
Proposition 2.1. Suppose there are ψ ∈ C 2 (Ω̄) and γ > 0 such that
∂ψ
(x) ≥ γ for all x ∈ Γ1 . (2.22)
∂ν
Then, there exists ω0 ∈ R such that, for every ω > ω0 , (L + ω, B, Ω)
possesses a strict supersolution h ∈ C 2 (Ω̄) with h(x) > 0 for all x ∈ Ω̄.
Proof. Suppose h ∈ C 2 (Ω̄), with h(x) > 0 for all x ∈ Ω̄, is a strict
supersolution of (L + ω0 , B, Ω) for some ω0 ∈ R. Then, for every ω > ω0 ,
(L + ω)h = (L + ω0 )h + (ω − ω0 )h ≥ (ω − ω0 )h > 0
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Bh ≥ (M γ + β)h ≥ 0 on Γ1
for sufficiently large M > 0. Suppose M > 0 has been chosen in this way.
Then, since Lh ∈ L∞ (Ω) and h(x) > 0 for all x ∈ Ω̄, it becomes apparent
that
(L + ω0 )h > 0 in Ω
Proof. Fix x0 ∈ ∂Ω. Then, by Definition 1.5, there exist R > 0, an open
subset D ⊂ RN , and a bijection
such that:
Classifying supersolutions 49
x
N
Ω
x0
Φ
n
ν (x ) Φ (x ) x =0
0 0 N
Φ
−1
ν
Tx
0 (0,0,...,0,−1)
Due to (2.24),
PN Φ(x0 + tν(x0 )) < 0
for sufficiently small t > 0. Thus, (2.27) implies that PN ν̃ ≤ 0. On the
other hand, thanks to (2.25) and (2.26), it is apparent that PN ν̃ ̸= 0 and,
therefore,
PN ν̃ < 0. (2.28)
Consequently, ν̃ points outward the open set Φ(BR (x0 ) ∩ Ω) at Φ(x0 ) = 0,
as illustrated by Figure 2.1.
Now, consider the function
Ψ(x) := −PN Φ(x), x ∈ BR (x0 ).
Clearly, Ψ ∈ C 2 (BR (x0 )) and, for every x ∈ ∂Ω sufficiently close to x0 , we
have that
∂Ψ
(x) = DΨ(x)ν(x) = −PN DΦ(x)ν(x).
∂ν(x)
Consequently, by (2.26), (2.28), and the continuity of the map
x 7→ DΦ(x)ν(x),
it becomes apparent that R can be shortened, if necessary, so that
∂Ψ
(x) ≥ γ for all x ∈ BR (x0 ) ∩ ∂Ω,
∂ν(x)
for some constant γ > 0.
Note that, thanks to condition (iii), we also have that
Ψ(x) = 0 for all x ∈ BR (x0 ) ∩ ∂Ω.
As the previous argument is valid for all x0 ∈ ∂Ω and ∂Ω is a compact
manifold, there are m ≥ 1 points xj0 ∈ ∂Ω, m positive real numbers Rj > 0,
and m functions
Ψj ∈ C 2 (Uj ) , Uj := BRj (xj0 ), 1 ≤ j ≤ m,
such that
∪
m
(Uj ∩ ∂Ω) = ∂Ω,
j=1
Ψj = 0 in Uj ∩ ∂Ω, 1 ≤ j ≤ m, (2.29)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Classifying supersolutions 51
for all x ∈ ∂Ω, since ψm+1 = 0 on ∂Ω. This ends the proof.
Essentially, the function ψ(x) constructed in the proof of Lemma 2.1
behaves like −dist (x, ∂Ω) for all x ∈ Ω sufficiently close to ∂Ω.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Theorem 2.2. Assume that there exist ψ ∈ C 2 (Ω̄) and γ > 0 satisfying
(2.22). Then, there exists ω0 ∈ R such that, for every ω > ω0 , u = 0 is the
unique function u ∈ C 2 (Ω) ∩ C 1 (Ω̄) solving the problem
{
(L + ω)u = 0 in Ω,
Bu = 0 on ∂Ω.
Therefore, for every ω > ω0 and (f, g) ∈ C(Ω̄) × C(∂Ω), the problem
{
(L + ω)u = f in Ω,
(2.31)
Bu = g on ∂Ω,
has, at most, a unique solution u ∈ C 2 (Ω) ∩ C 1 (Ω̄). Moreover, if such
solution exists and f ≥ 0, g ≥ 0, with (f, g) ̸= (0, 0), then
u(x) > 0 for all x ∈ Ω ∪ Γ1 (2.32)
and
∂u
(x) < 0 for all x ∈ u−1 (0) ∩ Γ0 . (2.33)
∂ν
Proof. According to Proposition 2.1, there exists ω0 ∈ R such that, for
every ω > ω0 , (L + ω, B, Ω) possesses a strict supersolution h ∈ C 2 (Ω̄) such
that h(x) > 0 for all x ∈ Ω̄. Consequently, the uniqueness follows from
Corollary 2.2.
Suppose ω > ω0 , f ≥ 0, g ≥ 0, (f, g) ̸= (0, 0), and (2.31) admits a
solution u ∈ C 2 (Ω) ∩ C 1 (Ω̄). Then, u provides us with a strict supersolu-
tion of (L + ω, B, Ω) and, therefore, by Corollary 2.1, (2.32) and (2.33) are
satisfied. The proof is complete.
The following result provides us with the point-wise behavior of the positive
supersolutions of (L, B, Ω).
Theorem 2.3. Suppose there are ψ ∈ C 2 (Ω̄) and γ > 0 satisfying (2.22).
Let u ∈ C 2 (Ω) ∩ C 1 (Ω̄), u > 0, be a supersolution of (L, B, Ω). Then, u
satisfies (2.32) and (2.33).
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Classifying supersolutions 53
Proof. By Proposition 2.1, there exist ω > 0 and h ∈ C 2 (Ω̄) such that
h(x) > 0 for all x ∈ Ω̄ and h is a supersolution of (L + ω, B, Ω). As u is a
supersolution of (L, B, Ω), we find that
(L + ω)u = Lu + ωu ≥ ωu > 0 in Ω,
By the hypotheses H1, H2 and H3, it follows from Corollary 1.2 that
(L, Ω) satisfies the decay property of E. Hopf on Γ0 if Ω satisfies the uniform
interior sphere property in the strong sense on Γ0 . Moreover, according to
Theorem 1.9, this occurs if Ω is of class C 2 . Consequently, owing to Lemma
2.1, the next result holds.
The main result of this section is the following sharp improvement of The-
orem 2.1, where the positive supersolution h can vanish on Γ0 .
Remark 2.1. By Corollary 1.2, Theorem 1.9, and Lemma 2.1, conditions
(i) and (ii) are satisfied when Ω is of class C 2 .
∂h
(x) < 0 for all x ∈ h−1 (0) ∩ Γ0 , (2.36)
∂ν
and there exists a constant δ := δ(h) > 0 such that
h(x) ≥ δ dist (x, ∂Ω) for all x ∈ Ω. (2.37)
Let u ∈ C (Ω) ∩ C (Ω̄) be a supersolution of (L, B, Ω). Then, Lu ≥ 0 in Ω
2 1
Classifying supersolutions 55
Indeed, if vµ (xµ ) < 0 for some xµ ∈ Ω, then, for sufficiently small ϵ > 0,
there exists xµ+ϵ ∈ Ω, xµ+ϵ ∼ xµ , such that
vµ+ϵ (xµ+ϵ ) < 0,
which is impossible, by the definition of µ. Also,
Lvµ = Lu + µLh ≥ 0 in Ω,
and
Bvµ = Bu + µBh ≥ 0 on ∂Ω.
Thus, vµ ∈ C 2 (Ω) ∩ C 1 (Ω̄) is a non-negative supersolution of (L, B, Ω).
Consequently, according to Theorem 2.3, either
vµ = 0, (2.43)
or
v (x) > 0 ∀ x ∈ Ω ∪ Γ1 ,
µ
(2.44)
∂vµ (x) < 0 ∀ x ∈ v −1 (0) ∩ Γ .
µ 0
∂ν
Suppose (2.43). Then, setting m := −µ < 0, we obtain that
u = mh
and Alternative A3 holds; (2.4) follows easily from this identity taking into
account that u and h are supersolutions of (L, B, Ω) with m < 0. Con-
sequently, to complete the proof it suffices to show that (2.44) contradicts
the minimality of µ. Indeed, by the definition of µ, for every k ≥ 1 there
exists a point xk ∈ Ω such that
( )
1 h(xk )
vµ− k1 (xk ) = u(xk ) + µ − h(xk ) = vµ (xk ) − < 0. (2.45)
k k
Arguing as above, there exist x0 ∈ Ω̄ and a subsequence of {k}k≥1 , say
{km }m≥1 , such that
lim xkm = x0 .
m→∞
Classifying supersolutions 57
we have that
Lkm
h(xkm ) < dist (xkm , Γ0 )
µkm − 1
for sufficiently large m. Hence, going back to (2.45) we find that, for suffi-
ciently large m,
h(xkm )
0 > vµ (xkm ) −
km
L
≥ δµ dist (xkm , Γ0 ) − dist (xkm , Γ0 )
µkm − 1
( )
L
= δµ − dist (xkm , Γ0 ),
µkm − 1
because (L, Ω) possesses the decay property of E. Hopf on Γ0 and vµ is a
positive supersolution of (L, B, Ω). We have denoted by δµ > 0 the constant
of the decay property corresponding to vµ . The previous inequality cannot
be satisfied, because it entails
dist (xkm , Γ0 ) < 0
for sufficiently large m. Therefore, vµ = 0. This ends the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Proof. For every δ > 0, let Eδ denote the function defined through
{ δ2
− δ2 −|x|
Eδ (x) := e
2
, if |x| ≤ δ,
0, if |x| > δ,
and set
(∫ )−1
Cδ := Eδ (x) dx .
RN
Then, the function
ωδ := Cδ Eδ
satisfies
ωδ ∈ C0∞ (RN ), ωδ ≥ 0 in RN , supp ωδ ⊂ B̄δ (0),
and ∫
ωδ (x) dx = 1.
RN
Subsequently, we set
ϵ := dist (∂D, ∂Ω), δ := ϵ/3,
and, for any η > 0,
Dη := D + Bη (0) = {x ∈ RN : dist (x, D) < η}.
It is easy to check that the function
∫
ψ(x) := χD2δ (y) ωδ (x − y) dy, x ∈ RN ,
RN
satisfies all the requirements of the statement.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Classifying supersolutions 59
Proof. According to (2.47), for sufficiently small ϵ > 0, the open sets
Dj := {x ∈ Uj : dist (x, ∂Uj ) > ϵ}, 1 ≤ j ≤ m,
satisfy
∪
m
Ω̄ ⊂ Dj ,
j=1
because Ω̄ is compact. By Lemma 2.2, for every 1 ≤ j ≤ m, there exists
Ψj ∈ C0∞ (RN ) such that 0 ≤ Ψj ≤ 1 in RN , and
Ψj = 1 in Dj , supp Ψj ⊂ Ūj .
∞
Let Ψ ∈ C0 (R ) be the function defined through
N
∑m
Ψ(x) := Ψj (x), x ∈ RN .
j=1
By construction, the functions
Ψj (x)
ψj (x) := , x ∈ RN , 1 ≤ j ≤ m,
Ψ(x)
satisfy
0 ≤ ψj ≤ 1 in RN , ψj ∈ C ∞ (RN ), supp ψj ⊂ Ūj ,
for all 1 ≤ j ≤ m, and
∑ m
ψj = 1 in Ω̄.
j=1
This concludes the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
The main results of this chapter are Theorems 2.1 and 2.4. Both establish
that all non-zero supersolutions of (L, B, Ω) must have constant sign in Ω
if (L, B, Ω) admits a positive supersolution h. Theorem 2.4 is an extremely
sharp version of Theorem 2.1, because in Theorem 2.4 the supersolution h
can vanish on some piece of ∂Ω, while h must be separated away from zero
in Ω̄ for the validity of Theorem 2.1, which is the classical condition of M.
H. Protter and H. F. Weinberger [183] in their Theorem 10 of Chapter 2,
which is Theorem 1.7 of Chapter 1.
Theorem 2.2, which is a straightforward consequence from Theorem
2.1, establishes the positivity of the inverse for the boundary value problem
(2.31) associated to (L + ω, B, Ω) for sufficiently large ω. Theorem 2.2 goes
back to Theorem 6.1 of H. Amann [9] in the special case when Ω is of class
C 2 , as no sign restriction for β was imposed therein. Note that, previously,
M. H. Protter and H. F. Weinberger in Chapter 2 of [183] assumed that
β ≥ 0. But, according to the last paragraph of the proof of Theorem 6.1
on page 239 of H. Amann [9], where it was claimed that
“the assertion follows by an obvious combination of the generalized maximum
principle of Protter and Weinberger [183] with Bony’s maximum principle [28]”.
the reader might believe that Theorem 2.1 is a direct consequence of The-
orem 1.7. Although this is certainly true, we estimate that Theorem 2.1
is far from being an obvious consequence of Theorem 1.7. Nevertheless, it
should be remarked that the last assertion of H. Amann in the statement
of Theorem 6.1 of [9], where it is asserted that
∂u
(x) < 0 for x ∈ Γ0 ,
∂ν
does not seem to be true unless u(x) = 0.
Theorem 2.4 goes back to Theorem 2 of W. Walter [224] in the special
case when Γ1 = ∅. It was substantially refined by J. López-Gómez in
Theorem 5.2 of [144] to cover the general case treated in this chapter.
Theorem 2.1 should be weighted against Theorem 1 of W. Walter [224],
whose proof is, according to Section 4 of W. Walter [224],
“closely related to the idea of families of upper solutions which goes back to
A. McNabb [160] and is also known under the name Serrin’s sweeping principle.”
Classifying supersolutions 61
Chapter 3
Representation theorems
63
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
u+v
u−v
Geometrically, (3.2) establishes that the sum of the squares of the lengths
of the diagonals of a parallelogram equals the sum of the squares of the
lengths of all sides, as illustrated by Figure 3.1.
The real vector space H with the scalar product ⟨·, ·⟩ is said to be a
Hilbert space if the normed vector space (H, ∥ · ∥) is complete, i.e., if it
is a Banach space. Throughout this chapter, we will suppose that H is a
Hilbert space with scalar product ⟨·, ·⟩ and associated norm ∥ · ∥.
In this chapter we are going to study the theorem of G. Stampacchia
[212], which has been a milestone for the development of the calculus of
variations and its applications. As a byproduct, we will derive from it
the representation theorem of P. D. Lax and A. N. Milgram [122], which
is a substantial extension of the representation theorem of F. Riesz [191].
Essentially, the theorem of G. Stampacchia [212] is an abstract nonlinear
counterpart of the representation theorem of P. D. Lax and A. N. Milgram
[122], which is utterly linear.
This chapter is distributed as follows. Section 3.1 establishes the exis-
tence of the projection operator associated to each closed and convex subset
K of H, Section 3.2 shows how the projection operator equals the orthog-
onal projection when K is a linear subspace of H, Section 3.3 studies the
representation theorem of F. Riesz, Section 3.4 introduces some basic con-
cepts of the theory of bilinear forms, Section 3.5 studies the theorem of G.
Stampacchia, Section 3.6 derives from it the theorem of P. D. Lax and A.
N. Milgram, and, finally, Section 3.7 establishes the existence of continuous
projections on any convex and closed subset of a uniformly convex Banach
space.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 65
The following result constructs the projection operator on any closed and
convex subset of the Hilbert space H.
Theorem 3.1. Let K ⊂ H be a closed and convex set. Then, for every
u ∈ H, there exists a unique PK u ∈ K such that
∥u − PK u∥ = dist (u, K) = min ∥u − k∥.
k∈K
Necessarily,
PK k = k if k ∈ K,
and, for every u ∈ H, PK u is the unique element of K for which
⟨u − PK u, k − PK u⟩ ≤ 0 for all k ∈ K. (3.3)
The underlying map
P
H −→
K
K
u 7→ PK u
is said to be the projection of H on K.
PKu
k
T
Now, suppose u ∈ H \ K. Then, d > 0 and there exists a sequence {kn }n≥1
in K such that
d := lim ∥u − kn ∥. (3.4)
n→∞
Setting
dn := ∥u − kn ∥, n ≥ 1,
we find from (3.2) that, for every n, m ≥ 1,
2 2
u−kn +u−km u−kn −(u−km ) ∥u−kn ∥2 +∥u−km ∥2
+ =
2 2 2
and hence,
2 2
kn + km km − kn d2n + d2m
u− + = .
2 2 2
As K is convex, we have that
kn + km
kn , k m ∈ K =⇒ ∈K
2
for all n, m ≥ 1, and hence,
2
kn + km
d2 = dist2 (u, K) ≤ u − .
2
Thus,
2
km − kn d2n + d2m
d2 + ≤ , n, m ≥ 1,
2 2
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 67
and, therefore,
2
km − kn d2 + d2m
≤ n − d2 → 0 as n, m → ∞.
2 2
This shows that {kn }n≥1 is a Cauchy sequence in K and, since K is closed,
there exists PK u ∈ K such that
lim kn = PK u.
n→∞
By (3.4), it is apparent that
d = ∥u − PK u∥
and, consequently, d is attained at PK u.
Now, we will show that, for any m ∈ K, the next identity holds
∥u − m∥ = dist (u, K) = min ∥u − k∥ (3.5)
k∈K
if and only if
⟨u − m, k − m⟩ ≤ 0 for all k ∈ K. (3.6)
Suppose m ∈ K satisfies (3.5) and let k ∈ K. As K is convex,
(1 − t)m + tk ∈ K for all t ∈ [0, 1].
Thus, owing to (3.5),
∥u − m∥ ≤ ∥u − (1 − t)m − tk∥ = ∥u − m + t(m − k)∥
for every t ∈ [0, 1], and hence,
∥u − m∥2 ≤ ∥u − m + t(m − k)∥2
= ∥u − m∥2 + t2 ∥m − k∥2 + 2t⟨u − m, m − k⟩.
Consequently,
t2 ∥m − k∥2 + 2t⟨u − m, m − k⟩ ≥ 0 for all t ∈ [0, 1],
and, therefore, for every t ∈ (0, 1],
2⟨u − m, k − m⟩ ≤ t∥m − k∥2 .
Letting t ↓ 0 in this estimate, (3.6) holds.
Conversely, let m ∈ K satisfying (3.6) and pick a k ∈ K. Then,
∥u − m∥2 −∥u − k∥2 = ⟨u − m, u − m⟩ − ⟨u − k, u − k⟩
( )
= ∥u∥2 + ∥m∥2 − 2⟨u, m⟩ − ∥u∥2 + ∥k∥2 − 2⟨u, k⟩
= ∥m∥2 − ∥k∥2 + 2⟨u, k − m⟩
= 2⟨u − m, k − m⟩ + 2⟨m, k − m⟩ + ∥m∥2 − ∥k∥2
= 2⟨u − m, k − m⟩ + 2⟨m, k⟩ − ∥m∥2 − ∥k∥2
= 2⟨u − m, k − m⟩ − ∥m − k∥2 .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 69
N
P u
N
Representation theorems 71
Similarly,
⟨λu+µv−λPN u−µPN v, n⟩ = λ⟨u−PN u, n⟩+µ⟨v−PN v, n⟩ = 0.
Thus, subtracting both identities shows that
⟨PN (λu + µv) − λPN u − µPN v, n⟩ = 0
for all n ∈ N . In particular, making the choice
n := PN (λu + µv) − λPN u − µPN v
it becomes apparent that, for every u, v ∈ H and λ, µ ∈ R,
∥PN (λu + µv) − λPN u − µPN v∥2 = 0,
which implies
PN (λu + µv) = λPN u + µPN v
and concludes the proof.
Representation theorems 73
and hence,
D(φ) = uφ = 0.
Consequently, φu ∈ H ′ ,
∥φu ∥H ′ ≤ ∥u∥,
D(φu ) = u.
Thus,
Representation theorems 75
The following concept has shown to be pivotal for the development of the
theory of partial differential equations.
Representation theorems 77
Essentially, this section generalizes Theorem 3.1 to the more general context
of uniformly convex Banach spaces (u.c. B-spaces). But the projection on
a closed subspace of a u.c. B-space, though continuous, is not necessarily
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 79
for all p ∈ [1, ∞), it is easily seen that (X, ∥ · ∥p ) is uniformly convex if
p ∈ (1, ∞), while this property fails for p = 1. More generally, any Hilbert
space is a u.c. B-space.
The concept of uniform convexity goes back to J. A. Clarkson [42],
where it was shown that Lp (Ω) is a u.c. B-space for all p ∈ (1, ∞). As a by-
product, the spaces W 2,p (Ω), 1 < p < ∞, which are going to be introduced
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 81
B := {x ∈ X : ∥x∥ ≤ 1}
Then,
lim ∥xn − x∥ = 0.
n→∞
Naturally, the reader is referred to Chapter III of H. Brézis [29] for the
proofs of all the previous results.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 83
Representation theorems 85
Hence,
PN (−x) = −PN x (3.36)
for all x ∈ X. Thanks to (3.35) and (3.36), we find that, for every λ < 0
and x ∈ X,
PN (λx) = PN (−λ(−x)) = −λPN (−x) = λPN x.
Moreover, PN 0 = 0, by definition. Consequently, (3.31) holds.
Now, we will prove (3.32). By definition, we have that
∥x − PN x − PN (x − PN x)∥ ≤ ∥x − PN x − n∥ (3.37)
for all x ∈ X and n ∈ N . Similarly,
∥x − PN x∥ ≤ ∥x − ñ∥ (3.38)
for all x ∈ X and ñ ∈ N . Thus, particularizing (3.37) at n = 0 and (3.38)
at
ñ = PN x + PN (x − PN x) ∈ N,
it becomes apparent that
∥x − PN x − PN (x − PN x)∥ ≤ ∥x − PN x∥
≤ ∥x − PN x − PN (x − PN x)∥
and, therefore,
∥x − PN x − PN (x − PN x)∥ = ∥x − PN x∥,
which implies (3.32), by the uniqueness of PN (x − PN x).
Obviously, (3.33) holds if PN is linear. To show the converse, suppose
(3.33) holds and let x, y ∈ X. Then, owing to (3.32),
0 = PN (x − PN x) = PN (y − PN y) = PN (x + y − PN (x + y)).
Thus, it follows from (3.33) that
0 = PN (x + y − PN x − PN y) = PN (x + y − PN (x + y))
and hence, by (3.31) and (3.33), we find that
PN (x + y − PN x − PN y − x − y + PN (x + y)) = 0.
Equivalently,
PN (PN (x + y) − PN x − PN y) = 0,
and, therefore, since
PN (x + y) − PN x − PN y ∈ N,
we obtain that
PN (x + y) = PN x + PN y.
Combining this identity with (3.31) shows that PN is linear and ends the
proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 87
The abstract concept of Hilbert space goes back to J. Von Neumann [171],
where an axiomatic definition of Hilbert space was given for the first time in
the context of separable spaces. The original Hilbert space of D. Hilbert [99]
was nothing more than ℓ2 ! In 1935, P. Jordan and J. Von Neumann [109]
proved that the parallelogram identity (3.2) characterizes all Hilbertian
norms.
Theorem 3.3 goes back to F. Riesz [191], where, rather remarkably, the
separability requirement of J. Von Neumann [171] and predecessors was
overcome. In his original paper, published in 1934, F. Riesz stressed that
the theory of Hilbert spaces should be founded upon his representation
theorem.
Twenty years later, in 1954, P. D. Lax and A. N. Milgram [122] for-
mulated the variant of the Riesz’ representation theorem established by
Theorem 3.5. As it will become apparent in Chapter 4, Theorem 3.5 is
an extremely useful device to get the existence of weak solutions in wide
classes of linear boundary value problems of elliptic type.
Naturally, the importance of the concepts introduced in Definition 3.1
was revealed by P. D. Lax and A. N. Milgram [122] themselves, though,
apparently, the word coercive was coined later (see p. 92 of K. Yosida
[227], whose first edition goes back to 1964, and p. 298 of L. C. Evans
[60]).
Ten years later, in 1964, G. Stampacchia [212] generalized Theorem
3.5 up to obtain Theorem 3.4, which has shown to be a milestone for the
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Representation theorems 89
Chapter 4
91
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Similarly, for every p ∈ [1, ∞), we will denote by Lploc (Ω) the set of all
measurable real functions u : Ω → R such that
∫
|u|p < ∞ for all compact subset K ⊂ Ω.
K
α = (α1 , ..., αN ) ∈ NN
we denote
∑
N
∂ |α|
|α| := αj , Dα := .
j=1
∂xα
1
1
· · · ∂xα
N
N
for all u ∈ C |α| (Ω) and ϕ ∈ C0∞ (Ω). Actually, the left-hand side of (4.6)
makes sense even if u ∈ L1loc (Ω), as Dα ϕ has compact support in Ω. Con-
sequently, the concept of weak derivatives, or derivatives in the weak sense,
introduced by the next definition is rather natural.
for all u ∈ W k,p (Ω). Equivalently, one might define these norms through
∑
∥u∥W k,p (Ω) := ∥Dα u∥Lp (Ω)
0≤|α|≤k
if p < ∞. It is folklore that all these normed spaces are Banach spaces.
Actually, they are Hilbert spaces if p = 2 with inner product
∑ ∫
⟨u , v⟩W k,2 (Ω) := Dα u Dα v, u, v ∈ W k,2 (Ω),
0≤|α|≤k Ω
According to it, H 0 (Ω) = L2 (Ω). More generally, W 0,p (Ω) = Lp (Ω) for all
k,p
p ∈ [1, ∞]. Also, for every k ∈ N and p ∈ [1, ∞], we will denote by Wloc (Ω)
the set
k,p
∩
Wloc (Ω) := W k,p (D).
D open
D̄⊂Ω
iii) For every ζ ∈ C0∞ (Ω) and α ∈ NN with |α| ≤ k, ζu ∈ W k,p (Ω) and
∑ (α) ( )
α |α|!
α β α−β
D (ζu) = D ζD u, := .
β β |β|! |α − β|!
β≤α
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
When u ∈ W k,p (Ω) ∩ C(Ω̄), then {ϕn }n≥1 can be chosen so that
( )
lim ∥ϕn − u∥W k,p (Ω) + ∥ϕn − u∥C(Ω̄) = 0.
n→∞
Throughout the rest of this book, for a given ν ∈ (0, 1], we denote
by C 0,ν (Ω̄) the Banach space of all functions u ∈ C(Ω̄) that are Hölder
continuous in Ω with exponent ν, endowed with the Hölder-norm
|u(x) − u(y)|
∥u∥C0,ν (Ω̄) := ∥u∥C(Ω̄) + sup , u ∈ C 0,ν (Ω̄).
x,y∈Ω̄ |x − y|ν
x̸=y
More generally, for every k ∈ N and ν ∈ (0, 1], we denote by C k,ν (Ω̄) the
Banach subspace of C k (Ω̄) consisting of all functions u ∈ C k (Ω̄) such that
Dα u ∈ C 0,ν (Ω̄) for all α ∈ NN with |α| = k,
equipped with the norm
∑ |Dα u(x)−Dα u(y)|
∥u∥Ck,ν (Ω̄) := ∥u∥Ck (Ω̄) + sup , u ∈ C k,ν (Ω̄).
x,y∈Ω̄ |x − y| ν
|α|=k
x̸=y
In other words, the space C k,ν (Ω̄) consists of all functions u that are k times
continuously differentiable and whose k th -partial derivatives are Hölder con-
tinuous of exponent ν.
Eventually, for every ν ∈ (0, 1], we will also consider the set of functions
k,ν −
C (Ω̄) defined through
− ∩
C k,ν (Ω̄) = C k,θ (Ω̄).
0<θ<ν
Also, for every k ∈ N and ν ∈ (0, 1], we will consider the set of functions
C k,ν (Ω) defined by
∩
C k,ν (Ω) := C k,ν (D̄).
D open
D̄⊂Ω
The W (Ω) spaces are analogous in a certain sense to the C k,ν (Ω̄) spaces.
k,p
[ ]
N
Note that p = 0 if p > N and hence, (4.8) becomes
0,ν N
W 1,p (Ω) ⊂ C (Ω̄) with ν =1− ∈ (0, 1).
p
According to (4.10), we also have that
∩ −
W 1,∞ (Ω) ⊂ C 0,θ (Ω̄) = C 0,1 (Ω̄).
0<θ<1
Proof. First, we will show that there exists a constant C > 0 such that
∥u∥Lp (Γ) ≤ C∥u∥W 1,p (Ω) (4.12)
for all u ∈ C 1 (Ω̄). Then, the theorem will follow through a density argu-
ment. As Γ is a compact subset of Ω̄, to prove (4.12) it suffices to show
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
xN
Ω Γ
0
Γ1
r r/2 x0 Π
Now, consider Br/2 (x0 ), the concentric open ball of radius r/2, and
select ζ ∈ C0∞ (Br (x0 )) such that ζ ≥ 0 in Br (x0 ) and ζ = 1 in Br/2 (x0 ).
Obviously, ζ can be chosen to be radially symmetric. Figure 4.2 represents
one of those ζ’s. Subsequently, for any δ ∈ (0, r], we will denote by
Γδ := Γ ∩ Bδ (x0 )
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
the portion of Γ within Bδ (x0 ), and, using the notations already introduced
in Section 1.8, we set
x[N ] := (x1 , ..., xN −1 ) ∈ RN −1 ≡ Π.
Then, it is apparent that
∫ ∫ ∫
|u|p dS ≤ ζ|u|p dS = ζ|u|p dS.
Γr/2 Γr ∂Br+
x0
Ur
U r/2
BR (x0)
Fig. 4.3 Ur/2 = Φ−1 (Br/2 (0)) and Ur = Φ−1 (Br (0))
such that
∪
m
Γ= Γr(x0,j )/2 .
j=1
Therefore,
∫ m ∫
∑
|u|p dS ≤ |u|p dS
Γ j=1 Γr(x0,j )/2
∑
m (∫ ∫ )
≤ C2 (x0,j , Ω) |u| dx +
p
|∇u| dx
p
j=1 Ω Ω
(∫ ∫ )
≤ C3 |u| dx +
p
|∇u| dx ,
p
Ω Ω
where
C3 := m max C2 (x0,j , Ω).
1≤j≤m
As the constant C3 only depends on the geometry of Ω, the proof of (4.12)
is complete.
Now, we will construct the trace operator TΓ . Naturally, for every u ∈
C (Ω̄), we define
1
TΓ u := u|Γ
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Subsequently, for every Γ ∈ {Γ0 , Γ1 , ∂Ω} and p ∈ [1, ∞), we will consider
the closed subspaces
WΓ1,p (Ω) := TΓ−1 (0) = N [TΓ ], (4.16)
where TΓ is the trace operator of W 1,p (Ω) on Γ. Then, the following density
result holds.
Proof. Let u ∈ W 1,p (Ω) for which there exists a sequence ϕn ∈ CΓ∞ (Ω),
n ≥ 1, satisfying (4.18). Then, by Theorem 4.6,
TΓ u = lim TΓ ϕn = lim ϕn |Γ = 0
n→∞ n→∞
For sufficiently small ϵ > 0, say 0 < ϵ ≤ ϵ0 , and every x ∈ Γϵ , there exists
some point yx := PΓ x ∈ Γ such that
ϵ = |x − yx | = dist (x, Γ)
(see Figure 4.4). Fix 0 < ϵ ≤ ϵ0 . Then, for every n ≥ 1, 0 < δ < ϵ, and
x ∈ Γδ , the following identities hold
∫ δ ( )
d x − yx
ϕn (x) = ϕn (yx ) + ϕn yx + t dt
0 dt δ
∫ δ⟨ ( ) ⟩
x − yx x − yx
= ϕn (yx ) + ∇ϕn yx + t , dt
0 δ δ
and hence,
∫ ( )
δ
x − yx
|ϕn (x)| ≤ |ϕn (yx )| + ∇ϕn yx + t dt. (4.21)
0 δ
x
ε
yx
Γε
(1 + x)p ≤ 2p−1 (1 + xp )
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
for all x ≥ 0. This estimate holds true because the auxiliary function
(1 + x)p
g(x) := , x ≥ 0,
1 + xp
satisfies
g ≥ 0, g(0) = 1, lim g(x) = 1, g(1) = 2p−1 ≥ 1,
x→∞
C p p−1
= 2 ∥∇u∥p p →0
p L (A1/n )
Then,
∫
η∈ C0∞ (RN ), η ≥ 0, supp η = B1 (0), η = 1. (4.27)
RN
Remark 4.2. To simplify the notation, throughout the rest of this book
we will denote
u|Γ := TΓ u ∈ Lp (Γ)
This section considers the linear boundary value problem (4.4) for an arbi-
trary ω ∈ R.
Moreover,
∫ ∫
⟨ϕA∇u, n⟩ dS = ⟨ϕA∇u, n⟩ dS,
∂Ω Γ1
because
∂u
0 = Bu = + βu on Γ1
∂ν
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
We have just seen that every solution u ∈ W 2,p (Ω), p ≥ 2, of (4.4) provides
us with a weak solution. Actually, the following characterization holds.
whence
∫ ∫ ∫ ( )
∂u
fϕ = ϕ (L + ω)u + ϕ + βu dS. (4.30)
Ω Ω Γ1 ∂ν
∂u
+ βu = 0 on Γ1 (4.31)
∂ν
and, therefore,
Bu = 0 on ∂Ω.
and, consequently,
(L + ω)u = f in Ω.
This section shows the continuity of the bilinear form a(·, ·) associated to
(4.4). The main result reads as follows.
Thus, setting
{ }
∥A∥∞ := max ∥aij ∥L∞ (Ω) ,
1≤i,j≤N
{ } (4.33)
∥b∥∞ := max ∥bj ∥L∞ (Ω) ,
1≤j≤N
|a(u, v)| ≤ ∥A∥∞ ∥∇u∥L2 (Ω) ∥∇v∥L2 (Ω) + ∥b∥∞ ∥∇u∥L2 (Ω) ∥v∥L2 (Ω)
+ ∥c + ω∥L∞ (Ω) ∥u∥L2 (Ω) ∥v∥L2 (Ω)
+ ∥β∥L∞ (Γ1 ) ∥TΓ1 u∥L2 (Γ1 ) ∥TΓ1 v∥L2 (Γ1 ) .
∥TΓ1 w∥L2 (Γ1 ) ≤ ∥TΓ1 ∥L(W 1,2 (Ω),L2 (Γ ∥w∥W 1,2 (Ω)
1 ))
Also,
∫ ( )
(cu + ωu) u ≥ ω + inf c ∥u∥2L2 (Ω) . (4.39)
Ω Ω
∥b∥∞
µ− > µ − δ,
2η
and set
∥b∥∞
ω0 := − inf c + η + µ − δ.
Ω 2
Then, for every ω ≥ ω0 and u ∈ H, we have that
( ) ( )
∥b∥∞ ∥b∥∞
a(u, u) ≥ µ − ∥∇u∥L2 (Ω) + ω + inf c −
2
η ∥u∥2L2 (Ω)
2η Ω 2
( )
≥ (µ − δ) ∥∇u∥2L2 (Ω) + ∥u∥2L2 (Ω)
2
= (µ − δ)∥u∥W 1,2 (Ω) .
Γ0
Theorem 4.9 (of invertibility of (L, B, Ω)). Suppose the bilinear form
a(·, ·) associated to the problem (4.4) is coercive for some ω ∈ R. Then,
(4.4) possesses a unique weak solution u ∈ WΓ1,2
0
(Ω). Moreover, if we denote
it by
u := (L + ω)−1 f ∈ WΓ1,2
0
(Ω),
then, the resolvent operator
(L+ω)−1
L2 (Ω) −→ WΓ1,2
0
(Ω)
f 7→ (L + ω)−1 f
is linear and continuous, i.e.,
( )
(L + ω)−1 ∈ L L2 (Ω), WΓ1,2
0
(Ω) . (4.40)
and we are assuming that it is coercive for some ω ∈ R. Moreover, for every
f ∈ L2 (Ω), the map
∫
1,2
⟨f, ·⟩L2 (Ω) : WΓ0 (Ω) −→ R, u 7→ ⟨f, u⟩L2 (Ω) = f u,
Ω
such that
⟨Af + Bg, v⟩L2 (Ω) = A⟨f, v⟩L2 (Ω) + B⟨g, v⟩L2 (Ω)
( ) ( )
= A a (L + ω)−1 f, v + B a (L + ω)−1 g, v
( )
= a A(L + ω)−1 f + B(L + ω)−1 g, v .
and set
u := (L + ω)−1 f, un := (L + ω)−1 fn , n ≥ 1.
The main goal of this section is to extend the result of Remark 4.3 up to
cover the general case when β changes sign on Γ1 . To accomplish this task,
besides Assumptions B1 and B2, we will impose
B3. There exist ψ ∈ C 2 (Ω̄) and γ > 0 such that
∂ψ
(x) ≥ γ for all x ∈ Γ1 .
∂ν
By Lemma 2.1, B3 holds if ∂Ω is of class C 2 . According to Proposition 2.1,
under these assumptions, there exist ω0 ∈ R and h ∈ C 2 (Ω̄), with h(x) > 0
for all x ∈ Ω̄, such that h is a strict supersolution of (L + ω, B, Ω) for all
ω ≥ ω0 . Actually, going back to the proof of Proposition 2.1, it becomes
apparent that we can make the choice
h(x) = eM ψ(x) , x ∈ Ω̄, (4.42)
for any M > 0 satisfying
Mγ + β > 0 on Γ1 . (4.43)
Subsequently, we set
2 Lh
bh := b − A∇h, ch := , (4.44)
h h
and consider the operator
Lh := −div (A∇ ·) + ⟨bh , ∇ ·⟩ + ch . (4.45)
Then,
bh ∈ (L∞ (Ω)) , ch ∈ L∞ (Ω),
N
because h ∈ C 2 (Ω̄), and, much like in the proof of Theorem 1.7, a straight-
forward computation shows that
u
Lu = h Lh in Ω (4.46)
h
for all function u almost everywhere twice classically differentiable in Ω.
Similarly, we introduce
Bh
βh := (4.47)
h
and the boundary operator
{
D on Γ0 ,
Bh := ∂ (4.48)
∂ν + βh on Γ1 .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
a , ah : WΓ1,2
0
(Ω) × WΓ1,2
0
(Ω) −→ R
denote the bilinear forms associated to (4.4) and (4.52), respectively, i.e.,
∫ ∫ ∫
a(u, w) := ⟨A∇u, ∇w⟩+ (⟨b, ∇u⟩+cu+ωu) w+ βuw dS
Ω Ω Γ1
∫ ∫ ∫
ah (u, w) := ⟨A∇u, ∇w⟩+ (⟨bh , ∇u⟩+ch u+ωu) w+ βh uw dS,
Ω Ω Γ1
∫ ∫ ∫
∇h vw vw
⟨A , ∇(vw)⟩ − ⟨A∇h, ∇h⟩ = ⟨A∇h, ∇ ⟩,
Ω h Ω h2 Ω h
and
∫ ∫ ) ∫
( vw
vw vw
⟨A∇h, ∇ ⟩= div A∇h − div (A∇h)
h h h
Ω
∫Ω ∫ Ω
vw ∂h vw
= dS − div (A∇h) ,
Γ1 h ∂ν Ω h
we find that
( ∫ ∫ ∫
w) vw
a hv, = ⟨A∇v, ∇w⟩+ ⟨bh , ∇v⟩w− div (A∇h)
h h
∫Ω ∫ Ω ∫ Ω( )
vw 1 ∂h
+ ⟨b, ∇h⟩ + (c + ω)vw+ β+ vw dS
Ω h Ω Γ1 h ∂ν
and, consequently,
( w)
a hv,
∫ h ∫ ∫ ∫
(L+ω)h Bh
= ⟨A∇v, ∇w⟩+ ⟨bh , ∇v⟩w+ vw+ vw dS
Ω Ω Ω h Γ h
∫ ∫ ∫ ∫ 1
= ⟨A∇v, ∇w⟩+ ⟨bh , ∇v⟩w+ (ch +ω)vw+ βh vw dS
Ω Ω Ω Γ1
= ah (v, w),
which concludes the proof.
The next result is a corollary from Lemma 4.2.
Theorem 4.10. Suppose B1–B3, and let h be the function (4.42), with M
satisfying (4.43). Then, v ∈ WΓ1,20
(Ω) is a weak solution of (4.52) if and
only if u := hv ∈ WΓ1,2
0
(Ω) is a weak solution of (4.4).
Theorem 4.11. Suppose B1–B3. Then, there exists ω0 ∈ R such that, for
every ω ≥ ω0 , the problem (4.4) possesses a unique weak solution
u := (L + ω)−1 f ∈ WΓ1,2
0
(Ω).
Moreover, all the conclusions of Theorem 4.9 hold true.
provides us with the unique weak solution of (4.4). The remaining asser-
tions of the theorem can be easily obtained from the identity
.
(L + ω)−1 = h(Lh + ω)−1
h
by applying Theorem 4.9 to the transformed problem (4.52).
studied the spaces Lp (I), I being an interval, for 1 < p < ∞. These contri-
butions have shown to be a milestone for the development of mathematical
analysis. Though inequality (4.5) is attributed to O. Hölder [101], it might
be attributed to L. J. Rogers [193] too.
As in most of the specialized literature, we have attributed the spaces
k,p
W (Ω) to S. L. Sobolev [210], though a number of spaces of weakly
differentiable functions had been previously introduced by C. B. Morrey
[166, 167]. Later, L. Schwartz [199] established the foundations of the ab-
stract theory of distributions.
The most pioneering approximation results in the sprit of Theorem 4.1
go back to K. O. Friedrichs [69]. Theorem 4.1 goes back to Theorem 2.3 of
J. Deny and J. L. Lions [52] for k = 1, and it was later extended by N. G.
Meyers and J. Serrin [161] to cover the general case when k ≥ 1.
In Definition 4.3, the concept of Lipschitz function goes back to R.
Lipschitz [133], and the concept of Hölder function seem to go back to O.
Hölder [101], though the Hölder spaces introduced in Section 4.1.3 might
go back to A. Korn [116] and J. Schauder [195, 196]. The interested reader
is advised to refer to Chapters 4 and 6 of D. Gilbarg and N. Trudinger [79]
for further details.
Except for the Hölder condition on the maximal order derivative in (4.8),
which goes back to C. B. Morrey [166], Theorem 4.2 is attributed to S. L.
Sobolev [210, 211]. Theorem 4.3 goes back, at least, to Problem 7.7 of D.
Gilbarg and N. Trudinger [79] (see Section 5.8.2 of L. C. Evans [60] for a
proof). Naturally, Theorem 4.4 is based upon the Lebesgue differentiation
theorem. It goes back to Theorem 12 of A. P. Calderón and A. Zygmund
[37] and Theorem VIII.1 of E. M. Stein [215] (cf. Section 5.8.3 of L. C. Evans
[60]). The particular feature that any locally Lipschitz continuous function
must be differentiable almost everywhere is attributed to H. Rademacher
[90]. The compactness results collected by Theorem 4.5 are attributed to
F. Rellich [188] in case p = 2 and to V. I. Kondrachov [115] in the general
case p > 1. Theorem 4.5 was later extended by E. Gagliardo [74] to cover
the general case p ≥ 1.
The exposition of Section 4.2 is based on Section 5.5 of L. C. Evans [60].
It includes the detailed proofs of the trace theorems because the results of
L. C. Evans [60] were proven in the very special case when Γ = ∂Ω, as in
most of the available literature. Although the proof of Theorem 4.6 is a
detailed re-elaboration of the proof of Theorem 1 in Section 5.5 of L. C.
Evans [60], our proof of Theorem 4.7 differs substantially from the proof of
Theorem 2 in Section 5.5 of L. C. Evans [60], which was suggested by W.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Schlag [197] (see p. 292 of [60]). Sharper results about the exact range of
the trace operator can be found on p. 196 of the classical textbook of H.
Brézis [29], and in J. L. Lions and E. Magenes [130].
According to Chapter 9 of D. R. Adams and L. I. Hedberg [2], the
results of Section 4.2 go back at least to S. L. Sobolev’s fundamental paper
[209], which appeared in 1937, but was translated to English only in 1963.
In his celebrated paper, S. L. Sobolev generalized some earlier work by K.
O. Friedrichs [68].
The variational approach to problem (4.4) studied in Sections 4.3-4.5
can be traced back as far as the works of D. Hilbert [98] and H. Lebesgue
[123], at least in the very special case when L = −∆ and Γ1 = ∅. Theorem
◦
4.8 goes back to L. Garding [77]. In its full generality, Theorem 4.9 should
be attributed to P. D. Lax and A. N. Milgram [122].
Although H. Amann [9] found some “inverse positivity” results for the
classical solutions of (4.4) when Ω is of class C 2 and β ∈ C 1 (Γ1 ), the ex-
istence results of Section 4.6 seem to go back to J. López-Gómez [147] for
arbitrary β.
In a number of circumstances along this chapter, the condition that
∂Ω is of class C 1 is far from necessary. For instance, for introducing the
Hölder spaces of continuous functions. While, in many others, it is a crucial
hypothesis for the validity of the results. For instance, Theorem 4.1 can
fail when ∂Ω is not of class C 1 .
A careful reading of this chapter reveals that β ∈ C(Γ1 ) can be relaxed
up to consider β ∈ L∞ (Γ1 ). Moreover, for the validity of the last assertion
of Theorem 4.6 it suffices to impose u ∈ W 1,2 (Ω) ∩ C(Ω ∪ Γ). But the
‘principle of greatest generality’ remains outside the scope of this book.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Chapter 5
129
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
∂u
+ βu = 0 on Γ1 ,
∂ν
and, therefore, any weak solution u of (4.4) must be a classical solution
−
satisfying u ∈ C 1,1 (Ω̄).
The fact that any weak solution of (4.4) belongs to the Sobolev space
W 2,p (Ω) if f ∈ Lp (Ω), p ≥ 2, will be proven through the method of continu-
ity, from the classical elliptic Lp -estimates (see Theorem 9.14 of D. Gilbarg
and N. Trudinger [79]) and the corresponding result for the Laplace oper-
ator −∆, which is a very classical result in potential theory. Basically, the
Lp regularity is a consequence from the theory of singular integrals of A. P.
Calderón and A. Zygmund [36], attributable to K. O. Friedrichs [70] and
to S. Agmon, A. Douglis, and L. Nirenberg [4]. The pioneering results of
K. O. Friedrichs [70] extended a classical result of H. Weyl [225], usually
referred to as the Weyl lemma, establishing that any weak solution of the
Laplace equation
−∆u = f ∈ L2
must be of class C ∞ almost everywhere in any domain D where f ∈ C ∞ (D).
The method of continuity was introduced by J. Schauder [195, 196] to ob-
tain maximal Hölder regularity for general second order elliptic operators
with Hölder continuous coefficients. Essentially, it consists in establishing
a continuous deformation, or homotopy, between the original elliptic differ-
ential operator and the classical Laplace operator for transferring all the
available regularity results from classical potential theory to the original
setting. The underlying ideas have been a milestone for the development of
modern nonlinear analysis and its applications to the theory of nonlinear
partial differential equations (see [140] and Chapter 12 of [153] for some
very recent advances in this direction).
This chapter pays special attention to the case of Dirichlet boundary
conditions (Γ1 = ∅). Consequently, as we shall use the method of continu-
ity to derive the general Lp regularity result, this chapter might actually
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Theorem 5.1 (of Lp (RN )-regularity). Let 1 < p < ∞. Then, for every
f ∈ Lp (RN ), the function
u := G ∗ f
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
satisfies u ∈ W 2,p (RN ) and it solves (5.3) a.e. in RN . Moreover, the map
(−∆+1)−1
Lp (RN ) −→ W 2,p (RN ) (5.6)
f 7→ G∗f
is a linear topological isomorphism. In particular, there exists a constant
C > 0 such that
C −1 ∥f ∥Lp (RN ) ≤ ∥G ∗ f ∥W 2,p (RN ) ≤ C∥f ∥Lp (RN ) (5.7)
Theorem 5.1 is a consequence from the fact that the Riesz transform
( )
ξj
Rj f := F−1 −i F(f ) , 1 ≤ j ≤ N,
|ξ|
can be extended from L2 (RN ) to a bounded operator on Lp (RN ), for all
1 < p < ∞, which is a fundamental consequence of the theory of singular
integrals of A. P. Calderón and A. Zygmund [36]. Different proofs of Theo-
rem 5.1 are given in A. P. Calderón [35] and in Theorem V.3 of E. M. Stein
[215].
As a byproduct from (5.7), we find that
( )
∥u∥W 2,p (RN ) ≤ C ∥ − ∆u∥Lp (RN ) + ∥u∥Lp (RN ) (5.8)
for all u ∈ W 2,p (RN ). Indeed, for every u ∈ W 2,p (RN ), there exists f ∈
Lp (RN ) such that u = G ∗ f and hence,
∥u∥W 2,p (RN ) = ∥G ∗ f ∥W 2,p (RN ) ≤ C∥f ∥Lp (RN )
= C∥ − ∆u + u∥Lp (RN )
( )
≤ C ∥ − ∆u∥Lp (RN ) + ∥u∥Lp (RN ) .
Theorem 5.1 can be generalized to cover the more general case when −∆
is substituted by a second order elliptic operator with constant coefficients
of the form
L = − div (A∇ · ), A ∈ Msym
N (R).
More generally, for every s > 0, one can consider the Bessel kernel
( ) ∫
−1 1 1 ei ⟨x,ξ⟩
Gs (x) := F s/2
= N s/2
dξ
(1 + |ξ|2 ) (2π) RN (1 + |ξ|2 )
∫ ∞
1 s−N
−1 −π
|x|2
− 4π
t
= t 2 e t dt, x ∈ RN ,
(4π)s/2 Γ(s/2) 0
where Γ stands for gamma of L. Euler
∫ ∞
Γ(α) := tα−1 e−t dt, α > 0,
0
as well as the associated Bessel potential space
Ls,p (RN ) := { Gs ∗ f : f ∈ Lp (RN ) }, 1 < p < ∞,
equipped with the norm
∥Gs ∗ f ∥Ls,p (RN ) := ∥f ∥Lp (RN ) .
Adopting this perspective, A. P. Calderón [35] actually proved that
Lk,p (RN ) = W k,p (RN ), 1 < p < ∞, (5.9)
with equivalent norms, for all integer k ≥ 0. Theorem 5.1 has already estab-
lished (5.9) for k = 2. By (5.9), the Bessel potential spaces can be regarded
as generalized Sobolev spaces incorporating fractional order derivatives of
arbitrary order.
Another fruitful approach to the problem of the construction of gen-
eralized Sobolev spaces incorporating fractional order derivatives was pro-
posed by E. N. Slobodeckii [205]. According to it, for every s ∈ (0, 1) and
p ∈ [1, ∞), the Slobodeckii space W s,p (Ω) stands for the Banach space of
all functions u ∈ Lp (Ω) such that
∫
|u(x) − u(y)|p
Ip (u) := dx dy < ∞
Ω×Ω |x − y|
N +ps
Remark 5.1.
(a) For every s > 0 and Γ ∈ {Γ0 , Γ1 , ∂Ω}, the imbedding W s,2 (Γ) ,→ L2 (Γ)
is compact (see, e.g., Theorem 7.10 of J. Wloka [226]).
(b) For every Γ ∈ {Γ0 , Γ1 , ∂Ω}, k ∈ {1, 2} and p > 1, the trace operator TΓ
of W 1,p (Ω) on Γ satisfies
( 1
)
TΓ ∈ L W k,p (Ω), W k− p ,p (Γ)
and hence
( 1 1
)
B ∈ L W 2,p (Ω), W 2− p ,p (Γ0 ) × W 1− p ,p (Γ1 ) for all p > 1
(see, e.g., Theorem 8.7 of J. Wloka [226]).
Theorem 5.2. For every 1 < p < ∞ and f ∈ Lp (Ω), the function
∫
w := − K(x, ·)f (x) dx
Ω
2,p
belongs to W (Ω) and it satisfies
−∆w = f a.e. in Ω.
−∆u = f ∈ Lp (Ω)
is W 2,p (Ω), much like in the context of Theorem 5.1. The reader is advised
to read the proof of Theorem 9.9 of D. Gilbarg and N. Trudinger [79] for a
proof of Theorem 5.2.
Now, suppose h ∈ C 2 (Ω̄) is harmonic in Ω. Then, by the second Green
identity, we obtain that
∫ ∫ ( )
∂h ∂u
0= h∆u dx + u −h dS (5.11)
Ω ∂Ω ∂n ∂n
for all u ∈ C 2 (Ω̄). Thus, setting
Theorem 5.3. Let 1 < p < ∞ and f ∈ Lp (Ω). Then, the function u
defined by (5.13) satisfies u ∈ W 2,p (Ω) ∩ W01,p (Ω) and it is the unique
solution of (5.14) in the sense of Definition 4.4. Moreover, the map
(−∆)−1
Lp (Ω) −→ W 2,p (Ω) ∩ W01,p (Ω)
(5.15)
−1
f 7→ (−∆) f := u
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
This section collects a general version of the global elliptic estimate (5.17).
Such estimate will show the solvability of (4.4) in Lp (Ω), under homoge-
neous Dirichlet boundary conditions, when L + ω is coercive. To state it
with the appropriate generality, consider a family A of symmetric matrices
A = (aij )1≤i,j≤N ∈ Msym
N (W
1,∞
(Ω))
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
with
sup ∥A∥L∞ (Ω) < ∞,
A∈A
In other words, L0 is onto if and only if Lt is onto for all t ∈ [0, 1].
Equivalently, by the open mapping theorem, L0 ∈ Iso(E, F ) if and only
if Lt ∈ Iso(E, F ) for all t ∈ [0, 1], because (5.21) entails the injectivity of
Lt for all t ∈ [0, 1].
Throughout this section we suppose that p ∈ [2, ∞) and consider the Ba-
nach spaces
E := W 2,p (Ω) ∩ W01,p (Ω), F := Lp (Ω),
the operators
L0 := −∆ + ω : E → F, (5.23)
for all u ∈ W01,2 (Ω) and t ∈ [0, 1]. In particular, the bilinear form at is
coercive for all t ∈ [0, 1].
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Proof. For every t ∈ [0, 1], the matrix of the coefficients of the principal
part of Lt is given by
At := tA + (1 − t)IRN .
ξ T At ξ = tξ T Aξ + (1 − t)|ξ|2
≥ (1 − t + tµ)|ξ|2
≥ min{1, µ}|ξ|2 .
Consequently,
≥ min{α0 , α1 }∥u∥ 2
1,2
W0 (Ω)
for all u ∈ W01,2 (Ω) and t ∈ [0, 1]. The proof of Part (b) is complete.
Finally, thanks to Theorem 5.4, Part (c) is a direct consequence from
Part (a). This ends the proof.
for all t ∈ [0, 1] and u ∈ W 2,p (Ω). The next result establishes that they are
injective.
such that
∥un ∥W 2,p (Ω)
lim = ∞. (5.29)
n→∞ ∥Ltn un ∥Lp (Ω)
As [0, 1] is compact, we can assume, without loss of generality, that
lim tn = t∗ ∈ [0, 1].
n→∞
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Subsequently, we set
un
vn := , n ≥ 1. (5.30)
∥un ∥W 2,p (Ω)
Then,
vn ∈ E, ∥vn ∥W 2,p (Ω) = 1, n ≥ 1, (5.31)
and (5.29) can be expressed as
lim ∥Ltn vn ∥Lp (Ω) = 0. (5.32)
n→∞
In particular, by (5.31),
∥v ∗ ∥W 2,p (Ω) = 1. (5.37)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and, consequently,
∥Ltn vn −Lt∗ v ∗ ∥Lp (Ω) ≤ ∥Ltn vn −Lt∗ vn ∥Lp (Ω) +∥Lt∗ vn −Lt∗ v ∗ ∥Lp (Ω)
Therefore, (5.38) holds, and we conclude from (5.32) and (5.38) that
Lt∗ v ∗ = 0.
M0 := −∆ : E → F,
M1 := −∆ + ω : E → F,
reveals that
and, consequently,
−
i) u ∈ C01 (Ω̄) ∩ C 1,1 (Ω̄).
ii) u is twice classically differentiable almost everywhere in Ω.
iii) u is a classical solution of (5.40), in the sense of Definition 4.1.
Proof. By Theorem 4.9, the problem (5.40) has a unique weak solution.
According to (5.39), there exists u ∈ W 2,p (Ω)∩W01,p (Ω) satisfying (5.40) in
the sense of Definition 4.4. By Proposition 4.2, u must be a weak solution
of (5.40). Therefore, the unique weak solution of (5.40) satisfies (5.41) and
it solves (5.40) in the sense of Definition 4.4.
The remaining assertions of the theorem are direct consequences from
Theorems 4.2(ii), 4.4 and 4.6. Indeed, let f ∈ L∞ (Ω). Then, the unique
weak solution of (5.40) satisfies
∞ [
∩ ] −
u∈ W 2,p (Ω) ∩ W01,p (Ω) ⊂ W 2,∞ (Ω).
p=2
As for the existence of weak solutions in Section 4.6, the regularity of the
weak solutions of (4.4) in the general case when β changes of sign can
be easily derived from Theorem 4.10 through the regularity result for the
special case when
β ≥ 0. (5.42)
Therefore, (5.42) will be assumed throughout this section.
When Γ1 ̸= ∅, Theorem 5.5 cannot be applied straightaway to get the
W (Ω)-regularity of the weak solutions of (4.4) for f ∈ Lp (Ω), p ≥ 2,
2,p
as we have done in the previous section for the special case when B = D
(Γ1 = ∅), because the method of continuity now involves a homotopy of
both differential operators and boundary operators on Γ1 and, as a result,
the Banach space E where the operators Lt , t ∈ [0, 1], are defined depends
on t. This technical difficulty makes the analysis of the underlying regu-
larity problem extraordinarily more involved than in case Γ1 = ∅, however
Theorem 5.5 also applies to get the regularity result in the general case. As
giving all the technical details of the proofs of the necessary results to get
the W 2,p (Ω)-regularity of the weak solutions of (4.4) in the general case
when Γ1 ̸= ∅ lies outside the scope of this book, in this section we will
restrict ourselves to sketch an approach to this problem and to state the
main result which will be used later.
Subsequently, we fix p ∈ [2, ∞) and consider, for every t ∈ [0, 1], the
boundary operator
Bt : W 2,p (Ω) → Lp (Γ1 )
defined through
Bt u := ⟨∇u, tAn + (1 − t)n⟩ + βu, u ∈ W 2,p (Ω), (5.43)
in the sense of traces. According to Theorem 4.6,
( )
Bt ∈ L W 2,p (Ω), Lp (Γ1 ) for all t ∈ [0, 1].
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Thus,
N [Bt ] = B−1
t (0)
is a closed linear subspace of W 2,p (Ω) and hence, we can consider the curve
of Banach subspaces of W 2,p (Ω) defined by
Et := W 2,p (Ω) ∩ WΓ1,p
0
(Ω) ∩ N [Bt ], t ∈ [0, 1], (5.44)
as well as the associated homotopy
Lt : Et → F := Lp (Ω)
defined by
Lt u := −div ([tA + (1 − t)IRN ]∇u) + t⟨b, ∇u⟩ + tcu + ωu, (5.45)
for all u ∈ Et and t ∈ [0, 1]; Lt is well defined in W 2,p
(Ω) and
Lt u = tL1 u + (1 − t)L0 u (5.46)
for all u ∈ W (Ω) and t ∈ [0, 1]. The homotopy Lt : Et → F between
2,p
Theorem 5.9. For every t ∈ [0, 1], there exists Φt ∈ Iso(E0 , Et ) such that
Φ0 = I, the map
[0, 1] −→ L(E0 , W 2,p (Ω))
t 7→ Φt
is continuous, and there is a constant C > 0 such that
∥Φ−1
t ∥L(Et ,E0 ) ≤ C for all t ∈ [0, 1]. (5.49)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Next, we will use Theorem 5.9 to show how (5.48) implies that
R[Lt ] = Lp (Ω) for all t ∈ [0, 1]. (5.52)
Adapting the proof of Proposition 5.1, it becomes apparent that
Lt : Et → Lp (Ω)
is injective for all t ∈ [0, 1]. Thus, there exists a constant Ct > 0 such that
∥xt ∥W 2,p (Ω) ≤ Ct ∥Lt xt ∥Lp (Ω) for all xt ∈ Et , 0 ≤ t ≤ 1.
Much within the spirit of Theorems 5.4 and 5.7, the constant Ct can be
chosen so that
sup Ct < ∞.
t∈[0,1]
The proof of Theorem 5.10 combines the global interior elliptic estimates
of the Appendix of H. Amann and J. López-Gómez [13] with the boundary
estimates of H. Amann [12] (see Remark A3.2 of [13]). The details of the
proof are not included.
Subsequently, for every t ∈ [0, 1], we denote by Mt the operator
Mt = Lt Φt : E0 → Lp (Ω).
By construction, Mt ∈ L(E0 , Lp (Ω)) and it is injective for all t ∈ [0, 1].
Also, since Φ0 = I, we find from (5.48) that
R[M0 ] = R[L0 ] = Lp (Ω),
and hence, by the open mapping theorem,
M0 ∈ Iso(E0 , Lp (Ω)).
Moreover, according to Theorem 5.9 and (5.53), there exists a constant
C > 0 such that
∥x∥E0 ≤ C∥Mt x∥Lp (Ω) (5.54)
for all t ∈ [0, 1] and x ∈ E0 . More generally, suppose that
Ms ∈ Iso(E0 , Lp (Ω))
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
In the statement of Theorem 5.11, we are denoting by CΓ1 0 (Ω̄) the closure
of CΓ∞0 (Ω) in C 1 (Ω̄) (see Section 4.1.1, if necessary).
It should be noted that Theorem 5.11 also follows from the abstract
theory of R. Denk, M. Hieber and J. Prüss [51].
Far reaching results about the Weyl lemma were given by L. Hörmander
[105].
Section 5.1 was inspired by Chapter 1 of D. R. Adams and L. I. Hedberg
[2]. The Bessel potential spaces were systematically studied by N. Aron-
szajn and coworkers (see N. Aronszajn and K. T. Smith [15], N. Aronszajn
F. Mulla and P. Szeptycki [16], and N. Aronszajn [14]). As already com-
mented in Chapter 4, specialized monographs and textbooks discussing the
Sobolev–Slobodeskii spaces are those of R. A. Adams [1], A. Friedman [67],
J. L. Lions and E. Magenes [130], P. Malliavin [156], V. G. Maz’ja [159],
C. B. Morrey [167], J. Nec̆as [170], H. Triebel [220], and J. Wloka [226],
among others.
Section 5.2 is based on Chapter 4 of F. John [108], Theorem 9.9 of D.
Gilbarg and N. Trudinger [79], and Theorem IX.32 of H. Brézis [29]. Section
5.3 provides a statement of Theorem 9.14 of D. Gilbarg and N Trudinger
[79].
Section 5.4 is based on Section 5.2 of D. Gilbarg and N Trudinger [79],
however the proof of Theorem 5.2 of [79] is wrong, because the map
T x := L−1 −1
s y + (t − s)Ls (L0 − L1 )x
Chapter 6
155
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
of a real vector space and its set of cones, in such a way that each cone is
the positive cone of its induced linear ordering through (6.2). The vectors
of the punctate cone
Ṗ := P \ {0} = { x ∈ V : x > 0 }
are called positive.
Let E = (E, ∥ · ∥) be a Banach space ordered by a cone P through (6.2).
Then,
E := (E, ∥ · ∥, P )
is said to be an ordered Banach space (OBS) if P is closed, i.e., if
P̄ = P.
In such case, we will denote by
◦
P := int P
the interior of the cone P , which might be empty.
Throughout the rest of this book, given an OBS, (E, ∥ · ∥, P ), with
int P ̸= ∅, and x, y ∈ E, it is said that x ≪ y, or, equivalently, y ≫ x, when
◦
y − x ∈ P.
In particular,
◦
x≫0 if and only if x ∈ P .
The following results will be extremely useful later.
◦
Lemma 6.1. Let (E, ∥ · ∥, P ) be an OBS with P ̸= ∅. Then,
x ≫ 0, ρ > 0 =⇒ ρx ≫ 0.
Proof. Suppose x ≫ 0 and ρ > 0. Then, there exists ϵ > 0 such that
x+y ∈P if ∥y∥ ≤ ϵ.
Thus, owing to (6.1),
ρ(x + y) ∈ P if ∥y∥ ≤ ϵ,
and hence,
ρx + z ∈ P if ∥z∥ ≤ ρϵ.
Therefore, ρx ≫ 0, because ρϵ > 0.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
◦
Lemma 6.2. Let (E, ∥ · ∥, P ) be an OBS with P ̸= ∅. Then,
E = P − P := { x − y : x, y ∈ P }. (6.3)
◦
Proof. Fix y ∈ P , and let x ∈ E arbitrary. Then, by Lemma 6.1,
( )
z := λy − x = λ y − λ−1 x ∈ P
x = λy − z with z ≥ 0 and λy ≫ 0,
• P is said to be generating if E = P − P .
• P is said to be total if the set of all finite linear combinations of its
elements is dense in E.
E ′ := L(E, R).
P ∗ := { x′ ∈ E ′ : x′ (x) ≥ 0 ∀ x ∈ P }. (6.4)
By definition,
P∗ + P∗ ⊂ P∗ and R+ P ∗ ⊂ P ∗ . (6.5)
E ′ := (E ′ , ∥ · ∥E ′ , P ∗ )
for all x ∈ E. Moreover, as x′n ∈ P ∗ for all n ≥ 1, we have that x′n (x) ≥ 0
for all x ∈ P and n ≥ 1. Consequently, x′ (x) ≥ 0 for all x ∈ P and,
therefore, x′ ∈ P ∗ . The proof is complete.
As a consequence from Lemma 6.3, P ∗ is a cone if P is generating.
According to Lemma 6.2, this occurs if P has non-empty interior. The
following concept will play an important role later.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Definition 6.2 (normal cone). Let (E, ∥·∥, P ) be an OBS with total pos-
itive cone P . Then, P is said to be normal if the cone P ∗ is generating.
which converges uniformly on compact subsets of |ζ| > spr T (see Theorem
3 on p. 211 of Section VIII.2 of K. Yosida [227]).
Subsequently, when ζ ∈ C, in the expression ζI − T , I stands for the
identity map of EC , the canonical complexification of E,
EC := E + iE,
where i is the complex imaginary unit, and T denotes the canonical exten-
sion of T to EC , i.e.,
T (x + iy) := T x + iT y, x, y ∈ E.
For a given T ∈ L(E), we denote by σ(T ) the spectrum of T . It consists
of the set of values λ ∈ C for which λI − T is not an isomorphism of EC .
Also, we denote by ϱ(T ) the resolvent set of T , which is defined by
ϱ(T ) := C \ σ(T ).
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and
∗ ⊥
R[ζI − T ] = N [ζI − T ] ,
(6.11)
dim N [ζI − T ] = dim N [ζI − T ∗ ],
M ⊥ := { x ∈ E : x′ (x) = 0 ∀ x′ ∈ M }
(see Section X.5 of K. Yosida [227]). The following result collects some of
the most fundamental spectral properties of the compact operators.
(a) 0 ∈ σ(T ) if dim E = ∞, σ(T ) \ {0} is a discrete set, and there exists
λ ∈ σ(T ) such that |λ| = spr T . Therefore, by (6.9),
refer to Chapters 6 and 7 of [141] and Chapter 7 of [142] for the finite-
dimensional theory, and to the more recent monograph of J. López-Gómez
and C. Mora-Corral [153] for the general infinite-dimensional case, where,
besides a complete self-contained proof of Theorem 6.2, the reader will
find some very recent advances in the theory of algebraic multiplicities of
eigenvalues of linear operators, as the axiomatization theorem. Classical
textbooks covering most of these materials, easily accessible to beginners,
are I. C. Göhberg, P. Lancaster and L. Rodman [84], and I. C. Göhberg, S.
Goldberg and M. A. Kaashoek [82].
By (6.10) and (6.11), it becomes apparent from Theorem 6.2 that
σ(T ) = σ(T ∗ )
and that
m(λ; T ) = m(λ; T ∗ ), λ ∈ σ(T ) \ {0}, (6.15)
for all T ∈ K(E). Moreover, the following fundamental identity, going back
to R. S. Phillips [177], holds
R(ζ; T )∗ = R(ζ; T ∗ ), ζ ∈ ϱ(T ) = ϱ(T ∗ ), (6.16)
(see Theorem 2 of Section VIII.6 of K. Yosida [227]).
• T is said to be positive if
T (PX ) ⊂ PY .
• T is said to be strictly positive if
T (PX \ {0}) ⊂ PY \ {0}.
• T is said to be strongly positive if Y possesses a norm ∥ · ∥Y for which
(Y, ∥ · ∥Y , PY ) is an ordered Banach space with
◦ ◦
P Y ̸= ∅ and T (PX \ {0}) ⊂ P Y .
Naturally, T is said to be strongly negative if −T is strongly positive.
Remark 6.1.
This section collects some important properties needed in the proof of The-
orem 6.3. Therefore, throughout it, we will assume that (E, ∥ · ∥, P ) is an
OBS with int P ̸= ∅, and that T ∈ K(E) is strongly positive. Also, we will
consider the sets
B := { x ∈ E : ∥x∥ < 1 }, ∂B := { x ∈ E : ∥x∥ = 1 },
K := T (∂B ∩ P ),
and, for every γ > 0,
Mγ := { x ∈ P \ {0} : T x ≥ γx }
= (T − γI)−1 (P ) ∩ (P \ {0}),
and
Σγ := { x ∈ K ∩ Mγ : ∥x∥ ≥ γ }
= K ∩ (T − γI)−1 (P ) ∩ P ∩ { x ∈ E : ∥x∥ ≥ γ }.
The following result collects some useful properties of these sets which are
going to be used in the proof of Theorem 6.3.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
(c) If T x > γx for some γ > 0 and x > 0, then, T x ∈ Mγ̃ for some γ̃ > γ
and, in particular, T x ∈ Mγ , by Part (a).
(d) Let γ > 0 and any sequence {γn }n≥1 such that
lim γn = γ, 0 < γn < γn+1 < γ, and Σγn ̸= ∅,
n→∞
for all n ≥ 1. Then,
∩
Σγ = Σγn ̸= ∅.
n≥1
(e) Σγ = Mγ = ∅ if
( γ > ∥T ∥L(E)
] (> 0).
(f) For every γ ∈ 0, ∥T ∥L(E) , Σγ ̸= ∅ if and only if Mγ ̸= ∅.
Proof of Part (a): Suppose γ̃ > γ > 0 and Mγ̃ ̸= ∅. Let x ∈ Mγ̃ . Then, by
definition,
x>0 and T x ≥ γ̃ x.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Moreover, since γ̃ −γ > 0 and x > 0, we find from R+ P ⊂ P that (γ̃ −γ)x >
0 and hence,
x > 0 and T x ≥ γ̃ x > γ x.
Therefore, x ∈ Mγ and, consequently, Mγ̃ ⊂ Mγ . Obviously, this also
implies that
Σγ̃ = { x ∈ K ∩ Mγ̃ : ∥x∥ ≥ γ̃ }
⊂ { x ∈ K ∩ Mγ : ∥x∥ ≥ γ } = Σγ ,
which concludes the proof of Part (a).
Proof of Part (b): By definition, Mγ ⊂ P \ {0} for all γ > 0 and hence,
∪
Mγ ⊂ P \ {0}.
γ>0
◦
To prove the converse, let x > 0. Then, by (6.17), T x ∈ P and hence,
◦
lim (T x − γx) = T x ∈ P .
γ→0
Thus,
T x − γx ∈ P
for sufficiently small γ > 0, and, therefore, x ∈ Mγ . This ends the proof of
Part (b).
Proof of Part (c): Let γ > 0 and x > 0 such that T x > γx. Then, according
to (6.17), we have that
◦ ◦
Tx ∈ P, T 2 x − γT x ∈ P ,
and hence, T x > 0 and
◦
lim (T 2 x − γT x − ϵT x) = T 2 x − γT x ∈ P .
ϵ→0
Proof of Part (d): Let γ > 0 and a sequence {γn }n≥1 such that
lim γn = γ, 0 < γn < γn+1 < γ, and Σγn ̸= ∅,
n→∞
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and, consequently,
(1 − ζγ)S(ζ) ≥ x > 0.
Moreover,
0 < x ≤ S(ζ)
and hence,
1 − ζγ > 0
for all ζ ∈ [0, R(x)). Therefore,
∥T n+1 x∥
0 < γ ≤ R−1 (x) := lim sup ≤ ∥T ∥L(E) . (6.18)
n→∞ ∥T n x∥
When P is a normal cone, owing to Theorem 6.1, the norm ∥ · ∥ can be
chosen to be monotone and, in such case, (6.18) can be inferred directly
from
◦
γ T n−1 x ≤ T n x ∈ P , n ≥ 2,
by taking norms on both sides of these inequalities, which gives rise to
∥T n+1 x∥
γ≤ ≤ ∥T ∥L(E) , n ≥ 1.
∥T n x∥
But in the general case when P is not normal, the previous argument cannot
be shortened according to these patterns.
According to (6.18), it is apparent that Mγ = ∅, and hence, Σγ = ∅ if
γ > ∥T ∥L(E) , which concludes the proof of Part (e).
Subsequently, we consider the sequence of vectors
( n )
T x T n+1 x
yn := T = ∈ E, n ≥ 1.
∥T x∥
n ∥T n x∥
By construction,
T nx T nx
>0 and ∥ ∥ = 1, n ≥ 1.
∥T n x∥ ∥T n x∥
Thus,
T nx
∈ ∂B ∩ P, n ≥ 1,
∥T n x∥
and hence,
yn ∈ T (∂B ∩ P ) ⊂ T (∂B ∩ P ) = K, n ≥ 1.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Necessarily,
0 < γ ≤ R−1 (x) = ∥y∥
and hence, y ∈ (P \ {0}) ∩ K. Also, for every k ≥ 1,
( n +1 ) n +1
T k x T k x
T y nk = T ≥ γ = γ ynk ,
∥T k x∥ ∥T k x∥
n n
By Proposition 6.1(e),
( ]
∥T ∥L(E) > 0 and G ⊂ 0, ∥T ∥L(E) .
Moreover, due to Proposition 6.1(b), there exists γ > 0 such that Mγ ̸= ∅.
By Proposition 6.1(f), we have that Σγ ̸= ∅ and, therefore, according to
Proposition 6.1(a), we find that
(0, γ] ⊂ G.
In particular, G ̸= ∅. Actually, combining Parts (a) and (d) of Proposition
6.1, it becomes apparent that there is ρ ∈ [γ, ∥T ∥L(E) ] such that
G := { γ > 0 : Σγ ̸= ∅ } = (0, ρ]. (6.21)
As Σρ ̸= ∅, there exists x0 > 0 such that
T x0 ≥ ρ x0 .
Suppose T x0 ̸= ρ x0 . Then,
T x 0 > ρ x0
and, owing to Proposition 6.1(c), there exists ϵ > 0 such that
T x0 ∈ Mρ+ϵ .
In particular, this implies Mρ+ϵ ̸= ∅ and hence, by Parts (e) and (f) of
Proposition 6.1, Σρ+ϵ ̸= ∅, which entails ρ + ϵ ∈ G and contradicts (6.21).
Consequently, (6.20) holds. Moreover, since x0 > 0, it follows from (6.17)
that
T x 0 = ρ x0 ≫ 0
and, therefore, according to Lemma 6.1, we also obtain that
x0 = ρ−1 ρx0 ≫ 0,
because ρ−1 > 0. This concludes the proof.
Throughout the rest of this section, we fix a real number ρ > 0 and a
vector x0 ≫ 0 satisfying (6.20).
Then, by (6.22),
0 ̸= (T − ρIE )x ∈ N [T − ρIE ] = span [x0 ]
and hence, there is ξ ∈ R \ {0} such that
T x − ρ x = ξx0 . (6.25)
Actually, by choosing −x, instead of x, if necessary, we can assume, without
loss of generality, that (6.25) holds with
ξ > 0.
Arguing as in the proof of (6.22) it is apparent that
−µ x0 ≤ x ≤ µ x0
for sufficiently large µ > 0. Thus, the following minimum is well defined
µ0 := min{ µ ∈ R : x ≤ µ x0 } ∈ R.
In order to show this, we will argue by contradiction. Suppose there exists
a sequence {µn }n≥1 such that
lim µn = ∞ and x ≤ −µn x0
n→∞
for all n ≥ 1. Then,
µ−1
n x ≤ −x0
for all n ≥ 1 and hence, letting n → ∞ shows that −x0 ≥ 0. On the other
hand, we already know that x0 ≥ 0. Thus, x0 = 0, which is a contradiction.
By construction, we have that
x ≤ µ0 x0
and, since
x ̸∈ N [T − ρIE ] = span [x0 ],
necessarily
x < µ0 x0
and hence, it follows from (6.17) and (6.25) that
T x = ρx + ξx0 ≪ µ0 T x0 = µ0 ρ x0 .
Consequently,
( )
ξ
x≤ µ0 − x0 ,
ρ
with
ξ
µ0 −
< µ0 ,
ρ
which contradicts the minimality of µ0 and ends the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Then,
(TC − ρIEC ) z ∈ N [TC − ρIEC ]
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
ei(θ+τ − 2 ) z ∈ E.
π
and hence,
cos (θ − t) ̸= 0,
because µ ̸= 0 and x0 ≫ 0. Therefore,
µe−it
z = e−it x = x0 .
cos (θ − t)
This is impossible, since this identity implies
λz = TC z = ρz
and, consequently, λ = ρ. This contradiction ends the proof.
The previous lemmas together with the next one complete the proofs of
Parts (a) and (c) of Theorem 6.3.
Lemma 6.8. One has that |λ| < ρ for all λ ∈ σ(T ) \ {ρ}. Therefore,
ρ = spr T.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Set
µ̃ := max µθj > 0.
1≤j≤p
Then, by construction, the estimate (6.31) holds for all t ∈ [0, 2π] and
µ ≥ µ̃. Therefore, by 2π-periodicity, we obtain that
( )
Re eiθ z ≤ µx0 ∀ θ ∈ R, µ ≥ µ̃. (6.32)
Now, we will show that (6.32) fails if we take µ = 0. The proof will proceed
by contradiction. Suppose
( )
Re eiθ z ≤ 0 ∀ θ ∈ R.
Then, setting
z = x + iy, x, y ∈ E,
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
we obtain that
x cos θ ≤ y sin θ, θ ∈ R. (6.33)
In particular, for (6.33) at θ = ± π4 , we find that
x=y
and hence, (6.33) implies that
(sin θ − cos θ)x ≥ 0, θ ∈ R. (6.34)
For (6.34) at θ = π
2 and θ = 0 gives x ≥ 0 and −x ≥ 0. Thus,
x ∈ P ∩ (−P ) = {0}
and, therefore, x = 0, which implies z = 0. This is a contradiction. Conse-
quently, (6.32) fails at µ = 0, and, therefore, there exists a minimal µ0 > 0
such that
( )
Re eiθ z ≤ µ0 x0 ∀ θ ∈ R.
According to Lemma 6.7, we must have
( )
Re eiθ z < µ0 x0 ∀ θ∈R
and, hence, due to (6.17) and (6.20), we find that
( ( ))
T Re eiθ z ≪ µ0 ρx0 ∀ θ ∈ R. (6.35)
As λ ̸= 0, |λ| > 0 and there exists τ ∈ R such that
λ = |λ|eiτ .
Thus, it follows from (6.35) that
( ( )) ( )
µ0 ρx0 ≫ T Re eiθ z = Re eiθ TC z
( ) ( )
= Re eiθ λz = |λ| Re ei(θ+τ ) z
for all θ ∈ R. Consequently,
( ) ρ
Re eit z ≪ µ0 x0 ∀ t ∈ R.
|λ|
By the minimality of µ0 , we must have
ρ ≥ |λ|.
Moreover, if ρ = |λ|, then
( )
Re eit z ≪ µ0 x0 ∀ t ∈ R,
and, so, µ0 could be shortened. Therefore, ρ > |λ|, as requested.
Finally, thanks to Theorem 6.2(a), it is obvious that
0 < ρ = spr T.
This concludes the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and
R(λ; T )x = λ−2 T x + y.
As T is strongly positive, Lemma 6.1 implies that
◦
λ−2 T x ∈ P .
Thus,
λ−2 T x + z ∈ P
for sufficiently small z ∈ E, and, therefore, for such z’s,
R(λ; T )x + z = λ−2 T x + z + y ∈ P,
because P + P ⊂ P . This shows that
◦
R(λ; T )x ∈ P
and concludes the proof of Part (d).
Now, we will prove Part (e). We already know that spr T is a simple
eigenvalue of T . Thus, by Theorem 6.2(c), there exists ϵ > 0 such that
∞
∑
R(ζ; T ) = (ζ − spr T )n Tn , 0 < |ζ − spr T | ≤ ϵ,
n=−1
where
∫
1
Tn := (ζ − spr T )−(n+1) R(ζ; T ) dζ
2πi |ζ−spr T |=δ
for all n ≥ −1 and δ ∈ (0, ϵ]. Moreover, T−1 is a linear projection of E onto
R[T−1 ] = N [spr T IE − T ] = span [x0 ] (6.37)
and, therefore,
tr T−1 := dim R[T−1 ] = 1.
On the other hand, we have that
T−1 = lim [(λ − spr T ) R(λ; T )]
λ∈R
λ↓spr T
and, due to Part (d), R(λ; T ) is strongly positive for all λ > spr T . Thus,
T−1 ≥ 0 in the sense that
T−1 x ≥ 0 for all x ∈ P, (6.38)
because P̄ = P . Moreover, there exists x ∈ P such that
T−1 x > 0.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
where
∫
1
T̃n := (ζ − spr T )−(n+1) R(ζ; T ∗ ) dζ, n ≥ −1.
2πi |ζ−spr T |=δ
and, therefore,
T∗−1 (P ∗ ) ⊂ P ∗ .
As P is normal, i.e., P ∗ is generating, and, due to (6.40), T∗−1 ̸= 0, there
exists y0′ ∈ P ∗ \ {0} such that
x′0 := T∗−1 (y0′ ) ∈ P ∗ \ {0}.
By (6.39), we infer that
T ∗ x′0 = spr T x′0 .
Thus,
N [spr T IE ′ − T ∗ ] = span [x′0 ]
and (6.11) implies that
R[spr T IE − T ] = span [x′0 ]⊥ = ker x′0 . (6.41)
Next, we will show that
/ R[spr T IE − T ] = ker x′0 .
x0 ∈ (6.42)
The proof of (6.42) proceeds by contradiction. Suppose
spr T x − T x = x0
for some x ∈ E. Then,
(spr T IE − T )2 x = (spr T IE − T )x0 = 0
and, therefore,
x ∈ N [(spr T IE − T )2 ] \ N [spr T IE − T ]
which contradicts the fact that spr T is a simple eigenvalue of T . This shows
(6.42) and hence x′0 (x0 ) ̸= 0. Necessarily, x′0 (x0 ) > 0, because x′0 ∈ P ∗ .
Finally, let x ∈ P \ {0} be arbitrary. Then,
spr T x′0 (x) = T ∗ x′0 (x) = x′0 (T x) > 0.
◦
Indeed, since T x ∈ P , there exists ϵ > 0 such that
◦
T x − ϵx0 ∈ P
and hence,
x′0 (T x − ϵx0 ) ≥ 0,
which implies
x′0 (T x) ≥ ϵx′0 (x0 ) > 0
and, therefore, x′0 (x) > 0. Consequently, thanks to (6.41), we conclude that
x∈
/ R[spr T IE − T ],
which ends the proof of Theorem 6.3.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Section 6.1 introduces some basic concepts of the theory of ordered Banach
spaces. It strictly contains the necessary background to prove the gener-
alized version of the Krein–Rutman theorem studied in this chapter. As
we learned most of these materials from H. Amann [8] and H. H. Schae-
fer [194], we have adapted the contents of these references to our purposes
here, though we tidied up considerably some of the materials of H. Amann
[8] (compare our proof of Lemma 6.2 with the sketch of the proof of Propo-
sition 1.7 of H. Amann [8] through the — unnecessary — concept of open
decomposition of E). The abstract theory of H. H. Schaefer [194], in the
framework of topological vector spaces, widely surpasses the limitations
imposed to this chapter.
According to Theorem V.5.5 of H. H. Schaefer [194], if E is an ordered
Banach space with generating positive cone P , then, every positive linear
form on E is continuous. This property, going back to V. L. Klee [114],
reveals the existence of extremely sharp connections between topology and
algebra within the theory of positive operators.
Although H. H. Scheafer [194] attributed to M. G. Krein [119] the proof
of the fact that P ∗ is generating if P is normal (see Lemma V.3.2.1 of
[194]), the whole characterization, P ∗ is generating if and only if P is
normal, might be attributed to J. Grosberg and M. G. Krein [89].
The Krein–Rutman theorem provides us with the most natural exten-
sion of the Frobenius–Perron theorem to the general context of ordered
Banach spaces. Although the original setting of the Krein–Rutman theo-
rem was widely extended to cover abstract topological vectors spaces (see
H. H. Schaefer [194] and its list of references), M. G. Krein himself and
his collaborators, instead, begun a systematic program to study general
spectral properties of Fredholm operators of index zero, whose highest cli-
max was reached with the publication of the celebrated monograph of I. C.
Göhberg and M. G. Krein [83] (see J. López-Gómez and C. Mora-Corral
[153] for the most recent advances in this field).
The proof of Theorem 6.3(a)-(c) is based upon P. Takác [218]. Takác’s
proof, besides it admits a number of geometrical and analytical interpreta-
tions, as it relies upon a quite natural iterative method, it has the tremen-
dous advantage over other available proofs that it does not make use of any
sophisticated mathematical tool. As a consequence, it can be comfortably
taught at undergraduate level. There are other elementary proofs in the lit-
erature, as, for instance, the dynamical one of N. D. Alikakos and G. Fusco
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
[6], but yet the students should be familiar with the most basic concepts
of the theory of dynamical systems, like ω-limits and their properties, for
reading it comfortably.
The proof of Theorem 6.3(d), though of a different nature, is also el-
ementary. But the proof of Theorem 6.3(e) is far from elementary, as it
uses some advanced mathematical tools and results from operator theory.
Theorem 6.3(e) provides us with a rather abstract anti-maximum principle
within the spirit of Theorem 4.1 of P. Takác [219]. The proofs of Theorem
6.3(e) and (f) in this book have been elaborated from the proof of the gen-
eralized version of the Krein–Rutman theorem collected on p. 265 of the
Appendix of H. H. Schaefer [194], which reads as follows.
Chapter 7
187
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
• σ0 := σ[L, B, Ω] > 0.
• (L, B, Ω) admits a positive strict supersolution h ∈ W 2,p (Ω), p > N .
• (L, B, Ω) satisfies the strong maximum principle.
• (L, B, Ω) satisfies the maximum principle.
• The resolvent of (L, B, Ω) is strongly positive.
Finally, Section 7.6 goes back to Chapter 1 for discussing the range of
validity and applicability of the classical minimum principles of E. Hopf
(Theorem 1.2) and M. H. Protter and H. F. Weinberger (Theorem 1.7).
Essentially, Section 7.6 polishes and updates these classical results in the
light of the main theorem of this chapter.
This section extends the results of Chapters 1 and 2 to cover the case when
u, h ∈ W 2,p (Ω) for some p > N , instead of u, h ∈ C 2 (Ω) ∩ C 1 (Ω̄). Note that,
according to Theorem 4.2,
N
W 2,p (Ω) ⊂ C 1,1− p (Ω̄)
for all p > N . Also, by Theorem 4.4, any function u ∈ W 2,p (Ω), with
p > N , is twice classically differentiable almost everywhere in Ω.
The results of this section are valid for a general uniformly elliptic op-
erator L whose coefficients satisfy
aij ∈ C(Ω̄), bj , c ∈ L∞ (Ω), ∀ i, j ∈ {1, ..., N }, (7.2)
though, eventually, (7.2) could be relaxed. So, throughout this section we
will impose (7.2).
A careful reading of Chapters 1 and 2 reveals that Theorems 2.1 and 2.4
are based upon Theorem 1.2, which is a direct consequence from Theorem
1.1. Consequently, thanks to the next theorem, which is the bulk of this
section, the regularity requirements in the results of Chapters 1 and 2 can
be substantially relaxed up to deal with supersolutions u, h ∈ W 2,p (Ω),
with p > N .
f : Ω → RN , f = (f1 , ..., fN ),
M ⊂Ω and |M | = 0 =⇒ |f (M )| = 0.
we find that
p p1
∫ ∑N
1− N ∂f i
max |fi (x) − fi (y)| ≤ γ p K
x,y∈Cγ (x0 ) Cγ (x0 ) i,j=1
∂x j
Ω i,j=1
∂xj
Lemma 7.2. Let u ∈ W 2,p (Ω), p > N , and x0 ∈ Ω such that u attains a
local strict minimum m ∈ R at x0 , i.e., there exists δ > 0 such that
u(x) > u(x0 ) = m ∀ x ∈ B̄δ (x0 ) \ {x0 }. (7.4)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Then, for every ϵ > 0, there exists a measurable subset M of Bϵ (x0 ) with
|M | > 0 such that the quadratic form
( 2 )
2 ∂ u(x)
D u(x) :=
∂xi ∂xj 1≤i,j≤N
is positive definite for almost every x ∈ M .
(P) There exists η > 0 such that for every h ∈ Bη := Bη (0) ⊂ RN , there is
some p ∈ RN for which the hyperplane
y = ⟨h, x⟩ + p
is tangent to S at some point of M .
∂u
fi = ∈ W 1,p (Ω), 1 ≤ i ≤ N,
∂xi
and, therefore, owing to Lemma 7.1, we find that
|M | > 0.
Furthermore, as u ∈ W (Ω) with p > N , u is twice classically differen-
2,p
By inter-exchanging the roles of Theorem 7.1 and Theorem 1.1, the proof
of Theorem 1.2 can be adapted, mutatis mutandis, to obtain the following
generalized version of the minimum principle of E. Hopf.
inf u = inf u = m
Ω̄ ∂Ω
when Ω is bounded.
Then, any supersolution u ∈ W 2,p (Ω) of (L, B, Ω) must satisfy some of the
following alternatives:
A1. u = 0 in Ω.
A2. u(x) > 0 for every x ∈ Ω ∪ Γ1 , and
∂u
(x) < 0 for all x ∈ u−1 (0) ∩ Γ0 .
∂ν
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Note that, thanks to Remark 2.1, Conditions i) and ii) of Theorem 2.4
hold when Ω is of class C 2 .
The main goal of this section is to show the existence and the uniqueness
of τ ∈ R for which (7.1) admits a positive eigenfunction φ. This funda-
mental property will be derived by combining Theorem 6.3 with the next
invertibility and positivity result.
Throughout the rest of this book, for every ν ∈ (0, 1), we denote by
1,ν
CB (Ω̄) the Banach subspace of the Hölder space C 1,ν (Ω̄) (see Section 4.1.3)
consisting of all functions u ∈ C 1,ν (Ω̄) such that Bu = 0 on ∂Ω. Similarly,
CB
1
(Ω̄) := { u ∈ C 1 (Ω̄) : Bu = 0 on ∂Ω }.
f 7→ (L + ω)−1 f := u
is linear and continuous. Consequently, the operator
(L+ω)−1
C(Ω̄) −→ CB
1
(Ω̄)
(7.10)
−1
f 7→ (L + ω) f := u
is linear, continuous and compact.
Proof. The existence and the uniqueness of the weak solutions for suf-
ficiently large ω follows from Theorem 4.11. The regularity of the weak
solution is a consequence from Theorem 5.11. The positivity properties
established by (7.9) follow straightaway from Lemma 2.1, Proposition 2.1
and Theorem 7.4. Indeed, by Lemma 2.1 and Proposition 2.1, there exists
ω0 ∈ R such that, for every ω > ω0 , (L + ω, B, Ω) possesses a strict su-
persolution h ∈ C 2 (Ω̄) with h(x) > 0 for all x ∈ Ω̄. Thus, for sufficiently
large ω ≥ ω0 , the unique weak solution of (7.8) must satisfy some of the
alternatives of Theorem 7.4 if f > 0. Clearly, Alternative A1 cannot occur
because u ̸= 0. Similarly, if u = mh with m < 0, then
f = (L + ω)u = m(L + ω)h ≤ 0,
which is impossible. Therefore, Alternative A2, and hence (7.9) holds.
The fact that (L + ω)−1 is linear follows from the linear structure of
the problem and the uniqueness of the weak solution. Its continuity follows
from Theorem 4.11 and the uniform elliptic estimates of Chapter 5. Indeed,
let {fn }n≥1 be a sequence in C(Ω̄) such that
lim ∥fn − f ∥C(Ω̄) = 0 (7.11)
n→∞
By Theorem 4.11,
( )
(L + ω)−1 ∈ L L2 (Ω), WΓ1,2
0
(Ω) ,
for all ν ∈ (0, 1), which concludes the proof of the continuity.
1,ν
The compactness of (7.10) is a consequence from the fact that CB (Ω̄)
is compactly embedded in CB 1
(Ω̄) for all ν ∈ (0, 1). Indeed, fix ν ∈ (0, 1)
1,ν
and let {un }n≥1 be a bounded sequence of CB (Ω̄). Then, there exists a
constant C > 0 such that
∂un ∂un
∥un ∥C 1 (Ω̄) ≤ C, (x) − (y) ≤ C|x − y|ν , (7.14)
∂xj ∂xj
for all n ≥ 1, x, y ∈ Ω̄, and 1 ≤ j ≤ N . As {un }n≥1 is bounded in C 1 (Ω̄),
it is bounded and equicontinuous in C(Ω̄). Thus, by the theorem of Arzela-
Ascoli, there exists u ∈ C(Ω̄) such that, along some subsequence relabeled
by n, we have that
lim ∥un − u∥C(Ω̄) = 0.
n→∞
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
According to (7.14), the sequence {∂un /∂x1 }n≥1 is also bounded and
equicontinuous in C(Ω̄). Thus, there exists v1 ∈ C(Ω̄) such that, along
some subsequence relabeled by n,
∂un
lim ∥ − v1 ∥C(Ω̄) = 0.
n→∞ ∂x1
Repeating this argument N times, it is apparent that there exist vj ∈ C(Ω̄),
2 ≤ j ≤ N , such that, along some subsequence relabeled by n,
∂un
lim ∥ − vj ∥C(Ω̄) = 0, 1 ≤ j ≤ N.
n→∞ ∂xj
On the other hand, for every x ∈ Ω̄ and n ≥ 1, we have that
∫ 1
un (x + h) − un (x) = ⟨∇un (x + th), h⟩ dt
0
∫ 1
u(x + h) − u(x) = ⟨(v1 (x + th), ..., vN (x + th)) , h⟩ dt
0
satisfies
◦
Rω,1 (P1 \ {0}) ⊂ P 1 .
Consequently, in this case, Theorem 6.3 applies for inferring the existence
of the principal eigenvalue of (7.1), though, owing to Theorem 6.1, the cone
P1 is not normal, because the norm ∥ · ∥CB 1 (Ω̄) is not monotone, and hence
By Corollary 7.1(a),
Rω φ0 = spr Rω φ0 in Ce (Ω̄)
and hence, by the definition of Rω , the eigenfunction φ0 > 0 provides us
with a weak solution of
{
(L + ω)φ = spr1Rω φ in Ω,
(7.29)
Bφ = 0 on ∂Ω.
−
According to Theorem 7.6, φ0 ∈ C 1,1 (Ω̄) is twice classically differentiable
almost everywhere in Ω and, actually, it is a classical solution of (7.8).
Moreover, since φ0 > 0, we find that
1
(L + ω)φ0 = φ0 > 0
spr Rω
and, therefore,
∂φ0
φ0 (x) > 0 ∀ x ∈ Ω ∪ Γ1 and (x) < 0 ∀ x ∈ Γ0 . (7.30)
∂ν
As (7.29) can be equivalently expressed as
{ ( )
Lφ0 = spr1Rω − ω φ0 in Ω,
Bφ0 = 0 on ∂Ω,
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
it becomes apparent that there exists a value of τ for which (7.1) admits a
positive eigenfunction. Namely,
1
τ= − ω.
spr Rω
Most precisely, the following fundamental result holds. As a byproduct, the
previous value of τ must be independent of ω ≥ ω0 .
τ 7→ 1
τ +ω
is a bijection, and all associated eigenfunctions are classical.
Proof. Suppose τ ∈ C and φ is a weak solution of (7.1). Then, φ is a
weak solution of{
(L + ω)φ = (τ + ω)φ ∈ Ce (Ω̄) in Ω,
(7.31)
Bφ = 0 on ∂Ω,
−
and, thanks to Theorem 7.6, φ ∈ C 1,1 (Ω̄) and it is a classical solution of
(7.1). Moreover, it is the unique weak solution of
{
(L + ω)u = f := (τ + ω)φ ∈ Ce (Ω̄) in Ω,
Bu = 0 on ∂Ω,
and hence τ + ω ̸= 0, because φ ̸= 0 and 0 is a weak solution if τ + ω = 0.
Furthermore, by the definition of Rω , it becomes apparent that
1
Rω φ = φ,
τ +ω
which concludes the proof of Part (a).
Conversely, assume that
Rω φ = σ φ
for some σ ̸= 0. Then,
{ by the definition of Rω , φ is a weak solution of
(L + ω)φ = σ −1 φ ∈ Ce (Ω̄) in Ω,
Bφ = 0 on ∂Ω,
−
and hence, thanks to Theorem 7.6, φ ∈ C 1,1 (Ω̄) and it is a classical solution
of this problem. Therefore, φ is a classical solution of (7.1) for τ = σ −1 −ω.
The proof is complete.
Throughout the rest of this book, we will use the following concept.
Definition 7.1. Given τ ∈ Σ(L, B, Ω), it is said that φ is an eigenfunction
associated to (7.1) if [ ]
φ ∈ WΓ1,2
0
(Ω) ∩ C e ( Ω̄) + i W 1,2
Γ0 (Ω) ∩ C e (Ω̄)
and φ is a weak solution of (7.1).
According to Theorem 7.6 and Proposition 7.4, all these weak eigen-
−
functions are classical solutions of (7.1) lying in C 1,1 (Ω̄).
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
The following concept plays a central role in the theory of nonlinear elliptic
problems involving second order operators.
∑
N
∂v ∂v̄
= v̄ (τ − σ0 ) v + v (τ̄ − σ0 ) v̄ − 2 aij
i,j=1
∂xi ∂xj
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and, consequently,
∑
N
∂v ∂v̄
(L0 − σ0 ) |v|2 = 2 (Re τ − σ0 ) |v|2 − 2 aij . (7.39)
i,j=1
∂xi ∂xj
∑
N [ ( )]
∂ψ ∂ψ ∂ξ ∂ξ ∂ξ ∂ψ ∂ξ ∂ψ
= aij + +i −
i,j=1
∂xi ∂xj ∂xi ∂xj ∂xi ∂xj ∂xj ∂xi
∑
N ( )
∂ψ ∂ψ ∂ξ ∂ξ
= aij + ,
i,j=1
∂xi ∂xj ∂xi ∂xj
because aij = aji for all i, j ∈ {1, ..., N }. Thus, by the strong ellipticity of
L, we find that
∑
N
∂v ∂v̄ ( )
aij ≥ µ |∇ψ|2 + |∇ξ|2 , (7.40)
i,j=1
∂xi ∂xj
This section establishes the main result of this chapter. To state it, we need
to introduce some preliminary concepts.
Definition 7.3.
(a) A function h ∈ W 2,p (Ω), p > N , is said to be a supersolution of
(L, B, Ω) if
{
Lh ≥ 0 in Ω,
Bh ≥ 0 on ∂Ω.
The function h is said to be a strict supersolution of (L, B, Ω) if, in
addition, some of these inequalities is strict on a measurable set with
positive measure.
(b) It is said that (L, B, Ω) satisfies the strong maximum principle
(SMP) if any supersolution u ∈ W 2,p (Ω), p > N , u ̸= 0, of (L, B, Ω)
— in particular, any strict supersolution — satisfies
∂u
u(x) > 0 ∀ x ∈ Ω ∪ Γ1 and (x) < 0 ∀ x ∈ u−1 (0) ∩ Γ0 .
∂ν
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
(c) It is said that (L, B, Ω) satisfies the maximum principle (MP) if any
supersolution u ∈ W 2,p (Ω), p > N , of (L, B, Ω) satisfies u(x) ≥ 0 for
all x ∈ Ω̄.
i) σ0 := σ[L, B, Ω] > 0.
−
ii) (L, B, Ω) possesses a positive strict supersolution h ∈ W 2,∞ (Ω).
iii) (L, B, Ω) satisfies the strong maximum principle.
iv) (L, B, Ω) satisfies the maximum principle.
v) The resolvent of the linear boundary value problem
{
Lu = f ∈ Ce (Ω̄) in Ω,
(7.46)
Bu = 0 on ∂Ω,
Lh = σ0 h > 0 in Ω,
and, according to Theorems 4.10 and 5.11, h ∈ W 2,p (Ω) for all p > N .
−
Thus, h ∈ W 2,∞ (Ω) and it provides us with a positive strict supersolution
of (L, B, Ω). Therefore, i) implies ii).
−
Suppose (L, B, Ω) has a positive strict supersolution h ∈ W 2,∞ (Ω) and
let u ∈ W 2,p (Ω) \ {0}, p > N , be a supersolution of (L, B, Ω). Then, the
assumptions of Theorem 7.5 are fulfilled. Hence, some of the alternatives
A1, A2, or A3, of Theorem 7.4 holds. As u ̸= 0, Alternative 1 cannot occur.
As h is a strict supersolution, Alternative 3 cannot occur either. There-
fore, Alternative 2 occurs and, consequently, ii) implies iii). Obviously, iii)
implies iv).
Suppose iv) and σ0 ≤ 0. Then,
L(−φ0 ) = −σ0 φ0 ≥ 0 in Ω
Now, suppose σ0 > 0 and pick ω > max{ω0 , 0}. Then, Lu = f if, and
only if,
(L + ω)u = ωu + f
and hence, u solves (7.46) if and only if
( )
1 1
− Rω u = Rω f.
ω ω
On the other hand, as σ0 > 0,
1 1
spr Rω = < ,
σ0 + ω ω
and, consequently, by Corollary 7.1(d), the resolvent operator
( )−1
1 ( )
− Rω ∈ L Ce (Ω̄)
ω
is well defined and strongly positive. In particular, the resolvent of the
problem (7.46) must be given through
( )−1
1 1
R0 := − Rω Rω . (7.47)
ω ω
As, according to Proposition 7.3, Rω is also strongly positive, it follows
from (7.47) that R0 must be strongly positive. Consequently, i) implies v).
Conversely, if R0 is well defined and it is strongly positive, then, h :=
R0 f > 0 for all f > 0 and, hence, any of these functions provides us with an
admissible positive strict supersolution of (L, B, Ω). Therefore, v) implies
ii). This ends the proof.
−
vi) (L, D, Ω) admits a positive supersolution h ∈ W 2,∞ (Ω) such that
h(x) > 0 for all x ∈ Ω̄.
−
vii) (L, D, Ω) admits a positive strict supersolution h ∈ W 2,∞ (Ω) such
that h = 0 on ∂Ω.
Then, either u = 0, or
∂u
u(x) > 0 ∀x∈Ω and (x) < 0 ∀ x ∈ u−1 (0) ∩ ∂Ω.
∂ν
If, instead of (7.48), u satisfies
Lu ≥ 0 in Ω and inf u < 0, (7.49)
Ω̄
satisfies
m := inf v < 0,
Ω̄
∂v
v(x) > m ∀ x ∈ Ω and (x) < 0 ∀ x ∈ v −1 (m) ∩ ∂Ω, (7.52)
∂ν
unless v = m in Ω̄. In particular, for every f ∈ L∞ (Ω), f > 0, the unique
weak solution h of the problem
{
Lh = f in Ω,
(7.53)
h=1 on ∂Ω,
satisfies
u u
inf = inf = inf u < 0, (7.54)
Ω̄ h ∂Ω h
( ) ∂Ω
seems to go back to Theorem 2.1 of [148], not only for a single second order
elliptic operator, but, more generally, for a rather general class of linear
elliptic systems of cooperative type.
Almost simultaneously, but in this case for the scalar operator, without
any regularity constraint on ∂Ω, Theorem 1.1 of H. Berestycki, L. Nirenberg
and S. R. S. Varadhan [27] established that (L, D, Ω) satisfies the maximum
principle if and only if σ0 > 0. Some precursors of this result had already
been given by S. Agmon [3]. They also found that the maximum principle
holds if (L, D, Ω) admits a positive strict supersolution (see Corollary 2.4
of [27]), but the authors did not infer from this result the strong maximum
principle, possibly because of the lack of regularity of ∂Ω. Incidentally, H.
Berestycki, L. Nirenberg and S. R. S. Varadhan [27] might have not realized
the importance of their Corollary 2.4, as it was left outside of Section 1 of
[27], where the main results of their paper were collected.
The fact that the characterization of the strong maximum principle in
terms of the existence of a strict positive supersolution had been left out-
side the general scope of H. Berestycki, L. Nirenberg and S. R. S. Varadhan
[27], prompted J. López-Gómez to give a short proof of Theorem 7.10 for
Dirichlet boundary conditions, in Theorem 2.5 of [137], as the author real-
ized that even the simplest version of Theorem 2.1 of J. López-Gómez and
M. Molina-Meyer [148] for the scalar operator was unknown for the more
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
But H. Amann [11] did not provide the readers with a reference for this
result and we could not find it in the literature. Thus, apparently, the proof
of the simplicity of the principal eigenvalue of H. Amann [11] contains a gap.
After reading this book, H. Amann sent the author, through an electronic
mail, a short proof of this fact, which is a slight modification of the one
included in the final part of the proof of Theorem 6.3.
The proof of the dominance of σ0 in Theorem 7.8 seems to be new,
whereas the proof of Theorem 7.9 in case Γ0 = ∅ is based on the proof of
Theorem 1 of M. H. Protter and H. F. Weinberger [182], the proof of Theo-
rem 7.9 in case Γ1 = ∅ has been borrowed from H. Berestycki, L. Nirenberg
and S. R. S. Varadhan [27], and the proof of the strict dominance in the
general case has been taken from p. 41 of H. Amann [11]. Incidentally, the
proof on p. 7 of Y. Du [56] is wrong, since
Kϕ ≥ 2(Re λ − λ1 )ϕ
cannot imply Kϕ ≥ 0 if Re λ < λ1 .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Chapter 8
This chapter applies Theorem 7.10 to obtain some useful properties, from
the point of view of the applications, of the principal eigenvalue of (7.1)
σ0 := σ[L, B, Ω].
Among them, count the monotonicity properties of σ0 with respect to c(x),
β(x), and Ω, its continuity and concavity with respect to c(x), its continuous
dependence with respect to the variations of Ω along Γ0 , as well as with
respect to β, and the crucial property that (L, B, Ω) satisfies the strong
maximum principle for sufficiently large β and small |Ω|.
Throughout the rest of this book, we will denote
− ∩
W 2,∞ (Ω) := W 2,p (Ω),
p>1
as in Theorem 5.8,
{ }
WB2,p (Ω) := u ∈ W 2,p (Ω) : Bu = 0 , p > 1,
and
− ∩
WB2,∞ (Ω) := WB2,p (Ω).
p>1
225
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
operator D in Ω0 .
If Γ1 = ∅, i.e., B = D, then, we define
B[Ω0 ] := D (8.3)
for all subdomain Ω0 ⊂ Ω of class C . Note that (8.2) becomes (8.3) if
2
This identity will be used very often throughout the remaining of this book.
From the point of view of the theory of dynamical systems, the next
result shows that, among all boundary operators B, the Dirichlet operator
D is the one with the strongest stabilizing effects.
Proposition 8.1. Suppose Γ1 ̸= ∅. Then,
σ[L, B[β], Ω] < σ[L, D, Ω] for all β ∈ C(Γ1 ).
Proof. Let φ[L,B,Ω] and φ[L,D,Ω] denote the normalized principal eigen-
functions associated with σ[L, B, Ω] and σ[L, D, Ω], respectively. By (7.30),
we have that
φ[L,B,Ω] (x) > 0 for all x ∈ Ω ∪ Γ1
and hence
Dφ[L,B,Ω] = φ[L,B,Ω] > 0 on ∂Ω.
Thus, φ[L,B,Ω] provides us with a positive strict supersolution of
(L − σ[L, B, Ω], D, Ω)
and, therefore, according to Theorem 7.10, we find that
0 < σ[L − σ[L, B, Ω], D, Ω] = σ[L, D, Ω] − σ[L, B, Ω].
This completes the proof.
The following result shows the monotonicity of the principal eigenvalue
with respect to Ω.
Proposition 8.2. Let Ω0 be a proper subdomain of Ω of class C 2 satisfying
(8.1) if Γ1 ̸= ∅. Then,
σ[L, B, Ω] < σ[L, B[Ω0 ], Ω0 ],
where B[Ω0 ] is the boundary operator defined by (8.2).
Proof. Let φ[L,B,Ω] be the normalized principal eigenfunction associated
with σ[L, B, Ω]. Then, using (7.30), it is easy to see that
(L − σ[L, B, Ω])φ[L,B,Ω] = 0 in Ω0 ,
φ[L,B,Ω] (x) > 0 if x ∈ ∂Ω0 ∩ Ω,
φ (x) = 0 if x ∈ ∂Ω0 ∩ Γ0 ,
[L,B,Ω]
∂ν φ[L,B,Ω] (x) + β(x)φ[L,B,Ω] (x) = 0 if x ∈ ∂Ω0 ∩ Γ1 .
Moreover, ∂Ω0 ∩ Ω ̸= ∅, as Ω0 is a proper subdomain of Ω. Therefore,
φ[L,B,Ω] is a positive strict supersolution of
(L − σ[L, B, Ω], B[Ω0 ], Ω0 )
and, consequently, it follows from Theorem 7.10 that
0 < σ[L − σ[L, B, Ω], B[Ω0 ], Ω0 ] = σ[L, B[Ω0 ], Ω0 ] − σ[L, B, Ω].
This completes the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Proof. Set
φ1 := φ[L+P1 ,B,Ω] .
Then, by (7.30),
(L + P2 − σ[L + P1 , B, Ω])φ1 = (P2 − P1 )φ1 > 0
in Ω, and hence φ1 is a positive strict supersolution of
(L + P2 − σ[L + P1 , B, Ω], B, Ω).
Therefore, thanks to Theorem 7.10, we find that
0 < σ[L+P2 −σ[L+P1 , B, Ω], B, Ω] = σ[L+P2 , B, Ω]−σ[L+P1 , B, Ω].
This ends the proof.
As an immediate consequence, from this result we can get the continuous
dependence of the principal eigenvalue with respect to the potential.
Proof. For every ϵ > 0 there exists a natural number n(ϵ) ≥ 1 such that
P − ϵ ≤ Pn ≤ P + ϵ in Ω
for all n ≥ n(ϵ). Therefore, owing to Proposition 8.3,
σ[L + P, B, Ω] − ϵ ≤ σ[L + Pn , B, Ω] ≤ σ[L + P, B, Ω] + ϵ
for all n ≥ n(ϵ). This ends the proof.
The next proposition shows the monotonicity of the principal eigenvalue
with respect to β ∈ C(Γ1 ).
Proof. Set
φ1 := φ[L,B[β1 ],Ω] .
Then,
(L − σ[L, B[β1 ], Ω])φ1 = 0 in Ω,
φ1 = 0 on Γ0 , and, due to (7.30),
∂ν φ1 + β2 φ1 = (β2 − β1 )φ1 > 0 on Γ1 .
Thus, φ1 is a positive strict supersolution of
(L − σ[L, B[β1 ], Ω], B[β2 ], Ω)
and, therefore, Theorem 7.10 implies that
0 < σ[L − σ[L, B[β1 ], Ω], B[β2 ], Ω] = σ[L, B[β2 ], Ω] − σ[L, B[β1 ], Ω].
This concludes the proof.
∑
N ∑
N
= aij (x)ξi ξj + aij (x)ψi ψj
i,j=1 i,j=1
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
for all ξ, ψ ∈ RN and x ∈ Ω̄, where | · | stands for the norm associated to the
scalar product ⟨·, ·⟩. From this inequality, using (4.2) and Corollary 4.1, it
is easy to see that the map
− −
N : W 2,∞ (Ω) → C 0,1 (Ω̄)
defined by
∑
N
∂u ∂u −
N(u) := − aij = −⟨∇u, ∇u⟩, u ∈ W 2,∞ (Ω),
i,j=1
∂xi ∂xj
−
is concave. Indeed, for every u1 , u2 ∈ W 2,∞ (Ω) and t ∈ [0, 1], the following
chain of inequalities holds
N(tu1 + (1 − t)u2 ) = −⟨t∇u1 + (1 − t)∇u2 , t∇u1 + (1 − t)∇u2 ⟩
= t2 N(u1 ) + (1 − t)2 N(u2 ) − 2t(1 − t)⟨∇u1 , ∇u2 ⟩
≥ t2 N(u1 ) + (1 − t)2 N(u2 ) + t(1 − t) (N(u1 ) + N(u2 ))
= tN(u1 ) + (1 − t)N(u2 ).
Thus, the map G defined by
−
G(u) := (L − c)u + c + N(u), u ∈ W 2,∞ (Ω),
is concave, because N(u) is concave and the mapping u 7→ (L − c)u is linear
and hence concave. Our interest in G comes from the fact that, for every
ψ ∈ P> (see Theorem 8.2), the following relationship holds
Lψ
= G(log ψ).
ψ
Subsequently, we consider P1 , P2 ∈ L∞ (Ω), t ∈ [0, 1], and ψ1 , ψ2 ∈ P>
arbitrary. Taking into account that ψ ∈ P> implies ψ, 1/ψ ∈ L∞ (Ω) and
∇ψ ∈ L∞ (Ω, RN ), it is easily seen that ψ1t ψ21−t ∈ P> . Thus,
L(ψ1t ψ21−t )
[L + tP1 + (1 − t)P2 ](ψ1t ψ21−t )/ψ1t ψ21−t = tP1 +(1−t)P2 +
ψ1t ψ21−t
= tP1 + (1 − t)P2 + G(log(ψ1t ψ21−t ))
= tP1 + (1 − t)P2 + G(t log ψ1 + (1 − t) log ψ2 )
≥ t P1 + (1 − t) P2 + t G(log ψ1 ) + (1 − t) G(log ψ2 )
(L + P1 )ψ1 (L + P2 )ψ2
=t + (1 − t)
ψ1 ψ2
(L + P1 )ψ1 (L + P2 )ψ2
≥ t inf + (1 − t) inf
Ω ψ1 Ω ψ2
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
The main result of this section reads as follows. It introduces the concept
of stability and establishes the stability of any smooth domain.
Theorem 8.4. Let Ω0 be a bounded domain of RN with boundary ∂Ω0 =
Γ00 ∪ Γ1 of class C 1 such that Γ00 ∩ Γ1 = ∅. Then, Ω0 is stable along Γ00
in the sense that for any sequence of bounded domains Ωn , n ≥ 1, of class
C 2 converging to Ω0 from its exterior (see Definition 8.1(E)), the following
relation holds
∞
∩
WΓ1,2 1,2
n (Ωn ) = W 0 (Ω0 ),
Γ
(8.10)
0 0
n=1
where
∞
∩ { }
WΓ1,2
n (Ωn ) := u ∈ WΓ1,2
1 (Ω 1 ) : u| Ωn ∈ W 1,2
Γ n (Ω n ), ∀ n ≥ 2 .
0 0 0
n=1
and, in particular,
lim ∥ξn − ηu∥W 1,2 (Ω0 ) = 0. (8.13)
n→∞
Subsequently, we set
γj := βj (1 − η)u, 1 ≤ j ≤ m + 1,
and consider the translations
γjt := γj (· − tvxj ), 1 ≤ j ≤ m, 0 < t < 1.
By construction, we have that βm+1 ̸= 0 if γm+1 ̸= 0, and hence,
supp γm+1 ⊂ supp βm+1 ⊂ Ūm+1 ⊂ Ω0 .
Consequently,
1,2
γm+1 ∈ W∂Ω 0
(Ω0 )
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and, therefore, there exists a sequence ξnm+1 ∈ C0∞ (Ω0 ), n ≥ 1, such that
lim ∥ξnm+1 − γm+1 ∥W 1,2 (Ω0 ) = 0. (8.16)
n→∞
By construction,
φn ∈ CΓ∞0 (Ω̄0 ) ∀ n ≥ 1.
0
ϵ
and, since η = 1 in Ū 2 , it becomes apparent that, actually,
lim φn = u in W 1,2 (Ω0 ).
n→∞
Therefore, u ∈ WΓ1,2
0 (Ω0 ), which shows the validity of the inclusion
0
{ }
u ∈ W 1,2 (Ω) : supp u ⊂ Ω̄0 ⊂ WΓ1,2 0 (Ω0 ).
0
such that
lim ∥φn − u∥W 1,2 (Ω0 ) = 0. (8.22)
n→∞
In particular,
lim φn = u almost everywhere in Ω̄0 . (8.23)
n→∞
Next, we consider the auxiliary sequence
{
φn in Ω̄0 ,
ψn := n ≥ 1.
0 in Ω̄ \ Ω̄0 ,
Thanks to (8.21), we have that
∞
ψn ∈ C∂Ω\Γ 1
(Ω̄), n ≥ 1.
Moreover, owing to (8.22), it is apparent that ψn , n ≥ 1, is a Cauchy
sequence in W 1,2 (Ω). Thus, there exists ψ ∈ W 1,2 (Ω) such that
lim ∥ψn − ψ∥W 1,2 (Ω) = 0.
n→∞
In particular,
lim ψn = ψ almost everywhere in Ω̄ (8.24)
n→∞
defined by
Then,
and, setting
Tn := TΓ1 ◦ in , n ≥ 1,
for all n ≥ 1. Consequently, the sequence of traces {φn |Γ1 }n≥1 is bounded
1
in W 2 ,2 (Γ1 ). Thus, as according to Remark 5.1, the embedding
1
W 2 ,2 (Γ1 ) ,→ L2 (Γ1 )
Next, we will show that {φ̃nm }m≥1 is a Cauchy sequence in W 1,2 (Ω). By
(8.32), this entails
integrating by parts and taking into account that φn = 0 on Γn0 for all
n ≥ 1 shows that
N ∫
∑
2 ∂(φ̃nk − φ̃nm ) ∂(φ̃nk − φ̃nm )
µ∥∇(φ̃nk − φ̃nm )∥L2 (Ω) ≤ aij
i,j=1 Ω ∂xi ∂xj
(∫ ∫
∑
N
∂φnk ∂φnk ∂φnm ∂φnm
= aij + aij
i,j=1 Ωnk ∂xi ∂xj Ωnm ∂xi ∂xj
) ∫
∂φnk ∂φnm
−2 aij
Ωnm ∂xi ∂xj
[∫ ( ) ∫ ( )
∑N
∂ ∂φnk ∂ ∂φnm
=− aij φnk + aij φnm
i,j=1 Ωnk ∂xj ∂xi Ωnm ∂xj ∂xi
∫ ( ) ]
∂ ∂φnk
−2 aij φnm
Ωnm ∂xj ∂xi
∑N ∫ ( )
∂φnk ∂φnm ∂φnk
+ aij φnk + φn m − 2 φnm nj ,
i,j=1 Γ1
∂xi ∂xi ∂xi
n = (n1 , . . . , nN )
is the outward unit normal on Γ1 . From this relation, taking into account
that φn is the principal eigenfunction associated with σ[L, Bn , Ωn ] for all
n ≥ 0, we find that
2
µ∥∇(φ̃nk − φ̃nm )∥L2 (Ω)
∫
≤ (σ[L, Bnk , Ωnk ]φnk − ⟨b, ∇φnk ⟩ − cφnk ) φnk
Ωnk
∫
+ (σ[L, Bnm , Ωnm ]φnm − ⟨b, ∇φnm ⟩ − cφnm ) φnm
Ωnm
∫
−2 (σ[L, Bnk , Ωnk ]φnk − ⟨b, ∇φnk ⟩ − cφnk ) φnm
Ωnm
N ∫
∑ ( )
∂φnk ∂φnm ∂φnk
+ aij φnk + φnm − 2 φn m nj .
i,j=1 Γ1 ∂xi ∂xi ∂xi
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Now, we will estimate each of the terms on the right-hand side of (8.40).
By (8.31), the following estimates hold
where we denote
σh := σ[L, Bh , Ωh ], h ≥ 0.
Similarly,
∫
(σnm − σnk ) φ2nm ≤ |σnm − σnk |,
Ωnm
∫
σnk φnm (φnm − φnk ) ≤ |σ0 | ∥φ̃nm − φ̃nk ∥L2 (Ω) ,
Ωnm
∫
⟨b, ∇φnk ⟩(φ̃nm − φnk ) ≤ ∥b∥∞ ∥φ̃nm − φ̃nk ∥L2 (Ω) ,
Ωnk
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
where
v
uN
u∑
∥b∥∞ := max t b2 (x), j
x∈Ω̄
j=1
and
∫
cφnk (φ̃nm − φnk ) ≤ ∥c∥L∞ (Ω) ∥φ̃nm − φ̃nk ∥L2 (Ω) ,
Ωnk
∫
cφnm (φnk − φnm ) ≤ ∥c∥L∞ (Ω) ∥φ̃nm − φ̃nk ∥L2 (Ω) .
Ωnm
Therefore,
∑
N ∫ ∫
∂φnk
aij (φnk − φnm ) nj = βφnk (φnm − φnk )
i,j=1 Γ1 ∂xi Γ1
≤ ∥β∥L∞ (Γ1 ) ∥φnk |Γ1 ∥L2 (Γ1 ) ∥(φnk − φnm )|Γ1 ∥L2 (Γ1 )
and
∑
N ∫ ∫
∂(φnm − φnk )
aij φnm nj = βφnm (φnm − φnk )
i,j=1 Γ1 ∂xi Γ1 (8.43)
≤ ∥β∥L∞ (Γ1 ) ∥φnm |Γ1 ∥L2 (Γ1 ) ∥(φnk − φnm )|Γ1 ∥L2 (Γ1 ) .
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
where
We now estimate each of the terms on the right-hand side of (8.50). Sub-
sequently, we will set
∫
Imk,1 := ⟨b − bn , ∇(φnk − φnm )⟩φnm ,
Ωnm
∫
Imk,2 := ⟨bn , ∇(φnk − φnm )⟩φnm .
Ωnm
By Hölder inequality,
∫
|Imk,1 | ≤ (|b − bn | |∇(φnk − φnm )| φnm )
Ωnm
and, therefore,
φ := φ̃|Ω0 ∈ WΓ1,2
0 (Ω0 ).
0
ξ ∈ CΓ∞0 (Ω̄0 )
0
and set {
ξ in Ω̄0 ,
ϕ = ϕm := m ≥ 1,
0 in Ωnm \ Ω0 ,
in (8.60). Then,
∫ ∫
⟨A∇φnm , ∇ξ⟩ + (⟨b, ∇φnm ⟩ + cφnm ) ξ
Ω0 Ω0
∫ ∫ (8.61)
+ βφnm ξ dS = σnm φnm ξ
Γ1 Ω0
for all m ≥ 1. According to (8.58), letting m → ∞ in (8.61) we find from
the Lebesgue
∫ dominated
∫ convergence theorem∫ that ∫
⟨A∇φ, ∇ξ⟩ + (⟨b, ∇φ⟩ + cφ) ξ + βφξ dS = σ E φξ
Ω0 Ω0 Γ1 Ω0
for all ξ ∈ CΓ∞0 (Ω̄0 ). Therefore, φ > 0 is a weak solution of (8.59). By
0
Theorem 7.7,
σ E := σ[L, B0 , Ω0 ]
and φ must be a principal eigenfunction associated to it. This concludes
the proof of the theorem, as the same compactness argument works out
along any subsequence of Ωn , n ≥ 1.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
where
{
φn in Ωn ,
φ̃n := n ≥ 1.
0 in Ω0 \ Ωn ,
Proof. As in the proof of Theorem 8.5, the existence and the uniqueness
of σ[L, Bn , Ωn ] and φn , n ≥ 0, are guaranteed by Theorem 7.7.
According to Definition 8.1(I), we have that
Ωn ⊂ Ωn+1 ⊂ Ω0 for all n ≥ 1
and hence, by Proposition 8.2, we find that
σ[L, Bn , Ωn ] ≥ σ[L, Bn+1 , Ωn+1 ] ≥ σ[L, B0 , Ω0 ], n ≥ 1,
because
Bn+1 [Ωn ] = Bn , B0 [Ωn ] = Bn , n ≥ 1.
Consequently, the limit
σ I := lim σ[L, Bn , Ωn ]
n→∞
ΩIn ⊂ Ω0 ∩ Ωn , Ω0 ∪ Ωn ⊂ ΩE
n, n ≥ 1.
In particular,
ΩIn ⊂ Ωn ⊂ ΩE
n
where φ stands for the unique principal eigenfunction associated with σ(β)
normalized so that ∥φ∥W 1,2 (Ω) = 1.
Indeed, arguing as in the proof of Theorem 8.5, we find that, for any natural
numbers 1 ≤ k ≤ m and every n ≥ 1,
∫ ∫
2
µ∥∇(φk −φm )∥L2 (Ω) ≤ σ(βk ) φk (φk −φm )+[σ(βm )−σ(βk )] φ2m
∫ Ω
∫ Ω
∫
σ(βk ) φm (φm − φk ) ≤ σ(C)∥φm − φk ∥L2 (Ω) ,
Ω
∫
⟨b, ∇φk ⟩(φm − φk ) ≤ ∥b∥∞ ∥φm − φk ∥L2 (Ω) ,
Ω
∫
cφk (φm − φk ) ≤ ∥c∥L∞ (Ω) ∥φm − φk ∥L2 (Ω) ,
Ω
∫
cφm (φk − φm ) ≤ ∥c∥L∞ (Ω) ∥φm − φk ∥L2 (Ω) ,
Ω
∫
⟨b − bn , ∇(φk − φm )⟩φm ≤ 2∥b − bn ∥∞ ,
Ω
and
∫
⟨bn , ∇(φk − φm )⟩φm | ≤ ∥bn ∥∞ ∥φm ∥L2 (Γ1 ) ∥φk − φm ∥L2 (Γ1 )
Ω
N (
∑ ) (8.77)
n ∂ρ
+ 1+ ∫ ∥ ∥L1 (RN ) ∥bi ∥L∞ (Ω) ∥φk − φm ∥L2 (Ω)
i=1 RN
ρ ∂xi
for all n ≥ 1.
In order to estimate the integrals over Γ1 , we will use the identities
∂ν φ n + β n φ n = 0 on Γ1 , n ≥ 1,
where
∑
N
νi := aij nj , 1 ≤ i ≤ N.
j=1
∑
N
∂(φm − φk )
aij nj = −βm φm + βk φk .
i,j=1
∂xi
Thus,
N ∫
∑ ∫
∂φk
aij (φk − φm ) nj = βk φk (φm − φk ), (8.78)
i,j=1 Γ1 ∂xi Γ1
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
N ∫
∑ ∫
∂(φm − φk )
aij φm nj = (βk φk − βm φm )φm . (8.79)
i,j=1 Γ1 ∂xi Γ1
Thus, according to (8.67), (8.72) and (8.73), we find from (8.81) that, for
any ϵ > 0, there exists a natural number n0 ≥ 1 such that
∫
ϵ
(βk φk − βm φm )φm ≤ (8.82)
Γ1 2
for all k, m ≥ n0 . Finally, owing to (8.78) and (8.79) and substituting the
estimates between (8.76) and (8.77), as well as (8.80) and (8.82), in (8.74),
it is easily seen that there exists k0 ≥ n0 such that
2
µ∥∇(φk − φm )∥L2 (Ω) ≤ ϵ for all k , m ≥ k0 .
Thanks to (8.71), this shows that
lim ∥φn − φ∞ ∥W 1,2 (Ω) = 0. (8.83)
n→∞
φ∞ ∈ WΓ1,2
0
(Ω).
φ∞ ≥ 0, φ∞ ̸= 0.
σ ∞ = lim σ(βn ).
n→∞
Then,
lim σ[L, B[βn ], Ω] = σ[L, D, Ω]. (8.88)
n→∞
Clearly, according to Propositions 8.1 and 8.4, it follows from (8.91) that
σ(0) := σ[L, B[0], Ω] < σ[L, B[βn ], Ω] < σ[L, D, Ω] (8.92)
for all n ≥ 1. Thus, there exist
σ ∞ ∈ [σ(0), σ[L, D, Ω]]
and a subsequence of βn , n ≥ 1, relabeled by n, such that
σ ∞ := lim σ[L, B[βn ], Ω].
n→∞
Necessarily,
lim φn = φ a.e. in Ω and φ ≥ 0.
n→∞
In particular,
lim φn |Γ1 = 0 a.e. in Γ1 .
n→∞
Indeed, arguing as in the proof of Theorems 8.5 and 8.8, for every 1 ≤ k ≤ m
the estimate (8.74) holds, as well as the estimates (8.75)–(8.77). Moreover,
by (8.26) and (8.98), there exists a constant C4 > 0 such that
N ∫
∑ ∂φk
aij (φk − φm ) nj ≤ C4 ∥(φk − φm )|Γ1 ∥L2 (Γ1 )
i,j=1 Γ1 ∂xi
and
N ∫
∑ ∂(φm − φk )
aij φm nj ≤ C4 ∥φm |Γ1 ∥L2 (Γ1 ) .
i,j=1 Γ1 ∂xi
Therefore, owing (8.100), for every ϵ > 0 there exists a natural number
n0 = n0 (ϵ) ≥ 0 such that
∑N ∫ [ ]
∂φk ∂(φm − φk ) ϵ
aij (φk − φm ) + φm nj ≤ (8.102)
i,j=1 Γ1
∂xi ∂xi 2
Finally, the same argument used in the proofs of Theorems 8.5 and 8.8
shows that φ is a weak positive solution of
{
Lφ = σ ∞ φ in Ω,
φ=0 on ∂Ω.
Therefore, according to Theorem 7.7, we find that
(σ ∞ , φ) = (σ[L, D, Ω], φ0 ).
This completes the proof.
As an immediate consequence of Theorem 8.9, the next result holds.
Therefore, setting
Σ := σ[−∆, D, B1 ],
Consequently,
( 2
) 2
lim inf σ[−∆, D, Ω]|Ω| N ≥ Σ|B1 | N . (8.106)
|Ω|↓0
Then,
√
σ[L, D, Ω] ≥ µΣ|B1 | N |Ω|− N − ∥b∥∞ Σ|B1 | N |Ω|− N + inf c.
2 2 1 1
(8.108)
Ω
In particular,
( 2
) 2
lim inf σ[L, D, Ω]|Ω| N ≥ µΣ|B1 | N , (8.109)
|Ω|↓0
2
(8.112)
Ω
φ
Therefore, it follows from (8.112) and (8.107) that
∥∇φ∥L2 (Ω) √
≥ µ Σ|B1 | N |Ω|− N ≥ ∥b∥∞ .
1 1
µ
∥φ∥L2 (Ω)
Finally, (8.108) follows by substituting (8.112) into (8.110).
Finally, from Theorem 8.9 and Proposition 8.6, the next result holds.
Corollary 8.4. Suppose (8.26). Then,
( 2
) 2
lim inf lim σ[L, B[β], Ω]|Ω| N ≥ µΣ|B1 | N .
|Ω|↓0 β∈C(Γ1 )
min β ↑ ∞
Γ1
it provides with all domains for which the Dirichlet problem is well posed
(cf. D. R. Adams and L. I. Hedberg [2] and the references therein). Rather
surprisingly, H. Berestycki, L. Nirenberg and S. R. S. Varadhan [27] did not
impose any stability condition on Ω.
Proposition 8.5 is a sharp version of Theorem 3.7 in J. Wloka [226]. It
is a pivotal result to get the continuous variation of the principal eigenvalue
with respect to the exterior approximations of Ω along Γ0 , which has been
established by Theorem 8.5. More general results, within the spirit of
Proposition 8.5, for Dirichlet boundary conditions, have been established
by J. L. Lions and E. Magenes [130].
As R. Courant and D. Hilbert [44] and I. Babus̆ka and R. Vyborny [20]
focused their attention on the special case when b = 0 and B = D, and E.
N. Dancer [46] dealt with the special case when
L = −∆ + ⟨b, ·⟩ + c
under Dirichlet boundary conditions, it seems that, in case B = D, The-
orem 8.7 goes back to Theorem 4.2 of J. López-Gómez [137], though the
regularity requirements on the coefficients of L in this book are substan-
tially weaker than those of [137]. In its greatest generality, Theorem 8.7
goes back to Theorem 7.4 of S. Cano-Casanova and J. López-Gómez [39].
We conjecture that, under the general assumptions of Theorem 8.7,
the spectrum of (L, Bn , Ωn ) does actually approximate the spectrum of
(L, B0 , Ω0 ) as n → ∞. R. Courant and D. Hilbert [44] observed that the
continuous dependence of the spectrum with respect to the domain may
fail when dealing with Neumann boundary conditions (Γ0 = ∅, β = 0 and
ν = n). This explains why in the results of Section 8.5 the portion Γ1 of
∂Ω remained unchanged. The celebrated example of R. Courant and D.
Hilbert [44] is the following. For any σ > 0, let
Ωσ := { (x, y) ∈ R2 : |x| < σ/2, |y| < σ/2 }
the square of area σ 2 /4 centered at the origin. Now, for any ϵ > 0 and
τ > 0, let
Rϵ,τ := { (x, y) ∈ R2 : 0 < x < ϵ, |y| < τ /2 }
and consider
Ωϵ,τ := Ω1 ∪ [Rϵ,τ + (1/2, 0)] ∪ [Ωϵ + (1/2 + ϵ, 0)].
For τ = ϵ , the domain Ωϵ,ϵ4 can be viewed as a C 0 -perturbation of Ω0 , but
4
then, the behavior of the principal eigenvalue may change drastically as the
next simple one-dimensional example shows. Suppose
d2
N = 1, Ω = (0, 1), Γ0 = {0}, Γ1 = {1}, , L=−
dx2
and β ∈ R. Then, λ is an eigenvalue of (L, B[β], Ω) if, and only if, it is an
eigenvalue of problem
{
−u′′ (x) = λu(x), 0 < x < 1,
′ (8.114)
u(0) = 0, u (1) + βu(1) = 0.
Let us denote by σk [β], k ≥ 0, the increasing sequence of eigenvalues of
problem (8.114). According to Theorem 8.9, we have that
lim σ0 [β] = π 2
β↑∞
and
lim σn [β] = (nπ)2 for all n ≥ 1
β↓−∞
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
provide us with the eigenvalues of the limiting problem (8.115) (see Ex-
ercise 9.3 of J. López-Gómez [142]). Consequently, the second eigenvalue
of (8.114), σ1 [β], instead of σ0 [β], approximates the principal eigenvalue of
(8.115), π 2 , as β ↓ −∞.
According to H. Berestycki, L. Nirenberg and S. R. S. Varadhan [27],
the fact that
σ[L, D, Ω] > 0,
or, equivalently, that (L, D, Ω) satisfies the strong maximum principle for
sufficiently small |Ω|, was first noted by I. J. Bakelman [21] and then used
extensively by H. Berestycki and L. Nirenberg [26], though D. Gilbarg and
N. Trudinger, after the proof of Lemma 8.4 of [79], had already established
that L is coercive for sufficiently small |Ω|. Indeed, on pp. 52–53 of [27],
H. Berestycki, L. Nirenberg and S. R. S. Varadhan claim that
This paper was motivated by the following observation which was first noted
by Bakelman [2] and used extensively in [5].
PROPOSITION 1.1. Let L satisfy conditions (1.2) and (1.3) in Ω. Assume
diam Ω ≤ d. There exists δ > 0 depending only on n, c0 , b and d [the spatial
dimension and the coefficients of L] such that the maximum principle holds for
L in Ω if the measure of Ω, |Ω|, satisfies |Ω| < δ.
Naturally, the low estimates (8.105) are attributable to C. Faber [61]
and E. Krahn [117]. They were later refined to include some general classes
of second order elliptic operators L, under Dirichlet boundary conditions,
in Theorem 2.5 and Remark 2.2 of H. Berestycki, L. Nirenberg and S. R.
S. Varadhan [27], and in Theorem 5.1 of J. López-Gómez [137]. In their
greatest generality, Proposition 8.6 and Corollary 8.4 go back to Section 10
of S. Cano-Casanova and J. López-Gómez [39]. Essentially, they established
that (L, B[β], Ω) satisfies the strong maximum principle if β is sufficiently
large and |Ω| sufficiently small.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Chapter 9
273
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
The next result collects some important properties of the map Σ(λ).
Theorem 9.1. Suppose V ∈ L∞ (Ω). Then, the map Σ(λ) defined by (9.3)
satisfies the following properties:
(a) Σ(λ) is real analytic and concave, in the sense that Σ′′ (λ) ≤ 0 for all
λ ∈ R. Therefore, either Σ′′ = 0 in R, or there exists a discrete set
Z ⊂ R such that Σ′′ (λ) < 0 for all λ ∈ R \ Z. By discrete it means that
Z ∩ K is finite for all compact subset K ⊂ R.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Then,
lim Σ(λ) = −∞. (9.5)
λ↓−∞
Then,
lim Σ(λ) = −∞. (9.7)
λ↑∞
Theorems 1.7 and 1.8 in Section VII.1.3 of [112], Σ(λ) is real analytic in
λ. Moreover, if φ(λ) ≫ 0 stands for the unique principal eigenfunction of
Σ(λ) such that
∫
φ2 (λ) = 1,
Ω
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
the map
R −→ L2 (Ω)
λ 7→ φ(λ)
is also real analytic. Next, we will show that
Σ′′ (λ) ≤ 0 for all λ ∈ R. (9.9)
According to Theorem 8.3, we have that
Σ(tλ1 + (1 − t)λ2 ) = σ[L + tλ1 V + (1 − t)λ2 V, B, Ω]
≥ tσ[L + λ1 V, B, Ω] + (1 − t)σ[L + λ2 V, B, Ω]
= tΣ(λ1 ) + (1 − t)Σ(λ2 )
for all t ∈ [0, 1] and λ1 , λ2 ∈ R. Thus,
Σ(λ2 + t(λ1 − λ2 )) ≥ Σ(λ2 ) + t (Σ(λ1 ) − Σ(λ2 ))
and hence,
Σ(λ2 + t(λ1 − λ2 )) − Σ(λ2 )
≥ Σ(λ1 ) − Σ(λ2 )
t
for all t ∈ (0, 1] and λ1 , λ2 ∈ R. Consequently,
Σ(λ2 + t(λ1 − λ2 )) − Σ(λ2 ) Σ(λ1 ) − Σ(λ2 )
≥ (9.10)
t(λ1 − λ2 ) λ1 − λ2
for all t ∈ (0, 1] and λ1 , λ2 ∈ R with λ1 > λ2 . Letting t ↓ 0 in (9.10), it
becomes apparent that
Σ(λ1 ) − Σ(λ2 )
Σ′ (λ2 ) ≥
λ1 − λ2
for all λ1 > λ2 . Thus, by the mean value theorem, we find that for every
λ1 , λ2 ∈ R such that λ1 > λ2 there exists λ ∈ (λ2 , λ1 ) for which
Σ′ (λ2 ) ≥ Σ′ (λ). (9.11)
Clearly, this is impossible if there exists λ ∈ R for which Σ′′ (λ) > 0, because
Σ′ should be increasing in a neighborhood of such λ. Therefore, (9.9) holds.
Finally, since Σ′′ is real analytic, owing to the identity principle, it
becomes apparent that either Σ′′ = 0, or Σ′′ vanishes, at most, in a discrete
set, possibly empty. This concludes the proof of Part (a).
Proof of Part (b): According to Proposition 8.2,
Σ(λ) = σ[L + λV, B, Ω] < σ[L + λV, D, B+ ],
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Clearly, (9.5) follows from (9.4) and this estimate by letting λ ↓ −∞.
Now, suppose V ≥ 0. Then, by Proposition 8.3, λ 7→ Σ(λ) is increasing
and hence Σ′ (λ) ≥ 0 for all λ ∈ R. By analyticity, either Σ′ = 0 in R,
or Σ′ (λ) > 0 for all λ ∈ R except in a discrete set. According to (9.5),
Σ(λ) cannot be a constant. Therefore, the second option occurs. Suppose
Σ′ (λ0 ) = 0 for some λ0 ∈ R. Then,
∫ λ
′ ′ ′
Σ (λ) = Σ (λ) − Σ (λ0 ) = Σ′′ ≤ 0 for all λ ≥ λ0
λ0
and, consequently, Σ′ = 0 in [λ0 , ∞), which is impossible. Therefore,
Σ′ (λ) > 0 for all λ ∈ R. This ends the proof of Part (b).
Proof of Part (c): As in the proof of Part (b), we have that
Σ(λ) = σ[L + λV, B, Ω] < σ[L + λV, D, B− ],
for all λ ∈ R and hence,
Σ(λ) < σ[L, D, B− ] + λ sup V for all λ > 0.
B−
and, therefore, Σ′′ = 0 in [λ1 , λ0 ]. By Part (a), Σ′′ = 0 in R and, so, there
exist a, b ∈ R such that
Σ(λ) = aλ + b for all λ ∈ R.
By (9.5) and (9.7), this cannot occur. Thus, Σ′ (λ) > 0 for all λ < λ0 .
Finally, we will prove that Σ′ (λ) < 0 for all λ > λ0 . On the contrary,
suppose that there exists λ2 > λ0 such that
Σ′ (λ2 ) ≥ 0.
Then,
∫ λ2
′
0 ≤ Σ (λ2 ) = Σ′′ ≤ 0
λ0
and so,
∫ λ2
Σ′ (λ2 ) = Σ′′ = 0
λ0
Theorem 9.2. Suppose W ≥ 0 and there are x− ∈ Ω and R > 0 such that
B− := BR (x− ) ⊂ Ω and inf W > 0. (9.12)
B−
According to the proof of Theorem 9.1(a), the map λ 7→ φ(λ) is real ana-
lytic. Thus, differentiating the identity
(L − λW )φ(λ) = Σ(λ)φ(λ), λ ∈ R,
with respect to λ yields
(L − λW )φ′ (λ) − W φ(λ) = Σ′ (λ)φ(λ) + Σ(λ)φ′ (λ), λ ∈ R,
and, consequently, particularizing at λ = λ∗ shows that
(L − λ∗ W )φ′ (λ∗ ) = W φ(λ∗ ) + Σ′ (λ∗ )φ(λ∗ ). (9.17)
Suppose
W φ(λ∗ ) ∈ R[L − λ∗ W ].
Then, since Σ′ (λ∗ ) < 0, (9.17) implies that
φ(λ∗ ) ∈ R[L − λ∗ W ],
which is impossible, because
N [L − λ∗ W ] = span [φ(λ∗ )]
and, according to Theorem 7.8, Σ(λ∗ ) = 0 is a simple eigenvalue of (L −
λ∗ W, B, Ω). The proof is complete.
Figure 9.1 shows a genuine graph of the map λ 7→ Σ(λ) in the special
case when W ≥ 0 and Σα := Σ(−∞) > 0. Note that, under the assump-
Σ(λ)
Σα
λ
λ*
Remark 9.1. The proof of (9.14) is based on the fact that Σ′ (λ∗ ) ̸= 0,
rather than on the sign of W . Therefore, the last assertion of Theorem 9.2
holds true as soon as
Σ(λ∗ ) = 0 and Σ′ (λ∗ ) ̸= 0.
Theorem 9.3. Suppose W ≤ 0 and there are x+ ∈ Ω and R > 0 such that
B+ := BR (x+ ) ⊂ Ω and sup W < 0. (9.18)
B+
Σ(λ)
Σω
λ
λ*
Finally, the next result holds when the weight function W changes of
sign in Ω.
Theorem 9.4. Suppose W changes sign in Ω, in the sense that there are
x+ , x− ∈ Ω and R > 0 for which (9.12) and (9.18) hold. Then,
lim Σ(λ) = lim Σ(λ) = −∞, (9.21)
λ↓−∞ λ↑∞
and Σ′ (λ0 ) = 0, Σ′ (λ) > 0 if λ < λ0 , and Σ′ (λ) < 0 for all λ > λ0 .
Therefore, (9.1) possesses a principal eigenvalue if, and only if, Σ(λ0 ) ≥ 0.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Σ(λ)
λ
λ*- λ*
+
we have that
Σ(λ) = σ[L + λV, B, Ω] > σ[L, B, Ω] + λ inf V for all λ>0
Ω
and, therefore,
lim Σ(λ) = ∞. (9.25)
λ↑∞
This section consists of three parts. In the first one, we will ascertain
lim σ[L + λV, D, Ω]
λ↑∞
for a special class of potentials V for which characterizing this limit does
not require so many technicalities as the proof of the most general case
covered by the main theorem. Then, we will introduce the most general
class of potentials V for which we will characterize this limit. Finally,
we will establish and prove the main result, through a rather natural but
extremely technical and lengthy proof.
Naturally, all results of this section can be easily adapted to cover the
case when V ≤ 0, but the corresponding details are not given here.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Then,
lim σ[L + λV, D, Ω] = σ[L, D, Ω0 ]. (9.30)
λ↑∞
Ω
0
Ω
Γ0
Thus, to complete the proof of (9.30) we should prove that for every ϵ > 0
there exists λ1 = λ1 (ϵ) such that
σ[L + λV, D, Ω] > σ[L, D, Ω0 ] − ϵ ∀ λ ≥ λ1 . (9.31)
Subsequently, we fix ϵ > 0 and consider the δ-neighborhoods of Ω0 defined
by (9.28). According to Definition 8.1(E), Ωδ converges to Ω0 from its
exterior as δ ↓ 0. Thus, thanks to Theorems 8.4 and 8.5, we find that
lim σ[L, D, Ωδ ] = σ[L, D, Ω0 ].
δ↓0
Lλ h = Lλ ψ = (L − σ[L, D, Ωδ ])ψ + λV ψ
≥ (L − σ[L, D, Ωδ ])ψ + λ inf V inf ψ > 0
Ω̄\Ωδ/2 Ω̄\Ωδ/2
This shows the claim above. Theorem 7.10 ends the proof.
σ[L, D, Ω0 ] > 0.
K ∩ (Ω̄0 ∪ Γ1 ) = ∅, (9.36)
Ω̄i0 ∩ Ω̄j0 = ∅ if i ̸= j,
and
dist(Γi1 , ∂Ω0 ∩ Ω) = 0,
When Γ1 ⊂ ∂Ω0 , i.e., {i1 , ..., ip } = ∅, then we are only imposing that
V is bounded away from zero in any compact subset of Ω+ .
Now, we will explain the meaning of this condition in the special,
but important, case when V ∈ C(Ω̄). In such case, by continuity, V is
bounded away from zero in any compact subset of Ω+ and, therefore,
condition (b) holds if either Γ1 ⊂ ∂Ω0 , or {i1 , ..., ip } =
̸ ∅ and
∪
p
i
V (x) > 0 for all x ∈ Γ+
1 := Γ1j , (9.39)
j=1
(d) For every η > 0 there exist a natural number ℓ(η) ≥ 1 and ℓ(η) open
subsets of RN , Gηj , 1 ≤ j ≤ ℓ(η), with |Gηj | < η, 1 ≤ j ≤ ℓ(η), such
that
∪
ℓ(η)
Ḡηi ∩ Ḡηj = ∅ if i ̸= j, K⊂ Gηj ,
j=1
Therefore, to complete the proof of (9.35) it remains to show that for every
ϵ > 0 there exists λ1 = λ1 (ϵ) ∈ R such that
Σ(λ) > σ[L, B[Ω0 ], Ω0 ] − ϵ ∀ λ ≥ λ1 ,
or, equivalently,
σ[L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ, B, Ω] > 0 ∀ λ ≥ λ1 . (9.42)
According to Theorem 7.10, (9.42) holds if and only if
(L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ, B, Ω) (9.43)
possesses a positive strict supersolution for all λ > λ1 . Therefore, much
like in the proof of Theorem 9.5, the rest of the proof is devoted to the con-
struction of a positive strict supersolution of (9.43) for sufficiently large λ.
In the construction of the supersolution we will distinguish several different
cases according to the structure of Ω0 . First, we will consider the simplest
cases when Ω0 is connected and K = ∅. Then, we shall consider the most
general cases.
Step 1: Suppose
m = 1, K = ∅, and Γ0 ∩ ∂Ω0 = ∅. (9.44)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
1
Γ
0
2
Γ
0
2
Γ
1
Γ1
1 Ω
0
Ω+
0,2 1
N Γ
δ 0
Γ2
0
0,1
N
δ
Γ12
1 Ω0
Γ
1
Ω
δ
1,1
N Ω+
δ
Moreover, since Γjk ∩ Γiℓ = ∅ if i ̸= j, there exists δ1 ∈ (0, δ0 ) such that, for
each 0 < δ < δ1 ,
i
where ζδ is any smooth positive extension of φδ , ψδj , 1 ≤ j ≤ p, and ξδj ,
1 ≤ j ≤ n0 , from
∪p
1,i
∪
n0
0,j
Kδ := Ω̄δ/2 ∪ N̄δ/2j ∪ N̄δ/2
j=1 j=1
and ξδj |∂N 0,j \Γj , 1 ≤ j ≤ n0 , are positive and bounded away from zero. By
δ/2 0
construction,
Φ(x) > 0 for each x ∈ Ω.
Naturally, if Γ1 ⊂ ∂Ω0 , i.e., {i1 , ..., ip } = ∅, then, in the definition of Φ the
i
ψδj ’s should be deleted.
Next, we will show that there exists λ1 = λ1 (ϵ) such that Φ provides us
with a strict supersolution of (9.43) for all λ ≥ λ1 . By Theorem 7.10, this
completes the proof under condition (9.44).
By (9.47), the following estimate holds in Ωδ/2
(L + λV − σ[L,B[Ω0 ], Ω0 ] + ϵ)Φ = (L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ)φδ
= (σ[L, B[Ωδ ], Ωδ ] − σ[L, B[Ω0 ], Ω0 ] + ϵ)φδ > 0
0,j
for all λ ∈ R. Similarly, by (9.48), the next estimate holds in Nδ/2
(L + λV − σ[L,B[Ω0 ], Ω0 ] + ϵ)Φ = (L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ)ξδj
> (σ[L, D, Nδ0,j ] − σ[L, B[Ω0 ], Ω0 ] + ϵ)ξδj > 0
for all 1 ≤ j ≤ n0 . Now, note that
∪
n0
Ω̄ \ Ωδ/2 ∪ 0,j
Nδ/2
j=1
is a compact subset of
∪
p
i
Ω+ ∪ Γ1j
j=1
1,i
Thanks to (9.50), for every 1 ≤ j ≤ p, in N̄δ/2j we have that
i
(L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ)Φ = (L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ)ψδj
1,ij 1,ij i
≥ (σ[L, B[Nδ ], Nδ ] − σ[L, B[Ω0 ], Ω0 ] + ϵ + λω)ψδj > 0
provided
{ ( ) }
ω −1 σ[L, B[Ω0 ], Ω0 ] − ϵ − σ[L, B[Nδ j ], Nδ j ] , 0 ,
1,i 1,i
λ > max
whereas in
∪
p ∪
n0
Ω̄ \ Ω̄δ/2 ∪ 0,j
1,i
N̄δ/2j ∪ N̄δ/2
j=1 j=1
we have that
(L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ)Φ = (L + λV − σ[L, B[Ω0 ], Ω0 ] + ϵ)ζδ
≥ (L − σ[L, B[Ω0 ], Ω0 ] + ϵ)ζδ + λωζδ > 0
for sufficiently large λ > 0, because the function
(L − σ[L, B[Ω0 ], Ω0 ] + ϵ)ζδ
does not depend on λ, and ζδ is positive and bounded away from zero.
Finally, by construction,
BΦ = Dξδj = 0 on Γj0 , 1 ≤ j ≤ n0 ,
i i
BΦ = Bψδj = 0 on Γ1j , 1 ≤ j ≤ p,
and
BΦ = Bφδ = 0 on ∂Ω0 ∩ Γ1 .
This completes the proof of the theorem under condition (9.44).
Step 2: Suppose
m = 1, K = ∅, and Γ0 ∩ ∂Ω0 ̸= ∅, (9.51)
instead of (9.44). Let Γi0 , 1 ≤ i ≤ n0 , denote the components of Γ0 , and
{i1 , ..., iq } be the subset of {1, ..., n0 } for which
∂Ω0 ∩ Γj0 ̸= ∅ ⇐⇒ j ∈ {i1 , ..., iq }.
Figure 9.7 illustrates a possible nodal configuration of V satisfying these
requirements with q = 1 and i1 = 2.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Γ1
0
2
Γ
0
Ω
0
1
Γ 2
1 Γ
1
Ω
+
Fix ϵ > 0 and, for sufficiently small η > 0, consider the auxiliary domain
∪q
Gη := Ω ∪ Γ0j + Bη .
i
j=1
Gη = Ω ∪ (Γ20 + Bη );
Ω+
Gη
Ω0
because, by construction,
∪
q
i
Γ0j ⊂ Ω̃ and Φ̃(x) > 0 for all x ∈ Ω̃.
j=1
In addition,
∪
q
i
Φ = Φ̃ = 0 on Γ0 \ Γ0j
j=1
and
BΦ = (∂ν + β)Φ̃ ≥ 0 on Γ1 ,
by the construction of Φ̃. It should be noted that, in a neighborhood of Γ1 ,
Φ̃ = Φ and, hence, not only βΦ = β Φ̃, but also ∂ν Φ = ∂ν Φ̃.
Consequently, BΦ > 0 on ∂Ω, and, therefore, Φ provides us with a
positive strict supersolution of (9.43) for all λ > λ̃1 . This completes the
proof of Step 2.
Step 3: Now, suppose
m ≥ 1, K ̸= ∅, and Γ0 ∩ (∂Ω0 ∪ K) = ∅. (9.52)
Figure 9.9 shows an admissible situation where (9.52) holds. In this ex-
ample, Γ0 consists of two components, Γ10 and Γ20 , as well as Γ1 , whose
components have been named Γ11 and Γ21 , and Ω0 , whose components are
Ω10 and Ω20 . So, in this example, m = 2. In Figure 9.9, V = 0 in
Ω0 := Ω10 ∪ Ω20 ,
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
2
Ω
K 0
2
Γ0
1
Γ
0
2
Γ
1
1
Γ1
1
Ω
0
Ω+
Fig. 9.9 V (x) > 0 for all x ∈ Ω+ ∪ Γ11 and V = 0 in Ω10 ∪ Ω20 ∪ K
∪
ℓ(η)
∪
ℓ(η)
K⊂ Ḡηj ⊂ Ω, Ḡηj ∩ Ω̄0 = ∅. (9.56)
j=1 j=1
Indeed, since
dist(K, Ω̄0 ∪ Γ0 ∪ Γ1 ) > 0,
there exists an open set G such that
K ⊂ G, Ḡ ⊂ Ω, Ḡ ∩ Ω̄0 = ∅,
and hence, to get (9.56) it suffices to take G ∩ Gηj , instead of Gηj , 1 ≤ j ≤
ℓ(η). In the particular case covered by Figure 9.9, we can take ℓ(η) = 1 for
all η > 0, because K is connected, and, actually,
Gη1 = K + Bδ
for an appropriate sufficiently small δ > 0.
Owing to Proposition 8.6, there exists η0 > 0 such that, for every η ∈
(0, η0 ) and 1 ≤ j ≤ ℓ(η),
√
σ[L, D, Gηj ] ≥ µΣ1 |B1 | N η − N − ∥b∥∞ Σ|B1 | N η − N + inf c.
2 2 1 1
Vi ∈ A, 1 ≤ i ≤ m. (9.61)
K ∩ (Ω̄iδ ∪ Γ1 ) = ∅, 1 ≤ i ≤ m,
and hence,
∪
pi
dist(∂Ωi0 , Γj1k ) > 0, 1 ≤ i ≤ m.
k=1
for all 1 ≤ i ≤ m and 0 < δ < δ2 . Fix δ ∈ (0, δ2 ). Then, it follows from
(9.60) and (9.62) that
(p )
∪i
jk
Vi = 1 in Γ1 + Bδ ∩ Ω
k=1
such that
Φ̂j (x) > 0 for all x ∈ Ω, 1 ≤ j ≤ ℓ(η), (9.65)
and Φ̂j is a strict supersolution of
(L + λV̂j − σ[L, B[Gηj ], Gηj ] + ϵ, B, Ω)
for all 1 ≤ j ≤ ℓ(η) and λ > λ2 . Note that Ḡηj ⊂ Ω, 1 ≤ j ≤ ℓ(η), implies
B[Gηj ] = D, 1 ≤ j ≤ ℓ(η),
and, therefore, Φ̂j is a strict supersolution of
(L + λV̂j − σ[L, D, Gηj ] + ϵ, B, Ω)
for all 1 ≤ j ≤ ℓ(η) and λ > λ2 .
Let Γj1 , 1 ≤ j ≤ n1 , be the components of Γ1 and let {i1 , ..., ip } denote
the subset of {1, ..., n1 } for which
Γj1 ∩ ∂Ω0 = ∅ ⇐⇒ j ∈ {i1 , ..., ip }.
According to Definition 9.1(a), Γj1 is a component of ∂Ω0 for all j ∈
{1, ..., n1 } \ {i1 , ..., ip }. Moreover,
∪
p
i
Γ1j ∩ ∂Ω0 = ∅
j=1
and hence,
∪
p
i
dist ( Γ1j , ∂Ω0 ) > 0. (9.66)
j=1
Now, consider the δ-neighborhoods Nδ0,j and Nδ1,j defined in (9.46). Thanks
to (9.52), (9.56) and (9.66), there exists δ3 ∈ (0, δ2 ) such that
∪p ∪
n0 ∪
m ∪
ℓ(η)
1,i
N̄δ j ∪ N̄δ0,j ∩ Ω̄jδ ∪ Ḡηj = ∅ (9.67)
j=1 j=1 j=1 j=1
i
ψδj |∂N 1,ij \Γ , ξδi |∂N 0,i \Γ0 , 1 ≤ j ≤ p, 1 ≤ i ≤ n0 ,
δ/2 1 δ/2
i
are positive and bounded away from zero. As in Step 1, the functions ψδj ’s
should not appear in (9.70) if Γ1 ⊂ ∂Ω0 .
According to the definition of Φi , for each 1 ≤ i ≤ m, the following
estimates hold in Ωiδ
( )
(L+λV −σ[L, B[Ω0 ], Ω0 ]+ϵ) Φ = L+λVi −σ[L, B[Ω10 ], Ω10 ]+ϵ Φi
( )
≥ L+λVi −σ[L, B[Ωi0 ], Ωi0 ]+ϵ Φi
≥0
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Finally, by construction,
BΦ = DΦ = ξδj = 0 on Γj0 , 1 ≤ j ≤ n0 ,
i i
BΦ = (∂ν + b)Φ = (∂ν + b)ψδj = 0 on Γ1j , 1 ≤ j ≤ p,
Therefore,
BΦ ≥ 0 on ∂Ω
Let Γj0 , 1 ≤ j ≤ n0 , be the components of Γ0 , and let {i1 , ..., iq } denote the
subset of {1, ..., n0 } for which
j=1
The rest of the proof consists in constructing L̃, Ṽ and B̃, as in the proof
of Step 2, satisfying
Reasoning as in the proof of the second part of Step 2, but this time using
the result of Step 3, instead of the result of Step 1, ends the proof.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Thus, (9.13) holds and, therefore, Theorem 9.2 ends the proof of Part (a).
Now, suppose W satisfies (9.73), W ∈ A, and L satisfies (8.26). Then,
according to Theorem 9.6, we have that
lim σ[L − λW, B, Ω] = σ[L, B[Ω0 ], Ω0 ]
λ↓−∞
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
and, consequently, in such case, the result also follows from Theorem 9.3.
The proof is complete.
When W changes sign in Ω, i.e., there are x+ , x− ∈ Ω and R > 0 for
which (9.12) and (9.18) are satisfied, and
σ[L, B, Ω] > 0,
then, it follows from Theorem 9.4 that (9.1) possesses two principal eigen-
values λ∗− < 0 < λ∗+ . If (L, B, Ω) does not satisfy the maximum principle,
then, the next result holds.
(b) W − ∈ A and
Σ− (λ)
σ[L, B[Ω− −
0 ], Ω0 ] > 0, ∥W + ∥L∞ (Ω) < max , (9.81)
λ>λ− λ
where Ω−
0 is the set Ω0 associated to W
−
through Definition 9.1(a),
Σ− (λ) := σ[L + λW − , B, Ω], λ ∈ R, (9.82)
and λ− > 0 is the unique zero of Σ− .
Then, (9.1) possesses exactly two principal eigenvalues. Moreover, in case
(a) both are negative, while both are positive in case (b).
−
Owing to Corollary 8.4, condition (9.79) holds if |Ω+ 0 | and ∥W ∥∞ are
sufficiently small and β is sufficiently large on Γ1 ∩ ∂Ω0 . Similarly, (9.81)
+
holds if |Ω−
0 | and ∥W ∥∞ are sufficiently small and β is sufficiently large
+
−
on Γ1 ∩ ∂Ω0 . Naturally, the restrictions on the size of β are unnecessary if
−
Γ1 ∩ ∂Ω+ 0 = ∅, or Γ1 ∩ ∂Ω0 = ∅.
Proof. First, we will make sure that (9.79) and (9.81) make sense. As
W satisfies (9.12), it becomes apparent that
+ ̸= ∅
int Ω+
if W + ∈ A, where Ω++ is the set Ω+ associated to W
+
through Definition
9.1(a). Consequently, if W + ∈ A satisfies
σ[L, B[Ω+ +
0 ], Ω0 ] > 0,
we have that
lim q+ (λ) = 0
λ↓−∞
and, consequently,
Σ+ (λ)
max+ = max+ q+ (λ) ∈ (0, ∞)
λ<λ −λ λ<λ
and q− (λ) > 0 for all λ > λ− . Therefore, (9.81) is consistent too.
Suppose W + ∈ A satisfies (9.79). Then, there exists λ̃ < λ+ < 0 such
that
Σ+ (λ̃)
∥W − ∥L∞ (Ω) <
−λ̃
and hence, by (9.80),
Σ+ (λ̃) := σ[L − λ̃W + , B, Ω] > −λ̃∥W − ∥L∞ (Ω) .
Therefore, since λ̃ < 0,
Σ(λ̃) = σ[L − λ̃W, B, Ω] = σ[L − λ̃W + + λ̃W − , B, Ω]
≥ σ[L − λ̃W + , B, Ω] + λ̃∥W − ∥L∞ (Ω) > 0
and, consequently, the conclusions hold from Theorem 9.4.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Σ− (λ̃)
∥W + ∥L∞ (Ω) <
λ̃
and hence,
Therefore,
The analysis of the classical case when the potential W has definite sign
and it is bounded away from zero does not entail any special difficulty and
it goes back, at least, to R. Courant and D. Hilbert [44]. Seemingly, the
analysis of (9.1) in the most general and interesting situation when the
potential W changes sign goes back to the works of A. Manes and A. M.
Micheletti [157], P. Hess and T. Kato [97], and K. J. Brown and S. S. Lin
[33].
In the special case when Γ1 = ∅ (B = D) and L is self-adjoint with
coercive associated bilinear form, A. Manes and A. M. Micheletti [157]
established the existence of two principal eigenvalues, λ− < 0 < λ+ , from
a strong maximum principle of G. Stampacchia [214]. This result was later
extended by P. Hess and T. Kato [97] to cover a more general class of
operators L, not necessarily self-adjoint, with c ≥ 0, by establishing that
if W is continuous and W (x+ ) > 0 for some x+ ∈ Ω, then (9.1) admits a
unique positive principal eigenvalue. Almost simultaneously, K. J. Brown
and S. S. Lin [33] extended these results to cover the special case when
L = −∆, Γ0 = ∅ and β = 0 (B = N). In such case, their main result
established that (9.1) possesses a positive principal eigenvalue, λ+ > 0, if,
and only if,
∫
W < 0. (9.83)
Ω
Moreover, adapting the last part of the proof of Theorem 9.2, with the
choice φ(0) = 1, it is easy to check that
∫
1
Σ′ (0) = − W
|Ω| Ω
and, consequently,
∫
′
Σ (0) > 0 ⇐⇒ W < 0,
Ω
which provides us with the main theorem of K. J. Brown and S. S. Lin [33].
Summarizing, the most pioneering results established that if either
σ[L, B, Ω] > 0, (9.86)
or
σ[L, B, Ω] = 0 and Σ′ (0) > 0, (9.87)
then (9.1) has two principal eigenvalues
λ− ≤ 0 < λ+ .
According to Theorem 7.10, we already know that (9.86) occurs if, and only
if, (L, B, Ω) satisfies the strong maximum principle, which is a very severe
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
where Γj0 and Γj1 are two disjoint open and closed subsets of ∂Ω with
Γj0 ∪ Γj1 = ∂Ω, βj ∈ C(Γj1 ), and νj = Aj n is the co-normal vector-field.
iv) A, B, C, D ∈ C(Ω̄) are non-negative functions such that
A(x) > 0 and D(x) > 0 for all x ∈ Ω̄,
B, C ∈ A, with respect to the partitions of ∂Ω induced by Γj0 and Γj1 ,
j ∈ {1, 2}, respectively, and
+ ̸= ∅,
int ΩB + ̸= ∅,
int ΩC
where ΩB C
+ and Ω+ stand for the respective regions Ω+ associated to
B(x) and C(x) through Definition 9.1(a).
In population dynamics, (9.93) models the evolution of two competing
species u and v in the inhabiting area Ω when the individuals disperse
randomly within Ω according to the patterns
Lj := − div (Aj ∇ · ) + ⟨bj , ∇ · ⟩, j ∈ {1, 2},
where the bj ’s represent the transport effects of each of the species. Typi-
cally, for every x ∈ Ω and t > 0, u(x, t) and v(x, t) measure the densities of
the populations at the point x ∈ Ω at time t > 0, and λ−c1 (x) and µ−c2 (x)
measure the intrinsic growth (or death) rates of u and v, respectively, while
the function coefficients A(x) and D(x) stand for the normalized carrying
capacities of the species, and B(x) and C(x) fix the nature of the compe-
tition between u and v. Precisely, the region where B > 0 (resp. C > 0)
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Bibliography
319
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
336–374.
[14] Aronszajn, N. (1965). Potentiels Besseliens, Ann. Inst. Fourier (Grenoble)
15, pp. 43–58.
[15] Aronszajn, N. and Smith, K. T. (1961). Theory of Bessel potentials I, Ann.
Inst. Fourier (Grenoble) 11, pp. 385–475.
[16] Aronszajn, N., Mulla, F. and Szeptycki, P. (1963). On spaces of potentials
connected with Lp -classes, Ann. Inst. Fourier (Grenoble) 13, pp. 211–306.
[17] Arzela, C. (1889). Funzioni di linee, Atti R. Accad. Lincei Rend. 4, pp.
342–348.
[18] Ascoli, G. (1883). Le curve limiti di una varietà data di curve, Mem. R.
Accad. Lincei 18, pp. 521–586.
[19] Babus̆ka, I. (1961). Stability of the domain with respect to the fundamental
problem in the theory of partial differential equations, mainly in connection
with the theory of elasticity, I, II, Czechoslovak Math. J. 11, pp. 76–105,
165–203.
[20] Babus̆ka, I. and Vyborny, R. (1965). Continuous dependence of eigenvalues
on the domain, Czechoslovak Math. J. 15, pp. 169–178.
[21] Bakelman, I. J. (1994). In D. Taliaferro (ed.) Convex Analysis and Nonlinear
Geometric Elliptic Equations. With an obituary for the author by William
Rundell (Springer, New York).
[22] Banach, S. (1932). Théorie des opérations linéaires (Monografje Matematy-
czne, Warsaw).
[23] Barta, J. (1937). Sur la vibration fondamentale d’une membrane, C. R.
Acad. Sci. Paris 204, pp. 472–473.
[24] Beauzamy, B. (1985). Introduction to Banach Spaces and their Geometry,
2nd edn. North-Holland Mathematic Studies 68 (North-Holland, Amster-
dam).
[25] Beltramo, A. and Hess, P. (1984). On the principal eigenvalue of a periodic-
parabolic operator, Comm. Part. Diff. Eqns. 9, pp. 919–941.
[26] Berestycki, H. and Nirenberg, L. (1991). On the method of moving planes
and the sliding method, Boll. Soc. Brasil Mat. (Nova Ser.) 22, pp. 1–37.
[27] Berestycki, H., Nirenberg, L. and Varadhan, S. R. S. (1994). The princi-
pal eigenvalue and maximum principle for second order elliptic operators in
general domains, Comm. Pure Appl. Math. XLVII, 1, pp. 47–92.
[28] Bony, J. M. (1967). Principe du maximum dans les espaces de Sobolev, C.
R. Acad. Sci. Paris 265, pp. 333–336.
[29] Brézis, H. (1983). Analyse Fontionnelle (Masson, Paris).
[30] Browder, F. E. (1960). A priori estimates for solutions of elliptic boundary
value problems I, Neder. Akad. Wetensch. Indag. Math. 22, pp. 149–159.
[31] Browder, F. E. (1960). A priori estimates for solutions of elliptic boundary
value problems II, Neder. Akad. Wetensch. Indag. Math. 22, pp. 160–169.
[32] Browder, F. E. (1961). A priori estimates for solutions of elliptic boundary
value problems III, Neder. Akad. Wetensch. Indag. Math. 23, pp. 404–410.
[33] Brown, K. J. and Lin, C. C. (1980). On the existence of positive eigenfunc-
tions for an eigenvalue problem with indefinite weight function, J. Math.
Anal. Appl. 75, pp. 112–120.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Bibliography 321
Bibliography 323
Cambridge).
[91] Guzmán, M. and Rubio, B. (1979). Integración: Teorı́a y Técnicas (Alham-
bra, Madrid).
[92] Hale, J. K. (2005). Eigenvalues and perturbed domains, in J. Ferrera, J.
López-Gómez and F. R. Ruiz del Portal (eds.) 10 Mathematical Essays on
Approximation in Analysis and Topology (Elsevier, Amsterdam), pp. 95–
123.
[93] Henry, D. (1981). Geometric Theory of Semi-linear Parabolic Equations,
Lecture Notes in Mathematics 840 (Springer, Berlin).
[94] Hersch, J. (1960). Sur la fréquence fondamentale d’une membrane vibrante:
évaluations par déefaut et principe de maximum, Z. Angew. Math. Phys. 11,
pp. 387–413.
[95] Hess, P. (1986). On the spectrum of elliptic operators with respect to indef-
inite weights, Lin. Alg. and its Appns. 84, pp. 99–109.
[96] Hess, P. (1991). Periodic-Parabolic Boundary Value Problems and Positivity,
Pitman Research Notes in Mathematics 247 (Longman, London).
[97] Hess, P. and Kato, T. (1980). On some linear and nonlinear eigenvalue prob-
lems with an indefinite weight function, Comm. Partial Diff. Eqns. 5, pp.
999—1030.
[98] Hilbert, D. (1900). Über das Dirichletsche Prinzip, Jber. Deutsch. Math.
Verein 8, pp. 184–188.
[99] Hilbert, D. (1909). Wesen und Ziele einer Analysis der unendlich vielen un-
abhängigen variablen, Rend. Circ. Mat. Palermo 27, pp. 59–74.
[100] Hirsch, M. W. (1988). Stability and convergence in strongly monotone dy-
namical systems, J. Reine Angew. Math. 383, pp. 1–53.
[101] Hölder, O. (1889). Über einen Mittelwerthsatz, Göttingen Nachr. pp. 38–
47.
[102] Hooker, W. W. (1960). Lower bounds for the first eigenvalue of elliptic
equations of order two and four, Tech. Rep. Univ. California at Berkeley
10, AF49(638) p. 398.
[103] Hopf, E. (1927). Elementare Bemerkungen über die Lösungen partieller Dif-
ferentialgleichungen zweiter Ordnung vom elliptischen Typus, Sitzungsber.
Preuss. Akad. Wiss. 19, pp. 147–152.
[104] Hopf, E. (1952). A remark on linear elliptic differential equations of the
second order, Proc. of the Amer. Math. Soc. 3, pp. 791–793.
[105] Hörmander, L. (1955). On the theory of general partial differential opera-
tors, Acta Math. 94, pp. 161–248.
[106] Hörmander, L. (1983). The Analysis of Linear Partial Differential Opera-
tors I-IV (Springer, Berlin and New York).
[107] Jameson, G. (1970). Ordered Linear Spaces, Lectures Notes in Mathematics
141 (Springer, New York).
[108] John, F. (1978). Partial Differential Equations, Applied Mathematical Sci-
ences 1 (Springer, New York).
[109] Jordan, P. and von Neumann, J. (1935). On inner products in linear, metric
spaces, Ann. of Math. 36, pp. 719–723.
[110] Kakutani, S. (1939). Weak topologies and regularity of Banach spaces,
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Bibliography 325
Bibliography 327
[169] Moutard, T. (1894). Notes sur les équations aux dérivées partielles, J. de
l’École Polytechnique 64, pp. 35–69.
[170] Nec̆as, J. (1967). Les méthodes directes en théorie des équations elliptiques
(Éditeurs Academia, Prague).
[171] von Neumann, J. (1929). Allgemeine Eigenwerttheorie Hermitescher Funk-
tionaloperatoren, Math. Ann. 102, pp. 49–131.
[172] Oleinik, O. A. (1952). On properties of some boundary problems for equa-
tions of elliptic type, Math. Sbornik, N. S. 30, pp. 695–702.
[173] Pagter, B. (1986). Irreducible compact operators, Math. Z. 192, pp. 149–
153.
[174] Paraf, A. (1892). Sur le problème de Dirichlet at son extension au cas de
l’équation linéaire générale du second ordre, Ann. Fac. Sci. Toulouse Ser. I,
6, pp. 1–75.
[175] Perron, O. (1907). Zur Theorie der matrices, Math. Ann. 64, pp. 248–263.
[176] Pettis, B. J. (1939). A proof that every uniformly convex space is reflexive,
Duke Math. J. 5, pp. 249–253.
[177] Phillips, R. S. (1955). The adjoint semi-group, Pacific J. Math. 5, pp. 269–
283.
[178] Picard, E. (1905). Traité d’Analyse Vol. 2 (Gauthier Villars, Paris).
[179] Picone, M. (1927). Maggiorazione degli integrali di equazioni lineari ellitico-
paraboliche alle derivate parziali del secondo ordine, Atti Accad. Naz. dei
Lincei 5, pp. 138–143.
[180] Poincaré, H. (1916-1956). Oeuvres Vol. 1-11 (Gauthier-Villars, Paris).
[181] Protter, M. H. (1960). Lower bounds for the first eigenvalue of elliptic
equations, Ann. of Math. 71, pp. 423–444.
[182] Protter, M. H. and Weinberger, H. F. (1966). On the spectrum of general
second order operators, Bull. Amer. Math. Soc. 72, pp. 251–255.
[183] Protter, M. H. and Weinberger, H. F. (1967). Maximum Principles in Dif-
ferential Equations (Prentice-Hall, Englewood Cliffs).
[184] Pucci, P. and Serrin, J. (2007). The Maximum Principle, Progress in Non-
linear Differential Equations and Their Applications Vol. 73 (Birkhäuser,
Bassel).
[185] Rabinowitz, P. H. (1975). Théorie de degré topologique et applications à des
problémes aux limites non linéaires, Lecture Notes Lab. Analyse Numerique
(Université Paris VI, Paris).
[186] Rayleigh, J. W. S. (1945). The Theory of Sound, 2nd edn. (Dover Publica-
tions, New York).
[187] Redheffer, R. Personal communication to W. Walter (see p. 295 [224]).
[188] Rellich, F. (1930). Ein satz über mittlere konvergenz, Math. Nachr. 31, pp.
30–35.
[189] Riesz, F. (1910). Untersuchungen über Systeme integrierbarer Funktionen,
Math. Ann. LXIX, pp. 449–497.
[190] Riesz, F. (1918). Über lineare Funktionalgleichungen, Acta Math. 41, pp.
71–98.
[191] Riesz, F. (1934). Zur Theorie des Hilbertschen Raumes, Acta Sci. Math.
Szeged 7, pp. 34–38.
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Bibliography 329
Index
331
February 21, 2013 9:29 World Scientific Book - 9in x 6in book-lsoeo
Index 333
Index 335
Index 337