90 2 Minimization Techniques: Compact Problems
We do not write down the proof of this result, because the argument is very
similar to the one of Example 1.3.20.
We can now state a definition of weak solution for equations involving the p-
Laplacian. The idea for a weak formulation can be obtained, as in the usual case
p = 2, using integration by parts. Let us assume that u and v are functions defined
on a bounded open set , that they vanish on ∂, and are smooth enough for the
following computations to make sense. Integrating by parts we obtain
v
p
udx =
v div
|∇u|
p−2
∇u
dx =−
|∇u|
p−2
∇u ·∇vdx.
This suggests that a good candidate as a weak form for the p-Laplacian is the oper-
ator
v →−
|∇u|
p−2
∇u ·∇vdx.
We now give a precise formulation to the preceding heuristic discussion, at least for
the cases that we want to treat. Let us consider 1 <p<N and take h ∈L
p
, where
p
=
p
p−1
is the conjugate exponent of p.Letf :R → R be a continuous function
satisfying the growth assumption (2.47). We will say that u is a weak solution of the
boundary value problem
−
p
u =f(u)+h in ,
u =0on∂
(2.48)
if u ∈W
1,p
0
() and
|∇u|
p−2
∇u ·∇vdx=
f(u)vdx+
hv dx ∀v ∈W
1,p
0
().
Notice that, as in the case of the Laplacian, the boundary conditions are englobed
in the function space W
1,p
0
(). Thanks to the previous results about differentiation
of functionals, it is easy to spot the link between weak solutions and critical points.
Indeed, denoting F(t)=
t
0
f(s)ds, we can define a functional J : W
1,p
0
() → R
by
J(u)=
|∇u|
p
dx −
F(u)dx −
hu dx.
We know that J is differentiable on W
1,p
0
(), with
J
(u)v =
|∇u|
p−2
∇u ·∇vdx−
f(u)vdx−
hv dx.
Hence, a critical point of J is exactly a weak solution of (2.48) in the sense previ-
ously stated.
Remark 2.6.7 The procedure to obtain a classical solution from a weak one is more
problematic in the case of quasilinear equations. Indeed, a weak solution which
is regular enough is also a classical solution, but the regularity results for weak
solutions of p-Laplacian equations that have been obtained so far are not completely
satisfactory: weak solution may be not regular enough to be also classical solutions.