differentiation in linear spaces - idsim/cs724/smdc1.pdfsimilarly, the g^ateaux derivative is...

28
Differentiation in Linear Spaces - I Prof. Dan A. Simovici UMB 1 / 28

Upload: others

Post on 20-Mar-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Differentiation in Linear Spaces - I

Prof. Dan A. Simovici

UMB

1 / 28

Page 2: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Outline

1 The Frechet and Gateaux Differentiation

2 Gateaux Differential

2 / 28

Page 3: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

Definition

Let (S , ‖ · ‖) and (T , ‖ · ‖) be two normed spaces and let X be an openset in (S , ‖ · ‖).A function f : X −→ T is Frechet differentiable at x0, where x0 ∈ X , ifthere exists a linear operator (Dx f )(x0) : X −→ T such that

limh→0

‖ f (x0 + h)− f (x0)− (Dx f )(x0)(h) ‖‖ h ‖

= 0.

The operator (Dx f )(x0) : X −→ T is referred to the Frechet derivative atx0.

3 / 28

Page 4: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

The Case of Functions f : R −→ R

If f : R −→ R is a function differentiable at x0 and having the derivativef ′(x0) at x0, then

limh→0

f (x0 + h)− f (x0)

h= f ′(x0).

Therefore,

limh→0

f (x0 + h)− f (x0)− f ′(x0)h

h= 0,

hence

limh→0

|f (x0 + h)− f (x0)− f ′(x0)h||h|

= 0,

4 / 28

Page 5: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

This shows that for functions of the form f : R −→ R theoperator (Dx f )(x0) from the definition of the Frechet differentialapplied to h, (Dx f )(x0)(h) is simply the multiplication of h byf ′(x0);

5 / 28

Page 6: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

Frechet Differential

The function δf : X × S −→ T defined by δf (x0; h) = (Dx f )(x0)(h) is thedifferential of f at x0. Note that the differential is linear in its secondargument h. To emphasize the distinct roles played by x0 and h thearguments of the differential are separated by a semicolon.We stress that (Dx f )(x0) is a linear operator in L(S ,T ).If (Dx f )(x0) is continuous on X , where X ⊆ S , we say that f iscontinuously differentiable on X .

6 / 28

Page 7: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

Example

A constant function k : S −→ T is Frechet differentiable at every point x0

of S and (Dx f )(x0) = 0.

7 / 28

Page 8: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

Example

If f : S −→ T is a continuous linear mapping thenf (x0 + h)− f (x0) = f (h) for x0 ∈ S , so (Dx f )(x0) = f .For instance, consider the linear operator f : C [a, b] −→ C [a, b] defined as

(fu)(x) =

∫ b

aK (x , s)u(s) ds.

Its Frechet derivative is (Dx f )(u) = f (u).

8 / 28

Page 9: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

We denote by o (with or without subscripts) a function o : S −→ R thathas the property:

limh→0

o(h)

‖ h ‖= 0.

The introduction of the o notation enables us to say that f is Frechetdifferentiable at x0 if and only if there exists a linear transformation(Dx f )(x0) in Hom(S ,T ) such that

‖ f (x0 + h)− f (x0)− δf (x0; h) ‖= o(h),

or‖ f (x0 + h)− f (x0)− (Dx f )(x0)(h) ‖= o(h).

The Frechet derivative (Dx f )(x0) will be simply denoted by (Dx f )(x0)when x is clear from the context.

9 / 28

Page 10: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

Theorem

Let (S , ‖ · ‖) and (T , ‖ · ‖) be two normed spaces and let X be an opensubset of S. If a function f : X −→ T has a Frechet differential, whereX ⊆ S, then this differential is unique.

10 / 28

Page 11: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

The Frechet and Gateaux Differentiation

Proof

Suppose that both δf (x0; h) and δ1f (x0, h) are differentials of f at x0. Wehave

‖ δf (x0; h)− δ1f (x0; h) ‖ 6 ‖ f (x0 + h)− f (x0)− δf (x0; h) ‖+ ‖ f (x0 + h)− f (x0)− δ1f (x0; h) ‖= o(h).

11 / 28

Page 12: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Definition

Let (S , ‖ · ‖) and (T , ‖ · ‖) be normed F-linear spaces, X be an open setin (S , ‖ · ‖) and let f : X −→ T be a function.The function f is Gateaux differentiable in x0, where x0 ∈ X if there existsa linear operator (Dx f )(x0) : S −→ T such that

(Dx f )(x0)(u) = limt→0

f (x0 + tu)− f (x0)

t

for every u ∈ S . The linear operator (Dx f )(x0) is the Gateaux derivative off in x0.The Gateaux differential of f at x0 is the the linear operator δf (x0; h)given by

δf (x0; u) = limt→0

f (x0 + tu)− f (x0)

t.

12 / 28

Page 13: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Notations

