4.1 Deformations 149
Definition 4.1.10 Let X be a Banach space and let B ⊆X be a subset. A deforma-
tion of B is a continuous function η :[0, 1]×B →B such that η(0,u)= u for all
u ∈B.
Definition 4.1.11 Let X be a Banach space and let A ⊆ B ⊆X be subsets. We say
that B is deformable in A if there exists a deformation η of B such that
η(t, u) ∈A for all u ∈A and all t ∈[0, 1], (4.2)
η(1,u)∈A for all u ∈B. (4.3)
It is very useful to visualize the variable t as time and follow the evolution of a
point as time increases. At time zero, η(0, ·) is the identity on B. When t increases
some points start moving, and at t =1 every point of B has moved to A.
In the previous definition, a most important point is (4.2), for it says that during
the deformation, the points of A can move but cannot leave A.
Example 4.1.12 In a Banach space X, for every r>0, the ball B
2r
(0) is deformable
in the ball B
r
(0). An explicit deformation is η(t, u) =(1 −t/2)u. More generally,
any ball is deformable in any ball contained in it.
Example 4.1.13 Let X be a Banach space and let v satisfy v=2. Set B =B
4
(0),
and A =B
1
(v) ∪B
1
(−v), so that A has two connected components. Then B is not
deformable in A. Indeed, since the points of A cannot leave A during the defor-
mation, the set η(1,B) should be disconnected, which is impossible since it is the
image of the connected set B through the continuous function η(1, ·).
From now on we discuss the following problem: given a functional J onaBa-
nach space X, and two real numbers a<b, when is J
b
deformable in J
a
? Sup-
pose that we can find a continuous function η :[0, 1]×J
b
such that the function
t → J(η(t,u)) is nonincreasing for every u. Such function automatically satisfies
η(t, u) ∈ J
a
for all u ∈ J
a
and all t, namely it satisfies (4.2). At first sight it seems
very difficult to find a function with this property. However, in Hilbert spaces there
is a very simple way to do it, through the flow associated to an autonomous differ-
ential equation. In a Banach space there are some technical questions to settle, but
essentially the same ideas work. In view of our applications, we limit ourselves to
the case of Hilbert spaces.
Theorem 4.1.14 Let H be a Hilbert space and let F :H →H be a locally Lipschitz
continuous function. Then, for every u ∈H , the Cauchy problem
η
=F(η),
η(0) =u
(4.4)
has a unique solution η, which is defined in an open interval I containing 0. It is
customary to think of η as a function of t and u, and write η(t, u). In this case,
η is continuous in (t, u). If F is bounded, i.e. if there is C such that F(u)≤C