MP* : direntiabilit

EXERCICES

Exercices

Exercice 1.1 Donner la direntielle de

1. X 7! < AX; BX > o A et B 2 Mn (R) et X 2 Rn
2. f : X 7! t XM X o M 2 Mn (R) et X 2 Mn (R)
3. X 7! X 3 o X 2 Mn (R)
Exercice 1.2 Soit

2 C 1 (Rn ; Rn ) telle que : 8x 2 Rn ;

1. Montrer que, pour tout

kjd

x jk

< 1: On pose f = Id + :

> 0; il existe C 2 [0; 1[ tel que :

2

8(x; y) 2 B(0; ) ;

kf (x)

f (y)k > (1

C ) kx

yk :

2. Montrer que f (Rn ) est ouvert et ferm.

3. En dduire que f est un C 1 -diomorphisme de Rn sur Rn :
Exercice 1.3 On munit E = Rn de sa structure euclidienne canonique.
Soit f une fonction C 1 ; croissante, de R dans R; avec f (0) = 1 et f 0 (0) = 1:
On pose F (x) = f (kxk)x pour tout x de E:
1. Montrer que F est C 1 et exprimer sa direntielle.
2. Montrer que pour tous x; h de E : kF 0 (x):hk > f (kxk) khk :
3. Montrer que F est un C 1 -diomorphisme de E sur E:
Exercice 1.4 Soit f 2 C 1 (R; R) telle quil existe k 2]0; 1[ tel que : 8x 2 R;
F :

jf 0 (x)j 6 k: On pose

R3
! R3
(x; y; z) 7! (x + f (y); y + f (z); z + f (x))

Montrer que F est un C 1 -diomorphisme de R3 sur R3 :

www.mathematiques.fr.st

1/9

abdellah bechata

MP* : direntiabilit

INDICATIONS

Indications

Indication pour lexercice 1.1 : Il su t de revenir la dnition de la direntielle en calculant f (X + H) comme la

somme de f (X); dun terme linaire en H et de termes de ngligeable devant H (par exemple, H 2 ; etc).
Indication pour lexercice 1.2 :
1. Utiliser lingalit des acrroissements nis la fonction (sur chaque compact, justier lexistence dune constante K
telle que kjd x jk 6 K) puis majorer kx yk laide dexpression en f et en :
Pour ceux qui ne connaissent pas lingalit des accroissements nis pour les fonctions plusieurs variables, considrer pour chaque fonction composante i de
(i.e
= ( 1 ; ::; n )); la fonction gi : t 7! i (tx + (1 t)y; et je
conseille au lecteur de calculer sa drive par lutilisation des DL1 an de ne pas commettre derreurs dans la di rentielle dune compose) et lui appliquer lingalit classique des accroissements nis puis en dduire une majoration de
k (x)
(y)k 6 K kx yk (en considrant par exemple la norme euclidienne)
2. Justier que f est un C 1 diomorphisme local. Pour cela, on montrera que dfx :h = 0 ) h = 0 (on noubliera pas que
f = Id + )
En dduire que f (Rn ) est ouvert.
Pour montrer que f (Rn ) est ferm, considrer une suite yn = f (xn ) de f (Rn ) qui converge dans Rn et montrer que la
suite (xn ) est de Cauchy.
3. Montrer linjectivit de f , utiliser le thorme dinversion globale et se rappeler quels sont les ensembles qui sont la
fois ouvert et ferm dans Rn :
Indication pour lexercice 1.3 :
1. Utiliser les thormes de composition et multiplication des fonctions C 1 pour justier que F est C 1 sur Rn nf0g et en
0; utiliser le DL1 (0) de f pour justier la direntiabilit de F en 0: Expliciter la direntielle de F en revenant
dnition initiale de la direntielle (F (x + h) = F (x) + A(h) + o(h); o h 7! A(h) est une application linaire, on
p
explicitera le DL1 de x 7! kxk = < x; x > puis on composera par le DL1 (0) de f ). puis vrier que lim F 0 (x) = F 0 (0).
x!0

Attention, pour cette dernire limite, il sagit dapplications linaires, donc on devra estimer la norme de la dirence
et plus prcisment kF 0 (x):h F 0 (0):hk puis on passera la norme subordonne)
2

2. Lexpression F 0 (x):h (qui est un vecteur de Rn ) est la somme de deux vecteurs a et b et on utilisera le fait que ka + bk =
2
2
kak +kbk +2 < a; b > pour en dduire lingalit demande.Montrer que pour tous x; h de E : kF 0 (x):hk > f (kxk) khk :
3. Utiliser lingalit prcdente pour justier que F 0 (x) est bien une application linaire injective (donc bijection puisque
lon est en gale dimension) pour en dduire que F est un C 1 -diomorphisme local.
Linjectivit de F sobtient en revenant la dnition F (x) = F (y); en passant la norme et en tudiant les variations
de la fonction t 7! tf (t):
Pour montrer que F (E) = E; justier que F (E) est un ouvert (revoir si ncessaire la totalit du thorme dinversion
locale ou globale) et montrer que f (E) est ferm. Pour cela, on considre une suite yn = F (xn ) = f (kxn k)xn de F (E)
qui converge dans E; puis on justie que la suite (xn )n est borne (utiliser de nouveau la fonction t 7! tf (t)); extraire
une sous-suite convergente et on en dduit que lim yn = F (x) pour un x convenable.
n!+1

