Vous êtes sur la page 1sur 11

c Christophe Bertault - MPSI

Comparaison des suites


Dans larmoire des suites, la notion de limite cre des tiroirs qui permettent de faire un certain tri : dans le tiroir sont
ranges toutes les suites de limite , dans le tiroir 2 toutes les suites de limite 2. . . et dans le tiroir sans limite toutes les
suites sans limites. Or dans certains tiroirs, il serait intressant que de nouveaux sous-tiroirs soient crs : les suites (n2 )nN et
(2n )nN , par exemple, sont toutes deux dans le tiroir , mais on sent bien quelles portent des infinis de tailles diffrentes ;
1
1
mme chose dans le tiroir 0 avec les suites
.
et
n nN
2n nN
La figure ci-dessous rsume schmatiquement lambition de ce chapitre.
Pas de

Les tiroirs

limite

limite

Les nouveaux
tiroirs !

2n

n3

1
n+ n

n + 2n

n2

2n n

n+ n

n4
n + sin n

...

n2

n
+1

...

...

Tiroir 2n Tiroir n3

en

en

+4

1
+ n4

n!

n + ln n

n+1
1 + en
...

...

Tiroir 1 Tiroir en
n

Tiroir

n sin n

(1)n

n! 4

(n + 2)!

n4 + 3

(1)n n2
n2 + 2

ne n sin n
en n sin n

3 3n
e +1

...

...

...

Tiroir n!

Tiroir (1)n Tiroir n sin n

Ngligeabilit

1
1.1

Dfinition

Dfinition (Ngligeabilit) Soient (un )nN et (vn )nN deux suites. On dit que (un )nN est ngligeable devant (vn )nN sil
existe une suite (n )nN de limite nulle et un rang partir duquel un = n vn . Cette relation se note un = o(vn ) et se lit
n

un est un petit o de vn .
En pratique, si (vn )nN ne sannule pas partir dun certain rang, dire que un

= o(vn ) revient dire que lim

un
= 0.
vn

Explication Dans cette dfinition, il faut multiplier (vn )nN par une suite de limite nulle pour obtenir (un )nN ; cest
bien dire que un est toute petit devant vn , et mme de plus en plus mesure que n crot do la terminologie : (un )nN est
ngligeable devant (vn )nN . On se sert de ce vocabulaire quand on veut comparer deux infinis ou deux zros : on peut ainsi dire
que tel infini est plus petit que tel autre, etc.

Exemple

n2
n = o(n ) car lim 4 = 0.
n
n n
2

Attention !

n3
n = o(n ) car lim 4 = 0.
n
n n
3

Vous ne rencontrerez jamais lexpression un

1
n2

= o

1
n

car lim

1
n2 = 0.
1
n

= o(0) en mathmatiques. Banissez-la donc de

vos copies ! Cette expression a pourtant bien un sens, mais elle nous parle de la suite nulle sans intrt :
un

= o(0)

un = 0 partir dun certain rang.

Nous avons introduit ci-dessus la notation petit o sous sa forme la plus lmentaire mise en relation de deux suites.
Cette notation existe en ralit sous des formes assez diverses en mathmatiques. Par exemple, vous rencontrerez souvent des
expressions du genre un = vn + o(wn ) . En loccurrence, cette expression signifie simplement que un = vn + xn o
n

xn

= o(wn ), ou encore que un et vn ne diffrent que dun petit o de wn .

c Christophe Bertault - MPSI

Explication
1
n+1

Partons de laffirmation :

1
1
5
2 + 3 +o
n
n
n

1
.
n2

Peu importe ici pourquoi cette affirmation est vraie.

1
1
5
1
2 + 3 . Or une approximation na
n+1
n
n
n
1
1
1
5
1
de sens que si lon peut mesurer lerreur commise. Ici il nous est dit que
2 + 3 un o
prs. Le
n+1
n
n
n
n2
1
reprsente le niveau de prcision de lapproximation. Cest un peu comme quand on dit que 3, 14 102 prs.
o
n2

Grosso modo, cette proposition affirme que lorsque n est assez grand,

