EXERCICES SUR LES INTEGRALES

GENERALISEES

1. Calculer les ingrales gnralises suivantes.

Z Z
x Z1
dx e
a) x
b) dx c) ln x dx
(1 + e )(1 + ex ) x
0 0 0

Z Z1 Z
ln x ln x
d) dx e) dx f) xn ex dx (n N)
x2 (1 + x)2
1 0 0

Z Z Z/2
arctan x dx cos 2x
g) dx h) (a > 0, r > 0) i) dx
1 + x2 x(x + r) sin 2x
0 a 0

Z
dx
2. Soit a > 1. Calculer .
x2 1
a

3. Montrer que les intgrales suivantes convergent.

Z Z/2 Z Z
1 2 t2 1 + sin t
a) e x +x+1 dx , b) ln(1+sin x) dx , c) e dt , d) dt .
x 1 + t3
0 /2 0 0

4. Dterminer pour quelles valeurs du couple (, ) R2 les intgrales suivantes sont conver-
gentes. (On dessinera dans le plan lensemble des couples (, ) pour lesquels il y a convergence).
Z Z Z
dx ln(1 + x ) (1 + t) t
a) , b) dx , c) dt .
x (1 + x ) x t
0 0 0

5. Etudier pour quelles valeurs de n N lintgrale

Z
ln x
I(n) = dx
xn
1

converge et calculer I(n) dans ce cas.

1
 Z
dx
6. Soit I() = . Montrer que I() converge pour tout rel et calculer cette
(1 + x2 )(1 + x )
0
intgrale en utilisant le changement de variable t = 1/x.

Z
et e2t
7. Soit I = dt.
t
0
a) Montrer que I est convergente.

b) Pour > 0, tablir, en posant x = 2t, la relation

Z Z2
et e2t et
dt = dt .
t t

c) En dduire le calcul de I.

Z1
x1
d) En dduire le calcul de dx (Poser x = et ).
ln x
0

Z/2
8. Soit I = ln sin x dx.
0
a) Montrer que I est convergente.

Z/2
b) Montrer que I = ln cos x dx.
0
Z/2
sin 2x
c) Montrer que 2I = ln dx.
2
0
d) En dduire la valeur de I.

Z
dx
9. Soit I = .
(1 + x2 ) x
0
a) Montrer que I est convergente.
Z
dt
b) Calculer J = .
1 + t4
0
c) En dduire I.

2
 Z
dx
10. a) Etudier pour quelles valeurs de n N lintgrale Jn = converge.
(x3 + 1)n
0
b) Calculer J1 .

c) Montrer que si n 2, on a
3n 1
Jn+1 = Jn ,
3n
et en dduire Jn si n 1.

Z/2
11. Montrer que lintgrale tan x dx diverge,
0
a) par un calcul de primitive ; b) par le critre de Riemann.

12. Montrer que les intgrales suivantes sont semi-convergentes.

Z Z Z Z
cos x 2 2 2 4 ei x
a) dx b) cos(x ) dx (poser u = x ) c) x sin(x ) dx d) dx .
x x
1

Z
13. Soit f une fonction de R dans R continue et priodique dont lintgrale f (x) dx est conver-
0
gente. Montrer que f est la fonction nulle. (Raisonner par labsurde : supposer que f (c) 6= 0 pour
un certain rel c, et montrer que le critre de Cauchy est alors contredit).

Z
14. Soit f une fonction uniformment continue de [ a, [ dans R, telle que lintgrale f (x) dx
a
converge. Montrer que lim f (x) = 0 (montrer que sinon le critre de Cauchy serait contredit).
x

15. Soit f une fonction de classe C1 de R dans R telle que, quand x tend vers , on ait
 
1
f (x) = O .
x2
a) Dmontrer que les limites L et de f en + et respectivement existent.

b) On suppose en outre que, pour tout x rel, on a

1
|f (x)| .
x2 +1
Montrer que |L | .

3
16. Soit f une fonction dcroissante de [ a, [ dans R+ .
Z
a) Montrer que si lintgrale f (t) dt converge, alors lim xf (x) = 0.
x
a
Z2x
(Remarquer que lon a, si x a, lingalit : xf (2x) f (t) dt).
x
b) Montrer par un contre-exemple que la rciproque est fausse.

4
17. Construire une fonction f continue positive non borne de [ 0, + [ dans R telle que lin-
+
Z
tgrale xf (x) dx soit convergente.
0

18. Dterminer la limite des suites (an ) dfinies ci-dessous.

Z Z1 Z Z
arctan n+1


arctan(nx) dx dx n x
a) an = dx , b) an = , c) an = , d) an = dx .
n(1 + x2 ) 1 + xn 1 + xn 1 + x2
0 0 1 0

19. Soit a > 0. On dfinit sur [ a, + [ les fonctions f et g par

sin x sin2 x sin x

f (x) = + et g(x) = .
x x x

a) Montrer que f g au voisinage de +.

Z Z
b) Etudier la nature des intgrales f (x) dx et g(x) dx.
a a

