Cours - Comparaison Des Suites

c Christophe Bertault - MPSI
Comparaison des suites

Grce la notion de limite, nous avons pu distinguer le comportement asymptotique des suites dune faon assez satisfaisante :
selon la valeur de leur limite quand elles en ont une, les suites peuvent tre ranges dans des tiroirs diffrents.
Pourtant nous navons pas t assez loin : car par exemple, nous avons mis les suites (n2 )nN et (2n )nN dans le mme tiroir
. Or ces suites ont des comportements trs distincts : intuitivement linfini de 2n est bien plus grand que linfini de n2 . On
pourrait donner des exemples analogues en cas de limite nulle.
Comment valuer la taille dun infini ou dun zro ? Comment comparer deux infinis ou deux zros ? Cest ces quelques
questions que nous allons rpondre prsent.
1
1.1
Ngligeabilit
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 un est un petit o de vn .
n
Si (vn )nN ne sannule pas partir dun certain rang, dire que un
= o(vn ) revient dire que lim
un
= 0.
vn
En pratique Dans les exercices, on travaillera presque toujours avec des suites qui ne sannulent pas. Cest donc
un
= 0 que nous utiliserons.
la dfinition particulire lim
n vn
Explication
Puisque lim n = 0, lgalit un = n vn partir dun certain rang signifie que un est petit par rapport
n
vn , de plus en plus petit mesure que n grandit. Do la terminologie : (un )nN est ngligeable devant (vn )nN .
Cette notion de ngligeabilit est surtout intressante 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 !
un
= o(0)
n3
n = o(n ) car lim 4 = 0.
n
n n
3
1
n2

= o
1
n
car lim
1
n2 = 0.
1
n
un = 0 partir dun certain rang.
Or on ne travaille jamais avec la suite nulle quel intrt ? Cest pourquoi vous ne rencontrerez certainement jamais lexpression
un = o(0) en mathmatiques. Banissez-la de vos copies !
n
1.2
Oprations sur les petits o
Thorme
(Oprations sur la ngligeabilit) Soient (un )nN , (vn )nN , (wn )nN , (u0n )nN et (vn0 )nN des suites et R.
(i) La multiplication par un rel non nul ne compte pas :

si un
= o(vn ) et si 6= 0, alors un
= o(vn ) et un
= o(vn ).
(ii) La somme de deux suites ngligeables devant une mme suite est ngligeable :
si un
= o(vn ) et si u0n
= o(vn ), alors un + u0n
= o(vn ).
(iii) La relation tre ngligeable est transitive :

si un
= o(vn ) et si vn
= o(wn ), alors un
= o(wn ).

(iv) Avec le produit, tout va bien :
si un
si un
= o(vn ) et si u0n
= o(vn ), alors un wn
= o(vn vn0 ).
= o(vn wn ).
(v) Si : N N est strictement croissante et si un
$ $ $ Attention !
= o(vn0 ), alors un u0n
= o(vn ), alors u(n)
= o v(n) .
Avec les petits o, deux oprations sont formellement interdites.
Somme des deux cts : si un
= o(vn ) et si u0n
= o(vn0 ), on na pas forcment un + u0n
= o(vn + vn0 ).
Par exemple, on a n 1 = o(n ) et 1 = o(1 n ), mais pourtant n = o(1).

n
Composition : si un
= o(vn ), on na pas forcment f (un ) = o f (vn ) .
Par exemple, on a n = o(n2 ), mais pourtant, si on compose gauche par x 7

