Seminario Brasileiro de Analise - SBA

Instituto de Matematica e Estatatstica - USP

Edicao N
0
68 Novembro 2008
diferencial de hadamard vs.
diferencial de fr

echet: um exemplo

l. r. c. cardoso

& l. fichmann

Resumo
O objetivo deste trabalho e apresentar um exemplo nao trivial de uma
aplicac ao Lipschitziana, diferenciavel no sentido de Hadamard, mas nao
diferenciavel no sentido de Frechet.
1 Introducao
Ao buscarmos exemplos de aplicacoes Hadamard diferenciaveis que nao fos-
sem Frechet diferenciaveis nos deparamos com as aplicacoes
f : L
1
([0, ]) IR
x
_

0
sin x(s) ds
e
g : L
2
([0, ]) IR.
x
_

0
sin x(s) ds
A aplicacao f e um exemplo de uma aplicacao lipschitziana a valores reais
que e Hadamard diferenciavel em toda parte, mas nao e Frechet diferenciavel
em nenhum ponto. De fato, f e um caso especial de uma classe de aplicacoes,
do espaco L
1
(X, , ) em IR (onde (X, , ) e um espaco de medida dado),
denida por Sova em [5], que sao Gateaux diferenciaveis mas nao sao Frechet
diferenciaveis. Vamos convencionar de agora em diante que L
p
= L
p
([0, ]),
1 p < .
Ainda que possamos ver g como a restricao da aplicacao f a L
2
L
1
,
mostraremos que a aplicacao g e Frechet diferenciavel em toda parte embora,
contraditoriamente, g fosse citada por alguns autores ([1, p. 205], [2, p.124] e
[4, p. 125]) como exemplo de uma aplicacao que nao e Frechet diferenciavel.

Partially supported by CNPq

Mathematics Subject Classications: 46G05, 26A27.

Key words: Gateaux, Hadamard and Frechet derivatives; Dierentiability in Banach spaces;
Nondierentiability.

UNICENTRO/USP, IME, SP, Brasil, lorena@ime.usp.br

USP, IME, SP, Brasil, lf@ime.usp.br

1
2 Diferencial de Hadamard vs. Diferencial de Frechet 68
0
SBA
2 A Diferencial de Frechet
Consideremos, primeiramente, as diferenciais de Gateaux de f e de g. Para
isso sejam x, v L
1
, v = 0. Entao,
lim
t0
1
t
_

0
(sin[x(s) + tv(s)] sin x(s))ds = lim
t0
_

0
sin
tv(s)
2
t
2
cos[x(s) +
tv(s)
2
]ds
pois,
sin(x + tv) sin x = 2sin
tv
2
cos(x +
tv
2
).
Como

sin
tv(s)
2
t
2
cos[x(s) +
tv(s)
2
]

|v(s)|, s [0, ], o integrando e domi-

nado por v L
1
e, pelo Teorema da Convergencia Dominada, o limite existe e
e a derivada de Gateaux de f em x aplicada a v, ou seja,
f(x)v = lim
t0
_

0
sin
tv(s)
2
t
2
cos[x(s) +
tv(s)
2
] ds
=
_

0
lim
t0
_
v(s)
sin
tv(s)
2
tv(s)
2
cos[x(s) +
tv(s)
2
]
_
ds
=
_

