Académique Documents
Professionnel Documents
Culture Documents
GENERALISEES
Z∞ Z∞ √
x Z1
dx e−
a) x
b) √ dx c) ln x dx
(1 + e )(1 + e−x ) x
0 0 0
Z∞ Z1 Z∞
ln x ln x
d) dx e) dx f) xn e−x 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
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. Déterminer pour quelles valeurs du couple (α, β) ∈ R2 les intégrales suivantes sont conver-
gentes. (On dessinera dans le plan l’ensemble 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
1
Z∞
dx
6. Soit I(λ) = . Montrer que I(λ) converge pour tout réel λ et calculer cette
(1 + x2 )(1 + xλ )
0
intégrale en utilisant le changement de variable t = 1/x.
Z∞
e−t − e−2t
7. Soit I = dt.
t
0
a) Montrer que I est convergente.
Z∞ Z2ε
e−t − e−2t e−t
dt = dt .
t t
ε ε
c) En déduire le calcul de I.
Z1
x−1
d) En déduire le calcul de dx (Poser x = e−t ).
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 déduire 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 déduire I.
2
Z∞
dx
10. a) Etudier pour quelles valeurs de n ∈ N l’intégrale 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 déduire Jn si n ≥ 1.
Zπ/2
11. Montrer que l’intégrale tan x dx diverge,
0
a) par un calcul de primitive ; b) par le critère de Riemann.
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 périodique dont l’intégrale f (x) dx est conver-
0
gente. Montrer que f est la fonction nulle. (Raisonner par l’absurde : supposer que f (c) 6= 0 pour
un certain réel c, et montrer que le critère de Cauchy est alors contredit).
Z∞
14. Soit f une fonction uniformément continue de [ a, ∞ [ dans R, telle que l’intégrale f (x) dx
a
converge. Montrer que lim f (x) = 0 (montrer que sinon le critère 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) Démontrer que les limites L et ℓ de f en +∞ et −∞ respectivement existent.
3
16. Soit f une fonction décroissante de [ a, ∞ [ dans R+ .
Z∞
a) Montrer que si l’intégrale f (t) dt converge, alors lim xf (x) = 0.
x→∞
a
Z2x
(Remarquer que l’on a, si x ≥ a, l’inégalité : xf (2x) ≤ f (t) dt).
x
b) Montrer par un contre-exemple que la réciproque est fausse.
4
17. Construire une fonction f continue positive non bornée de [ 0, +∞ [ dans R telle que l’in-
+∞
Z
tégrale xf (x) dx soit convergente.
0
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
x ln |x + 1|
f (x) = .
x2 + 1
Montrer les propriétés suivantes.
Z∞ Z0
b) Les intégrales f (x) dx et f (x) dx sont divergentes.
0 −∞
ZA
c) La limite de l’intégrale f (x) dx, lorsque A tend vers +∞ existe et est finie. (Etudier la
−A
Z∞
convergence de l’intégrale |f (x) + f (−x)| dx).
0
5
Corrigé
1. a) On a
1 ex
= .
(1 + ex )(1 + e−x ) (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 x→0 x→∞
0
Z1 h i1
ln x dx = x ln x − x = −1 − lim (x ln x − x) = −1 ,
0 x→0
0
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
ln x ln x dx
Z Z
dx = − + .
(1 + x)2 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 x→0 1 + x
0
6
Z∞
f) Posons In = xn e−x dx. Puisque les fonctions intégrées sont positives, la fonction Fn définie
0
par
Zα
Fn (α) = xn e−x dx ,
0
Mais
lim xn e−x = 0 .
x→+∞
Il en résulte que
Zα Zα
n −x
lim x e dx = n lim xn−1 e−x dx ,
α→∞ α→∞
0 0
et donc
In = nIn−1 .
On a
Z∞
I0 = e−x dx = 1 ,
0
In = n(n − 1) · · · 1 · I0 = n! .
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
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 x→0
0
1 x−1
Pour x ≥ a > 1, cette fonction admet comme primitive ln Alors
2 x+1
Z∞
1 x−1 ∞
dx 1 x−1 1 a−1 1 a+1
2
= ln = lim ln − ln = ln .
x −1 2 x+1 a x→∞ 2 x+1 2 a+1 2 a−1
a
3. a) Au voisinage de 0 on a
1 √
2 e−1
√ e− x +x+1 ∼ √ ,
x x
Z1 √ Z1
1 2 dx
donc l’intégrale √ e− x −x+1 dx converge par comparaison à .
x x1/2
0 0
Lorsque x > 1,
1 √
2
√ e− x +x+1 ≤ e−x ,
x
Z∞ √ Z∞
1 2
et l’intégrale √ e− x +x+1 dx converge par comparaison à e−x 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 l’intégrale ln u du converge (Voir ex 1c) et ln u est négative. Donc l’intégrale ln(1 + sin x) dx
0 −π/2
converge.
Z∞
à l’intégrale e−t dt.
8
2
(ii) Lorsque t tend vers l’infini, t2 e−t admet 0 comme limite, donc est majoré par 1 sur
Z∞
2 2
un intervalle [ a, ∞ [ . Alors e−t 2
≤ 1/t , et l’intégrale e−t dt converge par comparaison à
Z∞
dt
l’intégrale .
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 l’intégrale √ dt converge par comparaison à l’intégrale .
1 + t3 t3/2
Le résultat dépend du signe de β. On peut résumer ce que l’on 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∞
L’ensemble des couples (α, β) pour lesquels l’intégrale f (x) dx converge est le domaine du plan
0
limité par les droites d’équation α + β = 1 et α = 1 (exclues). On ne peut jamais avoir β = 0.
9
β
✻
1 ✲
α
α
+
β
=
1
b) Même méthode. Les équivalents dépendent du signe de α cette fois.
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∞
L’ensemble des couples (α, β) pour lesquels l’intégrale f (x) dx converge est le domaine du plan
0
limité par les droites d’équation β − α = 1 et β = 1 (exclues). On ne peut jamais avoir α = 0.
1
=
✻
α
−
β
1
✲
α
c) Posons
(1 + t)α − tα
f (t) = .
tβ
Si α = 0 la fonction f est nulle et l’intégrale converge.
donc
α
f (t) ∼ ,
tβ−α+1
Z∞
et l’intégrale f (t) dt converge si et seulement si β − α > 0.
1
En 0, le résultat dépend du signe de α.
11
Si α < 0
(1 + t)α − tα = −tα 1 − t−α (1 + t)α ∼ −tα ,
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 (α, β) répondant à la question sont les points du domaine limité par les droites
d’équation β = 1, β = α et β = α + 1 (bords exclus), auxquels on peut ajouter la droite d’équa-
tion α = 0.
12
β
✻
1
=
α
−
β
✲
α
α
=
β
Z∞
dx
5. L’intégrale I(n) est une intégrale de Bertrand qui converge si et seulement si
xn (ln x)−1
1
ln x
Z
n ≥ 2. Pour la calculer dans ce cas, intégrons par parties dx. On a
xn
et donc ∞
x−n+1 x−n+1
1
I(n) = ln x − = .
−n + 1 (n − 1)2 1 (n − 1)2
13
En posant t = 1/x, on a x = 1/t donc dx = −dt/t2 , et l’on obtient
Z∞
tλ dt
I(λ) = .
(t2 + 1)(tλ + 1)
0
Alors, puisque toutes les intégrales convergent, on peut additionner les deux expressions de I(λ),
et l’on 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
donc
e−t − e−2t
lim = 1,
t→0 t
Z1
e−t − e−2t
et la fonction se prolonge par continuité en 0. Il en résulte que l’intégrale dt
t
0
converge.
Posons
Z∞ Z∞
e−t e−2t
I1 = dt et I2 = dt .
t t
1 1
Si t ≥ 1, on a
e−t e−2t
0≤ ≤ e−t et 0 ≤ ≤ e−2t ,
t t
Z∞ Z∞
et puisque les intégrales e−t dt et e−2t dt convergent, les intégrales I1 et I2 convergent éga-
1 1
lement, donc I1 − I2 converge.
Z∞
e−2t
b) Transformons dt par le changement de variable x = 2t. On obtient
t
ε
Z∞ Z∞
e−2t e−x
dt = dx ,
t x
ε 2ε
d’où
Z∞ Z∞ Z2ε
e−t e−2t e−t
dt − dt = dt .
t t t
ε 2ε ε
14
c) On cherche la limite lorsque ε tend vers 0 du membre de droite. En utilisant la première
formule de la moyenne, il existe cε dans [ ε, 2ε ] tel que
Z2ε Z2ε
e−t dt
dt = e−cε = e−cε ln 2 .
t t
ε ε
Z1
x−1
dx = I = ln 2 .
ln x
0
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
L’intégrale ln x dx converge (ex 1 c) et, puisque ln x est de signe constant au voisinage de 0,
0
l’intégrale I converge.
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
15
Effectuons le changement de variable u = 2x dans l’intégrale du membre de droite. On trouve
Zπ/2 Zπ
1
ln sin 2x dx = ln sin u du .
2
0 0
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
1
f (x) ∼ ,
x1/2
Z1
et, puisque 1/2 < 1, l’intégrale f (x) dx converge également. L’intégrale I converge donc.
0
b) Pour décomposer la fraction en éléments simples on écrit tout d’abord
√ √ √
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 décomposition 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
√
D’autre part, si l’on réduit au même dénominateur, le coefficient de t2 vaut −2a 2 + 2b. Comme
il est nul, on en déduit 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
√ dx
c) En effectuant le changement de variable t = x dans I, on a dt = √ et l’on trouve
2 x
√
π 2
I = 2J = .
2
10. a) On a, à l’infini,
1 1
n
∼ 3n ,
(x3 + 1) x
17
Z∞
dx
et l’intégrale 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 décompose sous la forme
x3 +1
1 1 a bx + c
= = + 2 .
x3 +1 2
(x + 1)(x − x + 1) x+1 x −x+1
Finalement
1 1 1 −x + 2
= + ,
x3 + 1 3(x + 1) 3 x2 − x + 1
ce qui s’écrit encore
1 1 1 2x − 1 1 1
= − + ,
x3 +1 2 2
3(x + 1) 6 x − x + 1 2 x − x + 1
18
d’où
Z∞ √
dx 1 π 1 π 2π 3
=√ +√ = .
x3 + 1 3 2 3 6 9
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 ) ,
d’où l’on déduit
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 dérivée de cos x, on a immédiatement,
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 +∞. L’intégrale tan x dx
0
est donc divergente.
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 l’intégrale dx converge absolument, donc converge. Il en résulte que l’intégrale
x3/2
cos x
Z
√ dx converge.
x
√
Deuxième méthode. En appliquant directement le critère d’Abel. La fonction x 7→ 1/ x est
décroissante et tend vers 0 à l’infini, par ailleurs
x′
Z
cos t dt = | sin x′ − sin x| ≤ 2 ,
x
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 possède une limite finie lorsque x tend vers +∞, donc le membre de droite
de l’inégalité (1) tend vers +∞ et il en résulte que celui de gauche a la même limite. Par suite,
Zx
| cos t|
l’intégrale √ dt diverge.
t
π
Z∞
b) Comme la fonction qui à x associe cos(x2 ) est continue sur [ −1, ∞ [ , l’intégrale cos(x2 ) dx
−1
Z∞ Z∞
converge si et seulement si l’intégrale cos(x2 ) dx converge, et de même l’intégrale | cos(x2 )| dx
√
π −1
20
Z∞
converge si et seulement si l’intégrale | 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 résulte de a) que l’intégrale cos(x ) dx est semi-convergente, et donc que l’intégrale cos(x2 ) dx
√
π −1
est également semi-convergente.
La situation est identique à celle de l’exercice a). La fonction qui à t dans [ π, ∞ [ associe 1/t1/4
est décroissante et tend vers 0 à l’infini. Par ailleurs
x′
Z
sin t dt = | cos x − cos x′ | ≤ 2 ,
x
Z∞
sin u
donc la critère d’Abel permet de conclure que l’intégrale du converge.
u1/4
π
Pour montrer qu’elle ne converge pas absolument, on peut utiliser l’inégalité
1 − cos 2u
| sin u| ≥ sin2 u = .
2
et conclure comme dans a).
√
d) On effectue le changement de variable t = x. L’intégrale devient
Z∞ √ Z∞ it
ei x 2e
dx = dt .
x √
t
π π
On applique alors la même méthode que dans a) aux parties réelle 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 intégrales convergent, donc dx converge. Par contre, puisque
x
π
Z∞
√ dx
|ei x| = 1, et que l’intégrale diverge, l’intégrale proposée n’est pas absolument convergente.
x
π
13. Raisonnons par l’absurde. S’il existe un nombre réel 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 réduit à 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 −périodique, on a, pour tout entier n positif,
Z β+nT Z β
f (x) dx = f (x) dx ≥ m(β − α) > 0 .
α+nT α
Z∞
Puisque l’intégrale f (x) dx converge, le critère de Cauchy s’applique 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 l’infini, 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
14. Raisonnons par l’absurde, et nions le fait que f tende vers 0 à l’infini. Il existe un nombre
ε > 0, tel que pour tout nombre A, il existe xA ≥ A tel que |f (xA )| ≥ ε.
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
Il existe donc un nombre β = αε/2 pour lequel, pour tout A, on a trouvé deux nombres xA et
xA + α vérifiant les inégalités A ≤ xA ≤ xA + α et
x +α
ZA
f (t) dt ≥β.
xA
Z∞
Cela signifie que la propriété de Cauchy n’est pas satisfaite, donc que l’intégrale f (t) dt di-
0
verge, d’où une contradiction.
15. a) La relation
f ′ (x) = O(1/x2 )
signifie que la fonction x 7→ x2 f ′ (x) est bornée au voisinage de l’infini, c’est-à-dire qu’il existe
deux nombres a > 0 et M > 0, tels que, si |x| ≥ a, on ait
x2 |f ′ (x)| ≤ M ,
c’est-à-dire
M
|f ′ (x)| ≤ .
x2
Z∞
dx
On remarque que l’intégrale converge, et donc, de l’inégalité précédente, on déduit que
x2
1
Z∞
l’intégrale 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 résulte que la fonction f a une limite en +∞ qui vaut f ′ (x) dx + f (a).
a
23
La démonstration est analogue à −∞.
Zx′
dt
= arctan x′ − arctan x ,
1 + t2
x
En faisant tendre x vers −∞ et x′ vers +∞, on obtient alors, par passage à la limite dans les
inégalités
|L − ℓ| ≤ π .
16. a) Comme f décroit, on peut minorer f (t) par f (2x), lorsque t appartient à l’intervalle
[ x, 2x ] . Alors
Z2x Z2x
f (t) dt ≥ f (2x) dt = xf (2x) .
x x
Comme l’intégrale converge, il existe, d’après le critère de Cauchy, un nombre A, tel que les
inégalités A ≤ u ≤ v impliquent v
Z
f (t) dt < ε .
2
u
24
et telle que xf (x) tende vers 0 à l’infini. On vérifie facilement qu’elle est décroissante. Par contre
l’intégrale de f diverge, puisque
Zx
dx
= ln ln x − ln ln 2
x ln x
2
17. Soit les suites (an )n≥1 et (bn )n≥1 définies par
1 1
an = n − et bn = n + .
n2 2n n2 2n
Remarquons tout d’abord que si n ≥ 1, on a
2 1
2
+ ≤ 3 < 4 ≤ 2n+1 ,
n (n + 1)2
et g est linéaire affine sur les intervalles [ an , n ] et [ n, bn ] et est nulle partout ailleurs.
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 l’aire d’un 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
Z∞ Zbn
g(x) dx = lim g(x) dx = 1 .
n→∞
0 0
Si l’on 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 résulte que f est continue sur [ 0, ∞ [ . On a aussi
26
Z∞
f (n) = n et f n’est pas bornée. Enfin l’intégrale xf (x) dx converge, puisque
0
Z∞ Z∞
xf (x) dx = g(x) dx = 1 .
0 0
π
0 ≤ fn (x) ≤ ,
2n
et donc la suite (fn ) converge uniformément, donc uniformément localement, vers la fonction
nulle. Alors le théorème de convergence dominée 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 d’abord
0 ≤ fn (x) ≤ 1 = g(x) .
La fonction g et les fonctions fn sont Riemann-intégrables 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 résulte que la suite (fn ) converge uniformément vers f sur [ 0, α ] . La suite (fn ) converge
donc uniformément localement vers f sur [ 0, 1 [ . Alors le théorème de convergence dominée
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 d’abord, si n ≥ 2,
0 ≤ fn (x) ≤ f2 (x) = g(x) .
Z∞
Comme g(x) dx converge, il résulte du théorème de comparaison que toutes les intégrales
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 résulte que la suite (fn ) converge uniformément vers 0 sur [ α, ∞ [ . La suite (fn ) converge
donc uniformément localement vers f sur ] 1, ∞ [ . Alors le théorème de convergence dominée
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 d’abord
π 1
0 ≤ fn (x) ≤ = g(x) .
2 1 + x2
Z∞
Comme l’intégrale g(x) dx converge, il résulte du théorème de comparaison que toutes les
0
Z∞
intégrales fn (x) dx convergent. Par ailleurs, fn tend simplement vers la fonction f qui à x
0
arctan x
associe . Soit x dans l’intervalle [ 0, α ] , où α > 0. On a
1 + x2
1
|fn (x) − f (x)| ≤ arctan 1 +
x − arctan x .
n
28
et la suite (fn ) converge uniformément sur [ 0, α ] donc uniformément localement sur [ 0, ∞ [ ,
vers la fonction f . Alors le théorème de convergence dominée 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 à l’infini (produit d’une fonction bornée, par une fonction tendant vers
0), on en déduit que f ∼ g au voisinage de l’infini.
Z∞
b) Comme dans l’exercice 12, l’intégrale g(x) dx est semi-convergente, alors que l’intégrale
a
Z∞ Z∞
(f (x) − g(x)) dx n’est pas convergente. Il en résulte que f (x) dx n’est pas convergente.
a a
b) Au voisinage de l’infini, on a,
1
ln 1 +
ln |x| x x ln |x|
f (x) = 2
1 + ∼ ,
x x +1 ln |x| x
et l’intégrale de ln |x|/x est divergente car la fonction a pour primitive (ln |x|)2 /2. Les deux in-
Z∞ Z0
tégrales 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 développement 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 l’intégrale (f (x) + f (−x)) dx converge absolument. Cela signifie en particulier que
0
ZA
g(A) = (f (x) + f (−x)) dx ,
0
ZA Z0
f (−x) dx = f (x) dx ,
0 −A
et donc
ZA
g(A) = f (x) dx ,
−A
d’ où le résultat.
30