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.

4.2.6 nous permet alors d’affirmer que f est deux fois différentiables en a et que l’on a alors en<br />

particulier<br />

∂ 2 f<br />

(a) =<br />

∂2 f<br />

(a).<br />

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

Dans le cas où l’application f est définie sur un ouvert U de E 1 × · · · × E n , pour toute suite<br />

finie {i 1 , · · · , i p } ⊂ [1, n], on introduit par récurrence les différentielles partielles d’ordre p<br />

D i1 D i2 · · · D ip f(a) ∈ L p (E i1 × · · · × E ip , F ).<br />

On montre alors facilement par récurrence que si f est p fois différentiable en a on a pour tout<br />

(u 1 , · · · u p ) ∈ (E 1 × · · · × E n ) p<br />

D p f(a)(u 1 , · · · , u p ) =<br />

4.3 Formules de Taylor<br />

∑<br />

{i 1 ,···,i p}⊂[1,n]<br />

Commençons par démontrer le résultat suivant<br />

D i1 D i2 · · · D ip f(a)(u i1 , · · · , u ip ).<br />

Proposition 4.3.1 Soient I un intervalle ouvert, E, F , G des espaces normés, f : I −→ E,<br />

g : I −→ F deux fonctions p + 1 fois dérivables et soit [., .] : E × F −→ G une application<br />

bilinéaire continue. Alors<br />

( ∑<br />

p ′.<br />

[f, g (p+1) ] − (−1) p+1 [f (p+1) , g] = (−1) i [f (i) , g ]) (p−i)<br />

Démonstration. Par récurrence sur p. Pour p = 0 la formule se réduit à<br />

i=0<br />

[f, g ′ ] + [f ′ , g] = ([f, g]) ′<br />

qui est une conséquence de la formule donnant la différentielle d’une application bilinéaire et la<br />

dérivée d’une composée. Supposons le résultat vrai à l’ordre p − 1. On a<br />

( ∑<br />

p ) ′ ( ∑<br />

p−1<br />

(−1) i [f (i) , g (p−i) ] = (−1) i [f (i) , h (p−1−i) ] + (−1) p [f p , g]<br />

i=0<br />

avec h = g ′ . Appliquant l’hypothèse de récurrence, il vient<br />

i=0<br />

( ∑<br />

p ′<br />

(−1) i [f (i) , g ]) (p−i) = [f, h (p) ] − (−1) p [f (p) , h]+<br />

i=0<br />

) ′<br />

(−1) p [f (p+1) , g] + (−1) p [f (p) , h]<br />

80

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

Saved successfully!

Ooh no, something went wrong!