Fonctions de plusieurs variables (L2/MP/)

On distingue deux types de fonctions plusieurs variables, les fonctions de

! et les fonctions de ! ! (fonctions vectorielles). Dans les deux
cas, la variable nest plus un simple rel mais au minimum un point dun
espace deux dimensions. Or, la topologie de ! nest pas la mme que la
topologie simple de .
La topologie gnrale nest pas aborde en dtail ici. Il sagit de la branche
des mathmatiques qui permet de dfinir des notions comme la limite, la
continuit, le voisinage sur des espaces trs gnraux. Sa notion centrale est
celle despace topologique.
La topologie aborde ici est moins gnrale mais a lavantage dtre plus
simple. Nous avons besoin dune topologie pour dfinir des notions
comme le voisinage dun point.

Topologie dans
Norme
On appelle norme dun vecteur de ! (ou plus gnralement dun espace
vectoriel ), toute application :
[0, +[

Vrifiant les trois axiomes :

=0=0
=
+ +
Un ev muni dune norme est appel ev norm (evn). Il est possible de dfinir
plusieurs normes qui dans certaines conditions seront dites quivalentes.
Proposition : dans ! , toutes les normes sont quivalentes.
gnralement, dans un evn fini, toutes les normes sont quivalentes.

Distance
On appelle distance entre deux points et de toute application
! ! [0, +[

Plus

, , y
Vrifiant les trois axiomes :
, = 0 =
, = (, )
, , + (, )
Cest une gnralisation la distance euclidienne de gomtrie classique :
, =

(! ! )! (! ! )!

Un espace muni dune distance est appel espace mtrique.

Remarque : la notion de distance ne ncessite pas que soit un ev. Cest
donc une notion plus gnrale que la notion de norme qui elle est dfinie
dans un ev.

Distance induite par une norme

partir dune norme, on peut construire une distance dite distance induite :
! ! [0, +[
, , =
Proposition : tout evn est un espace mtrique.

Boules et pav
On appelle boule ouverte de centre et de rayon , lensemble :
, = { , , < }
Attention, une boule dans ! nest pas forcment un cercle, cela
dpend de la distance choisie (de la norme choisie), cela peut tre un carr
par exemple !
On appelle pav ouvert de centre et de cts ! , lensemble des points
(! ) vrifiant ! ! < ! < ! + ! .
On dit que est une partie borne si il existe une boule , telle que
, .
On dit que est un ouvert si , > 0, , .
On dit que est un ferm si est un ouvert.
Remarque : une boule ouverte est un ouvert.

On dit que est un voisinage de , si contient un ouvert (une boule

ouverte) contenant .

Fonctions de 2 variables
On appelle fonction de deux variables toute application de ! ,
exemples :
, = + ; fonction linaire
, = + + ; fonction affine
, = ! + 2 + ! ; fonction quadratique

Continuit de (, ) (, )
Soit une fonction de deux variables dfinie sur . On dit que est
continue en un point = (! , ! ) si :
1) est dfinie au voisinage de !
2) , > 0, > 0, , ! < !

<

Attention : une fonction continue par rapport chacune de ses variables

nest pas forcment continue au sens dfinie plus haut.
On dit que est continue sur si f est continue pour tout point de .
Toute combinaison par somme, produit, quotient, combinaison linaire et
composition de fonctions continues est continue.
Les fonctions polynmiales de plusieurs variables sont continues sur .
Si est continue en un point = (! , ! ) alors ses applications partielles sont
continues en ! et .

Drives partielles dordre 1

Quelques rappels sur les fonctions ()
Soit une fonction dune seule variable. On appelle taux daccroissement
en un point la quantit :
= + ()
Le taux daccroissement indique comment () varie suite une petite
variation de .

On appelle drive en un point , la limite (si elle existe et si elle est finie) du
taux daccroissement divis par la variation lorsque 0 :
! = lim

!!!

= lim

!!!

+ ()

La drive en un point est le coefficient directeur de la tangente en ce

point.
Si la drive existe en tout point dune intervalle , on dit que est drivable
sur et on crit :
, ! =

()

Ou encore en criture purement fonctionnelle :

! =

La quantit est appele diffrentielle de , elle traduit les variations

infinitsimale de pour une variation infinitsimale de . La diffrentielle
dune fonction est la limite du taux daccroissement quand 0.
Diffrentielle dordre :
! =

()!

Drives partielles dordre 1, gradient

Soit (, ) (, ) une fonction de deux variables dfinie sur ! .
Considrons les fonctions dune seule variable :
(, ! )
(! , )
Si est drivable, on appelle drive partielle de par rapport , la
fonction note :
!! , = ! =

(, ) = ! (, )

Si est drivable, on appelle drive partielle de par rapport , la

fonction note :
!! , = ! =

(, )

Exemple : , = ! + 3 ! 2
!! , = 2 2

!! , = 6 2
Attention : contrairement aux fonctions dune seule variable, lexistence des
drives partielles en un point nentrane pas la continuit de la fonction en
ce point !
Remarque : une fonction dune seule variable a potentiellement une seule
drive dordre 1, une fonction de variables a drives partielles.
On utilisant loprateur nabla, on dfinit le gradient :
, =

! (, )
! (, )

Comme pour les fonctions dune seule variable on peut dfinir les fonctions
de classe ! .
On dit que est de classe sur ! si elle admet des drives partielles
continues sur ! .
Toute fonction de classe ! sur est continue sur .
Toute combinaison par somme, produit, quotient, combinaison linaire et
composition de fonctions de classe ! est de classe ! .

Dveloppement limit lordre 1 (formule des accroissements finis)

Si est de classe ! sur alors , ,
+ , + = , + !! , + !! , + ! + ! (, )
O est une fonction continue telle que lim(!,!)(!,!) , = 0.
Ce DL lorsquil existe est unique.
Une CNS pour quune fonction de plusieurs variables soit constante sur un
ouvert est que ses drives partielles soient nulles en out point de .

Drives partielles dordre 2

Si les fonctions !! et !! sont elles-mmes drivables, on peut crire :
!!
!!
= !!!! =

!
!

!!
!"
=

!!
!!
= !!!! =

!
!

!!
!"
=

On appelle matrice Hessienne (note laide de loprateur nabla) :

!
!
! , =
!

!
!

Thorme de Schwarz
Si les drives partielles dordre 2 sont continues sur un ouvert alors :
, ,

!
!
=

Consquence : pour les fonctions continues, il ny a que trois drives

partielles dordre 2. La matrice Hessienne est donc symtrique pour les
fonctions continues :
!
!
! , =
!

!
!

On dit que est de classe sur ! si elle admet quatre drives

partielles dordre 2 continues sur .

Dveloppement limit lordre 2

Si est de classe sur ! , alors , ,
+ , + = , + !! , + !! ,
+

! !
!
!! , + !!" (, ) + !!! (, )
2
2
+ ! + ! (, )

Notation de Monge :
+ , + = , + + +

!
!
+ + + (, )
2
2

La matrice ci-dessous est appele Hessien de :

=

Drives de fonctions composes

Drive dune fonction compose (1 variable)
Soient :
(, ) (, )
()
()
= ( , )
On dit que est fonction compose de par lintermdiaire de et .
Supposons que admette des drives partielles continues et que les
fonctions et soient drivables, on dmontre alors que :
() = !! (), () ! + !! (), () !
soit encore sous forme abrge
() = !! ! + !! !

Drive dune fonction compose (2 variables)

Soient :
(, ) (, )
(, ) (, )
(, ) (, )
(, ) = ((, ), (, ))
On dmontre alors que :
! (, ) = !! ! ! + !! ! !
! (, ) = !! ! ! + !! ! !
Soit encore en utilisant la matrice jacobienne :
!
!
= !
!
!

! !
! !

!!
!!

Diffrentielle totale

La diffrentiabilit est lexistence dun DL1 et la diffrentielle est la partie

linaire dordre 1 de ce DL.
Une fonction de deux variables est dite diffrentiable en un point (, ) sil
existe un DL1 :
( + , + ) = (, ) + + + ( ! + ! )

Diffrentielle dordre 2
Cas dune fonction dune seule variable, si est drivable sur , alors =
! , si de plus est drivable, est diffrentiable et :
! = !! ()!
Cas dune fonction de deux variables, si est diffrentiable sur un ouvert :
=

Si les deux drives partielles sont de classe ! , alors :

! =

!
!
!
!
+
+
+

Et daprs le thorme de Schwarz :

!
!
=

Donc :
! =

!
!
!

()! + 2
+
()! =
+