0
v(s) cos x(s) ds.
Claramente g, que e a restricao de f a L
2
, tambem e Gateaux diferenciavel
x L
2
e g(x) =< cos x, >, onde <, > e o produto interno canonico de L
2
.
Alem disso, g(x) e uma aplicacao linear contnua de L
2
em L
2
. Mais ainda,
g e uniformemente Frechet diferenciavel em toda parte ([3]). Com efeito, apli-
cando a formula de Taylor `a funcao seno, existe z ]a, a + b[ tal que
| sin(a + b) sin a b cos a| =

b
2
2
sinz

.
Assim, para h L
2
_

0
| sin[x(s) + h(s)] sin x(s) h(s) cos x(s)| ds
_

0
1
2
|h(s)|
2
ds
=
1
2
h
2
2
.
Para que g seja Frechet diferenciavel em x, a derivada de Frechet de g deve
ser g(x). Assim, o seguinte limite deve existir e ser igual a 0
lim
h0
g(x + h) g(x) g(x)h
h
2
= lim
h0
1
h
2
_

0
(sin[x(s) + h(s)] sin x(s) h(s) cos x(s)) ds.
68
0
SBA Lorena Cardoso & Luiz Fichmann 3
Mas, dado > 0, para h
2
< 2 temos que
|g(x + h) g(x) < cos x, h > |
h
2

1
2
h
2
< ,
o que mostra que g e uniformemente diferenciavel no sentido de Frechet.
Para provar que f nao e Frechet diferenciavel em nenhum ponto x L
1
, nos
seguiremos a prova dada por Sova em [5, teorema 2.1.6].
Vamos mostrar que para cada x L
1
existe h L
1
tal que o conjunto
H
h
= {s [0, ]| sin[x(s) +h(s)] sin x(s) h(s) cos x(s) = 0} tenha medida de
Lebesgue positiva.
Denotemos por a medida de Lebesgue e suponhamos, por absurdo, que
para todo h L
1
, (H
h
) = 0. Seja q um n umero racional, dena h
q
(s) = q,
para todo s [0, ]. Temos que h
q
L
1
e que (H
h
q
) = 0. Consequente-
mente, H =
_
qI Q
H
h
q
tambem tem medida de Lebesgue nula. Assim, para todo
q I Q e para todo s / H, sin[x(s) + q] sin x(s) = q cos x(s). Uma con-
tradicao, pois a aplicacao q cos x(s) e uma funcao linear de q, mas a aplicacao
sin[x(s) + q] sin x(s) nao e.
Para cada x L
1
xado, escolhemos h
x
L
1
tal que (H
h
x
) > 0. Podemos
encontrar, entao, > 0 tal que (Z) > 0, sendo Z o seguinte conjunto:
Z = {s [0, ]| sin[x(s) + h
x
(s)] sin x(s) h
x
(s) cos x(s) > )}
(ou Z = {s [0, ]| sin[x(s) + h
x
(s)] sinx(s) h
x
(s) cos x(s) < )}).
Alem disso, como h
x
L
1
, existe > 0 e um subconjunto mensuravel
Z
0
de Z tal que (Z
0
) > 0 e |h
x
(s)| < para s Z
0
.
Podemos escolher uma sequencia (Z
n
)
nIN
de subconjuntos mensuraveis de
Z
0
Z tais que Z
n+1
Z
n
e (Z
n
) > 0, para todo n IN, satisfazendo

n=1
Z
n
= , e denir uma sequencia (h
n
)
nIN
de funcoes em L
1
por
h
n
(s) =
_
h
x
(s) se s Z
n
0 se s / Z
n
.

E facil ver que h

n

1
0 quando n , mas
|
_

0
(sin[x(s) + h
n
(s)] sin x(s) h
n
(s) cos x(s)) ds|
h
n

(Z
n
)
(Z
n
)
=

> 0.
Isto mostra que f nao e Frechet diferenciavel em nenhum x L
1
.
4 Diferencial de Hadamard vs. Diferencial de Frechet 68
0
SBA
3 A Diferencial de Hadamard
Comecaremos com a denicao de diferenciabilidade dada por Hadamard.
Lembramos que para X e Y espacos vetoriais topologicos indicamos por L(X, Y )
o espaco das aplicacoes lineares contnuas de X em Y .
Denicao 1 Sejam f : U X Y , X e Y espacos vetoriais topologicos,
U aberto de X, G a classe das funcoes g : I U, I IR vizinhanca
de 0, tais que g(0) = x
0
e g

(0) = lim
t0
g(t) g(0)
t
X. A funcao f e Hada-
mard diferenciavel em x
0
U se e somente se
H
f

(x
0
) L(X, Y ) satisfazendo
g G, (f g)

(0) = lim
t0
(f g)(t) (f g)(0)
t
Y e (fg)

(0) =
H
f

(x
0
)g

(0).
Para mostrarmos que uma funcao f e Hadamard diferenciavel, podemos
utilizar o seguinte resultado, dado por Daniel Henry em [6] (e citado em [7]),
que e equivalente `a denicao anterior no caso de espacos de Banach.
Teorema 1 Sejam X e Y espacos de Banach reais, x
0
U X, U aberto de
X e f : U Y . A funcao f e Hadamard diferenciavel em x
0
com derivada
H
f