Indication pour lexercice 1.4 : Vrier dabord que F est bien un C 1 -diomorphisme local.
Justier ensuite linjectivit de F (on reviendra la dnition primitive de linjectivit et on utilisera bon escient lingalit
des accroissements nis sur la bonne fonction).
Montrer pour nir que F (R3 ) = R3 en montrant que F (R3 ) est ouvert (relire si ncessaire la totalit du thorme dinversion
local ou global) et puis quil est ferm (pour cela, considrer une suite Zn = F (xn ; yn ; zn ) de F (R3 ) convergente dans R3
et montrer que les trois suites (xn )n ; (yn )n et (zn ) sont bornes, extraire des sous-suites convergentes et en dduire que
lim Zn = F (x; y; z) pour x; y; z convenables)
n!1

www.mathematiques.fr.st

2/9

abdellah bechata

MP* : direntiabilit

CORRECTIONS

Corrections

Correction de lexercice 1.1 :

1. On note f lapplication X 7! < AX; BX > de Rn dans R: Pour tous les vecteurs X; H de Rn , on a
f (X + H)

=
=

< A(X + H); B(X + H) >= < AX + AH; BX + BH >

< AX; BX > + < AH; BX > + < AX; BH > + < AH; BH >
|
{z
} |
{z
} |
{z
}
=f (X)

=dfX (H)

=o(H)

Il est vident que lapplication H 7! < AH; BX > + < AX; BH > est R-linaire et elle est continue sur Rn , soit en
utilisant le fait que toute application linaire en dimension nie est continue, soit en utilisant lingalit triangulaire,
lingalit de Cauchy-Schwartz ainsi que les normes subordonnes
j< AH; BX > + < AX; BH >j 6 j< AH; BX >j + j< AX; BH >j 6 kAHk kBXk + kAXk kBHk
6 kjAjk kHk kjBjk kXk + kjAjk kXk kjBjk kHk = 2 kjAjk kjBjk kXk kHk
Il reste montrer que lexpression H 7!< AH; BH > est ngligeable devant H (cest--dire devant la norme kHk de
H)
2
j< AH; BH >j 6 kAHk kBHk 6 kjAjk kHk kjBjk kHk = kjAjk kjBjk kHk = o(kHk)
Par consquent, pour tout vecteur X de Rn ; lapplication f est direntiable en X et lon a
dfX :

Rn
X

! Lc (Rn ; R)
7
!
(H !
7 < AH; BX > + < AX; BH >)

Remarquons pour nir, que lon pourrait remplacer Rn par un espace de Hilbert quelconque H et les matrices A et B
par deux endomorphismes continus sur H (pour utiliser les normes subordonnes) et lapplication f serait galement
di rentiable. Des extensions analogues sont valables pour les deux questions suivantes.
2. On note f lapplication X 7! t XM X de Mn (R) dans Mn (R): Pour toutes les matrices X; H de Mn (R), on a
f (X + H)

=
=

(t (X + H)M (X + H)) = (t X + t H)M (X + H) = (t XM + t HM )(X + H)

t
t
+ t HM X + |t HM
|XM
{z X} + | XM H {z
{z H}
}
=f (X)

=o(H)

=dfX (H)

Il est vident que lapplication H 7! t XM H + t HM X est R-linaire et elle est continue sur Mn (R), soit en utilisant le
fait que toute application linaire en dimension nie est continue, soit en choississant une norme k:k sous-multiplicative
sur Mn (R) (i.e. kABk 6 kAk kBk, ce qui est le cas de toutes les normes subordonnes relativement aux normes de Rn )
et invariante par transposition (i.e. kt Ak = kAk ; ce qui est le cas pour la norme euclidienne sur Mn (R)) et en utilisant
lingalit triangulaire
t

XM H + t HM X 6

XM H +

HM X 6

X kM k kHk +

H kM k kXk = 2 kXk kM k kHk

Il reste montrer que lexpression H 7! t HM H est ngligeable devant H (cest--dire devant la norme kHk de H)
t

HM H 6

H kM k kHk = kM k kHk = o(kHk)

Par consquent, pour toute matrice M de Mn (R); lapplication f est direntiable en M et lon a
dfM :

Mn (R) ! Lc (Mn (R))

M
7! (H 7! t XM H + t HM X)

3. On note f lapplication X 7! X 3 de Mn (R) dans Mn (R): Pour toutes les matrices X; H de Mn (R), on a
f (X + H)

= (X + H)3 = (X + H)(X + H)2 = (X + H)(X 2 + HX + XH + H 2 )