Imaginez justement quon vous dise : est gal 3,14012 102 prs . Vous rpondrez naturellement : Pourquoi
ne pas se contenter de lapproximation 3,14 puisquon raisonne 102 prs ? Et vous aurez raison : raisonner 102
prs, cest ngliger tout ce qui est plus petit que 102 . Ainsi lapproximation 3, 14 102 prs est aussi prcise que
lapproximation 3, 141592 102 prs, bien quon ait deux dcimales correctes dans un cas et six dans lautre.
5
1
5
, la quantit 3 est inutile dans la relation
Le mme phnomne se produit avec les petits o. Ainsi, puisque 3 = o
n n
n2
n
1
1
1
1
5
1
1
1
1
=

+
+o
; nous pouvons donc lui couper la tte et affirmer que
=

+o
.
n + 1 n n n2 n3
n2
n + 1 n n n2
n2
Cette nouvelle proposition nest ni plus ni moins prcise que la prcdente, mais elle est plus lisible.
Vous devez vous habituer penser les petits o comme des niveaux de prcision ou encore comme des seuils de visibilit,
et penser de vous-mmes nettoyer les formules que vous crivez comme nous venons de le faire ci-dessus.

Thorme

(Limites et petits o) Soient (un )nN une suite et R. Alors :

Cas particulier fondamental :

lim un = 0

En rsum :

= o(1).

un

lim un =

un

= + o(1).

o(1) = une suite de limite nulle .

Dmonstration
lim un =

1.2

lim

un
=0
1

un = o(1)

un

= + o(1).

Oprations sur les petits o

Thorme

(Les petits o absorbent les constantes multiplicatives) Soient (un )nN et (vn )nN des suites et R .
Si un

Dmonstration

= o(vn ), alors un

Montrons que un

= o(vn ) et un

= o(vn ).

= o(vn ). Par hypothse, un = n vn partir dun certain rang N pour


n
n
(vn ) partir du rang N et lim
= 0. Do le rsultat.
une certaine suite (n )nN de limite nulle. Alors un =
n

Montrons que un = o(vn ). Cette fois, un = (n )vn partir du rang N et lim n = 0. Do le rsultat.
n

Exemple

Si lon admet lgalit :

Thorme

en

= 1+

1
+o
n

1
,
n

alors :

2e n

= 2+

2
+2 o
n

1
n

= 2+

2
+o
n

1
.
n

(La somme de deux petits o est un petit o) Soient (un )nN , (un )nN et (vn )nN des suites.
Si un

= o(vn ) et si un

= o(vn ), alors un + un

= o(vn ).

Dmonstration
Par hypothse, un = n vn partir dun certain rang N pour une certaine suite (n )nN de
limite nulle, et un = n vn partir dun certain rang N pour une certaine suite (n )nN de limite nulle. Alors
un + un = (n + n )vn partir du rang max N, N

Exemple
Alors :

Admettons momentanment les galits :


1

e n + sin

1
n

1+

1
+o
n

1
n

1
+o
n

en
1
n

et lim (n + n ) = 0. Do le rsultat.
n

1
1
+o
n
n
1
2
= 1+ +o
n
n
n
= 1+

et
+o

sin
1
n

1
1
+o
.
n
n
2
1
= 1+ +o
.
n
n
n
1
n

c Christophe Bertault - MPSI

Thorme

(Un petit o dun petit o est un petit o) Soient (un )nN , (vn )nN et (wn )nN des suites.

La relation tre ngligeable est transitive :

si un

= o(vn ) et si vn

= o(wn ), alors un

= o(wn ).

Dmonstration
Par hypothse, un = n vn partir dun certain rang N pour une certaine suite (n )nN de
limite nulle, et vn = n wn partir dun certain rang N pour une certaine suite (n )nN de limite nulle. Alors
et lim n n = 0. Do le rsultat.

un = (n n )wn partir du rang max N, N

Exemple

Thorme

1
n2

= o

1
n

1
n

= 1+o

e n2

e n2

= o(vn ) et si un

Si un

1
n

+o o

= o(vn ), alors un un

= o(vn ), alors un wn

1
.
n2
1
= 1+o
n
n

1
+o
n2

+o

1
n

= 1+o

1
.
n

e n sin

1
n

1
+o
n

1+

1
+o
n

1
n

1
n
+

= o(vn vn ).

= o(vn wn ).

Admettons momentanment les galits :


1

= 1+

(Avec le produit, tout va bien) Soient (un )nN , (vn )nN , (wn )nN , (un )nN et (vn )nN des suites.

Si un

Exemple
Alors :

Admettons momentanment lgalit :

Alors puisque

1
+o
n2