(x
0
) = T se e somente se existe T L(X, Y ) tal que v X,
Tv = lim
(t, l) (0, 0)
(t, l) IR X
f(x
0
+ tv + tl) f(x
0
)
t
. (1)
Demonstracao:
Se f satisfaz (1) mas nao e Hadamard diferenciavel em x
0
, g G
_
ie, g(0) = x
0
e g

(0) = lim
t0
g(t) g(0)
t
X
_
,
0
> 0 e (t
n
) IR, t
n
0,
t
n
= 0, tais que
_
_
_
_
(f g)(t
n
) (f g)(0)
t
n
Tg

(0)
_
_
_
_

0
, n IN.
Denindo l
n
=
g(t
n
) g(0)
t
n
g

(0) e v = g

(0), temos que l

n
0 e
_
_
_
_
f(x
0
+ t
n
v + t
n
l
n
) f(x
0
)
t
n
Tv
_
_
_
_
=
_
_
_
_
_
_
_
_
f(g(0) + t
n
[g

(0) +
g(t
n
) g(0)
t
n
g

(0)]) f(g(0))
t
n
Tg

(0)
_
_
_
_
_
_
_
_
=
_
_
_
_
(f g)(t
n
) (f g)(0)
t
n
Tg

(0)
_
_
_
_

0
,
o que contradiz (1). Logo, f e Hadamard-diferenciavel e T =
H
f

(x
0
).
68
0
SBA Lorena Cardoso & Luiz Fichmann 5
Reciprocamente, supondo que f e Hadamard-diferenciavel e nao satisfaz (1),
entao, v X ,
0
> 0, (t
n
) IR, t
n
0, t
n
= 0 e (l
n
) X, l
n
0, tais que
_
_
_
_
f[x
0
+ t
n
(v + l
n
)] f(x
0
)
t
n

H
f

(x
0
)v
_
_
_
_