n
1 1
,
x n
= o
1
.
n2
Dmonstration
(i) Montrons que un
o(vn ). Par hypothse, il existe une suite (n )nN de limite nulle et un rang N
n
n
partir duquel un = n vn . Alors un =
(vn ) partir du rang N et lim
= 0. Do le rsultat.
n
Montrons que un
o(vn ). Reprenons les notations prcdentes. On a un = (n )vn partir du rang
N et lim n = 0. Do le rsultat.
n
(ii) Par hypothse, il existe une suite (n )nN de limite nulle et un rang N partir duquel un = n vn , ainsi
0
0
0
0
0
quune suite (0n )nN de
n limite
o nulle et un rang N partir duquel un = n vn . Alors un + un = (n + n )vn
partir du rang max N, N 0
et lim (n + 0n ) = 0. Do le rsultat.
n
(iii) Par hypothse, il existe une suite (n )nN de limite nulle et un rang N partir duquel un = n vn , ainsi
0
0
0
0
quune suite (
n n )nNode limite nulle et un rang N partir duquel vn = n wn . Alors un = (n n )wn partir
du rang max N, N 0
et lim n 0n = 0. Do le rsultat.
n
(iv) et (v) Dbrouillez-vous. Pour (v), il faut utiliser le thorme sur les limites de suites extraites.
Nous avons jusquici introduit 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 xn = o(wn ) ;
n
bref : un et vn ne diffrent que dun petit o de wn .

Explication
Partons de laffirmation :
1
n+1
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
1
5
de sens que si lon peut mesurer lerreur commise. Ici il nous est dit que
prs. Le
2 + 3 un o
2
n
+
1
n
n
n
n

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
n3
5
1
, la quantit 3 est inutile dans la relation
2
n
n
n

1
1
1
1
5
1
1
1
1
;
nous
pouvons
donc
lui
couper
la
tte
et
affirmer
que
.
=
2 + 3 +o
=
+
o
n + 1 n n n
n
n2
n + 1 n n n2
n2
Cette nouvelle proposition nest ni plus ni moins prcise que la prcdente, mais elle est plus lisible.
Le mme phnomne se produit avec les petits o. Ainsi, puisque
= o
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 :
En particulier :
lim un = 0
En pratique
lim un = `
= o(1).
un
un
= ` + o(1).
Il est trs important davoir en tte le fait quun o(1) nest rien dautre quune suite de limite nulle.
Dmonstration
lim un = `
1.3
lim
un `
=0
1
un ` = o(1)
n
un
= ` + o(1).
(Exemples fondamentaux de petits o)
Soient , R tels que < . Alors n
= o(n ).
Soit a R. Alors an
(ii) Soient a, b R tels que 0 < a < b. Alors an
(iii) Soient , R avec > 0. Alors ln n

(v)
Exemples fondamentaux
Thorme
(i)
= o(n ).
(iv)
Soient a, R avec a > 1. Alors n
= o(bn ).
= o(an ).
= o(n!).
Explication Ce thorme explique, dans la langue des petits o, que la factorielle est plus infinie que les exponentielles,
que les exponentielles le sont plus que les puissances, qui le sont elles-mmes plus que les puissances de logarithmes.
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

n
a
a
(ii) Puisque 0 < a < b, alors b 6= 0 et < 1, donc lim
= 0, et donc an = o(bn ).
n b
n
b
lim n = 0, i.e. lim
(iii) Petit exercice. . .

(iv) et (v) Dj vu : ce sont respectivement la comparaison exponentielles/puissances et la comparaison exponentielles/factorielle.
Exemple
2.1
Nous avons dj montr que lim
n!
= 0. Par consquent n! = o(nn ).
n
nn
Equivalence
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
Si (vn )nN ne sannule pas partir dun certain rang, dire que un
vn revient dire que lim
un
= 1.
vn

