Vous êtes sur la page 1sur 16

Math 256-Integrales

David Harari
2015-2016

1. Int
egrale dune fonction continue
1.1. Rappels et d
efinitions
Soit f une fonction continue sur un intervalle ferme borne [a, b] de R. Il
Rb
y a plusieurs facons de definir lintegrale a f (t)dt. La plus intuitive est de
voir lintegrale comme limite dune somme. Plus precisement, on rappelle le
theor`eme suivant (dont on ne donnera pas ici de demonstration, la theorie
compl`ete de lintegrale de Riemann depassant le cadre de ce cours) :

Theor` eme 1.1 Soit f une fonction continue de [a, b] dans R (ou dans C).
Posons xk = a+k ban
(pour k = 0, ..., n1; ainsi les xk subdivisent lintervalle
[a, b] en n segments degale longueur). Alors la suite
n1
X ba
vn := f (xk )
k=0
n
Rb
converge. On appelle integrale de f de a `a b sa limite, quon note a
f (x)dx,
Rb
ou simplement a f .
Rb
Noter que dans la notation a f (x)dx, la lettre x est muette (elle sert
juste `a indiquer par rapport `a quelle variable on int`egre), on pourrait la
remplacer par nimporte quelle lettre comme t ou u. Noter aussi que la
definition est aussi valable pour des fonctions en escalier (cest-`a-dire telles
quil existe une subdivision de [a, b] en un nombre fini dintervalles avec f
constante sur chacun de ces intervalles).

1
1.2. Propri
et
es
a) Relation de Chasles. Si c est un point de [a, b], on voit facilement avec
la definition que
Z a Z b Z c Z b
f (t)dt = 0; f (t)dt = f (t)dt + f (t)dt.
a a a c

