Ecole Polytechnique
Formation pr´eparatoire - Math´ematiques
Int´egration. Int´egrales d´ependant d’un param`etre.
On suppose connues les notions de fonctions Riemann-int´egrables et d’int´egrales sur un segment
de R(c’est-`a-dire du type [a, b] avec (a, b)∈R2).
On consid´erera ici uniquement des fonctions continues par morceaux :
Soit Jun segment de R. Une fonction f:J→Cest continue par morceaux sur Js’il existe une
suite finie a0< a1< . . . < aravec [a0, ar] = Jtelle que fsoit continue sur ]aj, aj+1[ pour 0 ≤j≤r−1
et fadmet une limite `a droite en chaque ajpour 0 ≤j≤r−1 et une limite `a gauche en ajpour
1≤j≤r.
Soit Iun intervalle de R. Une fonction f:I→Cest continue par morceaux sur Isi pour tout
segment J⊂I, la fonction fest continue par morceaux sur J.
On notera E(I) l’espace vectoriel des fonctions continues par morceaux sur I.
1 Int´egration sur un intervalle quelconque.
D´efinitions. Soit Iun intervalle quelconque de R. Une fonction f∈ E(I) est int´egrable sur Is’il
existe M > 0 tel que, pour tout segment J⊂I, l’on ait ZJ
|f| ≤ M. Dans ce cas, on pose
ZI
|f|= sup
J⊂Isegment ZJ
|f|.
Soit f∈ E(I) `a valeurs r´eelles (i.e. f:I→R) . Alors fest int´egrable sur Isi et seulement
si les fonctions f+=max(f, 0) et f−=max(−f, 0) sont int´egrables sur I. On pose alors ZI
f=
ZI
f+−ZI
f−.
Soit f∈ E(I) `a valeurs complexes (i-e f:I→C). Alors fest int´egrable sur Isi et seulement
si la partie r´eelle Re(f) et la partie imaginaire Im(f) sont int´egrables sur I. On pose alors ZI
f=
ZI
Re(f) + iZI
Im(f).
Autres notations et terminologies.
Si J= [a, b] et f∈ E(J), on note ´egalement ZJ
f=Zb
a
f(t)dt.
Soit I= [a, b[ avec a∈Ret b= +∞ou b∈R,b > a et f∈ E(I).
La fonction fest int´egrable sur Isi et seulement si lim
x→b, x<b Zx
a
|f(t)|dtexiste. Dans ce cas, la
limite Zb
a
f(t)dt = lim
x→b, x<b Zx
a
f(t)dtexiste et on a Zb
a
f(t)dt =ZI
f.
Dans ce cas, on dit ´egalement que l’int´egrale Zb
a
f(t)dtest absolument convergente.
Lorsque la limite Zb
a
f(t)dt = lim
x→b, x<b Zx
a
f(t)dtexiste, on dit aussi que l’int´egrale Zb
a
f(t)dt est
convergente.