= X 3 + XHX + X 2 H + XH 2 + HX 2 + H 2 X + HXH + H 3
= |{z}
X 3 + XHX + X 2 H + HX 2 + H 2 X + HXH + XH 2 + H 3
|
{z
} |
{z
}
=f (X)

=dfX (H)

=o(H)

Il est vident que lapplication H 7! XHX + X 2 H + HX 2 est R-linaire et elle est continue sur Mn (R), soit en
utilisant le fait que toute application linaire en dimension nie est continue, soit en choississant une norme k:k sousmultiplicative sur Mn (R) (i.e. kABk 6 kAk kBk, ce qui est le cas de toutes les normes subordonnes relativement aux
normes de Rn ) et en utilisant lingalit triangulaire
XHX + X 2 H + HX 2 6 kXHXk+ X 2 H + HX 2 6 kXk kHk kXk+kXk kXk kHk+kHk kXk kXk = 3 kXk kHk
2

www.mathematiques.fr.st

3/9

abdellah bechata

MP* : direntiabilit

CORRECTIONS

Il reste montrer que lexpression H 7! H 2 X + HXH + XH 2 + H 3 est ngligeable devant H (cest--dire devant la
norme kHk de H): Par les mmes types de majoration que prcdemment, on a
H 2 X + HXH + XH 2 + H 3 6 (2 kXk + kHk) kHk = o(H)
2

Par consquent, pour toute matrice X de Mn (R); lapplication f est direntiable en X et lon a
dfX :

Mn (R) ! Lc (Mn (R))

M
7! H !
7 XHX + X 2 H + HX 2

On munit Rn de la norme innie (k(x1 ; ::; xn )k = sup jxi j) et kjAjk dsigne la norme

Correction de lexercice 1.2 :

i2[[1;n]]

subordonne de lendomorphisme A de Rn : En particulier, lorsque A est gal d

linaire de Rn (espace de dpart de ) dans Rn (espace darrive de Rn ).

qui, par dnition, est une application

1. Soit un rel positif, la boule ferme B(0; ) est un compact de Rn (par caractrisation des compacts en dimension
nie). En outre, lapplication tant C 1 sur Rn ; on en dduit que lapplication x 7! d x ; qui, rappelons-le, va de
Rn dans Lc (Rn ; Rn ); est continue sur le compact B(0; ). Puisque pour tout x 2 Rn ; d x est une application linaire
continue de Rn dans Rn ; on dsigne par kjd x jk la norme subordonne ( une norme xe de Rn ) de d x et lapplication
x 7! kjd x jk est une application continue de Rn valeurs dans R; ce qui implique quelle est borne sur B(0; ) et
quelle y atteint ses bornes. Par consquent, il existe x 2 B(0; ) tel que
8x 2 B(0; );

kjd

x jk

d
|

<1

{z

=C

Ds lors, on est tent dappliquer lingalit des accroissements nis mais cette ingalit nest pas au programme
des classes de MP/MP*. Cela ne fait rien, nous allons la redmontrer. Pour cela, on commence par considrer les
fonctions composantes de ; cest--dire les n fonctions ( i )i2[[1;n]] de Rn dans R dnies par
8x 2 Rn ;

(x) = (

Soient x et y deux lments de B(0; ), pour chaque fonction

par
8t 2 [0; 1]; gi (t) =

1 (x); :::;
i;

n (x))

on considre la fonction gi dnie sur le segment [0; 1]

i (tx

+ (1

t)y)

(on regarde la fonction i le long du segment reliant x y; ce segment tant en totalit inclu dans la boule ferme
B(0; )): Calculons sa direntielle
gi (t + h)

=
(t + h))y) = i (tx + (1 t)y + h(x
i ((t + h)x + (1
=
(tx
+
(1
t)y)
+
(d i )tx+(1 ty) :(h(x y)) + o(h)
i
= gi (t) + h(d i )tx+(1 ty) :(x y) + o(h)

par linarit de d i (qui est une application linaire !!) donc g 0 (t) = (d i )tx+(1
subordonnes, on obtient
jgi0 (t)j = (d i )tx+(1

8t 2 [0; 1];

y) 6

ty) :(x

(d i )tx+(1

ty)

ty) :(x

kx

y))

y) et en utilisant les normes

yk 6 C kx

yk

puisque x; y et tx + (1 t)y appartiennent B(0; ): On peut donc appliquer lingalit des accroissements nis la
fonction gi entre 0 et 1, ce qui nous donne
jg(1)

g(0)j 6 C kx

) 8x; y 2 B(0; );

k (x)

yk j1

0j , j i (x)

(y)k = max j i (x)

i2[[1;n]]

i (y)j

6 C kx

i (y)j

yk

6 C kx

yk

Aprs cette petite mise en bouche, le rsultat demand tombe comme un fruit mr. En eet, puisque f = I + ; on a,
pour tout vecteur z de Rn ; lgalit : f (z) = z + (z) , x = f (x)
(x); ce qui permet dcrire
8x; y
kx yk

www.mathematiques.fr.st

2 B(0; );
= kf (x)
(x) (f (y)
(y))k = kf (x) f (y) ( (x)
6 kf (x) f (y)k + k (x)
(y)k 6 kf (x) f (y)k + C kx
) kf (x) f (y)k > (1 C ) kx yk
4/9

(y)k
yk

abdellah bechata

MP* : direntiabilit

CORRECTIONS

2. f est un C 1 -diomorphisme local : montrons que sa direntielle est inversible en tout point x de Rn : Puisque f =
Id + et que la direntielle dune application linaire est elle-mme, ce qui est le cas de Id; on en dduit que dfx =
Id +d x : Soit h un vecteur de Rn appartenant au noyau de dfx alors
dfx :h = 0 , (Id +d

x ):h

=0,h+d

x :h

=0,

h=d

x :h

) khk = kd

