AN II Ch I D´erivation des fonctions `a valeurs vectorielles
Toutes les fonctions envisag´ees sont d´efinies sur un intervalle I de R`a valeurs dans un espace vectoriel
norm´e F de dimension fini sur K.
A D´eriv´ee en un point, fonctions de classe C1
Soit f:I→Fet x0∈I. On dit que fest d´erivable en x0si lim
x→x0
f(x)−f(x0)
x−x0
existe.
Si c’est le cas cette limite est appel´ee vecteur d´eriv´e de fen x0et not´e f0(x0).
On dit que fest d´erivable sur Isi elle l’est en tout point de I.
On appelle alors fonction d´eriv´ee de fla fonction f0:I→F
x7→ f0(x)
.
On dit que fest continˆument d´erivable, ou de classe C1sur Isi la fonction f0existe et est continue sur I.
fest d´erivable en x0si et seulement si elle admet en x0un d´eveloppement limit´e `a l’ordre
1, qui est alors f(x0+h) = f(x0) + hf0(x0) + o(h) (remarquer que ce o(h) est `a valeurs dans F).
f0, Df,df(x)
dx
Soit λ∈K. Si fet gsont d´erivables en un point x0de I(resp. sur I) (resp. de classe C1sur
I), alors il en est de mˆeme de λf +g.
On note C1(I, F ) l’espace vectoriel des fonctions de classe C1sur I`a valeurs dans F.
Soit u∈L(F, G). Si fest d´erivable en un point x0de I(resp. sur I) (resp. de classe C1sur
I), alors il en est de mˆeme de u◦fet (u◦f)0(x0) = u(f0(x0)) (resp (u◦f)0=u◦f0).
Soit nla dimension de Fet B= (e1, . . . , en) une base. On note fi=e∗
i◦fles fonctions
coordonn´ees de f. Alors fest d´erivable en un point x0de I(resp. sur I) (resp. de classe C1sur I) si et
seulement si il en est de mˆeme de fipour tout i∈[[1, n]] et dans ce cas les coordonn´ees du vecteur d´eriv´e en
x0sont les d´eriv´ees en x0des fonctions coordonn´ees.
Soient F, G et Htrois espaces vectoriels norm´es sur le mˆeme corps Ket Bbilin´eaire de
F×Gdans H. Soient f:I→Fet g:I→G. On d´efinit h:I→H
x7→ Bf(x), g(x)
.
Si fet gsont d´erivables en un point x0de I(resp. sur I) (resp. de classe C1sur I), alors il en est de mˆeme
de het h0(x0) = Bf0(x0), g(x0)+Bf(x0), g0(x0).
Ceci s’applique en particulier aux produits scalaire, externe et vectoriel. On retrouve une
formule bien connue dans le cas particulier du produit ordinaire.
Le r´esultat se g´en´eralise au cas n-lin´eaire.
Soit ϕ:J→Id´erivable en un point x0de J(resp. sur J) (resp. de classe C1sur J) et
f:I→Fd´erivable en y0=ϕ(x0) (resp. sur I) (resp. de classe C1sur I). Alors f◦ϕest d´erivable en x0
(resp. sur J)resp. de classe C1sur J) et (f◦ϕ)0(x0) = ϕ0(x0)f0(y0) (resp. (f◦ϕ)0=ϕ0·f0◦ϕ.
1