De l`intégration par parties à la formule de Taylor

De l’intégration par parties à la formule de Taylor-Maclaurin
Motivation : Exploiter le théorème fondamental du calcul intégral (TFCI) pour développer une
technique d’intégration appelée par parties, puis en itérant cette méthode, de développer certaines
fonctions sous forme de séries.
A) Rappel. De la formule de dérivation d’un produit on a que
( )
() () () () ()fg x fx gx fx gx
′′′
⋅=⋅+⋅
(valable si f et g sont dérivables au point x) qui peut aussi réécrire sous la forme :
( )
() () () () ()fxgx fg x fxgx
′
′′
⋅=⋅ −⋅
. Par TFCI, si l’on suppose que f et g sont dérivables sur tout
un intervalle
[ ]
,Iab=
et dont les fonctions dérivées
f′
et
g′
sont continues sur I l’on déduit :
( )
() () () () () ( )() () ()
b
a
bbb b
aaa a
fxgxdx fg xdx fxgxdx fgx fxgxdx
′
′′′
⋅=⋅ −⋅ =⋅−⋅
∫∫∫ ∫
que l’on dénommera la formule d’intégration par parties (FIP).
B) Exemple d’utilisation. Pour calculer
0
sin( )xxdx
π
⋅
∫
, posons
( ) sin( )gx x
′=
et
()fx x=
. Ainsi,
() cos()gx x=−
et l’on obtient par FIP :
0
00
sin( ) ( cos( )) cos( )x x dx x x x dx
ππ
ππ
⋅=⋅− −− =
∫∫
.
C) Considérons une fonction f ,
C∞
au voisinage d’un point a (c.-à-d. infiniment dérivable de
dérivées continues). Par TFCI on a
() () 1 ()
x
a
f x f a f t dt
′
=+⋅
∫
pour x dans ce voisinage.
Si l’on pose cette fois-ci
() ( )gt x t=− −
(attention x est une constante) alors par FIP l’on voit
aisément que :
() () ( ) () ( ) ()
x
a
fx fa x af a x t f tdt
′′′
=+−+−⋅
∫
(pour x dans le voisinage de a).
D) Démontrer par récurrence que l’on obtient la formule appelée de Taylor-Maclaurin (au
voisinage de a ci-dessous :
() ( 1)
0
() ()
() () ()
!!
x
in
n
in
ia
xa xt
f x f a f t dt
in
+
=
−−
=+⋅
∑∫
.
E) Utiliser la formule de Taylor-Maclaurin pour prouver les quatre développements ci-dessous au
voisinage de a = 0 :
1)
3579
sin( ) ...
3! 5! 7! 9!
xxxx
xx=−+−+ ±
2)
2468
cos( ) 1 ...
2! 4! 6! 8!
xxxx
x=−+−+ ±
3)
234
exp( ) 1 ...
2! 3! 4!
xxxx
xe x==++ + + +
4)
23 4
11 1 5
1 1 ...
2 8 16 128
xxxxx+=+ −+−+
F) (Cauchy, 1823) Montrer que la fonction
f(x)=e!1/x2 si x"0
0 si x=0
#
$
%
&
%
admet un développement en
série de Taylor au voisinage de a = 0 MAIS que cette série ne converge pas vers la fonction f.

Concernant la convergence de la série de Taylor - Maclaurin.
Si l’on dispose d’une fonction f qui est
C∞
alors son développement en série entière converge
vers f (localement au voisinage de a) si et seulement si le reste,
(1)
()
(): ()
!
xn
n
a
xt
Rx f t dt
n
+
−
=⋅
∫
tend
vers 0 lorsque n tend vers l’infini.
L’on va démontrer ci-dessous que le seul facteur problématique est celui des dérivées ne de f.
Lemme. Si a < b < c < d et que a + d = b + c alors b·c > a·d
Preuve. Posons (b + c) / 2 = M alors b = M – m, c = M + m, a = M – n et d = M + n,
avec 0 < m < n. D’où :
22 22
()() ()()bc M m M m M m M n M n M n ad=−+= −>−=−+=
Proposition.
lim 0
!
n
n
a
n
→∞
=
Preuve. Supposons que n soit un nombre pair.
2
22
...
lim lim
(2 )! 1 2 3 4 ... ( 1) ( 1) ( 2) .... (2 1) 2
n
nn
aaaaaa
nnnnnnn
→∞ →∞
⋅⋅⋅ ⋅⋅
=
⋅⋅⋅⋅ ⋅ − ⋅⋅ +⋅+⋅ ⋅ − ⋅
Choisissons n pour que 1·2n > 2·a2. Dans ce cas, par le lemme précédent, on a que le produit des
facteurs symétriques par rapport au n central vérifie : k·(2n – k +1) > 2·a2 où k < n.
D’où :
... 1
lim lim 0
1234...( 1) ( 1)....(2 1)2 2
n
nn
aaa aa
nnn n n
→∞ →∞
⋅⋅⋅⋅⋅ ⎛⎞
<=
⎜⎟
⋅⋅⋅⋅⋅ − ⋅⋅ +⋅ ⋅ − ⋅ ⎝⎠
.
Dans le cas impair, il suffit d’isoler le facteur a / n et l’on est ramené au cas pair. De surcroît les
deux facteurs tendent alors vers 0 lorsque n tend vers l’infini.
La règle (du Marquis) de l’Hôpital (ou de Jean Bernoulli) 1696
Pour évaluer le comportement limite (en un point a ou asymptotique) de certains quotients il peut
être d’une grande utilité de disposer du théorème suivant :
Théorème. Si f et g sont deux fonctions dérivables sur l’intervalle ]a ; b[, continues sur [a ; b],
que
lim
x!a+
f(x)=lim
x!a+
g(x)=0
, que
() 0gx
′≠
pour x ∈]a ; b[ et si
lim
x!a+
"
f(x)
"
g(x)
= #
alors
lim
x!a+
f(x)
g(x)
= "
.
Preuve. Posons
()
(): () ()
()
fb
hx f x gx
gb
=−
. On a h continue sur [a ; b], dérivable sur ]a ; b[ et de
plus h(a) = h(b) = 0. Par le théorème de Rolle, il existe
];[ab µ ∈
tel que
() 0h µ
′=
, c’est-à-dire
() ()
() ()
ffb
ggb
µ
µ
′
=
′
. Si l’on fait tendre b vers a+ alors l’on a
! =lim
b"a+
#
f( µ )
#
g( µ )=lim
b"a+
f(b)
g(b)
. C.Q.F.D.
En modifiant quelque peu la démonstration ci-dessus on peut prouver que le résultat ci-dessus
reste valable si on remplace
a+
par
b!
, ou que
lim
x!a+
f(x)=lim
x!a+
g(x)= +"
, ou que
b!= +"
,…
Attention ! La dérivabilité de f et de g et le fait que la dérivée de g ne s’annule pas sur un certain
voisinage ]a ;b[ est fondamental ! Pour des contre-exemples intéressants consultez le Kowalskis
note : http://icp.ge.ch/po/calvin/espace-pedagogique/math/cours-de-c.-aebi/4e_math_niv2/kowalskis-note-notes_49_lhospitals_rule/view
Conclusion. Si
f!C"([a;b])
et
!M>0
tel que
|f(n)( [a;b])|<M!n"!
alors le
développement de Taylor-Maclaurin de f en a approche arbitrairement près f sur tout [a ; b].