20. Soit f dfinie sur R \ {1} par

x ln |x + 1|
f (x) = .
x2 + 1
Montrer les proprits suivantes.

a) La fonction f est intgrable au voisinage de 1.

Z Z0
b) Les intgrales f (x) dx et f (x) dx sont divergentes.
0
ZA
c) La limite de lintgrale f (x) dx, lorsque A tend vers + existe et est finie. (Etudier la
A
Z
convergence de lintgrale |f (x) + f (x)| dx).
0

5
Corrig
1. a) On a
1 ex
= .
(1 + ex )(1 + ex ) (1 + ex )2
Cette expression est de la forme u /(1 + u)2 et admet comme primitive 1/(1 + u), donc
Z  
dx 1 1 1 1
x x
= x
= lim x
= .
(1 + e )(1 + e ) 1+e 0 2 x 1 + e 2
0

x /x

b) Une primitive de e est 2e x, donc
Z
e x h i
dx = 2e x = 2( lim e x lim e x ) = 2 .
x 0 x0 x
0

c) Une primitive de ln x est x ln x x, donc

Z1 h i1
ln x dx = x ln x x = 1 lim (x ln x x) = 1 ,
0 x0
0

car la limite de x ln x est nulle en 0.

d) En intgrant par parties

ln x ln x dx ln x 1
Z Z
2
dx = + 2
= ,
x x x x x
donc
Z
ln x 1
   
ln x ln x 1
dx = = lim + 1 = 1.
x2 x x 1 x x x
1

e) En intgrant par parties

ln x ln x dx
Z Z
dx = + .
(1 + x)2 1+x x(1 + x)

Mais en dcomposant la fraction rationnelle

1 1 1
= ,
x(1 + x) x 1+x

on obtient
ln x ln x x ln x
Z
dx = + ln x ln(1 + x) = ln(1 + x) .
(1 + x)2 1+x 1+x
Alors
Z1  1  
ln x x ln x x ln x
dx = ln(1 + x) = ln 2 lim ln(1 + x) = ln 2 .
(1 + x)2 1+x 0 x0 1 + x
0

6
 Z
f) Posons In = xn ex dx. Puisque les fonctions intgres sont positives, la fonction Fn dfinie
0
par
Z
Fn () = xn ex dx ,
0

est croissante et possde une limite finie ou non +.

En intgrant par parties, si n 1.

Z Z
x e dx = x e + nxn1 ex dx .
n x n x

Mais
lim xn ex = 0 .
x+

Il en rsulte que
Z Z
n x
lim x e dx = n lim xn1 ex dx ,

0 0

et donc
In = nIn1 .
On a
Z
I0 = ex dx = 1 ,
0

donc lintgrale In converge et

In = n(n 1) 1 I0 = n! .

g) Comme arctan x a pour drive 1/(1 + x2 ), on a

arctan x 1
Z
dx = (arctan x)2 ,
1 + x2 2
et
Z 
2

arctan x 1 2 1 2
dx = (arctan x) = lim (arctan x) = .
1 + x2 2 0
x 2 8
0

h) La fraction rationnelle se dcompose facilement, puisque

 
1 1 1 1
= ,
x(x + r) r x x+r

1 x
et admet sur [ a, [ la primitive ln , donc
r x+r
Z
x 1
   
dr 1 a+r x 1 a+r
= ln = ln + lim ln = ln .
x(x + r) r x+r a r a x x+r r a
a

7

i) Une primitive de cos 2x/ sin 2x est sin 2x, donc

Z/2 h
cos 2x i/2
dx = sin 2x = lim sin 2x lim sin 2x = 0 .
sin 2x 0 x/2 x0
0

2. On dcompose la fraction rationnelle

 
1 1 1 1
= .
x2 1 2 x1 x+1

1 x1
Pour x a > 1, cette fonction admet comme primitive ln Alors
2 x+1
Z
1 x1
 
dx 1 x1 1 a1 1 a+1
2
= ln = lim ln ln = ln .
x 1 2 x+1 a x 2 x+1 2 a+1 2 a1
a

3. a) Au voisinage de 0 on a
1
2 e1
e x +x+1 ,
x x
Z1 Z1
1 2 dx
donc lintgrale e x x+1 dx converge par comparaison .
x x1/2
0 0
Lorsque x > 1,
1
2
e x +x+1 ex ,
x
Z Z
1 2
et lintgrale e x +x+1 dx converge par comparaison ex dx.
x
1 1
b) Cherchons un quivalent de ln(1 + sin x) dx au voisinage de /2. Posons u = x + /2. Alors
 2   
u ln(1/2 + (1))
ln(1 + sin x) = ln(1 cos u) = ln + (u2 ) = 2 ln u 1 + 2 ln u .
2 2 ln u

Z1 Z/2
Mais lintgrale ln u du converge (Voir ex 1c) et ln u est ngative. Donc lintgrale ln(1 + sin x) dx
0 /2
converge.