Avec la convention Z b Z a
f (t)dt := f (t)dt
a b
si a > b, on voit que cette relation de Chasles est verifiee pour a, b, c quel-
conques, `a condition bien entendu que f soit definie et continue sur les inter-
valles concernes. La relation de Chasles permet aussi detendre la definition
de lintegrale `a des fonctions qui sont seulement continues par morceaux sur
[a, b], cest-`a-dire telles quil existe une subdivision finie x0 = a, x1 , ..., xn = b
de [a, b] avec f continue sur chaque ]xk , xk+1[, k = 0, ..., n. Ceci sapplique
par exemple `a la fonction x 7 x E(x), o` u E(x) est la partie enti`ere du reel
x.
b) Lin earit e. Si f et g sont continues sur [a, b] et R (ou C si on
travaille avec des fonctions `a valeurs complexes), alors
Z b Z b Z b
(f + g) = f+ g.
a a a
Z b Z b
f = f.
a a
Ainsi, lapplication Z b
f 7 f
a
est une application lineaire du R-espace vectoriel des fonctions continues de
[a, b] dans R (note C 0 ([a, b], R)) vers lespace vectoriel R.
c) Positivit
e. Comme la limite dune suite `a valeurs 0 est encore 0,
on obtient :

Theor` eme 1.2 Soient a, b deux reels avec a b. Soit f une fonction con-
tinue sur [a, b]. On suppose que f (t) 0 pour tout t [a, b]. Alors
Z b
f (t)dt 0.
a

2
Attention, il est ici essentiel que a b (sinon on obtient linegalite dans
lautre sens). On en deduit, en appliquant le theor`eme `a g f et en utilisant
la linearite :

Corollaire 1.3 Soient a, b deux reels avec a b. Soient f, g des fonction


continues sur [a, b] avec f (t) g(t) pour tout t de [a, b]. Alors
Z b Z b
f (t)dt g(t)dt.
a a

Comme on a |f (t)| f (t) |f (t), on obtient aussi le tr`es important


corollaire :

Corollaire 1.4 Soient a, b deux reels avec a b. Soit f : [a, b] R une


fonction continue. Alors
Z b Z b
| f (t)dt| |f (t)|dt.
a a

Ce dernier corollaire est encore valable pour une fonction f `a valeurs


complexes (en remplacant comme dhabitude la valeur absolue par le module),
mais la preuve utilisant linegalite |f (t)| f (t) |f (t) (laquelle na plus
de sens pour une fonction complexe) tombe en defaut. Par contre, il suffit
dutiliser la definition du theor`eme 1.1 pour conclure. Le corollaire precedent
sutilise souvent sous la forme :

Corollaire 1.5 Soient a, b deux reels avec a b. Soit f une fonction con-
tinue sur [a, b] (`a valeurs reelles ou complexes). On suppose que |f (t)| M
pour tout t [a, b]. Alors
Z b
| f (t)dt| M(b a).
a

En effet on a
Z b Z b Z b
| f (t)dt| |f (t)|dt Mdt = M(b a).
a a a

Rappelons au passage quune fonction f continue sur un intervalle ferme


borne [a, b] est bornee et atteint ses bornes (cest faux pour un intervalle
non ferme comme ]0, 1], ex. f (t) = 1/t, ou non borne commme [0, +[, ex.
f (t) = t).
d) Formule de la moyenne. Il sagit du resultat suivant :

3
Theor` eme 1.6 Soit f : [a, b] R une fonction continue. Alors il existe
c [a, b] tel que
Z b
f (t)dt = (b a)f (c).
a

Attention, ce nest pas vrai pour une fonction `a valeurs complexes. Lidee
de la preuve est la suivante : posons
Z b
1
m= f (t)dt,
ba a
quon peut appeler la moyenne de f car pour f positive, cest laire de la
portion de plan {(x, y), x [a, b], 0 y f (x)} divisee par la longueur de
lintervalle. Alors la fonction f ne peut pas etre toujours > m ni < m, sinon
cela contredirait le corollaire 1.3. Lexistence de c est alors assuree par le
theor`eme des valeurs intermediaires.

1.3. Primitives et int


egrales
Definition 1.7 Soit I un intervalle de R. Soit f une fonction sur I. Une
primitive de f sur I est une fonction F , derivable sur I, et telle que F = f .

Proposition 1.8 Si F est une primitive de f sur un intervalle I, alors


toutes les primitives de f sont donnees par F + c, avec c constante.

En effet, une fonction G est une primitive de f si et seulement si G =


f = F , soit (F G) = 0, soit F G constante car I est un intervalle.
Attention cette hypoth`ese est essentielle car par exemple la fonction definie
par f (x) = x + 1 si x > 0 et f (x) = x + 2 si x < 0 est une primitive de la
fonction constante 1 sur R .
Par exemple la fonction f (x) = ln x est une primitive de 1/x sur R+ :
cest la seule primitive qui sannule en x = 1.
On admettra dans ce cours le theor`eme suivant (aboutissement de la
theorie de lintegrale de Riemann) :

Theor`
eme 1.9 Soit f une fonction continue sur [a, b]. Alors la fonction
Z x
F (x) = f (t)dt
a

est une primitive de f sur [a, b].

4
Ainsi, F Rest la primitive deRf qui sannule en a. On evitera par contre
x
la notation f (t)dt ou encore f (t)dt (quon trouve dans certains livres)
pour designer une primitive de f , afin deviter de travailler avec une fonction
seulement definie `a une constante pr`es.

Corollaire 1.10 Soit f une fonction continue sur [a, b]. Soit G une primi-
tive quelconque de f . Alors
Z b
f (t)dt = G(b) G(a).
a

Rb
En effet, le theor`eme precedent donne a f (t)dt = F (b) = F (b) F (a),
et on sait par ailleurs que F G est une constante do` u F (b) F (a) =
G(b) G(a).

1.4. Techniques de calcul


a) Integration par parties. Quand on a `a integrer un produit de fonctions,
il peut etre commode dutiliser la formule suivante, qui resulte de la formule
de derivation dun produit (f g) = f g + f g . Pour toute fonction f definie
sur [a, b], notons [F (x)]ba := F (b) F (a).

Theor` eme 1.11 Soient f et g deux fonctions de classe C 1 (cest-`a dire


derivables et dont la derivee est continue1 ) sur [a, b]. Alors
Z b Z b

f (x)g(x)dx = [f (x)g(x)]ba f (x)g (x)dx.
a a

La formule marche aussi si les fonctions f et g sont seulement C 1 par


morceaux (via la relation de Chasles), cest-`a-dire quand il existe une sub-
division a = x0 , ..., xn = b de [a, b] telle que f et g soient C 1 sur chaque
]xk , xk+1 [, k = 0, ..., n. Elle est bien entendu utile quand lune des deux
integrales est plus simple `a calculer que lautre.
R /2
Exemple 1.12 Soit I = 0
x cos x dx. La formule donne :
Z /2
/2 /2
I= [x sin x]0 sin x dx = /2 + [cos x]0 = /2 1.
0
1
Il peut arriver que la derivee dune fonction ne soit pas continue partout; on verifiera
par exemple que la fonction definie par f (x) = x2 sin(1/x) si x 6= 0 et f (0) = 0 est
derivable mais que sa derivee nest pas continue en 0.

5
b) Changement de variables. La base de cette technique de calcul
est lobservation suivante : si F : [a, b] R et : [, ] [a, b] sont des
fonctions C 1 , alors la fonction composee F : t 7 F ((t)) est C 1 et a
pour derivee F ((t)). (t), qui vaut f ((t)). (t) si F est une primitive de
f . Do`
u:

Theor` eme 1.13 Soit f une fonction continue sur [a, b]. Soit : [, ]
[a, b] une fonction C 1 , avec () = a et () = b. Alors
Z b Z
f (x) dx = f ((t)). (t) dt.
a

