Vous êtes sur la page 1sur 58

UNIVERSIT DE POITIERS

Parcours Renforc Premire Anne


2009/2010
Paul Broussous

Fonctions de plusieurs variables

Seconde version corrige

Table des matires

1. Un peu de topologie.
1.1. Distance euclidienne, disques et boules.
1.2. Domaines dfinis par des inquations.
1.3. Points intrieurs, proprits.
2. Fonctions de plusieurs variables.
2.1.
2.2.
2.3.
2.4.

Champs de scalaires, champs de vecteurs, courbes paramtres.


Reprsentations graphiques, courbes de niveau.
Continuit et limites.
Domaines ferms, ouverts. Domaines borns, compacts.

3. Drivation.
3.1.
3.2.
3.3.
3.4.
3.5.

Drives partielles en un point intrieur au domaine.


Gradient, diffrentielle. Drive dans une direction.
Drivation en chane.
Drives partielles dordres suprieurs. Lemme de Schwarz.
Equations aux drives partielles.

4. Thorme des fonctions implicites. Gradient et courbes de niveau.


5. Extrema.
5.1. Signe dune forme quadratique en deux variables.
5.2. Dveloppement limit lordre 2 et extrema locaux.
5.3. Extrema sous contraintes.
6. Introduction lintgration des fonctions de plusieurs variables.
6.1. Circulation dun champ de vecteurs.
6.2. Intgration sur un domaine de R2 .

Introduction

Dun point de vue physique, une fonction de plusieurs variables est une quantit
numrique ou vectorielle qui dpend de plusieurs paramtres rels. Par exemple :
Laltitude (par rapport au niveau de la mer) dun point la surface du globe
terrestre est une fonction de deux variables (la lattitude et la longitude qui reprent ce
point).
La temprature en un point dune pice dhabitation est une fonction numrique
de trois coordonnes spatiales.
Lacclration de la pesanteur au voisinage du globe terrestre est une fonction
vectorielle de trois coordonnes despace.
Par lquation des gaz parfaits, P V = nRT , on peut considrer la pression P =
nRT /V comme tant un fonction numrique des deux variables T (temprature) et V
(volume).
Nous nous intressons aussi des quantits vectorielles dpendant dun seul paramtre rel comme dans lexemple suivant.
Une fois fix un point origine O de lespace, la trajectoire dun mobile ponctuel

peut tre vue comme une fonction vectorielle OM (t) qui dpend de la variable de temps
t, o M (t) est la position du mobile linstant t.
Lobjet de ce cours est de gnraliser les techniques de calcul diffrentiel et intgral
(analyse), introduites en classe de terminale, au cas des fonctions de plusieurs variables.
Elles seront dusage constant en physique, chimie et leurs applications.
Ces notes de cours sont en partie inspires du livre de Franois Liret Maths en Pratique, lusage des tudiants, dition Dunod, 1996. En particulier, nous vous conseillons
la lecture des chapitres 12 et 13 de ce livre.

1. Un peu de topologie
1.1. Distance euclidienne, disques et boules.
Notre espace de travail sera soit
un espace euclidien E (de dimension 3) muni dun repre orthonorm (O,~i,~j, ~k),
un plan euclidien P muni dun repre orthonorm (O,~i,~j),
une droite euclidienne D muni dun repre orthonorm (O,~i).
Ici le qualificatif euclidien signifie que lon peut effectuer un produit scalaire :
(x1~i + y1~j + z1 ~k).(x2~i + y2~j + z2~k) = x1 x2 + y1 y2 + z1 z2 (dans E)
(x1~i + y1~j).(x2~i + y2~j) = x1 x2 + y1 y2 (dans P) (x1~i).(x2~i) = x1 x2 (dans D) .
Rappelons que la norme dun vecteur est donne par
p
p
kx~i+y~j+z~kk = x2 + y 2 + z 2 dans E , kx~i+y~jk = x2 + y 2 dans P , kx~ik = |x| dans D ,

et que la distance entre deux points M et N est donne par d(M,N)= kM N k.

On fera frquemment labus de notation suivant. Une origine 0 tant fixe, un point
de E (resp. P, D) sera identifi ses coordonnes (x, y, z) (resp. (x, y), x) dans le repre
(0,~i,~j, ~k). Un repre tant fix on identifiera donc les objets suivants :
lespace E avec lensemble not R3 des triplets de rels (x, y, z),
le plan P avec lensemble not R2 des couples de rels (x, y),
la droite D avec lensemble des nombres rels R.
Nous ferons de mme avec les vecteurs. La notation M (x, y, z) signifie que le point M E

a pour coordonnes (x, y, z) dans le repre (0,~i,~j, ~k), et la notation


v (x, y, z) signifie
que le vecteur ~v a pour coordonnes (x, y, z) dans le repre (~i,~j, ~k).
Dans la suite X dsigne un espace, un plan ou une droite euclidienne.
1.1.1. Thorme. Soient A, B, C trois points de X et ~u, ~v deux vecteurs. On a les
proprits suivantes.
(i) d(A, C) 6 d(A, B) + d(B, C) avec galit si et seulement si B est sur le segment
[AC] (premire ingalit triangulaire).
(ii) |d(A, B) d(B, C)| 6 d(A, C) (deuxime ingalit triangulaire).
(iii) |~u.~v | 6 k~uk.k~v k.

(iv) | k~uk k~v k | 6 k~u + ~v k 6 k~uk + k~v k.

Dmonstration. Lassertion (iv) entrane (i) et (ii) en posant AB = ~u et BC = ~v .


On a ~u.~v = k~uk.k~v k cos(~u, ~v ) et lassertion (iii) dcoule du fait que le cosinus dun
nombre rel est compris entre 1 et 1.
Prouvons la seconde ingalit dans (iv). On a (~u +~v )2 = k~uk2 +k~v k2 +2~u.~v . Lingalit
(iii) entrane que ~u.~v 6 k~uk.k~v k. On obtient donc (~u + ~v )2 6 k~uk2 + k~v k2 + 2k~uk.k~v k,
cest--dire (~u + ~v )2 6 (k~uk + k~v k)2 . On conclut en prenant la racine carre.
2

Prouvons la premire ingalit dans (iv). Ecrivons k~uk = k ~v + (~u + ~v k 6 k~v k +


k~u + ~v k. On obtient k~uk k~v k 6 k~u + ~v k. En changeant les rles de ~u et ~v , on a aussi
(k~uk k~v k) 6 k~u + ~v k. Do | k~uk k~v k | 6 k~u + ~v k. CQFD.
1.1.2. Dfinition. Soient Mo un point de X et r > 0 un nombre rel. On appelle boule
ferme de centre Mo et de rayon r, et on note Bf (Mo , r), lensemble des points M de X
tels que d(Mo , M ) 6 r. On appelle boule ouverte de centre Mo et de rayon r, et on note
Bo (Mo , r), lensemble des points M de X tels que d(Mo , M ) < r.
Ainsi dans le plan euclidien un boule ouverte (resp. ferme) est un disque ouvert
(resp. ferm) et dans la droite euclidienne une boule ouverte (resp. ferme) est un intervalle ouvert (resp. ferm). Par exemple, pour un point Mo (xo , yo , zo ) de E, linquation
dfinissant Bf (Mo , r) est
(x xo )2 + (y yo )2 + (z zo )2 6 r 2 .
Pour un point Mo (xo ) de D, linquation dfissant Bo (Mo , r) est
|x xo | < r xo r < x < xo + r .
En dautres termes, Bo (Mo , r) est lintervalle ouvert ]xo r, xo + r[.
1.2. Domaines dfinis par des inquations.
Dans la suite D dsigne une partie (ou encore sous-ensemble) de X. Une partie D de
E est appel domaine dfini par des inquations, ou plus brivement domaine, si le fait
pour un point M (x, y, z) de X dappartenir D est caractris par des conditions de la
forme f (x, y, z) < a ou f (x, y, z) 6 a, ou f (x, y, z) = a. Ici a est un nombre rel et f :
R3 R est un application de R3 dans R. On dfinit de mme la notion de domaine
dans P et D.
En ralit une condition du type g(x, y, z) > a ou g(x, y, z) > a est aussi permise
car on peut toujours lcrire sous la forme g(x, y, z) < a (resp. g(x, y, z) 6 a). De
mme un condition du type f (x, y, z) < g(x, y, z) peut toujours se rcrire f (x, y, z)
g(x, y, z) < 0.
Quelques remarques simposent.
Il ny a pas une unique faon de caractriser un domaine par des ingalits. Par
exemple lintervalle ] 1, 1[ de D est caractris par les conditions x > 1 et x < 1, mais
il est aussi caractris par la condition x2 < 1, ou encore |x| < 1, ou encore par les trois
conditions x > 1, x > 2, x < 1 (la deuxime tant inutile).

Le terme domaine nest pas une notion bien dfinie dans la littrature scientifique.
La dfinition que lon donne ici est propre ces notes et nest en aucun cas universelle.
Dans la suite nous nous intresserons beaucoup des domaines du plan. Certains
types dingalit ont une interprtation immdiate.

Si a, b et c sont trois rels non simultanment nuls, lingalit ax + by + c > 0


(resp. ax + by + c > 0) correspond un demi-plan ouvert (resp. ferm). Ce demi-plan
est dlimit par la droite ax + by + c = 0. Pour savoir de quel ct de la droite on est,
on teste la valeur de ax + by + c en un point M (xo , yo , zo ) o cette quantit ne sannule
3

pas. On peut aussi remarquer que le vecteur ~v (a, b) est un vecteur normal la droite
ax + by + c = 0 et quil pointe dans la direction du demi-plan ax + by + c > 0.
Si f : R R est une application, un point M (x, y) satisfait lingalit y f (x) > 0
si, et seulement si, il se trouve au-dessus du graphe de la fonction f .
Si a, b sont deux rels et r un rel strictement positif, lingalit (x a)2 + (y
< 0 dfinit le disque ouvert de centre (a, b) et de rayon r, tandis que (x a)2 +
2
(y b) r 2 > 0 dfinit le complmentaire de ce disque ouvert.

b)2 r 2

1.3. Points Intrieurs, proprits.


Ici X dsigne une espace affine E, un plan affine P ou une droite affine D. On dsigne
par A une partie de X. Dans les applications A sera un domaine au sens de la section
prcdente.
1.3.1. Dfinition. On dit quun point M de A est intrieur (o que M est intrieur
A) sil existe un nombre rel r > 0 tel que la boule ouverte Bo (M, r), de centre M et de
rayon r, est elle-mme contenue dans A.
Voici quelques exemples.
Si A = Bf (, R) est une boule ferme de centre et de rayon R, un point M de A
est intrieur si, et seulement si, il appartient la boule ouverte Bo (, R). En particulier
un point sur le bord de A, cest--dire un point de la sphre de centre et de rayon R
nest pas intrieur.
Si X = P et A est le demi-plan ferm ax + by + c > 0, alors les points intrieurs
A sont ceux du demi-plan ouvert ax + by + c > 0. Les points qui sont sur la frontire
(ou bord) du demi-plan, cest--dire sur la droite ax + by + c = 0 ne sont pas intrieurs.
1.3.2. Proposition. Supposons X = E. Soit Mo (xo , yo , zo ) un point intrieur A. Alors
il existe un rel a > 0, tel que si t1 , t2 , t3 sont des rels vrifiant |t1 | < a, |t2 | < a et
|t3 | < a, le point M de coordonnes (xo + t1 , yo + t2 , zo + t3 ) appartient encore A. On
a des rsultats similaires dans un plan ou une droite affine.
Dmonstration. Par hypothse, il existe un rel r > 0 tel que la boule ouverte Bo (Mo , r)
est contenue dans A. Observons que lensemble
C(Mo , a) = {M (xo + t1 , yo + t2 , zo + t3 ) ; |t1 | < a, |t2 | < a, |t3 | < a}
est un cube de centre Mo et de rayon 2a. Il suffit donc de choisir a tel que ce ce cube soit
contenu dans Bo (Mo , r). Les points les plus loigns du centre du cube sont ses sommets
(qui sont tous la mme distance).
Par exemple,
o+
un de ces sommets est S(xo + a, y
a, zo + a) et sa distance Mo est 3a2 = a 3. Il suffit donc de prendre a 6 r/ 3.
CQFD
Exercices du chapitre 1
1. On donne des domaines par des inquations. Les dessiner et les dcrire.
(a) M (x, y) D1 ssi y 2x2 x < 0, y x > 0, x > 0 et x < 1.

(b) M (x, y) D2 ssi 1 6 x + y 6 1 et 1 6 y x 6 1.


4

(c) M (x, y) D3 ssi 1 < x2 + y 2 < 4.

(d) M (x, y) D4 ssi x2 + y 2 2(x + 2y) + 1 6 0, y 2x > 0 et x > 1.


2. On dcrit des domaines gomtriquement. Les dfinir par des inquations (faire systmatiquement un dessin).
(a) D1 est lintrieur (bord compris) du triangle ABC avec les donnes : A(1, 1),
B(2, 4) et C(4, 2).
(b) D2 est lensemble des points qui sont lintrieur du quadrilatre ABCD (bord
non compris) et lextrieur du disque ferm de centre et de rayon 1, avec les donnes :
A(1, 0), B(1, 3), C(3, 5), D(4, 1), (2, 2).
3. Sans dmonstrations, dcrire les points intrieurs des domaines considrs dans les
exercices 1 et 2.
4. Soit R =]a, b[]c, d[ le sous-ensemble de R2 dfini par les deux conditions a < x < b
et c < y < d. Soit (x, y) un point de R. Dterminer en fonction de x et y un rel r > 0
tel que Do ((x, y), r) R. En dduire que tous les points de R sont intrieurs.

2. Fonctions de plusieurs variables


2.1. Champs de scalaires, champs de vecteurs, courbes paramtres.
Ici X est lun des espaces affines E, P.
2.1.1. Dfinition. On appelle fonction de plusieurs variables une application f dune
partie A de X dans un ensemble de la forme R, R2 , R3 . Lensemble A sappelle le domaine
de dfinition de f . Si lensemble darrive est R, lapplication est encore appele fonction
numrique ou champ de scalaires. Si lensemble darrive est R2 ou R3 , lapplication est
parfois appele fonction vectorielle ou champ de vecteurs.
Faisons quelques remarques importantes.
Par souci de simplicit, nous nous sommes restreints des fonctions dau plus trois
variables valeurs dans un espace de dimension au plus trois. Bien sr, on pourrait
travailler avec des objets bien plus gnraux.
Dans la plupart des applications, la partie A de X sera un domaine au sens de la
section 1.2.
On peut autoriser X = D. Si lensemble darriv est R, f nest rien dautre quune
fonction numrique de la variable relle, notion bien connue des lycens. Si lensemble
darrive est R2 ou R3 la fonction f sappelle aussi un arc paramtr : la variable de f est
vue comme une variable temporelle et la valeur vectorielle f (t) reprsente par exemple
la position dun mobile ponctuel linstant t.
Si, sans autre renseignement, la fonction f est dfinie par une expression donnant
la valeur de f (M ) en fonction des coordonnes de M , le domaine des dfinition de f
est alors par dfinition lensemble des points o cette expression a un sens. Par exemple
5

lapplication du plan affine (muni dun repre orthonorm) dans R donne par f (M ) =

2x + y + 3, si M (x, y, z), a pour domaine de dfinition le demi-plan ferm 2x+y+3 > 0.


Nous avons dcid que, un repre orthonorm tant fix, nous identifierions un point
M ses coordonnes. Trs concrtement nous pouvons donc voir une fonction dune ou
plusieurs variables comme une application dune partie de Rk (k = 1, 2 ou 3) dans Rl
(l = 1, 2 ou 3). Ici par convention R1 = R. Bien noter que lexpression de la fonction
dpend du choix du repre orthonorm.
2.2. Reprsentations graphiques, courbes de niveau.
On a appris au lyce reprsenter graphiquement une fonction relle dfinie sur une
partie de R. Il nexiste aucune solution vidente pour reprsenter graphiquement une
fonction numrique dfinie sur une partie de R3 . Le cas dune fonction numrique dfinie
sur une partie de R2 se prte lui a des reprsentations pratiques.
Soit f : A P R une fonction dfinie sur une partie A du plan P. Fixons un
repre orthonorm (0,~i,~j, ~k) dun espace affine trois dimension E. On appelle reprsentation graphique de f , ou surface reprsentative de f lensemble Sf des points de E
de coordonnes (x, y, f (x, y)), o (x, y) dcrit lensemble des coordonnes possibles dun
point de A. On dit aussi que Sf est la surface dquation z = f (x, y).
Regardons par exemple la fonction f : R2 R, (x, y) 7 ax + by + c, a, b et c tant
des rels fixs. La surface Sf est lensemble des points de coordonnes (x, y, ax + by + c),
x et y dcrivant R. Cest le plan affine dquation z = ax + by + c.
Soit k un nombre rel. Avec les notations prcdentes, on appelle courbe de niveau
k de la fonction f lensemble des points M (x, y) de P dont les coordonnes vrifient
f (x, y) = k. Cest limage rciproque par f du singleton {k}

Donnons deux exemples. Si f : R2 R est la fonction donne par f (x, y) = 2x + y,


ses courbes de niveau sont les droites 2x + y = k, k R. Elles formes une partition du
plan en droites affines parallles.
Si f : R2 R est donne par f (x, y) = x2 + y 2 , ses courbes de niveau sont les
ensembles Ck = {(x, y) ; x2 + y 2 = k}, k R. Si k < 0, Ck est vide, si k =
0, Ck est
rduit lorigine, et si k > 0, Ck est le cercle de centre lorigine et de rayon k.
De manire gnrale, on peut faire les observations suivantes.
La courbe de niveau k est non vide si, et seulement si, k appartient limage de f .
Les courbes de niveaux k et l ne se coupent pas si k 6= l.

Les courbes de niveau pour un paramtre appartenant limage de f forment une


partition de lensemble de dpart A. En dautres termes par un point M de A passe une
courbe de niveau et une seule : celle de niveau f (M ).
Notons Ck la courbe de niveau k de f et notons Ck la courbe de lespace obtenue
en remontant Ck laltitude k. Alors la reprsentation graphique Sf est la runion des
Ck , pour k parcourant limage de f .

2.3. Limites et continuit.


Ici A dsigne une partie de X = D, P ou E, et Y est lun des espaces R, R2 , R3 .
2.3.1. Dfinition. Soient f : A Y une application, Mo un point de X et Yo un point
de Y . On dit que f admet la limite Yo en Mo , ou encore que f (M ) tend vers Yo quand
M tend vers Mo , si quel que soit > 0, il existe un rel > 0 tel que
si M A et d(M, Mo ) 6 alors d(f (M ), Yo ) 6 .
En dautres termes, on doit pouvoir rendre la distance de f (M ) Yo arbitrairement
petite quitte prendre M suffisament proche de Mo . On utilise la notation :
lim f (M ) = Yo .

M Mo

On montre facilement lquivalent suivante. Avec les notations prcdentes :


lim f (M ) = Yo si et seulement si

M Mo

lim d(f (M ), Yo ) = 0 .

M Mo

Exemples. 1) Soit O un point de P et considrons la fonction f : P R, M 7


