CHAPITRE 1. RAPPELS SUR L’INT ´
EGRATION 2
In´
egalit´
e de Cauchy-Schwartz. Pour tous fet gdans E([a, b],R)on a
Zb
a
f(x)g(x)dx≤Zb
a|f(x)|2dx1/2Zb
a|g(x)|2dx1/2
.
Exercice D´
emontrer les r´
esultats de cette proposition.
1.2 Int´
egration des fonctions continues par morceaux
Dans la section pr´
ec´
edente on a montr´
e comment int´
egrer les fonctions en escalier, qui sont des cas parti-
culiers de fonctions born´
ees. Dans cette section nous allons int´
egrer les fonctions continues par morceaux, en
les approchant par des fonctions en escalier.
D´
efinition 3 Une fonction f: [a, b]→Eest dite continue par morceaux si et seulement s’il existe une
subdivision s= (a0,··· , an)de [a, b]telle que pour tout i∈ {0,··· , n −1}la restriction f|]ai,ai+1[soit
continue et admette une limite `
a gauche en aiet une limite `
a droite en ai+1.
Th´
eor`
eme 1 Soit f: [a, b]→Eune fonction continue par morceaux.
– Il existe une suite (fn)de fonctions en escaliers fn: [a, b]→Equi converge uniform´
ement vers fsur
[a, b].
– Si Eest complet, alors pour toutes les suites (fn)de fonctions en escaliers sur [a, b]convergeant uni-
form´
ement vers fsur [a, b], la suite Rb
afnconverge dans Evers une mˆ
eme limite, appel´
ee l’int´
egrale
de fsur [a, b]et not´
ee
Z[a,b]
f=Zb
a
f=Zb
a
f(t)dt = lim
n→∞ Zb
a
fn(t)dt.
Proposition 2 (Propri´
et´
es de l’int´
egrale) Notons CM([a, b], E)l’ensemble des fonctions continues par mor-
ceaux sur [a, b].
Relation de Chasles. Pour tout f∈ CM([a, b], E)et tout c∈[a, b]on a f∈ CM([a, c], E)et f∈
CM([c, b], E)et
Zb
a
f(x)dx =Zc
a
f(x)dx +Zb
c
f(x)dx.
Lin´
earit´
e de l’int´
egrale. Pour tous f, g ∈ CM([a, b], E)et tous r´
eels λet µon a λf +µg ∈ CM([a, b], E)et
Zb
a
(λf +µg)(x)dx =λZb
a
f(x)dx +µZb
a
g(x)dx.
Croissance. Pour tous f, g ∈ CM([a, b],R), si pour tout x∈[a, b],f(x)≤g(x)alors
Zb
a
f(x)dx ≤Zb
a
g(x)dx.
Par cons´
equent, si f≥0sur [a, b]alors Rb
af(x)dx ≥0.
Majoration. Pour tout f∈ CM([a, b], E)onakfk ∈ CM([a, b],R)et
Zb
a
f(x)dx
≤Zb
akf(x)kdx.
In´
egalit´
e de Cauchy-Schwartz. Pour tous f, g ∈ CM([a, b],R)onafg ∈ CM([a, b],R)et
Zb
a
f(x)g(x)dx≤Zb
a|f(x)|2dx1/2Zb
a|g(x)|2dx1/2
.