14 1 Introduction and Basic Results
Since the last two terms are o(|h|), we obtain
η(t
0
+h) =η(t
0
) +(I
(u)γ
(t
0
))h +o(|h|),
namely η is differentiable at t
0
and η
(t
0
) =I
(u)γ
(t
0
).
Finally, when v → 0inX, one easily checks that
K(u +v) =f(I(u+v)) =f(I(u)+I
(u)v +o(v))
=f(I(u))+f
(I (u))(I
(u)v +o(v)) +o(I
(u)v +o(v))
=f(I(u))+f
(I (u))I
(u)v +o(v),
so that also the fourth statement follows.
We now introduce a second, weaker notion of differentiability. This is often sim-
pler to check in concrete cases than (Fréchet) differentiability.
Definition 1.3.7 Let X be a Banach space, U ⊆X an open set and let I :U →R be
a functional. We say that I is Gâteaux differentiable at u ∈U if there exists A ∈X
such that, for all v ∈X,
lim
t→0
I(u+tv) −I(u)
t
=Av. (1.8)
If I is Gâteaux differentiable at u, there is only one linear functional A ∈X
satis-
fying (1.8). It is called the Gâteaux differential of I at u and is denoted by I
G
(u).
By the very definition of Fréchet differentiability, it is obvious that if I is differ-
entiable at u, then it is also Gâteaux differentiable and I
(u) = I
G
(u). It is not true
that Gâteaux differentiability implies differentiability, exactly as in R
N
directional
differentiability does not imply differentiability. However, Proposition 1.3.8 below
gives a relevant result in this direction.
As for the notion of differentiability, if the functional I is Gâteaux differentiable
at every u of an open set U ⊂X, we say that I is Gâteaux differentiable on U .The
(generally nonlinear) map I
G
:U →X
that sends u ∈U to I
G
(u) ∈X
is called the
Gâteaux derivative of I .
We have the following classical result; for the proof see e.g. [4].
Proposition 1.3.8 Assume that U ⊆ X is an open set, that I is Gâteaux differen-
tiable on U and that I
G
is continuous at u ∈ U . Then I is also differentiable at u,
and of course I
G
(u) =I
(u).
Remark 1.3.9 The importance of this proposition lies in the fact that it is often tech-
nically easier to compute the Gâteaux derivative and then prove that it is continuous,
rather than proving directly the (Fréchet) differentiability.
We conclude with the definitions of critical points and critical levels, which will
be one of the main concerns of this book.