The Gateaux differential is denoted by the same δf (x0; h) as theFrechet differential.

Similarly, the Gateaux derivative is denoted by (Dx f )(x0), as wedenoted the Frechet derivative and the subscript x will be omittedwhen possible.

The specific differential (or derivative) we are referring to will resultfrom the context.

13 / 28

Page 14: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Remarks

The function f : S −→ T is Gateaux differentiable in x0 if for everyε > 0 there exists δ(x0, u) > 0, which depends on x0 and u such thatt < δ(x0, u) implies∣∣∣∣∣∣ f (x0 + tu)− f (x0)

t− (Dx f )(x0)(u)

∣∣∣∣∣∣ < ε.

The function f : S −→ T is Frechet differentiable in x0 if for everyε > 0 there exists δ(x0) > 0, which does not depend on u such that

t < δ(x0) implies∣∣∣∣∣∣ f (x0+tu)−f (x0)

t − (Dx f )(x0)(u)∣∣∣∣∣∣ < ε.

In this sense, Frechet differentiability implies that the convergence off (x0+tu)−f (x0)

t to (Dx f )(x0)(u) is uniform relative to u.

14 / 28

Page 15: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Indeed, if h ∈ S we can write h =‖ h ‖ uh, where ‖ uh ‖= 1. Thus, ifh→ 0, we have ‖ h ‖→ 0. Since f is Gateaux uniformly differentiable atx0, for every ε > 0 there is δ(x0) such that if ‖ h ‖< δ(x0) then

‖ f (x0 + h)− f (x0)− (Dx f )(x0)(h) ‖‖ h ‖

=‖ f (x0 + h)− f (x0)− ‖ h ‖ (Dx f )(x0)(uh) ‖

‖ h ‖

=∣∣∣∣∣∣ f (x0 + h)− f (x0)

‖ h ‖− (Dx f )(x0)(uh)

∣∣∣∣∣∣ < ε

which shows that f is Frechet differentiable at x0.

15 / 28

Page 16: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Example

Let a be a vector in Rn. Define the function f : Rn −→ R as f (x) = x′a.We have:

(Dx f )(x0)(u) = limt→0

f (x0 + tu)− f (x0)

t

= limt→0

(x0 + tu)′a− x′0a

t

= limt→0

tu′a

t= u′a.

16 / 28

Page 17: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Example

Let A ∈ Rn×n be a matrix and let f : Rn −→ R be the functionalf (x) = x′Ax. We have (Df )(x0) = x′0(A + A′).By applying the definition of Gateaux differential we have

(Df )(x0)(u) = limt→0

f (x0 + tu)− f (x0)

t

= limt→0

(x′0 + tu′)A(x0 + tu)− x′0Ax0

t

= limt→0

tu′Ax0 + tx′0Au + t2u′Au

t= u′Ax0 + x′0Au = x′0A′u + x′0Au

= x′0(A + A′)u,

which yields(Df )(x0) = x′0(A + A′).

If A ∈ Rn×n is a symmetric matrix and f : Rn −→ R is the functionalf (x) = x′Ax, then (Df )(x0) = 2x′0A. 17 / 28

Page 18: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Example

Let (S , ‖ · ‖) be a normed space. The norm ‖ · ‖: S −→ R>0 is notGateaux differentiable in 0S . Indeed, suppose that ‖ · ‖ were differentiablein 0S , which would mean that the limit:

limt→0

‖ tu ‖t

= limt→0

|t|t‖ u ‖

would exist for every u ∈ S , which is contradictory.However, the square of the norm, ‖ · ‖2 is differentiable in 0S because

limt→0

‖ tu ‖2

t= lim

t→0t ‖ u ‖= 0.

18 / 28

Page 19: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Example

Consider the norm ‖ · ‖1 on Rn given by

‖ x ‖1= |x1|+ . . .+ |xn|

for x ∈ Rn. This norm is not Gateaux differentiable in any point x0 locatedon an axis. Indeed, let x0 = aei be a point on the i th axis. The limit

limt→0

‖ x0 + tu ‖1 − ‖ x0 ‖1

t

= limt→0

‖ aei + tu ‖1 − ‖ aei ‖1

t

= limt→0

|t||u1|+ · · ·+ |t||ui−1|+ (|t||ui | − |a|) + |t||ui+1|+ · · ·+ |t||un|t

does not exists, so the norm ‖ · ‖1 is not differentiable in any of thesepoints.

19 / 28

Page 20: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Theorem

Let (S , ‖ · ‖) and (T , ‖ · ‖) be two normed F-linear spaces, X be an openset in (S , ‖ · ‖) and let f : X −→ T be a function.If f is Frechet differentiable in x0 ∈ X , then it is also Gateauxdifferentiable in x0 and the two differentials are the same.

20 / 28

Page 21: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Proof

