Chapitre 11 Fonctions implicites et inversion locale
11.3 Fonctions implicites
Etant donn´e une relation de la forme f(x, y) = 0 entre deux variables x et y, on cherche souvent `a “tirer” l’une des variables en fonction de l’autre. En particulier, si f est une fonction de classe
C
1, on peut chercher `a exprimer une variable en fonction de classeC
1 de l’autre. Il n’y a n´eanmoins aucun espoir d’avoir en g´en´eral une solution globale au probl`eme, comme le montre l’exemple suivant :Exemple 11.3.1. Soit f :R2 →R la fonction d´efinie par f(x, y) =x2+y2−1.
Pour|x|>1, il n’y a aucune valeur deyqui satisfasse l’´equationf(x, y) = 0, et pour|x|<1, il y en a deux. Une fonction ϕ v´erifiant f(x, ϕ(x)) = 0 ne peut donc ˆetre d´efinie que sur [−1,1], et n’est pas unique. De fait, il est ais´e de voir qu’il existe deux solutions continues, la fonction x7→√
1−x2 et la fonctionx7→ −√
1−x2. De plus, aucune de ces deux solutions n’est d´erivable ni en −1 ni en1.
On va n´eanmoins donner un th´eor`eme qui permet de “tirer” localement y en fonction diff´erentiable dex.
Th´eor`eme 11.3.2. (Th´eor`eme des fonctions implicites) Soient E et F deux espaces de Banach, U un ouvert de E ×F et f une fonction de classe
C
1 de U dans F. Si, pourun point (x0, y0) de U, on a f(x0, y0) = 0 et si la diff´erentielle partielle ∂f
∂y(x0, y0) est un
´el´ement inversible de
L
(F), il existe un voisinage V de x0, un voisinage W de y0, et une fonction ϕ de classeC
1 de V dans W tels que V ×W ⊂ U, que y0 = ϕ(x0) et que, pour (x, y)∈V ×W,f(x, y) = 0 ⇐⇒ y =ϕ(x)
Si, de plus, la fonction f est de classe
C
2, il en est de mˆeme de ϕ.D´emonstration : Soit Ψ l’application `a valeurs dans E×F d´efinie sur U par Ψ(x, y) = (x, f(x, y))
On a alors Ψ(x0, y0) = (x0,0) et la diff´erentielle de Ψ en (x0, y0) vaut Ψ0(x0, y0).(u, v) =
µ u,∂f
∂x(x0, y0).u+ ∂f
∂y(x0, y0).v
¶
c’est-`a-dire, en notant A= ∂f
∂x(x0, y0)∈
L
(E, F) et B = ∂f∂y(x0, y0)∈
L
(F),Ψ0(x0, y0).(u, v) = (u, A.u+B.v) o`uB est inversible dans
L
(F), et puisque l’´equation(u0, v0) = (u, A.u+B.v) se r´esout en
(u, v) = (u0, B−1(v0−A.u0))
on voit que Ψ0(x0, y0) est inversible dans
L
(E ×F). On d´eduit alors du th´eor`eme 11.1.3 qu’il existe un voisinage U0 de (x0, y0) dans U et un voisinage U00 de (x0,0) dans E ×F tels que Ψ soit un diff´eomorphisme deU0 sur U00. On peut donc trouver un voisinage V0 de x0 et un voisinage W de y0 tels que V0 ×W ⊂ U0. Alors Ψ(V0 ×W) est ouvert et, pour (x, y)∈V0×W, on af(x, y) = 0 ⇐⇒ Ψ(x, y) = (x,0) ⇐⇒ (x, y) = Ψ−1(x,0) D´esignons parϕ la fonction d´efinie par
Ψ−1(x,0) = (x, ϕ(x)) qui est de classe
C
1 sur l’ouvertV ={x : (x,0)∈Ψ(V0×W)}.
Puisque, pourx∈V, on a (x, ϕ(x))∈V0×W, on obtient queV ⊂V0 et queϕ(x)∈W. On en conclut que pour (x, y)∈V ×W, on a
f(x, y) = 0 ⇐⇒ y =ϕ(x)
Si la fonction f est de classe
C
2, il en est de mˆeme de Ψ, et donc aussi de Ψ−1 sur U00 d’apr`es le th´eor`eme 11.2.2. On en d´eduit alors que ϕ est de classeC
2 sur V.Ceci ach`eve la d´emonstration du th´eor`eme.
¥ Th´eor`eme 11.3.3. Soient E etF deux espaces de Banach, U un ouvert deE×F etf une fonction de classe
C
1 deU dans F. Si, pour un point(x0, y0)de U, on af(x0, y0) = 0et si la diff´erentielle partielle ∂f∂y(x0, y0)est un ´el´ement inversible de
L
(F), la fonction implicite ϕd´efinie au voisinage de (x0, y0) par le th´eor`eme pr´ec´edent a pour diff´erentielle en x0 :ϕ0(x0) =− µ∂f
∂y(x0, y0)
¶−1
◦∂f
∂x(x0, y0)
D´emonstration : On a, pour x voisin de x0, f(x, ϕ(x)) = 0. Il en r´esulte, puisque l’application g : x 7→ f(x, ϕ(x)) est constante au voisinage de x0 qu’on a g0(x0) = 0, donc :
∂f
∂x(x, ϕ(x)) + ∂f
∂y(x, ϕ(x))◦ϕ0(x) = 0 et en particulier, pour x=x0,
∂f
∂y(x0, y0)◦ϕ0(x0) =−∂f
∂x(x0, y0)
d’o`u r´esulte imm´ediatement la formule annonc´ee. ¥
Chapitre 11 : Fonctions implicites et inversion locale
Cas de la dimension finie.
Dans le cas o`u E et F sont de dimension finie, donc respectivement isomorphes `aRn et Rp, on obtient en particulier les ´enonc´es suivants :
Th´eor`eme 11.3.4. SoientU un ouvert deRn+p et f une fonction de classe
C
1 deU dansRp. Si f(x∗1, x∗2, . . . , x∗n+p) = 0et si le d´eterminant jacobien D(f1, f2, . . . , fp) D(xn+1, xn+2, . . . , xn+p)
ne s’annule pas en (x∗1, x∗2, . . . , x∗n+p), il existe un voisinage V de (x∗1, x∗2, . . . , x∗n) dans Rn, un voisinage W de (x∗n+1, x∗n+2, . . . , x∗n+p) dans Rp et une fonction ϕ de classe
C
1 de Vdans W telle que, sur V ×W, l’ensemble {x = (x1, x2, . . . , xn+p) ∈ V ×W : f(x) = 0} co¨ıncide avec le graphe deϕ.
Th´eor`eme 11.3.5. Si U est un ouvert de Rn+1 et f une fonction de classe
C
1 deU dans R, si ∂f
∂xn+1(x∗1, x∗2, . . . , x∗n+1) 6= 0, il existe un voisinage V de (x∗1, x∗2, . . . , x∗n) et une fonction ϕ de classe
C
1 de V dans R satisfaisant ϕ(x∗1, x∗2, . . . , x∗n) = x∗n+1, f(x1, x2, . . . , xn, ϕ(x1, x2, . . . , xn)) = 0 et, pour j = 1,2, . . . , n,∂ϕ
∂xj(x∗1, x∗2, . . . , x∗n) =−
∂f
∂xj
(x∗1, x∗2, . . . , x∗n)
∂f
∂xn+1
(x∗1, x∗2, . . . , x∗n)
Corollaire 11.3.6. Soient U un ouvert de Rn+p et f une fonction de classe
C
1 de Udans Rp. Si, en un point x∗ = (x∗1, x∗2, . . . , x∗n+p) de U, la matrice jacobienne Jf de f est de rang p, il existe un voisinage U0 de x∗ dans U, un ouvert V de Rn et une application ψ de classe
C
1 de V dans U0 telle que le rang de ψ0 soit ´egal `a n en tout point deV et que ψ(V) =U0∩ {x :f(x) = 0}.D´emonstration: Puisque la matrice jacobienneJf(x∗) est de rangp, il existe une matrice carr´ee inversible d’ordre p extraite de Jf(x∗). Quitte `a changer l’ordre des coordonn´ees, on supposera que la matrice carr´ee form´ee des p derni`eres colonnes de Jf(x∗) est inversible.
Alors, le d´eterminant de cette matrice (p×p) est non nul, c’est-`a-dire que, au point x∗, D(f1, f2, . . . , fp)
D(xn+1, xn+2, . . . , xn+p) 6= 0
Il r´esulte donc du th´eor`eme pr´ec´edent qu’existent des voisinages respectifs V et W de (x∗1, x∗2, . . . , x∗n) et (x∗n+1, x∗n+2, . . . , x∗n+p) et une fonction ϕ de classe
C
1 de V dans Rpdont le graphe co¨ıncide avec l’ensemble (V ×W)∩f−1(0).
On pose alors U0 =V ×W et, pour (x1, x2, . . . , xn)∈V,
ψ(x1, x2, . . . , xn) = (x1, x2, . . . , xn, ϕ(x1, x2, . . . , xn))
Il est clair, avec ces d´efinitions, que ψ est de classe
C
1 et que ψ(V) est le graphe de ϕ, c’est-`a-dire (V ×W)∩f−1(0).De plus, la matrice carr´ee (n×n) form´ee desnpremi`eres lignes de la matrice jacobienneJψ
de ψ est la matrice identit´e. Ceci entraˆıne que Jψ est de rang au moins n. Et comme ψ est d´efinie sur un ouvert deRn, ce rang est au plus ´egal `a n.
Ceci signifie qu’au voisinage de x∗ l’ensemble f−1(0) poss`ede une param´etrisation de classe
C
1 par un ouvert de Rn.12
OPTIMISATION
Le but de ce chapitre est de r´esoudre des probl`emes du genre suivant : ´etant donn´e un ouvert U d’un espace de Banach, une fonction diff´erentiable f de U dans R et une partie X de U, trouver le maximum (resp. le minimum) de f sur X, c’est-`a-dire trouver un point a de X tel que f(x) ≤ f(a) (resp. f(a) ≤ f(x)) pour tout point x de X et la valeur de f en a. Bien entendu, la recherche des minimums de f sur X est ´equivalente `a la recherche des maximums de−f sur X.
On dira que a est un maximum strict def surX si on a f(x)< f(a) pour tout pointx 6=a de X, un minimum strict de f sur X si on a f(x)> f(a) pour tout point x6=a de X.
On dira enfin quef atteint ena∈X un maximum local (resp. un minimum local) surX, s’il existe un voisinage ouvertV de atel que la restriction `a V def atteigne ena son maximum (resp. son minimum) sur X∩V.
On parlera d’extremum pour d´esigner indiff´eremment un maximum ou un minimum.
12.1 Extremums sur un ouvert
Th´eor`eme 12.1.1. Soient E un espace de Banach, U un ouvert de E et f une fonction diff´erentiable de U dans R. Si f atteint en a un maximum ou un minimum local, la diff´erentielle def s’annule en a.
D´emonstration : Quitte `a remplacer l’ouvert U par un voisinage ouvert de a, on peut supposer que f poss`ede en a un extremum. Et quitte `a remplacer f par −f, on supposera que f ateint en a son maximum sur U.
Alors, pour tout vecteur h de E, la fonction d´erivable gh d´efinie sur le voisinage ouvert Wh :={t:a+th∈U} de 0 dans R par
gh(t) =f(a+th)
v´erifie gh(t) ≤gh(0) pour tout t de Wh, donc, d’apr`es le th´eor`eme 8.3.1, on a d
dtgh(0) = 0,