c) On peut donner deux arguments montrant la convergence de lintgrale.

Z
2 2
2
(i) Lorsque t > 1, on a t > t, donc et < e , et lintgrale et dt converge par comparaison
t

Z
lintgrale et dt.

8
 2
(ii) Lorsque t tend vers linfini, t2 et admet 0 comme limite, donc est major par 1 sur
Z
2 2
un intervalle [ a, [ . Alors et 2
1/t , et lintgrale et dt converge par comparaison
Z
dt
lintgrale .
t2
d) On a, si t > 0,
1 + sin t 2
0 3/2 ,
1+ t 3 t
Z Z
1 + sin t dt
et lintgrale dt converge par comparaison lintgrale .
1 + t3 t3/2

4. a) Cherchons un quivalent simple en 0 et en + de la fonction f dfinie sur ] 0, [ par

1
f (x) = .
x (1 + x )

Le rsultat dpend du signe de . On peut rsumer ce que lon obtient dans le tableau suivant :

condition de condition de
f (x) en 0 f (x) en convergence de convergence de
R1 R
f (x) dx f (x) dx
0 1

1 1
>0 <1 + >1
x x+

1 1
=0 <1 >1
2x 2x

1 1
<0 + <1 >1
x+ x

Z
Lensemble des couples (, ) pour lesquels lintgrale f (x) dx converge est le domaine du plan
0
limit par les droites dquation + = 1 et = 1 (exclues). On ne peut jamais avoir = 0.

+

=
1
b) Mme mthode. Les quivalents dpendent du signe de cette fois.

Remarquons que si > 0, alors x tend vers 0 en 0 donc

ln(1 + x ) x ,
et si < 0, on peut crire

ln(1 + x ) = ln(x ) + ln(1 + x )

ln(1 + x )
 
= ln x 1 + ,
ln x
et donc
ln(1 + x ) ln x .
On a des rsultats inverss en +. On peut rsumer ce que lon obtient dans le tableau suivant :

condition de condition de
f (x) en 0 f (x) en convergence de convergence de
R1 R
f (x) dx f (x) dx
0 1

1 ln x
>0 < 1 >1
x x

ln 2 ln 2
=0 <1 >1
x x

ln x 1
<0 <1 >1
x x

10
 Z
Lensemble des couples (, ) pour lesquels lintgrale f (x) dx converge est le domaine du plan
0
limit par les droites dquation = 1 et = 1 (exclues). On ne peut jamais avoir = 0.

1
=

c) Posons
(1 + t) t
f (t) = .
t
Si = 0 la fonction f est nulle et lintgrale converge.

Si 6= 0 et si t tend vers linfini, on crit

  
1
(1 + t) t = t 1+ 1 ,
t

et en faisant un dveloppement limit en 0 par rapport 1/t, on obtient

   
1
(1 + t) t = t 1 + + 1 t1 ,
t t

donc

f (t) ,
t+1
Z
et lintgrale f (t) dt converge si et seulement si > 0.
1
En 0, le rsultat dpend du signe de .

11
Si < 0
(1 + t) t = t 1 t (1 + t) t ,

car 1 t (1 + t) tend vers 1. On en dduit

1
f (t) ,
t
Z1
et lintgrale f (t) dt converge si et seulement si < 1.
0
Si > 0, la quantit (1 + t) t tend vers 1 en 0, donc
1
f (t) ,
t
Z1
et lintgrale f (t) dt converge si et seulement si < 1.
0
On a donc le tableau suivant :

condition de condition de
f (t) en 0 f (t) en convergence de convergence de
R1 R
f (t) dt f (t) dt
0 1

1
>0 <1 > 0
t t+1

1
<0 <1 > 0
t t+1

Les couples (, ) rpondant la question sont les points du domaine limit par les droites
dquation = 1, = et = + 1 (bords exclus), auxquels on peut ajouter la droite dqua-
tion = 0.

12


1
=

Z
dx
5. Lintgrale I(n) est une intgrale de Bertrand qui converge si et seulement si
xn (ln x)1
1
ln x
Z
n 2. Pour la calculer dans ce cas, intgrons par parties dx. On a
xn

ln x xn+1 xn+1 1 xn+1 xn+1

Z Z
dx = ln x dx = ln x ,
xn n + 1 n + 1 x n + 1 (n 1)2

et donc 
xn+1 xn+1

1
I(n) = ln x = .
n + 1 (n 1)2 1 (n 1)2

6. Pour x > 0, posons

1
f (x) = .
(1 + x2 )(1 + x )
On a
1
0 f (x) = ,
1 + x2
Z Z
dx dx
et puisque lintgrale converge, il rsulte du thorme de comparaison que
1 + x2 (1 + x2 )(1 + x )
0 0
converge aussi.

13
En posant t = 1/x, on a x = 1/t donc dx = dt/t2 , et lon obtient
Z
t dt
I() = .
(t2 + 1)(t + 1)
0

