Exercices corriges pour le cours

de Licence de Mathematiques
Integration 1
2
INTEGRATION, Feuille dexercices 1
Exercice 1.1.
Soit f : X Y une application.
a. Montrer que pour toute famille (B
i
)
iI
de parties de Y ,
f
1
(
_
iI
B
i
) =
_
iI
f
1
(B
i
), f
1
(

iI
B
i
) =

iI
f
1
(B
i
).
b. Montrer que pour toute famille (A
i
)
iI
de parties de X, f(

iI
A
i
) =

iI
f(A
i
).
c. Montrer que si f est injective, f(

iI
A
i
) =

iI
f(A
i
). Montrer par un contre-exemple
que legalite precedente est fausse en general.
Corrige. a. Lassertion x f
1
(

iI
B
i
) signie f(x)

iI
B
i
qui equivaut ` a
i I, f(x) B
i
i I, x f
1
(B
i
) x
iI
f
1
(B
i
).
De meme, x f
1
(

iI
B
i
) signie f(x)

iI
B
i
, qui equivaut ` a
i I, f(x) B
i
i I, x f
1
(B
i
) x
iI
f
1
(B
i
).
b. Lassertion y f(

iI
A
i
) signie x
iI
A
i
tel que y = f(x), i.e.
i I, x A
i
, y = f(x) i I, y f(A
i
) y
iI
f (A
i
).
c. Remarquons que A A
t
X = f(A) f(A
t
). Pour tout j I, on a donc
f(

iI
A
i
) f(A
j
) et par suite f(

iI
A
i
)

iI
f(A
i
). Si y

iI
f(A
i
), alors
i I, x
i
A
i
, y = f(x
i
),
ce qui implique que pour i, j I, f(x
i
) = f(x
j
). Linjectivite de f donne par consequent
pour i, j I, x
i
= x
j
, et donc y = f(x) avec x
iI
A
i
, qed. Considerons lapplication
f : 0, 1 1, f(0) = f(1) = 1,
et posons A
i
= i. On a f(A
0
A
1
) = f() = f(A
0
) f(A
1
) = 1.
Commentaire. On peut remarquer que, reciproquement, si la propriete est veriee, alors f
est injective. En eet si x
1
,= x
2
sont elements de X, comme
= f() = f(x
1
x
2
) = f(x
1
) f(x
2
) = f(x
1
) f(x
2
)
on obtient f(x
1
) ,= f(x
2
).
3
Exercice 1.2.
Soit X un ensemble. Montrer quil nexiste pas de surjection de X sur lensemble de
ses parties T(X). On pourra raisonner par labsurde et considerer pour f : X T(X)
lensemble A = x X, x / f(x).
Corrige. Suivons lindication. Si f etait surjective, nous pourrions trouver a X tel que
A = f(a).
Supposons dabord a A ; on obtient a f(a) et par consequent a / A, ce qui contredit
notre hypoth`ese. Supposons maintenant que a / A ; on obtient a / f(a) et par consequent
a A, ce qui contredit notre hypoth`ese. Par consequent, lelement a nappartient ni ` a A,
ni ` a son complementaire, ce qui est impossible. Par suite, A ne poss`ede pas dantecedent
par f, qui est donc non surjective.
Commentaire. Nous avons demontre beaucoup plus que ce qui etait demande: si f est une
application de X dans T(X), lensemble A nest pas dans limage de f. Cet exemple est
une version mathematique du paradoxe du menteur, connu depuis lantiquite
1
: lhomme
qui dit je mens dit-il la verite ? Si cest le cas, alors il ment et donc, ne dit pas la verite.
Si en revanche il ment, cest quil a dit vrai . . .
Si lon revient aux mathematiques, on saper coit quune consequence de ce qui prec`ede
est le cel`ebre paradoxe de Russell:
2
il nexiste pas densemble de tous les ensembles.
En eet si un tel univers X existait, il contiendrait lensemble de ses parties et cette
inclusion T(X) X permettrait de construire une surjection de X sur T(X). On pourrait
egalement considerer
Y = x X, x / x,
et remarquer que si Y Y alors, par denition de Y , Y / Y . Si en revanche Y / Y alors,
par denition de Y , Y Y . Dans les deux cas, on aboutit ` a une contradiction. Ceci exclut
lexistence dun ensemble de tous les ensembles.
1
La premi`ere version du paradoxe du menteur est attribuee `a Eubulide, philosophe grec du IVe si`ecle avant
J.C.
2
Bertrand Russell (18721970) est un logicien britannique, auteur dun monumental traite de logique
mathematique, Principia Mathematica, ecrit en commun avec A.N.Whitehead (18611947) entre 1910 et
1913, au plus fort de la crise des fondements des mathematiques, crise apparue en 1902 avec le paradoxe
sus-mentionne. En 1895, le mathematicien Georg Cantor (18451918) avait cree la theorie des ensembles,
un paradis dont personne ne doit pouvoir nous expulser selon le mot de David Hilbert. Sept annees
plus tard, il fallait se rendre `a levidence: de serieuses dicultes apparaissaient dans la theorie de Cantor,
en particulier dans la notion meme densemble. Russell etait un personnage vraiment extraordinaire :
prix Nobel de litterature en 1950, il a passe la derni`ere partie de son existence `a combattre la production
darmes nucleaires et linuence du Tribunal Russell sur la vie politique internationale fut considerable.
Pour plus dinformations sur B.Russell, renvoyons aux sites
http://www-history.mcs.st-and.ac.uk/history/Mathematicians/Russell.html
http://www.nobel.se/literature/laureates/1950
Pour une documentation plus appronfondie sur le paradoxe du menteur, on pourra consulter
http://www.utm.edu/research/iep/p/par-liar.htm
qui contient egalement une remarquable bibliographie. Les sites francophones sur le sujet sont dans
lensemble, soit eloignes des mathematiques, soit uniquement recreatifs.
4
De mani`ere plus prosaque, notons que la propriete de lexercice 1.2 est une evidence pour
les ensembles nis car, dans ce cas,
CardT(X) = 2
Card X
et on voit facilement que, pour n 0 entier, on a n < 2
n
; on peut par exemple demontrer
par recurrence sur n que n + 1 2
n
.
Exercice 1.3.
Soit X un ensemble. On appelle partition de X toute famille (A
i
)
iI
de parties non vides
de X, deux ` a deux disjointes, de reunion X. Etant donnee une partition de X, montrer que
la relation x1y denie par il existe i I tel que x A
i
et y A
i
est une relation
dequivalence sur X. Montrer que toute relation dequivalence sur X peut sobtenir de
cette mani`ere. Decrire les partitions de Z associees aux congruences modulo n.
Corrige. La relation 1 est reexive car X =
iI
A
i
: si x X, il existe i I tel que
x A
i
et donc x1x. La symetrie de 1 est inscrite dans sa denition, o` u x et y jouent le
meme role. Soient x, y, z X tels que x1y et y1z. Alors, il existe i, j I tels que
x, y A
i
, y, z A
j
.
Comme les A
i
sont deux ` a deux disjoints et y A
i
A
j
, il vient A
i
= A
j
et x1z
(transitivite de la relation).
Si 1 est une relation dequivalence sur X, on peut considerer, lensemble quotient Q, i.e.
lensemble des classes dequivalence. On a Q = C
j

jJ
. Aucune des classes dequivalence
nest vide car C
j
est par denition la classe dequivalence dun element de X. Par ailleurs
X =
jJ
C
j
car si x X, la classe dequivalence de x est lun des C
j
qui contient donc x. Deux classes
distinctes sont disjointes car si x
j
C
j
, x
k
C
k
, avec x
j
,= x
k
et z C
j
C
k
, on a
x
j
1z et z1x
k
= x
j
1x
k
= C
j
= C
k
.
Soit n un entier 2. La congruence modulo n est la relation dequivalence sur Z donnee
par
x y (n) x y nZ n[(x y), i.e. n divise x y.
Cest evidemment une relation dequivalence, et lensemble quotient est note Z/nZ. La
partition de Z associee `a cette relation est la famille `a n elements
A
r
= r +nZ = r +nq
qZ
, 0 r n 1.
Remarquons que la division euclidienne permet de demontrer ce fait: si m est un entier, il
existe un unique couple dentiers (q, r) tel que
m = nq +r, 0 r n 1.
5
Commentaire. La relation dequivalence precedente est compatible avec la structure dan-
neau de Z, i.e. si P
n
: Z Z/nZ associe `a un entier sa classe dequivalence modulo n,
alors on peut denir addition et multiplication sur Z/nZ
P
n
(a) P
n
(b) = P
n
(a +b), P
n
(a) P
n
(b) = P
n
(ab)
et on verie facilement que si a a
t
(n), b b
t
(n), les resultats sont inchanges.
Le lecteur, certainement familier avec ces objets, pourra ecrire la table de multiplication
de Z/nZ pour 2 n 11, verier que Z/nZ est un corps si et seulement si n est un
nombre premier, chercher les diviseurs de 0 de Z/nZ pour n 4, 6, 8, 9, 10 et . . . lire un
petit livre darithmetique comme par exemple [Apo].
Exercice 1.4.
Soit A un sous-ensemble inni de N. Montrer que A est equipotent ` a N. Montrer quun
ensemble X est denombrable sil existe une injection de X dans N.
Corrige. Comme A est inni, il est non vide, et comme N est bien ordonne, A poss`ede un
plus petit element a
1
. Supposons construits pour n entier 1
a
1
< < a
n
, tels que a
j
= min
_
Aa
k

1kj1
_
.
Comme A est inni, Aa
k

1kn
est non vide et lon peut poser
a
n+1
= min
_
Aa
k

1kn
_
.
On dispose donc dune suite strictement croissante (a
j
)
j1
delements de A. Soit x A.
Par denition de a
1
, on a a
1
x. Lensemble j N, j 1, a
j
x est donc un sous-
ensemble majore non vide dentiers: cest un ensemble ni et il poss`ede donc un plus grand
element m. On a donc, pour un entier m 1
a
1
< < a
m
x < a
m+1
.
Or, par denition, on a a
m+1
= min
_
Aa
k

1km
_
. Ceci implique x = a
m
; sinon, on
aurait a
m
< x < a
m+1
et x Aa
k

1km
do` u a
m+1
x < a
m+1
, ce qui est impossible.
Nous avons demontre que A = a
j

j1
et donc A est equipotent ` a N.
Considerons un ensemble X denombrable, i.e. equipotent ` a une partie de N. Soit X est
ni et il y a une injection de X dans N, soit X est inni et est equipotent ` a une partie A
de N, elle-meme innie dont nous venons de voir quelle est equipotente ` a N.
Commentaire. La notion densemble bien ordonne joue un r ole important dans la demons-
tration precedente. Un ensemble E muni dune relation dordre (relation binaire reexive,
antisymetrique et transitive) est dit bien ordonne si toute partie non vide poss`ede un plus
petit element. Cest le cas de N, muni de la relation dordre habituelle. Ce nest pas le
cas de Z qui nest pas minore. En revanche, toute partie minoree de Z est bien ordonnee.
Ce nest pas le cas de Q
+
: lensemble minore x Q, x > 0 ne poss`ede pas de plus
petit element. Ce nest pas le cas de R
+
: lensemble minore ]0, 1] ne poss`ede pas de plus
6
petit element. Toutefois, dans les exemples precedents, lordre est total, i.e. deux elements
x, y sont toujours comparables (on a x y ou bien y x). Un bon ordre est toujours
total (considerer lensemble x, y) et nous venons de voir que la reciproque est fausse
en general. Par ailleurs un exemple simple et naturel dordre non total est donne par la
relation suivante sur lensemble des matrices 2 2 symetriques (` a coecients reels):
_
a
1
b
1
b
1
c
1
_

