Etude locale d’une fonction 1 3. Si g = o(h), alors f g = o(h). Autrement dit : f × o(h) = o( f h).

4. Si f 1 = o(g 1 ) et f 2 = o(g 2 ), alors f 1 f 2 = o(g 1 g 2 ).

Autrement dit : o(g 1 ) × o(g 2 ) = o(g 1 g 2 ).
Comparaison des fonctions Attention ! ! f 1 = o(g 1 ) et f 2 = o(g 2 ) n’implique pas f 1 + f 2 = o(g 1 + g 2 ).
5. Si f = o(g ) et si g = o(h), alors f = o(h). Autrement dit : o (o(h)) = o(h).
Les fonctions étudiées dans ce chapitre sont définies sur un intervalle I , non vide et
non réduit à un point.
On rappelle que I désigne l’intervalle de R déduit de I en lui adjoignant ses éven- 2. Fonctions équivalentes au voisinage d’un point
tuelles extrémités réelles.
Définition 2. Soient f et g deux fonctions.
a désigne un élément de I ∪{−∞, +∞} (a ne peut prendre la valeur +∞ (resp −∞) que
On dit que f est équivalente à g au voisinage de a dans I et on note f ∼ g ssi
si la fonction est définie sur un intervalle I du type ]α, +∞[ (resp ] − ∞, β[)). a
Lorsqu’il est question de divisions, les fonctions sont implicitement supposées ne pas f (x)
lim = 1.
x→a g (x)
s’annuler au voisinage de a dans I .
Les résultats s’étendent également au cas où la fonction est définie sur I \ {a} avec Proposition 2. Soient f et g deux fonctions.
a ∈ I.
1. f ∼ g ⇔ f − g = o(g ).
a a

1. Notion de fonction dominée, de fonction négligeable au voisinage 2. Si f ∼ g , alors f et g ont le même signe au voisinage de a dans I ( f et g devant bien
a
de a sûr être à valeurs réelles).

Définition 1. Soient f et g deux fonctions. Proposition 3. Soient f , g , h trois fonctions. On a :

f 1. f ∼ f .
On dit que f est dominée par g au voisinage de a dans I ssi la fonction est bornée a
g
au voisinage de a dans I . 2. f ∼ g ⇒ g ∼ f .
a a
f (x) ³ ´
On dit que f est négligeable devant g au voisinage de a dans I ssi lim = 0. 3. f ∼ g et g ∼ h ⇒ f ∼ h.
x→a g (x)
a a a

Remarques - Notations Proposition 4. Soient f , g deux fonctions et ` ∈ R.

p
On notera que même si a ∈ R, f n’est pas nécessairement définie au point a. 1. Si f ∼ g et si lim f (x) = `, alors lim g (x) = `.
a x→a x→a
p
Lorsque f est dominée par (resp négligeable devant) g au voisinage de a, on note 2. Si lim f (x) = ` avec ` 6= 0, alors f ∼ g .
x→a a
f = O(g ) (resp f = o(g )) lorsqu’il n’y a pas de risque d’ambiguïté sur le point consi-
déré. Bien prendre garde à ce que ces notations sont abusives ! ! En effet, il se peut Remarque : Le résultat 1. est encore valable (pour les fonctions à valeurs réelles)
fort bien que l’on ait : f 1 = o(g ) et f 2 = o(g ) avec f 1 6= f 2 . Par exemple ln x = o(x 2 ) lorsque ` = +∞ ou ` = −∞.
+∞
et x ln x = o(x 2 ). Proposition 5. Soient f , g , h, k des fonctions.
+∞
p
f = O(g ) se lit " f est dominée par g " ou " f est un ¢ O de g " (sous entendu au
¡ grand 1. Si f = o(g ) et si f ∼ h, alors f = o(h).
a a a
voisinage de a dans I ). On note aussi f (x) = O g (x) . f = o(g ) se lit " f est négli-
1 1
geable par g " ou " f est¡ un petit o de g " (sous entendu au voisinage de a dans I ). 2. Supposons que f ∼ g . Alors : | f | ∼ |g |,∼ et ∀p ∈ Z, f p ∼ g p .
¢
On note aussi f (x) = o g (x) .
a a f a g a
Si de plus, f et g sont strictement positives au voisinage de a dans I , alors :
Proposition 1. Soient f et g deux fonctions. Les résultats suivants sont tous sous ∀α ∈ R, f α ∼ g α .
a
entendus au voisinage de a dans I .
3. Si f ∼ g et h ∼ k, alors f h ∼ g k.
a a a
1. Si f = o(h) et g = o(h), alors f + g = o(h). autrement dit : o(h) + o(h) = o(h). Attention ! ! f ∼ g et h ∼ k n’implique pas f + h ∼ g + k.
a a a
2. Soit λ ∈ R \ {0}.
Si f = o(g ), alors λ f = o(g ). Autrement dit : λ × o(g ) = o(g ). 4. Supposons que f ∼ g , que f et g soient strictement positives au voisinage de a
a
Si f = o(λg ) alors f = o(g ). Autrement dit : o(λg ) = o(g ). dans I et que lim f (x) = ` avec ` ∈ R+ ∪{+∞} et ` 6= 1. Dans ces conditions : ln( f ) ∼
x→a a
 ln(g ).
Attention ! ! f ∼ g n’entraine pas e f ∼ e g .
a a
5. Si f = g + h et si h = o(g ), alors f ∼ g .
a a

3. Equivalents usuels
Au voisinage de 0
x2
sin x ∼ x cos x − 1 ∼ − (1 + x)α − 1 ∼ αx (α 6= 0)
0 0 2 0
tan x ∼ x ex − 1 ∼ x Arcsin x ∼ x
0 0 0
x3 ln(1 + x) ∼ x Arctan x ∼ x
sin x − x ∼ − 0 0
0 6

Au voisinage de 1
ln x ∼ x − 1
1

Au voisinage de l’infini
a p x p + a p−1 x p−1 + . . . + a 1 x + a 0 ∼ a p x p (a p 6= 0)
∞