x :hk

6 kjd

n jk khk

Si h est non nul, khk est galement non nul, ce qui permet de diviser par khk dans lingalit prcdente et lon obtient
que 1 6 kjd x jk ; ce qui est absurde puisque kjd x jk < 1 donc h = 0 et lapplication linaire dfx est injective. Or cest
une application linaire de Rn dans Rn donc elle est bijective, cest--dire que pour tout point x de Rn ; dfx est un
isomorphisme.
Par consquent, f est C 1 sur Rn et sa direntielle est inversible en tout point x de Rn donc, pour chaque point x de
Rn ; il existe un voisinage ouvert Vx tel que f ralise un C 1 -diomorphisme de Vx sur f (Vx ) et f (Vx ) est un voisinage
ouvert de f (x):
S
S
Vx =
f (Vx ) est une runion douverts donc cest un
f (Rn ) est un ouvert : Il est immdiat que f (Rn ) = f
x2Rn

x2Rn

ouvert.
f (Rn ) est un ferm : On utilise pour cela la caractrisation squentielle des ferms. Soit (yk )k2N une suite de points
de f (Rn ) convergeant dans Rn vers y: Il faut montrer que y 2 f (Rn ): Par dnition, pour chaque point yk ; il existe un
point xk de Rn tel que yk = f (xk ): La suite (yk )k2N tant convergente dans Rn ; donc elle est borne, ce qui implique
quelle est incluse dans une certaine boule B(0; ); et elle est de Cauchy, cest--dire que
8" > 0;

9N 2 N;

8k > N;

8p 2 N;

kyk+p

yk k 6 " , kf (xk+p )

f (xk )k 6 "

Si lon utilisant lingalit obtenue la question 1 et en tenant compte du fait que C < 1; on en dduit que
8" > 0;

9N 2 N;

8k > N;

8p 2 N;

kxk+p

xk k 6

"
kf (xk+p ) f (xk )k
6
1 C
1 C

La constante C tant indpendante de k; p et "; on en dduit que la suite (xk )k2N est de Cauchy dans Rn (remplacer "
par "(1 C )): Lespace Rn tant complet, on en dduit que la suite (xk )k2N converge dans Rn vers un vecteur x 2 Rn :
La fonction f tant continue sur Rn ; il est immdiat que lim f (xk ) = f ( lim xk ) = f (x), ce qui scrit encore
k!+1

k!+1

y = f (x) donc y 2 f (Rn ); cqfd.

3. Nous savons que f est un C 1 -diomorphisme au voisinage de chaque point x de Rn : Pour utiliser le thorme dinversion
globale, il faut montrer que f est injective sur Rn : Soient x et y deux points de Rn tels que f (x) = f (y); ce qui est
vident en utilisant lingalit de la question 1
kf (x) f (y)k > (1
|
{z
}

C ) kx

yk , 0 > kx

yk , kx

yk = 0 , x = y

=0

Ainsi, toutes les hypothses du thorme dinversion globale sont ralises, ce qui implique que f ralise un C 1 diomorphisme de Rn sur f (Rn ): Hors la question 2, on a montr que f (Rn ) est la fois ouvert et ferm et le cours
sur la connexit montre que les ensembles ouverts et ferms de Rn sont lensemble vide ; ou Rn : Il est vident que
f (Rn ) 6= ; donc f (Rn ) = Rn :
Correction de lexercice 1.3 :
p
2
1
1. Lapplication x 7! kxk = < x; x > est C 1 sur Rn (cest un polynme
q en les coordonnes), la fonction t 7! t est C
2
2
sur R+ et 8x 2 Rn nf0g; kxk > 0 donc lapplication x 7! kxk = kxk est C 1 sur Rn nf0g: La fonction f tant C 1
sur R ainsi que la fonction x 7! x; il est immdiat que la fonction x 7! f (kxk)x = F (x) est C 1 sur Rn nf0g:
La fonction f admet le DL1 (0) suivant f (t) = 1 + t + o(t) donc
t!0

F (0 + h) = F (h) = [1 + khk + o(khk)] h = h + h khk + o(h khk) = h + o(khk)

Par consquent, la fonction F est direntiable en 0 et sa direntielle est donne par F 0 (0) : h 7! h ou encore
F 0 (0) = IdE :
Pour justier que F est C 1 sur Rn tout entier, il reste montrer que lim F 0 (x) = F (0): Pour cela, nous allons expliciter
x!0

