06.05.2013 Views

Corrigé du TD sur les intégrales impropres

Corrigé du TD sur les intégrales impropres

Corrigé du TD sur les intégrales impropres

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!