Henstock Light

Theorie elementaire de lintegration :
lintegrale de Henstock-Kurzweil
pour les fonctions dune variable
Jean-Pierre Demailly
Universite Joseph Fourier Grenoble I
http://www-fourier.ujf-grenoble.fr/demailly/books.html
version du 21 avril 2007
Introduction
Lobjectif de ce texte est de proposer une

trame
pour lenseignement de lintegration

depuis le lycee jusquaux premières annees de luniversite. Pour cela, nous developpons
les bases de la theorie de lintegration telles quelles ont ete posees et grandement
eclaircies par Jaroslav Kurzweil et Ralph Henstock à la n des annees 1950. Au l des
chapitres, le niveau mathematique de lexposition glisse progressivement dun niveau
très elementaire jusquà un niveau de second cycle universitaire.
Meme si au debut une partie des resultats doit etre admise ou demontree de manière
heuristique du fait des contraintes de temps ou des prerequis, nous pensons que la
demarche mathematique utilisee dans lenseignement doit respecter chaque fois que cela
est possible les principes dune progression par generalisations successives compatibles
avec les exposes qui ont precede (
progression concentrique
). Il est donc très utile

dintroduire dès le debut des denitions qui sont susceptibles detre rendues rigoureuses
et formalisees, et dadopter un ordre de presentation des concepts et une articulation
logique tels que la theorie naura pas à etre substantiellement changee le jour o` u viendra
la formalisation complète.
(1)
(1)
`
A lheure actuelle, lintegration est souvent abordee en plusieurs etapes qui sont les suivantes :
a) En terminale, une première etape qui consiste ` a introduire lintegrale comme

aire sous la courbe
,
avec un etat desprit qui se ressent obligatoirement de lappauvrissement continuel de la conceptu-
alisation depuis 2 decennies. Il en resulte quil est devenu très dicile de formaliser complètement
la theorie, ce qui veut probablement dire quon ne peut guère esperer que le cours donne de
veritables demonstrations, mais seulement au mieux quelques indications de preuves completees par
des considerations heuristiques.
b) Dans les premières annees duniversite, les enseignants presentent en general une version plus ou
moins edulcoree de la theorie de

lintegrale de Riemann
, ` a laide dencadrements par des fonctions

en escalier, et des preuves qui tendent de plus en plus ` a disparatre du fait du recul des connaissances
fondamentales requises (pratique des et , continuite uniforme, ...)
c) En Master 1ère annee apparatra dans les bons cas une theorie plus solide de lintegration reposant
sur la theorie de la mesure et lintegrale de Lebesgue. Mais il est de notoriete publique que ce sujet qui
f ache a tendance aujourdhui ` a etre de moins en moins traite, surtout dans les lières dites

Master
enseignement
.
Cette situation presente de nombreux inconvenients. La theorie de lintegrale de Riemann nest pas
une

bonne theorie
, ni du point de vue didactique ni du point de vue mathematique. La presentation

nen est pas très simple : il faut manipuler constamment des encadrements de fonctions, utiliser la
continuite uniforme pour demontrer lintegrabilite des fonctions continues, faire des decoupages de
et parfois peu eclairants. Il y a de nombreuses restrictions ou pathologies, des theorèmes essentiels
comme ceux de la convergence monotone ne sont pas valables, etc. Plus tard, lintroduction de
lintegrale de Lebesgue viendra balayer ce travail en montrant quil sagissait en fait dune theorie
bancale et incomplète. Si les etudiants echappent ` a lintegrale de Lebesgue comme cela arrive ` a
un nombre de plus en plus grand de CAPESiens ils nauront donc jamais eu loccasion de se voir
exposes une theorie

serieuse
de lintegration, ce qui est preoccupant.

2 Theorie elementaire de lintegration : lintegrale de Henstock-Kurzweil
Le choix de lintegrale de Henstock-Kurzweil presente lavantage de fournir des deni-
tions assez simples peut-etre plus simples que celle de Riemann puisque les encadre-
ments de fonctions ne sont plus necessaires, que lon na plus besoin de la continuite
uniforme, que tous les theorèmes de base se demontrent en quelques lignes et, en
meme temps, detre assez puissante pour contenir les parties elementaires de la theorie
de Lebesgue ... Dans ces conditions, il parat quelque peu anachronique que la theorie
nait pas encore trouve sa juste place dans lenseignement !
Nous suivons ici dassez près le livre

Gauge integrals
de Charles Swartz, en lalle-

geant autant que faire se peut, pour atteindre très rapidement la preuve des theorèmes
fondamentaux (rapport entre integration et primitive, integration par parties, change-
ment de variable, derivabilite des integrales indenies de fonctions continues...). Nous
developpons ensuite les resultats plus speciques à la theorie de Henstock-Kurzweil
pour atteindre les theorèmes de convergence monotone et dominee. Lexistence de la
mesure de Lebesgue et ses proprietes fondamentales gurent parmi les consequences
directes, sans quil y ait besoin dintroduire au prealable le langage general des tribus
et des mesures denombrablement additives. Les etudiants auront donc en fait un
premier exemple motivant sous la main lorsque ces notions plus generales seront in-
troduites. Enn, les denitions ad hoc des diverses integrales generalisees, impropres
et semi-convergentes deviennent egalement accessoires, puisque toutes ces notions peu-
vent etre exprimees en une seule denition naturelle contenant les cas utiles : lintegrale
de Henstock-Kurzweil autorise par nature meme la

semi-convergence
...
Les premières etapes nous paraissent eventuellement utilisables au lycee, à condition
dadmettre quelques-unes des demonstrations et en prenant comme perspective que
cest lintegrale de Henstock-Kurzweil qui sera developpee ensuite, de sorte que les
enonces presentant des hypothèses articielles superues nont pas lieu detre.
Le texte qui suit a ete à lorigine inspire par des notes synthetiques redigees par Eric
Charpentier [5] à lUniversite de Bordeaux autour de 2002. Ces notes ont ete ensuite
developpees sous forme de cours polycopie par Jean-Yves Briend à Marseille [4] (après
que je lai informe des suggestions dEric Charpentier). Le present texte qui emprunte
à de multiples sources a fait lobjet de plusieurs redactions successives depuis lautomne
2005, et a lui-meme inspire ulterieurement des cours ou manuels mis en chantier par
plusieurs collègues. Je voudrais dans ce cadre signaler dutiles remarques et questions
posees par Xavier Bu, auteur dun manuel de premier cycle en cours delaboration,
et remercier Andre Warusfel pour son interet et ses encouragements constants.
Table des matières 3
Table des matières
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Table des matières . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
Chapitre I
Denitions et resultats fondamentaux
1. Sommes de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2. Denition de lintegrale dune fonction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3. Proprietes elementaires de lintegrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4. Le theorème fondamental de lAnalyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
5. Methodes de calcul des primitives et des integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
6. Calcul daires et de volumes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
7. Encadrement par des fonctions en escalier et integrabilite . . . . . . . . . . . . . . . . . . . . . . 25
8. Convergence uniforme, continuite et derivabilite en fonction de paramètres . . . . . 33
Chapitre II
Theorèmes de convergence
1. Lemme de Henstock et theorème de Hake . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2. Fonctions absolument integrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3. Le theorème de convergence monotone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
4. Mesure de Lebesgue et ensembles negligeables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
5. Lemme de Fatou et theorème de convergence dominee . . . . . . . . . . . . . . . . . . . . . . . . . 51
6. Lemme de recouvrement de Vitali et dierentiabilite des integrales indenies . . . 54
7. Ensembles et fonctions mesurables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
References bibliographiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Chapitre I
Denitions et resultats fondamentaux
Lobjectif de ce chapitre est de proposer une presentation rigoureuse et complète des
premiers elements de la theorie de lintegration. Compte tenu de cette ambition,
lexpose est necessairement theorique, et donc beaucoup plus exigeant que dautres
textes ou manuels qui se contentent de donner des techniques de calcul, et qui sappuient
seulement sur une intuition de la notion daire en lieu et place de justications mathe-
matiques complètes. Un prerequis indispensable est davoir dejà assimile lart de couper
les en quatre ou detre pret à faire leort de creuser la question. Le public vise est
celui des elèves de Terminale très motives la theorie de base ne fait jamais appel à
aucune notion qui depasse le niveau du lycee. La plupart des notes de bas de page sont
destines à des lecteurs plus avances et ne peuvent normalement pas etre comprises par
des personnes qui aborderaient la theorie pour la première fois ; de meme, les passages
marques dun * ou de deux ** peuvent etre omis en première lecture ; les sections
7 et 8 sont moins elementaires et correspondent plutot à un niveau de première annee
duniversite.
1. Sommes de Riemann
Dans toute cette section, a et b designent deux reels tels que a < b. Soit f une fonction,
denie sur lintervalle [a, b], à valeurs dans R. La portion du plan comprise entre le
graphe de f et laxe horizontal est lensemble des couples (x, y) tels que
0 y f(x) si f(x) 0, f(x) y 0 si f(x) 0.
Pour une fonction f susamment regulière, nous souhaitons evaluer laire A de cette
portion de plan, en comptant positivement les surfaces situees au-dessus de laxe
horizontal, et negativement celles situees au-dessous (Fig. 1). Nous parlerons de

laire
algebrique
(1)
situee sous le graphe de f.
(1)
Lapproche des integrales par les aires nous parat inniment preferable ` a celle qui consiste ` a introduire
a priori lintegrale par le calcul des primitives, ne serait-ce que parce que cette fa con de voir depouille
lintegrale de son sens geometrique (et quen outre elle escamote lunique fa con de demontrer en general
lexistence des primitives...)
a
b x
y
f
A
()
1
A
(+)
2
A
()
3
A
(+)
4
A = A
1
+A
2
+A
3
+A
4
= |A
1
| +|A
2
| |A
3
| +|A
4
|
Fig. 1. Aire algebrique situee sous le graphe de f.
Lidee est de decouper lintervalle [a, b] au moyen dune subdivision en sous-intervalles
[a
j
, a
j+1
], puis de sommer les aires de rectangles bases sur les intervalles [a
j
, a
j+1
].
La gure 2 ci-dessous resume le procede.
a
b x
y
f(x
j
)
f
a
0
a
j
a
j+1
a
N
x
j
x
j
h
j
_
D
Fig. 2. Somme de Riemann associee à f sur D.
On est ainsi conduit à donner la denition suivante.
(1.1) Denition.
(a) On appelle

subdivision pointee
de lintervalle [a, b] la donnee de N + 1 points

a = a
0
< a
1
< . . . < a
N1
< a
N
= b
et de N points x
0
, x
1
, . . . , x
N1
tels que
j = 0, 1, . . . , N 1, x
j
[a
j
, a
j+1
].
I.1. Sommes de Riemann 7
Elle sera notee
D = {([a
j
, a
j+1
], x
j
)}
0j<N
.
Les reels h
j
= a
j+1
a
j
(amplitudes des intervalles) sont les

pas
de la
subdivision.
(b) Soit D une subdivision pointee de lintervalle [a, b] et f une fonction de [a, b]
dans R. On appelle

somme de Riemann
associee ` a f sur D, le reel

S
D
(f) =
N1
j=0
f(x
j
)(a
j+1
a
j
) =
N1
j=0
f(x
j
) h
j
.
La somme de Riemann S
D
(f) est laire algebrique de la reunion des rectangles de
largeur h
j
et de hauteur f(x
j
) (Fig. 2). Il sagit bien dune aire algebrique, puisque
f(x
j
)h
j
est compte positivement si f(x
j
) > 0 et negativement si f(x
j
) < 0.
Intuitivement laire A cherchee est la limite de S
D
(f) quand les pas h
j
tendent vers 0.
Un choix possible consiste par exemple à prendre une subdivision en sous-intervalles
egaux
a
j
= a +jh = a +j
b a
N
, 0 j N o` u h
j
= h =
b a
N
,
que lon peut combiner avec un choix quelconque des points x
j
.
(1.2) Exemple. Comme premier exemple, considerons la fonction identite f(x) = x
sur lintervalle [0, 1]. Pour N 1, posons :
a
0
= 0 , a
1
=
1
N
, . . . , a
j
=
j
N
, . . . , a
N
= 1
Les pas de cette subdivision sont tous egaux à 1/N. Voici trois calculs de sommes de
Riemann, selon que lon place les points x
j
au debut, au milieu ou à la n des intervalles
[a
j
, a
j+1
] (rappelons que la somme des N premiers entiers vaut N(N + 1)/2).
x
j
= a
j
: S
D
(f) =
N1
j=0
j
N
1
N
=
1
N
2
N1
j=0
j =
N 1
2N
, (1.2 a)
x
j
=
a
j
+a
j+1
2
: S
D
(f) =
N1
j=0
2j + 1
2N
1
N
=
1
2N
2
N1
j=0
2j + 1 =
1
2
, (1.2 b)
x
j
= a
j+1
: S
D
(f) =
N1
j=0
j + 1
N
1
N
=
1
N
2
N1
j=0
j + 1 =
N + 1
2N
. (1.2 c)
La seconde somme est egale à 1/2 pour tout N, les deux autres tendent vers 1/2 quand
N tend vers linni. Laire du triangle sous le graphe de la fonction est bien 1/2 :
0 x 1
f(x)
Fig. 3. Sommes de Riemann associees à lidentite sur [0, 1].
Dans la suite, nous aurons besoin pour des raisons à la fois theoriques et pratiques de
considerer des sommes de Riemann sur des subdivisions arbitraires. Il est facile de voir
à partir de la denition 1.1 (b) que ces sommes verient les proprietes suivantes.
(1.3) Proprietes fondamentales.
(a) Linearite.
Si f, g : [a, b] R sont des fonctions quelconques et , des constantes reelles,
alors
S
D
(f +g) = S
D
(f) +S
D
(g).
(b) Monotonie.
Si f, g : [a, b] R sont des fonctions quelconques, alors
f g S
D
(f) S
D
(g).
En particulier, si f 0, alors S
D
(f) 0.
(c) Formule de Chasles.
Soient a < b < c des reels et f une fonction denie sur [a, c]. Si D
1
est une
subdivision pointee de [a, b] et D
2
une subdivision pointee de [b, c], alors D
1
D
2
est une subdivision pointee de [a, c] et
S
D
1
D
2
(f) = S
D
1
(f) +S
D
2
(f).
2. Denition de lintegrale dune fonction
Lidee consiste à se donner une marge derreur > 0 pour laire que lon cherche à
evaluer, et à essayer de repartir cette erreur sur chacun des rectangles qui approchent
laire situee sous la courbe, de sorte que lerreur totale soit .
I.2. Denition de lintegrale dune fonction 9
a b x
y
f
x
j
f(x
j
)
h
j
(x
j
)
Fig. 4. Somme de Riemann à pas variable.
Le schema ci-dessus montre intuitivement que lorsque la fonction f

oscille plus
à
certains endroits quà dautres, on a interet à resserrer davantage les pas h
j
à ces
endroits-là. On exprimera cette condition en demandant que les pas h
j
verient une
condition h
j
(x
j
) o` u (x
j
) est une quantite positive assez petite dependant de
lendroit o` u lon prend le rectangle de hauteur f(x
j
). On choisira donc des fonctions
: [a, b] R
+
positives qui serviront à majorer les pas h
j
. Une telle fonction sera
appelee une jauge sur [a, b].
(2.1) Denition. Soit : [a, b] R
+
une fonction positive quelconque. Une
subdivision pointee D = {([a
j
, a
j+1
], x
j
)}
0j<N
de [a, b] sera dite -ne si
j = 0, 1, . . . , N 1, h
j
= a
j+1
a
j
(x
j
).
Si
et sont deux jauges telles que
, alors toute subdivision
-ne est aussi

-ne. Le resultat suivant, appele lemme de Cousin, arme que la denition precedente
nest jamais vide de contenu.
(2.2) Lemme. Soit : [a, b] R
+
une jauge. Alors il existe une subdivision pointee
D de lintervalle [a, b] qui est -ne.
Demonstration.
Elle est basee sur un procede de dichotomie. Nous allons raisonner

par labsurde, en supposant que [a, b] nadmet pas de subdivision pointee -ne. Posons
a
0
= a et b
0
= b. Divisons lintervalle [a
0
, b
0
] en deux, et considerons les deux moities
[a
0
,
a
0
+b
0
2
] et [
a
0
+b
0
2
, b
0
] : si chacune des deux admettait une subdivision -ne, la
reunion de ces deux subdivisions serait une subdivision -ne de [a
0
, b
0
]. Donc lune
des deux moities au moins nadmet pas de subdivision -ne : on note celle-ci [a
1
, b
1
].
On itère ensuite le procede, de manière à construire des intervalles embotes [a
k
, b
k
],
de longueur (b a)/2
k
, dont aucun nadmet de subdivision -ne. Les suites (a
k
) et
(b
k
) sont adjacentes par construction, donc elles convergent vers la meme limite. Soit
x
0
cette limite. Puisque (x
0
) > 0, il existe k
0
tel que
[a
k
0
, b
k
0
] [x
0

1
2
(x
0
), x
0
+
1
2
(x
0
)].
Donc la subdivision pointee de [a
k
0
, b
k
0
] formee seulement de lintervalle tout entier et
du point x
0
est -ne. Do` u la contradiction.
(2)
(2.3) Denition. Soit f : [a, b] R une fonction quelconque.
(a) On dit que f est integrable (au sens de Henstock-Kurzweil, ou HK-integrable)
(3)
sil existe un reel A qui represente laire algebrique situee sous le graphe de f, tel
que pour toute marge derreur > 0 donnee a priori, on peut trouver une jauge
: [a, b] R
+
en sorte que pour toute subdivision pointee D = {([a
j
, a
j+1
], x
j
)}
de [a, b] on ait
D -ne |S
D
(f) A| .
(une telle jauge sera dite -adaptee ` a f).
(b) Le nombre reel A de la denition precedente est appele integrale de f sur [a, b] et
note
A =
_
b
a
f(x) dx.
On ecrit egalement
_
b
a
f(x) dx = lim
HK, D
S
D
(f) = lim
HK, D
N1
j=0
f(x
j
)(a
j+1
a
j
)
et on dit que
_
b
a
f(x) dx est la limite (au sens de Henstock-Kurzweil ) des sommes
de Riemann, lorsque la subdivision D devient de plus en plus ne.
Si une jauge est -adaptee, alors toute jauge
est encore -adaptee. Nous

utiliserons cette observation à plusieurs reprises dans la section suivante. La notation
dx intervient pour rappeler quà la limite on considère des rectangles

inniment
ns de largeur dx = a
j+1
a
j
, consideree comme accroissement inniment petit de la
variable x (Fig. 5), et le symbole
_
b
a
se lit