1
+o
n

1
n

1
n2

+o

en

1
1
1
+o
=
et sin
n
n
n n
1
1
2
1
1
+o
+o
+ 2 + o
n
n
n
n
n

= 1+

1
n2

1
+o
n

1
1
+o
.
n
n
1
1
o
n
n

1
.
n

1
o( n
)

Thorme

(Avec les suites extraites, tout va bien) Soient (un )nN et (vn )nN des suites.
Si : N N est strictement croissante et si un

= o(vn ), alors u(n)

= o v(n) .

Attention !

Il est formellement interdit de composer une relation de ngligeabilit par la gauche : si


1
1
un = o(vn ), on na pas forcment f (un ) = o f (vn ) . Par exemple n = o(n2 ), mais
= o
.
n
n
n
n n
n2

1.3

Exemples fondamentaux

Thorme

(Exemples fondamentaux de petits o) Soient a, b, , R.

(i)

(ii)

Si |a| < |b|, alors an = o(bn ).

(iii) Si > 0, alors

(iv)

Si a > 1, alors n

(v)

Explication

= o(an ).

Alors an

Si < , alors n
ln n

= o(n ).

= o(n ).

= o(n!).

Version petit o du thorme sur les croissances compares !

Dmonstration
(i) Puisque < , alors < 0, donc lim x = 0 (rsultat sur les fonctions puissances). Par composition,
x

n
= 0, i.e. enfin n = o(n ).
n
n
n n
a n
a
= 0, et donc an = o(bn ).
< 1, alors lim
(ii) Puisque b = 0 et
n
n b
b
(iv) et (v) Dj vu : ce sont respectivement la comparaison exponentielles/puissances et la comparaison exponentielles/factorielle.
lim n = 0, i.e. lim

c Christophe Bertault - MPSI

Equivalence

2.1

Dfinition

Dfinition (Equivalence) Soient (un )nN et (vn )nN deux suites. On dit que (un )nN est quivalente (vn )nN sil existe
une suite (n )nN de limite 1 et un rang partir duquel un = n vn . Cette relation se note un vn .
n

En pratique, si (vn )nN ne sannule pas partir dun certain rang, dire que un

vn revient dire que lim

un
= 1.
vn

Explication
Dans cette dfinition, il faut multiplier (vn )nN par une suite de limite 1 pour obtenir (un )nN ; cest
bien dire que un est environ gale vn , et de plus en plus proche mesure que n crot do la terminologie : (un )nN est
quivalente (vn )nN . On se sert de ce vocabulaire quand on veut comparer deux infinis ou deux zros : on peut ainsi dire que
tel et tel infinis ont la mme taille ou le mme ordre de grandeur, etc.

Exemple

n2 + n + 5 n2 car lim
n

Attention !

n2 + n + 5
= 1.
n2

1
1
+ 2
n
n

Vous ne rencontrerez jamais lexpression un

1
1
+ 2
1
n = 1.
car lim n
1
n
n
n

0 en mathmatiques. Banissez-la donc de vos

copies ! Cette expression a pourtant bien un sens, mais elle nous parle de la suite nulle sans intrt :
un

Thorme

un = 0 partir dun certain rang.

(Lien limite/quivalence) Soient (un )nN et (vn )nN deux suites.

(i) Si un

vn , alors soit (un )nN et (vn )nN ont toutes les deux une limite, en loccurrence la mme, soit aucune de

ces deux suites ne possde de limite.

(ii) Si lim un = o est un rel non nul, alors un


n

Explication
Dans loptique de la premire figure du chapitre, lassertion (i) signifie que deux suites qui sont dans le mme tiroirquivalence sont aussi dans le mme tiroir-limite . Bref : les tiroirs-quivalence sont bien des sous-tiroirs des
tiroirs-limite .
Lassertion (ii) signifie que les tiroirs associs aux limites finies non nulles nont pas de sous-tiroir. Nous navons donc cr
des sous-tiroirs que pour quatre tiroirs-limite : le tiroir , le tiroir 0 , le tiroir et le tiroir sans limite .
Attention !
La rciproque de lassertion (i) est fausse : on peut avoir lim un = lim vn sans avoir un
n

vn . En dautres termes,

deux suites peuvent tre ranges dans le mme tiroir sans tre ranges dans le mme sous-tiroir. Ne pas comprendre ceci,
cest ne rien comprendre ce chapitre.
1
1
1
1
Par exemple, lim 2n = lim n = mais 2n n ; de mme lim
= lim 2 = 0 mais

