Notes de cours:

Comparaison asymptotique locale des fonctions et des suites

Par Abdellah Lizdihar. lizdihar.cpge@gmail.com

Date de la dernière modification:

21 mars 2024

Table des matières

1 Différentes caractéristiques des relations de comparaison asymptotique 2

2 Zéros et signes des fonctions en comparaison asymptotique 3

3 Des comparaisons asymptotiques usuelles 4

4 Quelques propriétés des relations de comparaison asymptotique 4

4.1 Réflexivité, antisymétrie, symétrie et transitivité . . . . . . . . . . . . . . . . . . . . . . . . . . 4
4.2 Invariance des relations de comparaison asymptotique . . . . . . . . . . . . . . . . . . . . . . . 5
4.3 Linéarité à gauche . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
4.4 Règle des gendarmes pour la relation d’équivalence . . . . . . . . . . . . . . . . . . . . . . . . . 6
4.5 Compatibilité avec les opérations usuelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.6 Composition à gauche avec les fonctions valeur absolue et puissances . . . . . . . . . . . . . . . 7
4.7 Composition à droite(ou changement de variable) . . . . . . . . . . . . . . . . . . . . . . . . . . 8

5 Application aux calculs des limites 8

6 Relations de comparaison asymptotique pour les suites numériques 9

1
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

Dans tout le chapitre :