Alors, puisque toutes les intgrales convergent, on peut additionner les deux expressions de I(),
et lon trouve
Z Z Z
dt t dt dt h i
2I() = + = = arctan t = .
(t + 1)(t + 1)
2 (t2 + 1)(t + 1) t2 + 1 0 2
0 0 0

7. En effectuant un dveloppement limit en 0, on a

et e2t = 1 t (1 2t) + (t) = t + (t) ,

donc
et e2t
lim = 1,
t0 t
Z1
et e2t
et la fonction se prolonge par continuit en 0. Il en rsulte que lintgrale dt
t
0
converge.

Posons
Z Z
et e2t
I1 = dt et I2 = dt .
t t
1 1

Si t 1, on a
et e2t
0 et et 0 e2t ,
t t
Z Z
et puisque les intgrales et dt et e2t dt convergent, les intgrales I1 et I2 convergent ga-
1 1
lement, donc I1 I2 converge.
Z
e2t
b) Transformons dt par le changement de variable x = 2t. On obtient
t

Z Z
e2t ex
dt = dx ,
t x
2

do
Z Z Z2
et e2t et
dt dt = dt .
t t t
2

14
c) On cherche la limite lorsque tend vers 0 du membre de droite. En utilisant la premire
formule de la moyenne, il existe c dans [ , 2 ] tel que

Z2 Z2
et dt
dt = ec = ec ln 2 .
t t

Comme c tend vers zro daprs le thorme dencadrement, il en rsulte que I = ln 2.

d) Le changement de variable x = et donne immdiatement

Z1
x1
dx = I = ln 2 .
ln x
0

8. a) la fonction qui x associe ln sin x est continue sur ] 0, /2 ] . On a au voisinage de 0

ln sin x = ln(x + (x)) = ln x + ln(1 + (1)) ,

donc  
ln(1 + (1))
ln sin x = ln x 1 + .
ln x
ln(1 + (1))
Mais 1 + tend vers 1 lorsque x tend vers 0, et donc
ln x
ln sin x ln x .
Z1
Lintgrale ln x dx converge (ex 1 c) et, puisque ln x est de signe constant au voisinage de 0,
0
lintgrale I converge.

b) Puisque cos(/2 x) = sin x, le changement de variable t = /2 x donne immdiatement

Z/2
I= ln cos t dt .
0

c) Alors, puisque
sin 2x
ln sin x + ln cos x = ln(sin x cos x) = ln ,
2
on obtient
Z/2
sin 2x
2I = ln dx .
2
0

d) Ceci peut scrire

Z/2 Z/2 Z/2

ln 2
2I = ln sin 2x dx ln 2 dx = ln sin 2x dx .
2
0 0 0

15
Effectuons le changement de variable u = 2x dans lintgrale du membre de droite. On trouve

Z/2 Z
1
ln sin 2x dx = ln sin u du .
2
0 0

Puisque sin( v) = sin v, le changement de variable v = u donne

Z Z/2
ln sin u du = ln sin v dv ,
/2 0

donc
Z Z/2
1
ln sin u du = ln sin u du = I .
2
0 0
Finalement
ln 2
2I = I ,
2
et donc
ln 2
I= .
2

9. a) Pour x > 0, posons

1
f (x) = .
(1 + x2 ) x
On a au voisinage de linfini,
1
f (x) ,
x5/2
Z
et, puisque 5/2 > 1, lintgrale f (x) dx converge. Au voisinage de 0, on a cette fois
1

1
f (x) ,
x1/2
Z1
et, puisque 1/2 < 1, lintgrale f (x) dx converge galement. Lintgrale I converge donc.
0
b) Pour dcomposer la fraction en lments simples on crit tout dabord

t4 + 1 = t4 + 2t2 + 1 2t2 = (t2 + 1)2 ( 2 t)2 = (t2 + 2 t + 1)(t2 2 t + 1) .

Alors
1 at + b ct + d
= + .
t4
+1 t2 + 2 t + 1 t2 2 t + 1
Mais comme la fonction est paire, on obtient, en changeant t en t
1 at + b ct + d
= + ,
t4 +1 t2 2 t + 1 t2 + 2 t + 1

16
et par unicit de la dcomposition a = c et b = d. Donc
1 at + b at + b
= + .
t4 + 1 2 2
t + 2t+ 1 t 2t+ 1
En donnant t la valeur 0, on obtient
1
b= .
2

Dautre part, si lon rduit au mme dnominateur, le coefficient de t2 vaut 2a 2 + 2b. Comme
il est nul, on en dduit que
1
a= .
2 2
On crit alors
! !
at + b 1 2t + 2 2 1 2t + 2 1 1
= = + ,
2
t + 2t + 1 2
4 2 t + 2t + 1 2
4 2 t + 2t + 1 4 2
t + 2t+ 1

et cette fonction admet comme primitive

