Vous êtes sur la page 1sur 5

L3 - Calcul differentiel

Theor`eme des fonctions implicites

Le propos de ce chapitre est letude des syst`emes dequations du type


f1 (x1 , . . . , xp ) = 0
..
.
fq (x1 , . . . , xp ) = 0
o`
u les fonctions f1 , . . . , fq sont definies et differentiables sur un sous-ensemble ouvert U de Rp . Etant donne un point
a U , nous donnons des conditions suffisantes pour quun tel syst`eme admette une solution differentiable uniquement
determinee au voisinage de a.

1
1.1

Rappels sur la r
esolution des syst`
emes d
equations lin
eaires
Donn
ees du probl`
eme

On se donne deux entiers p, q N. Soit F L (Rp , Rq ) une application lineaire de matrice A = (ai,j ) M (q, p) dans
les bases canoniques de Rp et Rq . Soit v Rp . On cherche `a determiner lensemble F 1 (v), qui est un sous-espace affine
de Rp . Puisquon travaille dans les bases canoniques, cela revient `a resoudre le syst`eme :

z1
v1

(1.1)
A Z = V o`
u Z = ... et V = ...
zp

vq

q
o`
u v1 , . . . , vq designent les coordonnees de v dans la base canonique
de R et z1 , . . . , zp sont les inconnues du syst`eme.

z1
..
On cherche donc `
a determiner lensemble S des p-uplets . qui verifient la relation 1.1. Naturellement, si S est

zp
fini, cette description ne pose aucun probl`eme. En revanche, sil est infini, il faut trouver une mani`ere appropriee de le
decrire.

1.2

R
esolution dun syst`
eme d
equations lin
eaires

Solution. On determine le rang r de la matrice, cest `a dire la taille de la plus grande matrice carree inversible P
extraite de A. Pour simplifier les notations, nous supposerons que P est constituee des r premi`eres lignes et r derni`eres
colonnes de A (on se ram`ene `
a cette situation en permutant les equations et les inconnues). Nous separons donc les
inconnues (z1 , . . . , zp ) en deux groupes, de la facon suivante :
(z1 , . . . , zp ) = (x1 , . . . , xn ; y1 , . . . , yr ) , n + r = p
Les inconnues (x1 , . . . , xn ) sont appelees les param`
etres du syst`eme, tandis que les inconnues (y1 , . . . , yr ) sont appelees
inconnues principales.
R
esoudre le syst`
eme 1.1 se ram`ene `
a exprimer les inconnues principales comme des fonctions des
param`etres.
Solution. Il se peut que le syst`eme soit incompatible, cest `a dire quil nadmette aucune solution : S = . Dans le cas
contraire, puisque les q r derni`eres equations du syst`eme sont des combinaisons lineaires de r premi`eres, elles napportent

aucune information, on peut donc les oublier. Le syst`eme 1.1 se ram`ene ainsi a` :

a1,1 x1 + + a1,n xn + a1,n+1 y1 + + a1,p yr


..
..
..
..
..
.
.
.
.
.

ar,1 x1 + + ar,n xn + ar,n+1 y1 + + ar,p yr

= v1
..
.
=

vr

ou encore :
A0 X + P Y = V 0

(1.2)
avec

x1

X = ... , Y =
xn

y1
a1,1
.. , A0 = ..
.
.
yr
ar,1

..
.

a1,n+1
a1,n
..
.. , P =

.
.
ar,n+1
ar,n

..
.

a1,p
.. , V 0 =

.
ar,p

v1
..
.
vr

o`
u P est une matrice carree inversible de taille r. Ainsi la solution du syst`eme reduit 1.2 est donnee de facon unique par :
Y = P 1 (V 0 A0 X) = M X + W , avec M = P 1 A0 et W = P 1 V
Les inconnues principales y1 , . . . , yr apparaissent donc comme des fonctions affines des param`etres x1 , . . . xn :
y1 = 1 (x1 , , xn ) , . . . , yr = 1 (x1 , . . . , xn )
et lon obtient la description generale de lensemble solution S :
S = {(x1 , . . . , xn , 1 (x1 , . . . , xn ) , . . . , r (x1 , . . . , xn )) : (x1 , . . . , xn ) Rn } .
On comprend bien le sens du mot param`
etres : en notant x = (x1 , . . . , xn ), lensemble solution S est param
etr
e par
lapplication :
(1.3)

/ Rp
.
/ (x, 1 (x) , . . . , r (x))

: Rn
x

On a donc converti la description implicite de lensemble solution S donnee par le syst`eme dequations
1.1 par une description explicite de S `
a laide du parametrage donne dans 1.3. Lensemble S est un
sous-espace affine de dimension n (le nombre de param`etres) de Rp .
Remarque 1.2.1. Il y a de multiples facons de calculer explicitement les fonctions 1 , . . . , r .
1. On peut par exemple calculer la matrice P 1 `a laide de formules classiques, mais cette methode m`ene `
a des calculs
longs et fastidieux.
2. On peut egalement resoudre le syst`eme en cascade : on exprime yr en fonction des autres inconnues, de type principal
et param`etres, `
a laide de la premi`ere equation du syst`eme reduit 1.2. On obtient y1 = 1 (x1 , . . . , xn , y1 , . . . , yr1 ),
quon reporte dans la deuxi`eme equation, et on proc`ede de meme avec toutes les inconnues principales successives.
Remarque 1.2.2. La matrice extraite P de rang maximum peut etre decrite de fa
con diff
erentielle : en effet, si F =
(F1 , . . . , Fq ) est lapplication lineaire de matrice A dans les bases canoniques de Rp et Rq , alors la matrice P nest autre
que la matrice jacobienne :