En pratique Dans les exercices, on travaillera presque toujours avec des suites qui ne sannulent pas. Cest donc
un
= 1 que nous utiliserons.
la dfinition particulire lim
n vn
Explication
Puisque lim n = 1, lgalit un = n vn partir dun certain rang signifie que un est presque gal
n
vn , de plus en plus proche mesure que n grandit. Do la terminologie : (un )nN est quivalente (vn )nN .
Cette notion dquivalence est surtout intressante quand on veut comparer deux infinis ou deux zros : on peut ainsi dire que
deux infinis ont la mme taille, i.e. quils ont le mme ordre de grandeur, etc.
Exemple
n2 + n + 5
= 1.
n + n + 5 n car lim
n
n
n2
2
1
1
+ 2
n
n
$ $ $ Attention !
un
1
1
+ 2
1
n
n
= 1.
car lim
1
n
n
n
un 0 en mathmatiques. Banissez-la de vos copies !
n
Thorme
Soient (un )nN et (vn )nN deux suites.
Dmonstration
un
Par dfinition, dire que 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
un
= 1 et lim (un vn ) = 0 ne sont en aucun cas quivalentes ;
n
vn
cest mme pire : aucune de ces deux propositions nimplique lautre. Le thorme prcdent nous explique pourquoi : dire que
lim (un vn ) = 0, cest dire que un vn = o(1), et non pas un vn = o(vn ).
$ $ $ Attention !
Les propositions lim
Par exemple n + 1 n, mais pourtant (n + 1) n 0 ; inversement lim

n
2.2
1
1
2
n
n
= 0, mais pourtant
1
n
Oprations sur les quivalents
Thorme
(Oprations sur les quivalents) Soient (un )nN , (vn )nN , (wn )nN , (u0n )nN et (vn0 )nN des suites.
(i) La relation tre quivalentes est rflexive :
un
(ii) La relation tre quivalentes est symtrique :
un .
si un
vn , alors vn
un .
(iii) La relation tre quivalentes est transitive :

si un
vn et si vn
wn , alors un
wn .
(iv) Dans les petits o, on peut remplacer toute suite par une suite quivalente :
si un
= o(vn ) et si u0n
un et vn0
vn , alors u0n
= o(vn0 ).
(v) Deux suites quivalentes ont le mme signe partir dun certain rang :
si un
vn et si un > 0 partir dun certain rang, alors vn > 0 partir dun certain rang.
(vi) Avec le produit, tout va bien :

si un
u0n et si vn
vn0 , alors un vn
u0n vn0 .
(vii) Avec linverse, tout va bien :

si un
vn et si un 6= 0 partir dun certain rang, alors
1
un
1
.
vn
1
.
n2

(viii) Avec les puissances, tout va bien :

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

n
(ix) Si : N N est strictement croissante et si un

$ $ $ Attention !
Somme : si un
vn , alors u(n)
vn pour tout R.
v(n) .
Avec les quivalents deux oprations sont formellement interdites.

vn et si u0n
vn0 , on na pas forcment un + u0n
Par exemple, n + 1 n et 3 n n + 1, mais 4 1.

n
Composition : si un
vn + vn0 .
vn , on na pas forcment f (un ) f (vn ).
Par exemple, n n + ln n, mais si on compose gauche par x 7 ex , en

n
nen .
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, il existe une suite (n )nN de limite 1 et un rang N partir duquel un = n vn . Comme
1
lim n = 1, il existe un rang N 0 partir duquel n > 0. Posons alors n0 = 1 pour tout n < N et n0 =
n
n
n
o
un
pour tout n > N . Alors vn =
= n0 un partir du rang max N, N 0 et de plus lim n0 = 1, donc
n
n
vn un .
(iii) Par hypothse, il existe une suite (n )nN de limite 1 et un rang N partir duquel un = n vn ; de mme il
existe une suite (n0 )nN de limite 1 et un rang N 0 partir duquel vn =nn0 wn .oPosons alors n00 = n n0 pour
tout n N. Alors un = n vn = n n0 wn = n00 wn partir du rang max N, N 0
Finalement un
et lim n00 = 1 par produit.

n
wn .
(iv) Puisque un
= o(vn ), il existe une suite (n )nN de limite 0 et un rang N partir duquel un = n vn .