la direntielle en revenant la dnition initiale sous la forme dun DL1 (0); en commenant par donner le DL1 (0) de

www.mathematiques.fr.st

5/9

abdellah bechata

MP* : direntiabilit

CORRECTIONS

y 7! kyk au voisinage de x puis en utilisant le DL1 (kxk) de f (Taylor lordre 1). Lorsque x est non nul, on a :
s
q
q
q
< x; h >
2
2
2
2
kx + hk =
kx + hk = kxk + 2 < x; h > + khk = kxk 1 + 2
+ o(khk)
2
kxk
!
1
< x; h >
< x; h >
= kxk 1 +
2
+ o(khk) = kxk +
+ o(khk)
2
2
kxk
kxk
f (kx + hk)
F (x + h)

= f

kxk +

< x; h >
+ o(khk)
kxk

= f (kxk) + f 0 (kxk)

< x; h >
+ o(khk)
kxk

< x; h >
+ o(khk) (x + h)
kxk
< x; h >
= f (kxk)x + f 0 (x) < x; h > x + f (kxk)h + f (kxk)
h + xo(khk) + ho(khk)
| {z } |
{z
}
kxk
|
{z
}
0
=F (x)
=F (x):h
= f (kx + hk)(x + h) =

f (kxk) + f 0 (kxk)

=o(khk)

En eet, xo(khk) + ho(khk) sont des o(khk) et la majoration

k< x; h > hk = j< x; h >j

khk 6 kxk

khk

khk = kxk khk = o(khk)

< x; h >
h est galement un o(khk) (le vecteur x tant x).
kxk
Par consquent, la direntielle de F en x est donn par
montre que lexpression f (kxk)

F 0 (x) :

8x 2 Rn ;

Rn
h

! Rn
7! f 0 (x) < x; h > x + f (kxk)h

Remarquons que lcriture lim F 0 (x) = F (0) signie que lendomorphisme F 0 (x) tend vers lendomorphisme F 0 (0)
x!0

lorsque x ! 0; ou encore que lim kjF 0 (x)

x!0

F 0 (0)jk = 0: Plutt que de travailler sur les normes subordonnes,

nous allons commencer par estimer la dirence kF 0 (x):h

kjF 0 (x) F 0 (0)jk
kF 0 (x):h

F 0 (0):hk puis nous en dduirons une majoration de

F 0 (0):hk = kf 0 (kxk) < x; h > x + f (kxk)h hk

6 jf 0 (kxk) < x; h >j kxk + kff (kxk) 1g hk
6 jf 0 (kxk)j kxk khk kxk + jf (kxk) 1j khk

et en passant au sup lorsque h dcrit la boule unit, x tant x, on obtient

kjF 0 (x)

F 0 (0)jk 6 jf 0 (kxk)j

kxk + jf (kxk)

1j
2

Puisque f est C 1 sur R et que f (0) = f 0 (0) = 1; on en dduit que lim jf 0 (kxk)j kxk +jf (kxk)

1j = 0 et lencadrement

x!0

prcdent implique que lim kjF (x)

x!0
entier.

F (0)jk = 0 donc F est bien C en 0, ce qui implique que F est C 1 sur Rn tout

2. On va utiliser la structure euclidienne (je laisse le soin au lecteur de se convaincre que lobtention de la minoration
souhaite laide dune norme quelconque savre impossible)
2

kF 0 (x):hk

= kf 0 (kxk) < x; h > x + f (kxk)hk

2

= jf 0 (kxk)j < x; h >2 kxk + 2f 0 (kxk) < x; h >< x; h > + [f (kxk)] khk
2

= jf 0 (kxk)j < x; h >2 kxk + 2f 0 (kxk) < x; h >2 + [f (kxk)] khk

Daprs lnonc, la fonction f est croissante donc sa drive est positive sur R tout entier. En particulier, lexpression
f 0 (kxk) est positive pour tout x 2 Rn , tout comme < x; h >2 ; donc
2

kF 0 (x):hk > [f (kxk)] khk , kF 0 (x):hk > jf (kxk)j khk

2

3. On doit vrier pour commencer que les conditions requises par le thorme dinversion globale sont satisfaitent.
Lapplication F est de classe C 1 sur Rn (daprs la question 1).
Injectivit de F : Soient x et y deux vecteurs de Rn tels que
F (x) = F (y) , f (kxk)x = f (kyk)y
www.mathematiques.fr.st

6/9

(1)
abdellah bechata

MP* : direntiabilit

CORRECTIONS

La fonction f tant croissante, on en dduit que 8t > 0; f (t) > f (0) = 1 > 0, donc pour tout vecteur z 2 Rn ; on a
f (kzk) > 1 > 0: En passant la norme dans lgalit (1), on obtient
f (kxk) kxk = f (kyk) kyk

(2)

