LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...
LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...
LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
avec<br />
Dϕ(0) = −(D 2 h(0, 0)) −1 ◦ D 1 h(0, 0) = −(Dg(a) |Y ) −1 ◦ Dg(a) |X = 0,<br />
car Dg(a) |X = 0. Supposant que a est un minimum local de f sur S, on a, pour tout v dans un<br />
voisinage de 0,<br />
f(a + v + ϕ(v)) ≥ f(a) = f(a + 0 + ϕ(0)),<br />
ce qui implique que la fonction θ(v) = f(a + v + ϕ(v)) a un minimum local en 0, d’où<br />
0 = Dθ(0) = Df(a) ◦ (I X + Dϕ(0)) = Df(a) |X .<br />
Posons alors λ = Df(a) ◦ (Dg(a) |Y ) −1 ∈ L(F, R). On a, par définition :<br />
De plus<br />
Df(a) |Y = (λ ◦ Dg(a)) |Y .<br />
Df(a) |X = (λ ◦ Dg(a)) |X = 0,<br />
donc Df(a) = λ ◦ Dg(a) car E = X ⊕ Y . L’unicité de λ découle du fait que Df(a) = λ ◦ Dg(a)<br />
implique Df(a) |Y = (λ ◦ Dg(a)) |Y , d’où λ = Df(a) ◦ (Dg(a) |Y ) −1 .<br />
Remarque 5.3.1 a) Le théorème précédent reste vrai sans avoir à supposer que ker Dg(a) admet<br />
un supplémentaire topologique ; mais la démonstration dépasse alors le niveau de ce cours.<br />
b) Dans le cas où E est un espace de Hilbert, il est toujours vrai que ker Dg(a) admet un<br />
supplémentaire topologique (son orthogonal, par exemple).<br />
On en déduit le<br />
Corollaire 5.3.1 Soient U ⊂ R n un ouvert, g : U −→ R m une application de classe C 1 et<br />
f : U −→ R une fonction. On pose S = g −1 (0) et on suppose que a ∈ S est un extremum local<br />
de f sur S. On suppose aussi que f est différentiable en a et que :<br />
Alors, il existe λ ∈ R m unique tel que<br />
(∇g 1 (a), · · · , ∇g m (a)) sont linéairement indépendant.<br />
∇f(a) =<br />
m∑<br />
λ i ∇g i (a).<br />
i=1<br />
Démonstration. On a Dg(a)u = (〈∇g 1 (a), u〉, · · · , 〈∇g m (a), u〉) pour tout u ∈ R n , de telle sorte<br />
que Dg(a) T (v) = ∑ m<br />
i=1 v i∇g i (a) pour tout v ∈ R m . Comme (∇g 1 (a), · · · , ∇g m (a)) sont linéairement<br />
indépendant, il en résulte que Dg(a) T est injective donc Dg(a) est surjective. Par ailleurs<br />
ker Dg(a) admet un supplémentaire topologique (son orthogonal, par exemple). Appliquant le<br />
Théorème 5.3.1, il existe λ ∈ R m unique tel que Df(a)u = 〈λ, Dg(a)u〉 pour tout u ∈ R n , soit<br />
〈∇f(a), u〉 =<br />
m∑<br />
〈 ∑ m 〉<br />
λ i 〈∇g i (a), u〉 = λ i ∇g i (a), u ,<br />
i=1<br />
96<br />
i=1