d(O,
p M ). En coordonnes (avec un repre orthonorm centr en O), on a f (x, y, z) =
x2 + y 2 + z 2 . Alors pour tout point Mo de P, on a
lim f (M ) = d(0, Mo ) .

M Mo

En effet, on a
d(f (M ), d(O, Mo )) = |d(O, M ) d(O, Mo )| 6 d(Mo , M ) ,
par la deuxime ingalit triangulaire. Donc pour avoir d(f (M ), d(O, Mo )) 6 , il suffit
de prendre d(M, Mo ) 6 , i.e. choisir = .
2) Donnons un exemple de fonction nadmettant pas de limite en un point particulier.
Soit f : R2 \{(0, 0)} R lapplication donne par
f (x, y) =

x2

xy
.
+ y2

Alors f nadmet pas de limite en O = (0, 0). En effet pour chaque paramtre t R,
notons Dt la droite dquation y = tx. En un point (x, tx) de Dt diffrent de lorigine,
t
, valeur qui ne dpend pas de x. Donc f
la valeur de la fonction est f (x, tx) =
1 + t2
prend une valeur constante sur chaque droite Dt . On voit facilement que si la limite de
f existait, elle devrait valoir t/(1 + t2 ) quel que soit t dans R, ce qui est impossible.
Le thorme suivant permet de se ramener systmatiquement au cas o lespace
darrive est de dimension 1.
2.3.2. Thorme. Supposons par exemple Y = R3 . Soient f : A X Y une
application, Mo un point de X et Yo R3 . Pour chaque M A, notons fx (M ), fy (M )
9

et fz (M ) les coordonnes de f (M ). Notons xo , yo et zo les coordonnes de Yo . Alors


lassertion lim f (M ) = Yo est quivalente :
M Mo

lim fx (M ) = xo et

M Mo

lim fy (M ) = yo et

M Mo

lim fz (M ) = zo .

M Mo

Dmonstration admise.
2.3.3. Thorme. (Limite dune somme, dun produit ou dun quotient) Soient
f et g deux applications de A X dans R et Mo un point de X. Supposons que
lim f (M ) = l1 et

M Mo

lim g(M ) = l2 .

M Mo

Alors la fonction produit f g tend vers l1 l2 quand M tend vers Mo et la fonction somme
f + g tend vers l1 + l2 dans M tend vers Mo . Supposons de plus que g ne sannule pas
sur A et que l2 6= 0. Alors la fonction quotient f /g tend vers l1 /l2 quand M tend vers
Mo .
Dmonstration admise.
2.3.3. Thorme. (Thorme des Gendarmes.) i) Soient f , g et h trois fonctions
de A dans R vrifiant lingalit
g(M ) 6 f (M ) 6 h(M ) pour tout M A .
Soit Mo un point de X en lequel les limites de g et h existent et sont gales un mme
rel l. Alors la limite de f en Mo existe et vaut l.
ii) Soient f et g deux fonctions de A dans R telles que |f (M )| 6 g(M ), pour tout M A.
Soit Mo un point de X. Alors si f tend vers 0 lorsque M tend vers Mo , il en est de mme
de f .
Dmonstration admise. (Noter tout de mme que le deuxime point est une consquence facile du premier).
Exemples dapplications du thorme. 1) Supposons par exemple X = R3 . Alors lapplications coordonne f : M = (x, y, z) 7 x tend vers xo lorsque M = (x, y, z) tend vers
(xo , yo , zo ). En effet, on a d(f (M ), xo ) = |x xo |. Or on a lingalit vidente suivante :
|x xo |2 = (x xo )2 6 (x xo )2 + (y yo )2 + (z zo )2 ,
qui donne
|x xo | 6

(x xo )2 + (y yo )2 + (z zo )2 ,

cest--dire 0 6 d(f (M ), xo ) 6 d(M, Mo ). Puisque lim d(M, Mo ) = 0, on conclut avec


M Mo

le thorme des Gendarmes. On a un rsultat similaire pour les autres coordonnes.


(Noter cependant que lusage du thorme des Gendarmes est ici artificiel et que lon
conclut aussi vite avec la dfinition premire de la limite).
2xy 2
. De lingalit
x2 + y 2
vidente 0 6 (xy)2 , on tire en dveloppant 2xy 6 x2 +y 2 , cest--dire |2xy| 6 x2 +y 2 .

2) Soit f : R2 \{(0, 0)} R, lapplication donne par f (x, y) =

10

2xy
| 6 1, et donc |f (x, y)| 6 |y|. Par lexemple
x2 + y 2
y = 0. On conclut par le thorme des Gendarmes.

Donc pour (x, y) 6= (0, 0), on a |

prcdente, on sait que

lim

(x,y)(0,0)

2.3.4 Thorme. (Limite dune fonction compose) Soient f : A Y une application valeurs dans Y = R, R2 ou R3 et g : B Y Z une application dune partie
B de Y dans Z = R, R2 ou R3 . Supposons que limage de f est incluse dans B, de sorte
que la fonction compose g f est bien dfinie. Soit Xo un point de A. Supposons que la
limite de f en Xo existe et vaut Yo et que la limite de g en Yo existe et vaut Zo . Alors,
la limite de g f en Xo existe et vaut Zo .
Dmonstration admise.
2xy 2
].
x2 + y 2
Alors f est la compose de la fonction f de lexemple 2 du thorme (2.3.3) et de la
fonction g : R R, t 7 cos t. De
Exemple. Soit F : R2 \{(0, 0)} R, lapplication donne par f (x, y) = cos[

lim

(x,y)(0,0)

f (x, y) = 0 et lim cos t = 1 ,


t0

on dduit que la limite de F en (0, 0) existe et vaut 1.


2.3.5. Dfinition. Soient f : A Y une application, Mo un point de A. On dit que
f est continue en Mo si lim f (M ) = f (Mo ). On dit que f est continue sur A si f est
M Mo

continue en chaque point de A.


Exemples 1) Une fonction numrique constante est continue.
2) Soit O E un point fix. La fonction f : E R, M 7 d(0, M ) est continue sur E.
3) Les fonction coordonnes dans un repre orthonorme sont continues partout. Par
exemple, dans R3 , les trois fonctions (x, y, z) 7 x, (x, y, z) 7 y, (x, y, z) 7 z, sont
continues sur R3 tout entier.
Le thorme suivant montre comment se ramener systmatiquement au cas dun
fonction numrique.
2.3.6. Thorme. Supposons par exemple X = R3 . Soit f : A X une application
dont les composantes sont donnes par fx (M ), fy (M ) et fz (M ). Soit Mo un point de A.
Alors f est continue en Mo si et seulement si les trois fonctions numriques fx , fy et fz
sont continues en Mo .
2.3.7. Thorme (Compose, somme, produit et quotient de fonctions continues) i) Soient f , g deux fonctions dune partie A de X dans R et Mo un point de A.
Supposons f et g continues en Mo Alors f + g et f g sont continues en Mo . Si de plus g
ne sannule pas sur A, le fonction f /g est continue en Mo .
ii) Soient f : A Y une application valeurs dans Y = R, R2 ou R3 et g : B Y
Z une application dune partie B de Y dans Z = R, R2 ou R3 . Supposons que limage
de f est incluse dans B, de sorte que la fonction compose g f est bien dfinie. Soit Mo
un point de A. Alors si f est continue en Mo et g est continue en f (Mo ), la compose
g f est continue en Mo .
11

Dmonstration. Elle dcoule immdiatement des thormes portant sur la limite dune
somme, dun produit, dun quotient ou dune compose.
Supposons par exemple X = R3 . On appelle fonction (numrique) polynomiale une
fonction obtenue en faisant des sommes de monmes, cest--dire de fonctions de la
forme axl y m z n , a R tant une constante et l, m, n des entiers positifs. En dautres
termes, une fonction polynomiale sobtient partir des fonctions coordonnes en faisant
des sommes et des produits. Par exemple f (x, y, z) = x2 + 2xyz 3 + 5y 2 z est polynomiale.
Une fonction numrique est dite fraction rationnelle sil elle sobtient comme quotient de
deux fonctions polynomiales.
Comme corollaire du thorme prcdent, nous avons le rsultat important suivant.
2.3.8. Thorme. Soit f : A X R une application. Si f est polynomiale elle est
partout continue. De mme si f est une fraction rationnelle, elle ext continue sur tout
son domaine de dfinition.
Les thormes (2.3.6), (2.3.7) et (2.3.8) permettent de construire ou reconnatre
comme telles la plupart des fonctions continues que nous aurons traiter.
2.4. Domaines ferms, ouverts. Domaines borns, compacts.
Ici X dsigne un des espaces affine D, P, E. Soit D un domaine de X au sens de la
section (1.2), cest--dire une partie dfinie par des ingalits strictes ou larges ou des
galits.
2.4.1. Dfinition. Le domaine D sera dit ferm si on peut le dfinir avec des conditions
de la forme f (M ) > 0, o f est une fonction continue dfinie sur X tout entier. Il sera
dit ouvert si on peut le dfinir avec des conditions de la forme f (M ) > 0, o f est une
fonction continue dfinie sur X tout entier.
Exemples. Le domaine de R2 dfini par D = {(x, y) ; x + y 6 0 et x2 + y 2 > 1} est ferm.
En effet les ingalits sont larges et les fonctions (x, y) 7 x + y et (x + y) 7 x2 + y 2
sont dfinies et continues sur R2 . Lintrieur dun cercle de centre O et de rayon R est
ouvert car dfini par lingalit d(O, M ) < R, o M 7 d(0, M ) est dfinie et continue
sur R2 . Une boule ouverte dun espace euclidien est ouverte au sens de (2.4.1). De mme
une boule ferme dune espace euclidien est ferme au sens de cette mme dfinition.
Notons que D (resp. P, E) est un domaine la fois ouvert et ferm de D (resp. P,
E). Par exemple P est, aprs le choix dun systme de coordonnes, le domaine ferm
dfini par lquation x2 + y 2 > 0. Cest aussi le domaine ouvert dfini par lquation
x2 + y 2 + 1 > 0.
Faisons les remarques importantes suivantes.
Il existe en mathmatiques une notion beaucoup plus gnrale de partie ouverte
ou ferme dans un espace euclidien. Notre dfinition est ad hoc, taille sur mesure pour
les applications que nous avons en vue ; elle nest pas satisfaisante dun point de vue
thorique.
Un domaine peut par exemple tre ferme bien que dfinissable par des conditions
contenant une ingalit stricte. Par exemple, la partie D dfinie par x2 + y 2 > 1 et
12

x + y < 4 est ferme. En effet le disque ferm x2 + y 2 > 1 est contenue dans le demi-plan
ouvert x2 + y 2 < 4, de sorte que notre domaine est le disque ferm unit. La condition
de la dfintion doit tre bien comprise : il doit exister une caractrisation de D par des
ingalits larges faisant intervenir des fonctions continues.
2.4.2. Thorme. Soit D un domaine ouvert de X. Alors tout point de D est intrieur.
Dmonstration admise.
2.4.3. Dfinition. Un domaine est dit born sil peut tre inclus dans une boule de rayon
fini R. Un domaine est dit compact sil est ferm et born.
Exemples. 1) Une boule ferm est compacte.
2) Soient f : R R une application continue et positive sur un intervalle [a, b] de R.
Alors la partie D de R2 situe en-dessous du graphe de f , au-dessus de laxe des abscisses
et entre les droite x = a et x = b est un domaine compact. En effet, tout dabord D est un
domaine car il est dfini par les ingalits larges x > a, x 6 b, y > 0 et f (x)y > 0. Nous
savons que les fonctions coordonnes sont continues. De plus la fonction (x, y) 7 f (y)
est continue car compose de fonctions continues. Il sensuit que les fonctions dfinissant
D sont continues : D est ferm. Soit M le maximum de f sur [a, b] (qui existe car f est
continue et [a, b] compact). Alors D est contenu dans le rectangle a 6 x 6 b, 0 6 y 6 M ,
qui lui-mme peut tre inclus dans un disque de rayon fini. Ainsi D est born, et donc
compact.
M