La fonction t 7! g(t) = tf (t) est strictement croissante sur R+ puisquelle y est C 1 et sa drive est donne par
t f 0 (t) qui est strictement positive (la fonction f tant croissante, sa drive est positive). Par
g 0 (t) = f (t) + |{z}
|{z}
| {z }
>1

>0

>0

consquent, la fonction t 7! tf (t) est injective donc lgalit (2) est quivalente lgalit kxk = kyk : En particulier,
f (kxk) = f (kyk) et puisque f est strictement positive sur R+ ; on peut diviser f (kxk) = f (kyk) dans lgalit (1), ce
qui entraine que x = y et dmontre linjectivit de lapplication F sur Rn :
Inversibilit de la direntielle en tout point de Rn .
Pour montrer que 8x 2 Rn ; la direntielle F 0 (x), qui est un endomorphisme de Rn ; est inversible, il su t de montrer
quelle est injective. Soit h un vecteur de Rn appartenant au noyau de F 0 (x); cest--dire F 0 (x):h = 0: La majoration
obtenue la question 2 montre que
0 = k0k = kF 0 (x):hk > jf (kxk)j khk ) 0 > jf (kxk)j khk

La fonction f tant strictement positive sur R+ ; on est en droit de diviser par f (kxk); ce qui implique que khk 6 0
donc khk = 0 (une norme est toujours positive), ce qui montre que h = 0:

Les conditions du thorme dinversion globale sont ralises donc F ralise un C 1 -diomorphisme de Rn sur F (Rn )
et F (Rn ) est ouvert.
Il reste donc montrer que F (Rn ) = Rn : Pour justier cette galit ensembliste, nous allons montrer que F (Rn ) est
ferm dans Rn . En eet, les seuls ensembles qui sont la fois ouvert et ferm dans Rn sont lensemble vide ; et Rn ; or
F (Rn ) ntant pas vide et tant ouvert (thorme dinversion global) et ferm, cela implique que F (Rn ) = Rn :
Dmonstration du fait que F (Rn ) est ferm : Nous allons utiliser la caractrisation squentielle (par les suites) des
ferms. Soit (yk )k une suite de F (Rn ) convergeant vers un vecteur y de Rn : Par construction, pour tout entier k; il
existe un vecteur xk de Rn tel que yk = F (xk ) = f (kxk k) xk . La suite (yk )k est convergente dans Rn donc elle est
borne par une constante M; ce qui nous permet dcrire
kyk k 6 M , kf (kxk k) xk k 6 M , f (kxk k)

8k 2 N;

kxk k 6 M

La fonction f est suprieure 1 sur R+ (cf. la justication de linjectivit de F ); on en dduit que

8k 2 N;

kxk k 6 f (kxk k)

kxk k 6 M

