Int01Tmoins1SurLnt Fiche
Int01Tmoins1SurLnt Fiche
Int01Tmoins1SurLnt Fiche
t−1
Calcul de dt
0 ln(t)
1) Existence de l’intégrale.
t−1
La fonction f : t 7→ dt est continue et positive sur ]0, 1[.
ln(t)
t − 1
• Quand t tend vers 0, = o(1). f se prolonge par continuité en 0 et par suite, f est intégrable au voisinage de 0
ln t
à droite.
t−1
• Quand t tend vers 1, ∼ 1. Ainsi, f se prolonge par continuité en 1 et est donc intégrable au voisinage de 1 à
ln t
gauche.
Z1
ln t
Finalement, f est intégrable sur ]0, 1[ et on peut poser I = dt.
0 t−1
Zx
t−1
2) Calcul. On obtient l’intégrale comme la limite quand x tend vers 1 de dt.
0 ln(t)
Zx
t−1
Pour x ∈]0, 1[, on pose F(x) = dt. On commence par transformer l’intégrale.
0 ln(t)
t 1
Soit x ∈]0, 1[. Puisque les fonctions t 7→ et t 7→ sont intégrables sur ]0, x] (mais pas sur ]0, 1[, on peut écrire
ln(t) ln(t)
Zx Zx Zx Zx Zx
t−1 t 1 1 1
F(x) = dt = dt − dt = 2tdt − dt
0 ln(t) 0 ln(t) 0 ln(t) 0 ln (t2 ) 0 ln(t)
Z x2 Zx
1 1
= du − dt (posant u = t2 dans la première intégrale)
0 ln (u) 0 ln(t)
Z x2
1
= dt
x ln(t)
Zx Z x2
t−1 1
∀x ∈]0, 1[, dt = dt.
0 ln(t) x ln(t)
x t 1 x2
Ensuite, x2 < x < 1 puis, pour tout t ∈ x2 , x ⊂]0, 1[, x2 6 t 6 x puis
6 = 6 (car ln(t) < 0).
t ln(t) t ln(t) ln(t) t ln(t)
Zx Zx Zx 2
x t x
En intégrant (et en tenant compte de x2 6 x), on obtient dt 6 dt 6 dt puis, en multipliant
x2 t ln(t) x2 t ln(t) x2 t ln(t)
par −1 les trois membres de l’encadrement,
Z x2 Z x2 Z x2
2 1 1 1
x dt 6 dt 6 x dt.
x t ln(t) x ln(t)
x t ln(t)
Z x2
1 x2 2 ln(x)
= ln ln x2 − ln (|ln(x)|) = ln
De plus, dt = [ln(| ln(t)|)]x = ln(2). On a montré que
x t ln(t) ln(x)
Zx
t−1
∀x ∈]0, 1[, x2 ln(2) 6 dt 6 x ln(2).
0 ln(t)