[Link]@gmail.
com Intégration dérivation
Zx
Table des matieres f est ontinue x !
f(t)dt est une primitive de f , f en est aussi une 0
a
1 Primitive et integrale d'une fon tion 1 Zx
primitive, don il existe 2 E, tel que
f (t)dt = f(x) + ; 8x 2 I, en e rivant ette egalite pour x = a, on obtient
0
2 Relevement d'une fon tion de lasse Ck 2 a
= -f(a) et d'ou le resultat.
3 Integrale dependant d'un parametre 2
Theoreme 4 :
1 Primitive et integrale d'une fon tion Z b f : I ! E est ontinue C PM, alors : 8a; b 2 I
Si 1
f (t)dt = f(b) - f(a)
0
De nition 1 : a
I un intervalle quel onque de R, E un evn de dimension nie. Preuve
1. f : I ! E, une fo ntion ontinue, on appelle primitive de f, toute
fon tion F : I ! E, de lasse C1 , tel que F = f.0 Le m^eme raisonnement s'applique, en utilisant le fait que f reste toujours une
primitive de la fon tion CPM f 0
2. f : I ! E, une fo ntion CPM, on appelle primitive de f, toute
fon tion F : I ! E, ontinue C1 PM, tel que en tout point x0 de
ontinuite de f, F est derivable et F (x0 ) = f(x0 ).
0
Theoreme 5 : hangement de variable
Si f : I ! E est ontinue, ' : [ ; ℄ ! E; C1 alors
Exemple 1 : Z '( ) Z
f : [0; 2℄ ! R; x ! E(x). f(t)dt = f('(u))' (u)du 0
Si F est une primitive de f, alors : '( )
8x 2 [0; 1[; F (x) = f(x) = 0.
0
8x 2 [1; 2[; F (x) = f(x) = 1, il existe don et reels, tels que :
0
Preuve
Z '(
8x 2 [0; 1[; F(x) = . )
8x 2 [1; 2[; F(x) = x + . Si F est une primitive de f, alors f(t)dt = [ ( )℄ f t ''(( )
)
= [ f Æ '℄ =
Z Z '(
La ontinuite en 1, impose = 1 + , par suite F : [0; 2℄ ! R; de nie par
)
F(x) = si x 2 [0; 1℄, F(x) = x + 1 - si x 2 [1; 2℄. ( f Æ ') (u)du = 0
f ('(u))' (u)du
0 0
Re iproquement une telle fon tion est ontinue de lasse C1 PM, et une
primitive de f.
Theoreme 6 :
Theoreme 1 : Si f : I ! E est CPM, ' : [ ; ℄ ! E; C1 stri tement monotone, alors
Deux primitives d'une m^eme fon tion CPM di erent d'une onstante.
Z '( ) Z
Preuve f(t)dt = f('(u))' (u)du 0
'( )
Soient F et G deux primitives de la m^eme fon tion CPM f, don F et G sont
ontinues C1 PM et telle que sur tout segment 2 I, (F - G) 0 (qui est de nie sur
[a; b℄ hormis un nombre ni de points) est nulle, don F - G est une onstante.
Preuve
Par exemple, on suppose que ' est stri tement roissante, soit = (bi )i=0;::p
Theoreme 2 : une subdivision adaptee a f sur ['( ); '( )℄. pour tout i 2 j[0; p℄j, il existe un
Zx unique ai 2 [ ; ℄ tel que bi = '(ai ), (ai )i=0::p est bien une subdivision de
a 2 I, si f : I ! E est CPM, alors F : I ! E : x ! f(t)dt est l'unique [ ; ℄, et on a
a
primitive de f qui s'annule en a Z '( -1 Z '(ai+1 )
pX
)
Preuve f(t)dt = f(t)dt
'( ) i=0 '(ai )
{ f ontinue.
En onsiderant les fon tions omposantes de f dans une base donnee de
E, les omposantes de l'integrale de f sur la base sont les integrales des Soit pour tout i 2 j[0; p - 1℄j fi le prologement par ontinuite de
omposantes, et en utilisant le as reel, on voit bien que F est primitive de f=℄'(ai ); '(ai+1 )[ sur ['(ai ); '(ai+1 )℄ Z '(ai+1)
f qui s'annulle en a.
{ f CPM. fi est ontinue sur ['(ai ); '(ai+1 )℄, don fi (t) =
F est ontinue. Soit x0 2 I, et [a; b℄ un voisinage de x0 dans I, f CPM sur Z ai+1 '(ai )
[a; b℄, don y est born
Z xdon M > 0 tel que :
ee, il existe fi ('(t))' (t)dt, or (fi Æ ') ' et (f Æ ') ' oin ident sur
0 0 0
ai Z ai+1 Z ai+1
8x 2 [a; b℄; kF(x) - F(x0 )k = k f(t)dtk jx - x0jM, d'ou la ontinuite ℄ai ; ai+1 [, don fi Æ '(u)du = f Æ '(u)du, et par suite
x0 ai ai
de F en x0 . Soit maintenant x0 un point de ontinuite de f. il existe un Z '( ) -1 Z ai+1
pX Z
voisinage [ ; d℄ de x0 dans I, tel que f soit ontinue sur [ ; d℄, (j'ai bien f(t)dt = f Æ '(u) ' (u)du = 0
f Æ '(u) ' (u)du 0
dit f ontinue sur [ Z; d℄ et non pasZ x f=[ ; d℄ ontinue ), soit 2 [ ; d℄, on a '( ) i=0 ai
8x 2 [ ; d℄; F(x) = f(t)dt + f(t)dt.
a Zx Theoreme 7 : IPP
f est ontinue sur [ ; d℄, don G : x ! f(t)dt est d'apres le premier Si f; g : I ! E sont de lasse C1 ,alors
as derivable sur [ ; d℄ et G (x) = f(x), don en parti ulier F = + G est
0
Zb Zb
derivable en x0 ; et F (x0 ) = f(x0 ).
0
f g = [fg℄ba -
0
fg 0
F C1 PM, pour ela on le montre sur [ ; d℄, 8[ ; d℄ 2 I. a a
Soit une subdivision adaptee a f sur [ ; d℄, on a 8i 2 j[0; p - 1℄j; F est de
lasse C1 sur ℄ai ; ai+1 [ et sa derivee est f=℄ai ; ai+1 [ don F=[ai ; ai+1 ℄ qui
est ontinue est de lasse C1 sur ℄ai ; ai+1 [, et dont la derivee admet une Theoreme 8 : Extension
limite a droite en ai et a gau he en ai+1 , d'apres le theoreme de la limite Si f; g : I ! E sont ontinues, de lasse C1 PM,alors
de la derivee F=[ai ; ai+1 ℄ est de lasse C1 sur [ai ; ai+1 ℄, en on lusion F Zb Zb
est C1 PM. f g = [fg℄ba -
0
fg 0
a a
Theoreme 3 :
Z b toute fon tion f : I ! E; C , on a 8a; b 2 I Theoreme 9 : IAF
Pour 1
f (t)dt = f(b) - f(a)
0 Soit f : [a; b℄ ! E une fon tion ontinue, C1 sur ℄a; b[.
a Si f est bornee, alors
0
Preuve kf b ( )- f(a)k (b - a)kf k1 0
1
[Link]@[Link] Intégration dérivation
3 Integrale dependant d'un parametre
Theoreme 10 : Formule de Taylor ave reste integrale Theoreme 15 :
Si f : [a; b℄ ! E Cn , Cn+1 PM, alors : A E; E; F deux espa es ve toriels normes de dimension nie. A une
X
n
b - a)k (k)
Z
1 b
partie de E. Æ
f( b ) =
(
f (a) + b t n f(n+1) t dt A [a; b℄ ! F
k! n a
( - ) ( )
f:
x; t) 7! f(x; t)
!
k=0 (
Z
1 b 8
Rn (f) = n (n+1) (t)dt : reste integrale d'ordre n de la for-
( b - t) f
<A !ZFx
n! a Si f est ontinue, alors g est ontinue.
mule de Taylor. :x 7! f x; t dt :
( )
a
Remarque 1 : Theoreme 16 :
En faisant le hangement de variable t = a + u(b - a), il est plus ommode A un intervalle de R.
d'e rire le reste sous forme : Æ
A [a; b℄ ! F
n+1 Z 1 f:
Rn (f) =
(b - a) n (n+1) (a + u(b - a))du
(1 - u) f
(x; t) 7! f(x; t)
n! 0
Si
Theoreme 11 : Inegalite de Taylor lagrange 1. f est ontinue sur A I.
Si f : [a; b℄ ! E est de lasse Cn et Cn+1 PM, alors : 2.
f
existe et ontinue.
x 8
Xn
b a k (k) b a n+1 (n+1) <A !ZFx
kf b
( )-
k
(
f a k
- )
n 1
kf k1( )
( - )
Alors g : est de lasse C1 , et
k=0 ! ( + )!
:x 7! f(x; t)dt
a
Corollaire 11 : Formule de Taylor Young Z b f
Si f : I ! F est de lasse Cn et Cn+1 PM, alors 8a 2 I :
8x 2 A g x :
0
( ) = x; t)dt
a x
(
X
n
(x - a)
k
f( x ) = fk (a) + o(x - a)n Remarque 4 : generalisation
k=0 k!
Si u; v : J ! I sont de lasse C1 , et f : A [a; b℄ ! F ontinue, tel que
D'ou l'existen e du developpement a l'ordre n en a. f
existe et ontinue, alors
x
8
Proposition 1 : >
<A !ZEv(x)
Soit f : I ! F une fon tion de lasse C1 , si f admet un developpement g >
:x 7! u(x) f x; t dt
0 :
Xn ( )
limite a l'ordre n en a de la forme f (x) = ak (x - a)k + o(x - a)n
0
k=0 est de lasse C1 et
alors f admet un developpement limite a l'ordre n + 1 en a, et qui s'e rit
Xn
ak k+1 + o(x - a)n+1
Z v(x) f
f(x) = f(a)+ (x - a)
8x 2 A g x x; t)dt + v (x)f(x; v(x)) - u (x)f(x; u(x))
k=0 + 1
k
0 0 0
: ( ) =
u(x) x
(
Theoreme 12 : Theoreme 17 : Extension
A un intervalle de R.
Si f est de lasse Cn , alors f admet un DLn (a) Æ
A [a; b℄ ! F
f:
Remarque 2 : (x; t) 7! f(x; t)
Si f admet un DLn (a), alors il est unique, et si f est de lasse Cn , alors Si
e develeppement oin ide ave elui de Taylor
1. f est ontinue sur A I.
p
2. p f existe et ontinue, pour tout p 2 j[1; k℄j.
x 8
<A !ZFx
2 Relevement d'une fon tion de lasse Ck Alors g
:x 7! f x; t dt
: est de lasse Ck , et
( )
a
Theoreme 13 : Z b p
U = fz 2 C; jzj = 1g 8x 2 A g(p) x
: ( ) =
xp
f x; t dt; 8p 2 j 1; k j
( ) [ ℄
a
L'appli ation Æ
; [! Unf-1g Exemples :
':
℄-
! ei
sin(x)
est un homeomorphisme de bije tion re iproque : 1. On pose pour f(x) = si x 6= O et f(0) = 1, monntrer que f est de
x
8 lasse C1 , et e rire les derivees niemes sous forme integrale.
<Unf 1g ! ; - ℄- [
Z 1 e-x2 (1+t2 ) Zx 2
Arg :z x iy ! arg z
:
2 arctan(
y 2. Pour x 2 R soit h(x) = 2 dt et g(x) = e-t dt
= + = ( ) =
x+1
)
0 1+t 0
a) Montrer que h est de lasse C1 et en deduire que h + g2 = te.
Z +1 p
e-t dt =
2
Remarque 3 : b) En deduire que
2
0
'-1 ne peut pas ^etre prolongeable par ontinuite en -1
Theoreme 18 : Theoreme de Fubini
Theoreme 14 : Theoreme de relevement Si f : [a; b℄ [ ; d℄ ! F est ontinue, alors :
Si f : I ! U est de lasse Ck (k 1), alors il existe ' de lasse Ck : I ! R Zb Zd ! Zd Zb !
tel que 8t 2 I : f(t) = ei'(t) . f(x; y)dy dx = f(x; y)dx dy
De plus si '0 est l'une d'elle, alors 8' :! R aux moins ontinue tel que a a
f = ei' alors il existe p 2 Z : '(t) = '0 (t) + 2p; 8t 2 I
2