.
n
n
n
n n
n n
n n n2

Quand (un )nN possde une limite, on a lim un+1 = lim un . Cela dit, en gnral, un+1
n

un considrer un = 2n .

Dmonstration
(i) Par hypothse, un = n vn partir dun certain rang N pour une certaine suite (n )nN de limite 1. Du
coup, si (un )nN possde une limite, alors (vn )nN en possde une aussi et ces limites sont gales ; et si
(un )nN ne possde pas de limite, alors (vn )nN ne peut pas en possder non plus.
(ii) Si lim un = R , alors comme = 0, lim
n

un
= 1, et donc on a bien un

c Christophe Bertault - MPSI

Thorme (Lien petit o/quivalence) Soient (un )nN et (vn )nN deux suites.

Dmonstration

Par dfinition, dire que un

un

vn un

= vn + o(vn ).

vn cest dire quil existe une suite (n )nN de limite 1 et un

rang N partir duquel un = n vn . Cest donc dire quil existe une suite (n )nN de limite nulle et un rang N
partir duquel un = (1 + n )vn , i.e. un vn = n vn . Cest, enfin, exactement dire que un vn = o(vn ).
n

En pratique La remarque qui suit est essentielle : quand vous cherchez un quivalent, votre rsultat ne doit jamais
se prsenter comme une somme de deux termes de tailles distinctes. Par exemple, si lon vous demande un quivalent
n2 + n + 1
de n2 + n + 1 lorsque n tend vers , ne rpondez pas : n2 + n + 1 n2 + n. Cest correct puisque lim
= 1, mais
n
n
n2 + n
2
2
parfaitement inintressant. Car vous pouvez encore comparer n et n, et en loccurrence n = o(n ). Lquivalence intressante
n

est donc :

2.2

n2 + n + 1 n2 .

En rsum : il ne doit en rester quun, le plus gros, celui quon voit de loin.

Oprations sur les quivalents

Thorme
des suites.

(La relation tre quivalente est une relation dquivalence) Soient (un )nN , (vn )nN et (wn )nN

(i) La relation tre quivalente est rflexive :

un

(ii) La relation tre quivalente est symtrique :

un .

si un

(iii) La relation tre quivalente est transitive :

si un

vn , alors vn

vn et si vn

un .

wn , alors un

wn .

En rsum, la relation tre quivalente est une relation dquivalence sur lensemble RN des suites relles.

Dmonstration
(i) Posons n = 1 pour tout n N. Alors un = n un pour tout n N et lim n = 1, donc un
n

un .

(ii) Par hypothse, un = n vn partir dun certain rang N pour une certaine suite (n )nN de limite 1. Comme
1
lim n = 1, il existe un rang N partir duquel n > 0. Posons n = 1 pour tout n < N et n =
pour
n
n
u
n
= n un partir du rang max N, N et de plus lim n = 1, donc vn un .
tout n N . Alors vn =
n

n
(iii) Par hypothse, un = n vn partir dun certain rang N pour une certaine suite (n )nN de limite 1, et
vn = n wn partir dun certain rang N pour une certaine suite (n )nN de limite 1. Posons n = n n
pour tout n N. Alors un = n vn = n n wn = n wn partir du rang max N, N
un wn .

et lim n = 1, donc
n

Thorme (Dans les petits o, on peut remplacer toute suite par une suite quivalente) Soient (un )nN , (vn )nN ,
(un )nN et (vn )nN des suites.
Si un

Dmonstration

= o(vn ) et si un

Puisque un

de limite 0. Puisque un
suite

(n )nN

de limite 1. Enfin vn

du rang max N, N , N

vn , alors un

= o(vn ).

= o(vn ), un = n vn partir dun certain rang N pour une certaine suite (n )nN

n
un , alors

(n )nN de limite 1. Posons n =

un et vn

un

n
n n n

un , donc un = n un
n

vn , donc vn = n vn partir

partir dun certain rang N pour une certaine


dun certain rang N pour une certaine suite

pour tout n N. Alors un = n un = n n vn = n n n vn = n vn partir

, et de plus lim n = 0, donc un


n

= o(vn ).

c Christophe Bertault - MPSI

Exemple

Admettons momentanment que pour toute suite (un )nN de limite nulle :

