Cycle prparatoire 2me anne

Intgration Notes de cours

Romain Dujol
2013 2014

Table des matires

0 Calcul dintgrales (Rvision)
0.1 Primitives et formes usuelles . . . . . . . . . .
0.1.1 Primitives des fonctions usuelles .
0.1.2 Formes usuelles . . . . . . . . . . . . . .
0.1.3 Techniques fondamentales . . . . . .
0.2 Formes particulires . . . . . . . . . . . . . . . .
0.2.1 Primitives de x 7 (sinp x ) (cosq x ) .
0.2.2 Primitives de x 7 P(x )e a x . . . . . . .
0.2.3 Primitives de fractions rationnelles
0.2.4 Intgrales abliennes . . . . . . . . . .

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

1 Intgrales gnralises
1.1 Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1.2 Structure algbrique de lensemble des fonctions intgrables
1.2 Fonctions valeurs relles positives . . . . . . . . . . . . . . . . . . . . . . . .
1.2.1 Compatibilit avec lordre naturel . . . . . . . . . . . . . . . . . . . .
1.2.2 Lemme fondamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.3 Thormes de comparaison . . . . . . . . . . . . . . . . . . . . . . . .
1.2.4 Fonctions de rfrence . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Fonctions valeurs quelconques . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Integrabilit absolue. Semi-intgrabilit . . . . . . . . . . . . . . .
1.3.2 Conditions de semi-intgrabilit . . . . . . . . . . . . . . . . . . . . .
1.4 Mthodes de calcul dune intgrale gnralise . . . . . . . . . . . . . . .
1.4.1 Intgration par parties . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4.2 Changement de variables . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Fonctions doublement intgrables . . . . . . . . . . . . . . . . . . . . . . . .
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Romain Dujol

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

3
3
3
4
4
4
4
5
6
7

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

8
8
8
10
12
12
13
13
15
18
18
20
22
22
23
23
24

2 Intgrales dpendant dun paramtre

2.1 Intgrales propres dpendant dun paramtre . . .
2.1.1 Continuit . . . . . . . . . . . . . . . . . . . . . . . .
2.1.2 Drivabilit . . . . . . . . . . . . . . . . . . . . . . .
2.1.3 Intgrabilit . . . . . . . . . . . . . . . . . . . . . . .
2.2 Intgrales gnralises dpendant dun paramtre
2.2.1 Continuit . . . . . . . . . . . . . . . . . . . . . . . .
2.2.2 Drivabilit . . . . . . . . . . . . . . . . . . . . . . .
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

27
27
27
28
29
31
31
31
32

3 Intgrales multiples
3.1 Intgrales doubles . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.1 Intgrales doubles sur un compact lmentaire
3.1.2 Intgrale double sur un pav . . . . . . . . . . . . . .
3.1.3 Changement de variables . . . . . . . . . . . . . . . .
3.2 Intgrales triples . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

34
34
34
35
36
36
38

.
.
.
.
.
.
.
.
.

39
39
39
39
40
41
44
44
45
47

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

4 Intgrales curvilignes
4.0 Formes diffrentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.0.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.0.2 Forme diffrentielle exacte. Forme diffrentielle ferme
4.0.3 Thorme de POINCAR . . . . . . . . . . . . . . . . . . . . . . . .
4.0.4 Exemples dtude . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1 Intgrale curviligne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Cas gnral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.2 Cas dune courbe ferme . . . . . . . . . . . . . . . . . . . . . .
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Romain Dujol

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.

Chapitre 0

Calcul dintgrales (Rvision)

0.1

Primitives et formes usuelles

0.1.1

Primitives des fonctions usuelles

On rappelle les primitives des fonctions usuelles (C est une constante).

Fonction
x 7 x m , m R\{1}

Primitive

Fonction
1
x

Primitive

x 7

x 7 e a x , a C

+C
m +1
e ax
x
7
+C
a

x 7 ln x

x 7 x ln x x + C

x 7 cos x

x 7 sin x + C

x 7 sin x

x 7 cos x + C

x 7 tan x

x 7 ln | cos x | + C


x

x 7 ln tan  + C
2

1
x 7 cotan x =
tan x
1
x 7 sec x =
sin x

x 7 ch x

x 7 sh x + C

x 7 sh x

x 7 ch x + C

x 7 th x

x 7 ln(ch x ) + C


 x
x 7 ln th  + C
2

x 7 coth x

x 7 ln | sh x | + C

x 7 cosec x =

x
x
x
x

1
sin x

1
7
sh x
1
7 2 = 1 th2 x
ch x
1
7 2
, a R
x +a2
1
, a R
7 p
a2 x2

x 7 cos(a x + b ), a R

Romain Dujol

x 7

x m +1

x 7 th x + C
1
x
arctan + C
a
a
x
x 7 arcsin + C
a
x 7

x 7

sin(a x + b )
+C
a

1
x 7
ch x
1
x 7 2
sh x
1
x 7 2
, a R
x a2

x 7 ln |x | + C

x 7 ln | sin x | + C




x 
+C
x 7 ln tan
+
2 4 

x 7 2 arctan(e x ) + C
x 7 coth x + C


x a 
1
+C
x 7
ln 
2a
x +a 
ax
+C
ln a

x 7 a x = e x ln a , a R+

x 7

x 7 sin(a x + b ), a R

x 7

cos(a x + b )
+C
a

0.1.2

Formes usuelles
Forme

Primitive

x 7 u (x ) u (x )m , m R\{1}

Primitive

x 7

u (x )

x 7 u (x ) e u (x )

x 7 e u (x ) + C

x 7 u (x ) cos u (x )

x 7 sin u (x ) + C

x 7 u (x ) sin u (x )

x 7 cos u (x ) + C

x 7

x 7 arctan u (x ) + C

x 7 p

x 7 arcsin u (x ) + C

x 7 p

0.1.3

u (x )

+C
m +1
p
x
7 2 u (x ) + C

u (x )

u (x )

1 + u (x )2

x 7

Forme

u (x )m +1

u (x )

u (x )

1 u (x )2

x 7 ln |u (x )| + C

Techniques fondamentales

Thorme (Intgration par parties). Soit u et v deux fonctions de classe C 1 sur [a ,b ]. Alors
Z

u (x )v (x ) dx = u (x )v (x )


b
a

u (x )v (x ) dx
a

/2

Z
Exercice. Calculer

x cos x dx .
0

Thorme (Changement de variables). Soit : [, ] R une application injective et de classe

C 1 sur [, ] et f une application valeurs relles dfinie et continue sur ([, ]). Alors
Z

( )

f (x ) dx =
()
1

Z
Exercice. Calculer
0

0.2
0.2.1

f (t ) (t ) dt

ex
dx .
1 + e 2x

Formes particulires
Primitives de x 7 (sinp x ) (cosq x )

Rgle 0.1. Soit p et q deux entiers naturels. Pour calculer la primitive de f : x 7 (sinp x ) (cosq x ),
on distingue trois cas :
si p est impair, alors on effectue le changement de variable t = cos x ;
si q est impair, alors on effectue le changement de variable t = sin x ;
si p et q sont pairs tous les deux, on effectue une linarisation.
Exercice. Dterminer une primitive de x 7 (sin3 x ) (cos4 x ), x 7 (cos5 x ) et x 7 (cos4 x ).

Romain Dujol

0.2.2

Primitives de x 7 P(x )e a x

Proposition 0.1. Soit P un polynme coefficients complexes et a un nombre complexe non nul.
Alors une primitive de f : P(x )e a x est de la forme Q(x )e a x o Q est un polynme coefficients
complexes de mme de degr que P qui est solution de lquation diffrentielle Q + aQ = P.
Dmonstration. Soit Q un polynme coefficients complexes et g : x 7 Q(x )e a x . Alors
x R, g (x ) = Q (x )e a x + aQ(x )e a x = (Q (x ) + aQ(x ))e a x
Donc g est une primitive de f si et seulement Q + aQ = P : comme a est non nul, le degr de Q + aQ est
celui de Q. On en dduit que les degrs de Q et P sont gaux.

Rgle 0.2. Soit P un polynme coefficients complexes et a un nombre complexe non nul. Pour
calculer la primitive F de f : x 7 P(x )e a x :
1. on pose F : x 7 Q(x )e a x avec degQ = deg P ;

2. on drive F et on obtient lquation Q + aQ = P ;

3. on rsout lquation polynmiale par identification des coefficients.

Exercice. Calculer une primitive de x 7 (x 3 2x + 1)e x .

Remarque. Si le degr de P est trs faible (pas plus de deux), il est possible de calculer la primitive de x 7 P(x )e a x par intgrations par parties successives 1 .

Primitives de x 7 P (x ) sin(a x ) et x 7 P (x ) cos(a x ) Il suffit dutiliser la formule dEULER de

calculer les primitives de x 7 P(x )e i a x et x 7 P(x )e i a x .
Exercice. Calculer une primitive de x 7 x 4 cos x .

Primitives de x 7 P (x ) sh(a x ) et x 7 P (x ) ch(a x ) Il suffit dutiliser la dfinition de sh et ch

de calculer les primitives de x 7 P(x )e a x et x 7 P(x )e a x .
Exercice. Calculer une primitive de x 7 (x 3 2x + 1) (ch x ).
1. Le nombre dintgrations par parties ncessaires est gal au degr de P.

Romain Dujol

0.2.3

Primitives de fractions rationnelles

Rgle 0.3. Soit R une fraction rationnelle coefficients rels. Pour calculer la primitive de R :
1. On effectue une dcomposition en lments simples dans R :
R=E +

X
i

X
j X + j
i
+
p
2
i
(X a i )
(X + b j X + c j )q j
j

o :
E est la partie entire de R ;
i

sont les lments simples de premire espce ;

(X a i )p i
j X + j

avec b j2 4c j < 0 sont les lments simples de seconde espce.

2
(X + b j X + c j )q j
2. On dtermine une primitive du polynme E de manire usuelle.
3. On dtermine une primitive dun lment simple de premire espce R 1 : x 7
avec n N :

1
(x a )n

1
+ C (C R) ;
(n 1)(x a )n1
si n = 1, alors toute primitive de R 1 est de la forme x
7 ln |x a | + C (C R).
x +
4. On dtermine une primitive dun lment simple de seconde espce R 2 : x 7 2
(x + b x + c )n
avec n N en effectuant la dcomposition suivante :


X +
2X + b
1

R2 = 2
=
+ b
n
2
n
2
(X + b X + c )
2 (X + b X + c )
2
(X + b X + c )n
si n > 1, alors toute primitive de R 1 est de la forme x 7