Let f be Frechet differentiable in x0, that is,‖ f (x0 + h)− f (x0)− δf (x0; h) ‖= o(h), where δf (x0, h) is the Frechetdifferential.For the Gateaux differential δ′(x0; h) of f in x0 we have

‖ δ′f (x0; h)− δf (x0; h) ‖

=∣∣∣∣∣∣ limt→0

f (x0 + tu)− f (x0)

t− δf (x0; h)

∣∣∣∣∣∣= lim

t→0

∣∣∣∣∣∣ f (x0 + tu)− f (x0)− δf (x0; th)

th

∣∣∣∣∣∣ ‖ h ‖,

and limt→0

∣∣∣∣∣∣ f (x0+tu)−f (x0)−δf (x0;th)th

∣∣∣∣∣∣ = 0 because limt→0 ‖ th ‖= 0. Thus,

δ′f (x0; h) = δf (x0; h).

21 / 28

Page 22: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Theorem

Let (S , ‖ · ‖) and (T , ‖ · ‖) be two normed F-linear spaces, X be an openset in (S , ‖ · ‖) and let f : X −→ T be a function.If f is Gateaux differentiable on X , then

‖ f (u)− f (v) ‖6‖ u − v ‖ sup{f ′(au + (1− a)v) | a ∈ [0, 1]}.

22 / 28

Page 23: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Proof

Let w ∈ X such that ‖ w ‖= 1 and ‖ f (u)− f (v) ‖= (w , f (u)− f (v)).Define the the real-valued function g as g(t) = (w, f (u + t(v − u))) fort ∈ [0, 1]. We have the inequality

‖ f (u)−f (v) ‖= (w, f (v)−f (u)) = |g(1)−g(0)| 6 sup{|g ′(t)| | t ∈ [0, 1]}.Since

g ′(t) =

(w ,

d f (u + t(v − u))

d t

)=

(w , lim

r→0

f (u + (t + r)(v − u))− f (u + t(v − u))

r

)=

(w , f ′u+t(v−u)(v − u)

),

we have |g ′(t)| 6‖ f ′u+t(v−u)(v − u) ‖, hence

|g ′(t)| 6 ‖ f ′u+t(v−u)(v − u) ‖6 ‖ f ′u+t(v−u) ‖‖ v − u ‖ .

23 / 28

Page 24: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Theorem

Let (S , ‖ · ‖), (T , ‖ · ‖) be normed F-linear spaces, X be an open set in(S , ‖ · ‖) and let f : X −→ T be a function.If f is Gateaux differentiable at x0 ∈ X and the Gateaux derivative iscontinuous in x0, then f is Frechet differentiable in x0.

24 / 28

Page 25: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

For v ∈ S define the function gv : [0, 1] −→ T be the function defined asgv (t) = f (x0 + tv)− f (x0)− t(Df )(x0)v ; we have g(0) = 0. From thecontinuity of the Gateaux derivative it follows that

‖ gv (1)− gv (0) ‖ = f (x0 + v)− f (x0)− f ′(x0)v

6 ‖ v ‖ sup{(Df )(x0 + tv)− (Df )(x0)} = o(‖ v ‖).

Thus, gv = 0.

25 / 28

Page 26: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Example

A homogeneous polynomial u of degree k has the property

u(tx1, . . . , txn) = tku(x1, . . . , xn)

for t, x1, . . . , xn ∈ R.Let p(x1, x2) and q(x1, x2) be two homogeneous polynomials of degrees rand s, respectively, where r > s + 1, and let f : R2 −→ R be the functiondefined by

f (x1, x2) =

{p(x1,x2)q(x1,x2) if x 6= 02,

0 otherwise,

where x 6= 02 implies q(x) 6= 0.

26 / 28

Page 27: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Example (cont’d)

e claim that f is Gateaux differentiable but not Frechet differentiable.Indeed,

limt→0

f (tu1, tu2)

t= lim

t→0tr−s−1f (u1, u2) = 0,

and the constant function 0 is linear in u.Frechet differentiability in 02 requires the existence of a linear operatorg : Rn −→ R such that

limh→02

‖ f (h)− f (x0)− g(h) ‖‖ h ‖

= limh→02

‖ f (h)− g(h) ‖‖ h ‖

= 0,

which is impossible because f (h) grows faster than a linear function in hassuming that r > s + 1. Thus, f is not differentiable Frechet.

27 / 28

Page 28: Differentiation in Linear Spaces - Idsim/cs724/smdc1.pdfSimilarly, the G^ateaux derivative is denoted by (D xf )(x 0), as we denoted the Fr echet derivative and the subscript x will

Gateaux Differential

Definition

Let X be a open subset in a real normed linear space S and let f : X −→ Rbe a functional that has a Gateaux derivative on X . A stationary point off is a point x0 ∈ X such that δf (x0; h) = 0 for every h ∈ X .

The term critical point is also used as an alternative to stationary point.

28 / 28