sin un

= un + o(un ).

1
n n

Alors :

sin sin

1
n

= sin

1
+o
n

1
n

1
+o
n

1
n

+o

1
n

1
+o
n

1
+o
n

1
n

On aurait pu ici procder autrement. En fait, pour toute suite (un )nN de limite nulle, on a aussi :
sin sin

1
n

sin

1
n

1
,
n

et donc en effet :

sin sin

1
n

1
+o
n

+o

1
n

sin un
1
n

1
+o
n

1
.
n

un . Du coup :

Thorme (Avec le produit, linverse et les puissances, tout va bien) Soient (un )nN , (vn )nN (un )nN et (vn )nN
des suites et R.
Si un un et si vn vn , alors un vn un vn .
n

Si un
Si un

1
1

.
un n vn

vn et si un > 0 partir dun certain rang, alors un vn .

vn et si un = 0 partir dun certain rang, alors

Dmonstration Montrons seulement le rsultat sur le produit. Par hypothse, un = n un partir dun certain
rang N pour une certaine suite (n )nN de limite 1, et vn = n vn partir dun certain rang N pour une certaine
suite (n )nN de limite 1. Posons n = n n pour tout n N. Alors un vn = n un n vn = n un vn partir du

rang max N, N

Thorme

et de plus lim n = 1, donc un vn


n

un vn .

(Avec les suites extraites, tout va bien) Soient (un )nN et (vn )nN des suites.
Si : N N est strictement croissante et si un

Attention !
Somme : si un

vn , alors u(n)

v(n) .

Avec les quivalents, deux oprations sont formellement interdites.


vn et si un

vn , on na pas forcment un + un

vn + vn .

Par exemple n + 1 n et 3 n n + 1, mais 4 1.


n

Composition gauche : si un

vn , on na pas forcment f (un ) f (vn ).

Par exemple n n + ln n, mais si on compose gauche par x ex , en nen .


n

2.3

Equivalents usuels en 0

Thorme

(Equivalents usuels en 0) Soient (un )nN une suite de limite nulle et R.

1) Logarithme, exponentielle, puissances :


ln(1 + un ) un ,

i.e.

ln(1 + un ) = un + o(un ).

eun 1 un ,

i.e.

eun

(1 + un ) 1 un ,

i.e.

(1 + un )

En particulier pour = 1 :
Et pour =

1
:
2

1
1 un ,
n
1 + un

1 + un 1

un
,
2

i.e.

i.e.

= 1 + un + o(un ).

1
1 + un

1 + un

= 1 + un + o(un ).

= 1 un + o(un ).

= 1+

un
+ o(un ).
2

c Christophe Bertault - MPSI

2) Fonctions trigonomtriques circulaires :


sin un
cos un

i.e.

1,

cos un

= 1 + o(1)

tan un

i.e.

un ,

sin un

et

cos un 1
n

i.e.

un ,

= un + o(un ).

tan un

u2n
,
2

i.e.

cos un

= 1

u2n
+ o(u2n ).
2

= un + o(un ).

3) Fonctions trigonomtriques circulaires inverses :


Arcsin un
Arccos un

,
2

i.e.

Arccos un

+o(1)
2

Arctan un

i.e.

un ,

Arcsin un

et

Arccos un
i.e.

un ,

= un + o(un ).

Arctan un

un ,

i.e.

Arccos un

un +o(un ).
2

= un + o(un ).

4) Fonctions trigonomtriques hyperboliques :


sh un
ch un

i.e.

1,

ch un

Attention !

et

= 1 + o(1)

th un

i.e.

un ,

un ,

sh un

= un + o(un ).

ch un 1

i.e.

th un

u2n
,
2

i.e.

ch un

= 1+

u2n
+ o(u2n ).
2

= un + o(un ).

Lhypothse lim un = 0 nest pas l pour dcorer.


n

Ne prsentez jamais vos quivalents sous la forme dune somme de termes de tailles distinctes, car dans ce
cas, autant ne conserver que le terme le plus grand. Pour cette raison, ncrivez ni : (1 + un ) 1 + un + o(un ), ni :
(1 + un )

(1+un )
ou

(1

1 + un ,

car ces deux relations cachent une prcision o(1) et ne racontent donc rien de plus que ceci :

1, autrement dit :

n
+ un )

lim (1+un ) = 1. Le rsultat du thorme est plus prcis :