1 2
2
ln(t + 2 t + 1) + arctan( 2 t + 1) .
4 2 4
1 2 2at + b
(On rappelle quune primitive de o = b2 4ac < 0 et a 6= 0 est arctan ).
at2 + bt + c
On obtient de mme pour la primitive de lautre morceau

1 2
2
ln(t 2 t + 1) arctan( 2 t + 1) .
4 2 4
1
Alors, une primitive de est,
t4
+1

1 t2 + 2 t + 1 2
ln + (arctan( 2 t + 1) + arctan( 2 t 1) .
4 2 t2 2 t + 1 4

2
Cette fonction est nulle en 0 et admet comme limite + donc
4
Z
dx 2
= .
1 + t4 4
0

dx
c) En effectuant le changement de variable t = x dans I, on a dt = et lon trouve
2 x

2
I = 2J = .
2

10. a) On a, linfini,
1 1
n
3n ,
(x3 + 1) x

17
 Z
dx
et lintgrale converge si et seulement si 3n > 1, soit n 1.
(x3 + 1)n
0
b) En utilisant la factorisation

x3 + 1 = (x + 1)(x2 x + 1) ,
1
la fraction rationnelle se dcompose sous la forme
x3 +1
1 1 a bx + c
= = + 2 .
x3 +1 2
(x + 1)(x x + 1) x+1 x x+1

On peut obtenir les coefficients de la manire suivante :

en multipliant par x + 1 et en faisant tendre x vers 1, on obtient a = 1/3 ;

en remplaant x par 0, on trouve 1 = a + c do c = 1 a = 2/3 ;

en multipliant par x et en faisant tendre x vers +, on trouve 0 = a + b, do b = 1/3.

Finalement
1 1 1 x + 2
= + ,
x3 + 1 3(x + 1) 3 x2 x + 1
ce qui scrit encore
1 1 1 2x 1 1 1
= + ,
x3 +1 2 2
3(x + 1) 6 x x + 1 2 x x + 1

Pour x 0, on obtient alors comme primitive,

dx 1 1 1 2x 1 1 x+1 1 2x 1
Z
= ln(x+1) ln(x2 x+1)+ arctan = ln + arctan .
x3 + 1 3 6 3 3 3 2
x x+1 3 3
Alors
Z
2x 1
 
dx 1 x+1 1
3
= ln + arctan
x +1 3 x2 x + 1 3 3 0
0
 
1 x+1 1 2x 1 1 1
= lim ln + arctan + arctan .
x 3 2
x x+1 3 3 3 3
Mais
1
x+1 1+
ln = ln r x ,
x2 x + 1 1 1
1 + 2
x x
2x 1
et cette expression a pour limite 0 +. Par ailleurs arctan admet pour limite /2 en
3
+, et
1
arctan = ,
3 6

18
do
Z
dx 1 1 2 3
= + = .
x3 + 1 3 2 3 6 9
0

c) Si n 1, lintgrale Jn est convergente, et on peut intgrer par parties. On trouve

 Z Z
3nx3 3nx3

x
Jn = + dx = dx .
(x + 1)n
3
0 (x3 + 1)n+1 (x3 + 1)n+1
0 0

Mais
Z Z Z
x3 x3 + 1 1
dx = dx dx = Jn Jn+1 ,
(x3 + 1)n+1 (x3 + 1)n+1 (x3 + 1)n+1
0 0 0
donc
Jn = 3n(Jn Jn+1 ) ,
do lon dduit
3n 1
Jn+1 = Jn .
3n
Alors
3n 4 3n 7 2 3n 4 3n 7 2 2 3
Jn = J1 = .
3n 3 3n 6 3 3n 3 3n 6 3 9

sin x
11. a) On crit tan x = et comme sin x est la drive de cos x, on a immdiatement,
cos x
pour x [ 0, /2 [ Z
tan x dx = ln cos x .

Z/2
Mais lorsque x tend vers /2, cos x tend vers 0, et ln cos x vers +. Lintgrale tan x dx
0
est donc divergente.

b) La fonction tangente possde une discontinuit en /2. On se ramne en 0 en posant u = /2 x.

Alors   1
tan x = tan u = .
2 tan u
Mais au voisinage de 0, tan u u, donc
1
tan x .
u
Z Z/2
du
Comme lintgrale diverge, il en rsulte que lintgrale tan x dx diverge galement.
u
0 0

12. a) Premire mthode. En intgrant par parties

cos x sin x 1 sin x
Z Z
dx = + dx .
x x 2 x3/2

19
 sin x
Or la fonction x 7 admet une limite nulle en +, et
x

| sin x| 1
3/2
3/2 .
x x
sin x
Z
De plus lintgrale dx converge absolument, donc converge. Il en rsulte que lintgrale
x3/2
cos x
Z
dx converge.
x

Deuxime mthode. En appliquant directement le critre dAbel. La fonction x 7 1/ x est
dcroissante et tend vers 0 linfini, par ailleurs
 x 
Z 
 
 cos t dt  = | sin x sin x| 2 ,
 
 
x

donc lintgrale converge.