D
emonstration : Soit F une primitive de f , posons (t) = F ((t)).
Alors Z Z

f ((t)). (t) dt = (t) dt = () () =

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

Observons que si f est definie est continue sur un intervalle I contenant


[a, b], la meme preuve fonctionne `a condition que ([, ]) I, ce qui est
moins restrictif que demander que soit `a valeurs dans [, ]. Il nest en
particulier pas necessaire que soit bijective de [, ] dans [a, b] meme si en
pratique cest souvent le cas (on essaie de prendre lintervalle [, ] le plus
petit possible).
De facon symbolique, si on veut utiliser la formule de la gauche vers la
droite, on peut poser x = (t) et dx = (t)dt; il faut ensuite soigneusement
choisir et tels que () = a et () = b et verifiant les hypoth`eses du
theor`eme, ce qui est souvent la partie la plus difficile.
R 2/2 1
Exemple 1.14 Soit I = 0
1x2
dx. On pose x = sin t, en choisissant
comme intervalle [, ] = [0, /4], ce qui convient car sin 0 = 0, sin(/4) =

2/2, et sur [0, /4] la fonction sinus reste `a valeurs dans le domaine o` u la
1
fonction 1x2 est definie est continue. On obtient
/4 /4
cos t
Z Z
I= dt = 1 = /4.
0 1 cos2 t 0

Noter en effet que sur [0, /4], on a bien


p
1 cos2 t = sin2 t = | sin t| = sin t.