0
.
Consideremos g :] 1, 1[U dada por
_
g(t
n
) = x
0
+ t
n
v + t
n
l
n
, n IN
g(t) = x
0
+ tv, caso contrario.
Temos que g(0) = x
0
e que
lim
t0
g(t) g(0)
t
= lim
t0
_

_
x
0
+ t
n
v + t
n
l
n
x
0
t
n
x
0
+ tv x
0
t
= v.
Assim,
_
_
_
_
(f g)(t
n
) (f g)(0)
t
n

H
f

(x
0
)g

(0)
_
_
_
_
=
_
_
_
_
f[x
0
+ t
n
(v + l
n
)] f(x
0
)
t
n

H
f

(x
0
)v
_
_
_
_

0
,
absurdo, pois f e Hadamard-diferenciavel.
Portanto, f satisfaz (1) e T =
H
f

(x
0
).
Nosso objetivo agora e mostrar que a aplicacao f : L
1
IR denida por
f(x) =
_

0
sin x(t) dt e Hadamard diferenciavel, x L
1
. Vamos, entao, veri-
car que vale (1) para Tv =
_

0
v(s) cos x(s) ds, v L
1
, ou seja
_

0
v(s) cos x(s)ds = lim
(t, l)(0, 0)
(t, l) IRL
1
1
t
_

0
[sin(x(s) +tv(s) +tl(s)) sin x(s)]ds. (2)
Para provarmos o limite acima, vamos utilizar a seguinte versao do Teorema
da Convergencia Dominada.
Teorema 2 Sejam g
n
, g L
1
com g
n
(s) g(s), s [0, ], n IN. Se para
toda subsequencia (g
n
k
)
kIN
existe uma subsequencia (g
n
k
m
)
mIN
e h L
1
tais
que |g
n
k
m
(s)| h(s), s [0, ], entao
_

0
g
n
(s)ds
_

0
g(s)ds.
6 Diferencial de Hadamard vs. Diferencial de Frechet 68
0
SBA
Demonstracao:
Suponhamos por absurdo que
_

0
g
n
(s)ds nao convirja para
_

0
g(s)ds.
Logo,
0
> 0 e uma subsequencia (g
n
k
)
kIN
tal que

_

0
(g
n
k
(s) g(s))ds

0
,
k IN. Tomando (g
n
k
m
) (g
n
k
) e h L
1
, como na hipotese do teorema,
vemos pelo Teorema da Convergencia Dominada classico que
_

0
g
n
k
m
(s)ds
_

0
g(s)ds, o que contraria

_

0
(g
n
k
m
g(s))ds

0
.
Enunciaremos, agora, um lema necessario para a demonstracao de (2), o
qual sera demonstrado no nal desta secao.
Lema 1 Dada (l
k
)
kIN
uma sequencia em L
p
, 1 p < , tal que
l
k

p
0, k , entao existe uma subsequencia (l
k
m
)
mIN
tal que, denindo
L(s) = sup
mIN
|l
k
m
(s)|, s [0, ], teremos L L
p
.
Para demonstrar (2) devemos mostrar que (t
n
)
nIN
IR e (l
n
)
nIN
L
1
com t
n
0, t
n
= 0, e l
n

1
0, as funcoes
g
n
(s) =
sin[x(s) + t
n
v(s) + t
n
l
n
(s)] sin x(s)
t
n
satisfazem as hipoteses do Teorema 2.
De fato,
g
n
(s) =
sin
t
n
(v(s) + l
n
(s))
2
t
n
2
cos[x(s) +
t
n
(v(s) + l
n
(s))
2
],
portanto, g
n
(s) g(s) = v(s) cos(x(s)) e g L
1
.
Alem disso,
|g
n
(s)| =

sin
t
n
(v(s) + l
n
(s))
2
t
n
(v(s) + l
n
(s))
2
(v(s) + l
n
(s)) cos[x(s) +
t
n
(v(s) + l
n
(s))
2
]

.
|(v(s) + l
n
(s))|
|v(s)| + |l
n
(s)|.
Como l
n
k

1
0, do Lema 1 vem que (g
n
k
)
kIN
, (l
n
k
m
)
mIN
tal que L L
1
,
onde L(s) = sup
mIN
|l
n
k
m
(s)|. Logo, |g
n
k
m
(s)| |v(s)| + L(s) = h(s) com h L
1
.
Assim, pelo Teorema 2, temos que
_

0
g
n
(s)ds
_

0
g(s)ds.
Em decorrencia desse fato, e valido o limite (2).
Portanto, f e Hadamard diferenciavel em todo x L
1
.
68
0
SBA Lorena Cardoso & Luiz Fichmann 7
Demonstracao do Lema 1:
Como l
k

p
0, podemos escolher (l
k
m
)
mIN
tal que l
k
m

p

1
m
2
, m IN.
Assim,

m=1
l
k
m

p
< . Vamos mostrar que denindo h(s) =

m=1
|l
k
m
(s)|
(com valores em IR
+
{}) teremos h L
p
e, portanto, L L
p
, onde
L(s) = sup
mIN
|l
k
m
(s)|, ja que L h.
Para cada n IN, temos
_
_
_
_
_
n

m=1
|l
k
m
(s)|
_
_
_
_
_
p

m=1
l
k
m

m=1
l
k
m

p
= M <
(sendo que a primeira desigualdade e a de Minkowsky).
Assim,
_

0
_
n

m=1
|l
k
m
(s)|
_
p
ds =
_
_
_
_
_
n

m=1
|l
k
m
(s)|
_
_
_
_
_
p
p
M
p
, n IN.
Entao,
_
n

m=1
|l
k
m
(s)|
_
p
(h(s))
p
.
Pelo Teorema da Convergencia Monotona,
_

0
_
n

m=1
|l
k
m
(s)|
_
p
ds
_

0
(h(s)|)
p
ds M
p
< ,
ou seja, h L
p
e, como consequencia, L L
p
.
4 Comentario Final
A diferencial de Hadamard e um pouco menos conhecida que a de Frechet.
Isto se deve, em parte, ao fato de que em espacos de dimensao nita as denicoes
sao equivalentes. Ja em espacos de dimensao innita, a derivada de Hadamard
e mais fraca que a de Frechet (no sentido de que existem funcoes Hadamard
diferenciaveis que nao sao diferenciaveis no sentido de Frechet).
A diferencial de Hadamard pode ser uma excelente ferramenta para a re-
solucao de problemas, que vericamos nao serem derivaveis no sentido de Frechet.
Por exemplo, queremos linearizar uxos de sistemas dinamicos, em torno de um
ponto xo, com o intuito de obter uma conjugacao local com o sistema original.
Uma possibilidade seria a derivada de Gateaux que, por ser a mais fraca,
quase nao apresenta propriedades que possam ser usadas para analisar proble-
mas relevantes. Nesse contexto, a derivada de Hadamard se mostra uma otima
ferramenta, ja que possui muitas propriedades (para aplicacoes da derivada de
Hadamard em sistemas dinamicos ver [8] e [9]).
8 Diferencial de Hadamard vs. Diferencial de Frechet 68
0
SBA
Assim, procurar exemplos de funcoes nao triviais em espacos de dimensao
innita, que sejam Hadamard diferenciaveis, amplia o horizonte de aplicacoes e
nos motiva a buscar generalizacoes do conceito de derivada (ver [7]) que denam
sentidos de diferenciabilidade ainda mais fortes, para os casos em que a derivada
de Frechet nao se aplica.
Referencias
[1] AVERBUKH, V. I. ; SMOLYANOV, O. G. The theory of dierentiation in
linear topological spaces. Russian Math. Surveys, v.22, p.201-258, 1967.
[2] CHRISTENSEN, J. P. R. Topological and Borel structure. North-Holand
Math. Stud., v.10, 1974.
[3] KEDZIERSKA, M. G.; VAN VLECK, F. S. Frechet vs. Gateaux
dierentiability of lipschitzian functions. Proceedings of the American
Math. Soc., v.114 (4), p.905-907, 1992.
[4] NASHED, M. Z. Dierentiability and related properties of nonlinear
operators: Some aspects os dierentials in nonlinear functional analysis.
In: Nonlinear Functional Analysis. New York: Academic Press, 1971.
[5] SOVA, M. Conditions for dierentiability in linear topological spaces.
Czechoslovak Math. J., v.16, p.339-362, 1966.
[6] HENRY, D. Derivadas de Gateaux, Hadamard e Frechet. Comunica cao
pessoal.Sao Paulo: Universidade de Sao Paulo, 1990.
[7] MIRANDA, J. C. S.; FICHMANN, L. A generalization of the concept of
dierenctiability. Resenhas IME-USP, v.6 (4), p.397-427, 2005.
[8] FICHMANN, L. A compact dissipative dynamical system for a die-
rence equation with diusion. Journal os Dierential Equations, v.138,
p.1-18, 1997.
[9] OLIVEIRA, J. C. F.; FICHMANN, L. Discontinuous solutions of neutral
functional dierential equations. Publ. Mat., v.37, p.369-386, 1993.