= 1 + un + o(un ),

(1+un ) 1 un
n

nous dit-on. La prcision obtenue o(un ) est bien meilleure que o(1).

Dmonstration
Mthode gnrale : On part dune fonction f dfinie au voisinage de 0 et drivable en 0. Par dfinition
f (x) f (0)
du nombre driv, on sait que
lim
= f (0). Composant avec la limite lim un = 0, on
x0
n
x0
f (un ) f (0)
f (un ) f (0)
= f (0) ou encore
= f (0) + o(1), ce qui scrit aussi
obtient
lim
n
n
un
un
f (un ) = f (0) + f (0)un + o(un ). Cette formule est notre rsultat.
n

Cette preuve nest hlas convaincante que dans le cas o un ne sannule pas partir dun certain rang. Dans
f (x) f (0)
le cas contraire, on rcrit la limite lim
= f (0) sous la forme f (x) = f (x)+f (0)x+o(x)
x0
x0
x0
notation dfinie dans un prochain chapitre puis on remplace x par un .
Pour cos et ch, une formule lordre 2 est nonce, i.e. dont la prcision nest pas seulement o(un ) mais
o(u2n ) plus fine.
un
un
Pour cos, il faut se souvenir que pour tout x R : cos(2x) = 1 2 sin2 x. Or sin

car
2 n 2
2
2
2
un
un
un
un
un
un
= 0, donc : sin2

, et enfin : sin2
=
+o
. Du coup :
lim
n 2
2 n 4
2 n 4
4
cos un = 1 2 sin2

un
2

= 12

u2n
+o
4

u2n
4

Mme chose pour la fonction ch, sachant quici, pour tout x R :

= 1

u2n
+ o(u2n ).
2

ch (2x) = 1 + 2 sh2 x.

c Christophe Bertault - MPSI

Exemple

ch en cos

2
.
2n2

Comme lim en = lim

En effet

= 0, on dispose avec le thorme prcdent des formules suivantes :


n

ch en 1

e2n
,
2

i.e.

ch en

= 1+

e2n
+ o e2n ,
2

2
1

,
1 2,
i.e. cos
= 1 2 +o
n
n
2n
n n
2n
n2
Mais devons-nous travailler avec des quivalents ou des petits o ? Parce quil est interdit dadditionner des
quivalents, nous navons pas le choix : nous devons travailler avec des petits o. En loccurrence :
et

ch en cos

Exemple

cos

e2n
+ o e2n
2
2
+o
2n2

1
n2

2
+o
2n2

1
n2

1
n2

= o

2
+o
2n2

1
n2

lim n

n1
1
e Arccos
2
n

Il sagit au premier abord dune forme indtermine 0 . Mais lim

n1
1
e Arccos
2
n

car e2n

= o

comme voulu.

Equivalents et petits o servent aussi calculer des limites :


En effet

= n

1+

1
+o
n

+ 1 + o(1).
2

1
n

+o
2
n

1
n

+ 1.
2

1
= 0. Du coup :
n

= n

1
+ +o
2n
n

1
n

Cest le rsultat annonc.

Domination

La notion de domination est utile, mais il faut bien avouer que vous lutiliserez moins que les notions de ngligeabilit et
dquivalence en MPSI. En deuxime anne, elle vous rendra de prcieux services quand vous tudierez les sries.

3.1

Dfinition

Dfinition (Domination) Soient (un )nN et (vn )nN deux suites. On dit que (un )nN est domine par (vn )nN sil existe
K R+ et un rang partir duquel |un | K|vn |. Cette relation se note un = O(vn ) et se lit un est un grand O de vn .
n

En pratique, si (vn )nN ne sannule pas partir dun certain rang N , dire que un

= O(vn ) revient dire que la suite

un
vn

n N

est borne.

Attention ! La domination nimplique ni la ngligeabilit, ni lquivalence mais nous verrons dans un instant que
le rsultat est vrai dans lautre
sens. Soit (un )nN la suite dfinie pour tout n N par : u3n = 9n, u3n+1 = n et u3n+2 = 1.
= 9n
3 |3n|
|u3n |
|u3n+1 | = n
3 |3n + 1|
et donc : |un | 3|n|.
Conclusion : un = O(n).
Alors pour tout n N :
n

