1.4 Weak Solutions and Critical Points 23
A classical solution of (1.11)isafunctionu ∈ C
2
() that satisfies (1.11)for
every x ∈
. We now make the following experiment: we take v ∈C
1
0
(),wemul-
tiply the equation in (1.11)byv and we integrate over . By the Green’s formula
(1.5) (notice that the boundary integral vanishes, since v has compact support) we
obtain that if u is a classical solution, then
∇u ·∇vdx+
q(x)uvdx =
h(x)v dx, ∀v ∈C
1
0
(). (1.12)
Now this formula makes sense even if u is not C
2
; for example u ∈ C
1
suffices.
On a closer inspection, one realizes that the regularity requirements on u and v
can still be weakened very much. Indeed for the integrals to be finite it is enough
that u, v ∈ L
2
() and so do
∂u
∂x
i
and
∂v
∂x
i
, for every i. Having observed this, it is
even no longer necessary for q and h to be continuous: one can merely require that
q ∈L
∞
(), and h ∈L
2
().
This motivates the following fundamental definition.
Definition 1.4.1 Let q ∈L
∞
() and h ∈L
2
(). A weak solution of problem (1.11)
is a function u ∈H
1
0
() such that
∇u ·∇vdx+
q(x)uvdx =
h(x)v dx, ∀v ∈H
1
0
(). (1.13)
A few comments are in order. If one wants to extend the notion of solution, one
would like, to say the least, that classical solutions be weak solutions as well. This
is indeed true in the present case, as we now show. Let u be a classical solution of
(1.11). In particular, u ∈C
2
(), so that u ∈H
1
(). Since u is continuous on and
u = 0on∂, then u ∈ H
1
0
(), see the definition of H
1
0
() in Sect. 1.2.1. Hence u
is in the right function space. Next, we know that (1.12) holds, and since C
1
0
() is
dense in H
1
0
(), for any fixed v ∈H
1
0
() we can take a sequence {v
n
}
n
⊂ C
1
0
()
such that v
n
→v in the H
1
0
topology. Letting n →∞, we obtain that (1.12) holds
for every v ∈H
1
0
(). This is exactly (1.13), and hence u is a weak solution.
Notice that, apparently, in the above definition there is no specification of bound-
ary conditions. Actually the homogeneous boundary condition is hidden, or bet-
ter, englobed in the functional setting of the problem: all functions in H
1
0
() sat-
isfy u = 0on∂, in an appropriate sense (see again the definition of H
1
0
() in
Sect. 1.2.1). This is one of the useful features of the notion of weak solution.
Now suppose we have found a weak solution u of (1.11), so that u satisfies the
integral relation (1.13). Is there any chance that u be a classical solution? Of course
if we are interested in classical solutions we suppose from the beginning that q and
h are continuous. A very important aspect in the definition of weak solution is the
fact that the answer to this question only depends on the regularity of u. Indeed it
is easy to prove that if u is a weak solution and u is in C
2
(), then u is a classical
solution. To see this notice first of all that u ∈H
1
0
() ∩C
2
() implies u =0on∂
in the classical sense. Next, one can take v ∈C
1
0
() in (1.13), obtaining that (1.12)