(1.4)

F
1
y1
.
.
.
F
r
yr

..

F1
yr
..
.
Fr
yr

(0)

Cest ce type de formulation que nous conservons dans letude des syst`emes dequations differentiables.

Th
eor`
eme des fonctions implicites : le cas dune
equation

2.1

Enonc
e du r
esultat

Nous considerons maintenant des syst`emes dequations donnes par des fonctions differentiables. Lidee est de les
resoudre en cascade, comme indique dans le cas des syt`emes lineaires dans la Remarque 1.2.1. Nous commencons donc
par etudier le cas des syst`emes reduits `
a une seule equation.
Notation. Si n > 0 est un nombre entier, on designe par (x1 , . . . , xn , y) = (x, y) les coordonnees des points de Rn+1 =
Rn R.
Th
eor`
eme 2.1.1 (Fonctions implicites, cas dune seule
equation). Soient U Rn+1 un sous-ensemble ouvert,
(a1 , . . . , an , b) = (a, b) U , et f : U R une fonction de classe C 1 telle que :
1. f(a, b) = 0.
2. fy0 (a, b) 6= 0.
Alors il existe un voisinage ouvert V de a et un voisinage ouvert W de b dans R tels que V W U , et une fonction
: V W de classe C 1 tels que :
(x, y) V W , f (x, y) = 0 y = (x)
De plus, pour tout x V et tout j = 1, . . . , n, on a :
0xi (x) =

fx0 i
(x, (x)) .
fy0

Remarque 2.1.2. Si f est une application lineaire, lequation que lon resout est de la forme :
f (x, y) = a1 x1 + + an xn + cy + d = 0 , avec fy0 (0, 0) = b 6= 0.
Lunique inconnue principale est y, que lon exprime en fonction des param`etres x = (x1 , . . . , xn ) par la formule :
1
y = (x) = (a1 x1 + + an xn + d) .
c
On obtient donc le parametrage F : Rn Rn+1 , F (x) = (x, (x)) de lensemble S des solutions de lequation f (x, y) = 0.
Comme dans le cas lineaire, il sagit donc `
a nouveau, etant donne un ensemble decrit de facon implicite par une equation
f (x, y) = 0, den donner une description explicite `a laide dun parametrage.
Remarque 2.1.3. La premi`ere hypoth`ese du Theor`eme 2.1.1 dit que lensemble S nest pas vide.
La seconde hypoth`ese dit simplement que la matrice jacobienne du type 1.4, particuli`erement simple puisque elle na
quune ligne et une colonne, est de rang 1.

2.2

D
emonstration du r
esultat (dans le cas n = 1).

Demonstration. 1. Existence de la fonction . Quitte `a translater, on peut supposer a = b = 0. Puisque f est supposee
de classe C 1 sur U , toutes ses derivees partielles sont bien definies et sont continues sur U . Supposons fy0 (0, 0) > 0. Par
continuite, il existe > 0 tel que lensemble U 0 = ], [ ], [ soit contenu dans U et fy0 (x, y) > 0 pour tout (x, y) U 0 .
Ceci implique que, pour tout x0 ], [, la fonction y 7 f (x0 , y) est strictement croissante. Cest en particulier le cas
pour x0 = 0. Ainsi, puisque f (0, 0) = 0, f (0, y) < 0 pour tout y < 0 et f (0, y) > 0 pour tout y > b (et y ], [).
Fixons b1 et b2 avec < b1 < 0 < b2 < . Puisque f (0, b1 ) < 0 et f (0, b2 ) > 0, il resulte de la continuite de f
quil existe < tel que f (x, b1 ) < 0 et f (x, b2 ) > 0 pour tout x ], [. On pose alors V = ], [ et W = ]b1 , b2 [.
Pour tout x V , la fonction fx : y f (x, y) est strictement croissante. Ainsi, pour tout x V , le theor`eme des valeurs
intermediaires applique `
a la fonction fx : y 7 f (x, y) permet de conclure quil existe une et une seule valeur de y, notee
(x), telle que f (x, (x)) = 0.
Ceci prouve lexistence de la fonction . On note quen particulier (0) = 0.
2. Continuit
e de en 0. Les calculs precedents montrent que pour tout voisinage ]b1 , b2 [ de 0 (arbitrairement petit),
il existe un voisinage V = ], [ de 0 dans U tel que
x V = | (x)| < ,
ce qui dit precisement (puisque (0) = 0) que est continue en 0.
3. Continuit
e de en sur V . La fonction f verifie lhypoth`ese du theor`eme des fonctions implicites en tout point
(x, (x)), pour x V . Donc, dapr`es le point precedent, la fonction est continue en tout point x V .
3

4. La fonction est d
erivable sur V . Il suffit `a nouveau de montrer la derivabilite de en 0, et de calculer 0 (0).
On note dabord quil existe B > 0 tel que | (x)| B |x| au voisinage de 0. En effet, si lon suppose par exemple x > 0,
cela revient `
a affirmer quil existe B > 0 tel que f (x, Bx) 0 au voisinage de 0. Or, la differentiabilite de f assure quil
existe une fonction (x) definie au voisinage de 0 et de limite nulle en 0 telle que, pour tout x > 0 au voisinage de 0 :
f (x, Bx) = fx0 (0) x + fy0 (0) Bx + (x + Bx) (x, Bx)

= x fx0 (0) + B fy0 (0) + (1 + B) (x, Bx) .
Si B > 0 est assez grand, le nombre fx0 (0) + B fy0 (0) est strictement positif, et donc f (x, Bx) est strictement positif au
voisinage de lorigine (pour x > 0).
Utilisons maintenant les memes notations pour developper f (x, (x)) au voisinage de 0. On a :
0 = f (x, (x))
(x) (0)
(x)
=
x0
x

= fx0 (0) x + fy0 (0) (x) + (|x| + | (x)|) (x, (x))


=

fx0 (0) |x| + | (x)|

(x, (x)) .
fy0 (0)
x

(x)
x

est borne au voisinage de lorigine. On conclut donc en passant `a la limite pour x 0.


5. La fonction est de classe C 1 sur V . Les derivees partielles de sont des composees de fonctions continues, et
sont donc egalement continues.
Or

Remarque 2.2.1. Contrairement au cas des equations lineaires, le Theor`eme 2.1.1 ne dit pas comment resoudre les equations.
Mais son enonce et certaines idees de sa preuve permettent de connatre precisement le comportement des solutions.

Th
eor`
eme des fonctions implicites : le cas dun syst`
eme d
equations

3.1

Enonc
e du r
esultat

Th
eor`
eme 3.1.1 (Fonctions implicites, cas dun syst`
eme d
equations). On consid`ere une application de classe
C1 :
/ Rr .
f = (f1 , . . . , fr ) :
U Rn Rr
/ F (z)
(x, y) = (x1 , . . . , xn , y1 , . . . , yr ) 
Soit (a, b) = (a1 , . . . , an , b1 , . . . , br ) U tel que :
1. f(a, b) = 0.
0
f1,y
1
..
2. La matrice jacobienne .
0
fr,y
1

..
.

0
f1,y
r
.. (a, b) soit inversible.
.
0
fr,y
r

Il existe alors un voisinage ouvert V de a et un voisinage ouvert W de b tels que V W U , et une fonction : V W
de classe C 1 tels que :
(x, y) V W , f (x, y) = 0 y = (x) .
De plus, la matrice jacobienne de en tout point x de U est donnee par :
0
f1,y
1
..
Jx = .
0
fr,y
1

..
.

1 0
0
f1,y
f1,x1
r
.. (x, (x)) ..

.
.
0
0
fr,y
fr,x
r
1

..
.

0
f1,x
n
.. (x, (x)) .
.
0
fr,x
n

Remarque 3.1.2. Pour bien comprendre lenonce de ce theor`eme, il faut penser `a lanalogie avec le cas lin
eaire. La
matrice jacobienne inversible du Theor`eme 3.1.1 est lanalogue de la matrice inversible de taille r extraite de A dans la
section 1. On identifie de la meme mani`ere les inconnues principales (y1 , . . . , yr ) et les param`
etres (x1 , . . . , xn ).
A nouveau, resoudre le syst`eme signifie exprimer les inconnues principales en fonction des param`etres. On
peut donc param
etrer lensemble solution de la facon suivante :
S = {(x, y) V W : f (x, y) = 0} = {(x, (x)) : x V } .
Remarque 3.1.3. Louvert V auquel appartiennent les param`etres x = (x1 , . . . , xn ) peut avoir, quitte `a le retrecir, une
forme tr`es reguli`ere. Il peut etre une boule ouverte centree en a, ou un produit cart
esien de la forme ]a1 , a1 + [
4

]an , an + [. Il sagit donc de parametrer lensemble solution S , qui peut avoir une forme courbee et compliquee,
par des variables (x1 , . . . , xn ) qui appartiennent `
a un domaine regulier, plat, `a laide de lapplication :
: V Rn Rn Rr

x 7 (x, (x)) S .

Exemple 3.1.4. Lidee de la remarque precedente est tr`es ancienne et tr`es naturelle. Par exemple, etablir une carte
terrestre a pour objet de representer des partiesde la sph`ere terrestre par un dessin
plan, aisement maniable. Dans notre
cadre, on peut considerer la sph`ere unite S1 = (x, y, z) R3 : x2 + y 2 + z 2 = 1 . Il sagit de lensemble des solutions de
lequation
f (x, y, z) = x2 + y 2 + z 2 1 = 0.


Si on se restreint `
a lhemisph`ere superieur S1+ = (x, y, z) S1 : z > 0 , on voit que la condition fz0 (x, y, z) = 2z 6= 0 est
satisfaite en tout point. Donc le theor`eme des fonctions implicites sapplique en tout point : z est linconnue principale, x
et y sont les param`etres. Naturellement, dans cet exemple, on obtient un parametrage explicite :


p


: V = (x, y) R2 : x2 + y 2 < 1 R3 , (x, y) x, y, 1 x2 y 2 .
p
On note que la function : (x, y) 7 1 x2 + y 2 est bien de classe C 1 sur V . A nouveau, lequation implicite f (x, y, z) = 0
a ete resolue en exprimant le parametrage de lenbemble solution S .


Naturellement le meme raisonnement sapplique `a lhemiph`ere inferieur S1 = (x, y, z) S1 : z < 0 .
En revanche ce raisonnement echoue `
a lequateur, le long duquel fz0 (x, y, z) = 0. On ne peut donc pas parametrer la
sph`ere enti`ere ainsi. Mais on peut completer ces parametrage en choisissant successivement lune des autres variables x et
y comme inconnue principale.

3.2

D
emonstration du r
esultat

Demonstration. Nous donnons la preuve dans le cas n = 1, r = 2 afin de limiter laccumulation dindices. Le cas general
ne presente que des difficultes decriture supplementaires. Lidee de la preuve est de suivre la demarche exposee dans le
cas lineaire, de resolution successive des equations. Nous considerons donc le syst`eme dequations :
(
f1 (x, y1 , y2 ) = 0
.
f2 (x, y1 , y2 ) = 0
 0

0
f1,y1 f1,y
0
2
Puisque la matrice jacobienne
(a, b) est inversible, on peut supposer f1,y
(a, b) 6= 0. Dapr`es le Theor`eme
0
0
2
f2,y
f2,y
1
2
2.1.1 (fonctions implicites pour une seule equation), il existe un voisinage V1 de (a, b1 ), un voisinage W1 de b1 et une
fonction 2 : V1 W1 de classe C 1 tels que V1 W1 U et :
(x, y1 , y2 ) V1 W1 , f (x, y1 , y2 ) = 0 y2 = 2 (x, y1 ) .
En reportant dans lequation suivante, on obtient :
f2 (x, y1 , 2 (x, y1 )) = 0.
Mais, par hypoth`ese,

0
0
(f2 (x, y1 , 2 (x, y1 ))) (a, b1 ) = f2,y
(a, b1 , 2 (a, b1 )) + f2,y
(a, b1 , 2 (a, b1 )) 02,y1 (a, b1 )
1
2
y1
0
f1,y
1
0
0
= f2,y
(a,
b
,

(a,
b
))

f
(a,
b
,

(a,
b
))

(a, b1 , b2 )
1
2
1
1
2
1
2,y2
0
1
f1,y
2

1
0
0
0
0
= 0 (a, b) f1,y
(a, b) f2,y
(a, b) f2,y
(a, b) f1,y
(a, b)
2
1
2
1
f1,y2
6= 0.
Donc le Theor`eme 2.1.1 sapplique `
a nouveau : il existe un voisinage ouvert V2 de a et un voisinage ouvert W2 de b1 tels
que V2 W2 V1 , et une fonction 1 : V2 W2 de classe C 1 telle que :
(x, y1 ) V2 W2 ,

f2 (x, y1 , 2 (x, y1 )) = 0 y1 = 1 (x) .

On a ainsi obtenu :
(x, y1 , y2 ) V2 W2 W1 (y1 , y2 ) = (x) = (1 (x) , 2 (x, 1 (x))) .
Nous laissons en exercice le calcul de la differentielle de lapplication (x).