LEON N 72 :

Croissance compare des fonctions relles

x 7 ex, x 7 xa et x 7 ln x au
voisinage de +. Applications. Lexpos
pourra tre illustr par un ou des exemples
faisant appel lutilisation dune
calculatrice.
Pr-requis :
Fonctions cites dans le titre : dfinition, sens de variations, limites en ;
Droite relle acheve, voisinage point dun point x0 R, not V (x0 ) ;
Oprations lmentaires sur les limites, thorme dencadrement, ainsi que le thorme de composition
des limites : Soient f : D R et g : E R, o D, E R tels que f (D) E. Soient
2
(a, , L) D R , o = lim f (x) et L = lim g(x). Alors L = lim g f (x).
xa

xa

Dans toute la leon, x0 dsigne un lment de R.

La relation de prpondrance

Dfinition 1 : Soient f, g deux fonctions ne sannulant pas sur V (x0 ). On dit que f est ngligeable
devant g (au voisinage de x0 ) si
f (x)
= 0.
lim
xx0 g(x)
x

On utilisera la notation de Landau : f = o(g) (ou f =0 o(g) sil y a confusion).

Proposition 1 :
La relation o est transitive ;
Soient f, g deux fonctions

ne sannulant pas sur V (x0 ). Alors la relation P dfinie par f P g
(f = g ou f = o(g) est une relation dordre.
dmonstration :

Soient f, g, h trois fonctions ne sannulant pas sur V (x0 ) telles que f = o(g) et g = o(h). On utilise
la dfinition :



f (x) g(x)
f (x)
g(x)
f (x)
= lim
= lim
lim
= 0,
lim
xx0 g(x) h(x)
xx0 g(x)
xx0 h(x)
xx0 h(x)

Croissance compare de exp, ln et puissance en +

donc f = o(h).
On vrifie facilement que P est rflexive, transitive et antisymtrique.
Ceci achve la dmonstration de cette proposition.

Remarque 1 : Puisque la relation o est transitive, on utilisera par commodit la notation de Hardy : f = o(g)
x0

f g (ou f =0 o(g) f g sil y a confusion). Cela nous permettra notamment dcrire plus intuitivement que
f g h. Dans la suite, on se permettra mme dcrire par abus de langage f (x) g(x) pour dire que f g.

72.1

Croissance compare entre une fonction puissance et ln

Thorme 1 : Pour tout rel a strictement positif,

+

ln x xa.
dmonstration : Soit a un rel strictement positif.
u > 1,

0 6 ln u < u x > 1,
x > 1,
x > 1,

Or lim

0 6 ln(xa/2 ) < xa/2

a
0 6 ln x < xa/2
2
2
0 6 xa ln x < xa/2 .
a

2 a
x 2 = 0 ; donc le thorme dencadrement permet de conclure.
a

Remarque 2 : Si a est ngatif, alors on a xa ln x au voisinage de + (le quotient nest alors pas une forme

indtermine !).

Corollaire 1 : Pour tout couple (b, c) R+ R, on a (ln x)c xb .

dmonstration : Le rsultat est immdiat si c 6 0. Supposons alors c > 0. On a ainsi

(ln x)c
=
xb

ln x
xb/c

c

Puisque b/c est un rel strictement positif, le thorme 1 nous assure que le quotient entre parenthses
tend vers 0 en linfini. Par application de la fonction continue X 7 X b , on en dduit que
(ln x)c
= 0,
x
xb
lim

do le rsultat.

Croissance compare de exp, ln et puissance en +

72.2

Croissance compare entre une fonction puissance et exp

Thorme 2 : Pour tout rel a,

+

xa ex.

dmonstration : Soit a un rel quelconque. Alors

ln x
xa
= ea ln xx = ex(a x 1) .
x
e

Le thorme 1 et celui de composition des limites permettent alors de conclure.

Corollaire 2 : Pour tout couple (a, b) R+ R, on a xb eax.

dmonstration : Le rsultat est immdiat si b 6 0. Supposons alors b > 0. On a ainsi
xb
=
eax

xb/a
ex

!a

Puisque b/a est un rel, le thorme 2 nous assure que le quotient entre parenthses tend vers 0 en
linfini. Par application de la fonction continue X 7 X a , on en dduit que
lim

xb/a
ex

!a

= 0,

do le rsultat.

Rcapitulons ce que lon a dmontr jusqu prsent :

(a, b, c) (R+ )3 ,

(ln x)c xb eax .

Remarque 3 : Posons fa,b,c (x) = eax xb (ln x)c pour des rels a, b, c quelconques. Dfinissons aussi la relation L

dordre lexicographique pour deux triplets (a, b, c) et (a , b , c ) de R3 :

(a, b, c) L (a , b , c ) (a < a ) ou (a = a et b < b ) ou (a = a , b = b et c < c ).

Il est alors facile de voir que
(a, b, c), (a , b , c ) R3 ,

fa,b,c P fa ,b ,c (a, b, c) L (a , b , c ),

de sorte que la relation P sur lensemble de fonctions {x 7 eax xb (ln x)c , a, b, c R} est une relation dordre total.

Croissance compare de exp, ln et puissance en +

72.3

Applications

72.3.1 Branches infinies

Fonction
ln

Limite calcule
lim lnxx = 0

exp

x 7 x ln x

x
ex
= +
x x
x
lim xln
=0
x
x
x+1+2 ex
lim
=
x
x

Branche parabolique de direction

(Ox) en +

lim

x 7 x + 1 + 2 e

Asymptote

(Oy) en +

(Ox) en +
(Ox) en

y = x + 1 en +

72.3.2 Calcul de limites

Exercice 1 : Etudier la limite en + de la fonction x 7

xln x
.
(ln x)x

dmonstration :
ln x

xln x
=
(ln x)x

x x
ln x

!x



ln x
x ln x x ln ln x

=e





ln2 x
x ln e x
ln ln x

=e

Par le thorme 1 et le thorme de composition des limites, on en dduit que la limite du quotient
ci-dessus vaut 0 en +.


Exercice 2 : Etudier la drivabilit en 0 et 1 de la fonction dfinie sur [0, 1] suivante :

si 0 < x < 1,
exp ln1x
1
si x = 0,
f (x) =

0
si x = 1.

dmonstration : f est clairement continue sur [0, 1] et drivable sur ]0, 1[, avec pour tout x ]0, 1[,
1
f (x) = (ln x)2 exp
x

1
ln x

On en dduit donc les limites

lim f (x) =

x0+

et

lim f (x) = 0,

x1

de sorte que f est drivable en 1, mais pas en 0.

Exercice 3 : On dfinit la suite (un )nN par son terme gnral

Z 1 n+1
x
dx.
n N, un =
0 1 + nx
Montrer que la suite (un ) converge vers 0.

Croissance compare de exp, ln et puissance en +

dmonstration :
n+1

n1

x [0, 1], 0 6 x

6x

Z 1 n1
x
xn+1
dx 6
dx
06
0 1 + nx
0 1 + nx
1

1
ln(1 + nx)
0 6 un 6
n2
0
ln(1 + n)
0 6 un 6
0.
n
n2
Z

On conclut alors par le thorme dencadrement.

72.3.3 La fonction Gamma dEuler. . .

Exercice 4 : Considrons les intgrales dpendant dun paramtre x > 0 suivanteq :
(h) =

h
x1 t

dt

et

(k) =

tx1 et dt.

Montrer que et admettent des limites finies respectivement en + et 0.

dmonstration : Attaquons tout dabord la premire fonction. Pour tout rel x > 0 fix, on a

tx+1
tx1 et t2 car lim t = 0 par le thorme 2. On en dduit lexistence dun rel A > 1
t e
Rh
Rh
tel que pour tout h > A, A tx1 et dt 6 A dtt , et donc
h

tx1 et dt 6

1
1
1
6 .
A h
A

La
R Afonction est donc uniformment borne en tant que somme dune quantit borne et dun rel fixe
( 1 ), pour tout h > A, donc admet une limite finie quand h .
0

Passons maintenant la seconde fonction. Pour tout rel x > 0 fix, on a tx1 et t2 car
tx+1
lim t = 0 (pas de forme indtermine). On en dduit lexistence dun rel > 0 tel que pour
t0 e
R
R
tout k < , k tx1 et dt 6 k dtt , et donc
Z

tx1 et dt 6

1
1 1
6 .
k
k

Pour la mme raison que prcdemment, la fonction admet une limite finie lorsque k 0.

Remarque 5 : On vient de montrer que lintgrale

la fonction gamma dEuler , note (x).

R
0

tx1 et dt est convergente pour tout rel x, ce qui dfinit

Croissance compare de exp, ln et puissance en +

72.4

Reprsentation graphique
x
( > 1)

exp
x
( = 1)

ln
x
( < 1)

1
0

c 2010 par Martial LENZEN.

Aucune reproduction, mme partielle, autres que celles prvues larticle L. 122-5 du code de la
proprit intellectuelle, ne peut tre faite sans lautorisation expresse de lauteur.