Académique Documents
Professionnel Documents
Culture Documents
On pose f = IE + u:
1) Montrer que pour tout a 2 E; Df (a) 2 Isom(E):
2) Montrer quil existe b 2 E; f (b) = 2b:
3) Montrer que f est injective.
4) Montrer que limage rciproque par f de toute partie borne de E est une
partie borne.
5) Montrer que limage rciproque par f de toute partie compacte est une partie
compacte.
Dans la suite, on suppose que E est de dimension nie, pour y0 x dans E,
on dnit la fonction 'y0 : E ! R+ par 'y0 (x) = ky0 f (x)k :
6) Montrer quil existe x0 2 E en lequel 'y0 est minimum.
2
f (a)
Problme II:
I) Soit E un evn, Soit U un ouvert de E, u; v : U E ! R; de classe C 1 et soit
g : U E ! R; dnie par g(x) = u(x)v(x):
Montrer que g est de classe C 1 et calculer Dg(x):
Soit S = lensemble des endomorphismes symtriques de Rn (M 2 S ,<
M x; y >=< x; M y > 8x; y 2 Rn : Soit
Rn ; avec 0 2 ; et soit f : ! R; de
3
0
00
classe C ; avec f (0) = f (0) = 0 et f (0) est inversible, et on pose A(x) = f 00 (x)
et A(0) = A: f 00 (x)h2 = f 00 (x)(h; h) =< f 00 (x)h; h > 8h 2 Rn :
a) Dire pourquoi A 2 S:
2) soit l : S ! S dnie par L(M ) = M A 1 M:
i) Montrer que L est de classe C 1 ; calculer sa drive.
ii) Montrer que L ralise un diomorphisme (que lon note L1 ) entre deux
voisinages U et V de A dans S. Z
1
(1
t)A(tx)dt:
f (x) =
Ex 21: Soit C une partie convexe complte dun espace prhilbertien rel
E, pour tout x 2 E; on note PC (x) la projection de x sur C. Montrer que
lapplication f (x) = d(x; c) = kx PC xk est direntiable dans louvert EnC
on pose g(x) = f (x)2 , montrer que
2 < x; PC a
g(a + x)
g(a)
2 < x; a
PC a >
kxk
< a; x > x = 0 , x =
a
: (Ind: Considrer E = vect fag ):
kak
kxk
c) On admet que si kak > 1 , f possde un seul point critique. Montrer que
log kak
celui ci est
a:
kak
d) Calculer D2 f (x)(h; k); en prcisant les points o la drive seconde existe.
e) On rappelle que
D2 f (x)(h; k) =
exp (kxk)
< x; h >< x; k >
< h; k > +
kxk
kxk
1
kxk
exp (kxk)
2
Montrer quen tout point o D2 f (x) existe, on a D2 f (x)(h; h)
min(1; kxk) khk
kxk
h
i
(on pourra utiliser < h; x >= khk kxk cos avec 2 0; ): Puis dter2
miner la nature du point critique ventuel.
2