Exercices du chapitre 2
1. a) Dterminer les courbes de niveau de la fonction f : R2 R, (x, y) 7 xy. Tracer
lallure de quelques unes de ces courbes sur un graphique.
b) Courbes de niveau de la fonction dfinie sur R2 par
f (x, y) =

x2

3y
.
+ y2 + 1

i) Dterminer la courbe de niveau 0. Montrer que la courbe de niveau k 6= 0 a pour


quation :
9 4k2
3
.
x2 + (y + )2 =
2k
4k2
13

En dduire que la courbe de niveau k 6= 0 est soit vide, soit un cercle dont on prcisera
le rayon et le centre.
ii) Tracer sur un graphique les courbes de niveau k, pour les valeurs suivantes (on pourra
se servir dune calculatrice) :
k = 1, 5 ; 1, 2 ; 0.9 ; 0, 6 ; 0, 3 ; ; 0 ; 0, 3 0, 6 ; 0, 9 ; 1, 2 ; 1, 5 .
Quelle est limage de f ? Quelles sont la plus grande et plus petite des valeurs prises par
f?
c) Dterminer les courbes de niveau et limage de la fonction dfinie par f (x, y) =
sin(x + y), (x, y) R2 .
2. a) Quel est le domaine de dfinition de la fonction donne par
f (x, y) = p

x
x2

b) Dterminer les lignes de niveau et limage de f . Tracer quelques lignes de niveau sur
un graphique.
3. Quel est le domaine de dfinition D de la fonction donne par
p
f (x, y) = ln(x + 2y + 1) + 1 x2 y 2 ?
Le reprsenter sur un graphique.

4. Soit f : R2 \{(0, 0} R la fonction donne par


f (x, y) =

x2 y 2
.
x2 + y 2

a) Dterminer les lignes de niveau et limage de f . Tracer quelques lignes de niveau sur
un graphique. Au vu de ce graphique, pensez-vous que la limite de f en (0, 0) existe ?
b) Montrer que pour tout R et pour tout r R, r 6= 0, on a f (r cos , r sin ) =
f (cos , sin ) = cos 2.
c) Supposons par labsurde que
lim f (x, y) = l existe. Obtenez une contradiction
(x,y)(0,0)

en calculant de deux faons diffrentes lim f (r cos , r sin ), pour plusieurs valeurs de .
r0

5. Soit f : R2 \{(0, 0)} R la fonction dfinie par


f (x, y) =

xy 2
.
+ y4

x2

Calculer lim f (t2 , t), et pour tout a R, limt0 (t, at). La fonction f possde-t-elle une
t0

limite en (0, 0) ?

6. Soit f la fonction dfinie sur le plan priv de la droite dquation y = x par la formule
f (x, y) =

sin x sin y
.
xy
14

a) En utilisant la formule
sin a sin b = 2 sin

ab
a+b
cos
,
2
2

montrer que pour tout xo R :


lim

(x,y)(xo ,xo )

f (x, y) = cos xo .

b) Montrer que la fonction f : R2 R, dfinie par


(
sin xsin y
si x 6= y
xy
f(x, y) =
cos x
si x = y
est continue sur R2 .
7. Soit f : R2 R, la fonction dfinie par
(
2
2
f (x, y) =

4xy(x y )
x2 +y 2

si (x, y) 6= (0, 0)
si (x, y) = (0, 0)

a) Donner une majoration de |f (r cos , r sin )| qui ne dpend que de r. En dduire


laide du thorme des Gendarmes que f est continue en (0, 0).

3. Drivation
3.1. Drives partielles en un point intrieur au domaine.
Pour fixer les ides, nous supposons que lespace de dpart est R3 . En dimension 2
les choses sont similaires. En dimension 1 la notion de drive partielle napportera rien
de nouveau. Rappelons que dans un espace affine de dimension 3, une fois fix un repre
orthonorm (O,~i,~j, ~k), on peut voir une fonction dun point comme un fonction des trois
variables de coordonnes x, y et z.
Soit f une fonction dfinie sur un domaine D de R3 et Mo = (xo , yo , zo ) un point
intrieur D. Supposons f valeurs dans Y = R, R2 ou R3 . Puisque Mo est intrieur
D, pour a > 0 rel assez petit, un point de la forme (x, yo , zo ), |x xo | < a est encore
dans D. Ceci nous permet de considrer lapplication
g : ]xo a, xo + a[ Y , x 7 f (x, yo , zo ) .
De faon image, f est la fonction dune variable obtenue de f en gelant les variables y
et z. On dit que f admet une drive partielle en la variable x au point Mo si la fonction
g est drivable en xo . La valeur de cette drive partielle est
f (x, yo , zo ) f (xo , yo , zo )
f
(xo , yo , zo ) = g (xo ) = lim
.
xxo
x
x xo
On dfinit de mme lexistence et les valeurs des drives partielles
au point Mo et en les variables y et z respectivement.
15

f
f
(xo , yo , zo ),
(xo , yo , zo )
y
z

Exemples. 1) Soit f : R2 R, (x, y) 7 x2 y + sin y. Alors les drives partielles de f


existent en tout point Mo = (xo , yo ) de R2 et lon a :
f
f
(xo , yo ) = 2xo yo et
(xo , yo ) = cos yo .
x
y
2) Si f est une fonction dune seule variable, la drive partielle en cette unique variable se
confond avec la drive habituelle, sauf que nous permettons lespace darrive dtre
un des espaces R2 ou R3 . Par exemple, si f : R R3 est la fonction donne par
f (t) = (2t, t2 + 1, sin t) et si to R, on a
sin t sin to
f (t) f (to )
= (2, t + to ,
)
t to
t to

de sorte que la drive en to existe et vaut


f (to ) =

df
f
(to ) =
(to ) = (2, 2to , cos to ) .
dt
t

Les drives partielles ont linterprtation gomtrique suivante dans le cas de deux
variables. Traitons par exemple le cas de f
x (xo , yo ). Lintersection du graphe de la fonction f (une surface) avec le plan y = yo donne une courbe qui est la reprsentation
graphique de la fonction x 7 f (x, yo ). Alors la quantit f
x (xo , yo ) est la pente de la
tangente cette courbe au point dabscisse x = xo .
f
(Mo ) existe pour tout point Mo de D, on dit que f
x
f
admet une drive partielle en la variable x sur D. La fonction obtenue est note
.
x
On trouve aussi les notations suivantes :
Lorsque D est ouvert et que

fx Dx f x f 1 f .
Ici lindice 1 dans 1 signifie que lon drive par rapport la premire variable.
f
Notons que dans la littrature, on rencontre souvent la notation abusive
(x, y, z) pour
x
dsigner la drive partielle en la variable x au point (x, y, z). Cette notation est viter
dans un premier temps car elle utilise x la fois comme variable muette et vritable
variable.
Le rsultat suivant nous permettra de nous ramener systmatiquement au cas o
lespace darrive est de dimension 1, cest--dire au cas o f est une fonction numrique.
3.1.1. Thorme. Supposons pour fixer les ides que lespace darrive est Y = R3 .
Pour M D notons X(M ), Y (M ) et Z(M ) les composantes du vecteur f (M ). Soit Mo
f
(Mo ) existe si, et seulement si, les
un point intrieur D. Alors la drive partielle
x
trois drives partielles
X
Y
Z
(Mo ) ,
(Mo ) ,
(Mo )
x
x
x
existent. Si cest le cas on a de plus lgalit :

X
Y
Z
f
(Mo ) =
(Mo ),
(Mo ),
(Mo ) .
x
x
x
x
16

Le cas particulier X = R et Y = R2 ou R3 est intressant : cest le cas dun arc


paramtr dans le plan ou lespace. Dans ce cas-l , les domaines qui nous intresseront
sont de la forme D =]a, b[ ou D = R. Une fonction f : ]a, b[ R3 , t 7 (X(t), Y (t), Z(t))
est drivable en to ]a, b[ si les trois fonctions X, Y et Z le sont et si cest le cas, on a :
f (to ) = (X (to ), Y (to ), Z (to ))
Si f reprsente la position dun mobile ponctuel linstant t, f (to ) quand il existe
sappelle le vecteur vitesse linstant t.
Exemple. Lancer dun projectile dans un champ de pesanteur uniforme. On fixe un repre
orthonorm (0,~i, ~k) dun plan vertical. On suppose que lorigine 0 est au niveau du sol.
On lance un projectile de masse m (suppos ponctuel) depuis le point 0 avec une vitesse
initiale ~vo . On suppose que ce vecteur vitesse est de norme vo et fait un angle de avec
le vecteur ~i. Si (x(t), z(t)) dsigne la position du projectile linstant t, on trouve les
expressions :
gt2
gt2
+ tvo cos , z(t) =
+ tvo sin .
x(t) =
2
2
Les drives sont x (t) = gt + vo cos et z (t) = gt + vo sin , et le vecteur vitesse
linstant t est donn par
v(t) = (gt + vo cos , gt + vo sin ) .
Exercice. A quel instant t la vitesse du projectile est-elle parallle laxe des x ? A quelle
distance de O, va-t-il retomber ? Quelle est laltitude maximale du projectile lors de sa
trajectoire ?
3.1.2. Thorme (Dveloppement limit lordre 1). Supposons X = E pour fixer
les ides. Soit f une fonction dun domaine ouvert D de E dans R et Mo (xo , yo , zo ) un
f
f f
,
et
existent sur D et sont
point de D. Supposons que les drives partielles
x y
z
continues en Mo . Choisissons un rel R > 0 tel que la boule ouverte Bo (Mo , R) soit
contenue dans D. Alors on a lcriture :
f (M ) = f (Mo )+ (x xo )


f
f
f
(Mo )+ (y yo ) (Mo )+ (z zo ) (Mo )+ kMo M k(Mo M )
x
y
z

quel que soit M Bo (Mo , R) , o : {~v ; k~v k < R} R est une fonction qui tend vers
0 quand le vecteur ~v tend vers ~0. On a une formule similaire en dimension 2.
Dmonstration admise.
Remarque. Noter que les hypothses sont plus fortes que dans le thorme similaire
portant sur les fonctions dune seule variable, o lon a lexistence dun dveloppement
limit lordre 1 en un rel xo ds que f (xo ) existe.
Exemples. 1) Soit f lapplication de R2 dans R donne par f (x, y, z) = x2 + y 2 . Alors les
drives partielles existent sur tout R2 et sont partout continues. Elles sont donnes par
f
f
(xo , yo ) = 2xo et
(xo , yo ) = 2yo .
x
y
17

Le dveloppement limit lordre 1 scrit donc :


p
x2 + y 2 = x2o + yo2 + 2xo (x xo ) + 2yo (y yo ) + (x xo )2 + (y yo )2 (x xo , y yo )
pour tout (x, y) R2 .
Une autre faon pratique dcrire ce dveloppement est dintroduire des variables daccroissement h et k telles que x = xo + h et y = yo + k. On obtient :
p
(xo + h)2 + (yo + k)2 = x2o + yo2 + 2xo h + 2yo h + h2 + k2 (h, k) ,

pour tout (h, k) R2 . Pour vrifier le thorme, on peut calculer explicitement. On


trouve
p
h2 + k2
= h2 + k2 = k(h, k)k ,
(h, k) =
h2 + k2

qui tend bien vers 0 lorsque (h, k) tend vers (0, 0).
2) Soit f la fonction dfinie sur le complmentaire D de la droite 1+x+y = 0 (D peut par
1+xy
exemple tre dfini par linquation (1 + x + y)2 > 0), donne par f (x, y) =
.
1+x+y
Alors ses drives partielles existent et sont continues sur tout D. Elles sont donnes
par :
2v
f
1+u
f
(u, v) =
et
(u, v) = 2
.
2
x
(1 + u + v)
y
(1 + u + v)2
f
f
(0, 0) = 0 et
(0, 0) = 2. Le dveloppement limit lordre 1 en
x
y
(0, 0) est donc donn par :
p
f (x, y) = 1 2y + x2 + y 2 (x, y) .
En particulier

Ici (x,
y) doivent varier dans un disque ouvert de centre O contenu dans D, i.e. de rayon
R < 2/2.

3.1.3. Proposition. (Drivation dune somme dun produit dun quotient.)


Soient D un domaine de X et Mo un point intrieur X. Soient f , g : D R
des fonctions numriques dont les drives partielles en Mo existent. Alors f + g et f g
admettent des drives partielles en Mo et on a par exemple :
(f + g)
f
g
(f g)
f
g
(Mo ) =
(Mo ) +
(Mo ) ,
(Mo ) =
(Mo )g(Mo ) + f (Mo ) (Mo ) .
x
x
x
x
x
x
Si de plus, g ne sannule pas sur D, on a
(f /g)
(Mo ) =
x

g
f (Mo ) x
(Mo )
.
g(Mo )2

f
x (Mo )g(Mo )

Dmonstration. Comme dans le cas classique dun fonction dune variable : les arguments
sont strictements les mmes.
3.1.4. Proposition. Soit D un domaine ouvert de X. Alors les applications coordonnes admettent des drives partielles continues (et mme constantes) sur tout D. Une
application numrique polynomiale D R admet des drives partielles continues (et
18

mme encore polynomiales) sur tout D. Une fraction rationnelle dfinie sur D admet des
drives partielles continues (et mme encore rationnelles) sur tout D.
Dmonstration. La proposition dcoule de la proposition prcdente. En effet les fonctions
polynomiales ou rationnelles sobtiennent des applications coordonnes par la formation
de sommes, produits ou quotients.
Cette proposition donne dj un stock consquent de fonctions numriques admetttant des drives partielles continues. Nous verrons plus loin comment largir ce stock
par la composition des fonctions.
3.2. Gradient et Drive dans une direction. Fonctions constantes.
Dans cette section, nous travaillons avec une fonction numrique f dfinie sur un
domaine ouvert D de X = P ou E. On supposera que f admet des drives partielles
continues sur D tout entier, de sorte que lon a un dveloppement limit lordre 1
en tout point de D. Pour fixer les ides, on supposera que X = E, muni dun repre
orthonorm (O,~i,~j, ~k).
Soient ~v un vecteur de E et t un rel. Si M E, la notation M + t~v dsigne lunique

point N de E tel que M N = t~v . Autrement dit M + t~v dsigne le point N obtenu de M
par la translation de vecteur t~v .
3.2.1. Dfinition. (Vecteur gradient) Soit M un point de D. On appelle gradient de

f en M , et lon note grad(f )M , le vecteur


f
f
f
(M )~i +
(M )~j +
(M )~k .
x
y
z

La fonction vectorielle grad(f ) : M 7 grad(f )M est appele le gradient de f ou le champ


de gradients attach f . Cest une fonction vectorielle continue.
Le gradient permet de rcrire le dveloppement limit lordre 1 de f en un point
M (xo , yo , zo ) de D de faon plus gomtrique. Soit (h, k, l) R3 tel que le point M de
coordonnes (xo + h, yo + k, zo + l) appartienne encore D. On passe du point Mo au

point M par la translation de vecteur M = (h, k, l) : M = Mo + M . La partie linaire


du dveloppement limit en Mo peut scrire comme un produit scalaire :

f
f
f
(Mo )h +
(Mo )k +
(Mo )l = grad(f )Mo .M .
x
y
z
Le dveloppement limit lordre 1 en Mo scrit donc :


f (Mo + M ) = f (Mo ) + grad(f )Mo .M + kM k(M ) ,
o la fonction tend vers 0 lorsque son argument tend vers le vecteur nul.
3.2.2. Dfinition. (Diffrentielle) On appelle diffrentielle de f au point Mo D, et
on note dfMo , lapplication qui un vecteur (h, k, l) de R3 associe lexpression linaire
en h, k et l donne par :
dfMo (h, k, l) =

