Proposition 8.1.2. Lorsque fest diff´erentiable en a,l’application Lest unique.
On note dfal’application lin´eaire continue Lde la d´efinition pr´ec´edente. On l’appelle
la diff´erentielle de fen a.
D´efinition 8.1.3. On dit que fest diff´erentiable sur Ulorsque fest diff´erentiable en
tout pointade U;dfnote alors l’application de Udans L(E,F)qui `a aassocie dfa.
fest de classe C1sur Usi et seulementsi df:U→L(E,F)est continue.
Proposition 8.1.4. Si fest diff´erentiable en aalors elle est continue en a.
Remarque 8.1.5.La diff´erentiabilit´eest locale :on ne modifie ni la diff´erentiabilit´een a,
ni la diff´erentielle en a,si on restreint`a un voisinage de a.
Exemple 8.1.6.Soit f:E→F,une application lin´eaire continue. L’applicationfest
diff´erentiable de classe C1sur E;pour tout a∈E,dfa=f;dfest constante.
Exemple 8.1.7.Soit f:E×F→G,une application bilin´eaire continue. L’application
fest diff´erentiable sur E.Pour (a, b)∈E×F,dfa,b(h, k)=f(h, b)+f(a, k).
Exercice8.1.8.D´emontrer que dans l’exemple 8.1.7, l’application fest de classe C1.
8.2 Diff´erentiation des fonctions compos´ees
Th´eor`eme 8.2.1. Soient E,F,Gdes espaces vectoriels norm´es, Uun ouvert de E,V
un ouvert de F,f:U→V,g:V→G,a∈U,b=f(a)∈V.
a) Si fest diff´erentiable en aet gdiff´erentiable en b,alors g◦fest diff´erentiable en a,
et d(g◦f)a=dgb◦dfa.
b) Si fest de classe C1sur Uet gde classe C1sur V,alors g◦fest de classe C1sur
U.
Exercice8.2.2.Soit Eun espace vectoriel r´eel pr´ehilbertien, de produit scalaire not´e
h,i.
1. D´eterminer la diff´erentielle en a∈Ede q:E→Rd´efinie par q(x)=hx, xi.
2. D´eterminer la diff´erentielle en a∈Ede l’application norme :nd´efinie par
n(x)=q(x)1
2.
8.3 D´eriv´ee suivantun vecteur
D´efinition 8.3.1. SoientEet Fdes espaces vectoriels norm´es (sur Rou C), Uun
ouvert de E,a∈Uet v∈E.
L’application fest diff´erentiable suivantle vecteur vsi et seulementsi f◦γvest
35