— R est la droite achevée R ∪ {−∞, +∞} supposée munie de son ordre usuel ⩽ étendu de celui de R.
— Les fonctions considérées sont à valeurs dans K = R ou C et définies sur un intervalle non trivial I ou
réunion d’intervalles non triviaux de R et a un point de R qui appartient à I ou à l’une de ses exrtimités.
— On rappelle qu’est ce que signifie V est un voisinage de a :
— Si a ∈ R : V contient un intervalle ouvert contenant a(donc contient forcément un intervalle de la
forme ]a − α, a + α[, où α > 0).
— Si a = −∞ : V contient un intervalle de la forme ] − ∞, α[, où α ∈ R.
— Si a = +∞ : V contient un intervalle de la forme ]α, +∞[, où α ∈ R.
L’ensemble des voisinage de a peut se noter par V(a).

1 Différentes caractéristiques des relations de comparaison asymptotique

Définition 1
Soit f, g : I −→ K deux fonctions numériques et a ∈ R élément ou à l’extrimité de I.

1. On dit que f est négligeable devant g au voisinage de a(ou au point a) si :

∀ε > 0, ∃Vε ∈ V(a), ∀x ∈ I ∩ Vε : |f (x)| ⩽ ε|g(x)|. Le cas échéant, on écrit : f (x) = o (g(x)).
x→a

2. On dit que f est dominée par g au voisinage de a(ou au point a) si :

∃M ⩾ 0, ∃V ∈ V(a), ∀x ∈ I ∩ V : |f (x)| ⩽ M |g(x)|. Le cas échéant, on écrit : f (x) = O (g(x)).
x→a

3. On dit que f est équivalente à g au voisinage de a(ou au point a) si :

∀ε > 0, ∃Vε ∈ V(a), ∀x ∈ I ∩ Vε : |f (x) − g(x)| ⩽ ε|g(x)|. Le cas échéant, on écrit : f (x) ∼ g(x).
x→a

Remarque 1
x→a
Les trois comparaisons ci-desus sont relatives à I et la notation x → a c’est implicitement abréviation de x∈I .

Ainsi si par exemple I intervalle d’extrimité droite réelle et a est cette extrimité, alors la définition ci-dessus
aborde implicitement des comparaisons à gauche de a (largement ou strictement selon que a ∈ I ou non).
Dans le cas strict, on peut écrire donc f (x) = o (g(x)), f (x) = x→a
x→a
O (g(x)) et f (x) x→a
∼ g(x) plutôt que
x>a x>a x>a
f (x) = o (g(x)), f (x) = O (g(x)) et f (x) ∼ g(x). Idem pour les trois comparaisons à doite de a.
x→a x→a x→a
Dans ce qui suit, les propriétés pour les comparaisons asymptotique au voisinage d’un point a, s’appliquent
aussi de manières naturelles à gauche ou à droite des points a.

Proposition 1 (Lien entre les trois modes de comparaison asymptotiques)

Soit f, g : I −→ K deux fonctions et a ∈ R élément ou à l’extrimité de I. Alors on a :

1. f (x) = o (g(x)) =⇒ f (x) = O (g(x)). La réciproque est fausse en général.

x→a x→a

2. f (x) ∼ g(x) ⇐⇒ f (x) − g(x) = o (g(x)). Le cas échéant, on écrit aussi f (x) = g(x) + o (g(x)).
x→a x→a x→a

3. f (x) ∼ g(x) =⇒ f (x) = O (g(x)). La réciproque est fausse en général.

x→a x→a

2
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

Proposition 2 (Caractristiques des comparaisons asymptotiques à l’aide des égalités locales)

f, g : I −→ K deux fonctions numériques et a ∈ R élément ou à l’extrimité de I. Alors on a les équivalences :

 f = ξ g sur I ∩ U ;
1. f (x) = o (g(x)) ⇐⇒ ∃U ∈ V(a), ∃ξ : I −→ K :
x→a  lim ξ(x) = 0 .
x→a

 f = ξ g sur I ∩ U ;
2. f (x) = O (g(x)) ⇐⇒ ∃U ∈ V(a), ∃ξ : I −→ K :
x→a  ξ bornée sur I ∩ U .

 f = ξ g sur I ∩ U ;
3. f (x) ∼ g(x) ⇐⇒ ∃U ∈ V(a), ∃ξ : I −→ K :
x→a  lim ξ(x) = 1 .
x→a

Proposition 3 (Caractristiques des comparaisons asymptotiques à l’aide des limites)

Soit f, g : I −→ K deux fonctions numériques et a ∈ R élément ou à l’extrimité de I. On suppose de plus que g
ne s’annulle jamais au voisinage de a. C’est à dire qu’il existe un voisinage U de a tel que ∀x ∈ I ∩ U : g(x) ̸= 0.
Alors on a les équivalences :
 
f (x)
1. f (x) = o (g(x)) ⇐⇒ lim = 0.
x→a x→a g(x)
f (x)
2. f (x) = O (g(x)) ⇐⇒ ∃U ′ ∈ V(a) : bornée sur I ∩ U ′ .
x→a g(x)
 
f (x)
3. f (x) ∼ g(x) ⇐⇒ lim = 1.
x→a x→a g(x)

2 Zéros et signes des fonctions en comparaison asymptotique

Proposition 4 (Influence locale entre les zéros et les signes des fonctions en comparaison asymptotique)
f, g : I −→ K deux fonctions numériques et a ∈ R élément ou à l’extrimité de I.

1. Si f (x) = o (g(x)) ou f (x) = O (g(x)) ou f (x) = ∼ g(x), alors il existe un voisinage U de a tel que
x→a x→a x→a
pour tout point x de I ∩ U , si g s’annulle en x, alors f s’annulle aussi en x. Par conséquent, si une fonction
est négligeable ou dominée ou équivalente au point a à la fonction nulle, alors cette fonction est partout
nulle sur un voisinage de a inter I.

2. Si f (x) ∼ g(x), alors il existe un voisinage U de a tel que : ∀x ∈ I ∩ U : f (x) = 0 ⇐⇒ g(x) = 0.

x→a

3. Si f et g sont à valeurs réelles au voisinage de a et f (x) ∼ g(x), alors il existe un voisinage U de a tel
x→a
que pour tout point x de I ∩ U , f (x) et g(x) sont de même signe.

3
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

3 Des comparaisons asymptotiques usuelles

Proposition 5 (Des comparaisons asymptotiques grâce aux limites et aux dérivabilités)

Soit f, g : I −→ K deux fonctions numériques et a ∈ R élément ou à l’extrimité de I. Alors on a :

1. Si lim f (x) = ℓ, où ℓ ∈

/ {−∞, 0, +∞}, alors f (x) ∼ ℓ.
x→a x→a

2. Si lim f (x) = 0, alors f (x) = o (1). La réciproque est vraie.

x→a x→a

3. Si lim f (x) = ℓ, où ℓ ∈

/ {−∞, +∞}, alors f (x) = O (1) (càd f est bornée au voisinage de a).
x→a x→a
La réciproque est fausse en général.

4. Si f est dérivable en a et que f ′ (a) ̸= 0, alors (f (x) − f (a)) ∼ f ′ (a)(x − a).

x→a

Idem, pour les limites ou les dérivabiltés à gauche et à droite.

Quelques comparaisons asymptotiques usuelles :

▷ Par exemple cos(x) ∼ 1. Mais attention, on n’a pas sin(x) ∼ 0 (d’après la proposition 4).
x→0 x→0
▷ sin(x) ∼ tan(x) ∼ sh(x) ∼ th(x) ∼ ln(1 + x) ∼ (ex − 1) ∼ x. (point 4 de la prposition 5)
x→0 x→0 x→0 x→0 x→0 x→0
x2
▷ (1 − cos(x)) ∼ (ch(x) − 1) ∼ .
x→0 2
x→0
▷ ln(x) ∼ (x − 1). (c’est en appliquant le point 4 de la prposition 5 ci-dessus)
x→1
 
1
▷ ln(x) = o (x) et ln(x) = o et x = o (ex ).
x→+∞ x→0+ x x→+∞
 
β α β 1
▷ ∀α > 0, ∀β ∈ R : , ln (x) = o (x ) et | ln(x)| = o α
et xβ = o (eαx ).
x→+∞ x→0 + x x→+∞

X n
▷ Si P = ak X k est un polynôme non nuls de terme dominant an X n et dont le plus petit terme non nul
k=p
est ap X p , alors P (x) ∼ an xn et P (x) ∼ an xn et P (x) ∼ ap xp .
x→−∞ x→+∞ x→0

4 Quelques propriétés des relations de comparaison asymptotique

Pour toute la suite, on adopte les notations simples f = o (g), f = O (g) et f ∼ g au lieu des notations
a a a
f (x) = o (g(x)), f (x) = O (g(x)) et f (x) ∼ g(x).
x→a x→a x→a

4.1 Réflexivité, antisymétrie, symétrie et transitivité

Deux fonctions f et g sont égales(localement) au voisinage de a signifie qu’il existe un voisinage U de a

tel que f = g sur I ∩ U . C’est enfaite une relation d’équivalence sur l’ensemble des fonctions définies sur I à
valeurs dans K. L’identification(égalité) dans la proposition ci-dessous de deux telles fonctions est en ce sens.

4
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

Proposition 6 (Réflexivité, antisymétrie, symétrie et transitivité)

Les fonctions considérées sont les fonctions définies sur I à valeurs dans K.

1. Pour la relation o :
a

(a) La seule fonction qu’est négligeable devant lui même est la fonction nulle au voisinage de a.
(b) Si deux fonctions sont l’une négligeable devant l’autre, alors elle seront nulles au voisinage de a.
(c) La relation o est transitive.
a

2. Pour la relation O :
a

(a) Toute fonction est dominée par lui même.

(b) La relation O est transitive.
a

3. La relation ∼ est une relation d’équivalence.

a

4.2 Invariance des relations de comparaison asymptotique

Proposition 7 (Invariance de o et de O par passage à ∼)

a a a
Soit f, g, f1 , g1 : I −→ K quatre fonctions et a ∈ R élément ou à l’extrimité de I. Alors :

 f = o (g)
1. Si a , alors f1 = o (g1 ) .
 f ∼ f1 et g ∼ g1 a
a a

 f = O (g)
2. Si a , alors f1 = O (g1 ) .
 f ∼ f1 et g ∼ g1 a
a a
On exprime ceci en disant que chacune des relations o et O ne se change pas si on remplace l’un ou les deux
a a
opérants par des fonctions équivalentes.

Proposition 8 (Invariance de l’équivalence par le rajout d’un négligeable)

Soit f, g, h : I −→ K trois fonctions et a ∈ R élément ou à l’extrimité de I. On a la propriété :
Si h = o (g), alors g ∼ (g + h). Ou encore si f ∼ g et si h = o (g), alors f ∼ (g + h).
a a a a a
On exprime ceci en disant que la relation ∼ ne se change pas par l’ajout d’une fonction négligeable devant l’un
a
des opérants.

5
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

4.3 Linéarité à gauche

Proposition 9 (Linéarité à gauche de o et de O)

a a
Soit f, g, h : I −→ K trois fonctions et a ∈ R élément ou à l’extrimité de I et soit λ ∈ K. Alors :
 
 f = o (g)  λf = o (g)
1. Si a , alors a
 h = o (g)  f + h = o (g)
a a
 
 f = O (g)  λf = O (g)
2. Si a , alors a
 h = O (g)  f + h = O (g)
a a
La linéarité à droite n’est pas vraie en général, mais on a la propriété :

3. Si f = o (g) et λ ∈ K∗ , alors f = o (λg).

a a

4. Si f = O (g) et λ ∈ K∗ , alors f = O (λg)

a a

4.4 Règle des gendarmes pour la relation d’équivalence

Proposition 10 (Règle des gendarmes pour ∼)

a
Soitf, g, h : I −→ R trois fonctions réelles et a ∈ R élément ou à l’extrimité de I.
 f ⩽ g ⩽ h sur I
Si , alors f ∼ g ∼ h.
 f ∼h a a
a

6
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

4.5 Compatibilité avec les opérations usuelles

Proposition 11 (Toutes les différentes compatibilités avec les opérations usuelles)

Soit f1 , f2 , g1 , g2 : I −→ K quatre fonctions et a ∈ R élément ou à l’extrimité de I. Alors on a :

 f1 = o (g1 )
1. Si a , alors f1 f2 = o (g1 g2 ).
 f2 = o (g2 ) a
a

 f1 = O (g1 )
2. Si a , alors f1 f2 = O (g1 g2 ).
 f2 = O (g2 ) a
a

 f1 = o (g1 )
3. Si a , alors f1 f2 = o (g1 g2 ).
 f2 = O (g2 ) a
a

 f1 ∼ g1
4. Si a , alors f1 f2 ∼ g1 g2 .
 f2 ∼ g2 a
a

 f1 = o (g1 )
5. Si a , alors f1 f2 = o (g1 g2 ).
 f2 ∼ g2 a
a

 f1 = O (g1 )
6. Si a , alors f1 f2 = O (g1 g2 ).
 f2 ∼ g2 a
a
Si on suppose ici que f2 ne s’annulle jamais au voisinage de a, alors :
 
1 1
5. f2 = o (g2 ) =⇒ =o .
a g2 a f2
 
1 1
6. f2 = O (g2 ) =⇒ =O .
a g2 a f2
1 1
7. f2 ∼ g2 =⇒ ∼ .
a f2 a g2

 f1 ∼ g1 f1 g1
8. Si a , alors ∼ .
 f2 ∼ g2 f2 a g2
a

 f1 = o (g1 ) f1

g1

9. Si a , alors =o .
 f2 ∼ g2 f2 a g2
a

 f1 = O (g1 ) f1

g1

10. Si a , alors =O .
 f2 ∼ g2 f2 a g2
a

4.6 Composition à gauche avec les fonctions valeur absolue et puissances

Proposition 12 (Composition à gauche par la fonction |.|)

Soit f, g : I −→ K deux fonctions et a ∈ R élément ou à l’extrimité de I. Alors on a :

1. f = o (g) ⇐⇒ |f | = o (|g|) ⇐⇒ f = o (|g|) ⇐⇒ |f | = o (g).

a a a a

2. f = O (g) ⇐⇒ |f | = O (|g|) ⇐⇒ f = O (|g|) ⇐⇒ |f | = O (g).

a a a a

3. f ∼ g =⇒ |f | ∼ |g|. La réciproque est fausse en général.

a a

7
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

Proposition 13 (Composition à gauche par les puissances)

Soit f, g : I −→ K deux fonctions et a ∈ R élément ou à l’extrimité de I. Alors on a :

1. f = o (g(x)) =⇒ ∀n ∈ N∗ : f n = o (g n ).
a a

2. f = O (g) =⇒ ∀n ∈ N : f n = O (g n ).
a a

3. f ∼ g =⇒ ∀n ∈ N : fn ∼ gn.
a a

Si on suppose ici que f ne s’annulle jamais au voisinage de a, alors :

4. f = o (g) =⇒ ∀n ∈ Z∗− : g n = o (f n ).
a a

5. f = O (g) =⇒ ∀n ∈ Z− : gn = O (f n ).
a a

6. f ∼ g =⇒ ∀n ∈ Z : fn ∼ gn.
a a

Si on suppose ici que f et g sont strictement positives au voisinage de a, alors :

7. f = o (g) =⇒ ∀α ∈ R∗+ : f α = o (g α ) et g −α = o (f −α ).
a a a

8. f = O (g) =⇒ ∀α ∈ R+ : fα =O (g α ) et g −α = O (f −α ).
a a a

9. f ∼ g =⇒ ∀α ∈ R : fα ∼ gα.
a a

4.7 Composition à droite(ou changement de variable)

Proposition 14 (Changement de variable)

Soit f, g : I −→ K deux fonctions et a ∈ R élément ou à l’extrimité de I. Soit φ : J −→ R une fonction et b ∈ R
élément ou à l’extrimité de J. On suppose que φ(t) −→ a. Alors on a :
t→b
1. f = o (g) =⇒ f ◦ φ = o (g ◦ φ).
a b
2. f = O (g) =⇒ f ◦ φ = O (g ◦ φ).
a b
3. f ∼ g =⇒ f ◦ φ ∼ g ◦ φ.
a b
Ceci s’exprime en posant le chagement de variable t 7−→ φ(t) = x, pour passer par exemple de f (x) = o (g(x))
x→a
vers f (φ(t)) = o (g(φ(t))).
t→b

5 Application aux calculs des limites

Théorème 1 (Limites de deux fonctions équivalentes)

Soit f, g : I −→ K deux fonctions et a ∈ R élément ou à l’extrimité de I.
Si on suppose que f ∼ g, alors les deux limites lim f (x) et lim g(x) existent ou non à la fois.
a x→a x→a
De plus, dans le cas d’existance, elles sont identiques.

8
CPGE Tétouan - MPSI Notes de cours: Comparaison asymptotique des fonctions et des suites 2023/2024

Exercice 1 (Composition à gauche par les logarithmes)

Soit f, g : I −→ R deux fonctions réelles à valeurs strictement positifs et a ∈ R élément ou à l’extrimité de I.
On suppose que f ∼ g.
a

1. Montrer que ln(f ) ∼ ln(g) dans chacun des cas suivants :

a

(a) Si lim(g)(existe)= L ∈ {0, +∞}.

a
(b) En général, si lim(g)(existe)= L ∈ [0, +∞] \ {1}.
a
(c) Plus généralement, si ∃U ∈ V(a), ∃ε ∈]0, 1[, ∀x ∈ I ∩ U : |g(x) − 1| ⩾ ε, même si lim(g) n’exixte pas.
a
2


ln(x + 1) ln 5x + x + 1 ln (ex − 1)
2. Appliquer ceci pour calculer les limites lim , lim et lim .
x→+∞ ln(x − 5) x→+∞ ln (6x4 − 3x3 + 1) x→0 ln(1 − cos(x))
Indications : Pour les questions 1a, 1b ou 1c, vous pouvez utiliser la proposition 3. Pour la question 2, utiliser les
équivalences usuelles(Paragraphe 3).

Exercice 2 (Cette exercice suppose connus les développements limités usuels. Voir chapitre après)
(x − ln(1 + x))(sin(x) − x)
Calculer la limite lim .
x→0 (1 − cos(x)) (2 + 2x − 2ex + x2 )

Réponse : On utilise les développements limités usuels suivants au voisinage de zéro :

x2 x3 x2 x2 x3
+ o x2 , sin(x) = x − + o x3 , cos(x) = 1 − + o x2 et exp(x) = 1 + x + + o x3 .





ln(1 + x) = x − +
2 x→0 6 x→0 2 x→0 2 6 x→0

En appliquent le point 2. de la prposition 1 et le fait que o (g) = o (λg), pour tout λ ∈ K∗ , on trouve :
x→0 x→0
x2 −x3 x2 −x3
et 2 + 2x − 2ex + x2 ∼


(x − ln(1 + x)) ∼ , (sin(x) − x) ∼ , (1 − cos(x)) ∼ .
x→0 2 x→0 6 x→0 2 x→0 3
2 3
x −x
(x − ln(1 + x))(sin(x) − x) 1
Donc ∼ 2 6 = .
(1 − cos(x)) (2 + 2x − 2ex + x2 ) x→0 x2 −x3 2
2 3
(x − ln(1 + x))(sin(x) − x) 1 1
D’où lim = lim = .
x→0 (1 − cos(x)) (2 + 2x − 2ex + x2 ) x→0 2 2

6 Relations de comparaison asymptotique pour les suites numériques

Une suite numérique u = (un )n n’est qu’une fonction u : N −→ K dont la variable n est discrète. Toutes
les définitions et les propriétés établies pour les comparaisons asymptotiques pour les fonctions numériques
s’étendent de manière naturelles à des définitions et des propriétés analogues pour des comparaisons asympto-
tiques pour les suites numériques, au voisianage cette fois toujours de a = +∞.
Les propriétés vues pour les compositions à gauche ou à droite(changement
 de variable)
 restent analogues.
1
Par exemple, on sait que sin(x) ∼ x, alors en composant à droite changement x = , on obtient :
x→0 n
n n
   
1 1 (−1) (−1)
sin ∼ . De même on obtient sin ∼ .
n n→+∞ n n n→+∞ n
Aussi comme ln(1 + x) = x + o (x) (car ln(1 + x) ∼ x, proposition 1), alors on obtient :
 x→0 x→0 
(−1)n (−1)n (−1)n (−1)n
      
1 1 1 1
ln 1 + = + o . De même ln 1 + = + o = + o .
n n n→+∞ n n n n→+∞ n n n→+∞ n