13

Intgrales gnralises
Pour ce chapitre, les fonctions considres sont a priori dnies sur un intervalle rel I non
rduit un point, valeurs relles ou complexes et continues par morceaux.
La dnition et les proprits de lintgrale de Riemann sur un segment sont supposes
acquises. Ces intgrales de Riemann sur un segment sont aussi appeles intgrales dnies.
13.1 Dnitions et exemples dintgrales gnralises
Dans un premier temps, on se donne un intervalle rel I = [a, b[ avec < a < b + et
une fonction f : [a, b[ R (ou C) continue par morceaux.
On rappelle tout dabord la dnition dune fonction continue par morceaux sur lintervalle
I.
Dnition 13.1 On dit quune fonction f dnie sur lintervalle I est continue par morceaux
sur cet intervalle sil existe une subdivision
a
0
= a < a
1
< < a
p
< a
p+1
= b
telle que la fonction f soit continue chacun des intervalle ]a
k
, a
k+1
[ (0 k p) et admette une
limite droite en a et des limites droite et gauche en chacun des points a
k
(1 k p).
Avec les notations de cette dnition, la restriction de la fonction f lintervalle ]a
p
, b[ se
prolonge en une fonction continue sur [a
p
, b[ et pour tout entier k compris entre 0 et p 1,
la restriction de la fonction f lintervalle ]a
k
, a
k+1
[ se prolonge en une fonction continue sur
[a
k
, a
k+1
] .
Une fonction continue par morceaux sur I est donc en particulier localement intgrable sur
cet intervalle, ce qui signie quelle est intgrable sur tout segment [, ] I.
Si f est continue par morceaux sur I, on peut dnir sa primitive F nulle en a, cest--dire
la fonction dnie sur [a, b[ par :
x [a, b[ , F (x) =
_
x
a
f (t) dt.
Prcisment, pour x [a
0
, a
1
[ , on a :
F (x) =
_
x
a
0
f (t) dt
245
246 Intgrales gnralises
et pour x [a
k
, a
k+1
[ avec k compris entre 1 et p, on a :
F (x) =
k1

j=0
_
a
j+1
a
j
f (t) dt +
_
x
a
k
f (t) dt.
Dnition 13.2 Avec les notations qui prcdent on dit que lintgrale de f sur [a, b[ est conver-
gente, si la fonction F admet une limite nie quand x tend vers b dans I. Dans ce cas on note
_
b
a
f (t) dt cette limite.
Le scalaire ainsi dni est appel lintgrale gnralise (ou impropre) de f sur [a, b[ .
Dans le cas o F na pas de limite nie en b on dit que lintgrale de f sur [a, b[ est divergente.
On a donc, en cas de convergence :
_
b
a
f (t) dt = lim
xb
_
x
a
f (t) dt.
Remarque 13.1 Si f : [a, b[ R (ou C) est une fonction continue par morceaux et si c [a, b[
alors lintgrale de f est convergente sur [a, b[ si, et seulement si, lintgrale de f est convergente
sur [c, b[ (le problme de la convergence se pose en b) et dans ce cas, on a :
_
b
a
f (t) dt =
_
c
a
f (t) dt +
_
b
c
f (t) dt.
Cela rsulte immdiatement de la relation de Chasles pour les intgrales dnies :
x ]a, b[ ,
_
x
a
f (t) dt =
_
c
a
f (t) dt +
_
x
c
f (t) dt.
On dnit de manire analogue lintgrale dune fonction f valeurs relles ou complexes
dnie sur un intervalle ]a, b] avec a < b < + et continue par morceaux sur cet
intervalle par :
_
b
a
f (t) dt = lim
xa
_
b
x
f (t) dt
quand cette dernire limite existe.
Dans le cas dune fonction f dnie sur un intervalle ]a, b[ avec a < b + (et
toujours continue par morceaux), on dit que lintgrale de f est convergente sur ]a, b[ si pour
tout c dans ]a, b[ chacune des intgrales
_
c
a
f (t) dt et
_
b
c
f (t) dt est convergente. Dans ce cas
la somme de ces intgrales impropres ne dpend pas de c, ce qui permet de dnir lintgrale
gnralise de f sur ]a, b[ par :
_
b
a
f (t) dt =
_
c
a
f (t) dt +
_
b
c
f (t) dt
= lim
xa
_
b
x
f (t) dt + lim
yb
_
y
a
f (t) dt.
Le lemme qui suit justie larmation prcdente et nous dit aussi quil sut de vrier la
convergence des intgrales
_
c
a
f (t) dt et
_
b
c
f (t) dt pour une valeur de c.
Dnitions et exemples dintgrales gnralises 247
Lemme 13.1 Si, avec les notations qui prcdent, il existe un rel c ]a, b[ tel que les intgrales
_
c
a
f (t) dt et
_
b
c
f (t) dt soient convergentes, alors lintgrale de f sur ]a, b[ est convergente et
pour tout rel d ]a, b[ , on a :
_
d
a
f (t) dt +
_
b
d
f (t) dt =
_
c
a
f (t) dt +
_
b
c
f (t) dt.
Dmonstration. Il sut dutiliser la relation de Chasles pour les intgrales dnies.
Par abus de langage, lexpression tudier la nature de
_
b
a
f (t) dt , sans savoir si cette
intgrale converge ou non est un raccourci pour tudier la convergence de lintgrale de f sur
]a, b[ .
Remarque 13.2 Il faut bien noter que la divergence de lune des deux intgrales
_
c
a
f (t) dt et
_
b
c
f (t) dt quivaut la divergence de
_
b
a
f (t) dt.
Remarque 13.3 Dans le cas o a = et b = + lexistence de lim
x+
_
x
x
f (t) dt ne
prouve pas la convergence de lintgrale de f sur ], +[ . Par exemple pour f (t) = t on a
_
x
x
f (t) dt = 0 pour tout x > 0 et pourtant lintgrale diverge. En eet lim
x+
_
x
0
f (t) dt = +.
Pour prouver la convergence de lintgrale de f sur ], +[ on doit prouver indpendamment
la convergence de lim
x+
_
0
x
f (t) dt et lim
x+
_
x
0
f (t) dt.
Exercice 13.1 Montrer que lintgrale de f : t e
t
est convergente sur [0, +[ et que
_
+
0
e
t
dt = 1.
Solution 13.1 Pour tout x > 0 on a :
F (x) =
_
x
0
e
t
dt = 1 e
x

x+
1.
Exercice 13.2 Montrer que lintgrale de f : t
1
1 + t
2
est convergente sur [0, +[ et
_
+
0
dt
1 + t
2
=

2
.
Solution 13.2 Pour tout x > 0 on a :
F (x) =
_
x
0
dt
1 + t
2
= arctan (x)
x+

2
.
Exercice 13.3 Montrer que lintgrale de f : t
1

t
est convergente sur ]0, 1] et
_
1
0
dt

t
= 2.
Solution 13.3 Pour tout x ]0, 1] on a :
F (x) =
_
1
x
dt

t
= 2 2

x
x0
2.
248 Intgrales gnralises
Exercice 13.4 Montrer que lintgrale de f : t
1
t
2
est divergente sur ]0, 1] .
Solution 13.4 Pour tout x ]0, 1] on a :
F (x) =
_
1
x
dt
t
2
=
1
x
1
x0
+
+.
Exercice 13.5 Montrer que lintgrale de f : t sin (t) est divergente sur [0, +[ .
Solution 13.5 Pour tout x > 0 on a :
F (x) =
_
x
0
sin (t) dt = 1 cos (x)
et la fonction cos na pas de limite linni.
Exercice 13.6 Montrer que lintgrale de f : t ln (t) est convergente sur ]0, 1] et
_
1
0
ln (t) dt =
1.
Solution 13.6 On a :
_
1
x
ln (t) dt = 1 x ln (t) + x
x0
1.
Exercice 13.7 Montrer que lintgrale de f : t
_
1
1 e
t
+ ln (t)
1
t
_
e
t
est convergente
sur ]0, +[ et
_
+
0
f (t) dt = 0.
Solution 13.7 Une primitive de f (t) =
e
t
1 e
t

_
e
t
ln (t) + e
t
1
t
_
est :
F (t) = ln
_
1 e
t
_
e
t
ln (t) = ln
_
1 e
t
t
_
+ ln (t)
_
1 e
t
_
et on a :
lim
t+
F (t) = 0 et lim
t0
F (t) = 0
ce qui donne
_
+
0
f (t) dt = 0.
Exercice 13.8 Montrer que lintgrale de f : t
1

1 t
2
est convergente sur ]1, 1[ et
_
1
1
1

1 t
2
dt = .
Solution 13.8 Pour tout x [0, 1[ on a :
F (x) =
_
x
0
1

1 t
2
dt = arcsin (x)
x1

2
et par parit, pour y ]1, 0] :
G(y) =
_
0
y
1

1 t
2
dt =
_
y
0
1

1 u
2
du = arcsin (y)
y1

2
ce qui donne le rsultat annonc.
Dnitions et exemples dintgrales gnralises 249
Largument de parit utilis avec lexercice prcdent est gnral. Prcisment, on a le rsultat
suivant.
Thorme 13.1 Soit f une fonction valeurs relles ou complexes dnie et continue par
morceaux sur un intervalle ]a, a[ avec 0 < a +. Si f est paire [resp. impaire], alors
_
a
a
f (t) dt est convergente si, et seulement si,
_
a
0
f (t) dt lest. En cas de convergence, on a
pour f paire :
_
a
a
f (t) dt = 2
_
a
0
f (t) dt.
et pour f est impaire :
_
a
a
f (t) dt = 0.
Dmonstration. Supposons tout dabord f paire.
La condition ncessaire est une consquence immdiate des dnitions.
Si
_
a
0
f (t) dt converge, alors la fonction F dnie sur ]0, a[ par F (x) =
_
x
0
f (t) dt a une
limite nie en a. Notons cette limite. Pour y ]a, 0[ , le changement de variable u = t
donne :
G(y) =
_
0
y
f (t) dt =
_
y
0
f (u) dt = F (y)
ya

et le rsultat annonc.
Pour f impaire, on a G(y) = F (y)
ya
et
_
a
a
f (t) dt = 0.
Dans le cas o la fonction f, dnie sur [a, b[ avec b ni, admet une limite nie en b, le
problme de convergence de lintgrale est un faux problme. En eet, en posant f (b) = la
fonction f se prolonge par continuit en b et dsignant par F la primitive nulle en a de la
fonction continue par morceaux f sur [a, b] , la fonction F est continue en b et on a :
lim
xb
_
x
a
f (t) dt = lim
xb
F (x) F (a) = F (b) F (a) =
_
b
a
f (t) dt
la dernire intgrale tant une intgrale de Riemann.
Exercice 13.9 Soit un nombre complexe. tudier la nature de lintgrale
_
+
0
e
x
dx en
prcisant sa valeur en cas de convergence.
Solution 13.9 Soit F la primitive de f dnie sur ]0, +[ par :
F (x) =
_
x
0
e
t
dt =
_
_
_
x si = 0
e
x
1

si ,= 0
Pour = 0, on a lim
x+
F (x) = + et lintgrale diverge.
Pour '() > 0, on a :
[F (x)[ =

e
x

1 e
x

e
x

e
x

=
e
()x
[[
_
1 e
()x
_

x+
+
250 Intgrales gnralises
et lintgrale diverge.
Pour '() < 0, on a :

e
x

=
e
()x
[[

x+
0
et lintgrale converge vers
1

.
Il reste considrer le cas o '() = 0, soit le cas o = iy avec y R

( = 0 est dj
tudi). Dans ce cas lintgrale diverge puisque la fonction : x e
iyx
na pas de limite
linni (la suite
_

_
n
y
__
n1
= (e
in
)
n1
= ((1)
n
)
n1
est divergente).
Exercice 13.10 Soit f (
0
(R; R) telle que lim
x+
f (x) = et lim
x
f (x) =

.
1. Existence et calcul de
_
+

(f (t + 1) f (t)) dt.
2. Calcul de
_
+

(arctan (t + 1) arctan (t)) dt.

Solution 13.10
1. En notant F (x) =
_
x
0
f (t) dt pour x > 0 et en utilisant le thorme des accroissements
nis, on a :
_
x
0
(f (t + 1) f (t)) dt = [F (t + 1) F (t)]
x
0
= F (x + 1) F (x) F (1)
= f (c
x
) F (1)
o c
x
]x, x + 1[ . Et faisant tendre x vers +, on en dduit que :
_
+
0
(f (t + 1) f (t)) dt = F (1) .
De manire analogue, on vrie que :
_
0

(f (t + 1) f (t)) dt = F (1)

et :
_
+

(f (t + 1) f (t)) dt =

.
2. Avec f (t) = arctan (t)
t

2
, on dduit que :
_
+

(arctan (t + 1) arctan (t)) dt = .

Les intgrales de Riemann 251
13.2 Les intgrales de Riemann
Une famille importante dintgrales gnralises est donne par celle des intgrales de Rie-
mann.
Thorme 13.2 Soient un rel et f la fonction dnie sur ]0, +[ par :
f : t
1
t

.
1. Lintgrale de f sur [1, +[ est convergente si, et seulement si, > 1 avec :
> 1,
_
+
1
dt
t

=
1
1
.
2. Lintgrale de f sur ]0, 1] est convergente si, et seulement si, < 1 avec :
< 1,
_
1
0
dt
t

=
1
1
.
Dmonstration.
1. Pour x > 1 on a :
_
x
1
dt
t

=
_
_
_
1
1
_
1
x
1
1
_
si ,= 1,
ln (x) si = 1.
et en consquence :
lim
x+
_
x
1
dt
t

=
_
1
1
si > 1,
+ si 1.
2. De mme pour 0 < x < 1 on a :
_
1
x
dt
t

=
_
_
_
1
1
_
1
1
x
1
_
si ,= 1,
ln (x) si = 1.
et :
lim
x+
_
1
x
dt
t

=
_
1
1
si < 1,
+ si 1.
Remarque 13.4 On pourra noter lanalogie entre les intgrales de Riemann sur [1, +[ et les
sries de Riemann.
Remarque 13.5 Lintgrale
_
+
0
dt
t

est divergente quel que soit le rel .

On peut montrer de manire analogue (ou en eectuant le changement de variable u = b t
[resp. u = t a]) que pour a < b et dans R lintgrale de f : t
1
(b t)

[resp. f : t
1
(t a)

] sur [a, b[ est convergente si, et seulement si, < 1 avec :

< 1,
_
b
a
dt
(b t)

=
_
b
a
dt
(t a)

=
1
1
1
(b a)
1
.
252 Intgrales gnralises
Par exemple, pour a = 0, b = 1 et =
1
2
, on a :
_
1
0
dt

1 t
= 2.
13.3 Oprations sur les intgrales gnralises
On se place sur I = [a, b[ et se donne deux fonctions f et g continues par morceaux sur cet
intervalle.
Thorme 13.3 Si les intgrales de f et g sur I sont convergentes, il en est alors de mme
de lintgrale des fonction f et f + g pour tout nombre complexe et on a :
_
b
a
f (x) dx =
_
b
a
f (x) dx
_
b
a
(f (x) + g (x)) dx =
_
b
a
f (x) dx +
_
b
a
g (x) dx.
Si
_
b
a
f (x) dx converge et
_
b
a
g (x) dx diverge, alors
_
b
a
(f (x) + g (x)) dx diverge.
Dmonstration. Rsulte immdiatement des rsultats relatifs aux oprations sur les limites.
Pour ce qui est de la somme de deux intgrales divergentes, on ne peut rien dire a priori
comme le montre lexemple des fonctions f (x) =
1
x
2
, f (x) =
1
x
2
et f (x) =
1
x
2
, f (x) =
1
x
2
sur ]0, 1] .
Pour ce qui est du produit des deux fonctions f et g dintgrales convergentes, on ne peut
rien dire a priori comme le montre lexemple des fonctions f (x) = 1, g (x) =
1

x
et f (x) =
1

x
,
g (x) =
1

x
sur ]0, 1] .
Corollaire 13.1 Si f est valeurs complexes, alors
_
b
a
f (x) dx est convergente si, et seulement
si, les intgrales
_
b
a
'(f) (x) dx et
_
b
a
(f) (x) dx sont convergentes et en cas de convergence,
on a :
_
b
a
f (x) dx =
_
b
a
'(f) (x) dx + i
_
b
a
(f) (x) dx.
Dmonstration. Rsulte de f = '(f) + i(f) et de '(f) =
f + f
2
, (f) =
f f
2i
.
Exercice 13.11 Soient a, b deux nombres rels. tudier la nature de lintgrale
_
+
0
e
at
cos (bt) dt
en prcisant sa valeur en cas de convergence.
Oprations sur les intgrales gnralises 253
Solution 13.11 Pour b = 0, lexercice 13.9 nous dit que cette intgrale converge si, et seule-
ment si a < 0.
Pour b ,= 0, le changement de variable t = u

2b
nous dit que cette intgrale converge si, et
seulement lintgrale e
a

2b
_
+

2b
e
a
cos
_
bu

2
_
du converge, ce qui est encore quivalent dire
que lintgrale
_
+
0
e
at
sin (bt) dt converge.
En notant = a + ib, on a :
e
at
cos (bt) = '
_
e
t
_
, e
at
sin (bt) =
_
e
t
_
et utilisant le rsultat de lexercice 13.9, on dduit que lintgrale
_
+
0
e
at
cos (bt) dt converge
si, et seulement si a < 0.
Pour a < 0 et b R, on a alors :
_
+
0
e
at
cos (bt) dt = '
__
+
0
e
t
dt
_
= '
_

_
=
a
a
2
+ b
2
.
Lutilisation du thorme dintgration par parties ou du thorme de changement de variable
pour les intgrales dnies est parfois utile pour justier la convergence dune intgrale.
Thorme 13.4 (Intgration par parties) Si f, g sont de classe (
1
sur I et si lim
xb
f (x) g (x)
existe, alors les intgrales
_
b
a
f

(x) g (x) dx et
_
b
a
f (x) g

(x) dx sont de mme nature et en cas

de convergence, on a :
_
b
a
f (x) g

(x) dx = lim
xb
f (x) g (x) f (a) g (a)
_
b
a
f

(x) g (x) dx.

Dmonstration. Le thorme usuel dintgration par parties nous permet dcrire pour
tout x I :
_
x
a
f (t) g

(t) dt = f (x) g (x) f (a) g (a)

_
x
a
f

(t) g (t) dt
et avec lhypothse lim
xb
f (x) g (x) = , on dduit le rsultat annonc.
Dans la pratique il est prfrable de reprendre la dmonstration de ce thorme sur lintgrale
tudie en eectuant une intgration parties sur [a, x] puis en passant la limite.
Exercice 13.12 Montrer que
_
+
0
t
n
e
t
dt est convergente et calculer sa valeur I
n
pour tout
n N.
Solution 13.12 On a
I
0
=
_
+
0
e
t
dt = 1.
et une intgration par parties nous montre que I
n+1
= (n + 1) I
n
, ce qui donne I
n
= n!.
Exercice 13.13 Montrer que lintgrale
_
1
0
ln (t)
(1 + t)
2
dt converge et calculer sa valeur.
254 Intgrales gnralises
Solution 13.13 Une intgration par parties nous donne pour x ]0, 1] :
F (x) =
_
1
x
ln (t)
(1 + t)
2
dt =
_

ln (t)
1 + t
_
1
x
+
_
1
x
dt
t (1 + t)
=
_
ln
_
t
1 + t
_

ln (t)
1 + t
_
1
x
= ln (2) ln
_
x
1 + x
_
+
ln (x)
1 + x

x0
ln (2) .
Exercice 13.14 Montrer que lintgrale
_
+
0
arctan (t
2
)
t
2
dt converge et calculer sa valeur.
Solution 13.14 Avec lim
10
arctan (t
2
)
t
2
= 1, on prolonge par continuit en 0 la fonction intgrer
et le seul problme de convergence est linni.
Une intgration par parties nous donne pour x > 0 :
F (x) =
_
x
0
arctan (t
2
)
t
2
dt =
_

arctan (t
2
)
t
_
x
0
+ 2
_
x
0
dt
1 + t
4
=
arctan (x
2
)
x
+ 2
_
x
0
dt
1 + t
4
(la fonction g : t
arctan (t
2
)
t
se prolonge aussi par continuit en 0 avec g (0) = 0) et la
dcomposition en lments simples de
1
1 + t
4
=
1
(1 + t
2
)
2
2t
2
donne I =
1
2

2 (les dtails
sont laisss au lecteur).
Thorme 13.5 (Changement de variable) Soient un (
1
-diomorphisme croissant de
J = [, [ sur I = [a, b[ et f une application continue sur lintervalle I valeurs relles ou
complexes. Les intgrales
_

f ((t))

(t) dt et
_
b
a
f (x) dx sont de mme nature et en cas de
convergence, on a :
_
b
a
f (x) dx =
_

f ((t))

(t) dt.
Dmonstration. On dsigne respectivement par F et G, la primitive de f sur I nulle en a
et la primitive de (f )

sur J nulle en .
Avec (F )

= (f )

= G

et F () = F (a) = 0 = G() , on dduit que G = F .

Dire que
_
b
a
f (x) dx converge quivaut dire que F a une limite nie en b et avec lim
t
(t) =
b, on dduit que :
G(t) = F (t) = F ((t))
t
_
b
a
f (x) dx
ce qui signie que
_

f ((t))

(t) dt converge vers

_
b
a
f (x) dx.
Rciproquement si
_

f ((t))

(t) dt converge, alors G a une limite nie en et avec

lim
xb

1
(x) = ( est un homomorphisme), on dduit que :
F (x) = G
1
(x) = G
_

1
(x)
_

xb
_

f ((t))

(t) dt
Oprations sur les intgrales gnralises 255
ce qui signie que
_
b
a
f (x) dx converge vers
_

f ((t))

(t) dt.
Dans la pratique, on eectue le changement de variable sur lintgrale dnie
_
x
a
f (t) dt et
on passe la limite ensuite.
Exercice 13.15 Montrer que lintgrale
_
+
0
1

t + t
2
dt converge et calculer sa valeur.
Solution 13.15 Le changement de variable t = u
2
donne I = 2
_
+
0
du
1 + u
3
et une dcomposi-
tion en lments simples donne I =
4
9

3.
Exercice 13.16 Prouver la convergence et calculer
_
2
0
ln (sin (t)) dt.
Solution 13.16 Pour t > 0, on a :
f (t) = ln (sin (t)) = ln
_
sin (t)
t
_
+ ln (t)
avec lim
t0
+
ln
_
sin (t)
t
_
= ln (1) = 0, donc t ln
_
sin (t)
t
_
se prolonge par continuit en 0
et comme
_
2
0
ln (t) dt est convergente (exercice 13.6), on en dduit que
_
2
0
ln (sin (t)) dt est
convergente. Notons I la valeur de cette intgrale.
Le changement de variable u =

2
t nous donne pour 0 < x <

2
:
_
2
x
ln (sin (t)) dt =
_
2
x
0
ln (cos (t)) dt
x0
+
I
ce qui signie que
_
2
0
ln (cos (t)) dt = I.
On peut alors crire que :
2I =
_
2
0
ln (sin (t)) dt +
_
2
0
ln (cos (t)) dt
=
_
2
0
ln
_
sin (2t)
2
_
dt =
_
2
0
ln (sin (2t)) dt

2
ln (2) .
Le changement de variable u = 2t nous dit que
_

0
ln (sin (t)) dt est convergente et :
_
2
0
ln (sin (2t)) dt =
1
2
_

0
ln (sin (t)) dt
De mme, le changement de variable u =

2
t nous donne :
_

2
ln (sin (2t)) dt =
_
2
0
ln (cos (t)) dt = I.
256 Intgrales gnralises
On a donc en dnitive :
2I =
1
2
_

0
ln (sin (t)) dt

2
ln (2) = I

2
ln (2)
et I =

2
ln (2) .
Exercice 13.17 Soit f : [0, +[ R continue telle que lintgrale
_
+
1
f (t)
t
dt converge.
Pour 0 < a < b et 0 < x < y on pose :
F (x, y) =
_
y
x
f (at) f (bt)
t
dt
1. Montrer que :
F (x, y) =
_
bx
ax
f (t)
t
dt
_
by
ay
f (t)
t
dt
On note G(x) =
_
bx
ax
f (t)
t
dt et H (y) =
_
by
ay
f (t)
t
dt.
2. Montrer que lim
y+
H (y) = 0.
3. Montrer que
G(x) =
_
bx
ax
f (t) f (0)
t
dt + f (0) ln
_
b
a
_
4. Montrer que lim
x0
G(x) = f (0) ln
_
b
a
_
.
5. Montrer que :
_
+
0
f (at) f (bt)
t
dt = f (0) ln
_
b
a
_
Solution 13.17
1. Les changement de variables u = at et v = bt avec a > 0 et b > 0 donnent :
F (x, y) =
_
y
x
f (at)
t
dt
_
y
x
f (bt)
t
dt =
_
ay
ax
f (u)
u
du
_
by
bx
f (v)
v
dv
=
_
bx
ax
f (u)
u
du +
_
ay
bx
f (u)
u
du
_
ay
bx
f (v)
v
dv
_
by
ay
f (v)
v
dv
=
_
bx
ax
f (t)
t
dt
_
by
ay
f (t)
t
dt = G(x) H (y)
2. Avec la convergence de I =
_
+
1
f (t)
t
dt, on a :
H (y) =
_
by
1
f (t)
t
dt
_
ay
1
f (t)
t
dt
y+
I I = 0.
Oprations sur les intgrales gnralises 257
3. On a pour a > 0, b > 0 et x > 0 :
G(x) =
_
bx
ax
f (t)
t
dt =
_
bx
ax
f (t) f (0) + f (0)
t
dt
=
_
bx
ax
f (t) f (0)
t
dt + f (0) [ln (t)]
bx
ax
=
_
bx
ax
f (t) f (0)
t
dt + f (0) ln
_
b
a
_
4. Comme f est continue en 0, pour tout rel > 0, on peut trouver un rel > 0 tel que :
(0 < t < ) ([f (t) f (0)[ < )
et pour 0 < x <

b
, on a [ax, bx] ]0, [ de sorte que :

_
bx
ax
f (t) f (0)
t
dt

_
bx
ax
[f (t) f (0)[
t
dt
_
bx
ax
dt
t
= ln
_
b
a
_
,
ce qui prouve que lim
x0
_
bx
ax
f (t) f (0)
t
dt = 0 et lim
x0
G(x) = f (0) ln
_
b
a
_
.
5. Prenant x = 1 et y > 1, on a :
F (1, y) =
_
y
1
f (at) f (bt)
t
dt = G(1) H (y)
y+
G(1)
ce qui prouve que lintgrale
_
+
1
f (at) f (bt)
t
dt converge vers G(1) .
Puis prenant y = 1 et 0 < x < 1, on a :
F (1, y) =
_
1
x
f (at) f (bt)
t
dt = G(x) H (1)
x0
f (0) ln
_
b
a
_
H (1)
ce qui prouve que lintgrale
_
1
0
f (at) f (bt)
t
dt converge vers f (0) ln
_
b
a
_
H (1) .
Il en rsulte que
_
+
0
f (at) f (bt)
t
dt converge vers :
f (0) ln
_
b
a
_
+ G(1) H (1)
avec :
G(1) H (1) = F (1, 1) = 0.
On a donc bien :
_
+
0
f (at) f (bt)
t
dt = f (0) ln
_
b
a
_
.
Par exemple pour f (t) =
sin (t)
t
qui est bien continue en 0 avec
_
+
1
sin (t)
t
2
dt convergente,
on a en prenant a = 1 et b = 2 :
_
+
0
2 sin (t) sin (2t)
2t
2
dt = ln (2)
ou encore :
_
+
0
sin (t) (1 cos (t))
t
2
dt = ln (2)
258 Intgrales gnralises
Exercice 13.18 Soit f : ]0, +[ R continue telle que lim
x0
f (x) = et lim
x+
f (x) = . En
sinspirant de lexercice prcdent, montrer que pour 0 < a < b on a :
_
+
0
f (at) f (bt)
t
dt = ( ) ln
_
b
a
_
.
Solution 13.18 Pour 0 < x < y on pose :
F (x, y) =
_
y
x
f (at) f (bt)
t
dt
et on a :
F (x, y) =
_
bx
ax
f (t)
t
dt
_
by
ay
f (t)
t
dt = G(x) H (y)
Avec lim
x0
f (x) = , on dduit que :
lim
x0
G(x) = ln
_
b
a
_
et avec lim
x+
f (x) = , on dduit que :
lim
y+
H (y) = ln
_
b
a
_
Faisons le pour la deuxime limite : pour tout rel > 0, on peut trouver un rel M > 0 tel
que :
(t > M) ([f (t) [ < )
et pour y >
M
a
, on a [ay, by] ]M, +[ de sorte que :

_
by
ay
f (t)
t
dt

_
by
ay
[f (t) [
t
dt
_
by
ay
dt
t
= ln
_
b
a
_
,
ce qui prouve que lim
y+
_
by
ay
f (t)
t
dt = 0 et avec :
H (y) =
_
by
ay
f (t)
t
dt + ln
_
b
a
_
on en dduit que lim
y+
H (y) = ln
_
b
a
_
.
On conclut alors comme pour lexercice prcdent.
Prenant f (t) = arctan (t) , a = 1, b = 2, on obtient :
_
+
0
arctan (2t) arctan (t)
t
dt =

2
ln (2) .
Exercice 13.19 On considre pour (r, s) R
2
, lintgrale :
I
a
(r, s) =
_
1
a
x
r
_
ln
_
1
x
__
s
dx, o a ]0, 1[ .
Oprations sur les intgrales gnralises 259
1. Calculer la limite lim
x0
+
x
r
_
ln
_
1
x
__
s
suivant les valeurs de r et s.
2. Montrer que lintgrale
_
1
0
x
r
_
ln
_
1
x
__
s
dx si, et seulement si, r > 1 et s > 1.
On notera I (r, s) cette intgrale gnralise pour r > 1 et s > 1.
3. Si r > 1 et s > 1, montrer que :
I (r, s) =
_
+
0
e
(r+1)x
x
s
dx =
1
(r + 1)
s+1
I (0, s) .
4. Montrer que pour s > 0, I (0, s) = sI (0, s 1) .
5. En dduire la valeur de I (r, n) pour tout r > 1 et n N.
Solution 13.19
1. Le changement de variable x =
1
t
nous donne :
lim
x0
x
r
_
ln
_
1
x
__
s
= lim
t+
ln (t)
s
t
r
=
_

_
0 si r > 0 et s R
0 si r = 0 et s < 0
1 si r = s = 0
+ si r = 0 et s > 0
+ si r < 0 et s R
2. Lintgrale
_ 1
e
0
x
r
_
ln
_
1
x
__
s
dx =
_ 1
e
0
dx
x
r
[ln (x)[
s
est une intgrale de Bertrand et on sait quelle converge si, et seulement si r < 1 et
s R ou r = 1 et s > 1.
Le changement de variable t = ln (x) nous montre que lintgrale
_
1
1
e
dx
x
r
[ln (x)[
s
est
de mme nature que lintgrale
_
1
0
dt
e
(r+1)t
t
s
, cette dernire tant de mme nature que
lintgrale de Riemann
_
1
0
dt
t
s
, donc convergente uniquement pour s < 1.
En conclusion, lintgrale
_
1
0
x
r
_
ln
_
1
x
__
s
dx converge si, et seulement si, r > 1 et
s > 1.
3. En eectuant le changement de variable t = ln (x) , on a, pour r > 1 et s > 1 :
I (r, s) =
_
1
0
x
r
_
ln
_
1
x
__
s
dx =
_
+
0
e
(r+1)t
t
s
dt
et le changement de variable u = (r + 1) t, nous donne :
I (r, s) =
_
+
0
e
u
u
s
(r + 1)
s
du
r + 1
=
1
(r + 1)
s+1
I (0, s) .
4. Pour s > 0, une intgration par parties donne :
I (0, s) =
_
t
s
e
t

+
0
+ s
_
+
0
t
s1
e
t
dt = sI (0, s 1)
260 Intgrales gnralises
5. Avec I (0, n) = nI (0, n 1) pour tout entier n 1, on dduit par rcurrence que I (0, n) =
n!I (0, 0) = n!. Il en rsulte que :
I (r, n) =
1
(r + 1)
n+1
I (0, n) =
n!
(r + 1)
n+1
pour tout entier naturel n et tout rel r > 1.
13.4 Une condition ncessaire de convergence de
_
+
a
f (x) dx
On sait quune condition ncessaire de convergence dune srie numrique est que son terme
gnral tende vers 0.
Dans le cas des fonctions continues, la convergence de
_
+
a
f (x) dx nimplique pas nces-
sairement que f soit nulle linni comme le montre lexemple de lexercice qui suit.
Exercice 13.20 Soit f la fonction f ane par morceaux et continue sur [1, +[ telle que :
n 1, f
_
n +
1
2
_
= n
et :
n 1, f(n) = f(n +
1
2

1
n2
n
) = f(n +
1
2
+
1
n2
n
) = f(n + 1) = 0.
Montrer que
_
+
1
f (x) dx est convergente et que f nest pas nulle linni.
0 1 2 3 4 1
0
1
2
3
4
1
Fig. 13.1 y = f (x)
Une condition ncessaire de convergence de
_
+
a
f (x) dx 261
Solution 13.20 Pour tout rel x 2, on a, en notant [x] la partie entire de x :
F (x) =
_
x
1
f (x) dx
_
[x]+1
1
f (t) dt =
[x]

k=1
1
2
k
= 1
1
2
[x]
1.
La fonction F est donc croissante major sur R
+
et en consquence admet une limite nie en
+, ce qui signie que lintgrale
_
+
1
f (x) dx est convergente.
Comme lim
n+
f
_
n +
1
2
_
= +, la fonction f na pas de limite nie en +.
Avec lexercice 13.30, on donne un autre exemple de telle situation.
Dans le cas o la fonction f est uniformment continue sur R
+
, la condition lim
x+
f (x) = 0
est une condition ncessaire de convergence de lintgrale.
Thorme 13.6 Soit f une fonction uniformment continue sur I = [a, +[ . Si lintgrale
_
+
a
f (x) dx converge, on a alors lim
x+
f (x) = 0.
Dmonstration. Il sut de considrer le cas dune fonction f valeurs relles.
Dire que f ne tend pas vers 0 linni signie quon peut trouver un rel > 0 tel que :
n a, x
n
n [ [f (x
n
)[ .
Si on suppose de plus que f est uniformment continue sur I, il existe un rel > 0 tel que :
_
(x, y) I
2
et [x y[
_
[f (x) f (y)[

2
.
En particulier, on a pour tout n a :
t [x
n
, x
n
+ ]

2
f (t) f (x
n
)

2
.
Pour f (x
n
) > 0 (comme [f (x
n
)[ , f (x
n
) est non nul), on a :
t [x
n
, x
n
+ ] f (t) f (x
n
)

2


2
> 0
et pour f (x
n
) < 0, on a :
t [x
n
, x
n
+ ] f (t) f (x
n
) +

2

2
< 0
soit [f (t)[

2
pour tout t [x
n
, x
n
+ ] avec f de signe constant sur [x
n
, x
n
+ ] dans tous les
cas et :

_
x
n
+
x
n
f (t) dt

=
_
x
n
+
x
n
[f (t)[ dt

2
de sorte que F : x
_
x
a
f (t) dt ne peut avoir de limite nie linni et lintgrale
_
+
a
f (x) dx
diverge.
262 Intgrales gnralises
13.5 Cas des fonctions valeurs positives. Intgrales abso-
lument convergentes
On se place sur I = [a, b[ (avec < a < b +) et se donne une fonction f continue
par morceaux sur cet intervalle. On dsigne toujours par F : x
_
x
a
f (t) dt la primitive de f
nulle en a.
Thorme 13.7 Si f est valeurs positives et si
_
b
a
f (x) dx converge, alors
_
b
a
f (x) dx 0.
Dans le cas o f est continue sur I, lgalit
_
b
a
f (x) dx = 0 est ralise si, et seulement si, f
est identiquement nulle.
Dmonstration. Se dduit de la dnition, des proprits des limites et du rsultat analogue
sur les intgrales de Riemann des fonctions continues.
On rappelle que si F est une fonction croissante de I = [a, b[ dans R, elle admet alors une
limite nie en b si, et seulement si, elle est majore. Dans le cas o elle est majore, on a :
lim
xb
F (x) = sup
x[a,b[
F (x)
et dans le cas contraire, on a lim
xb
F (x) = +.
Comme consquence de ce rsultat, on a le suivant.
Thorme 13.8 Si f est valeurs positives, alors lintgrale de f sur [a, b[ est convergente si,
et seulement si, la fonction F est majore.
Dmonstration. Comme f est positive, la primitive F est une fonction croissante et elle a
une limite nie en b si, et seulement si, elle est majore.
Si F nest pas majore, on a alors lim
x+
F (x) = +.
Pour f valeurs positives : en cas de divergence on a
_
b
a
f (t) dt = lim
x+
F (x) = + et en
cas de convergence, on notera naturellement
_
b
a
f (t) dt < +.
Le cas dune fonction f valeurs positives se ramne celui dune fonction positive en
tudiant g = f.
On dduit du rsultat prcdent un thorme de comparaison analogue celui obtenu pour
les sries numriques.
Thorme 13.9 Soient f, g deux fonctions dnies, continues par morceaux sur [a, b[ , va-
leurs relles positives et telles que :
t [a, b[ , f (t) g (t) .
1. La convergence de lintgrale de g sur [a, b[ entrane la convergence de lintgrale de f sur
[a, b[ avec :
_
b
a
f (x) dx
_
b
a
g (x) dx.
Cas des fonctions valeurs positives. Intgrales absolument convergentes 263
2. La divergence de lintgrale de f sur [a, b[ entrane la divergence de lintgrale de g sur
[a, b[ .
Dmonstration. En notant F (x) =
_
x
a
f (t) dt et G(x) =
_
x
a
g (t) dt pour tout x dans
[a, b[ , on a F (x) G(x) pour tout x dans [a, b[ .
Si lintgrale de g sur [a, b[ est convergente la fonction G est alors borne et il en est de mme
de la fonction F de sorte que lintgrale de f sur [a, b[ est convergente.
Si lintgrale de f sur [a, b[ diverge alors lim
xb
F (x) = + et lim
xb
G(x) = + de sorte que
lintgrale de g sur [a, b[ est aussi divergente.
Exercice 13.21 tudier la nature de lintgrale
_
2
1
1
t
n
1
dt.
Solution 13.21 Pour t ]1, 2] , on a :
t
n
1 = (t 1)
n1

k=0
t
k
(t 1)
n1

k=0
2
k
= (t 1) (2
n
1)
donc 0 <
1
t
n
1

1
2
n
1
1
t 1
et lintgrale diverge comme
_
2
1
1
t 1
dt.
Exercice 13.22 Montrer que lintgrale de f : x e
x
2
est convergente sur ], +[ .
Solution 13.22 La fonction tant paire, il sut dtudier la convergence en +.
Pour tout t 1 on a t
2
t et :
F (x) =
_
x
0
e
t
2
dt =
_
1
0
e
t
2
dt +
_
x
1
e
t
2
dt

_
1
0
e
t
2
dt +
_
x
1
e
t
dt
_
1
0
e
t
2
dt + 1.
La fonction f tant positive, il en rsulte que F est croissante et majore, elle admet donc une
limite en +.
On montrera plus loin que :
_
+

e
t
2
dt =

.
Dnition 13.3 On dit que lintgrale de f sur [a, b[ ( valeurs relles ou complexes) est
absolument convergente si
_
b
a
[f (t)[ dt < +.
Comme pour les sries numrique, on dispose du rsultat suivant.
Thorme 13.10 Soit f une fonction continue par morceaux sur [a, b[ avec < a < b
+. Si lintgrale de f sur [a, b[ est absolument convergente elle est alors convergente et on a :

_
b
a
f (t) dt

_
b
a
[f (t)[ dt.
264 Intgrales gnralises
Dmonstration. On considre tout dabord le cas dune fonction f valeurs relles dint-
grale absolument convergente.
De [f[ f [f[ , on dduit que 0 g = f + [f[ 2 [f[ , ce qui implique la convergence
de
_
b
a
g (t) dt et celle de
_
b
a
f (t) dt puisque f = g [f[ .
Dans le cas dune fonction f valeurs complexes dintgrale gnralise absolument conver-
gente, on crit que f = u + iv, o u = '(f) , v = (f) et avec [u[ [f[ , [v[ [f[ , on dduit
que les intgrales de u et v sont absolument convergentes, donc convergentes et la convergence
de
_
b
a
f (t) dt suit.
Ce rsultat peut aussi se montrer en utilisant le critre de Cauchy pour les limites de fonctions
valeurs relles ou complexes.
Tout dabord voyons comment le critre de Cauchy pour les fonctions nous fournit un critre
de convergence des intgrales gnralises.
Thorme 13.11 Soient < a < b + et f une fonction continue par morceaux sur
[a, b[ . Lintgrale de f est convergente sur [a, b[ si et seulement si pour tout rel > 0 il existe
un rel c ]a, b[ tel que :
c < x < y < b

_
y
x
f (t) dt

< .
Dmonstration. Il sagit simplement du critre de Cauchy pour la fonction F qui nous
assure de lexistence de la limite en b.
Le thorme 13.10 peut alors se montrer comme suit.
Pour tous x < y dans [a, b[ on a :

_
y
x
f (t) dt

_
y
x
[f (t)[ dt.
De la convergence de
_
b
a
[f (t)[ dt on dduit que pour tout > 0 on peut trouver un rel c

dans [a, b[ tel que pour c

< x < y < b on ait

_
y
x
[f (t)[ dt < ce qui entrane

_
y
x
f (t) dt

< .
Le critre de Cauchy permet alors de conclure.
Exercice 13.23 Montrer que les intgrales
_
+
1
2t ln (t)
(1 + t
2
)
2
dt et
_
+
0
dt
ch (t)
convergent et cal-
culer leur valeur.
Solution 13.23 Au voisinage de linni, on a [f (t)[
2 ln (t)
t
3

2
t
2
, donc la premire intgrale
converge converge. Une intgration par parties nous donne pour x > 1 :
F (x) =
_
x
1
2t ln (t)
(1 + t
2
)
2
dt =
_

ln (t)
1 + t
2
_
x
1
+
_
x
1
dt
t (1 + t
2
)
=
_

ln (t)
1 + t
2
_
x
1
+
_
x
1
_
1
t

t
1 + t
2
_
dt
=
_
ln
_
t

1 + t
2
_

ln (t)
1 + t
2
_
x
1
Cas des fonctions valeurs positives. Intgrales absolument convergentes 265
et :
lim
x+
F (x) = ln
_
1

2
_
=
ln (2)
2
.
Au voisinage de linni, on a [f (t)[
2
e
t
, donc la deuxime intgrale converge. Le changement
de variable u = e
t
nous donne :
I = 2
_
+
0
du
1 + u
2
=

2
.
Exercice 13.24 Montrer que pour tout rel > 1 les intgrales
_
+
1
cos (t)
t

dt et
_
+
1
sin (t)
t

dt
sont absolument convergentes.
Solution 13.24 Rsulte immdiatement de la convergence des intgrales de Riemann linni
pour > 1 et de :
t 1,

cos (t)
t

1
t

et

sin (t)
t

1
t

.
Exercice 13.25 Montrer que pour tout rel > 0 les intgrales
_
+
1
cos (t)
t

dt et
_
+
1
sin (t)
t

dt
sont convergentes.
Solution 13.25 On traite le cas de
_
+
1
sin (t)
t

dt.
Une intgration par parties donne, pour tout rel x > 1 :
_
x
1
sin (t)
t

dt = cos (1)
cos (x)
x

+
_
x
1
cos (t)
t
+1
dt.
On conclut alors avec labsolue convergence de
_
+
1
cos (t)
t
+1
dt et avec :

cos (x)
x

1
x

x+
0
(on a + 1 > 1).
Exercice 13.26 Nature de
_
+
0
sin (t)
cos (t) +

t
dt.
Solution 13.26 La fonction f est continue sur [0, +[ .
Un dveloppement limit nous donne pour t 1 :
f (t) =
sin (t)

t
_
_
_
_
1
1 +
cos (t)

t
_
_
_
_
=
sin (t)

t
_
1
cos (t)

t
+
1
2
cos
2
(t)
t
(1 + (t))
_
266 Intgrales gnralises
avec lim
t+
(t) = 0. Soit :
f (t) =
sin (t)

1
2
sin (2t)
t
+
1
2
sin (t) cos
2
(t)
t

t
(1 + (t))
avec

sin (t) cos

2
(t)
t

t
(1 + (t))

2
t

t
pour t assez grand. Il en rsulte que
_
+
0
f (t) dt est
convergente.
Exercice 13.27 Soit f une fonction continue sur [1, +[ telle que la fonction F : x
_
x
1
f (t) dt soit borne. tudier la convergence de
_
+
1
f (t)
t
dt.
Solution 13.27 On dsigne par M est un majorant de [F[ .
Une intgration par parties donne pour tout rel x > 0 :
_
x
1
f (t)
t
dt =
_
F (t)
t
_
x
1
+
_
x
1
F (t)
t
2
dt
avec :

F (x)
x

M
x

x+
0
et

F (t)
t
2

M
t
2
, ce qui entrane la convergence absolue de
_
+
1
F (t)
t
2
dt et :
_
+
1
f (t)
t
dt =
_
+
1
F (t)
t
2
dt F (1) .
Dnition 13.4 On dit que lintgrale de f sur [a, b[ est semi-convergente si elle est conver-
gente et non absolument convergente.
Nous verrons plus loin (exercice 13.35) que pour 0 < 1 lintgrale
_
+
1
sin (t)
t

dt est
semi-convergente.
Exercice 13.28 Montrer que les intgrales gnralises
_
+
0
sin (t)
t
dt et
_
+
0
sin
2
(t)
t
2
dt sont
convergentes et que :
_
+
0
sin (t)
t
dt =
_
+
0
sin
2
(t)
t
2
dt.
Solution 13.28 Comme lim
t0
sin (t)
t
= 1, il ny a pas de problme de convergence en 0 et lexer-
cice prcdent nous dit que
_
+
1
sin (t)
t
dt est convergente.
Avec 0
sin
2
(t)
t
2

1
t
2
, on dduit que
_
+
1
sin
2
(t)
t
2
dt est convergente.
Pour tous rel x > > 0, une intgration par parties faite en posant :
_
u(t) =
1
t
, u

(t) =
1
t
2
v

(t) = sin (t) , v (t) = 1 cos (t)

Cas des fonctions valeurs positives. Intgrales absolument convergentes 267
donne :
_
x

sin (t)
t
dt =
_
1 cos (t)
t
_
x

+
_
x

1 cos (t)
t
2
dt
et en utilisant la relation 1 cos (t) = 2 sin
2
_
t
2
_
, on obtient :
_
x

sin (t)
t
dt = 2
_
sin
2
_
t
2
_
t
_
x

+ 2
_
x

sin
2
_
t
2
_
t
2
dt.
Le changement de variable y =
t
2
nous donne :
_
x

sin (t)
t
dt = 2
_
sin
2
_
t
2
_
t
_
x

+
_
x

sin
2
(y)
y
2
dy
Enn avec lim
0
sin
_

2
_
sin
_

2
_

= 0 et lim
x+
sin
2
_
x
2
_
x
, on dduit que :
_
+
0
sin (t)
t
dt =
_
+
0
sin
2
(t)
t
2
dt.
Lexercice qui suit dcrit une mthode de calcul de
_
+
0
sin (x)
x
dx.
Exercice 13.29
1. Montrer que si f est une fonction de classe C
1
de [a, b] dans R, alors lim
n+
_
b
a
f (x) sin (nx) dx =
0.
2. Montrer que lapplication f dnie sur
_
0,

2
_
par f (x) =
1
x

1
sin (x)
se prolonge en une
fonction de classe C
1
sur
_
0,

2
_
.
3. Calculer, pour tout n N, J
n
=
_
2
0
sin ((2n + 1) x)
sin (x)
dx.
4. On pose K
n
=
_
2
0
sin ((2n + 1) x)
x
dx. Montrer que lim
n+
K
n
=
_
+
0
sin (x)
x
dx.
5. Dduire de ce qui prcde que
_
+
0
sin (x)
x
dx =

2
.
Solution 13.29
1. Une intgration par parties nous donne pour tout n 1 :
I
n
=
_
b
a
f (x) sin (nx) dx =
_
f (x)
cos (nx)
n
_
b
a
+
_
b
a
f

(x)
cos (nx)
n
dx
et en posant M
0
= sup
x[a,b]
[f (x)[ , M
1
= sup
x[a,b]
[f

(x)[ (ces fonctions sont continues sur le

segment [a, b]), on en dduit que :
[I
n
[
2M
0
n
+
(b a) M
1
n

n+
0.
268 Intgrales gnralises
2. Un dveloppement limit au voisinage de 0 nous donne :
f (x) =
sin (x) x
x sin (x)
=

x
3
3!
+ o (x
4
)
x
_
x
x
3
3!
+ o (x
4
)
_
=

x
3!
+ o (x
2
)
1
x
2
3!
+ o (x
2
)

x0
0
ce qui permet de prolonger f par continuit en 0 en posant f (0) = 0.
On a alors :
f (x) f (0)
x

1
3!
+ o (x)
1
x
2
3!
+ o (x
2
)

x0

1
3!
ce qui prouve que f est drivable en 0 de drive f

(0) =
1
6
.
Par ailleurs f est de classe C
1
sur
_
0,

2
_
avec :
f

(x) =
cos (x)
sin
2
(x)

1
x
2
=
x
2
cos (x) sin
2
(x)
x
2
sin
2
(x)
=
x
2
_
1
x
2
2
+ o (x
3
)
_

_
x
x
3
3!
+ o (x
4
)
_
2
x
2
_
x
x
3
3!
+ o (x
4
)
_
2
=
_
1
x
2
2
+ o (x
3
)
_

_
1
x
2
3!
+ o (x
3
)
_
2
_
x
x
3
3!
+ o (x
4
)
_
2
=
_
1
x
2
2
+ o (x
3
)
_

_
1
x
2
3
+ o (x
3
)
_
x
2
_
1
x
2
3
+ o (x
3
)
_
=

x
2
6
+ o (x
3
)
x
2
_
1
x
2
3
+ o (x
3
)
_ =

1
6
+ o (x)
1 + o (x)

x0

1
6
ce qui prouve que f

est continue en 0.
En dnitive, f se prolonge en une fonction de classe C
1
sur
_
0,

2
_
.
3. Avec :
sin ((2n + 1) x) = sin (2nx) cos (x) + cos (2nx) sin (x)
et :
sin ((2n + 1) x) + sin ((2n 1) x) = 2 sin (2nx) cos (x)
Cas des fonctions valeurs positives. Intgrales absolument convergentes 269
on dduit que pour n 1, on a :
J
n
=
_
2
0
sin (2nx)
sin (x)
cos (x) dx +
_
2
0
cos (2nx) dx
=
_
2
0
sin (2nx)
sin (x)
cos (x) dx
et :
J
n
+ J
n1
= 2
_
2
0
sin (2nx)
sin (x)
cos (x) dx = 2J
n
soit J
n
= J
n1
et par rcurrence J
n
= J
0
=

2
pour tout n 0.
4. On sait dj que
_
+
0
sin (x)
x
dx (en utilisant une intgration par parties).
Le changement de variable t = (2n + 1) x nous donne :
K
n
=
_
2
0
sin ((2n + 1) x)
x
dx
=
_
(2n+1)

2
0
sin (t)
t
dt
n+
_
+
0
sin (x)
x
dx
5. En remarquant que :
K
n
=
_
2
0
sin ((2n + 1) x)
_
f (x) +
1
sin (x)
_
dx
=
_
2
0
sin ((2n + 1) x) f (x) dx + J
n
avec lim
n+
_
2
0
sin ((2n + 1) x) f (x) dx (questions 2. et 1.) et J
n
=

2
, on dduit que :
_
+
0
sin (x)
x
dx = lim
n+
K
n
=

2
.
Lexercice qui suit nous donne un exemple de fonction telle que lim
x+
[f (x)[ = + avec
_
+
1
f (x) dx convergente (voir le paragraphe 13.4).
Exercice 13.30 On considre la fonction f dnie sur [1, +[ par :
x [1, +[ , f (x) = xe
ix
n
o n 3 est un entier.
Montrer que
_
+
1
f (x) dx est convergente avec lim
x+
[f (x)[ = +.
Solution 13.30 Avec [f (x)[ = x, on dduit que lim
x+
[f (x)[ = +.
On peut crire que f = u

v avec u(x) =
1
ni
e
ix
n
et v (x) =
1
x
n2
. Comme :
[u(x) v (x)[ =
1
n
1
x
n2

x+
0
270 Intgrales gnralises
(on a n 3), on dduit du thorme dintgration par parties que les intgrales
_
+
1
u

(x) v (x) dx =
_
+
1
xe
ix
n
dx et
_
+
1
u(x) v

(x) dx =
2 n
ni
_
+
1
e
ix
n
x
n1
dx sont de mme nature.
Comme

e
ix
n
x
n1

=
1
x
n1
avec n 1 2, lintgrale
_
+
1
e
ix
n
x
n1
dx est absolument convergente et
on en dduit alors que lintgrale
_
+
1
xe
ix
n
dx est convergente.
Du thorme 13.9, on dduit un premier rsultat sur la comparaison dune intgrale gnra-
lise une intgrale de Riemann.
Thorme 13.12 Soit f une fonction dnie et continue par morceaux sur [a, +[ . Sil existe
un rel > 1 et un rel positif tels que pour t assez grand, on ait [f (t)[

t

, alors lintgrale
gnralise
_
+
a
f (x) dx est convergente.
Dmonstration. Du thorme 13.9, on dduit quil existe un rel c > a tel que
_
+
c
f (x) dx
est absolument convergente, elle est donc convergente et aussi
_
+
a
f (x) dx.
De mme si f dnie sur ]0, b] avec b > 0 est telle que [f (t)[

t

pour t > 0 voisin de 0

avec 0 < < 1, alors lintgrale gnralise
_
b
0
f (x) dx est convergente.
Pratiquement, on peut utiliser les rsultats suivant.
Thorme 13.13 Soit f une fonction dnie et continue par morceaux sur [a, +[ . Sil existe
un rel > 1 tels que lim
t+
t

f (t) = 0, alors lintgrale gnralise

_
+
a
f (x) dx est absolument
convergente.
Dmonstration. Si lim
x+
t

f (t) = 0, il existe un rel c > a tel que [f (t)[

1
t

pour t c
et la conclusion suit.
Exemple 13.1 De lim
x+
x
2
P (x) e
x
2
= 0 pour tout polynme P, on dduit que lintgrale
gnralise
_
+
0
P (x) e
x
2
dx est absolument convergente.
Thorme 13.14 Soit f une fonction valeurs rels dnie et continue par morceaux sur
[a, +[ . Sil existe un rel 1 tels que lim
t+
t

f (t) = > 0, alors lintgrale gnralise

_
+
a
f (x) dx est divergente.
Dmonstration. Si lim
t+
t

f (t) = > 0, il existe un rel c > a tel que f (t)

2
1
t

pour
t c et la conclusion suit.
Cas des fonctions valeurs positives. Intgrales absolument convergentes 271
De mme si f dnie sur ]0, b] avec b > 0 est telle que lim
t0
t

f (t) = 0 avec < 1 [resp.

lim
t0
t

f (t) = > 0 avec 1] alors lintgrale gnralise

_
b
0
f (x) dx est absolument conver-
gente [resp. divergente].
On rappelle quon dit que f est ngligeable devant g [resp. domine par g] au voisinage de
b sil existe une fonction dnie sur un intervalle [, b[ [a, b[ telle que :
lim
xb
(x) = 0
[resp. une fonction dnie et borne au voisinage de b] et :
x [, b[ , f (x) = (x) g (x) ,
On note alors f = o
xb
(g) [resp. f = O
xb
(g)].
Dans le cas o la fonction g ne sannule pas au voisinage de b, un critre pratique pour
montrer que f = o
xb
(g) est donn par lim
xb
f (x)
g (x)
= 0.
Le rsultat qui suit est analogue celui obtenu pour les sries termes positifs.
Thorme 13.15 Soient f, g deux fonctions dnies, continue par morceaux sur [a, b[ , va-
leurs relles positives et telles que f = O
xb
(g) [resp. f = o
xb
(g)].
1. Si lintgrale de g sur [a, b[ est convergente, il en est alors de mme de celle de f et :
_
b
x
f (t) dt = O
xb
__
b
x
g (t) dt
_
[resp.
_
b
x
f (t) dt = o
xb
__
b
x
g (t) dt
_
]
2. Si lintgrale de f sur [a, b[ est divergente, il en est alors de mme de celle de g et :
_
x
a
f (t) dt = O
xb
__
x
a
g (t) dt
_
[resp.
_
x
a
f (t) dt = o
xb
__
x
a
g (t) dt
_
]
Dmonstration. Si f = O
xb
(g) , on peut alors trouver un rel [a, b[ et un rel M > 0
tels que :
t [, b[ , 0 f (t) M g (t) .
1. Si lintgrale de g sur [a, b[ est convergente, il en est alors de mme de
_
b
x
M g (t) dt
et de
_
b
x
f (t) dt pour tout x [, b[ , donc
_
b
a
f (t) dt converge. De plus, on a pour tout
x [, b[ :
_
b
x
f (t) dt M
_
b
x
g (t) dt
ce qui signie que
_
b
x
f (t) dt = O
xb
__
b
x
g (t) dt
_
.
272 Intgrales gnralises
2. Si lintgrale de f sur [a, b[ est divergente, il en est alors de mme de
_
b
x
f (t) dt et de
_
b
x
M g (t) dt pour tout x [, b[ , donc
_
b
a
g (t) dt diverge. De plus, on a pour tout
x [, b[ :
_
x
a
f (t) dt =
_

a
f (t) dt +
_
x

f (t) dt
_

a
f (t) dt + M
_
x

g (t) dt
et comme lim
xb
_
x

g (t) dt = +, on aura
_

a
f (t) dt
_
x

g (t) dt pour x voisin de b et :

_
x
a
f (t) dt (M + 1)
_
x

g (t) dt
ce qui signie que
_
x
a
f (t) dt = o
xb
__
x
a
g (t) dt
_
.
Le cas o f = o
xb
(g) se traite de faon analogue.
On rappelle quon dit que les fonctions f et g, dnies sur [a, b[ , sont quivalentes quand x
tend vers b sil existe une fonction dnie sur un intervalle [, b[ [a, b[ telle que :
x [, b[ , f (x) = (1 + (x)) g (x) ,
lim
xb
(x) = 0.
On note alors f
xb
g.
On peut remarque que f
xb
g est quivalent dire que f g = o
xb
(g) .
Dans le cas o la fonction g ne sannule pas au voisinage de b, un critre pratique dquiva-
lence est donn par lim
xb
f (x)
g (x)
= 1.
Lutilisation de dveloppements limits permet parfois dobtenir des quivalents.
Thorme 13.16 Soient f, g deux fonctions dnies, continue par morceaux sur [a, b[ , va-
leurs relles positives et telles que f
tb
g. Les intgrales de f et g sur [a, b[ sont de mme
nature, cest--dire que lintgrale de f sur [a, b[ est convergente si, et seulement si, lintgrale
de g sur [a, b[ est convergente.
En cas de convergence, on a :
_
b
x
f (t) dt
xb
_
b
x
g (t) dt
et en cas de divergence :
_
x
a
f (t) dt
xb
_
x
a
g (t) dt
Dmonstration. Comme f
tb
g il existe une fonction dnie sur un intervalle [, b[
[a, b[ telle que lim
tb
(t) = 0 et f (t) = (1 + (t)) g (t) pour tout t dans [, b[ . On peut alors
trouver un rel dans [, b[ tel que :
t [, b[ ,
1
2
< (t) <
1
2
.
Cas des fonctions valeurs positives. Intgrales absolument convergentes 273
Il en rsulte alors, puisque f et g sont valeurs positives, que :
t [, b[ ,
1
2
g (t) < f (t) <
3
2
g (t) .
On conclut, pour ce qui est de la nature des intgrales, avec le thorme 13.9.
On peut aussi dire que si f
tb
g, on a alors f = O
xb
(g) et g = O
xb
(f) , ce qui permet de
retrouver le fait que les intgrales sont de mme nature. De plus avec f g = o
xb
(g) , on dduit
que [f g[ = o
xb
(g) et en cas de convergence des intgrales :
_
b
x
[f g[ (t) dt = o
xb
__
b
x
g (t) dt
_
soit au voisinage de b :
_
b
x
[f g[ (t) dt = (t)
__
b
x
g (t) dt
_
avec lim
tb
(t) = 0. Puis avec :
0

_
b
x
(f g) (t) dt

_
b
x
[f g[ (t) dt
on dduit que
_
b
x
(f g) (t) dt = o
xb
__
b
x
g (t) dt
_
, ce qui quivaut
_
b
x
f (t) dt
xb
_
b
x
g (t) dt.
Le cas o les deux intgrales divergent se traite de manire analogue.
Remarque 13.6 Si f
tb
g avec g de signe constant au voisinage de b (i. e. strictement positif
ou strictement ngatif ), alors la fonction f est galement de signe constant au voisinage de b,
ce signe tant celui de g.
Exemple 13.2 Si f =
P
Q
, o P et Q sont des fonctions polynomiales non nulles, il existe un
rel a tel que Q(x) ,= 0 pour tout x a > 0 et on a :

P (x)
Q(x)

x+
[a
p
[
[b
q
[
1
x
qp
o p, q sont les degrs et a
p
, b
q
les coecients dominants de P et Q respectivement. Il en rsulte
que la fonction f a un signe constant sur [a, +[ et
_
+
a
f (x) dx converge si, et seulement si,
q p + 2.
Exercice 13.31 tudier la nature des intgrales
_
1
0
sin (t)
t
2
dt,
_
+
1
arctan
_
1
t
_
dt et
_
+
1
1
t
_
e

1
t
cos
_
1
t
__
dt.
Solution 13.31 On a
sin (t)
t
2
> 0 pour t ]0, 1] et
sin (t)
t
2

t0
+
1
t
, donc lintgrale diverge.
On a arctan
_
1
t
_
> 0 pour t 1 et arctan
_
1
t
_

t+
1
t
, donc lintgrale diverge.
Un dveloppement limit nous donne :
1
t
_
e

1
t
cos
_
1
t
__
=
1
t
_
1
1
t
+ o
_
1
t
_
1 + o
_
1
t
__
=
1
t
2
_
1 + o
_
1
t
__

t+

1
t
2
donc lintgrale converge.
274 Intgrales gnralises
Exercice 13.32 Justier la convergence puis calculer :
I =
_
+
2
1
(t 1)

t
dt
Solution 13.32 On a f (t) =
1
(t 1)

t
> 0 pour tout rel t 2 et f (t)
+
1
t

t
, do la
convergence de I.
Le changement de variable t = u
2
donne :
I = lim
x+
_
x
2
1
(t 1)

t
dt = lim
x+
_
x

2
2
u
2
1
du
= lim
x+
__
x

2
1
u 1

1
u + 1
du
_
= lim
x+
_
ln
_
u 1
u + 1
__
x

2
= ln
_

2 + 1

2 1
_
.
On dduit du thorme prcdent un critre supplmentaire de comparaison aux intgrales
de Riemann.
Thorme 13.17 Soit f une fonction dnie et continue par morceaux sur [a, +[ . Sil existe
un rel et un rel non nul tels que f (x)
x+

, alors lintgrale gnralise

_
+
a
f (x) dx
est convergente pour > 1 et divergente pour 1.
Dmonstration. Supposons que > 0. On a alors f (t) > 0 pour t assez grand, disons
t c > a. Le thorme prcdent nous dit alors que
_
+
c
f (x) dx est de mme nature que
_
+
c
dx
x

, ce qui donne le rsultat annonc.

De mme si f dnie sur ]0, b] avec b > 0 est telle que f (x)
x+0

, alors lintgrale
gnralise
_
b
0
f (x) dx est convergente si, et seulement si < 1.
A titre dapplication on peut considrer le cas des intgrales de Bertrand.
Exercice 13.33 Soit et deux rel et f la fonction dnie sur ]0, +[ 1 par :
f : t
1
t

[ln (t)[

.
1. Montrer que lintgrale de f sur [e, +[ est convergente si et seulement si > 1 ou = 1
et > 1.
2. Montrer que lintgrale de f sur
_
0,
1
e
_
est convergente si et seulement si < 1 ou = 1
et > 1.
Solution 13.33 Pour > 1 on se donne une rel ]1, [ et on crit :
f (t) =
1
t

1
t

(ln (t))

=
1
t

g (t)
Cas des fonctions valeurs positives. Intgrales absolument convergentes 275
avec lim
t+
g (t) = 0.pour tout rel . Donc pour t assez grand on aura f (t) <
1
t

et avec
_
+
e
dt
t

< + on dduit la convergence de lintgrale de f sur [e, +[ .

Pour > 1 on se donne une rel ], 1[ et on crit :
f (t) =
1
t

(ln (t))

=
1
t

h(t)
avec lim
t+
h(t) = +.pour tout rel . Donc pour t assez grand on aura f (t) >
1
t

et avec
_
+
e
dt
t

= + on dduit la divergence de lintgrale de f sur [e, +[ .

Pour = 1 on fait le changement de variable u = ln (t) et pour x > e on a :
_
x
e
dt
t (ln (t))

=
_
ln(x)
1
du
u

et lintgrale de f sur [e, +[ converge si et seulement si > 1.

Enn le changement de variable u =
1
t
donne pour 0 < x <
1
e
:
_ 1
e
x
dt
t

[ln (t)[

=
_ 1
x
e
du
u
2
(ln (u))

ce qui ramne au cas prcdent.

Ltude de la fonction dEuler est aussi un exemple typique.
Exercice 13.34 On sintresse ici au domaine de convergence de lintgrale
_
+
0
e
t
t
x1
dt,
o x est un nombre rel.
On rappelle que pour t > 0, on a t
x1
= e
(x1) ln(t)
.
1. Montrer que
_
+
1
e
t
t
x1
dt est convergente pour tout x R.
2. Montrer que
_
1
0
e
t
t
x1
dt est convergente si et seulement si x > 0.
3. En dduire le domaine de dnition de la fonction :
: x
_
+
0
e
t
t
x1
dt
4. Soit x > 0 x. On note, pour tout rel t > 0, f (t) = e
t
, g (t) =
t
x
x
. Montrer que :
lim
t0
+
f (t) g (t) = 0 et lim
t+
f (t) g (t) = 0.
5. Montrer, par une intgration par parties, que pour tout rel x > 0, on a :
(x) =
1
x
(x + 1) .
276 Intgrales gnralises
6. Montrer que (1) = 1, puis que (n) = (n 1)! pour tout entier n 1.
Solution 13.34 Soit f (t) = e
t
t
x1
pour t > 0 et x R x. On a f (t) > 0 pour tout t > 0.
1. Avec lim
t+
t
2
f (t) = 0 on dduit que 0 < f (t) <
1
t
2
pour t grand et
_
+
1
e
t
t
x1
dt converge
absolument pour tout x R.
2. Avec f (t) > 0 et f (t)
0
1
t
1x
, on dduit que
_
1
0
e
t
t
x1
dt est convergente si et seulement
si x > 0.
3. Le domaine de dnition de la fonction est donc R
+,
.
4. Comme x > 0, on a lim
t0
+
f (t) g (t) = lim
t0
+
e
t
t
x
x
= 0 et comme lexponentielle domine les
puissances linni, on a lim
t+
f (t) g (t) = lim
t+
e
t
t
x
x
= 0.
5. Une intgration par parties, la convergence de (x) et la question prcdente donnent :
(x) = lim
(u,v)(0,+)
__
e
t
t
x
x
_
v
u
+
1
x
_
v
u
e
t
t
x
dt
_
=
1
x
_
+
0
e
t
t
x
dt =
1
x
(x + 1) .
6. On a (1) =
_
+
0
e
t
dt = 1 et la relation de rcurrence (n + 1) = n(n) , donc
(n) = (n 1)! par rcurrence.
13.6 Comparaison entre srie et intgrale gnralise
Dans le chapitre sur les sries numriques nous avons dj montr un rsultat de comparaison
entre srie et intgrale gnralise, cest le thorme 6.4 qui peut aussi se traduire comme suit.
Thorme 13.18 Si f : [1, +[ R
+
est une fonction continue dcroissante, alors la srie

f (n) est de mme nature que lintgrale gnralise

_
+
1
f (t) dt.
Lexemple de f : t
1
t

avec > 0 nous montre que les sries de Riemann

1
n

et les
intgrales de Riemann
_
+
1
dt
t

sont de mme nature.

Le rsultat qui suit peut tre utilis pour montrer la divergence dune intgrale.
Thorme 13.19 Soient < a < b + et f une fonction continue par morceaux sur
[a, b[ . Lintgrale de f sur [a, b[ est convergente si, et seulement si, pour toute suite (x
n
)
nN
de
points de [a, b[ qui converge vers b, la srie
_
x
n+1
x
n
f (t) dt est convergente.
Dmonstration. On note toujours F : x
_
x
a
f (t) dt.
Comparaison entre srie et intgrale gnralise 277
Dire que
_
b
a
f (t) dt converge quivaut dire que F a une limite nie en b, ce qui quivaut
encore dire que pour toute suite (x
n
)
nN
de points de [a, b[ qui converge vers b, la suite
(F (x
n
))
nN
converge vers . On conclut alors en crivant que :
F (x
n
) =
_
x
n
a
f (t) dt =
_
x
0
a
f (t) dt +
n1

k=0
_
x
k+1
x
k
f (t) dt.
Pour montrer la divergence de
_
b
a
f (t) dt il sut alors de trouver une suite (x
n
)
nN
de points
de [a, b[ qui converge vers b telle que la srie
_
x
n+1
x
n
f (t) dt soit divergente.
On peut par exemple montrer ainsi la divergence de
_
+
1
[sin (t)[
t

dt pour 0 < 1.
Exercice 13.35 Montrer que pour 0 < 1 lintgrale
_
+
1
sin (t)
t

dt est semi-convergente.
Solution 13.35 On sait dj que les intgrales
_
+
1
sin (t)
t

dt sont convergentes pour > 0

(exercice 13.25).
Comme pour t 1 et 0 < 1, on a

sin (t)
t

sin (t)
t

(qui rsulte de t t

ou encore
t
1
1), il nous sut de montrer que
_
+
1
sin (t)
t
dt est semi-convergente.
Pour ce faire, on utilise la suite (x
n
)
nN

dnie par :
n 1, x
n
= n
Pour n 1, le changement de variable t = n + u nous donne :
_
(n+1)
n

sin (t)
t

dt =
_

0
sin (u)
n + u
du
1
(n + 1)
_

0
sin (u) du =
2
(n + 1)
et en consquence
+

n=1
_
(n+1)
n

sin (t)
t

dt = +, ce qui entrane la divergence de

_
+
1

sin (t)
t

dt.
Remarque 13.7 Lingalit

sin (t)
t

sin (t)
t

pour t 1 tant encore valable pour 0,

on dduit que
_
+
1

sin (t)
t

dt diverge aussi pour 0.

Dans le cas dune fonction valeurs relles positives, on a le rsultat suivant qui permet
parfois de justier la convergence dune intgrale en utilisant la srie
_
x
n+1
x
n
f (t) dt o (x
n
)
nN
est une suite particulire de points de [a, b[ qui converge vers b.
Thorme 13.20 Soient < a < b + et f une fonction continue par morceaux sur
[a, b[ valeurs relles positives. Lintgrale de f sur [a, b[ est convergente si, et seulement si,
il existe une suite croissante (x
n
)
nN
de points de [a, b[ qui converge vers b, telle que la srie
_
x
n+1
x
n
f (t) dt soit convergente.
278 Intgrales gnralises
Dmonstration. Le thorme prcdent nous dit que si
_
b
a
f (t) dt converge alors
_
x
n+1
x
n
f (t) dt
est convergente pour toute suite (x
n
)
nN
de points de [a, b[ qui converge vers b.
Supposons quil existe une suite croissante (x
n
)
nN
de points de [a, b[ qui converge vers b,
telle que la srie
_
x
n+1
x
n
f (t) dt soit convergente vers un rel S.
On note F : x
_
x
x
0
f (t) dt et pour tout entier n 1, on a :
S
n
=
n1

k=0
_
x
k+1
x
k
f (t) dt =
_
x
n
x
0
f (t) dt = F (x
n
) S
du fait que f est valeurs positives (ce qui entrane que la suite (S
n
)
n1
et la fonction F sont
croissantes). Comme pour tout rel x [a, b[ , on peut trouver un entier n tel que x
n
x < b
(puisque lim
n+
x
n
= b), on en dduit que :
F (x) F (x
n
) S
et la fonction F est croissante majore, donc convergente, ce qui revient dire que
_
b
a
f (t) dt
converge.
Exercice 13.36 On se donne un rel et un rel > 0.
1. Pour quelles valeurs de lintgrale
_

0
t

1 + t

sin
2
(t)
dt est-elle convergente ?
2. On suppose pour cette question que = 0.
(a) Montrer que lintgrale
_
+

dt
1 + t

sin
2
(t)
est divergente pour 0 < 2.
(b) Montrer que lintgrale
_
+

dt
1 + t

sin
2
(t)
est convergente pour > 2.
3. On suppose pour cette question que > 1.
(a) Montrer que lintgrale
_
+

1 + t

sin
2
(t)
dt est divergente pour 2 2.
(b) Montrer que lintgrale
_
+

1 + t

sin
2
(t)
dt est convergente pour 2 > 2.
Solution 13.36 Pour tout rel t > 0, on note f (t) =
t

1 + t

sin
2
(t)
et on note que cette
fonction est valeurs positives.
1. Avec f (t)
t0
1
t

, on dduit que lintgrale

_

0
f (t) dt est convergente si, et seulement
si, > 1.
2. On note pour tout entier n 1 :
u
n
=
_
(n+1)
n
dx
1 + x

sin
2
(x)
.
Comparaison entre srie et intgrale gnralise 279
(a) Le changement de variable x = n + t nous donne :
u
n
=
_

0
dt
1 + (n + t)

sin
2
(t)
et tenant compte de :
t [0, ] ,
_
n + t (n + 1)
sin
2
(t) t
2
on obtient :
u
n
v
n
=
_

0
dt
1 + ((n + 1) )

t
2
=
_

0
dt
1 +
2
n
t
2
=
arctan (
n
)

n
,
o on a pos
n
= ((n + 1) )

2
. Comme
n

n+
+, on a lim
n+
arctan (
n
) =

2
et :
v
n
=
arctan (
n
)

n+

2
1

n
=

(n + 1)

2
de sorte que

v
n
converge si, et seulement si, > 2. En particulier

v
n
diverge
pour 0 < 2 et il en est de mme de

u
n
.
(b) On crit que u
n
= v
n
+ w
n
, avec :
v
n
=
_
2
0
dt
1 + (n + t)

sin
2
(t)
, w
n
=
_

2
dt
1 + (n + t)

sin
2
(t)
.
En tenant compte de :
t
_
0,

2
_
,
_
_
_
n + t n
sin
2
(t)
_
2

t
_
2
on obtient :
v
n
r
n
=
_
2
0
dt
1 + (n)

_
2

t
_
2
=
_
2
0
dt
1 +
2
n
t
2
=
arctan
_

2
_

n
,
o on a pos
n
=
2

(n)

2
. On a alors :
r
n
=
arctan
_

2
_

n+

2
1

n
=

n

2
avec
+

n=1
1
n

2
< + pour > 2, ce qui entrane la convergence de

r
n
et de

v
n
.
Pour ce qui est de w
n
, le changement de variable t = donne :
w
n
=
_
2
0
d
1 + (n + )

sin
2
()
ce qui nous ramne, peu de chose prs, la situation prcdente et donc
+

n=1
w
n
converge.
En dnitive

u
n
converge pour = 0 et > 2.
280 Intgrales gnralises
3. On note pour tout entier n 1 :
u
n
=
_
(n+1)
n
x

1 + x

sin
2
(x)
dx.
(a) On a :
u
n
=
_

0
(n + t)

1 + (n + t)

sin
2
(t)
dt.
et tenant compte de :
t [0, ] ,
_
n n + t (n + 1)
sin
2
(t) t
2
on obtient pour 0 :
u
n
v
n
= (n)

_

0
1
1 + ((n + 1) )

t
2
dt = (n)

_

0
1
1 +
2
n
t
2
dt
(n)

arctan (
n
)

n
,
o on a pos
n
= ((n + 1) )

2
. On a alors :
v
n
= (n)

arctan (
n
)

n+

2
(n)

((n + 1) )

n+

de sorte que

v
n
converge si, et seulement si,

2
> 1. En particulier

v
n
diverge pour 0, > 0, 2 2 et il en est de mme de

u
n
.
Pour 1 < < 0, on a (n + t)

((n + 1) )

n+
(n)

et ce qui prcde est

encore valable.
(b) On crit que u
n
= v
n
+ w
n
, avec :
v
n
=
_
2
0
(n + t)

1 + (n + t)

sin
2
(t)
dt, w
n
=
_

2
(n + t)

1 + (n + t)

sin
2
(t)
dt.
En tenant compte de :
t
_
0,

2
_
,
_
_
_
n n + t (n + 1)
sin
2
(t)
_
2

t
_
2
on obtient pour 0 :
v
n
r
n
= ((n + 1) )

_
2
0
dt
1 + (n)

_
2

t
_
2
((n + 1) )

_
2
0
dt
1 +
2
n
t
2
= ((n + 1) )

arctan
_

2
_

n
,
o on a pos
n
=
2

(n)

2
. On a alors :
r
n
= ((n + 1) )

arctan
_

2
_

n+

Comparaison entre srie et intgrale gnralise 281

avec
+

n=1
1
n

< + pour

2
> 1, ce qui entrane la convergence de

r
n
et de

v
n
.
Pour 1 < < 0, on a (n + t)

(n)

et ce qui prcde est encore valable.

Pour ce qui est de w
n
, le changement de variable t = donne :
w
n
=
_
2
0
(n + )

1 + (n + )

sin
2
()
d
ce qui nous ramne, peu de chose prs, la situation prcdente et donc
+

n=1
w
n
converge.
En dnitive

u
n
converge pour 2 > 2.
4. En dnitive,
_
+
0
t

1 + t

sin
2
(t)
dt est convergente pour > 1, > 0 et 2 > 2.
Pour 1 et > 0, elle est divergente.
Pour > 1, > 0, 2 2, elle est divergente.
Exercice 13.37
1. Montrer que pour tout rel > 1, les intgrales
_
+
1
cos (ln (t))
t

dt et
_
+
1
sin (ln (t))
t

dt
sont absolument convergentes.
2. Pour tout rel , on dsigne par f

et g

les fonctions dnies sur [1, +[ par :

t 1, f

(t) =
cos (ln (t))
t

et g

(t) =
sin (ln (t))
t

.
(a) Calculer les drives des fonctions f
1
et g
1
sur [1, +[ .
(b) Calculer
_
x
1
cos (ln (t))
t

dt et
_
x
1
sin (ln (t))
t

dt pour tout rel x > 1.

(c) Montrer que, pour tout rel > 0, les fonctions f

et g

ont une limite nie en +

et la calculer.
(d) Montrer que, pour tout rel 0, les fonctions f

et g

nont pas de limite en +.

(e) Calculer les intgrales
_
+
1
cos (ln (t))
t

dt et
_
+
1
sin (ln (t))
t

dt pour > 1.
(f ) Montrer que, pour tout rel 1, les intgrales
_
+
1
sin (ln (t))
t

dt et
_
+
1
cos (ln (t))
t

dt
sont divergentes.
3. Soit f une fonction de classe (
1
sur lintervalle [1, +[ valeurs relles ou complexes.
On dira que la fonction f vrie lhypothse (H) si lintgrale
_
+
1
f

(t) dt est absolument

convergente.
On se donne une fonction f qui vrie lhypothse (H) et on associe cette fonction la
suite (u
n
)
n1
dnie par :
n 1, u
n
=
_
n+1
n
(n + 1 t) f

(t) dt
(a) Montrer que la srie

u
n
est absolument convergente.
282 Intgrales gnralises
(b) Montrer que pour tout entier n 1 et tout rel x ]n, n + 1] , on a :
_
x
n
(x t) f

(t) dt =
_
x
n
f (t) dt (x n) f (n) .
(c) En dduire que :
n 1, u
n
=
_
n+1
n
f (t) dt f (n) .
(d) Montrer que les sries

f (n) et

_
n+1
n
f (t) dt sont de mme nature.
(e) Montrer que si lintgrale
_
+
1
f (t) dt converge, il en est alors de mme de la srie

f (n) .
(f ) Montrer que si la srie

f (n) converge, il en est alors de mme de lintgrale
_
+
1
f (t) dt.
En dnitive la srie

f (n) est de mme nature que lintgrale
_
+
1
f (t) dt.
4.
(a) Montrer que, pour tout rel > 0, la fonction f

vrie lhypothse (H) .

(b) tudier la srie
cos (ln (n))
n

pour tout rel > 0.

5. tudier la srie
cos (

n)
n
.
Solution 13.37
1. Rsulte de

(ln (t))
t

1
t

o cos, sin avec > 1.

2.
(a) On a, pour tout rel :
f

1
(t) =
d
dt
_
t
1
cos (ln (t))
_
=
sin (ln (t))
t

+ (1 )
cos (ln (t))
t

= g

(t) + (1 ) f

(t)
et :
g

1
(t) =
d
dt
_
t
1
sin (ln (t))
_
=
cos (ln (t))
t

+ (1 )
sin (ln (t))
t

= f

(t) + (1 ) g

(t)
(b) Il en rsulte que :
(1 ) f

1
(t) + g

1
(t) =
_
1 + (1 )
2
_
f

(t)
et :
(1 ) g

1
(t) f

1
(t) =
_
1 + (1 )
2
_
g

(t)
Comparaison entre srie et intgrale gnralise 283
On obtient alors par intgration :
_
1 + (1 )
2
_
_
x
1
f

(t) dt =
_
x
1
_
(1 ) f

1
(t) + g

1
(t)
_
dt
= (1 ) (f
1
(x) f
1
(1)) + g
1
(x) g
1
(1)
= (1 ) (f
1
(x) 1) + g
1
(x)
soit :
_
x
1
cos (ln (t))
t

dt =
1
1 + (1 )
2
_
sin (ln (x)) + (1 ) cos (ln (x))
x
1
+ 1
_
et :
_
1 + (1 )
2
_
_
x
1
g

(t) dt =
_
x
1
_
(1 ) g

1
(t) f

1
(t)
_
dt
= (1 ) (g
1
(x) g
1
(1)) (f
1
(x) f
1
(1))
= (1 ) g
1
(x) + 1 f
1
(x)
soit :
_
x
1
sin (ln (t))
t

dt =
1
1 + (1 )
2
_
1 +
(1 ) sin (ln (x)) cos (ln (x))
x
1
_
(c) Avec [f

(x)[
1
x

et [g

(x)[
1
x

, on dduit que lim

x+
f

(x) = lim
x+
g

(x) = 0
pour > 0.
(d) La suite (f
0
(e
n
))
n0
= ((1)
n
)
n0
tant divergente avec lim
n+
e
n
= +, on en
dduit que f
0
na pas de limite linni.
De mme, pour < 0, la divergence de la suite (f

(e
2n
))
n0
= (e
2n
)
n0
nous
dit que f

na pas de limite linni.

Pour g

, on utilise le mme argument avec les suites

_
e

2
+n
_
n0
pour = 0 et
_
e

2
+2n
_
n0
pour < 0.
(e) Pour > 1,
_
+
1
cos (ln (t))
t

dt et
_
+
1
sin (ln (t))
t

dt sont absolument convergentes

et :
_
+
1
cos (ln (t))
t

dt =
1
1 + ( 1)
2
=
1

2
2 + 2
_
+
1
sin (ln (t))
t

dt =
1
1 + ( 1)
2
=
1

2
2 + 2
(f ) Pour 1, la fonction

(x) =
sin (ln (x)) + (1 ) cos (ln (x))
x
1
= g
1
(x) + (1 ) f
1
(x)
na pas de limite linni puisque la suite
_

_
e

2
+n
__
n0
=
_
(1)
n
e
(1)
(

2
+n
)
_
n0
est divergente, donc lintgrale
_
+
1
cos (ln (t))
t

dt est divergente.
On vrie de manire analogue que
_
+
1
sin (ln (t))
t

dt est divergente.
284 Intgrales gnralises
3.
(a) Pour n 1, on a :
[u
n
[
_
n+1
n
(n + 1 t) [f

(t)[ dt
_
n+1
n
[f

(t)[ dt
avec :
n

k=1
_
k+1
k
[f

(t)[ dt =
_
n+1
1
[f

(t)[ dt
n+
_
+
1
[f

(t)[ dt < +.
Il en rsulte que la srie

_
n+1
n
[f

(t)[ dt est convergente et la srie

u
n
est
absolument convergente.
(b) Pour n 1 et x ]n, n + 1] , une intgration par parties donne :
_
x
n
(x t) f

(t) dt = [(x t) f (t)]

x
n
+
_
x
n
f (t) dt
=
_
x
n
f (t) dt (x n) f (n)
(c) Il sut de prendre x = n + 1.
(d) Avec :
f (n) =
_
n+1
n
f (t) dt u
n
et la convergence de

u
n
, on dduit que les sries

f (n) et

_
n+1
n
f (t) dt sont
de mme nature.
(e) Si lintgrale
_
+
1
f (t) dt converge, il en est alors de mme de la srie

_
n+1
n
f (t) dt.
En eet, en posant F (x) =
_
x
1
f (t) dt, cela se dduit de :
S
n
=
n

k=1
_
k+1
k
f (t) dt = F (n + 1) .
Il en rsulte que

f (n) converge.
(f ) Supposons que

f (n) converge.
Pour x > 2 et n = [x] , on a 2 n x < n + 1 et :
F (x) =
_
x
1
f (t) dt = F (n) +
_
x
n
f (t) dt
= S
n1
+
_
x
n
(x t) f

(t) dt + (x n) f (n)
avec :

_
x
n
(x t) f

(t) dt

_
x
n
(x t) [f

(t)[ dt
_
n+1
n
[f

(t)[ dt
x+
0
Comparaison entre srie et intgrale gnralise 285
(x + entrane n = [x] +) puisque
_
+
1
[f

(t)[ dt et

_
n+1
n
[f

(t)[ dt
convergent (elles sont de mme nature) et :
[(x n) f (n)[ [f (n)[
n+
0
puisque

f (n) converge.
La convergence de

f (n) nous assure celle de

_
n+1
n
f (t) dt, donc celle de la
suite (S
n
)
n1
et notant S la limite de cette suite, on dduit de ce qui prcde que
lim
x+
F (x) = S, ce qui signie que
_
+
1
f (t) dt converge.
4.
(a) On a vu que pour tout rel , la fonction f

est de classe (
1
sur [1, +[ avec :
f

= g
+1
(t) f
+1
(t)
et pour > 0, la convergence absolue des intgrales
_
+
1
f
+1
(t) dt et
_
+
1
g
+1
(t) dt
entrane celle de
_
+
1
f

(t) dt.
(b) Pour > 0, les sries
cos (ln (n))
n

et
sin (ln (n))
n

sont de mme nature que

les intgrales
_
+
1
sin (ln (t))
t

dt et
_
+
1
cos (ln (t))
t

dt, cest--dire divergentes pour

0 < 1 et convergentes pour > 1 (en fait pour > 1, on vrie directement
que ces sries sont absolument convergentes).
5. On dsigne par f la fonction dnie sur [1, +[ par :
t 1, f (t) =
cos
_
t
_
t
.
On a :
t 1, [f

(t)[ =

sin
_
t
_
2t
3
2

cos
_
t
_
t
2

1
2t
3
2
+
1
t
2
do la convergence absolue de
_
+
1
f

(t) dt.
Lhypothse (H) est donc vrie pour f et la srie
cos (

n)
n
est de mme nature que
lintgrale
_
+
1
cos
_
t
_
t
dt.
Pour x > 1, le changement de variable t = u
2
nous donne :
F (x) =
_
x
1
cos
_
t
_
t
dt = 2
_

x
1
cos (u)
u
du
x+
2
_
+
1
cos (u)
u
du
(on sait que lintgrale
_
+
1
cos (u)
u
du est semi-convergente), ce qui signie que lintgrale
_
+
1
f (t) dt converge. Il en rsulte que
cos (

n)
n
est convergente.
286 Intgrales gnralises
13.7 Un thorme dAbel
Le thorme de Cauchy pour les intgrales gnralises (thorme 13.11) et la deuxime
formule de la moyenne pour les intgrales dnies (thorme 11.22 et la remarque qui suit ce
thorme) nous permettent de montrer les rsultats suivants.
Thorme 13.21 (Abel) Soient f, g des fonctions continues par morceaux sur [a, b[ telles
que :
1. f est dcroissante valeurs positives sur [a, b[ ;
2. lintgrale
_
b
a
g (t) dt est convergente.
Dans ces condition, lintgrale
_
b
a
f (t) g (t) dt est convergente.
Dmonstration. La seconde formule de la moyenne nous permet dcrire pour u < v dans
[a, b[ :
_
v
u
f (t) g (t) dt = f (u)
_
w
u
g (t) dt
o w [u, v] . Comme f est dcroissante positive, on en dduit que :

_
v
u
f (t) g (t) dt

f (a)

_
w
u
g (t) dt

et comme
_
b
a
g (t) dt est convergente, pour tout rel > 0, on peut trouver un rel c [a, b[ tel
que :
(c < u < w < b)

_
w
u
g (t) dt

ce qui entrane :

_
v
u
f (t) g (t) dt

pour c < u < v < b et la convergence de
_
b
a
f (t) g (t) dt daprs le thorme de Cauchy.
Thorme 13.22 (Abel) Soient f, g des fonctions continues par morceaux sur [a, b[ telles
que :
1. f est dcroissante valeurs positives sur [a, b[ avec lim
xb
f(x) = 0 ;
2. il existe un rel M > 0 tel que :
x [a, b[ ,

_
x
a
g (t) dt

M
Dans ces condition, lintgrale
_
b
a
f (t) g (t) dt est convergente.
Un thorme dAbel 287
Dmonstration. La seconde formule de la moyenne nous permet dcrire pour u < v dans
[a, b[ :
_
v
u
f (t) g (t) dt = f (u)
_
w
u
g (t) dt
o w [u, v] . Comme f est positive et lim
xb
f(x) = 0, pour tout rel > 0, on peut trouver un
rel c [a, b[ tel que :
(c < u < b) 0 f (u)
ce qui entrane pour c < u < v < b :

_
v
u
f (t) g (t) dt

_
w
u
g (t) dt

avec :

_
w
u
g (t) dt

_
w
a
g (t) dt
_
u
a
g (t) dt

2M.
On a donc

_
v
u
f (t) g (t) dt

2M pour c < u < v < b et la convergence de

_
b
a
f (t) g (t) dt
sen dduit du thorme de Cauchy.
Remarque 13.8 En reprenant les notations de la dmonstration du thorme dAbel qui pr-
cde, on a pour tout x [a, b[ :

_
v
x
f (t) g (t) dt

= f (x)

_
w
x
g (t) dt

2Mf (x)
et faisant tendre v vers b, on en dduit que :
x [a, b[ ,

_
b
x
f (t) g (t) dt

2Mf (x)
Exercice 13.38 Montrer que si f : R
+
R est une fonction continue par morceaux, dcrois-
sante et telle que lim
x+
f(x) = 0, alors pour tout rel non nul, lintgrale
_
+
0
f (t) e
it
dt est
convergente.
Solution 13.38 Pour tout rel x > 0, on a :

_
x
0
e
it
dt

=
1
[[

e
ix
1

2
[[
La fonction f tant dcroissante sur R
+
, on dduit du thorme dAbel que lintgrale
_
+
0
f (t) e
it
dt
est convergente pour tout rel > 0 et tout rel ,= 0.
Exercice 13.39 Le but de lexercice est de dterminer la nature de lintgrale
_
+
1
e
it
t

dt sui-
vant les valeurs des nombres rels et .
1. Traiter le cas = 0.
On suppose, dans les questions suivantes, que ,= 0.
2. Montrer que, si > 1, alors
_
+
1
e
it
t

dt est absolument convergente.

288 Intgrales gnralises
3. Montrer que, si 0 < 1, alors
_
+
1
e
it
t

dt est semi-convergente.
4. Montrer que, si 0, alors
_
+
1
e
it
t

dt est divergente.
5. Montrer que, si 0 < 1, alors les intgrales
_
+
1
cos (t)
t

dt et
_
+
1
sin (t)
t

dt sont
semi-convergentes.
6. Montrer que
_
+
1
sin
2
(t)
t
dt est divergente.
7. Montrer que les deux fonctions f et g dnies sur [1, +[ par f (t) =
sin (t)

t
et g (t) =
sin (t)

t
+
sin
2
(t)
t
sont quivalentes au voisinage de +. quelle proprit, cette question
fournit-elle un contre-exemple ?
Solution 13.39
1. Pour = 0, lintgrale
_
+
1
1
t

dt converge si, et seulement si, > 1. Pour > 1, on a

alors :
_
+
1
dt
t

=
1
1
.
2. Pour tout rel t 1, on a

e
it
t

=
1
t

, donc
_
+
1
e
it
t

dt est absolument convergente pour

> 1.
3. Pour tout rel x > 1, on a :

_
x
1
e
it
dt

=
1
[[

e
ix
e
i

2
[[
La fonction t
1
t

tant dcroissante sur [1, +[ pour > 0, on dduit du thorme

dAbel que lintgrale
_
+
1
e
it
t

dt est convergente pour tout rel > 0 et tout rel ,= 0.

Pour 0 < 1, on a
_
+
1

e
it
t

dt =
_
+
1
dt
t

= +, donc lintgrale est semi-

convergente dans ce cas.
4. Par conjugaison complexe, on voit que
_
+
1
e
it
t

dt est convergente si, et seulement si,

_
+
1
e
it
t

dt lest. Il en rsulte que

_
+
1
e
it
t

dt est convergente si, et seulement si, les

intgrales
_
+
1
cos (t)
t

dt et
_
+
1
sin (t)
t

dt le sont.
Pour montrer la divergence de
_
+
1
e
it
t

dt pour 0, il sut donc de montrer celle

de
_
+
1
cos (t)
t

dt. Tenant compte de la parit de la fonction cos, on peut supposer que

> 0.
Un thorme dAbel 289
Soit donc = un rel ngatif ou nul, un rel strictement positif et F la fonction
dnie sur [1, +[ par :
F (x) =
_
x
1
cos (t)
t

dt =
_
x
1
t

cos (t) dt
En dsignant par (x
n
)
n1
la suite dnie par x
n
=
2n

, on a :
F
_
x
n
+

2
_
F (x
n
) =
_
x
n
+

2
x
n
t

cos (t) dt
et le changement de variable t = x
n
+ u, nous donne :
F
_
x
n
+

2
_
F (x
n
) =
_
2
0
(x
n
+ u)

cos ((x
n
+ u)) du
=
_
2
0
(x
n
+ u)

cos (u) du
Mais pour 0 u

2
, on a 0 u

et cos (u) 0, de sorte que :

F
_
x
n
+

2
_
F (x
n
) x

n
_
2
0
cos (u) du =
x

n+
+
et F ne peut avoir de limite nie en +, ce qui signie que
_
+
1
cos (t)
t

dt. diverge.
5. On sait dj que les intgrales
_
+
1
cos (t)
t

dt et
_
+
1
sin (t)
t

dt sont convergentes pour

tout rel > 0 et tout rel . Par parit, on peut supposer que > 0.
On note F la fonction dnie sur [1, +[ par :
F (x) =
_
x
1
[cos (t)[
t

dt
et (x
n
)
n1
est la suite dnie par x
n
=
2n

. Pour > 0, on a :
F
_
x
n
+

2
_
F (x
n
) =
_
2
0
[cos ((x
n
+ u))[
(x
n
+ u)

du =
_
2
0
cos (u)
(x
n
+ u)

du

1
_
x
n
+

2
_

_
2
0
cos (u) du =
1

_
2n

+

2
_

Pour 0 < 1, on a
+

n=1
1
_
2n +

2
_

= + et donc :
+

n=1
_
F
_
x
n
+

2
_
F (x
n
)
_
= +
290 Intgrales gnralises
Avec :
n

k=1
_
F
_
x
k
+

2
_
F (x
k
)
_
=
n

k=1
_
x
k
+

2
x
k
[cos (t)[
t

dt

_
x
n
+

2
1
[cos (t)[
t

dt = F
_
x
n
+

2
_
on dduit que lim
n+
F
_
x
n
+

2
_
= + et lintgrale
_
+
1
[cos (t)[
t

dt est divergente
pour 0 < 1.
On procde de manire analogue pour
_
+
1
[cos (t)[
t

dt.
6. Pour tout rel t, on a :
sin
2
t
t
=
1
2
_
1
t

cos (2t)
t
_
.
Comme
_
+
1
cos 2t
t
dt est convergente et
_
+
1
1
t
dt est divergente, on en dduit que
_
+
1
sin
2
t
t
dt
est divergente.
7. Avec :
g (t) =
sin (t)

t
_
1 +
sin (t)

t
_
et lim
t+
sin (t)

t
= 0, on dduit que f (t)
+
g (t) . Et on a ici
_
+
1
f (t) dt convergente et
_
+
1
g (t) dt divergente.
Exercice 13.40 Soient a et deux nombres rels strictement positifs et f une fonction conti-
nue, -priodique. Posons I() =
_
+
a
f (t)
t
dt lorsquelle existe. Le but de lexercice est de
montrer quil existe un unique tel que I () est une intgrale convergente.
1. Montrer quil existe, au plus, un tel que I () converge.
2. laide dune intgration par parties, exprimer
_
x
a
f (t)
t
dt en fonction de G

(x) =
_
x
a
( f (t))dt.
3. Montrer que, si G

est born, alors I () est convergente.

4. Pour tout nombre entier n, calculer G

(n + a) en fonction de
_

0
f (t) dt. En dduire la
valeur de pour laquelle G

est borne.
5. Retrouver, laide dune transformation dAbel, que, si G

est born, alors I () est

convergente.
Solution 13.40 Laisse au lecteur.
Exercices supplmentaires 291
13.8 Exercices supplmentaires
Exercice 13.41 Soit a un rel strictement positif.
1. Justier la convergence de
_
+
0
ln (x)
a
2
+ x
2
dx.
2. Exprimer
_
+
a
ln (x)
a
2
+ x
2
dx en fonction de
_
a
0
ln (x)
a
2
+ x
2
dx (on peut utiliser le changement
de variable x =
a
2
t
).
3. En dduire la valeur de
_
+
0
ln (x)
a
2
+ x
2
dx.
Solution 13.41
1. Au voisinage de 0, on a
ln (t)
a
2
+ t
2

t0
ln (t)
a
2
< 0, lintgrale
_
1
0
ln (t) dt tant convergente,
il en rsulte que
_
1
0
ln (t)
a
2
+ t
2
dt converge.
Avec lim
t+
t
3
2
ln (t)
a
2
+ t
2
= 0 et la positivit de la fonction pour t > 1, on dduit que
_
+
1
ln (t)
a
2
+ t
2
dt converge.
2. Le changement de variable x =
a
2
t
donne :
_
+
a
ln (x)
a
2
+ x
2
dx =
_
0
a
ln (a
2
) ln (t)
a
2
+
a
4
t
2
_

a
2
t
2
_
dt
=
_
a
0
ln (a
2
) ln (t)
t
2
+ a
2
dt = ln
_
a
2
_
_
a
0
dt
t
2
+ a
2

_
a
0
ln (t)
t
2
+ a
2
dt
=
ln (a
2
)
a
2
_
a
0
dt
1 +
t
2
a
2

_
a
0
ln (t)
t
2
+ a
2
dt
=
ln (a
2
)
a
_
1
0
dx
1 + x
2

_
a
0
ln (t)
t
2
+ a
2
dt =

2
ln (a)
a

_
a
0
ln (t)
t
2
+ a
2
dt
3. On a :
_
+
0
ln (x)
a
2
+ x
2
dx =
_
a
0
ln (x)
a
2
+ x
2
dx +
_
+
a
ln (x)
a
2
+ x
2
dx =

2
ln (a)
a
.
292 Intgrales gnralises