f
f
f
(Mo )h +
(Mo )k +
(Mo )l .
x
y
z
19

En dautre termes, la diffrentielle donne la partie linaire du dveloppement limit de f


lordre 1 en Mo .
Pour des raisons historiques remontant au mathmaticien allemand Leibniz (1646

1716), une variation du point Mo , M = h~i + k~j + l~k, se note dM = dx~i + dy~j + dz~k. On
pense intuitivement aux variables numriques dx, dy et dz comme des infiniments petits.
De nos jours, les mathmaticiens ne fondent plus lanalyse une ou plusieurs variables
sur les infiniment petits. Cependant on continue dutiliser les notations de Leibniz car
elles sont intuitives et pratiques pour le calcul.
Le lien entre la diffrentielle et le gradient est donne par
dfMo =

f
f
f
(Mo )dx +
(Mo )dy +
(Mo )dz = grad(f )Mo .dM , dx, dy, dz R
x
y
z

Remarque. Le gradient, tel quon la dfini, semble dpendre du choix du repre orthonorm (O,~i,~j, ~k). En fait on peut montrer quil nen est rien. Il dpend en revanche du
choix dun produit scalaire sur E. Ceci est sans consquence car le produit scalaire sera
toujours fix une fois pour toute.
3.2.3. PropositionDfinition. (Drive dans une direction) i) Soit f : D
R une fonction numrique dfinie sur le domaine ouvert D et admettant des drives
partielles continues sur D. Soient ~v un vecteur de E et Mo un point de D. Alors la limite
f (Mo + t~v ) f (Mo )
t0
t
lim

existe et sappelle la drive de f en Mo dans la direction ~v . On la note D~v f (Mo ).


ii) Supposons ~v de coordonnes (vx , vy , vz ). On a les galits :
D~v f (Mo ) =

f
f
f
(Mo )vx +
(Mo )vy +
(Mo )vz = grad(f )Mo . ~v .
x
y
z

En particulier on a
D~i f (Mo ) =

f
f
f
(Mo ) , D~j f (Mo ) =
(Mo ) , D~k f (Mo ) =
(Mo ) .
x
y
z

Dmonstration. Le dveloppement limit de f en Mo lordre 1 scrit :


f (Mo + M ) = f (Mo ) + grad(f )Mo .M + kM k(M ) ,

o (M ) tend vers 0 avec le vecteur M . En substituant t~v M , avec t assez petit


pour que Mo + t~v soit dans D, on obtient :

f (Mo + t~v ) = f (Mo ) + gradfMo .(t~v ) + kt~v k(t~v ) .

On tire :

Lexpression
en 0. Donc

|t|
f (Mo + t~v ) f (Mo )
= gradfMo .~v + k~v k(t~v ) , t 6= 0 .
t
t
|t|
vk
t k~

est borne (vaut k~v k) tandis que la fonction t 7 (t~v ) tend vers 0
lim

t0

|t|
k~v k(t~v ) = 0
t
20

et le rsultat en dcoule.
La drive dans la direction ~v a une interprtation graphique simple dans le cas dune
fonction de deux variables et lorsque le vecteur ~v est norm. On a vu que D~v f (Mo ) est
la drive en 0 de la fonction t 7 f (Mo + t~v ). Si on coupe la surface reprsentative de f
avec le plan vertical passant par Mo et parallle ~v on obtient le graphe de la fonction
t 7 f (Mo + t~v ). Alors la drive directionnelle D~v f (Mo ) est la pente de la tangente
cette courbe au point dabscisse 0 dans le repre (Mo , ~v , ~k).
Pour pour voir comparer des drives dans des direction diffrentes en un mme point
Mo , il faut fixer la norme de ~v une fois pour toute et on impose k~v k = 1. La direction
donne par le gradient a linterprtation suivante :
3.2.4. Proposition. Prenons les notations et hypothses de la proposition prcdente.
Lorsque ~v varie dans lensemble des vecteurs unitaires, la drive directionnelle D~v prend
un valeur maximum lorsque ~v est parallle au gradient et a mme sens que lui. En dautres
termes, autour dun point Mo fix la direction dans laquelle la fonction f varie le plus
est celle donne par le gradient.
Dmonstration. En effet on a

D~v f (Mo ) = gradfMo . ~v = kgradfMo k . k~v k cos = kgradfMo k cos ,

o dsigne langle de vecteurs (gradfMo , ~v ). Il est clair que le maximum est atteint
lorsque cos = 1, cest--dire lorsque 0 modulo 2.
En dimension 1, nous savons quune fonction drivable sur un intervalle, et dont la
drive est nulle, est constante sur cet intervalle. La gnralisation de ce phnomne en
dimension suprieure est possible mais plus dlicate.
Soit D un sous-ensemble de R2 ou R3 . On dit que D est convexe si chaque fois quil
contient deux points, il contient le segment reliant ces deux points. Un disque, un boule,
lintrieur dun ellipse sont convexes . Un couronne de R2 nest pas convexe.
Enfin on dit quun domaine D est toil par rapport lun de ses points 0, si pour
tout M dans D, le segment [0, M ] est contenu dans D.
On dit quun domaine D est connexe par ligne brise si chaque paire de points A
et B de D peuvent tre relis par une ligne polygonale contenue dans D. Un domaine
convexe ou toil est connexe par ligne brise ; dans le premier cas, il faut utiliser une
ligne polygonale 1 segment, et dans le second cas, une ligne polygonale 2 segments.

Non convexes

Convexes

21

3.2.5. Thorme. Soit D un domaine de R2 ou R3 suppos ouvert. Soit f : D R


un fonction admettant des drives partielles. Supposons que D soit convexe, ou toil
(ou plus gnralement connexe par ligne brise).

a) Si quel que soit M D, gradf (M ) = ~0, alors f est constante sur D.


b) Si f
x est identiquement nulle sur D, alors la fonction f ne dpend pas de la
variable x.
Dmonstration. Admise.
3.3. Drivation en chane.
Nous allons voir que sous certaines conditions une fonction compose admet des
drives partielles et que lon peut les calculer avec une rgle simple appele rgle de
drivation en chane.
Commenons par le cas le plus simple o lon compose une fonction numrique de
plusieurs variables avec une fonction numrique dune variable.
3.3.1. Thorme. Soit D un domaine de X que nous prendrons gal R3 pour fixer
les ides. Soit f : D I une fonction numrique valeur dans un intervalle ouvert I
de R. Soit : I R une fonction numrique dune variable dfinie sur I. Supposons
que les hypothses suivantes sont satisfaites :
i) f admet des drives partielles en un point Mo intrieur D ;
ii) est drivable en ao = f (Mo ).
Alors : f admet des drives partielles en Mo et elle sont donnes par :
f
( f )
f
( f )
(Mo ) = (f (Mo )) (Mo ) ,
(Mo ) = (f (Mo )) (Mo ) ,
x
x
y
y
( f )
f
(Mo ) = (f (Mo )) (Mo ) .
z
z
Dmonstration. Supposons que Mo = (xo , yo , zo ). Alors, par dfinition, quand elle existe,
la drive partielle en la variable xo de f en Mo est la drive de la fonction compose t 7 [f (t, yo , zo )] au point t = xo . Il suffit alors dappliquer le thorme donnant
lexistence et la valeur de la drive dune fonction compose de deux fonctions dune
seule variable.
Regardons ensuite lautre cas extrme o on compose une fonction vectorielle de R
dans R3 (par exemple) avec une fonction numrique de R3 dans R.
3.2.2. Thorme. Soient I un intervalle de R et D un domaine ouvert de R3 . Soit une
application de I dans D (un arc paramtr) donn par ses composantes (X(t), Y (t), Z(t)),
t I. Soit f une application numrique de D dans R. Supposons les conditions suivantes
vrifies :
i) drivable en un point a I,
ii) f admet des drives partielles sur D qui sont continues au point Mo = (a).

22

Alors f est drivable en a et on a la formule :

(f ) (a) = gradfMo . (a)


=

f
f
f
(Mo )X (a) +
(Mo )Y (a) +
(Mo )Z (a) .
x
y
z

Dmonstration. Par hypothse, f admet un dveloppement limit lordre 1 en Mo =


(a) :

f ((a) + H ) = f (Mo ) + gradfMo . H + k H k( H ) .

En posant H = (t) (a), pour t proche de a, on obtient :

f ((t)) f ((a)) = gradfMo . ((t) (a)) + k((t) (a))k + ((t) (a)) .

Do en divisant par t a :
f ((t)) f ((a))
(t) (a)
(t) (a)
= gradfMo .
+ k
k ((t) (a)) .
ta
ta
ta
(t) (a)
(t) (a)
tend vers le vecteur (a). La quantit k
k
ta
ta
est borne, tandis que ((t) (a)) tend vers 0. Le produit tend donc vers 0 et le thorme en dcoule.

Par dfinition, le quotient

Nous allons prsent traiter le cas dune compose de la forme f o f et sont


comme suit :
est une application dun domaine ouvert D de R3 dans un ouvert de R3 et f
est une application numrique de R3 dans R,
ou bien
est une application dun domaine ouvert D de R3 dans un ouvert de R2 et f
est une application numrique de R2 dans R,
ou bien
est une application dun domaine ouvert D de R2 dans un ouvert de R3 et f
est une application numrique de R3 dans R,
ou bien
est une application dun domaine ouvert D de R2 dans un ouvert de R2 et f
est une application numrique de R2 dans R.
Nous nnoncerons le rsultat que dans le premier cas, les autres ayant des formulations similaires.
3.2.3. Thorme. Soient D et des domaines ouverts de R3 , une application de D
dans et f une application numrique de dans R. Notons (x, y, z) les coordonnes
dun point M D et (u, v, w) les coordonnes dun point N . Notons
(u (x, y, z), v (x, y, z), w (x, y, z))
les composantes de (x, y, z), pour (x, y, z) D. Soit Mo = (xo , yo , zo ) un point fix de
D et posons (Mo ) = No = (uo , vo , wo ). Supposons que les conditions suivantes sont
satisfaites :
23

1) f admet des drives partielles sur D continues au point No = (uo , vo , wo ),


2) les fonctions u , v , w admettent des drives partielles en Mo .
Alors f admet des drives partielles en Mo et lon a :
(f )
f
u
f
v
f
w
(Mo ) =
(No )
(Mo ) +
(No )
(Mo ) +
(No )
(Mo ) ,
x
u
x
v
x
w
x
(f )
f
u
f
v
f
w
(Mo ) =
(No )
(Mo ) +
(No )
(Mo ) +
(No )
(Mo ) ,
y
u
y
v
y
w
y
(f )
f
u
f
v
f
w
(Mo ) =
(No )
(Mo ) +
(No )
(Mo ) +
(No )
(Mo ) ,
z
u
z
v
z
w
z
Dmonstration. Nous traitons la variable x, les cas de y et z tant identiques. Par dfinition, nous devons tudier la drivabilit de la fonction
t 7 f ((t, yo , zo )) ,
dfinie dans un petit intervalle ]xo a, xo + a[, au point t = xo . Cette fonction peut se
voir comme la compose de
: ]xo a, xo + a[ R3 , t 7 (t, xo , yo )
avec la fonction f . Nous sommes alors dans le cadre du thorme (3.2.2). Cette fonction
est donc drivable de drive :

(f )
(Mo ) = gradfNo . (xo ) ,
x
avec

f
f
f
gradfNo = ( (No ),
(No ),
(No )
u
v
w

et
(xo ) = (

u
v
w
(Mo ),
(Mo ),
(Mo )) .
x
x
x

Le thorme en dcoule.
Exemple. Vrifions la rgle de drivation en chane sur un exemple simple. Soit f :
R R2 la fonction donne par
f (t) =

t2 1 2t 
,
,
1 + t2 1 + t2

et g : R2 R la fonction donne par g(x, y) = x2 + y 2 . Un calcul simple montre que


la compose g f est la fonction constante de R dans R, qui t associe 1. Il faut vrifier
que (g f ) (to ) = 0, pour tout to R. Fixons un rel to et posons (xo , yo ) = f (to ). On a
f (to ) =
et

2(1 t2o ) 
4to
,
,
(1 + t2o )2 (1 + t2o )2

g
2(t2o 1) g
4to
,
.
(xo ) = 2xo =
(yo ) = 2yo =
2
x
1 + to
y
1 + t2o
24

Donc
(g f ) (to ) =
=

4to
g
2(1 t2o )
g
(xo )
+
(y
)
o
x
(1 + t2o )2 y
(1 + t2o )2

8to (t2o 1) 8to (1 t2o )


+
=0.
(1 + t2o )3
(1 + t2o )3

25

3.5. Drives partielles dordres suprieurs. Thorme de Schwarz.


Pour fixer les ides, soit f une fonction numrique dfinie sur un domaine ouvert D
f f
de R3 . Supposons que les drives partielles f
x , y , z existent sur D.
Si la drive partielle par rapport x de la fonction
on lappelle un drive partielle seconde et on la note :

f
x

existe en un point Mo de D,

2f
f
( )(Mo ) =
(Mo ) ,
x x
x2
De mme, si les autres drives partielles de

f
x

en Mo existent, on les notes

2f
f
2f
f
( )(Mo ) =
(Mo ) et
( )(Mo ) =
(Mo ) .
y x
yx
z x
zx
Quand elles existent, on a les autres drives partielles secondes, ou dordre 2 :
2f
2f
2f
2f
2f
2f
2f
(M
)
,
(M
)
,
(M
)
,
(M
)
,
(Mo ) .
(M
)
,
(M
),
o
o
o
o
o
o
y 2
z 2
xy
yz
zy
xz
zx
Lorsque les drives partielles secondes sont dfinies sur tout D, on obtient donc 9 fonctions numriques dfinies sur D :
2f
x2

2f
yx

2f
zx

2f
xy

2f
y 2

2f
zy

2f
zx

2f
yz

2f
z 2
2

pour f et f pour
On utilise aussi les notations suivante. On crit fxx
xy
x2
Attention lordre des variables qui diffre dune notation lautre !

2f
yx .

Par rcurrence, on dfinit les drives partielles tout ordre, lorsque bien sr elles
4f
signifiera que lon a driv f quatre fois : une fois par
existent. La notation
zy 2 x
rapport x, puis deux fois par rapport y et une dernire fois par rapport z.
Il nest pas toujours vrai que lon puisse intervertir lordre des drives partielles : par
2f
2f
exemple, lorsquelles existent les valeurs
(Mo ) et
(Mo ) ne sont pas forcment
xy
yx
gales. Cest cependant le cas si les drives partielles secondes sont assez rgulires,
comme le montre le thorme suivant.
3.4.1. Thorme (Dit de Schwarz). Soit f une fonction numrique dfinie sur un
2f
2f
domaine ouvert D de R3 . Supposons que les drives partielles secondes
et
xy
yx
2f
existent et sont continues sur D. Alors pour tout point M de D, on a lgalit
(M ) =
xy
2f
(M ).
yx
26

Dmonstration admise.
Exemple. Soit f : R2 R la fonction donne par f (x, y) = x2 y + 2xy + 1. Puisque
f est polynomiale, il est clair que toutes les drives de f tout ordre existent et sont
continues (car polynomiales). On a :
2f
f
: (x, y) 7 2yx + 2y et
: (x, y) 7 2x + 2,

x
yx
f
2f

: (x, y) 7 x2 + 2x et
: (x, y) 7 2x + 2,
y
xy
et le thorme est bien vrifi.
3.5. Equations aux drives partielles.
On appelle quation aux drives partielles (en abrg EDP) une quation qui relie
certaines drives partielles dune fonction inconnue f de plusieurs variables. Les quations les plus importantes de la physiques sont des quations aux drives partielles
faisant intervenir des drives dordres 1 et 2. Nous allons dcrire quelques unes de ces
quations.
Exemple 1. Equation de Laplace.
Soit f une fonction de plusieurs variables dfinie sur un domaine ouvert D et possdant des drives partielles dordre 2 sur D. Lexpression
2f
2f
2f
+
+
x2
y 2
z 2
en dimension trois, ou bien

2f
2f
+
x2
y 2
en dimension deux, sappelle le laplacien de f . Lquation linconnue f donne par
2f
2f
2f
+
+
=0
x2
y 2
z 2
sappelle lquation de Laplace. Cest par exemple lquation vrifie par lnergie potentielle dune masse ngligeable ponctuelle soumise un champ de gravitation. Elle est
aussi vrifie par :
le potentiel lectrostatique cr dans le vide par une distribution de charges lectriques ;
la temprature lquilibre dans un matriau.
Exemple 2. Equation des ondes.
Dcrivons pour simplifier lquation des ondes en dimension 1. Soit f une fonction de
deux variables x et t, dfinie sur un domaine ouvert D de R2 et possdant des drives
partielles lordre 2. Soit v un constante positive. Lquation des ondes est lquation
aux drives partielles suivante :
2
2f
2 f
=
v
.
t2
x2

27

Physiquement, la variable x est une variable despace et la variable t une variable de


temps. La fonction f modlise une grandeur physique dpendant de la position et du
temps soumise une variation aprs une petite perturbation locale du milieu considr :
une onde. Dans le cas dune onde acoustique f dsigne la pression de lair, dans le cas
dune vague f est la hauteur de leau. Dans le cas dune onde herztienne, f est une des
composantes du champ lectro-magntique.

Exercices du chapitre 3
1. Pour chacune des fonctions qui suivent, dterminer le domaine de dfinition D et pour
tout (a, b) intrieur D, dterminer quand elles existent les drives partielles au point
(a, b).
x+y
y
a) xy b) ln(xy) c) Arctan d) Arctan
x
1 xy
e) (x2 + y 2 )1/3 f) xy g) cos(x + y 2 )

