186 8. Existence Techniques III
This means that (∇u
n
)
n∈N
is a Cauchy sequence with respect to the topology
of the space L
2
(Ω). (Since ∇u
n
has d components, i.e., is vector-valued, this
says that
∂u
n
∂x
i
is a Cauchy seqeunce in L
2
(Ω)fori =1,...,d.) Since L
2
(Ω)
is a Hilbert space, hence complete, ∇u
n
thus converges to some w ∈ L
2
(Ω).
The question now is whether w can be represented as the gradient ∇u of
some function u : Ω → R. At the moment, however, we know only that
w ∈ L
2
(Ω), and so it is not clear what regularity properties u should possess.
In any case, this consideration suggests that we seek a minimum of D in the
space of those functions whose gradient is in L
2
(Ω). In a subsequent step we
would then have to analyze the regularity proprties of such a minimizer u.
For that step, the starting point would be relation (8.1.5), i.e.,
Ω
∇u(x) ·∇η(x)dx =0 forallη ∈ C
∞
0
(Ω), (8.1.12)
which continues to hold in the context presently considered. By Corol-
lary 1.2.1 this already implies u ∈ C
∞
(Ω). In the next chapter, however,
we shall investigate this problem in greater generality.
Dividing the problem into two steps as just sketched, namely, first proving
the existence of a minimizer and afterwards establishing its regularity, proves
to be a fruitful approach indeed, as we shall find in the sequel. For that
purpose, we first need to investigate the space of functions just considered in
more detail. This is the task of the next section.
8.2 The Sobolev Space W
1,2
Definition 8.2.1: Let Ω ⊂ R
d
be open and u ∈ L
1
loc
(Ω). A function v ∈
L
1
loc
(Ω) is called weak derivative of u in the direction x
i
(x =(x
1
,...,x
d
) ∈
R
d
)if
Ω
φv = −
Ω
u
∂φ
∂x
i
dx (8.2.1)
for all φ ∈ C
1
0
(Ω).
2
We write v = D
i
u.
A function u is called weakly differentiable if it possesses a weak derivative
in the direction x
i
for all i ∈{1,...,d}.
It is obvious that each u ∈ C
1
(Ω) is weakly differentiable, and the weak
derivatives are simply given by the ordinary derivatives. Equation (8.2.1) is
then the formula for integrating by parts. Thus, the idea behind the definition
of weak derivatives is to use the integration by parts formula as an abstract
axiom.
2
C
k
0
(Ω):={f ∈ C
k
(Ω) : the closure of {x : f(x) =0} is a compact subset of Ω}
(k =1, 2,...).