donc la suite (xk )k est borne. On peut donc en extraire une sous-suite convergente (x'(k) )k vers un vecteur x: La
continuit de la fonction F implique que la suite F (x'(k) ) = y'(k) converge vers F (x): Or la suite (y'(k) )k est une suite
extraite de la suite convergente (yk )k donc lim y'(k) = y; ce qui entraine que y = F (x) donc y 2 F (Rn ) et lensemble
k!+1

F (Rn ) est bien ferm.

Correction de lexercice 1.4 : Nous allons bien entendu utiliser le thorme dinversion globale.
Lapplication F est C 1 sur R3 : cela rsulte immdiatement du fait que lapplication f tant C 1 sur R
Lapplication F est injective sur R3 : La drive de f est borne par k < 1 sur R tout entier. On est donc en droit dappliquer
lingalit des accroissements nis
8u; v 2 R; jf (u) f (v)j 6 k ju vj
Considrons deux vecteurs (x1 ; y1 ; z1 ) et
8
< x1 + f (y1 ) = x2 + f (y2 )
y1 + f (z1 ) = y2 + f (z2 )
,
:
z1 + f (x1 ) = z2 + f (x2 )

(x2 ; y2 ; z2 ) tels que F (x1 ; y1 ; z1 ) = F (x2 ; y2 ; z2 ); ce qui

8
8
< x1 x2 = f (y2 ) f (y1 )
< jx1 x2 j = jf (y2 )
y1 y2 = f (z2 ) f (z1 ) )
jy1 y2 j = jf (z2 )
:
:
z1 z2 = f (x2 ) f (x1 )
jz1 z2 j = jf (x2 )

) (1) : jx1

x2 j 6 k jy2

y1 j 6 k 2 jz2

z1 j 6 k 3 jx2

implique que

x1 j

f (y1 )j 6 k jy2 y1 j
f (z1 )j 6 k jz2 z1 j
f (x1 )j 6 jx2 x1 j

En particulier, on a jx1 x2 j 6 k jx1 x2 j : Si x1 6= x2 alors on peut diviser par jx1 x2 j, ce qui entraine que 1 6 k 3 , 1 6 k;
ce qui est absurde puisque k 2]0; 1[ donc x1 = x2 : Lencadrement (1) induit immdiatement que y2 = y1 et z2 = z1 donc
(x1 ; y1 ; z1 ) = (x2 ; y2 ; z2 ) et linjectivit de F est justife.
La direntielle de F est inversible en tout point de R3 : On calcule le dterminant jacobien de F
3

@
(x + f (y))
@x
@
JF (x; y; z) = @x (y + f (z))
@
(z + f (x))
@x
www.mathematiques.fr.st

@
(x + f (y))
@y
@
(y + f (z))
@y
@
(z + f (x))
@y

@
(x + f (y))
@z
1
f 0 (y)
0
@
0
(y + f (z)) = 0
1
f
(z) = 1 + f 0 (x)f 0 (y)f 0 (z)
@z
0
f (x)
0
1
@
(z + f (x))
@z
7/9

abdellah bechata

MP* : direntiabilit

CORRECTIONS

Puisque 8(x; y; z) 2 R3 ; on dispose de lingalit jf 0 (x)f 0 (y)f 0 (z)j 6 k 3 < 1; on en dduit immdiatement que 1 +
f 0 (x)f 0 (y)f 0 (z) > 0 donc JF (x; y; z) 6= 0 sur R3 :

Par consquent, lapplication F est un C 1 -diomorphisme de R3 sur F (R3 ) (et F (R3 ) est un ouvert) Pour achever lexercice,
il su t de montrer que F (R3 ) = R3 :

Justication que F (R3 ) = R3 :

Premire mthode (par connexit) : Puisque F (R3 ) est ouvert (thorme dinversion globale), il su t de montrer que
F (R3 ) est ferm, car les seuls ensembles qui sont la fois ouvert et ferm dans R3 sont lensemble vide ; et R3 ; or F (R3 )
ntant pas vide, il est obligatoire que F (R3 ) = R3 :
Soit (xn ; yn ; zn )n une suite de F (R3 ) convergeant vers un vecteur (x; y; z) dans R3 : Par construction, pour tout entier n; il
existe un triplet ( n ; n ; n ) de R3 tel que
8
< xn = n + f ( n )
yn = n + f ( n )
8n 2 N; (xn ; yn ; zn ) = F ( n ; n ; n ) ,
:
zn = n + f ( n )
Montrons que la suite ( n ; n ; n )n est borne. Pour commencer, les suites (xn )n ; (yn )n et (zn )n sont bornes sur R
(puisquelles sont toutes convergentes) et il existe un rel positif M tel que
8
8
< jxn j 6 M
< j n + f ( n )j 6 M
jyn j 6 M ,
j + f ( n )j 6 M
8n 2 N;
:
: n
jzn j 6 M
j n + f ( n )j 6 M

Lingalit des accroissements nis applique la fonction f (qui vrie 8t 2 R; jf 0 (t)j 6 k < 1) nous donne
8t 2 R;

jf (t)

f (0)j 6 k jt

0j = k jtj ) jf (t)j = j[f (t)

Cette ingalit combine au systme (Sn ) implique

8
< j n j = j[ n + f ( n )]
j n j = j[ n + f ( n )]
8n 2 N;
:
j n j = j[ n + f ( n )]
8
< j n j 6 M + jf (0)j + k j n j
j j 6 M + jf (0)j + k j n j
,
: n
j n j 6 M + jf (0)j + k j n j
)

(1

k) (j

nj

+j

nj

+j

n j)

f (0)] + f (0)j 6 jf (0)j + k jtj

que
f(
f(
f(

6j
6j
n )j 6 j
n )j

n )j

)j

nj

+ f(
+ f(
n + f(
n

+j

nj

+j

6 3(M + jf (0)j) ) j

n )j

+ jf (
+ jf (
n )j + jf (
n )j

nj
nj

6 M + jf (0)j + k j
6 M + jf (0)j + k j
n )j 6 M + jf (0)j + k j
n )j

n )j

6 3(M + jf (0)j) + k(j

+j

nj

+j

nj

nj

+j

nj

nj

nj

nj

+j

n j)

3(M + jf (0)j)
1 k