2. Une autre srie : mme principe que pour lexercice 1.


xy
(i)
x+y
p
(iii) ln(x + x2 + y 2 )
(v) x2 yz 3 + xy z

(vii) x yz
xy
(ix) zt

(ii)
(iv)
(vi)
(viii)
(x)

esin(t/x)
R y et
x t dt
x yz
xy/z
xy 2 z 3 t4

3. Soient f , g : R R des fonctions drivables et (a, b) R2 . Pour chacune des


F

fonctions F ci-dessous, dterminer F


x (a, b) et y (a, b) en fonction des drives f et g ,
lorsque ces nombres existent.
F (x, y) = f (x) + g(y) F (x, y) = f (x)g(y) F (x, y) = f (x)/g(y)
F (x, y) = f (x + y)
F (x, y) = f (xy)
F (x, y) = f (x/y)
2xy
si (x, y) 6= (0, 0) et f (0, 0) = 0.
+ y2
Montrer que f admet des drives partielles en tout point (a, b) de R2 \{(0, 0)}. Les
f
calculer. Montrer que les drives partielles f
x (0, 0) et y (0, 0) existe et les calculer. La
fonction f est-elle continue en (0, 0) ?
4. On considre la fonction dfinie par f (x, y) =

5. Soit f la fonction donne par f (x, y) =

x2

3x y.

a) Quel est le domaine de dfinition de f ?


b) Soit D = {(x, y) = R2 ; 3x y > 0}. Montrer que f possde des drives partielles
continues lordre 1 sur D.
c) Ecrire le dveloppement limit lordre 1 de f au point (2, 2).
d) En dduire une valeur approche de f (2, 01 ; 1, 99). Comparer cette valeur celle
obtenue par une calculatrice.
e) Refaire le mme exercice avec :
p
la fonction f (x, y, z) = x2 + y 2 + z 2 et la valeur f (2, 01 ; 2, 01 ; 1, 01),
la fonction f (x, y, z) = ln(1 + x + sin y) et la valeur f (0, 01 ; 0, 02).
28

6. On donne quelques lignes de niveau dun fonction f suppose trs rgulire (en particulier les drives partielles lordre 1 existent) :
10

8 6 4
2

0
2

00
00
11
P11

Que dire du signe de

f
x (P )

(resp.

f
y (P )) ?

7. Soient f : R R2 la fonction dfinie par f (t) = (a cos t, b sin t), a et b tant des rels
fixs, et g ; R2 R la fonction dfinie par g(x, y) = x2 + y 2 . Montrer que la fonction
F = g f est partout drivable et dterminer sa drive de deux faons diffrentes.
8. Soit f : R2 R un fonction admettant des drives partielles en tout point. Fixons
R et dfinissons g : R2 R2 par
g(x, y) = (x cos y sin , x sin + y cos ) .
F
(a, b),
Montrer que F = f g admet des drives partielles en tout point et calculer
x
F
f f
(a, b) en fonction de a, b et des fonctions
,
.
y
x y
9. Sur le thorme de Schwarz. On considre la fonction f : R2 R2 donne par
(
4xy(x2 y 2 )
si (x, y) 6= (0, 0)
x2 +y 2
f (x, y) =
0
si (x, y) = (0, 0)
a) Montrer que les drives partielles premires de f existent sur R2 et les calculer.
b) Montrer que

2f
xy

et

2f
yx

c) Existence et calcul de
d) Les fonctions

2f
xy

et

existent sur R2 \{(0, 0)} et les calculer.

2f
xy (0, 0)
2f
yx

et

2f
yx (0, 0).

sont-elles continues en (0, 0) ?

10. Pour les fonctions suivantes, calculer lexpression de toutes les drives secondes.
Prciser les domaines dexistence :

f (x, y) = x2 y + x y , f (x, y) = sin(x + y) + cos(x y) , f (x, y) = (x2 + y 2 )3/2 ,


f (x, y) = cos2 (5x + 2y).
11. Pour les fonctions suivantes vrifier la conclusion du thorme de Schwarz :
x5 y 4 3x2 y 3 + 2x2 , sin2 x cos y.
29

12. Pour les fonctions suivantes, dterminez la drive partielle indique :


.
f (x, y) = x2 y 3 + 2x4 y ; fxxx
2
.
f (x, y) = exy ; fxxy
5
.
f (x, y, z) = x + x4 y 4 z 3 + yz 2 , fxyz
.
f (x, y, z) = exyz ; fyzy
3u
.
u(x, y, z) = ln(x + 2y 2 + 3z 3 ) ;
xyz
6v
v(x, y, z) = xa y b z c ;
.
xy 2 z 3

2f 2f
+
=
x2 y 2
0 ? (On vrifiera lquation dans le domaine ouvert dexistence du Laplacien.)
13. Parmi les fonctions suivantes, lesquelles vrifient, lquation de Laplace
a) f (x, y) = x2 + y 2 .
b) f (x, y) = x2 y 2 .
c) f (x, y) = x3 p
+ 3xy 2 .
d) f (x, y) = ln x2 + y 2 .
e) f (x, y) = ex cos y ey cos x.
14. Gradient en coordonnes polaires. Soit f : D R2 R2 une fonction admettant
des drives partielles premires sur un ouvert D de R2 .
Pour r R et R tels que (r cos , r sin ) D, on pose f(r, ) = f (r cos , r sin ).
On supposera quil existe un domaine ouvert de R2 tel que pour tout (r, ) , on
ait (r cos , r sin ) D. En fait pour simplifier, on pourra supposer que D est un disque
ouvert Do (0, R), de sorte quon peut prendre
=]0, R[R = {(r, ) R2 ; 0 < r < R} .
f
f
f
(ro , o ) et
(ro , o ) en fonction de
(xo , yo ),
r

x
f
(xo , yo ), ro , o , o lon a pos xo = ro cos o , yo = ro sin o .
y
b) Rsoudre le systme :

cos o X + sin o Y
= A
ro sin o X + ro cos o Y = B
a) Pour (ro , o ) , calculer

o A, B, ro 6= 0, o sont des constantes et X, Y des inconnues.

c) En dduire lexpression de gradf (xo , yo ) en fonction de rf ,


~j = (0, 1), o (xo , yo ) D vrifie :

f
,

ro , o , ~i = (1, 0) et

(xo , yo ) = (ro cos o , ro sin o ) , (ro , o ) , ro 6= 0 .


d) On pose ~n = cos o~i + sin o~j et ~t = sin o~i + cos o~j. Dessiner les vecteurs ~n et ~t
sur un graphique. Que dire du repre (~n, ~t) ? Montrer quavec les notations prcdentes,
on a :

f
1 f
gradf (xo , yo ) =
(ro , o )~n +
(ro , o )~t
r
r
(formule du gradient en coordonnes polaires).
30

15. a) Soit : R R2 la fonction donne par (t) = (t2 + 1, 3t 2). Montrer que
est drivable sur R et calculer .
b) Mme question pour larc : R R2 donn par (t) = (2t2 + t 1, t2 + t + 1).
Pour quelles valeurs de t le vecteur vitesse (t) est-il parallle laxe des x (resp. laxe
des y) ? Pour quelles valeurs de t est-il colinaire au vecteur ~v (1, 1) (resp. ~v (1, 1)) ?
16. Equation des ondes en dimension 1. On veut rsoudre lquation des ondes en dimension 1 :
2
2f
2 f

c
= 0 , c constante > 0 .
t2
x2
Ici f est une fonction de R2 dans R admettant des drives partielles secondes continues
et lquation signifie :
Quel que soit (x, t) R2 ,

2
2f
2 f
(x,
t)
=
c
(x, t) .
t2
x2

u+v uv
,
). Montrer que, quel que
2
2c
2
.
soit (x, t) R2 , on a f (x, t) = (x + ct, x ct). Existence et calcul de
vu
b) En dduire quil existe deux fonctions deux fois drivables F , G : R R telles
que (u, v) = F (u) + G(v), u, v R.
a) Soit la fonction dfinie par (u, v) = f (

c) Donner la forme gnrale des solutions de lquation.

17. Equation de Laplace symtrie sphrique. On cherche les fonctions f : R3 \{(0, 0, 0)}
R possdant des drives partielles continues lordre 2 et vrifiant :
(1) f = 0 (quation de Laplace),
p
(2) f (x, y, z) = (r), r = x2 + y 2 + z 2 , o est une fonction deux fois drivable
sur R+ (symtrie sphrique).
p
a) Montrer, effectivement, que si f est dfinie par f (x, y, z) = (r), r = x2 + y 2 + z 2 ,
o est deux fois drivable, alors f admet des drives partielles jusqu lordre 2 sur
R3 \{(0, 0}.
p
x2 + y 2 + z 2 .
b) Soit : R3 \{(0, 0} R la fonction dfinie par (x, y, z) =
Calculer les drives partielles de jusqu lordre 2.
c) Calculer f en fonction de r des des drives de .
d) Dterminer les solutions de lquation de Laplace symtrie sphrique.
e) Rpondre aux mmes questions en remplaant R3 par R2 .

31

4. Thorme des fonctions implicites.