n
Puisque un u0n , alors u0n un via (ii), donc il existe une suite (n0 )nN de limite 1 et un rang N 0
n
n
partir duquel u0n = n0 un . Enfin vn vn0 , donc il existe une suite (n00 )nN de limite 1 et un rang N 00 partir
n
duquel vn = n00 vn0 . Posons
00n =on n0 n00 pour tout n N. Alors u0n = n0 un = n0 n vn = n0 n n00 vn0 = 00n vn0
n
partir du rang max N, N 0 , N 00 , et de plus lim 00n = 0, donc u0n = o(vn0 ).
n
n
(v) Par hypothse, il existe une suite (n )nN et un rang N partir duquel un = n vn . Comme lim n = 1,
n n o
n > 0 partir dun certain rang N 0 . Alors un et vn ont le mme signe partir du rang max N, N 0 , do
le rsultat.
(vi) Par hypothse, il existe une suite (n )nN de limite 1 et un rang N partir duquel un = n u0n ; de mme il
existe une suite (n0 )nN et un rang N 0 partir duquel
n0 vn0 . Posons n00 = n n0 pour tout n N. Alors
n vn = o
un vn = n u0n n0 vn0 = n00 u0n vn0 partir du rang max N, N 0
et de plus lim n00 = 1, donc un vn

n
(vii) (ix) Au travail !
Thorme
u0n vn0 .
(Limites et quivalents) 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 et lim un = lim vn , soit aucune de ces
deux suites ne possde de limite.
(ii) Si lim un = ` o ` est un rel non nul, alors un

n
`.
$ $ $ Attention !
La rciproque de lassertion (i) est fausse : on peut avoir lim un = lim vn sans avoir un
n
vn . Ne pas comprendre ceci,
cest ne rien comprendre ce chapitre, car justement les quivalents permettent de distinguer des suites qui ont pourtant
la mme limite.
1
1
1
1
= lim 2 = 0 mais
.
Par exemple, lim 2n = lim n = mais 2n n ; de mme lim
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 un considrer un = 2n .
n

Dmonstration
(i) Par hypothse, il existe une suite (n )nN de limite 1 et un rang N partir duquel un = n vn . 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.
un
= 1, et donc on a bien un
`
(ii) Si lim un = ` R , alors comme ` 6= 0, lim

