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.
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