somme de a à b
.
a
b
x x+dx
x
y
f(x)
f(x) dx
()
(+)
()
(+)
Fig. 5. Integrale et son element dierentiel f(x) dx.
(2)
La demonstration de 2.2 est probablement assez dicile pour la classe Terminale, cest pour quoi nous
lavons marquee dun asterisque *, comme toutes les parties plus delicates qui vont suivre.
(3)
Lintegrale de Henstock-Kurzweil est parfois appelee aussi integrale de jauge ou encore integrale de
Riemann generalisee. Il sagit dune notion dierente de lintegrabilite au sens de Riemann proprement
dite, qui sera introduite plus loin (denition 2.5).
I.2. Denition de lintegrale dune fonction 11
(2.4) Exemple. On appelle fonction en escalier sur [a, b] une fonction f telle quil
existe des points (u
i
)
0ip
de [a, b] et des constantes reelles c
i
telles que
a = u
0
< u
1
< . . . < u
p
= b et f(x) = c
i
sur ]u
i
, u
i+1
[ ,
les valeurs f(u
i
) R etant elles-memes quelconques, eventuellement dierentes des
valeurs c
i
.
a u
1
u
i
u
i+1
b x
y
f
f(u
i
)
c
i
Fig. 6. Une fonction en escalier.
Nous armons : Toute fonction en escalier f est integrable, et on a
_
b
a
f(x) dx =
p1
i=0
c
i
(u
i+1
u
i
).
Demonstration.
La fonction f est bornee, la borne superieure de |f| est donnee par

M = sup
[a,b]
|f| = max
[a,b]
|f| = max{|c
i
|, |f(u
j
)|}.
a a
1
x
1
a
2
a
j
a
j+1
u
1
u
i
u
i+1
b x
y
f
c
i
f(x
1
)
h
j
2M
2 int 1 int
Fig. 7. Sommes de Riemann dune fonction en escalier.
Soit D = {([a
j
, a
j+1
], x
j
)} une subdivision -ne pour une certaine constante > 0
(les points a
j
nont a priori aucun rapport avec les points de subdivision u
i
de la
fonction en escalier). La somme de Riemann S
D
(f) =
f(x
j
)h
j
est representee
par par la somme des aires des rectangles de couleur rosee de la Fig. 7 (avec les
points a
j
en rouge et les points de marquage x
j
en bleu tous ceux-ci netant pas
representes). La dierence entre les aires S
D
(f) et
c
i
(u
i+1
u
i
) (partie en noir
du graphe) est representee par les zones hachurees en bleu clair. Nous avons au plus
2p intervalles [a
j
, a
j+1
] qui contiennent lun des points intermediaires u
i
, à savoir un
à chaque extremite et un ou deux pour chacun des points u
i
, i = 1, . . . , p 1. Pour
chacun de ces intervalles, le terme f(x
j
)h
j
mis en jeu dière de laire des deux rectangles
delimites par le graphe de f par au plus 2Mh
j
2M, puisque |f(x) f(x
j
)| 2M
et h
j
. Au total on a donc
S
D
(f)
0ip1
c
i
(u
i+1
u
i
)
2p 2M = 4pM.
Il sut alors de choisir = /(4pM) pour conclure.
Un point digne dinteret dans lexemple des fonctions en escalier est que la fonction
jauge peut etre prise egale à une constante. Ceci conduit au cas particulier suivant.
(2.5) Cas particulier. On dit que f : [a, b] R est integrable au sens de Riemann
(ou Riemann-integrable)
(4)
si elle est HK-integrable et si on peut de plus choisir les
jauges constantes, cest-` a-dire si pour tout > 0 il existe une constante > 0 telle
que
h
j
= a
j+1
a
j
pour tout j |S
D
(f) A| .
Daprès cette denition, on peut se contenter de prendre une subdivision en N sous-
intervalles de pas constant h =
ba
N
. Nous obtenons alors la propriete suivante.
(2.6) Convergence des sommes de Riemann. Si f : [a, b] R est une fonction
integrable au sens de Riemann, son integrale peut sexprimer comme suit comme limite
de sommes de Riemann :
(4)
La notion dintegrabilite au sens de Riemann est beaucoup plus ancienne que celle de Henstock-
Kurzweil puisque sa formalisation remonte ` a Cauchy et Riemann au 19ème siècle, ce qui explique
quelle soit devenue traditionnelle et incontournable dans lenseignement. Les considerations intui-
tives du debut nous indiquent cependant que ce nest pas une très bonne denition du point de vue de
la precision du calcul numerique. La denition de Riemann entrane aussi des restrictions indesirables,
comme celle que la fonction f soit necessairement bornee (cf. remarque 2.8). Bien quen apparence
la denition de Henstock-Kurzweil dière très peu de celle de lintegrale de Riemann, il se trouve
quelle jouit de proprietes beaucoup meilleures, tout en procurant des demonstrations plus simples
et en eliminant beaucoup dhypothèses superues. Ne serait-ce que pour eviter les confusions, nous
suggerons de considerer lintegrabilite au sens de Riemann seulement comme un cas particulier de la
denition generale, mais pas comme une denition en tant que telle ... La denition de Henstock-
Kurzweil est

la bonne
et elle sura amplement aux premiers besoins.

I.3. Proprietes elementaires de lintegrale 13
_
b
a
f(x) dx = lim
N+
b a
N
N1
j=0
f
_
a +
j
N
(b a)
_
[cas x
j
= a
j
]
= lim
N+
b a
N
N
j=1
f
_
a +
j
N
(b a)
_
[cas x
j
= a
j+1
]
= lim
N+
b a
N
N1
j=0
f
_
a +
2j + 1
2N
(b a)
_ _
cas x
j
=
a
j
+a
j+1
2
_
.
Si laire
_
b
a
f(x) dx situee sous le graphe de f est connue dune manière ou dune autre,
on peut alors en deduire la valeur des limites correspondantes ; il faut savoir pour cela
que la fonction f est integrable au sens de Riemann, on demontrera plus tard (cf.
theorèmes 7.6 et 7.10) que cest le cas si f est continue ou continue par morceaux.
(2.7) Exemple. Considerons la somme
1
N
2
_
_
1 (N 1) +
_
2 (N 2) +. . . +
_
(N 1) 1
_
qui peut aussi secrire :
1
N
_
1
N
_
1
1
N
_
+
2
N
_
1
2
N
_
+. . . +
_
1
1
N
_
1
N
_
.
Cest une somme de Riemann associee à la fonction x
_
x(1 x) sur lintervalle
[0, 1]. Sa limite, lorsque n tend vers +, est egale à :
_
1
0
_
x(1 x) dx. Or, le graphe
y =
_
x(1 x) de cette fonction est un demi-arc du cercle x
2
x +y = 0, soit encore
(x
1
2
)
2
+ y
2
=
1
4
, cest donc un demi-cercle de centre
1
2
et de rayon
1
2
. La limite de
la sommation est egale à laire du demi-disque, qui vaut /8.
(2.8)* Condition necessaire. Toute fonction f Riemann-integrable est bornee.
Demonstration. En eet, selon la denition 2.5, si nous prenons une subdivision D de
pas constant h , -adapte à f, à savoir h = (b a)/N avec N (b a)/, nous
devons avoir la majoration |S
D
(f) A| , donc
|S
D
(f)| =
b a
N
0j<N
f(x
j
)
|A| +
0j<N
f(x
j
)
N
b a
(|A| +),
ceci pour tout choix des points x
j
[a
j
, a
j+1
]. Choisissons pour lun des points x
j
un
point x [a, b] quelconque, et pour les autres les points a
j
de la subdivision. Il vient
alors
x [a, b], |f(x)|
0j<N
|f(a
j
)| +
N
b a
(|A| +),
ce qui montre que f doit etre bornee.
3. Proprietes elementaires de lintegrale
Les proprietes enoncees dans cette section sont, dans lordre, la linearite, la monotonie
et la relation de Chasles. Elles sont obtenues, par passage ` a la limite, à partir des
proprietes analogues des sommes de Riemann S
D
(f) (proprietes 1.3 (a,b,c)).
(3.1) Linearite. Si f, g : [a, b] R sont des fonctions integrables sur [a, b] et ,
des constantes reelles, alors f +g est integrable sur [a, b] et
_
b
a
_
f(x) +g(x)
_
dx =
_
b
a
f(x) dx +
_
b
a
g(x) dx.
Demonstration. En termes de limites de sommes de Riemann sur des subdivisions
pointees D de [a, b], nous pouvons ecrire
_
b
a
_
f(x) +g(x)
_
dx = lim
HK, D
S
D
(f +g) = lim
HK, D
S
D
(f) +S
D
(g)
= lim
HK, D
S
D
(f) + lim
HK, D
S
D
(g)
=
_
b
a
f(x) dx +
_
b
a
g(x) dx.
Pour analyser plus en detail cet argument, reprenons le calcul en termes de jauges, une
marge derreur > 0 etant xee a priori. Posons
A =
_
b
a
f(x) dx, B =
_
b
a
g(x) dx.
Il existe par hypothèse des jauges
1
,
2
telles que si D est
1
-ne alors |S
D
(f) A|
et si D est
2
-ne alors |S
D
(g) B| . Prenons une subdivision D -ne avec
= min(
1
,
2
). Comme S
D
(f +g) = S
D
(f) +S
D
(g) on en deduit
S
D
(f +g) (A+B)
(|| +||).
Ceci montre que f +g est integrable et que son integrale est bien A+B.
(3.2) Remarque. Si f : [a, b] R est une fonction qui est nulle partout sauf en un
nombre ni de points u
i
[a, b], alors f est Riemann-integrable dintegrale nulle. Cest
en eet un cas très particulier de fonction en escalier, et on peut appliquer la formule
du 2.4 avec c
i
= 0. Il en resulte que si deux fonctions g, h : [a, b] R dièrent en un
nombre ni de points, alors lintegrabilite de lune equivaut à lintegrabilite de lautre
et on a
_
b
a
g(x) dx =
_
b
a
h(x) dx (puisque f = g h est dintegrale nulle).
(3.3) Monotonie. Si f, g : [a, b] R sont des fonctions integrables sur [a, b]
f g
_
b
a
f(x) dx
_
b
a
g(x) dx.
I.3. Proprietes elementaires de lintegrale 15
Demonstration. Cela resulte de linegalite sur les sommes de Riemann S
D
(f) S
D
(g),
par passage à la limite.
(3.4) Relation de Chasles. Soient a < b < c des reels et f : [a, c] R une fonction.
Si f est integrable sur [a, b] et integrable sur [b, c], alors f est integrable sur [a, c] et
_
c
a
f(x) dx =
_
b
a
f(x) dx +
_
c
b
f(x) dx.
Ceci vaut aussi bien pour lintegrabilite au sens de Henstock-Kurzweil que pour linte-
grabilite au sens de Riemann.
Demonstration. Fixons un reel > 0 et choisissons des jauges
1
: [a, b] R
+
,
2
: [b, c] R
+
-adaptees à f sur [a, b] et [b, c] respectivement. Autrement dit, si on
ecrit
A
1
=
_
b
a
f(x) dx, A
2
=
_
c
b
f(x) dx, A = A
1
+A
2
,
on aura |S
D
1
(f) A
1
| et |S
D
2
(f) A
2
| pour toutes subdivisions pointees
1
-nes D
1
de [a, b] et
2
-nes D
2
de [b, c]. Si nous supposons demontree lintegrabilite
de f sur [a, c], cest-à-dire lexistence de la limite lim
HK, D
S
D
(f) lorsque D parcourt
les subdivisions pointees de [a, c], alors on peut prendre une jauge sur [a, c] telle que

1
sur [a, b] et
2
sur [b, c], et une subdivision D = D
1
D
2
-ne egale à la
reunion dune subdivision D
1

1
-ne de [a, b] et dune subdivision D
2

2
-ne de [b, c].
On obtient dans ces conditions S
D
(f) = S
D
1
(f) + S
D
2
(f), donc |S
D
(f) A| 2 et
la relation desiree
_
c
a
f(x) dx = lim
HK, D
S
D
(f) = A = A
1
+A
2
=
_
b
a
f(x) dx +
_
c
b
f(x) dx
sensuit en prenant arbitrairement petit. La seule diculte qui reste est de demontrer
lexistence de la limite lim
HK, D
S
D
(f) pour des subdivisions D = {([a
j
, a
j+1
], x
j
)} de
[a, c] ne comprenant pas necessairement a
j
= b comme lun des points intermediaires,
ce qui est a priori requis pour prouver lintegrabilite de f sur [a, c]. La methode consiste
à redecouper lintervalle [a
j
, a
j+1
] de D qui contient le point b, et à estimer de combien
on modie ainsi la somme de Riemann S
D
(f).
(3.5)** Preuve de lintegrabilite de f sur [a, c] sous les hypothèses de 3.4.
Dans le cas de lintegrabilite au sens de Henstock-Kurzweil, la preuve est très simple.
On denit une jauge sur [a, c] en posant
(x) =
_
_
_
min(
1
(x), (b x)/2) si x [a, b[,
min(
2
(x), (x b)/2) si x ]b, c],
min(
1
(b),
2
(b)) si x = b.
de sorte que
1
sur [a, b] et
2
sur [b, c]. Soit D = {([a
j
, a
j+1
], x
j
)} une
subdivision -ne. Si x
j
< b, alors on a a
j+1
x
j
+(x
j
) < x
j
+ (b x
j
) = b. De
meme, si x
j
> b, alors a
j
x
j
(x
j
) > x
j
(x
j
b) = b. Ceci montre que le seul
cas o` u [a
j
, a
j+1
] peut contenir le point b est le cas x
j
= b, ce qui permet de decouper
lintervalle pointe ([a
j
, a
j+1
], b) en les deux intervalles pointes ([a
j
, b], b) et ([b, a
j+1
], b).
On produit ainsi une subdivision pointee D
1

1
-ne de [a, b] et une subdivision pointee
D
2

2
-ne de [b, c] telles que S
D
(f) = S
D
1
(f) + S
D
2
(f). On a donc |S
D
(f) A| 2
et la conclusion sensuit comme precedemment.
Dans le cas de lintegrabilite au sens de Riemann, la preuve donnee ci-dessus nest pas
valable, car la jauge produite nest pas constante. On sait cependant de plus que
f est bornee, disons |f| M (si f est Riemann-integrable sur [a, b] et [b, c], elle y
est necessairement bornee daprès la remarque 2.8). Prenons pour D une subdivision
pointee -ne avec min(
1
,
2
). Si lun des intervalles [a
j
, a
j+1
] contient b en
son interieur, on remplace son point de marquage x
j
par x
j
= b, ce qui donne après
decoupage comme ci-dessus une nouvelle subdivision D
= D
1
D
2
-ne telle que
S
D
(f) = S
D
1
(f) +S
D
2
(f)
S
D
(f) A
2.
On a de plus
S
D
(f) S
D
(f)
_
f(x
j
) f(b)
_
h
j
2M,
par consequent
S
D
(f) A
4 dès que min(

1
,
2
, /M). Ceci entrane bien
lintegrabilite de f au sens de Riemann sur lintervalle [a, c], ainsi que la formule de
Chasles.
Pour des reels a, b qui ne verient pas necessairement a < b, on pose
(3.6)
_
b
a
f(x) dx = 0 si a = b,
_
b
a
f(x) dx =
_
a
b
f(x) dx si a > b.
On peut verier que la relation de Chasles reste valable dans tous les cas, quel que
soit lordre des reels a, b, c, à condition bien s ur que f soit integrable sur chacun des
intervalles mis en jeu.
4. Le theorème fondamental de lAnalyse
On appelle theorème fondamental de lanalyse, le fait que lintegration (calcul daires)
et la derivation (calcul de tangentes et de dierentielles) sont des operations inverses
lune de lautre.
(4.1) Theorème. Soit f : [a, b] R une fonction derivable. Alors f
est integrable et
_
b
a
f
(x) dx = f(b) f(a).

Demonstration.
(5)
Commen cons par une preuve heuristique (cest-à-dire simpliee,
mais non rigoureuse). Soit D = {[a
j
, a
j+1
], x
j
)} une subdivision pointee assez ne. On
(5)
Le theorème 4.1 est un resultat particulièrement impressionnant de la theorie de Henstock-Kurzweil,
que ni la theorie de Riemann ni meme la theorie de Lebesgue ne permettent dobtenir. Ce

defaut
de
la theorie de Lebesgue avait amene A. Denjoy ` a proposer en 1912 une theorie de

lintegrale totale
qui lui permit de retablir la validite du Theorème 4.1 (cf. aussi les travaux de O. Perron. Cette theorie
se revelera a posteriori essentiellement equivalente ` a la theorie de Henstock-Kurzweil, mais avec un
formalisme et des justications beaucoup plus compliquees.
I.4. Le theorème fondamental de lAnalyse 17
a par denition
_
b
a
f
(x) dx
N1
j=0
f
(x
j
)(a
j+1
a
j
).
Mais f
(x
j
) peut etre vu comme une approximation de la pente de f sur lintervalle
[a
j
, a
j+1
] et on a donc f
(x
j
)(a
j+1
a
j
) f(a
j+1
) f(a
j
), do` u
_
b
a
f
(x) dx
N1
j=0
(f(a
j+1
) f(a
j
)) = f(b) f(a).
Il nest pas dicile de rendre cet argument rigoureux. Lhypothèse de lexistence de
f
(x) = lim
yx
f(y)f(x)
yx
signie par denition que pour tout pout x [a, b] et tout
> 0 il existe un reel (x) > 0 tel que
y [a, b], 0 < |y x| (x)
f(y) f(x)
y x
f
(x)
, et donc
y [a, b], y [x (x), x +(x)]
f(y) f(x) (y x)f
(x)
|y x|
(puisque linegalite est vraie aussi de manière evidente pour y = x). Prenons une subdi-
vision pointee D = {[a
j
, a
j+1
], x
j
)} -ne, cest-à dire telle que h
j
= a
j+1
a
j
(x
j
).
En appliquant legalite ci-dessus à x = x
j
et y = a
j
ou y = a
j+1
, il vient
f(a
j
) f(x
j
) (a
j
x
j
)f
(x
j
)
|a
j
x
j
| = (x
j
a
j
),
f(a
j+1
) f(x
j
) (a
j+1
x
j
)f
(x
j
)
|a
j+1
x
j
| = (a
j+1
x
j
).
En faisant la dierence, linegalite |v u| |u| +|v| donne
f(a
j+1
) f(a
j
) (a
j+1
a
j
)f
(x
j
)
(a
j+1
a
j
).
La sommation de ces inegalites pour j = 0, 1, . . . , N 1 implique en denitive
f(b) f(a) S
D
(f
(b a),
par consequent
_
b
a
f
(x) dx = lim
HK, D
S
D
(f
) = f(b) f(a).
Notons quon retrouve ainsi le resultat important suivant qui, alternativement (et de
manière plus classique) est demontre au moyen du theorème des accroissements nis.
(4.2) Corollaire. Soit f une fonction derivable sur un intervalle I de R, telle que
f
= 0 (resp. f
0, f
0). Alors f est constante (resp. croissante, decroissante).

Demonstration. En eet, pour tous points a < b dans I, on voit que f(b) f(a) est
egal à 0 (resp. positif ou nul, negatif ou nul).
Le theorème fondamental peut aussi se senoncer comme une formule de calcul dune
integrale à partir de la primitive dune fonction
(6)
.
(4.3) Calcul des integrales au moyen de primitives. Si f : [a, b] R admet une
primitive F (cest-` a-dire si F est derivable et F
= f), alors f est integrable et