Gradient et courbes de niveau.
4.1. Thorme des fonctions implicites.
Le thorme des fonctions implicite dit que sous certaines conditions, lorsque des
variables sont relies par une quation, il est localement possible dexprimer lune dentre
elles en fonctions des autres. Par soucis de simplicit, Nous nous nous restreindrons au
cas de deux variables.
Soit f une fonction numrique dfinie sur un ouvert D de R2 et soit Mo = (xo , yo )
un point de D. On suppose que f admet des drives partielles lordre 1 continues sur
D.
4.1.1. Thorme. (Fonctions implicites, premire version) Supposons que f (xo , yo ) =
f
(xo , yo ) 6= 0. Alors il existe :
0 et
y
un disque ouvert Do (Mo , r) centr en Mo ,
un intervalle ouvert ]a, b[ de R contenant xo ,
une fonction : ]a, b[ R drivable drive continue (de classe C1 ),
tels que :
pour tout (x, y) Do (Mo , r), f (x, y) = 0 si et seulement si x ]a, b[ et y = (x).
f
pour tout t ]a, b[,
(t, (t)) 6= 0
x
On a :
f

(t) = x
f

(t, (t))

y (t, (t))

en particulier

(xo ) = x
f

, t ]a, b[

(xo , yo )

y (xo , yo )

De plus a la mme rgularit que f : si les drives partielles de f lordre k existent,


alors est k fois drivable.
Dmonstration. Admise. Notons tout de mme quune fois que lon sait quil existe une
fonction drivable : I R telle que

f (x, (x)) = 0,
f
(x, (x)) 6= 0,

y
la drive de est forcment donne comme dans le thorme. En effet en drivant la
fonction constante t 7 f (t, (t)), compose de t 7 (t, (t)) et de (x, y) 7 f (x, y), on
obtient (rgle de drivation en chane) :
0=

f
f
(t, (t)).1 +
(t, (t)). (t) , t )a, b[ ,
x
y

32

do la formule.
Notons quon a une version similaire du thorme des fonctions implicites lorsque cest
f
la drive partielle
(xo , yo ) qui ne sannule pas. Dans ce cas l on peut localement
x
exprimer x comme fonction drivable de y.
f(x,y)=0

(xo, yo)

b
I

4.1.2. Thorme (Fonctions implicites, seconde version) Supposons que f (xo , yo ) =

0 et que le gradient gradf (xo , yo ) est un vecteur non nul. Alors il existe :
un disque ouvert Do (Mo , r) centr en Mo ,
un intervalle ouvert ]a, b[ de R et un rel to ]a, b[,
un arc paramtr drivable drive continue : I R2 , t 7 (x(t), y(t)),
tels que :
(xo , yo ) = (x(to ), y(to )),
pour tout t I, f (x(t), y(t)) = 0, et rciproquement tout point (x, y) de Do (x, y)
sur la courbe f (x, y) = 0 scrit de faon unique (x(t), y(t)) pour un paramtre t I,
la drive (t) est non nulle pour tout t I.
Dmonstration. Montrons brivement comment ce thorme se dduit du thorme prc
dent. Puisque le vecteur gradient gradf (xo , yo ) ne sannule pas, lune des deux drives
f
f
partielles
(xo , yo ),
(xo , yo ) ne sannule pas. Si, par exemple, la seconde est non
x
y
nulle, on pose (t) = (t, (t)), o est la fonction donne par la premire version du
thorme des fonctions implicites.
Rappelons que, lorsquil nest pas nul, le vecteur drive (t) est par dfinition un
vecteur directeur de la tangente larc au point de paramtre t. Le thorme dit
donc que si on intersecte la courbe f (x, y) = 0 avec un disque ouvert assez petit centr
en Mo , on obtient un arc paramtr dont le vecteur driv ne sannule jamais. Celui-ci
33

admet donc des tangentes en tout point. Par dfinition la tangente larc au point de
paramtre t est la tangente la courbe f (x, y) = 0 au point (x(t), y(t)). Bien sr cette
dfinition semble dpendre du choix de larc paramtr donn par le thorme. En fait
on peut dmontrer quil nen est rien (ce que lon admettra).
4.2. Gradient et courbes de niveau.
Soit f une fonction numrique dfinie sur un domaine ouvert D de R2 . Supposons
que f admette des drives partielles lordre 1 continues sur tout D Pour chaque valeur
k R de f , notons Ck la courbe de niveau k, cest--dire lensemble des points (x, y)
tels que f (x, y) = k.

4.2.1. Thorme Soit (xo , yo ) un point de D o le vecteur gradient gradf (xo , yo ) ne


sannule pas. Posons k = f (xo , yo ). Alors la courbe de niveau Ck admet une tangente en

(xo , yo ) et celle-ci est perpendiculaire au vecteur gradf (xo , yo ).


Dmonstration. Soit g la fonction dfinie sur D par g(x, y) = f (x, y)k. Alors g(xo , yo ) =

0. De plus on a gradg(xo , yo ) = gradf (xo , yo ) : on a lgalit des drives partielles


f
g
f
g
(xo yo ) =
(xo yo ) ,
(xo yo ) =
(xo yo ) .
x
x
y
y
Daprs la seconde version du thorme des fonctions implicites, on peut paramtrer
lintersection de la courbe g(x, y) = 0 (cest--dire de Cf ) laide dun arc continment
drivable : I R. Ici (t) = (x(t), y(t)), et (xo , yo ) = (x(to ), y(to )), pour un paramtre to I. De plus le vecteur driv de ne sannule jamais. Par dfinition Cf admet
alors une tangente en (xo , yo ) de vecteur directeur (x (to ), y (to )). En drivant la fonction
constante t 7 f (x(t), y(t)) par la rgle de drivation en chane, on obtient :

0 = gradf (xo , yo ) . (to ) ,

ce qui signifie que les vecteurs gradf (xo , yo ) et (to ) sont orthogonaux. CQFD.
Pour rsumer ce que nous savons sur le gradient, nous pouvons noncer : lorsquil
nest pas nul, le gradient dune fonction de deux variables (de classe C1 dfinie sur une
domaine ouvert) est perpendiculaire aux courbes de niveau et dirig selon les valeurs
croissantes de f .

5. Extrema
Dans ce chapitre, nous allons tudier les extrmas des fonctions numriques de plusieurs variables (maximums et minimums). La plupart des faits que nous noncerons se
gnralisent nombre quelconque de variables, mais par soucis de simplicit nous nous
restreindrons aux fonctions dfinies sur un domaine du plan.

34

5.1. Signe dun forme quadratique en deux variables.


On appelle forme quadratique en deux variables x et y une application polynomiale
Q de R2 dans R de la forme
Q(x, y) = px2 + 2qxy + ry 2 ,
o p, q et r sont des constantes relles. On appelle discriminant de Q le nombre rel
= q 2 pr.
Le but de cette section est ltude du signe dune telle fonction.
Notons tout de suite que si les deux nombres p et r sont nuls, ltude du signe de Q
est immdiate. Plus prcisment, on voit que Q est soit nulle (cas q = 0), soit de signe
variable. Nous travaillerons donc sous lhypothse p 6= 0 et mme p > 0, laquelle on
peut se ramener en changeant Q en Q.

Hypothse de travail : p > 0.

Observons que Q(x, 0) = px2 > 0 et que Q(x, 0) = 0 si et seulement si x = 0. Si


y 6= 0, on a
x
x
Q(x, y) = y 2 (p( )2 + 2q + r) ,
y
y
de sorte que le signe de Q(x, y) ne dpend que de la valeur du polynme du second degr
P (t) = pt2 + 2qt + r en x/y. Le discriminant de ce polynme est = 4q 2 4pr = 4.
Premier cas. < 0. Alors P (t) est toujours strictement positif.On trouve donc que
Q(x, y) > 0 si (x, y) 6= (0, 0) et Q(0, 0) = 0.

Deuximes cas. = 0. Lunique racine de P est q/p et lon a :


Q(x, y) = y 2 p(

x q 2 1
+ ) = (px + qy)2 .
y
p
p

On a donc que Q sannule sur la droite px + qy = 0 et est de signe strictement positif en


dehors de cette droite.
px+qy=0

+
0

+
Troisime cas. > 0. Le polynme P a deux racines t1 et t2 et lon a :
Q(x, y) = py 2 (

x
x
t1 )( t2 ) = p(x t1 y)(x t2 y) .
y
y

35

Le signe de Q est alors donn comme sur le dessin ci-dessous (Noter que Q change de
signe quand on traverse lune des deux droites et quelle est positive lorsque y = 0 et x
non nul).
xt 2y=0

xt 1y=0

0
+

Comme corollaire de cette discussion nous avons le thorme suivant.


5.1.1. Thorme. Soit Q(x, y) = px2 + 2qxy + ry 2 une forme quadratique en deux
variables telles quau moins un des deux nombres p ou r est non nul. Alors si son discriminant = q 2 pr est strictement ngatif, elle garde un signe constant sur R2 \{(0, 0}.
Ce signe constant est donn par le signe commun de p et de r. Si le discriminant est
strictement positif, la forme quadratique est de signe variable . Finalement si le discriminant et nul, la forme quadratique est > 0 ou 6 0 sur tout R2 et sannule sur une droite.
Dmonstration. Noter, en effet, que la relation q 2 pr < 0 entrane que p et r sont non
nuls de mme signe.
5.2. Dvloppement limit lordre 2 et extrema locaux.
Soit f : D R une fonction numrique dfinie sur un domaine ouvert D de R ou
de R2 .
5.2.1. Dfinition. On dit que f possde un minimum local en un point Mo de D, sil
existe un rayon R > 0 tel que la boule Bo (Mo , R) soit contenue dans D et tel que pour
tout M Bo (Mo , R) on ait : f (M ) > f (Mo ). On dit que ce minimum local est strict si
pour tout M Bo (Mo , M ) diffrent de Mo , on a f (M ) > f (Mo ). On dfinit de mme la
notion de maximum local (strict).
Lexemple le plus simple de fonction deux variables admettant un minimum local
est la fonction f dfinie sur tout R2 par f (x, y) = x2 + y 2 . Ici le mimimum est ralis en
(0, 0). Il est strict.
Lorsque D est un domaine ouvert de R et lorsque f est drivable, une condition
ncessaire pour que f admette un extremum local en xo D est connue des lves de
terminales : on doit avoir f (xo ) = 0. En fait, on peut tre plus prcis.
36

5.2.2. Thorme. Sous les hypothses prcdentes, si f admet un extremum local en xo ,


on a f (xo ) = 0. Rciproquement, supposons f deux fois drivables avec f (xo ) 6= 0, on
a les implications suivantes :
i) si f (xo ) = 0 et f (xo ) > 0, la fonction f admet un miminum local strict en xo ;
ii) si f (xo ) = 0 et f (xo ) < 0, la fonction f admet un maximum local en xo .
Dmonstration. Supposons que f admette par exemple un minimum local en xo . Le
dveloppement limit lordre 1 au voisinage de xo scrit :
f (x) = f (xo ) + (x xo )f (xo ) + (x xo )(x xo ) ,
o x varie dans un petit intervalle autour de xo et o la fonction tend vers 0 en 0. Par
hypothse, pour x assez proche de xo , lexpression f (x) f (xo ) est > 0. Or pour x xo
assez petit et x 6= xo , on a
f (x) f (xo ) = (x xo )(f (xo ) + (x xo )).
Si jamais on avec f (xo ) 6= 0, lexpression (f (xo ) + (x xo )) serait du signe de f (xO )
pour x xO assez petit, ce qui impliquerait que f (x) f (xo ) nest pas de signe constant :
absurde.
Montrons la rciproque propose. Supposons par exemple f (xo ) = 0 et f (xo ) > 0.
Puisque f est deux fois drivable, elle admet un dveloppement limit lordre 2 en xo :
1
f (x) f (xo ) = (x xo )f (xo ) + (x xo )2 f (xo ) + (x xo )2 (x xo )
2
1
1
(x xo )2 f (xo ) + (x xo )2 (x xo ) = (x xo )2 ( f (xo ) + (x xo )) ,
2
2
pour x assez proche de xo , x 6= xo et o la fonction tend vers 0 en 0. Or pour x assez
proche de xo , la quantit 12 f (xo ) + (x xo ) est > 0 et le rsultat en dcoule.
=

Lobjet de cette section est de gnraliser ce dernier thorme au cas de deux variables.
5.2.3. Thorme. Soit f un fonction numrique, dfinie sur un domaine ouvert D de
R2 , admettant des drives partielles continues. Soit Mo = (xo , yo ) un point de D. Alors
si f admet un extremum local en Mo les drive directionnelles D~v f (Mo ) sont nulles quel
que soit le vecteur ~v . En particulier on a :

f
f
gradf (Mo ) = 0 ,
(xo , yo ) =
(xo , yo ) = 0 .
x
y
Dmonstration. Supposons pour fixer les ides que cet extremum est un minimum. Par
hypothse, il existe un disque ouvert Do (Mo , R) tel que f (M ) > f (Mo ), pour tout
M Do (Mo , R). Soit ~v un vecteur quelconque. Alors par la continuit de f en Mo , si t
appartient un intervalle assez petit centr en 0 (disons de la forme ] a, a[, le point
Mo + t~v appartient Do (Mo , R). En posant g(t) = f (Mo + t~v ), on a donc
g(t) = f (Mo + t~v ) > f (Mo ) = g(0) , t ] a, a[ .
37

Il sensuit que g possde un minimum local en 0. Or elle est drivable en ce point de

drive D~v f (Mo ) = gradf (Mo ) . ~v . Ainsi D~v f (Mo ) = 0, quel que soit ~v , daprs le
thorme des extrema locaux en dimension 1.
On voit donc que lannulation du gradient est une condition ncessaire pour lexistence dune extremum dun fonction de classe C1 . Cest condition nest pas suffisante
comme le montrent les exemples qui suivent.
La fonction f : R2 R, dfinie par f (x, y) = x2 + y 2 admet un minimum local

en (0, 0) et comme le prvoit le thorme, le vecteur gradf (xo , yo ) = 2xo~i + 2yo~j sannule
bien en (0, 0).
La fonction f : R2 R, (x, y) 7 x2 y 2 a un gradient nul en (0, 0), puisque

gradf (x, y) = 2x~i 2y~j. Cependant la fonction ne garde pas un disque constant sur
tout disque centr en (0, 0). En effet le signe de x2 y 2 dpend dans laquelle des quatre
rgions du plan dfinies par les droites x + y = 0 et x y = 0 se trouve le point (x, y).

Un point (xo , yo ) de D o sannule le gradient de f sera appel un point critique de


f . Comme nous lavons vu, il peut tre ni un maximum ni un minimum.
Pour donner une rciproque au dernier thorme , il nous faut tudier, comme dans
le cas dune variable, le dveloppement lordre 2.
5.2.4. Dfinition. Soient f : D R une fonction dfinie sur une domaine ouvert D
de R2 et Mo = (xo , yo ) un point de D. On dit que f admet un dveloppement limit
lordre 2 au voisinage du point Mo , sil existe un disque ouvert Do (Mo , R) centr en Mo
et contenu dans D, et des constantes a, b, c, d, e, tels que pour tout (x, y) Do (Mo , R),
f (x, y) sexprime par

f (xo , yo )+a(xxo )+b(yyo )+c(xxo )2 +d(xxo )(yyo )+e(yyo )2 +kMo M k2 (Mo M )


o (~v )
tend vers 0 quand le vecteur ~v tend vers ~0. Autrement dit, pour tout (s, t) R2 ,
tel que s2 + t2 6 R, on doit avoir :
f (xo + s, yo + t) = f (xo , yo ) + as + bt + cs2 + dst + et2 + (t2 + s2 )(s, t) ,

o (s, t) tend vers 0 quand (s, t) tend vers (0, 0).


Nous allons donner une condition suffisante pour quune fonction admette un dveloppement limit lordre 2 au voisinage dun point.
5.2.5. Thorme. Avec les notations de la dfinition prcdente supposons que f possde
des drives partielles lordre 2 continues sur D. Alors f possde un dveloppement
limit lordre 2 en Mo et celui-ci a la forme :
f (xo + s, yo + t) = f (xo , yo ) +
+

f
f
(Mo )s +
(Mo )t
x
y


1  2f
2f
2f
2
2
+ (s2 + t2 )(s, t) .
(M
)st
+
(M
)s
+
2
(M
)t
o
o
o
2 x2
xy
y 2

Dmonstration admise.
38

Exemple. Soit f : R2 R la fonction donne par f (x, y) = sin(x + y). Elle admet des
drives partielles secondes continues et lon a :
f
f
(a, b) =
(x, b) = cos(a + b) ,
x
y
2f
2f
2f
(a, b) = sin(a + b) , (a, b) R2 .
(a,
b)
=
(a,
b)
=
x2
y 2
xy
Le dveloppement limit en (0, 6 ) lordre 2 est donn par

1
1
3
f (0 + x, + y) = +
(x + y) (x + y)2 + (x2 + y 2 )(x, y) .
6
2
2
4
Si f est une fonction deux fois continment partiellement drivable sur un domaine
ouvert D de R2 et si Mo est un point fix de D, on utilisera les notations suivantes :
p=

2f
2f
2f
(M
)
,
r
=
(M
)
,
q
=
(Mo ) ,
o
o
x2
xy
y 2

de sorte que le dveloppement limit de f au voisinage de Mo lordre 2 scrit :


f (xo + s, yo + t) = f (xo , yo ) +

f
f
(Mo )s +
(Mo )t + ps2 + 2qst + rt2 + (s2 + t2 )(s, t) .
x
y

5.2.6. Thorme. (Dit des extrema locaux) Soit f : D R une fonction dfinie
sur un domaine ouvert D de R2 et admettant des drives partielles continues lordre
2 sur D. Soit Mo D un point critique de f :
f
f
(Mo ) =
(Mo ) = 0 .
x
y
a) Si = q 2 rp < 0, alors p et r sont de mme signe et deux cas se prsentent :
p, r > 0 et f admet un minimum local strict en Mo ,
p, r < 0 et f admet un maximum local strict en Mo .

b) Si p 6= 0 ou r 6= 0 et si > 0, f nadmet pas de minimum local en Mo et un tel point


est qualifi de point selle ou de col.
c) Dans les autres cas, le thorme de permet pas de conclure : tout peut arriver.
Dmonstration. a) Plaons nous par exemple dans le cas p, r > 0. Faisons le changement
de variables s = cos et s = sin dans le dveloppement limit lordre 2 en Mo
(passage en coordonnes polaires). On obtient :


f (xo + s, yo + t) f (xo , yo ) = 2 1/2(p cos2 + 2q cos sin + r sin2 ) + (s, t) .

La fonction 7 p cos2 + 2q cos sin + r sin2 est strictement positive par le thorme
5.1.1 (noter que (cos , sin ) est toujours diffrent de (0, 0) et continue sur [0, 2]. Elle
admet un minimum m quelle atteint en un certain point o [0, 2]. Il sensuit que ce
miminum est > 0. Puisque (s, t) tend vers 0 en (0, 0), pour (s, t) dans un disque centr
en (0, 0) assez petit, lexpression 1/2(p cos2 + 2q cos sin + r sin2 ) + (s, t) est du
signe de m, donc strictement positive. Le rsultat en dcoule.
39

b) En passant en coordonnes polaires, toujours en utilisant le thorme 5.1.1 que le


signe de p cos2 + 2q cos sin + r sin2 + (s, t) au voisinage de (0, 0) dpend de . En
fait on peut trouver deux droite D et D passant Mo et un disque centr en Mo tels que
lon soit dans la situation reprsent par le dessin suivant.
D

f(M)>f(M o)
D
f(M)<f(M o)

f(M)<f(M o)
f(M)>f(M o)

c) Si p 6= 0 ou r 6= 0 et si = 0, la forme ps2 + 2rst + rt2 est toujours positive ou nulle,


