Académique Documents
Professionnel Documents
Culture Documents
30 mars 2007
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
(E , . . . E ), (F , . . . F )
Dnition
x a E f (x ) f (a) F ,
x a E 0
lim
ou de manire quivalente :
f (x ) f (a) F = 0.
... E
et
... F
non si
et
ou
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
1 2 3
les projections
pi : Rn R, (x , . . . , xn ) xi
1
(pour
(x , y ) 3x 2 + 2xy cos(x ) + y x
R R. : R R dnie
2
f (x , y ) =
xy x +y
2
2
si
(x , y ) = (0, 0),
et
f (0, 0) = 0.
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Soit f une application : R R et a R. Les assertions suivantes sont quivalentes. 1 f est drivable en a f (a + h) f (a) 2 La limite lim existe (et est nie) h h , h= 3 Le graphe {(x , f (x )) x R} de f admet une tangente en (a, f (a)) 4 Il existe une application linaire L : R R telle que f (a + h) f (a) L(h) 0 quand h 0 |h| 5 Il existe une application linaire L : R R et une application : R R telles que f (a + h) = f (a) + L(h) + |h|(h) avec (h) 0 quand h 0.
0 0
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Soit f une application : R R et a R . Les assertions suivantes sont quivalentes. 1 le graphe {(x , f (x )) x R } de f admet un plan tangent en (a, f (a)) 2 il existe une application linaire L : R R telle que f (a + h) f (a) L(h) 0 quand h 0 h 3 il existe une application linaire L : R R et une application : R R telles que f (a + h) = f (a) + L(h) + h (h) avec (h) 0 quand h 0.
2 2 2 2
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Une application f : Rn R est dite direntiable en un point a Rn s'il existe une application linaire L : Rn R telle que l'une des deux (les deux) assertions quivalentes suivantes soit vrie : f (a + h) f (a) L(h) 1 0 quand h 0. h 2 Il existe une application : Rn R telle que f (a + h) = f (a) + L(h) + h (h) avec (h) 0 quand h 0. Dans ce cas L est unique, elle est appele la direntielle de f au point a et note dfa .
Puisque toutes les normes sont quivalentes en dimension nie, cette dnition ne dpend pas de la norme
...
choisie sur
Emmanuel Risler
Rn .
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Une application f : Rn Rp est dite direntiable en un point a Rn s'il existe une application linaire L : Rn Rp telle que l'une des deux (les deux) assertions quivalentes suivantes soit vrie : f (a + h) f (a) L(h) 1 0 quand h 0. h 2 Il existe une application : Rn Rp telle que f (a + h) = f (a) + L(h) + h (h) avec (h) 0 quand h 0. Dans ce cas L est unique, elle est appele la direntielle de f au point a et note dfa .
Puisque toutes les normes sont quivalentes en dimension nie, cette dnition ne dpend pas des normes choisies.
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Remarques :
1 2
La dnition de la direntiabilit n'est rien d'autre qu'une formule de Taylor-Young l'ordre un. si
f est une application : R R et a R, alors : f direntiable en a f drivable en a, et dans ce cas dfa (h) = f (a)h, h R.
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Proposition
Les assertions suivantes sont quivalentes. 1 L est continue 2 L est continue en 0 3 k > 0 x E , x E 1 f (x ) F k 4 k > 0 x E , f (x ) F k x E
Proposition
1 2
Si E est de dimension nie, alors f est toujours continue. Si E est de dimension innie, alors f peut ne pas tre continue.
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
(E , . . . E )
et
(F , . . . F )
Dnition
Une application f : E F est dite direntiable en un point a E s'il existe une application linaire continue L : E F telle que l'une des deux (les deux) assertions quivalentes suivantes soit vrie : f (a + h) f (a) L(h) F 1 0 quand h E 0. h E 2 Il existe une application : E F telle que f (a + h) = f (a) + L(h) + h E (h) avec (h) F 0 quand h E 0. Dans ce cas L est unique, et est appele la direntielle de f au point a et note dfa .
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Remarques :
1 2
si
ou
peut dpendre du choix des normes. avec les notations prcdentes, continue en
a.
direntiable en
af
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
en
a la limite
f (a + tv ) f (a) t
(lorsque cette limite existe). On appelle drive partielle en a par rapport la i -ime coordonne, et on note i fa , la limite
t 0
lim
f (a + tei ) f (a) t
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
i fa ,
f (a), xi
xi f (a),
D i fa , . . .
v fa ,
f (a) v
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Soit f une application : Rn Rp et a R. On a : f direntiable en a v Rn , f admet une drive directionnelle suivant v, qui vaut : dfa (v ).
Exercice : montrer que l'application
R
2
R,
2
(x , y )
x y x +y
2
admet des drives directionnelles dans toutes les directions en 0 mais n'est pas direntiable en 0.
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Soit
une application :
Rn Rp et a Rn .
Dnition
1 2
matrice Jacobienne de
Si f est direntiable en a, la matrice de dfa est appele la f en a, on la note Jf (a). Si cette matrice est carre, son dterminant est appel le Jabobien de f en a.
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
n)
dfa
vaut :
f x1 (a)
...
n j =1
f xn (a)
On crit souvent :
df =
f dxj xj
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
aR
1 2
n.
une application :
Rn Rp (notons f
= (f1 , . . . , fp )T )
et
Proposition
f est direntiable en a i {1, . . . , p }, fi est direntiable en a. si f est direntiable en a, alors la matrice de dfa (dans les bases canoniques de Rn et Rp ) vaut :
f1
x1 (a) fp x1 (a)
. . .
... ...
f1 xn (a)
fp xn (a)
. . .
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Si f : Rn R est direntiable au point a Rn , on appelle vecteur gradient de f au point a, et on note grad fa (ou indiremment fa ) le vecteur : T f f (a), . . . , (a) x xn
1
dfa , et on a :
dfa (x ) = fa x ,
x Rn
Rn ).
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
a la droite orthogonale fa , la direction de fa correspond, dans R , la ligne de plus grande pente du graphe de f au-dessus du point a (au point (a, f (a))).
2
constituent, au voisinage de
a,
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
alors :
Rn , et l'ensemble de niveau de niveau f (a) est tangent en a l'hyperplan de Rn orthogonal fa , n la direction du vecteur gradient correspond, dans R , la ligne
de plus grande pente du graphe de point
constituent, au voisinage de
a,
(a, f (a))).
au-dessus du point
a (au
Emmanuel Risler
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
(E , . . . E )
et
(F , . . . F )
d (f + g )a = dfa + dga Si f et g sont deux applications : E R direntiables en a E , alors le produit f g est direntiable en a et : d (f g )a = f (a) dga + g (a) dfa
Emmanuel Risler
Proposition
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
Direntiabilit de la compose
Soient
(E , . . . E ), (F , . . . F )
et
(G , . . . G )
trois espaces
Si f : E F est direntiable en a E et g : F G est direntiable en f (a), alors g f : E G est direntiable en a et : d (g f )a = dgf (a) dfa
Autrement dit, la Jacobienne de la compose est simplement le produit des Jacobiennes, calcules aux points adquats :
Continuit Direntiabilit Drives partielles et directionnelles, matrice Jacobienne Thormes opratoires classiques
F (a) = xj
p i =1
g fi (f (a)) (a), yi xj
a Rn
dF = dg =
p i =1
g dyi = yi
p i =1
g yi
n j =1
fi dxj = xj
j =1 i = 1
g fi dxj yi xj
Emmanuel Risler
Applications de classe C 1
Soit
f : Rn Rp
et
direntiable en
af
(et mme des drives directionnelles dans toutes les directions) mais que la rciproque tait fausse. Pour que la rciproque devienne vraie, il faut ajouter une hypothse de continuit sur les drives partielles de Thorme
au voisinage de
a.
Si toutes les drives partielles d'ordre un de f existent dans un voisinage de a et sont continues en a, alors f est direntiable en a.
Emmanuel Risler
n.
un ouvert
Dnition
Une application f : Rp est dite de classe C sur si toutes les drives partielles d'ordre un de f existent en tout point de et sont continues sur .
1
Remarque : l'application
RR:
2
x =0x
sin
x ,
1
(exercice).
Emmanuel Risler
un ouvert de
Rn ,
[a; a + h] = {a + th
soit tout entier inclus dans On considre l'application voisinage de [0; 1]). Lemme
t 1}
.
(dnie sur un
: t f (a + th)
t [0; 1]
x, et
(t + u ) (t )
f (a + th + uh) f (a + th) u dfa+th (uh) + uh (uh) = u |u | = dfa+th (h) + h (uh) u qui tend vers dfa+th (h ) quand u 0.
=
Emmanuel Risler
un ouvert de
Rn ,
[a; a + h] = {a + th
soit tout entier inclus dans Thorme
t 1}
dfa+th (h)dt
Emmanuel Risler
(1) (0) =
0
(t )dt
(puisque
est en fait
), cqfd.
Emmanuel Risler
[a; a + h] = {a + th
t 1}
(a, h) ( n )2
Rn , f
: Rp
une
on
...
norme sur
Mn (R)
...
Emmanuel Risler
Corollaire
x , |||dfx ||| k
Remarques :
f est k-Lipschitzienne
1 2
dfx = 0 x , alors f
(cette conclusion reste vraie mme si condition qu'il soit c'est--dire d'un seul tenant.
Emmanuel Risler
un ouvert de
Rn ,
[a; a + h] = {a + th
soit tout entier inclus dans Thorme
t 1}
Egalit des accroissements nis : il existe ]0; 1[ tel que : f (a + h) = f (a) + dfa+h (h)
Emmanuel Risler
f :RR ,
3
t (cos t , sin t , t )
(hlice). On a
f (2 ) f (0) = (0, 0, 2 ),
et donc
f (t ) = ( sin t , cos t , 1)
t R,
f (2 ) f (0) = 2 f (t )
RR .
2
Emmanuel Risler
C 1-diomorphismes
Soient
U, V
deux ouverts de
Rn .
1
Dnition
Une application f : U V est appele un C -diomorphisme si elle vrie les conditions suivantes. 1 f est de classe C sur U, 2 f dnit une bijection U V , 3 la bijection rciproque f est de classe C sur V .
1 1 1
Remarque : nous verrons au chapitre suivant que la troisime condition peut tre obtenue comme une consquence du
d'inversion locale
thorme
Emmanuel Risler
Applications de classe C k
Soit
un ouvert de
Rn et k N.
Dnition
Une application f : Rp est dite de classe C k sur si toutes les drives partielles d'ordre k de f existent en tout point de et sont continues sur .
Emmanuel Risler
Matrice Hessienne
a . On suppose que les drives partielles d'ordre deux de f en a existent.
Soit
Rn , f
R,
On appelle matrice Hessienne de f au point a, et on note Hf (a), la matrice n n dont les coecients valent
2f (a), xi xj
1
i, j n
Emmanuel Risler
Direntielle seconde
Soit
Rn , f
R,
On appelle direntielle seconde de f au point a, et on note d fa la forme bilinaire associe la matrice Hessienne de f en a, c'est--dire l'application :
2
(Rn )2 R,
En termes de coordonnes
(h, k ) hT Hf (a) k
d fa (h, k ) =
2
i ,j n
2f (a) hi kj xi xj
Emmanuel Risler
Thorme de Schwarz
Soit
un ouvert de
Rn , et f
:R
une application.
Thorme
2f 2f (a) = (a) xi xj xj xi
autrement dit la matrice Hessienne de f en a est symtrique (ou encore d fa est une forme bilinaire symtrique).
2
Emmanuel Risler
un ouvert de
Rn ,
[a; a + h] = {a + th
soit tout entier inclus dans On considre l'application voisinage de [0; 1]). Lemme
t 1}
(dnie sur un
. : t f (a + th)
(t ) = d 2 fa+th (h, h)
(t ) =
f xi (a
+ th)
f (a + th), on trouve : hi
(t ) =
i =1 j =1
f (a + th) hj xj xi
=
1
i ,j n
2f (a + th) hi hj xi xj
cqfd.
Emmanuel Risler
un ouvert de
Rn ,
[a; a + h] = {a + th
soit tout entier inclus dans Thorme
t 1}
Emmanuel Risler
Thorme
o (h) 0 quand h 0.
Emmanuel Risler