270 7 Interpolation and Monotonicity
Theorem 7.2.4 If Ω is a convex, bounded, open subset of R
n
and {u
j
} is
asequenceinH
2+α
(Ω), 0 <α≤ 1 for which there is an M>0 such that
|u
j
|
2+α,Ω
≤ M,j ≥ 1, then the u
j
,Du
j
,andD
2
u
j
have continuous extensions
to Ω
−
and there is a function u on Ω
−
and a subsequence {u
j
k
} of the
{u
j
} sequence such that the sequences {u
j
k
}, {Du
j
k
},and{D
2
u
j
k
} converge
uniformly on Ω
−
to continuous functions u, Du,andD
2
u, respectively.
Proof: Note first that the inequality
|D
2
u
j
(x) − D
2
u
j
(y)|
|x − y|
α
≤ [u
j
]
2+α
≤ M, x,y ∈ Ω
implies that the D
2
u
j
are uniformly continuous on Ω and have continuous
extensions to Ω
−
which will be denoted by the same symbol. The inequality
also implies that the sequence { D
2
u
j
} is uniformly equicontinuous on Ω
−
.
Since |D
2
u
j
|
0,Ω
=[u
j
]
2+0,Ω
≤ M,j ≥ 1, the sequence {D
2
u
j
} is uniformly
bounded on Ω
−
. It follows from the Arzel´a-Ascoli Theorem, Theorem 0.2.3,
that there is a subsequence of the {D
2
u
j
} sequence, which can be assumed
to be the sequence itself by a change of notation if necessary, which converges
uniformly on Ω
−
to a continuous function v
(2)
on Ω
−
. By the mean value the-
orem of the calculus, there is a z
j
on the line segment joining x to y such that
|Du
j
(x) − Du
j
(y)|
|x − y|
= |∇Du
j
(z
j
)|≤
√
n[u
j
]
2+0,Ω
≤
√
nM.
This shows that the Du
j
are uniformly continuous on Ω, have continuous ex-
tensions to Ω
−
which will be denoted by the same symbol, and that the {Du
j
}
are uniformly bounded and equicontinuous on Ω
−
. Again it follows from the
Arzel´a-Ascoli Theorem that there is a subsequence of the {Du
j
} sequence,
which can be assumed to be the sequence itself, which converges uniformly
on Ω
−
to a continuous function v
(1)
on Ω
−
. Applying the same argument to
the {u
j
} sequence, there is a subsequence of the {u
j
} sequence, which can be
assumed to be the sequence itself, which converges uniformly on Ω
−
to a con-
tinuous function u on Ω
−
. By Theorem 0.2.2, Du = v
(1)
= lim
j→∞
Du
j
and
D
2
u = v
(2)
= lim
j→∞
D
2
u
j
on Ω.NotethatDu and D
2
u have continuous
extensions to Ω
−
.
The roles played by a function u on Ω and a function g on a portion Σ of
the boundary of Ω are distinctly different and the norm of the latter will be
defined differently based on the idea of considering g to be the restriction of a
function u to Σ as discussed in [25]. The following definition and subsequent
discussion is also applicable if stated with the 1+α replaced by k+α for k ≥ 1.
Definition 7.2.5 For g : Σ → R,let
|g|
1+α,Σ
=inf{|u|
1+α,Ω
; u ∈ H
1+α
(Ω),u|
Σ
= g}},
and let H
1+α
(Σ)bethesetofallg for which |g|
1+α,Σ
< +∞.