Cours - Comparaison Des Suites

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 .
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
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
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
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 ).
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
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.
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
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
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
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

Cours - Comparaison Des Suites

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Cours - Comparaison Des Suites

Hochgeladen von

Copyright:

Verfügbare Formate

c Christophe Bertault - MPSI

Comparaison des suites

Tiroir (1)n Tiroir n sin n

= o(vn ) revient dire que lim

Vous ne rencontrerez jamais lexpression un

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

un = 0 partir dun certain rang.

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

c Christophe Bertault - MPSI

Peu importe ici pourquoi cette affirmation est vraie.

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

Cas particulier fondamental :

o(1) = une suite de limite nulle .

Oprations sur les petits o

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

Si lon admet lgalit :

Admettons momentanment les galits :

c Christophe Bertault - MPSI

La relation tre ngligeable est transitive :

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

Admettons momentanment les galits :

Admettons momentanment lgalit :

= o(vn ), alors u(n)

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

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

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

(iii) Si > 0, alors

Version petit o du thorme sur les croissances compares !

c Christophe Bertault - MPSI

vn revient dire que lim

Vous ne rencontrerez jamais lexpression un

0 en mathmatiques. Banissez-la donc de vos

un = 0 partir dun certain rang.

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

ces deux suites ne possde de limite.

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

c Christophe Bertault - MPSI

Par dfinition, dire que un

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

Oprations sur les quivalents

(i) La relation tre quivalente est rflexive :

(ii) La relation tre quivalente est symtrique :

(iii) La relation tre quivalente est transitive :

(n )nN de limite 1. Posons n =

partir dun certain rang N pour une certaine

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

c Christophe Bertault - MPSI

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

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

et de plus lim n = 1, donc un vn

Avec les quivalents, deux oprations sont formellement interdites.

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 ex , en nen .

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

1) Logarithme, exponentielle, puissances :

c Christophe Bertault - MPSI

2) Fonctions trigonomtriques circulaires :

3) Fonctions trigonomtriques circulaires inverses :

4) Fonctions trigonomtriques hyperboliques :

Lhypothse lim un = 0 nest pas l pour dcorer.

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

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