puis :
si n > 1, alors toute primitive de x 7
C (C R) ;

1
2x + b
est de la forme x 7
+
(x 2 + b x + c )n
(n 1)(x 2 + b x + c )n1

2x + b
est de la forme x 7 ln |x 2 + b x + c |
+ c )n


1
b 2
pour calculer une primitive de x 7 2
= x+
+ 2 , on pose le chan(x + b x + c )n
2
b
gement de variable t = x + pour se ramener au calcul de la primitive dune fonction
2
usuelle.

si n = 1, alors toute primitive de x 7

Exercice. Calculer une primitive de x 7

Romain Dujol

(x 2 + b x

1
x (x 2 + 2x

+ 5)

Primitives de fractions trigonomtriques

Rgle 0.4 (Rgle de BIOCHE). Soit f une fraction rationnelle compose de fonctions trigonomtriques de la forme sin(p x ), cos(p x ) et/ou tan(p x ).
Si x 7 f (x ) dx est invariant par la transformation :
x 7 x , alors on pose le changement de variable t = cos x ;
x 7 x , alors on pose le changement de variable t = sin x ;
x 7 + x , alors on pose le changement de variable t = tan x .
x
Sinon, on pose le changement de variable t = tan . Auquel cas, on a :
2
1t2
2t
2t
,
cos
x
=
,
tan x =
sin x =
1+t2
1+t2
1t2
On se ramne alors la recherche dune primitive dune fraction rationnelle en t .
x
Remarque. Le changement de variable t = tan fonctionne dans tous les cas (mme ceux cou2
verts par la rgle de BIOCHE).
Primitives de fractions rationnelles en exponentielle
Rgle 0.5. Soit R une fraction rationnelle. Pour calculer une primitive de f : x 7 R(e a x ), on pose
le changement de variable t = e a x et on se ramne alors la recherche dune primitive dune
fraction rationnelle en t .
1
Exercice. Calculer une primitive de x 7 x
.
(e + 2)2
Remarque. On peut donc appliquer cette rgle avec des fractions hyperboliques (sh, ch, th).
Exercice. Calculer une primitive de x 7

0.2.4

1
.
4 + 5 ch x + 3 sh x

Intgrales abliennes

Rgle 0.6. Soit (a ,b, c ) {a R+ ou b 2 4a c > 0}. Pour calculer une primitive de
p
1
:
f : x 7 a x 2 + b x + c ou de f : x
7 p
ax2 +bx + c
si on peut crire a x 2 + b x + c = 2 [(x + )2 + 2 ], alors on pose le changement de variable
x + = sh t ;
si on peut crire a x 2 + b x + c = 2 [(x + )2 2 ], alors on pose le changement de variable
x + = ch t ;
si on peut crire a x 2 + b x + c = 2 [2 (x + )2 ], alors on pose le changement de variable
x + = sin t .
Exercice. Calculer une primitive de x 7

Romain Dujol

1
[x (2 x )]3/2

Chapitre 1

Intgrales gnralises
1.1
1.1.1

Gnralits
Dfinition

Dfinition 1.1 (Fonction localement intgrable). Soit I un intervalle de R.

Une application f est dite localement intgrable sur I si et seulement si elle est intgrable
au sens de RIEMANN sur tout segment inclus dans I .
Exemple.
f : x 7 x est localement intgrable sur R.
1
f : x 7 est localement intgrable sur R+ , mais pas sur R.
x
Proposition 1.1. Soit I un intervalle de R.
1. Toute application continue sur I est localement intgrable sur I .
2. Toute application monotone sur I est localement intgrable sur I .
Dfinition 1.2 (Fonction intgrable). Soit (a ,b ) R R tel que a < b et f une application
dfinie et continue sur lintervalle [a ,b [.
On dit que f est intgrable sur [a ,b [ si et seulement si lapplication
admet une limite finie en b .
F : [a ,b [ R
ZX
X

f (t ) dt
a

Z
Auquel cas, on dfinit lintgrale de f sur [a ,b [, note

f (x ) dx par
a

f (x ) dx = lim F (X ) = lim
a

Romain Dujol

x b

x b

f (t ) dt
a

Remarque.
1. On rappelle que F est la primitive de f qui sannule en a .
2. On peut videmment dfinir de manire analogue une fonction intgrale sur un intervalle
]a ,b ] ouvert gauche. Tous les rsultats de ce chapitre ont leur quivalent dans ce cadre.
3. Une telle intgrale est appele une intgrale gnralise.
4. Par opposition, on appellera intgrale propre toute intgrale dune fonction continue sur
R1
un segment sur ce mme segment, comme par exemple 0 x dx .
Exemple.
Z

X2
t dt =
1. Si f est lapplication f : [0, +[ R , alors F (X ) =
.
2
0
x
7 x
Donc lim F (X ) = + et f nest pas intgrable sur [0, +[.
X +
ZX
dt
= ln X .
2. Si f est lapplication f : [1, +[ R , alors F (X ) =
t
1
1
x
7
x
Donc lim F (X ) = + et f nest pas intgrable sur [0, +[.
X +

Proposition 1.2. Soit (a ,b ) R2 tel que a < b et f une application dfinie et continue sur [a ,b [.
Zb
Zb
f (x ) dx =

Si f admet une limite finie en b , alors f est intgrable sur [a ,b [ et

est le prolongement par continuit de f en b .

o f : [a ,b ]
R
x

f (x )
lim f (x )
x b

si x [a ,b [
si x = b

Remarque. Comme f est dfinie et continue sur [a ,b ],

Z

f (x ) dx
a

f (x ) dx est donc une intgrale propre.

a

f (x ) dx est une intgrale dite faussement gnralise.

Auquel cas,
a

Dmonstration. Comme f est dfinie et continue sur [a ,b ], elle est borne : on note M = sup f (x ).
x [a ,b ]

Alors

 Z
 Z

Z
Zb
Zb
  X
  b

 X
 
 


f (x ) dx  = 
f (x ) dx
f (x ) dx  = 
f (x ) dx  M (b X )
f (x ) dx
X [a ,b [, 





 a
a
X
a
a
Z

Zb
 X



f (x ) dx
Comme lim M (b X ) = 0, on en dduit par encadrement que lim 
f (x ) dx  = 0.
X b
X b 

a
a

Romain Dujol

est intgrable sur [0, 1[ car lim f (x ) = ln (1) = 1.

Exemple. Lapplication f : [0, 1[ R
x 1
ln x
x
7
x 1
ATTENTION. CE RSULTAT NEST PAS VALABLE SI b EST INFINI !
Exemple.

f : [1, +[ R
1
x
7
x

Proposition 1.3 (Changement de point de base). Soit (a ,b ) R R tel que a < b et f une application dfinie et continue sur lintervalle [a ,b [.
Pour tout rel c [a ,b [, f est intgrable sur [c ,b [ si et seulement si f est intgrable sur [a ,b [.
X

Z
Dmonstration. Pour tout rel c [a ,b [ et tout rel X de [c ,b [,
Zc
Comme f est dfinie est continue sur [a , c ],
Si f est intgrable sur [a ,b [, alors X 7

f (t ), dt admet une limite finie en b . On en dduit que

Z

1.1.2

f (t ), dt =
c

Z
f (t ), dt

f (t ), dt
a

f (t ), dt admet galement une limite finie en b et f est intgrable sur [c ,b [.

c

Si f est intgrable sur [c ,b [, alors X 7

X 7

f (t ), dt .
c

Z
Donc X 7

Z
f (t ), dt +

Z
x [c ,b [,

f (t ), dt est une intgrale propre.

Z
f (t ), dt =

f (t ), dt admet galement une limite finie en b , donc

c

f (t ), dt galement et f est intgrable sur [a ,b [.

a

Structure algbrique de lensemble des fonctions intgrables

Thorme 1.1. Soit (a ,b ) R R tel que a < b .

Lensemble des fonctions intgrables sur [a ,b [ est un sous-espace vectoriel de lensemble
des fonctions dfinies et continues sur [a ,b [.
Notamment si f et g sont deux fonctions intgrables sur [a ,b [, alors pour tout rel ,
f + g est intgrable sur [a ,b [ et :
Zb
Zb
Zb

Romain Dujol

g (x ) dx

f (x ) dx +

( f + g )(x ) dx =
a

10

Corollaire.
La somme de deux fonctions intgrables sur [a ,b [ est intgrable sur [a ,b [
La somme dune fonction intgrable sur [a ,b [ et dune fonction non-intgrable sur [a ,b [ nest
pas intgrable sur [a ,b [.
Remarque. Il nexiste pas de rsultat gnral pour la somme de deux fonctions non-intgrables.
En effet :
x 7 1 et x 7 1 ne sont pas intgrables sur [0, +[ et x 7 1 + (1) = 0 est intgrable sur
[0, +[ ;
x 7 1 nest pas intgrable sur [0, +[ et x 7 1 + 1 = 2 nest pas intgrable sur [0, +[.
ATTENTION. On ne peut donc pas crire la relation
Z

g (x ) dx

f (x ) dx +

[ f (x ) + g (x )] dx =
a

tant que lintgrabilit de f et g sur [a ,b [ na pas t tablie !

Thorme 1.2 (Intgrabilit dune fonction valeurs complexes).

Une fonction valeurs complexes f dfinie et continue sur [a ,b [ est intgrable sur [a ,b [
si et seulement e f et m f sont intgrables sur [a ,b [.

Romain Dujol

11

1.2

Fonctions valeurs relles positives

1.2.1

Compatibilit avec lordre naturel

Proposition 1.4 (Positivit de lintgrale gnralise). Soit (a ,b ) R R tel que a < b et f une
Zb
fonction valeurs relles positives intgrable sur [a ,b [. Alors
a

f (x ) dx 0.
Z

Dmonstration. Comme f est valeurs relles positives, on a pour tout X [a ,b [,

On conclut en passant la limite lorsque X tend vers b .

f (x ) dx 0.

Corollaire (Croissance de lintgrale gnralise). Soit (a ,b ) R R tel que a < b .

Z
Zb
Soit f et g deux fonctions intgrables sur [a ,b [ telles que f g . Alors

f (x ) dx

g (x ) dx .
a

Dmonstration. Alors g f est intgrable et valeurs positives. On applique la proposition prcdente

Zb
Zb
Zb
et
a

g (x ) dx

f (x ) dx =
a

(g f )(x ) dx 0.

Proposition 1.5. Soit (a ,b ) R R tel que a < b . Si f une fonction :

continue sur [a ,b [ ;
valeurs relles positives [a ,b [ ;
Zb
f (x ) dx = 0 ;

intgrale sur [a ,b [ telle que

a

alors f est nulle sur [a ,b [.

Dmonstration. Soit c [a ,b [ : comme f est intgrable sur [a ,b [, elle lest galement sur [c ,b [ et
Z

0=

f (x ) dx =
a

a
c

Comme f est valeurs relles positives, il vient que

Z

Z
f (x ) dx et

f (x ) dx sont deux rels positifs dont

c

Z
f (x ) dx =

f (x ) dx
c

la somme est nulle : on en dduit alors que

Z
f (x ) dx +

f (x ) dx = 0.
c

Notamment
f est une application valeurs relles positives continue sur [a , c [ telle que lintgrale
Zc
propre

f (x ) dx soit nulle. On en conclut que f est nulle sur [a , c ] et en particulier que f (c ) = 0.

a

On vient de montrer que f est nulle en tout point de [a ,b [.

Romain Dujol

12

1.2.2

Lemme fondamental

Thorme 1.3 (Lemme fondamental des fonctions intgrables valeurs positives).

Soit (a ,b ) R R tel que a < b et f une fonction valeurs relles positives dfinie et
continue sur [a ,b [. Alors f est intgrable sur [a ,b [ si et seulement si la primitive de f qui
sannule en a est majore :
Z
f est intgrable sur [a ,b [ M R+ , X [a ,b [,

Dmonstration. On note F :

[a ,b [

X
a

f (x ), dx M

la primitive de F qui sannule en a .

R
ZX
f (x ) dx
a

() Comme F admet une limite en b , elle est majore sur [a ,b [.

() Comme F = f 0, il vient que F est croissante. Comme elle est majore, on en conclut que F
admet une limite finie en b , puis que f est intgrable sur [a ,b [.

Proposition 1.6. Soit (a ,b ) R R tel que a < b et f une fonction valeurs relles positives
dfinie et continue sur [a ,b [.
Zb
ZX
1. Si f est intgrable sur [a ,b [, alors X [a ,b [,
ZX

1.2.3

f (x ) dx

f (x ) dx .
a

f (x ) dx = +.

2. Si f nest pas intgrable, alors lim

X b

Thormes de comparaison

Thorme 1.4 (Thorme de majoration des fonctions intgrables valeurs positives).

Soit (a ,b ) R R tel que a < b . Soit f et g deux fonctions valeurs relles positives dfinies
et continues sur [a ,b [ telles que f g .
Si g est intgrable sur [a ,b [, alors f est intgrable sur [a ,b [.

Corollaire. Soit (a ,b ) R R tel que a < b . Soit f et g deux fonctions valeurs relles positives
dfinies et continues sur [a ,b [ telles que f = Ob (g ).
Si g est intgrable sur [a ,b [, alors f est intgrable sur [a ,b [.
Remarque. Le rsultat est donc valable si f = ob (g ).

Romain Dujol

13

Thorme 1.5 (Thorme de minoration des fonctions intgrables valeurs positives).

Soit (a ,b ) R R tel que a < b . Soit f et g deux fonctions valeurs relles positives dfinies
et continues sur [a ,b [ telles que f g .
Si f nest pas intgrable sur [a ,b [, alors g nest pas intgrable sur [a ,b [.

Corollaire. Soit (a ,b ) R R tel que a < b . Soit f et g deux fonctions valeurs relles positives
dfinies et continues sur [a ,b [ telles que f = Ob (g ).
Si f nest pas intgrable sur [a ,b [, alors g nest pas intgrable sur [a ,b [.
Remarque. Le rsultat est donc valable si f = ob (g ).

Thorme 1.6 (Thorme dquivalence des fonctions intgrables valeurs positives).

Soit (a ,b ) R R tel que a < b . Soit f et g deux fonctions dfinies et continues sur [a ,b [
telles que f g .
b

Si g est de signe constant au voisinage de b , alors f est intgrable sur [a ,b [ si et seulement si g est intgrable sur [a ,b [.

Remarque. Le thorme nest plus valable si lhypothse g est de signe constant au voisinage
de b nest plus vrifie.
Dmonstration. On suppose ici que g est positive au voisinage de b . (Le raisonnement dans le cas o
elle serait ngative au voisinage de b est identique.)
f (x )
= 1, il existe un rel c [a ,b [ tel que
Comme lim
x b g (x )
x [c ,b [,

f (x ) 3
1

2 g (x ) 2

i.e.

x [c ,b [,

1
3
g (x ) f (x ) g (x )
2
2

Donc f est galement positive sur [c ,b [.

Si g est intgrable sur [a ,b [, alors elle est intgrable sur [c ,b [ et il en est de mme pour 32 g . Daprs
le thorme de majoration pour les fonctions intgrables valeurs relles positives, f est intgrable sur [c ,b [. On conclut alors que f est intgrable sur [a ,b [.
Si f est intgrable sur [a ,b [, alors daprs le thorme de majoration pour les fonctions intgrables
valeurs relles positives, 12 g est intgrable sur [c ,b [ et il en est donc de mme pour g . On conclut
alors que g est intgrable sur [a ,b [.

Romain Dujol

14

1.2.4

Fonctions de rfrence

Fonctions de RIEMANN au voisinage de +

Thorme 1.7 (Fonction de RIEMANN au voisinage de +). Soit un nombre rel.

1
La fonction x 7 est intgrable sur [1, +[ si et seulement si > 1.
x

Dmonstration. On note f :

R+
x

R puis F :
1
x

[1, +[
X

R
ZX

Z
f (x ) dx =

dx
x

On distingue deux cas :

si = 1, alors F (X ) = ln X ln 1 pour tout X [1, +[ : donc lim F (X ) = + et f nest pas
X +

intgrable sur [1, +[ ;

 1 X
X 1 1
x
=
pour tout X [1, +[ et :
si 6= 1, alors F (X ) =
1 1
1

dx
1
=
;

x
1
1
si < 1, alors 1 > 0 et lim X 1 = + : donc f nest pas intgrable sur [1, +[.

si > 1, alors 1 < 0 et lim X

X +

= 0 : donc f est intgrable sur [1, +[ et

X +

Proposition 1.7 (Rgle x f (x ) en +). Soit a un rel strictement positif et f une fonction
valeurs relles positives dfinie et continue sur [a , +[. Alors :
> 1, lim x f (x ) = 0

f est intgrable sur [a , +[

1, lim x f (x ) = +

f nest pas intgrable sur [a , +[

x +

x +

Dmonstration.
Si il existe > 1 tel que lim x f (x ) = 0, alors il existe un rel A tel que :
x +

x A, x f (x ) 1

i.e.

x A, f (x )

1
x

Donc f est intgrable sur [A, +[ daprs le thorme de majoration des fonctions intgrables
valeurs positives, puis sur [a , +[.
Si il existe 1 tel que lim x f (x ) = +, alors il existe un rel A tel que :
x +

x A, x f (x ) 1

i.e.

x A, f (x )

1
x

Donc f nest pas intgrable sur [A, +[ daprs le thorme de minoration des fonctions intgrables valeurs positives, puis sur [a , +[.

Romain Dujol

15

Fonctions de RIEMANN au voisinage de 0

Thorme 1.8 (Fonction de RIEMANN au voisinage de 0). Soit un nombre rel.

1
La fonction x 7 est intgrable sur ]0, 1] si et seulement si < 1.
x

1
est une application injective et de classe C 1 sur
t
Z1
Z 1/
1 dt
dt
dt
=
=
2
2
(1/t ) t 2
t
t
1/
1

Dmonstration. Soit un rel positif. Alors : t 7

[1/, 1] et

dx
=
x

1/

ZX
1
dt
Comme lim+ 1/ = +, il vient que x 7 est intgrable sur ]0, 1] si et seulement si X 7
admet
2
0
x
t
1
1
une limite finie lorsque X tend vers +, i.e. t 7 2 est intgrable sur [1, +[.
t
1
En utilisant les rsultats prcdents, il vient que x 7 est intgrable sur ]0, 1] si et seulement si
x
2 > 1, i.e. < 1.

Proposition 1.8 (Rgle x f (x ) en 0). Soit a un rel strictement positif et f une fonction valeurs relles positives dfinie et continue sur ]0, a ]. Alors :
< 1, lim x f (x ) = 0

f est intgrable sur ]0, a ]

1, lim x f (x ) = +

f nest pas intgrable sur ]0, a ]

x 0+

x 0+

Dmonstration. Il suffit dappliquer le changement de variables t =

en +.

1
puis dutiliser la rgle x f (x )
x

Corollaire. Soit a et c deux rels tel que a 6= c .

1
est intgrable sur ]a , c ] si et seulement si < 1.
Soit un nombre rel. Alors x 7
(x a )
Dmonstration. Il suffit deffectuer le changement de variable t = x a et se ramener ltude de lint1
grabilit de la fonction t 7 sur ]0, c a ].
t

Romain Dujol

16

Fonctions exponentielles

Thorme 1.9 (Fonctions exponentielles). Soit un nombre rel.

La fonction x 7 e x est intgrale sur [0, +[ si et seulement < 0.

Dmonstration. On note f :

R
x

puis F :
R
e x

[0, +[

R
ZX

e x dx

f (x ) dx =
0

On distingue deux cas :

si = 0, alors F (X ) = X pour tout X [0, +[ : donc lim F (X ) = + et f nest pas intgrable sur
X +

[0, +[ ;


e x X e X 1
=
pour tout X [0, +[ et :
0

si > 0, alors lim e X = + : donc f nest pas intgrable sur [0, +[ ;

X +
Z +


si 6= 0, alors F (X ) =

si < 0, alors lim e X = 0 : donc f est intgrable sur [0, +[ et

X +

e x dx =
0

1
.

Corollaire. Soit P un polynme coefficients rels et un rel strictement ngatif.

Alors x 7 P(x )e x est intgrable sur [0, +[.
Dmonstration. Comme P est de signe constant au voisinage de +, f : x 7 P(x )e x lest galement.
De plus lim x 2 f (x ) = lim x 2 P(x )e x = 0 : donc daprs la rgle x f (x ) en +, f est intgrable au
x +

x +

voisinage de + et donc sur [0, +[.

Fonction logarithme nprien

Thorme 1.10 (Fonction logarithme). Lapplication x 7 ln x est intgrale sur ]0, 1].

Dmonstration. Soit ]0, 1]. Alors

1

Z
ln x dx = [x

ln x ]1

1
x dx = ln +
x

dx = ln + (1 )
1

Z
Comme lim+ ln = 0, on en dduit que x 7 ln x est intgrable sur ]0, 1] et
0

Romain Dujol

( ln x ) dx = 1.
0

17

Fonctions de BERTRAND

Thorme 1.11. Soit et deux nombres rels.

1
est intgrable sur [2, +[ si et seulement si
La fonction x 7
x (ln x )
( > 1)

Dmonstration. On note f : x 7
Si > 1, alors =

1
x (ln x )

ou

( = 1 et > 1)

et on distingue trois cas selon la valeur de .

1
1+
= 0 et f est intgrable sur [2, +[.
> 1 et lim x f (x ) = lim 1
x +
x +
2
x 2 (ln x )
1

1+
x 2
Si < 1, alors =
= + et f nest pas intgrable sur
< 1 et lim x f (x ) = lim
x +
x + (ln x )
2
[2, +[.
Si = 1, alors : t 7 e t est injective et de classe C 1 sur [2, +[ et
Z (ln X )
Z ln X
Z ln X
ZX
dx
1
dt
dx
t
=
=
e dt =

t [ln e t ]
x
(ln
x
)
x
(ln
x
)
e
t
(ln 2)
ln 2
ln 2
2
1
est intgrable sur [2, +[ si et seulement si
Comme lim ln X = +, il vient que x 7
X +
x (ln x )
ZX
dt
1
X 7
admet une limite finie lorsque X tend vers +, i.e. t 7 est intgrable sur [ln 2, +[.

t
t
ln 2
1
est intgrable sur [2, +[ si et seuleEn utilisant les rsultats prcdents, il vient que x 7
x (ln x )
ment si > 1.

1.3

Fonctions valeurs quelconques

Par valeurs quelconques , on entend rels ou complexes . Lune des stratgies possibles
sera de revenir (lorsque cela est possible) dans le cadre des fonctions valeurs relles positives.

1.3.1

Integrabilit absolue. Semi-intgrabilit

Dfinition 1.3 (Intgrabilit absolue). Soit (a ,b ) R R tel que a < b et f une application
dfinie et continue sur lintervalle [a ,b [.
Lapplication f est dite absolument intgrable sur [a ,b [ si et seulement si lapplication | f |
est intgrable sur [a ,b [.

Romain Dujol

18

Thorme 1.12 (Intgrabilit absolue et intgrabilit). Soit (a ,b ) R R tel que a < b .

Une application f absolument intgrable sur [a ,b [ est intgrable sur [a ,b [ et
Z
 Z
b
 b



f
(x
)
dx
| f (x )| dx



 a

a
Lensemble des applications absolument intgrables sur [a ,b [ est un sous-espace vectoriel
de lensemble des applications intgrables sur [a ,b [.
Notamment, si f et g sont deux applications absolument intgrables sur [a ,b [, alors pour
rel (ou complexe) , f + g est absolument intgrable sur [a ,b [.

Remarque. Il existe des applications intgrables sur un intervalle qui ne sont pas absolument
intgrables sur ce mme intervalle.
Exemple. Lapplication f : R+
x
intgrable.

R
sin x
7
x

est intgrale sur [1, +[ sans y tre absolument

Dmonstration. Soit X [1, +[. Alors

X

Z
1

ZX
ZX

cos x X
cos X
cos x
cos x
sin x
dx =

dx =
+ cos 1
dx
2
x
x
x
X
x2
1
1
1



1
1
 cos x 
Pour tout x [1, +[,  2  2 . Comme x 7 2 est une fonction valeurs relles positives intgrable
x
x
x
sur [1, +[, il vient daprs le thorme de majoration pour les fonctions intgrables valeurs relles poZX
cos x
cos x
est absolument intgrable sur [1, +[ : donc elle y est intgrable et X 7
dx
sitives que x 7
2
x
x2
1
admet une limite finie lorsque X tend vers +.
R X sin x
cos X
De plus lim
= 0, donc X 7 1
dx admet une limite finie lorsque X tend vers + et
X +
X
x
sin x
x 7
est intgrale sur [1, +[.
x


 sin x  | sin x | sin2 x
1 cos(2x )
1
cos(2x )
=

=
=

. En reprenant le mme
Soit X [1, +[. Alors 
x 
x
x
2x
2x
2x
cos(2x )
1
raisonnement, on dmontre que x
7
est intgrable sur [1, +[. Comme x 7
nest pas int2x
2x


 sin x 
 nest pas intgrable sur [1, +[.
grable sur [1, +[, il vient que x 7 
x 

Romain Dujol

19

Dfinition 1.4. Soit (a ,b ) R R tel que a < b .

Une application f intgrable sur [a ,b [ qui nest pas absolument intgrable sur [a ,b [ est dite
semi-intgrable sur [a ,b [.

1.3.2

Conditions de semi-intgrabilit

Thorme 1.13 (Condition de convergence de CAUCHY). Soit (a ,b ) R R tel que a < b .

Une application f dfinie et continue sur [a ,b [ est intgrable sur [a ,b [ si et seulement si
Z

 v



> 0, c [a ,b [, u [c ,b [, v [c ,b [, 
f (x ) dx  <
 u


Corollaire. Soit (a ,b ) R R tel que a < b et f une application dfinie et continue sur [a ,b [.
Si il existe deux fonctions et dfinies et continues sur [a ,b [ telles que :
;
lim (x ) = lim (x ) = b ;
x b
x b
Z (X )
X 7

f (x ) dx ne tend pas vers 0 lorsque X vers b .

(X )

alors f nest pas intgrable sur [a ,b [.

Thorme 1.14 (Rgle dABEL pour les fonctions intgrables).

Soit (a ,b ) R R tel que a < b .
Soit et g deux applications dfinies et continues sur [a ,b [ telles que :
est une application valeurs relles positives, dcroissante telle que lim (x ) = 0 ;
x b
Zx
lapplication G : x 7

g (x ) dx est borne sur [a ,b [.

a

Alors lapplication g est intgrable sur [a ,b [.

Romain Dujol

20

Dmonstration. Montrons que f = g vrifie la condition de convergence de CAUCHY.

On note M = supx [a ,b [ |G (x )|.

Soit > 0 : comme lim (x ) = 0, il existe un rel c [a ,b [ tel que |(x )| <
pour tout x [c ,b [.
x b
M
Soit u et v deux rels de [c ,b [. Alors en utilisant la deuxime formule de la moyenne :
Z

 
Zv
 v

 


 
g (x ) dx  M |(u )| <
(x )g (x ) dx  = (u )

 u

 
u
On en conclut donc que f = g est intgrable sur [a ,b [.

Thorme 1.15 (Ingalit de CAUCHY-SCHWARTZ pour les intgrales gnralises).

Soit (a ,b ) R R tel que a < b .
Soit f et g deux applications dfinies et continues sur [a ,b [ telles que f 2 et g 2 sont intgrables sur [a ,b [. Alors f g est absolument intgrable et :
Z

!2

f (x )g (x ) dx
a

!
2

f (x ) dx

!
2

g (x ) dx

De plus, le cas dgalit est atteint lorsque f et g sont colinaires :

!
!2
! Zb
Zb
Zb

g (x )2 dx (, ) R2 , f + g = 0
f (x )g (x ) dx
f (x )2 dx
=

f 2+g2
, donc daprs le thorme de majoration pour les fonctions va2
leurs relles positives, f g est absolument intgrable sur [a ,b [.
Soit X [a ,b [, alors on applique lingalit de CAUCHY-SCHWARTZ sur le segment [a , X ] :

Dmonstration. On a | f g |

!2

f (x )g (x ) dx
a

!
2

f (x ) dx
a

!
2

g (x ) dx
a

Comme f 2 , g 2 et f g sont intgrables sur [a ,b [, on peut passer la limite lorsque X tend vers b .

Romain Dujol

21

1.4

Mthodes de calcul dune intgrale gnralise

1.4.1

Intgration par parties

Proposition 1.9 (Intgration par parties). Soit (a ,b ) R R tel que a < b et u et v deux applications de classe C 1 sur [a ,b [.
Si deux conditions parmi les trois suivantes sont vrifies :
la fonction u v est intgrable sur [a ,b [ ;
la fonction u v est intgrable sur [a ,b [ ;
la fonction u v admet une limite finie en b ;
alors la troisime est galement vrifie et :
Z

u (x )v (x ) dx =


lim u (x )v (x ) u (a )v (a )

x b

u (x )v (x ) dx
a

Dmonstration. Soit X [a ,b [. On effectue une intgration par parties sur le segment [a , X ] :

Z

u (x )v (x ) dx

= [u (x )v (x )]Xa

u (x )v (x ) dx = [u (X )v (X ) u (a )v (a )]

u (x )v (x ) dx
a

Comme au moins deux termes sur trois admettent une limite finie, le troisime terme admet galement
une limite finie et on peut conclure en passant la limite lorsque X tend vers b .

ATTENTION. Selon le choix des termes de lintgration par parties, celle-ci peut mener deux
termes divergents, ce qui est incorrect.
Il est donc prfrable dcrire lintgration par parties sur le segment [a , X ] puis de passer
la limite lorsque X tend vers b .
Exemple. La fonction f : ]0, 1] R
est intgrable sur ]0, 1] daprs la rgle x f (x )
x
x
7 e ln x
p
en 0 : en effet lim x f (x ) = 0.
x 0+

Soit ]0, 1]. Alors

lim e
0+

R1

e x ln x dx = [e x ln x ]1

= 1 et lim ln = : donc x
0+

R 1 e x

x
7 e x ln x

dx = e ln

R 1 e x

dx . Or :
x
nadmet pas de limite finie en 0+ ;

1
1
: comme x 7
nest pas intgrable sur ]0, 1], il vient par thorme
x
x
e x
dquivalence que x 7
nest pas intgrable sur ]0, 1].
x

e x
on a
x

Romain Dujol

x 0+

22

1.4.2

Changement de variables

Thorme (Changement de variables). Soit : [, [ R une application injective et de classe

C 1 sur [, [ telle que admette une limite b R {+} en .
Soit f une application valeurs relles dfinie et continue sur ([, [).


Alors f est intgrable sur ([, [) si et seulement si t 7 f (t ) (t ) est intgrable sur [, [.
Auquel cas, on a la relation suivante :
Z
Zb


f (t ) (t ) dt
f (x ) dx =

()

1.5

Fonctions doublement intgrables

Dfinition 1.5 (Fonction intgrable sur un intervalle ouvert).

Soit (a ,b ) RR tel que a < b et f une application dfinie et continue sur lintervalle ]a ,b [.
On dit que f est intgrable sur ]a ,b [ si et seulement si il existe un rel c ]a ,b [ tel que f soit
intgrable sur ]a , c ] et sur [c ,b [.
Zb
Auquel cas, on dfinit lintgrale de f sur [a ,b [, note

f (x ) dx par
a

f (x ) dx

f (x ) dx +

f (x ) dx =
a

Remarque.
Une telle intgrale est appele une intgrale doublement gnralise.
Si f nest pas intgrable sur lun des deux intervalles ]a , c ] ou [c ,b [, alors elle nest pas
intgrable sur ]a ,b [.
Proposition 1.10. Soit (a ,b ) R R tel que a < b et f une application dfinie et continue sur
lintervalle ]a ,b [.
Alors f est intgrable sur ]a ,b [ si et seulement si lapplication F : ]a ,b [2 R
Zv
(u , v )

admet une limite finie en (a ,b ).

ZX
ATTENTION. Bien que
X

x dx = 0 pour tout rel X , x 7 x nest pas intgrable sur R : en effet

x 7 x nest pas intgrable sur [1, +[.

Romain Dujol

f (x ) dx
u

23

Intgrales gnralises : Exercices

Exercice 1.1. Pour les fonctions suivantes, tudier leur intgrabilit sur leur espace de dpart.
1.

f 1 : ]0, 1] R
p
1 + 1 x
x
7
x
f 2 : [0, +[ R
cos(x 2 )
x
7
x2 +1
f 3 : [1, +[ R
ln x
x
7
1+x2
f 4 : ]0, 1] R
2
x
7 e ln x

2.

3.

4.
5.

f 5 : ]0, 1] R
ln3 x
x
7 p
x
f 6 : [0, +[ R


p
x
7
x + x2 +1

6.

Exercice 1.2. Pour les fonctions suivantes, tudier leur intgrabilit sur leur domaine de dfinition :
1.

f 1 : ]0, 1[ R
1
x
7
ln x
f 2 : ]0, +[ R
x
7 e x ln x

2.
3.

f 3 : ]0, +[ R
ln x
x
7
x2 1
avec
f 4 : ]0, +[ R
1
x
7
x +x
f 5 : ]0, +[ R
p
x
7 x 1 e 1/ x

4.

5.
6.

f 6 : ], [ R
x


avec <

(x )( x )


x
.
Indication : On pourra utiliser le changement de variable t =
x

Romain Dujol

24

Exercice 1.3. Pour les fonctions suivantes, tudier leur intgrabilit sur leur domaine de dfinition et, le cas chant, calculer leur intgrale sur ce domaine
1.

f 1 : [0, +[ R
x
7 x 2 e x

2.

f 2 : ]0, +[ R
x


3.

1


1 2
1+ x
x

1
Indication : On pourra utiliser le changement de variable t = .
x

f 3 : ]0, 1[ R
x

1
p
3
x2 x3

Exercice 1.4.
sin x
sur ]0, +[.
x
2. laide de la question prcdente, tudier lintgrabilit sur ]0, +[ des fonctions x 7 sin(x 2 ),
x 7 cos(x 2 ) et x 7 sin(x ) o est un nombre rel quelconque.
1. Soit un nombre rel strictement positif. tudier lintgrabilit de x 7

Exercice 1.5.
1. Soit un nombre rel.
(a) Montrer que x 7 x 1 cos x est absolument intgrable sur [1, +[
(b) En dduire que x 7 x sin x est intgrable sur [1, +[

2. laide de la question prcdente, tudier lintgrabilit de x 7

p
x sin(x 2 ) sur [1, +[.

Exercice 1.6.
Z /2

Montrer que x
7 ln(sin x ) est intgrable sur 0,
ln(sin x ) dx .
. On note I =
2
0
Z /2

ln(cos x ) dx .
Montrer que x 7 ln(cos x ) est intgrable sur 0,
et que I =
2
0
Z /2 




sin 2x
sin 2x
1
est intgrable sur 0,
dx .
Montrer que x 7 ln
ln
et que I =
2
2
2 0
2
Z /2

Montrer que x 7 ln(sin 2x ) est intgrable sur 0,

ln(sin 2x ) dx .
et que I =
2
0

1.
2.
3.
4.

5. Dduire des questions prcdentes la valeur de I .

Romain Dujol

25

Exercice 1.7.
+

Z
1. On dfinit : x 7

t x 1 e t dt .
0

(a) Dterminer le domaine de dfinition D de .

(b) Pour tout x D , exprimer (x + 1) en fonction de (x ).

En dduire (n ) pour tout entier naturel non nul n .

2. On note g = ln .

(a) Montrer que pour x D , g (x + 1) = g (x ) + ln(x ).

(b) En dduire que pour tout n 2,

g (x + n ) g (x ) = g (n ) + ln(x ) +

k =1

[ln(x + k ) ln k ]

Z
3. (a) Pour tout x D , montrer que (x ) = 2

n1
X

u 2x 1 e u du
0

 
1

, calculer
dx =
e
(b) En admettant que
2
2
0


1
(c) En utilisant la question 2.b, calculer n +
pour tout entier naturel n .
2
x 2

Romain Dujol

26

Chapitre 2

Intgrales dpendant dun paramtre

2.1
2.1.1

Intgrales propres dpendant dun paramtre

Continuit

Thorme 2.1 (Thorme dinterversion intgrale-limite).

Soit I un intervalle de R et f une application de I [a ,b ] dans R.
Zb
Si f est continue, alors F : x 7

f (x , t ) dt est continue sur I .

a

Dmonstration. Soit x 0 I et h R tel que x 0 + h I . Alors

Zb
Zb
F (x 0 + h) F (x 0 ) =

Z
Donc |F (x 0 + h) F (x 0 )|

f (x 0 + h, t ) dt

f (x 0 , t ) dt =
a


a


f (x 0 + h, t ) f (x 0 , t ) dt



 f (x 0 + h, t ) f (x 0 , t ) dt .

Lapplication f est continue en (x 0 , t ), donc lim f (x 0 + h, t ) = f (x 0 , t ), cest--dire :

h0

> 0, > 0, h R, |h| < | f (x 0 + h, t ) f (x 0 , t )| <

b a

Soit un rel strictement positif. Alors il existe un rel tel que, pour tout rel h tel que |h| < , on ait :
Zb
Zb





dt =
f (x 0 + h, t ) f (x 0 , t ) dt <
|F (x 0 + h) F (x 0 )|
b

a
a
a
Finalement lim F (x 0 + h) = F (x 0 ) et F est continue en x 0 . Donc F est continue sur I .
h0

Romain Dujol

27

2.1.2

Drivabilit

Thorme 2.2 (Thorme dinterversion intgrale-drivation).

Soit I un intervalle ferm born de R et f une application de I [a ,b ] dans R. Si :
f est continue sur I [a ,b ] ;
f
f admet une drive partielle premire
continue sur I [a ,b ] ;
x
Zb
Zb
f
1

f (x , t ) dt est de classe C sur I et x I , F (x ) =

alors F : x 7
(x , t ) dt .
x
a
a

Dmonstration. Soit x 0 I . Il existe un voisinage ] , [ de 0 tel que f (x 0 + h, t ) soit dfini pour tout
h ] , [ et pour tout t [a ,b ].
.
f
(x 0 , t )
h
7 f (x 0 + h, t ) h
x
1
est de classe C sur ] , [ comme diffrence de fonctions de classe C 1 sur ] , [ et :

On dfinit x 0 ,t :
La fonction x 0 ,t

] , [

h ] , [, x 0 ,t (h) =
Comme
que

f
f
(x 0 + h, t )
(x 0 , t )
x
x

f
est continue sur I [a ,b ] qui est un compact de R2 , il vient daprs le thorme de HEINE
x

f
est uniformment continue sur I [a ,b ] :
x

f
(x 1 , t 1 )
(x 2 , t 2 ) <
> 0, > 0, (x 1 , x 2 ) I 2 , (t 1 , t 2 ) [a ,b ]2 , k(x 1 x 2 , t 1 t 2 )k < 
x
x
b a
En particulier, si x 1 = x 0 + h, x 2 = x 0 et t 1 = t 2 = t ;

> 0, > 0, x 0 I , h ] , [, t [a ,b ] ,

f


k(h, 0)k < 
(x 0 + h, t )
(x 0 , t ) <
x
x
b a

p
En utilisant la norme euclidienne sur R2 (par exemple), il vient que k(h, 0)k2 = h 2 = |h| et :



> 0, > 0, x 0 I , h ] , [, t [a ,b ]2 , |h| < x 0 ,t (h) <
b a
Quitte supposer que , on a :




> 0, > 0, x 0 I , h ] , [, t [a ,b ]2 , x 0 ,t (h) <
Donc > 0, > 0, x 0 I , t [a ,b ]2 ,

Romain Dujol





sup x 0 ,t  <

h ],[

b a

.
b a

28

Soit un rel strictement positif : daprs ce qui prcde, il existe un rel strictement positif tel que

-lipschitzienne. Donc h ] , [, |x 0 ,t (h) x 0 ,t (0)| h

avec :
est
b a
b a

x 0 ,t

x 0 ,t (h) x 0 ,t (0) = f (x 0 + h, t ) h

f
(x 0 , t ) f (x 0 , t )
x

On en dduit que pour tout h ] , [ :


 Z

Zb
Zb
Zb

  b

f
f

 

(x 0 , t ) dt  = 
(x 0 , t ) dt 
f (x 0 + h, t ) dt
f (x 0 , t ) dt h
F (x 0 + h) F (x 0 ) h





x
a
a
a
a

Z 
 
 b
f


(x 0 , t ) dt 
=
f (x 0 + h, t ) f (x 0 , t ) h

 a
x

Z

 b

 

x 0 ,t (h) x 0 ,t (0) dt 
=

 a
Zb
Zb



x ,t (h) x ,t (0) dt

h
dt = h
0
0
b

a
a
a


Zb
Zb


F (x 0 + h) F (x 0 )
f
f

 F (x 0 + h) F (x 0 )

(x 0 , t ) dt  < : donc lim

=
(x 0 , t ) dt .
Finalement > 0, > 0, 
h0


h

x
h
x
a
a
Zb
f

F est drivable en tout point x 0 de I et F (x 0 ) =

(x 0 , t ) dt .
x
a
f
est continue sur I [a ,b ], il vient daprs le thorme dinterversion intgrale-limite que
Comme
x
F est continue : donc F est de classe C 1 sur I .

2.1.3

Intgrabilit

Thorme 2.3 (Thorme dinterversion intgrale-intgrale).

Soit [c , d ] un intervalle ferm born de R et f une application de I [a ,b ] dans R.
Zb
Si f est continue, alors F : x 7
d

Z
F (x ) dx =

Romain Dujol

f (x , t ) dt est continue sur I et

a
b

f (x , t ) dt dx =

f (x , t ) dx dt

29

Dmonstration. Soit :

[c , d ]

X
On dfinit galement 1 :

et :

R
Zb Z

f (x , t ) dx dt

[c , d ] [a ,b ]

(X , t )

X
et 1 :

R
ZX

Z
1 (X , t ) dt et (X ) =

[c , d ]

f (x , t ) dx
c

Z
Alors X [c , d ], t [a ,b ], (X ) =

[c , d ]

R
ZX Z

.
b

f (x , t ) dt dx

R
Zb
f (x , t ) dt
a

1 (x ) dx .
c

Comme f est continue, il vient que 1 est continue daprs le thorme dinterversion intgrale 1
: (X , t ) 7 f (X , t ) qui est continue.
limite. De plus 1 admet une drive partielle premire
X
Daprs le thorme dinterversion intgrale-drivation, il vient que est de classe C 1 et :
Zb
X [c , d ], (X ) =

f (X , t ) dt = 1 (X )
a

Comme f est continue, il vient que 1 est continue daprs le thorme dinterversion intgralelimite. Alors est de classe C 1 et = 1 .
On en dduit donc que = 1 = . De plus :

Z b Z c

Zb
Z c Z b
f (x , t ) dx dt =

(c ) =
a

0 dt = 0

et

(c ) =

Donc pour tout X [c , d ], (X ) =

RX
c

(x ) dx =

RX
c

f (x , t ) dt dx = 0

(x ) dx = (X ), notamment en X = d .

Proposition 2.1 (Fonction variables spares). Sous les hypothses du thorme dinterversion
intgrale-limite, si il existe deux fonctions g et h respectivement dfinies sur [c , d ] et [a ,b ] telles
que
(x , t ) [c , d ] [a ,b ], f (x , t ) = g (x )h(t )
alors

Z
F (x ) dt =

! Z

g (x ) dx
c

!
h(t ) dt

Intgrales dont les bornes dpendent dun paramtre

Proposition 2.2. Soit I un intervalle de R et f une application valeurs relles continue sur I .
Soit I 1 un intervalle de R et u et v deux applications de classe C 1 sur I 1 telles que u (I 1 ) I et
est de classe C 1 sur I et
v (I 1 ) I . Alors : I 1 R
Z v (x )
x

f (t ) dt
u (x )

x I 1 , (x ) = f (v (x )) v (x ) f (u (x )) u (x )
Dmonstration. Soit F une primitive de f . Alors pour tout x I 1 , (x ) = F (v (x )) F (u (x )). Comme
F = f , on en dduit lexpression annonce.

Romain Dujol

30

2.2

Intgrales gnralises dpendant dun paramtre

Dfinition 2.1 (Convergence normale).

Soit I est un intervalle de R, ]a ,b [ un intervalle ouvert de R et f une application de I ]a ,b [
dans R.
Z
b

f (x , t ) dt converge normalement sur I ]a ,b [ si il

On dit que lintgrale gnralise

a

existe une fonction g intgrable sur ]a ,b [ telle que x I , t ]a ,b [, | f (x , t )| g (t ).

2.2.1

Continuit

Thorme 2.4 (Interversion intgrale-limite pour les intgrales gnralises).

Soit I est un intervalle de R, ]a ,b [ un intervalle ouvert de R et f une application valeurs
relles continue sur I ]a ,b [.
Zb
f (x , t ) dt converge normalement sur

Si pour tout segment [, ] inclus dans I ,

[, ]]a ,b [, alors F :

2.2.2

R
Zb

est continue sur I .

f (x , t ) dt

Drivabilit

Thorme 2.5 (Interversion intgrale-drivation pour les intgrales gnralises).

Soit I est un intervalle de R, ]a ,b [ un intervalle ouvert de R et f une application valeurs
relles continue sur I ]a ,b [. Si :
lapplication t 7 f (x , t ) est intgrable sur ]a ,b [ pour tout x I ;
f
f admet une drive partielle premire
dfinie et continue sur I ]a ,b [ ;
x
Zb
f
pour tout segment [, ] inclus dans I , lintgrale gnralise
(x , t ) dt converge
x
a
normalement sur [, ]]a ,b [ ;
Zb
f
1
(x , t ) dt pour tout x I .
est C sur I et F (x ) =
alors F : I R
Zb
x
a
x

Romain Dujol

f (x , t ) dt
a

31

Intgrales dpendant dun paramtre : Exercices

Exercice 2.1.
1

Z1
x
x
1. A-t-on lim
dt =
dt ? Sinon, expliquer pourquoi.
lim
2
x 0
x 0 (x + t )2
(x + t )
0
0
Z1
Z1
x
x
lim
dt =
dt ? Sinon, expliquer pourquoi.
2. A-t-on lim
x
0
x 0
x +t
x +t
0
0
Z

Exercice 2.2. Calculez (lorsque cest possible) la fonction drive des fonctions suivantes :
Zx
dt
1. F1 : x 7
2
x +t +1
x
Z x 2

sin(x t )
2. F2 : x 7 ln
dt
t
0

Exercice 2.3. Calculez (lorsque cest possible) les fonctions drives partielles des fonctions suivantes :
Zx
p
1. F1 : (x , y ) 7
1 + t 3 y 2 dt
0

Z
2. F2 : (x , y ) 7

x 2 y 2

(t 2 + y 2 ) dt

x 2 +y 2

Exercice 2.4.
+

Z
1. Montrer que t

2
7 e t

e t dt .

est intgrable sur [0, +[. On note I =

2. Soit lapplication G : [0, +[ R

Z1

.
2

e (t +1)x
dt
x
7
t2 +1
0
Calculer G et montrer que G est solution dune quation diffrentielle que lon explicitera.

3. En dduire la valeur de I .

Romain Dujol

32

Exercice 2.5.
1. Montrer que pour tout x [1, +[, lapplication t 7 e t x
2. (a) Montrer que G : [1, +[ R
Z +
x

sin t
dt
t

Z
(b) Pour x [1, +[, calculer

e t x

sin t
est intgrable sur [0, +[.
t
est drivable sur [1, +[.

e t x sin t dt .
0

[ Indication : On pourra effectuer deux intgrations par parties successives.]

(c) En dduire quil existe un rel C tel que G : x 7 C arctan x .
Dterminer la valeur de C en tudiant la limite de G en +.

Romain Dujol

33

Chapitre 3

Intgrales multiples
3.1
3.1.1

Intgrales doubles
Intgrales doubles sur un compact lmentaire

Dfinition 3.1 (Compact lmentaire de R2 ). Une partie K de R2 est dit compact lmentaire
du premier type si et seulement si il existe deux rels a et b tels que a b et deux fonctions
continues y 1 et y 2 de classe C 1 par morceaux sur [a ,b ] tels que
K = {(x , y ) R2 , a x b et y 1 (x ) y y 2 (x )}

Une partie K de R2 est dit compact lmentaire du deuxime type si et seulement si il existe
deux rels c et d tels que c d et deux fonctions continues x 1 et x 2 de classe C 1 par morceaux
sur [c , d ] tels que
K = {(x , y ) R2 , x 1 (y ) x x 2 (y ) et c y d }
Proposition 3.1. Tout compact lmentaire est une partie compacte de R2 .
Dfinition 3.2 (Intgrale double sur un compact lmentaire).
Soit K 1 = {(x , y ) R2 , a x b et y 1 (x ) y y 2 (x )} un compact lmentaire du premier type.
Si f est une application dfinie et continue sur K 1 , on dfinit :

ZZ
Z b Z y (x )
2

f (x , y ) dx dy =
K

f (x , y ) dy dx

y 1 (x )

Soit K 2 = {(x , y ) R2 , x 1 (y ) x x 2 (y ) et c y d } un compact lmentaire du deuxime

type. Si f est une application dfinie et continue sur K 2 , on dfinit :

ZZ
Z d Z x 2 (y )

f (x , y ) dx dy =
f (x , y ) dx dy
K

Romain Dujol

x 1 (y )

34

Exemple. Calculer les intgrales doubles suivantes :

ZZ
1.
D1

x y dx dy avec D 1 = {(x , y ) R2 , 0 x 2 et 0 2y x } ;

ZZ
2.
D2

x y dx dy avec D 2 = {(x , y ) R2 , x 0, y 0 et x + y 1}.

Proposition 3.2 (Intgration par morceaux). Soit D 1 et D 2 deux compacts lmentaires de R2

1 D
2 = et f une application continue sur D 1 D 2 . Alors
tels que D
ZZ
ZZ
ZZ
f (x , y ) dx dy =

f (x , y ) dx dy +

D 1 D 2

3.1.2

f (x , y ) dx dy

D1

D2

Intgrale double sur un pav

Dfinition 3.3 (Pav de R2 ). Une partie P de R2 est un pav si et seulement si il existe quatre
rels a , b , c et d tels que a b et c d et tels que P = [a ,b ] [c , d ].

Thorme 3.1 (Thorme de FUBINI sur un pav de R2 ). Soit f une application continue
sur un pav P = [a ,b ] [c , d ]. Alors
ZZ

f (x , y ) dx dy =
P

f (x , y ) dy dx =

f (x , y ) dx dy

Proposition 3.3 (Fonction variables spares). Soit f une application continue sur un pav
P = [a ,b ] [c , d ] telle quil existe deux fonctions g et h respectivement dfinies sur [a ,b ] et [c , d ]
telles que
(x , y ) [a ,b ] [c , d ], f (x , y ) = g (x )h(y )
alors
ZZ

f (x , y ) dx dy =
P

Romain Dujol

! Z
g (x ) dx

!
h(y ) dy

35

3.1.3

Changement de variables

Thorme 3.2 (Changement de variables). Soit K et K deux compacts lmentaires de R2

et un C 1 -diffomorphisme de K dans K . Alors :
ZZ
ZZ
f (x , y ) dx dy =
K

( f )(u , v ) | det J (u , v )| du dv

ZZ
Exemple. Calculer
D

3.2

dx dy avec D = {(x , y ) R R+ , x 2 + y 2 R 2 }.

Intgrales triples

Dfinition 3.4 (Compact lmentaire de R3 ). Une partie K de R3 est dit compact lmentaire
si et seulement si il existe une partie compacte D de R2 et deux fonctions continues z 1 et z 2 de
classe C 1 par morceaux sur D telles que
K = {(x , y , z ) R3 , (x , y ) D et z 1 (x , y ) z z 2 (x , y )}

Dfinition 3.5 (Intgrale triple sur un compact lmentaire).

Soit K = {(x , y , z ) R3 , (x , y ) D et z 1 (x , y ) z z 2 (x , y )} un compact lmentaire de R3 . Alors
on dfinit

ZZZ
Z Z Z z 2 (x ,y )

f (x , y , z ) dz dx dy
f (x , y , z ) dx dy dz =
D

z 1 (x ,y )

Remarque. Si K = {(x , y , z ) R3 , a z b et (x , y ) D(z )} o D(z ) est une partie compacte de

R2 pour tout z [a ,b ], alors

ZZZ
Z b Z Z
f (x , y , z ) dx dy dz =
K

f (x , y ) dx dy dz

D(z )

ZZZ
Exemple. Calculer
K

Romain Dujol

z dx dy dz avec K = {(x , y , z ) R3+ , z 1 y 2 et x + y 1}.

36

Dfinition 3.6 (Pav de R3 ). Une partie P de R3 est un pav si et seulement si il existe six rels
a , b , c , d , e et f tels que a b , c d , e f et tels que P = [a ,b ] [c , d ] [e , f ].

Thorme 3.3 (Thorme de FUBINI sur un pav de R3 ). Soit f une application continue
sur un pav P = [a ,b ] [c , d ] [e , f ].
ZZZ
Alors lordre dintgration ninflue pas sur le calcul de

f (x , y , z ) dx dy dz .
P

Proposition 3.4 (Fonction variables spares). Soit f une application continue sur un pav
P = [a ,b ][c , d ][e , f ] telle quil existe trois fonctions g , h et i respectivement dfinies sur [a ,b ],
[c , d ] et [e , f ] telles que
(x , y , z ) [a ,b ] [c , d ] [e , f ], f (x , y , z ) = g (x )h(y )i (z )
alors
ZZZ

b
a

! Z

!
i (z ) dz

h(y ) dy

g (x ) dx

f (x , y , z ) dx dy dz =
P

! Z

Thorme 3.4 (Changement de variables). Soit K et K deux compacts lmentaires de R3

et un C 1 -diffomorphisme de K dans K . Alors :
ZZZ
ZZZ
f (x , y , z ) dx dy dz =
K

( f )(u , v, w ) | det J (u , v, w )| du dv dw

ZZZ
Exemple. Calculer
D

Romain Dujol

dx dy dz avec D = {(x , y , z ) (R+ )3 , x 2 + y 2 + z 2 R 2 }.

37

Intgrales multiples : Exercices

Exercice 3.1. Soit a un rel strictement positif et K le compact limit par les cts du triangle
dont les sommets
Z Z sont les points (0, 0), (2a , a ) et (3a , 3a ).
Calculer

x y dx dy .
K

Exercice 3.2. Soit a et b deux rels strictement positifs tels que a < b et


1 y
2
K = (x , y ) R , a x + y b et 3
3 x
ZZ



e (x +y )
y
Calculer
.
dx
dy
.
On
pourra
utiliser
le
changement
de
variables
(u
,
v
)
=
x
+
y
,
p
xy
x +y
K
Exercice 3.3. Soit D le domaine dlimit par les deux courbes dquations y 2 = 4x + 4 et y 2 =
4x + 4.
1. Reprsenter graphiquement D.
2. Calculer laire du domaine D.
Exercice 3.4.
x2 y 2
+
= 1.
a2 b2
x2 y 2 z2
2. Calculer le volume de la surface limite par lellipsode dquation 2 + 2 + 2 = 1.
a
b
c

1. Calculer laire de la surface limite par lellipse dquation

ZZ
Exercice 3.5. Calculer

f (x , y ) dx dy dans les cas suivants.

D

1. f : (x , y ) 7 x y 2 et D est le disque dlimit par le cercle dquation x 2 + y 2 2Rx = 0 (R > 0) ;



x2 y 2
2
2
2
2. f : (x , y ) 7 x + y et D = (x , y ) R , 2 + 2 1 (a > 0, b > 0) ;
a
b
3. f : (x , y ) 7

x2 +y 2
et D = {(x , y ) R2 , x 2 + y 2 1}.
x2 +y 2 +1

4. f : (x , y ) 7 x y et D est le domaine limit par les deux courbes dquation y = x 2 et x = y 2 .

ZZZ
Exercice 3.6. Soit = {(x , y , z ) (R+

Romain Dujol

)3 ,

x + y + z 1}. Calculer

dx dy dz
.
(1 + x + y + z )3

38

Chapitre 4

Intgrales curvilignes
4.0
4.0.1

Formes diffrentielles
Dfinition

Dfinition 4.1 (Forme diffrentielle sur un ouvert).

Soit n un entier naturel non nul et U un ouvert de Rn .
Une forme diffrentielle sur U est une application de U dans L (Rn , R) et de classe C 1 sur U .
Proposition 4.1. Soit n un entier naturel non nul et U un ouvert de Rn .
Soit une forme diffrentielle sur U . Alors il existe un unique n -uplet (A i )1i n de fonctions
de U dans R de classe C 1 sur U telle que
n
X
(x , y ) U , (x , y ) =
A i (x , y ) dx i
i =1

Remarque.
Si n = 2, : (x , y ) 7 P(x , y ) dx +Q(x , y ) dy
Si n = 3, : (x , y ) 7 P(x , y , z ) dx +Q(x , y , z ) dy + R(x , y , z ) dz

4.0.2

Forme diffrentielle exacte. Forme diffrentielle ferme

Dfinition 4.2 (Forme diffrentielle exacte).

Soit n un entier naturel non nul et U un ouvert de Rn .
Une forme diffrentielle sur U est dite exacte sur U si et seulement si il existe une applin
X
F
cation F de U dans R de classe C 1 sur U telle que = dF =
dx i .
xi
i =1
Auquel cas, F est une primitive de .

Romain Dujol

39

Dfinition 4.3 (Forme diffrentielle ferme).

Soit n un entier naturel non nul et U un ouvert de Rn .
n
X
Une forme diffrentielle =
A i dx i sur U est dite ferme sur U si et seulement si
i =1

(i , j ) J1, n K ,

Aj
Ai
=
xj
xi

Remarque.

P Q
=
y
x
Si n = 3, = P dx +Q dy + R dz est ferme si et seulement si

Si n = 2, = P dx +Q dy est ferme si et seulement si

P Q
=
y
x

Q R
=
z
y

et

R P
=
x
z

Proposition 4.2.
Soit n un entier naturel non nul et U un ouvert de Rn .
Toute forme diffrentielle exacte sur U est ferme sur U .
Dmonstration. Soit une forme diffrentielle exacte sur U et F lapplication de classe C 1 telle que
F
= dF . Alors pour tout entier i entre 1 et n, A i =
.
xi
Donc toutes les fonctions drives partielles de F sont de classe C 1 sur U : on en dduit que F est
donc de classe C 2 sur U et daprs le thorme de SCHWARTZ :



Aj
F
F

2F

2F
Ai
=
=
=
=
=
xj
x j xi
x j xi
xi x j
xi x j
xi
On conclut donc que est ferme sur U .

4.0.3

Thorme de POINCAR

Dfinition 4.4 (Partie convexe. Partie toile).

Soit x et y deux points de Rn . On note [x , y ] = {(1 )x + y , [0, 1]}.
Une partie C de Rn est dite convexe si et seulement si :
(x , y ) C , [x , y ] C
Une partie C de Rn est dite toile par rapport a C si et seulement si :
x C , [a , x ] C
Une partie C de Rn est dite toile si et seulement si il existe a C telle que C soit toile par
rapport a .
Proposition 4.3. Toute partie convexe de Rn est toile (par rapport chacun de ses points).

Romain Dujol

40

Thorme 4.1 (Thorme de POINCAR).

Soit n un entier naturel non nul et U un ouvert toil de Rn .
Alors toute forme diffrentielle ferme sur U est exacte sur U .

Dfinition 4.5 (Champ de vecteurs. Forme diffrentielle associe).

Un champ de vecteurs sur Rn est une application dune dun ouvert U de Rn dans Rn .
On dfinit la forme diffrentielle associ un champ de vecteurs V comme la forme diffn
X
rentielle =
Vi dx i o les applications Vi sont les applications composantes de V .
i =1

4.0.4

Exemples dtude

Plan gnral dtude dune forme diffrentielle dfinie sur un ouvert U

tape no 1 Si est ferme, on passe ltape suivante.
Si nest pas ferme, alors elle nest pas exacte :
si lnonc le demande, on cherche un facteur intgrant de la forme indique et
on passe ltape suivante ;
sinon, ltude est termine.
tape no 2 Si U est toil, alors est exacte (thorme de POINCAR)
calcul des primitives de
Si U nest pas toil, alors il est possible que soit exacte
tentative de calcul des primitives de (il y a russite ssi est exacte)

Romain Dujol

41

4.0.4.1

tude de : (x , y ) 7 2y 2 (x + y ) dx + 2x y (x + 3y ) dy

tape no 1 On note P : (x , y ) 7 2y 2 (x +y ) etQ : (x , y ) 7 2x y (x +3y ) de sorte que = Pdx +Qdy .

P et Q sont des fonctions polynmiales sur R2 donc elles sont de classe C 1 et :
(x , y ) R2 ,

P
(x , y ) = 4y (x + y ) + 2y 2 1 = 4x y + 6y 2
y
Q
(x , y ) = 2y (x + 3y ) + 2x y 1 = 4x y + 6y 2
x

Donc est ferme sur R2 .

tape no 2 R2 est une partie convexe donc toile. Daprs le thorme de POINCAR, est
F
dx +
exacte et il existe une fonction F de classe C 1 sur R2 telle que = Pdx +Qdy = dF =
x
F
dy et par identification, on a :
y
(x , y ) R2 ,

F
= P(x , y ) = 2y 2 (x + y ) = 2x y 2 + 2y 3
x

Donc il existe une application g de classe C 1 sur R telle que F : (x , y ) 7 x 2 y 2 + 2y 3 x + g (y ).

Alors
(x , y ) R2 , 2x 2 y + 6x y 2 = 2x y (x + 3y ) = Q(x , y ) =

F
(x , y ) = 2x 2 y + 6x y 2 + g (y )
y

On en dduit donc que g est nulle, puis que g est constante.

Finalement, toute primitive de est F : (x , y ) 7 x 2 y 2 + 2y 3 x + C , C R.

4.0.4.2

tude de : (x , y , z ) 7 2x z dx 2y z dy (x 2 y 2 ) dz

tape no 1 On note P : (x , y , z ) 7 2x z , Q : (x , y , z ) 7 2y z et R : (x , y , z ) 7 (x 2 y 2 ) de sorte

que = Pdx +Qdy + Rdz . P, Q et R sont des fonctions polynmiales sur R2 donc elles sont de
classe C 1 et :
(x , y , z ) R3 ,
Donc

P
(x , y , z ) = 2x
z

et

R
(x , y , z ) = 2x
x

P
R
(1, 0, 0) = 2 6= 2 =
(1, 0, 0) et nest pas ferme.
z
x

Romain Dujol

42

On cherche alors un facteur intgrant de la forme (x , y , z ) 7 f (z ). Donc on considre la

forme diffrentielle 1 : (x , y , z ) 7 f (z )(x , y , z ) = 2x z f (z ) dx 2y z f (z ) dy (x 2 y 2 ) f (z ) dz =
P1 dx +Q 1 dy + R 1 dz . Sous rserve que le facteur intgrant soit de classe C 1 , il vient que P1 , Q 1
et R 1 sont de classe C 1 et :
P1
Q 1
(x , y , z ) = 0
(x , y , z ) = 0
y
x
Q 1
R1
(x , y , z ) = 2y [ f (z ) + z f (z )]
(x , y , z ) = 2y f (z )
z
y
R1
P1
(x , y , z ) = 2x f (z )
(x , y , z ) = 2x [ f (z ) + z f (z )]
x
z
Donc 1 est ferme si et seulement si

0=0

(x , y , z ), 2y [ f (z ) + z f (z )] = 2y f (z ) (x , y , z ), z f (z ) + 2 f (z ) = 0

2x [ f (z ) + z f (z )] = 2x f (z )

Toute solution de lquation z f (z ) + 2 f (z ) = 0 scrit z

7 e G (z ) o G est une primitive de


2
g : z 7 . On en dduit quil existe c R tel que G : z
7 2 ln |z | + c = ln z 2 + c , puis
z
K
2
on conclut quil existe K R tel que f : z 7 K e ln(z ) = 2 .
z
tape no 2

Le domaine de dfinition de 1 est U = R R R . U nest pas toil ; en effet :

a = (a 1 , a 2 , a 3 ) U , x = (a 1 , a 2 , a 3 ) U , (a 1 , a 2 , 0) [a , x ] et (a 1 , a 2 , 0)
/U
Supposons que 1 soit exacte sur U : alors il existe F1 tel que 1 = dF1 et :
(x , y , z ) U ,

2x
F1
(x , y , z ) = 2x z f (z ) =
x
z

Donc il existe une application g de classe C 1 sur R R telle que F1 : (x , y , z ) 7

puis :

(x , y , z ) U ,

x2
+ h(y , z ),
z

2y
F1
g
= 2y z f (z ) = Q 1 (x , y , z ) =
(x , y , z ) =
(y , z )
z
y
y

Donc il existe une application g 1 de classe C 1 sur R telle que g : (y , z ) 7

y2
+ g 1 (z ). Il vient
z

x2 y 2
+ g 1 (z ) et
z
F1
x2 y 2
x2 y 2
2
2
=
(x

y
)
f
(z
)
=
R
(x
,
y
,
z
)
=
(x
,
y
,
z
)
=

+ g 1 (z )
(x , y , z ) U ,
1
z2
z
z2
On en dduit donc que g 1 est nulle, puis que g 1 est constante.
x2 y 2
Finalement, toute primitive de 1 est F1 : (x , y , z ) 7
+ C , C R.
z
alors que F1 : (x , y , z ) 7

Romain Dujol

43

4.1
4.1.1

Intgrale curviligne
Cas gnral

Dfinition 4.6 (Courbe de R2 ).

Une courbe de R2 est une partie de R2 telle quil existe un segment [a ,b ] de R et une
application de classe C 1 de [a ,b ] dans R2 tels que = ([a ,b ]).
Une telle application est un paramtrage de .

Dfinition 4.7 (Intgrale curviligne. Circulation dun champ de vecteurs).

Soit une courbe de R2 et un paramtrage de dfini sur le segment [a ,b ]. On note x et y
2
les applications composantes de . Soit = Pdx +Qdy
R une forme diffrentielle sur R .
On dfinit lintgrale curviligne de sur , not , par
Z


P x (t ), y (t ) x (t ) +Q x (t ), y (t ) y (t ) dt

Si V le champ de vecteurs dont est la forme diffrentielle associe, alors

R
not V (M ) dM et appel circulation de V le long de .

est galement

Z
Thorme. Lintgrale curviligne
lorientation.

ne dpend pas du paramtrage utilis, mais dpend de

Exemple.
Z
1. Soit

= {(x , y ) R2 ,

0 x 1 et y

= 2x 2 }.

Calculer

x 2 y dx + (x 2 y 2 )dy .

2. Soit C le cercle de centre (0, 0) et de rayon un et le champ de vecteurs

V : R2 \{(0, 0)} 
R2

y
x
,
(x , y )
7
x2 +y 2 x2 +y 2
Calculer la circulation de V le long de = C (R R+ ).

Romain Dujol

44

Thorme 4.2 (Cas dune diffrentielle exacte). Soit une courbe de R2 et un paramtrage de dfini sur [a ,b ].
Z




Si est exacte et telle que = d f , alors = f (b ) f (a ) .

4.1.2

Cas dune courbe ferme

Dfinition 4.8 (Courbe ferme). Une courbe est dite ferme si et seulement si pour un paramtrage dfini sur [a ,b ], on a (a ) = (b ).

Corollaire. Soit une courbe ferme de R2 Z

et un paramtrage de dfini sur [a ,b ].
Si est exacte et telle que = d f , alors

= 0.

Dfinition 4.9 (Point double). Soit une courbe de R2 . On dit que X R2 est un point double
de si et seulement si il existe un paramtrage dfini sur [a ,b ] et deux rels distincts t et t de
[a ,b ] tels que X = (t ) = (t ).

Dfinition 4.10 (Sens direct). Soit une courbe ferme de R2 sans point double. Alors le sens
direct de le sens pour lequel laire intrieure est laisse la gauche de la courbe. Dans le
cas contraire, il sagit
Z
Z du sens indirect de .
Auquel on note

lintgrale curviligne de selon dans le sens direct et

dans le sens indirect.

Z
Proposition 4.4.

Romain Dujol

45

lintgrale

Exemple. Soit le cercle de centre (0, 0) et de rayon un et le champ de vecteurs

V : R2 \{(0, 0)} 
R2

x
y
,
(x , y )
7
x2 +y 2 x2 +y 2
Calculer la circulation de V le long de dans le sens direct.

Thorme 4.3 (Thorme de GREEN-RIEMANN). Soit une courbe ferme de R2 et D le domaine de R2 dlimit par .
Soit P et Q deux fonctions de classe C 1 sur D. Alors
ZZ 
Z

Q
P
[P(x , y ) dx +Q(x , y ) dy ] =
(x , y )
(x , y ) dx dy

x
y

Corollaire (Aire dun domaine). Soit une courbe ferme de R2 et D le domaine de R2 dlimit
par . Alors laire du domaine AD vrifie :
Z
Z
Z
1
y dx =
x dy =
x dy y dx
AD =

Dmonstration. On applique le thorme de GREEN-RIEMANN avec :

1. P : (x , y ) 7 0 et Q : (x , y ) 7 x

2. P : (x , y ) 7 y et Q : (x , y ) 7 0

3. P : (x , y ) 7 y et Q : (x , y ) 7 x

Romain Dujol

46

Intgrales curvilignes : Exercices

Formes diffrentielles
Exercice 4.1. tudier les formes diffrentielles suivantes.
1. 1 : (x , y ) 7 x dy y dx

2. 2 : (x , y ) 7 (x 2 + 3y ) dx y 3 dy
x dx + y dy
3. 3 : (x , y ) 7
x2 +y 2
4. 4 : (x , y , z ) 7 x 2 dx + x y dy + z 2 dz

5. 5 : (x , y , z ) 7 x 3 dx + y 3 dy + z 3 dz

6. 6 : (x , y ) 7 e x (x + y ) dx + (e x + 3e y ) dy

7. 7 : (x , y ) 7 x (y 1) dx y (x + 1) dy
y dx x dy
(on restreindra ltude x > 0)
8. 8 : (x , y ) 7
x2 +y 2

9. 9 : (x , y ) 7

(1 x 2 + y 2 )y
(1 + x 2 y 2 )x
dx
dy
(1 + x 2 + y 2 )2
(1 + x 2 + y 2 )2

Intgrales curvilignes
Z
Exercice 4.2. Calculer

y 2 dx + x 2 dy lorsque :

1. = {(x , y ) R2 , x 2 + y 2 a y = 0}


x2 y 2
2. = (x , y ) R2 , 2 + 2 1 = 0
a
b


2
x
y 2 2x 2y
2
3. = (x , y ) R , 2 + 2

=0
a
b
a
b
a et b tant deux rels strictement positifs.

Exercice 4.3. Soit la boucle ferme constitue par les deux arcs de parabole y = x 2 et x = y 2 .
Z

(2x y x 2 ) dx + (x + y 2 ) dy .
1. Calculer

2. Vrifier le rsultat prcdent en utilisant le thorme de GREEN-RIEMANN.

Romain Dujol

47



x2 y 2
Exercice 4.4. Soit D = (x , y ) (R+ )2 , 2 + 2 1 0 .
b
ZaZ
Calculer de deux manires diffrentes
D

(2x 3 y ) dx dy .

Exercice 4.5.
Z
1. Soit = [A B ] [BC ] o A = (1, 1), B = (2, 1) et C = (2, 2). Calculer

(x y 2 + y ) dx + x 2 dy .

ZZ
2. Soit R > 0 et D = {(x , y ) (R+ )2 , x 2 + y 2 R 2 }. Calculer
Z
3. Soit =

x , (x 1) ln(x + 1) , x [0, 1] . Calculer

Exercice 4.6. Soit D = {(x , y ) [0, 1]2 , x 2 + y 2 1}. Z Z

En utilisant le thorme de GREEN-RIEMANN, calculer
D

Romain Dujol

(x 2 y 2 ) dx dy .

p
x dy x ln(x + 1) dx .

xy
dx dy .
(1 + x 2 + y 2 )2

48