120 3 Minimization Techniques: Lack of Compactness
3.4.1 The Prototype Problem
We consider in R
N
, with N ≥3, the equation
−u =|u|
2
∗
−2
u. (3.11)
Formally, solutions of (3.11) should arise as critical points of the functional
I(u)=
1
2
R
N
|∇u|
2
dx −
1
2
∗
R
N
|u|
2
∗
dx. (3.12)
It is not convenient to think of I as defined on H
1
(R
N
), since in this space the first
integral in I is not (the square of) a norm, and this poses serious difficulties.
We will work in the space D
1,2
(R
N
) that we introduced in Sect. 1.2. The problem
we are dealing with then becomes
−u =|u|
2
∗
−2
u,
u ∈D
1,2
(R
N
).
(3.13)
We know that D
1,2
(R
N
) ⊂ L
2
∗
(R
N
), with continuous embedding, but the em-
bedding is not compact, not even in a local sense, as we now make precise.
Clearly, since we are working in R
N
, there is a lack of compactness due to the
invariance under translations, as we discussed in earlier sections. However in this
case there is an even more serious problem, that arises from the invariance under
scalings, as follows. Let v ∈ C
∞
0
(R
N
) (hence v ∈ D
1,2
(R
N
)) be a fixed function,
and set, for λ>0,
v
λ
(x) =λ
N−2
2
v(λx).
Then it is an exercise to check that
R
N
|∇v
λ
|
2
dx =
R
N
|∇v|
2
dx for every λ>0
and
v
λ
0inD
1,2
(R
N
) for λ →0orλ →+∞.
However also
R
N
|v
λ
|
2
∗
dx =
R
N
|v|
2
∗
dx for every λ>0, (3.14)
so that {v
λ
}
λ
is not precompact in L
2
∗
(R
N
). This happens exactly because the ex-
ponent is 2
∗
.
With respect to the informal discussion on the loss of compactness carried out
in the preceding section, we have to face here new ways in which this phenomenon
takes place. Indeed, assuming to fix ideas that v(0) =0, we see that when λ →0the
functions v
λ
∈C
∞
0
(R
N
) tend to zero uniformly, while
R
N
|u|
2
∗
dx is kept constant
(see (3.14)). One can say that the “mass” spreads everywhere. On the contrary, if
λ →∞, then v
λ
(x) →0 for every x =0, while v
λ
(0) →∞, and again (3.14) holds;
this is the famous loss of compactness by concentration, that one meets in every
problem with critical growth, even on bounded domains.