CROISSANCES COMPAREES

Théorème
ln( x)
a  0 lim 0
x  xa

dém
x
dt
x  0 ln( x)  
(1) Pour a=1 , en revenant à la définition de ln : 1
t

On a x  1 t  1  t  t car est strictement croissante sur

 0,   et strictement positive.
1 1
x  1 t 1 
D'où t t car la fonction inverse est strictement décroissante sur 0,  , et par croissance de l'intégrale
x x
dt dt ln( x) 2 x ln( x) 2
1 t  1 t  2 x  2  2 x
x  1 x  1
x

x
 0
x

x .
on en déduit
2 ln( x)
lim 0 lim 0
x  x 
Comme , d'après le théorème d'encadrement x x .
(2) Pour a > 0 , soit  x  0 u ( x )  x a
 e a ln( x )

ln(u ( x)) ln( x a ) a ln( x) ln( x)

x  1    a u ( x)  
On a au ( x) ax a ax a x or xlim
 donc le théorème composition des limites permet de
ln(u ( x)) ln(u ( x)) ln( x)
lim  0  lim  0  lim 0
conclure que
x  u ( x) x  au ( x) x  xa

Remarque
On peut alors écrire a  0 ln( x)  o( x ) en  , ou avec la notation de Hardy a  0 ln( x) p p x
a a

Conséquences
xa ex
a  0 lim x a ln( x)  0 a  R lim x
0 a  R lim a  
x 0 x  e x  x
(i) (ii) (iii)

dém
1 1  1  1
x  0 h( x)  a  0 x a ln( x)  a
ln   ln(h( x)) lim h( x)  
(i) Soit a > 0 . On pose x alors h ( x )  h ( x )  h ( x) a , or x 0 .
 ln(h( x))
lim x a ln( x)  lim 0
Donc
x  0 X  h( x ) a ( théorème de composition des limites )

xa  ln( x)  ln( x)
a  R x  0  e a ln( x )  x x  0 a ln( x)  x   x 1  a  lim 0
(ii) ex et  x  et comme x  x alors
a ln( x)  x : x lim a ln( x)  x   a  R lim e a ln( x )  x  0 
x  donc x  en composant les limites on obtient x  .
a
x 1
a  R x  0 x
 x
e e
(iii) Il suffit de remarquer que x a et utiliser la limite précédente.