6
La meme technique montre plus generalement quune primitive de la fonc-
1
tion 1x 2 sur lintervalle ] 1, 1[ est la fonction Arcsinus, d
efinie par :
arcsin x est le reel de [/2, /2] dont le sinus est x.

Exemple 1.15 Rappelons quune primitive de la fonction t 7 t2 + 1 sur R


est la fonction Arctangente, definie par : arctan t est le reel de ] /2, /2[
R1
dont la tangente est t. Soit a > 0. Soit I = 0 x2dx+a . En effectuant le change-

ment de variable
x = a.t (ce qui
equivaut a
` t = x/ a) et en choisissant
= 0, = 1/ a, on obtient
Z 1/a
a 1
1/ a 1
I= 2
dt = [arctan t] 0 = arctan(1/ a).
0 a(t + 1) a a
Exemple 1.16 Contrairement aux deux exemples precedents, on utilise par-
fois la formule de changement de variable de la droite vers la gauche quand
on reconnat une expression de la forme f ((t)) (t)dt. Soit par exemple
Z e
(ln t)2
I= dt.
1 t
Si on pose (t) = ln t, le changement de variable x = ln t conduit symbol-
iquement `a dx = 1t dt do`
u, avec la formule :
Z ln e Z 1
2 1
I= x = x2 dx = .
ln 1 0 3
Noter que quand on applique la formule dans ce sens, les nouvelles bornes de
lintegrale se calculent automatiquement, mais il faut une simplification de
lexpression symbolique dx en fonction de dt pour finir le calcul.

2. Int
egrales g
en
eralis
ees
2.1. Premiers exemples
Soient a et b des reels. Il arrive parfois quon puisse donner un sens a` des
R +
expressions du genre a f (t) dt pour une fonction f continue sur [a, +[,
Rb
ou encore a f (t)dt quand f nest definie et continue que sur [a, b[ ou ]a, b[.
Cest lidee de la notion dintegrale generalisee (ou impropre).

Exemple 2.1 Pour tout x > 0, on a


Z x
dt 1
2
=1 ,
1 t x

7
dont la limite quand x tend vers + est 1. On posera donc
Z +
dt
= 1.
a t2
Par contre x
dt
Z
= ln x
1 t
diverge en +, on dira donc que lintegrale
Z +
dt
1 t
est divergente (meme si saR limite quand x tend vers R+ est +, ce qui
+ x
pourrait conduire `a ecrire 1 dtt = +). De meme, 0 cos t dt = sin x na
R +
pas de limite quand x tend vers +, et on dira encore que 0 cos t dt est
divergente.

Exemple 2.2 La fonction t 7 1/ t est definie et continue sur ]0, 1], mais
pas en 0. Ceci dit, on a quand meme, pour x > 0 :
Z 1
dt
= [2 t]1x = 2 2 x,
x t
dont la limite quand x tend vers 0 est 2. On sera donc amene a` poser
Z 1
dt
= 2.
0 t
R 1 dt R1
Par contre on dira que 0 t diverge car x dtt = ln x dont la limite en 0 est
+.

On va maintenant donner des definitions generales.

Definition 2.3 Soit a R. Soit f une fonction continue de [a, +[ dans


R (on a une definition analogue pour les fonctions `a valeurs complexes). On
R +
dit que lintegrale generalisee a f (t)dt converge si la fonction
Z x
F (x) = f (t)dt
a

a une limite l reelle quand x tend vers +. On pose alors


Z +
f (t)dt.
a

8
Rb
On a une definition analogue pour f (t)dt, quand f est une fonction
Rb
continue sur ] , b] : lintegrale f (t)dt est dite convergente (de valeur
Rb
l) si la fonction x 7 x f (t)dt tend vers l quand x tend vers .
R +
Exemple 2.4 Soit p un reel > 0. Alors lintegrale 1 t1p dt est convergente
si et seulement si p > 1. En effet, on a dej`a vu que pour p = 1 lintegrale
etait divergente, et pour p 6= 1, on a
Z x
1 t1p x x1p 1
p
dt = [ ] 1 = ,
1 t 1p 1p 1p
qui a une limite finie en + si et seulement si 1 p < 0.

On peut aussi considerer des integrales generalisees des deux cotes :

D efinition 2.5 Soit fR une fonction continue de R dans R. On dit que


+
lintegrale generalisee f (t)dt converge si pour a R, les deux integrales
Ra R +

f (t)dt et a f (t)dt convergent. On pose alors
Z + Z Z +
a
f (t)dt = f (t)dt + f (t)dt.
a

RLa
+
relation de Chasles montre que la definition precedente, et la valeur
de f (t)dt si elle converge, ne dependent pas du choix de a.
R +1
Exemple 2.6 Lintegrale 1+t2
dt converge. En effet
0
1
Z
2
dt = [arctan t]0x = arctan x
x 1 + t
R0 1
R + 1 R + 1
do`
u 1+t2 dt = /2. De m eme 0 1+t2 dt = /2 do`
u 1+t2
dt = .
Rx
Exemple 2.7 Attention, il ne suffit pas en general que la fonction x f (t)dt
ait
R +une limite quand x tend vers + pour avoir la convergence de lintegrale

f (t)dt. Par exemple
Z x
t dt = [t2 /2]xx = x2 x2 = 0.
x
R +
Pourtant 0 tdt est clairement divergente. Le point est quon doit avoir la
convergence des deux cotes, et donc faire tendre les bornes respectivement
vers et + independamment lune de lautre.

9
On a des definitions analogues pour des fonctions definies sur [a, b[ avec
a, b reels :

D
efinition 2.8 Soit a, b R. Soit f une fonction continue de [a, b[ dans R.
Rb
On dit que lintegrale generalisee a f (t)dt converge si la fonction
Z x
F (x) = f (t)dt
a

a une limite l reelle quand x tend vers b. On pose alors


Z b
f (t)dt = l
a
.

On a une definition analogue si f est definie de ]a, b] dans R (en regardant


Rb
la limite en a de x f (t)dt), ou encore de ]a, b[ dans R : dans ce dernier cas,
Rb
la convergence de a f (t)dt signifie que pour c ]a, b[, les deux integrales
Rc Rb
a
f (t)dt et c
f (t)dt convergent. On a le meme type de definition pour f
definie sur ]a, +[ ou sur ] , b[.

Exemple 2.9 Soit p >R 0 un reel. Le meme calcul que dans lexemple 2.4
1
donne cette fois-ci que 0 t1p dt converge si et seulement si p < 1.

2.2. R`
egles de calcul
a) Lin earite. Comme les integrales habituelles, les integrales generalisees
verifient la propriete de linearite suivante (dont la demonstration a` partir du
cas des integrales habituelles est immediate en passant `a la limite) :

Proposition 2.10 Soient f et g des fonctions continues sur [a, b[, avec a
R et b R (ou encore b = +). Soit R. Si les integrales generalisees
Rb Rb Rb
a
f (t)dt et a
g(t)dt convergent, il en va de m
e me de a
(f + g)(t)dt et on a
Z b Z b Z b
(f + g)(t)dt = f (t)dt + g(t)dt.
a a a
Rb Rb
Si lintegrale generalisee a
f (t)dt converge, alors a
f (t)dt aussi et on a
Z b Z b
f (t)dt = f (t)dt.
a a

10
b) Int egration par parties. Attention, il se peut que les integrales
Rb Rb Rb
generalisees a f (t)dt et a g(t)dt convergent, mais pas a f (t)g(t)dt : prendre
R1 R1
par exemple f (t) = g(t) = 1t ; alors on a vu que 0 f (t)dt = 0 g(t)dt
R1 R1
convergent, mais 0 f (t)g(t)dt = 0 1t dt diverge. Quand on a affaire a` un
produit, on peut souvent se ramener `a une integrale dont la convergence est
plus facile `a etudier en faisant une integration par parties. Noter que pour
cela, on ne travaille pas directement avec la (ou les) borne de lintegrales
generalisee en laquelle la fonction sous lintegrale nest pas definie, mais on
la remplace par un param`etre x quon fait ensuite tendre `a la fin vers ladite
borne.

Exemple 2.11 On se demande si lintegrale


Z +
cos t
I= dt
1 t
converge. Pour cela, on ecrit
Z x Z x Z x
cos t sin t x sin t sin x sin t
dt = [ ]1 + dt = sin 1 + dt.
1 t t 1 t2 x 1 t2
Comme sinx x tend vers 0 en + (sa valeur absolue est majoree par 1/x), on
obtient que lintegrale I est de meme nature que lintegrale
Z +
sin t
J= dt.
1 t2
Nous verrons un peu plus loin (exemple 2.23, a) que J converge (lapparition
de t2 au lieu de t au denominateur permettra de montrer cette convergence
par majoration de la valeur absolue de sin
t2
t
).

c) Changement de variables. L`a encore, on peut se ramener au cas


du changement de variable dans les integrales habituelles en utilisant un
param`etre x. Il existe un theor`eme de changement de variables pour les
integrales generalisees, mais il necessite que la fonction qui realise le change-
ment de variable soit bijective. Plus precisement, lenonce est le suivant :

Theor` eme 2.12 Soient a, des reels. Soit R (ou encore = +).
Soit f une application continue de [a, +[ dans R. Soit une bijection
C 1 de [, [ dans [a, +[, avec () = a et limt (t) = + (en par-
R +
ticulier est strictement croissante). Alors les integrales a f (x)dx et
R

f ((t)).(t)dt sont de meme nature, et ont meme valeur si elles sont
convergentes.

11
R +
Par exemple si a > 0, alors x2dx+a converge, et en faisant le changement

de variable x = a t, on obtient
Z + Z +
dx a arctan t +
2
= 2
dt = [ ] = .
x + a a(t + 1) a a

2.3. Crit`
eres de convergence
Il sagit ici de determiner si une integrale generalisee converge, sans quon
soit forcement capable de la calculer, donc typiquement quand on ne sait pas
trouver une primitive de la fonction `a integrer.
a) Cas dune fonction positive. La premi`ere observation est la propo-
sition suivante :

Proposition 2.13 Soit f : [a, +[ R une fonction continue.R On suppose


x
que f (t) 0 pour tout t [a, +[. Alors la fonction F (x) = a f (t) dt est
croissante sur [a, +[.
Ry
Demonstration : On observe que si y x, alors F (y)F (x) = x f (t) dt
par la relation de Chasles, et ce dernier nombre est 0 par la propriete de
positivite de lintegrale. Ainsi y x implique F (y) F (x), ce qui signifie
que F est croissante.

Corollaire 2.14 Soit f : [a, +[ R Rune fonction continue avec f (t) 0


+
pour tout t [a, +[.RAlors lintegrale a f (t) dt converge si et seulement
x
si la fonction F (x) = a f (t) dt est majoree sur [a, +[.

En effet, comme F est croissante, elle admet une limite en + si et


seulement si elle est majoree. Noter que si ce nest pas le cas, la limite de
F (x) en + est alors +.
On va deduire du corollaire precedent limportant crit`ere de comparaison
suivant :

Theor` eme 2.15 Soient f : [a, +[ R et g : f : [a, +[ deux fonctions


continues. On suppose que pour tout t [a, +[,R on a 0 f (t) g(t).
R + +
Alors si a g(t) dt converge, il en va de meme de a f (t) dt.

12
R + R +
Demonstration : Pour tout x a, on a a f (t) dt a g(t) dt
R +
puisque f (t) g(t) sur [a, +[. Si a g(t) dt converge, on a alors, pour
tout x a : Z x Z x
f (t) dt g(t) dt
a a
Rx R +
et comme a g(t) dt est majoree puisque a g(t) dt converge, il en va de
Rx R +
meme de a f (t) dt. Ainsi a f (t) dt converge dapr`es le corollaire 2.14.

Remarque R + 2.16 a) Avec lhypoth` ese 0 f (t) g(t), on deduit de meme


R +
que si a f (t) dt diverge, alors a g(t) dt diverge aussi.
b) Il suffit davoir linegalite 0 f (t) g(t) sur un intervalle du type
R +
[b, +[ avec b a, puisque la convergence de lintegrale a f (t) dt equivaut
R +
`a celle de b f (t) dt (et de meme pour g).
c) On a bien entendu le meme crit`ere pour des integrales generalisees
Rb
a
f (t) dt, quand a, b R et f, g sont des fonctions continues sur [a, b[ ou
]a, b].
d) Attention, ce crit`ere de comparaison ne marche que pour des fonctions
`a valeurs reelles
R + positives. Par exemple la fonctionR +t est majoree par 0 sur
[0, +[, or 0 t dt ne converge pas alors que 0 0 dt converge !
R + 2 2
Exemple 2.17 a) Lintegrale J = 0 et dt converge car et et pour
R + t R x t
tout t 1, et 0 e dt converge vu que 0 e dt = 1 ex , dont la limite
2
en + est 1. Noter quil a suffi ici davoir la majoration et et sur
[1, +[, puisque cest au voisinage de + que se posait la question de la
convergence de J.
R +
b) Lintegrale I = 0 t31+1 dt converge car t31+1 t13 , et on a vu que
R + 1 R + 1
1 t3 dt converge, donc 1 t3 +1
dt aussi. Or la convergence de I equivaut
R + 1
`a celle de 1 t3 +1 dt car sur [0, 1], la fonction t 7 t31+1 est definie et continue
(il ny a donc pas de probl`eme en 0 pour I).

On deduit du theor`eme 2.15 lautre crit`ere de comparaison suivant. On


fera bien attention au fait que l`a encore, il ne sapplique quaux fonctions
positives.

Theor` eme 2.18 Soient f et g des fonctions continues de [a, +[ dans R.


On suppose f (t) 0, g(t) > 0, et limt+ fg(t) (t)
= l avec l 6= 0. Alors
R + R +
lintegrale a f (t) dt converge si et seulement si a g(t) dt converge.

13
Demonstration : On a l > 0 car on a suppose l 6= 0, et on sait aussi que
l 0 vu que fg(t)
(t)
0 pour tout t. Choisissons > 0 tel que 0 < l , par
exemple = l/2. Par definition dune limite, il existe alors b a, tel que
pour tout t b, on ait
f (t)
0 < (l ) (l + ).
g(t)
On en deduit que pour tout t b :
f (t)
0 g(t) .
l
R + R + (t)
Ainsi, si a f (t) dt converge, alors a fl dt converge (on a juste multiplie
R +
par une constante), et alors a g(t) dt converge via le crit`ere de comparaison
R +
du theor`eme 2.15. De meme, si on suppose que a g(t) dt converge, alors
linegalite (valable pour tout t b) :

0 f (t) g(t)(l + )
R +
montre que a
f (t) dt converge.

Remarque 2.19 a) On a bien entendu le meme crit`ere pour des integrales


Rb
generalisees du type a f (t) dt, o`
u a, b R.
b) Attention, il est essentiel de supposerR l 0 dans le theor`eme prec
Re+
dent.
+ dt
Par exemple t/t tend vers 0 en +, mais 1 t2 converge tandis que 1 dtt
2

diverge.
c) On utilise souvent
R + ce crit`ereRsous la forme : si f 0 et si f + g,
+
alors les integrales a f (t) dt et a g(t) dt sont de meme nature (toutes
les deux convergentes ou toutes les deux divergentes). Ici f + g se lit
f est equivalent `a g en +, cela signifie que fg tend vers 1 en +, ou
encore que f g est negligeable devant f en +, ce quon peut aussi ecrire
(f g) = o(f ) (en +). Rappelons que la notation (f g) = o(f ) signifie
quon peut ecrire f (t) g(t) = f (t).(t), o` u (t) est une fonction tendant
vers 0.
R +
Exemple 2.20 a) Lintegrale 1 et (2 + sin t/t) dt est convergente. En
R +
effet 1 et dt converge, et

et (2 + sin t/t)
lim = 2.
t+ et

14
R1
t
b) Lintegrale 0 ln(1+t)
dt est convergente. En effet, on a

ln(1 + t)
lim+ =1
t0 t
(ce qui sobtient en faisant un developpement limite dordre 1 de ln(1 + t),
ou encore en remarquant que sa derivee en 0 est 1). Ainsi, on a

t t 1
0+ = .
ln(1 + t) t t
R1
t
Or ln(1+t) 0 sur ]0, 1] et 0 1t dt converge. On conclut avec le theor`eme 2.18.

Remarque 2.21 R(Difficile...). Attention, on peut parfois avoir f (t) 0


+
sur [a, +[, avec a f (t) dt convergente, sans que f tende vers 0 en +.
On peut en effet trouver une fonction continue f qui vaut 0 en dehors des
intervalles de la forme ]n, n+ n13 [ avec n N , et vaut n au milieu an de chacun
de ces intervalles en etant affine sur [n, an ] et [an , n13 ]. Graphiquement, f est
representee par une suite de triangles montant de plus en plus hautR mais de
x
base de plus en plus petite. Alors f na pas de limite en +, mais 0 f (t) dt
est majoree par
1 1 1
.(1 + 2 + ... + 2 + ...)
2 2 n
(utiliser par exemple la formule de laire dun triangle : la moitie du produit
de la base par la hauteur, ici la base vaut n13 et la hauteur n). Or cette somme
est majoree comme on la dej`a vu (voir aussi le chapitre sur les series).
R +
Si on sait dej`a que f a une limite l en + et que a f (t) dt converge,
on peut par contre en deduire que l = 0. En effet si par exemple l > 0, on
pourrait trouver > 0 avecR l > 0, et b a tels que pourR tout t b, on
+ +
ait f (t) l > 0. Alors b (l ) dt diverge, donc aussi b f (t) dt par
comparaison, do` u une contradiction.

b). Cas de lint egrale dune fonction qui nest pas forc ement
positive. Cest a priori plus difficile, car on ne peut pas appliquer directe-
ment les theor`emes de comparaison precedents. On peut parfois se ramener
au cas dune fonction positive grace `a la notion de convergence absolue du
theor`eme suivant :

Theor` eme 2.22 Soit f : [a, +[ R (f peut aussi etre `a valeurs com-
plexes en remplacant la valeur absolueR ci-dessous par le module) une fonction
+
continue. Si lintegrale generalisee a |f (t)| dt converge, alors lintegrale

15
R +
I := a f (t) dt converge egalement, et on dit dans ce cas que I converge
absolument.
Rb La meme chose est valable pour les integrales generalisees du
type a f (t) dt, quand f est supposee continue sur [a, b[ ou ]a, b].
R + sin t
Exemple 2.23 a) Lintegrale 1 t2
dt converge absolument. En effet :

sin t 1
| 2
| 2
t t
R +
pour tout t 1, et on sait que 1 t12 dt converge, ce qui permet de conclure
avec le theor`eme 2.15.
R1
b) Lintegrale 0 sin(1/t)
ln(1+t)
t
dt converge absolument. En effet

sin(1/t) t t
| |
ln(1 + t) ln(1 + t)
R1
t
et on a vu dans lexemple 2.20 b) que dt etait convergente.
0 ln(1+t)
R +
c) On deduit de a) et du calcul de lexemple 2.11 que lintegrale 1 cost t dt
R +
converge. Le meme procede donne que 1 sint t dt converge. Par contre
ces integrales ne sont pas absolument
R + sin tconvergentes. Ce nest pas evident a`
voir, examinons par exemple 1 | t | dt. Sur tout intervalle de la forme
[n, (n + 1)] avec n N , on a un intervalle [an , bn ] [n, (n + 1)], de
longueur 2/3, sur lequel | sin t| 1/2 (faire un dessin !). Ainsi, comme la
fonction dans lintegrale est 0 et 1/t 1/bn sur lintervalle [an , bn ], on a
(n+1) bn
sin t sin t 1 1
Z Z
| | dt | | dt (2/3).(1/2) .
n t an t bn 3(n + 1)

Avec la relation de Chasles, on obtient finalement


(n+1) n
sin t 1
Z X
| | dt .
0 t 3(n + 1)
k=1

Mais on sait que nk=1 3(n+1) 1


P
tend vers + quand n tend vers +, donc
R (n+1) sin t
Rlintegrale 0
x sin t
| t | dt ne peut pas etre convergente puisque la fonction
0
| t
| dt nest pas majoree.

16