Vous êtes sur la page 1sur 22

Exercices - Fonctions intgrables et intgrales impropres :

corrig
Convergence
Exercice 1 - En vrac - Math Sp/L2 -
1. La fonction x ln x est continue sur ]0, 1], le problme de convergence est en 0. Pour le
traiter, on peut :
remarquer quon connait une primitive de ln, a savoir x xln x x. On a donc
_
1
X
ln xdx = [xln x x]
1
X
= X ln X + X 1
qui tend vers 1 si X tend vers 0.
comparer : On sait que

xln x 0 quand x 0. Ceci signie que ln x = o(1/

x)
en 0. Puisque
_
1
0
1

x
dx converge, on en dduit par critre de comparaison que
_
1
0
ln xdx
converge.
2. Ici, on ne connait pas de primitive de e
t
2
qui sexprime facilement laide des fonctions
usuelles (en fait, cest mme impossible). On doit donc comparer. Mais il est facile de voir
que
lim
x+
x
2
e
x
2
= lim
u+
ue
u
= 0.
Autrement dit, e
x
2
= o(1/x
2
). Ainsi, puisque
_
+
1
dx
x
2
converge, il en est de mme de
_
+
0
e
x
2
dx.
3. L encore, on va majorer, et on va mme prouver que lintgrale est absolument conver-
gente. Pour cela, on remarque que, pour x 0, |xe
x
sin x| xe
x
. Dautre part, puisque
x
3
e
x
0 lorsque x +, on en dduit que xe
x
sin(x) = o(1/x
2
). Ainsi, lintgrale
est absolument convergente.
4. La fonction x
1
xln x
peut-encore scrire
1
x
ln x
. Elle est donc de la forme u

/u. On peut
donc en calculer facilement une primitive :
_
X
1
dx
xln x
=
_
ln | ln x|

X
1
= ln | ln X| ln | ln 1|
qui tend vers + si X +. Ainsi, lintgrale
_
+
1
dx
xln x
est divergente.
5. On va trouver un quivalent simple de cette fonction en +. Puisque arctan x /2 et
ln(2 + x
2
) = ln(x
2
(1 + 2/x
2
)) = 2 ln x + ln(1 + 2/x
2
), on obtient que
arctan x
xln(2 + x
2
)

+

4xln x
.
Puisque lintgrale
_
+
1
1
xln x
dx est divergente daprs la question prcdente et quon a
aaire des fonctions positives, on en dduit que
_
+
1
arctan x
xln(1+x
2
)
dx est divergente.
6. La fonction t cos
2
(1/t) est continue sur ]0, 1]. De plus, on a
| cos
2
(1/t)| 1.
Puisque
_
1
0
dt converge (ce nest mme pas une vraie intgrale impropre), on en dduit
que
_
1
0
cos
2
(1/t)dt est aussi convergente.
http://www.bibmath.net 1
Exercices - Fonctions intgrables et intgrales impropres :
corrig
7. La dicult de cette question, et de la suivante, est quil est plus dicile davoir une
intuition sur la faon dont se comporte e

ln t
. Soit > 0. On va comparer la fonction
1
t

. On a
e

ln t
t

= e

ln t+ln t
+.
Ainsi, en choisissant = 1,
1
t
= o(e

ln t
). Puisquon travaille avec des fonctions positives,
et que
_
+
1
dt
t
diverge, il en est de mme de
_
+
1
e

ln t
dt.
8. On compare, comme la question prcdente,
1
t

, > 0. Il vient :
e

t
t

= e

t+ln t
0.
Ainsi, en choisissant = 2, on trouve e

t
= o(1/t
2
). Par comparaison une intgrale
de Riemann, on en dduit que
_
+
1
e

t
dt converge.
Exercice 2 - Avec des dveloppements limits - Math Sp/L2 -
1. La fonction
1
1

