03 - Integration Cours Complet

Chapitre 03 : Intgration - Cours complet.
- 1 -
Intgration. Chap. 03 : cours complet.

1. Intgrale sur un segment dune fonction relle de variable relle, en escaliers (Sup).
Thorme 1.1 : rsultat prparatoire pour lintgrale sur un segment dune fonction en escaliers
Dfinition 1.1 : intgrale sur un segment dune fonction en escaliers valeurs relles
Thorme 1.2 : espace vectoriel des fonctions en escaliers sur un segment
Thorme 1.3 : positivit et croissance de lintgrale sur un segment pour les fonctions en escaliers
Thorme 1.4 : relation de Chasles dans le cas des fonctions en escaliers sur [a,b]

2. Intgrale sur un segment dune fonction relle de variable relle, continue par morceaux (Sup).
Thorme 2.1 : approximation sur un segment dune fonction continue par morceaux par des fonctions
en escaliers
Thorme 2.2 et dfinition 2.1 : intgrale dune fonction continue par morceaux sur un segment
Thorme 2.3 : linarit de lintgrale sur un segment
Thorme 2.4 : positivit et croissance de lintgrale sur un segment
Dfinition 2.2 : valeur moyenne dune fonction continue par morceaux sur un segment
Thorme 2.5 : cas de nullit de lintgrale dune fonction continue et positive
Dfinition 2.3 : intgrale dont les bornes sont gales ou inverses
Thorme 2.6 : relation de Chasles
Dfinition 2.4 : somme de Riemann associe une fonction continue sur un segment
Thorme 2.7 : approximation de lintgrale dune fonction continue sur un segment laide de sommes
de Riemann
Dfinition 2.5 et thorme 2.8 : approximation par des rectangles ou des trapzes de lintgrale sur un
segment dune fonction continue

3. Primitives dune fonction relle ou vectorielle de variable relle (Sup).
Dfinition 3.1 : primitive sur un intervalle dune fonction relle de variable relle
Thorme 3.1 : liens entre les diffrentes primitives dune fonction continue ou continue par morceaux
sur un intervalle
Thorme 3.2 : unique primitive sannulant en un point
Thorme 3.3 : lien primitive-drive
Thorme 3.4 : intgrale dont les bornes dpendent dun paramtre
Thorme 3.5 : intgration par parties
Thorme 3.6 : changement de variable
Thorme 3.7 : formule de Taylor avec reste intgral

4. Intgrale impropre convergente dune fonction valeurs relles ou complexes sur un intervalle.
Dfinition 4.1 : intgrale impropre convergente, reste, intgrale divergente (borne suprieure de
lintervalle)
Thorme 4.1 : indpendance de convergence par rapport la borne infrieure de lintgrale
Dfinition 4.2 : intgrale impropre convergente, divergente (borne infrieure de lintervalle)
Thorme 4.2 : indpendance de convergence par rapport la borne suprieure de lintgrale
Dfinition 4.3 : intgrale deux fois impropre convergente, divergente
Thorme 4.3 : indpendance de convergence par rapport la valeur intermdiaire
Thorme 4.4 : cas dune fonction prolongeable par continuit en une borne relle de lintervalle
Thorme 4.5 : exemples classiques dont les intgrales de Riemann
Thorme 4.6 : linarit

5. Cas des fonctions valeurs relles positives.
Thorme 5.1 : utilisation de majoration et de minoration dune primitive
Thorme 5.2 : utilisation dune fonction majorante
Thorme 5.3 : utilisation dun quivalent