n
2.3
`.
Exemples fondamentaux
Thorme
(Exemples fondamentaux dquivalents) 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 )
i.e.
sin un
= 1 + un + o(un ).
= 1 + un + o(un ).
2) Fonctions trigonomtriques circulaires :

sin un
cos un
i.e.
1,
cos un
un ,
et
= 1 + o(1)
tan un
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
i.e.
un ,
Arccos un
un +o(un ).
2
= un + o(un ).
4) Fonctions trigonomtriques hyperboliques :

sh un
ch un
1,
i.e.
ch un
= 1 + o(1)
th un
i.e.
un ,
un ,
et
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 ).
$ $ $ Attention !
Lhypothse lim un = 0 nest pas l pour dcorer.

n
Ne mlangez jamais les petits o et les quivalents ! Par exemple,

Soucieux de lviter, certains dentre vous criront du coup
1 + un
crit
1.
(1 + un )
En dautres termes, crire

= 1 + o(1)
(1 + un )
(1 + un )
(1 + un )
1 + un
1 + un + o(un ) est une erreur classique.
1 + un .
L, cest correct mais idiot, car
revient crire
(prcision o(1)) alors quon voulait crire
(1 + un )
(1 + un )
1.
= 1 + un + o(un )
On a donc
(prcision
o(un ) bien meilleure).

Bref : apprenez bien et distinguez bien les formules du thorme prcdent, autant leur version quivalents que leur
version petits o .

Dmonstration
Sauf cas particulier, la technique gnrale est la suivante. On part dune fonction f dfinie au voisinage de
0 et drivable en 0 ici x 7 ln(1 + x), x 7 ex , x 7 (1 + x) , sin, cos, tan, Arcsin, Arccos, Arctan, sh,
f (x) f (0)
ch ou th. Par dfinition du nombre driv, on sait quon a
lim
= f 0 (0). Composant avec la
x0
x0
f (un ) f (0)
f (un ) f (0)
limite lim un = 0, on obtient
lim
= f 0 (0) ou encore
= f 0 (0) + o(1),
n
n
n
un
un
ce qui scrit aussi f (un ) = f (0) + f 0 (0)un + o(un ). Cette formule est notre rsultat.
n
En ralit, cette technique nest pleinement convaincante que dans le cas o un ne sannule pas partir dun
f (x) f (0)
certain rang. Si ce nest pas le cas, on commence par rcrire la limite
lim
= f 0 (0) sous la
x0
x0
forme f (x) = f (x) + f 0 (0)x + o(x) nous dfinirons proprement cette notation ultrieurement puis
x0
on remplace x par un .
Pour cos et ch, une formule lordre 2 est nonce, i.e. dont la prcision nest pas seulement en o(un ),
mais carrment en o(u2n ), ce qui est plus fin.
2
Pour cos, il faut se souvenir que : x R, cos(2x) = 1 2 sin
2 x. 2
u2
un
u
un
un
= 1 n + o(u2n ).
, cela donne : cos un = 1 2 sin2
= 12 n +o
Pour x =
n
n
2
2
4
4
2
un
un
un
Pourquoi ? On a sin
car lim
= 0 via le point prcdent relatif au sinus. Passant au carr
n 2
2 n 2
2
u2n
u2n
un
un
2 un
, i.e. sin2
=
+o
on obtient : sin
comme annonc.
2 n 4
2 n 4
4
On raisonne de la mme faon avec ch, aprs avoir montr la formule :
1
En pratique Pour = 1 et = dans le thorme prcdent, on obtient les formules :
2
un
1 + un = 1 +
+ o(un ). Il est utile de connatre bien ces deux cas particuliers.
et
n
2
Exemple
ch en cos
1
1 + un
= 1un +o(un )
2
.
2n2
Comme lim en = lim
En effet
ch (2x) = 1 + 2sh2 x.
x R,
= 0, on dispose via le thorme prcdent des formules suivantes :

n
e2n
,
2
ch en 1
i.e.
ch en
= 1+

e2n
+ o e2n ,
2

2
,
1 2,
i.e. cos
= 1 2 +o
n
n
2n
n n
2n
n2
Mais devons-nous travailler avec les versions quivalents ou les versions petits o de ces formules ? Parce
quil est interdit dadditionner des quivalents, nous navons pas le choix : nous devons travailler avec des
petits o. Du coup :
et
cos
ch en cos
= o

e2n
2
+ o e2n
2 +o
2
2n
1
n2
2
+o
2n2
1
n2
2
+o
2n2
1
n2

1
n2

car e2n
= o
1
n2
comme voulu.
Les concepts dvelopps dans ce chapitre sont trs utiles pour calculer des limites.

Exemple
lim n
En effet
coup :

1
n1
e Arccos
2
n
+ 1.
2
La limite cherche se prsente initialement comme une forme indtermine. Mais lim
1
n1
e Arccos
2
n
"

#
1
1
1
= n
1+ +o
+o
n
2
n
n
2
n
n
=
+ 1 + o(1).
Cest bien notre rsultat.
n 2
= n
1
= 0. Du
n
+ +o
2n
n

1
n

Domination
La notion de domination introduite ci-aprs est trs utile en mathmatiques, 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 la notion de srie.
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 | 6 K|vn |.
Cette relation se note un = O(vn ) et se lit un est un grand O de vn .
n
Si (vn )nN ne sannule pas partir dun certain rang N , dire que un
= O(vn ) revient dire que la suite
un
vn
est borne.
n>N
$ $ $ 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 par :
Alors pour tout n N :
n N,
8
< |u3n |
|u3n+1 |
:
|u3n+2 |
et
u3n+1 = n
6 3 |3n|
6 3 |3n + 1|
6 3 |3n + 2|
et donc :
u3n = 9n
= 9n
=n
=1
et
u3n+2 = 1.
Conclusion :
|un | 6 3|n|.
un
= O(n).
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.
$ $ $ Attention !
un
= O(0)
un = O(0) en mathmatiques. Banissez-la de vos copies !
n
Le rsultat suivant est un cas particulier de la dfinition de la domination, trs important.

Thorme
(Suite borne et O(1)) Soit (un )nN une suite. Alors :
un
= O(1)
(un )nN est 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
3.2
Oprations sur les grands O
Thorme
(Oprations sur la domination) Soient (un )nN , (vn )nN , (wn )nN , (u0n )nN et (vn0 )nN des suites et R.
(i) La ngligeabilit (resp. lquivalence) implique la domination :

si un
= o(vn )
(resp. un
vn ), alors un
= O(vn ).
(ii) La multiplication par un rel non nul ne compte pas :

si un
= O(vn ) et si 6= 0, alors un
= O(vn ) et un
= O(vn ).
(iii) La somme de deux suites domines par une mme suite est domine :
si un
= O(vn ) et si u0n
= O(vn ), alors un + u0n
= O(vn ).

(iv) La relation tre domine est transitive :

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 u0n
= O(vn0 ), alors un u0n
= O(vn ), alors un wn
= O(vn vn0 ).
= O(vn wn ).
(vi) Si : N N est strictement croissante et si un
= O(wn ).
= O(vn ), alors u(n)
= O v(n) .
Dmonstration
(i) Supposons quon ait un
= o(vn ) ou un
vn . Dans les deux cas il existe une suite (n )nN convergente
(de limite 0 ou 1) et un rang N partir duquel un = n vn . Or en tant quelle est convergente, (n )nN
est majore en valeur absolue par un certain K R+ . Alors |un | 6 K|vn | partir du rang N , donc
un = O(vn ).
n
(ii) (vi) Dbrouillez-vous.

$ $ $ Attention !
Avec les grands O deux oprations sont formellement interdites.
Somme des deux cts : si un
= O(vn ) et si u0n
n
2
= O(vn0 ), on na pas forcment un + u0n
n
2
= O(vn + vn0 ).
Par exemple, on a n 1 = O(n ) et 1 = O(1 n ), mais pourtant n = O(1).

n
Composition : si un
= O(vn ), on na pas forcment f (un ) = O f (vn ) .
Par exemple, on a n = O(n2 ), mais pourtant, si on compose gauche par x 7
1 1
,
x n
= O
1
.
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.
Thorme
n
X
1
(Constante dEuler) Il existe un rel [0, 1] tel que :
En particulier :
n
X
1
k=1
ln n.
Dmonstration
k=1
= ln n + + o(1).
Le rel sappelle la constante dEuler. On a approximativement 0, 577.
Posons, pour tout n N :
un =
n
X
1
k=1
ln(n + 1)
et
vn =
n
X
1
k=1
ln n.
Nous aurons besoin de lingalit suivante : x ] 1, [, ln(1 + x) 6 x. On la dmontre en tudiant

le signe de la fonction x 7 x ln(1 + x) drivabilit, calcul de la drive, signe de la drive, variations
et tout le toutim.
Montrons que (un )nN est croissante. Pour tout n N :
un+1 un =
n+1
X
k=1
X1
1
1
n+2
ln(n + 2)
+ ln(n + 1) =
ln
k
k
n
+
1
n
+1
k=1
n
1
1
ln 1 +
=
n+1
n+1
>0
via le premier point pour x =
1
.
n+1
Montrons que (vn )nN est dcroissante. Pour tout n N :

vn+1 vn =
n+1
X
k=1
X1
1
1
n
ln(n + 1)
+ ln n =
+ ln
k
k
n
+
1
n
+
1
k=1
n
1
1
+ ln 1 +
=
n+1
n+1
60
via le premier point pour x =
1
.
n+1

Enfin :
1
n
vn un = ln(n + 1) ln n = ln 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 6 6 v1 . Or u1 = 1 ln 2 > 0 et v1 = 1, donc [0, 1].
Nous avons montr que :
Or puisque
" n
X1
lim
k=1
= o(ln n), on a aussi
n
X
1
ln n = . Cela revient dire que :
n
X
1
k=1
= ln n + o(ln n), ou encore
k=1
n
X
1
k=1
= ln n + + o(1).
ln n comme voulu.
1
6
1+ 5 1+
13
n
n

.
=
lim
n
30
1
1
ln 1 +
3 sin
n
n
3
Exemple
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.
r
1
1+
n
r
6
5
1+
n
3
1
n
1+
r
5
1+
6
n
>
>
;
1
6
+o
3n
5n
Par diffrence :
>
>
;
Par diffrence :
9
>
>
=
1
1
+o
n n
n

3
1
1
3 sin
=
+o
n n n
n
ln 1 +
9
>
>
=

1
1
= 1+
+o
n
3n
n

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

1
n
13
+o
15n
2
= +o
n
n

1
n

1
n

1
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.
8 r
r
r
r

13
13
1
1
6
1
6
>
3
5
3
>
<
=
+o

1+ 1+
donc
1+ 5 1+
n
n
n
n
15n
n
n
n
15n

1
1
1
1
1
2
2
>
>
: ln 1 +
3 sin
donc ln 1 +
3 sin
= +o

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

1 1
+o
n n
1
ln n
+ 2 +o
n2
n
13
15n
2
13
,
30
1
6
5 1+
13
n
n

lim
.
=
n
30
1
1
ln 1 +
3 sin
n
n
3
et donc
1+
ln n
.
n2
En effet
1
6
5 1+
n
n

1
1
ln 1 +
3 sin
n
n
3
donc
1
n
1
1
n
n+1
+

1
n2
ln n
1
1 +o
n2
n
ln n
car 3
n
1
1
ln 1 +
n
n

1
n
= o
1
n2
ln n
1
1
= ln 1 +
n(n + 1)
n
n
1
+o
n2
1
n2
ln n
ln n
3 +o
n2
n
+

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

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

ln n
1
= o
.
dveloppement est plus prcis car
n2 n
n2
10
1
n

Exemple
Soit (un )nN la suite dfinie par u0 = 0 et par :
n N, un+1 =
=
n + O(1).
En particulier mais cest moins prcis un
un + n + 1. Alors
un
n+
1
+ o(1).
2
En effet
Par dfinition, (un )nN est positive.
n 6 un 6 n + 1.
1) Initialisation : On a bien 0 = 0 6 u0 = 0 6 1 = 0 + 1.
2) Hrdit : Soit n N . Faisons lhypothse que n 1 6 un1 6 n 1 + 1. Ajoutons n.
Montrons que :
n6
n N,
n 1+n 6 un1 +n 6

2
n 1+n+1 = (n1)+ n 1+1+1 6 (n1)+ n 1+ n 1+1 6

n 1+1 .
Et un petit coup de racine carre :

Montrons que :
un
n6
un1 + n = un 6
n1+1 6
n + 1.
Cest fini.
n.
un
1
n 6 un 6 n + 1, donc : 1 6 6 1 + .
Nous venons de montrer que pour tout n N :
n
n
un
n comme voulu.
en dduit que lim = 1 via le thorme des gendarmes, i.e. que un
n
n
n
On
1
+ o(1).
2
r

un1
Partons de lgalit un n = un1 + n n = n
1+
1 vraie pour tout n N .
n
n1
n1
un1
un1
n et lim
=
0 car un
= 0.
Remarquons ensuite que :
n
n
n
n
n
n
n
un1
un1
1
n1
n
.
1+
Du coup :
1
n 2n n
n 2 n
n
2n n 2n r

un1
1
1
1+
n
1
.
Il ne nous reste plus qu multiplier par n : un n = n
n
n
2 n n 2
1
Ce rsultat signifie exactement que un =
n + + o(1) comme voulu.
n
2
Montrons que :
un
n+
Explication
Avant de clore ce chapitre, ajoutons une dernire couche dintuition

la notion dquivalent. Dans les
ln n
ln n
1
1
ln(n + 1)
1
et que un =
n + + o(1).
=
+
+
o
n
n
n + 1 n n2
n2
n2
2
Ces deux exemples prsentent une analogie structurelle que lon peut prsenter ainsi :
deux derniers exemples, nous avons montr que
ln(n + 1)
ln n
n
n+1
ln n
n2
|{z}
Lquivalent
1
+o
n2
{z
1
n2
et
}
Le reste, ngligeable
devant lquivalent
un
|{z}
Lquivalent
1
+ o(1).
|2 {z }
Le reste, ngligeable
devant lquivalent
Lquivalent apparat ainsi comme terme dominant dans les dveloppements asymptotiques on devrait en fait parler dun
quivalent. Il 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 ; vous ne prtez attention la couleur des
rideaux quensuite.
11

Cours - Comparaison Des Suites

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Cours - Comparaison Des Suites

Transféré par

Droits d'auteur :

Formats disponibles

c Christophe Bertault - MPSI

Comparaison des suites

= o(vn ) revient dire que lim

un = 0 partir dun certain rang.

Oprations sur les petits o

(i) La multiplication par un rel non nul ne compte pas :

= o(vn ), alors un + u0n

(iii) La relation tre ngligeable est transitive :

c Christophe Bertault - MPSI

(iv) Avec le produit, tout va bien :

(v) Si : N N est strictement croissante et si un

= o(vn0 ), alors un u0n

= o(vn ), alors u(n)

Avec les petits o, deux oprations sont formellement interdites.

Somme des deux cts : si un

= o(vn0 ), on na pas forcment un + u0n

Par exemple, on a n 1 = o(n ) et 1 = o(1 n ), mais pourtant n = o(1).

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

Par exemple, on a n = o(n2 ), mais pourtant, si on compose gauche par x 7

o(vn ). Reprenons les notations prcdentes. On a un = (n )vn partir du rang

bref : un et vn ne diffrent que dun petit o de wn .

Peu importe ici pourquoi cette affirmation est vraie.

c Christophe Bertault - MPSI

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

(Exemples fondamentaux de petits o)

Soient , R tels que < . Alors n

(ii) Soient a, b R tels que 0 < a < b. Alors an

(iii) Soient , R avec > 0. Alors ln n

Soient a, R avec a > 1. Alors n

(iii) Petit exercice. . .

Nous avons dj montr que lim

Dfinition (Equivalence) Soient (un )nN et (vn )nN deux suites.

vn revient dire que lim

c Christophe Bertault - MPSI

un = 0 partir dun certain rang.

Soient (un )nN et (vn )nN deux suites.

Par dfinition, dire que un

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

Les propositions lim

Par exemple n + 1 n, mais pourtant (n + 1) n 0 ; inversement lim

Oprations sur les quivalents

(i) La relation tre quivalentes est rflexive :

(ii) La relation tre quivalentes est symtrique :

(iii) La relation tre quivalentes est transitive :

(vi) Avec le produit, tout va bien :

(vii) Avec linverse, tout va bien :

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

c Christophe Bertault - MPSI

(viii) Avec les puissances, tout va bien :

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

(ix) Si : N N est strictement croissante et si un

Avec les quivalents deux oprations sont formellement interdites.

vn0 , on na pas forcment un + u0n

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

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

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

et lim n00 = 1 par produit.

= o(vn ), il existe une suite (n )nN de limite 0 et un rang N partir duquel un = n vn .

et de plus lim n00 = 1, donc un vn

(vii) (ix) Au travail !

(Limites et quivalents) Soient (un )nN et (vn )nN deux suites.

deux suites ne possde de limite.

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

vn . Ne pas comprendre ceci,