ou ngative ou nulle, et sannule sur une droite D. Cependant on ne peut rien dire sur
lexistence dun extremum. En effet si un point (x, y) non nul est sur la droite D, le signe
de f (xo + s, yo + t) f (xo, yo ) est celui du reste (s2 + t2 )(s, t) et celui-ci dpend du signe
de sur D, dont on ne sait rien a priori. Par exemple f (x, y) = (x y)2 + (x + y)4 admet
un minimum en (0, 0), tandis que f (x, y) = (x y)2 + (x + y)3 nadmet ni maximum ni
minimum en (0, 0). En effet, dans ce dernier exemple, la droite D a pour quation x = y
et en un point (t, t) de cette droite, le reste vaut (t + t)3 = 8t3 qui a un signe qui varie
avec t.
5.3. Extrema sous contrainte
Soit D un domaine ouvert de R2 et f : D R un fonction numrique possdant
des drives partielles lordre 1 continues. Fixons une autre fonction g : D R de
mme rgularit que f et considrons la ligne de niveau C = {(x, y) D ; g(x, y) = 0}.
Nous allons nous intresser aux extrema de f sur la courbe C, cest--dire aux extrema
de la restriction f de f C. On parle "dextrema sous contrainte". En effet on cherche
optimiser la quantit f (x, y) lorsque les variables x et y sont assujties la contrainte
g(x, y) = 0.
On dit que f admet un minimum local (resp. un maximum local) en un point Mo
de C, sil existe un disque ouvert Do (Mo , r) contenu dans D, tel que pour tout M
C Do (Mo , r), on ait f (M ) > f (Mo ) (resp. f (M ) 6 f (Mo )).

40

Mo
C

111111
000000
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111

5.3.1. Thorme. (dit des extrema lis, ou sous contrainte) avec les notations

prcdentes, soit Mo un point de C vrifiant gradg(Mo ) 6= ~0. Alors si f admet un ex

tremum local en Mo , les vecteurs gradf (Mo ) et gradg(Mo ) sont lis : il doit exister un
scalaire R tel que

gradf (Mo ) = gradg(Mo ) .

Dmonstration. Par le thorme des fonctions implicites, puisque gradf (Mo ) 6= ~0, au
voisinage de Mo , on peut paramtrer localement la courbe C par un arc continment
drivable ] a, a[ D, t 7 (x(t), y(t), avec Mo = (x(x0), y(0)) : il existe un disque
ouvert Do (Mo ) tel que pour tout M D, on a M Do (Mo , r) si et seulement si
M = (x(t), y(t)) pour un unique t ] a, a[. Quitte rduire r, on peut supposer que
Do (Mo , r) est contenu dans D. Alors si f admet, par exemple, un minimum local en
Mo , quitte encore rduire D, pour tout t ] a, a[, f (x(t), y(t)) > f (x(0), y(0)). Cela
signifie que la fonction t 7 f (x(t), y(t)) admet un minimum local en t = 0. Donc

h (0) = gradf (Mo ) . (x (0), y (0)) = 0 .

Ainsi gradf (Mo ) est orthogonale au vecteur non nul (x (0), y (0)), qui est un vecteur

directeur de la tangente C au point Mo . Or on sait que que gradg(Mo ) est un vecteur

non nul orthogonal la tangente en Mo C. Il sensuit que les vecteurs gradf (Mo ) et

gradg(Mo ) sont lis. CQFD.


Exemple. Prenons D = R2 , g(x, y) = x2 + y 2 1 et f (x, y) = x3 + y 3 . Ici C est le cercle
de centre lorigine et de rayon 1. Cest un domaine ferm et born de R2 ; cest donc un

domaine compact. Notons que le gradient de g est donn par gradg(x, y) = 2x~i + 2y~j et
quil ne sannule pas sur C (il ne sannule quen lorigine). Puisque C est un domaine
compact et que f est continue, cette fonction admet un minimum et un maximum absolus
sur C. Soit (x, y) lun de ces points. Alors la restriction de f C admet un extremum
local en (x, y). Nous sommes sous les conditions dapplications du thorme de sorte que

les vecteurs gradf (x, y) = 3x2~i+ 3y 2~j et gradg(x, y) = 2x~i+ 2y~j sont lis. Le dterminant
suivant est donc nul :




2x 3x2



= 6xy 1 x = 6xy(y x) .
2y 3y 2
1 y

On trouve 6 solutions possibles au problme (noter que le thorme ne donne quune


condition ncessaire lexistence dun extremum, mais pas suffisante en gnral).
41

x = 0 donne (x, y) = (0, 1) et f (x, y) = 1,


y = 0 donne (x, y) = (1,

0) etf (x, y) = 1,
y = x donne (x, y) = ( 2/2, 2/2) et f (x, y) = 2/2.

Il sensuit que le maximum absolu de f sur C vaut 1 et quil est atteint en (1, 0) et (0, 1)
et que le minimum absolu de f sur C vaut 1, atteint en (1, 0) et (0, 1).
Exercices du chapitre 5
1. Pour chacune des fonctions suivantes, crire un dveloppement limit lordre 2 au
voisinage de (xo , yo ), et donner une valeur approche de f (x1 , y1 ). Comparer cette valeur
avec la valeur donne par une calculatrice.
a) f (x, y) = x2 2xy + y 3 , (xo , yo ) = (1, 1), (x1 , y1 ) = (0, 99 ; 1, 01).
b) f (x, y) = p
ex+2y , (xo , yo ) = (0, 0), (x1 , y1 ) = (0, 02 ; 0, 03).
c) f (x, y) = x2 y 2 , (xo , yo ) = (5, 3), (x1 , y1 ) = (5, 1 ; 2, 9).

2. Pour les fonctions suivantes, dterminer les points critiques et tudier les extrma
locaux.
a) f (x, y) = x2 + xy + y 2 + 2x + 3y.
b) f (x, y) = x3 + 3xy 2 15x 12y.
c) f (x, y) = x3 + y 3 .
3. Soient a, b, c des nombres rels avec c > 0. Soit f : R2 R la fonction donne par
ax + by + c
f (x, y) = p
.
x2 + y 2 + 1

Dterminer les points critiques de f , ses extrma locaux et montrer que f admet un
maximum global que lon dterminera.
4. Soient a, b, c des nombres rels avec c 6= 0. Soit Mo (xo , yo ) un point du plan qui nest
pas sur la droite (x, y) = ax + by + c = 0. En utilisant le thorme des extrma lis,
montrer que le minimum de la fonction f (M ) = d(Mo , M ) sur D est donn par
m=

|axo + byo + c|

.
a2 + b2

Quelle est la distance du point Mo la droite D ? Indication : on pourra dans le calcul


remplacer la fonction f par son carr (pourquoi ?).
5. Etudier les extrma (existence, valeurs) de la fonction f (x, y) = x3 + y 3 sur le cercle
C dquation g(x, y) = x2 + y 2 1 = 0, et ceci de deux faons :
a) en paramtrant le cercle par x = cos t, y = sin t, t R ;
b) En appliquant le thorme des extrma lis.

6. Etudier les extrma de la fonction f (x, y) = x2 + y 2 sur lhyperbole H dquation


x2 + 8xy + 7y 2 225 = 0.
8. Soit f : R2 R lapplication dfinie par f (x, y) = 2x3 y 2 + 2xy + 1.
a) Dterminer les extrma locaux de f .

42

b) La fonction f possde-t-elle des extrma globaux sur R2 ?


c) Reprsenter le domaine
T = {(x, y) R2 ; x > 0, y > 0, x + y 6 1}
Justifier lexistence dun maximum et dun minimum absolus de f sur T . Les dterminer.
9. Soit f : R2 R lapplication dfinie par
f (x, y) = 2x2 + 2y 2 + x2 y 2 x4 y 4 .
a) Dterminer les extrma locaux de f .
4
b) Montrer lingalit f (x, y) 6 2r 2 r4 , o r 2 = x2 + y 2 . En tudiant le maximum
4
de la fonction r 7 2r 2 r4 sur R+ , montrer que f (x, y) 6 4, pour tout (x, y) R2 .
c) Dterminer le maximum global de f et les points o il est atteint. La fonction f
possde-t-elle un minimum global ?
10. Trouver le point de la droite 2x + 3y = 1 le plus proche de lorigine. On utilisera trois
mthodes : extrma lis, paramtrisation de la droite, mthode gomtrique (projection
orthogonale de lorigine sur la droite).
11. Soit f : R2 R la fonction donne par f (x, y) = x2 + y 2 xy.
a) Dterminer les points critiques de f .
b) Dterminer les points critiques de f sous la contrainte x2 + y 2 = 1.
c) Existence et valeurs des maxima et minima de f restreinte au disque {(x, y)
R2 ; x2 + y 2 6 1}.
1

12. On considre la fonction dfinie sur R2 par f (x, y) = xy e 2 (x +y ) .


a) Etudier les extrma locaux de f sur R2 (on pourra simplifier cette tude en utilisant
les symtries de la fonction f ).
b) Existence et valeur du maximum Mr et du minimum mr de f restreinte au cercle
de centre (0, 0) et de rayon r (deux mthodes : paramtrisation ou extrma lis).
c) Montrer que lensemble des nombres {Mr ; r R+ } (resp. {mr ; r R+ }) admet
un maximum (resp. un minimum).
d) En dduire que f prend sur R2 des valeurs maximales et minimales que lon
dterminera.

6. Introduction lintgration des fonctions de plusieurs variables


Il est hors de question de donner dans ce cours un traitement gnral de lintgration
des fonctions de plusieurs variables. Les concepts requis dpassent largement le niveau
dun premire anne duniversit. Ce chapitre consistera en le dveloppement dexemples
et dides simples.
6.1. Circulation dun champ de vecteurs
Motivation. Considrons un mobile ponctuel pouvant se dplacer dans un plan et
reprons son mouvement par sa position M (t) au temps t. Supposons quil se dplace
43

~ (M ), ce champ ntant pas forcment constant et


sous laction dun champ de forces F
pouvant donc dpendre de la position M . Dans un petit intervalle de temps [to , to + h],

h petit, le mobile subit la translation M (to )M (to + h). Si lon considre que le champ
~ dans ce
de forces varie peu sur lintervalle [M (to )M (to + h)], on dfinit le travail de F
dplacement lmentaire comme tant le produit scalaire :

W F~ (M (to )) . M (to )M (to + h) .


Pour un grand intervalle de [to , t1 ], on se ramne au cas prcdent en le divisant en
petits intervalles de longueur h, o h = (t2 t1 )/n et n un entier assez grand :
[to , to + h], [to + h, to + 2h], . . . , [to + (n 1)h, t1 ] .
On dfinit une apporximation du travail effectu par la force dans ce laps de temps
comme somme de petits travaux lmentaires :

~ (M (to )).
(1) Wto t1 F
M (to )M (to + h)+ +F~ (M (to +(n1)h)).M (to + (n 1)h)M (t1 ) .
On dfinit le travail Wt0 t1 comme la limite, quand elle existe de lexpression (1)
~ (M ) est continue sur
lorsque n tend vers +. On dmontre que si la fonction M 7 F
un domaine ouvert D du plan et si larc paramtr t 7 M (t) = (x(t), y(t)) est valeurs
dans D et est une fonction continment drivable de t, alors cette limite existe et est
donne par :
Z
t2

Wt0 t1 =

F~ (M (t)) . (x (t), y (t))dt .

t1

Ceci nous amne donner une dfinition gnrale de la circulation dun champs de
vecteurs le long dun arc paramtr.

~ : D R2 un champ
6.1.1. Dfinition. Soient D un domaine ouvert de R2 et V
de vecteurs continu. Soit : [a, b] D un arc paramtr continment drivable. On
~ le long de lexpression :
appelle circulation de V
Z b
Z

~ ((t)) . (t) dt .
~
V
V (M ) . dM :=

~ ((t)) est
Remarque. Cette dfinition a bien un sens. En effet la fonction t [a, b] V
continue comme compose de fonctions continues et il en est de mme de t 7 (t) par
~ ((t)) . (t) est continue sur
hypothse. Il est alors facile de voir que la fonction t 7 V
[a, b] et son intgrale a donc un sens.
~1 , V
~2 : D R2 des champs
6.1.2. Proposition. Soient D un domaine ouvert de R2 et V
de vecteurs continus. Soit : [a, b] D un arc paramtr continment drivable. Alors
pour tous rels et , on a
Z
Z
Z

~2 (M ) .
~
~
~
dM .
(V1 (M ) + V2 (M )) . dM = V1 (M ) . dM + V

Dmonstration. Cette proprit dcoule immdiatement de la linarit de lintgrale dune


fonction continue et de celle du produit scalaire.
44

Pour la pratique, on a besoin de dfinir la circulation dun champ de vecteur sur


des arcs beaucoup plus gnraux. On dit quun champ de vecteur : [a, b] R2 est
continment drivable par morceaux (ou encore de classe C1 par morceaux, si est
continue et si lon peut partitionner lintervalle [a, b] en un nombre fini dintervalles
[a = a0 , a1 ], [a1 , a2 ], ..., [an1 , an = b] tels que pour tout k = 0, ..., n 1, la restriction
de [ak , ak+1 ] est continment drivable.
Exemple. Prenons [a, b] = [0, 3] et dfini par
(t) = (t, t2 ), t [0, 1],
(t) = (t, t), t [1, 2],
(t) = (t, 2), t [2, 3].

Alors pour t [0, 1], (t) dcrit un arc de parabole, du point (0) = (0, 0) au point
(1) = (1, 1), puis, pour t [1, 2], emprunte la premire bissectice y = x jusquau point
(2, 2), et enfin, pour t [2, 3] dcrit un segment horizontal dordonn 2 jusquau point
(3, 2). On vrifie facilement que est de classe C1 par morceaux. Noter que, comme on
le voit sur cet exemple, on ne demande pas la fonction dtre drivable aux bords
des intervalles de la partition : les drives gauche et droite existent mais ne sont pas
forcment gales.
~ : D R2
6.1.3. Thorme-Dfinition. Soient D un domaine ouvert de R2 et V
1
un champ de vecteurs continu. Soit : [a, b] D un arc de classe C par morceaux.
Soit [a = a0 , a1 ], [a1 , a2 ], ..., [an1 , an = b] de [a, b] une partition de [a, b] telle que
pour k = 0, ..., n 1, la restriction de [ak , ak+1 ] soit continment drivable. Alors la
quantit :
Z
n1
X Z ak+1

~ ((t)) . (t) dt
~
V
V (M ) . dM :=

k=0

ak

~ le long de
ne dpend pas du choix de la partition de [a, b] et sappelle la circulation de V
.

On dit quun champ de vecteur V : D R2 dfini sur un domaine ouvert D de


R2 drive dun potentiel, sil existe une fonction f : D R, admettant des drives

~ . Quand elle existe, la fonction f est appele


partielles en tout point, telle que gradf = V
~
~ drive de f , il drive aussi de f + c,
un potentiel associe V . Elle nest pas unique : si V
pour toute constante relle c.
~ : D R2 un champ de
6.1.4. Thorme. Soient D un domaine ouvert de R2 et V
~ drive dun potentiel f .
vecteur continu. Supposons que V
a) Pour tout arc continment drivable : [a, b] D, on a
Z

~ (M ) .
V
dM = f ((b)) f ((b)) .

~ sur un arc ne dpend que de lorigine et de lextrmit


En particulier la circulation de V
de larc.
b) Si : [a, b] D est un arc continment drivable contenu dans un ligne de niveau
de f , alors
Z

~ (M ) .
V
dM = 0 .

45

Dmonstration. a) On a
Z