Pour montrer quelle ne converge pas absolument, on peut utiliser lingalit

1 + cos 2x
| cos x| cos2 x = .
2
Alors
Zx Zx Zx Zx
| cos t| 1 + cos 2t 1 cos 2t
dt dt = dt + dt . (1)
t 2 t 2 t 2 t

Mais
Zx
1
dt = x ,
2 t

et ceci tend vers + lorsque x tend vers +. Par contre, en posant u = 2t, on obtient

Zx Z2x
cos 2t 1 cos u
dt = du ,
2 t 2 2 u
2

et cette expression possde une limite finie lorsque x tend vers +, donc le membre de droite
de lingalit (1) tend vers + et il en rsulte que celui de gauche a la mme limite. Par suite,
Zx
| cos t|
lintgrale dt diverge.
t

Z
b) Comme la fonction qui x associe cos(x2 ) est continue sur [ 1, [ , lintgrale cos(x2 ) dx
1
Z Z
converge si et seulement si lintgrale cos(x2 ) dx converge, et de mme lintgrale | cos(x2 )| dx

1

20
 Z
converge si et seulement si lintgrale | cos(x2 )| dx converge. En faisant le changement de va-


riable t = x2 on obtient,
Z Z
cos t
cos(x2 ) dx = dt ,
2 t

et galement
Z Z
| cos t|
| cos(x2 )| dx = dt .
2 t

Z Z
2
Il rsulte de a) que lintgrale cos(x ) dx est semi-convergente, et donc que lintgrale cos(x2 ) dx

1
est galement semi-convergente.

c) On effectue le changement de variable u = x4 . Lintgrale devient

Z Z
2 1
4 sin u
x sin(x ) dx = du .
4 u1/4
4

La situation est identique celle de lexercice a). La fonction qui t dans [ , [ associe 1/t1/4
est dcroissante et tend vers 0 linfini. Par ailleurs
 x 
Z 
 
 sin t dt  = | cos x cos x | 2 ,
 
 
x

Z
sin u
donc la critre dAbel permet de conclure que lintgrale du converge.
u1/4

Pour montrer quelle ne converge pas absolument, on peut utiliser lingalit
1 cos 2u
| sin u| sin2 u = .
2
et conclure comme dans a).

d) On effectue le changement de variable t = x. Lintgrale devient
Z Z it
ei x 2e
dx = dt .
x
t

On applique alors la mme mthode que dans a) aux parties relle et imaginaire
Z Z
2 cos t 2 sin t
dt et dt ,

t
t

21
 Z
ei x
ce qui montre que ces deux intgrales convergent, donc dx converge. Par contre, puisque
x

Z
dx
|ei x| = 1, et que lintgrale diverge, lintgrale propose nest pas absolument convergente.
x

13. Raisonnons par labsurde. Sil existe un nombre rel c tel que f (c) ne soit pas nul, on peut,
quitte prendre la fonction f , supposer que f (c) > 0. Comme f est continue en c, il existe un
intervalle [ , ] non rduit un point, tel que f (x) > 0 sur [ , ] . Soit alors m le minimum
de f sur [ , ] . Ce minimum est atteint en un point de cet intervalle et donc m > 0. Si la
fonction f est T priodique, on a, pour tout entier n positif,
Z +nT Z
f (x) dx = f (x) dx m( ) > 0 .
+nT

Z
Puisque lintgrale f (x) dx converge, le critre de Cauchy sapplique et il existe A > 0 tel que
0
A < X < Y implique  Y 
Z 
 
 f (x) dx  < m( ) .
 
 
X

Mais comme la suite ( + nT ) tend vers plus linfini, il existe N tel que n N implique
+ nT X. Dans ce cas
Z +nT  Z +nT 
 
f (x) dx = 
 f (x) dx  < m( ) .
+nT +nT

On obtient bien une contradiction.

14. Raisonnons par labsurde, et nions le fait que f tende vers 0 linfini. Il existe un nombre
> 0, tel que pour tout nombre A, il existe xA A tel que |f (xA )| .

En utilisant la continuit uniforme de f , il existe > 0 tel que, lingalit |x x | , implique

|f (x) f (x )| /2 .

En particulier, si
xA t xA + ,
on a

|f (xA ) f (t)| ,
2
et donc

f (xA ) f (t) f (xA ) + .
2 2
Si f (xA ) > 0, on a f (xA ) et

f (t) = ,
2 2

22
donc  x + xZ

 ZA  A +
 
 f (t) dt  = f (t) dt .

  2
xA xA

Si f (xA ) < 0, on a f (xA ) et

f (t) f (xA ) + = ,
2 2 2
donc  x + xZ

 ZA  A +
 
 f (t) dt  = f (t) dt .

  2
xA xA

Il existe donc un nombre = /2 pour lequel, pour tout A, on a trouv deux nombres xA et
xA + vrifiant les ingalits A xA xA + et
 x + 
 ZA 
 

 f (t) dt .

 
xA