|u3n+2 | = 1
3 |3n + 2|
On voit sur cet exemple que la domination nest pas un sous-concept des concepts de ngligeabilit et dquivalence, car ici il
est faux que un = o(n) et tout autant que un n. La domination nous fournit une information spcifique : un a beau tre
n

tantt un peu plus grand que n quand u3n = 9n tantt un peu plus petit quand u3n+1 = n et tantt trs
petit quand u3n+2 = 1 en tout cas un nest jamais beaucoup plus grand que n.

Thorme

(Suite borne et O(1)) Soit (un )nN une suite. Alors :

un

En rsum :

= O(1)

(un )nN est borne.

O(1) = une suite borne .

Comme lusage des petits o, lusage des grands O peut tre tendu des contextes
divers. Par exemple, la proposition

(n + 1)2 + n sin(n 3) = n2 + O(n) signifie simplement que (n + 1)2 + n sin(n 3) = n2 + xn o xn = O(n).


n

1
n2

c Christophe Bertault - MPSI

3.2

Oprations sur les grands O

Thorme

(Oprations sur les grands O) Soient (un )nN , (vn )nN , (wn )nN , (un )nN et (vn )nN des suites et R .

(i) La ngligeabilit et lquivalence impliquent la domination :


si un

= o(vn )

(resp. un

vn ), alors un

= O(vn ).

(ii) Les grands O absorbent les constantes multiplicatives :


si un

= O(vn ), alors un

= O(vn ) et un

= O(vn ).

(iii) La somme de deux grands O est un grand O :


si un

= O(vn ) et si un

= O(vn ), alors un + un

= O(vn ).

(iv) Un grand O dun grand O est un grand O :


si un

= O(vn ) et si vn

(v) Avec le produit, tout va bien :

si un
si un

= O(wn ), alors un

= O(vn ) et si un

= O(wn ).

= O(vn ), alors un un

= O(vn ), alors un wn

= O(vn vn ).

= O(vn wn ).

(vi) Avec les suites extraites, tout va bien :


si : N N est strictement croissante et si un

Dmonstration

= O(vn ), alors u(n)

Montrons seulement (i). Supposons quon ait un

= O v(n) .

= o(vn ) ou un

vn . Alors un = n vn

partir dun certain rang N pour une certaine suite (n )nN convergente (de limite 0 ou 1). Or en tant quelle est
convergente, (n )nN est majore en valeur absolue par un certain K R+ . Alors |un | K|vn | partir du rang
N , donc un = O(vn ).
n

Attention !

Il est formellement interdit de composer une relation de domination par la gauche : si


1
1
.
= O
un = O(vn ), on na pas forcment f (un ) = O f (vn ) . Par exemple n = O(n2 ), mais
n
n
n
n n
n2

Exemples et applications

Le rsultat suivant nest pas au programme mais vous allez le rencontrer tellement souvent en prpa que je vous conseille de
lavoir en tte. Et puis cest joli.
n

Thorme

(Constante dEuler) Il existe un rel [0, 1] tel que :


n

En particulier :
k=1

1
k

ln n.

= ln n + + o(1).

Le rel sappelle la constante dEuler. On a approximativement 0, 577.

Dmonstration

1
k
k=1

Posons, pour tout n N :

un =
k=1

1
ln(n + 1)
k

