16.07.2014 Views

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

LICENCE DE MATHÉMATIQUES FONDAMENTALES Calcul ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!