Z
Cela signifie que la proprit de Cauchy nest pas satisfaite, donc que lintgrale f (t) dt di-
0
verge, do une contradiction.

15. a) La relation
f (x) = O(1/x2 )
signifie que la fonction x 7 x2 f (x) est borne au voisinage de linfini, cest--dire quil existe
deux nombres a > 0 et M > 0, tels que, si |x| a, on ait

x2 |f (x)| M ,

cest--dire
M
|f (x)| .
x2
Z
dx
On remarque que lintgrale converge, et donc, de lingalit prcdente, on dduit que
x2
1
Z
lintgrale f (t) dt converge absolument donc converge. Mais
a

Z ZX

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

Z
Il en rsulte que la fonction f a une limite en + qui vaut f (x) dx + f (a).
a

23
La dmonstration est analogue .

b) Si x et x sont deux rels quelconques tels que x < x , on a encore

 x
Zx

Z 
|f (x) f (x )| =  f (t) dt |f (t)| dt .
 
 
x x

Lintgrale de droite se majore par

Zx
dt
= arctan x arctan x ,
1 + t2
x

et puisque la fonction arctangente est comprise entre /2 et +/2, on a finalement

|f (x ) f (x)| arctan x arctan x .

En faisant tendre x vers et x vers +, on obtient alors, par passage la limite dans les
ingalits
|L | .

16. a) Comme f dcroit, on peut minorer f (t) par f (2x), lorsque t appartient lintervalle
[ x, 2x ] . Alors
Z2x Z2x
f (t) dt f (2x) dt = xf (2x) .
x x

Si x > a/2, on a donc,

Zx
0 xf (x) 2 f (t) dt .
x/2

Comme lintgrale converge, il existe, daprs le critre de Cauchy, un nombre A, tel que les
ingalits A u v impliquent  v 
Z 
 f (t) dt  < .
 
  2
 
u

Alors si x 2A, on a A x/2 x, et

Zx
0 xf (x) 2 f (t) dt < .
x/2

On en dduit que xf (x) tend vers 0 linfini.