_
b
a
f(x)dx = F(b) F(a) encore note
_
F(x)
b
a
.
Pour exploiter cette formule, il convient de connatre une liste susante de primitives de
fonctions usuelles en connatre un certain nombre par cur devient vite indispensable
pour etre en mesure de calculer les integrales de manière ecace. Compte tenu de la
formule 4.3, la primitive F dune fonction continue f, là o` u elle est denie, sera notee
sous la forme
(4.4) F(x) =
_
f(x) dx +C,
o` u C designe une constante quelconque. Une ecriture de la forme
_
f(x) dx est parfois
appelee integrale indenie. Voici une liste de primitives qui permet dejà de calculer
un bon nombre dintegrales usuelles. Les variables , a, b representent ici des nombres
reels quelconques avec a = 0.
_
x
dx =
x
+1
+ 1
+C, = 1
_
1
x
dx = ln |x| +C
_
ln |x| dx = x ln|x| x +C
_
e
ax
dx =
1
a
e
ax
+C
_
cos(ax +b) dx =
1
a
sin(ax +b) +C
_
sin(ax +b) dx =
1
a
cos(ax +b) +C
_
1
cos
2
x
dx = tanx +C
_
1
sin
2
x
dx = cotanx +C
_
1
x
2
+a
2
dx =
1
a
arctan
x
a
+C
_
1
x
2
a
2
dx =
1
2a
ln
x a
x +a
+C
5. Methodes de calcul des primitives et des integrales
Il convient dobserver quil est en general impossible dexpliciter en termes de fonctions
usuelles la primitive de beaucoup de fonctions pourtant relativement simples. Ainsi on
peut montrer que e
x
2
ou ln(sin x) ont des primitives qui ne peuvent pas sexprimer en
termes des fonctions trigonometriques, puissances, exponentielles, logarithmes et leurs
(6)
On notera que pour en arriver l` a, on a eu besoin de nettement moins de theorie que dans lapproche
classique de lintegrale de Riemann. En eet, dans cette approche, il faut au prealable connatre
lintegrabilite des fonctions continues, et avoir demontre que la derivee de lintegrale indenie dune
fonction continue f(x) est egale ` a cette fonction, pour en conclure que lintegrale indenie est une
primitive de f. Par ailleurs, toutes les hypothèses superues (fonctions C
1
dans les integrations par
parties ou les changements de variable) disparaissent ...
I.5. Methodes de calcul des primitives et des integrales 19
composees. Lorsque le calcul est possible, on sappuie le plus souvent sur lune des
deux formules importantes qui suivent.
(5.1) Formule dintegration par parties. Soient u, v : [a, b] R deux fonctions
derivables. Le produit uv est alors derivable et (uv)
= u
v + uv
. Par consequent
uv
= (uv)
v est integrable si et seulement si u
v lest, et dans ce cas

_
u(x)v(x)
b
a
=
_
b
a
(uv)
(x) dx =
_
b
a
u
(x)v(x) dx +
_
b
a
u(x)v
(x) dx.
On a donc la formule
_
b
a
u(x)v
(x) dx =
_
u(x)v(x)
b
a

_
b
a
u
(x)v(x) dx,
qui peut encore se recrire de manière plus abregee
_
b
a
udv =
_
uv
b
a

