Vous êtes sur la page 1sur 59

Intgration

Riemann, Lebesgue, Henstock-Kurzweil


Table des matires
1 Quelques rappels 3
1.1 Historiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Mathmatiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Proprits des fonctions . . . . . . . . . . . . . . . . . . . 3
1.2.2 Fonction caractristique . . . . . . . . . . . . . . . . . . . 4
1.2.3 Fonction en escalier . . . . . . . . . . . . . . . . . . . . . 4
1.2.4 Fonction tage . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.5 Continuit, continuit uniforme . . . . . . . . . . . . . . . 5
1.2.6 Continuit par morceaux . . . . . . . . . . . . . . . . . . 5
1.2.7 Semi-continuit . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.8 Limite, convergence . . . . . . . . . . . . . . . . . . . . . 6
2 Intgrale de Riemann (R) 8
2.1 Sommes de Darboux et de Riemann . . . . . . . . . . . . . . . . 8
2.2 Proprits de lintgrale de Riemann . . . . . . . . . . . . . . . . 9
2.3 Primitive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Relation fondamentale de lAnalyse . . . . . . . . . . . . . . . . . 11
2.5 Intgration par parties . . . . . . . . . . . . . . . . . . . . . . . . 12
2.6 Changement de variable . . . . . . . . . . . . . . . . . . . . . . . 12
2.6.1 Exemples de changement de variable . . . . . . . . . . . . 13
2.6.2 Fonctions rationnelles . . . . . . . . . . . . . . . . . . . . 16
2.6.3 Fonctions rationnelles trigonomtriques . . . . . . . . . . 18
2.7 Formules de la moyenne . . . . . . . . . . . . . . . . . . . . . . . 20
2.8 Drivation sous le signe somme . . . . . . . . . . . . . . . . . . . 22
2.9 Intgrale impropre ou gnralise . . . . . . . . . . . . . . . . . . 23
2.9.1 Intervalle non born . . . . . . . . . . . . . . . . . . . . . 23
2.9.2 Etude locale . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.9.3 Equivalence . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1
2.9.4 Passage la limite . . . . . . . . . . . . . . . . . . . . . . 24
2.9.5 Majoration . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.9.6 Linarisation trigonomtrique . . . . . . . . . . . . . . . . 25
2.9.7 Quelques exemples . . . . . . . . . . . . . . . . . . . . . . 26
2.10 Insusance de lintgrale de Riemann . . . . . . . . . . . . . . . 27
3 Mesure 28
3.1 Tribu, mesure, espace mesur . . . . . . . . . . . . . . . . . . . . 28
3.2 Tribu borlienne, tribu de Lebesgue . . . . . . . . . . . . . . . . 29
3.3 Ensemble de mesure nulle, ensemble ngligeable . . . . . . . . . . 29
3.4 Ensemble de Vitali, non mesurable . . . . . . . . . . . . . . . . . 30
3.5 Ensemble de Cantor, de mesure nulle mais non dnombrable . . 30
3.6 Escalier du Diable . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.7 Fonctions mesurables . . . . . . . . . . . . . . . . . . . . . . . . . 32
4 Intgrale de Lebesgue (L) 34
4.1 Intgrale dune fonction tage . . . . . . . . . . . . . . . . . . . 34
4.2 Intgrale dune fonction mesurable . . . . . . . . . . . . . . . . . 34
4.3 Proprits de lintgrale de Lebesgue . . . . . . . . . . . . . . . . 35
4.4 Thormes de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . 35
4.4.1 Convergence monotone . . . . . . . . . . . . . . . . . . . . 35
4.4.2 Lemme de Fatou . . . . . . . . . . . . . . . . . . . . . . . 36
4.4.3 Convergence domine . . . . . . . . . . . . . . . . . . . . 36
4.5 Insusance de lintgrale de Lebesgue . . . . . . . . . . . . . . . 37
5 Intgrale de Henstock-Kurzweil (HK) 38
5.1 Subdivision pointe de [a, b] subordonne . . . . . . . . . . . 38
5.2 Subdivision pointe de [a, +] subordonne . . . . . . . . . . 38
5.3 Lemme de Cousin . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5.4 Dnition de lintgrale de Henstock-Kurzweil, ou HK . . . . . . 39
5.5 Proprits de lintgrale HK . . . . . . . . . . . . . . . . . . . . . 40
5.6 Relation fondamentale de lAnalyse . . . . . . . . . . . . . . . . . 43
5.7 Primitive . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
5.8 Thormes de convergence . . . . . . . . . . . . . . . . . . . . . . 44
5.8.1 Convergence monotone . . . . . . . . . . . . . . . . . . . . 44
5.8.2 Lemme de Fatou : . . . . . . . . . . . . . . . . . . . . . . 45
5.8.3 Convergence domine . . . . . . . . . . . . . . . . . . . . 45
5.9 Relation entre les trois thories R, L, HK . . . . . . . . . . . . . 46
6 Exercices 47
7 Correction des exercices 49
2
1 Quelques rappels
1.1 Historiques
Lintgration a eu une grande importance depuis lAntiquit.
Pour la rectication du cercle de rayon R, il y a 4000 ans, les Babyloniens
utilisaient 2R(3 + 1/8), faisant une erreur relative de 5 10
3
.
Grecs : Archimde (287 av J.C-212 av J.C) , par exhaustion et encadrement,
a montr lexistence de et les valeurs S = R
2
pour laire intrieure au cercle
et p = 2R pour son primtre.
Au XI
e
sicle, le Perse Alhacen (965-1039), immense savant, en avance de
plusieurs sicles dans beaucoup de domaines, esprit universel, a eu lide des
sommes de Riemann (Bernhard Riemann, mathmaticien allemand ; 1826-1866).
Il est parfois considr comme le premier vrai scientique.
Jusquau XVII
e
sicle, il ny a de rsultat pour aucune autre courbe que le
cercle.
XVII
e
sicle : mthode des indivisibles, consistant tracer des droites pa-
rallles ou des cercles concentriques dans une surface. Si lon considre lcart
entre entre les lignes, on se rapproche de la notion dintgrale.
Avec Leibniz (1646-1716) et Newton (1642-1727) arrive le calcul innitsimal,
llment direntiel ds =

dx
2
+dy
2
, la rciprocit drivation/intgration, le
thorme fondamental de lanalyse.
A Cauchy (1789-1857) et Riemann (1826-1866), il manque la notion de conti-
nuit uniforme. le premier expos cohrent dintgration est d Darboux (1842-
1917).
1.2 Mathmatiques
1.2.1 Proprits des fonctions
En compltant la droite relle R par les points linni + et , on
obtient la droite relle acheve R, qui est compacte, homomorphe lintervalle
ferm [1, 1], lhomomorphisme tant, par exemple, x arctan(x/2), avec
arctan(/2) = + et arctan(/2) = . Les voisinages ouverts de + sont
de la forme {x > x
0
}, x
0
R...
En compltant la droite relle R par le point linni , on obtient son
compacti dAlexandrov (1912-1999)

R, compact homomorphe au cercle (pro-
jection strographique). Les voisinages ouverts de sont les complmentaires
des intervalles compacts de R.
On peut aussi voir le chapitre sur les espaces projectifs.
Si est une partie dun espace mtrique sparable (X, d), une fonction
relle dnie sur fait correspondre tout x
0
un lment de R not
f(x
0
) ; est alors le domaine de dnition de f, dom(f). Si = X, f est une
application
Un voisinage de x
0
dans X est une partie V (x
0
) de X contenant une boule
ouverte centre en x
0
. Un voisinage de x
0
dans est la trace sur dun
3
voisinage dans X : V (x
0
) .
Si on note f
+
= sup(f, 0) et f

= sup(f, 0), f est la dirence de ces deux


fonctions positives : f = f
+
f

.
Le support dune fonction numrique f, supp(f), est ladhrence de len-
semble des points x dom(f) en lesquels f(x) = 0. Cest donc un ferm.
Limage rciproque dun ensemble A par une fonction f est note
1
f (A) :
1
f (A) = {x dom(f) | f(x) A},
f
1
dsignant la fonction rciproque de f, si elle existe.
1.2.2 Fonction caractristique
Soit A une partie de lespace mtrique sparable X. La fonction caract-
ristique de A, 1
A
est dnie par 1
A
(x) = 1 si x A, 1
A
(x) = 0 sinon. Si A et
B sont des parties de X et A

le complmentaire de A dans X, on a :
_

_
1
X
= 1, 1