b) La fonction f dfinie sur [ 2, [ par

1
f (x) = ,
x ln x

24
et telle que xf (x) tende vers 0 linfini. On vrifie facilement quelle est dcroissante. Par contre
lintgrale de f diverge, puisque
Zx
dx
= ln ln x ln ln 2
x ln x
2

a pour limite + quand x tend vers +.

17. Soit les suites (an )n1 et (bn )n1 dfinies par

1 1
an = n et bn = n + .
n2 2n n2 2n
Remarquons tout dabord que si n 1, on a
2 1
2
+ 3 < 4 2n+1 ,
n (n + 1)2

do lon dduit que

1 1
+ < 1,
n2 2n (n + 1)2 2n+1
et enfin que
1 1
n+ <n+1 .
n2 2n (n + 1)2 2n+1
Alors les suites (an )n1 et (bn )n1 vrifient les ingalits

an < n < bn an+1 < n + 1 < bn+1 .

Les deux suites sont croissantes et tendant vers +.

On peut dfinir une fonction g sur [ 0, [ continue et positive de la manire suivante :

pour tout entier n 1, on pose

g(n) = n2 , g(an ) = g(bn ) = 0 ,

et g est linaire affine sur les intervalles [ an , n ] et [ n, bn ] et est nulle partout ailleurs.

Voici par exemple le graphe de g sur [ 0, 5/2 ] .

25

4

1 2

On a alors
Zbn n Zbk
X
g(x) dx = g(x) dx .
0 k=1 a
k

Zbk
Mais Ik = g(x) dx est laire dun triangle dont la hauteur vaut k2 , et la base 2/(k2 2k ). On a
ak
donc Ik = 1/2k . Alors
Zbn n
X 1 1
g(x) dx = k
=1 n .
2 2
0 k=1

(Cest la somme des termes dune suite gomtrique de raison 1/2).

La fonction g tant positive, et (bn ) ayant pour limite +, on a alors

Z Zbn
g(x) dx = lim g(x) dx = 1 .
n
0 0

Si lon pose 
= g(x)/x si x > 0
f (x) = .
0 si x = 0
La fonction f est continue sur ] 0, [ comme quotient de deux fonctions continues. Par ailleurs
f est nulle sur [ 0, 1/2 ] , donc continue. Il en rsulte que f est continue sur [ 0, [ . On a aussi

26
 Z
f (n) = n et f nest pas borne. Enfin lintgrale xf (x) dx converge, puisque
0

Z Z
xf (x) dx = g(x) dx = 1 .
0 0

18. a) Pour x 0 et n 1, posons

arctan(nx)
fn (x) = .
n(1 + x2 )
Tout dabord
1
0 fn (x) = g(x) .
2 1 + x2
Z
Comme lintgrale g(x) dx converge, il rsulte du thorme de comparaison que toutes les
0
Z
intgrales fn (x) dx convergent. Par ailleurs
0

0 fn (x) ,
2n
et donc la suite (fn ) converge uniformment, donc uniformment localement, vers la fonction
nulle. Alors le thorme de convergence domine montre que la suite (an ) converge vers
Z
0 dx = 0 .
0

b) Pour x [ 0, 1 ] et n 0, posons
1
fn (x) = .
1 + xn
Tout dabord
0 fn (x) 1 = g(x) .
La fonction g et les fonctions fn sont Riemann-intgrables sur [ 0, 1 ] . Par ailleurs la suite fn
converge simplement sur [ 0, 1 [ vers la fonction f = 1. Sur [ 0, ] , avec ] 0, 1 [ , on a
xn
|fn (x) f (x)| = n ,
1 + xn
et il en rsulte que la suite (fn ) converge uniformment vers f sur [ 0, ] . La suite (fn ) converge
donc uniformment localement vers f sur [ 0, 1 [ . Alors le thorme de convergence domine
montre que la suite (an ) converge vers
Z1
1 dx = 1 .
0

27
c) Pour x ] 1, [ et n 0, posons
1
fn (x) = .
1 + xn
Tout dabord, si n 2,
0 fn (x) f2 (x) = g(x) .
Z
Comme g(x) dx converge, il rsulte du thorme de comparaison que toutes les intgrales
1
Z
fn (x) dx convergent si n 2. Par ailleurs la suite fn converge simplement sur [ 1, [ vers la
0
fonction f = 0. Sur [ , ] , avec > 0, on a
1
0 fn (x) ,
1 + n
et il en rsulte que la suite (fn ) converge uniformment vers 0 sur [ , [ . La suite (fn ) converge
donc uniformment localement vers f sur ] 1, [ . Alors le thorme de convergence domine
montre que la suite (an ) converge vers

Z1
0 dx = 0 .
0

d) Pour x 0 et n 1, posons
arctan n+1
n x
fn (x) = .
1 + x2
Tout dabord
1
0 fn (x) = g(x) .
2 1 + x2
Z
Comme lintgrale g(x) dx converge, il rsulte du thorme de comparaison que toutes les
0
Z
intgrales fn (x) dx convergent. Par ailleurs, fn tend simplement vers la fonction f qui x
0
arctan x
associe . Soit x dans lintervalle [ 0, ] , o > 0. On a
1 + x2
   
 1 
|fn (x) f (x)| arctan 1 +
 x arctan x .
n

En appliquant lgalit des accroissements finis, il existe c dans [ 0, ] tel que

      

arctan 1 + 1   1  1 x
x arctan x =  1 + x x 2
= 2
,
 n n 1+c n(1 + c ) n

28
et la suite (fn ) converge uniformment sur [ 0, ] donc uniformment localement sur [ 0, [ ,
vers la fonction f . Alors le thorme de convergence domine montre que la suite (an ) converge
vers
Z 
2

arctan x 1 2
dx = (arctan x) = .
1 + x2 2 0 8
0

19. a) On a
f (x) = g(x)(1 + g(x)) .
Comme g(x) tend vers 0 linfini (produit dune fonction borne, par une fonction tendant vers
0), on en dduit que f g au voisinage de linfini.
Z
b) Comme dans lexercice 12, lintgrale g(x) dx est semi-convergente, alors que lintgrale
a
Z Z
(f (x) g(x)) dx nest pas convergente. Il en rsulte que f (x) dx nest pas convergente.
a a

20. a) On a, au voisinage de 1,
1
ln |x + 1| ,
f (x)
2
et puisque ln |u| admet comme primitive u ln |u| u, on voit facilement que les intgrales
Z0 Z1
ln |1 + x| dx et ln |1 + x| dx ,
1 2
sont convergentes.

b) Au voisinage de linfini, on a,
 
1 

ln 1 + 

ln |x| x x ln |x|
f (x) = 2
1 + ,
x x +1 ln |x| x

et lintgrale de ln |x|/x est divergente car la fonction a pour primitive (ln |x|)2 /2. Les deux in-
Z Z0
tgrales f (x) dx et f (x) dx sont donc divergentes.
0

c) On a
 
x x + 1
f (x) + f (x) = ln  
x2 + 1  x 1 
1
 
1 +

x  
x 
= ln

x2 + 1 
 1
1 
  x   
x  1   1 
= 2
ln 1 +  ln 1  .
x +1 x x

29
Posons u = 1/x. En effectuant un dveloppement limit au voisinage de 0 on obtient
2
ln |1 + u| ln |1 u| = ln(1 + u) ln(1 u) = 2u + (u) 2u = ,
x
donc, +,
2
f (x) + f (x) ,
x2
Z
et lintgrale (f (x) + f (x)) dx converge absolument. Cela signifie en particulier que
0

ZA
g(A) = (f (x) + f (x)) dx ,
0

possde une limite lorsque A tend vers +. Mais,

ZA Z0
f (x) dx = f (x) dx ,
0 A

et donc
ZA
g(A) = f (x) dx ,
A

d o le rsultat.

30