_
b
a
v du.
En termes de primitives et avec la notation des integrales indenies, on peut aussi
ecrire
_
u(x)v
(x) dx = u(x)v(x)
_
u
(x)v(x) dx.
(5.1a) Exemple. Soit n 1 un entier naturel, on cherche à calculer une primitive F
n
de f
n
(x) = x
n
e
x
. La fonction f
n
est dejà ecrite comme produit de deux fonctions, que
lon sait integrer. Integrons par parties en prenant u(x) = x
n
et v
(x) = e
x
(do` u, par
exemple, v(x) = e
x
) :
F
n
(x) =
_
x
n
e
x
dx =
_
x
n
(e
x
)
_
nx
n1
(e
x
) dx
= x
n
e
x
n
_
x
n1
e
x
dx = x
n
e
x
+nF
n1
(x) ( +C).
Comme F
0
(x) = e
x
, cette relation de recurrence permet de calculer F
n
pour tout
entier n 1 :
F
n
(x) =
_
n
p=0
n(n 1) . . . (p + 1)x
p
_
e
x
( +C).
(5.1b) Exemple. De meme, pour a R {1} et n N, en posant u
(x) = x
a
et
v(x) = (lnx)
n
, on trouve
_
x
a
(lnx)
n
dx =
x
a+1
a + 1
(lnx)
n
_
x
a+1
a + 1
n
x
(lnx)
n1
dx
=
x
a+1
a + 1
(lnx)
n
n
a + 1
_
x
a
(lnx)
n1
dx
=
x
a+1
a + 1
(lnx)
n
n
a + 1
x
a+1
a + 1
(lnx)
n1
+
n(n 1)
(a + 1)
2
_
x
a
(lnx)
n2
dx.
Par recurrence, ceci donne
_
x
a
(lnx)
n
dx = x
a+1
n
p=0
(1)
p
n(n 1) . . . (n p + 1)
(a + 1)
p+1
(ln x)
np
.
(5.2) Formule de changement de variable. Soit f : [a, b] R une fonction
admettant une primitive F. On a alors
_
b
a
f(x) dx =
_
F(x)
b
a
= F(b) F(a).
Il est souvent commode de changer de variable, en posant x = (t) pour une certaine
fonction : [, ] [a, b] derivable telle que () = a et () = b (on ne suppose pas
necessairement a b ni ). Il vient alors
_
b
a
f(x) dx = F(())F(()) =
_
F(t)
=
_

(F)
(t) dt =
_

f((t))
(t) dt
On a donc la formule fondamentale
_
b
a
f(x) dx =
_

f((t))
(t) dt =
_

f d.
En pratique, on eectue les substitutions
x = (t), dx =
(t) dt, a = (), b = (),

en prenant soin de changer les bornes comme indique. En termes dintegrales indenies,
si F designe une primitive de f, on peut ecrire
F(x) = F((t)) =
_
f((t)
(t) dt.
Exemple. Le cas particulier f(x) =
1
x
, F(x) = ln |x| implique
_

(t)
(t)
dt = ln |(t)| +C.
De meme, le cas f(x) =
1
1 +x
2
, F(x) = arctanx implique
_

(t)
1 +(t)
2
dt = arctan(t) +C.
I.5. Methodes de calcul des primitives et des integrales 21
Ceci permet par exemple de trouver successivement les formules
_
tanx dx =
_
sin x
cos x
dx = ln | cos x| +C
_
cotanx dx =
_
cos x
sinx
dx = ln | sinx| +C
_
1
sin x cos x
dx =
_
_
cos x
sinx
+
sin x
cos x
_
dx = ln| tanx| +C
_
1
sin x
dx =
_
1
2 sin
x
2
cos
x
2
dx = ln
tan
x
2
+C
_
1
cos x
dx =
_
1
sin(x +

2
)
dx = ln
tan
_
x
2
+

4
_
+C.
(5.3) Integration des polyn omes trigonometriques. Pour calculer lintegrale
dun polynome trigonometrique
_
P(cos x, sinx) dx on utilise ce quon appelle la me-
thode de linearisation, qui consiste à trouver une combinaison lineaire de la forme
P(cos x, sin x) = a
0
+
1nN
a
n
cos nx +b
n
sin nx.
Pour cela on remplace cos x et sin x en fonction de lexponentielle complexe (formules
dEuler)
cos x =
e
ix
+e
ix
2
, sin x =
e
ix
e
ix
2i
,
ce qui permet dexprimer P(cos(x, sinx) comme combinaison lineaire des fonctions e
inx
et e
inx
. On remplace nalement ces fonctions par e
inx
= cos nx i sin nx (ou bien,
si P est reel, on prend la partie reelle du resultat. Par exemple
cos
2
x sin
3
x =
_
e
ix
+e
ix
2
_
2
_
e
ix
e
ix
2i
_
3
=
i
2
5
_
e
2ix
+ 2 +e
2ix
__
e
3ix
3 e
ix
+ 3 e
ix
e
3ix
_
=
i
32
_
e
5ix
e
3ix
2 e
ix
+ 2 e
ix
+e
3ix
e
5ix
_
=
1
16
_
sin 5x + sin 3x + 2 sinx
_
.
On obtient alors
_
cos
2
x sin
3
x dx =
1
16
_
1
5
cos 5x
1
3
cos 3x 2 cos x
_
+C.
(5.4) Integration des fractions rationnelles. Une fraction rationnelle est une
fonction denie comme le quotient P/Q de deux polynomes P et Q à coecients reels
ou complexes. La division euclidienne de P par Q secrit P = EQ+R avec un quotient
E et un reste R qui sont des polynomes tels que deg R < deg Q. On a alors
P
Q
= E +
R
Q
.
Le quotient E sappelle aussi la partie entière de la fraction rationnelle, et R/Q la
partie polaire. Elle est telle que lim
x
R(x)/Q(x) = 0.
(5.4a) Cas o` u Q(x) = (x )
m
. En ecrivant R comme un polynome en X = x ,
soit R(x) =
0j<m
c
j
(x )
j
, on voit que P/Q admet une ecriture de la forme
P(x)
Q(x)
= E(x) +
m
j=1
j
(x )
j
.
Si est reel, la primitive se calcule sans peine puisque
_
1
x
dx = ln|x | +C,
_
1
(x )
j
dx =
1
j 1
1
(x )
j1
+C si j > 1.
(5.4b) Cas o` u Q est un trin ome du second degre. Si Q(x) = ax
2
+ bx + c, le
calcul des racines reelles ou complexes donne une factorisation Q(x) = a(x)(x).
Si les racines , sont reelles et distinctes, on ecrit
1
(x )(x )
=
1

_
1
x

1
x
_
,
ce qui donne aussitot
_
1
(x )(x )
dx =
1

ln
x
x
+C.
Dans le cas dun trinome reel ax
2
+bx+c de discriminant = b
2
4ac < 0, les racines
sont complexes et on procède dieremment. On a en eet
Q(x) = a
__
x +
b
2a
_
2

4a
2
_
= a
_
(x )
2
+
2
_
avec = b/2a et =
_
||/2|a|, les racines complexes etant = +i, = i.
Après division euclidienne de P par Q, on est ramene à integrer des expressions de la
forme
_
x +
(x )
2
+
2
dx.
Dans ce cas on ecrit x + = (x ) + ( + ) et on observe que (x ) est la
moitie de la derivee du denominateur, ce qui donne
_
x +
(x )
2
+
2
dx =
_
(x )
(x )
2
+
2
dx +
_
+
(x )
2
+
2
dx
=
1
2
ln
_
(x )
2
+
2
_
+ ( +)
_
1
(x )
2
+
2
dx
=
1
2
ln
_
(x )
2
+
2
_
+
+
arctan
x
+C.
I.6. Calcul daires et de volumes 23
6. Calcul daires et de volumes
Nous commencerons par une application concrète très importante qui est le calcul des
aires et des volumes.
(6.1) Calcul daires
(7)
. Par denition meme, lintegrale dune fonction f calcule laire
algebrique situee sous son graphe. Pour un domaine plan quelconque, la frontière est
en general delimitee par les graphes de plusieurs fonctions (deux au moins, davantage
si le domaine comporte des

trous
ou des

renfoncements
).
A
a b
x x +dx
y
f(x)
g(x)
(x) dx
Fig. 8. Aire dun domaine delimite par des graphes de fonctions.
Comme on le voit par soustraction des aires situees sous les graphes de f et g
respectivement (et en rempla cant si necessaire f, g par f + C, g + C pour avoir des
fonctions positives), laire du domaine plan est egale à la dierence
A =
_
b
a
g(x) dx
_
b
a
f(x) dx.
Laire dun tel domaine plan est donc donnee par lintegrale par rapport à x de la
longueur (x) = g(x) f(x) des sections

verticales
du domaine :
A =
_
b
a
(x) dx =
_
b
a
_
g(x) f(x)
_
dx.
`
A titre dexemple, cherchons laire delimitee par lellipse
x
2
a
2
+
y
2
b
2
= 1, de demi-axes
a et b. Le domaine delimite par lellipse est compris entre les graphes des fonctions
g(x) = b
_
1 (x/a)
2
et f(x) = g(x) pour x [a, a], ce qui donne
A =
_
a
a
2g(x) dx = 2b
_
a
a
_
1
x
2
a
2
dx.
Le changement de variable x = a sint avec t [/2, /2] donne dx = a cos t dt, do` u
A = 2ab
_
/2
/2
cos
2
(t) dt = 2ab
_
/2
/2
1 + cos 2t
2
dt = ab.
(6.2) Calcul de volumes
(7)
. La procedure est essentiellement la meme : on eectue
des sections planes (disons par exemple en coupant par un plan horizontal z = Cte),
et on suppose connue laire S(z) dune telle section plane (cette aire aura en general
ete evaluee elle-meme par un calcul integral comme explique au paragraphe 6.1).
V
b
a
z
z +dz
x, y
z
S(z) dz
Fig. 9. Calcul dun volume par tranchage dans la direction z.
Dans ce cas, le volume est donne par
V =
_
b
a
S(z) dz.
Une application immediate est le calcul du volume de la boule de rayon R dequation
x
2
+y
2
+z
2
R
2
. Laire de la section z = Cte est laire S(z) = (R
2
z
2
) du disque
x
2
= y
2
R
2
z
2
de rayon
R
2
z
2
. On trouve donc
V =
_
R
R
(R
2
z
2
) dz = 2
_
R
0
(R
2
z
2
) dz = 2
_
R
2
z z
3
/3
R
0
=
4
3
R
3
.
Une autre application est la formule donnant le volume dun cone eventuellement
oblique
ayant une base daire A connue et une hauteur h.

On entend ici par cone la reunion des segments issus dun point (sommet), ayant pour
autre extremite un point quelconque dun domaine plan (choisi comme base). Pour
faire le calcul, il est commode de choisir le sommet du cone comme origine.
(7)
La denition de laire (et de meme du volume), pour des domaines

mesurables
arbitraires de R
2
et de
R
3
requiert des concepts sophistiques de la theorie de lintegration que nous ne pouvons pas developper
ici. La demonstration complète des formules 6.1 et 6.2 sappuie ainsi sur le celèbre theorème dit de
Fubini. Nous renvoyons ` a la section 18 de notre expose complet pour une preuve detaillee dans le
cadre de la theorie de lintegrale de Henstock-Kurzweil. Il nest pas incorrect ici de considerer que les
formules donnees pour la surface et le volume sont en quelque sorte des denitions de ces grandeurs.
I.7. Encadrement par des fonctions en escalier et integrabilite 25
S(z)
z
h
z
z +dz
0
A
V
Fig. 10. Calcul du volume dun cone.
Comme laire de lhomothetique de rapport dun domaine plan est multipliee par
2
,
et comme le domaine daire S(z) est homothetique du domaine daire A dans le rapport
= z/h, on a
S(z) =
z
2
h
2
A.
On en deduit que le volume du cone vaut
V =
_
h
0
S(z) dz =
_
h
0
z
2
h
2
Adz =
_
1
3
z
3
_
h
0
1
h
2
A,
ce qui prouve la formule classique
V =
1
3
Ah.
On peut appliquer le meme raisonnement pour un cone spherique, cest-à-dire un cone
ayant pour sommet le centre dune sphère, et pour base un domaine de cette sphère
(plutot quun domaine plan). Si R est le rayon de la sphère et A laire du domaine
spherique, on trouve alors comme precedemment V =
1
3
AR. Dans le cas o` u la base est
la sphère toute entière, le cone est la boule elle-meme, do` u V =
4
3
R
3
. On en deduit
ainsi la valeur de laire de la sphère
A = 4R
2
.
7. Encadrement par des fonctions en escalier. Integrabilite des
fonctions continues ou monotones par morceaux
(8)
Nous nous proposons de demontrer ici que quelques classes usuelles de fonctions (no-
tamment les fonctions continues ou monotones par morceaux) sont integrables.
(8)
`
A partir de ce point, le niveau theorique de lexpose augmente sensiblement, nous considerons donc
que cela relève plut ot de lenseignement superieur le theorème (7.10) peut etre admis demblee en
Terminale si lon souhaite ensuite etre en mesure denoncer et de demontrer le corollaire 7.7.
Soit f : [a, b] R une fonction bornee. Lidee est de considerer des encadrements
(7.1) f
de f par des fonctions en escalier , , comme gure sur le schema ci-dessous.
a b u
i
u
i+1 x
c
i
d
i
y
f
Fig. 11. Encadrement dune fonction bornee f par des fonctions en escalier.
On peut supposer ici que les fonctions en escalier et sont exprimees au moyen de
la meme subdivision a = u
0
< u
1
< . . . < u
p
= b, sinon il est toujours possible de
redecouper les subdivisions qui les denissent pour arriver à une subdivision commune
[de plus, comme les valeurs (u
i
), (u
i
) ne jouent pas de role dans les integrales, on
peut choisir par exemple (u
i
) = (u
i
) = f(u
i
) ]. Dans cette situation, lerreur due à
lencadrement de laire est precisement
(7.2)
_
b
a
(x) dx
_
b
a
(x) dx =
0ip1
(d
i
c
i
)(u
i+1
u
i
)
(somme des aires des rectangles dessines en grise sur la Fig. 11). On obtient ainsi le
(7.3) Critère dintegrabilite au sens de Riemann. Soit f : [a, b] R une
fonction. On suppose que pour tout > 0 il existe un encadrement f de f
par des fonctions en escalier , telles que
_
b
a
(x) dx
_
b
a
(x) dx =
0ip1
(d
i
c
i
)(u
i+1
u
i
) .
Alors f est integrable au sens de Riemann sur [a, b] et on a
_
b
a
f(x) dx = sup
_
_
b
a
(x) dx ; f
_
= inf
_
_
b
a
(x) dx ; f
_
.
Demonstration. Considerons les ensembles de valeurs prises par les integrales de
fonctions en escalier qui minorent et qui majorent, cest-à-dire
E
1
=
_
_
b
a
(x) dx ; f
_
, E
2
=
_
_
b
a
(x) dx ; f
_
,
et S = sup E
1
, I = inf E
2
, Il est clair que pour tout A
1
=
_
b
a
(x) dx E
1
et tout
A
2
=
_
b
a
(x) dx E
2
on a A
1
A
2
. Lhypothèse de la condition signie que pour un
choix adequat de , on a A
2
A
1
. Ceci entrane bien S = sup E
1
= I = inf E
2
.
Comme toute fonction en escalier est integrable avec des jauges constantes (cf. exemple
2.4), il existe
1
> 0,
2
> 0 tels que
D = {([a
j
, a
j+1
], x
j
)}, h
j

1
pour tout j |S
D
() A
1
| ,
D = {([a
j
, a
j+1
], x
j
)}, h
j

2
pour tout j |S
D
() A
2
| .
Or nous avons A
1
S = I A
2
et A
2
A
1
. Prenons une subdivision pointee
D = ([a
j
, a
j+1
], x
j
) veriant h
j
= min(
1
,
2
). Nous obtenons dans ces conditions
S
D
() S
D
(f) S
D
(), donc
S
D
(f) S
D
() A
2
+ I + 2, S
D
(f) S
D
() A
1
S 2.
Par suite en posant A = S = I il vient |S
D
(f) A| 2. La susance du critère
dintegrabilite est demontree.
(7.4)* Complement. Le critère 7.3 est en fait une condition necessaire et susante
pour que f soit integrable au sens de Riemann sur [a, b].
Demonstration. Pour voir la necessite de la condition, supposons f : [a, b] R
Riemann-integrable et soient > 0 et > 0 satisfaisant la denition 2.5. Considerons
une subdivision pointee -ne D = {([a
j
, a
j+1
], x
j
)} quelconque. En faisant varier
independamment chaque x
j
dans lintervalle [a
j
, a
j+1
], on trouve
sup
{x
j
}
S
D
(f) = sup
{x
j
}
N1
j=0
f(x
j
)(a
j+1
a
j
) =
N1
j=0
M
j
(a
j+1
a
j
),
inf
{x
j
}
S
D
(f) = inf
{x
j
}
N1
j=0
f(x
j
)(a
j+1
a
j
) =
N1
j=0
m
j
(a
j+1
a
j
)
o` u M
j
= sup
x[a
j
,a
j+1
]
f(x), m
j
= inf
x[a
j
,a
j+1
]
f(x). Puisque A S
D
(f) A+,
on voit en passant au sup et à linf que
A
N1
j=0
m
j
(a
j+1
a
j
)
N1
j=0
M
j
(a
j+1
a
j
) A+.
Ceci entrane en particulier quaucune des bornes M
j
ne peut etre egale à + et
quaucune des bornes m
j
ne peut etre egale à , et par consequent que f est bornee.
Si on denit les fonctions en escalier , par
(x) = m
j
, (x) = M
j
si x ]a
j
, a
j+1
[, (a
j
) = (a
j
) = f(a
j
),
on obtient un encadrement f tel que
_
b
a
(x) dx
_
b
a
(x) dx 2,
et on voit que la condition du critère 7.3 est bien satisfaite.
Une application directe de 7.3 est la preuve de lintegrabilite des fonctions monotones
ou continues (dans la suite de ce paragraphe, tous les resultats concerneront donc
lintegrabilite au sens de Riemann.)
(7.5) Theorème. Toute fonction f : [a, b] R monotone est integrable au sens de
Riemann sur [a, b].
Demonstration. Supposons par exemple f croissante et soit a = u
1
< . . . < u
p
= b une
subdivision -ne de [a, b], o` u > 0 est une constante. De manière evidente, on denit
un encadrement f de f par des fonctions en escalier en posant
(x) = f(u
j
) sur ]u
j
, u
j+1
[, (x) = f(u
j+1
) sur ]u
j
, u
j+1
[
(et (u
j
) = (u
j
) = f(u
j
) comme dejà convenu). Ceci donne
_
b
a
(x) dx
_
b
a
(x) dx =
0jN1
_
f(u
j+1
) f(u
j
)
_
(u
j+1
u
j
)

0jN1
_
f(u
j+1
) f(u
j
)
_
=
_
f(b) f(a)
_
.
On voit ainsi que la condition 7.3 est veriee en prenant assez petit.
(7.6) Theorème Toute fonction f : [a, b] R continue est integrable au sens de
Riemann sur [a, b].
Demonstration. Soit > 0. La continuite de f en tout point x [a, b] implique
lexistence dun reel (x) > 0 tel que
x
[a, b], x
[x (x), x +(x)] |f(x
) f(x)| .
Soit D = ([a
j
, a
j+1
], x
j
)
0j<N
une subdivision pointee -ne. En prenant x = x
j
et en
faisant parcourir à x
lintervalle [a
j
, a
j+1
] [x
j
(x
j
), x
j
+ (x
j
)], on deduit de la
majoration |f(x
) f(x
j
)| que les bornes inf et sup
m
j
= inf
x
[a
j
,a
j+1
]
f(x
), M
j
= sup
x
[a
j
,a
j+1
]
f(x
)
sont comprises entre f(x
j
) et f(x
j
) +, par consequent M
j
m
j
2. On obtient
ainsi un encadrement f de f par des fonctions en escalier , telles que
(x) = m
j
, (x) = M
j
si x ]a
j
, a
j+1
[, (a
j
) = (a
j
) = f(a
j
),
et de plus
_
b
a
(x) dx
_
b
a
(x) dx =
0jN1
(M
j
m
j
)(a
j+1
a
j
)
2
0jN1
a
j+1
a
j
= 2(b a).
Ceci montre que le critère 7.3 est satisfait, donc f est integrable.
(9)
(7.7) Theorème. Toute fonction continue f : [a, b] R admet une primitive F,
donnee par
F(x) =
_
x
a
f(t) dt, x [a, b].
Les autres primitives sont les fonctions de la forme F
1
(x) = F(x) + C o` u C est une
constante.
Demonstration. Nous savons que lintegrale donnant F(x) existe par le Theorème 7.6.
La relation de Chasles donne
F(x +h) F(x) =
_
x+h
x
f(t) dt
F(x +h) F(x)
h
=
1
h
_
x+h
x
f(t) dt.
Pour tout > 0, lhypothèse de continuite dit que f(x) f(t) f(x) + pour
|t x| (x), on a donc
f(x) =
1
h
_
x+h
x
(f(x) ) dt
F(x +h) F(x)
h

1
h
_
x+h
x
(f(x) +) dt = f(x) +
pour |h| (x), ce qui signie que
F
(x) = lim
h0
F(x +h) F(x)
h
= f(x).
Si on a une autre primitive F
1
, il vient (F
1
F)
= f
= 0, donc F
1
F = C
constante.
(7.8) Proposition.
(a) Si f : [a, b] R est une fonction continue positive ou nulle, on a
_
b
a
f(x) = 0 si et
seulement si f = 0.
(b) Si f, g : [a, b] R sont continues et f g, on a
_
b
a
f(x) dx <
_
b
a
g(x) dx dès que
f et g se sont pas egales.
(9)
On remarquera que dans cette preuve lutilisation explicite de la propriete de continuite uniforme de
la fonction f na pas ete necessaire, ce qui est une simplication appreciable susceptible de rendre la
preuve abordable dès la classe terminale [avec des vitamines tout de meme !].
Demonstration. (a) Si f nest pas nulle, il existe un point x
0
[a, b] tel que f(x
0
) > 0,
et on pose alors = f(x
0
)/2. La continuite de f en x
0
implique quil existe un
intervalle [x
0
, x
0
+] (ou [x
0
, x
0
], si x
0
= b) sur lequel f(x) f(x
0
)| . On voit
donc quil existe un sous-intervalle [c, d] de de [a, b] de longueur dc = > 0 sur lequel
f(x) f(x
0
) . Par suite
_
b
a
f(x) dx
_
d
c
f(x) dx (d c) > 0.
(b) Si f g et f = g, alors h = g f 0 nest pas nulle, donc
_
b
a
h(x) dx > 0
daprès (a).
(7.9) Formule de la moyenne. Soit f : [a, b] R une fonction continue. Alors il
existe un point c ]a, b[ tel que la

valeur moyenne de f sur [a, b]
soit egale ` a f(c) :

1
b a
_
b
a
f(x) dx = f(c).
Demonstration. Soit m = min
[a,b]
f, M = max
[a,b]
f. Supposons dabord f non cons-
tante. Daprès la proposition 7.8 (b) appliquee aux inegalites m f M, nous
avons
m(b a) <
_
b
a
f(x) dx < M(b a), soit m <
1
b a
_
b
a
f(x) dx < M.
La formule de la moyenne est donc une consequence du theorème des valeurs in-
termediaires, puisque f(]a, b[) est un intervalle qui contient lintervalle ]m, M[. Si f est
egale à une constante C, le resultat est evident, les deux membres de la formule etant
egaux à C quel que le soit le choix de c ]a, b[.
(7.10) Une generalisation. On dit quune fonction f : [a, b] R est continue (resp.
monotone) par morceaux sil existe une subdivision
a =
0
<
1
<
2
< . . . <
N1
<
N
= b
telle que f soit continue (resp. monotone) sur chaque intervalle ]
j
,
j+1
[ et possède
des limites ` a droite et ` a gauche nies en chaque point
j
tel que j < N (resp. j > 0).
Toute fonction continue ou monotone par morceaux est integrable au sens de Riemann.
Demonstration. En eet, la restriction f
|[
j
,
j+1
]
dière dune fonction continue (resp.
monotone) par une fonction en escalier nulle sur ]
j
,
j+1
[ (et prenant des valeurs
adequates en
j
et
j+1
). Par consequent f
|[
j
,
j+1
]
est integrable au sens de Riemann,
et lintegrabilite de f sur [a, b] resulte de la relation de Chasles.
Nous demontrons maintenant une generalisation du theorème fondamental 4.1. Obser-
vons dabord que comme une fonction nulle sauf sur un ensemble ni est dintegrale
nulle (remarque 3.2), on peut envisager dintegrer des fonctions f qui sont seulement
denies sur le complementaire [a, b] E dun ensemble ni E : on se ramène au cas
dune fonction partout denie en etendant f arbitrairement sur [a, b], par exemple en
posant

f(x) = 0 sur E. Lintegrale ainsi calculee est independante du prolongement

f
choisi.
(7.11) Theorème. Soit f : [a, b] R une fonction continue. On suppose quil existe
un ensemble ni E = {u
i
; 1 i p} tel que f soit derivable sur [a, b] E. Alors f
(etendue arbitrairement aux points u

i
) est integrable sur [a, b] et on a
_
b
a
f
(x) dx = f(b) f(a).

Demonstration.
Supposons pour simplier f
denie par f
(u
i
) = 0 aux points o` u f
nest pas derivable. On reprend la demonstration du theorème 4.1. La derivabilite de
f sur [a, b] E implique lexistence dune fonction : [a, b] E ]0, +[ telle que
y [a, b], y [x (x), x +(x)]
f(y) f(x) (y x)f
(x)
|y x|
pour tout x [a, b] E, ce qui donne
f(a
j+1
) f(a
j
) (a
j+1
a
j
)f
(x
j
)
|a
j+1
a
j
|
pour toute subdivision pointee D = {([a
j
, a
j+1
], x
j
)} -ne, lorsque x
j
[a, b] E.
Dautre part, si x
j
= u
i
E, la continuite de f au point u
i
entrane lexistence de
i
> 0 tel que tout point x [u
i
i
, u
i
+
i
] satisfasse |f(x) f(u
i
)| 2
i
. On pose
alors (u
i
) =
i
. Dans ce cas il vient |f(a
j+1
) f(a
j
)| 2 2
i
si x
j
= u
i
, ce qui donne
f(a
j+1
) f(a
j
) (a
j+1
a
j
)f
(x
j
)
2 2
i
.
En sommant toutes ces inegalites, il vient
f(b) f(a) S
D
(f
(b a) + 2,
(car
1ip
2 2
i
2), ce qui demontre le theorème.
(7.12)* Remarque. On peut voir facilement que le theorème 7.11 est en fait encore
vrai avec un ensemble E = {u
i
}
iN
denombrable.
(7.13) Corollaire. Si f : ]a, b[ R admet une primitive F sur ]a, b[, et si cette
primitive F admet une limite ` a droite F(a + 0) en a et une limite ` a gauche F(b 0)
en b, alors f est integrable sur [a, b] (si f nest pas a priori denie en a et b, on peut
lui attribuer des valeurs f(a), f(b) R arbitraires), et on a
_
b
a
f(x) dx = F(b 0) F(a + 0) = lim
xb0
F(x) lim
xa+0
F(x).
Demonstration. Il sut en eet de prolonger F par continuite sur [a, b] en posant
F(a) = lim
xa+0
F(x) et F(b) = lim
xb0
F(x), puis dappliquer le theorème 7.11 à
sa derivee F
qui est denie sur ]a, b[ = [a, b] E avec E = {a, b}.

Un exemple typique dapplication du corollaire 7.13 est celui de la fonction
f(x) =
1
1 x
2
sur lintervalle ] 1, 1[.
Dans ce cas, on a en eet une primitive F(x) = arcsin(x) qui se prolonge en une
fonction continue sur [1, 1]. On obtient par consequent
_
1
1
1
1 x
2
dx = arcsin(1) arcsin(1) = .
Plus generalement, le corollaire 7.13 nous amène à la denition des

integrales im-
propres
.
(7.14) Integrales

impropres
. Soit I = [a, b[ R un intervalle semi-ouvert, o` u

b R {+}, et soit f : [a, b[ R une fonction integrable (par exemple continue
ou monotone par morceaux) sur tout intervalle [a, ] [a, b[. On dit que lintegrale
_
b
a
f(x) dx est convergente au point b si la limite
A = lim
b
_

a
f(x) dx
existe dans R (en particulier nie), et on pose alors
_
b
a
f(x) dx = A.
On donne une denition analogue dans le cas dun intervalle semi-ouvert ]a, b],
a R {}, en considerant la limite lim
a
+
_
b
f(x) dx avec [, b] ]a, b], et on

dit quon a convergence sur un intervalle ouvert ]a, b[ si les integrales sur ]a, c] et [c, b[
convergent pour tout point intermediaire c ]a, b[.
(7.15) Exemples. On veriera que les integrales
_
1
0
1
x
a
dx =
1
1 a
,
_
+
1
1
x
b
dx =
1
b 1
convergent respectivement pour a < 1 et b > 1, et que
_
+
0
e
cx
dx =
1
c
converge pour tout c > 0. En utilisant le calcul de la primitive de x
n
e
x
donne au
point (5.1 a), on obtient egalement le resultat classique
_
+
0
x
n
e
x
dx = n! .
I.8. Convergence uniforme, continuite et derivabilite en fonction de paramètres 33
(7.16)** Convergence absolue. Soit f : [a, b[ R une fonction HK-integrable
sur tout intervalle ferme borne [a, ]. On dit que lintegrale
_
b
a
f(x) dx est absolument
convergente si de plus |f| est HK-integrable sur chaque intervalle [a, ] [a, b[ et si la
limite
lim
b
_

a
|f(x)| dx
existe dans R (donc en particulier si elle est nie).
On donne une denition analogue dans le cas dun intervalle semi-ouvert ]a, b],
a R {}, en considerant la limite lim
a
+
_
b
f(x) dx avec [, b] ]a, b], et on

dit quon a convergence sur un intervalle ouvert ]a, b[ si les integrales sur ]a, c] et [c, b[
convergent pour tout point intermediaire c ]a, b[.
Le critère de Cauchy
permet de voir quil y a convergence (resp. convergence absolue)

de lintegrale sur [a, b[ si et seulement si pour tout > 0 il existe
< b tel que pour

tous , [
, b[, < , on ait
f(x) dx
, resp.
_

|f(x)| dx .
Comme
f(x) dx
|f(x)| dx, il est clair que la convergence absolue implique la

convergence.
8. Convergence uniforme, continuite et derivabilite dintegrales
en fonction de paramètres**
Soit f
n
: [a, b] R une suite de fonctions reelles. On dit que la suite (f
n
) converge
uniformement vers une limite f : [a, b] R, si la distance uniforme de f
n
à f tend
vers 0 cest-à-dire si
d(f
n
, f) = sup
x[a,b]
|f
n
(x) f(x)| 0.
(8.1) Theorème de convergence uniforme. Soit f
n
: [a, b] R une suite de
fonctions reelles convergeant uniformement vers une limite f. Si les fonctions f
n
sont
Riemann-integrables (resp. HK-integrables), alors f est Riemann-integrable (resp. HK-
integrable) et
lim
n+
_
b
a
f
n
(x) dx =
_
b
a
f(x) dx.
Demonstration. Posons A
n
=
_
b
a
f
n
(x) dx. Soit > 0 et n
0
tels que |f
n
f| pour
n n
0
. Nous avons |f
p
f
q
| 2 pour p, q n
0
, do` u |A
p
A
q
| 2(b a). La suite
(A
n
) est donc une suite de Cauchy, par consequent la limite A = lim
n+
A
n
existe.
De plus, il existe une jauge (resp. une jauge constante dans le cas de lintegrabilite
au sens de Riemann) telle que pour toute subdivision pointee D de pas h
j
(x
j
)
on ait |S
D
(f
n
0
) A
n
0
| . Il vient à la limite |A A
n
0
| 2(b a) tandis que
|S
D
(f) S
D
(f
n
0
)|

|f(x
j
) f
n
0
(x
j
)| h
j
(b a). En mettant bout à bout ces
inegalites il vient
|S
D
(f) A| + 3(b a),
donc f est bien integrable sur [a, b] dintegrale A = limA
n
.
(8.2) Remarque. Pour obtenir lintegrabilite au sens de Henstock-Kurzweil de la
limite f = limf
n
, il surait davoir une estimation de la forme |f
n
f|
n
g avec
g 0 HK-integrable (non necessairement bornee) et
n
0. Nous obtiendrons de
toutes fa cons des theorèmes de convergence beaucoup meilleurs encore dans ce cas,
cf. chapitre II.
Rappelons quune fonction f : I R denie sur un intervalle I est dite reglee si elle
admet une limite à droite et à gauche en tout point de linterieur I
, ainsi quune limite

à droite en a = inf I si a I et à gauche en b = sup I si b I.
(8.3) Lemme. Toute fonction reglee sur un intervalle ferme borne [a, b] est limite
uniforme de fonctions en escalier.
(8.4) Corollaire. Toute fonction reglee sur sur un intervalle ferme borne [a, b] y est
Riemann-integrable.
Demonstration du lemme et de son corollaire. Soit > 0. Pour tout x [a, b], il
existe (x) > 0 et des constantes c
+
= lim
x+0
f(), c
= lim
x0
f() telles que
|f(x) c
| sur [x (x), x] [a, b] et |f(x) c

+
| sur [x, x + (x)] [a, b].
Daprès le lemme I.2.2, on peut trouver une subdivision pointee D = ([a
j
, a
j+1
], x
j
)
-ne. Ceci nous permet de denir une fonction en escalier en posant
(x
j
) = f(x
j
), (a
j
) = f(a
j
),
|]a
j
,x
j
[
= c
j
= lim
x
j
0
f(),
|]x
j
,a
j+1
[
= c
+
j
= lim
x
j
+0
f().
Par construction nous avons |f | sur [a, b]. Il en resulte que f est Riemann-
integrable comme limite uniforme de fonctions en escalier.
On va maintenant tirer du theorème de convergence uniforme les proprietes usuelles
de continuite et de derivabilite sous le signe somme des integrales dependant de para-
mètres. Des resultats beaucoup plus forts sont vrais, mais on aura besoin pour cela de
theorèmes de convergence plus subtils que le theorème 8.1 (cf. Chapitre II, section 5).
(8.5) Lemme. Soit T R
d
une partie quelconque et f : [a, b]T R, (x, t) f(x, t)
une application continue. Alors, si t
0
T, la famille de fonctions f
t
: x f(x, t)
converge uniformement vers la fonction f
t
0
: x f(x, t
0
) quand T t tend vers t
0
.
Autrement dit, pour tout > 0, il existe un voisinage V de t
0
tel que pour t T V ,
on ait |f(x, t) f(x, t
0
)| pour tout x [a, b].
Demonstration. Pour tout x
0
[a, b], lhypothèse de continuite au point (x
0
, t
0
)
implique quil existe un voisinage V
x
0
,t
0
de t
0
(dependant de x
0
) et un voisinage
U
(x
0
,t
0
)
= [x
0
(x
0
), x
0
+(x
0
)] V
x
0
,t
0
de (x
0
, t
0
)
tel que (x, t) U
(x
0
,t
0
)
([a, b] T) implique |f(x, t) f(x
0
, t
0
)| /2. En appliquant
ceci en particulier pour t = t
0
et en faisant la dierence, on voit que que pour tout
t T V
x
0
,t
0
et tout x [x
0
(x
0
), x
0
+(x
0
)] on a |f(x, t) f(x, t
0
)| . Daprès le
lemme I.2.2, il existe une subdivision pointee D = ([a
i
, a
i+1
], x
i
) de [a, b] qui est -ne.
Par consequent [a
i
, a
i+1
] [x
i
(x
i
), x
i
+(x
i
)], et en prenant t V =
i
V
x
i
,t
0
on
voit que la conclusion du lemme est veriee.
De là, on deduit aussitot le theorème de continuite des integrales dependant de para-
mètres.
(8.6) Continuite sous le signe somme. Soit T R
d
une partie quelconque et
f : [a, b] T R, (x, t) f(x, t) une application continue. Alors lapplication
F(t) =
_
b
a
f(x, t) dx
est continue sur T.
Demonstration. Avec les notations du lemme 8.5, on trouve
|F(t) F(t
0
)|
_
b
a
f(x, t) f(x, t
0
)
dx (b a)
pour t T V , ce qui prouve la continuite de F au point t
0
.
(8.7) Derivation sous le signe somme. Soit T un intervalle de la droite reelle et
f : [a, b] T R, (x, t) f(x, t) une fonction telle que
(a) f est continue sur [a, b] T ;
(b) f admet en tout point une derivee partielle
f
t
(x, t) qui est elle-meme continue
sur [a, b] T.
Alors lapplication F(t) =
_
b
a
f(x, t) dx est de classe C
1
sur T et pour tout t
0
T on a
F
(t
0
) =
_
b
a
f
t
(x, t
0
) dx .
Demonstration. Soit t T. En appliquant le theorème des accroissements nis à
t f(x, t) sur lintervalle [t
0
, t], on voit que
F(t) F(t
0
)
t t
0
=
_
b
a
f(x, t) f(x, t
0
)
t t
0
dx =
_
b
a
f
t
(x, c
t,x
) dx
pour un certain point c = c
t,x
]t
0
, t[. Soit > 0. En appliquant le lemme 8.5 à la
fonction continue g(x, t) =
f
t
(x, t), on voit quil existe un voisinage V = ]t
0
, t
0
+[
de t
0
tel que |
f
t
(x, t)
f
t
(x, t
0
)| pour tout x [a, b] et tout t V . Sous cette
hypothèse on a egalement c(x, t) ]t
0
, t[ V , donc |
f
t
(x, c
t,x
)
f
t
(x, t
0
)| et par
suite
F(t) F(t
0
)
t t
0
_
b
a
f
t
(x, t
0
) dx
_
b
a
_
f
t
(x, c
t,x
)
f
t
(x, t
0
))
_
dx
(b a).
On a donc bien F
(t
0
) =
_
b
a
f
t
(x, t
0
) dx, et cette relation montre que F
est continue
daprès le theorème 8.6.
Pour un paramètre t = (t
1
, . . . , t
d
) R
d
, nous avons le resultat analogue suivant.
(8.8) Dierentiabilite sous le signe somme. Soit T R
d
une partie ouverte et
f : [a, b] T R, (x, t) f(x, t) une fonction telle que
(a) f est continue sur [a, b] T ;
(b) f admet en tout point des derivees partielles
f
t
j
(x, t) qui sont elles-memes contin-
ues sur [a, b] T.
_
b
a
f(x, t) dx est de classe C
1
sur T et on a
F
t
j
(t) =
_
b
a
f
t
j
(x, t) dx.
Demonstration. Il sut en eet dappliquer le theorème de derivation sous le signe
somme separement pour chaque variable t
j
pour voir que les derivees partielles F/t
j
existent, et dinvoquer ensuite le theorème de continuite pour voir que ces derivees
partielles sont continues sur T.
Il est bon parfois de connatre egalement la formule de dierentiation sous le signe
somme dans le cas o` u lintegrale est calculee sur des intervalles dependant du paramètre.
(8.9) Formule generale de derivation sous le signe somme. Soient I R et
T R des intervalles. On considère une integrale de la forme
F(t) =
_
b(t)
a(t)
f(x, t) dx
o` u a, b : T I sont des fonctions de classe C
1
et f : I T R, (x, t) f(x, t)
une fonction continue admettant une derivee partielle
f
t
continue sur I T. Alors
lapplication F est de classe C
1
sur T et on a
F
(t) =
_
b(t)
a(t)
f
t
(x, t) dx +b
(t)f(b(t), t) a
(t)f(a(t), t).
Demonstration. On pose
(t, u, v) =
_
v
u
f(x, t) dx.
Pla cons-nous sur un sous-intervalle ferme borne T
= [t
1
, t
2
] T, et soit
A = min
tT
a(t) I, B = max
tT
b(t) I.
Nous avons [A, B] I, donc les hypothèses des theorèmes 8.5 et 8.6 sont satisfaites
sur [A, B] T
. On voit par consequent que admet des derivees partielles
t
=
_
v
u
f
t
(x, t) dx,

v
= f(v, t),

u
= f(u, t)
(pour cette dernière egalite, il sut dechanger les bornes u et v). De plus, ces trois
derivees partielles sont continues en les variables (t, u, v). Pour

u
et

v
cest clair par
hypothèse, tandis que pour

t
cela resulte de lestimation
t
(t, u, v)
t
(t
0
, u
0
, v
0
)
M(|uu
0
| +|v v
0
|)+
_
v
0
u
0
_
f
t
(x, t)
f
t
(x, t
0
)
_
dx
dans laquelle M est un majorant de |

f
t
| sur la pave [A, B] T
. On deduit de tout
cela que (t, u, v) et F(t) = (t, a(t), b(t)) sont de classe C
1
. De plus
F
(t) =

t
(t, a(t), b(t)) +

u
(t, a(t), b(t)) a
(t) +

v
(t, a(t), b(t)) b
(t)
ce qui donne la formule (8.9) attendue.
Chapitre II
Theorèmes de convergence
Nous etablissons ici un pont direct entre la theorie de Henstock-Kurzweil et la theorie
de la mesure. Ceci se fait en observant que lintegrale de jauge satisfait les theorèmes
de convergence fondamentaux que sont le theorème de convergence monotone et le
theorème de convergence dominee. Ceci permet detablir de manière naturelle lexis-
tence de la mesure de Lebesgue dans R.
1. Lemme de Henstock et theorème de Hake
Le but du lemme de Henstock est dobtenir des estimations nes pour les sommes de
Riemann calculees sur des familles de sous-intervalles de [a, b] qui ne constituent pas
necessairement un decoupage complet. Nous aurons dabord besoin du critère dinte-
grabilite de Cauchy, qui donne une condition necessaire et susante dintegrabilite sans
quil soit necessaire de faire intervenir la valeur A de lintegrale.
(1.1) Critère de Cauchy. Soit [a, b] : P R une fonction denie sur un intervalle
[a, b] ferme borne. Pour que f soit HK-integrable (resp. Riemann-integrable), il faut
et il sut que pour tout > 0 il existe une jauge : [a, b] R
+
(resp. une
constante > 0), telle que pour toutes subdivisions pointees D et D
-nes on ait
|S
D
(f) S
D
(f)| .
Demonstration. Si f est HK-integrable dintegrale A, pour chaque jauge qui est /2-
adaptee à f, les inegalites |S
D
(f) A| /2 et |S
D
(f) A| /2 pour D, D
-nes
entranent |S
D
(f) S
D
(f)| . La reciproque est une consequence de la completude
de R, ou, de fa con equivalente, de lexistence de bornes superieures et inferieures pour
les parties bornees de R. En eet, supposons que pour tout entier n 1 il existe une
jauge
n
telle que
|S
D
(f) S
D
(f)|
n
= 1/n lorsque D et D
sont
n
-nes.
Quitte à remplacer
n
par min(
1
,
2
, . . . ,
n
) on peut supposer la suite
n
decroissante.
Lencadrement precedent montre que les quantites
M
= sup
_
S
D
(f) ; D
-ne
_
sont bornees et verient |M
S
D
(f)| 1/n pour tout n et toute subdivision D
n
-ne. De plus la suite (M
) est decroissante bornee, et si on pose A = inf{M
}, on
trouve |AS
D
(f)| 1/n pour toute subdivision D
n
-ne. Ceci implique
lim
HK, D
S
D
(f) = A = inf
>0
M
, donc f HK-integrable dintegrale A.

Nous aurons besoin aussi du resultat elementaire suivant qui complète lenonce de
la relation de Chasles, en nous limitant au cas des fonctions integrables au sens de
Henstock-Kurzweil (la preuve pour les fonctions Riemann-integrables serait identique).
(1.2) Proposition. Soit f : [a, b] R une fonction HK-integrable. Alors la restriction
f
|[c,d]
` a tout sous-intervalle [c, d] [a, b] est encore HK-integrable.
Demonstration. On utilise le critère de Cauchy.

Etant donne > 0, il existe une jauge
sur [a, b] telle que |S
D
(f) S
D
(f)| pour toutes subdivisions pointees -nes D
et D
. Soient maintenant et
deux subdivisions pointees de [c, d] qui sont

|[c,d]
-
nes. Quitte à les completer par des subdivisions pointees de [a, c] et [d, b] qui soient
|[a,c]
-ne et
|[d,b]
-ne (les memes pour et
!), on obtient des subdivisions pointees

-nes D et D
de [a, b]. Par consequent

|S
(f) S
(f)| = |S
D
(f) S
D
(f)| .
La proposition est demontree.
(1.3) Lemme de Henstock. Soit f : [a, b] R une fonction HK-integrable sur [a, b].
Soient > 0 et une jauge -adaptee ` a f sur [a, b]. Soient enn ([a
i
, b
i
])
1iN
des
sous-intervalles de [a, b] dinterieurs deux ` a deux disjoints, et x
i
[a
i
, b
i
], 1 i N,
des points choisis dans ces sous-intervalles. Si ceux-ci sont -ns, cest-` a-dire si
b
i
a
i
(x
i
), alors
i=1
f(x
i
)(b
i
a
i
)
N
i=1
_
b
i
a
i
f(x) dx
; (a)
N
i=1
f(x
i
)(b
i
a
i
)
_
b
i
a
i
f(x) dx
2. (b)
Demonstration. Soit > 0 arbitrairement petit. On considère les intervalles [c
j
, d
j
]
formant les composantes connexes de [a, b]
i
]a
i
, b
i
[ et
j
une jauge sur [c
j
, d
j
]
choisie de sorte que
S
D
j
(f)
_
d
j
c
j
f(x) dx

pour toute subdivision pointee
j
-ne D
j
de [c
j
, d
j
]. En prenant la reunion des
([a
i
, b
i
], x
i
) et des D
j
, on obtient une subdivision pointee -ne de [a, b], par consequent
i
f(x
i
)(b
i
a
i
) +
j
S
D
j
(f)
_
b
a
f(x) dx
.
II.1. Lemme de Henstock et theorème de Hake 41
En soustrayant toutes les inegalites precedentes et en tenant compte du fait que
_
b
a
f(x) dx =
i
_
b
i
a
i
f(x) dx +
j
_
d
j
c
j
f(x) dx, il vient
i
f(x
i
)(b
i
a
i
)
i
_
b
i
a
i
f(x) dx
+k
o` u k est le nombre dintervalles [c
j
, d
j
] mis en jeu. Comme > 0 est arbitraire,
linegalite (a) sensuit.
Pour obtenir (b), on applique separement linegalite (a) aux intervalles [a
i
, b
i
] pour
lesquels f(x
i
)(b
i
a
i
)
_
b
i
a
i
f(x) dx 0 (resp. 0), et on fait la somme.
Corollaire 1.4. Pour toute fonction f HK-integrable sur [a, b], lintegrale indenie
x
_
x
a
f(t) dt est continue sur [a, b].
Demonstration. Il sagit de prouver que x [a, b],
_
x+h
x
f(t) dt tend vers 0 avec h.
Soit > 0 et une jauge -adaptee à f sur [a, b]. Prenons h tel que |h| (x). En
appliquant le lemme de Henstock 1.3 (a) à lunique intervalle [a
1
, b
1
] = [x, x +h] avec
x
1
= x [a
1
, b
1
], il vient
f(x)h
_
x+h
x
f(t) dt
,
donc
_
x+h
x
f(t) dt
+|f(x)h| 2
pour |h| min((x), /|f(x)|). La proposition est demontree.
On se propose maintenant de donner la denition de lintegrale de Henstock-Kurzweil
sur un intervalle quelconque I de R, non necessairement ferme ni borne. La de-
nition est essentiellement identique, excepte le fait que les subdivisions pointees
D = {([a
j
, a
j+1
], x
j
)}
0j<N
ne sont plus supposees recouvrir tout lintervalle I (du
fait que la fonction f nest pas necessairement denie aux bornes et que lintervalle
dintegration est peut-etre inni). Au lieu de cela, on suppose que le support
Supp(D) = [a
0
, a
N
] est un sous-intervalle ferme borne [, ] I

assez grand
. La
denition generale peut donc se formuler comme suit.
(1.5) Denition. Une fonction f : I R denie sur un intervalle I R est dite
integrable au sens de Henstock-Kurzweil (HK-integrable) sil existe un reel A tel que
pour toute erreur > 0 donnee a priori, on puisse trouver un intervalle ferme borne
[
] I et une jauge : I R, (x) > 0, telle que pour toute subdivision pointee
D = {([a
j
, a
j+1
], x
j
)} avec [
] Supp(D) = [a
0
, a
N
] I, on ait
h
j
(x
j
) pour tout j |S
D
(f) A| .
Dans ce cas, on note
A =
_
I
f(x)dx,
et on appelle A lintegrale de f sur I.
Observons que si I contient lune de ses bornes on peut toujours supposer que [
]
contient aussi cette borne, puisque ceci ne fait que reduire lensemble des subdivisions
D à considerer ; on fera toujours cette hypothèse. Si I est ferme borne on est donc
conduit à prendre [
] = I, de sorte que la denition 1.5 est equivalente à celle

dejà donnee. Notons tout de suite la caracterisation simple suivante, qui montre que
calculer des integrales HK sur des intervalles non fermes bornes est la meme chose que
de calculer ce que lon appelle parfois des

integrales impropres
, à savoir des limites

dintegrales prises par rapport à leurs bornes.
(10)
(1.6) Theorème de Hake. La fonction f : I R est HK-integrable sur un intervalle
I = [a, b[ (b R {+}) si et seulement si elle est HK-integrable sur tout intervalle
ferme borne [a, ] avec < b et si lim
b
_
a
f(x) dx existe. Dans ce cas
_
[a,b[
f(x) dx = lim
b
_

a
f(x) dx.
Demonstration. 1) Supposons f HK-integrable sur [a, b[ dintegrale A =
_
[a,b[
f(x) dx.
Soit > 0. La denition 1.5 implique lexistence de
< b et dune jauge sur [a, b[ telle

que |S
D
(f)A| pour toute subdivision pointee -ne D veriant Supp(D) [a,
].
En particulier |S
D
(f)S
D
(f)| 2 si D et D
sont deux telles subdivisions. Si et
sont deux subdivisions pointees -nes de meme support [a, ], on peut les completer
sur [,
] par une subdivision -ne pour obtenir D et D
qui seront -nes sur [a,
]
(si
, on prend simplement D = , D
). Ceci donne
|S
(f) S
(f)| |S
D
(f) S
D
(f)| 2,
et le critère de Cauchy implique alors comme dans la proposition 1.5 que f est HK-
integrable sur [a, ]. De plus, si on prend
, les sommes de Riemann S
(f) -nes
de support [a, ] verient |S
(f) A| , et par passage à la limite on a
_

a
f(x) dx A
.
Par consequent lim
b
_
a
f(x) dx = A =
_
[a,b[
f(x) dx.
2) Inversement, supposons que f soit HK-integrable sur tout intervalle [a, ], < b,
et que A = lim
b
_
a
f(x) dx existe. Soit > 0 xe. Par hypothèse, on peut choisir
une suite strictement croissante (
k
)
k1
telle que
a
f(x) dx A
2
k
pour tout
[
k
, b[. Choisissons maintenant pour tout k 0 une jauge
k
sur [
k
,
k+1
] (avec
(10)
Ce mot

impropre
nest utilise que parce que le resultat correspondant ` a (1.6) nest vrai ni pour
lintegrale de Riemann ordinaire, ni meme pour lintegrale de Lebesgue. L` a encore, lintegrale de
Henstock-Kurzweil se revèle etre ` a la fois plus puissante et plus naturelle, les integrales impropres
deviennent des integrales

normales
! Bien entendu, si on souhaite alleger lexpose de la theorie et

introduire les

integrales impropres
sans avoir ` a etudier au prealable le lemme de Henstock, on peut

tout aussi bien prendre le theorème 1.6 comme denition de
_
[a,b[
f(x) dx.
II.1. Lemme de Henstock et theorème de Hake 43
0
= a), telle que
S
D
k
(f)
_
k+1
k
f(x) dx
2
k
pour toute subdivision
k
-ne D
k
de [
k
,
k+1
]. Comme dans la demonstration de la relation de Chasles, on denit une
jauge sur [a, b[ par
(x) =
_
_
_
0
(a) si x = a,
min(
k
(x), x
k
,
k+1
x) si x ]
k
,
k+1
[,
min(
k1
(
k
),
k
(
k
)) si x =
k
, k 1.
Alors toute subdivision -ne D dun intervalle [a, ],
k
<
k+1
, se decompose
en des subdivisions D
j
de [
j
,
j+1
] pour 0 j < k, et de [
k
, ] pour j = k. On a par
consequent
S
D
j
(f)
_
j+1
j
f(x) dx
2
j
pour j < k et
S
D
k
(f)
_
k
f(x) dx
2
k
daprès le lemme de Henstock. Comme S

D
(f) =
0jk
S
D
j
(f), il vient
|S
D
(f) A|
S
D
(f)
_

a
f(x) dx
_

a
f(x) dx A
0jk
2
j
+ 2
k
= 2
pour toute subdivision -ne D telle que
1
. Ceci signie que f est HK-integrable
sur [a, b[ et que
_
[a,b[
f(x) dx = A.
Bien entendu, on a un enonce analogue pour un intervalle dintegration de la forme
]a, b], a R {}, avec une preuve presque identique. De manière generale, nous
avons lenonce commode suivant.
(1.7) Theorème. Soit f : I R une fonction quelconque.
(a) Au sens de Henstock-Kurzweil, lintegrabilite de f sur I equivaut ` a lintegrabilite
de f sur tout intervalle I
I ayant memes extremites, et alors les integrales sur

I et I
sont egales.
(b) Si f est HK-integrable sur I, elle est HK-integrable sur tout sous-intervalle J I.
(c) Si I = J K est la reunion de deux intervalles adjacents, f est HK-integrable sur
I si et seulement si elle est HK-integrable sur J et sur K, et alors (relation de
Chasles)
_
I
f(x) dx =
_
J
f(x) dx +
_
K
f(x) dx.
Demonstration. On commence par observer que (c) est verie pour J = [a, b] ou ]a, b],
couple à K = [b, c] ou [b, c[. Le fait que lintegrabilite sur I implique lintegrabilite sur
J et K peut sobtenir directement par le critère de Cauchy, comme on la fait dans la
proposition 1.2, et la preuve de la relation de Chasles est identique à celle de (I.3.4).
On voit alors gr ace à (c) que la seule chose qui reste à demontrer est la suivante :
si f est denie sur un intervalle ferme borne [a, b], les conditions dintegrabilite sur
les deux intervalles [a, b] et [a, b[ (disons) sont equivalentes, et les integrales sont
egales. Or, il nest pas restrictif de travailler avec des jauges choisies en sorte que
(x) /(1 +|f(x)|) pour tout x. Dans ce cas chaque terme f(x
j
)h
j
des sommes de
Riemann est inferieur ou egal à |f(x
j
)|(x
j
) . La prise en compte de lintervalle
[a
N1
, b] et du terme extreme f(x
N1
)h
N1
= f(x
N1
)(b a
N1
) dans une somme de
Riemann sur [a, b] na donc aucune importance, et on voit que lintegrabilite sur [a, b[
implique lintegrabilite sur [a, b].
Inversement, si D est une subdivision -ne de [a, ] avec b (b), on la complète
par lintervalle pointe ([, b], b) pour obtenir une subdivision -ne recouvrant tout
[a, b], et les deux sommes de Riemann dièrent dau plus . Par consequent lintegra-
bilite sur [a, b] implique lintegrabilite sur [a, b[.
2. Fonctions absolument integrables
Etant donne une fonction f HK-integrable sur un intervalle I, il peut fort bien se
produire que lintegrale
_
I
|f(x)| dx soit divergente, en dautres termes, que la fonction
|f| ne soit pas HK-integrable. Un exemple classique est celui de lintegrale
_
+
0
sinx
x
dx,
ou encore
_
1
0
1
x
sin
1
x
dx. Ceci justie la denition suivante.
(2.1) Denition. On dit quune fonction f : I R est absolument integrable sur I si
` a la fois f et |f| sont HK-integrables sur I, ou, de fa con equivalente, si f
+
= max(f, 0)
et f
= max(f, 0) sont HK-integrables sur I.

Lequivalence des deux conditions resulte en eet des formules immediates
(11)
f
+
=
1
2
(f +|f|), f
=
1
2
(|f| f), f = f
+
f
, |f| = f
+
+f
.
Si f est absolument integrable sur I, on a
_
I
f
(x) dx
_
I
f(x) dx =
_
I
f
+
(x) dx
_
I
f
(x) dx
_
I
f
+
(x) dx,
et comme les membres de droite et de gauche sont majores par
_
I
|f(x)| dx on en
deduit
(2.2)
_
I
f(x) dx

_
I
|f(x)| dx.
Un critère commode pour lintegrabilite de |f| est le suivant.
(2.3) Critère dintegrabilite absolue. Soit f : I R une fonction HK-integrable.
Alors on a
_
I
|f(x)| dx = sup
D
N1
j=0
_
a
j+1
a
j
f(x) dx
o` u le sup est pris sur toutes les subdivisions pointees D = ([a

j
, a
j+1
], x
j
)
0j<N
de
support Supp(D) = [a
0
, a
N
] I, et |f| est HK-integrable sur I si et seulement si le
membre de droite est ni.
(11)
On remarquera quil ne sut pas de supposer |f| HK-integrable dans cette denition, du moins dans
la theorie des ensembles de Zermelo-Fraenkel augmentee de laxiome du choix (ZFC - la theorie la
plus couramment utilisee ...). Dans cette theorie, il existe en eet des parties E [0, 1] qui sont non
mesurables, et la fonction f =
E
[0,1]E
est de valeur absolue |f| = 1 HK-integrable sur [0, 1],
tandis que f nest pas HK-integrable.
II.2. Fonctions absolument integrables 45
Demonstration. Si |f| est HK-integrable, on a daprès (2.2)
_
a
j+1
a
j
f(x) dx

_
a
j+1
a
j
|f(x)| dx,
donc on voit immediatement que
sup
D
N1
j=0
_
a
j+1
a
j
f(x) dx

_
I
|f(x)| dx.
Dans lautre sens, supposons dabord I = [a, b] ferme borne, et soit S le sup des sommes
intervenant dans le critère 2.3. Soit D = ([a
j
, a
j+1
], x
j
) une subdivision pointee de [a, b]
qui realise le sup S à près.

Etant donne > 0, on choisit une jauge adaptee à ,
telle quon ait en outre (x) min(x a
j
, a
j+1
x) sur ]a
j
, a
j+1
[. Toute subdivision
D
= ([a
k
, a
k+1
], x
k
) -ne se ramène alors à une subdivision obtenue en redecoupant
chaque intervalle [a
j
, a
j+1
] en sous-intervalles. Le lemme de Henstock 1.3 (b) combine
à linegalite triangulaire ||u| |v|| |u v| implique
k=0
_
|f(x
k
)|h
_
a
k+1
a
k
f(x) dx
2.
Par ailleurs, la formule de Chasles donne que chaque integrale
_
a
j+1
a
j
f(x) dx est une
somme dintegrales
_
a
k+1
a
k
f(x) dx, N
j
k < N
j+1
, donc
S
N1
j=0
_
a
j+1
a
j
f(x) dx
k=0
_
a
k+1
a
k
f(x) dx
S.
On en deduit
k
|f(x
k
)| h
k
S
3, donc |f| est bien HK-integrable dintegrale

_
b
a
|f(x)| dx = S. Le cas dun intervalle I quelconque sobtient au moyen du theorème
de Hake, par passage à la limite sur les bornes de lintegrale.
(2.4) Corollaire. Si f, g : I R sont HK-integrables et si |f| g, alors f est
absolument integrable.
Demonstration. On applique le critère 2.3, en observant que
sup
D
N1
j=0
_
a
j+1
a
j
f(x) dx
sup
D
N1
j=0
_
a
j+1
a
j
g(x) dx
_
I
g(x) dx < +.
(2.5) Corollaire. Lensemble

L
1
(I) des fonctions absolument integrables est un espace
vectoriel, et lintegrale de la valeur absolue
f
1
=
_
I
|f(x)| dx
denit une semi-norme sur

L
1
(I) , cest-` a-dire que
f
1
= || f
1
, f +g
1
f
1
+g
1
pour tout scalaire R et tous f, g

L
1
(I).
Demonstration. Lintegrabilite absolue de f + g decoule de linegalite triangulaire
|f +g| |f| +|g| dans laquelle on sait que le membre de droite est HK-integrable. Ceci
implique egalement linegalite triangulaire pour la semi-norme
1
.
(2.6) Remarque.
1
nest pas une norme sur

L
1
(I) car il existe des fonctions f non
nulles telles que f
1
= 0. Il sut par exemple quil existe un ensemble denombrable
E tel que f(x) soit nul sur [a, b] E. On verra au paragraphe 5 comment on peut
neanmoins construire un espace norme complet à partir de

L
1
(I).
(2.7) Remarque. Si f, g : I R sont HK-integrables, il nest pas vrai en general que
max(f, g) et min(f, g) sont integrables (ce nest meme pas vrai si g = 0 !). Cependant,
cela est vrai si f, g 0 ; pour le voir il sut en eet de poser
max(f, g) =
1
2
(f +g) +
1
2
|f g|, min(f, g) =
1
2
(f +g)
1
2
|f g|.
Plus generalement, cest vrai sil existe une fonction h HK-integrable telle que h f
et h g, car on peut alors ecrire
min(f, g) = h + min(f h, g h), max(f, g) = h + max(f h, g h),
et de meme sil existe une fonction h HK-integrable telle que f h et g h, car on
peut alors ecrire
min(f, g) = h max(h f, h g), max(f, g) = h min(h f, h g).
3. Le theorème de convergence monotone
Lun des points centraux de la theorie de lintegration est de comprendre ce qui se se
passe pour la limite dune suite dintegrales de fonctions. Le cas le plus fondamental
est celui dune suite monotone de fonctions.
(3.1) Theorème. Soit f
n
: I R une suite croissante de fonctions HK-integrables
sur un intervalle I R, convergeant vers f : I R en tout point de I. Alors f est
HK-integrable sur I si et seulement si la suite croissante A
n
=
_
I
f
n
(x) dx est majoree,
et alors
_
I
f(x) dx = lim
n+
_
I
f
n
(x) dx.
Demonstration. Commen cons par traiter le cas o` u I = [a, b] est ferme borne. Si f est
HK-integrable, alors
A
n
=
_
b
a
f
n
(x) dx
_
b
a
f(x) dx < +,
II.3. Le theorème de convergence monotone 47
par consequent la suite croissante (A
n
) est bornee. Inversement, si elle est bornee,
elle admet une limite A. On se propose alors de montrer que f est HK-integrable
dintegrale A. Fixons > 0. On peut choisir un entier n
0
tel que
A
_
b
a
f
n
(x) dx A pour n n
0
.
Pour chaque indice n, choisissons une jauge
n
adaptee à f
n
pour une tolerance derreur
2
n
. Enn, pour chaque x [a, b], choisissons un indice N(x) n
0
tel que
f(x) f
n
(x) f(x) pour n N(x).
On denit une jauge par (x) =
N(x)
(x). Soit D = ([a
j
, a
j+1
], x
j
)
0j<N
une
subdivision pointee -ne de [a, b]. On peut ecrire
S
D
(f) A
0j<N
_
f(x
j
) f
N(x
j
)
(x
j
)
_
h
j
0j<N
_
f
N(x
j
)
(x
j
)h
j

_
a
j+1
a
j
f
N(x
j
)
(x) dx
_
0j<N
_
a
j+1
a
j
f
N(x
j
)
(x) dx A
.
Par denition de N(x), la première somme du membre de droite est majoree par
h
j
= (b a). Comme N(x
j
) n
0
, on voit facilement que la troisième somme est
majoree par
_
b
a
f
n
0
(x) dx A
.
En eet, gr ace à la monotonie de la suite (f
n
), on a
_
b
a
f
p
(x) dx
0j<N
_
a
j+1
a
j
f
N(x
j
)
(x) dx
_
b
a
f
q
(x) dx
avec p = min(N(x
j
)), q = max(N(x
j
)) q p n
0
. Reste la deuxième somme du
membre de droite. Pour cela, on regroupe les indices j tels que N(x
j
) soit egal à un
indice n donne. Le lemme de Henstock 1.3 (a) implique
N(x
j
)=n
_
f
n
(x
j
)h
j

_
a
j+1
a
j
f
n
(x) dx
_
2
n
.
En sommant sur toutes les valeurs de n, on voit que la deuxième somme est majoree
par 2. Au total nous avons |S
D
(f) A| (b a + 3), par consequent f est HK-
integrable dintegrale A = lim
n+
_
b
a
f
n
(x) dx. Il nous reste à traiter le cas dun
intervalle I quelconque. Quitte à remplacer f
n
par f
n
f
0
, on peut supposer f
n
0
pour tout n (et donc f 0). Dans ce cas, pour tout intervalle ferme borne [a, b] I,
on a daprès ce qui precède et grace à la positivite de f
n
_
b
a
f(x) dx = lim
n+
_
b
a
f
n
(x) dx lim
n+
_
I
f
n
(x) dx.
Par consequent, en faisant tendre a vers la borne inf de I et b vers la borne sup de I,
on voit que f est HK-integrable et que
_
I
f(x) dx lim
n+
_
I
f
n
(x) dx
(pourvu que la limite intervenant dans le membre de droite soit nie). Si f est
HK-integrable sur I lautre inegalite est evidente puisque f
n
f. Ceci termine la
demonstration.
(3.2) Remarque. On a bien entendu un resultat entièrement analogue pour les suites
decroissantes de fonctions. On le deduit aussitot en rempla cant (f
n
) par (f
n
).
4. Mesure de Lebesgue et ensembles negligeables
Commen cons par la denition et les proprietes fondamentales de la mesure de Lebesgue.
(4.1) Theorème et denition. Si E est une partie de R, on dit que E est integrable
si sa fonction caracteristique
E
est HK-integrable sur R, et si cest le cas, on denit
la mesure de Lebesgue de E par
m(E) =
_
R
E
(x) dx.
La mesure de Lebesgue jouit des proprietes suivantes :
(a) Si E et F sont des parties integrables, alors EF, EF, EF sont integrables.
Si E F, alors m(E) m(F).
(b) Si (E
n
) est une suite croissante de parties integrables,
E
n
est integrable si et
seulement si la suite m(E
n
) est bornee, et alors m(
E
n
) = limm(E
n
).
(c) Si (E
n
) est une suite decroissante de parties integrables, alors
E
n
est integrable
et m(
E
n
) = limm(E
n
).
(d) Si (E
n
)
nN
est une famille de parties integrables deux ` a deux disjointes, la reunion
E
n
est integrable si et et seulement si la serie
m(E
n
) converge, et alors
m(
_
E
n
) =
m(E
n
),
Demonstration. (a) Il sut dappliquer la remarque 4.7, en observant que
EF
= max(
E
,
F
),
EF
= min(
E
,
F
),
EF
=
E

EF
.
Par ailleurs E F implique
E

F
.
(b) et (c) resultent du theorème de convergence monotone applique à la suite f
n
=
E
n
,
qui est croissante sous lhypothèse (b) et decroissante sous lhypothèse (c).
II.4. Mesure de Lebesgue et ensembles negligeables 49
(d) On pose F
n
= E
0
E
1
. . . E
n
. Alors F
n
est integrable daprès (a), et comme
F
n
=
0kn
E
k
on a bien m(F
n
) =
0kn
m(E
k
). Daprès (b) on obtient
m(
_
E
k
) = lim
n+
m(F
n
) =
+
k=0
m(E
k
),
la suite m(F
n
) etant bornee si et seulement si la serie converge.
(4.2) Denition. On dit
(a) quune fonction f : I R est negligeable si |f| est integrable et
_
I
|f(x)| dx = 0.
(b) quune partie E R est negligeable si sa fonction caracteristique
E
est negligeable,
autrement dit si m(E) = 0.
(4.3) Proprietes des fonctions et ensembles negligeables.
(a) Si f 0 est negligeable et si |g| f, alors g est negligeable.
(b) Si E est negligeable, toute partie F E est negligeable.
(c) Toute reunion nie ou denombrable
n0
E
n
de parties negligeables est negligeable.
(d) Une fonction f : I R est negligeable si et seulement si E
f
= {x I ; f(x) = 0}
est negligeable.
Demonstration. (a) resulte aussitot par passage à la limite de la majoration des sommes
de Riemann correspondantes
|g(x
j
)| h
j

f(x
j
) h
j
.
(b) Si F E on a 0
F

E
, donc E negligeable F negligeable daprès (a).
(c) Posons F
n
= E
0
E
1
. . .E
n
et F =
E
n
. Alors 0
F
n

E
0
+
E
1
+. . .+
E
n
,
donc
F
n
est negligeable. Le theorème de convergence monotone montre que la limite
croissante
F
= lim
F
n
est elle aussi negligeable.
(d) Supposons f negligeable, et soit g
n
(x) = min(
E
(x), n|f(x)|). Alors (g
n
) est une
suite croissante de fonctions HK-integrables telles que 0 g
n
n|f| et limg
n
=
E
.
Elles verient donc
_
I
g
n
(x) dx = 0, et on obtient
_
R
E
(x) dx =
_
I

E
(x) dx = 0 par
le theorème de convergence monotone. Inversement si
E
est negligeable, on considère
h
n
(x) = min(|f(x)|, n
E
(x)) qui est une suite croissante de fonctions negligeables
convergeant vers |f| sur I, par suite f est negligeable.
Il resulte de ce qui precède que les ensembles et fonctions negligeables ne jouent aucun
role dans la theorie de lintegration. Par exemple, si f, g : I R dièrent sur un
ensemble negligeable, alors f g est negligeable et par suite lintegrabilite de f equivaut
à celle de g et dans ce cas
_
I
f(x) dx =
_
I
g(x) dx. De manière generale, on dit quune
propriete P(x) dependant dun nombre reel x est vraie presque partout si lensemble
E des x tels que P(x) ne soit pas vraie est negligeable. Ces resultats permettent de
poser les denitions suivantes.
(4.4) Espace L
1
(I). Lensemble N(I) des fonctions negligeables est un sous-espace
vectoriel de lespace

L
1
(I) des fonctions absolument integrables. On note
L
1
(I) =

L
1
(I)/N(I)
lespace quotient. Les classes dequivalence sont constituees de fonctions egales presque
partout ces classes seront encore notees comme sil sagissait de fonctions, en
considerant quon sautorise à changer eventuellement leurs valeurs sur un ensemble
negligeable. Par denition de la semi-norme
1
, nous avons f
1
= 0 si et seulement
si f N(I), cest-à-dire f = 0 dans L
1
(I) =

L
1
(I)/N(I). Par consequent f f
1
denit une vraie norme sur L
1
(I).
Nous pouvons maintenant enoncer une version nettement renforcee du theorème de
convergence monotone.
(4.5) Version forte du theorème de convergence monotone. Soit f
n
: I R
une suite de fonctions HK-integrables. On suppose que (f
n
(x)) est une suite croissante
pour presque tout x I.
(a) Si (f
n
(x)) converge presque partout vers une limite f(x) o` u f : I R est une
fonction HK-integrable, alors
lim
n+
_
I
f
n
(x) dx =
_
I
f(x) dx < +.
(b) Inversement, si la limite lim
n+
_
I
f
n
(x) dx est nie, alors lensemble E des
reels x I tels que lim
n+
f
n
(x) = + est negligeable. De plus, la fonction
f : I R telle que
f(x) =
_
lim
n+
f
n
(x) si x / E,
0 si x E
est HK-integrable et satisfait (a).
Demonstration. (a) Soit E lensemble des reels x tels que ou bien (f
n
(x)) ne soit pas
une suite croissante, ou bien cest une suite croissante mais limf
n
(x) = +, ou bien
encore f(x) = limf
n
(x) < +. Par hypothèse, E est un ensemble negligeable (comme
reunion nie densembles negligeables). Quitte à redenir f
n
(x) et f(x) comme etant
egales à 0 en tout point de E, on a f(x) = lim
n+
f
n
(x) < + partout sur I et on
peut alors appliquer le theorème de convergence monotone

ordinaire
3.1.
(b) Quitte à redenir les f
n
par 0 sur un ensemble negligeable, on peut supposer que
la suite (f
n
(x)) est croissante pour tout x I. En rempla cant f
n
par f
n
f
0
, on peut
egalement supposer f
n
0 pour tout n. Par hypothèse 0
_
I
f
n
(x) dx M < +.
Pour n et p entiers, p > 0, soit E
n,p
lensemble des x I tels que f
n
(x) > p.
Nous avons
E
n,p
= lim
N+
min(1, N(f
n
p)
+
) comme limite croissante, et de plus
0
E
n,p

1
p
f
n
, donc
E
n,p
est integrable sur I et
_
I
E
n,p
(x) dx
1
p
_
I
f
n
(x) dx M/p.
Or (E
n,p
)
nN
est une suite croissante densembles dont la reunion est lensemble E
p
des x I tels que lim
n+
f
n
(x) > p. Ceci prouve que E
p
est integrable et que
m(E
p
) M/p. Maintenant, lensemble E des reels x I tels que lim
n
f
n
(x) = +
est lintersection decroissante
p0
E
p
, par suite E est negligeable. Quitte à redenir
II.5. Lemme de Fatou et theorème de convergence dominee 51
f
n
(x) = 0 sur E, nous pouvons appliquer le theorème de convergence monotone
ordinaire pour conclure que f = limf
n
est HK-integrable.
Desormais, on sautorisera à ecrire des integrales dans lesquelles gurent des fonctions
qui prennent les valeurs +ou , pourvu que cela soit sur un ensemble negligeable E
en fait, si on le souhaite, on pourra toujours redenir ces fonctions comme valant 0
ou toute autre valeur reelle en chaque point de E. Dans ce contexte, le theorème de
convergence monotone peut se reformuler comme la possibilite de commuter integration
et passage à la limite monotone :
(4.6) (f
n
) monotone
_
I
lim
n+
f
n
(x) dx = lim
n+
_
I
f
n
(x) dx,
dès lors que lun des deux membres est ni.
5. Lemme de Fatou et theorème de convergence dominee
On deduit ici du theorème de convergence monotone plusieurs autres resultats fonda-
mentaux de convergence. Le premier, dit lemme de Fatou, est très utile dans bien des
situations.
(5.1) Lemme de Fatou. Soient f
n
, g : I R des fonctions HK-integrables telles que
f
n
g presque partout. Si liminf
n+
_
I
f
n
(x) dx < +, alors f = liminf
n+
f
n
est nie presque partout et HK-integrable, et on a
_
I
liminf
n+
f
n
(x) dx liminf
n+
_
I
f
n
(x) dx.
Demonstration. Quitte à remplacer f
n
par f
n
g, on peut supposer f
n
0 (et g = 0).
De manière generale la liminf dune suite est obtenue comme une limite croissante
liminf
n+
u
n
= lim
n+
inf
k[n,+[
u
k
.
Or pour tout n 0 nous avons
_
I
inf
k[n,+[
f
k
(x) dx inf
k[n,+[
_
I
f
k
(x) dx
puisque lintegrande
n
(x) = inf
k[n,+[
f
k
(x) du membre de gauche est majore par
f
k
pour chaque k [n, +[ (de plus
n
est HK-integrable comme limite decroissante
de la suite p
n,p
(x) = min
k[n,p]
f
k
(x) quand p +). Le lemme de Fatou
resulte maintenant du theorème de convergence monotone (4.6) applique à la suite
croissante (
n
).
On a bien entendu lenonce symetrique, à savoir que si f
n
h avec h HK-integrable
pour tout n, alors
(5.2)
_
I
limsup
n+
f
n
(x) dx limsup
n+
_
I
f
n
(x) dx
pourvu que le second membre ne soit pas . En combinant (5.1) et (5.2), on obtient
le
(5.3) Theorème de la convergence encadree. Soient f
n
, g, h : I R des
fonctions HK-integrables telles que g f
n
h presque partout. On suppose que
f(x) = lim
n+
f
n
(x) existe presque partout. Alors f est HK-integrable sur I et
lim
n+
_
I
f
n
(x) dx =
_
I
f(x) dx.
Demonstration. Le lemme de Fatou donne en eet
limsup
n+
_
I
f
n
(x) dx
_
I
lim
n+
f
n
(x) dx liminf
n+
_
I
f
n
(x) dx
puisque lim
n+
f
n
= limsup
n+
f
n
= liminf
n+
f
n
et que les membres de
gauche et de droite sont encadres par
_
I
g(x) dx et
_
I
h(x) dx.
(5.4) Theorème de convergence dominee. Cest le cas particulier du theorème
de convergence encadree o` u la suite (f
n
) verie la condition plus forte |f
n
| g pour
une certaine fonction g 0 HK-integrable. Dans ce cas toutes les fonctions f
n
sont
absolument integrables et la limite f = limf
n
verie f
1
= limf
n
1
.
(12)
(5.5) Series convergentes dans L
1
. Soit f
n
: I R une suite de fonctions abso-
lument integrables telles que
f
1
< +. Alors la serie
f
n
converge dans L
1
(I).
Demonstration. Posons S
n
= |f
0
| + |f
1
| + . . . + |f
n
|. Cest une suite croissante
de fonctions absoulument integrables telles que
_
I
S
n
(x) dx

f
1
< +. Le
theorème de convergence monotone montre que la somme S(x) =
|f
n
(x)| converge
presque partout. En particulier (x) =
n0
f
n
(x) existe presque partout comme
somme dune serie absolument convergente, et le theorème de convergence dominee
applique aux sommes partielles
n
= f
0
+f
1
+. . . +f
n
implique que est absolument
integrable, du fait que 0 |
n
| S. Nous avons de plus |
n
|
k[n+1,+[
|f
k
|
donc
n
kn+1
f
k
1
, et par consequent lim
n+

n
1
= 0.
Comme consequence immediate, nous avons le
(5.6) Theorème. L
1
(I) est un espace de Banach (cest-` a-dire un espace norme
complet).
(12)
En fait les deux theorèmes sont equivalents, puisque le theorème de la convergence encadree se ramène
au cas de fonctions 0 en observant que lon a 0 f
n
g h g.
II.5. Lemme de Fatou et theorème de convergence dominee 53
Demonstration. Cest une consequence purement formelle de (5.5). Soit (u
n
) une suite
de Cauchy dans L
1
(I). Il existe une sous-suite (u
n
k
) telle que u
n
k+1
u
n
k
1
2
k
.
Ceci implique que la serie
(u
n
k+1
u
n
k
) converge vers une limite S dans L
1
(I), et
donc que la sous-suite (u
n
k
) converge vers u = S +u
n
0
. Il en resulte que la suite (u
n
)
converge elle aussi vers u.
On peut tirer du theorème de convergence encadree des proprietes très agreables de
continuite et de derivabilite sous le signe somme des integrales dependant de paramètres
qui generalisent les resultats du 1.
(13)
(5.7) Theorème. Soit I R un intervalle, T une partie de R
d
et t
0
un point de
ladherence de T dans R
d
. Soit f : I T R, (x, t) f(x, t) une fonction telle que
(a) Pour tout t T, lapplication I x f(x, t) est HK-integrable ;
(b) Il existe des fonctions g, h : I R HK-integrables et un voisinage V de t
0
tel
que g(x) f(x, t) h(x) pour tout t T V et presque tout x I (lensemble
negligeable N(t) I correspondant peut dependre de t).
(c) Pour presque tout x I, lapplication T t f(x, t) possède une limite (x)
quand t t
0
.
Alors est HK-integrable sur I et
lim
Ttt
0
_
I
f(x, t) dx =
_
I
(x) dx.
(5.8) Continuite sous le signe somme. Sous les hypothèses 5.7 (a, b), si t
0
T et
si T t f(x, t) est continue en t
0
pour presque tout x I, on a
lim
Ttt
0
_
I
f(x, t) dx =
_
I
f(x, t
0
) dx,
cest-` a-dire que lapplication F(t) =
_
I
f(x, t) dx est continue en t
0
.
Demonstration de (5.7). Il sut de montrer quil y a convergence pour toute suite
t
n
T tendant vers t
0
. Or par hypothèse, nous avons
n
(x) = f(x, t
n
) (x)
sauf sur un ensemble negligeable E I, tandis que g(x)
n
(x) h(x) en dehors
de N(t
n
). Il sut dappliquer le theorème de convergence encadree, les hypothèses
etant satisfaites en dehors de lensemble negligeable E
= E
N(t
n
).
(5.9) Derivation sous le signe somme. Soient I R et T R des intervalles,
t
0
T un point xe et f : I T R, (x, t) f(x, t) une fonction tels que
(a) pour tout t T, lapplication I x f(x, t) est HK-integrable ;
(b) pour presque tout x I, lapplication t f(x, t) admet une derivee partielle
f
t
(x, t) sur T, et celle-ci est continue en t
0
T ;
(13)
Comme on va le voir, on peut le faire sous des conditions meme plus generales que dans la theorie de
Lebesgue, avec des integrales non necessairement absolument convergentes on prote en cela de ce
que la convergence encadree est plus generale que la convergence dominee. Les preuves sont cependant
identiques.
(c) il existe un voisinage V de t
0
et des fonctions g, h : I R HK-integrables telles
que g(x)
f
t
(x, t) h(x) pour tout t T V et presque tout x I (lensemble
negligeable N(t) I correspondant peut dependre a priori de t).
_
I
f(x, t) dx est dierentiable au point t
0
et on a
F
(t
0
) =
_
I
f
t
(x, t
0
) dx.
De plus si t
f
t
(x, t) est continue sur T pour presque tout x I, alors F est de
classe C
1
sur T et la formule ci-dessus a lieu pour tout t
0
T.
Demonstration. En appliquant le theorème des accroissements nis à t f(x, t), on
voit que
F(t) F(t
0
)
t t
0
=
_
I
f(x, t) f(x, t
0
)
t t
0
dx =
_
I
f
t
(x, c
t,x
) dx
pour un certain point c = c
t,x
]t
0
, t[. Soit V = ]t
0
, t
0
+ [ tel que (c) ait lieu, et
soit (t
n
) une suite de points dense dans V . Par continuite, on voit que lhypothèse (c)
est veriee pour tout x I N
et t T V , avec N
N(t
n
). Soit E un ensemble
negligeable en dehors duquel (b) a lieu. Lorsque x I (EN
) et t t
0
nous avons
g(x)
f
t
(x, c
t,x
) h(x) et
f
t
(x, c
t,x
)
f
t
(x, t
0
).
Le resultat decoule alors de nouveau du theorème de convergence monotone.
Pour un paramètre t = (t
1
, . . . , t
d
) R
d
, nous avons le resultat analogue suivant.
(5.10) Dierentiabilite sous le signe somme. Soit I R un intervalle et T R
d
un ouvert. Soit f : I T R, (x, t) f(x, t) une fonction telle que
(a) pour tout t T, lapplication I x f(x, t) est HK-integrable ;
(b) pour presque tout x I, lapplication t f(x, t) admet des derivees partielles
f
t
j
(x, t) continues sur T ;
(c) pour tout point t
0
T, il existe un voisinage V de t
0
et des fonctions g
j
, h
j
: I R
HK-integrables telles que g
j
(x)
f
t
j
(x, t) h
j
(x) pour tout t T V et presque
tout x I (lensemble negligeable N
j
(t) I correspondant peut dependre a priori
de t).
_
I
f(x, t) dx est dierentiable sur T et on a
F
t
j
(t) =
_
I
f
t
j
(x, t) dx.
II.6. Lemme de recouvrement de Vitali et dierentiabilite des integrales indenies 55
6. Lemme de recouvrement de Vitali et dierentiabilite pres-
que partout des integrales indenies
Nous commen cons par un lemme de recouvrement très utile, puis nous en donnons
quelques applications fondamentales.
(6.1) Lemme de recouvrement de Vitali. Soit V = {J
}
A
une famille de sous-
intervalles fermes J
= [c
, d
] de longueur m(J
) = d
> 0 dun intervalle ferme

borne [a, b], et E une partie de [a, b]. On dit que V est un recouvrement de Vitali de
E si pour tout x E et tout > 0, il existe un intervalle J V tel que x J et
m(J) < . Alors :
(a) il existe une famille nie ou denombrable J
k
dintervalles deux ` a deux disjoints de
V et une partie negligeable N de [a, b] telles que E

k0
J
k
N ;
(b) on peut de plus choisir N contenu dans une intersection
n0
kn
J
k
avec des
intervalles fermes J
k
[a, b] tels que
k0
m(J
k
) < +.
Demonstration. On denit par recurrence J
0
, J
1
, . . ., J
k
comme suit. On pose
F
0
= , F
k
= J
0
J
1
. . . J
k1
si k 1,
et on considère V
E,k
V la sous-famille des intervalles J V tels que J contienne
un point x E et J [a, b] F
k
. Sil existe un entier k tel que E F
k
= pour
un certain k, alors la famille nie (J
0
, . . . , J
k1
) repond à la question et le lemme est
demontre avec N = . Sinon E F
k
= pour tout k 0 et alors la famille V
E,k
est
non vide : en eet, x E F
k
etant xe, il existe des intervalle J V contenant x
veriant m(J) < = d(x, F
k
), de sorte quon a necessairement J [a, b] F
k
. Soit
k
le sup de la longueur de tous les intervalles J V
E,k
; on choisit J
k
V
k
en sorte
que m(J
k
)
1
2
k
. Les intervalles J
k
sont bien disjoints par construction, et on a par
consequent
m(J
k
) b a < +, donc
k
2
m(J
k
) < +.
Nous allons montrer que N = E
k0
J
k
est negligeable. Soit x N. Pour tout
entier n, on a x [a, b]F
n
, et il existe un intervalle J V de longueur m(J) < d(x, F
n
)
contenant x. Par suite J [a, b] F
n
. Or, si J [a, b] F
k
, alors J V
E,k
et
m(J)
k
par denition de
k
. Comme lim
k
= 0 ceci ne peut se produire que pour
un nombre ni dindices k. Choisissons le plus grand indice k possible, de sorte que
k n, J [a, b] F
k
et J F
k+1
= . Ceci implique que J J
k
= , et comme
m(J)
k
2 m(J
k
), nous voyons que J est contenu dans lintervalle J
k
de meme
centre que J
k
et de longueur 5 m(J
k
). Nous avons par consequent N

kn
J
k
et
comme ceci est vrai pour tout n on voit que N

n0
kn
J
k
. Cependant
k0
m(J
k
) 5
k0
m(J
k
) 5(b a) < +
et donc m(
kn
J
k
)

kn
m(J
k
) 0 quand n +. Par consequent N est
negligeable et (a) est demontre. Pour obtenir (b), il sut de remplacer eventuellement
J
k
par J
k
[a, b] pour avoir à coup s ur J
k
[a, b].
(6.2) Theorème. Soit E R une partie integrable. Alors pour tout > 0 il existe
un ouvert U =
k0
]c
k
, d
k
[ contenant E tel que m(U) =
k0
(d
k
c
k
) m(E) +.
Demonstration. (1) Commen cons par le cas o` u E est borne, E [a, b]. Soit > 0 et
une jauge -adaptee à f =
E
sur [a, b]. On considère la famille dintervalles fermes
V
=
_
[x h, x +h] [a, b] ; x E, h
1
2
(x)
_
.
Cest un recouvrement de Vitali de E. Il existe par consequent des intervalles fermes
disjoints [c
k
, d
k
] V
et un ensemble negligeable N tels que E

k0
[c
k
, d
k
] N,
avec de plus N

k0
[c
k
, d
k
],
k0
(d
k
c
k
) .
Grace au lemme 1.3, la famille nie dintervalles pointes disjoints ([c
k
, d
k
], c
k
)
0kn
peut etre completee en une subdivision -ne D de [a, b]. Comme c
k
E, on en deduit
n
k=0
(d
k
c
k
) =
n
k=0
E
(c
k
)(d
k
c
k
) S
D
(
E
)
_
b
a
E
(x) dx + = m(E) +.
Quand n +, il vient à la limite
n
k=0
(d
k
c
k
) m(E) +, donc
E
_
k0
c
k
2
k
, d
k
+2
k
_

_
k0
k
2
k
, d
k
+2
k
_
.
Cest une reunion dintervalles ouverts dont la longueur totale est majoree par
_
k0
(d
k
c
k
) +
_
k0
(d
k
c
k
) + 4
k0
2
k
m(E) + + + 8 = m(E) + 10.
Quitte à remplacer par /10, le resultat est demontre dans le cas o` u E est borne.
(2) Dans le cas general E R, on ecrit E =
nZ
E [n, n + 1[, et on trouve pour
chaque n Z un ouvert U
n
contenant E [n, n + 1[ tel que
m(U
n
) m(E [n, n + 1[) + 2
|n|2
.
Alors U =
U
n
contient E et on a m(U) m(E) +.
(6.3) Corollaire. Soit E une partie de R. Les proprietes suivantes sont equivalentes.
(a) E est negligeable.
(b) Pour tout > 0, il existe une suite nie ou denombrable dintervalles ouverts
(]c
k
, d
k
[)
k0
tels que E

k0
]c
k
, d
k
[ et
k0
(d
k
c
k
) .
(c) Pour tout > 0, il existe une suite nie ou denombrable dintervalles fermes
([c
k
, d
k
])
k0
tels que E

k0
[c
k
, d
k
] et
k0
(d
k
c
k
) .
Demonstration. (a) (b) grace à 6.2, tandis que (b) (c) est evident, et (c) (a)
en prenant une intersection denombrable avec = 1/n 0.
(6.4) Theorème. Soit f : [a, b] R une fonction HK-integrable et F(x) =
_
x
a
f(t) dt
son integrale indenie. Alors F est presque partout derivable de derivee F
(x) = f(x).
Demonstration. Comme nous allons le voir, il sagit dune consequence directe du
lemme de Henstock, combine avec le lemme de recouvrement de Vitali. Il sut de
II.7. Ensembles et fonctions mesurables 57
demontrer que F admet presque partout une derivee à droite F
(x+0) = f(x), puisque

le meme raisonnement sappliquera aussi à la derivee à gauche.
Soit E lensemble des points x [a, b[ tels que ou bien F nadmet pas de derivee à
droite, ou bien F admet une derivee à droite mais F
(x+0) = f(x). Il sagit de montrer

que E est negligeable.

Ecrivons E =
p>0
E
p
, o` u E
p
est lensemble des points x [a, b[
tels que pour tout > 0 il existe x
]x, x +] [a, b] tel que
f(x)
F(x
) F(x)
x
1
p
.
Fixons > 0 et une jauge -adaptee à f. On observe que la famille V
des intervalles
[x, x
] veriant la minoration precedente et tels que x
x (x) forme un recouvrement

de Vitali de E
p
. Il existe par consequent une famille nie ou denombrable ([x
k
, x
k
])
dintervalles disjoints de V
(dependant de ) et un ensemble negligeable N

p,
tels que
E
p
R
p,
=
[x
k
, x
k
] N
p,
. Le lemme de Henstock 1.3 (b) applique à la famille nie
dintervalles ([x
k
, x
k
])
0kn
donne
0kn
f(x
k
)(x
k
x
k
)
_
x
k
x
k
f(t) dt
0kn
f(x
k
)
F(x
k
) F(x
k
)
x
k
x
k
(x
k
x
k
) 2
puisque cette famille est -ne par construction. On en deduit
0kn
1
p
(x
k
x
k
) 2
pour tout n, donc m(R
p,
) = m(
k0
[x
k
, x
k
]) 2p . En ecrivant E
p

n>0
R
p,1/n
on voit que lensemble E
p
est negligeable, donc E =
p>0
E
p
lest aussi.
7. Ensembles et fonctions mesurables
Une fonction integrable peut etre extremement irregulière du point de vue de la
continuite (par exemple
Q
est HK-integrable, bien quelle soit partout discontinue).
Une fonction integrable doit tout de meme satisfaire certaines proprietes très faibles de
regularite locale, pour lesquelles les ensembles negligeables ne jouent aucun role. Cest
precisement lobjet de la notion de mesurabilite.
(7.1) Denition. On dit quune partie E R est mesurable si E[a, b] est integrable
pour tout intervalle ferme borne [a, b] R.
Compte tenu des proprietes des ensemble integrables (cf. (4.1)), il sut de verier que
lintersection E[n, n] est integrable pour tout entier n. Le theorème suivant decoule
immediatement de (4.1).
(7.2) Theorème. Toute reunion denombrable
E
n
, toute intersection denombrable
E
n
de parties mesurables E
n
est mesurable. Le complementaire E dune partie
mesurable E est mesurable. Tout intervalle, toute partie ouverte ou fermee E R est
mesurable.
La dernière assertion resulte du fait que les intervalles sont trivialement mesurables, et
du fait quune partie ouverte de R est reunion nie ou denombrable dintervalles. On
peut etendre la mesure de Lebesgue aux parties mesurables en posant
m(E) = lim
n+
m(E [n, n]), m(E) [0, +].
Les parties integrables sont alors exactement les parties mesurables de mesure
m(E) < +, et la propriete dadditivite de la mesure dune reunion denombrable
de parties mesurables disjointes est encore valable lorsque les sommations sont prises
dans [0, +]. Nous avons la caracterisation suivante assez claire de la mesurabilite.
(7.3) Caracterisation des ensembles mesurables. Soit E une partie de R. Les
proprietes suivantes sont equivalentes.
(a) E est mesurable.
(b) Pour tout > 0 il existe une partie fermee F et une partie ouverte U telles que
F E U et m(U F) .
(c) Il existe F un F
(= reunion nie ou denombrable de fermes) et G un G
(=
intersection nie ou denombrable douverts) tels que F E G et m(GF) = 0.
(d) E peut secrire comme une reunion E = F N dun F
et dune partie negligeable.

Demonstration. (a) (b). Commen cons par le cas o` u E est borne, E [a, b]. Alors
E et E
= [a, b] E sont des parties integrables. Daprès le theorème (6.2) il existe des
ouverts U et U
de R tels que E U, m(U E) /2, et E
, m(U
) /2.
On pose F = [a, b] U
. Il vient F [a, b] E
= E U et
m(U F) m(U E) +m(E F) m(U E) +m(U
) .
Dans le cas general, on pose E
n
= E [n, n + 1], et on trouve des parties fermees
F
n
[n, n + 1] et U
n
R telles que F
n
E
n
U
n
et m(U
n
F
n
) 2
|n|2
. Alors
F =
F
n
et U =
U
n
repondent à la question puisque U F

(U
n
F
n
).
(b) (c). Pour tout entier p > 0, on peut trouver un ferme F
p
et un ouvert U
p
tels
que F
p
E U
p
et m(U
p
F
p
) < 1/p. Alors F =
F
p
et G =
U
p
repondent à la
question, puisque GF U
p
F
p
pour tout p.
(c) (d) est evident, il sut de poser N = E F qui est contenu dans G F, donc
negligeable.
(d) (a) resulte de (7.2).
(7.4) Theorème et denition. Soit f : I R = R {+, } une fonction
quelconque. Les proprietes suivantes sont equivalentes.
(a) Limage reciproque f
1
([, c[) de tout intervalle ouvert de R est mesurable.
(b) Limage reciproque f
1
([, c]) de tout intervalle ferme de R est mesurable.
(c) Limage reciproque f
1
(J) de tout intervalle J R est mesurable, respectivement
[(c
) J ouvert ], [(c
) J ferme ],
(d) Limage reciproque f
1
(U) de tout ouvert U R est mesurable.
On dit alors que la fonction f est mesurable.
Demonstration. Lequivalence de (a) et (b) resulte des egalites
f
1
([, c]) =
n>0
f
1
([, c + 1/n[), f
1
([, c[) =
_
n>0
f
1
([, c 1/n])
si c R. Le passage au cas dintervalles J quelconques (c), (c
), (c
) se voit aisement
en ecrivant par exemple
f
1
(]c, d[) = f
1
([, d[) f
1
([, c])
pour tous c < d dans R. Enn lequivalence avec (d) resulte du fait que tout
ouvert U R est reunion denombrable dintervalles ouverts disjoints J
k
, de sorte
que f
1
(U) =
f
1
(J
k
).
Une consequence immediate de la denition est la suivante.
(7.5) Proposition. Soit f : I J une fonction mesurable et g : J R une fonction.
Si g est continue ou monotone, alors g f est mesurable.
Par ailleurs, comme les ensembles negligeables sont mesurables, la mesurabilite nest
pas sensible au fait que la fonction f soit modiee arbitrairement sur un ensemble
negligeable. Un fait très utile est que la mesurabilite est preservee par passage à la
limite denombrable :
(7.6) Proposition. Soit f
n
: I R une suite de fonctions mesurables. Alors
limsup f
n
et liminf f
n
sont mesurables. Si (f
n
) admet presque partout une limite f,
alors f est mesurable.
Demonstration. Posons f = limsup f
n
. Nous avons alors par denition f(x) < c si
p > 0, N 0, n N, f
n
(x) < c 1/p, cest-à-dire
f
1
([, c[) =
_
p>0
_
N0
nN
f
1
n
([, c 1/p[),
ce qui montre que f est mesurable. La preuve pour liminf f
n
se deduit du cas de la
limsup en rempla cant (f
n
) par (f
n
). Si (f
n
) admet une limite presque partout f, on
conclut en ecrivant par exemple f = limsupf
n
presque partout.
(7.7) Proposition. Toute fonction f : I R HK-integrable est mesurable.
Demonstration. Il est clair que les fonctions continues sont mesurables, puisque limage
inverse dun intervalle ouvert est une partie ouverte (donc mesurable). Fixons a I,
et soit F(x) =
_
x
a
f(t) dt une integrale indenie de f sur I. On sait que F est continue
sur I (corollaire 4.3), et que f(x) = F
(x) presque partout (theorème 6.4). On peut

donc ecrire
f(x) = limf
n
(x) p.p. avec f
n
(x) =
F(x + 1/n) F(x)
1/n
.
Comme les fonctions f
n
sont continues, on en conclut que la limite presque partout f
est mesurable.
(7.8) Proposition. Toute fonction mesurable f : I R peut secrire f = limf
n
o` u
les fonctions f
n
sont des fonctions integrables etagees, cest-` a-dire des combinaisons
lineaires nies
1kp
n
c
k,n
E
k,n
de fonctions caracteristiques densembles integrables.
Si de plus f 0, on peut choisir la suite (f
n
) croissante et telle que 0 f
n
f.
Demonstration. Supposons dabord I = [a, b] ferme borne. On prend alors
c
k,n
= (k 1)2
n
n, E
k,n
= f
1
([c
k,n
, c
k,n
+ 2
n
[), si k = 1, 2, . . . , n2
n+1
,
c
k,n
= n, E
k,n
= f
1
([n, +]) si k = n2
n+1
+ 1,
c
k,n
= n, E
k,n
= f
1
([, n[) si k = p
n
= n2
n+1
+ 2,
de sorte que les ensembles E
k,n
, 1 k p
n
forment une partition mesurable de I.
Il est evident par construction que la fonction f
n
=
c
k,n
E
k,n
verie |f
n
f| 2
n
là o` u |f(x)| < n, tandis que |f
n
(x)| = n avec le meme signe que f(x) là o` u |f(x)| n.
On a donc bien limf
n
= f. Lorsque I est borne, les ensemble E
k,n
sont integrables
et la proposition est demontree. Si I nest pas borne, il sut de remplacer E
k,n
par
E
k,n
= E
k,n
[n, n] pour conclure la demonstration. En eet, il est facile de constater
que 0 f
n
f et que la suite (f
n
) est croissante lorsque f est elle-meme positive ou
nulle.
(7.9) Corollaire. Toute combinaison lineaire nie, tout produit de fonctions mesu-
rables ` a valeurs reelles est encore mesurable. Lensemble des fonctions mesurables
f : I R a donc une structure dalgèbre.
Demonstration. Il sut en eet dobserver que toute combinaison lineaire ou tout pro-
duit de fonctions etagees est encore une fonction etagee, et de passer à la limite.
Le resultat suivant montre que la mesurabilite est la propriete de regularite requise pour
obtenir lintegrabilite, lorsquon a un encadrement par des fonctions HK-integrables.
(7.10) Proposition. Soit f, g, h : I R des fonctions telles que g f h. On
suppose que g et h sont HK-integrables et que f est mesurable. Alors f est HK-
integrable.
Demonstration. Quitte à remplacer f par f g et h par h g, on peut supposer
0 f h avec h HK-integrable. La proposition 7.8 implique que f = limf
n
avec des fonctions f
n
etagees HK-integrables, que lon peut choisir 0 daprès la
demonstration. Toutes ces fonctions sont donc absolument integrables, et on peut
ecrire f = lim
n+
min(f
n
, h). On voit donc que f est HK-integrable comme limite
dominee de fonctions HK-integrables.
Nous demontrons maintenant un resultat très important, à savoir la densite des
fonctions continues à support compact dans L
1
(I).
(14)
(7.11) Densite des fonctions continues à support compact.
(a) Soit E R un ensemble mesurable. Pour tout > 0, il existe une application
continue g : R [0, 1] telle que g(x) =
E
(x) hors dun ensemble ouvert V de
mesure m(V ) .
(14)
Incidemment ce resultat (et plus speciquement 7.11 (d)) demontre que les fonctions absolument
integrables au sens de Henstock-Kurzweil sont exactement les fonctions integrables au sens de Lebesgue
pour la mesure de Lebesgue usuelle. Jusqu` a ce point, il etait evident que lespace L
1
(I) de Henstock-
Kurzweil contenait celui de Lebesgue, mais il netait pas clair quil ne soit pas plus gros. Les deux
theories se rejoignent donc dans le cas des fonctions absolument integrables.
(b) Soit f : I R une fonction mesurable. Il existe une suite g
n
: I R dapplications
continues ` a support compact telles que g
n
f presque partout.
(c) Soit f L
1
(I). Il existe une suite g
n
: I R dapplications continues ` a support
compact telles que g
n
f presque partout et g
n
f
1
0.
(d) Lespace C
c
(I) des fonctions continues ` a support compact dans I est dense dans
L
1
(I), et L
1
(I) sidentie au complete de C
c
(I) pour la norme
1
.
Demonstration. (a) Grace à 7.4, choisissons F un ensemble ferme et U un ensemble
ouvert tels que F E U et m(U F) . On pose
g(x) =
d(x, U)
d(x, F) +d(x, U)
.
Il est clair que 0 g(x) 1 et que g est continue (le denominateur ne sannule pas
puisque F et U sont des fermes disjoints). De plus g(x) = 1 si x F et g(x) = 0 si
x U, donc g repond à la question en posant V = U F.
(b) et (c). On se ramène dabord au cas o` u f 0 : si le resultat est demontre dans ce
cas, on ecrit f = f
+
f
et
f
+
= limg
n
, f
= limg
n
, f = limg
n
g
n
presque partout
avec g
n
et g
n
continues à support compact. On supposera donc dans la suite que
f 0. Dans ce cas, la proposition 7.8 fournit une suite croissante de fonctions
etagees f
n
=
1kp
n
c
k,n
E
k,n
telles que f = limf
n
en tout point. Quitte à perdre
eventuellement la convergence aux extremites de I, on peut supposer en outre quil
existe une suite strictement croissante dintervalles [a
n
, b
n
] I
tels que E
k,n
[a
n
, b
n
]
pour tout k, sinon on remplace E
k,n
par E
k,n
[a
n
, b
n
] avec des intervalles [a
n
, b
n
]
choisis tels que
[a
n
, b
n
] = I
. Daprès (a), on peut trouver une fonction continue

g
k,n
: I R telle que g
k,n
=
E
k,n
hors dun ensemble ouvert V
k,n
de mesure 2
n
/p
n
et à support dans [a
n+1
, b
n+1
] (disons). Par suite g
n
=
1kp
n
c
k,n
g
k,n
est continue
à support compact dans [a
n+1
, b
n+1
] I et concide avec f
n
hors de V
n
=
V
k,n
,
m(V
n
) 2
n
. En dehors de W
p
=
k>p
V
k
qui est de mesure 2
p
, il est clair que
g
n
f puisque g
n
= f
n
pour n > p, et par consequent g
n
f hors de lensemble
negligeable N =
W
p
. Ceci demontre (b). Si en outre f est integrable, alors le
theorème de convergence dominee applique à la suite decroissante f f
n
0 dominee
par f montre que limf
n
f
1
= 0. En prenant de plus m(V
k,n
) 2
n
/(1 +p
n
|c
n
|),
il vient g
n,k

E
n,k
1
2
n
/(1 +p
n
|c
n,k
|), donc g
n
f
n
1
2
n
et (c) sensuit.
(d) resulte de (c), puisque nous savons que L
1
(I) est complet, et de plus C
c
(I) sidentie
à un sous-espace de L
1
(I) daprès 4.6 (a).
(7.12) Caracterisation des fonctions mesurables (theorème de Lusin).
Soit f : I R une fonction quelconque. Il y a equivalence entre :
(a) f est mesurable.
(b) Pour tout > 0, il existe une partie ouverte V I de mesure m(V ) telle que
la restriction f
|IV
soit continue.
Demonstration. Commen cons par le sens

facile
.
(b) (a). Pour n entier > 0, xons un ouvert V
n
tel que m(V
n
) 2
n
et f
|IV
n
continue. Quitte à remplacer V
n
par V
n
=
k>n
V
k
, on peut supposer que la suite V
n
est decroissante. Posons alors f
n
(x) = 0 si x V
n
et f
n
(x) = f(x) si x I V
n
. Soit
U un ouvert de R. Alors
f
1
n
(U) = f
1
(U) (I V
n
) si 0 / U,
f
1
n
(U) = V
n

_
f
1
(U) (I V
n
)
_
si 0 U.
Dans les deux cas f
1
n
(U) est mesurable puisque f
1
(U) (I V
n
) est une partie
ouverte de I V
n
(et donc lintersection dun ouvert avec la partie mesurable I V
n
).
Ceci prouve que f
n
est mesurable. Comme f = limf
n
hors de la partie negligeable
N =
V
n
, on voit que f est elle aussi mesurable.
(a) (b). Daprès 7.11 (b), il existe une suite dapplications continues g
n
: I R
telles que g
n
f presque partout. Comme R est homeomorphe à [1, 1] par lappli-
cation x x/(1 +|x|), on peut tout aussi bien supposer que f et les g
n
sont à valeurs
dans [1, 1]. Soit N I un ensemble negligeable tel que g
n
(x) converge vers f(x) pour
tout x I N. Soit ([a
p
, b
p
])
p0
une suite croissante dintervalles fermes bornes tels
que I =
[a
p
, b
p
]. Pour chaque p, considerons
U
p,n
=
_
x [a
p
, b
p
] ; j, k n, |g
j
(x) g
k
(x)| > 2
p
_
.
Cest une partie ouverte de [a
p
, b
p
], de plus la suite (U
p,n
)
n0
est decroissante et
n0
U
p,n
N daprès le critère de Cauchy. Comme N est negligeable, nous avons
lim
n+
m(U
p,n
) m(N) = 0, donc il existe un indice n(p) tel que m(U
p,n(p)
) 2
p
.
Il nest pas restrictif de supposer que lon choisit n(p + 1) > n(p) pour tout p. Soit
V
p
une partie ouverte de I contenant N
qp
U
q,n(q)
, telle que m(V
p
) 2
2p
. Pour
j q p et x [a
q
, b
q
] V
p
, nous avons |g
n(j)
(x) g
n(j+1)
(x)| 2
j
. Ceci entrane
que f est la limite uniforme des g
n(j)
sur toute partie compacte de I V
p
, donc f
|IV
p
est continue.
References bibliographiques 63
References bibliographiques
[1] Robert G. Bartle. A Modern Theory of Integration, Graduate Studies in Mathematics (American
Mathematical Society, Providence, RI), vol. 32 (2001) [suitable for advandced undergraduates].
[2] Robert G. Bartle. Return to the Riemann integral, American Mathematical Monthly 103 (1996)
625-632 [brief and easy to read].
[3] Robert G. Bartle and Donald R. Sherbert. Introduction to Real Analysis, Third Edition, John
Wiley & Sons (2000) [suitable for advanced undergraduates].
[4] Jean-Yves Briend. Integration I, Licence de Mathematiques, (page web)
http://www.cmi.univ-mrs.fr/briend/cours/cours.php.
[5] Eric Charpentier. Lintegrale de Riemann complète, (page web)
http://www.math.u-bordeaux.fr/echarpen/.
[6] Arnaud Denjoy. Une extension de lintegrale de M. Lebesgue, Comptes Rendus Acad. Sci. Paris,
154 (1912) 859862.
[7] John DePree and Charles Swartz. Introduction to Real Analysis, John Wiley & Sons, New York
(1988) [advanced undergraduate students, very readable].
[8] Russell Gordon. Integrals of Lebesgue, Denjoy, Perron, and Henstock, Amer. Math. Soc. (1994)
[comprehensive introduction to the subject].
[9] Russell Gordon. Historical overview of Riemann and Henstock integrals, Real Analysis Exchange
22 (1) (1996/7) 2333.
[10] Russell Gordon. The use of tagged partitions in elementary real analysis, Amer. Math. Monthly
105 (1998) 107-117.
[11] Ralph Henstock. The eciency of convergence factors for functions of a continuous real variable,
J. London Math. Soc., 30 (1955) 273286.
[12] Jaroslaw Kurzweil. Generalized ordinary dierential equations and continuous dependance on a
parameter, Czech. Math. J. 7 (1957) 418446.
[13] Jaroslav Kurzweil. Henstock-Kurzweil integration: its relation to topological vector spaces, World
Scientic Publ. Co. (2000) [for advanced specialists in integration theory].
[14] Jean Mawhin. Analyse. Fondements, Techniques,

Evolutions, De Broeck Universite, Bruxelles,
deuxième edition, 1997 (première edition 1992).
[15] Robert M. McLeod. The Generalized Riemann Integral, Carus Monograph (Mathematical
Association of America, Washington, DC), vol. 20 (1980) [niveau introductif].
[16] Pat Muldowney. A general theory of integration in function spaces, including Wiener and
Feynman integration, Pitman Research Notes in Math. Series, John Wiley & Sons, New York
(1987).
[17] Oskar Perron.

Uber den integralbegri, Sitzber. Heidelberg Akad. Wiss., Math.-Naturw. Klasse
Abt. A, 16 (1914) 116.
[18] Eric Schechter. An Introduction to the gauge integral (also known as the generalized Riemann
integral, the Henstock integral, the Kurzweil integral, the Henstock-Kurzweil integral, the HK-
integral, the Denjoy-Perron integral, etc.), (web page)
http://www.math.vanderbilt.edu/schectex/ccc/gauge/.
[19] Charles Swartz. Introduction to Gauge Integrals, World Scientic Publ. Co., (2001) [suitable for
advanced undergraduates].
[20] Lee Peng-Yee. Lanzhou Lectures on Henstock Integration, World Scientic Publ. Co., Series in
Real Analysis 2 (1989) [exposition of research-level material].
[21] Lee Peng Yee and Rudolf V yborn y. The Integral. An Easy Approach after Kurzweil and
Henstock, Cambridge University Press, Cambridge, United Kingdom (2000) [a combined text-
book/research monograph, suitable for advanced undergraduates].

Henstock Light

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Henstock Light

Transféré par

Droits d'auteur :

Formats disponibles

Theorie elementaire de lintegration :

pour lenseignement de lintegration

). Il est donc tr`es utile

, ` a laide dencadrements par des fonctions

, ni du point de vue didactique ni du point de vue mathematique. La presentation

de lintegration, ce qui est preoccupant.

de Charles Swartz, en lalle-

de lintervalle [a, b] la donnee de N + 1 points

associee ` a f sur D, le reel

et sont deux jauges telles que

, alors toute subdivision

-ne est aussi

Elle est basee sur un procede de dichotomie. Nous allons raisonner

est encore -adaptee. Nous

La fonction f est bornee, la borne superieure de |f| est donnee par

et elle sura amplement aux premiers besoins.

4 d`es que min(

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

f(y) f(x) (y x)f

0). Alors f est constante (resp. croissante, decroissante).

= f), alors f est integrable et

v est integrable si et seulement si u

v lest, et dans ce cas

(t) dt, a = (), b = (),

ayant une base daire A connue et une hauteur h.

[x (x), x +(x)] |f(x

soit egale ` a f(c) :

(etendue arbitrairement aux points u

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

Supposons pour simplier f

f(y) f(x) (y x)f

qui est denie sur ]a, b[ = [a, b] E avec E = {a, b}.

. Soit I = [a, b[ R un intervalle semi-ouvert, o` u

f(x) dx avec [, b] ]a, b], et on

f(x) dx avec [, b] ]a, b], et on

permet de voir quil y a convergence (resp. convergence absolue)

< b tel que pour

, b[, < , on ait

|f(x)| dx, il est clair que la convergence absolue implique la

, ainsi quune limite

| sur [x (x), x] [a, b] et |f(x) c

. On voit par consequent que admet des derivees partielles

dans laquelle M est un majorant de |

) est decroissante bornee, et si on pose A = inf{M

, donc f HK-integrable dintegrale A.

deux subdivisions pointees de [c, d] qui sont

!), on obtient des subdivisions pointees

de [a, b]. Par consequent

] = I, de sorte que la denition 1.5 est equivalente `a celle

, `a savoir des limites

< b et dune jauge sur [a, b[ telle

sont deux telles subdivisions. Si et

] par une subdivision -ne pour obtenir D et D

qui seront -nes sur [a,

, les sommes de Riemann S

(f) A| , et par passage `a la limite on a

! Bien entendu, si on souhaite alleger lexpose de la theorie et

sans avoir ` a etudier au prealable le lemme de Henstock, on peut

dapr`es le lemme de Henstock. Comme S

I ayant memes extremites, et alors les integrales sur

= max(f, 0) sont HK-integrables sur I.

o` u le sup est pris sur toutes les subdivisions pointees D = ([a

3, donc |f| est bien HK-integrable dintegrale

> 0 dun intervalle ferme