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.

Démonstration. On a Df = ∑ n<br />

i=1 T i ◦ D i f (voir la démonstration du Corollaire 4.2.3) et D i f<br />

est différentiable en tout x ∈ U car les différentielles partielles D j D i f existent et sont continues<br />

en a. Il résulte donc du Théorème 2.4.1 que Df est différentiable en a et donc que f est deux fois<br />

différentiable en a. La formule donnant D 2 f(a) a été démontrée dans le Corollaire 4.2.3.<br />

Remarque 4.2.1 Examinons le cas particulier E 1 = E 2 = · · · = E n = R, et F = R. Supposons<br />

que f est deux fois différentiable en a. On a<br />

∂f<br />

∂x i<br />

(x) = Df(x)(e i ) = ψ i (Df(x)),<br />

où ψ i : L(R n , R) −→ R est l’application linéaire définie par ψ i (A) = A(e i ). On a donc ∂f =<br />

∂x i<br />

ψ i ◦ Df, ce qui montre que ∂f est différentiable en a, donc les dérivées partielles secondes<br />

∂x i<br />

∂ 2 f<br />

(a) existent pour tout i, j ∈ [1, n]. Posant alors<br />

∂x j ∂x i<br />

g(x) = Df(x)(u) =<br />

n∑<br />

i=1<br />

∂f<br />

∂x i<br />

(a)u i .<br />

On a alors<br />

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

n∑<br />

i=1<br />

n∑<br />

j=1<br />

∂ 2 f<br />

∂x j ∂x i<br />

(a)u i v j = 〈H f (a), u〉,<br />

où H f (a) est alors la matrice Hessienne de f en a définie par<br />

Remarquons que<br />

Remarquons aussi que<br />

donc<br />

(H f (a)) ij = ∂2 f<br />

∂x j ∂x i<br />

(a).<br />

∂ 2 f<br />

∂x j ∂x i<br />

(a) = D 2 f(a)(e i , e j ) = D 2 f(a)(e j , e i ) =<br />

∂ 2 f<br />

D i D j f(a)(s, t) = st (a),<br />

∂x j ∂x i<br />

∂2 f<br />

∂x i ∂x j<br />

(a).<br />

‖D i D j f(b) − D i D j f(a)‖ L 2 (R;R) = ∥<br />

∂2 f<br />

(b) −<br />

∂2 f<br />

∥<br />

(a) ∥.<br />

∂x j ∂x i ∂x j ∂x i<br />

∂ 2 f<br />

Il en résulte que si les dérivées partielles secondes existent et sont continues en a alors les<br />

∂x j ∂x i<br />

différentielles partielles secondes existent au voisinage de a et sont continues en a. Le Théorème<br />

79

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

Saved successfully!

Ooh no, something went wrong!