7.6 Monotonicity 301
Proof: Suppose |u
j
|
(−b)
a,Ω
≤ M for all j ≥ 1. By Inequality (7.26), |u
j
|
b,Ω
=
|u
j
|
(−b)
b,Ω
≤ C|u
j
|
(−b)
a,Ω
≤ M,j ≥ 1, from which it follows that each u
j
∈
C
m
(Ω
−
). It follows that the sequences {D
α
u
j
}, 0 ≤|α|≤m are bounded
and equicontinuous on Ω
−
. By Theorems 0.2.2 and 0.2.3, there is a subse-
quence {u
j
k
} and a function u such that D
α
u
j
k
− D
α
u
0,Ω
→ 0ask →
∞, |α| =0,...,m. By letting k →∞in the definition of |u
j
k
|
b,Ω
, |u|
b,Ω
≤ M ,
and |u
j
k
−u|
b,Ω
≤ 2M, k ≥ 1. Consider any c ∈ (0,b). Then c = tb +(1−t)0
for some 0 <t<1. By Lemma 7.6.3,
|u
j
k
− u|
c,Ω
= |u
j
k
− u|
(−c)
c,Ω
≤ C(|u
j
k
− u|
(−b)
b,Ω
)
t
(|u
j
k
− u|
0,Ω
)
1−t
≤ C(2M)
t
(u
j
k
− u
0,Ω
)
1−t
and lim
k→∞
|u
j
k
− u|
c,Ω
=0.Ifa
= b
<b, this result is applicable with
c = a
so that |u
j
k
−u|
(−b
)
a
,Ω
→ 0ask →∞. It therefore can be assumed that
a
>b
. By comparing the slopes of the lines in R
2
through (a, −b)andthe
points (0, 0), (a
, −b
), the rest of the proof can be split into three cases.
Case (i) a/b = a
/b
. In this case, the point (a
, −b
) lies on the line joining
(0, 0) to (a, −b)sothatthereisa0<t<1 such that
|u
j
k
− u|
(−b
)
a
,Ω
≤ C
|u
j
k
− u|
(−b)
a,Ω
t
|u
j
k
− u|
(0)
0,Ω
1−t
≤ C(2M)
t
( u
j
k
− u
0,Ω
)
1−t
.
Therefore, lim
k→∞
|u
j
k
− u|
(−b
)
a
,Ω
=0.
Case (ii) a/b > a
/b
. In this case, the line through (a
, −b
)and(a, −b) will
intersect the line y = −x in a point (c, −c)with0<c<b.Thus,thereisa
0 <t<1 such that
|u
j
k
− u|
(−b
)
a
,Ω
≤ C(2M)
t
|u
j
k
− u|
(−c)
c,Ω
1−t
and lim
k→∞
|u
j
k
− u|
(−b
)
a
,Ω
=0.
Case (iii) a/b < a
/b
.Inthiscase,choosec so that b
<c<min (a
,b).
This is possible since b
<a
and b
<b.Let(c, −d) be the point on the line
through (a
, −b
)and(a, −b). Since −d>−c,forsome0<t<1,
|u
j
k
− u|
(−b
)
a
,Ω
≤ C(2M )
t
|u
j
k
− u|
(−d)
c,Ω
1−t
≤ C(2M )
t
|u
j
k
− u|
(−c)
c,Ω
1−t
by Inequality (7.6.3). Since 0 <c<b,lim
k→∞
|u
j
k
− u|
(−b
)
a
,Ω
=0.