3(M + jf (0)j)
, ce que lon peut interprter comme tant le fait que
1 k
la suite ( n ; n ; n )n est borne pour la norme N1 (a; b; c) = jaj + jbj + jcj sur R3 : On peut donc extraire une sous-suite
( '(n) ; '(n) ; '(n) )n convergente vers un vecteur ( ; ; ) de R3 (Bolzano-Weierstrass dans un espace de dimension nie).
La fonction F tant continue sur R3 ; on en dduit que la suite (F ( '(n) ; '(n) ; '(n) ))n converge vers F ( ; ; ): Or, par
construction, pour tout entier naturel n; on a F ( '(n) ; '(n) ; '(n) ) = (x'(n) ; y'(n) ; z'(n) ) qui est une suite extraite de la
suite (xn ; yn ; zn ) qui converge vers (x; y; z) donc (x; y; z) = F ( ; ; ); ce qui dmontre que (x; y; z) 2 F (R3 ) et achve la
preuve.

Ainsi, la somme j

nj

+j

nj

+j

nj

est borne par

Deuxime mthode (explicite itrative) : La surjectivit de F (F (R3 ) = R3 ) est

vecteur (x; y; z) de R3 ; il existe un vecteur ( ; ; ) de R3 tel que
8
8
< x = + f( )
< =x
y = + f( ) ,
=y
(x; y; z) = F ( ; ; ) ,
:
:
z = + f( )
=z

quivalente montrer que pour tout

f( )
f( )
f( )

on a ramen la surjectivit lexistence dun point xe ( ; ; ) pour lapplication

T : ( ; ; ) 7! (x

f ( ); y

f ( ); z

f ( ))

(qui dpend du point (x; y; z) quand mme !!). On introduit classiquement la suite Xn = (
relation de rcurrence suivante :
8
< n+1 = x f ( n )
= y f ( n)
8n 2 N; Xn+1 = T (Xn ) et X0 = (0; 0; 0) ,
et
: n+1
=
z
f
(
)
n
n+1
www.mathematiques.fr.st

8/9

n;

n;

n)

de R3 dnie par la

=0

abdellah bechata

MP* : direntiabilit

CORRECTIONS

Nous allons montrer la convergence de cette suite de vecteurs. On munit R3 dune norme quelconque mais, les calculs
mens dans la premire mthode nous incite choisir la norme N1 dnie par N1 (a; b; c) = jaj + jbj + jcj : Lingalit des
accroissements nis applique la fonction f nous montre que
8u; v 2 R;

f (v)j 6 k ju

jf (u)

vj

ce qui entraine que

8n 2 N ;

8
< j
:

n+1
n+1
n+1

nj
n

= x
= y
= jz

f ( n)
f ( n)
f ( n)

(x
(y
(z

f(
f(
f(

n 1)
n
n

= f(
)
= f(
1
)j
=
jf (
1

n 1)
n
n

f(
f(
f(

1)
1)

6k
)
6
k
n
)j
6
k
j
n
n)

n 1

n 1

n 1j

En additionnant ces trois ingalits, on en dduit que

8n 2 N ;

N1 (Xn+1

Xn ) 6 kN1 (Xn

Xn

1)

Une rcurrence immdiate, que je laisse au lecteur, montre que

Par consquent, la srie

8n 2 N ;

N1 (Xn+1

Xn ) 6 k n N1 (X1

X0 )

N1 (Xn+1 Xn ) est convergente (puisque son terme gnral est majore par une suite gomtrique

n>0

de raison k 2 [0; 1[) donc la srie de vecteurs Xn+1 Xn est absolument convergente (pour la norme N1 ) donc elle est
convergente, ce qui implique la convergence de la suite (Xn )n (revoir le cours sur les sries valeurs dans un Banach). Si lon
note X la limite de la suite (Xn )n : En passant la limite dans lgalit Xn+1 = T (Xn ) (la continuit de lapplication T tant
vidente si lon revoit sa dnition ci-dessus), on en dduit que X = T (X): Si lon note X = ( ; ; ); lgalit X = T (X)
scrit encore
8
8
< = x f( )
< x = + f( )
= y f( ) ,
y = + f ( ) , (x; y; z) = F ( ; ; )
X = T (X) ,
:
:
= z f( )
z = + f( )
et nous venons de montrer que le vecteur (x; y; z) admet bien un antcdent par F; ce qui achve la preuve.

Remarque : le lecteur peu averti des sries valeurs dans un Banach peut montrer que la suite (Xn ) est de Cauchy en
kn
justiant que N1 (Xn+p Xn ) 6
N1 (X1 X0 ); ce qui est trs classique. En particulier, si lon fait tendre p vers +1;
1 k
n
k
N1 (X1 X0 ) (cette ingalit sobtient galement par une majoration du reste partielle
on en dduit que N1 (X Xn ) 6
1 k
P
de la srie
(Xn+1 Xn )): Cette ingalit permet dutiliser une machine pour connaitre, " prs, lordre de grandeur du
n

kn

N1 (X1 X0 ) 6 ": Le calcul de Xn se ectuant par

1 k
un petit programme laide dun calculateur, ce qui permet dexpliciter, " prs, un antcdent dun vecteur (x; y; z) par F:
Cette mthode est utile par exemple pour expliciter des inverses de matrices lorsque la diagonale est strictement dominante
(i.e. chaque lment diagonal est, en valeur absolue, strictement suprieur la somme des valeurs absolues des autres
lments de sa ligne, en particulier la matrice est ncessairement inversible et aucun des lments diagonaux nest nul). Si
A est une matrice diagonale strictement dominante, on crit A = D + L; o D est la diagonale, alors lgalit Y = AX est
quivalente lgalit X = D 1 Y D 1 LX: On vrie alors que lapplication linaire D 1 L (qui est sa propre di rentielle)
admet une norme N1 strictement moindre que 1 et le processus expos dans la seconde mthode permet dobtenir le vecteur
X " prs.
vecteur X en lapproximant par Xn ; o n est un entier vriant

www.mathematiques.fr.st

9/9

abdellah bechata