= 0,
1
AB
= 1
A
1
B
, 1
AB
= 1
A
+ 1
B
1
AB
,
1
A
= 1 1
A
.
1.2.3 Fonction en escalier
Une fonction en escalier f sur lintervalle compact [a, b] est une fonction
constante sur les sous-intervalles ]a
k
, a
k+1
[ en nombre ni : f
]a
k
,a
k+1
[
= c
k
R,
f =

c
k
1
]a
k
,a
k+1
[
. Ceci se juge sur lespace de dpart. Par exemple, la fonction
partie entire (qui prend sur R une innit de valeurs) sur [a, b].
Une fonction en escalier est une combinaison linaire de fonctions caract-
ristiques dintervalles.
Lensemble des fonctions en escalier est un espace vectoriel sur R.
1.2.4 Fonction tage
Une fonction tage est une fonction qui ne prend quun nombre ni de
valeurs deux deux distinctes. Les fonctions caractristiques sont tages, par
exemple celle de Q, qui nest pas en escalier. Ceci se juge sur lespace darrive.
Lensemble des fonctions tages est un espace vectoriel rel not , et une
algbre associative commutative.
4
1.2.5 Continuit, continuit uniforme
Si (X, d) et (Y, d

) sont des espaces mtriques, une fonction f est continue


en x
0
X si :
> 0, > 0 : x B(x
0
, x) d

(f(x), f(x
0
)) < ,
B(x
0
, ) dsignant la boule ensemble des x X tels que d(x
0
, x) < .
Ce dpend, a priori, de x
0
. Ainsi, f(x) = 1/x est continue en tout x
0
> 0,
mais est de plus en plus petit quand x
0
0 puisque 0 < < x
2
0
.
Elle est continue sur une partie A de X, f C
0
(A), si elle est continue en
tout point de A, ou si limage rciproque dun ouvert de Y est un ouvert de X.
La fonction est uniformment continue sur A si, x, x

A :
> 0, : d(x, x

) < d

(f(x), f(x

)) < .
La continuit sur un compact implique la continuit uniforme.
Ainsi, f(x) = 1/x est uniformment continue sur [1, 2] : 0 < .
Si f : R R, est continue sur un compact[a, b], f est limite uniforme de
deux suites de fonctions en escalier positives : e
n
et e
n+
, e
n
f e
n+
:
> 0, N N : e
n+
e
n
< .
Si f : R R vrie :
> 0, : 0 < x
0
x < |f(x) f(x
0
)| <
elle est continue en x
0
ou gauche. Si :
> 0, : 0 < x x
0
< |f(x) f(x
0
)| <
elle est continue en x
0+
ou droite.
1.2.6 Continuit par morceaux
Une fonction f; R R est continue par morceaux sur un intervalle [a, b],
f C
0
m
([a, b]) si elle est continue en dehors dun nombre ni de discontinuit
de premire espce a
1
, . . . , a
n
en lesquels elle admet une limite gauche et une
limite droite, permettant de prolonger sa restriction ]a
k
, a
k+1
[ en une fonction
continue sur [a
k
, a
k+1
].Ainsi, la fonction partie entire E sur ]n, n + 1[ (n N)
se prolonge sur une fonction continue sur [n, n + 1] en posant E(n + 1) = n.
Si f : R R, f 0, f C
0
m
([a, b]), alors f est limite uniforme de deux
suites de fonctions en escalier positives : e
n
et e
n+
, e
n
f e
n+
:
> 0, N N : n N, e
n+
e
n
< .
5
1.2.7 Semi-continuit
Soient X un espace topologique, f : X R et x
0
X. La fonction f est
semi-continue infrieurement, s.c.i., en x
0
si lune des conditions suivantes
est remplie :
(a) > 0, V (x
0
) : x V (x
0
), f(x) f(x
0
) ,
(b) a < f(x
0
), > 0, V (x
0
) : x V (x
0
), f(x) a,
(c) f est continue en x
0
ou en x
0+
et admet en x
0
un minimum local.
et semi-continue suprieurement si f est s.c.i.
Si f est s.c.i. en tout point, elle est s.c.i. (sur X). De mme pour la semi-
continuit suprieure.
Si f et g sont s.c.i. (respectivement s.c.s.) f +g et fg sont s.c.i. (resp. s.c.s.).
La fonction f est continue si et seulement si elle est s.c.i. et s.c.s.
Si a appartient la frontire dune partie A et A, 1
A
est s.c.s. en a. Si
a / A, 1
A
est s.c.i. en a. Une partie A est donc ouverte si et seulement si 1
A
est
s.c.i., ferme si et seulement si 1
A
est s.c.s.
-
6
s s
Deux points de s.c.i.
-
6
s s
Deux points de s.c.s.
La fonction partie entire est s.c.s. en les points dabscisse entire, continue
ailleurs. Elle est donc s.c.s. en tout point de R.
La fonction f(x) = 0 si x est irrationnel, f(p/q) = 1/q (p et q premiers entre
eux, q 1) est continue sur les irrationnels et s.c.s. sur Q, donc s.c.s. en tout
point de R. Si a est irrationnel et > 0, les points x, voisins de a, en lesquels
f(x) > sont les rationnels p/q tels que 1/q > , ou q < 1 et p voisin de qx :
il ny en a donc quun nombre ni. Un raisonnement voisin permet de conclure
dans le cas rationnel.
1.2.8 Limite, convergence
Une suite (f
n
) de fonctions de (X, d) dans (Y, d

) (espaces mtriques) converge


simplement vers une fonction f si :
x X, lim
n
d

(f(x), f
n
(x)) = 0.
Si on dnit la distance de deux fonctions par :
d

(f, g) = sup
xX
d

(f(x), g(x)),
6
la suite (f
n
) converge uniformment vers f si :
> 0, n
0
N tel que n n
0
, x X, d

(f(x), f
n
(x)) ,
cest--dire si la distance entre f
n
et f tend vers 0 quand n tend vers linni.
Ainsi la suite f
n
= x
n
, x [0, 1[ converge simplement vers la fonction nulle,
mais pas uniformment car x
n
quivaut n ln / ln x, quantit tendant
vers linni quand x tend vers 1

.
La convergence est uniforme si x [0, a], 0 < a < 1 car la condition devient
n ln / ln a, quantit nie.
La limite suprieure dune suite (f
n
) de fonctions est la fonction :
g(x) = inf
n
_
sup
p
f
n+p
(x)
_
,
ce qui se note g = limsup f
n
. On dnit de mme la limite infrieure de la
suite (f
n
) :
liminf f
n
: x sup
n
_
inf
p
f
n+p
(x)
_
.
7
2 Intgrale de Riemann (R)
2.1 Sommes de Darboux et de Riemann
Si f est une fonction positive et borne sur lintervalle [a, b], dnissons les
somme de Darboux pour la subdivision s : a = a
0
< a
1
< a
2
< . . . < a
n
= b :
S
s+
(f) =
k=n1

k=0
(a
k+1
a
k
) sup
x[a
k
,a
k+1
]
f(x),
S
s
(f) =
k=n1

k=0
(a
k+1
a
k
) inf
x[a
k
,a
k+1
]
f(x).
On a videmment S
s
(f) S
s+
(f) quelle que soit la subdivision. Les S
s
(f)
ont donc, sur lensemble des subdivisions, une borne suprieure S

(f) et les
S
s+
(f) une borne infrieure S
+
(f), avec S
n
(f) S
n+
(f).
Si on prend un x [a
k
, a
k+1
] quelconque, on obtient une somme de Rie-
mann S
s
(f), comprise entre S
s
(f) et S
s+
(f).
Exemple 1. Avec f(z) = z
p
, a
k
= kx/n :
_
S
p,s+
= ((x/n)
p
+ (2x/n)
p
+ + (nx/n)
p
)x/n,
S
p,s
= ((x/n)
p
+ (2x/n)
p
+ + ((n 1)x/n)
p
)x/n
Nous savons que 1 +2
p
+ +n
p
n
p+1
/(p +1). Alors S
p,n+
x
p+1
/(p +1) .
La dirence entre les deux, (x/n)
p+1
, tend vers 0 quand n , de sorte que
leur limite commune est x
p+1
/(p + 1).
Soit f : R R une fonction positive continue sur un intervalle compact [a, b],
et considrons les subdivisions s
n
de [a, b] de pas (ba)/2
n
, n 0 (s
0
= {a, b}).
En passant de n n + 1, on coupe les sous-intervalles en deux, et lun des
sup est conserv, lautre est infrieur (gnralement) ou gal, de sorte que la
suite (S
sn+
(f)) est dcroissante, minore par les S
sn
(f).
De faon symtrique, la suite (S
sn
(f)) est croissante, majore par les S
sn+
(f),
et S
sn+
(f) S
sn
(f) 0 quand n . Ces deux suites adjacentes ont une
limite commune, S(f), videmment positive ou nulle.
-
6
inf
sup
-
6
inf
sup
inf
sup
8
Si maintenant les a
k
sont tels que la variation de f sur les sous-intervalles
tende vers 0 quand n tend vers linni, les sommes de Darboux suprieures sont
suprieures ou gales aux S
sn
(f), donc S(f), et les sommes de Darboux in-
frieures sont infrieures ou gales aux S
sn+
(f), donc S(f), et la limite de
leur dirence tant nulle, elle tendent toutes les deux vers S, de mme que les
sommes de Riemann correspondantes.
Par dnition, S(f) est alors lintgrale au sens de Riemann de f sur [a, b],
ou intgrale dnie, ce qui se note (notation de Leibniz) :
S(f) =

b
a
f(x) dx = inf
s
(S
s+
(f)) = sup
s
(S
s
(f)).
Elle est la dirence entre laire situe au-dessus de laxe des abscisses :
{(x, y) | x [a, b], f(x) 0, y [0, f(x)]}
et laire situe au-dessous :
{(x, y) | x [a, b], f(x) 0, y [f(x), 0]}.
La variable x est muette : elle peut tre remplace par nimporte quelle lettre.
Si S(f) existe, que f soit continue ou non, elle est Riemann-intgrable, ou
R-intgrable. On peut montrer que cest le cas si elle est simplement monotone
(exercice 1).
Une fonction est localement intgrable sur une partie E de R si, x E,
elle est intgrable sur un voisinage de x dans E.
2.2 Proprits de lintgrale de Riemann
Si on remplace f par f, on a sup(f) = inf(f) et inf(f) = sup(f). En
reprenant les calculs prcdents, on arrive S(f) = S(f). On a videmment :
R, S(f) = S(f).
Si f et g sont Riemann-intgrables sur [a, b], de :
_
sup(f +g) sup(f) + sup(g) S
n+
(f +g) S
n+
(f) +S
n+
(g),
inf(f +g) inf(f) + inf(g) S
n
(f +g) S
n
(f) +S
n
(g),
on dduit par passage la limite que S(f +g) = S(f) +S(g), do la linarit :
9

b
a
f +g =

b
a
f +

b
a
g.
Dans le cas gnral, f = f
+
f

, |f| = f
+
+f

, on a S(|f|) = S(f
+
)+S(f

)
et on pose S(f) = S(f
+
) S(f

).
Si f et |f| sont R-intgrables, lintgrale de f est absolument conver-
gente. Si f est R-intgrable mais si |f| ne lest pas, lintgrale de f est semi-
convergente.
Soient f intgrable sur [a, b], c ]a, b[, f
1
concidant avec f sur [a, c], nulle
sur [c, b], f
2
, concidant avec f sur [c, b], nulle sur [a, b], de sorte que f = f
1
+f
2
sur [a, b]. De S(f) = S(f
1
) +S(f
2
), on dduit la relation de Chasles :

b
a
f(x) dx =

c
a
f(x) dx +

b
c
f(x) dx.
Cette relation permet dtendre lintgrale de Riemann aux fonctions conti-
nues par morceaux.
Si f et g sont Riemann-intgrables sur [a, b] et si |g f| h, on a alors
|S(f) S(g)| h(b a). On en dduit la continuit de S.
Lapplication f S(f) est donc une forme linaire continue positive (vident)
sur lensemble des fonctions R-intgrables sur tout intervalle compact.
Un rsultat important est le lemme de Riemann. Si f est R-intgrable sur
un intervalle [a, b] :
lim
n

b
a
f(x) exp(inx) dx = 0.
Montrons dabord cela pour une fonction constante f(x) = c :

b
a
c exp(inx) dx =
c
in
_
exp(inx)
_
b
a
quantit tendant vers 0 quand n . On passe ensuite aux fonctions en
escalier (localement constantes), puis par continuit aux fonctions R-intgrables.
On en dduit que si f est R-intgrable :
10
lim
n

b
a
f(x) cos nxdx = 0,
lim
n

b
a
f(x) sin nxdx = 0.
La fonction caractristique des rationnels nest pas R-intgrable sur un in-
tervalle quelconque. En eet, ses S
s+
valent 1 et ses S
s
sont nuls.
Sur [0, 1], la fonction f gale 1 sur les irrationnels et 1 sur les rationnels
nest pas intgrable, mais |f|, gale 1, est intgrable.
2.3 Primitive
Si f est continue sur [a, b], toute fonction drivable F dont la drive est f
est une primitive de f. Toutes les primitives dirent donc dune constante,
dite constante dintgration. Une primitive se note

f(x) dx, ou

f.
La fonction :
F(x) =

x
a
f(x) dx
pour x [a, b] est une primitive de f. En eet, pour tout x [a, b] en lequel f
est continue :
F

(x) = lim
h0
F(x +h) F(x)
h
= f(x)
avec h > 0 si x = a et h < 0 si x = b.
Si f est continue par morceaux, on obtient une primitive sur chaque mor-
ceaux. On peut recoller ces primitives grce aux constantes dintgration. Ainsi,
la fonction E(x), partie entire de x sur [0, 3], admet les primitive :
F
c
(x) =
_

_
c si x [0, 1],
x 1 +c si x [1, 2],
2x 3 +c si x [2, 3],
2.4 Relation fondamentale de lAnalyse
La relation fondamentale de lAnalyse, qui relie intgration et drivation, est
due Newton, puis Leibniz :
Si f est intgrable et si F est une primitive de f :

b
a
f(t) dt = F(b) F(a) =
_
F

b
a
.
11
Notons bien que f doit tre R-intgrable.
Ainsi, la fonction f(x) = (3x
2
2) sin(x
2
), f(0) = 0 (donc non continue),
qui nest pas R-intgrable cause des oscillations de sin(x
2
), admet pour pri-
mitive la fonction continue F(x) = x
3
sin(x
2
), F(0) = 0, puisque F

= f
(F

(0) = lim
x0
F(x)/x = 0).
2.5 Intgration par parties
Si f et g sont des fonctions drivables sur [a, b], on a (fg)

= fg

+f

g, do
en intgrant :
_
fg

b
a
=

b
a
f(t)g

(t) dt +

b
a
f

(t)g(t) dt,
ce qui permet de passer de lintgrale de fg

celle de f

g :

b
a
f(t)g

(t) dt =
_
fg

b
a

b
a
f

(t)g(t) dt.
Ceci est utilis lorsque lon a une primitive de g

et que f

g est plus facile


intgrer que fg

.
Ainsi, avec f(x) = ln(x), f

= 1/x et g

(x) = x
n
, g(x) = x
n+1
/(n + 1) :

b
a
x
n
ln(x) dx =
_
x
n+1
n + 1
ln(x)

b
a

b
a
x
n
n + 1
dx
=
1
n + 1
_
b
n+1
ln(b) a
n+1
ln(a)
_

b
n+1
a
n+1
(n + 1)
2
,
ou encore, exp(x) tant gale sa drive et lune de ses primitives :
I
n
=

b
a
x
n
exp(x) dx
=
_
x
n
exp(x)

b
a
n

b
a
x
n1
exp(x) dx
= b
n
exp(b) a
n
exp(a) nI
n1
,
partir de I
0
= exp(b) exp(a).
2.6 Changement de variable
Soient [a, b] un intervalle compact, f C
0
([a, b]), F une primitive de f, et
C
1
([a, b]) telle que ([a, b] dom(f). Drivons F :
(F )

= (F

= (f )

,
12
do :

b
a
f((t))

(t) dt =

b
a
(F )

t) dt =
_
(F )

b
a
.
De :
_
(F )

b
a
= F((b)) F((a)) =

(b)
(a)
f(x) dx
on dduit la formule de changement de variable :

b
a
f((t))

(t) dt =

(b)
(a)
f(x) dx.
2.6.1 Exemples de changement de variable
Trigonomtrique.
Exemple 2.

dx
cos x(1 sin x)
=

cos xdx
cos
2
x(1 sin x)
.
Le changement u = sin x, du = cos xdx, ramne intgrer la fraction ra-
tionnelle
du
(1 u
2
)(1 u)
(voir plus loin).
Exemple 3.

xdx

(1 x
2
)
3
=

sin t dt
cos
2
t
(x = sin t, dx = cos t dt),
qui donne
1
cos t
+C (t = arcsin x, et cos(arcsin x) =

1 x
2
).
Exemple 4. En posant t = tan(x/2, on obtient :

dx
1 + sin x
=

2 dt
(1 +t)
2
=
2
1 +t
+C.
Ou bien :

dx
1 + sin x
=

(1 sin x) dx
cos
2
x
= tan x
1
cos
+C
1
.
La dirence des deux solutions est gale 1 +C C
1
, ce qui rappelle quil ne
faut pas oublier la constante dintgration.
13
Exemple 5.

dx
sin x
. Avec t = tan(x/2) :

dx
sin x
=

2dt/(1 +t
2
)
2t/(1 +t
2
)
=

dt
t
= ln t +C
= ln(tan x/2) +C.
Exemple 6.

dx
tan x
=

cos xdx
sin x
= ln | sin x| +C.
Hyperbolique.
Exemple 7.

xdx

(x
2
1)
3
. Posons x = cht, dx = sh t dt.

xdx

(x
2
1)
3
=

ch t sh t dt
sh
3
t
=

ch t dt
sh
2
t
=
1
sh t
+C
=
1

x
2
1
+C
On peut aussi poser x
2
1 = u, 2xdx = du, et u
3/2
/2 sintgre en u
1/2
+C.
Exemple 8.

dx
(1 +x
2
)
3/2
. Avec x = sh t :

dx

(1 +x
2
)
3/2
=

ch t dt
ch
3
t
=

dt
ch
2
t
= tht +C.
14
Exponentiel.
Exemple 9.

dx

(exp(x) 1)
.
Avec x = ln(u
2
+ 1), dx =
2udu
u
2
+ 1
, u =

exp x 1 :

dx

(exp(x) 1)
=

2udu
u(u
2
+ 1)
= 2 arctan u +C
= 2 arctan(

exp(x) 1) +C
Polynomial.
Si P est un polynme de degr 2 non identiquement ngatif, une homothtie
et une translation le ramnent lune des formes X
2
, X
2
1, X
2
+ 1, 1 X
2
.
Le premier cas ne pose pas de problme. Dans le deuxime, on se dbarrasse
du radical en posant x = cht selon que x 1 ou que x 1, dx = sh t dt ;
dans le troisime, en posant x = sh t, dx = cht dt ; dans le dernier, en posant
x = sin t, dx = cos t dt.
Exemple 10.

xdx

x
2
+x + 2
=
1
2
_

(2x + 1) dx

x
2
+x + 2

dx

x
2
+x + 2
_
.
Calculons ces deux intgrales.

(2x + 1) dx

x
2
+x + 2
= 2

x
2
+x + 2.
En posant x =
u

7 1
2
, dx =

7
2
du, u =
2x + 1

7
, on obtient :

dx

x
2
+x + 2
=
7

7
8

du

u
2
+ 1
=
7

7
8
arg sh u +C.
Rationnel (voir lexercice 7).
Exemple 11.

x
3

x + 1
x 1
dx.
Posons
x + 1
x 1
= u
3
, soit x =
u
3
+ 1
u
3
1
, dx =
6u
2
(u
3
1)
2
du, ce qui ramne la
fonction rationnelle
6u
3
(u
3
+ 1)
(u
3
1)
3
, tudie plus loin.
15
2.6.2 Fonctions rationnelles
Soit F[X] le corps des fractions de R[X] (voir dans "Algbre, Anneaux et
Corps", mme page web). ensemble des fractions F = P/Q, P et Q tant des
lments de R[X] premiers entre eux (sans racines communes).
Lapplication x F(x) est la fonction rationnelle associe la fraction
rationnelle F. On la notera galement F. Les racines de P sont les racines de
F, celles de Q sont les ple de F.
On suppose Q unitaire (de coecient dominant gal 1).
Dans C, Q se dcompose en un produit de termes (X
i
)
ki
,
i
C,
k
i
N, k
i
1, et
i
est un ple dordre k
i
. Si
i
nest pas rel, son conjugu est
galement un ple dordre k
i
. La fraction rationnelle se dcompose en la somme
de termes
a
i
(x
i
)
ki
. Si
i
nest pas rel, le conjugu
a
i
(x
i
)
ki
gure aussi
dans la dcomposition, et :
a
i
(x
i
)
ki
+
a
i
(x
i
)
ki
=
A
i
(x)
(x
2
+b
2
i
)
ki
, A
i
R[X], b
i
R.
Ainsi :
1
(x i)
2
+
1
(x +i)
2
=
x
2
2
(x
2
+ 1)
2
=
1
x
2
+ 1

3
(x
2
+ 1)
2
.
Dans R, la dcomposition est la somme de termes
a
i
(x
i
)
ki
et
b
i
x +c
i
(x
2
+d
2
)
k

i
.
Les fonctions
1
(x 1)
k
,
x
(x
2
+ 1)
k
et
1
(x
2
+ 1)
k
sont des lments simples.
Cherchons les primitives de ces lments simples, auxquels on se ramne par des
homothties (relle) sur x.
Le premier, 1/(x 1)
k
sintgre en ln |x 1| + C si k = 1, et, si k 2, en
1
1 k
1
(x 1)
k1
+C.
Soit I
k
=

xdx
(1 +x
2
)
k
. On pose u = 1 +x
2
, du = 2xdx, do :
I
k
=
1
2

du
u
k
=
1
2k 2
1
u
k1
=
1
2k 2
1
(1 +x
2
)
k1
.
Soit J
k
=

dx
(1 +x
2
)
k
. Rappelons dabord que J
1
= arctan(x)+C. Ensuite :
J
k
=

1 +x
2
x
2
(1 +x
2
)
k
dx
=

1
(1 +x
2
)
k1
dx

x
2
(1 +x
2
)
k
dx
= I
k1

x
2
(1 +x
2
)
k
dx
16
Lintgrale restante sintgre par parties, avec u = x et v

=
x
(1 +x
2
)
k
,
u

= 1 et v = v =
1
2k 2
1
(1 +x
2
)
k1
:

x
2
dx
(1 +x
2
)
k
=
x
2k 2
1
(1 +x
2
)
k1
+

1
2k 2
dx
(1 +x
2
)
[
k 1
,
do :
J
k
=
2k 3
2k 2
J
k1
+
1
2k 2
x
(1 +x
2
)
k1
,
ce qui ramne le calcul J
1
.
Exemple 12. Calculons les primitives de F(x) =
x
x
4
1
.
Premire mthode, partir des racines du dnominateur :
F(x) =
a
x 1
+
b
x + 1
+
c
x i
+
d
x +i
.
On multiple cette quation par x 1 et on fait x = 1 :
a =
x
(x
2
+ 1)(x + 1)
|
|x=1
=
1
4
.
On procde de mme pour trouver b = 1/4, c = 1/4 et d = 1/4, do :

F(x) dx =
1
4
ln
x
2
1
x
2
+ 1
+C.
Deuxime mthode, en factorisant dans R[X] :
F(x) =
x
(x
2
+ 1)(x
2
1)
=
ax +b
x
2
+ 1
+
cx +d
x
2
1
.
En multipliant par x et en le faisant tendre vers +, on trouve que a+c = 0.
De F(0) = 0, on dduit que b d = 0.
En rduisant au mme dnominateur et en identiant, on trouve c a = 1,
do a = 1/2 et c = 1/2, puis b +d = 0, do b = d = 0, et :
F(x) =
x/2
x
2
+ 1
+
x/2
x
2
1
.
On retrouve le rsultat prcdent.
On peut aussi multiplier par x
2
1 et faire x = 1 et x = 1, puis par x
2
+1
et faire x = i et x = i.
17
Exemple 13 Calculons les primitives de F(u) =
u
6
+u
3
(u
3
1)
3
.
Comme u
3
1 = (u 1)(u
2
+u + 1), la dcomposition en lments simples
rels de F est :
F(u) =
3

k=1
_
a
k
(u 1)
k
+
b
k
u +c
k
(u
2
+u + 1)
k
_
.
On trouve dabord :
a
3
= (u 1)
3
F(u)|
u=1
=
2
27
,
puis on multiplie F(u)
2/27
(u 1)
3
par (u 1)
2
et on fait u = 1, ce qui donne
a
2
= 1/9. On trouve de mme a
1
= 1/27. Enlevons la combinaison linaire
dlments simples trouve :
G(u) = F(u)
1
27
_
1
u 1
+
3
(u 1)
2
+
2
(u 1)
3
_
=
u
5
7u
4
+ 7u
2
9u + 4
(u
2
+u + 1)
3
=
u + 5
27(u
2
+u + 1)
+
13u + 11
27(u
2
+u + 1)
2

4u + 2
9(u
2
+u + 1)
3
.
En posant :
v =
2

3
3
(u +
1
2
), u
2
+u + 1 =
3
4
(v
2
+ 1)
on ramne G une combinaison linaire dlments simples, donc aussi F :

F(u) du = 2u+fracu
4
4+
2
3
ln |u1|
1
3
ln(u
2
+u+1)
2

3
arctan(
2

3
(u+
1
2
).

2.6.3 Fonctions rationnelles trigonomtriques


On se propose de calculer

b
a
F(t) dt o F est une fonction rationnelle en
sin t et cos t : F(t) =
P(sin t, cos t)
Q(sin t, cos t)
, P et Q tant des polynmes deux ind-
termines.
Le changement de variable u = tan t/2 :
dt =
2du
1 +u
2
, sin t =
2u
1 +u
2
, cos t =
1 u
2
1 +u
2
, tan t =
2u
1 u
2
18
marche dans tous les cas.
On peut aussi essayer u = cos t (du = sin t dt), u = sin t (du = cos t dt),
u = tan t (du = (1 + tan
2
t) dt), u = cos 2t (du = 2 sin 2t dt).
Exemple 14
(1)

/2
0
sin t
1 + cos
2
t
dt =

0
1
du
1 +u
2
= arctan 1 = /4 (cos t = u).
Exemple 15

/2
0
sin t
sin +cos t
dt =

1
0
2udu
(1 + 2u u
2
)(1 +u
2
)
(u = tan(t/2)
=

1
0
_
1 +u
1 +u
2
+
1 +u
1 + 2u u
2
_
du
=

1
0
du
1 +u
2
+

1
0
udu
1 +u
2
+

0
1
v dv
2 v
2
= /4 (environ 0, 7854)

Exemple 16

/2
0
dx
1 + cos
4
x
=

+
0
1
1 + (t
2
+ 1)
2
dt
1 +t
2
(t = tan x)
=

+
0
t
2
+ 1
t
4
+ 2t
2
+ 2
dt
=

+
0
1/2
t
2
+ 1 +i
+
1/2
t
2
+ 1 i
.
Comme :

dt
t
2
+a
2
=
1
a

du
u
2
+ 1
(t = au)
et :
1

1 +i
+
1

1 i
=

2
4

2 cos /8,
on a :

+
0
F(t) dt =
1
2

2
4

2 cos /8

2
= 2
5/4
cos /8 = 1, 22033...

19
Exemple 17

/2
0
sin t
1 + sin t
dt =

1
0
2u
1 +u
2
+ 2u
2du
1 +u
2
(u = tan t/2)
La fraction rationnelle se dcompose en :
F(u) =
a
1 +u
+
b
(1 +u)
2
+
cu +d
1 +u
2
avec a = 0, b = 2, c = 0, d = 2. On a donc :

F(u) du =
2
1 +u
+ 2 arctan u
et lintgrale vaut 1 +/2, soit environ 1, 5708.
2.7 Formules de la moyenne
Soit f C
0
([a, b]), m f(x) M sur lintervalle compact [a, b]. De :
m(b a)

b
a
f(x) dx M(b a)
et du thorme des valeurs intermdiaires (f tant continue), on dduit lexis-
tence dun l [a, b] tel que :

b
a
f(x) dx = f(l) (b a),
et f(l) est la valeur moyenne de f sur [a, b].
Si, de plus, g > 0 est intgrable sur [a, b], on dduit de mg fg Mg que :
m

b
a
g(x) dx

b
a
f(x)g(x) dx M

b
a
g(x) dx,
do, pour pour la mme raison, lexistence dun c [a, b] donnant la premire
formule de la moyenne :

b
a
f(x))g(x) dx = f(c)

b
a
g(x) dx
Si g < 0, on la remplace par g.
Si maintenant f est dcroissante, positive, et g intgrable, positive, en po-
sant :
(x) = f(a)

x
a
g(t) dt
20
on a (a) = 0 et :
(b) = f(a)

b
a
g(t) dt

b
a
f(t)g(t) dt,
do lexistence, tant croissante, dun c [a, b] tel que :
(c) =

b
a
f(t)g(t) dt,
et la deuxime formule de la moyenne :

b
a
f(x)g(x) dx = f(a)

c
a
g(x) dx
Si f est ngative, on la remplace par f, et de mme pour g.
Si f C
1
([a, b]), f

> 0, et g intgrable, soit G la primitive de g qui sannule


en a. Intgrons par parties :

b
a
f(x)g(x) dx =

b
a
f(x)G

(x) dx = G(b)f(b)

b
a
f

(x))G(x) dx.
Il existe c [a, b] (premire formule de la moyenne) tel que :

b
a
f

(x)G(x) dx = G(c)

b
a
f

(x) dx = G(c)
_
f(b) f(a)
_
do :

b
a
f(x)g(x) dx = G(b)f(b) G(c)
_
f(b) f(a)
_
puis, comme G(a) = 0 :

b
a
f(x)g(x) dx = f(a)
_
G(c) G(a)
_
+f(b)
_
G(b) G(c)
_
et une autre forme de deuxime formule de la moyenne :

b
a
f(x)g(x) dx = f(a)

c
a
g(x) dx +f(b)

b
c
g(x) dx
21
2.8 Drivation sous le signe somme
Soient I = [a, b] un intervalle compact de R, J un intervalle (non trivial) de
R, et (t, x) f(t, x) une fonction de I J dans R, continue en t pour tout x,
de classe C
1
en x pour tout t, avec |
f
x
| M. Dans ces conditions :
F(x) =

b
a
f(t, x) dt
est drivable, et :
F

(x) =

b
a
f
x
f(t, x) dt
On a en eet |f(t, x + h) f(t, x)| M|h|,
f(t, x +h) f(t, x)
h
, est int-
grable :

b
a
f(t, x +h) f(t, x)
h
=
F(x +h) F(x)
h
et il reste faire tendre h vers 0.
Si a et b sont des fonctions drivables de x, on a :
F

(x) =

b
a
f
x
f(t, x) dt +b

f(t, b) a

f(t, a).
Ainsi, la drive de F(x) =

nx
x
dt
t
(f(t, x) =
1
t
, a(x) = x, b(x) = nx) est :
F

(x) = b

f(t, b) a

f(t, a) = n
1
nt

1
t
= 0.
Calculons partir de la dnition de la drive :
F

(x) = lim
h0
_

n(x+h)
nx
dt
t

x+h
x
dt
t
_
= lim
h0
_
ln
n(x +h)
nx
ln
x +h
x
_
= 0.
Exemple 18. Calcul de lintgrale de Gauss G =

+
0
exp(t
2
) dt.
22
Posons :
_

_
e(x) =

x
0
exp(t
2
) dt,
E(x) = e(x)
2
,
F(x) =

1
0
exp(x
2
(1 +t
2
)
1 +t
2
dt.
Nous allons calculer E

et F

, montrer que E +F = c
te
et en dduire G.
On a e

(x) = exp(x
2
), E

(x) = 2 exp(x
2
)e(x), e(0) = 0, E(0) = 0, et
F(0) = arctan(1) = /4.
La fonction f(x) =
exp(x
2
(1 +t
2
)
1 +t
2
est continue pour tout t, intgrable, et
f
x
= 2xexp(x
2
(1 +t
2
)) est de classe C

en x sur R, nulle en x = 0 et tend


vers 0 quand x +. Elle est donc borne, et on a :
F

(x) = 2x

1
0
exp(x
2
(1 +t
2
)) dt.
En x = 0, E

et F

sont nulles. Pour x = 0, posons t = u/x, dt = du/x :


F

(x) = 2x

x
0
exp(x
2
u
2
)) du/x
= 2 exp(x
2
)

x
0
exp(u
2
) du,
= E

(x).
On a donc, pour tout x R, E

+F

= 0, E +F = c
te
, et :
E(0) +F(0) = F(0) = /4.
Quand x +, F(x) 0, E(x) /4, et G =

2
.
2.9 Intgrale impropre ou gnralise
Peut-on prolonger lintgration un intervalle non born, une fonction non
continue, ou non borne, ou non dnie en un point ? On obtient une intgrale
impropre ou gnralise. On peut faire un changement de variable, une tude
locale, utiliser une quivalence ou un passage la limite, si elle existe.
2.9.1 Intervalle non born
Un changement de variable homographique transforme [a, +[ en [0, 1[ si
a = 0 :
y =
x a
x
, x =
a
1 y
, dx =
a dy
(1 y)
2
,
23
et si a = 0 :
y =
1
x
, x =
1
y
, dx =
dy
y
2
.
Ainsi lintgrale :

+
1
dx
x

1
0
y
2
dy =
_
1
1
y
1
_
1
0
(y =
1
x
)
converge si et seulement si 1 > 0, soit > 1.
2.9.2 Etude locale
Lorsquil y a un problme ponctuel, par exemple lintgrale :

h
0
dx
x

=
_
1
1
x
1
_
h
0
(h > 0, petit)
converge si et seulement si 1 > 0, soit < 1.
2.9.3 Equivalence
Si f et g sont quivalentes au voisinage dun point, ramen 0 par transla-
tion, on a f(x) = g(x) +(x)g(x), (x) tendant vers 0 avec x, et :

h
0
f(x) dx =

h
0
g(x) dx +

h
0
(x)g(x) dx.
Les intgrales de f et de g convergent ou divergent ensemble. Ainsi, sin x tant
quivalent x au voisinage de 0 :

1
0
dx
sin

x
converge si et seulement si < 1.
2.9.4 Passage la limite
Si f nest pas continue, ou pas dnie ou innie en x = a, on pose :

b
a
f(x) dx = lim
h0+

b
a+h
f(x) dx
si cette limite existe. On procde de mme pour x = b en cas de problme en ce
point (exemple 2.3).
Si la suite (f
n
) de fonctions intgrables converge uniformment vers f et si
la suite de leurs intgrales converge, cette limite est lintgrale de f :

b
a
f(x) dx = lim
n+

b
a
f
n
(x) dx.
24
En eet :
> 0, N : n N |f f
n
| |

b
a
|f(x) f
n
(x)| dx (b a).
Soient f(x) = sin x/x sur R
+
, f(0) = 0 (exemple 2.4) et f
n
(x) = f(x) si
x n, f
n
(x) = 0 si x > n. Les fonctions sont continues, les f
n
sont intgrables
et tendent vers f en croissant, uniformment car f f
n
1/n. Comme :
_

2n+1
2n
f(x) dx > 0 >

2n+2
2n+1
f(x) dx,

2n+1
2n
f(x) dx > |

2n+2
2n+1
f(x) dx|,
|

R
f
n+1
dx

R
f
n
dx| < /n,
la suite des intgrales des f
2n
est dcroissante, celle des intgrales des f
2n+1
est
croissante, et elles ont une limite commune, lintgrale de f.
2.9.5 Majoration
Sil existe une fonction g > 0 intgrable telle que |f| < g, et si f est locale-
ment intgrable, elle est intgrable.
2.9.6 Linarisation trigonomtrique
On utilise les formules :
_

_
2 sin xsin y = cos(x y) cos(x +y)
2 cos xcos y = cos(x +y) + cos(x y)
2 sin xcos y = sin(x y) + sin(x +y)
et la formule dEuler exp(ix) = cos x +i sin x. Ainsi :
2 cos(3x) = exp(3ix) + exp(3ix)
= (exp(ix) + exp(ix))
3
3(exp(ix) + exp(ix))
do :
4 cos
3
x = cos(3x) + 3 cos x.
Ou encore :
sin
2
x cos
2
x =
_
exp(ix) exp(ix)
2i
exp(ix) + exp(ix)
2
_
2
=
_
exp(2ix) exp(2ix)
_
2
16
=
2 exp(4ix) exp(4ix)
16
=
1 cos(4x)
8
.
25
2.9.7 Quelques exemples
Exemple 19. La fonction 1/

x est dnie et continue sur R

+
, et 2

x en est
une primitive. Pour a ]0, 1[, on a :

1
a
dx

x
= [2

x]
1
a
= 2 2

a
et :

1
0
dx

x
= lim
a0+
(2 2

a) = 2.

Exemple 20. Intgrale de Dirichlet I =

R+
sin x
x
dx.
La fonction intgrer est continue si on la prolonge en x = 0 par la valeur
1. Elle est intgrable de 0 1. Pour b > 1, intgrons par parties, f(x) = 1/x,
f

(x) = 1/x
2
, g

(x) = sin x, g(x) = cos x :

b
1
sin x
x
dx = cos 1
cos b
b
+

b
1
cos x
x
2
dx.
Lintgrale de droite est absolument convergente quand b + puisque :
0 <

+
1
| cos x|
x
2
dx <

+
1
1
x
2
dx = 1.
Lintgrale de Dirichlet est donc convergente. Elle nest pas absolument
convergente, comme on peut sen apercevoir en appliquant lintgration par
parties f
+
et f

. On peut aussi remarquer que :

(n+1)
n
| sin x|
x
dx >
1
(n + 1)

(n+1)
n
sin xdx =
2
(n + 1)
,
et la srie de terme gnral
2
(n + 1)
diverge.
Pour calculer I, dnissons les intgrales convergentes :
A
n
=

/2
0
sin(2n + 1)x
sin x
dx, B
n
=

/2
0
sin(2n + 1)x
x
dx.
En posant t = (2n + 1)x, dx/x = dt/t, on obtient :
B
n
=

(2n+1))/2
0
sin t
t
dt,
et quand n tend vers linni, B
n
tend vers lintgrale de Dirichlet. On a :
A
n
B
n
=

/2
0
sin((2n + 1)x)(
1
x

1
sin x
) dx
26
et au voisinage de x = 0 :
1
x

1
sin x
=
1
x

1
x x
3
/6 +

x
6
.
Dune part, A
n
B
n
tend vers 0 quand n tend vers linni (lemme de Riemann),
et, dautre part, A
n
est constant :
A
n
A
n1
=

/2
0
sin(2n + 1)x sin(2n 1)x
sin x
dx
=

/2
0
cos 2nxdx
= 0
et gal A
0
= /2. Lintgrale de Dirichlet vaut donc /2.
Exemple 21. Intgrales de Bertrand :

dx
x

(lnx)

.
Si = 1, en posant u = ln x, du = dx/x, on obtient :

du
u

=
_
u
1
1
_
+

et cette intgrale converge si > 1.


Au voisinage de 0, ln x est un o(x

) quel que soit > 0, et lintgrale converge


si < 1.
Au voisinage de +, elle converge si > 1, quel que soit , ou, nous venons
de le voir, si = 1 et > 1.
Finalement :

+
0
dx
x

(ln x)

converge = 1 et > 1.

2.10 Insusance de lintgrale de Riemann


Lintgrale de Riemann ne permet pas dintgrer les fonctions non bornes,
les fonctions oscillantes au voisinage dun point, la fonction de Dirichlet, elle
impose la convergence uniforme pour les suites de fonctions, elle limite la relation
fondamentale de lAnalyse.
On lamliore dabord par la notion dintgrale impropre, nous lavons vu,
puis en posant :
S(f) =
n1

k=0
(a
k+1
a
k
) f(x
k
)
pour un x
k
[a
k
, b
k
] bien choisi. On obtient ainsi lintgrale de Henstock-
Kurzweil, tudie plus loin.
27
3 Mesure
3.1 Tribu, mesure, espace mesur
Soient X un espace topologique et P lensemble de ses parties, A
c
le compl-
mentaire de A P, I un ensemble au plus dnombrable dindices et des parties
A
i
, i I, deux deux disjointes.
Un ensemble T P est une tribu sur X si :
T = ,
A T A
c
T,

iI
A
i
T.
Lensemble X appartient T. En eet, si A T, A
c
T, et X = AA
c
T.
Lensemble vide, complmentaire de X, appartient T : T.
Le complmentaire de lintersection de deux (ou plusieurs) parties tant
lunion de leurs complmentaires, cette intersection (nie ou non) appartient
T.
Les hypothses ci-dessus tant conserves :
Une application : T R
+
est une mesure sur X si :
() = 0,

A
i
iI
_
=

iI
(A
i
) ( additivit).
Dans ces conditions, (X, T) est un espace mesurable et (X, T, ) un espace
mesur. Les lments de T sont mesurables.
Soient A, B T et = A B. Posons A

= A\ et B

= B\. Tous ces


ensembles sont dans T. On a (A) = (A

) +() et (B) = (B

) +(), de
sorte que (A B) = (A

) +(B

) +().
On a alors (A B) = (A) +(B) (A B) (A) +(B).
On en dduit que, si A et B sont mesurables :
A B (A) (B),
et que, si les A
i
ne sont pas supposs deux deux disjoints :

A
i
iI
_

iI
(A
i
).
28
Remarquons que si les E
i
sont mesurables et croissants, de runion E,
alors (E) = lim(E
i
), et que, sils sont dcroissants, dintersection E, alors
(E) = lim(E
i
). La mesure est donc continue.
Voici quelques exemples.
La mesure de Dirac : X = R, T est lensemble des parties de R, a R,

a
(A) = 1 si a A, 0 sinon.
Le dnombrement sur R : X = R, T est lensemble des parties nies ou
dnombrables de R, (A) = |A| (le cardinal de A), si A est inni dnombrable.
La longueur des intervalles dans R : ((a, b)) = b a, que (a, b) soit ouvert,
ferm ou semi-ouvert.
La temprature dobjets massifs nest pas une mesure, mais leur quantit de
chaleur (les calories) en est une, de mme que leur masse ou leur volume.
3.2 Tribu borlienne, tribu de Lebesgue
La tribu borellienne (les borelliens) dun espace mtrique sparable (X, d)
est constitue des ouverts de X.
Les borelliens de R sont les ouverts, borns ou non, les ferms (par compl-
mentation), les semi-ouverts (union dun ouvert et dun ferm non disjoints),
les points. Ils sont engendrs par les ouverts ]a, b[, a, b R, ou par les ouverts
]a, +[. En eet, ] , b[ est le complmentaire de [b, +[, lui-mme intersec-
tion des ]b 1/n, +[, et ]a, b[ est lintersection de ]a, +[ avec ] , b[.
Tout rel tant limite dune suite de rationnels, on peut se contenter de
supposer a et b dans Q = Q ().
La mesure dun intervalle est sa longueur. La mesure dun point est nulle.
Union dnombrable de points, N est mesurable. Considrons, pour chaque
n N et pour ]0, 1[, un voisinage V
n
=]n /2
n+2
, n + /2
n+2
[, de mesure
(V
n
) = /2
n+1
. La mesure de la runion V des V
n
est gale , ceci, quelque
soit . On a donc :
> 0, (N) < (V ) = ,
do la conclusion : N est de mesure nulle. De mme, tout ensemble dnombrable
est de mesure nulle ; Q est donc de mesure nulle.
Les borelliens de R
n
sont engendrs par les pavs ]a
1
, b
1
[ ]a
n
, b
n
[,
a
i
, b
i
Q. La mesure dun pav

]a
i
, b
i
[ est le produit des b
i
a
i
. Elle est
nulle si, et seulement si, b
i
= a
i
pour au moins un indice, mme si lune des
autres bornes est (ou plusieurs).
3.3 Ensemble de mesure nulle, ensemble ngligeable
Un ensemble ngligeable est un ensemble, mesurable ou non, contenu
dans un ensemble de mesure nulle.
Une union dnombrable densembles de mesure nulle est de mesure nulle.
Une union dnombrable densembles ngligeables est donc ngligeable.
29
Il est intressant de complter la tribu des mesurables par les ensembles
ngligeables, qui deviennent de mesure nulle. La mesure est alors complte et
la tribu est complte
Dans ces conditions, si N est ngligeable et A mesurable, AN est mesurable
et sa mesure est celle de A.
Les borelliens ngligeables de R ont un intrieur vide, car si B est un borellien
ngligeable de R et si a est un point intrieur de B, ce dernier est un voisinage
de a ; il existe alors un rel h > 0 tel que ]a h, a + h[ B, et (B) 2h, ce
qui est absurde.
La tribu de Lebesgue T est la complte de la tribu borlienne. Elle est vi-
demment stable par translation et homothtie. Elle est lensemble des parties
Lebesgue-mesurables de R, nous dirons dornavant mesurables tout court.
Une proprit vrie en dehors dun ensemble ngligeable est vraie presque
partout, ce qui se note p.p.. Ainsi la fonction "partie entire" est p.p. continue.
Deux fonctions gales p.p. sont dites quivalentes.
3.4 Ensemble de Vitali, non mesurable
Considrons la relation dquivalence sur [0, 1] : xRy yx Q. Chaque
classe tant dnombrable, lensemble des classes ne lest pas (R ne ltant pas).
Laxiome du choix nous permet de prendre un reprsentant, et un seul, dans
chaque classe. Lensemble V de ces choix est lensemble de Vitali, inni non
dnombrable. A chaque x [0, 1] est ainsi associ un y qui lui est quivalent,
donc un rationnel r
x
= y x.
A tout r Q [1, 1], associons lensemble V
r
= V + r, translat de V .
Les V
r
sont deux deux disjoints, car si x + r
x
= y + r
y
dans lintersection de
deux classes, y x = r
x
r
y
Q, et les classes sont gales. Soit W la runion
(dnombrable) des V
r
. On a [0, 1] W [1, 2].
Supposons V mesurable. Chaque V
r
est alors mesurable, et a mme mesure
que V .
Si V est de mesure nulle, W est aussi de mesure nulle, ce qui est absurde
puisquil contient [0, 1].
Si V nest pas de mesure nulle, la mesure de W est innie, ce qui est absurde
car W [1, 2].
Lensemble V nest donc pas mesurable.
3.5 Ensemble de Cantor, de mesure nulle mais non d-
nombrable
Lensemble de Cantor K est obtenu en enlevant I = [0, 1] sa partie centrale
[1/3, 2/3], ce qui donne I
1
, puis en enlevant la partie centrale de chaque partie
restante pour obtenir I
2
, ainsi de suite jusqu linni : K = lim
n
I
n
.
30
La mesure de I
n
, gale (2/3)
n
, tend vers 0 quand n , et K est de
mesure nulle.
En base 3, un lment x [0, 1] scrit :
x = 0, a
1
a
2
...a
n
... =

kN
(a
n
/3)
n
, a
n
{0, 1, 2},
et sil appartient K, a
k
{0, 2}.
Largument diagonal de Cantor prouve par labsurde que K est non d-
nombrable. Supposons-le dnombrable : K = {k
1
, k
2
, . . . , k
n
, . . .}, et considrons
le tableau (inni) T dont la n
ime
ligne est la suite des a
n
du dveloppement de
k
n
en base 3 :
T =
_
_
_
_
_
_
_
_
a
1,1
a
1,2
. . . a
1,n
. . .
a
2,1
a
2,2
. . . a
2,n
. . .
.
.
.
.
.
.
.
.
.
.
.
. . . .
a
n,1
a
n,2
. . . a
n,n
. . .
.
.
.
.
.
.
.
.
.
.
.
.
_
_
_
_
_
_
_
_
Le nombre x = 0, b
1
b
2
...b
n
... tel que, pour tout n, b
n
= a
n,n
(b
n
= 0 si
a
n,n
= 1, b
n
= 1 si a
n,n
= 0) est dirent de k
n
, nest pas dans la liste et
nappartient donc pas K, ce qui est absurde.
3.6 Escalier du Diable
-
6

f
1
-
6
f
2
Reprenons lensemble de Cantor. Dnissons la fonction f
1
, ane par mor-
ceaux : elle relie les points (0, 0), (1/3, 1/2), (2/3, 1/2), (1, 1). Elle est constante
sur un ensemble de mesure 1/3. La fonction f
2
vaut 1/4 sur (1/9, 2/9), 3/4 sur
(7/9, 8/9). Elle est constante sur un ensemble de mesure 2/9... La fonction f
n
concide avec f
n1
l o f
n1
est constante, elle est constante sur le deuxime
tiers des intervalles restant, constante gale labscisse du milieu de lintervalle.
Elle vaut 0 en 0 et 1 en 1. Elle est constante sur un ensemble E
n
dont la mesure :
(E
n
) =
1
3
_
1 +
2
3
+ (
2
3
)
2
+ + (
2
3
)
n1
_
= 1 (
2
3
)
n
1
31
tend vers 1 quand n . La limite de E
n
est dailleurs le complmentaire de
lensemble de Cantor.
Comme |f
n
f
n1
| 3
n
/2, la suite des fonctions continues (f
n
) converge
uniformment vers une fonction f continue dont la drive est p.p. nulle, et
pourtant f(0) = 0, f(1) = 1.
3.7 Fonctions mesurables
Dans la suite, la mesure utilise est celle de Lebesgue, cest--dire celle de
Borel complte.
Une fonction relle de la variable relle est mesurable si limage rciproque
de tout ensemble mesurable est mesurable.
On dduit immdiatement de la dnition que la compose de fonctions
mesurables est mesurable.
Une fonction mesurable f : X R
+
est la limite de la suite
croissante des fonctions mesurables tages e
n
: X R
+
:
_

_
e
n
(x) =
E(2
n
(f(x)))
2
n
si f est borne,
e
n
(x) = inf(2
n
,
E(2
n
(f(x)))
2
n
) sinon,
E dsignant la fonction "partie entire".
Dmonstration. Si f est tage, on prendra e
n
= f, pour tout n.
Si f(x) [
p
2
n
,
p + 1
2
n
[, on a 2
n
f(x) [p, p + 1[, p 2
2n
, la partie entire
E(2
n
f(x)) est gale p, et e
n
(x) =
p
2
n
2
n
f(x). Ne prenant quun nombre
ni de valeurs (2
2n
+ 1), les e
n
sont tages.
Si f nest pas borne, tant que f(x) 2
n
, on a f(x) e
n
(x) 2
n
, do le
rsultat quand n .
Comme :
{x| p2
n
f(x) < (p + 1)2
n
} =
{x| 2p2
n1
f(x) < (2p + 1)2
n1
}
{x| (2p + 1)2
n1
f(x) < (p + 1)2
n
},
on a sur la premire partie e
n+1
(x) = e
n
(x) = p2
n
et sur la seconde :
e
n+1
(x) = (2p + 1)2
n1
= e
n
(x) + 2
n1
.
On a donc, pour tout x X, e
n+1
(x) e
n
(x).
32
Si la fonction f 0 est mesurable, limite dune suite croissante de fonc-
tions mesurables tages e
1,n
, les fonctions e
2
1,n
forment une suite croissante de
fonctions mesurables tages de limite f
2
, et f
2
est mesurable.
Si de plus g est mesurable, limite dune suite croissante de fonctions mesu-
rables tages e
2,n
, les fonctions e
n
= e
1,n
+ e
2,n
forment une suite croissante
de fonctions tages de limite f + g. Les e
n
sont mesurables, donc leur limite
f +g est mesurable.
Si les fonctions f
n
sont mesurables, inf(f
n
) et sup(f
n
) sont mesurables, car :
_

_
{x R| inf
n
f
n
(x) > a} =

n
{x| f
n
(x) > a},
{x R| sup
n
f
n
(x) > a} =

n
{x| f
n
(x) > a}
appartiennent T. Les F
k
=
1
f
k
(t), t T, tant mesurables :
_

_
lim inf(F
k
) =

n
_

kn
F
k
_
,
lim sup(F
k
) =

n
_

kn
F
k
_
sont mesurables, et liminf(f
n
) et limsup(f
n
) sont mesurables, donc aussi la
limite des f
n
si elle existe, cest--dire si liminf(f
n
) = limsup(f
n
).
Si f est mesurable, f lest videmment, donc galement f
+
= sup(f, 0) et
f

= sup(f, 0). La rciproque est vidente, et :


f est mesurable f
+
et f

sont mesurables.
Lensemble des fonctions tages tant une algbre, le produit fg de fonc-
tions mesurables est mesurable, de mme que cf, c R.
Notons M lalgbre des fonctions mesurables.
Remarque 1 : la valeur absolue dune fonction peut tre mesurable sans que
la fonction le soit :
|f| mesurable f mesurable.
En eet, soit V lensemble de Vitali et f la fonction dnie sur [0, 1] :
f : x
_
1 si x V,
1 si x V.
La valeur absolue de f, gale 1, est mesurable, alors que ni f
+
ni f

ni f
ne le sont.
33
4 Intgrale de Lebesgue (L)
Si f est dnie sur une partie de R, on peut la prolonger sur R par la valeur
0 sur le complmentaire de son domaine.
On se propose de construire une forme linaire positive I : MR concidant
avec la mesure sur les fonctions caractristiques : si t T, I(1
t
) = (t).
4.1 Intgrale dune fonction tage
Si e est une fonction tage, elle prend un nombre ni de valeurs
1
,
2
, . . . ,
n
,
1
e (
k
) = t
k
, 1 k n, t
k
T, les t
k
tant deux deux disjoints, et elle scrit :
e =
n

k=1

k
1
t
k
.
Posons alors :
I(e) =

1kn

k
(t
k
).
Il est vident que I(e) = I(e) pour tout R.
Considrons deux fonctions tages e

et e

et leur somme e, galement


tage :
_

_
e

p
i=1

i
1
ui
,
e

q
j=1

j
1
vj
,
e =

n
k=1

k
1
t
k
,
avec des notations videntes (u
i
T, ...). Considrons les intersections non vides
w
ij
dun u
i
et dun v
j
. On a e(w
ij
) =
i
+
j
. Si u

i
est la partie de u
i
ne
rencontrant aucun des v
j
, si elle nest pas vide, on a e(u

i
) =
i
. Si v

j
est la
partie de v
j
ne rencontrant aucun des u
i
, si elle nest pas vide, on a e(v

j
) =
j
.
On obtient ainsi une nouvelle partition, les u

i
, les v

j
et les w
ij
, exactement les
t
k
, et on a videmment :

k
1
t
k
=

i
1
ui
+

j
1
vj
cest--dire I(e

+e

) = I(e) +I(e

).
4.2 Intgrale dune fonction mesurable
Une fonction mesurable f 0 tant limite dune suite croissante de fonctions
mesurables tages, il est naturel de poser, par dnition :
I(f) = sup{I(e) | e , e f} =

f
34
Si f est mesurable, f
+
et f

le sont, et on pose, par dnition :


I(f) = I(f
+
) I(f

).
Si I(f
+
) < + et I(f

) < +, f est sommable (ou L-intgrable).


Si f 0 on pose I(f) = I(f).
4.3 Proprits de lintgrale de Lebesgue
On vrie sans dicult, partir des dnitions, la linarit, la positivit,
la continuit et la relation de Chasles.
Lintgration par parties et par changement de variable se dmontrent comme
pour lintgrale de Riemann.
4.4 Thormes de Lebesgue
4.4.1 Convergence monotone
Thorme de convergence monotone : si (f
n
) est une suite croissante de
fonctions mesurables valeur dans

R
+
, leur limite simple f : x sup f
n
(x) est
mesurable, et :
lim
n

f
n
=

lim
n
f
n
=

f +.
Dmonstration. Les f
n
tant limites de suites croissantes de fonctions tages,
nous avons une suite doublement indice (e
n,m
)
n,mN
telle que f
n
= lim
m
e
n,m
,
et m > n implique e
n,m
e
n,n
.
Mais (f
n
) est aussi une suite croissante. Les e
1,m
tant dnis, comme f
1
f
2
et e
2,m
f
2
, nous pouvons choisir e
2,m
entre e
1,m
et f
2
. En eet, f
2
e
1,m
est mesurable, donc limite dune suite croissante de fonctions tages ; si e est
lune delles, posons e
2,m
= e
1,m
+e. Ainsi de suite, nous pouvons choisir e
n+1,m
entre e
n,m
et f
m+1
.
Nous obtenons que : n > m e
n,n
e
m,n
, do :
n > m
_
e
m,m
e
n,m
e
n,n
e
m,m
e
m,n
e
n,n
La suite (e
n,n
)
n
(ou (e
m,m
)
m
) de fonctions tages est croissante, majore
par f :
f = lim
n
( lim
m
e
m,n
) = lim
n
e
n,n
.
et f est mesurable.
Comme 0 f
n
f, les

f
n
sont majores par

f, donc aussi leur limite :


lim

f
n

f +.
35
Dans lautre sens, soient e une fonction tage : 0 e f, c ]0, 1[, et
E
n
= {x R| f
n
(x) ce(x)}. Les E
n
tendent en croissant vers R. On a :

f
n

En
f
n
c

En
e.
Faisant tendre n vers linni, c vers 1 et e vers f, on obtient lim

f
n

f.
4.4.2 Lemme de Fatou
Lemme de Fatou : si (f
n
) est une suite de fonctions mesurables valeur dans

R
+
, leur limite infrieure est mesurable et :

liminf f
n
liminf

f
n
+.
Dmonstration. Les fonctions :
F
m
: x inf
pN
f
m+p
sont mesurables, positives, la suite (F
m
) est croissante, et sa limite simple est
gale liminf f
n
. Daprs le thorme de convergence monotone, on a :

liminf f
n
=

limF
m
= lim

F
m
.
Or, pour m n F
m
f
n
,

F
m

f
n
, et donc lim

F
m
liminf

f
n
.
4.4.3 Convergence domine
Thorme de convergence domine : si (f
n
) est une suite de fonctions
mesurables convergeant simplement vers une fonction f et sil existe une fonction
sommable g telle que, pour tout (n, x), |f
n
(x)| g(x), alors f est mesurable et :
lim
n

f
n
=

lim
n
f
n
=

f.
Dmonstration. Les f
n
tant mesurables, f est mesurable, et sommable puisque
|f| g. Comme |f
n
f| |f
n
| +|f|, on a |f
n
f| 2g et 2g |f
n
f| 0.
Comme |f
n
f| 0, on a

2g =

liminf(2g |f
n
f|). Appliquons le
lemme de Fatou :

2g =

liminf(2g |f
n
f|)
liminf

(2g |f
n
f|)

2g + liminf

(|f
n
f|)

2g limsup

|f
n
f|,
36
do limsup

|f
n
f| = 0,

|f
n
f| 0,

(f
n
f) 0, et :
|

f
n

f| = |

(f
n
f)|

|f
n
f| 0
do

f
n

f.
4.5 Insusance de lintgrale de Lebesgue
Il existe des fonctions R-intgrables qui ne sont pas L-intgrables.
La condition sur f
+
et f

.
La condition sur la relation fondamentale de lAnalyse. Si f = F

, on vou-
drait avoir :

b
a
f(t) dt = F(b) F(a) sans la condition "f L-intgrable".
37
5 Intgrale de Henstock-Kurzweil (HK)
Le mathmaticien tchque Jaroslav Kurzweil (n en 1926) a dcouvert le
lien entre les intgrales, diciles, de Denjoy (Arnaud Denjoy, mathmaticien
franais, 1884-1974) et Perron (Oscar Perron, mathmaticien allemand, 1880-
1975)) et celle de Riemann, remarquablement intuitive et simple.
Langlais Ralph Henstock (1923-2007) a dvelopp la thorie.
Nous appellerons jauge sur [a, b] R une application : [a, b] R

+
.
5.1 Subdivision pointe de [a, b] subordonne
La subdivision (a = a
0
< a
1
< < a
n1
< a
n
= b) est pointe par les
(c
i
)
1in
si, pour tout i, c
i
[a
i1
, a
i
]. On la note ({a
i
}, {c
i
}).
La subdivision pointe D = ({a
i
}, {c
i
}) est subordonne la jauge
, ou -ne, si pour tout i :
c
i
(c
i
) < a
i1
c
i
a
i
< c
i
+(c
i
).
Comme [a
i1
, a
i
] [c
i
(c
i
), c
i
+(c
i
)], on a a
i
a
i1
< 2(c
i
), condition
ncessaire.
La condition a
i
a
i1
< (c
i
) est susante, car c
i
a
i1
et a
i
c
i
tant
infrieurs a
i
a
i1
, on a a
i1
> c
i
(c
i
) et a
i
< c
i
+(c
i
).
Si de plus f : [a, b]

R, on dnit la somme de Riemann de f associe
D :
S
D
(f) =
n

i=1
(a
i
a
i1
)f(c
i
).
5.2 Subdivision pointe de [a, +] subordonne
On se place dans le compact

R, avec a
n
= +, on pose f(+) = 0, puis
c
n
= +, de sorte que f(c
n
) = 0 et que S
D
(f) =
n1

i=1
(a
i
a
i1
)f(c
i
).
Une subdivision pointe -ne de [a, +] sera en fait une subdivision pointe
-ne de [a
0
, a
n1
]
Il faut sassurer que lim
n
a
n1
= +. Pour cela, imposons a
n1
> 1/, le
lien entre et tant x un peu plus loin. Notons que lon peut supposer que
(c
n
) = +.
Remarque 2 : si lon a deux jauges,
1

2
, toute subdivision pointe
1
-ne
est videmment
2
-ne. On dit que
1
est plus ne que
2
.
38
5.3 Lemme de Cousin
Il existe toujours une subdivision pointe subordonne une jauge.
Dmonstration. Soient un intervalle [a, b] et une jauge . Supposons quil nexiste
pas de subdivision -ne de [a, b]. Alors lun (au moins) des deux sous-intervalles
[a, m] ou [m, b], m tant le milieu de [a, b] ou de [a
0
, a
n1
] si b = +, nadmet
pas de subdivision -ne. Appelons-le I
1
. Nous construisons par itration une
suite dintervalles compacts emboits (chacun tant la moiti du prcdent)
I
k
= [b
k
, d
k
], de milieu m
k
, nadmettant pas de subdivision -ne.
Les suites (b
k
) et (d
k
) sont adjacentes, de limite commune c.
Comme d
k
b
k
0 et (c) > 0, il existe j N tel que d
j
b
j
< 2(c), de
sorte que c (c) < b
j
< c < d
j
< c + (c), et ({b
j
, d
j
}, {c}) est -ne, ce qui
est absurde. Le lemme de Cousin
1
est dmontr.
5.4 Dnition de lintgrale de Henstock-Kurzweil, ou HK
Soit f : [a, b]

R.
La fonction f est HK-intgrable si, > 0, il existe une jauge et un
rel S tels que, pour toute subdivision pointe D de [a, b], -ne, on ait :
|S
D
(f) S| < .
Alors, S est lintgrale au sens de HK de f sur [a, b] :
S =

b
a
f.
La jauge est -adapte f.
On pose :

a
b
=

b
a
.
Si lon a plusieurs fonctions f
1
, . . . , f
n
, chacune ayant une jauge -adapte

i
, = inf
i
est une jauge -adapte chaque f
i
.
1. Pierre Cousin (1867-1933), mathmaticien franais.
39
Exemple 22 : la fonction de Dirichlet
2
sur [0, 1]. Prenons pour f la fonction
caractristique des rationnels sur [0, 1], {r
1
, r
2
, ..., r
n
, ...}, choisissons un > 0,
quelconque, et dnissons la jauge sur les rationnels : (r
n
) = /2
n+1
, et sur
les irrationnels (x) = 1. La somme des (r
n
) vaut /2.
Il existe, daprs le lemme de Cousin, des subdivisions pointes -nes de
[0, 1]. Soit ({a
0
, a
i
}, {c
i
}), 1 i n, une telle subdivision. Si c
i
/ Q, f(c
i
) = 0
et (a
i
a
i1
)f(c
i
) = 0, et il reste la somme sur les c
i
Q. Dans ce cas,
a
i
a
i1
< 2(r
i
), la somme

(a
i+1
a
i
) est infrieure 2

(r
n
) donc ,
on a pour tout > 0 :
0
n

i=1
(a
i+1
a
i
)f(c
i
) < (0 f(c
i
) 1))
et la fonction de Dirichlet est HK-intgrable sur [0, 1] :

1
0
1
Q
= 0.
5.5 Proprits de lintgrale HK
Notons HK(a, b) lensemble des fonctions HK-intgrables sur un intervalle
[a, b].
Soient f et g dans HK(a, b), et des rels quelconques. Il est vident que
f HK(a, b) : il sut de remplacer f(c
i
) par f(c
i
), et de remarquer que
est encore un . De mme pour g.
Montrons que f + g HK(a, b). Pour un > 0 donn, on a une jauge
1
-adapte f et une jauge
2
-adapte g. La jauge = inf(
1
,
2
) est -
adapte aux deux fonctions (Remarque 2), et on a pour toute subdivision -ne
({a
i
}, {c
i
}) :
_
|

(a
i+1
a
i
)f(c
i
) S(f)| < ,
|

(a
i+1
a
i
)g(c
i
) S(g)| < ,
do lon dduit :
|

(a
i+1
a
i
)(f(c
i
) +g(c
i
)) S(f) S(g)| < 2,
cest--dire S(f +g) = S(f) +S(g).
On a dvidence S(0) = 0, f 0
+
S(f) 0
+
, g f S(g) S(f).
Lintgrale HK est une forme linaire continue, positive, sur HK(a, b).
2. Johann Peter Lejeune Dirichlet (Lejeune est un surnom), mathmaticien allemand, 1805-
1859.
40
Lemme des deux subdivisions : f est HK-intgrable si et seulement si,
> 0, existe une jauge telle que, quelles que soient D
1
et D
2
, subdivisions
pointes -nes, on ait :
|S
D1
(f) S
D2
(f)| < .
Ceci quivaut la condition : si D
1
est -ne, on a pour toute autre subdivision
pointe -ne D
2
:
> 0, |S
D1
(f) S
D2
(f)| < 2.
Dmonstration. Si f est HK-intgrable, la condition est remplie, car :
|S
D1
(f) S| /2, |S
D2
(f) S| < /2 |S
D1
(f) S
D2
(f)| < .
Rciproquement, supposons f non HK-intgrable, D
1
-ne, et S
D1
(f) = A.
Il existe une subdivision pointe -ne D
2
telle que S
D2
(f) = B, avec |BA| =
h = 0, sinon f serait HK-intgrable. On a alors :
|S
D1
(f) S
D2
(f)| > ||S
D2
(f)| |S
D1
(f)| > h >
ds que < h/2.
Si D
1
, -ne, est donne et si on a |S
D1
(f) S
D2
(f)| < , quelle que soit
D
2
-ne, on a pour toute autre subdivision pointe -ne D :
|S
D
(f) S
D2
(f)| |S
D
(f) S
D1
(f)| +|S
D1
(f) S
D2
(f)| 2.
La rciproque est immdiate.
Lintgrale HK tant une intgrale de Riemann particulire (le choix des c
i
ntant pas libre), elle hrite de toutes les proprits de cette dernire, comme
lintgration par parties ou par changement de variable, lexception de la re-
lation de Chasles qui impose de rajouter un point aux subdivisions considres
(lemme suivant).
Lemme du point ajout. Soient a < b < c, rels et une jauge . On peut
construire une subdivision pointe D
1
de (a, b) et une subdivision pointe D
2
de (b, c) qui se recollent en une subdivision pointe D de (a, c) contenant b,
subordonne une jauge

plus ne que , donc -ne (remarque 2).


Dmonstration. Posons

(x) = inf((x), |x b|) si x = b,

(b) = (b), et soit


D = ({a
i
}, {c
i
}) une subdivision pointe

-ne, donc -ne. Si b est gal lun


des a
i
, on a gagn. Sinon, il existe un indice j tel que b ]a
j1
, a
j
[.
Supposons b < c
j
. On a alors

(c
j
) b c
j
et :
a
j
< c
j
+

(c
j
) < c
j
+b c
j
= b
ce qui est absurde. Si b < c
j
, on a

(c
j
) c
j
b et :
a
j1
> c
j

(c
j
) > c
j
c
j
+b = b
41
ce qui est encore absurde. Il sensuit que b = c
j
.
Soient D
1
= ({a
1
, . . . , a
j1
, b}, {c
1
. . . , c
j
} (b = c
j
) une subdivision pointe
de [a, b] et D
2
= ({b, a
j
, . . . , a
n
}, {c
j
. . . , c
n
} une subdivision pointe de [b, c],

-nes.
La subdivision

-ne D de [a, c] possde les proprits annonces.


Relation de Chasles. Soient a < b < c, rels, f HK(a, b) HK(b, c). On a
f HK(a, c) et :

b
a
f +

c
b
f =

c
a
f.
Dmonstration. Soit > 0 quelconque. Si
1
et
2
sont des jauges -adaptes,
respectivement, f
[a,b]
et f
[b,c]
, si D

1
et D

2
sont des subdivisions, respective-
ment,
1
-ne de [a, b] et
2
-ne de [b, c]. Il existe par hypothse des rels S
1
et
S
2
tels que :
|S
D

1
(f) S
1
| < et |S
D

2
(f) S
2
| < .
Dnissons une jauge sur [a, c], plus ne que
1
sur [a, b] et que
2
sur [b, c] :
(x) =
_

_
inf(
1
(x), b x) si x [a, b[,
inf(
1
(b),
2
(b)) si x = b,
inf(
2
(x), x b) si x ]b, c].
Soit D = ({a
0
= a, . . . , a
n
= c}, {c
1
, . . . , c
n
}) une subdivision pointe -
ne de [a, c]. Nous savons (lemme du point ajout) que b est lun des a
i
ou
des c
i
, et que D est la concatnation de D
1
et de D
2
, subdivisions -nes de,
respectivement, [a, b] et [b, c]. On a donc S
D1
(f) + S
D2
(f) = S
D
(f), ce qui
permet de conclure.
Remarquons que la condition a < b < c disparat, car :

b
a
f =

c
a
f

c
b
f =

c
a
f +

b
c
f.
Lemme de Henstock Soient f HK(a, b), dintgrale S sur [a, b], un > 0
quelconque, une jauge -adapte f, D = ({(a
i
| i I}, {c
i
}), I = {0, 1, . . . , n}
une subdivision pointe -ne et un point quelconque c ]a, b[. On a alors :
(a) f est HK-intgrable sur tout intervalle [c, d] inclus dans [a, b],
(b) pour toute partie J de I :

iJ
(f(c
i
)(a
i
a
i1
)

ai
ai1
f

.
Dmonstration. (a) Le lemme du point ajout nous permet de remplacer par
une jauge plus ne

et D par une subdivision

-ne D

contenant c. Cette
dernire se compose dune subdivision

-ne D
1
de [a, c] et dune subdivision
42

-ne D
2
de [c, b]. Soit D

1
une autre subdivision

-ne D
1
de [a, c], quelconque,
qui donne, attache D
2
, une subdivision

-ne de [a, b]. De :


_
|

S
D1
(f) +S
D2
(f) S| ,
|

S
D

1
(f) +S
D2
(f) S| ,
on dduit |

S
D1
(f)

S
D

1
(f)| 2, do la conclusion grce au lemme des
deux subdivisions, et on a grce la relation de Chasles :

c
a
f +

b
c
f =

b
a
f.
de

c
a
f +

d
c
f =

d
a
f on dduit

d
c
f =

d
a
f

c
a
f.
Pour (b), on applique (a) chaque [a
i1
, a
i
].
5.6 Relation fondamentale de lAnalyse
Toute drive est HK-intgrable et, si f est drivable :

b
a
f

= f(b) f(a)
Dmonstration. Soient > 0. Daprs la dnition de la drive, il existe pour
tout x [a, b], un rel (x) > 0 tel que :
y [a, b], |y x| < (x) |
f(y) f(x)
y x
f

(x)| <
ou encore :
y ]x (x), x +(x)[ |f(y) f(x) (y x)f

(x)| < (y x).


Prenons ce comme jauge sur [a, b].
Soit D = ({a
0
= a, a
1
, . . . a
n
= b}, {c
1
, . . . , c
n
}) une quelconque subdivision
pointe -ne. On a dans ces conditions :
_
|f(a
i
) f(c
i
) (a
i
c
i
)f

(c
i
)| < (a
i
c
i
),
|f(a
i1
) f(c
i
) (a
i1
c
i
)f

(c
i
)| < (c
i
a
i1
),
do lon dduit par dirence :
|f(a
i
f(a
i1
) (a
i
a
i1
)f

(c
i
)| < (a
i
a
i1
,
et en sommant sur i :
|f(b) f(a) S
D
(f

)| < (b a),
ce qui permet de conclure.
43
Avec lintgrale HK on na donc plus besoin dhypothse sur f

, ce qui est
sa grande supriorit.
Exemple 23. Les intgrales I =

1
0
dx
x
a
et J =

+
1
dx
x
a
sont impropres. Mais,
comme
1
x
a
= (
x
1a
1 a
)

, on a au sens de HK :
I =
_
x
1a
1 a
_
1
0
=
1
1 a
si a < 1,
et :
J =
_
x
1a
1 a
_
+
1
=
1
1 a
si a > 1,
Exemple 24. La fonction f(x) = x
2
sin x
2
, f(0) = 0 est drivable, sa drive
tant f

(x) = (2x 2/x) sin x


2
pour x = 0. Cette drive nest pas intgrable
sur [0, 1] au sens de Riemann, ni au sens de Lebesgue. Elle lest au sens de HK :

1
0
f

= f(1) f(0) = sin 1.


La relation fondamentale de lAnalyse nest pas compatible avec le p.p.
comme le montre lescalier du Diable : f

= 0 p.p. or f(0) = 0 et f(1) = 1.


Cela provient du fait que lensemble de Cantor, ngligeable, nest pas dnom-
brable.
5.7 Primitive
Si f HK(a, b), x [a, b], f HK(a, x) (lemme de Henstock). La fonction :
F
a
(x) =

x
a
f
est la primitive de f nulle en x = a. Les autres primitives en dirent dune
constante ; si c ]a, b[ :
F
c
(x) = F
a
(x)

c
a
f
5.8 Thormes de convergence
5.8.1 Convergence monotone
Thorme de convergence monotone : si (f
n
) est une suite croissante de
fonctions de HK(a, b), leur limite simple f : x sup f
n
(x) est HK-intgrable,
et :
lim
n

f
n
=

lim
n
f
n
=

f.
44
Dmonstration. Fixons un > 0 et un n N. Soient
n
une jauge -adapte
f
n
et D
n
= ({a
i
}, {c
i
}), 0 i m, une subdivision pointe subordonne
n
.
Pour tout x [a, b], il existe un indice n(x) tel que :
n n(x) : 0 f(x) f
n
(x) ,
et soit n

le plus grand des n(c


i
). On a donc pour tout n n

:
i {0, 1, . . . , m} : f(c
i
) f
n
(c
i
) ,
et :
m

i=0
(f(c
i
) f
n
(c
i
))(x
i
x
i1
) (b a),
do :

|
m

i=0
f(c
i
)(x
i
x
i1
)| |
m

i=0
f
n
(c
i
))(x
i
x
i1
)|

(b a),
la premire somme tant arbitrairement proche de

f et la seconde de

f
n
,
ce qui permet de conclure.
5.8.2 Lemme de Fatou :
si (f
n
) est une suite de fonctions mesurables valeur dans

R
+
, leur limite
infrieure est mesurable et :

liminf f
n
liminf

f
n
+.
Dmonstration. Les fonctions :
F
m
: x inf
pN
f
m+p
sont mesurables, positives, la suite (F
m
) est croissante, et sa limite simple est
gale liminf f
n
. Daprs le thorme de convergence monotone, on a :

liminf f
n
=

limF
m
= lim

F
m
.
Or, pour m n F
m
f
n
,

F
m

f
n
, et donc lim

F
m
liminf

f
n
.
5.8.3 Convergence domine
Thorme de convergence domine Si f
n
HK(a, b), si (f
n
) converge
simplement vers f et sil existe g HK(a, b) telle que, n N, |f
n
| g, alors
f HK(a, b) et :

b
a
f = lim
n

b
a
f
n
.
Dmonstration. On reprend la dmonstration vue pour lintgrale de Lebesgue,
en remplaant "mesurable" par "HK-intgrable".
45
5.9 Relation entre les trois thories R, L, HK
Toute fonction R-intgrable est videmment HK-intgrable car il ny a pas
de condition sur les c
i
.
Passons aux fonctions L-intgrables. Rappelons que T est la tribu de Le-
besgue, complte de celle de Borel.
Si t
k
T, 1
t
k
est L-intgrable si t
k
est born, donc inclus dans un intervalle
compact [a, b]. Sil est une union nie dintervalles deux deux disjoints, on
voit immdiatement que 1
t
k
est HK-intgrable, avec galit des intgrales L et
HK. Si cette union est dnombrable, elle est limite croissante dunions nies
dont la fonction caractristique est majore par 1
[a,b]
, et 1
t
k
est HK-intgrable
(thorme de convergence domine), avec encore galit des intgrales.
Il sensuit que toute fonction tage positive L-intgrable est HK-intgrable,
les intgrales tant gales.
Soit f
n
une suite croissante de fonctions tages positives intgrables (L et
HK) de limite f, f est L-intgrable si lim

f
n
< +, et la condition est la
mme pour HK (thorme de convergence monotone).
Soit N un ensemble ngligeable. Il est inclus dans un ensemble N

de mesure
nulle, dont la fonction caractristique est HK-intgrable, daprs ce qui prcde,
dintgrale nulle. Pour tout > 0, il existe une jauge -adapte et une sub-
division pointe D, -ne, telle que 0 S
d
(1
N
) < . Comme 1
N
1
n
, on a
0 S
D
(1
N
) S
D
(1
N
), soit 0 S
D
(1
N
) < , et donc 1
N
est HK-intgrable,
dintgrale nulle.
Il sensuit que toute fonction L-intgrable est HK-intgrable.
Lintgration HK est donc la thorie la plus puissante.
46
6 Exercices
(1) Montrer quune fonction monotone sur un intervalle compact [a, b] est R-
intgrable.
(2) Exprimer la direntielle de la fonction F(a, b) =

R+
(exp(at) exp(bt))
t
dt,
a et b dans R
+
. En dduire F(a, b).
(3) Calculer F(x) =

R
f(x, t) dt, avec f(x, t) =
exp(at) exp(bt)
t
cos(xt),
0 < a < b.
(4) Primitives de
1

x + 1 +

x 1
, x > 1.
(5) Primitives de
1

x +
3

x
, x > 0.
(6) Primitives de x
n
exp x, n Z.
(7) Montrer que lintgration de
n

ax +b
cx +d
se ramne celle dune fonction ra-
tionnelle.
(8) Calculer I
n,p

2
0
(x 2)
n
x
p
dx pour n et p entiers naturels.
(9) Soient :
I =

/2
0
sin xdx

1 + sin x cos x
,

/2
0
cos xdx

1 + sin x cos x
.
Montrer que ces intgrales sont gales et calculer leur valeur.
(10) Pour quelles valeurs de a R lintgrale :
I
a
=

+
0
sin
2
x
x
a
dx
converge-t-elle ?
(11) Lintgrale :
I =

1
0
ln
2
x

x(1 x)
dx
converge-t-elle ?
(12) Convergence de lintgrale :
I
a
=

+
0
x ln x
(1 +x
2
)
a
dx
47
et calcul de i
2
et de I
3
.
(13) Montrer que les fonctions de la variable relle :
f(x) =

1
0
exp(x
2
(1 +t
2
))
1 +t
2
dt et g(x) =

x
0
exp(t
2
) dt
sont de classe C
1
et que f+g
2
= C
te
. En dduire la valeur de I =

+
0
exp(x
2
) dx.
(14) Existence et calcul de lintgrale :
I

1
0
(t 1) ln t
t
3
+ (1 + 2ch )(t
2
+t) + 1
dt, R.
(15) Mmes questions pour :
I =

/2
0
ln(sinx) dx.
(16) Mmes questions pour :
I
n
=


0
ln(2 sin
x
2
) cos nxdx, n N.
(17) Convergence de lintgrale I =

R+
sin t
2
dt.
48
7 Correction des exercices
(1) Soit f monotone sur [a, b]. Supposons f croissante. Soit a
0
= a < a
1
< <
a
n
= b est une subdivision rgulire (a
k+1
a
k
= (b a)/n). Le inf et le sup
sur chaque [a
k
, a
k+1
sont atteints aux bornes, de sorte que :
_

_
S
+
(f, n) =
n

k=1
f(a
k
)
b a
n
,
S

(f, n) =
n1

k=0
f(a
k
)
b a
n
.
Quand n , la dirence, gale (f(b) f(a))/n, tend vers 0. Comme :
(b a)f(a) S

(f, n) S
+
(f, n) (b a)f(b),
les deux suites ont une valeur dadhrence commune S.
De S
+
(f, n) S

(f, n) 0 combin S

(f, n) S S
+
(f, n) on dduit
quelles convergent vers S.
(2) F(a, b) =

R+
exp(at) exp(bt)
t
dt, a, b R
+
.
Comme F(a, a) = 0, nous supposerons que a = b, et que, par exemple,
0 < a < b. Un dveloppement limit de f(t) =
(exp(at) exp(bt))
t
en 0
+
montre que f se prolonge par continuit, en posant f(0
+
) = ba. Pour t grand,
|f| < exp(at), et lintgrale converge absolument. On a :
df =
f
a
da +
f
b
db = exp(at) da + exp(bt) db,
do, par drivation sous le signe somme :
dF = da

R+
exp(at) dt +db

R+
exp(at) dt =
da
a
+
db
b
et F(a, b) = ln
b
a
+C
te
. De F(a, a) = 0, on dduit que la constante est nulle.
(3) F(x) =

R
exp(at) exp(bt)
t
cos(xt), 0 < a < b.
Notons quun dveloppement limit montre que f(x, t) tend vers ba quand
t 0
+
et que, pour t grand, |f(x, t)| < exp(at). Lintgrale est donc absolu-
ment convergente. Pour x = 0 elle vaut ln(b/a) (exercice prcdent)..
La fonction t
f(x, t)
x
= (exp(at)exp(bt)) sin(xt) est C

sur R pour
tout x. Son intgrale est absolument convergente car elle est majore en valeur
49
absolue par la fonction intgrable g(t) = exp(at) exp(bt), et :
F

(x) =

R+
(exp(at) exp(bt)) sin(xt) dt,
= Im

R+
(exp(bt) exp(at)) exp(ixt) dt,
= Im

R+
(exp((ix b)t) exp((ix a)t)) dt,
= Im
_
exp((ix b)t)
ix b

exp((ix a)t)
ix a
_
+
0
,
= Im(
1
ix b
+
1
ix a
),
=
x
x
2
+b
2

x
x
2
+a
2
.
On a donc F(x) =
1
2
ln
x
2
+b
2
x
2
+a
2
+C
te
. On value la constante en x = 0 : elle
est nulle.
(4)

dx

x + 1 +

x 1
=


x + 1

x 1
2
dx
=
1
3
_
(x + 1)
3/2
(x 1)
3/2
) +C.
(5) Posons x = t
6
, dx = 6t
5
dt, et faisons une division euclidienne :

dx

x +
3

x
= 6

t
5
dt
t
3
+t
2
= 6

t
3
dt
t + 1
= 6

(t + 1)(t
2
t + 1) 1
t + 1
dt
= 2t
3
3t
2
+ 6t 6 ln(t + 1) +C.
(6) Soit I
n
=

x
n
exp xdx.
Intgrons par parties, f(x) = x
n
, f

(x) = nx
n1
, g

(x) = exp x = g(x), pour


obtenir la formule de rcurrence :
I
n
= x
n
exp x n

x
n1
exp xdx = x
n
exp x nI
n1
qui permet de les calculer partir de I
0
= exp x :
I
n
= exp x
_
x
n
nx
n1
+n(n 1)x
n2
. . . + (1)
n
n!
_
.
50
(7) I =
n

ax +b
cx +d
.
Le changement de variable u
n
=
ax +b
cx +d
donne :
x =
du
n
b
cu
n
+a
,
dx =
cn(ad bc)u
n1
(cu
n
+a)
2
,
do :
I =

cn(ad bc)u
n
(cu
n
+a)
2
du.
(8) I
n,p
=

2
0
(x 2)
n
x
p
dx.
I
0,p
=

2
0
x
p
dx =
_
x
p+1
p + 1
_
2
0
=
2
p+1
p + 1
.
Une intgration par parties donne :
I
n,p
=
_
(x 2)
n1
x
p+1
p + 1
_
2
0

2
0
n(x 2)
n1
x
p+1
p + 1
dx
=
n
p + 1
I
n1,p+1
,
et n intgrations par parties donnent :
I
n,p
= (1)
n
n! p!
(p +n)!
I
0,p+n
.
Comme :
I
0,p+n
=
2
n+p+1
n +p + 1
,
on a nalement :
I
n,p
= (1)
n
n! p!
(n +p + 1)!
2
n+p+1
.
(9) I =

/2
0
sin xdx

1 + sin x cos x
, J =

/2
0
cos xdx

1 + sin x cos x
.
En posant cos x = u dans I et sin x = u dans J on obtient :
I =

1
0
du

1 +u

1 u
2
= J.
Calculons :
I +J =

/2
0
sin x + cos x

1 + sin x cos x
dx.
51
Reportons :
_

_
sin x + cos x = sin x + sin(

2
x) =

2 cos(x

4
),
sin x cos x =
sin 2x
2
=
1 2 sin
2
(x

4
)
2
dans I +J :
I +J =

/2
0
2 cos(x

4
)

3 2 sin
2
(x

4
)
dx.
Posons t = x

4
:
I +J =

/4
/4
2 cos t dt

3 2 sin
2
t
puis sin t = u :
I +J = 2


2/2

2/2
du

3 2u
2
do :
I = J =

2 arcsin

3
3
,
la drive de arcsin ax tant
a

1 a
2
x
2
.
(10) I
a
=

+
0
sin
2
x
x
a
dx.
La fonction
sin
2
x
x
a
est continue sur R

+
, donc y est localement intgrable.
Au voisinage de 0
+
, elle est quivalente x
2a
, do la condition a < 3.
Lintgrale converge ou diverge comme la la srie de terme gnral :
u
n
=

(n+1)
n
sin
2
x
x
a
dx, n 1.
Comme u
n
est de lordre de n
a
, la srie converge si et seulement si a > 1.
Lintgrale converge donc pour 1 < a < 3.
(11)

1
0
ln
2
x

x(1 x)
dx.
La fonction
ln
2
x

x(1 x)
est continue sur ]0, 1[ et y est donc localement int-
grable.
Au voisinage de 0
+
, comme ln x est un o(x
a
), a R, la fonction est un
o(x
2a1/2
), donc intgrable : il sut de prendre a > 1/4.
52
Au voisinage de 1

, posons x = 1h, h > 0 petit. Comme ln x est quivalent


h, la fonction est quivalente h, donc intgrable.
Lintgrale est convergente (elle vaut 16, 828...).
(12) I
a
=

R+
xln x
(1 +x
2
)
a
dx.
La fonction f(x) =
xln x
(1 +x
2
)
a
est continue sur R
+
(f(0) = 0).
Quand x +, f(x) x
12a
ln x, do la condition a > 1, ln x tant un
o(x
b
), b > 0.
Calculons I
2
et I
3
.
I
2
=

+
0
xln x
(1 +x
2
)
2
dx =

1
0
xln x
(1 +x
2
)
2
dx +

+
1
xln x
(1 +x
2
)
2
dx.
posons t = 1/x, dx = dt/t
2
:

1
0
xln x
(1 +x
2
)
2
dx =

+
1
t ln t
(1 +t
2
)
2
dt
do I
2
= 0.
Pour I
3
, on ne peut intgrer par parties sur R
+
, mais on peut sur [h, +[,
h > 0, avec u(x) = ln x, v

(x) =
x
(1 +x
2
)
3
, u

(x) =
1
x
, v(x) =
1
4(1 +x
2
)
2
:

+
h
xln x
(1 +x
2
)
3
dx =
_
ln x
4(1 +x
2
)
2
_
+
h
+

+
h
dx
4x(1 +x
2
)
2
.
Comme :
1
x(1 +x
2
)
2
=
1
x

x
1 +x
2

x
(1 +x
2
)
2
on a :

+
h
dx
4x(1 +x
2
)
2
=
_
1
4
ln x
1
8
ln(1 +x
2
) +
1
8(1 +x
2
)
_
+
h
=
1
8
ln
h
2
1 +h
2

1
8(1 +h
2
)
,
il vient :
I
3
=
ln h
4(1 +h
2
)
2

1
8
ln
h
2
1 +h
2

1
8(1 +h
2
)
=
h
2
ln h
4(1 +h
2
)
2

1
8(1 +h
2
)
do, en faisant tendre h vers 0, I
3
=
1
8
.
53
(13) Les drives de :
f(x) =

1
0
exp(x
2
(1 +t
2
))
1 +t
2
dt et de g(x) =

x
0
exp(t
2
) dt
sont :
f

(x) = 2x

1
0
exp(x
2
(1 +t
2
)) dt et g

(x) = exp(x
2
).
On a donc :
2g(x)g

(x) = 2

x
0
exp(t
2
x
2
) dt,
et, en posant t = xu :
2g(x)g

(x) = 2x

1
0
exp(x
2
(t
2
+ 1)) dt,
cest--dire f

= 2gg

, do f +g
2
= c
te
.
Comme g(0) = 0 et f(0) = arctan 1, on a f(x) +g
2
(x) = /4.
Quand x +, f(x) 0. On en dduit que

+
0
exp(t
2
) dt = /4.
(14) I

1
0
(t 1) ln t
t
3
+ (1 + 2ch )(t
2
+t) + 1
dt, R.
Factorisons le dnominateur D, t = 1 tant une racine vidente :
D = (t + 1)(t
2
+ 2t ch + 1) = (t + 1)(t +e

)(t +e

).
Il ne sannule pas sur [0, 1] et la fonction intgrer est continue sur ]0, 1]. Au
voisinage de t = 0, elle est quivalente ln t qui est intgrable :

ln t dt = t(1 ln t).
Elle est donc convergente.
Si = 0, D = (t + 1)
3
, et :
(t 1) ln t
(t + 1)
3
= ln t
_
1
(t + 1)
2

2
(t + 1)
3
_
.
Intgrons par parties, avec :
_

_
u = ln t v

=
1
(t + 1)
2

2
(t + 1)
3
,
u

=
1
t
v =
1
t + 1
+
1
(t + 1)
2
,
54
soit :
I
0
=
_
ln t (
1
t + 1
+
1
(t + 1)
2
)
_
1
0
+

1
0
_

1
t(t + 1)
+
1
t(t + 1)
2
_
dt
=

1
0
1
(t + 1)
2
=
1
2
.
Si = 0, il faut, pour intgrer par parties, trouver a, b et c tels que :
f(t) =
t 1
(t + 1)(t +e

)(t +e

)
=
a
t + 1
+
b
t +e

+
c
t +e

.
Pour a, multiplions par t + 1 et faisons t = 1.
a =
t 1
(t +e

)(t +e

)
|t=1
=
2
(e

1)(e

1)
=
1
ch 1
.
Mme mthode pour b et c. On obtient :
b =
t 1
(t + 1)(t +e

)
|t=e

=
e

1
(e

+ 1)(e

+e

)
=
e
/2
e
/2
(e
/2
+e
/2
)(e

+e

)
=
ch/2
(sh /2)(2sh )
=
ch /2
(sh /2)(4sh /2 ch /2)
=
1
2(ch 1)
.
,
puis c = b = a/2. Soit F une primitive de la fraction rationnelle f :
F(t) = a ln(t + 1) +b ln(t +e

) +c ln(t +e

)
et :
G(x) =

1
0
ln t
t +x
dt,
de sorte que :
I

=
1
2(ch 1)
_
2G(1) G(e

) G(e

)
_
.
55
Posons t = xu, dt = xdu :
G(x) =

1/x
0
ln(ux)
x +ux
xdu =

1/x
0
ln(ux)
1 +u
du
intgrons par parties :
G(x) =
_
ln(xu) ln(1 +u)
_
1/x
0

1/x
0
ln(1 +u)
u
du
le crochet tant nul :
G(x) =

1/x
0
ln(1 +u)
u
du.
Do :
G(x) G(1) =

1/x
1
ln(1 +u)
u
du
Posons u = 1/v, du = dv/v
2
:
G(x) G(1) =

x
1
ln(1 +
1
v
)
dv
v
,
ou encore :
G(x) G(1) =

x
1
ln(v + 1)
dv
v

x
1
ln v
dv
v
,
or :

x
1
ln(v + 1)
dv
v
= G(1) G(1/x)
et :

x
1
ln v
dv
v
=
1
2
ln
2
x,
cest--dire :
G(x) G(1) = G(1) G(1/x)
1
2
ln
2
x,
ou :
2G(1) G(x) G(1/x) =
1
2
ln
2
x,
et nalement, si x = e

:
I

=

2
4(ch 1)
.
(15) I =

/2
0
ln(sin x) dx.
La fonction intgrer ln(sin x) est continue sur ]0, /2].
Au voisinage de x = 0, elle est quivalente ln x, donc intgrable.
Le changement de variable t = /2 x donne :
I =

/2
0
ln(cos x) dx
56
do :
2I =

/2
0
(ln(cos x) + ln(sin x)) dx =

/2
0
(ln(sin xcos x) dx.
Comme sin 2x = 2 sin x cos x, ln(sin xcos x) = ln 2 + ln(sin 2x), on a :
2I =
ln 2
2
+

/2
0
ln(sin 2x) dx
=
ln 2
2
+
1
2


0
ln(sin t) dt.
Or :


0
ln(sin t) dt =

/2
0
ln(sin t) dt +


/2
ln(sin t) dt = 2I
puisque sin( x) = sin x. Finalement I =
ln 2
2
.
(16) I
n
=


0
ln(2 sin
x
2
) cos nxdx.
La fonction ln(2 sin
x
2
) cos nx est continue sur ]0, ] et quivalente ln x en
x = 0. Elle est donc intgrable sur [0, ].
Pour n = 0, on retrouve le I de la question prcdente.
Pour n 1, intgrons par parties, avec :
_
u = ln(sin x/2), v

= cos nx,
u

= (cot x/2)/2, v = (sin nx)/n,


do :
I
n
=
_
1
n
ln(2 sin x/2) sin nx
_

1
2n


0
cot x/2 sin nxdx
=
1
2n


0
cot x/2 sin nxdx.
=
1
2n
J
n
si J
n
= c0

cot x/2 sin nxdx. Calculons :


J
n
= (J
n
J
n1
) + (J
n1
J
n2
) + + (J
2
J
1
) +J
1
.
On a dune part :
J
1
=


0
cot x/2 sin xdx = ,
57
et dautre part :
J
k
J
k1
=


0
cot x/2 (sin kx sin(k 1)x) dx
=


0
cot x/2 (2 sin x/2 cos(2k + 1)x/2) dx
=


0
2 cos x/2 cos(2k + 1)x/2 dx
=


0
_
cos kx + cos(k + 1)x
_
dx
= 0.
On a donc J
n
= J
1
= , et I
n
=

2n
.
(17) I =

R+
sin t
2
dt =

R+
sin u
2

u
du (u = t
2
).
Posons :
I
n
=

n
0
sin u
2

u
du
et :
J
n
=

+
n
sin u
2

u
du = .
En intgrant par parties :
J
n
=
_
cos u
2

u
_
+
n
+

+
n
cos u
4u
3/2
du
|J
n
|
1
2

n
+

+
n
1
4u
3/2
du
on voit que lim
n
J
n
= 0, les deux termes de droite tendant vers 0.
Quand n , J
n
0, et I est la limite, si elle existe, de I
n
.
Or I
n
=
n

k=1
u
k
, si u
k
=

k
(k1)
sin u
2

u
du.
Comme
1

k
< |u
k
| <
1
(k 1)
, la suite (|u
k
|) tend en dcroissant vers
0. Le signe de u
k
est (1)
k
. La srie de terme gnral u
k
est donc alterne
convergente.
Ses sommes partielles sont les I
n
, ce qui prouve la convergence de lintgrale.
58
Index
Adapte (), 39
Application, 3
Argument diagonal de Cantor, 31
Borelliens, 29
Constante dintgration, 11
Continuit, 5
Continuit par morceaux, 5
Continuit uniforme, 5
Convergence absolue, 10
Convergence simple, 6
Convergence uniforme, 7
Distance de deux fonctions, 6
Elments simples, 16
Ensemble ngligeable, 29
Espace mesurable, 28
Espace mesur, 28
Fonction caractristique, 4
Fonction en escalier, 4
Fonction mesurable, 32
Fonction rationnelle, 16
Fonction relle, 3
Fonction sommable, 35
Fonction tage, 4
Fonctions quivalentes, 30
Fraction rationnelle, 16
Intgrale dnie, 9
Intgrale impropre ou gnralise, 23
Jauge, 38
Lemme de Riemann, 10
Limite infrieure, 7
Limite suprieure, 7
Localement intgrable, 9
Mesurable, 28
Mesure, 28
Mesure complte, 30
Ple, 16
Pavs, 29
Presque partout (p.p.), 30
Primitive, 11, 44
Relation de Chasles, 10, 42
Semi-continuit, 6
Semi-convergence, 10
Sigma-additivit, 28
Somme de Darboux, 8
Somme de Riemann, 8
Subdivision pointe, 38
Subdivision subord. une jauge, 38
Support dune fonction, 4
Tribu, 28
Tribu complte, 30
Voisinage, 3
59