x
est continue sur [0, 1[. Le problme de convergence de lintgrale est
donc en 1. Pour tudier ce problme, on fait un dveloppement limit en 1 en posant
x = 1 + u. Lorsque x tend vers 1, u tend vers 0. De plus,
1

x = 1

1 + u
= 1
_
1 + u/2 + o(u)
_
= u/2 + o(u)

0
(1 x).
La fonction est donc quivalente en 1
1
1x
. Cette dernire fonction nest pas intgrable
(cest une intgrale de Riemann divergente), on en dduit que
_
1
0
dt
1

t
est divergente.
2. La fonction que lon cherche intgrer est continue sur [0, +[. Il faut tudier le problme
en +. Puisque ln
_
t
t+1
_
tend vers 0 lorsque t tend vers +, il y a une forme indtermine
et le problme nest pas trivial. On va faire un dveloppement asymptotique de la fonction
au voisinage de +. Pour cela, on remarque que
ln
_
t
t + 1
_
= ln
_
t + 1
t
_
= ln
_
1 +
1
t
_
=
1
t
+
1
2t
2
+ o
_
1
t
2
_
On en dduit, en notant f la fonction, que, au voisinage de +, on a
f(t) = 1 1 +
1
2t
+ o
_
1
t
_
= f(t)
+
1
2t
.
Par comparaison une intgrale de Riemann divergente,
_
+
0
f(t)dt est divergente.
http://www.bibmath.net 2
Exercices - Fonctions intgrables et intgrales impropres :
corrig
3. On factorise par le terme dominant dans la racine, puis on eectue un dveloppement
limit de (1 + u)

:
(x
4
+ x
2
+ 1)
1/2
= x
2
_
1 +
1
x
2
+
1
x
4
_
1/2
.
On eectue le dveloppement limit jusquaux termes en 1/x
4
. Posant
u =
1
x
2
+
1
x
4
on a
u
2
=
1
x
4
+ o(1/x
4
)
et donc
x
2
_
1 +
1
x
2
+
1
x
4
_
1/2
= x
2
_
1 +
1
2
_
1
x
2
+
1
x
4
_

1
8
1
x
4
+ o
_
1
x
4
__
= x
2
_
1 +
1
2x
2
+
3
8x
4
+ o
_
1
x
4
__
= x
2
+
1
2
+
3
8x
2
+ o
_
1
x
2
_
.
De mme, on prouve que
x
3
_
x
3
+ ax = x
2
+
a
3
+
a
2
9x
2
+ o
_
1
x
2
_
.
En soustrayant les deux dveloppements limits, et en notant f la fonction, on obtient
que, au voisinage de +, on a
f =
1
2

a
3
+
_
3
8
+
a
2
9
_
1
x
2
+ o
_
1
x
2
_
.
On distingue alors deux cas :
Si a = 3/2, alors la fonction est quivalente
1
2

a
3
, et donc lintgrale est divergente.
Si a = 3/2, la fonction est quivalente
5
8x
2
, et donc lintgrale est convergente.
4. La fonction f : t e
t
_
1
1e
t

1
t
_
est clairement continue sur ]0, +[. Pour tudier le
problme en +, il sut de remarquer que
f(t) = O
_
1
t
2
_
au voisinage de +, ce qui montre la convergence de
_
+
1
f(t)dt. En 0, on fait un dve-
loppement limit pour tudier le comportement. On a donc
1
1 e
t

1
t
=
1
t t
2
/2 + o(t
2
)

1
t
=
1
t
_
1
1 t/2 + o(t)
1
_
=
1
t
_
1 +
t
2
+ o(t) 1
_
=
1
2
+ o(1).
http://www.bibmath.net 3
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Ainsi, f se prolonge par continuit en 0 en posant f(0) = 1/2. Ceci achve de prouver la
convergence de
_
+
0
f(t)dt.
Exercice 3 - Intgrales de Bertrand - L2/Math Sp -
Lide essentielle de cet exercice (dont les techniques sont retenir), est que la fonction va
essentiellement se comporter comme 1/t

. Pour tenir compte du logarithme, on doit prendre


un peu de marge.
Si > 1, soit ]1, [. Alors, on a
t

(ln t)

=
1
t

(ln t)

0
et donc, en notant f la fonction, on a
f(t) =
+
o
_
1
t

_
.
Puisque
_
+
2
dt
t

converge, il en est de mme de


_
+
2
f.
Si < 1, soit ], 1[. Alors on a
t

(ln t)

=
t

(ln t)

+,
cest--dire
1
t

=
+
o
_
f(t)
_
.
Puisque
_
+
2
dt
t

diverge, il en est de mme de


_
+
2
f(t)dt.
Si = 1, alors la fonction est de la forme u

. Elle admet donc une primite. Pour = 1,


on a
_
X
2
dt
t(ln t)

=
_
1
+ 1
(ln t)
+1
_
X
2
=
1
+ 1
_
(ln X)
+1
(ln 2)
+1
_
Lorsque X tend vers +, ceci admet une limite nie si et seulement si > 1. Dans le
cas o = 1, la primitive se calcule un peu diremment :
_
X
2
dt
t ln t
= [ln | ln t|]
X
2
= ln | ln X| ln | ln 2|.
Ceci tend vers +, et donc lintgrale nest pas convergente.
En conclusion, lintgrale recherche converge si et seulement si > 1 ou = 1 et > 1.
Exercice 4 - Avec paramtre - L2/Math Sp -
1. Attention, ici il y a un problme la fois en 0 et en +. Comme lintgrale converge en 0
si et seulement si < 1 et quelle converge en + si et seulement si > 1, on en dduit
que lintgrale nest jamais convergente.
http://www.bibmath.net 4
Exercices - Fonctions intgrables et intgrales impropres :
corrig
2. Remarquons dabord que la fonction se prolonge par continuit en 0, puisque t ln t 0
lorsque t tend vers 0. De plus, au voisinage de +, la fonction est quivalente
t ln t
t
2
=
ln t
t
21
. On distingue alors deux cas :
Si 1, alors 2 1 1, et donc
ln t
t
21

1
t
pour t assez grand. Puisque
_
+
1
dt
t
est
divergente, on en dduit que lintgrale est divergente.
Si > 1, alors 21 > 1. Lide est que le terme le plus important est le dnominateur,
1
t
21
. Le logarithme au numrateur nous ennuie un peu, mais on va le traiter en rdui-
sant un peu lexposant du dnominateur. Prcisment, soit R tel que 1 < < 21.
Alors on a
t

ln t
t
2
1
= t

ln t 0
avec = (2 1) < 0. On en dduit que
ln t
t
21
=
+
o
_
1
t

_
.
Puisque lintgrale
_
+
1
dt
t

converge, il en est de mme de


_
+
1
ln t
t
21
dt et par suite de
_
+
0
t ln t
(1+t
2
)

dt.
En conclusion, lintgrale est convergente ssi > 1.
3. Il y a deux problmes, la fois en 0 et en +. En +, la fonction est quivalente

2t

,
il y a donc convergence ssi > 1. En 0, puis arctan t
0
t, la fonction est quivalente
1
t
1
, il y a donc convergence ssi 1 < 1, cest--dire ssi < 2. Lintgrale impropre
_
+
0
arctan t
t

dt est donc convergente ssi ]1, 2[.


4. La fonction f : x x

ln (x + e
x
) est continue sur ]0, +[. Il peut y avoir ventuellement
deux problmes, lun en 0, lautre en +. Pour 1, on a au voisinage de +
f(x) x

0.
Comme lintgrale
_
+
1
x

dx diverge (on a suppos 1), il en est de mme de


_
+
0
f.
On peut donc se concentrer sur le cas < 1. Sparons alors ltude en 0 et celle en +.
(a) En 0. On a e
x
1 et donc ln(1 +e
x
) 0. Pour en savoir un peu plus, il faut faire
un dveloppement limit. Utilisant e
x
= 1 + x + o(x), on trouve
f(x) = x

ln
_
1 + ( + 1)x + o(x)
_
= x

_
( + 1)x + o(x)
_
= ( + 1)x
+1
+ o(x
+1
).
On en dduit que f
0
( + 1)x
+1
(remarquons que + 1 = 0 puisque < 1).
Puisquon a aaire des fonctions qui gardent un signe constant, on en dduit que
_
1
0
f converge si et seulement si
_
1
0
x
+1
dx converge, cest--dire si et seulement si
1 < 1 soit > 2.
(b) En +. On fait un dveloppement limit de ln(x + e
x
). Puisque < 1, on sait
que e
x
tend vers 0 en +, do
ln (x + e
x
) = ln x + ln
_
1 +
e
x
x
_
= ln(x) + o(1).
On en dduit que
f(x)
+
x

ln x.
http://www.bibmath.net 5
Exercices - Fonctions intgrables et intgrales impropres :
corrig
On se ramne une intgrale de Bertrand. Rappelons pourquoi dans le cas particulier
de lexercice elle est convergente. Puisque < 1, on peut choisir ], 1[. Mais
alors,
x

ln x = o(x

) (faire le quotient des deux quantits)


et comme
_
+
1
x

dx converge, il en est de mme de


_
+
1
f.
En conclusion, on a prouv que lintgrale est convergente si et seulement si ] 2, 1[.
Exercice 5 - Critre de Cauchy - L2/Math Sp -
Lide est que la fonction e
t sin t
prend des valeurs assez grandes sur des intervalles qui ne
sont pas trs petits. Prcisment, soit n N et soit t [2n, 2(n+1)]. Alors on a t sin(t) 0,
do e
t sin t
1 et
_
(2n+1)
2n
e
t sin t
dt
_
2(n+1)
2n
1dt .
Ceci tant vrai pour n arbitrairement grand, on nie le critre de Cauchy de convergence des
intgrales impropres. Lintgrale est divergente.
Exercice 6 - Convergence et convergence absolue - Math Sp/L2 -
1. Cest classique. On intgre par parties, en intgrant le sinus et en drivant 1/t pour
augmenter lexposant au dnominateur. On obtient, pour X > 1,
_
X
1
sin t
t
dt =
_
cos t
t
_
X
1

_
X
1
cos t
t
2
dt
=
cos X
X
+
cos 1
1

_
X
1
cos t
t
2
dt.
Lorsque X +,
cos X
X
tend vers 0. De plus, on a

cos t
t
2

1
t
2
et le terme droite de lingalit est intgrable sur [1, +[. En particulier,
_
X
1
cos t
t
2
dt admet
une limite lorsque X tend vers +. On en conclut quil en est de mme de
_
X
1
sin t
t
dt. Le
raisonnement pour le cosinus est tout fait semblable.
2. Il sut de remarquer que, puisque | sin t| 1, on a
| sin t| sin
2
t =
1 cos(2t)
2
.
On en dduit, pour X 1, que
_
X
1
| sin t|
t
dt
_
X
1
1
2t
dt
_
X
1
cos 2t
2t
dt.
Or, on sait que
_
X
1
1
2t
dt tend vers +lorsque X tend vers +et que, daprs la question
prcdente,
_
X
1
cos 2t
2t
dt admet une limite (nie) lorsque X tend vers +. On en dduit
que
_
X
1
| sin t|
t
dt tend vers + lorsque X tend vers +.
http://www.bibmath.net 6
Exercices - Fonctions intgrables et intgrales impropres :
corrig
3. Pour t [k, (k + 1)], on a
1
t

1
(k + 1)
.
Intgrant cette ingalit et utilisant la -priodicit de | sin t|, on en dduit que
_
(k+1)
k
| sin t|
t
dt
_
(k+1)
k
| sin t|
(k + 1)
dt =
1
(k + 1)
_

0
| sin t|dt.
En sommant ces intgrales pour k allant de 0 n, et par la relation de Chasles, on trouve
_
(n+1)
0
| sin t|
t
dt
_
n

k=0
1
(k + 1)
_
_

0
| sin t|dt.
Puisque la suite

n
k=0
1
(k+1)
diverge vers + et que
_

0
| sin t|dt = 0, on en dduit que
_
(n+1)
0
| sin t|
t
dt +.
Ceci reprouve la divergence de lintgrale.
Exercice 7 - Mthode par clatement - L2/Math Sp -
On va, en utilisant les dveloppements limits, dcomposer les fonctions en somme de
fonctions dont ltude est plus simple.
1. On crit
sin x

x + sin x
=
sin x

x
_
_
1
1 +
sin x

x
_
_
=
sin x

x
_
1
sin x

x
+ O
_
sin
2
x
x
__
=
sin x

x

sin
2
x
x
+ O(x
3/2
).
Or,
_
+
1
sin x

x
dx converge, et il en est de mme de
_
+
1
O(x
3/2
)dx. Lintgrale
_
+
4
sin x

x+sin x
dx
est donc de mme nature que
_
+
4
sin
2
x
x
dx. Mais, en crivant que
sin
2
x
x
=
1
2x

cos 2x
2x
,
puis en utilisant (toujours par une intgration par parties) que
_
+
4
cos 2x
2x
est convergente,
et que
_
+
4
dx
2x
est divergente, on prouve que
_
+
4
sin
2
x
x
dx est divergente. Il en est de mme
de lintgrale de dpart. Remarquons que
sin x

x + sin x

+
sin x

x
,
et que pourtant les deux intgrales ont des comportements opposs.
http://www.bibmath.net 7
Exercices - Fonctions intgrables et intgrales impropres :
corrig
2. Posons f(x) = ln
_
1 +
sin x
x

_
, puis eectuons un dveloppement limit au voisinage de
+. On trouve
f(x) =
sin x
x


sin
2
x
2x
2
+ o
_
sin
2
x
x
2
_
.
Posons g(x) =
sin
2
x
2x
2
+o
_
sin
2
x
x
2
_
. Puisque
_
+
1
sin x
x

dx converge (eectuer une intgration


par parties), les intgrales
_
+
1
f et
_
+
1
g sont de mme nature. Mais
g
+
sin
2
x
x
2
qui est une fonction positive. Donc
_
+
1
f est de mme nature que
_
+
1
sin
2
x
x
2
dx. Utilisant
la mme mthode que pour la question prcdente, on prouve que lintgrale converge si
> 1 et diverge si 1. En conclusion, lintgrale
_
+
1
f converge si et seulement si
> 1.
Exercice 8 - Estimation dun reste - L2/Math Sp -
On sait que sin t = t + t
2
(t) o la fonction tend vers 0 en 0. On a donc
_
2x
x
sin t
t
2
dt =
_
2x
x
dt
t
+
_
2x
x
(t)dt = ln 2 +
_
2x
x
(t)dt.
Puisque la fonction est borne (disons par M) au voisinage de 0, on a

_
2x
x
(t)dt

Mx 0,
et donc la limite recherche est ln 2.
Exercice 9 - Avec le critre des sries alternes - Math Sp/L2 -
1. On va montrer que la srie de terme gnral u
n
vrie le critre des sries alternes. En
eet
Si n = 2p est pair, alors sin(t) 0 sur [2p; 2p + ] et donc u
2p
0. Si n = 2p + 1,
alors sin(t)f(t) 0 sur [(2p + 1), (2p + 1) + ] et donc u
2p+1
0.
Comme la fonction f(t) sin(t) ne change pas de signe sur [n, (n + 1)], on remarque
dabord que
|u
n
| =
_
(n+1)
n
f(t)| sin(t)|dt.
Dautre part, pour tout t [n, (n + 1)], puisque f est positive et dcroissante, on a
0 f((n + 1))| sin(t)| f(t)| sin(t)| f(n)| sin(t)|
En intgrant, on obtient
f((n + 1))
_
(n+1)
n
| sin(t)|dt |u
n
| f(n)
_
(n+1)
n
|sin(t)|dt.
Lintgrale de |sin(t)| sur une priode tant gale 2, on obtient nalement :
2f((n + 1)) |u
n
| 2f(n).
Cette ingalit montre simultanment que la suite (|u
n
|) est dcroissante et tend vers
0.
http://www.bibmath.net 8
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Ainsi, daprs le critre des sries alternes, la srie de terme gnral u
n
est convergente.
2. Soit X > 0. Il existe un unique entier n := n(X) tel que X [n, (n + 1)[. Notons
S
n
=

n
k=1
u
k
. On peut crire
_
X
0
f(t) sin(t)dt = S
n1
+
_
X
n
f(t) sin(t)dt.
Or,

_
X
n
f(t) sin(t)dt

_
(n+1)
n
f(t)|sin(t)|dt |u
n
|.
Ainsi, lorsque X tend vers +, n tend galement vers +, S
n1
admet une limite nie
et
_
X
n
f(t) sin(t)dt converge vers 0. Cest bien que lintgrale est convergente. De plus,
_
+
0
f(t) sin(t)dt =
+

n=0
u
n
.
En particulier, puisque (u
n
) vrie le critre spcial des sries alternes,

n0
u
n
est du
signe de u
0
, cest--dire que
_
+
0
f(t) sin tdt 0.
3. Si lintgrale converge absolument, alors la srie

n
u
n
converge elle aussi absolument.
Mais en utilisant lingalit obtenue dans la premire question, on obtient
|u
n
| 2f((n + 1))
2
(n + 1)
si n est assez grand. Puisque la srie de terme gnral 1/n est divergente, il en est de
mme de

|u
n
| : lintgrale nest pas absolument convergente.
Exercice 10 - Utilisation dune srie - L3/Math Sp -
La fonction f est paire. Il sut de prouver son intgrabilit sur [0, +[. De plus, comme
f est positive, il sut de prouver la convergence de la srie

k
I
k
, avec I
k
=
_
(k+1)
k
dx
1+x
4
sin
2
x
.
Mais on a
I
k

_
(k+1)
k
dx
1 + (k)
4
sin
2
x
car t k

_

0
dx
1 + (k)
4
sin
2
x
par -priodicit de sin
2
x
2
_
/2
0
dx
1 + (k)
4
sin
2
x
2
_
/2
0
dx
1 + (k)
4
_
2x

_
2
car sin t
2x

2
_
/2
0
dx
1 + 4k
4

2
x
2
Faisant le changement de variables u = 4k
2
x, on trouve
I
k

1
4k
2

_
2k
2

2
0
du
1 + u
2

1
4k
2

_
+
0
du
1 + u
2
.
http://www.bibmath.net 9
Exercices - Fonctions intgrables et intgrales impropres :
corrig
On en dduit la convergence de la srie

k
I
k
, et donc le fait que f est intgrable sur R.
Exercice 11 - Intgrale impropre et fonction 1priodique. - L2/Math Sp -
Remarquons dabord quun tel a, sil existe, est unique. En eet, si
_
+
1
af(t)
t
dt et
_
+
1
bf(t)
t
dt
convergent, alors par dirence,
_
+
1
ab
t
dt converge, et donc a = b.
Prouvons ensuite que a =
_
1
0
f(u)du convient. Fixons n 1. Daprs le thorme de Fubini,
_
n+1
n
a f(t)
t
dt =
_
n+1
n
_
1
0
f(u)
t
dudt
_
n+1
n
f(t)
t
dt
=
_
1
0
f(u)
_
n+1
n
dt
t
du
_
1
0
f(u)
u + n
du
=
_
1
0
f(u)
_
1
0
dt
t + n

_
1
0
f(u)
_
1
0
1
u + n
dtdu
=
_
1
0
f(u)
_
1
0
1
t + n

1
u + n
dudt.
Mais, pour (t, u) [0, 1]
2
, on a

1
t + n

1
u + n

1
n
2
,
et donc

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

n
2
.
Ceci prouve la convergence de

n+1
n
_
n+1
n
af(t)
t
dt. De plus, puisque pour tout x [n, n + 1],
on a

_
x
n
a f(t)
t
dt

|a| +f

n
,
on en dduit que
_
x
1
af(t)
t
dt admet une limite lorsque x tend vers +. La seule valeur qui
convient est donc bien
_
1
0
f(t)dt.
Convergence et calculs
Exercice 12 - Logarithme la puissance n - L2/Math Sp -
La fonction x (ln x)
n
est continue sur ]0, 1]. De plus, au voisinage de 0, on a
(ln x)
n
= o(1/

x).
Par comparaison avec une intgrale de Riemann, lintgrale est convergente en 0. On va obtenir
une formule de rcurrence pour exprimer I
n
en fonction de I
n1
en ralisant une intgration
par parties. Pour cela, prenons a ]0, 1[. On a :
_
1
a
(ln x)
n
dx = [x(ln x)
n
]
1
a
n
_
1
a
x(ln x)
n1
x
dx
= a(ln a)
n
n
_
1
a
(ln x)
n1
dx.
On fait tendre a vers 0 et on obtient, puisque a(ln a)
n
0 lorsque a 0,
I
n
= n
_
1
0
(ln x)
n1
dx = nI
n1
.
http://www.bibmath.net 10
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Par rcurrence, on prouve alors facilement que
I
n
= (1)
n
n!I
0
.
Or, I
0
= 1, et donc I
n
= (1)
n
n!
Exercice 13 - Changements de variables - L2/Math Sp -
1. On va justier la convergence de
_
+
0
ln t
a
2
+t
2
dt. Au voisinage de 0, on a lquivalence
ln t
a
2
+ t
2

0
ln t
a
2
et on sait que ln t est intgrable en 0. De mme, au voisinage de +, on a
ln t
a
2
+ t
2
=
+
o
_
1
t
3/2
_
.
On en dduit la convergence de
_
+
0
ln t
a
2
+t
2
. Le changement de variables u = 1/t donne
ensuite
_
+
0
ln t
1 + t
2
dt =
_
+
0
ln u
1 +
1
u
2
1
u
2
du =
_
+
0
ln u
1 + u
2
du.
On en dduit que
_
+
0
ln t
1+t
2
dt = 0.
2. Pour calculer cette intgrale, on fait le changement de variables t = au. On obtient
_
+
0
ln t
a
2
+ t
2
dt =
_
+
0
ln au
a
2
+ a
2
u
2
adu
=
_
+
0
ln a
a
2
(1 + u
2
)
du +
_
+
0
ln u
a
2
(1 + u
2
)
du.
Utilisant le calcul prcdent et le fait quune primitive de
1
1+u
2
est arctan u, on trouve
nalement
_
+
0
ln t
a
2
+ t
2
dt =
ln a
2a
.
Exercice 14 - Changement de variable - L2/Math Sp -
1. Soit M > 0 tel que |f(t)| M pour tout t R
+
. La fonction x
f(x)
1+x
2
est alors continue
sur [0, +[, et elle vrie |
f(x)
1+x
2
|
M
1+x
2
qui est intgrable au voisinage de +. Ainsi,
lintgrale
_
+
0
f(x)
1+x
2
dx converge. De mme, x
f(x)
1+x
2
est alors continue sur ]0, +[
(attention, on na plus obligatoirement continuit en 0). Le problme en + se traite
exactement comme prcdemment, et en 0, il sut dobserver que
|f(1/x)|
1 + x
2
M,
et comme les fonctions constantes sont intgrables au voisinage de tout point, on a aussi
prouv la convergence de lintgrale au voisinage de 0.
http://www.bibmath.net 11
Exercices - Fonctions intgrables et intgrales impropres :
corrig
2. Eectuons le changement de variables u = 1/x. On trouve
_
+
0
f(x)
1 + x
2
dx =
_
+
0
f(1/u)
1 +
1
u
2
1
u
2
du =
_
+
0
f(1/x)
1 + x
2
dx.
3. On applique le rsultat des questions prcdentes avec f(x) =
1
1+x
n
(qui est bien continue
et borne sur [0, +[). On trouve
_
+
0
dx
(1 + x
2
)(1 + x
n
)
=
_
+
0
x
n
(1 + x
2
)(1 + x
n
)
dx := A.
Mais si on eectue la somme de ces deux intgrales, on trouve :
2A =
_
+
0
(1 + x
n
(1 + x
2
)(1 + x
n
)
dx =
_
+
0
dx
1 + x
2
=

2
.
Ces deux intgrales sont donc gales

4
.
Exercice 15 - Une intgrale comme somme dune srie - L2/Math Sp -
1. La fonction t
ln t
t
2
1
est continue sur lintervalle ]0, 1[. En 1, on a
ln t
t
2
1

1
t 1
(t 1)(t + 1)

1
1
t + 1

1
1
2
.
Ainsi, la fonction se prolonge par continuit en 1 par la valeur 1/2, et il ny a pas de
convergence en 1. En 0, on a
ln t
t
2
1

0
(ln t).
Or, (ln t) est intgrable au voisinage de 0. Par les thormes de comparaison, lintgrale
impropre
_
1
0
ln t
t
2
1
dt est convergente.
2. La convergence pour k = 0 est classique (par exemple, car ln t = o(1/

t) en 0). Pour
k 1, la fonction t t
k
(ln t) se prolonge par continuit en 0 par la valeur 0, et il ny
a pas de problmes de convergence. Pour calculer cette intgrale, on peut eectuer une
intgration par parties.
I
k
=
_
1
k + 1
t
k+1
(ln t)
_
1
0

_
1
0
t
k
k + 1
dt
=
1
(k + 1)
2
.
3. Daprs la question prcdente,
n

k=0
1
(2k + 1)
2
=
n

k=0
I
2k
=
n

k=0
_
1
0
t
2k
ln tdt
=
_
1
0
1 t
2n+2
1 t
2
ln tdt,
ce qui est la relation demande.
http://www.bibmath.net 12
Exercices - Fonctions intgrables et intgrales impropres :
corrig
4. En 0, t
2
ln t tend vers 0, et donc la fonction t
t
2
ln t
t
2
1
tend vers 0. En 1, en raisonnant
comme la premire question, on trouve que
t
2
ln t
t
2
1
tend vers 1/2. Ainsi, la fonction t
t
2
ln t
t
2
1
se prolonge par continuit au segment [0, 1]. Comme toute fonction continue sur un
segment, elle y est borne par une constante M > 0. En particulier, pour tout t ]0, 1[,
on a

t
2
ln t
t
2
1

M.
5. Il sut dcrire :

_
1
0
t
2n+2
ln t
t
2
1
dt


_
1
0
t
2n

t
2
ln t
t
2
1

dt
M
_
1
0
t
2n
dt =
M
2n + 1
.
La relation demande suit alors immdiatement dun passage la limite dans la question
3.
Exercice 16 - Dirence dexponentielles - L2/Math Sp -
1. Au voisinage de +, puisque a > 0 et b > 0, on a
e
at
e
bt
t
= O
_
1
t
2
_
,
do la convergence de
_
+
1
e
at
e
bt
t
dt. En 0, on fait un dveloppement limit pour trou-
ver
e
at
e
bt
t
=
1 at 1 + bt + o(t)
t
=
(b a)t + o(t)
t
= (b a) + o(1).
La fonction se prolonge donc par continuit en 0 (sa limite tant b a). On en conclut la
convergence de lintgrale entre 0 et +.
2. On crit, par changement de variables t at et t bt puis par la relation de Chasles :
_
y
x
e
at
e
bt
t
dt =
_
ay
ax
e
t
t
dt
_
by
bx
e
t
t
dt
=
_
bx
ax
e
t
t
dt +
_
ay
bx
e
t
t
dt
_
ay
bx
e
t
t
dt
_
by
ay
e
t
t
dt
=
_
bx
ax
e
t
t
dt
_
by
ay
e
t
t
dt.
3. La fonction t e
t
tant dcroissante sur R, on a, pour tout t [az, bz],
e
bz
e
t
e
az
.
On multiplie alors cette double ingalit par 1/t (qui est strictement positif), et on in-
tgre...
http://www.bibmath.net 13
Exercices - Fonctions intgrables et intgrales impropres :
corrig
4. Le principal problme de cette question rside dans la rdaction. Il faut prendre les limites
lune aprs lautre ! Remarquons dabord que lon peut supposer a b (si on change le
rle de a et b, on multiplie chacun des deux termes de lgalit que lon veut prouver par
1). On considre dabord y ]0, +[ x, et on va faire tendre x vers 0. De lingalit
prcdente, applique z = x et du rsultat de la question 2)a), on tire
e
bx
ln
b
a

_
by
ay
e
t
t
dt
_
y
x
e
at
e
bt
t
dt e
at
ln
b
a

_
by
ay
e
t
t
dt.
Lorsque x tend vers 0, les termes de gauche et de droite convergent vers la mme limite,
savoir ln
b
a

_
by
ay
e
t
t
dt. On peut appliquer le thorme dencadrement des limites et en
dduire que, pour tout y > 0, lintgrale
_
y
0
e
at
e
bt
t
dt est convergente et vaut :
_
y
0
e
at
e
bt
t
dt = ln
b
a

_
by
ay
e
t
t
dt.
On va maintenant faire tendre y vers +. On sait que
e
by
ln
b
a

_
by
ay
e
t
t
dt e
ay
ln
b
a
.
Par le thorme dencadrement des limites, si on fait tendre y vers +, on obtient que
lim
y+
_
by
ay
e
t
t
dt = 0.
On en conclut la convergence de
_
+
0
e
at
e
bt
t
dt et sa valeur :
_
+
0
e
at
e
bt
t
dt = ln
b
a
.
Exercice 17 - Des calculs - L2/Math Sp -
1. Au voisinage de 0, la fonction intgrer est quivalente ln t, qui est une fonction int-
grable en 0. Au voisinage de 1, on a
ln t

1 t

1
t 1

1 t
=

1 t.
La fonction se prolonge donc par continuit en 1, ce qui achve de prouver la convergence
de lintgrale entre 0 et 1. Pour calculer sa valeur, on ralise le changement de variables
u =

1 t. On trouve :
_
1
0
ln t

1 t
dt = 2
_
1
0
ln(1 u
2
)du
= 2
_
1
0
ln(1 u)du + 2
_
1
0
ln(1 + u)du
= 2
_
1
0
ln(x)dx + 2
_
2
1
ln(x)dx
= 2
_
2
0
ln(x)dx
= 2 [xln x x]
2
0
= 4 ln 2 4.
http://www.bibmath.net 14
Exercices - Fonctions intgrables et intgrales impropres :
corrig
2. Pour la convergence de lintgrale, il sut de remarquer que la fonction est continue sur
[0, +[ et quau voisinage de +, elle est domine par
1
t
2
. En eet, on a
t
2
te

t
= t
3
e

t
= e
3 ln t

t
0 en +.
Pour le calcul de lintgrale, on commence par eectuer le changement de variables u =

t.
On obtient :
_
+
0
te

t
dt = 2
_
+
0
u
3
e
u
du.
On eectue ensuite des intgrations par parties successives :
_
+
0
te

t
dt = 2
_
u
3
e
u
_
+
0
+ 6
_
+
0
u
2
e
u
du
= 6
_
u
2
e
u
_
+
0
+ 12
_
+
0
ue
u
du
= 12
_
ue
u

+
0
+ 12
_
+
0
e
u
du
= 12.
Exercice 18 - sin t/t - L2/Math Sp -
1. Il sut de remarquer que I
0
=

2
et que, pour tout entier n 1, on a
I
n
I
n1
=
_
/2
0
2 cos(2nt)dt = 0.
2. Ceci rsulte dune intgration par parties. En eet,
_
/2
0
(t) sin
_
(2n + 1)t
_
dt =
1
2n + 1
_
(/2) cos
_
(2n + 1)/2
_
(0)

_
/2
0

(t) cos
_
(2n + 1)t
_
dt.
_
Puisque

_
/2
0

(t) cos
_
(2n + 1)t
_
dt

_
/2
0
|

(t)|dt,
on en dduit bien la convergence vers zro souhaite.
3. On remarque dabord que (J
n
) tend vers I lorsque n tend vers +. Ceci vient du chan-
gement de variables u = (2n + 1)t :
J
n
=
_
(2n+1)/2
0
sin t
t
dt I.
On va ensuite prouver que (I
n
J
n
) tend vers 0, ce qui terminera la preuve. Mais on a
I
n
J
n
=
_
/2
0
(t) sin
_
(2n + 1)t
_
dt,
http://www.bibmath.net 15
Exercices - Fonctions intgrables et intgrales impropres :
corrig
avec (t) =
1
sin t

1
t
. Daprs la question prcdente, il sut de prouver que est de classe
C
1
sur [0, /2]. Bien sr, le seul problme est en 0. Mais il est facile de voir que (t)
0
t
3
,
ce qui prouve quelle se prolonge par continuit en 0. De plus, on a

(t) =
sin
2
t t
2
cos t
t
2
sin
2
t
.
Pour t tendant vers 0, lutilisation des dveloppements limits prouve facilement que

(t)
tend vers 1/6. Par le thorme de prolongement dune drive, ceci prouve que dnit
une fonction C
1
sur [0, /2]. Ce qui achve la preuve.
Exercices thoriques
Exercice 19 - Limites en linni - L2/Math Sp -
1. Si f l avec l = 0, alors on sait quil existe A > 0 tel que, pour tout x A, on a
|f(x)| |l|/2. Mais alors, on a
_
x+1
x
f |l|/2 > 0,
et par le critre de Cauchy, lintgrale ne peut pas converger.
2. Si f ne tend pas vers 0 en +, il existe > 0 et une suite (x
n
) qui converge vers +
telle que |f(x
n
)| . Par uniforme continuit, il existe > 0 (indpendant de n) tel
si |x y| < , alors |f(x) f(y)| < /2. Mais alors, pour x [x
n
, x
n
+ ], on a
|f(x)| |f(x
n
)| /2 /2. On en dduit donc que
_
x
n
+
x
n

|f| 2

2
= .
Ceci contredit le critre de Cauchy dexistence de
_
+
a
|f|.
3. Non! Voici un contre-exemple. Soit f la fonction ane par morceaux telle que f(x) =
2
n
(xn) pour x dans [n, n+1/2
n
], f(x) = 12
n
(xn1/2
n
) pour x dans [n+1/2
n
n, n+
2/2
n
], f(x) = 0 ailleurs. La fonction f est donc souvent nulle, mais elle fait un pic entre
n et n + 2/2
n
avec une valeur maximale gale 1 en n + 1/2
n
(faire imprativement un
dessin!). f ne tend donc pas vers 0 en +. Mais on a
_
n+2/2
n
n
f = 1
2
2
n

1
2
=
1
2
n
.
f est donc intgrable sur [0, +[ car elle est positive et que
_
+
0
f =

n0
_
n+2/2
n
n
f =

n0
1
2
n
= 2.
http://www.bibmath.net 16
Exercices - Fonctions intgrables et intgrales impropres :
corrig
4. Si f est intgrable sur [a, +[, par le critre de Cauchy, on a
_
n+1
n
f(x)dx 0.
Or, il existe x
n
[n, n + 1] tel que f(x
n
) =
_
n+1
n
f(x)dx (par la formule de la moyenne,
ou parce que, puisque f est continue, en notant F une primitive de f, on a
_
n+1
n
f(x)dx = F(n + 1) F(n) = f(x
n
)
o la dernire galit est une consquence du thorme des accroissements nis). La suite
(x
n
) obtenue convient.
Exercice 20 - Fonction dcroissante - L2/Math Sp -
Supposons que ce nest pas le cas. Alors on peut trouver > 0, une suite (x
n
) qui tend
vers + et telle que x
n
f(x
n
) . Alors, puisque f est dcroissante, on obtient que, pour tout
x x
n
, on a f(x) f(x
n
)

x
n
. On intgre alors f entre x
n
/2 et x
n
, pour trouver
_
x
n
x
n
/2
f(x)dx
_
x
n
x
n
/2

x
n
dx (x
n
x
n
/2)

x
n
=

2
.
Ceci nie le critre de Cauchy, et donc
_
+
0
f(t)dt ne peut pas converger vers 0.
Exercice 21 - Somme de Riemann - L2/Math Sp -
1. Puisque f est croissante, on sait que, pour tout k 1,
_
a+
k(ba)
n
a+
(k1)(ba)
n
f(t)dt f
_
a +
k(b a)
n
_

_
a+
(k+1)(ba)
n
a+
k(ba)
n
f(t)dt.
Lingalit de droite reste encore valable si k = 0. Sommant alors pour k de 0 n, on
trouve
b a
n
f(a) +
_
b
ba
n
a
f(t)dt S
n

_
b
a
f(t)dt.
Si
_
b
a
f(t)dt converge, on fait tendre n vers +, et par le thorme dencadrement des
limites, (S
n
) converge vers
_
b
a
f(t)dt.
2. Si
_
b
a
f(t)dt diverge, lingalit de gauche obtenue la question prcdente (qui ne fait
appel qu des intgrales de fonctions continues sur un segment) reste valable. De plus,
puisque f est positive, si
_
b
a
f(t)dt diverge, ceci signie que
_
X
a
f(t)dt tend vers + si X
tend vers b. Passant la limite dans lingalit obtenue, on obtient bien que (S
n
) tend
vers +.
Exercice 22 - Drive - L2/Math Sp -
Daprs la dnition de la limite, il existe A > 0 tel que, pour tout x A, on a
f

(x)
f(x)

a
2
.
http://www.bibmath.net 17
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Intgrons cette ingalit. Puisque f est positive, on trouve
ln f(x) ln f(A)
a
2
(x A).
Passant lexponentielle, on en dduit, pour x A,
0 f(x) f(A)e
a
2
(xA)
.
Puisque a/2 < 0, la fonction e
a
2
x
est intgrable sur ]0, +[. Il en est de mme de f. De plus,
lingalit prcdente prouve que f tend vers 0 en +. Dautre part, de la limite de f

/f en
+, et puisque f est positive, on en dduit que f

(x) 0 pour x assez grand, disons x B.


On en dduit, pour x B,
_
X
B
|f

(t)|dt =
_
X
B
f

(t)dt = f(B) f(X)


et ceci converge vers f(B) quand X tend vers +. f

est donc elle aussi intgrable.


Exercice 23 - Cauchy-Schwarz - L2/Math Sp -
1. crivons f = f 1 et appliquons lingalit de Cauchy-Schwarz :

_
b
a
f(t)dt

_
_
b
a
1
2
dt
_
1/2
_
_
b
a
f
2
(t)dt
_
1/2
= (b a)
1/2
_
_
b
a
f
2
(t)dt
_
1/2
.
2. Fixons > 0 et A > 0 tel que, pour tout x A, on a
_
x
A
f
2
(t)dt
2
. On coupe lintgrale
en A, et on crit donc, pour x A,
1

x
_
x
0
f(t)dt =
1

x
_
A
0
f(t)dt +
1

x
_
x
A
f(t)dt.
Le premier terme apparaissant droite tend vers 0 lorsque x tend vers + (rappelons
que A est x). On en dduit quil existe x
0
R tel que, pour x x
0
, on a

x
_
A
0
f(t)dt

.
Pour le second terme, on utilise le rsultat de la premire question :

x
_
x
A
f(t)dt

x A

x
__
x
A
f
2
(t)dt
_
1/2
1 .
Ainsi, pour x x
0
, on a

x
_
x
0
f(t)dt

2.
Ceci donne le rsultat.
http://www.bibmath.net 18
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Exercice 24 - Division par t - L2/Math Sp -
On introduit la fonction F(x) =
_
x
1
f(t)dt par une intgration par parties : pour X 1,
_
X
1
f(t)
t
dt =
F(X)
X

F(1)
1
+
_
X
1
F(t)
t
2
dt.
Or F est continue et admet une limite en +. On en dduit que F(X)/X tend vers 0 lorsque
X tend vers +, et aussi que |F| est majore sur [1, +[, disons par M. Ainsi, on a
|F(t)|
t
2

M
t
2
,
et donc lintgrale
_
+
1
F(t)
t
2
dt converge. Il en est de mme de
_
+
1
f(t)
t
dt.
Exercice 25 - Intgration des relations de comparaison - L2/Math Sp -
1. (a) Soit > 0. Il existe x
0
[a, b[ tel que, pour tout t ]x
0
, b[, on a 0 g(t) f(t).
Soit x ]x
0
, b[. Si on intgre lingalit prcdente, on obtient
0
_
b
x
g(t)dt
_
b
x
f(t)dt.
Ceci prouve le rsultat demand.
(b) Cest un peu plus dicile car il faut dcouper lintgrale en deux. Soit > 0. Il existe
x
0
[a, b[ tel que, pour tout t ]x
0
, b[, on a 0 g(t) f(t). Soit x ]x
0
, b[. On crit
0
_
x
a
g(t)dt =
_
x
0
a
g(t)dt +
_
x
x
0
g(t)dt
_
x
0
a
g(t)dt +
_
x
x
0
f(t)dt.
Puisque
_
x
0
a
g(t)dt est un rel x et que
_
x
a
f(t)dt tend vers + si x tend vers b,
alors il existe x
1
]x
0
, b[ tel que, pour tout x ]x
1
, b[, on a
_
x
0
a
g(t)dt
_
x
a
f(t)dt.
Si lon rsume, on obtient que pour tout x ]x
1
, b[, on a
0
_
x
a
g(t)dt 2
_
x
a
f(t)dt
ce qui prouve le rsultat.
2. Il sut de remarquer que g
b
f si et seulement si f g =
b
o(f). On intgre cette relation
de comparaison en utilisant la question prcdente pour obtenir
_
(f g) =
_
f
_
g =
o(
_
f). On utilise lautre implication du si et seulement si pour obtenir le rsultat demand.
On peut aussi reproduire la preuve de la question fprcdente.
3. Au voisinage de +,
arctan t
t

+

2t
. Comme
_
+
1
arctan t
t
dt diverge, on en dduit daprs
le rsultat de la question prcdente que
_
x
1
arctan t
t
dt
+
_
x
1

2t
dt.
Puisque cette dernire intgrale se calcule aisment, on conclut que
_
x
1
arctan t
t
dt
+

2
ln x.
http://www.bibmath.net 19
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Fonctions dfinies par une intgrale impropre, applications
Exercice 26 - - L2/Math Sp -
1. Remarquons pour commencer que, pour tout x R, la fonction t
1
1+t
x
est continue sur
[1, +[. On doit juste traiter le problme au voisinage de +. Mais, si x < 0, t
x
tend
vers 0 lorsque t tend vers +. Ainsi,
1
1 + t
x

t+
1
et lintgrale impropre ne converge pas au voisinage de +. Si x = 0, la fonction est
constante et son intgrale ne converge pas. Enn, si x > 0, on a
1
1 + t
x

+
1
t
x
.
Puisque lintgrale
_
+
1
1
t
x
converge si et seulement si x > 1, et par comparaison une
fonction positive, lintgrale est convergente si et seulement si x > 1. Autrement dit, le
domaine de dnition de est ]1, +[.
2. Soient 1 < x < y. Alors, pour t 1, on a t
x
t
y
, et donc
1
1 + t
x

1
1 + t
y
.
On intgre cette ingalit entre 1 et +, et on trouve que (x) (y). La fonction est
bien dcroissante sur [1, +[.
3. On va simplement majorer la fonction : pour x > 1 et t 1, on a
0
1
1 + t
x

1
t
x
.
On intgre cette ingalit entre 1 et +, et on trouve
0 (x)
_
+
1
1
t
x
=
1
x 1
.
Par le thorme des gendarmes, (x) tend vers 0 lorsque x tend vers +.
Exercice 27 - Equivalence - L2/Math Sp -
1. On a
e
t
t
= o(t
2
) au voisinage de +. Comme
_
+
x
dt
t
2
converge, il en est de mme de
lintgrale initiale.
2. On crit :
F(x) =
_
1
x
e
t
t
dt +
_
+
1
e
t
t
dt.
Par le thorme fondamental du calcul intgral (on sest ramen une intgrale sur un
segment !), F est drivable et
F

(x) =
e
x
x
.
http://www.bibmath.net 20
Exercices - Fonctions intgrables et intgrales impropres :
corrig
3. Comme reste dune intgrale convergente, on a lim
x+
F(x) = 0. Dautre part, la fonc-
tion e
t
/t est positive sur ]0, +[. De plus, en 0, elle est quivalente
1
t
dont lintgrale
est divergente en 0. On en dduit que
lim
x0
+
F(x) = +.
4. (a) On crit :
_
1
x
e
t
t
dt + ln x =
_
1
x
e
t
t
dt
_
1
x
d
t
t
=
_
1
x
e
t
1
t
dt.
Or, pour t ]0, 1], par lingalit des accroissements nis,
|e
t
1| t.
Ainsi, on trouve que pour tout x ]0, 1], on a

_
1
x
e
t
t
dt + ln x

1.
(on aurait pu aussi dmontrer que t
e
t
1
t
se prolongeait en une fonction continue
sur [0, 1], puis dire quune fonction continue sur [0, 1] est borne).
(b) Posons A =
_
+
1
e
t
t
. Daprs la question prcdente, on sait que
1
ln x

F(x)
ln x
1 +
A
ln x

1
ln x
pour tout x ]0, 1], et on fait tendre x vers 0
+
. Par le thorme dencadrement des
limites,
F(x)
ln x
tend vers 1, ce qui signie bien que F(x) ln x.
5. (a) Cest exactement le mme raisonnement qu la premire question....
(b) On crit simplement
_
+
x
e
t
t
2
dt
_
+
x
e
t
xt
dt
F(x)
x
.
(c) On a dune part, par une intgration par parties :
_
+
x
e
t
t
2
dt =
_
e
t
t
_
+
x
F(x) =
e
x
x
F(x).
Ainsi, on obtient
e
x
x
F(x)
_
1 +
1
x
_
.
Dautre part, on a galement
F(x) =
_
+
x
e
t
t
dt
_
+
x
e
t
x
dt =
e
x
x
.
De lencadrement
F(x)
e
x
x
F(x)
_
1 +
1
x
_
on dduit immdiatement le rsultat voulu.
http://www.bibmath.net 21
Exercices - Fonctions intgrables et intgrales impropres :
corrig
Exercice 28 - Logarithme intgral - Math Sp/L3 -
En intgrant une fois par parties, on a
x 2,
_
x
2
dt
ln t
=
_
t
ln t
_
x
2
+
_
x
2
dt
ln
2
t
.
On itre ces intgrations par parties, et on tombe aprs n tapes sur :
li(x) =
x
ln x
+
1!x
(ln x)
2
+
2!x
(ln x)
3
+ +
(n 1)!x
(ln x)
n
+ n!
_
x
2
dt
(ln t)
n+1
+ O(1),
le terme O(1) correspondant aux constantes dintgration. Il reste trouver un quivalent de
cette dernire intgrale. En faisant une dernire intgration par parties, on a :
n!
_
x
2
dt
(ln t)
n+1
=
n!x
(ln x)
n+1
+ (n + 1)!
_
x
2
dt
(ln t)
n+2
+ O(1).
Or, au voisinage de +, on a
1
(ln t)
n+2
= o
_
1
(ln t)
n+1
_
.
On peut intgrer ces relations de comparaison (car tout est positif), et on obtient :
_
x
2
dt
(ln t)
n+2
= o
__
x
2
dt
(ln t)
n+2
_
.
Si on reporte ceci dans lquation prcdente, on obtient que
n!
_
x
2
dt
(ln t)
n+1

+
n!x
(ln x)
n+1
.
Finalement, le dveloppement asymptotique recherch est de la forme :
li(x) =
x
ln x
+
1!x
(ln x)
2
+
2!x
(ln x)
3
+ +
(n 1)!x
(ln x)
n
+
n!x
(ln x)
n+1
+ o
_
n!x
(ln x)
n+1
_
.
http://www.bibmath.net 22

Vous aimerez peut-être aussi