Commenons par observer que pour tout x ] 1, [ :


signe de la fonction x x ln(1 + x).

ln(1 + x)

et

vn =
k=1

x.

1
ln n.
k

On le dmontre en tudiant le

c Christophe Bertault - MPSI

Montrons que (un )nN est croissante et (vn )nN dcroissante. Pour tout n N :
n+1

un+1 un =
=

k=1

1
1
ln 1 +
n+1
n+1
n+1

et

vn+1 vn =

k=1

=
Enfin :

1
1
n+2
1
ln(n + 2)
+ ln(n + 1) =
ln
k
k
n
+
1
n
+1
k=1
daprs le premier point pour x =

1
.
n+1

1
1
n
1
ln(n + 1)
+ ln n =
+ ln
k
k
n
+
1
n
+
1
k=1

1
1
+ ln 1 +
n+1
n+1

vn un = ln(n + 1) ln n = ln 1 +

daprs le premier point pour x =

0
1
n

1
.
n+1

par composition.

Nous avons finalement montr que (un )nN et (vn )nN sont adjacentes. Elles convergent donc vers un rel
que nous notons et qui vrifie : u1 v1 . Or u1 = 1 ln 2 0 et v1 = 1, donc [0, 1].
n

La limite lim

k=1

1
ln n = scrit aussi :
k

k=1

1
k

= ln n + + o(1) ,

o(ln n)

soit :
k=1

1
k

ln n.

1
6
5 1+
13
n
n
.
lim
=
n
30
1
1
ln 1 +
3 sin
n
n
3

Exemple

1+

Etudiez attentivement la dmonstration suivante.

0
En effet
On a ici affaire une forme indtermine
. Pour lever lindtermination, nous devons tudier
0
la taille des zros du numrateur et du dnominateur : lun des deux est-il plus grand que lautre ? Nous allons
effectuer cette comparaison grce laide des quivalents et des petits o. Nous utiliserons librement le thorme
relatif aux oprations sur les petits o et les quivalents, sans toujours prciser quelle rgle vient dtre utilise.

1
6
1
6
1
1
1
1
3
5

1+ 1+
Par diffrence :
=

+o
1+
= 1+
+o

n
n n 3n
5n
n
n n
3n
n

6
6
6
1
6
1
13

1+
= 1+
+o
+o
= 1+
+o
.
=
n n
5n
n n
5n
n
n
15n
n

1
1
1

ln 1 +
=
+o

1 3
1
1
1
2
1
n n n
n
=
+o
3 sin
= +o
.
Par diffrence :
ln 1 +
3
1
1
n n
n

n
n
n
n
n
n

=
+o
3 sin

n n n
n
Remarquez bien que, parce quon souhaitait faire des additions, on na pas eu recours aux quivalents mais aux
petits o. En revanche, prsent, on souhaite diviser les deux rsultats partiels obtenus ci-dessus. Comme il est
pratique de diviser avec des quivalents (et non avec les petits o), on abandonne les petits o.

1
6
1
6
13
1
13

3 1+ 5 1+
=
+o

donc 3 1 + 5 1 +
n
n n 15n
n
n
n n 15n
1
2
1
1
1
2
1

ln 1 +
3 sin
= +o
donc ln 1 +
3 sin

n
n n n
n
n
n n n
1
6
5 1+
n
n
1
1
ln 1 +
3 sin
n
n
3

donc

Exemple

1+

ln(n + 1)
ln n

n
n+1
En effet

1
n

1 1
+o
n n

1
ln n
+ 2 +o
n2
n

1
6
5 1+
13
n
n
lim
.
=
n
30
1
1
ln 1 +
3 sin
n
n
3

13
,
30

et donc

1+

ln n
.
n2

ln(n + 1)
ln n
ln(n + 1) ln n

=
+ ln n
n
n+1
n

13
15n
2

1
1

n
n+1

1
ln n
1 +o
n2
n

1
n2

car

10

ln n
n3

1
1
ln 1 +
n
n
1
n

= o

1
1
ln n
= ln 1 +
n(n + 1)
n
n

1
+o
n2

1
n2

1
n2

ln n
ln n
3 +o
n2
n

ln n

n2

ln n
n3

1
1+

1
n

c Christophe Bertault - MPSI

A ce stade, nous avons obtenu un rsultat meilleur que celui que nous cherchions. En effet, nous voulions montrer
ln(n + 1)
ln(n + 1)
ln n
ln n
ln n
ln n
ln n
. Mais nous avons

, i.e. que

=
+o
que
n
n + 1 n n2
n
n + 1 n n2
n2
ln(n + 1)
ln n
ln n
1
1
russi obtenir un dveloppement asymptotique plus prcis :

=
+ 2 +o
. Ce
n
n + 1 n n2
n
n2
ln n
1
. Observons bien la forme du rsultat obtenu :
dveloppement est plus prcis car 2 = o
n n
n2
ln n
ln(n + 1)

n
n+1

ln n
n2

1
+o
n2

1
n2

Lquivalent
Le reste, ngligeable
devant lquivalent

Lquivalent apparat dans un tel dveloppement comme terme dominant on devrait en fait parler dun
quivalent, mais on a privilgi le plus simple possible. Lquivalent est, de par sa taille, ce quon voit en
premier. Tout le reste est bien l, mais ngligeable. Cest un peu comme quand vous pntrez dans une pice :
vous voyez dabord que vous entrez dans une cuisine. Les dtails la couleur des rideaux, la poussire sur les
meubles vous les voyez dans un second temps.

11