Corrigé du TD sur les intégrales impropres
Corrigé du TD sur les intégrales impropres
Corrigé du TD sur les intégrales impropres
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong><br />
1-) a-) Justifier la convergence de l'intégra<strong>les</strong> <br />
X dt<br />
X > 0, I(X) = <br />
<br />
t 0<br />
2 + 3 = <br />
1 3<br />
lim I(X) = =<br />
X + 3 2 6<br />
Donc <br />
0<br />
+ dt<br />
0<br />
+ dt<br />
––––––––––––––––<br />
1<br />
3 Arctan <br />
t 2 + 3 est convergente et <br />
0<br />
t <br />
<br />
3<br />
+ dt<br />
t 2 en calculant sa valeur.<br />
+ 3<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 1<br />
X<br />
0<br />
t 2 + 3<br />
= 1<br />
3 Arctan <br />
= 3<br />
6 .<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
X <br />
<br />
3 <br />
.<br />
1-) b-) Calculer <br />
<br />
dx<br />
2 + cosx 0<br />
au moyen <strong>du</strong> changement de variable t = tan <br />
x<br />
2<br />
<br />
<br />
.<br />
––––––––––––––––<br />
La fonction f : x <br />
1<br />
est continue <strong>sur</strong> [0, ]<br />
2 + cosx<br />
donc l'intégrale proposée est une intégrale définie.<br />
On effectue le changement de variable t = tan x<br />
2<br />
<br />
<br />
d'où dt = <br />
<br />
1 + tan<br />
<br />
<br />
<br />
2x<br />
1<br />
2dt<br />
dx donc dx =<br />
2<br />
2 1 + t 2.<br />
Par ailleurs, cosx =<br />
Enfin, <br />
1 – t2<br />
1 + t 2 donc<br />
si x = 0 alors t = 0<br />
si x → alors t → +<br />
1<br />
2 + cosx =<br />
1<br />
1 – t2<br />
2 +<br />
1 + t 2<br />
= 1 + t2<br />
3 + t 2 d'où<br />
donc on obtient une intégrale impropre !<br />
La question précédente donne alors immédiatement <br />
0<br />
<br />
dx<br />
2 + cosx = <br />
0<br />
dx 2dt<br />
=<br />
2 + cosx t 2 + 3<br />
+ 2dt<br />
t 2 + 3<br />
= 3<br />
3 .
2-) a-) Justifier que l'intégrale <br />
<br />
+ dt<br />
(1 + t<br />
0<br />
2 ) 2 est convergente.<br />
b-) Calculer sa valeur au moyen <strong>du</strong> changement de variable t = tan.<br />
––––––––––––––––<br />
a-) La fonction f : t <br />
1<br />
(1 + t 2 ) 2 est continue <strong>sur</strong> [0, +[<br />
donc l'intégrale est simplement impropre en +.<br />
t 0,<br />
Comme <br />
donc <br />
1<br />
(1 + t 2 ) 2 0 et<br />
0<br />
1<br />
+<br />
+ dt<br />
t 4 converge, <br />
1<br />
(1 + t 2 ) 2 ~<br />
1<br />
t 4.<br />
1<br />
+<br />
dt<br />
(1 + t 2 ) 2 converge .<br />
dt<br />
(1 + t 2 ) 2 converge<br />
b-) La fonction tangente réalise une bijection strictement croissante de [0, /2[ <strong>sur</strong> IR+.<br />
Le changement de variable proposé permet de dire que <strong>les</strong> intégra<strong>les</strong> <br />
et <br />
0<br />
Or, <br />
/2 (1 + tan 2 )<br />
0<br />
(1 + tan 2 ) 2 d sont de même nature.<br />
/2 (1 + tan 2 )<br />
Par suite: <br />
(1 + tan 2 ) 2 d = 0<br />
0<br />
+<br />
dt<br />
(1 + t 2 ) 2 = <br />
4 .<br />
/2<br />
cos 2 .d = <br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 2<br />
0<br />
/2<br />
1 + cos(2)<br />
d =<br />
2<br />
<br />
4<br />
0<br />
+<br />
dt<br />
(1 + t 2 ) 2
3-) On considère l'intégrale <br />
<br />
+<br />
ln <br />
0<br />
<br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 dt<br />
a-) Justifier que cette intégrale est convergente.<br />
b-) Déterminer sa valeur.<br />
a-)<br />
––––––––––––––––<br />
La fonction f: t ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 est continue et positive <strong>sur</strong> ]0, +[.<br />
L'intégrale est doublement impropre en 0 + et en +.<br />
f(t) ~<br />
1<br />
t 2. Comme <br />
<br />
1<br />
+ dt<br />
t 2 converge, <br />
+<br />
ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 .dt converge .<br />
f(t) ~ ln<br />
o <br />
1<br />
t<br />
<br />
<br />
2 = – 2lnt = o<br />
o 1 <br />
<br />
t <br />
donc, au voisinage de 0+ , 0 f(t) 1<br />
t .<br />
Comme <br />
1<br />
dt<br />
t converge, <br />
1<br />
ln 0<br />
<br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 .dt converge .<br />
Par suite: <br />
0<br />
+<br />
0<br />
ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 dt converge .<br />
b-) Pour et tels que 0 < , on pose I(, ) = <br />
<br />
<br />
ln <br />
<br />
<br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 dt.<br />
On effectue une intégration par parties<br />
avec u(t) = ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 et v'(t) = 1<br />
– 2<br />
d'où u'(t) =<br />
t 3 + t<br />
et v(t) = t<br />
I(, ) = ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
2 – ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
2 + 2 <br />
dt<br />
1 + t <br />
2<br />
I(, ) = ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
2 – ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
2 + 2Arctan – 2Arctan.<br />
lim I(1, ) = lim<br />
+ + ln 1 +<br />
<br />
<br />
<br />
1<br />
2 – ln2 + 2Arctan – <br />
2<br />
donc <br />
<br />
+<br />
ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 dt = <br />
– ln2 .<br />
2<br />
lim I(, 1) = lim<br />
0<br />
donc <br />
1<br />
0<br />
1<br />
Finalement, <br />
0<br />
0 ln2 – ln 1 +<br />
<br />
<br />
<br />
1<br />
2 + <br />
2<br />
ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 dt = ln2 + <br />
2 .<br />
+<br />
ln <br />
1 +<br />
<br />
<br />
<br />
1<br />
t 2 dt = .<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 3<br />
1<br />
– 2Arctan = ln2 + <br />
2<br />
<br />
=<br />
2 – ln2 car ln 1 +<br />
<br />
<br />
<br />
1<br />
2 ~<br />
1
4-) a-) Donner un équivalent en + de (t) = 1<br />
t – Arctan <br />
1<br />
t<br />
<br />
<br />
.<br />
b-)<br />
c-)<br />
+<br />
En dé<strong>du</strong>ire la nature de l'intégrale <br />
<br />
(t).dt.<br />
1<br />
Calculer la valeur de cette intégrale.<br />
––––––––––––––––<br />
a-) On cherche un DL3(0) de 1<br />
= h – Arctanh.<br />
h <br />
Comme Arctan0 = 0 et Arctan'h = 1<br />
1 + h 2 = 1 – h 2 + o(h o 2 ), Arctanh = h – h3<br />
3 + o(h o 3 ).<br />
Par suite, 1<br />
1<br />
h<br />
=<br />
3 h3 + o(h o 3 ) et (t) ~<br />
1<br />
3t 3 .<br />
1<br />
b-) La fonction t[1, +[ <br />
t – Arctan <br />
1<br />
est continue <strong>sur</strong> [1, +[<br />
t <br />
donc l'intégrale proposée est simplement impropre en +.<br />
(t) ~<br />
1 1<br />
3t<br />
3,<br />
3t 3 > 0 au voisinage de + et <br />
+<br />
1<br />
3t 3 dt converge<br />
donc 1<br />
+<br />
c-) x 1, <br />
(t)dt converge .<br />
1<br />
x dt<br />
t<br />
= lnx.<br />
x 1, on note I(x) = <br />
x<br />
Arctan 1<br />
1<br />
dt<br />
et on effectue une intégration par parties<br />
t avec u(t) = Arcan 1<br />
et v'(t) = 1<br />
t <br />
d'où u'(t) = – 1<br />
1 + t 2 et v(t) = t.<br />
Les fonctions u et v étant C 1 <strong>sur</strong> [1, x],<br />
I(x) = x.Arctan 1<br />
1<br />
x<br />
– +<br />
4 2 <br />
x 2t<br />
1 + t 2 dt = x.Arctan 1<br />
1<br />
x<br />
– +<br />
4 2 [ln(1 + x2 ) – ln2].<br />
1<br />
x<br />
Par suite, x 1, <br />
<br />
(t).dt = – x.Arctan 1<br />
1<br />
1<br />
x<br />
+ –<br />
4 2 .ln 1 +<br />
<br />
<br />
<br />
1<br />
x 2 + 1<br />
2 .ln2.<br />
lim<br />
x + x<br />
(t).dt = – 1 +<br />
1<br />
1<br />
+<br />
4 2 .ln2 car x.Arctan <br />
1<br />
~ x.<br />
x 1<br />
= 1<br />
x<br />
+<br />
Finalement: <br />
<br />
(t).dt = – 1 +<br />
1<br />
1<br />
+<br />
4 2 .ln2<br />
1<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 4
5-) a-) Etudier la nature de l'intégrale: <br />
<br />
+ x.dx<br />
x<br />
2<br />
3 + x – 1<br />
––––––––––––––––<br />
La fonction : x x 3 + x – 1 est croissante <strong>sur</strong> [2, +[ avec (2) = 7 + 2 > 0<br />
donc elle ne s'annule pas <strong>sur</strong> [2, +[.<br />
La fonction f : x[2, +[ <br />
x<br />
x 3 est continue <strong>sur</strong> [2, +[<br />
+ x – 1<br />
donc l'intégrale est simplement impropre en +.<br />
x 2,<br />
x<br />
x 3 0 et<br />
+ x – 1<br />
x<br />
x 3 ~<br />
+ x – 1 1<br />
x 2.<br />
Comme <br />
+<br />
dx<br />
x 2<br />
2 converge, <br />
<br />
+ x.dx<br />
x<br />
2<br />
3 converge .<br />
+ x – 1<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
5-) b-) Etudier la nature de l'intégrale: <br />
<br />
1 dx<br />
x – x .<br />
0<br />
––––––––––––––––<br />
x = x <br />
x2 = x<br />
1<br />
x 0<br />
x{0, 1}. La fonction f : x est continue <strong>sur</strong> ]0, 1[<br />
x – x<br />
donc l'intégrale est doublement impropre en 0 + et en 1 – .<br />
<br />
1<br />
~ –<br />
x – x o 1<br />
x donc<br />
Comme <br />
0<br />
1/2<br />
1<br />
x – x est de signe constant (négatif) au voisinage de 0+ .<br />
dx<br />
x converge, <br />
1/2<br />
–<br />
0<br />
dx<br />
x converge et <br />
1/2<br />
0<br />
dx<br />
x – x<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 5<br />
converge .<br />
En 1 – , la fonction u: x 1 – x est une bijection de classe C 1 de [1/2, 1[ <strong>sur</strong> ]0, 1/2]<br />
(car elle est continue et strictement décroissante <strong>sur</strong> [1/2, 1[ ).<br />
Le changement de variable u = 1 – x permet de dire que<br />
<br />
<br />
<br />
1<br />
1/2<br />
dx<br />
x– x est de même nature que <br />
0 – <strong>du</strong><br />
1 – u – 1 – u<br />
1/2<br />
= <br />
1/2<br />
0<br />
Au voisinage de 0 + ,<br />
1<br />
est de signe constant négatif<br />
1 – u.( 1 – u – 1)<br />
et<br />
1<br />
~ –<br />
1 – u.( 1 – u – 1) o 2<br />
u car 1 – u ~ 1 et 1 – u – 1 ~ –<br />
o o 1<br />
2 u.<br />
Comme <br />
Finalement, <br />
0<br />
0<br />
1<br />
1/2 <strong>du</strong><br />
u diverge, <br />
0<br />
1/2<br />
dx<br />
est divergente .<br />
x – x<br />
<strong>du</strong><br />
1 – u.( 1 – u – 1)<br />
<strong>du</strong><br />
1 – u.( 1 – u – 1) diverge et <br />
1 dx<br />
x– x<br />
1/2<br />
diverge.
5-) c-) Etudier la nature de l'intégrale: <br />
<br />
0<br />
e–t<br />
dt (aIR +).<br />
t + a<br />
––––––––––––––––<br />
Premier cas:<br />
e–t<br />
si a > 0 alors f : tIR+ est continue <strong>sur</strong> [0, +[<br />
t + a<br />
donc l'intégrale est simplement impropre en +.<br />
+<br />
t 1, e–t e–t<br />
> 0 et<br />
t + a t + a e–t .<br />
+<br />
Comme <br />
<br />
e<br />
1<br />
–t .dt converge, <br />
<br />
Par suite, si a > 0 alors <br />
Deuxième cas: si a = 0 alors l'intégrale <br />
0<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 6<br />
+<br />
0<br />
+<br />
1<br />
+<br />
e–t<br />
t + a dt converge<br />
e–t<br />
t + a dt converge .<br />
Le raisonnement précédent reste valable pour <br />
Pour <br />
0<br />
1<br />
Comme <br />
e–t<br />
dt, t]0, 1],<br />
t e–t e–t<br />
> 0 et ~<br />
t t o 1<br />
t .<br />
0<br />
1 dt<br />
et, par suite, <br />
t diverge, <br />
0<br />
0<br />
+<br />
1<br />
e–t<br />
t dt diverge .<br />
e–t<br />
t dt est doublement impropre en 0 + et en +.<br />
e–t<br />
t dt diverge<br />
1<br />
+<br />
e–t<br />
t dt.<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
5-) d-) Etudier la nature de l'intégrale: <br />
<br />
+<br />
x.sin <br />
0<br />
1 <br />
x<br />
<br />
<br />
2<br />
ln(1 + x) dx.<br />
––––––––––––––––<br />
La fonction f : x <br />
x.sin 1 <br />
x<br />
<br />
<br />
2<br />
est continue <strong>sur</strong> ]0, +[.<br />
ln(1 + x)<br />
L'intégrale est doublement impropre en 0 + et en +.<br />
1<br />
Au voisinage de +, f(x) ~<br />
x 3/2 1<br />
et x[e, +[, 0 <br />
.lnx x 3/2 1<br />
<br />
.lnx x 3/2<br />
Comme <br />
+<br />
dx<br />
x 3/2 converge, <br />
+<br />
dx<br />
x 3/2 .lnx converge donc +<br />
f(x).dx converge.<br />
e<br />
e<br />
Au voisinage de 0 + , f(x) n'est pas de signe constant,<br />
e<br />
x.sin <br />
mais<br />
1 <br />
x<br />
<br />
<br />
2<br />
x<br />
~<br />
ln(1 + x) ln(1 + x) o x 1<br />
=<br />
x x et, comme <br />
1 dx<br />
x 0<br />
1/2 converge,<br />
1<br />
<br />
<br />
f(x)dx est absolument convergente donc convergente.<br />
0<br />
En conclusion: <br />
0<br />
+<br />
x.sin 1 <br />
x<br />
<br />
<br />
2<br />
dx est convergente .<br />
ln(1 + x)
5-) e-) Etudier la nature de l'intégrale: <br />
<br />
+<br />
0<br />
x.sinx<br />
1 + x 2 dx.<br />
––––––––––––––––<br />
x.sinx<br />
La fonction f : x <br />
1 + x 2 est continue <strong>sur</strong> [0, +[.<br />
L'intégrale est simplement impropre en +.<br />
Pour tout X 0, on pose I(X) = <br />
<br />
X<br />
0<br />
x.sinx<br />
1 + x 2 dx.<br />
On effectue une intégration par parties<br />
x<br />
avec u(x) =<br />
1 + x 2 et v'(x) = sinx<br />
1 – x2<br />
d'où u'(x) =<br />
(1 + x 2 ) 2 et v(x) = – cosx.<br />
Les fonctions u et v étant C 1 <strong>sur</strong> [0, X], on obtient:<br />
– X.cosX<br />
I(X) =<br />
1 + X 2 + <br />
X<br />
(1 – x 2 ).cosx<br />
(1 + x 2 ) 2 – X.cosX<br />
dx et lim<br />
X + 1 + X 2 = 0 car<br />
1<br />
Par ailleurs, (1 – x2 ).cosx<br />
(1 + x 2 ) 2 x2 – 1<br />
(1 + x 2 ) 2 ~ 1<br />
x 2.<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 7<br />
+<br />
– X.cosX<br />
1 + X 2 ~ –<br />
cosX<br />
X<br />
Comme <br />
+<br />
dx<br />
x 1<br />
2 converge, <br />
+<br />
x<br />
1<br />
2 – 1<br />
(1 + x 2 ) 2 <br />
dx converge et <br />
1<br />
(1 – x2 ).cosx<br />
(1 + x 2 ) 2 dx converge.<br />
L'intégrale <br />
+<br />
(1 – x<br />
1<br />
2 ).cosx<br />
(1 + x 2 ) 2 dx est absolument convergente donc est convergente.<br />
Donc il existe un réel tel que lim<br />
X + <br />
X (1 – x<br />
1<br />
2 ).cosx<br />
(1 + x 2 ) 2 dx = .<br />
Par suite, lim<br />
X + <br />
X<br />
0<br />
x.sinx<br />
1 + x 2 dx = 0 + donc <br />
<br />
+<br />
0<br />
x.sinx<br />
1 + x 2 dx est convergente .<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
5-) f-)<br />
+<br />
Etudier la nature de l'intégrale: <br />
( t<br />
1<br />
2 + 1 – t)dt.<br />
––––––––––––––––<br />
La fonction f : t t 2 + 1 – t est continue et positive <strong>sur</strong> [1, +[.<br />
L'intégrale proposée est simplement impropre en +.<br />
f(t) = t <br />
<br />
<br />
1 + <br />
<br />
1<br />
t 2 – 1 ~ t <br />
1<br />
2t 2 = 1<br />
2t .<br />
Comme l'intégrale de Riemann <br />
+<br />
dt<br />
est divergente,<br />
t<br />
1<br />
+<br />
( t 2 + 1 – t)dt est divergente .<br />
1
5-) g-) Etudier la nature de l'intégrale: <br />
1<br />
sin 1<br />
t<br />
<br />
<br />
.dt.<br />
––––––––––––––––<br />
La foncton f : t sin 1<br />
est continue <strong>sur</strong> ]0, 1]<br />
t <br />
donc l'intégrale proposée est simplement impropre en 0 + .<br />
0<br />
1<br />
La fonction u: t <br />
t est une bijection de classe C1 de ]0, 1] <strong>sur</strong> [1, +[ et dt = – <strong>du</strong><br />
u 2.<br />
Les intégra<strong>les</strong> <br />
1<br />
sin 1<br />
t<br />
<br />
<br />
.dt et <br />
+ sinu<br />
–<br />
u 2 <strong>du</strong> sont donc de même nature.<br />
0<br />
1<br />
Or – sinu<br />
u 2 1<br />
u 2 et <br />
+<br />
<strong>du</strong><br />
u 1<br />
2 converge.<br />
Par suite, <br />
+<br />
sinu<br />
–<br />
u 2 <strong>du</strong> est absolument convergente donc convergente.<br />
1<br />
On en dé<strong>du</strong>it que: <br />
1<br />
sin 1<br />
.dt<br />
est convergente .<br />
t <br />
0<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
5-) h-) Etudier la nature de l'intégrale: <br />
0<br />
+ sint<br />
t 3/2 dt.<br />
––––––––––––––––<br />
sint<br />
La fonction f : t <br />
t 3/2 est continue <strong>sur</strong> ]0, +[.<br />
L'intégrale proposée est doublement impropre en 0 + et en +.<br />
Sur ]0, 1] ]0, /2], f(t) > 0 et f(t) ~ o t<br />
t 3/2 = 1<br />
t 1/2.<br />
Comme <br />
t 1, sint<br />
t 3/2 1<br />
t 3/2 et <br />
<br />
0<br />
1<br />
Par suite, <br />
Finalement, <br />
0<br />
dt<br />
t converge, <br />
1 sint<br />
t 0<br />
3/2 dt converge .<br />
1<br />
+ sint<br />
+ sint<br />
1<br />
+ dt<br />
t 3/2 converge<br />
t 3/2 dt est absolument convergente donc convergente .<br />
t 3/2 dt est convergente .<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 8
5-) i-) Etudier la nature de l'intégrale: <br />
<br />
+<br />
sin <br />
0<br />
1 <br />
x<br />
<br />
<br />
2<br />
dx.<br />
ln(1 + x)<br />
––––––––––––––––<br />
La fonction f : x <br />
sin 1 <br />
x<br />
<br />
<br />
2<br />
est continue <strong>sur</strong> ]0, +[.<br />
ln(1 + x)<br />
L'intégrale proposée est doublement impropre en 0 + et en +.<br />
<br />
1<br />
Sur ]0, 1], |f(x)| <br />
ln(1 + x) et<br />
1<br />
~<br />
ln(1 + x) o 1<br />
x<br />
Comme <br />
1<br />
dx<br />
x converge, <br />
1 1<br />
dx converge.<br />
ln(1 + x)<br />
0<br />
Par suite, 0<br />
1<br />
0<br />
f(x) dx est absolument convergente donc convergente .<br />
Sur [1, +[, f(x) 0, f(x) ~<br />
2<br />
x 2 et x[e, +[,<br />
lnx 2<br />
x 2 2<br />
<br />
lnx x 2.<br />
Comme <br />
+<br />
2dx<br />
x e<br />
2 converge, <br />
+<br />
2<br />
x e<br />
2 lnx dx converge donc <br />
+ 2<br />
x 1<br />
2 dx converge.<br />
lnx<br />
+<br />
Par suite, <br />
<br />
f(x) dx est convergente .<br />
I<br />
Finalement <br />
0<br />
+<br />
sin 1 <br />
x<br />
<br />
<br />
2<br />
dx est convergente .<br />
ln(1 + x)<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
6-) Etudier la nature de l'intégrale <br />
<br />
+ 1 – thx<br />
.dx suivant <strong>les</strong> valeurs <strong>du</strong> paramètre réel .<br />
––––––––––––––––<br />
1 – thx<br />
La fonction f : x]0, +[ <br />
x est continue <strong>sur</strong> ]0, +[<br />
donc l'intégrale est doublement impropre, en 0 + et en +.<br />
0<br />
x <br />
Au voisinage de 0 + , f(x) ~<br />
o 1<br />
x > 0 donc <br />
1<br />
1 – thx<br />
x .dx converge si et seulement si < 1.<br />
1 – thx<br />
x 1 –<br />
=<br />
ex – e –x<br />
e x + e –x<br />
x 2e<br />
=<br />
–x<br />
x (e x + e –x 2x–<br />
=<br />
) e 2x ~<br />
+ 1 2x–<br />
e 2x .<br />
lim<br />
x + x2 .f(x) = lim<br />
x + 2x2–<br />
+ dx<br />
+<br />
+<br />
Au voisinage de +,<br />
0<br />
e 2x = 0 donc, pour = 1, A 1, x A, |f(x)| 1<br />
x 2.<br />
Comme <br />
<br />
x A<br />
2 converge, <br />
<br />
|f(x)|dx converge donc <br />
<br />
|f(x)|dx converge<br />
A<br />
1<br />
+<br />
<br />
<br />
f(x).dx est absolument convergente donc convergente pour toute valeur de .<br />
1<br />
Finalement, <br />
0<br />
+<br />
1 – thx<br />
x .dx converge si et seulement si < 1 .<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 9
7-) Etudier, suivant la valeur <strong>du</strong> paramètre réel , la nature de l'intégrale <br />
<br />
1/e<br />
0<br />
1<br />
x ln<br />
<br />
<br />
<br />
1<br />
dx.<br />
x<br />
––––––––––––––––<br />
1<br />
La fonction f : x <br />
x ln<br />
<br />
<br />
<br />
1 <br />
est continue <strong>sur</strong> ]0, 1/e] donc l'intégrale est simplement impropre en 0<br />
x<br />
+ .<br />
Le changement de variable u = ln 1<br />
= – lnx ne change pas la nature de l'intégrale<br />
x<br />
car la fonction u: x – lnx réalise une bijection de ]0, 1/e] <strong>sur</strong> [1, +[.<br />
Donc <br />
<br />
1/e<br />
0<br />
1<br />
x ln<br />
<br />
<br />
<br />
1<br />
<br />
+<br />
dx est de même nature que <br />
x<br />
<br />
u<br />
1<br />
<strong>du</strong><br />
et, en cas de convergence, ces deux intégra<strong>les</strong> sont éga<strong>les</strong>.<br />
X<br />
Si – 1 alors X[1, +[, <br />
<br />
u<br />
1<br />
– 1 + X+1<br />
<strong>du</strong> =<br />
+ 1<br />
– 1 + X<br />
Si < – 1 alors + 1 < 0 et lim<br />
X +<br />
+1<br />
1<br />
= –<br />
+ 1 + 1<br />
donc l'intégrale converge et vaut – 1<br />
+ 1 .<br />
– 1 + X<br />
Si > – 1 alors + 1 > 0 et lim<br />
X +<br />
+1<br />
= + <br />
+ 1<br />
donc l'intégrale diverge.<br />
Si = 1 alors X[1, +[, <br />
donc l'intégrale diverge.<br />
<br />
1<br />
X<br />
<strong>du</strong><br />
u<br />
= lnX et lim lnX = +<br />
X +<br />
Finalement, <br />
<br />
1/e<br />
0<br />
1<br />
x ln<br />
<br />
<br />
<br />
1<br />
dx converge ssi < – 1 et, dans ce cas,<br />
x<br />
<br />
<br />
1/e<br />
0<br />
1<br />
x ln<br />
<br />
<br />
<br />
1<br />
dx = –<br />
x<br />
1<br />
+ 1 .<br />
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––<br />
8-) Pour tout naturel n, on pose In = <br />
1<br />
x n<br />
1 – x sin(x)dx.<br />
a-)<br />
0<br />
Justifier que la suite (In) est bien définie.<br />
b-) Déterminer lim<br />
n + In.<br />
xn<br />
––––––––––––––––<br />
a-) nIN, fn: x sin(x) est continue et positive <strong>sur</strong> [0, 1[.<br />
1 – x<br />
Les intégra<strong>les</strong> In sont simplement <strong>impropres</strong> en 1.<br />
nIN, fn(1 + h) = (1 + h) n sin( + h)<br />
= (1 + h)<br />
– h<br />
n sin(h)<br />
~ <br />
h o<br />
Les fonctions fn sont donc prolongeab<strong>les</strong> par continuité en 1<br />
et, de ce fait, <strong>les</strong> intégra<strong>les</strong> In sont faussement <strong>impropres</strong> donc convergentes.<br />
La suite (In) est donc bien définie .<br />
b-) La fonction sin(x)<br />
est prolongeable par continuité <strong>sur</strong> le segment [0, 1].<br />
1 – x<br />
Donc cette fonction est bornée <strong>sur</strong> [0, 1] et M 0, x[0, 1], 0 sin(x)<br />
1 – x<br />
D'où: nIN, x[0, 1], 0 fn(x) Mx n .<br />
On en dé<strong>du</strong>it: nIN, 0 In M<br />
n + 1<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 10<br />
<br />
M.<br />
et, comme lim<br />
n + M<br />
= 0, lim<br />
n + 1 n + In = 0 .
9-) On veut déterminer la nature de l'intégrale I = <br />
1 cos(t 2 )dt.<br />
a-) Montrer que I, <br />
+<br />
cosx<br />
x 1<br />
dx et <br />
+ sinx<br />
x 1<br />
3/2 dx sont de même nature.<br />
b-) Conclure.<br />
––––––––––––––––<br />
a-) La fonction x: t t 2 est une bijection de classe C 1 de [1, +[ <strong>sur</strong> [1, +[<br />
et dx = 2tdt d'où dt = 1 dx<br />
dx =<br />
2t 2 x .<br />
Par suite I et <br />
+<br />
cosx<br />
dx sont de même nature.<br />
x<br />
1<br />
Dans cette nouvelle intégrale, on effectue une intégration par parties.<br />
On pose u(x) = 1<br />
x = x–1/2 et v'(x) = cosx<br />
d'où u'(x) = – 1<br />
2x 3/2 et v(x) = sinx<br />
Les fonctions u et v sont C 1 <strong>sur</strong> [1, +[ et lim<br />
x + <br />
sinx<br />
– sin1<br />
<br />
= – sin1 IR,<br />
x <br />
donc <br />
+<br />
cosx<br />
x dx est de même nature que <br />
+ sinx<br />
x 1<br />
3/2 dx.<br />
1<br />
Finalement: I, <br />
1<br />
+<br />
b-) x 1, sinx<br />
x 3/2 1<br />
x 3/2 et <br />
<br />
+<br />
cosx<br />
x dx et <br />
+ sinx<br />
x 1<br />
3/2 dx sont de même nature .<br />
1<br />
+ dx<br />
x 3/2 converge.<br />
<br />
Par suite, <br />
1<br />
sinx<br />
x 3/2 dx est convergente.<br />
On en dé<strong>du</strong>it que: <br />
+<br />
sinx<br />
x 3/2 dx est absolument convergente donc convergente.<br />
D'après le a-) I = 1<br />
1<br />
+<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 11<br />
+<br />
cos(t 2 )dt est convergente .
10-) a-) Au moyen d'une intégration par parties, montrer que l'intégrale <br />
<br />
+<br />
1<br />
sint<br />
dt est convergente.<br />
t<br />
b-) Montrer que cette intégrale est semi-convergente.<br />
––––––––––––––––<br />
a-)<br />
sint<br />
La fonction f : t est continue <strong>sur</strong> [1, +[ donc l'intégrale est impropre en +.<br />
t<br />
Pour tout X 1, on pose F(X) = <br />
X<br />
sint<br />
dt et on fait une intégration par parties.<br />
t 1<br />
On pose u(t) = 1<br />
t<br />
et v'(t) = sint<br />
d'où u'(t) = – 1<br />
t 2 et v(t) = – cost<br />
Les fonctions u et v sont C 1 <strong>sur</strong> [1, +[ et lim<br />
t + –<br />
<br />
<br />
<br />
cost<br />
+ cos1 = cos1 IR.<br />
t<br />
Par suite, <br />
<br />
+<br />
1<br />
sint<br />
dt et<br />
t <br />
+cost<br />
t 1<br />
2 dt sont de même nature.<br />
t[1, +[, cost<br />
t 2 1<br />
t 2 et <br />
+<br />
dt<br />
t 1<br />
2 est convergente.<br />
On en dé<strong>du</strong>it que: <br />
+cost<br />
t 2 dt est absolument convergente donc convergente.<br />
Par suite, <br />
1<br />
+<br />
1<br />
sint<br />
dt est convergente .<br />
t<br />
+ |sint|<br />
b-) On veut montrer que <br />
dt est divergente.<br />
t 1<br />
t[1, +[, 0 |sint| 1 d'où 0 sin 2 t |sint| 1 et |sint| sin 2 t = 1<br />
(1 – cos2t).<br />
2<br />
x 1, <br />
x<br />
|sint|<br />
dt <br />
t <br />
1 x<br />
1<br />
1<br />
(1 – cos2t) dt =<br />
2t 2 1<br />
lnx – <br />
x cos2t<br />
dt<br />
t 1<br />
On vérifie, comme dans le a-), que <br />
+<br />
cos2t<br />
dt converge.<br />
t 1<br />
Par suite, lim<br />
x + <br />
1<br />
<br />
2 <br />
<br />
lnx – <br />
x cos2t<br />
dt = +.<br />
t 1<br />
On en dé<strong>du</strong>it que: lim<br />
x + <br />
x |sint|<br />
dt = + donc que:<br />
t<br />
<br />
1<br />
+<br />
|sint|<br />
dt diverge.<br />
t 1<br />
Finalement, <br />
<br />
+ sint<br />
dt est semi-convergente .<br />
t<br />
1<br />
Elle est convergente mais n'est pas absolument convergente.<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 12
11-) a-) et étant deux réels, étudier la convergence des intégra<strong>les</strong> de Bertrand:<br />
-) <br />
<br />
+ dt<br />
t .(lnt) avec a > 1.<br />
-) <br />
a<br />
a<br />
0<br />
dt<br />
t .|lnt| avec 0 < a < 1.<br />
b-) Etudier la nature de <br />
a-) -) f : x <br />
0<br />
+<br />
ln(1 + x )<br />
x dx pour et réels.<br />
––––––––––––––––<br />
1<br />
x .(lnx) est continue <strong>sur</strong> [a, +[ et positive.<br />
L'intégrale proposée est simplement impropre en +.<br />
Pour > 1, soit ]1, [, lim<br />
x + x .f(x) = lim<br />
x +<br />
donc f(x) = o<br />
+ <br />
1<br />
<br />
<br />
x <br />
et, au voisinage de +, 0 f(x) 1<br />
x .<br />
Comme <br />
+<br />
dx<br />
x converge, si > 1 alors <br />
<br />
+<br />
a<br />
x1 – <br />
(lnx) = +<br />
Pour < 1, lim x.f(x) = lim<br />
x + x +<br />
donc 1<br />
x = o (f(x)) et, au voisinage de +, 0 <br />
+ 1<br />
f(x).<br />
x<br />
+ dx<br />
Comme <br />
<br />
x a<br />
diverge, si < 1 alors <br />
a<br />
Si = 1 alors <br />
+<br />
dx<br />
x.(lnx) = <br />
+<br />
<strong>du</strong><br />
Si = 1 alors <br />
a<br />
a<br />
+<br />
lna<br />
1<br />
x – .(lnx) = 0<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 13<br />
a<br />
+<br />
dx<br />
x.(lnx) converge ssi > 1 .<br />
dt<br />
t .(lnt) converge .<br />
dt<br />
t .(lnt) diverge .<br />
u converge si et seulement si > 1.<br />
A retenir! Pour a > 1, l'intégrale de Bertrand <br />
<br />
+ dt<br />
t<br />
a<br />
.(lnt) <br />
converge si et seulement si ( > 1) ou ( = 1 et > 1).<br />
-) Le changement de variable bijectif u = 1<br />
x permet de se ramener à <br />
Cette dernière intégrale converge ssi<br />
| 2 – > 1<br />
ou<br />
| 2 – = 1 et > 1<br />
+<br />
1/a<br />
donc ssi<br />
A retenir! Pour 0 < a < 1, l'intégrale de Bertrand <br />
<br />
a dt<br />
t<br />
0<br />
.(lnt) <br />
converge si et seulement si ( > 1) ou ( = 1 et > 1).<br />
– <strong>du</strong><br />
u 2– .(lnu) avec 1<br />
> 1.<br />
a<br />
| < 1<br />
ou<br />
| = 1 et > 1
-) (, )IR 2 , f : x ln(1 + x )<br />
x est continue <strong>sur</strong> ]0, +[ et positive.<br />
L'intégrale proposée est doublement impropre en 0 + et en +.<br />
Etude en 0 +<br />
Si > 0, x tend vers 0 donc ln(1 + x ) ~ x<br />
o et f(x) ~<br />
o 1<br />
–<br />
x<br />
.<br />
Par suite, <br />
1<br />
ln(1 + x )<br />
x dx converge ssi – < 1 donc ssi < 1 + .<br />
Si = 0, f(x) = ln2<br />
x et <br />
0<br />
0<br />
1 ln2<br />
x dx converge ssi < 1 (donc ssi < 1 + ).<br />
Si < 0, x tend vers + et ln(1 + x ) ~ .lnx d'où f(x) ~<br />
o o .lnx<br />
x <br />
=<br />
x .(lnx) –1<br />
donc <br />
0<br />
1<br />
Finalement, <br />
Etude en +<br />
0<br />
ln(1 + x )<br />
x dx converge ssi < 1.<br />
1<br />
ln(1 + x )<br />
x dx converge ssi < 1 + max(, 0) .<br />
Si > 0, x tend vers + d'où f(x) ~ <br />
Si = 0, f(x) = ln2<br />
x et <br />
1<br />
+ ln2<br />
<br />
x .(lnx) –1 et <br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 14<br />
1<br />
+<br />
ln(1 + x )<br />
x dx converge ssi > 1.<br />
x dx converge ssi > 1 (donc ssi > 1 + ).<br />
Si < 0, x tend vers 0 donc ln(1 + x ) ~ x<br />
et f(x) ~<br />
1<br />
–<br />
x<br />
.<br />
Par suite, <br />
+<br />
ln(1 + x )<br />
x dx converge ssi – > 1 donc ssi > 1 + .<br />
Finalement, <br />
1<br />
1<br />
+<br />
ln(1 + x )<br />
x dx converge ssi > 1 + min(, 0) .<br />
En conclusion: le schéma ci-desssous permet de conclure:<br />
<br />
<br />
<br />
0<br />
+<br />
ln(1 + x )<br />
x dx converge si et seulement si ( – 1)( – – 1) < 0 .<br />
O<br />
= + 1<br />
= 1
12-) a-) Convergence et calcul (le cas échéant) de <br />
<br />
(lnt)<br />
0<br />
n dt (nIN).<br />
––––––––––––––––<br />
1<br />
Pour n = 0, on obtient <br />
<br />
1.dt = 1.<br />
0<br />
nIN * , lim<br />
t 0 + t1/2 .ln n t = 0 (croissances comparées)<br />
donc nIN * , pour = 1, n]0, 1], t]0, n], t 1/2 .|lnt| 1<br />
Par suite, nIN * , n]0, 1], t]0, n], |ln n t| 1<br />
t 1/2.<br />
Comme <br />
n<br />
dt<br />
t 1/2 converge, n |ln<br />
0 n 1<br />
t|.dt converge et donc <br />
<br />
|ln<br />
0<br />
n t| dt converge.<br />
0<br />
1<br />
nIN * , 0<br />
Finalement, nIN, 0<br />
(lnt) n dt est absolument convergente donc elle est convergente.<br />
1<br />
(lnt) n dt est convergente .<br />
Pour tout naturel n, on pose In = <br />
<br />
(lnt)<br />
0<br />
n dt. On a vu que I0 = 1 .<br />
Pour n 1, on effectue une intégration par parties.<br />
On pose u(t) = ln n t et v'(t) = 1<br />
d'où u'(t) = n.ln n – 1 t. 1<br />
et v(t) = t<br />
t<br />
Les fonctions u et v étant C 1 <strong>sur</strong> ]0, 1],<br />
1<br />
nIN * , In = lim<br />
t 0 + t.lnnt – n.In – 1 donc nIN * , In = – n.In – 1 car lim<br />
t 0 + t.lnnt = 0.<br />
1<br />
On en dé<strong>du</strong>it que: nIN, In = <br />
<br />
(lnt)<br />
0<br />
n dt = (-1) n .n! .<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 15<br />
1
12-) b-) Convergence et calcul (le cas échéant) de <br />
<br />
+<br />
0<br />
lnx<br />
1 + x 2 dx.<br />
––––––––––––––––<br />
La fonction f : x <br />
lnx<br />
1 + x 2 est continue <strong>sur</strong> ]0, +[.<br />
L'intégrale est doublement impropre en 0 + et en +.<br />
Au voisinage de 0, f(x) ~ o lnx, lnx est de signe constant <strong>sur</strong> ]0, 1] et 0<br />
Par suite, <br />
0<br />
1<br />
lnx<br />
1 + x 2 dx converge .<br />
Au voisinage de +, f(x) ~ lnx<br />
x 2 donc lim<br />
x + x3/2 .f(x) = lim<br />
x + lnx<br />
x 1/2 = 0.<br />
On en dé<strong>du</strong>it que: f(x) = o<br />
+ <br />
1 <br />
x<br />
<br />
<br />
3/2 donc, au voisinage de +, 0 f(x) 1<br />
x 3/2.<br />
Comme <br />
+<br />
dx<br />
x 3/2 est convergente, <br />
<br />
+ lnx<br />
1 + x 2 dx converge .<br />
Finalement, <br />
0<br />
1<br />
+<br />
lnx<br />
1 + x 2 dx est convergente .<br />
b-) Soit ]0, 1], si on pose I() = <br />
Le changement de variable u = 1 1<br />
s'écrit x =<br />
x u<br />
1<br />
I() = – lnu<br />
<br />
1 +<br />
<br />
1<br />
u 2<br />
<br />
<br />
–<br />
<br />
<br />
<br />
1<br />
u 2 <strong>du</strong> = <br />
1<br />
lnu<br />
u 1/<br />
2 + 1 <strong>du</strong> = – <br />
1<br />
1/<br />
Donc lim<br />
0 I() = – <br />
+ lnx<br />
1 + x 1<br />
2 dx .<br />
Par suite, <br />
0<br />
+<br />
Finalement: <br />
lnx<br />
1 + x 2 dx = <br />
<br />
0<br />
+<br />
0<br />
1<br />
<br />
1 lnx<br />
lnx<br />
1 + x 2 dx = 0 .<br />
1<br />
lnx<br />
1 + x 2 dx alors lim<br />
0 I() = <br />
1 lnx<br />
1 + x 0<br />
2 dx .<br />
1 + x 2 dx + <br />
1<br />
+<br />
d'où dx = – <strong>du</strong><br />
u 2<br />
<strong>Corrigé</strong> <strong>du</strong> <strong>TD</strong> <strong>sur</strong> <strong>les</strong> intégra<strong>les</strong> <strong>impropres</strong> --*-- Page 16<br />
1/<br />
lnu<br />
1 + u 2 <strong>du</strong>.<br />
lnx<br />
1 + x 2 dx = lim I() – lim I() = 0.<br />
0 0<br />
1<br />
lnx.dx converge.