_
a
2
b
2
b
2
c
2
_
signie (a
2
a
1
)(c
2
c
1
) (b
2
b
1
)
2
et a
2
+c
2
a
1
+c
1
.
Nous laissons au lecteur le soin de verier quil sagit bien dune relation dordre et que les
matrices
_
0 0
0 0
_
,
_
1 0
0 1
_
ne sont pas comparables.
Exercice 1.5.
Soit a b des reels et f
n
: [a, b] R une suite de fonctions continues. On suppose
que pour tout x de [a, b], la suite f
n
(x) tend vers 0 en decroissant. Montrer que la suite
f
n
converge uniformement vers 0 (lemme de Dini
3
). Montrer que si g
n
est une suite de
fonctions continues positives sur [a, b] qui tend simplement en croissant vers une fonction
continue g, alors
_
b
a
g
n
(t)dt
_
b
a
g(t)dt.
Corrige. Il sagit dun exercice classique danalyse. Raisonnons par labsurde en niant la
convergence uniforme de la suite f
n
. La suite numerique
n
= sup
x[a,b]
[f
n
(x)[ ne tend
pas vers 0 et il existe
0
> 0 et une sous-suite (
n
k
)
kN
tels que, pour tout k, on ait

n
k
>
0
. Par consequent, pour tout k, il existe x
k
[a, b] tel que
f
n
k
(x
k
) >
0
.
Gr ace `a la compacite de [a, b], on peut extraire une sous-suite de la suite (x
k
)
kN
qui
converge vers c [a, b]. Pour simplier les notations, supposons que la suite (x
k
)
kN
converge vers c. Puisque pour l 0, on a n
k+l
> n
k
, il vient
f
n
k
(x
k+l
) f
n
k+l
(x
k+l
) >
0
.
Par continuite de la fonction f
n
k
, on trouve f
n
k
(c)
0
> 0, ce qui contredit la convergence
vers 0 de la suite f
n
(c). Pour le dernier point, il sut dappliquer le resultat precedent ` a
la suite g g
n
et dutiliser la majoration triviale
0
_
b
a
_
g(t) g
n
(t)
_
dt (b a) sup
x[a,b]
[(g g
n
)(x)[.
3
Ulisse Dini (1845-1918) est un mathematicien italien. On peut voir sa statue pr`es de la Piazza dei
Cavalieri, `a Pise, pr`es de la Scuola Normale Superiore dont il fut le directeur.
7
0 2/(n+1) 2/n
1

n+1
la suite
n
Commentaire. Le resultat est incorrect sans lhypoth`ese de monotonie decroissante: prenez

n
ane par morceaux sur [0, 1],
n
(0) = 0,
n
(1/n) = 1,
n
(t) = 0 pour t 2/n. La
suite de fonctions continues
n
tend simplement vers 0, pas uniformement car sup [
n
[ = 1.
De plus le resultat est incorrect sans lhypoth`ese de continuite: considerez
n
denie sur
[0,1] par

n
(0) = 0 =
n
(t) pour t 1/n,
n
(t) = 1 nt pour 0 < t < 1/n.
Pour tout t [0, 1], la suite
_

n
(t)
_
nN
tend vers 0 en decroissant, neanmoins la conver-
gence nest pas uniforme car sup
[0,1]
[
n
[ = 1.
1

n+1
1/(n+1) 1/n
la suite
n
8
Exercice 1.6.
On consid`ere E = C
0
([0, 1], R) lespace des fonctions continues denies sur [0,1] ` a valeurs
reelles.
a. Montrer que E est complet pour la norme donnee par |f|

= sup
x[0,1]
[f(x)[.
b. Montrer que |f|
1
=
_
1
0
[f(x)[dx denit une norme sur E. Montrer que cette norme nest
pas equivalente ` a la precedente. Montrer que E muni de la norme ||
1
nest pas complet.
Corrige. Le (a) est un resultat classique dont nous donnons tout de meme la preuve
compl`ete. Soit (f
n
) une suite de Cauchy dans (E, |

). Comme pour tout x [0, 1], la

suite reelle
_
f
n
(x)
_
nN
est de Cauchy, elle est convergente. Posons f(x) = lim
n
f
n
(x). On
a
[f(x) f
m
(x)[ = lim
n
[f
n
(x) f
m
(x)[ sup
nm
|f
n
f
m
|

= (m).
Comme la suite f
n
est de Cauchy, lim
m
(m) = 0 et f est limite uniforme des f
n
. De plus,
pour x, x
0
[0, 1], n N, on a
[f(x) f(x
0
)[ [f(x) f
n
(x)[ +[f
n
(x) f
n
(x
0
)[ +[f
n
(x
0
) f(x
0
)[,
et donc
[f(x) f(x
0
)[ 2 |f f
n
|

+[f
n
(x) f
n
(x
0
)[,
ce qui implique par continuite de f
n
limsup
xx
0
[f(x) f(x
0
)[ 2 |f f
n
|

, ceci pour tout n,

do` u limsup
xx
0
[f(x) f(x
0
)[ lim
n
2 |f f
n
|

= 0, ce qui donne la continuite de f.

(b) Si f E, et f non identiquement nulle, il existe r > 0 tel que louvert x, [f(x)[ > r
soit non vide. Cet ouvert contient donc un intervalle [a, b] avec 0 a < b 1 et par suite
|f|
1
(b a)r > 0.
Les autres proprietes des normes (positivite, homogeneite, inegalite triangulaire) sont
immediates. Pour f E, on a |f|
1
|f|

. En revanche, il nexiste pas de constante

C telle que, pour tout f E, |f|

C |f|
1
. Sinon en considerant la fonction
n
de
lexercice 1.5, on aurait, pour tout entier n
1 = |
n
|

C |
n
|
1
= C/n,
ce qui est impossible. De plus, la suite
n
denie par

n
(x) =
_

_
0 pour 0 x
1
2

1
n
,
nx
n
2
+ 1 pour
1
2

1
n
< x <
1
2
,
1 pour
1
2
x 1,
9
est de Cauchy pour |
1
: comme
n
est `a valeurs dans [0, 1], on a
|
n+k

n
|
1
=
_ 1
2
1
2

1
n
[
n+k
(x)
n
(x)[dx 1/n.
Neanmoins, il nexiste pas de fonction E telle que lim
n
|
n
|
1
= 0 ; en eet, sinon
0
_ 1
2

1
n
0
[(x)[dx =
_ 1
2

1
n
0
[
n
(x) (x)[dx |
n
|
1
,
0
_
1
1/2
[(x) 1[dx =
_
1
1/2
[
n
(x) (x)[dx |
n
|
1
.
La seconde inegalite implique que = 1 sur [1/2,1] tandis que la premi`ere implique, pour
> 0 et n > 1/,
_ 1
2

0
[(x)[dx
_ 1
2

1
n
0
[(x)[dx |
n
|
1
,
et donc = 0 sur [0,1/2[. Ceci est incompatible avec la continuite de en 1/2.
1
1 1/2-1/n 1/2

n
0
la suite
n
10
Exercice 1.7.
a. Determiner les valeurs du param`etre reel pour lesquelles
_
1
0
dx
x

converge.
b. Determiner les valeurs du param`etre reel pour lesquelles
_
+
1
dx
x

converge.
c. Montrer que la serie harmonique (terme general 1/n) diverge. Montrer que la suite
donnee par
x
n
= 1 +
1
2
+
1
3
+ +
1
n 1
+
1
n
lnn
est convergente (ln designe le logarithme neperien).
d. Montrer que, au sens des integrales de Riemann impropres,
_
+
0
sinx
x
dx existe.
e. Montrer que
_
+
0

sinx
x

dx = +.
Corrige. Pour (a), < 1; pour (b), > 1. Pour (c), on ecrit
x
n
=

1kn
_
1
k

_
k+1
k
dt
t
_
+
_
n+1
n
dt
t
=

1kn
_
k+1
k
t k
kt
dt + ln
_
1 +
1
n
_
.
Comme pour 1 k, on a
0
_
k+1
k
t k
kt
dt
_
k+1
k
1
kt
dt
_
k+1
k
1
k
2
dt =
1
k
2
,
la serie de terme general
_
k+1
k
tk
kt
dt est convergente. Comme lim
n
ln(1 + 1/n) = 0, la
suite x
n
est convergente. Ceci implique que la serie harmonique, egale `a x
n
+lnn, diverge
en tendant vers +.
(d) La fonction sinx/x est continue sur R (et vaut 1 en 0). On examine, pour A /2,
I(A) =
_
A
/2
sint
t
dt =
_
cos t
t
_
A
/2

_
A
/2
cos t
t
2
dt = A
1
cos A
_
A
/2
cos t
t
2
dt.
Comme [ cos A[ 1 et [t
2
cos t[ t
2
, le terme de droite converge pour A +.
(e) On a, pour A 1
lnA =
_
A
1
dx
x
=
_
A
1
cos(2x)
x
dx +
_
A
1
2 sin
2
x
x
dx
_
A
1
cos(2x)
x
dx + 2
_
A
1
[ sinx[
x
dx,
et le membre de droite tend vers + avec A. Comme on peut demontrer comme en (d)
que
_
A
1
x
1
cos(2x)dx poss`ede une limite lorsque A +, on trouve le resultat.
Commentaire. La limite de la suite (x
n
) du (c) est connue sour le nom de constante dEuler,
et notee . Une valeur approchee est
0.57721566490153286060651209008240243104215933593992359880576723488486772677766467093694706
11
Cette constante reste assez mysterieuse; par exemple, on ne sait pas si elle est irrationnelle.
Pour plus de details, mathematiques et anecdotiques, on pourra consulter le site
http://mathworld.wolfram.com/Euler-MascheroniConstant.html
Exercice 1.8.
Montrer que lensemble des nombres reels est equipotent ` a celui des parties de N (on pourra
utiliser les developpements dyadiques). Montrer que R est non denombrable.
Corrige. Dapr`es lexercice 1.2, cela implique que R ne peut etre equipotent ` a N. Par suite,
R ne peut etre denombrable, sinon il serait equipotent ` a une partie de N, necessairement
innie, et donc, dapr`es lexercice 1.4, serait equipotent ` a N.
Lapplication x x/(1 +[x[) est bijective de R sur ] 1, 1[ qui est en bijection avec ]0, 1[.
De plus T(N) est equipotent ` a 0, 1
N
, qui designe lensemble des applications de N dans
0, 1 ; en eet, on consid`ere, pour un ensemble X
: T(X) 0, 1
X
A 1
A
, o` u 1
A
: X 0, 1 est deni par 1
A
(x) =
_
1 si x A,
0 si x / A.
Lapplication est une bijection : comme A = 1
1
A
(1), 1
A
= 1
B
implique A = B. Par
ailleurs, si : X 0, 1, on a = 1
A
avec A =
1
(1). Il nous reste donc ` a demontrer
que 0, 1
N
est equipotent ` a ]0, 1[.
Soit x ]0, 1[. Posons, pour k 1 entier, x
k
= E(2
k
x) 2E(2
k1
x) = p
k
(x), o` u E(t)
designe la partie enti`ere de t caracterisee par E(t) Z et E(t) t < E(t) + 1, i.e.
E(t) = maxn Z, n t = minn Z, t < n + 1.
On a
E(2
k
x) 2
k
x < E(2
k
x) + 1
E(2
k1
x) 2
k1
x < E(2
k1
x) + 1
et par consequent 2E(2
k1
x) 2
k
x < 2E(2
k1
x) + 2 ce qui implique
2E(2
k1
x) E(2
k
x) 2
k
x < E(2
k
x) + 1 2E(2
k1
x) + 2.
Il vient
0 x
k
= p
k
(x) = E(2
k
x) 2E(2
k1
x) < E(2
k
x) + 1 2E(2
k1
x) 2,
et comme x
k
est un entier tel que 0 x
k
< 2, on trouve que x
k
0, 1. La serie

k1
x
k
2
k
est donc convergente. On remarque que, pour n 1 entier,

1kn
x
k
2
k
=

1kn
E(2
k
x) 2E(2
k1
x)
2
k
=

1kn
E(2
k
x)
2
k

1kn
E(2
k1
x)
2
k1
=

1kn
E(2
k
x)
2
k

0kn1
E(2
k
x)
2
k
=
E(2
n
x)
2
n
E(x) = 2
n
E(2
n
x).
12
Or on a vu que 2
n
E(2
n
x) x < 2
n
E(2
n
x)+2
n
, ce qui implique que lim
n
2
n
E(2
n
x) =
x et donc
x =

k1
x
k
2
k
avec x
k
0, 1. Nous avons donc construit une application (developpement dyadique par
defaut)
:]0, 1[ 0, 1
N
x
_
x
k
= p
k
(x)
_
k1
.
Cette application est injective car si x, y ]0, 1[ verient pour tout k 1, x
k
= y
k
, alors
x =

k1
x
k
2
k
=

k1
y
k
2
k
= y. Lapplication nest pas surjective (e.g. la suite
nulle na pas dantecedent), neanmoins nous allons voir que le complementaire de limage
de est denombrable. Soit (x
k
)
k1
une suite de 0,1 qui nest ni identiquement nulle, ni
identiquement egale `a 1 `a partir dun certain rang. Posons
X =

k1
x
k
2
k
.
On a 0 < X <

k1
2
k
= 1. Alors
x
1
2
X
x
1
2
+

k2
x
k
2
k
<
x
1
2
+

k2
2
k
=
x
1
2
+
1
2
,
et par suite x
1
2X < x
1
+1 et par consequent E(2X) = x
1
et x
1
= p
1
(X). On demontre
de meme que
p
k
(X) = E(2
k
X) 2E(2
k1
X) = x
k
.
En eet, supposons que pour un entier n 1, on ait, k 1, . . . , n, x
k
= p
k
(X). Alors,

1kn+1
x
k
2
k
X <

1kn+1
x
k
2
k
+

n+2k
2
k
=

1kn+1
x
k
2
k
+ 2
n1
,
ce qui implique

1kn
p
k
(X)2
k
+x
n+1
2
n1
X <

1kn
p
k
(X)2
k
+x
n+1
2
n1
+ 2
n1
i.e.
2
n
E(2
n
X) +x
n+1
2
n1
X < 2
n
E(2
n
X) +x
n+1
2
n1
+ 2
n1
i.e.
2E(2
n
X) +x
n+1
2
n+1
X < 2E(2
n
X) +x
n+1
+ 1
i.e.
x
n+1
2
n+1
X 2E(2
n
X) < x
n+1
+ 1.
13
Il vient
x
n+1
= E
_
2
n+1
X 2E(2
n
X)
_
= E(2
n+1
X) 2E(2
n
X) = p
n+1
(X), qed.
Par suite, lapplication est injective et son image contient toutes les suites (x
k
)
k1
qui
ne sont ni identiquement nulle ni composees uniquement de 1 `a partir dun certain rang.
Par consequent, est bijective de ]0, 1[ sur 0, 1
N
T o` u T est un ensemble denombrable.
Montrons pour terminer que 0, 1
N
T est equipotent ` a 0, 1
N
. On a, pour ( equipotent
`a N disjoint de T dans 0, 1
N
(ce qui existe car 0, 1
N
est non denombrable)
0, 1
N
=
_
0, 1
N
T
_
T =
_
0, 1
N
(T ()
_

_
T (
_
.
Or T( est denombrable inni donc equipotent ` a N et `a (. Par suite 0, 1
N
est equipotent
`a
_
0, 1
N
(T ()
_
( = 0, 1
N
T, qed.
Commentaire. Cet exercice peut etre un peu simplie par le theor`eme de Schroder--
Bernstein du probl`eme 1.1 ci-dessous. Neanmoins, ce theor`eme est beaucoup plus di-
cile, puisquil traite dune situation tr`es generale. Il nous a semble plus simple de donner
une preuve de lexercice 1.8 independante du probl`eme 1.1. Si X, Y sont des ensembles,
on dira que CardX = CardY si X et Y sont equipotents, ceci sans denir chacun des
termes Card X, CardY . On note habituellement par
0
le cardinal de N: on ecrira que
CardE =
0
si E est equipotent ` a N. Le fait que N N soit equipotent ` a N peut secrire
symboliquement comme

2
0
=
0
.
Noter egalement que si c designe le cardinal de R, nous avons demontre que
c = 2

0
.
On a vu aussi que 2
0
=
0
+
0
=
0
, c +
0
= c. On peut egalement demontrer que
c
2
= c.c = (2

0
)
2
= 2
2
0
= 2

0
= c.
Lidentite x
2
= x est veriee pour tous les cardinaux innis, mais sa demonstration generale
requiert lutilisation du theor`eme de Zorn et nest pas elementaire. Les exercices 1.2-4-8
constituent une petite introduction ` a lalg`ebre sur les cardinaux. Le lecteur plus curieux
pourra consulter le premier volume du traite de Bourbaki [Bou] ainsi que dautres sources
comme par exemple
http://www-gap.dcs.st-and.ac.uk/history/HistTopics/Beginnings

of

set

theory.html
Exercice 1.9.
a. Soit X un ensemble et A
1
, . . . , A
n
une partition nie de X. Decrire la tribu engendree
par A
1
, . . . , A
n
. Quel est son nombre delements ?
b. Soit X un ensemble et (A
k
)
kN
une partition de X. Decrire la tribu engendree par
(A
k
)
kN
. Montrer quelle est equipotente ` a T(N).
14
Corrige. a. Considerons T =
jJ
A
j

J1,...,n]
. Pour tout j 1, . . . , n, A
j
T et
toute tribu ` a laquelle les A
j
appartiennent doit contenir T ; de plus T est une tribu, car
stable par reunion, passage au complementaire car les A
j
forment une partition de X et
donc
_

jJ
A
j
_
c
=
jJ
c A
j
.
En outre X =
1jn
A
j
T . Comme les A
j
forment une partition de X, il y a une
bijection entre les sous-ensembles J de 1, . . . , n et T . Par suite CardT = 2
n
.
b. Considerons T =
jJ
A
j

JN
. Pour tout j N, A
j
T et toute tribu ` a laquelle les
A
j
appartiennent doit contenir T ; de plus T est une tribu, car stable par reunion, passage
au complementaire car les A
j
forment une partition de X et donc
_

jJ
A
j
_
c
=
jJ
c A
j
.
En outre X =
jN
A
j
T . Comme les A
j
forment une partition de X, il y a une bijection
entre les sous-ensembles J de N et T : lapplication
T(N) J
jJ
A
j
T
est surjective par construction de T . Elle est injective car si J, K sont des parties de N
telles que

jJ
A
j
=
kK
A
k
on obtient pour j
0
J, A
j
0
= A
j
0

_

jJ
A
j
_
= A
j
0

_

kK
A
k
_
= si j
0
/ K. Comme
A
j
0
,= , il vient J K et de meme K J i.e. J = K. Par suite, on peut ecrire
symboliquement que CardT = 2

0
, car nous avons demontre que T est equipotent ` a
T(N).
Exercice 1.10.
Soit X un ensemble et / une tribu denombrable sur X.
a. Montrer que pour tout x X, lintersection A(x) des elements de / qui contiennent x
est encore element de /.
b. Montrer que pour x, x
t
X, soit A(x) A(x
t
) = , soit A(x) = A(x
t
).
c. Montrer que / est la tribu engendree par une partition denombrable. En deduire en
utilisant lexercice precedent que / est nie.
Corrige. a. A(x) est une intersection denombrable (car / est denombrable) delements
de /, et donc est element de /.
b. Considerons x, x
t
des elements de X. Si x A(x
t
), on a A(x) A(x
t
) et donc
A(x) = A(x
t
) A(x). Par consequent si x A(x
t
) et x
t
A(x), on obtient
A(x) = A(x
t
) A(x) = A(x
t
).
Si x / A(x
t
) alors A(x
t
)
c
est un element de / qui contient x et par suite A(x) A(x
t
)
c
,
ce qui implique A(x) A(x
t
) = (et le meme resultat si x
t
/ A(x)).
15
c. Considerons lensemble
^ = B X, x X, B = A(x) :
cest un sous-ensemble de / et il est donc denombrable. Par ailleurs, dapr`es la question
b, si B ,= B
t
^, on a B B
t
= . En notant, avec D denombrable, ^ = B
k

kD
,
on trouve que ^ est une partition de X. En eet, si X ,= (si X = , / = ) aucun
B
k
nest vide, B
k
B
l
= pour k ,= l D et
kD
B
k
= X car pour x X, il existe
k D, tel que A(x) = B
k
. La tribu / contient donc la tribu engendree par ^, qui est
non denombrable si D est inni dapr`es lexercice 1.9. Par suite, D est ni ainsi que la
tribu engendree par ^. De plus si C /, on a
C =
xC
A(x)
car, pour x C, C A(x) et x A(x); par consequent, C est reunion, necessairement
denombrable, delements de ^. La tribu / est donc la tribu engendree par ^, qui est
nie.
Exercice 1.11.
Montrer que la tribu des boreliens sur R est engendree par les intervalles du type [a, +[.
Meme question avec les intervalles du type ]a, +[. Meme question avec les intervalles du
type ] , a] et ceux du type ] , a[.
Corrige. cf. notes de cours, section 1.2, apr`es le lemme 1.2.4.
Exercice 1.12.
Soit (a
ij
)
iN,jN
une suite double delements de R
+
. Montrer directement que

iN
_

jN
a
ij
_
=

jN
_

iN
a
ij
_
.
Corrige. cf. notes de cours, section 1.2, lemme 1.2.11.
Exercice 1.13.
Donner un exemple dune suite decroissante densembles (A
n
)
nN
tels que pour tout n, A
n
est inni et
nN
A
n
= .
Corrige. A
n
= [n, +).
Exercice 1.14.
Soient (a
n
)
nN
, (b
n
)
nN
des suites de R telles que
(a
n
, b
n
), (limsupa
n
, limsupb
n
) / (, +), (+, ).
16
Montrer que limsup(a
n
+ b
n
) limsupa
n
+ limsupb
n
. Donner un exemple de suites
bornees pour lesquelles linegalite ci-dessus est stricte. Ecrire un enonce analogue pour les
liminf.
Corrige. cf. proposition 1.2.10 des notes de cours.
Exercice 1.15.
Soit (X, /) un espace mesurable et f
n
: X C une suite de fonctions mesurables.
Montrer que lensemble
A = x X, la suite
_
f
n
(x)
_
nN
est convergente
est element de /.
Corrige. On a en utilisant le crit`ere de Cauchy,
A = x X, Q]0, 1], N, n N, k 0, [f
n+k
(x) f
n
(x)[
et par suite
A =

Q]0,1]
_
_
NN
_

nN,k0
x X, [f
n+k
(x) f
n
(x)[
_
_
.
La mesurabilite des fonctions f
n
assure que lensemble x X, [f
n+k
(x) f
n
(x)[ est
element de / (cf. theor`eme 1.2.5 dans les notes de cours). Lensemble A est donc une
intersection denombrable de reunion denombrable dintersection denombrable delements
de /: cest un element de /.
17
INT

EGRATION, Feuille dexercices 2

Exercice 2.1.
Montrer que la fonction suivante est discontinue sur Q et continue sur Q
c
:
f(x) =
_
_
_
1 si x = 0,
1/q si x = p/q, p Z

, q N

, fraction irreductible,
0 si x irrationnel.
Corrige. Soit x
0
RQ et soit (x
n
)
n1
une suite de limite x
0
. On a f(x
0
) = 0 = f(x
n
)
si x
n
/ Q. On peut donc supposer que (x
n
)
n1
est une suite de nombres rationnels non
nuls avec x
n
= p
n
/q
n
, p
n
Z

, q
n
N

, fraction irreductible, f(x

n
) = 1/q
n
. Pour
obtenir la continuite de f en x
0
, il nous sut de demontrer que limq
n
= +. Si ce
netait pas le cas, on pourrait extraire de la suite dentiers (q
n
)
n1
une suite bornee et
donc extraire une suite stationnaire (q
n
j
)
j1
, identiquement egale `a un entier q 1. La
suite dentiers p
n
j
= q
n
j
x
n
j
= qx
n
j
serait egalement bornee et on pourrait en extraire
une suite stationnaire, identiquement egale `a un entier p. Une suite extraite de la suite
(x
n
)
n1
serait donc constante egale `a p/q ; or cette suite converge vers x
0
, ce qui donne
x
0
= p/q, ce qui est impossible car x
0
/ Q.
De plus f est discontinue en tout point rationnel, car si x
0
Q, on a f(x
0
) > 0 et, pour
n entier 1, f(x
0
+

2/n) = 0 (car x
0
+

2/n / Q).
Commentaire. Q est une reunion denombrable de fermes de R, cest un F

de R (cf.1.5
des notes de cours). On peut demontrer (cf.[GO1], [GO2]) que lensemble des points de
discontinuite dune fonction de R dans R est un F

et que, etant donne D un F

, il existe
une fonction de R dans R dont lensemble des points de discontinuite est exactement D.
Par ailleurs, le theor`eme de Baire (cf. e.g. probl`eme 1.2, feuille 1) implique que Q
c
nest
pas un F

. Par consequent, il nexiste pas de fonction continue sur Q, discontinue sur Q

c
.
Exercice 2.2.
Soit X un borelien de R et f : X R monotone. Montrer que f est mesurable.
Corrige. cf.1.2 dans les notes de cours, avant lenonce du theor`eme 1.2.5.
Exercice 2.3.
Soient (X, /), (Y, ^) des espaces mesurables et T un espace metrique separable muni
de la tribu des boreliens. Soient u
1
, . . . , u
d
des applications mesurables de X dans T et
: T
d
Y mesurable. Montrer que lapplication
X Y
x
_
u
1
(x), . . . , u
d
(x)
_
est mesurable.
Corrige. Cest lenonce du theor`eme 1.2.5
t
dans les notes de cours.
18
Exercice 2.4.
Soient (X, /) un espace mesurable et f : X C une application mesurable. Montrer
quil existe une fonction mesurable : X C avec [[ 1, telle que f = [f[.
Corrige. cf. le lemme 1.2.6 dans les notes de cours.
Exercice 2.5.
Soient (X, /) un espace mesurable et A X. Montrer que lensemble /
A
= M
A
M,
est une tribu sur A, rendant linjection canonique mesurable. Montrer que si en
outre A /, /
A
= M /, M A.
Corrige. /
A
est stable par reunion denombrable, contient A = X A, et est stable par
passage au complementaire car, en notant B
c
le complementaire dans X, pour M /,
(M A)
c
A = (M
c
A
c
) A = M
c
A.
Linjection canonique est mesurable car, pour M /, on a
1
(M) = MA. Le dernier
point est trivial.
Exercice 2.6.
Montrer que laddition des reels se prolonge par continuite `a R
+
R
+
. Montrer que la
multiplication des reels ne se prolonge pas par continuite `a R
+
R
+
. Montrer que si lon
adopte la convention 0 = 0 cette nouvelle multiplication est associative, commutative,
avec element neutre 1 et distributive par rapport ` a laddition. Soient (X, /) un espace
mesurable, f et g des fonctions mesurables de X dans R
+
. Montrer que f +g est mesurable.
Montrer que f g deni en adoptant la convention 0 = 0 est mesurable.
Corrige. cf. la remarque 1.3.4 dans les notes de cours.
Exercice 2.7.
Soit (X, /, ) un espace mesure o` u est une mesure positive, et (A
n
)
nN
une suite de
/. Montrer que (
N
A
n
)

N
(A
n
). Montrer que
(A
1
A
2
) +(A
1
A
2
) = (A
1
) +(A
2
),
et generaliser cette formule aux cas faisant intervenir un nombre ni densembles
A
1
, . . . , A
n
.
Corrige. Pour la premi`ere partie, cf. la remarque 1.4.3 des notes de cours. En outre,
(A
1
A
2
) +(A
2
A
1
) +(A
1
A
2
) = (A
1
A
2
)
et par consequent
(A
1
A
2
) +(A
1
A
2
) +(A
2
A
1
) +(A
1
A
2
) = (A
1
A
2
) +(A
1
A
2
)
19
cest `a dire
(A
1
) +(A
2
) = (A
1
A
2
) +(A
1
A
2
).
Ceci donne, si (A
1
A
2
) < +, la formule
(A
1
A
2
) = (A
1
) +(A
2
) (A
1
A
2
).
On obtient egalement, en supposant (A
1
A
2
A
3
) < +,
(A
1
A
2
A
3
)
= (A
1
) +(A
2
) +(A
3
) (A
1
A
2
) (A
1
A
3
) (A
2
A
3
) +(A
1
A
2
A
3
).
De mani`ere generale, on obtient par recurrence sur n, en supposant (
1jn
A
j
) < +,
(e2.7.1) (
1jn
A
j
) =

1kn
(1)
k+1

1i
1
<i
2
<<i
k
n
(A
i
1
A
i
2
A
i
k
).
En eet, nous avons etabli la formule (e2.7.1) pour n = 2. Considerons un entier n 3 et
A
1
, . . . , A
n
mesurables de mesures nies. Il vient
(
1jn
A
j
) = (
1jn1
A
j
A
n
)
= (
1jn1
A
j
) +(A
n
)
_

1jn1
(A
j
A
n
)
_
=

1kn1
(1)
k+1

1i
1
<i
2
<<i
k
n1
(A
i
1
A
i
2
A
i
k
)
+(A
n
)

1kn1
(1)
k+1

1i
1
<i
2
<<i
k
n1

_
A
i
1
A
i
k
A
n
_
=

1kn
(1)
k+1

1i
1
<i
2
<<i
k
n
[i
k
n1] ou bien [i
k
=n avec k2]
(A
i
1
A
i
2
A
i
k
) +(A
n
)
=

1kn
(1)
k+1

1i
1
<i
2
<<i
k
n
(A
i
1
A
i
2
A
i
k
), qed.
Commentaire. Dans lavant-derni`ere somme, on consid`ere les k-uplets
1 i
1
< < i
k
n
tels que i
k
n 1 ainsi que ceux pour lesquels i
k
= n et k 2; par suite il manque le
k-uplet pour lequel k = 1 et i
k
= n: cest precisement le terme (A
n
).
Exercice 2.8.
Soit X un ensemble et la mesure de comptage denie sur T(X) par (A) = CardA si A
est ni, (A) = + sinon. Montrer que (X, T(X), ) est un espace mesure.
20
Corrige. Soit (A
j
)
jN
une suite de parties de X, deux ` a deux disjointes. Si
jN
A
j
est un
ensemble ni, alors il existe N tel que A
j
= pour j > N; par suite
jN
A
j
=
0jN
A
j
et les A
j
sont nis deux ` a deux disjoints. On obtient bien
(
jN
A
j
) = Card(
0jN
A
j
) =

0jN
Card(A
j
) =

jN
Card(A
j
) =

jN
(A
j
).
Si
jN
A
j
est un ensemble inni, on a (
jN
A
j
) = +. Verions que

jN
(A
j
) =
+. Si lun des ensembles A
j
est inni, cest vrai. Si tous les A
j
sont nis, on ne peut
avoir M =

jN
Card(A
j
) < +. En eet, cela impliquerait
Card(
0jn
A
j
) =

0jn
Card(A
j
) M,
et par consequent sup
nN
Card(
0jn
A
j
) M. Or, comme lensemble
jN
A
j
est inni,
la suite
_
Card(
0jn
A
j
)
_
nN
nest pas majoree.
Exercice 2.9.
Soit (X, /) un espace mesurable et (
k
)
kN
une suite de mesures positives denies sur
/. Montrer que

k0

k
denit une mesure positive sur /.
Corrige. En posant, pour A /, (A) =

k0

k
(A), on voit que () = 0. Si (A
n
)
nN
est une suite de / densembles deux ` a deux disjoints, on a, en utilisant le lemme 1.2.11,
(
nN
A
n
) =

kN

k
(
nN
A
n
) =

kN
_

nN

k
(A
n
)
_
=

nN
_

kN

k
(A
n
)
_
=

nN
(A
n
), qed.
Commentaire. On pourra egalement consulter lexercice 2 du 14/11/1998 dans le para-
graphe examens corriges.
Exercice 2.10.
Soit (X, /, ) un espace mesure o` u est une mesure positive telle que (X) = 1. On
consid`ere
T = A /, (A) = 0 ou (A) = 1.
Montrer que T est une tribu sur X.
Corrige. cf. lexercice 1 du 14/11/1998 dans le paragraphe examens corriges.
Exercice 2.11.
Soit (X, /) un espace mesurable et (
j
)
jN
une suite de mesures positives denies sur /.
On suppose que pour tout A / et pour tout j N,
j
(A)
j+1
(A). Pour A /,
on pose
(A) = sup
jN

j
(A).
21
a. Montrer que est une mesure positive denie sur /.
b. On consid`ere lespace mesurable (N, T(N)) et pour j N, A N, on denit
j
(A) =
Card(A [j, +[)(CardE designe le nombre delements de E si E est ni, + sinon).
Montrer que
j
est une mesure positive denie sur T(N) telle que, pour tout A N,

j
(A)
j+1
(A). On pose
(A) = inf
jN

j
(A).
Montrer que (N) = + et que pour tout k N, (k) = 0. En deduire que nest pas
une mesure sur N.
Corrige. cf. lexercice 2 du 14/11/1998 dans le paragraphe examens corriges.
Exercice 2.12.
Soit B la tribu de Borel sur R et soit une mesure positive denie sur B telle que (K) <
+ pour K compact (on dira que est une mesure borelienne sur R). Soit
D = a R, (a) > 0.
a. Soient n, l des entiers 1. On pose D
n,l
= a R, [a[ n et (a) 1/l. Montrer
que D
n,l
est ni. Montrer que D est denombrable.
b. On pose pour E B, (E) = (D E). Montrer que cela a un sens et que est une
mesure borelienne sur R. Montrer que
=

aD
(a)
a
,
o` u
a
est la masse de Dirac en a (i.e.
a
(E) = 1
E
(a)).
c. Montrer que = + o` u est une mesure borelienne sur R telle que pour tout x R,
(x) = 0.
Corrige. cf. lexercice 2 du 20/11/1999 dans le paragraphe examens corriges.
Exercice 2.13.
Soit (X, /) un espace mesurable et soit (u
n
)
nN
une suite de fonctions mesurables de X
dans R. Montrer que les ensembles suivants sont mesurables
A = x X, lim
n+
u
n
(x) = +, B = x X, la suite (u
n
(x))
nN
est bornee.
Corrige. On a A = x X, m N, N N, n N, u
n
(x) m, de sorte quen posant
A
n,m
= x X, u
n
(x) m,
il vient A =
mN
_

NN
_

nN
A
n,m
_
_
qui est mesurable car chaque A
n,m
lest. De
mani`ere analogue, on a B = x X, m N, n N, [u
n
(x)[ m =
mN
_

nN
B
n,m
_
,
avec B
n,m
= x X, [u
n
(x)[ m.
22
Exercice 2.14.
Soient X, Y deux espaces metriques et soit f : X Y , une application dont lensemble des
points de discontinuite est denombrable. Montrer que f est mesurable (X, Y sont munis
de leur tribu borelienne).
Corrige. Soit D lensemble des points de discontinuite de f. Lapplication F : XD Y
denie par F(x) = f(x) est continue. Soit V un ouvert de Y . On a
f
1
(V ) = x X, f(x) V = x XD, f(x) V
_
f
1
(V ) D
_
= F
1
(V )
_
f
1
(V ) D
_
=
_
U (XD)
_

_
f
1
(V ) D
_
,
o` u U est un ouvert de X. Or D est mesurable comme reunion denombrable de points.
Par suite, U D
c
est mesurable. De plus, f
1
(V ) D est denombrable, donc mesurable.
Finalement, f
1
(V ) est mesurable et dapr`es le lemme 1.1.4, f est mesurable.
Exercice 2.15.
Soit X un ensemble non vide et / la tribu engendree par les parties x o` u x X.
a. Montrer que A / si et seulement si A est denombrable ou bien A
c
est denombrable.
b. Si X nest pas denombrable, on pose pour A /
(A) = 0, si A est denombrable,
(A) = 1, si A nest pas denombrable.
Montrer que est une mesure positive denie sur /.
Corrige. Si A est une partie denombrable de X, A est reunion denombrable densembles
`a un element et appartient donc ` a /. Comme / est aussi stable par passage au
complementaire, on trouve egalement que si A
c
est denombrable, A /. Considerons
^ = A X, A ou A
c
est denombrable.
Nous venons de demontrer que ^ /. Par ailleurs ^ est stable par passage au comple-
mentaire, contient X et toutes les parties `a un element. Soit (A
n
)
nN
une suite delements
de ^. Si tous les A
n
sont denombrables, alors
nN
A
n
est denombrable et donc est element
de ^. Sil existe k N tel que A
k
soit non denombrable, alors A
c
k
est denombrable et
comme
_

nN
A
n
_
c
=
nN
A
c
n
A
c
k
,
on obtient que
_

nN
A
n
_
c
est denombrable et donc
nN
A
n
^. Lensemble ^ est donc
une tribu qui contient toutes les parties ` a un element de X. On obtient donc que / ^
et par suite / = ^. Ceci ach`eve la demonstration de (a).
On a () = 0 ; soit (A
n
)
nN
une suite delements deux `a deux disjoints de /. Si tous les
A
n
sont denombrables, alors
nN
A
n
est denombrable et
(
nN
A
n
) = 0 =

nN
(A
n
).
23
Sil existe k N tel que A
k
soit non denombrable, alors A
c
k
est denombrable et
nN
A
n
est non denombrable. Comme
A
c
k

n,=k
A
n
,
A
n
est denombrable pour n ,= k et (A
n
) = 0 pour n ,= k. Par suite
(
nN
A
n
) = 1 = (A
k
) = (A
k
) +

nN,n,=k
(A
n
) =

nN
(A
n
), qed.
Exercice 2.16.
Soit (X, /) un espace mesurable et f, g : X R des applications mesurables. Montrer
que les ensembles suivants appartiennent ` a /.
A = x X, f(x) g(x), B = x X, f(x) < g(x), C = x X, f(x) = g(x).
Corrige. Lapplication X x (x) =
_
f(x), g(x)
_
R R est mesurable dapr`es la
demonstration du theor`eme 1.2.5
t
. On a alors A =
1
(L) avec
L = (, ) R R,
qui est un ferme de R R. On a de meme
M = (, ) R R, < , B =
1
(M),
N = (, ) R R, = , C =
1
(N),
et M est ouvert, N est ferme.
Exercice 2.17.
Un exercice de revision non necessairement superu. Les amateurs de formules pourront
consulter le site
http://integrals.wolfram.com/
en respectant scrupuleusement la typographie un peu etrange donnee dans
http://integrals.wolfram.com/about/input/
Donner une primitive de chacune des fonctions suivantes, en precisant lensemble de
24
denition.
tanx cot x
1
cos x
1
sinx
arcsinx arccos x arctanx sin
2
x
sin
3
x cos
2
x cos
3
x
1
sin
2
x
1
cos
2
x
sinhx cosh x tanhx
cothx
1
cosh x
1
sinhx
cosh
2
x
argshx argchx argthx argcothx
1
x
2
+ 1
1
x
2
1
x
1 x
2
x
x
2
+ 1
1

x
2
+ 1
1

x
2
1
1

1 x
2
Corrige. Si f est une fonction continue sur un ouvert I de la droite reelle, on notera
_
f(x)dx une primitive de f sur I. Passons en revue quelques formules classiques avec les
33 inevitables.
_
x

dx =
x
+1
+ 1
pour ,= 1, I = (0, +)
_
x
1
dx = ln[x[ I = R

_
e
zx
dx = z
1
e
zx
pour z ,= 0, I = R
_
tanx dx = ln[ cos x[ I = R(

2
+Z)
_
cot x dx = ln[ sinx[ I = RZ
_
1
cos x
dx = ln

tan(
x
2
+

4
)

I = R(

2
+Z)
_
1
sinx
dx = ln

tan(
x
2
)

I = RZ
_
arcsinx dx = xarcsinx +
_
1 x
2
I = (1, 1)
_
arccos x dx = xarccos x
_
1 x
2
I = (1, 1)
_
arctanx dx = xarctanx
1
2
ln(1 +x
2
) I = R
25
_
sin
2
x dx =
x
2

sin(2x)
4
I = R
_
cos
2
x dx =
x
2
+
sin(2x)
4
I = R
_
1
cos
2
x
dx = tanx I = R(

2
+Z)
_
1
sin
2
x
dx = cot x I = RZ
_
sinhx dx = cosh x I = R
_
cosh x dx = sinhx I = R
_
tanhx dx = ln[ cosh x[ I = R
_
cothx dx = ln[ sinhx[ I = R

_
1
cosh x
dx = arctan(sinhx) = 2 arctan(e
x
)

2
I = R
_
1
sinhx
dx = ln

tanh
x
2

I = R

_
1
cosh
2
x
dx = tanhx I = R
_
1
sinh
2
x
dx = cothx I = R

_
tanhx dx = ln(coshx) I = R
_
cothx dx = ln[ sinhx[ I = R

_
1

1 x
2
dx = arcsinx I = (1, 1)
_
1

x
2
1
dx = ln[x +
_
x
2
1[(=argch x pour x 1) I = R(1, 1)
_
1

x
2
+ 1
dx = ln(x +
_
x
2
+ 1) = argshx I = R
_
1
x
2
+ 1
dx = arctanx I = R
_
1
1 x
2
dx =
1
2
ln

1 +x
1 x

(= argthxpour [x[ < 1) I = R1, 1

_
lnx dx = xlnx x I = (0, +)
_
_
1 +x
2
dx =
x
2
_
1 +x
2
+
1
2
ln(x +
_
x
2
+ 1) I = R
_
_
1 x
2
dx =
x
2
_
1 x
2
+
1
2
arcsinx I = (1, 1)
_
_
x
2
1 dx =
x
2
_
x
2
1
1
2
ln[x +
_
x
2
1[ I = R(1, 1)
26
On a egalement
_
argshx dx = xargshx
_
1 +x
2
,
_
argchx dx = xargchx
_
x
2
1, sur x > 1,
_
argthx dx = xargthx +
1
2
ln(1 x
2
), sur [x[ < 1,
_
argcothx dx = xargcothx +
1
2
ln(x
2
1) sur x > 1.
Pour le calcul de primitives de fractions rationnelles, on utilise la decomposition en elements
simples de premi`ere esp`ece (x )
m
et de seconde esp`ece (x
2
+
2
)
1
, x(x
2
+
2
)
1
.
Pour le calcul dune primitive de F(cos x, sinx) o` u F est une fraction rationnelle, on peut
faire les changements de variable suivants.
(i) u = sinx, si la transformation x x laisse invariante la forme F(cos x, sinx)dx.
Cest le cas par exemple de
_
sin
4
xcos
5
xdx car
sin
4
( x) cos
5
( x)d( x) = sin
4
xcos
5
xdx
Ceci se generalise sans diculte au calcul de
_
sin
k
xcos
2l+1
xdx avec k, l entiers.
(ii) u = cos x, si la transformation x x laisse invariante la forme F(cos x, sinx)dx.
Cest le cas par exemple de
_
sin
5
xcos
7
xdx car
sin
5
(x) cos
7
(x)d(x) = sin
5
xcos
7
xdx
Ceci se generalise au calcul de
_
sin
2k+1
xcos
l
xdx avec k, l entiers.
(iii) u = tanx, si la transformation x +x laisse invariante la forme F(cos x, sinx)dx.
Cest le cas par exemple de
_
sin
4
xcos
6
xdx car
sin
4
( +x) cos
6
( +x)d( +x) = sin
4
xcos
6
xdx
Ceci se generalise au calcul de
_
sin
2k
xcos
2l
xdx avec k, l entiers.
(iv) En dernier ressort, on pourra toujours faire le changement u = tan
x
2
qui fournira
une fraction rationnelle en u.
Cette methode setend au cas dune fraction rationnelle de sinhx, cosh x.
Donnons quelques exemples dintegrales dites abeliennes de la forme
(e2.17.1)
_
F
_
x, (x)
_
dx
o` u F est une fraction rationnelle. On cherche par exemple
_
R(x,

x
2
+ 1)dx. On pose x =
sinht et on obtient
_
R(sinht, cosh t) cosh tdt, qui est lintegrale dune fraction rationnelle
en sinh, cosh. Pour
_
R(x,

x
2
1)dx, on pose x = cosh t ; pour
_
R(x,

1 x
2
)dx, on
27
pose x = sint. Par ailleurs, si on dispose dune representation parametrique unicursale du
graphe de la fonction , cest `a dire de fractions rationnelles , telle que t
_
(t), (t)
_
decrive le graphe, on se ram`ene au calcul de
_
F((t), (t))
t
(t)dt
qui est lintegrale dune fraction rationnelle. Cest le cas par exemple de
_
F(x, x
1/2
+x
1/3
)dx
pour laquelle on a (t) = t
6
, (t) = t
3
+t
2
.
On peut egalement sinteresser au calcul de
(e2.17.2)
_
e
zt
P(t)dt,
o` u z C et P est un polyn ome. On peut demblee chercher une solution du type e
zt
Q(t)
o` u Q est un polyn ome, ou bien integrer par parties en remarquant pour z ,= 0,
_
e
zt
P(t)dt = z
1
e
zt
P(t)
_
z
1
e
zt
P
t
(t)dt, deg P
t
< deg P.
Bien entendu, il faudra aussi retenir que certaines integrales peuvent se calculer sans quil
soit possible de determiner explicitement une primitive. Lexemple le plus cel`ebre est sans
conteste lintegrale de Gauss
(e2.17.3)
_
R
e
ax
2
dx =
1/2
a
1/2
, a C

, Re a 0.
Pour obtenir cette formule pour a C, Re a > 0, il sut de la demontrer pour a > 0
et dutiliser le prolongement analytique, puisque les deux membres sont holomorphes sur
louvert Re a > 0. Notons que la determination principale du logarithme est denie pour
z CR

par lintegrale sur le segment [1, z]

lnz =
_
[1,z]
d

,
et que exp(lnz) = z par prolongement analytique, ln(expz) = z pour [ Imz[ < . On
denit z

= exp(lnz). Pour obtenir (e2.17.1) pour Re a > 0 il sut donc de le demontrer

pour a = 1, puisquun changement de variable permet de sy ramener. Or, en utilisant la
page VII.9 de [Bou], on obtient
_
R
e
x
2
dx = 2
_
+
0
e
x
2
dx =
_
+
0
e
t
t
1/2
dt = (1/2) =
1/2
.
28
Il nous reste `a demontrer la formule pour 0 ,= a iR. On se ram`ene par un changement
de variable ` a demontrer
_
+
0
e
ix
2
dx = lim
A+
_
A
0
e
ix
2
dx =

1/2
2
e
i/4
.
Or pour > 0, on a
_
+
0
e
(i)x
2
dx =

1/2
2
( i)
1/2

0
+

1/2
2
e
i/4
,
et comme, pour tout A > 0,

1/2
2
e
i/4
= lim
0
+
_
+
0
e
(i)x
2
dx =
_
A
0
e
ix
2
dx + lim
0
+
_
+
A
x
1
xe
(i)x
2
dx
et
_
+
A
x
1
xe
(i)x
2
dx =
_
x
1
e
(i)x
2
( +i)
1
2
1

+
A
+
_
+
A
x
2
e
(i)x
2
( +i)
1
2
1
dx
= (2i 2)
1
A
1
e
(i)A
2
+ ( +i)
1
2
1
_
+
A
x
2
e
(i)x
2
dx,
il vient

1/2
2
e
i/4
=
_
A
0
e
ix
2
dx (2i)
1
A
1
+ (2i)
1
_
+
A
x
2
e
ix
2
dx,
et puisque

_
+
A
x
2
e
ix
2
dx

_
+
A
x
2
dx = A
1
,
on obtient

1/2
2
e
i/4
= lim
A+
_
A
0
e
ix
2
dx =
_
+
0
e
ix
2
dx, qed.
On obtient donc les integrales de Fresnel
(e2.17.4)
_
R
cos(x
2
)dx =
_

2
=
_
R
sin(x
2
)dx,
et de mani`ere generale la formule pour b R

,
(e2.17.5)
_
R
e
ibx
2
dx =
1/2
[b[
1/2
e
i

4
sign b
.
Un autre calcul classique est celui de
(e2.17.6)
_
+
0
sinx
x
dx =

2
.
Cette integrale a dej` a ete etudiee dans lexercice 1.7. Donnons une preuve courte de
(e2.17.6). On int`egre la fonction enti`ere e
iz
/z sur le contour suivant:
29

R
R
On obtient
0 = 2i
_
R

sinx
x
dx +
_

0
e
iRe
i
Re
i
iRe
i
d
_

0
e
ie
i
e
i
ie
i
d.
La troisi`eme integrale tend vers i lorsque tend vers 0. La valeur absolue de la seconde
integrale est majoree par
_

0
e
Rsin
d qui tend vers 0 lorsque R tend
4
vers linni, ce qui
donne (e2.17.6).
4
On peut appliquer le theor`eme de convergence dominee pour obtenir ceci mais cest excessif: il sut de
remarquer que 0
2

sin pour [0, /2] et

_

0
e
Rsin
d = 2
_
/2
0
e
Rsin
d 2
_
/2
0
e
2R/
d /R.
30
INTEGRATION, Feuille dexercices 3
Exercice 3.1.
Soit (X, /, ) un espace mesure o` u est une mesure positive. Soient f : X Y et
g : Y Z deux applications. Montrer que
(g f)

() = g

_
f

()
_
.
Corrige. La mesure image f

() est denie sur la tribu ^ = B Y, f

1
(B) / en
(1.4.13) dans les notes de cours par
f

()(B) =
_
f
1
(B)
_
.
La mesure image g

_
f

()
_
est denie sur la tribu
T = C Z, g
1
(C) ^ = C Z, f
1
_
g
1
(C)
_
/ = C Z, (g f)
1
(C) /
par
g

_
f

()
_
(C) = f

()
_
g
1
(C)
_
=
_
f
1
_
g
1
(B)
_
_
=
_
(g f)
1
(C)
_
.
Par consequent les mesures g

_
f

()
_
et (g f)

() concident sur la tribu T .

Commentaire. Si : Y R
+
est une fonction mesurable (limage reciproque dun ouvert
de R
+
appartient ` a ^), on a
(e3.1.1)
_
Y
d
_
f

()
_
=
_
X
( f)d.
En eet cette formule est veriee pour etagee, car si =

1jm

j
1
B
j
,
_
Y
d
_
f

()
_
=

1jm

j
f

()(B
j
) =

1jm

j
(f
1
_
B
j
)
_
(on utilise ici 1
B
j
f=1
f
1
(B
j
)
) =

1jm

j
_
(1
B
j
f)d =
_
X
( f)d.
Le theor`eme de Beppo-Levi (theor`eme 1.6.1) et le theor`eme dapproximation 1.3.3 permet-
tent dobtenir (e3.1.1) pour mesurable `a valeurs dans R
+
. Cette formule est egalement
valide pour L
1
_
f

()
_
.
Changeons un peu les notations et considerons un espace de probabilite (, /, P) (P est
une mesure positive et P() = 1). Considerons une variable aleatoire reelle X, i.e. une
31
application mesurable de ` a valeurs reelles. La loi de probabilite de la variable aleatoire
X est par denition la mesure image X

(P) denie par

X

(P)(I) = P
_
X
1
(I)
_
= P
_
, X() I
_
souvent note simplement P(X I). Dans un cas certainement dej` a familier au lecteur,
la variable X prend un nombre ni de valeurs x
1
, . . . , x
n
avec des probabilites p
1
, . . . , p
n
(p
j
0 et

j
p
j
= 1). La loi de X est une probabilite sur R denie par

1jn
p
j

x
j
.
Un autre cas assez standard est celui o` u la loi de la variable aleatoire est donnee par une
densite f (positive et dintegrale 1) de sorte que
P(X I) =
_
I
f(x)dx.
On pourra revenir au paragraphe 1.4 des notes de cours pour dautres exemples (1.4.8-9-
10-11-12).
Exercice 3.2.
On note B la tribu de Borel sur R et on consid`ere une mesure positive denie sur B et
nie sur les compacts. Pour a R, on denit
F
a
(t) =
_
([a, t[) si t > a,
([t, a[) si t a.
Montrer que F
a
est croissante et continue `a gauche.
Corrige. Soient s < t des reels. Pour s > a, on a [a, s[ [a, t[ et donc F
a
(s) = ([a, s[)
([a, t[) = F
a
(t). Pour s a < t, on a F
a
(s) = ([s, a[) 0 ([a, t[) = F
a
(t). Pour
s < t a, on a [t, a[ [s, a[ et donc F
a
(s) = ([s, a[) ([t, a[) = F
a
(t). La fonction
F
a
est donc croissante.
Soit t
0
R tel que t
0
> a et soit (t
n
)
n1
une suite croissante de limite t
0
. On a
[a, t
0
[=
n1
[a, t
n
[
et en utilisant la proposition 1.4.2.(b), il vient
F
a
(t
0
) = ([a, t
0
[) = lim
n
([a, t
n
[) = lim
n
F
a
(t
n
).
Soit t
0
R tel que t
0
a et soit (t
n
)
n1
une suite croissante de limite t
0
. On a
[t
0
, a[=
n1
[t
n
, a[
32
et en utilisant la proposition 1.4.2.(c) et ([t
1
, a[) ([t
1
, a]) < +, il vient
F
a
(t
0
) = ([t
0
, a[) = lim
n
([t
n
, a[) = lim
n
F
a
(t
n
).
Exercice 3.3.
Determiner lensemble des reels , , tels que
u

(t) =
t

e
t
(1 +t
1/2
)
L
1
(R
+
), v

(t) =
sint
t

e
t
L
1
(R
+
), w

(t) =
ln[t[
[t[

L
1
([1, 1]).
Corrige. > 1 : si cette condition est veriee, u

appartient ` a L
1
(R
+
) et reciproquement
si u

L
1
(R
+
), alors u

L
1
loc
(R
+
) et donc t

L
1
loc
(R
+
), ce qui implique > 1.
< 2 : si cette condition est veriee, v

appartient ` a L
1
(R
+
) car v

L
1
([r, +[)
pour tout R et tout r > 0 et v

(t) t
1
au voisinage de 0. Reciproquement si
v

L
1
(R
+
), alors v

L
1
loc
(R
+
) et donc t
1
L
1
loc
(R
+
), ce qui implique 1 > 1,
i.e. < 2.
< 1 : en utilisant la parite de w

et en posant t = 1/x, on trouve que w

L
1
([1, 1])
equivaut ` a x
2
lnx L
1
([1, +[) qui equivaut ` a 2 < 1 i.e. < 1.
Exercice 3.4.
a. Calculer lim
n
_
n
0
(1
x
n
)
n
dx.
b. Soit z C tel que Re z > 0. Montrer que
lim
n
_
n
0
x
z1
_
1
x
n
_
n
dx =
_
+
0
x
z1
e
x
dx = (z).
Corrige. Pour x 0, on a lim
n+
(1
x
n
)
n
= e
x
(prendre le logarithme). Par ailleurs,
pour tout > 1, on a ln(1 +) et par consequent, pour 0 x < n, on a
ln
_
1
x
n
_

x
n
et donc 0 1
[0,n]
(x)
_
1
x
n
_
n
e
x
,
ce qui permet dutiliser le theor`eme de convergence dominee pour les questions (a) et (b).
La reponse `a (a) est donc 1 = (1).
Exercice 3.5.
Soit (X, /, ) un espace mesure o` u est une mesure positive et soit f : X R
+
une
fonction mesurable telle que
_
X
fd < +. Montrer que pour tout > 0, il existe > 0
tel que pour tout A /,
(A) < implique
_
A
fd < .
33
Corrige. Voir la correction de lexercice 3 de lexamen du 14/11/1998 dans le paragraphe
examens corriges.
Exercice 3.6.
Soit m la mesure de Borel sur R et > 0. Construire un ouvert dense dans R tel que
m() < .
Corrige. Lensemble Q des nombres rationnels est equipotent ` a N. On peut considerer
Q = x
n

n1
et denir
=
n1
]x
n
2
n2
, x
n
+2
n2
[,
qui est ouvert comme reunion douverts, dense car contenant Q et de mesure
m()

n1
2
n1
= /2 < .
Exercice 3.7.
Soit (X, /, ) un espace mesure o` u est une mesure positive. Soit : X Y une
application. En considerant la tribu image, la mesure image

() et une application
mesurable g : Y R
+
, montrer que
_
X
(g )d =
_
Y
gd(

())
Corrige. Voir la formule (e3.1.1) ci-dessus.
Exercice 3.8.
Donner un exemple dune suite (f
n
)
nN
de C
0
([0, 1], R
+
) convergeant simplement vers 0
telle que
_
1
0
f
n
(x)dx +.
Corrige. Considerer la suite f
n
= n
2

n
o` u
n
est denie dans lexercice 1.5.
Exercice 3.9.
Soit (X, /, ) un espace mesure o` u est une mesure positive. Soit f : X R
+
une
fonction mesurable. on dit que f est essentiellement majoree sil existe M R
+
tel que

_
x X, f(x) > M
_
= 0.
On pose alors
essupf = inf
_
M R
+
, (x X, f(x) > M) = 0
_
.
34
a. Montrer quune fonction majoree par un reel M est essentiellement majoree. Donner un
exemple de fonction essentiellement majoree `a valeurs dans R
+
qui ne soit pas majoree.
b. Soit f : X R
+
une fonction essentiellement majoree. Montrer que
0 f essupf, presque partout.
c. Soient f, g : X R
+
des fonctions mesurables essentiellement majorees. Montrer que
f +g est essentiellement majoree et que
essup(f +g) essupf + essupg.
Corrige. Voir la denition 3.2.2 et la remarque 3.2.3 dans les notes de cours.
Exercice 3.10.
Soit X un ensemble. On appelle mesure exterieure sur X une application

: T(X) R
+
telle que
(i) () = 0,
(ii) A B X implique

(A)

(B) (monotonie),
(iii)

(
nN
A
n
)

nN

(A
n
) (sous-additivite denombrable).
Montrer que

denie sur T(R) par

(A) = inf

jN
(b
j
a
j
)
o` u
jN
]a
j
, b
j
[ parcourt les recouvrements ouverts de A, est une mesure exterieure sur R.
Corrige. Les proprietes (i) et (ii) sont immediates. Montrons (iii). Soient (A
n
)
nN
une
suite de parties de R. On peut supposer que tous les

(A
n
) sont nis, sinon (iii) est
verie trivialement. Soit > 0. Pour chaque n N, on consid`ere une famille denombrable
dintervalles ouverts bornes (I
n
k
)
kN
telle que
A
n

kN
I
n
k
,

(A
n
)

kN
[I
n
k
[ <

(A
n
) +2
n1
,
o` u lon a note [I
n
k
[ la longueur de lintervalle I
n
k
. On a alors

nN
A
n

n,kN
I
n
k
et par consequent

nN
A
n
_

n,kN
[I
n
k
[ =

nN
_

kN
[I
n
k
[
_

nN
_

(A
n
) +2
n1
_
= +

nN

(A
n
),
35
ceci pour tout > 0, ce qui donne le resultat.
Exercice 3.11.
Trouver une suite de fonctions en escalier f
n
: [0, 1] R
+
telle que lim
n

1
0
f
n
(x)dx =
0 et telle que la suite (f
n
(x))
nN
ne converge pour aucun x [0, 1].
Corrige. Considerons pour 0 k < m entiers la fonction
F
k,m
(x) = 1
[
k
m
,
k+1
m
[
(x)
et posons
f
0
= F
0,1
f
1
= F
0,2
, f
2
= F
1,2
f
3
= F
0,3
, f
4
= F
1,3
, f
5
= F
2,3
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
fm(m1)
2
= F
0,m
, . . . , fm(m1)
2
+k
= F
k,m
, . . . , fm(m1)
2
+m1
= F
m1,m
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Un simple dessin convaincra le lecteur que pour x xe, la suite f
n
(x) prend une innite de
fois les valeurs 0 et 1, ce qui montre sa divergence. Neanmoins dans la suite, nous nous
sommes eorces de donner les details du probl`eme de numerotation auquel on doit faire face
pour traiter exhaustivement cette question. La complexite apparente de la redaction donne
malheureusement limpression quune diculte reelle est dissimulee dans ce probl`eme, ce
qui nest pas le cas.
On remarque que la suite

m(m1)
2

m1
est strictement croissante, vaut 0 pour m = 1 et
tend vers +. Par consequent, pour tout entier n 0, il existe un unique entier m
n
1
tel que
m
n
(m
n
1)
2
n <
m
n
(m
n
+ 1)
2
et par consequent
n =
m
n
(m
n
1)
2
+k
n
, avec 0 k
n
<
m
n
2
2
= m
n
.
Remarquons que lim
n+
m
n
= + car m
n
+ 1 >

2n. Pour n 0, posons

f
n
(x) = F
k
n
,m
n
(x).
On a

1
0
f
n
(x)dx =

1
0
F
k
n
,m
n
(x)dx = 1/m
n
0 lorsque n .
36
Soit x [0, 1]. Soit n 3 tel que f
n
(x) = 1: alors
k
n
m
n
x <
1+k
n
m
n
et si k
n
< m
n
1, on a
m
n
(m
n
1)
2
n < n + 1 =
m
n
(m
n
1)
2
+k
n
+ 1 <
m
n
(m
n
1)
2
+m
n
=
m
n
(m
n
+ 1)
2
,
ce qui donne m
n+1
= m
n
et f
n+1
(x) = F
1+k
n
,m
n
(x) = 0. Si f
n
(x) = 1 et k
n
= m
n
1, on
a
m
n
1
m
n
x < 1 et
n + 1 =
m
n
(m
n
1)
2
+m
n
=
m
n
(m
n
+ 1)
2
, et donc m
n+1
= 1 +m
n
, k
n+1
= 0,
ce qui donne
f
n+1
(x) = F
0,1+m
n
(x) = 0 car
1
1 +m
n

m
n
1
m
n
car m
n
2.
Par suite,
(e3.11.1) pour n 3, f
n
(x) = 1 =f
n+1
(x) = 0.
Par ailleurs, pour x [0, 1[ et n 0, on a 0 m
n
x < m
n
et par consequent
k = E(m
n
x) {0, . . . , m
n
1}.
Considerons n

=
m
n
(m
n
1)
2
+k
m
n
(m
n
1)
2
. On a
k m
n
x < 1 +k,
k
m
n
x <
1 +k
m
n
et par suite
(e3.11.2) f
n
(x) = F
k,m
n
(x) = 1,
ce qui implique que la suite f
n
(x) prend une innite de fois la valeur 1. Comme elle prend
aussi une innite de fois la valeur 0 ` a cause de (e3.11.2-1), elle ne peut converger. Le cas
x = 1 se traite de mani`ere analogue. En utilisant des fonctions anes par morceaux, on peut modier
lexemple ci-dessus de sorte que les fonctions f
n
soient continues.
Exercice 3.12.
Soit (X, M, ) un espace mesure o` u est une mesure positive et soit f
n
: X R
+
une suite
de fonctions mesurables. On suppose que cette suite est croissante et que sup
nN

X
f
n
d <
+. Montrer que sup
nN
f
n
(x) est ni pp. Donner un enonce analogue pour les series
de fonctions mesurables `a valeurs dans R
+
.
Corrige. Le theor`eme de Beppo-Levi (theor`eme 1.6.1) assure que, avec f = sup
nN
f
n

X
fd = sup
nN

X
f
n
d,
et par consequent f est une fonction mesurable de X dans R
+
telle que

X
fd < +.
37
et par consequent f est une fonction mesurable de X dans R
+
telle que
_
X
fd < +.
Par suite, si N = x X, f(x) = +, on a pour tout entier naturel k
k(N)
_
N
fd
_
X
fd < +
et la suite (k(N))
kN
est majoree, ce qui implique (N) = 0.
De meme, si (u
k
)
kN
est une suite de fonctions mesurables de X dans R
+
telle que

k0
_
X
u
k
d < +,
alors la serie

kN
u
k
(x) converge -presque partout vers une limite nie. Le corollaire
1.6.2 implique
_
X
_

kN
u
k
_
d =

k0
_
X
u
k
d <=
et par consequent, dapr`es ce qui prec`ede, la fonction

kN
u
k
(x) est nie presque partout,
qed.
Exercice 3.13.
Soit (X, /, ) un espace mesure o` u est une mesure positive et f : X C une fonction
de L
1
(). On suppose que, pour tout E /,
_
E
fd = 0. Montrer que f est nulle pp.
Corrige. En particulier, pour E = x X, Re f(x) 0, il vient
0 = Re
_
_
E
fd
_
=
_
E
(Re f)d = 1
Re f0]
Re f = 0 pp,
et comme on a de meme 1
Re f0]
Re f = 0 presque partout il vient Re f = 0, pp. On
obtient de mani`ere analogue Imf = 0, pp et le resultat.
Exercice 3.14.
Soit (X, /, ) un espace mesure o` u est une mesure positive et f : X C une fonction
mesurable.
a. Montrer que si f L
1
(), alors
lim
n
n([f[ n) = 0.
La reciproque est-elle vraie ?
b. Montrer que si f L
1
(), alors

n1
1
n
2
_
]f]n
[f[
2
d < +.
38
La reciproque est-elle vraie?
Corrige. (a) On a
0 n
_
[f[ n
_
=
_
X
n1
]f]n]
d
_
X
[f[1
]f]n]
d.
On a 0 g
n
= [f[1
]f]n]
[f[ L
1
() et lim
n
[f(x)[1
]f]n]
(x) = 0: le theor`eme de
convergence dominee (theor`eme 1.6.8) assure que lim
n
_
X
[f[1
]f]n]
d = 0 et le resultat.
La reciproque est fausse. La fonction continue positive sur [0, e
1
] donnee par g(x) =
xln(x
1
) a pour derivee ln(x
1
) 1 et est donc croissante sur [0, e
1
] de g(0) = 0 ` a
g(e
1
) = e
1
. On a
_
e
1
0
dx
g(x)
=
_
e
1
0
dx
xln(x
1
)
=
_
+
e
du
uln(u)
= lim
A+
ln(lnA) = +.
Neanmoins, pour n 1,
x [0, e
1
],
1
g(x)
n = x [0, e
1
], g(x) n
1
= [0, x
n
]
o` u x
n
[0, e
1
] est caracterise par x
n
ln(x
1
n
) = g(x
n
) = n
1
, ce qui implique
n
_
x [0, e
1
],
1
g(x)
n
_
= nx
n
=
1
[ lnx
n
[
0
car x
n
0
+
. La propriete (a) peut donc etre veriee sans que f (ici 1/g) soit dans L
1
.
(b) Pour f L
1
, on a

n1
1
n
2
_
]f]n
[f[
2
d =
_
_

n1
n
2
[f[
2
1
]f]n]
_
d.
Avec
F(x) =

n1
n
2
[f(x)[
2
1
]f]n]
(x) =

nmax(]f(x)],1)
n
2
[f(x)[
2
= [f(x)[
2

nmax(]f(x)],1)
n
2
comme pour N 1,

nN
n
2
min
_

2
6
,
1
N 1
_
,
on obtient
0 F(x) min(

2
6
,
1
max([f(x)[, 1) 1
)[f(x)[
2

_

2
6
[f(x)[
2
si [f(x)[ 2,
]f(x)]
2
]f(x)]1
si [f(x)[ > 2.
39
Comme pour [f(x)[ 2 on a

2
6
[f(x)[
2

2
6
[f(x)[[f(x)[ [f(x)[
2
2
6
4[f(x)[ et pour
[f(x)[ > 2,
[f(x)[
2
[f(x)[ 1
=
[f(x)[
[f(x)[ 1
[f(x)[ 2[f(x)[,
il vient
0 F(x) 4[f(x)[
ce qui donne le resultat.
La reciproque est fausse car avec f(x) =
1
x
1
[1,+[
(x) (qui nest pas dans L
1
), on a
neanmoins

n1
1
n
2
_
]f]n
[f[
2
d =

n1
1
n
2
_
x1
1
x
2
dx =
2
/6.
Commentaire. On peut egalement fournir un contre-exemple ` a la reciproque de (b) pour
lequel est de masse totale nie (i.e. (X) < +) en suivant la construction de (a).
Exercice 3.15.
Determiner la limite des suites
u
n
=

k1
n
nk
2
+k + 1
, v
n
=

1k2n
n
2
kn
2
+k
2
, w
n
=

1kn
2
sink
k
2
_
k
k + 1
_
n
.
Corrige. On a, pour k entier xe 1, lim
n+
n
nk
2
+k+1
=
1
k
2
et en outre
n
nk
2
+k + 1
=
1
k
2
+ (k/n) + (1/n)

1
k
2
= F(k),

k1
F(k) < .
Le theor`eme de convergence dominee (th.1.6.8) sur lespace mesure (N, =

k1

k
, T(N))
applique `a la suite de fonctions (f
n
)
n1
denies par f
n
(k) =
n
nk
2
+k+1
, donne
u
n
=
_
N
f
n
d

n+
_
N
(lim
n
f
n
)d =

k1
1
k
2
=

2
6
.
En utilisant le meme espace mesure et la suite de fonctions positives (g
n
)
n1
denies par
g
n
(k) =
_
n
2
kn
2
+k
2
pour 1 k 2n,
0 sinon,
il vient du lemme de Fatou (lemme 1.6.4),
+ =

k1
1
k
=
_
N
liminf
n
g
n
d liminf
n
_
N
g
n
d = liminf
n
v
n
,
40
ce qui donne lim
n
v
n
= +.
Toujours avec le meme espace mesure et la suite de fonctions (h
n
)
n1
denie par
h
n
(k) =
_
sin k
k
2
(
k
k+1
)
n
pour 1 k n
2
,
0 sinon,
on remarque que [h
n
(k)[ F(k) o` u F est denie ci-dessus. Le theor`eme de convergence
dominee (th.1.6.8) donne
lim
n
w
n
=
_
N
(lim
n
h
n
)d =

k1
lim
n+
_
sink
k
2
_
k
k + 1
_
n
_
=

k1
0 = 0.
Commentaire. Le dernier point peut se verier directement (i.e. sans utiliser le theor`eme
de convergence dominee). En eet, pour tout entier m 1, on a
[w
n
[

1km
1
k
2
_
m
m+ 1
_
n
+

k>m
1
k
2


2
6
_
m
m+ 1
_
n
+

k>m
1
k
2
,
et par consequent
limsup
n+
[w
n
[

k>m
1
k
2
, do` u limsup
n+
[w
n
[ inf
m1

k>m
1
k
2
= 0
car

k>m
1
k
2
est le reste dune serie convergente.
Exercice 3.16.
Determiner la limite des suites I
n
=
_
1
0
n
1 +x
2
tanh
_
x
n
_
dx, J
n
=
_
1
0
ne
x
nx + 1
dx.
Corrige. En posant f
n
(x) =
n
1+x
2
tanh
_
x
n
_
, on trouve
lim
n+
f
n
(x) =
x
1 +x
2
et [f
n
(x)[
x
1 +x
2
sup
>0
(
tanh

).
Le theor`eme de convergence dominee implique donc
lim
n+
I
n
=
_
1
0
x
1 +x
2
dx =
1
2
_
ln(1 +x
2
)

1
0
=
ln2
2
.
On a J
n
=
_
1
0
e
x
_
x +
1
n
_
1
dx et le lemme de Fatou donne, avec g
n
(x) = e
x
_
x +
1
n
_
1
,
+ =
_
1
0
e
x
x
1
dx =
_
1
0
_
liminf
n
g
n
(x)
_
dx liminf
n
_
1
0
g
n
(x)dx = liminf
n
J
n
.
41
Probl`eme 3.1. Un ensemble non mesurable.
On consid`ere sur [0,1] la relation dequivalence denie par x y si x y Q. On
rappelle lenonce de laxiome du choix. Soit I un ensemble non vide et soit (X
i
)
iI
une
famille densembles. Alors
i I, X
i
,= =

iI
X
i
,= .
Si X R et t R, on notera X +t lensemble x +t
xX
.
a. En utilisant laxiome du choix, montrer quil existe une partie A de [0,1] formee en
prenant dans chacune des classes dequivalence de un element et un seul.
b. Soit : N Q [1, 1] une bijection. On pose A
n
= A+(n). Montrer que
[0, 1]
nN
A
n
[1, 2]
c. En deduire quil nexiste pas de mesure positive denie sur T(R), invariante par
translation, (i.e. telle que (X) = (X + t) pour toute partie X de R et tout reel t), et
telle que ([a, b]) = b a pour a b.
d. Montrer que A / L, o` u L est la tribu de Lebesgue.
Corrige. (a) Considerons lensemble quotient [0, 1]/ , i.e. lensemble des classes dequiva-
lence X
i

iI
. Chaque X
i
est une classe dequivalence et est donc non vide. En utilisant
laxiome du choix, on peut trouver une famille (x
i
)
iI
delements de [0, 1] telle que X
i
soit
la classe dequivalence de x
i
. Posons A = x
i

iI
.
(b) Remarquons que Q[1, 1] est inni denombrable, donc equipotent ` a N. Soit x [0, 1].
Il existe un i I tel que x x
i
, i.e. xx
i
Q ; par suite x = x
i
+ avec Q et comme
x et x
i
appartiennent ` a [0, 1], [1, 1] et donc, il existe n N tel que = (n), ce qui
implique x A
n
= A+(n). De plus
A
n
[0, 1] + [1, 1] [1, 2].
(c) Supposons quune telle mesure existe. Remarquons tout dabord que pour n ,= m
entiers naturels, on a A
n
A
m
= . En eet si x A
n
A
m
, on obtient, avec i, j I
x = x
i
+(n) = x
j
+(m)
et donc x
i
x
j
, ce qui implique x
i
= x
j
, puis (n) = (m) et donc m = n car est
injective. On aurait donc
1 = ([0, 1]) (
nN
A
n
) =

nN
(A
n
) =

nN
(A) ([1, 2]) = 3,
ce qui est impossible, car la premi`ere inegalite implique (A) > 0 tandis que la seconde
implique (A) = 0.
(d) Si on avait A L, les inegalites precedentes seraient valides pour la mesure de Lebesgue
m sur R, aboutissant comme ci-dessus `a une contradiction.
42
Probl`eme 3.2. Theor`eme dEgoro.
Soit (X, /, ) un espace mesure o` u est une mesure positive telle que (X) < +. Soit
f
n
: X C une suite de fonctions mesurables qui converge simplement vers une fonction
f.
a. On denit pour k 1, n entiers, lensemble
E
k
n
=
pn
x X, [f
p
(x) f(x)[ 1/k.
Montrer que pour tout k 1, X =
nN
E
k
n
.
b. Montrer que pour tout > 0, il existe une partie mesurable A

telle que (A

) < et
telle que (f
n
)
nN
converge uniformement sur XA

.
c. Montrer que lhypoth`ese (X) < + nest pas superue.
Corrige. (a) Soit x X. On a lim
m
f
m
(x) = f(x) et par consequent, pour tout entier
k 1, il existe un entier n tel que pour tout p n,
[f
p
(x) f(x)[ 1/k.
Ceci exprime exactement que x E
k
n
. Remarquons egalement que E
k
n
E
k
n+1
et donc
(proposition 1.4.2.b) que lim
n
(E
k
n
) = (X). Comme (X) < +, pour tout > 0 et
pour tout k 1, il existe N
k
tel que
n N
k
, (E
k
n
) (X) 2
k
.
On peut supposer par consequent quil existe une suite (n
k
)
k1
strictement croissante telle
que
(E
k
n
k
) (X) 2
k
.
Il sut en eet de denir pour cela n
k
= k 1 + max
1jk
N
j
. On a alors
N
k
n
k
= k 1 + max
1jk
N
j
k 1 + max
1jk+1
N
j
< k + max
1jk+1
N
j
= n
k+1
.
(b) Soit > 0. Posons F =
k1
F
k
avec F
k
=
_
E
k
n
k
_
c
. On a (F
k
) = (X)(E
k
n
k
) 2
k
et donc (F)

k1
(F
k
) . Il vient avec B = F
c
et donc (B
c
) ,
B =
k1
F
c
k
=
k1
E
k
n
k
,
ce qui donne sup
xB
[f
n
(x) f(x)[ sup
xE
k
n
k
[f
n
(x) f(x)[ 1/k si n n
k
. La suite
(sup
xB
[f
n
(x) f(x)[)
nN
converge donc vers 0.
(c) Considerons la mesure de Lebesgue sur R et la suite convergeant simplement vers 0.
f
n
(x) = 1
[0,1]
(x n). Si A est une partie mesurable de mesure de Lebesgue 1/2 et f
n
converge uniformement sur A
c
, on doit avoir
0 = lim
n
_
sup
xA
c
1
[0,1]
(x n)
_
ce qui implique A
c
[n, n + 1] = pour n N, et donc
A [n, n + 1] = m(A) 1, contredisant lhypoth`ese.
43
INTEGRATION, Feuille dexercices 4
Exercice 4.1.
a. Soit E un espace vectoriel norme. Montrer que E est complet si et seulement si les
series normalement convergentes sont convergentes (une serie de terme general u
n
est dite
normalement convergente si

|u
n
| < +).
b. Soit (X, /, ) un espace mesure o` u est une mesure positive et

u
n
une serie nor-
malement convergente dans L
1
(). Montrer que

u
n
(x) est convergente pp.
c. Soit (f
n
)
n1
une suite de L
1
() telle que

n1
|f
n+1
f
n
|
L
1
()
< +. Montrer que
la suite f
n
converge dans L
1
() et pp. Comparer avec lexercice 3.8.
Corrige. (a) Supposons tout dabord que E est complet et considerons une serie normale-
ment convergente de terme general u
n
. Posons S
n
=

0kn
u
k
. On a, pour p 0,
|S
n+p
S
n
| = |

n<kn+p
u
k
|

n<kn+p
|u
k
|

n<k
|u
k
| =
n
.
Comme la serie numerique

|u
k
| est convergente, on a lim
n

n
= 0 et la suite (S
n
) est
de Cauchy donc convergente. Reciproquement, supposons que E est un espace vectoriel
norme dans lequel les series normalement convergentes sont convergentes. Soit (u
n
)
nN
une suite de Cauchy. Pour tout > 0, il existe N

tel que, pour n N

, m N

,
|u
n
u
m
| .
En utilisant la propriete de Cauchy, on peut trouver n
1
N tel que, pour tout p 0
|u
n
1
+p
u
n
1
| 1/2.
De meme, on peut trouver n
2
> n
1
N tel que, pour tout p 0
|u
n
2
+p
u
n
2
| 1/2
2
,
et de mani`ere generale, on peut construire une suite croissante dentiers n
1
< n
2
< < n
j
telle que, pour tout p 0,
|u
n
j
+p
u
n
j
| 2
j
.
La serie

j1
(u
n
j+1
u
n
j
) est normalement convergente et donc convergente. Comme

1j<l
(u
n
j+1
u
n
j
) = u
n
l
u
n
1
,
la suite (u
n
l
)
lN
est convergente. Or cest une suite extraite dune suite de Cauchy et
cela implique que la suite de Cauchy (u
n
)
nN
est convergente: soit w la limite de la suite
(u
n
l
)
lN
. On a
|u
n
w| |u
n
u
n
l
| +|u
n
l
w|.
44
Soit > 0 et n N

. Comme n
l
tend vers linni avec l, il vient
|u
n
w| limsup
l+
|u
n
u
n
l
| + limsup
l+
|u
n
l
w| + 0 =
et la convergence de la suite (u
n
).
(b) Comme L
1
() est complet, la serie

u
n
est convergente dans L
1
(). De plus, comme

nN
_
X
[u
n
[d < +,
il vient du corollaire 1.6.2 (du theor`eme de Beppo-Levi) que
_
X
_

nN
[u
n
[
_
d =

nN
_
X
[u
n
[d < +,
ce qui implique que

nN
[u
n
[ est une fonction de L
1
(). Par consequent, cette fonction
est nie -presque partout, i.e. pour N /, avec (N) = 0,
x N
c
,

nN
[u
n
(x)[ < +.
Par suite, pour tout x dans N
c
, la serie

nN
u
n
(x) est convergente.
Commentaire. Si (f
n
)
nN
est une suite convergente dans L
1
(), alors on peut en extraire
une sous-suite qui converge simplement presque partout (lemme 3.2.6). Lextraction est
necessaire comme le montre lexercice 3.11. Par ailleurs, si lim
n
f
n
= f dans L
1
et la
suite (f
n
) converge presque partout vers g, alors g = f presque partout. En eet, pour
> 0, n N

_
x, [f(x) g(x)[
_

_
x, [f(x) f
n
(x)[ /2
_
+
_
x, [g(x) f
n
(x)[ /2
_
et par suite

_
x, [f(x) g(x)[
_
2
1
_
X
[f f
n
[d +
_
x, [g(x) f
n
(x)[ /2
_
,
ce qui donne

_
x, [f(x) g(x)[
_
limsup
n

_
x, [g(x) f
n
(x)[ /2
_
= 0, qed.
(c) La serie

k
(f
k
f
k1
) est normalement convergente donc convergente dans L
1
dapr`es
le (a). Comme
S
n
=

1kn
(f
k
f
k1
) = f
n
f
0
,
45
la suite (f
n
) est convergente dans L
1
. De plus, dapr`es le (b), la serie

k
_
f
k
(x) f
k1
(x)
_
est convergente presque partout, i.e. la suite (f
k
(x)) est convergente presque partout.
Commentaire. La convergence simple presque partout nest evidemment pas susante pour
la convergence L
1
comme le montre lexercice 3.8.
Exercice 4.2.
Soit (X, /, ) un espace mesure o` u est une mesure positive. On dit que (X, /, ) est
-ni sil existe une suite (X
n
)
nN
delements de / telle que, pour tout n, (X
n
) < +
et X =
nN
X
n
. Montrer que (X, /, ) est -ni si et seulement si il existe f L
1
()
telle que pour tout x X, f(x) > 0.
Corrige. Supposons dabord que (X, /, ) est -ni. Considerons
f(x) =

nN
1
X
n
(x)
2
n
_
(X
n
) + 1
_.
Pour tout x X, on a f(x) > 0 (car x appartient ` a lun des X
n
) et
_
X
[f[d

nN
(X
n
)
2
n
_
(X
n
) + 1
_ 2.
Reciproquement, sil existe f L
1
() telle que pour tout x X, f(x) > 0, on pose pour
n N,
X
n
= x X, f(x) > 1/(n + 1).
On a X =
nN
X
n
car pour x X, f(x) > 0 et par consequent f(x) > 1/(n + 1) pour
n E
_
1/f(x)
_
. Par ailleurs, comme f est positive et dans L
1
(),
(X
n
)
_
X
(n + 1)fd = (n + 1)
_
X
fd < +.
Exercice 4.3.
a. Calculer la limite de la suite
_
n
0
_
1
t
n
_
n
dt pour n +.
b. Soit x > 0. Montrer que la suite
I
n
(x) =
_
n
0
t
x
_
1
t
n
_
n
dt
t
est bien denie pour n 1 et converge lorsque n +. Donner une expression integrale
pour la limite I(x). Quelle fonction classique reconnaissez-vous ?
c. Montrer que pour x > 0 et n entier 1 on a
I
n
(x) = n
x
n!

0jn
(x +j)
= n
x
n!
x(x + 1) . . . (x +n)
46
(on pourra faire le changement de variable t = ns dans I
n
(x), raisonner par recurrence
sur n, et faire une integration par parties).
Corrige. (a) Posons f
n
(t) = 1
[0,n]
(t)(1 t/n)
n
. On a, pour 0 < t < n,
ln(f
n
(t)) = nln(1 t/n)
n+
t
et par consequent pour t 0, lim
n+
f
n
(t) = e
t
. Par ailleurs, comme
ln(1 +x) x, pour x > 1,
on obtient, pour 0 < t < n, linegalite nln(1 t/n) t et donc, pour t 0,
0 f
n
(t) e
t
.
Le theor`eme de convergence dominee donne alors lim
n
_
n
0
_
1
t
n
_
n
dt =
_
+
0
e
t
dt = 1.
(b) Pour x > 0 la fonction t [t[
x1
est localement integrable, ce qui montre que I
n
(x) a
un sens. En posant g
n
(t) = f
n
(t)t
x1
, il vient
0 g
n
(t) e
t
t
x1
1
R
+
(t) L
1
, lim
n
g
n
(t) = t
x1
e
t
1
R
+
(t)
ce qui donne
I(x) = lim
n+
I
n
(x) =
_
+
0
t
x1
e
t
dt = (x). (fonction Gamma)
(c) Pour x > 0 et n entier 1, on a
I
n
(x) =
_
n
0
t
x
_
1
t
n
_
n
dt
t
= n
x
_
1
0
s
x1
(1 s)
n
ds.
Par suite, on a
I
1
(x) =
_
1
0
s
x1
(1 s) ds =
1
x

1
x + 1
=
1
x(x + 1)
,
47
et, pour n 1,
I
n+1
(x) = (n + 1)
x
_
1
0
s
x1
(1 s)
n+1
ds
= (n + 1)
x
_
_
s
x
x
(1 s)
n+1

1
0

_
1
0
s
x
x
(n + 1)(1 s)
n
(1)ds
_
= x
1
(n + 1)
x+1
_
1
0
s
x
(1 s)
n
ds
= x
1
(n + 1)
x+1
n
x1
n
x+1
_
1
0
s
x
(1 s)
n
ds
= x
1
(n + 1)
x+1
n
x1
I
n
(x + 1)
= x
1
(n + 1)
x+1
n
x1
n
x+1
n!

0jn
(x + 1 +j)
= (n + 1)
x
(n + 1)!
x

0jn
(x + 1 +j)
= (n + 1)
x
(n + 1)!

0jn+1
(x +j)
, qed.
Exercice 4.4.
Soit (X, /, ) un espace mesure o` u est une mesure positive. Soit f : X C une
fonction mesurable telle que (x X, f(x) ,= 0) > 0. Pour p [1, +[, on pose
(p) =
_
X
[f[
p
d et J = p [1, +[, (p) < +.
a. Soient p
0
p
1
des elements de J. Pour [0, 1], montrer que p

= (1 )p
0
+p
1
est
element de J (on pourra utiliser linegalite de Holder).
b. Montrer que est strictement positive sur J et que ln est convexe sur J.
c. On suppose quil existe r
0
[1, +[ tel que f L
r
0
()L

(). Montrer que f L

p
()
pour p [r
0
, +]. Montrer que
lim
p+
|f|
L
p
()
= |f|
L

()
.
d. On suppose quil existe r
0
[1, +[ tel que f L
p
() pour p [r
0
, +[. Montrer que
si f / L

() on a
lim
p+
|f|
L
p
()
= +.
48
Corrige. Lhypoth`ese
_
[f[ > 0
_
> 0 assure (p) > 0 pour tout p 1 (sinon (p) = 0
donnerait f = 0 presque partout). Pour ]0, 1[, on a en utilisant linegalite de Holder,
0 < (p

) =
_
X
L
1
1
..
[f[
p
0
(1)
L
1

..
[f[
p
1

d
__
X
[f[
p
0
d
_
1
__
X
[f[
p
1
d
_

= (p
0
)
1
(p
1
)

,
ce qui fournit (a) et (b).
(c) On a [f[ |f|
L
presque partout et donc, pour p r
0
,
_
X
[f[
p
d
_
X
[f[
r
0
d|f|
pr
0
L

< +, 0 < (p)

1/p
(r
0
)
1/p
|f|
1
r
0
p
L

p+
|f|
L
.
Lhypoth`ese sur f assure egalement que |f|
L
> 0 (sinon on aurait f = 0 presque
partout). On peut alors considerer tel que 0 < < |f|
L
, et remarquer que
_
X
[f[
p
d
_
]f]|f|
L

[f[
p
d
_
|f|
L

_
p

_
[f[ > |f|
L

_
,
ce qui donne
(p)
1/p

>0
..

_
[f[ > |f|
L

_
1/p
(|f|
L
)
p+
|f|
L
,
ce qui implique nalement lim
p+
|f|
L
p = |f|
L
car
> 0, |f|
L
liminf
p
|f|
L
p limsup
p
|f|
L
p |f|
L
.
(d) Comme f / L

, pour tout n N,
_
[f[ > n
_
> 0 et par consequent
(p)
_
]f]>n
[f[
p
d n
p

_
[f[ > n
_
= |f|
L
p
_
[f[ > n
_
1/p
n,
ce qui implique n N, liminf
p+
|f|
L
p n, et donc lim
p+
|f|
L
p = +.
Exercice 4.5.
Soit (X, /, ) un espace de probabilite. Soient f, g des fonctions mesurables de X `a valeurs
dans ]0, +[ telles que, pour tout x X, f(x)g(x) 1. Montrer que
_
X
fd
_
X
gd 1.
Corrige. On a
1 = (X)
_
X
f
1/2
g
1/2
d
__
X
fd
_
1/2
__
X
gd
_
1/2
.
49
Exercice 4.6.
Soit (X, /, ) un espace de probabilite. Soit (f
n
)
nN
une suite de fonctions mesurables de
X `a valeurs reelles. Soit f : X R une fonction mesurable. On dit que la suite (f
n
)
nN
converge en mesure vers f si pour tout > 0,
lim
n
([f
n
f[ > ) = 0.
a. Montrer que si f
n
tend vers f pp, alors f
n
tend vers f en mesure.
b. Si p [1, +] et si f
n
, f L
p
() sont tels que f
n
tende vers f dans L
p
(), montrer
que f
n
tend vers f en mesure.
Corrige. (a) Si la suite (f
n
) tend vers f presque partout, il existe N / tel que (N) = 0
et x N
c
, lim
n+
[f
n
(x)f(x)[ = 0. Par suite, pour > 0, le theor`eme de convergence
dominee donne
lim
n

_
[f
n
f[ >
_
= lim
n
_
X
1
]f
n
f]>]
d = 0,
car 1
]f
n
f]>]
(x) = 0 si [f
n
(x)f(x)[ et donc la suite 1
]f
n
f]>]
converge simplement
vers 0 presque partout et est majoree par 1 qui est dans L
1
car est une probabilite.
(b) Si p < + et > 0, on a

_
[f
n
f[ >
_
=
_
X
1
]f
n
f]>]
d
p
_
X
[f
n
f[
p
d =
p
|f
n
f|
p
L
p

p+
0.
Si p = +, on remarque que, pour > 0,
|g|
L

()
=
_
[g[ >
_
= 0.
Par suite, si lim
n
|f
n
f|
L

()
= 0 et > 0, on a pour n N

, |f
n
f|
L

()
et
donc

_
[f
n
f[ >
_
= 0.
La suite
_

_
[f
n
f[ >
_
_
nN
est donc stationnaire egale `a 0 pour n N

.
Commentaire. Si (X, /, ) est un espace mesure o` u est une mesure positive et si, pour
1 p < +, une suite (f
n
)
nN
converge vers f dans L
p
(), alors cette suite converge en
mesure, comme le montrent les inegalites precedentes. Il nest pas necessaire de supposer
pour cela que (X) < +. En revanche lhypoth`ese (X) < + est necessaire au
resultat (a), car par exemple la suite f
n
denie sur R par f
n
(x) =
x
n
1
[0,n
2
]
(x) tend vers 0
simplement bien que

_
[f
n
(x)[ >
_
=
_
n
2
x > n
_
= n
2
n
n+
+.
On peut noter que cette suite est dans
p1
L
p
(R), bien entendu sans converger dans aucun
L
p
car cela contredirait lassertion (b).
50
Exercice 4.7.
Soit (X, /, ) un espace de probabilite et f L

() non nulle. On pose

n
= |f|
n
L
n
()
.
Montrer que
n+1
/
n
tend vers |f|
L

()
(on pourra utiliser lexercice 4.4).
Corrige. Remarquons tout dabord que 0 <
n
< + car, dune part

n
|f|
n
L

()
(X) = |f|
n
L

()
< +
et dautre part
n
= 0 impliquerait f = 0 -presque partout et donc f = 0 dans L

().
Pour n N, on a

n+1
=
_
X
[f[
n+1
d |f|
L

()
_
X
[f[
n
d = |f|
L

()

n
et donc, en utilisant linegalite de Jensen (theor`eme 3.1.3), on obtient

1+
1
n
n
=
__
X
[f[
n
d
_
n+1
n

_
X
([f[
n
)
n+1
n
d =
n+1
|f|
L

()

n
,
ce qui donne
|f|
L
n
()
=
1
n
n


n+1

n
|f|
L

()
.
Or dapr`es lexercice 4.4.c, on a lim
n+
|f|
L
n
()
= |f|
L

()
, et lencadrement precedent
fournit le resultat.
Commentaire. Le meme enonce est vrai pour un espace mesure (X, /, ) o` u est une
mesure positive et f telle que
0 ,= f
p1
L
p
().
On a en eet comme plus haut
n+1

n
|f|
L

()
et

n
=
_
X
[f[
n
d = |f|
L
1
()
_
X
[f[
n1
[f[d
|f|
L
1
()
et donc, en utilisant linegalite de Jensen (theor`eme 3.1.3), on obtient, avec la mesure de
probabilite d =
]f]d
|f|
L
1
()

1+
1
n1
n
= |f|
1+
1
n1
L
1
()
__
X
[f[
n1
d
_ n
n1
|f|
n
n1
L
1
()
_
X
[f[
n
d
= |f|
n
n1
1
L
1
()
_
X
[f[
n+1
d =
n+1
|f|
1
n1
L
1
()
et par suite
_

1
n
n
_ n
n1
|f|

1
n1
L
1
()
=
1
n1
n
|f|

1
n1
L
1
()


n+1

n
|f|
L

()
.
51
De lexercice 4.4.c, il vient lim
n+
|f|
L
n
()
= |f|
L

()
, et lencadrement precedent
fournit le resultat.
Exercice 4.8.
Soit p [1, +[ et h R
d
. Pour u L
p
(R
d
), on pose (
h
u)(x) = u(x h). Montrer que
|
h
u|
L
p
= |u|
L
p
et que
lim
h0
|
h
u u|
L
p
= 0.
Corrige. Legalite des normes L
p
est due `a la formule de changement de variables pour une
translation, i.e. ` a linvariance par translation de la mesure de Lebesgue. Soit C
0
c
(R
n
).
En considerant le compact K = x +t
xsupp ,]t]1
, pour [h[ 1, on a
|
h
|
p
L
p
=
_
R
n
[(x h) (x)[
p
dx m(K) sup
xK
[(x h) (x)[
p

h0
0
par continuite uniforme de . Il vient
|
h
u u|
L
p
|
h
u
h
|
L
p
+|
h
|
L
p
+| u|
L
p
= |
h
|
L
p
+ 2 | u|
L
p
et par consequent, pour toute fonction C
0
c
(R
n
),
limsup
h0
|
h
u u|
L
p
2 | u|
L
p
,
ce qui donne limsup
h0
|
h
u u|
L
p
2 inf
C
0
c
(R
n
)
| u|
L
p
= 0, par densite des fonc-
tions C
0
c
(R
n
) dans L
p
(R
n
) pour tout p [1, +[.
Exercice 4.9.
Pour quelles valeurs de p [1, +] les fonctions suivantes sont-elles dans L
p
(R
+
) ?
f
1
(t) = 1/(1 +t), f
2
(t) = 1/(

t(1 +t)), f
3
(t) = 1/(

t(lnt)
2
+ 1), f
4
(t) = t
1/2
sin(t
1
).
Corrige. On a les equivalences suivantes, justiees ci-apr`es:
_
+
0
[f
1
(t)[
p
dt =
_
+
0
dt
(1 +t)
p
< + 1 < p,
_
+
0
[f
2
(t)[
p
dt =
_
+
0
dt
t
p/2
(1 +t)
p
< +
2
3
< p < 2,
_
+
0
[f
3
(t)[
p
dt =
_
+
0
dt
_
1 +

t(lnt)
2
_
p
< + 2 p,
_
+
0
[f
4
(t)[
p
dt =
_
+
0
[ sin(t
1
)[
p
t
p/2
< + p < 2.
52
Notons que pour f
3
, le carre de la norme L
2
est majore par
e +
_
+
e
dt
t(lnt)
4
= e +
_
+
1
s
4
ds < +.
Comme t
p/2
(lnt)
2p
1 pour t e, la puissance p-i`eme de la norme L
p
de f
3
pour 1 p < 2
est minoree par
_
+
e
dt
t
p/2
(lnt)
2p
=
_
+
1
e
s
>0
..
(1
p
2
)
s
2p
ds = +.
De plus,
_
+
0
[ sin(t
1
)[
p
t
p/2
dt =
_
+
0
[ sins[
p
s
2
p
2
ds < +
si 2
p
2
> 1, i.e. si p < 2. Par ailleurs, si p = 2, le meme calcul montre que, pour > 0,
_

1

[ sin(t
1
)[
p
t
p/2
dt =
_

1

sin
2
s
s
ds
_

1
1
sin
2
s
s
ds
0
+
+,
dapr`es une variante de lexercice 1.7.e: on peut remarquer que
sin
2
s
s
=
1cos(2s)
2s
et que
lintegrale
_
+
1
cos(2s)
s
ds converge. Par ailleurs, si p > 2, p = 2 + 2, > 0,
_

1

[ sin(t
1
)[
p
t
p/2
dt
_

1
1
(sins)
2+2
s
1
ds 2
22
_
1s
1
,] sin s]1/2]
s
1
ds
0
+
+,
car sin s 1/2 sur
kZ
[

6
+ 2k,
5
6
+ 2k] et par consequent
_
1s
1
,] sin s]1/2]
s
1
ds
1

k1
5
6
+2k
1
_
_
5
6
+ 2k
_

6
+ 2k
_

k1
5
6
+2k
1
2
3
(

6
+ 2k)
1

0
+
+.
Exercice 4.10.
Soit n 1 entier et f
n
denie sur R par f
n
(x) =
n

([x[ +n)

, avec > 1.
a. Pour 1 p +, montrer que f
n
L
p
(R) et calculer |f
n
|
p
.
b. Montrer que g
n
denie par g
n
(x) = n

e
n]x]
est dans L
p
(R) pour tout p 1.
c. Deduire de ce qui prec`ede que pour 1 p < q + les topologies induites sur L
p
L
q
par L
p
et L
q
ne sont pas comparables.
53
Corrige. (a) On a, pour p 1, > 1
|f
n
|
p
p
= 2
_
+
0
n
p
(x +n)
p
dx = 2
_
+
0
n
()p+1
(y + 1)
p
dy
= 2n
()p+1
_
(y + 1)
p+1
p + 1
_
+
0
=
2n
()p+1
p 1
et par consequent |f
n
|
p
= 2
1
p
(p 1)

1
p
n
+
1
p
. On a de plus |f
n
|

= n

.
(b) On a |g
n
|

= n

et , pour p 1,
|g
n
|
p
p
= n
p
2
_
+
0
e
npx
dx =
n
p
2
np
, i.e. |g
n
|
p
= n

1
p
2
1
p
p

1
p
.
(c) Calculons pour 1 p < q +
|f
n
|
p
|f
n
|
q
= n
1
p

1
q
depend uniquement
de p,q,
..
C
1
(p, q, )
n+
+,
|g
n
|
p
|g
n
|
q
= n
1
q

1
p
depend uniquement
de p,q
..
C
2
(p, q)
n+
0.
Si les topologies induites sur L
p
L
q
par L
p
et L
q
etaient comparables, on aurait par
exemple pour (
n
) suite de L
p
L
q
,
lim
L
p

n
= 0 = lim
L
q

n
= 0.
Ceci est inrme par
n
= n
+
1
q
g
n
car lim
n
|
n
|
p
= lim
n
n
1
q

1
p
2
1/p
p
1/p
= 0 tandis que
|
n
|
q
= 2
1/q
q
1/q
> 0 independant de n (ceci est valable aussi pour q = +). On ne
peut davantage avoir pour (
n
) suite de L
p
L
q
,
lim
L
q

n
= 0 = lim
L
p

n
= 0.
Ceci est en eet inrme par
n
= n
+
1
p
f
n
car
lim
n
|
n
|
q
= lim
n
n
+
1
p
++
1
q
2
1/q
(q 1)
1/q
= 0
tandis que |
n
|
p
= n
+
1
p
++
1
p
2
1/p
(p1)
1/p
= 2
1/p
(p1)
1/p
> 0 independant
de n.
54
Exercice 4.11.
Soit (X, /, ) un espace mesure o` u est une mesure positive. Soit p, p
t
]1, +[ tels que
1/p + 1/p
t
= 1. On dit quune suite (f
n
)
nN
de L
p
() converge faiblement vers f L
p
()
si pour tout g L
p

(),
lim
n
_
X
f
n
gd =
_
X
fgd.
a. Montrer que la convergence dans L
p
implique la convergence faible.
b. Montrer ` a laide dun exemple que la reciproque est fausse.
Corrige. (a) Soit (f
n
) une suite de L
p
convergeant vers f dans L
p
. On a alors, pour tout
g L
p

, en utilisant linegalite de Holder,

_
X
(f
n
f)gd

|f
n
f|
L
p
|g|
L
p

n+
0.
(b) La reciproque est fausse car f
n
(x) = 1
[0,1]
(x)e
inx
est de norme 1 dans L
p
(R) et converge
faiblement vers 0, car pour g L
p

(R), et C

c
(R), supp [0, 1]
_
1
0
g(x)e
inx
dx =
_
1
0
_
g(x) (x)
_
e
inx
dx +
_
R
(x)e
inx
dx.
Comme on a
_
(x)e
inx
dx = (in)
1
_
(x)
d
dx
(e
inx
)dx = (in)
1
_

t
(x)e
inx
dx, il vient
limsup
n+

_
1
0
g(x)e
inx
dx

_
1
0
[g(x) (x)[dx

_
_
1
0
[g(x) (x)[
p

dx
_
1/p

= |g1
[0,1]
|
L
p

ceci pour toute C

c
(R), supp [0, 1]. Comme ces fonctions forment un ensemble
dense de L
p

([0, 1])( theor`eme 3.4.2: ici p > 1 et donc p

t
< +), il vient
inf
C

c
(R),supp [0,1]
|g1
[0,1]
|
L
p
= 0
et lim
n
_
1
0
g(x)e
inx
dx = 0.
Commentaire. (1) On peut remarquer egalement que la suite (e
inx
) tend vers 0 dans L

-
faible*, ce qui signie que, pour toute fonction g de L
1
(R), lim
n
_
R
g(x)e
inx
dx = 0: cest
le lemme de Riemann-Lebesgue (lemme 3.4.4).
Commentaire. (2) Donnons un autre contre-exemple. Soit f C
c
(R) de norme 1 dans
L
p
(R); considerons la suite (f
n
) de norme 1 dans L
p
(R) denie par f
n
(x) = n
1/p
f(nx).
Cette suite tend vers 0 faiblement dans L
p
(R), car si g L
p

(R), on a pour C
c
(R),
_
R
f
n
(x)g(x)dx =
_
R
f
n
(x)
_
g(x) (x)
_
dx +
_
R
f(y)(y/n)dyn
1
p
1
55
ce qui implique, comme [f(y)(y/n)dyn
1
p
1
[ [f(y)[(sup[[)n
1/p

limsup
n

_
R
f
n
(x)g(x)dx

|g |
L
p
= lim
n
_
R
f
n
(x)g(x)dx = 0.
Notons que si f L
p
(R) est de norme 1, le resultat est inchange car, pour C
c
(R),
f
n
(x) = n
1/p
f(nx) = n
1/p
(nx) +n
1/p
f(nx) n
1/p
(nx).
Pour g L
p

(R), on a donc
limsup
n

_
R
f
n
(x)g(x)dx

limsup
n

_
R

n
(x)g(x)dx

+ limsup
n
_
R
n
1/p

[f(y) (y)[[g(y/n)[dy
|g|
L
p
|f |
L
p
,
ce qui donne lim
n
_
R
f
n
(x)g(x)dx = 0.
Si p = 1 et f est une fonction de L
1
dintegrale 1, la suite f
n
(x) = nf(nx) ne tend pas
vers 0 faiblement: en particulier si g C(R) L

(R), on a
(e4.11.1) lim
n
_
R
f
n
(x)g(x)dx = g(0).
En eet, la fonction f
n
est aussi dans L
1
et dintegrale 1 et
_
R
f
n
(x)g(x)dx g(0) =
_
R
f
n
(x)
_
g(x) g(0)
_
dx =
_
R
f(y)
_
g(y/n) g(0)
_
dy.
Comme [f(y)
_
g(y/n) g(0)
_
[ [f(y)[2 sup[g[, et, par continuite de g en 0,
lim
n
f(y)
_
g(y/n) g(0)
_
= 0,
le theor`eme de convergence dominee de Lebesgue donne le resultat (e4.11.1).
Commentaire. (3) Un autre contre-exemple est donne par f
n
(x) = f(x n) o` u f L
p
(R)
de norme 1. Chaque f
n
est de norme 1 dans L
p
et neanmoins pour g L
p

, C
c
(R),
on a, pour A > 0 xe
_
R
f
n
(x)g(x)dx
=
_
R
f(y)
_
g(y +n) (y +n)
_
dy +
_
]y]A]
f(y)(y +n)dy +
_
]y]>A]
f(y)(y +n)dy,
56
ce qui implique
limsup
n

_
R
f
n
(x)g(x)dx

|g |
L
p
+ limsup
n
_
]y]>A]
[f(y)[[(y +n)[dy
|g |
L
p
+
_
_
]y]>A]
[f(y)[
p
dy
_
1/p
||
L
p
.
En prenant linmum par rapport ` a A du membre de droite, il vient
limsup
n

_
R
f
n
(x)g(x)dx

|g |
L
p
, pour tout C
c
(R),
ce qui donne lim
n
_
R
f
n
(x)g(x)dx = 0.
Exercice 4.12.
Soit une mesure positive denie sur la tribu des boreliens de R et telle que (R) < +.
On pose f(x) =
_
R
e
itx
d(t). Montrer que f est continue sur R. Montrer que si
1
h
2
_
2f(0) f(h) f(h)
_
poss`ede une limite lorsque h tend vers 0, alors
_
R
t
2
d(t) < + et f est de classe C
2
.
Corrige. Soit (x
k
) une suite convergente de reels de limite x. On a, en utilisant (R) < +,
[e
itx
k
e
itx
[ 2 L
1
(), et lim
k
e
itx
k
= e
itx
,
et le theor`eme de convergence dominee de Lebesgue donne lim
k
f(x
k
) = f(x). Remarquons
que
1
h
2
_
2f(0) f(h) f(h)
_
= h
2
_
R
(2 2 cos th)d(t)
h0
L.
Dapr`es le lemme de Fatou, on a
_
R
liminf
h0
_
h
2
[2 2 cos th[
_
d(t)
liminf
h0
_
R
_
h
2
[ 2 2 cos th
. .
0
[
_
d(t) = liminf
h0
h
2
_
R
(2 2 cos th)d(t) = L,
et comme
lim
h0
h
2
(2 2 cos th) = lim
h0
h
2
_
2 2[1 2 sin
2
(th/2)]
_
= lim
h0
4 sin
2
(th/2)
h
2
= t
2
,
57
il vient
(e4.12.1)
_
R
t
2
d(t) L < +.
Notons incidemment que ceci implique que
_
R
[t[d(t)
__
R
t
2
d(t)
_
1/2
(R)
1/2
=
_
L(R)
_
1/2
< +.
Le theor`eme de derivation des integrales dependant dun param`etre (theor`eme 3.3.2) donne
f deux fois dierentiable et
f
tt
(x) =
_
R
e
itx
t
2
d(t).
Cette formule et la condition (e4.12.1) permettent dassurer la continuite de f
tt
, en utilisant
le theor`eme 3.3.1 sur la continuite des integrales dependant dun param`etre.
Exercice 4.13.
Soit : I R une fonction convexe denie sur un intervalle I de R. On designe par J
linterieur de I. Soit [a, b] J et a < x
1
< x
2
< b. Montrer que
(x
1
) (a)
x
1
a
(x
2
a) +(a) (x
2
) (b) (b x
2
)
(b) (x
1
)
b x
1
.
En deduire que est continue sur J. Donner un exemple de fonction convexe denie sur
[0, 1] et continue seulement sur ]0,1[.
Corrige. Pour la continuite de , voir la proposition 3.1.2(d) dans les notes de cours. Par
ailleurs, la fonction denie par
(x) =
_
1 si x 0, 1,
0 si x ]0, 1[,
est convexe sur [0, 1]: la propriete (3.1.1) est veriee pour ]0, 1[ si 0 x
0
< x
1
1 car
alors x

]0, 1[; par ailleurs (3.1.1) est toujours veriee pour 0, 1 et pour x
0
= x
1
.
Exercice 4.14.
a. On pose (|x| designe la norme euclidienne de x dans R
d
)
(x) =
_
exp
_
1
1|x|
2
_
pour |x| < 1,
0 sinon.
Montrer que est indeniment dierentiable ` a support egal `a la boule unite fermee. Mon-
trer que nest pas analytique.
58
b. Soit un ouvert de R
d
et K un compact inclus dans . Montrer quil existe une
fonction C

c
(, [0, 1]) telle que
]K
= 1.
Corrige. Considerons pour commencer la fonction de R dans R
+
denie par
(t) =
_
e
1/t
pour t > 0,
0 pour t 0.
Montrons que cette fonction est de classe C

sur R. Remarquons tout dabord que est

de classe C

sur R

et que, pour tout entier k 0, pour t > 0,

(e4.14.1)
(k)
(t) = P
k
(1/t)e
1/t
,
o` u P
k
est un polyn ome normalise de degre 2k. Cest vrai pour k = 0 et en supposant
(e4.14.1) vrai pour un entier k 0, il vient

(k+1)
(t) =
_
t
2
P
t
k
(t
1
) +t
2
P
k
(t
1
)
_
e
t
1
= P
k+1
(t
1
)e
t
1
,
avec P
k+1
(T) = T
2
P
k
(T) T
2
P
t
k
(T). Le terme de plus haut degre de P
k
est T
2k
et le
degre de P
t
k
est 2k 1 ; par consequent le terme de plus haut degre de P
k+1
est T
2k+2
,
ce qui demontre par recurrence sur k la propriete (e4.14.1). Demontrons maintenant par
recurrence sur k que la fonction est de classe C
k
sur R et que
(e4.14.2)
(k)
(t) =
_
P
k
(1/t)e
1/t
pour t > 0,
0 pour t 0.
Cest vrai pour k = 0 car lim
t0
+
e
1/t
= 0 et en supposant ceci verie pour un entier
k 0, on trouve que
(k)
est derivable sur R

avec la formule demandee pour

(k+1)
. Il
reste `a verier la derivabilite de
(k)
en 0 et
(k+1)
(0) = 0 : on calcule pour t ,= 0,
t
1
_

(k)
(t)
(k)
(0)
_
=
_
t
1
P
k
(t
1
)e
t
1
, pour t > 0
0 sinon.
Comme lim
t0
+
t
1
P
k
(t
1
)e
t
1
= 0, il vient
(k+1)
(0) = 0. La continuite de
(k+1)
est
assuree par la formule (e4.14.1) dej` a demontree. Finalement, la fonction est C

sur R
de support R
+
et telle que, pour tout entier k,
(k)
(0) = 0.
La fonction de lenonce verie
(x) = (1 |x|
2
).
Comme composee de fonctions C

, est C

. De plus, (x) ,= 0 equivaut ` a 1 |x|

2
> 0,
i.e. |x| < 1. Par suite,
supp = x, (x) ,= 0 = B
1
, la boule unite euclidienne fermee.
59
Si |x
0
| = 1, on a

x
(x
0
) = 0 pour tout multi-indice car est plate en 0 (i.e.
(k)
(0) = 0
pour tout k). Le developpement de Taylor de est donc identiquement nul en x
0
. Par
suite, la fonction nest pas analytique au voisinage de x
0
sinon, elle serait identiquement
nulle sur un voisinage de x
0
, ce qui nest pas car x
0
supp.
(b) Comme K est compact ouvert de R
d
, la formule (2.1.3) des notes de cours assure
que
0
= d(K,
c
) > 0, et par suite les compacts
K
tt
= K +

0
4
B
1
K
t
= K +

0
2
B
1
.
Posons, pour
1
=
0
/4,
0
= /
_
R
d
(t)dt
(x) =
_
R
d
1
K
(y)
0
_
x y

1
_
dy

d
1
=
_
y,]yK]
1
et ]xy]<
1
]

0
_
x y

1
_
dy

d
1
.
Dapr`es le theor`eme 3.3.2, la fonction est C

sur R
d
. De plus, si x / K
t
et [x y[ <
1
,
K, [y = y x +x [ [x [ [y x[
ce qui implique [y K[ [x K[ [y x[ >

0
2


0
4
=

0
4
et donc (x) = 0. Par suite,
supp K
t
. En outre, si x K, pour y R
d
veriant [y x[ <
1
, on a egalement
[y K[ <
1
ce qui implique que
(x) =
_
{y,|yK|
1
et |xy|<
1
}

0
_
x y

1
_
dy

d
1
=
_
y,]xy]<
1
]

0
_
x y

1
_
dy

d
1
=
_
R
d

0
_
x y

1
_
dy

d
1
= 1,
et
]K
= 1, qed.
60
INTEGRATION, Feuille dexercices 5
Exercice 5.1.
a. Soit une fonction convexe denie sur un intervalle I de R. Soient x
1
, . . . , x
n
I et

1
, . . . ,
n
[0, 1] avec

1jn

j
= 1. Montrer que
(

1jn

j
x
j
)

1jn

j
(x
j
).
b. Soient x
1
, . . . , x
n
des reels > 0 et
1
, . . . ,
n
comme ci-dessus. Montrer linegalite
arithmetico-geometrique

1jn
x

j
j

1jn

j
x
j
.
Corrige. cf. la remarque 3.1.4 dans les notes de cours.
Exercice 5.2.
Montrer que l

(N) et L

(R) ne sont pas separables (on pourra raisonner par labsurde).

Corrige. Supposons que l

(N) contienne une partie denombrable dense x

n

nN
. Chaque
element x
n
est une suite bornee (x
n,k
)
kN
, i.e. telle que sup
k0
[x
n,k
[ = |x
n
|
l

(N)
< +.
Linegalite triangulaire implique que
2 [1 +x
0,0
[ +[1 x
0,0
[ 2 max
_
[1 +x
0,0
[, [1 x
0,0
[
_
= 2 max
_
[ 1 x
0,0
[, [1 x
0,0
[
_
et par consequent, max
_
[ 1 x
0,0
[, [1 x
0,0
[
_
1. On peut donc trouver y
0
1, 1
tel que [y
0
x
0,0
[ 1. Supposons construits y
0
, . . . , y
k
1, 1 tels que
l 0, . . . , k, [y
l
x
l,l
[ 1.
Comme precedemment, on peut trouver y
k+1
1, 1 tel que [y
k+1
x
k+1,k+1
[ 1.
Nous avons donc construit une suite y = (y
k
)
kN
telle que k N, [y
k
[ = 1 (et donc cette
suite est dans l

(N)) telle que

|y x
n
|
l

(N)
= sup
kN
[y
k
x
n,k
[ [y
n
x
n,n
[ 1,
ce qui contredit la densite de la partie x
n

nN
.
Soit
n

nZ
une partie denombrable de L

(R). On a
R =
mZ
I
m
, I
m
= [m, m+ 1[.
61
Linegalite triangulaire implique
2 |1 +
n
|
L

(I
n
)
+|1
n
|
L

(I
n
)
2 max
_
|1
n
|
L

(I
n
)
, |1
n
|
L

(I
n
)
_
.
Pour tout n Z, on peut donc trouver une constante
n
1, 1, telle que
|
n

n
|
L

(I
n
)
1.
La fonction
(x) =

nZ

n
1
I
n
(x) =

nN,
n
=1
1
I
n
(x)

nN,
n
=1
1
I
n
(x)
appartient ` a L

(R) et est de norme 1 (la mesurabilite de est due au fait que prend deux
valeurs 1, 1 et que
1
(1) et
1
(1) sont des reunions denombrables dintervalles).
De plus, pour tout n Z,
|
n
|
L

(R)
|
n
|
L

(I
n
)
= |
n

n
|
L

(I
n
)
1,
ce qui rend impossible la densite de la partie
n

nZ
.
Exercice 5.3.
Soient n un entier 1 et u L
1
loc
(R
n
). On denit le support de u, note suppu, par
suppu = x R
n
, il nexiste pas de voisinage ouvert V de x tel que u = 0 pp sur V .
Montrer que le support de u est un ferme et que, si u est continue
suppu = x R
n
, u(x) ,= 0.
Montrer par un exemple que cette derni`ere denition serait absurde pour une fonction de
L
1
.
Corrige. On a donc
(suppu)
c
= x R
n
, V voisinage ouvert de x tel que u = 0 pp sur V ,
et (suppu)
c
est donc la reunion des ouverts tels que u
]
= 0 pp. Cest donc aussi un
ouvert. Si u est une fonction continue, montrons que
(e5.3.1) (suppu)
c
= interieur
_
x R
n
, u(x) = 0
_
Soit x
0
/ suppu, alors u est nulle presque partout sur un voisinage ouvert V
0
de x
0
et
_
V
0
[u(x)[dx = 0, ce qui implique que u est identiquement nulle sur V
0
(car u est
continue). Reciproquement si x
0
appartient ` a linterieur de u(x) = 0, il existe un ouvert
62
V
0
u(x) = 0 tel que x
0
V
0
, ce qui donne u = 0 sur V
0
et donc pp sur V
0
, etablissant
(e5.3.1). Maintenant, on obtient pour u continue, en utilisant (1.2.1)
suppu =
_
interieur
_
x R
n
, u(x) = 0
_
_
c
= adherence
_
x R
n
, u(x) = 0
c
_
= x R
n
, u(x) ,= 0.
La fonction indicatrice de Q est nulle presque partout et son support est donc vide.
Neanmoins, lensemble o` u elle est non nulle est Q dont ladherence est R.
Exercice 5.4.
a. Soit (X, /, ) un espace mesure o` u est une mesure positive. On consid`ere
S = s : X C, mesurable, ne prenant quun nombre ni de valeurs, (s ,= 0) < +.
Montrer que, pour 1 p < +, S est dense dans L
p
().
b. Montrer que, pour 1 p < +, C
0
c
(R
n
) est dense dans L
p
(R
n
).
c. Soit un ouvert de R
n
. Montrer que, pour 1 p < +, C
0
c
() est dense dans L
p
().
d. Soit C

c
(R
n
; R
+
),
_
R
n
(x)dx = 1 (cf.exercice 4.14). Pour > 0, x R
n
, u
L
1
loc
(R
n
), on pose
u

(x) =
_
R
n
u(y)
_
x y

_
dy

n
.
Montrer que cela a un sens et que u

(R
n
).
e. Soit 1 p < . Montrer que, pour u L
p
(R
n
), on a u

L
p
(R
n
) et lim
0
+
u

= u
dans L
p
(R
n
).
f. On remplace dans (d) par e
]x]
2
o` u [x[ est la norme euclidienne. Montrer que, pour
u L
1
(R
n
), u

est analytique et lim

0
+
u

= u dans L
1
(R
n
). En supposant u C
0
c
(R
n
),
montrer que cette methode permet de prouver le theor`eme de Stone-Weierstrass.
Corrige. Pour la question (a) nous renvoyons le lecteur `a la proposition 3.2.7 et au th. 3.4.1
pour les questions (b,c). La question (d) est une consequence de la proposition 6.1.2.
Traitons la question (e). Dapr`es la question (d), nous savons que u

u a un
sens et appartient ` a C

(R
n
) (ici

(t) = (t
1
)
n
). Notons que linegalite de Jensen
(theor`eme 3.1.3) implique pour u L
p
(R
n
)
|

u|
p
L
p
(R
n
)
=
_
R
n

_
R
n

(x y)u(y)dy

p
dx

__
R
n
R
n

(x y)[u(y)[
p
dydx =
_
R
n
[u(y)[
p
dy = |u|
p
L
p
(R
n
)
ce qui donne u

L
p
. De plus, en reutilisant linegalite de Jensen, on obtient
_
R
n
[(u

)(x) u(x)[
p
dx =
_
R
n

_
R
n
_
u(x t) u(x)
_
(t)dt

p
dx

_
R
n
_
R
n
[u(x t) u(x)[
p
(t)dtdx =
_
R
n
|
t
u u|
p
L
p
(R
n
)
(t)dt.
63
Lexercice 4.8 donne la convergence simple vers 0 de |
t
u u|
p
L
p
(t) qui est dominee par
2
p
|u|
p
L
p
(t) L
1
et lon obtient lim
0
|u

u|
L
p
(R
n
)
= 0.
Question (f). On a alors
u

(x) =
_
R
n
e
]xt]
2

2
u(t)
n
dt
et pour u L
1
(R
n
), on a u

L
1
(R
n
) (et meme |u

|
L
1
(R
n
)
|u|
L
1
(R
n
)
en utilisant la
preuve precedente ou bien la proposition 6.1.5). On peut prolonger la fonction u

`a C
n
en
posant pour z = x +iy, avec x, y R
n
,
(e5.4.1) u

(x +iy) =
_
R
n
e

n
j=1
(z
j
t
j
)
2

2
u(t)
n
dt.
La convergence de lintegrale est assuree par legalite
[e

n
j=1
(z
j
t
j
)
2

2
[ = e
]xt]
2

2
e

2
y
2
.
Le theor`eme 3.3.3 fournit lholomorphie sur C
n
de la fonction denie par (e5.4.1) et donc
lanalyticite sur R
n
. La convergence dans L
1
(R
n
) de u

se demontre comme dans la

question precedente. Considerons maintenant une fonction C
0
c
(R
n
) et

(x) (x) =
_
R
n
e
]xt]
2

2
_
(t) (x)
_

n
dt =
_
R
n
e
]t]
2
_
(x t) (x)
_
dt.
On a donc, pour un param`etre A > 0,
[

(x) (x)[
_
]t]A
[(x t) (x)[dt + 2||
L

_
]t]>A
e
]t]
2
dt,
et par suite
sup
xR
n
[

(x) (x)[
A
n
[S
n1
[
n
sup
]x
1
x
2
]A
[(x
1
) (x
2
)[ + 2||
L

_
]t]>A
e
]t]
2
dt.
Par continuite uniforme de la fonction , on obtient pour tout A > 0
limsup
0
+
|

|
L
2||
L

_
]t]>A
e
]t]
2
dt,
et en prenant la limite lorsque A +, on obtient lim
0
+
|

|
L
= 0. Par
consequent la fonction est limite uniforme dune suite de fonctions analytiques, restric-
tions ` a R
n
de fonctions holomorphes sur C
n
, i.e. de fonctions dites enti`eres. Le rayon
de convergence des series enti`eres denissant ces fonctions holomorphes est inni et par
consequent ces fonctions sont limites uniformes sur tout compact de fonctions polyn omes.
64
Exercice 5.5.
Une consequence des exercices precedents est que, pour 1 p < +, le complete de
C
0
c
(R
n
) pour la norme L
p
est lespace L
p
(R
n
). Montrer que le complete de C
0
c
(R
n
) pour
la norme L

est C
(0)
(R
n
), lespace des fonctions continues qui tendent vers 0 ` a linni.
Corrige. Soit E ladherence dans L

(R
n
) de C
0
c
(R
n
) et u E. La fonction u est limite
uniforme dune suite de fonctions (
k
)
kN
avec
k
C
0
c
(R
n
). Comme
[u(x)[ [u(x)
k
(x)[ +[
k
(x)[ |u
k
|
L

(R
n
)
+[
k
(x)[,
on obtient, pour tout k N,
limsup
]x]+
[u(x)[ |u
k
|
L

(R
n
)
,
ce qui implique limsup
]x]+
[u(x)[ = 0. En outre la fonction u est continue comme
limite uniforme de fonctions continues et lon obtient u C
(0)
(R
n
). Reciproquement si
u C
(0)
(R
n
) et si C
0
c
(R
n
; [0, 1]) vaut 1 sur la boule de rayon 1, considerons pour k 1
la fonction de C
0
c
(R
n
) denie par

k
(x) = u(x)(x/k).
On a [u(x)
k
(x)[ [u(x)[1
]x]k
et
|u
k
|
L

(R
n
)
sup
]x]k
[u(x)[ =
k

k+
0 par hypoth`ese.
Ceci implique que u E et nalement E = C
(0)
(R
n
).
Exercice 5.6. Lemme de Riemann-Lebesgue.
Soit u une fonction de L
1
(R
n
). On pose, pour R
n
,
u() =
_
R
n
u(x)e
2ix
dx, avec x =

1jn
x
j

j
.
On dira que u est la transformee de Fourier de u.
a. Montrer que, si u L
1
(R
n
), alors u est bien denie et appartient ` a L

(R
n
).
b. Montrer que, si u C

c
(R
n
) alors u est C

et verie pour tous les

1
, . . . ,
n
, N
entiers naturels
sup
R
n
[(

1
. . .

n
u)()[(1 +[[)
N
< +.
On pourra integrer par parties en remarquant que
_
1
1
4
2

1jn

2
x
2
j
_
(e
2ix
) = (1 +[[
2
)e
2ix
.
65
c. Montrer que si u appartient ` a L
1
(R
n
), alors u est uniformement continue sur R
n
et
verie lim
]]+
u() = 0. On pourra remarquer que pour C

c
(R
n
),
[ u()[ |u |
L
1
(R
n
)
+[ ()[,
puis prendre la limsup lorsque [[ tend vers linni.
Corrige. Cet exercice est traite dans le lemme 3.4.4 des notes de cours.
Exercice 5.7.
Soit L la tribu de Lebesgue sur R. En considerant un ensemble du type a B, o` u
B R, B / L, montrer que la tribu L L nest pas compl`ete.
Corrige. Rappelons que le probl`eme 3.1(d) (corrige ci-dessus) fournit un exemple dune
partie de R non Lebesgue-mesurable. On a, avec m
2
mesure de Lebesgue sur R
2
,
a B a R, m
2
_
a R
_
=

kZ
m
2
_
a [k, k + 1[
_
= 0.
Neanmoins a B nappartient pas ` a L L, sinon, dapr`es la proposition 4.1.3(b),
L
_
a B
_
(a, ) = x
2
R, (a, x
2
) a B = B,
ce qui contredit lhypoth`ese B / L.
Exercice 5.8.
Pour t R
n
et u : R
n
C, on pose (
t
u)(x) = u(x t). Montrer que pour 1 p +,
|
t
u|
L
p
()
= |u|
L
p
()
. Montrer que pour 1 p < +, lim
t0
|
t
u u|
L
p
()
= 0.
Corrige. Cest lexercice 4.8.
Exercice 5.9.
On pose E = (x
1
, x
2
) R
2
, x
1
x
2
/ Q. Montrer que E ne peut contenir aucun
ensemble du type A
1
A
2
avec A
1
, A
2
mesurables et de mesure strictement positive. On
pourra raisonner par labsurde et considerer la fonction
(x
1
) =
_
R
1
A
1
(x
1
+x
2
)1
A
2
(x
2
)dx
2
,
dont on demontrera quelle est continue. On considerera alors un point x
1
tel que (x
1
) >
0, puis on prouvera que x
1
A
1
A
2
. On en deduira que > 0 Q
c
, ce qui est absurde
pour une fonction continue non identiquement nulle.
Corrige. Suivons ` a la lettre les recommandations et les notations de lindication en italique.
Nous pouvons supposer
0 < m(A
j
) < +, pour j = 1, 2.
66
La fonction est continue car, avec les notations de lexercice 5.8
(x +h) (x) =
_
R
_

xh
(1
A
1
)
x
(1
A
1
)

(y)1
A
2
(y)dy
et par consequent, comme
x
(1
A
1
) L
1
(R
n
), lexercice 5.8 donne
[(x +h) (x)[
_
_

h
_

x
(1
A
1
)
_

x
(1
A
1
)
_
_
L
1
(R
n
)

h0
0.
La fonction est donc continue sur R `a valeurs dans R
+
. De plus, on a
_
R
(x
1
)dx
1
=
__
RR
1
A
1
(x
1
+x
2
)1
A
2
(x
2
)dx
2
dx
1
= m(A
1
)m(A
2
) R

+
.
Il existe donc x
1
R tel que (x
1
) > 0 ; on a alors necessairement x
1
A
1
A
2
, sinon
x
2
A
2
, x
1
+x
2
/ A
1
,
ce qui implique 1
A
1
(x
1
+x
2
)1
A
2
(x
2
) = 0 pour tout x
2
R et donc (x
1
) = 0. On a donc
obtenu que
,= > 0 A
1
A
2
.
Par ailleurs, on a (A
1
A
2
) Q = , sinon
x
1
A
1
, x
2
A
2
, x
1
x
2
Q = (x
1
, x
2
) / E
ce qui contredit A
1
A
2
E. Nous avons donc prouve que A
1
A
2
Q
c
et donc
,= > 0 Q
c
.
Or louvert non vide > 0 contient un intervalle ouvert non vide ]a, b[, a < b ; la densite
des rationnels dans R implique que ]a, b[Q ,= .
Exercice 5.10.
On consid`ere les fonctions denies sur R
2
par
f
1
(x, y) =
_
_
_
x
2
y
2
x
2
+y
2
si (x, y) ,= 0
0 si (x, y) = 0
, f
2
(x, y) =
_
_
_
x y
(x
2
+y
2
)
3/2
si (x, y) ,= 0
0 si (x, y) = 0.
Calculer pour j = 1, 2,
_
1
0
__
1
0
f
j
(x, y)dy
_
dx,
_
1
0
__
1
0
f
j
(x, y)dx
_
dy.
67
Quelles reexions cela vous inspire-t-il ?
Corrige. La fonction f
1
est mesurable bornee car
f
1
(x, y) = 1
R
2
\(0,0)]
(x, y)R(x, y)
o` u R est une fonction continue sur R
2
(0, 0), telle que [R(x, y)[ 1. Par suite si est
un ouvert de R ne contenant pas 0,
f
1
1
() = (x, y) R
2
(0, 0), R(x, y) = R
1
()
et R
1
() est un ouvert de R
2
(0, 0) donc un ouvert de R
2
. Si contient 0
f
1
1
() = R
1
() (0, 0), union dun ouvert et dun ferme donc borelien.
Calculons pour y > 0,
_
1
0
x
2
y
2
x
2
+y
2
dx =
_
1
0
_
1
2y
2
x
2
+y
2
_
dx = 1 2y
2
1
y
arctan
1
y
= 1 2y arctan(1/y).
Notons que la fonction y y arctan(1/y) est continue sur [0, 1] et lim
y0
+
y arctan(1/y) =
0. Calculons
_
1
0
_
1 2y
..
u

(y)
arctan(1/y)
. .
v(y)
_
dy = 1
_
[y
2
arctan(1/y)]
1
0

_
1
0
y
2
1
1 +y
2
(y
2
)dy
_
= 1

4

_
1
0
y
2
1 +y
2
dy = 1

4
1 +
_
1
0
1
1 +y
2
dy = 0.
La calcul de
_
1
0
_
_
1
0
f
1
(x, y)dy
_
dx est identique. On aurait pu remarquer d`es le debut que,
la fonction f
1
etant localement integrable, on a
I
1
=
__
[0,1][0,1]
f
1
(x, y)dxdy =
__
[0,1][0,1]
f
1
(y, x)dxdy =
__
[0,1][0,1]
f
1
(x, y)dxdy = I
1
,
(la seconde egalite provient du changement de variables (x, y) (y, x)) et donc I
1
= 0.
Les hypoth`eses du theor`eme de Fubini sont veriees et lintegrale double I
1
est bien la
succession dintegrales simples de lenonce.
Il en va tout autrement pour f
2
, fonction pour laquelle la manipulation ci-dessus nest pas
valide, bien que f
2
(x, y) = f
2
(y, x). La fonction f
2
est mesurable, pour les memes raisons
que f
1
. Neanmoins elle nest pas localement integrable au voisinage de 0 car le passage en
coordonnees polaires donne
[f
2
(x, y)[dxdy = [ cos sin[r
1
drd.
68
Eectuons le calcul pour y > 0 de
J(y) =
_
1
0
x y
(x
2
+y
2
)
3/2
dx =
_
(x
2
+y
2
)
1/2

0
1
y
_
1
0
(x
2
+y
2
)
3/2
dx
= y
1
(1 +y
2
)
1/2
y
_
(x
2
+y
2
)
1/2
xy
2
_
x=1
x=0
= y
1
(1 +y
2
)
1/2
y
1
(1 +y
2
)
1/2
= (1 +y
2
)
1/2
_
1 +
(1 +y
2
)
1/2
1
y
_
= (1 +y
2
)
1/2
_
1 +
y
_
(1 +y
2
)
1/2
+ 1
_
_
.
On peut alors calculer
_
1
0
J(y)dy =
_
1
0
(1 +y
2
)
1/2
dy +
_
1
0
y
1 +y
2
+ (1 +y
2
)
1/2
dy
=
_
ln(y + (1 +y
2
)
1/2
)

0
1
+
_
sinh
1
(1)
0
sinht
1 + sinh
2
t + (1 + sinh
2
t)
1/2
cosh tdt
= ln(1 +

2) +
_
sinh
1
(1)
0
sinht
cosh
2
t + cosh t
cosh tdt
= ln(1 +

2) +
_
sinh
1
(1)
0
sinht
cosh t + 1
dt
= ln(1 +

2) +
_
ln(cosht + 1)

sinh
1
(1)
0
= ln(1 +

2) +
_
ln(cosht + 1)

sinh
1
(1)
0
, et comme sinh
1
(1) = ln(1 +

2),
= ln(1 +

2) + ln
_
cosh
_
ln(1 +

2)
_
+ 1
_
ln2
= ln(1 +

2) + ln
_
1 +

2
2
+
1
2
1
1 +

2
+ 1
_
ln2
= ln(1 +

2) + ln
_
1
2
+

2
2
+

2
2

1
2
+ 1
_
ln2 = ln2 ,= 0.
Si pour x > 0, on eectue le calcul de
K(x) =
_
1
0
x y
(x
2
+y
2
)
3/2
dy = J(x)
on trouvera par consequent
_
1
0
K(x)dx = ln2,
69
de telle sorte que les deux integrales de lenonce pour j = 2 ont un sens et valent respec-
tivement ln2 et ln2. Ces deux valeurs di`erent, ce qui ne contredit pas le theor`eme de
Fubini dont les hypoth`eses ne sont pas veriees.
Commentaire. Cet exemple assez simple montre, sil en etait besoin, que les manipulations
formelles eectuees sans verication des hypoth`eses des theor`emes classiques, peuvent
tout simplement conduire ` a des resultats errones: la succession des integrales simples de
lenonce est independante de lordre dintegration lorsque la fonction est integrable sur
lespace produit. Notons en particulier que le fait que les deux integrales aient un sens ne
sut pas `a assurer leur egalite. Le calcul explicite pour f
2
est inutilement complique par
la forme peu simple du calcul des primitives. On peut donner un autre exemple.
F
2
(x, y) =
_
xy
max(x
3
,y
3
)
, si x 1 et y 1,
0, sinon.
Pour x < 1, F
2
(x, y) = 0. Calculons pour x 1
_
R
F
2
(x, y)dy =
_
x
1
x y
x
3
dy +
_
+
x
x y
y
3
dy
= x
2
(x 1) x
3
(
x
2
2

1
2
) +x
x
2
2
x
1
= x
2
+x
3
2
1
.
On a donc
_
R
__
R
F
2
(x, y)dy
_
dx =
_
+
1
(x
2
+x
3
2
1
)dx = 1 + 2
1
2
1
= 3/4.
Le meme calcul donne
_
R
__
R
F
2
(x, y)dx
_
dy = 3/4.
Les memes reexions que celles formulees pour f
2
sont valables pour F
2
.
Exercice 5.11.
a. Pour z CR

, on pose lnz =
_
[1,z]
d

(integrale curviligne). Montrer que cela a

un sens et que cette fonction concide avec le logarithme neperien pour z R

+
. Montrer
que exp(lnz) = z pour z CR

. Calculer ln(expz), pour z tel que exp(z) / R

.
b. Montrer que pour Re z > 0
_
R
e
zt
2
dt = exp(lnz)/2 = z
1/2
.
c. Montrer que
_
R
+
lnx
x
2
1
dx =

2
4
,
_
R
+
_
arctanx
x
_
2
dx = ln2.
Pour le dernier calcul, on pourra utiliser lintegrale sur [0, 1]
2
R
+
de (1 + x
2
z
2
)
1
(1 +
y
2
z
2
)
1
.
70
Corrige. (a) Pour z CR

, on a donc pose
(e5.11.1) lnz =
_
1
0
z 1
1 +z
d.
On peut remarquer que le denominateur de lintegrant ne sannule pas, sinon on aurait
1 + Re z = 0 et Imz = 0 = ,= 0, Imz = 0, Re z =
1

= z R

.
De plus le theor`eme 3.3.3 implique que (e5.11.1) est holomorphe sur CR

et verie
d
dz
(lnz) =
_
1
0
1 +z (z 1)
_
1 +z
_
2
d =
_
1
0
_
1 +z
_
2
d
=
_
(1 +z)
1

=0
=1
(z 1)
1
= (1 z
1
)(z 1)
1
= z
1
.
Comme ln1 = 0, cette fonction concide avec le logarithme neperien sur R

+
. Par suite la
fonction z exp(lnz)z est holomorphe sur CR

et sannule sur R

+
. Par le principe du
prolongement analytique exp(lnz) = z sur louvert connexe CR

(la connexite - par arcs

- de cet ouvert est une consequence de son caract`ere etoile par rapport ` a 1). Considerons
louvert de C deni par
z C, expz / R

=z C, Imz , (2)=
kZ
z C, (2k 1) < Imz < (2k + 1)
. .

k
.
Soit k Z. Sur louvert
k
, la fonction z ln(expz) z est holomorphe de derivee nulle.
Par suite, pour z
k
ln(expz) z = ln
_
exp(2ik)
_
2ik = ln(1) 2ik = 2ik, i.e. ln(expz) = z 2ik.
(b) Dapr`es le theor`eme 3.3.3, la fonction z
_
R
e
zt
2
dt est holomorphe sur louvert
Re z > 0 et concide avec exp(
ln z
2
) pour z reel strictement positif. Par prolongement
analytique, ces deux fonctions holomorphes sont egales sur Re z > 0.
(c) On a
_
1
0
lnx
x
2
1
dx =
_
+
1
ln(y
1
)
y
2
1
dy
y
2
=
_
+
1
lny
y
2
1
dy
de sorte que
I =
_
+
0
lnx
x
2
1
dx = 2
_
+
1
lnx
x
2
1
dx = 2
_
+
1
lnx
x
2

k0
x
2k
dx.
71
En utilisant le corollaire 1.6.2 du theor`eme de Beppo-Levi, il vient
I = 2

k1
_
+
1
x
2k
lnxdx = 2

k1
_
+
0
e
(2k1)t
tdt
= 2

k1
_
+
0
e
s
sds(2k 1)
2
= 2(2)

k1
(2k 1)
2
=

2
4
,
car (2) = 1 et

2
6
=

n1
n
2
=

k1
(2k 1)
2
+

k1
(2k)
2
=

k1
(2k 1)
2
+ 2
2

2
6
,
ce qui donne

k1
(2k 1)
2
=
2
_
1
6

1
24
_
=

2
8
.
Calculons
J =
___
[0,1][0,1]R
+
1
(1 +x
2
z
2
)(1 +y
2
z
2
)
dxdydz
On a dune part, pour x, y R
+
,
_
A
0
1
(1 +x
2
z
2
)(1 +y
2
z
2
)
dz = (y
2
x
2
)
1
[y arctan(yz) xarctan(xz)]
z=A
z=0
=
y arctan(Ay) xarctan(Ax)
y
2
x
2

A+

2(x +y)
,
et donc
J =
__
[0,1]
2
dxdy
2(x +y)
=

2
_
1
0
[ln(x +y)]
y=1
y=0
dx =

2
_
1
0
_
ln(x + 1) lnx
_
dx
=

2
[(x + 1) ln(x + 1) xlnx]
1
0
=

2
2 ln2 = ln2.
Par ailleurs, on a
J =
__
[0,1]R
+
1
1 +x
2
z
2
_
arctanyz
z

y=1
y=0
dxdz =
_
R
+
_
arctanxz
z

x=1
x=0
_
arctanyz
z

y=1
y=0
dz
=
_
R
+
_
arctanz
z
_
2
dz,
ce qui fournit le resultat.
Exercice 5.12.
72
a. Soit (X, /, ) un espace mesure o` u est une mesure positive. Montrer que si (X) <
+, les conditions 1 q p +impliquent L
p
() L
q
() avec une injection continue.
Montrer que les conditions 1 q p + impliquent L
p
loc
(R
n
) L
q
loc
(R
n
).
b. Montrer que les conditions 1 < q < p < + impliquent l
1
(N) l
q
(N) l
p
(N) l

(N)
avec des injections continues et des inclusions strictes.
c. Soient p, q [1, +] deux indices distincts. Montrer que L
p
(R
n
) nest pas inclus dans
L
q
(R
n
).
Corrige. Lexercice 4.4 donne plusieurs details interessants relies aux presentes questions.
(a) Avec les notations de lenonce, on a en utilisant linegalite de Holder,
|u|
q
L
q
=
_
X
[u[
q
d |[u[
q
|
L
p/q
|1|
L
r
,
q
p
+
1
r
= 1,
ce qui donne
|u|
L
q
|u|
L
p
(X)
1
1
p
.
La meme demonstration donne linclusion des espaces locaux puisquon int`egre la mesure
de Lebesgue sur des compacts. On pourra noter au passage que dans les espaces L
p
loc
,
lexposant p est un indice de regularite.
(b) Soient 1 < q < p < + et x = (x
n
)
nN
un element de l
q
. On a
|x|
p
l
p
=

n0
[x
n
[
p
sup
nN
[x
n
[
pq

n0
[x
n
[
q

nN
[x
n
[
q
_
p
q
1+1
de sorte que |x|
l
p
|x|
l
q
et le raisonnement est valable pour q = 1 et p = +.
(c) Cf. exercices 4.9-10 et remarquer egalement que si 1 p < q + et
C
0
c
(R
n
), (0) = 1,
(x)[x[

n
p
+
L
p
, (x)[x[

n
p
+
/ L
q
pourvu que
> 0,
qn
p
+q < n, i.e. 0 < <
n
q
(
q
p
1).
En outre,
(1 +[x[)

n
q

L
q
, (1 +[x[)

n
q

/ L
p
pourvu que
0 < ,
np
q
+p < n i.e. 0 < <
n
p
_
1
p
q
_
.
73
INTEGRATION, Feuille dexercices 6
Exercice 6.1.
a. On consid`ere une norme sur R
n
, notee || . Trouver une condition necessaire et susante
sur les reels , pour que
_
R
n
dx
(1 +|x| )

< +,
_
|x|1
dx
|x|

< +.
b. On suppose que n 2 et on pose, en designant par || une norme sur R
n1
, et pour
> 0
C
1,
= (x
1
, x
t
) R R
n1
, |x
t
| [x
1
[.
Donner une condition necessaire et susante sur les reels , pour que
_
C
1,
dx
(1 +[x
1
[)

< +, pour tout compact K

_
C
1,
K
dx
[x
1
[

< +.
Montrer que ceci permet de demontrer (a) sans utiliser de changement de variables.
Corrige. (a) La reponse est > n et < n. Comme toutes les normes sur R
n
sont
equivalentes, on peut supposer que || est la norme euclidienne et passer en coordonnees
polaires. Il sagit alors dexaminer les integrales simples
_
+
0
r
n1
(1 +r)

dr < + n 1 < 1 i.e. > n,

et
_
1
0
r
n1
dr < + n 1 > 1 i.e. < n.
(b) Utilisons le theor`eme de Fubini pour ces fonctions positives mesurables. Il vient, avec
V
n1
la mesure de Lebesgue (n 1) dimensionnelle de la boule unite de R
n1
pour la
norme ||
_
C
1,
dx
(1 +[x
1
[)

=
_
R
_
_
]x

]]x
1
]
dx
t
_
dx
1
(1 +[x
1
[)

= V
n1
_
R

n1
[x
1
[
n1
(1 +[x
1
[)

dx
1
< +
si et seulement si > n. De mani`ere analogue, si la condition de lenonce est veriee pour
tout compact K, elle lest pour (x
1
, x
t
) R R
n1
, [x
t
[ , [x
1
[ 1 et le calcul donne
_
1
0

n1
[x
1
[
n1
[x
1
[

dx
1
< + = < n.
74
Reciproquement, si cette condition est satisfaite et K est un compact, K est inclus dans
une boule euclidienne de centre 0 et de rayon ni sur laquelle lintegrale est nie dapr`es
le meme calcul. En remarquant que
R
n
=
1jn
x R
n
, max
1kn
[x
k
[ = [x
j
[
on voit que lintegrale sur R
n
est une somme nie dintegrale sur des cones du type
(x
1
, x
t
) R R
n1
, max
2kn
[x
k
[ [x
1
[
pour lesquels le calcul est fait ci-dessus.
Exercice 6.2.
Soit n un entier 2. Pour x R
n
, on note |x| la norme euclidienne de x.
a. Demontrer que
_
R
n
e
|x|
2
dx = 1.
b. Soit R R
+
. On note B
n
(R) la boule euclidienne de centre 0 et de rayon R et [B
n
(R)[
son volume. Montrer que
[B
n
(R)[ =

n/2
(
n
2
+ 1)
R
n
.
c. On note S
n1
(R) la sph`ere de centre 0 et de rayon R (le bord de B
n
(R)). En utilisant
les resultats du probl`eme 6.1, calculer le volume n 1 dimensionnel de S
n1
(R), note
[S
n1
(R)[. Calculer
d
dR
[B
n
(R)[
et donner une justication intuitive du resultat.
d. Calculer le volume de lellipsode
x R
n
,

1jn
x
2
j
a
2
j
1
(les a
j
sont des param`etres > 0).
e. Soit A une matrice n n symetrique reelle denie positive. Calculer
_
R
n
e
Ax,x)
dx.
f. Soit B une matrice n n symetrique reelle inversible. Calculer
lim
0
+
_
R
n
e
|x|
2
e
iBx,x)
dx.
75
g. Soient A, B des matrices nn symetriques reelles telles que A 0 (i.e. Ax, x) d|x|
2
,
d > 0.). Calculer
lim
0
+
_
R
n
e
|x|
2
e
(A+iB)x,x)
dx.
Corrige. (a) On a
_
R
n
e
|x|
2
dx =

1jn
_
R
e
x
2
j
dx
j
=
_
_
R
e
t
2
dt
_
n
et
_
R
e
t
2
dt = 2
_
+
0
e
t
2
dt =
_
+
0
e
s
s
1/2
ds
1/2
= (1/2)
1/2
= 1.
(b) En passant en coordonnees polaires, on obtient de (a)
1 =
_
+
0
e
r
2
r
n1
dr[S
n1
[ = [S
n1
[
_
+
0
e
s
s
n1
2

n+1
2
2
1
s
1/2

1/2
ds
soit
[S
n1
[ =
2
n
2
(
n
2
)
et par suite
[B
n
(R)[ =
_
1
0
r
n1
dr[S
n1
[ =
2
n
2
n(
n
2
)
R
n
=

n
2
n
2
(
n
2
)
R
n
=

n
2
(
n
2
+ 1)
R
n
.
(c) On a
[S
n1
(R)[ = R
n1
[S
n1
[.
On pourra consulter les explications de la n de la section 5.3.
(d) Par changement de variables lineaire, y
j
= a
j
x
j
, on obtient que ce volume vaut
[B
n
(1)[

1jn
a
j
.
(e) Par changement de variables x = A
1/2
y, on trouve (det A)
1/2
.
(f) La matrice B se diagonalise dans une base orthonormale, i.e.
D =
t
PBP, D =
_
_
d
1
0
.
.
.
0 d
n
_
_
diagonale,
t
PP = Id.
La changement de variables x = Py donne
_
R
n
e
|x|
2
e
iBx,x)
dx =
_
R
n
e
|y|
2
e
iDy,y)
dy =

1jn
_
R
e
t
2
(+id
j
)
dt,
76
ce qui donne en utilisant lexercice 5.11 (et la determination principale de la racine)

1jn
( +id
j
)
1/2

0
+

1jn
[d
j
[
1/2
e
i

4
sign(d
j
)
= [ det B[
1/2
e
i

4
signature(B)
.
(g) On a
I() =
_
R
n
e
|x|
2
e
(A+iB)x,x)
dx
= (det A)
1/2
_
R
n
e
|A
1/2
y|
2
e
(Id +iA
1/2
BA
1/2
)y,y)
dy
La matrice symetrique reelle A
1/2
BA
1/2
se diagonalise (valeurs propres
j
, 1 j n)
dans une base orthonormale et on trouve en utilisant le calcul precedent
lim
0
+
I() = (det A)
1/2

j
valeurs propres de
Id+iA
1/2
BA
1/2

1/2
j
.
On peut remarquer que les
j
sont de la forme 1 + i
j
o` u les
j
sont les valeurs propres
de la matrice symetrique reelle A
1/2
BA
1/2
.
Exercice 6.3.
Soit L
1
(R
d
) dintegrale 1. On pose, pour > 0,

(x) =
d
(x/).
a. Soit p [1, +[ et u L
p
(R
d
). Montrer que u

converge vers u dans L

p
(R
d
)
lorsque 0
+
.
b. On consid`ere u = 1
[0,1]
et (x) = e
|x|
2
. A-t-on convergence de u

vers u dans
L

(R) ?
Corrige. (a) Cf. theor`eme 3.4.2. (b) Non car la suite de fonctions continues u

convergerait uniformement et donc simplement vers une fonction continue. On a pour

> 0
(u

)(x) =
_
R
1
[0,1]
(x y)e
y
2
dy =
_
x/
(x1)/
e
y
2
dy.
Par consequent, pour x ]0, 1[,x/ + et (x 1)/ de sorte que
lim
0
+
(u

)(x) =
_

_
1 pour 0 < x < 1,
1/2 =
_
0

e
y
2
dy =
_
+
0
e
y
2
dy pour x = 0, 1,
0 pour x / [0, 1],
car pour x > 1,
0
_
x/
(x1)/
e
y
2
dy e
(x1)
2

0
+
0.
77
Un raisonnement analogue donne le cas x < 0. La limite simple est donc discontinue en 0
et 1.
Exercice 6.4 (suite de lexercice 5.6).
La classe de Schwartz des fonctions ` a decroissance rapide, est denie par
o(R
n
) = u C

(R
n
), pour tous les multi-indices , , sup
xR
n
[x

x
u(x)[ = p

(u) <
o` u lon designe par multi-indice un N
n
: = (
1
, . . . ,
n
) N
n
, x

= x

1
1
. . . x

n
n
,
N
n
,

x
=

1
x
1
. . .

n
x
n
.
a. Montrer que e
|x|
2
, (|x| est la norme euclidienne de x) et plus generalement, si A est
une matrice symetrique denie positive n n, la fonction v
A
(x) = e
Ax,x)
appartient ` a
o(R
n
). Montrer que les p

sont des semi-normes et que o(R

n
) est un espace de Frechet.
b. On rappelle que la transformee de Fourier de u est denie par
u() =
_
R
n
e
2ix
u(x)dx.
Montrer que la transformation de Fourier est continue de o(R
n
) dans lui-meme. On pourra
remarquer que

u() =
_
e
2ix

x
(x

u)(x)dx(2i)
]]]]
(1)
]]
.
c. Montrer que
_
R
e
2ix
e
x
2
dx =
_
R
e
(x+i)
2
dxe

2
= e

2
( la seconde egalite
peut etre obtenue en prenant la derivee par rapport ` a de
_
R
e
(x+i)
2
dx). Montrer que
pour A denie positive
v
A
() = (det A)
1/2
e
A
1
,)
.
d. On pose pour u o(R
n
) et > 0, u

(x) =
_
R
n
e
2ix
u()e

2
]]
2
d. Montrer que
u

(x) =
_
R
n
_
u(x +y) u(x)
_
e
]y]
2
dy +u(x).
Montrer la formule dinversion de Fourier: u(x) =
_
R
n
e
2ix
u()d.
e. Montrer que la transformation de Fourier se prolonge de mani`ere unique en une
transformation unitaire de L
2
(R
n
).
Corrige. (a) Comme la matrice A verie Ax, x) d |x|
2
, d > 0, la fonction v
A
verie,
pour tout N, sup
xR
n(1 + |x|
N
)e
Ax,x)
< +. En outre la fonction v
A
est C

(com-
position de C

) et on voit facilement par recurrence que ses derivees partielles sont le

78
produit dun polyn ome par v
A
, prouvant ainsi son appartenance ` a o(R
n
). Les p

sont
des semi-normes, i.e. sont `a valeurs positives, telles que p

(u) = [[p

(u) et verient
linegalite triangulaire. Considerons une suite de Cauchy (u
k
)
kN
. Cela signie que pour
tout , , pour tout > 0, il existe un rang k

tel que, pour k k

, l 0
p

(u
k+l
u
k
) .
En utilisant = = 0, on trouve une fonction continue u limite uniforme des u
k
. En
utilisant la convergence uniforme de la suite (

x
u
k
)
kN
, on montre que u est C

et que
les suites (

x
u
k
)
kN
convergent uniformement vers

x
u. Puis en ecrivant
[x

x
(u
k
u)(x)[ = lim
l+
[x

x
(u
k
u
l
)(x)[ limsup
l
p

(u
k
u
l
)
pour k k

, il vient p

(u
k
u) pour k k

, ce qui demontre la convergence.

(b) La formule de lenonce, issue dintegrations par parties, demontre que
p

( u)
_
(1 +[x[)
n1
dx(2)
]]]]
sup(1 +[x[)
n+1

x
(x

u)
et donc la continuite sur o de la transformation de Fourier.
(c) On a evidemment
_
R
e
2ix
e
x
2
dx =
_
R
e
(x+i)
2
dxe

2
et en derivant (par rapport ` a ) la seconde integrale (theor`eme 3.3.2), on trouve

_
R
e
(x+i)
2
dx =
_
R
e
(x+i)
2
(2i)(x +i)dx = i
_
R

x
_
e
(x+i)
2
_
dx = 0,
ce qui donne
_
R
e
(x+i)
2
dx =
_
R
e
x
2
dx = 1
et le resultat. En outre, en utilisant le changement de variables x = A
1/2
y, il vient
v
A
() =
_
e
2ix
e
Ax,x)
dx = (det A)
1/2
_
e
2iy,A
1/2
)
e
]y]
2
dy,
ce qui donne, en utilisant ce qui prec`ede,
v
A
() = (det A)
1/2
e
|A
1/2
|
2
= (det A)
1/2
e
A
1
,)
.
(d) On a
u

(x) =
_
R
n
e
2ix
u()e

2
]]
2
d =
__
e
2ix
e
2iy
u(y)e

2
]]
2
ddy
79
et donc
u

(x) =
_
u(y)e

2
]xy]
2
dy
n
=
_
u(x y)e
y
2
dy
=
_
_
u(x +y) u(x)
_
e
]y]
2
dy +u(x).
On a donc
[u

(x) u(x)[ sup

x
[u(x)[
et par suite, en utilisant le theor`eme de convergence dominee,
_
R
n
e
2ix
u()d = lim
0
+
_
R
n
e
2ix
u()e

2
]]
2
d = limu

(x) = u(x).
(e) Comme o(R
n
) est dense dans L
2
(R
n
), il sut de remarquer que, pour u, v o(R
n
)
u, v)
L
2 =
__
e
2ix
u() v(x)dxd =
_
u()

v()d = u, v)
L
2.
Exercice 6.5.
En eectuant un changement de variables, calculer les integrales suivantes
I =
__
x>0, y>0, x+y<a
3y
_
1 + (x +y)
3
dxdy, a > 0,
J =
__
x>0, y>0,
[x
4
y
4
[e
(x+y)
2
dxdy, (examiner le changement (x, y) = (u +v, u v)).
Corrige. On a avec H = 1
R
+
,
I =
__
H(x)H(yx)H(ay)
3(y x)
_
1 +y
3
dxdy =
__
H(x)H(yx)H(ay)H(y)
3(y x)
_
1 +y
3
dxdy
et par suite
I =
_
a
0
(1 +y
3
)
1/2
3
__
y
0
(y x)dx
_
dy =
_
a
0
(1 +y
3
)
1/2
3(y
2

y
2
2
)dy = (1 +a
3
)
1/2
1.
De plus, en posant x = u v, y = u +v, il vient
J = 2
__
H(u v)H(u +v)2[v[2[u[2(u
2
+v
2
)e
4u
2
dudv
soit
J = 2
4
_
+
0
__
H(u [v[)[v[(u
2
+v
2
)dv
_
ue
4u
2
du
= 2
5
_
+
0
__
u
0
v(u
2
+v
2
)dv
_
ue
4u
2
du = 3 2
3
_
+
0
u
5
e
4u
2
du = 3 2
4
(3) =
3
8
.
80
References
[Apo] T.Apostol, Introduction to analytic number theory, Undergraduate texts in mathematics, Springer-
Verlag..
[Bou] Bourbaki, Theorie des ensembles, Hermann.
[Bou] Bourbaki, Fonctions dune variable reelle, Hermann.
[BrP] M.Briane, G.Pag`es, Theorie de lintegration, Vuibert, 2000.
[Buc] H.Buchwalter, Le calcul integral, licence de mathematiques, Ellipses.
[Coh] D.L.Cohn, Measure theory, Birkhauser, 1980.
[Coz] J.-P.Conze, Calcul integral, Universite de Rennes, 1991.
[GO1] B.R.Gelbaum, J.M.H.Olmsted, Theorems and counterexamples in mathematics, Problem books in
mathematics, Springer -Verlag.
[GO2] , Counterexamples in analysis, Holden-Day Inc., 1966.
[Hal] P.R.Halmos, Measure theory, University series in undergraduate mathematics, van Nostrand.
[HLP] G.H.Hardy, J.E.Littlewood, G.Polya, Inequalities, Cambridge University Press, 1959.
[H o1] L.Hormander, The analysis of linear partial dierential operators I, Springer-Verlag, 1983.
[H o2] , Notions of convexity, Progress in mathematics, vol.127, Birkhauser.
[LiL] E.H.Lieb, M.Loss, Analysis, Graduate studies in mathematics, vol.14, AMS.
[Met] M.Metivier, Notions fondamentales de la theorie des probabilites, Dunod, 1968.
[Ru1] W.Rudin, Real and complex analysis, McGraw-Hill, New-York, 1987.
[Ru2] , Analyse reelle et complexe, Masson.
[Sog] C.Sogge, Fourier integral in classical analysis, Cambridge tracts in Mathematics, vol.105.
[Ste] E.M.Stein, Harmonic analysis, Princeton Maths series, vol.43.