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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

et<br />

f(x) ≥ f(x t ) + tDf(x t )(y − x).<br />

Multipliant la première inégalité par t, la seconde par 1 − t et ajoutant, on obtient<br />

tf(y) + (1 − t)f(x) ≥ f(x t ),<br />

donc f est bien convexe.<br />

Dans le cas particulier où E = E 1 × · · · × E n , on rappelle que la différentiabilité de f en a ∈ U<br />

implique l’existence des différentielles partielles D j f(a) ∈ L(E j , F ). Si l’application D j f :<br />

U −→ L(E j , F ) est différentiable en a ∈ U on a pour tout 1 ≤ i ≤ n<br />

Pour tout u i ∈ E i et v j ∈ E j on pose alors<br />

D i D j f(a) ∈ L(E i , L(E j , F )).<br />

D i D j f(a)(u i , v j ) =<br />

(<br />

)<br />

D i D j f(a)(u i ) (v j ).<br />

On vérifie immédiatement que D i D j f(a) ∈ L 2 (E i , E j ; F ). On a alors<br />

Proposition 4.2.3 Soit f : U ⊂ E 1 × · · · × E n −→ F une application deux fois différentiable<br />

en a ∈ U. Alors les applications D i f, 1 ≤ i ≤ n sont différentiables en a et pour 1 ≤ i ≤ n,<br />

1 ≤ j ≤ n, et pour tout u, v ∈ E 1 × · · · × E n , on a<br />

D 2 f(a)(u, v) =<br />

n∑ n∑<br />

D i D j f(a)(u i , v j ).<br />

i=1 j=1<br />

De plus, pour tout (ū, ¯v) ∈ E i × E j<br />

D j D i f(a)(¯v, ū) = D i D j f(a)(ū, ¯v).<br />

Démonstration. Pour tout x voisin de a et pour tout h ∈ E j , on a<br />

D j f(x)(h) = Df(x)(0, · · · , h, · · · , 0) = (Df(x) ◦ ϕ j )(h)<br />

où ϕ j est l’injection canonique de E j dans E 1 × · · · × E n . On a donc<br />

D j f = Φ j ◦ Df<br />

où Φ j ∈ L(L(E 1 × · · · × E n , F ), L(E j , F )) est définie par<br />

Φ j (A) = A ◦ ϕ j .<br />

Comme Df et Φ j sont différentiables en a il en est de même de D j f. Il en résulte que les différentielles<br />

partielles<br />

D i D j f(a) ∈ L(E i , L(E j , F ))<br />

77

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

Saved successfully!

Ooh no, something went wrong!