~ (M ) .
V
dM =

gradf ((t)) . (t)dt .

Par la formule de drivation en chane, la fonction t 7 gradf ((t)) . (t) est la drive
de la fonction t 7 f ((t)). La formule en dcoule.

b) On a vu que si limage de est contenue dans une ligne de niveau, alors (t), lorquil

nest pas nul, est un vecteur tangent cette courbe au point (t), et que gradf ((t)) est
un vecteur normal cette tangente. Il sensuit que dans lintgrale
Z

gradf ((t)) . (t)dt

le produit scalaire est toujours nul et que cette intgrale est nulle. CQFD.
6.2. Intgration sur un domaine de R2 .
Soit [a, b] un intervalle de R et f , g : [a, b] R deux fonctions continues vrifiant
f (x) 6 g(x), x [a, b]. On considre le domaine D de R2 donn par les ingalits :
f (x) 6 y 6 g(x),
a 6 x 6 b.

Un tel domaine compact sera appel un domaine lmentaire vertical.


D

On dfinit un domaine lmentaire horizontal en changeant les rles des variables


x et y. On se donne un intervalle [c, d] de R, des fonctions continues f , g : [c, d] R
vrifiant f (y) 6 g(y), [c, d], et on dfinit D par les ingalits :
f (y) 6 x 6 g(y),
c 6 y 6 d.

46

D
d
g
f

Exemples. Un rectangle dont les cts sont parallles aux axes de coordonnes sont des
domaines lmentaires la fois verticaux et horizontaux. Un disque est un domaine
lmentaire la fois vertical et horizontal. Par exemple, le disque unit x2 + y 2 6 1 peut
tre dfinit comme le domaine lmentaire vertical
1

6 x 6 1,
1 x2 6 y 6 1 x2 ,

ou comme le domaine lmentaire horizontal :


1
p
p6 y 6 1,
1 y2 6 x 6 1 y2.

Un domaine compact du plan sera dit admissible si on peut le partitionner en petits domaines lmentaires verticaux ou horizontaux en le sectionnant par des droites
parallles aux axes des coordonnes.
Par exemple, la couronne C dlimite par les cercles de centre lorigine et de rayons
1 et 2 nest pas un domaine lmentaire. Comme domaine, elle peut tre prsente par
les ingalits x1 + y 2 > 1 et x2 + y 2 6 4. Cependant si lon sectionne C par laxe des
abscisses, on obtient deux demi-couronnes qui sont des domaine lmntaires verticaux :
C+ : 1 6 x2 + y 2 6 4 et y > 0 ,
C : 1 6 x2 + y 2 6 4 et y 6 0 ,
En effet, si f [2, 2] R est la fonction continue dfinie par

1 x2 si x [1, 1]
f (x) =
0
si x [2, 1] [1, 2]
alors C+ peut tre prsente par
2 6 x 6 2 et f (x) 6 y 6
et C par
2 6 x 6 2 et

4 x2 ,

4 x2 6 y 6 f (x) .

47

6.2.1. ThormeDfinition. Soit D un domaine lmentaire vertical dfini comme


prcdemment. Soit : D R une application continue. Alors lapplication
[a, b] R , x 7

g(x)

(x, y)dy
f (x)

est continue sur [a, b]. On dfinit alors lintgrale de sur D comme tant :
ZZ

(x, y) dx dy =

Z b nZ
a

g(x)
f (x)

o
(x, y)dy dx .

Dmonstration admise.
Remarque importante. Le rel x tant fix, la fonction y 7 (x, y) est continue comme
compose de deux fonctions continues. On peut donc lintgrer sur le segment [f (x), g(x)]
pour considrer la quantit
Z g(x)
(x, y)dy .
f (x)

En dautres termes, cette quantit se calcule en considrant x comme une constante et


y comme une variable muette.

6.2.2. ThormeDfinition. Soit D un domaine lmentaire horizontal dfini comme


plus haut. Soit : D R une application continue. Alors lapplication
[c, d] R , y 7

g(y)

(x, y)dx

f (y)

est continue sur [a, b]. On dfinit alors lintgrale de sur D comme tant :
ZZ
D

(x, y) dx dy =

d n Z g(y)
f (y)

o
(x, y)dx dy .

Dmonstration admise.
6.2.3. Thorme. Soient D un domaine fondamental du plan, la fois vertical et horizontal, et : D R une application continue. Alors lintgrale de sur D est la
48

mme que lon considre D comme un domaine vertical ou horizontal. En particulier, si


D est le rectangle [a, b] [c, d], on a lgalit :
ZZ

(x, y) dx dy =

[a,b][c,d]

dnZ b

(x, y)dx dy =

Z bnZ
a

d
c

o
(x, y)dy dx .

Dmonstration admise.
6.2.4. Thorme-Dfinition. Soient D un domaine compact admissible et : D
R une fonction continue. Partitionnons D en domaines lmentaires D1 , ...,Dn en le
coupant avec des droites horizontales ou verticales. Alors le nombre
ZZ

(x, y) dx dy =

n ZZ
X

(x, y) dx dy

k=1 D
k

ne dpend pas du partitionnement de D choisi et sappelle lintgrale de sur le domaine


D.
Dmonstration admise.
Lintgrale dune fonction continue de deux variables sur un domaine compact admissible possde les interprtations gomtriques suivantes. Tout dabord si est la fonction
constante de valeur 1, lintgrale
ZZ
ZZ
A=
(x, y) dx dy =
dx dy
D

est par dfinition laire du domaine compact admissible D.


Supposons par forcment constante mais positive. Soit V le domaine de lespace
dfini comme lensemble des points de coordonnes (x, y, z) vrifiant :
(x, y) D et 0 6 z 6 (x, y) .
Cest la partie de lespace situe au-dessus de D et en-dessous de la surface dquation
z = (x, y). Alors lintgrale
ZZ
V=
(x, y) dx dy
D

est par dfinition le volume du domaine V .

49

Annales de lanne prcdente

50

UNIVERSIT DE POITIERS
L1 Parcours Renforc
Mathmatiques
Fonctions de Plusieurs Variables
Anne 2008-2009

Devoir Libre

Problme I.
Soit f la fonction numrique de deux variables dfinie par
f (x, y) = arctan

x+y
arctan x arctan y .
1 xy

1. Soit D R2 le domaine de dfinition de f . Montrer que D est un domaine ouvert. Montrer quon peut lcrire comme la runion disjointe des trois domaines ouverts
suivants :
D0 = {(x, y) R2 ; xy < 0} , D+ = {(x, y) R2 ; xy > 1, x > 0, y > 0} ,
D = {(x, y) R2 ; xy > 1, x < 0, y < 0} .

2. Montrer que le domaine D0 est toil par rapport lorigine O(0, 0), cest--dire que
si M (x, y) D0 , alors le segment [OM ] est encore dans D0 .
1
3. Montrer que, pour tout x > 0, on a x + > 1.
x
4. Soient M1 (x1 , y1 ) et M2 (x2 , y2 ) deux points de D+ et t [0, 1]. Soit M (x, y) le
barycentre de M1 affect du coefficient t et M2 affect du coefficient (1 t), de sorte
que x = tx1 + (1 t)x2 et y = ty1 + (1 t)y2 . Montrer quon a les ingalits successives
suivantes :
1t
t
)(ty1 + (1 t)y2 ),
(i) xy > ( +
y1
y2
y1 y2
(ii) xy > t2 + (1 t)2 + t(1 t)( + ),
y2 y1
2
2
(iii) xy > t + (1 t) + 2t(1 t) = 1.
5. En dduire que D+ est convexe. Expliquez rapidement pourquoi D est lui aussi
convexe.
6. Calculer les drives partielles de f sur D.
7. Montrer que f est constante sur chacun des domaines D0 , D et D+ .


8. Calculer f (0, 0), f ( 3, 3) et f ( 3, 3). En dduire les valeurs des constantes
de la question 7.
51

9. (Question bonus.) Donner une autre dmonstration du fait que f est constante sur
chacun des domaines D , D+ , D0 .

Problme II.
Soit f la fonction numrique de deux variables donnes par
f (x, y) =

2(y x)
.
+ y2 + 2

x2

On fixe un plan euclidien P, muni dun repre orthonorm (O,~i, ~j), de sorte que lon
identifie f une fonction dfinie sur P.
1. Donner le domaine de dfinition de f et lensemble sur lequel les drives partielles
premires sont dfinies.
On note C la courbe de niveau R.

2. Pour chaque R, dcrire C gomtriquement.

3. Quelle est limage de f ?

4. Montrer que f admet un minimum et un maximum absolus. Dterminer en quels


points ils sont atteints et leurs valeurs.
5. Calculer le gradient de f en tout point o il est dfini.
6. Montrer quen tout point de C0 , le gradient est orthogonal la courbe de niveau.
7. Ecrire le dveloppement limit lordre 1 de f au point (1, 1). En dduire une valeur approche de f (0, 99 ; 1, 02), que lon comparera avec la valeur donne par une
calculatrice (donner le pourcentage derreur).
8. (Question bonus.) Montrer quen tout point (x, y), gradf (x, y) est orthogonal la
ligne de niveau passant par (x, y). Remarque : on dit quun vecteur ~v est orthogonal
un cercle C en un point M C, si ~v est orthogonal la tangente C en M , autrement
dit, sil est parallle au rayon passant par M .

52

UNIVERSIT DE POITIERS
L1 Parcours Renforc
Mathmatiques
Fonctions de Plusieurs Variables
Anne 2008-2009

Contrle de Mathmatiques
Vendredi 10 avril 2009, 10h3012h30

Question de cours
Soient U un domaine ouvert de R2 , f : U R une fonction numrique, et Mo (xo , yo )
un point de U .
1. Prciser sous quelles hypothses la fonction f possde un dveloppement limit
lordre 1 au voisinage de Mo et donner la forme de celui-ci.
Soit f la fonction numrique de deux variables dfinie par f (x, y) = ln(y sin x).

2. Dterminer le domaine de dfinition de f . Quelle proprit remarquable possde-t-il ?


3. Montrer que f possde un dveloppement limit lordre 1 au voisinage de Mo (1, 0)
et donner son expression.
4. Comparer la valeur approche de f (1, 1; 0, 9) donne par votre calculatrice celle
obtenue par le dveloppement limit lordre 1 de f .

Exercice I
On note U le sous-ensemble de R2 donn par
U = {(x, y) R2 ; x > 0 et y > 0} .
On se propose de dterminer toutes les fonctions numriques f : U R, admettant
des drives partielles continues lordre 1, qui vrifient lquation diffrentielle :
(E)

f
f
(x, y) + y (x, y) = 2 , (x, y) U .
x
y

1. Montrer que U est un domaine ouvert de R2 .


2. Soit : U U lapplication donne par (x, y) = (xy, y/x). Montrer que est une
bijection de U dans U et exhiber sa bijection rciproque.
On fixe f : U R, admettant des drives partielles premires continues et vrifiant
(E). On pose :
r
u
, uv) , (u, v) U .
g(u, v) = f (
v
53

3. Montrer que g admet des drives partielles premires continues et les calculer en
fonction de celles de f . Montrer que
1
g
(u, v) = , (u, v) U .
u
u
4. En dduire que g doit tre de la forme (u, v) 7 ln(u) + h(v), o h est une fonction
continment drivable.
5. En dduire que les solutions de (E) doivent tre de la forme : f (x, y) = ln(xy)+h(y/x),
o h est une fonction continment drivable.
6. Rciproquement, montrer que les fonctions donnes en 5. sont bien solutions de (E).

Exercice II
Soit f : R2 R la fonction numrique donne par f (x, y) = arctan(x2 + y 2 ).

1. Montrer que le gradient de f existe en tout point de R2 et le calculer.

2. Pour tout R, dterminer la courbe C de niveau . Quelle est limage de f ?

3. Pour tout M (x, y) R2 , montrer que gradf (M ) est orthogonal la courbe de niveau
passant par M .
4. Reprendre les questions prcdentes en remplaant f par la fonction g donne par
g(x, y) = arctan(y/x), et R2 par le domaine ouvert
U = {(x, y) R2 ; x > 0} .
Remarque. On rappelle que arctan est lunique fonction de R dans ] /2, /2[ vrifiant
tan(arctan(x)) = x.

54

UNIVERSIT DE POITIERS
L1 Parcours Renforc
Mathmatiques
Fonctions de Plusieurs Variables
Anne 2008-2009

Examen de Mathmatiques
Vendredi 29 mai 2009, 9h12h

Exercice I
Soit f la fonction numrique dfinie sur R2 par f (x, y) = (x + y) e(x
de cet exercice est de dterminer les extrema absolus de f sur R2 .

2 +y 2 )

. Lobjet

1. Montrer lexistence, et donner les valeurs, des drives partielles premires et secondes
de f en tout point (x, y) de R2 .
2. Montrer que les points critiques de f sont A(1/2, 1/2) et B(1/2, 1/2).

3. Dterminer la nature des points A et B (maximum ou minimum local, point selle, ...).
Pour r rel > 0, on note Cr la courbe de niveau 0 de la fonction g : R2 R donne
par g(x, y) = x2 + y 2 r 2 .

4. Expliquer pourquoi f possde un maximum global Mr (resp. un minimum global mr )


sous la contrainte g(x, y) = 0 ?

2
2
5. Montrer que Mr = 2r er et mr = 2 r er .

2
6. Etudier les variations de la fonction h R+ R, r 2r er et montrer quelle
possde un maximum M , dont on donnera la valeur.
7. Conclure quant lexistence et la valeur du maximum absolu (resp. minimum absolu)
de f sur R2 . En quels points ces valeurs sont-elles atteintes ?

Exercice II
Lobjet de cette exercice est ltude dune lemniscate de Bernoulli. Elle est donne
par la ligne L de niveau 0 de la fonction suivante :
f (x, y) = (x2 + y 2 )2 4(x2 y 2 ) , (x, y) R2 .
1. En quels points de L le gradient de f sannule-t-il ? En quels points peut-on affirmer
que L admet une tangente ?

55

p
p
2. Vrifier que le point M0 ( 5/8, 3/8) est sur la courbe L. Montrer quau voisinage
de M0 la courbe L estp
le graphe dune fonction drivable de x, dfinie sur un certain
intervalle I contenant 5/3.

3. Donner
une formule exprimant (x) en fonction de x et (x). Quelle est la valeur de
p
( 5/3) ?
4. En quels points de L la tangente, si elle est dfinie, est-elle verticale ?

5. Rechercher de mme les tangentes horizontales.


6. Soit M (x, y) un point de L. Montrer que (x2 + y 2 )2 6 4(x2 + y 2 ). En dduire que la
courbe L est contenue dans le disque ferm de centre (0, 0) et de rayon 2.
Montrer que L est un domaine compact de R2 .

Exercice III
Soient D un domaine ouvert de R2 et g : D R une fonction numrique admettant
des drives partielles premires continues. On suppose que la courbe de niveau C =
{(x, y) D ; g(x, y) = 0} est un domaine compact de R2 . On suppose de plus que le
gradient de g ne sannule pas sur C.
Soit A(a, b) un point fix de R2 nappartenant pas C.
1. Montrer que la fonction R2 RR, p
M d(A, M ), admet un maximum et un
minimum sur la courbe C. Ici d(A, M ) = (x a)2 + (y b)2 dsigne la distance de A
M (x, y).
2. Soit B un point de C o la fonction M 7 d(A, M ) admet un extremum sous contrainte.
Montrer que la droite (A, B) est perpendiculaire la tangente TB (C) en B la courbe
C. Indication : on pourra tudier les extrema de la fonctions M d(A, M )2 sur C.

56