6. Intgrale absolument convergente, semi-convergente, fonction intgrable sur un intervalle.
Dfinition 6.1 : intgrale absolument convergente, fonction intgrable sur I
Thorme 6.1 : utilisation dune majoration sur tout segment
Thorme 6.2 : lien entre intgrale absolument convergente et convergente
Dfinition 6.2 : intgrale semi-convergente
Chapitre 03 : Intgration - Cours complet. - 2 -
Thorme 6.3 : lintgrale
+
0
dt .
t
) t sin(
.
Thorme 6.4 : cas dune fonction admettant une limite en +
Thorme 6.8 : positivit et croissance de lintgrale sur un intervalle
Thorme 6.9 : cas de nullit dune intgrale de fonction continue et positive

7. Critres dintgrabilit, oprations sur les fonctions intgrables sur un intervalle.
Thorme 7.1 : utilisation dun quivalent
Thorme 7.2 : utilisation dun petit o
Thorme 7.3 : comparaison avec une fonction puissance
Thorme 7.4 : (hors programme) intgrales de Bertrand

Intgration. Chap. 03 : cours complet.

1. Intgrale sur un segment dune fonction relle de variable relle, en escaliers (Sup).

Thorme 1.1 : rsultat prparatoire pour lintgrale sur un segment dune fonction en escaliers
Soit f une fonction en escaliers de [a,b] dans .
Soit : a = a
0
< < a
n
= b, une subdivision de [a,b] adapte f, c'est--dire telle que pour tout : 1 i n, f
garde une valeur constante
i
sur ]a
i-1
, a
i
[.
Le rel

n
1 i
i 1 i i
). a a ( est indpendant de la subdivision de [a,b] adapte f.
Dmonstration :
Soit : a = a
0
< < a
n
= b, une subdivision adapte f, et c une valeur diffrente de ces (n+1) valeurs,
entre par exemple a
n-1
et a
n
.
Alors la nouvelle subdivision note a
0
, , a
n+1
est toujours adapte f (car f est constante sur ]a
n-1
, a
n
[,
donc aussi sur ]a
n-1
, c[ et sur ]c, a
n
[), et conduit la valeur :
+
=

1 n
1 i
i 1 i i
' ). ' a ' a ( , soit encore :

n n 1 n
1 n
1 i
i 1 i i 1 n n 1 n n 1 n n
1 n
1 i
i 1 i i
]. c a a c [ ). a a ( ' ). ' a ' a ( ' ). ' a ' a ( ' ). ' a ' a ( + + = + +

=
+ +
=

, et donc

n
1 i
i 1 i i
). a a ( , c'est--dire la valeur pour la premire subdivision.
Soient maintenant : a = a
0
< < a
n
= b, et : a = a
0
< < a
p
= b, deux subdivisions adaptes f.
Notons b
0,
, b
q
la subdivision de [a,b] obtenue en rassemblant les deux subdivisions prcdentes.
Elles sen dduisent en leur rajoutant respectivement au plus p et n points (et mme (p 2) et (n 2)).
Donc par rcurrence sur le nombre de points rajouts, les subdivisions (a
0
, , a
n
) et (b
0
, , b
q
) donnent
le mme rel, de mme que (a
0
, , a
p
) et (b
0
, , b
q
).
Finalement, les deux subdivisions considres conduisent au mme rsultat.

Dfinition 1.1 : intgrale sur un segment dune fonction en escaliers valeurs relles
Soit f une fonction en escaliers de [a,b] dans .
On appelle intgrale de f sur [a,b] la valeur, commune toutes les subdivisions : a = a
0
< < a
n
= b, de
[a,b] adaptes f, du rel

n
1 i
i 1 i i
). a a ( , et on la note
b
a
dt ). t ( f ou
b
a
f .

Thorme 1.2 : espace vectoriel des fonctions en escaliers sur un segment
Lensemble E(a,b) des fonctions en escaliers de [a,b] dans forme un -espace vectoriel, et lintgrale
sur [a,b] est une forme linaire sur cet espace vectoriel.
Dmonstration :
E(a,b) est un -espace vectoriel, ainsi quon la montr dans le chapitre 7 (not alors Esc([a,b],)).
Lapplication intgrale sur [a,b] est alors dfinie de E(a,b) dans .
Elle est de plus linaire.
En effet, si f et g sont en escaliers sur [a,b], notons : a = a
0
< < a
n
= b, une subdivision adapte la
fois f et g (obtenue en rassemblant par les exemples des subdivisions de [a,b] adaptes sparment
f et g).
Soit par ailleurs : (,)
2
.
Alors la subdivision prcdente est adapte f, g et (.f + .g), puisque f, g et (.f + .g) sont
clairement constantes sur chaque sous-intervalle.
Puis :

+ = + = + = +
=
b
a
b
a
n
1 i
i 1 i i
n
1 i
i 1 i i
n
1 i
i i 1 i i
b
a
g . f . ). a a ( . ). a a ( . ] . . ).[ a a ( ] g . f . [ .
Donc cest bien une forme linaire sur E(a,b).

Thorme 1.3 : positivit et croissance de lintgrale sur un segment pour les fonctions en escaliers
Lintgrale sur [a,b], dfinie sur E(a,b), a les proprits suivantes :
f E(a,b), (f 0) (
b
a
dt ). t ( f 0).
(f,g) E(a,b)
2
, (f g) (
b
a
dt ). t ( f
b
a
dt ). t ( g ).
f E(a,b),

b
a
b
a
dt . ) t ( f dt ). t ( f .
Dmonstration :
Si f est en escaliers sur [a,b], valeurs positives, toutes les valeurs constantes quelle prendra sur
chaque sous-intervalle seront positives, et il est alors immdiat que :
b
a
dt ). t ( f 0.
Si f et g sont en escaliers sur [a,b], avec : f g, alors (f g) est encore en escaliers sur [a,b], avec de
plus : f g 0.
Donc :

b
a
dt )]. t ( g ) t ( f [ 0, et la linarit de lintgrale conduit :
b
a
dt ). t ( f
b
a
dt ). t ( g .
Puis, si f est en escaliers sur [a,b], avec : a = a
0
< < a
n
= b, une subdivision de [a,b] adapte f,
alors :
= =
=
b
a
n
1 i
i 1 i i
n
1 i
i 1 i i
b
a
dt . ) t ( f ). a a ( ). a a ( dt ). t ( f ,
puisque sur chaque sous-intervalle ]a
i-1
, a
i
[, |f| est bien constante la valeur |
i
|.

Thorme 1.4 : relation de Chasles dans le cas des fonctions en escaliers sur [a,b]
Soit [a,b] un segment de , et : a < c < b.
Alors pour toute fonction f en escaliers sur [a,b], les restrictions de f [a,c] et [c,b] sont en escaliers et :

+ =
b
c
c
a
b
a
dt ). t ( f dt ). t ( f dt ). t ( f .
Dmonstration :
Soit f en escaliers sur [a,b] et : a = a
0
< < a
n
= b, une subdivision de [a,b] adapte f.
En introduisant au besoin c parmi les (n+1) points prcdents, on obtient deux subdivisions (a
0
, , a
p
)
et (a
p
, , a
n+1
) de [a,c] et [c,b] respectivement adaptes f sur [a,c] et [c,b], puisque sur tous les sous-
intervalles obtenus, f y reste bien constante.
Puis :

+ = + = =
+
+ =
+
=
b
c
c
a
1 n
1 p i
i 1 i i
p
1 i
i 1 i i
1 n
1 i
i 1 i i
b
a
dt ). t ( f dt ). t ( f ). ' a ' a ( ). ' a ' a ( ). ' a ' a ( dt ). t ( f .

2. Intgrale sur un segment dune fonction relle de variable relle, continue par morceaux (Sup).

Thorme 2.1 : approximation sur un segment dune fonction continue par morceaux par des
fonctions en escaliers
Soit [a,b] un segment de et f un lment de C
0
pm
([a,b],).
Pour tout : > 0, il existe deux fonctions en escaliers sur [a,b], et , telles que :
f ,
.
Dmonstration :
Soit f une fonction continue par morceaux de [a,b] dans .
f peut scrire comme somme dune fonction continue et dune fonction en escaliers sur [a,b] : f = g + e.
En effet, si f est continue, elle scrit : f = f + 0.
Si f ne prsente quun point de discontinuit c, entre a et b, on dfinit alors g par :
x < c, g(x) = f(x),
g(c) =
c
f lim ,
x > c, g(x) = f(x) (
+

c c
f lim f lim ), autrement dit f dcale du saut quelle prsente en c.
La fonction : e = (f g) est alors en escaliers sur [a,b], puisque constante sur [a,c[ et sur ]c,b].
La fonction g est quant elle, continue sur [a,b], puisquelle est continue sur [a,c[ et sur ]c,b] (comme f)
et en c, elle est continue droite puisque : f lim ) f lim f lim ( f lim g lim
c c c c c
+ + +
= = = g(c), et par vidence,
continue gauche.
On a obtenu dans ce cas : f = g + e.
Supposons maintenant que cette dcomposition soit possible pour toute fonction continue par morceaux
sur [a,b], et y prsentant n points de discontinuit.
Si f prsente alors (n+1) points de discontinuit sur [a,b], la construction prcdente (applique au
premier point de discontinuit de f) permet de lcrire comme somme dune fonction en escaliers sur
[a,b] ( deux paliers) et dune fonction continue par morceaux sur [a,b] et ne prsentant plus que n
points de discontinuit sur [a,b], soit : f = g
1
+ e
1
.
Or g
1
par hypothse de rcurrence peut scrire : g
1
= g
n+1
+ e
n+1
, et finalement : f = g
n+1
+ (e
1
+ e
n+1
), o
g
n+1
est continue sur [a,b], et e
1
et e
n+1
sont en escaliers sur [a,b], donc de somme galement en
escaliers sur [a,b].
la fonction g tant continue sur [a,b], elle y est uniformment continue (thorme de Heine).
Soit donc : > 0. Il existe : > 0, tel que : (x,y) [a,b]
2
, (|x y| ) (|g(x) g(y)| ).
Notons N lentier : N = 1
a b
E +
|
|
\
|
, et : 0 k N, a
k
= a + k.
|
\
|
N
a b
.
Puisque g est continue sur [a,b], elle admet sur chaque sous-intervalle [a
k
,a
k+1
] (pour : 0 k N 1), une
borne suprieure et une borne infrieure que lon peut noter respectivement m
k
et M
k
.
Comme g est continue sur [a
k
, a
k+1
], m
k
et M
k
sont atteints en deux points x
k
et y
k
du sous-intervalle.
Or : |x
k
y
k
| |a
k+1
a
k
| =
N
a b
, et : M
k
m
k
= |m
k
M
k
| = |g(x
k
) g(y
k
)| .
On dfinit alors deux fonctions et en escaliers sur [a,b] par :
0 k N 1, x [a
k
, a
k+1
[, (x) = m
k
, (x) = M
k
,
(b) = m
N-1
, et : (b) = M
N-1
.
Il est immdiat que : x [a,b], (x) g(x) (x), et :
x [a,b], k {0, , N 1}, (x) (x) = M
k
m
k
.
enfin, les fonctions ( + e) et ( + e) sont toujours en escaliers sur [a,b], et vrifient les conditions
demandes pour f.

Thorme 2.2 et dfinition 2.1 : intgrale dune fonction continue par morceaux sur un segment
Soit [a,b] un segment de et f un lment de C
0
pm
([a,b],).
Les ensembles : A = {

b
a
dt ). t ( , E(a,b), f}, et : B = {

b
a
dt ). t ( , E(a,b), f}, sont des
parties de , qui admettent respectivement une borne suprieure et infrieure, gales entre elles.
Cette valeur commune est appele intgrale de f sur [a,b], et est note encore
b
a
dt ). t ( f ou
b
a
f .
Lorsque f est en escaliers sur [a,b], cette valeur concide avec la dfinition donne dans la partie 1.
Dmonstration :
Soit donc f continue par morceaux de [a,b] dans .
On peut trouver, daprs le thorme 2.1 deux fonctions
1
et
1
en escaliers sur [a,b], telles que :

1
f
1
, et :
1

1
1.
Donc A et B sont non vides.
Puis : E(a,b), f, on a :
1
, et donc :

b
a
dt ). t (

b
a
1
dt ). t ( .
Donc A est majore par

b
a
1
dt ). t ( , et admet donc une borne suprieure : = sup(A).
De mme, B est minore par

b
a
1
dt ). t ( , et admet une borne infrieure : = inf(B).
Puisque de plus, pour et en escaliers sur [a,b], telles que : f , on a :

b
a
dt ). t (

b
a
dt ). t ( , on
en dduit que : .
Enfin, pour : > 0, il existe et en escaliers sur [a,b] telles que : f , et : .
Donc pour ces deux fonctions, on a :

b
a
dt ). t (

b
a
dt ). t ( .(b a), do :

b
a
dt ). t (

b
a
dt ). t ( + .(b a) + .(b a).
Mais puisque cette double ingalit est vraie pour tout : > 0, on en dduit : .
Finalement : = .
Par ailleurs, si f est une fonction en escaliers sur [a,b], et sont alors toutes deux gales
b
a
dt ). t ( f ,
car dans ce cas, les bornes suprieure de A et infrieure de B correspondent respectivement un plus
grand et un plus petit lment.

Thorme 2.3 : linarit de lintgrale sur un segment
Lintgrale sur [a,b] est une forme linaire sur C
0
pm
([a,b],).
Dmonstration :
Il est clair tout dabord que cest une application de CM([a,b],) dans .
Soient maintenant deux fonctions f et g, lments de CM([a,b],).
Alors (f+g) est continue par morceaux de [a,b] dans , et :
> 0, (
f
,
g
) E(a,b)
2
, (
f
,
g
) E(a,b)
2
,
f
f
f
,
g
g
g
, (
f

f
) /2, (
g

g
) /2.
Or : (
f
+
g
) E(a,b), tout comme (
f
+
g
), et :
) a b .( g f 2 / ). a b .( 2 ) ( ) g f (
b
a
b
a
b
a
g
b
a
f
b
a
g
b
a
f
b
a
g f
b
a
+ + + + + = + +

.
Or ceci tant vrai pour tout : > 0, on en dduit que :

+ +
b
a
b
a
b
a
g f ) g f ( .
Mais on a de mme :
) a b .( ) g f ( ) a b .( ) ( 2 / ). a b .( 2 g f
b
a
b
a
g f
b
a
g
b
a
f
b
a
g
b
a
f
b
a
b
a
+ + + + + + + +

.
Et l encore, cette ingalit tant vraie pour tout : > 0, on a nouveau :

+ +
b
a
b
a
b
a
) g f ( g f .
On en dduit finalement lgalit attendue :

+ = +
b
a
b
a
b
a
) g f ( g f .
Soit ensuite f continue par morceaux de [a,b] dans , et : > 0.
On peut trouver et telles que : (,) E(a,b)
2
, f , .
Cela permet alors dcrire : ) a b .( . f . ). a b .( . . . f .
b
a
b
a
b
a
b
a
b
a
+ + =

,
et lingalit tant vraie pour tout : > 0, on en dduit comme auparavant que :

b
a
b
a
f . f . .
De mme quau dessus, on obtient :

b
a
b
a
f . f . , et finalement lgalit :

=
b
a
b
a
f . f . .
Si on a par ailleurs : = 0, il est immdiat que lgalit prcdente reste valable.
Enfin, si : < 0, alors pour un : > 0, et les fonctions et prcdentes, on constate que . et .
sont en escaliers sur [a,b], et : . .f ., . . ..
En travaillant comme pour : > 0, on en dduit que : ) a b .( . f . f .
b
a
b
a

, puis :

b
a
b
a
f . f . , ainsi
que lingalit inverse, do une fois de plus, lgalit attendue.
Finalement, lintgrale sur [a,b], constitue bien une forme linaire sur CM([a,b]).

Thorme 2.4 : positivit et croissance de lintgrale sur un segment
Soit [a,b] un segment de .
Lintgrale sur [a,b], dfinie sur C
0
pm
([a,b],), a les proprits suivantes :
f C
0
pm
([a,b],), (f 0) (
b
a
dt ). t ( f 0).
(f,g) C
0
pm
([a,b],)
2
, (f g) (
b
a
dt ). t ( f
b
a
dt ). t ( g ).
f C
0
pm
([a,b],),

b
a
b
a
dt . ) t ( f dt ). t ( f .
f C
0
pm
([a,b],), avec : M = ) x ( f sup
] b , a [ x
, et : m = ) x ( f inf
] b , a [ x
, on a : m.(b a)
b
a
dt ). t ( f M.(b a).
Dmonstration :
Puisque pour : f C
0
pm
([a,b],), positive, f est minore par la fonction nulle, en escaliers sur [a,b], alors
par dfinition de lintgrale de f sur [a,b], on peut crire :

=
b
a
b
a
dt ). t ( f dt . 0 0 .
Il suffit ici dutiliser le rsultat dmontr avant, et la linarit de lintgrale sur [a,b] dans C
0
pm
([a,b],).
Pour toute fonction f continue par morceaux de [a,b] dans , on a : f |f|, et : f |f|.
Donc en intgrant sur [a,b], on en dduit que :

b
a
b
a
dt . ) t ( f dt ). t ( f , et :

b
a
b
a
b
a
dt . ) t ( f dt ). t ( f dt ). t ( f .
Comme
b
a
dt ). t ( f vaut
b
a
dt ). t ( f ou
b
a
dt ). t ( f , on en dduit lingalit annonce.
Puisque toute fonction continue par morceaux sur un segment, valeurs relles est majore et
minore sur ce segment, et qualors : m f M, sur [a,b], il suffit dintgrer pour obtenir le rsultat.

Dfinition 2.2 : valeur moyenne dune fonction continue par morceaux sur un segment
Soit [a,b] un segment de , et soit : f C
0
pm
([a,b],).
On appelle valeur moyenne de f sur [a,b], le rel
b
a
dt ). t ( f .
a b
1
.

Thorme 2.5 : cas de nullit de lintgrale dune fonction continue et positive
Soit [a,b] un segment de , et soit f une fonction de [a,b] dans .
Si f est continue sur [a,b], positive sur [a,b] et telle que :
b
a
dt ). t ( f = 0, alors f est nulle sur [a,b].
Dmonstration :
Travaillons par contrapose, et pour cela, soit f continue, positive sur [a,b], non nulle.
Alors il existe une valeur : c [a,b], telle que : f(c) > 0.
Puisque f est continue en c, alors : > 0, x [a,b], (|x c| ) (|f(x) f(c)| =
2
) c ( f
).
Donc sur le segment : I = ([a,b] [c , c + ]), on a :
2
) c ( f
) c ( f f
2
) c ( f
, et donc : f
2
) c ( f
.
On peut alors minorer f sur [a,b] par la fonction en escaliers , nulle en dehors de I et constante la
valeur
2
) c ( f
sur I.
Enfin, si on note L la longueur (non nulle) de I, on constate alors que : 0
2
) c ( f
. L dt ). t ( dt ). t ( f
b
a
b
a
> =

.
Lintgrale de f sur [a,b] est alors strictement positive et donc non nulle.

Dfinition 2.3 : intgrale dont les bornes sont gales ou inverses
Soient : a > b.
Pour f continue par morceaux de [b,a] dans , on note
b
a
dt ). t ( f la valeur :

=
a
b
b
a
dt ). t ( f dt ). t ( f .
On note galement : 0 dt ). t ( f
a
a
=
.
Toutes les proprits prcdentes vues sur un segment se gnralisent dans le cas o les bornes de
lintgrale considre sont gales ou inverses.

Soit [a,b] un segment de , et : a < c < b.
Alors pour toute fonction : f C
0
pm
([a,b],), les restrictions de f [a,c] et [c,b] sont continues par
morceaux respectivement de [a,c] et [c,b] dans et :

+ =
b
c
c
a
b
a
dt ). t ( f dt ). t ( f dt ). t ( f .
La relation de Chasles reste valable pour : a b c, (ou : c a b) et f continue par morceaux de [a,c]
(ou [c,b]) dans .
Dmonstration :
Comme prcdemment, soit f continue par morceaux de [a,b] dans .
Que c soit un point de discontinuit de f ou pas, il est clair que les restrictions de f [a,c] et [c,b] (en
examinant leur comportement en particulier en c) sont continues par morceaux.
Puis, pour : > 0, on peut trouver
1
et
1
dune part,
2
et
2
dautre part, en escaliers sur [a,c] et [c,b]
respectivement, telles que :

1
f
|[a,c]

1
,
2
f
|[c,b]

2
,
1

1
,
2

2
.
Alors les fonctions et dfinies sur [a,b] par :
x [a,c[, (x) =
1
(x), (x) =
1
(x),
x [c,b], (x) =
2
(x), (x) =
2
(x),
sont en escaliers sur [a,b] et vrifient : f , .
En travaillant encore comme prcdemment (et en utilisant la relation de Chasles, mais pour les
fonctions en escaliers) par double ingalit, valable pour tout : > 0, on conclut alors lgalit voulue.
Avec les dfinitions prises pour les intgrales dont les bornes sont gales ou inverses, on obtient
galement cette relation dans les cas : a b c, ou : c a b.

Dfinition 2.4 : somme de Riemann associe une fonction continue sur un segment
Soit [a,b] un segment de et : a = a
0
< < a
n
= b, une subdivision de [a,b].
Soit f une fonction continue de [a,b] dans .
On appelle somme de Riemann associe f une expression du type : S =
=
+

1 n
0 i
i i 1 i
) x ( f ). a a ( ,
o : 0 i n 1, x
i
[a
i
, a
i+1
].

Thorme 2.7 : approximation de lintgrale dune fonction continue sur un segment laide de
sommes de Riemann
Soit [a,b] un segment de et : a = a
0
< < a
n
= b, une subdivision de [a,b].
Soit f une fonction continue de [a,b] dans .
Pour tout : > 0, il existe : > 0, tel que pour toute subdivision : a = a
0
< < a
n
= b, de [a,b], on a :
( ) a a ( max
i 1 i
1 n i 0
+

)
=
+
b
a
1 n
0 i
i i 1 i
dt ). t ( f ) x ( f ). a a ( ( ).
La quantit ) a a ( max
i 1 i
1 n i 0
+

est appele pas de la subdivision .
Dmonstration :
La fonction f tant continue sur le segment [a,b], elle y est uniformment continue.
Donc : > 0, > 0, (x,y) [a,b], (|x y| ) (|f(x) f(y)|
a b
).
Puis considrons une subdivision : a = a
0
< < a
n
= b, de [a,b] telle que : ) a a ( max
i 1 i
1 n i 0
+

.
On constate alors que : 0 k n 1, t [a
k
, a
k+1
], |t x
k
| , do : |f(t) f(x
k
)|
a b
.
Donc : ) a a .(
a b
dt )]. x ( f ) t ( f [ ) x ( f ). a a ( dt ). t ( f
k 1 k
a
a
k k k 1 k
a
a
1 k
k
1 k
k
=
+ +

+ +
.
Soit finalement : =

=
+
=
+
) a a .(
a b
) a a .(
a b
dt ). t ( f ) x ( f ). a a (
0 n
1 n
0 k
k 1 k
b
a
1 n
0 k
k k 1 k
.

Dfinition 2.5 et thorme 2.8 : approximation par des rectangles ou des trapzes de lintgrale sur
un segment dune fonction continue
Soit [a,b] un segment de et soit f une fonction continue de [a,b] dans .
On appelle sommes de Riemann gauches (et droites) de f sur [a,b] les sommes de Riemann
correspondant aux subdivisions dfinies par : 0 k n 1, a
k
= a +
n
a b
. k

, (qui sont donc de pas
constant gal
n
a b
, taille de chacun des sous-intervalles qui
les dfinissent) et des valeurs x
k
donnes par :

Sommes de Riemann gauches : 0 k n 1, x
k
= a
k
,
soit : S
g,n
=
=
|
\
|
+
1 n
0 k
n
a b
. k a f .
n
a b
,

Sommes de Riemann droites : 0 k n 1, x
k
= a
k+1
.
soit : S
d,n
=
=
|
\
|
+ +
1 n
0 k
n
a b
). 1 k ( a f .
n
a b
.
ou encore : S
d,n
=
=
|
\
|
+
n
1 k
n
a b
. k a f .
n
a b
.
Les deux suites (S
g,n
) et (S
d,n
) convergent vers
b
a
dt ). t ( f et
sappellent approximations (gauches et droites) de
b
a
dt ). t ( f
par des rectangles.

La quantit, pour n donn, dfinie par : S
t,n
= .
2
1
(S
g,n
+ S
d,n
),
est appele approximation de
b
a
dt ). t ( f par des trapzes et la suite
(S
t,n
) converge galement vers
b
a
dt ). t ( f quand n tend vers +.
Remarque : chaque demi-somme obtenue en rassemblant les deux
rectangles correspond la surface des trapzes dessins ci-dessus.
Dmonstration :
Il suffit dappliquer le rsultat prcdent aux suites (S
g,n
) et (S
d,n
) en remarquant que pour les
subdivisions proposes, on a : n 1,
n
a b
) a a ( max
i 1 i
1 n i 0
=
+

, et donc que pour : > 0, donn, il suffit
de prendre : n
0
= 1
a b
E + |
\
|
, pour le obtenu dans la dmonstration prcdente pour que :

n n
0
,
b
a
n , g
dt ). t ( f S , ainsi que :
b
a
n , d
dt ). t ( f S .
Puis, les deux suites convergeant vers lintgrale, la suite des moyennes (c'est--dire (S
t,n
)) converge
aussi vers lintgrale.
Enfin, lorsque lon calcule la moyenne de S
g,n
et de S
d,n
, on obtient
une demi-somme de surfaces de rectangles (les rectangles
infrieurs et les rectangles suprieurs ).
On obtient donc pour chaque couple de rectangles, la surface
commune aux deux termes (soit la surface du rectangle dessin ici
en bleu) laquelle il faut ajouter la moiti de la surface du rectangle
situ au-dessus (dessin ici en noir), qui est gale la surface
du triangle rouge.
Cela revient en remplacer la fonction sur lintervalle [a
k
,a
k+1
] par une
fonction affine.

3. Primitives dune fonction relle ou vectorielle de variable relle (Sup).

Dfinition 3.1 : primitive sur un intervalle dune fonction relle de variable relle
Soit I un intervalle de .
Soit f continue de I dans ou .
On dit que F est une primitive de f sur I si et seulement si F est de classe C
1
de I dans ou et : F = f.
Si f est continue par morceaux de I dans ou , on dit que F est une primitive de f sur I si et seulement
si F est continue de I dans ou , de classe C
1
sur tous les sous-intervalles de I o f est continue, et si
sur ces sous-intervalles, on a : F = f.

Thorme 3.1 : liens entre les diffrentes primitives dune fonction continue ou continue par
morceaux sur un intervalle
Soit f continue ou continue par morceaux de I dans ou .
Si F et G sont de primitives de f sur I, alors : ou , F = G + .
Dmonstration :
Distinguons les cas o f est continue ou continue par morceaux sur I.
si f est continue et si F et G sont des primitives de f sur I, alors : (F G) = f f = 0, sur I, et avec le
thorme des accroissements finis, on en dduit que (F G) est constante sur I.
si f est continue par morceaux, alors sur chaque sous-intervalle de I o f est continue, (F G) est
constante, en utilisant largument prcdent.
Puis en un point a de discontinuit de f qui nest pas une extrmit de lintervalle I, (F G) est constante
sur un intervalle gauche de a la valeur C, et la valeur C sur un intervalle droite de a.
Mais comme (F G) est continue en a, on a : (F G)(a) = C = C.
Finalement, (F G) est constante sur I.

Thorme 3.2 : unique primitive sannulant en un point
Soit I un intervalle de et : a I.
Soit f continue ou continue par morceaux de I dans ou .
Alors la fonction dfinie par : x I, F(x) =
x
a
dt ). t ( f , est la (ou lunique) primitive de f sur I sannulant
en a.
Dmonstration :
Si f est continue par morceaux sur I, la fonction propose est bien dfinie sur I et sannule en a.
Montrons maintenant quelle est continue sur I, drivable (aux points o f est continue) sur I, de drive
gale f.
elle est continue sur I.
Soit pour cela : x
0
I, et J un segment de type [x
0
, x
0
+ ] inclus dans I contenant x
0
, avec : > 0.
Alors : x I, |F(x) F(x
0
)| = f sup . x x dt ). t ( f
J
0
x
x
0

.
La fonction f est borne sur J puisque J est un segment et f est au moins continue par morceaux sur J.
On en dduit bien que : ) x ( F ) x ( F lim
0
x x
0
=
, et F est continue en x
0
.
On peut remarquer que la dmonstration sadapte (on adapte J) si x
0
est une extrmit de I.
soit x
0
un point o f est continue.
Montrons que F est drivable en x
0
.
Pour cela : > 0, > 0, t I, (|t x
0
| ) (|f(t) f(x
0
)| ).
Donc : x I, (0 < |x x
0
| ) ( t [x
0
, x] ou [x, x
0
], |f(t) f(x
0
)| ), et :
|F(x) F(x
0
) (x x
0
).f(x
0
)| =
. x x dt )]. x ( f ) t ( f [
0
x
x
0
0
, ou encore :
) x ( f
x x
) x ( F ) x ( F
0
0
0
.
On vient dtablir que : ) x ( f
x x
) x ( F ) x ( F
lim
0
0
0
x x
0
=
|
|
\
|
, ou que F est drivable en x

0
avec : F(x
0
) = f(x
0
).
Donc F est continue sur I, drivable sur I (aux points o f est continue) et de drive gale en ces points
la valeur de f.
Puis il est immdiat que : F(a) = 0.
Enfin, si G est une autre primitive de f sur I sannulant en a, on sait que : ou , G = F + , et la
valeur en a donne : G(a) = F(a) + , soit : = 0.
Conclusion : F est lunique primitive de f sannulant en a.

Thorme 3.3 : lien primitive-drive
Soit f de classe C
1
(ou de classe C
1
par morceaux) de I dans ou .
Alors : (a,x) I,
=
x
a
dt ). t ( ' f ) a ( f ) x ( f .
En particulier, si f est continue sur I et si F est une primitive de f sur I, alors :
(a,b) I
2
, ) a ( F ) b ( F dt ). t ( f
b
a
=
.
De plus, pour tout segment [a,b] inclus dans I, on a :

b
a
] b , a [ t
' f ) a ( f ) t ( f sup .
Dmonstration :
Soit f de classe C
1
de I dans ou .
Si, pour : x I, on note : F(x) = f(x) f(a), et : G(x) =
x
a
dt ). t ( ' f , alors F et G sont des primitives de f sur
I sannulant en a (pour F par calcul, et pour G daprs le thorme 3.2).
Donc elles sont gales sur I.
Soit f, continue et de classe C
1
par morceaux de I dans ou .
Alors pour tout point a de, f est dfinie sur tout segment [a,x] (ou [a,x]) avec : x I, sauf ventuellement
en un nombre fini de points.
Si on note g la fonction concidant avec f sur I, et nulle l o f nest pas dfinie, alors :
(a,x) I
2
,

=
x
a
x
a
dt ). t ( g dt ). t ( ' f .
La fonction g tant continue par morceaux sur I, la fonction : x a
x
a
dt ). t ( g , est nouveau une primitive
de g sur I, sannulant en a, tout comme : x a f(x) f(a), et donc elle concident sur I.
On en dduit encore le rsultat annonc.
Si maintenant f est continue sur I, et F est une primitive de f sur I, alors : F = f, sur I, et on applique le
rsultat prcdent pour obtenir le rsultat annonc.
Si [a,b] est un segment inclus dans I, alors :
x [a,b],

=
b
a
x
a
x
a
dt . ) t ( ' f dt . ) t ( ' f dt ). t ( ' f ) a ( f ) x ( f ) a ( f ) x ( f ) a ( f ) x ( f ,
do le rsultat attendu en passant la borne suprieure de f sur [a,b].

Thorme 3.4 : intgrale dont les bornes dpendent dun paramtre
Soient I et J des intervalles de .
Soit f continue de I dans ou et u et v de classe C
1
de J dans I.
Alors : h :
) x ( v
) x ( u
dt ). t ( f x a , est de classe C
1
sur J, et : x J, h(x) = v(x).fov(x) u(x).fou(x).
Dmonstration :
Notons F une primitive de f sur I.
Alors : x J, h(x) = Fov(x) Fou(x).
Et comme diffrence de composes de fonctions de classe C
1
, h est de classe C
1
sur J, avec :
x J, h(x) = v(x).F(v(x)) u(x).F(u(x)) = v(x).f(v(x)) u(x).f(u(x)).

Thorme 3.5 : intgration par parties
Soit I un intervalle de , f et g des fonctions de classe C
1
de I dans ou .
Alors : (a,b) I
2
,

=
b
a
b
a
b
a
) g '. f ( ] g . f [ ) ' g . f ( .
Dmonstration :
Il suffit de remarquer que : x [a,b], [f.g](x) = f(x).g(x) + f(x).g(x), et dintgrer sur [a,b].

Soit I un intervalle de , [,] un segment de .
Soit f continue de I dans ou , et de classe C
1
de [,] dans I.
Alors :

= du ). u ( ' ). u ( f dt ). t ( f
) (
) (
o .
Si f est continue par morceaux de I dans ou et est de classe C
1
, strictement croissante de [,]
dans I, la formule prcdente reste valable.
Dmonstration :
Commenons par remarquer que, si on note : F(x) =

) x (
) (
dt ). t ( f , cette fonction F est dfinie sur [,].
Puis, comme intgrale dont les bornes dpendent de x, F est continue et de classe C
1
sur [,], puisque
f est de classe C
1
de I dans ou , et est de classe C
1
de [,] dans I.
On a de plus : x [,], F(x) = (x).f((x)).
Comme par ailleurs : F() = 0, F apparat comme la primitive de .fo sur [,] qui sannule en , et
ce titre, daprs le thorme 3.2, on a : x [,], F(x) =

x
du ). u ( ' ). u ( f o .
Il ne reste plus qu appliquer ce rsultat pour : x = , pour obtenir le rsultat annonc.
Pour le second point, la stricte croissance de garantit que la fonction fo. est continue par morceaux
sur [,], et on peut alors interprter nouveau la fonction F prcdente comme la primitive de cette
fonction sur [,] sannulant en .

4. Intgrale impropre convergente dune fonction valeurs relles ou complexes sur un intervalle.

Dfinition 4.1 : intgrale impropre (ou gnralise) convergente, reste, intgrale divergente (borne
suprieure de lintervalle)
Soit : [a,b[ , avec : b , ou : b = +.
Soit f une fonction continue par morceaux de [a,b[ dans ou , et : x [a,b[, F(x) =
x
a
dt ). t ( f .
On dit que lintgrale impropre (ou gnralise en sa borne suprieure)
b
a
dt ). t ( f est convergente (ou
converge) lorsque la fonction F admet une limite finie lorsque x tend vers b par valeurs infrieures.
On pose alors : ) x ( F lim dt ). t ( f lim dt ). t ( f
b x
x
a b x
b
a
= =

.
On appelle alors reste de lintgrale impropre convergente la fonction : x a

x
a
b
a
dt ). t ( f dt ). t ( f , que
lon note parfois :
b
x
dt ). t ( f , et cette fonction tend vers 0 lorsque x tend vers b.
Lorsque la fonction F nadmet pas de limite finie en b par valeurs infrieures, on dit que lintgrale
impropre
b
a
dt ). t ( f est divergente (ou diverge).

Thorme 4.1 : indpendance de convergence par rapport la borne infrieure de lintgrale
Soit : [a,b[ , avec : b , ou : b = +.
Soit f une fonction continue par morceaux de [a,b[ dans ou .
Lintgrale impropre
b
a
dt ). t ( f est convergente si et seulement si nimporte quelle primitive de f sur [a,b[
admet une limite quand x tend vers b par valeurs infrieures, ou de manire quivalente si : c [a,b[,
la fonction : x a
x
c
dt ). t ( f , admet une limite finie lorsque x tend vers b par valeurs infrieures.
En cas de convergence, si F est une primitive de f sur [a,b[, on a alors : ) a ( F ) x ( F lim dt ). t ( f
b x
b
a
=
.
Dmonstration :
Soit F dfinie par : x [a,b[, F(x) =
x
a
dt ). t ( f , et soit G une autre primitive de f sur [a,b[.
On sait alors que : ou , x [a,b[, G(x) = F(x) + , puisquon travaille sur un intervalle.
Il est clair alors que F admet une limite finie en b si et seulement si G en admet une, et dans ce cas :
= =

) x ( G lim ) x ( F lim dt ). t ( f
b x b x
b
a
, et comme : G(a) = F(a) + = , on en dduit :
) a ( G ) x ( G lim dt ). t ( f
b x
b
a
=
.
De plus, tant donn que pour : c [a,b[, la fonction : x a
x
c
dt ). t ( f , est une primitive particulire de f
sur [a,b[, la deuxime quivalence annonce sen dduit.

Dfinition 4.2 : intgrale impropre convergente, divergente (borne infrieure de lintervalle)
Soit : ]a,b] , avec : a , ou : a = - .
Soit f une fonction continue par morceaux de ]a,b] dans ou , et : x ]a,b], F(x) =
b
x
dt ). t ( f .
On dit que lintgrale impropre (ou gnralise en sa borne infrieure)
b
a
dt ). t ( f est convergente (ou
converge) lorsque la fonction F admet une limite finie lorsque x tend vers a par valeurs suprieures.
On pose alors : ) x ( F lim dt ). t ( f lim dt ). t ( f
a x
b
x a x
b
a
= =

.
Lorsque la fonction F nadmet pas de limite finie en a par valeurs suprieures, on dit que lintgrale
impropre
b
a
dt ). t ( f est divergente (ou diverge).

Thorme 4.2 : indpendance de convergence par rapport la borne suprieure de lintgrale
Soit : ]a,b] , avec : a , ou : a = - .
Soit f une fonction continue par morceaux de ]a,b] dans ou .
Lintgrale impropre
b
a
dt ). t ( f est convergente si et seulement si nimporte quelle primitive de f sur ]a,b]
admet une limite finie quand x tend vers a par valeurs suprieures, ou de manire quivalente si :
c ]a,b], la fonction : x a
c
x
dt ). t ( f , admet une limite finie quand x tend vers a par valeurs
suprieures.
En cas de convergence, si F est une primitive de f sur ]a,b], on a alors : ) x ( F lim ) b ( F dt ). t ( f
a x
b
a
=
.
Dmonstration :
La dmonstration est videmment totalement identique celle du thorme prcdent.

Dfinition 4.3 : intgrale deux fois impropre (ou gnralise) convergente, divergente
Soit : ]a,b[ , avec : a , ou : a = - , et : b , ou : b = +, et soit : c ]a,b[.
Soit f continue par morceaux de ]a,b[ dans ou .
On dit que lintgrale impropre (ou gnralise)
b
a
dt ). t ( f est convergente lorsque les intgrales
c
a
dt ). t ( f et
b
c
dt ). t ( f sont convergentes.
On pose alors :

+ =
b
c
c
a
b
a
dt ). t ( f dt ). t ( f dt ). t ( f .
Si lune des deux intgrales prcdentes diverge, on dit alors que lintgrale impropre
b
a
dt ). t ( f est
divergente.

Thorme 4.3 : indpendance de convergence par rapport la valeur intermdiaire
Soit : ]a,b[ , avec : a , ou : a = - , et : b , ou : b = +.
Soit f continue par morceaux de ]a,b[ dans ou .
Lintgrale impropre
b
a
dt ). t ( f est convergente si et seulement si pour tout : (c,d) ]a,b[
2
, les intgrales
c
a
dt ). t ( f et
b
d
dt ). t ( f sont convergentes, ou de manire quivalente, si nimporte quelle primitive de f
sur ]a,b[ admet une limite finie en a par valeurs suprieures et en b par valeurs infrieures.
Si F dsigne une primitive de f sur ]a,b[, on a alors : ) x ( F lim ) x ( F lim dt ). t ( f
a x b x
b
a
=
.
Dmonstration :
Notons F une primitive de f sur ]a,b[.
Alors la convergence de
c
a
dt ). t ( f ne dpend pas de la valeur c, mais uniquement du fait que F admet
ou pas une limite finie en a.
De mme,
b
d
dt ). t ( f converge si et seulement si F admet une limite finie en b (sans se proccuper de la
valeur d), et on en dduit ainsi les quivalences.
Puis, en cas de convergence des deux intgrales, on a pour tout c dans ]a,b[ :
) x ( F lim ) x ( F lim )] c ( F ) x ( F lim [ )] x ( F lim ) c ( F [ dt ). t ( f dt ). t ( f dt ). t ( f
a x b x b x a x
b
c
c
a
b
a
= + = + =

.

Thorme 4.4 : cas dune fonction prolongeable par continuit en une borne relle de lintervalle
Soit : [a,b[ , avec : b .
Soit f une fonction continue par morceaux de [a,b[ dans ou .
Si f se prolonge par continuit en b, lintgrale
b
a
dt ). t ( f est convergente, et concide avec lintgrale sur
le segment [a,b] de la fonction prolonge en b partir de f.
Le rsultat est le mme dans le cas dun intervalle ]a,b], avec : a , et une fonction f, continue par
morceaux de ]a,b] dans ou , prolongeable par continuit en a.
Dmonstration :
Supposons donc f prolongeable par continuit en b et notons f
0
la fonction prolonge en b partir de f.
La fonction f
0
est alors continue par morceaux sur [a,b], et toute primitive F de f
0
sur [a,b] est encore une
primitive de f sur [a,b[.
Dans ce cas F est par dfinition continue en b et y admet donc une limite finie.
Mais F tant aussi une primitive de f sur [a,b[, on en dduit que lintgrale
b
a
dt ). t ( f est convergente,
puis que :

= = =
b
a b x
b
a
0
dt ). t ( f ) a ( F ) x ( F lim ) a ( F ) b ( F dt ). t ( f .

Thorme 4.5 : exemples classiques dont les intgrales de Riemann
Les intgrales suivantes convergent dans les cas prciss :
intgrales de Riemann : lintgrale
1
t
dt
(avec : ) converge si et seulement si : > 1.
lintgrale

1
0
t
dt
(avec : ) converge si et seulement si : < 1.
lintgrale

b
a
) a t (
dt
(avec : , (a,b)
2
, a < b) converge si et seulement si : < 1.
lintgrale

b
a
) t b (
dt
(avec : , (a,b)
2
, a < b) converge si et seulement si : < 1.
lintgrale
1
0
dt ). t ln( converge.
lintgrale
+

0
t .
dt . e converge (avec : ), si et seulement si : > 0.
Dmonstration :

1
t
dt
:
Pour : = 1, on a : x > 1, ) x ln(
t
dt
t
dt
x
1
x
1
= =

, et cette fonction na pas de limite finie en +.
Donc
+
1
t
dt
diverge.
Pour : 1, on a : x > 1,
|
\
|

=
+
=

+

1
x
1
.
1
1
] t .[
1
1
t
dt
1
x
1
1
x
1
, et cette expression a une limite
finie en + si et seulement si : 1 > 0, soit : > 1.
Dans ce dernier cas, lintgrale
1
t
dt
converge et vaut
1
1

.

1
0
t
dt
:
De la mme faon lintgrale diverge pour : = 1, puisquune primitive ( nouveau ln) na pas de limite
finie en 0.
Puis, pour : 1, la primitive prcdente a une limite finie cette fois si et seulement si : 1 < 0, soit :
< 1, et dans ce cas, lintgrale vaut
1
1
.

b
a
) a t (
dt
:
On utilise nouveau une primitive sur ]a,b ]de la fonction sous lintgrale, par exemple :
pour : = 1, x ]a,b], F(x) = ln(x a), qui na pas de limite finie en a.
pour : 1, x ]a,b], F(x) =
+

=
+
1 1
) a x .(
1
1
) a x .(
1
1
, qui a une limite finie en a si et
seulement si : 1 > 0, soit : < 1.

b
a
) t b (
dt
:
Un raisonnement strictement identique donne le mme rsultat.

1
0
dt ). t ln( :
On peut obtenir une primitive sur ]0,1] de la fonction sous lintgrale par intgration par parties :
x > 0, F(x) = 1 x ) x ln( . x dt .
t
1
. t )] t ln( . t [ dt ). t ln(
x
1
x
1
x
1
+ = =

, (ou tout autre fonction gale celle-ci
une constante prs) et une telle primitive admet toujours une limite finie en 0 (ici la limite vaut 1).
Donc lintgrale est convergente, et en particulier : 1 1 0 ) x ( F lim ) 1 ( F dt ). t ln(
0 x
1
0
= = =
+

0
t .
dt . e :
Pour : = 0, on peut proposer comme primitive sur [0,+) de la fonction sous lintgrale :
x > 0, x dt dt . e
x
0
x
0
t .
= =

, qui na pas de limite finie en + et lintgrale diverge.
Pour : 0, de mme : x > 0, ] 1 e .[
1
] e .[
1
dt . e
x . x
0
t .
x
0
t .
=

=

, et cette dernire fonction

admet une limite finie en + si et seulement si : > 0, (ou : Re() > 0, si : ).

Soient f et g deux fonctions continues par morceaux de I dans ou dont lintgrale sur I est
convergente et soit : (,)
2
ou
2
.
Alors lintgrale sur I de (.f + .g) est convergente.
Dmonstration :
Supposons I de la forme [a,b[.
Alors si f et g ont des intgrales convergentes sur I, notons F et G des primitives de ces fonctions sur I.
Dans ce cas, [.F + .G] est une primitive de (.f + .g) sur I, et elle admet une limite finie en b.
Donc
+
I
dt )). t ( g . ) t ( f . ( converge.
Un argument identique sapplique dans le cas o I est du type ]a,b].
Enfin, si I est de type ]a,b[, il suffit de couper lintervalle en ]a,c] et [c,b[ et dappliquer les rsultats
prcdents.

5. Cas des fonctions valeurs relles positives.

Thorme 5.1 : utilisation de majoration et de minoration dune primitive
Soit f une fonction continue par morceaux de I dans , positive, et F une primitive de f sur I.
Si : I = [a,b[, avec : b , ou : b = +, f est intgrable sur I si et seulement si F est majore sur I.
Si : I = ]a,b], avec : a , ou : a = -, f est intgrable sur I si et seulement si F est minore sur I.
Si : I = ]a,b[, avec : (a , ou : a = -) et (b , ou : b = +), f est intgrable sur I si et seulement si F
est borne sur I.
Dmonstration :
Notons F une primitive de f sur I.
Puisque f est valeurs positives, F est croissante sur I.
Si I est du type [a,b[, F admet une limite finie en b si et seulement si elle est majore sur I.
Notons que dans ce cas, F est minore sur I puisquelle admet une valeur en a.
De mme, si I est du type ]a,b], F admet une limite en a si et seulement si elle est minore sur I.
De mme dans ce cas, F est majore sur I puisquelle admet de la mme faon une valeur en b.
Pour des raisons similaires, on en dduit la troisime quivalence dans le cas o I est de type ]a,b[.

Soient f et g continues par morceaux sur I, valeurs relles positives, telles que : 0 f g.
Si lintgrale
I
dt ). t ( g est convergente, lintgrale
I
dt ). t ( f lest aussi et on a alors :

I I
dt ). t ( g dt ). t ( f .
De mme, si lintgrale
I
dt ). t ( f diverge, alors
I
dt ). t ( g aussi.
Dmonstration :
Soit : c I.
Notons : x I, F(x) =
x
c
dt ). t ( f , et : G(x) =
x
c
dt ). t ( g .
Si I est de type [a,b[, on choisit : c = a, et : x a, F(x) G(x).
Puisque f et g sont positives sur I, F et G sont croissantes sur I, donc si lintgrale
b
a
dt ). t ( g est
convergente, alors G admet une limite en b donc est majore sur I et F aussi.
On en dduit alors que F admet une limite finie en b, donc que
b
a
dt ). t ( f converge.
Dans ce cas, de plus :

= =

b
a b x b x
b
a
dt ). t ( g ) x ( G lim ) x ( F lim dt ). t ( f .
Si I est de type ]a,b], on choisit : c = b, et : x b, G(x) F(x), puisque les bornes dans les intgrales
sont inverses.
Puis si lintgrale
b
a
dt ). t ( g est convergente, alors : x a ) x ( G dt ). t ( g
b
x
=
admet une limite finie quand x

tend vers a, et ( G) tant dcroissante sur I, elle est donc majore sur I, donc G est minore sur I.
F dans ce cas est donc aussi minore, et en reprenant le mme raisonnement que pour G, lintgrale
b
a
dt ). t ( f converge. De plus :

= = = =

b
a
b
x a x a x a x
b
x a x
b
a
dt ). t ( g dt ). t ( g lim ) x ( G lim ) x ( F lim dt ). t ( f lim dt ). t ( f
Enfin, le dernier cas (I = ]a,b[) rassemble les deux tudes que lon vient de faire.
Les cas de divergences traduisent simplement limplication contrapose de celle que lon vient dtablir.

Thorme 5.3 : utilisation dune fonction quivalente
Soit : I = [a,b[, un intervalle de , avec : b , ou : b = +.
Soient f et g sont continues par morceaux sur I valeurs relles positives.
Si f et g sont quivalentes en b, alors :
(
I
dt ). t ( f est convergente) (
I
dt ). t ( g convergente).
Le mme rsultat est valable dans le cas dun intervalle ]a,b], avec f et g quivalentes en a.
Dmonstration :
Si f et g sont quivalentes en b, alors on peut crire f sous la forme : t I, f(t) = g(t).(1 + (t)), o est
une fonction dfinie sur I qui tend vers 0 quand t tend vers b.
Puis, on peut garantir alors quil existe un voisinage V de b (de type [c,b[, si b est rel, ou [c,+) si b est
infini), sur lequel on a : t [c,b[, -1/2 (t) 1/2, puis : 1/2 (1 + (t)) 3/2.
Do : t [c,b[, 1/2.g(t) f(t) 3/2.g(t).
On peut alors en dduire que :
(
I
dt ). t ( g converge) (
I
dt ). t ( g .
2
3
converge) (
I
dt ). t ( f converge),
et limplication rciproque sobtient de la mme faon partir de la premire ingalit entre 1/2.g et f.
Le cas o lintervalle est de type ]a,b], avec f et g quivalentes en a se traite de la mme faon.

6. Intgrale absolument convergente, semi-convergente, fonction intgrable sur un intervalle.

Dfinition 6.1 : intgrale absolument convergente, fonction intgrable sur I
Soit f une fonction continue par morceaux de I dans ou .
On dit que f a une intgrale absolument convergente sur I ou quelle est intgrable sur I (ou que
I
dt ). t ( f
est absolument convergente) si et seulement si lintgrale
I
dt . ) t ( f est convergente.

Thorme 6.1 : utilisation dune majoration sur tout segment
Alors f est intgrable sur I si et seulement si il existe un rel M tel que pour tout segment J inclus dans I,
on a : M dt . ) t ( f
J
.
Dmonstration :
Si f est intgrable sur I alors notons F une primitive de |f| sur I.
Puisque
I
dt . ) t ( f converge, F est borne sur I (th. 2.1) par un rel A.
Soit alors J un segment quelconque inclus dans I de type : J = [,].
Alors : A . 2 ) ( F ) ( F dt . ) t ( f
J
=
, et : M = 2.A, rpond au problme.

Rciproquement, si on peut trouver M tel que, pour tout segment J inclus dans I, on a : M dt . ) t ( f
J
,
soit : c I, et notons : x I, F(x) =
x
c
dt ). t ( f .
Alors : x I, (x c) (0 F(x) M), et : (x c) (|F(x)| = -F(x) =
c
x
dt ). t ( f M),
autrement dit, F est borne sur I et
I
dt . ) t ( f converge.

Thorme 6.2 : lien entre intgrale absolument convergente et intgrale convergente
Si
I
dt . ) t ( f est convergente alors
I
dt ). t ( f converge aussi.
De plus :

I I
dt . ) t ( f dt ). t ( f .
Dmonstration :
cas o f est valeurs relles.
On peut crire : f = |f| (|f| f), les fonctions |f| et (|f| f) tant continues par morceaux de I dans .
La fonction |f| est intgrable sur I et son intgrale sur I converge.
De plus, la fonction (|f| f) est positive sur I, majore par |f| sur I, donc son intgrale sur I converge.
Comme diffrence de deux fonctions dintgrale sur I convergente, f est encore dintgrale convergente
sur I ou intgrable sur I.
Enfin, (|f| f) et (|f| + f) sont positives sur I donc dintgrales sur I positives, soit :

=
I I I
f f ) f f ( 0 , et :

+ = +
I I I
f f ) f f ( 0 , do :

I I I
f f f , et :

I I
f f .
cas o f est valeurs complexes.
On peut cette fois crire : f = Re(f) + i.Im(f).
Puis : 0 |Re(f)| |f|, et : 0 |Im(f)| |f|, laide de : (,)
2
, ||
2 2
+ .
Donc les fonctions ( valeurs relles) Re(f) et Im(f) sont intgrables sur I, et
I
) f Re( et
I
) f Im(
convergent daprs ce qui prcde.
Finalement
I
dt ). t ( f converge aussi par combinaison linaire.
Enfin, pour un segment : J = [,] I, on a :

dt . ) t ( f dt ). t ( f , et donc en faisant tendre maintenant

vers a et vers b (ou en prenant si a ou b sont dans I : = a, ou : = b), on en dduit par passage
la limite dans lingalit prcdente que :

I I
dt . ) t ( f dt ). t ( f .

Dfinition 6.2 : intgrale semi-convergente
Lorsque
I
dt . ) t ( f est une intgrale divergente et
b
a
dt ). t ( f est une intgrale convergente, on dit alors
que
b
a
dt ). t ( f est semi-convergente.

Thorme 6.3 : lintgrale
+
0
dt .
t
) t sin(

Lintgrale
+
0
dt .
t
) t sin(
est semi-convergente.
Dmonstration :
lintgrale est convergente.
Notons pour cela f la fonction sous lintgrale (qui est deux fois gnralise).
Alors f est prolongeable par continuit en 0 (comme le montre un dveloppement limit du sinus) et donc
0
dt .
t
) t sin(
est convergente.
Puis : x ,

+
=
(
=
x
2
x
2
x
x
dt .
t
) t cos(
x
1 ) x cos(
dt .
t
) t cos(
t
) t cos(
dt .
t
) t sin(
.
Or dans cette dernire expression, la partie intgre a une limite finie lorsque x tend vers +, et la
nouvelle intgrale qui apparat est absolument convergente puisque : t ,
2 2
t
1
t
) t cos(
,
et la fonction majorante est bien intgrable sur [,+).
Donc
dt .
t
) t sin(
converge et
+
0
dt .
t
) t sin(
aussi.
lintgrale nest pas absolument convergente.
Pour cela soit : n *, et : I
n
=
). 1 n (
. n
dt .
t
) t sin(
.
On peut effectuer dans lintgrale le changement de variable : u = t n., pour obtenir :
n *, I
n
=
+
=
+
+

. n
2
dt ). u sin( .
. n
1
du .
. n u
) u sin(
du .
. n u
) . n u sin(
0 0 0
.
Mais alors, en notant F une primitive sur [,+) de : x a
x
) x sin(
, on constate que :
n *, F(n+1) =

= =
+
=
n
1 k
n
1 k
k
). 1 n (
k
1
.
2
I dt .
t
) t sin(
.
Puisque la srie harmonique diverge vers +, on en dduit que (F(n+1)) tend aussi vers +.
Mais F est de plus croissante donc F tend vers + en + et
dt .
t
) t sin(
diverge, comme
+
0
dt .
t
) t sin(
.

Thorme 6.4 : cas dune fonction admettant une limite en +
Soit f dfinie, continue par morceaux de [a,+) dans ou .
Si f admet une limite finie L en +, et si : L 0, alors f n'est pas intgrable sur [a,+).
Il est donc ncessaire, si f admet une limite finie en + , que cette limite soit nulle pour f puisse tre
intgrable sur [a,+).
Dmonstration :
Supposons donc que f tende vers L en + et que (quitte remplacer f par f) : L > 0.
Alors : A , x A, f(x) L/2.
Or la fonction constante gale L/2 nest pas intgrable sur [A,+), et f, comme fonction positive sur
[A,+), minore par une autre fonction positive dont lintgrale sur [A,+) diverge, a galement une
intgrale sur [A ,+) divergente, donc lintgrale de f sur [a,+) est galement divergente.

Soient f et des fonctions continues par morceaux de I dans ou , telles que : |f| .
Si intgrable sur I, alors f est intgrable sur I (ou
b
a
dt ). t ( f est absolument convergente).
Dmonstration :
Il suffit dappliquer le thorme 5.2 |f| et , qui sont bien des fonctions positives sur I.

Soient f et g deux fonctions continues par morceaux de I dans () intgrables sur I et : (,)
2
(
2
).
Alors (.f + .g) est intgrable sur I, et :

+ = +
I I I
g . f . ) g . f . ( .
Dmonstration :
On peut remarquer que : |.f + .g| ||.|f| + ||.|g|.
La fonction majorante est une combinaison linaire de fonctions dont lintgrale sur I converge.
Donc lintgrale sur I de (.f + .g) converge et cette fonction est bien intgrable sur I.
Pour ensuite un intervalle I de type : I = [a,b[, on a : x a,

+ = +
x
a
x
a
x
a
g . f . . ) g . f . ( , il suffit alors
de faire tendre x vers b pour avoir le rsultat attendu.
Si I est de type ]a,b], la dmonstration est la mme et pour I de type ]a,b[, on combine les deux rsultats.

Soit I un intervalle de dextrmits a et b (avec ventuellement : a = -, b = +), et : a < c < b.
Soit f une fonction dfinie, continue par morceaux de I dans ou , intgrable sur I.
Alors f est intgrable sur (a,c] et [c,b) et :

+ =
b
c
c
a
b
a
dt ). t ( f dt ). t ( f dt ). t ( f .
Dmonstration :
Soit F
+
la primitive de |f| sur I qui sannule en c : x I, F
+
(x) =
x
c
dt . ) t ( f , et : F(x) =
x
c
dt ). t ( f .
Puisque f est intgrable sur I, F
+
est borne sur I.
Donc F
+
(qui est aussi une primitive de |f| sur (a,c] et [c,b)) est borne sur (a,c] et [c,b) et f est intgrable
sur (a,c] et [c,b).
Puis : ) c ( F ) x ( F lim dt ). t ( f
b x
b
c
=
, et : ) x ( F lim ) c ( F dt ). t ( f
a x
c
a
=
, do la relation de Chasles.
Remarque : ce thorme peut aussi tre formul de la faon suivante :
Soient I et J deux intervalles de tels que IJ soit un intervalle, et IJ soit vide ou rduit un point.
Soit f une fonction dfinie, continue par morceaux de IJ dans ou , intgrable sur I et sur J.
Alors f est intgrable sur IJ et :

+ =
J I J I
dt ). t ( f dt ). t ( f dt ). t ( f .

Thorme 6.8 : positivit et croissance de lintgrale sur un intervalle
Si f est continue par morceaux de I dans , positive et intgrable sur I, alors :
I
dt ). t ( f 0 .
Soient f et g des fonctions continues par morceaux de I dans , intgrables sur I.
Si : f g, sur I alors :

I I
dt ). t ( g dt ). t ( f .
Dmonstration :
Puisque lintgrale de f sur tout segment J inclus dans I vrifie :
J
dt ). t ( f 0 , il suffit de faire tendre les
bornes de ce segment vers les bornes de I pour obtenir lingalit voulue.
Si maintenant f et g vrifient : f g, sur I, alors : 0 g f, qui est une fonction intgrable sur I, positive.
En application de ce quon vient juste de dmontrer, on en dduit que :

I
dt )]. t ( f ) t ( g [ 0 , do le
rsultat en utilisant la linarit.

Thorme 6.9 : cas de nullit dune intgrale de fonction continue et positive
Soit f une fonction de I dans , continue et positive sur I.
Si : 0 f
I
=
, alors f est nulle sur I.

Dmonstration :
Soit J un segment inclus dans I, avec : J = [,], et I dextrmits a et b.
Que I soit contienne ou pas a et b, la relation de Chasles permet dcrire :

+ + =
b
a
b
a
dt ). t ( f dt ). t ( f dt ). t ( f dt ). t ( f , do :
0 0 dt ). t ( f dt ). t ( f dt ). t ( f dt ). t ( f dt ). t ( f
b
a
b
a
b
a
= =

, puisque f est positive donc toute intgrale

de f (dont les bornes sont dans le bon sens) est positive.
Or on sait que si une fonction est continue et positive sur un segment et dintgrale nulle, alors la
fonction est nulle.
Conclusion : f est nulle sur tout segment inclus dans I donc sur I.

7. Critres dintgrabilit, oprations sur les fonctions intgrables sur un intervalle.

Thorme 7.1 : utilisation dune fonction quivalente
Soit [a,b[ un intervalle de , avec : b , ou : b = +.
Soient f et g continues par morceaux de : I = [a,b[ dans ou , telles que : |f|
b
~ |g|.
Si g intgrable sur I, alors f est intgrable sur I (ou
b
a
dt ). t ( f est absolument convergente).
Dmonstration :
Le fait que |f| et |g| sont quivalentes en b scrit aussi :
t [a,b[, |f(t)| = |g(t)|.(1 + (t)), o tend vers 0 quand t tend vers b.
Donc pour la valeur
2
1
, on peut trouver un voisinage [,b[ de b dans I o on a : t [,b[, |(t)|
2
1
.
Do : t [,b[, ) t ( g .
2
3
) t ( f ) t ( g .
2
1
, et le thorme 6.5 permet de conclure.
Le rsultat bien entendu sadapte au cas o lquivalence de fonctions est en la borne infrieure de I.

Thorme 7.2 : utilisation dun petit o
Soit [a,b[ un intervalle de , avec : b , ou : b = +.
Soient f et g deux fonctions dfinies sur [a,b[, continues par morceaux valeurs dans ou .
Si : f = o(g) en b, et si g est intgrable sur [a,b[, alors f l'est aussi.
Dmonstration :
L encore, on rcrit le petit o en : t [a,b[, f(t) = g(t).(t), avec qui tend vers 0 quand t tend vers b.
Puis, pour la valeur 1, on peut trouver nouveau un voisinage [,b[ de b dans I o : t [,b[, |(t)| 1.
Soit finalement : t [,b[, |f(t)| |g(t)|, et nouveau, le thorme 6.5 permet de conclure.
Le rsultat sadapte galement au cas lhypothse est vrifie en la borne infrieure de I.

Thorme 7.3 : comparaison avec une fonction puissance
En + : soit f une fonction dfinie sur [a,+), continue par morceaux et valeurs dans ou .
Si : > 1, tel que [x
.f(x)] tend vers 0 en +, alors f est intgrable sur [a,+).

En 0 : soit f une fonction dfinie sur ]0,a], continue par morceaux et valeurs dans ou .
Si : < 1, tel que : [x
.f(x)] tend vers 0 en 0, alors f est intgrable sur ]0,a].

Dmonstration :
En + : il suffit de dire que dans ce cas, on a : f(x) =
|
\
|
x
1
o , en +, et dappliquer le thorme 7.2 en
remarquant de plus que lhypothse : > 1, garantit lintgrabilit de : t a
t
1
, sur [a,+) [1,+).
En 0 : cest le mme type de raisonnement.

Thorme 7.4 : (hors programme) intgrales de Bertrand
Lintgrale
+

2
)) t .(ln( t
dt
(avec : (,)
2
) converge si et seulement si :
( > 1) ou ( = 1, et : > 1).
Dmonstration :
Notons tout dabord que toutes les fonctions qui interviennent sont positives sur [2,+).
Pour : = 1, on peut facilement trouver une primitive puisquapparat alors la drive de ln :
pour : = 1, x > 2, )) 2 ln(ln( )) x ln(ln( ))] t [ln(ln(
)) t .(ln( t
dt
)) t .(ln( t
dt
x
2
x
2
x
2
= = =

, qui na pas de
limite finie en +.
pour : 1, x > 2,
] )) 2 (ln( )) x [(ln(
1
1
)) t .(ln(
1
1
)) t .(ln( t
dt
)) t .(ln( t
dt
1 1
x
2
1
x
2
x
2
+

=
(
+
= =

,
qui a une limite finie en + si et seulement si :1 < 0, soit : > 1.
Pour : 1, distinguons deux cas :
pour : > 1, soit : 1 < < .
Alors :
=
)) t (ln(
t
)) t .(ln( t
1
. t , et cette fonction tend vers 0 en + puisque daprs le thorme des
croissances compares, la puissance lemporte sur le logarithme et : < 0.
Donc : |
\
|
=

t
1
o
)) t .(ln( t
1
, en +, ce qui garantit la convergence de lintgrale correspondante.
pour : < 1, soit cette fois : < < 1.
Alors :
=
)) t (ln(
t
)) t .(ln( t
1
. t , et cette fonction tend vers + en +, par le mme argument que
prcdemment.
Donc : A [2,+), t > A,
)) t (ln(
t
1 , et :

)) t .(ln( t
1
t
1
.
Comme enfin
2
t
dt
diverge, on en dduit la divergence dans ce cas de
+

2
)) t .(ln( t
dt
.

Soient : J = [a,b[, et I des intervalles de
Soit une bijection de classe C
1
de J sur I et soit f continue (ou continue par morceaux), intgrable, de I
dans ou , avec : (a) = c, et : d = ) x ( lim
b x
.
Alors (fo).' est intgrable sur J et :

=
b
a
d
c
du ). u ( ' ). u )( f ( dt ). t ( f o .
Plus gnralement, si I et J sont des intervalles de , une bijection de classe C
1
de J sur I et f une
fonction continue par morceaux de I dans ou , on a :

=
J I
' . fo f .
Dmonstration :
Puisque est une bijection continue entre deux intervalles, elle est strictement monotone sur J.
Supposons la par exemple croissante, donc : 0, sur J, avec : J = [c,d[.
Alors si on appelle F la primitive de f sur I dfinie par : y I, F(y) =
y
c
dt ). t ( f .
La formule dintgration par parties sur un segment (ici avec [a,x] et [c,(x)]) applique |f| donne :
x J,

= =
) x (
c
x
a
x
a
dt . ) t ( f du ). u ( ' . ) u )( f ( du . ) u ( ' ). u )( f ( o o , puisque est positive sur J.
Or lintgrabilit de (fo). sur J est quivalente au fait que lexpression prcdente admette une limite
finie lorsque x tend vers b, ce qui est le cas puisque f est elle-mme intgrable sur I, et : ) x ( lim
b x
=d.
De plus, on a aussi : x J,

=
) x (
c
x
a
dt . ) t ( f du ). u ( ' ). u )( f ( o , do par passage la limite :

=
b
a
d
c
du ). u ( ' ). u )( f ( dt ). t ( f o , soit bien :

= =
I J J
f ' . fo ' . fo .
Si dans un second temps, on suppose maintenant dcroissante sur J, alors tous les rsultats se
conservent en remarquant que : || = , et : J = ]d,c].
Dans ce cas on a alors :

= = = =
I
c
d
d
c
b
a J
dt ). t ( f dt ). t ( f dt ). t ( f du ). u ( ' ). u )( f ( du . ) u ( ' ). u )( fo ( o .
Si enfin, lintervalle I est de type ]a,b] ou ]a,b[, le rsultat sobtient de faon identique.

8. Comparaison srie intgrale.

Thorme 8.1 : cas dune fonction relle, dcroissante et positive
Soit f une fonction dun intervalle I de dans , continue (ou continue par morceaux), dcroissante et
positive.
Soit : n
0
I .
Alors la srie
0
n n
) n ( f et lintgrale impropre
+
0
n
dt ). t ( f sont de mme nature et donc convergent ou
divergent simultanment.
Dmonstration :
Soit : n > n
0
, et notons : S
n
=
=
n
n k
0
) k ( f .
Alors : n
0
< k n, t [k 1,k], f(k) f(t) f(k 1), do : f(k)

k
1 k
dt ). t ( f f(k 1), et :

= + =

1 n
n k
n
n
n
1 n k
0
0
0
) k ( f dt ). t ( f ) k ( f , ce qui scrit encore : S
n
f(n
0
)
n
n
0
dt ). t ( f S
n-1
.
Par ailleurs, la fonction f est valeurs positives et la srie
0
n n
) n ( f est galement termes positifs.
Si maintenant on suppose que la srie converge, alors la suite (S
n
) est convergente et donc borne et
en particulier : M
+
, n n
0
, S
n
M.
Soit alors : x n
0
et : n = E(x) n
0
, sa partie entire.
On constate que :

+
1 ) x ( E
n
x
n
0 0
dt ). t ( f dt . ) t ( f S
E(x)
M, puisque f est positive.
Mais alors la fonction positive f est intgrable sur [n
0
,+), puisquune de ses primitives y est majore.
Rciproquement, supposons f (qui est positive) intgrable sur [n
0
,+).
Alors : M
+
, x [n
0
,+), dt . ) t ( f
x
n
0
M, et : n > n
0
, S
n
f(n
0
)
n
n
0
dt ). t ( f M.
Donc : S
n
M + f(n
0
), ingalit qui reste vraie pour : n = n
0
.
Donc la suite (croissante) des sommes partielles (S
n
) est majore par M, donc convergente et la srie
0
n n
) n ( f est galement convergente.

Thorme 8.2 : srie des reliquats
Soit f une fonction dun intervalle I de dans , continue (ou continue par morceaux), dcroissante et
positive.
Soit : n
0
I .
On pose : n n
0
+1, ( ) ) n ( f dt ). t ( f dt . ) n ( f ) t ( f w
n
1 n
n
1 n
n
|
\
|
= =

.
Alors la srie
0
n n
n
w est convergente.
Dmonstration :
Avec les notations prcdentes, on peut remarque que la srie
0
n n
n
w est termes positifs puisque f est
dcroissante sur lintervalle I.
Dautre part, et en reprenant les remarques de la dmonstration prcdente, on a :
n n
0
+1, w
n
f(n 1) f(n) = a
n
.
Or la srie
+ 1 n n
n
0
a est tlescopique et converge car f admet une limite finie en +.
En effet, f est dcroissante sur I et positive donc minore.
On conclut que la srie
0
n n
n
w est galement convergente.

Exemple : retour sur la constante dEuler et le dveloppement asymptotique de H
n

Soit f la fonction dfinie de
+
* dans par : x
+
*, f(x) =
x
1
.
Alors cette fonction permet dtablir lexistence de , constante dEuler, telle que :
n 1, ) n ( ) n ln( H
k
1
n
n
1 k
+ + = =
=
, avec : 0 ) n ( lim
n
=
+
.
Dmonstration :
On sait dj que la srie
1 n
n
1
et lintgrale
+
1
t
dt
sont de mme nature (donc divergentes) puisque f
est bien dfinie de
+
* dans , et y est continue, dcroissante et positive.
De plus la srie
2 n
n
w est convergente, avec : n 2, w
n
=
n
1
t
dt
n
1 n

.
La somme partielle de cette srie vaut alors : n 2,

= =
=
n
2 k
n
2 k
k
k
1
) n ln( w = ln(n) H
n
+ 1.
Si on note W la somme de la srie prcdente, on a donc : ln(n) H
n
+ 1 = W (n), o est une suite
qui tend vers 0 en +, et : H
n
= ln(n) + 1 W + (n) = ln(n) + + (n), o on a not : = 1 W.

03 - Integration Cours Complet

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

03 - Integration Cours Complet

Transféré par

Droits d'auteur :

Formats disponibles

Chapitre 03 : Intgration - Cours complet.

, pour le obtenu dans la dmonstration prcdente pour que :

, ou que F est drivable en x

, et cette dernire fonction

admet une limite finie quand x

, et : M = 2.A, rpond au problme.

dt . ) t ( f dt ). t ( f , et donc en faisant tendre maintenant

, alors f est nulle sur I.

, puisque f est positive donc toute intgrale

.f(x)] tend vers 0 en +, alors f est intgrable sur [a,+).

.f(x)] tend vers 0 en 0, alors f est intgrable sur ]0,a].

Vous aimerez peut-être aussi