Comparaison de fonctions

Notations :
Ici, D désigne une partie non vide de R, a un élément de
R
, adhérent à
aD\
, et f, g, h, f1,
g1… des fonctions de D dans R.
I Fonction négligeable devant une autre
A) Généralités
On dit que f est négligeable devant g au voisinage de a lorsqu’il existe une
fonction , de D dans R, et qui tend vers 0 en a, telle que, au voisinage de a :
gf
.
On note
)(gof 
au voisinage de a.
En pratique, on manipule les expressions
)(xf
et
)(xg
pour
Dx
, sans que les
noms de fonctions f et g aient été introduits. Dans ce cas, on dira plutôt que
)(xf
est
négligeable devant
)(xg
au voisinage de a, et cela signifiera donc qu’il existe une
fonction , de D dans R, qui tend vers 0 en a, et un voisinage V de a, tels que
)()()(, xgxxfVDx
.
On notera alors
))(()( xgoxf 
au voisinage de a (x étant à prendre comme une
variable muette).
Par exemple,
)( 32 xox 
au voisinage de .
Définition simplifiée dans des cas courants :
 Si g ne s’annule pas au voisinage de a, alors
g
f
est définie sur
VD
, où V est
un voisinage de a. f est négligeable devant g au voisinage de a si et seulement
si
0lim 
g
f
a
.
 Si
Da
et si g s’annule en a, mais en a seulement au voisinage de a, alors
g
f
est définie sur
aVD \
, où V est un voisinage de a. f est négligeable devant
g au voisinage de a si et seulement si
0)( af
et
0lim 
g
f
a
.
Remarques :
Les fonctions négligeables devant la fonction nulle au voisinage de a sont les
fonctions nulles au voisinage de a.
Dire que
)1(of 
au voisinage de a revient à dire que f tend vers 0 en a.
B) Comparaisons usuelles
Au voisinage de :
Quels que soient les réels
,,
strictement positifs :
)()(ln xox 
et
)( .x eox
Au voisinage de 0 :
Quels que soient les réels strictement positifs
,
:
)(ln xox
.
Démonstration :
On peut aisément établir toutes ces propositions en ayant montré que
x
ex
x
lim
:
Montrons déjà par récurrence que
n
n
nn  1
2
,5
:
Comparaison de fonctions

Pour
5n
, on a
5
3
16
6
32
1525
Soit
5n
. Supposons que
n
n
n
1
2
Alors
2)1(2 2)1(2 1
2
2
22
2
21
nnn nn nnn
nnn
Or, pour
22,2  nnn
soit
1
2
2
nn
.
Donc
1
2)1(2 2
21
n
nnn n
n
ce qui achève la récurrence.
Maintenant :
Soit
5x
. Notons
px 
. On a :
1
1
2
1
xp
pp
e
x
eppx
.
Donc
1,5  x
x
e
xx
, donc
x
ex
x
lim
.
C) Propriétés
Proposition :
La relation « …est négligeable devant… au voisinage de a », définie sur
),( RDF
,
est transitive et compatible avec le produit, c'est-à-dire que, au voisinage de a :
Si
)(gof 
et
)(hog 
, alors
)(hof 
.
Si
)( 11 gof 
et
)( 22 gof 
, alors
)( 2121 ggoff 
.
(quasiment la même démonstration que pour les suites)
Mais cette relation n’est pas compatible avec l’addition ; par exemple, au
voisinage de 0,
)(
2xox 
et
)( 23 xxox 
, mais
32 xx 
n’est pas négligeable
devant
2
x
.
Proposition :
Au voisinage de a : si
)(gof 
, et
)(goh 
, alors
)(gohf 
.
Proposition :
Si
)(gof 
au voisinage de a, et si f et g ne s’annulent pas, alors
)(11 fg o
au
voisinage de a.
Par exemple, il résulte des comparaisons énoncées plus haut que :
Au voisinage de , et quels que soient les réels strictement positifs
,,
:
)(
.  xoe x
et
))((ln
 xox
II Fonctions équivalentes
A) Généralités
Définition :
On dit que f est équivalente à g au voisinage de a lorsqu’il existe une fonction ,
de D dans R, et qui tend vers 0 en a telle que, sur un voisinage de a,
gf )1(
.
On note
gf ~
au voisinage de a, ou
gf a ~
.

En pratique, on dit plutôt que
)(xf
est équivalent à
)(xg
au voisinage de a, et
cela signifie donc qu’il existe une fonction , de D dans R, et qui tend vers 0 en a et un
voisinage V de a tels que
)())(1()(, xgxxfVDx
.
On notera alors
)(~)( xgxf
au voisinage de a ou
)(~)( xgxf ax
(x étant alors une
variable muette)
Définition simplifiée dans des cas courants :
 Si g ne s’annule pas au voisinage de a, alors
g
f
est définie sur
VD
, où V est
un voisinage de a. Alors f est équivalente à g au voisinage de a si et seulement
si
1lim 
g
f
a
.
 Si
Da
, et si g s’annule en a, mais en a seulement au voisinage de a, alors
g
f
est définie sur
aVD \
où V est un voisinage de a. Alors f est équivalente à
g au voisinage de a si et seulement si
0)( af
et
1lim 
g
f
a
.
Remarque : on voit aussi en reprenant la définition générale que f est équivalente à
g au voisinage de a si et seulement si
)(gogf 
au voisinage de a.
Proposition :
La relation
a
~
, définie sur
),( RDF
, est une relation d’équivalence, c'est-à-dire
qu’elle est réflexive, symétrique et transitive.
B) Equivalents usuels au voisinage de 0
xxxxxex~)1ln(;~sin;~1 
Pour tout
xx .~1)1(, R
( est indépendant de x)
2
2
~1cos;~tan x xxx 
.
Démonstration : les premiers résultats résultent du cours de terminale, et sont
admis pour l’instant. Le dernier se justifie en considérant que
2
2
sin21cos x x
.
C) Equivalents et limites
Proposition :
Si f et g sont équivalentes en a et si f a une limite en a (finie ou non), alors g admet
la même limite en a.
La réciproque est fausse lorsqu’il s’agit de limites nulles ou infinies : par exemple,
x et
2
x
ne sont équivalents ni en 0 ni en , alors qu’ils y ont la même limite.
Cependant, il est vrai que si f et g ont la même limite finie et non nulle en a, alors
gf a ~
. Ainsi, si
*Rl
, dire que
lf a ~
revient à dire que f tend vers l en a.
Mais dire que
a
f~
est non sens, et dire que
0~
a
f
est généralement faux
(seules les fonctions nulles au voisinage de a sont équivalentes à 0 en a)
D) Opérations sur les équivalents
Proposition :
La relation
a
~
est compatible avec le produit, le passage à l’inverse, et l’élévation à
une puissance, c'est-à-dire :
Si
11 ~gf a
et
22 ~gf a
, alors
2121 ~ggff a
.
Si
gf a ~
et si f et g ne s’annulent pas, alors
g
a
f11 ~
.
Si
gf a ~
, alors, pour tout
Nn
,
n
a
ngf ~

Si
gf a ~
et si f et g sont strictement positives, alors, pour tout
R
,
gf a ~
.
Attention :
 la relation
a
~
n’est pas compatible avec l’addition ; cela veut dire qu’on ne doit
pas sans vérification ajouter des équivalents, ni même ajouter ou retrancher
une même chose de part et autre d’un équivalent, c'est-à-dire opérer des
simplifications ou des « passages de l’autre côté » au sens de l’addition. Par
exemple, il est vrai que
xx 371~)1( 0
2
(puisque les deux termes on la même
limite finie non nulle en 0, à savoir 1), mais il est faux que
xx 37~1)1( 0
2
.
 On ne doit pas non plus composer froidement, à gauche, les deux termes d’un
équivalent par une même fonction. Par exemple, il est vrai que
22 ~xxx 
(puisque
1
2
2
x
xxx
), mais pas que
22 ~xxx ee 
.
 On peut aussi préciser que les élévations à une puissance ne sont justifiées que
lorsque ces puissances sont indépendantes de la variable. Par exemple, il est
vrai que
xx  ~1
, mais pas que
xx xx 
~)1(
(car
e
x
xx
x
x
)1(
)
E) Autres résultats
Proposition :
Soit u une fonction à valeurs dans D, ayant pour limite a en un point s de
R
adhérent à son domaine de définition.
Si
)(~)( xgxf ax
, alors
))((~))(( tugtuf st
Démonstration :
Résulte du théorème de composition de limites :
Si
)(~)( xgxf ax
, alors
1
)( )(
lim 
xg xf
ax
. Or
atu
st )(lim
. Donc
1
))(( ))((
lim 
tug tuf
st
…
Exemple :
Si
0)(lim tu
st
, alors
)(~))(1ln( tutu st
, et en particulier
2
0
2~)1ln( tt t
…
Remarque :
Connaissant les équivalents usuels sur les fonctions données précédemment, on
obtient alors les équivalents donnés dans le cours sur les suites.
Proposition :
Au voisinage de a, si
ff ~
1
et
gg ~
1
, et si
)(gof 
, alors
)( 11 gof 
.
En particulier :
- si
ff ~
1
, et si
)(gof 
, alors
)(
1gof 
(c’est le cas où
gg 
1
)
- si
gg ~
1
, et si
)(gof 
, alors
)( 1 gof 
(c’est le cas où
ff 
1
).
Démonstration (de la proposition) :
Si
ff ~
1
,
gg ~
1
et si
)(gof 
:
Il existe alors une fonction qui tend vers 0 en a telle que
)()()( xgxxf
au
voisinage de a, et deux fonctions
gf
,
qui tendent vers 0 en a telles que
)())(1()( 1xfxxf f
et
)())(1()( 1xgxxg g
au voisinage de a.
Alors, au voisinage de a,
)())(1()()())(1( 11 xgxxxfx gf
,

c'est-à-dire
)(
))(1(
))(1()(
)( 1
0
1xg
x
xx
xf
f
g
, soit
)( 11 gof 
.
Ces résultats sont souvent utilisés ; par exemple :
- De
xx 0 ~sin
et
)( xox 
au voisinage de 0, on tire que
)(sin xox 
au
voisinage de 0.
- On écrira plutôt, au voisinage de 0,
)(xo
plutôt que
)( 2 xxo 
puisque
2
0
~xxx 
F) Fonctions polynômes et fonctions rationnelles
Proposition :
Une fonction polynôme non nulle équivaut, au voisinage de ou , à son
terme non nul de plus haut degré.
C'est-à-dire que :
Si
Nn
, si
R
n
aaa ,...,, 10
et
0
n
a
, alors, au voisinage de ou :
n
n
n
n
n
nxaaxaxaxa ~... 01
1
1 
. (on vérifie immédiatement que le rapport
tend bien vers 1)
Une fonction polynôme non nulle équivaut, au voisinage de 0, à son terme non nul
de plus bas degré, c'est-à-dire que :
Si
Npn,
avec
pn 
, si
R
npp aaa ,...,, 1
et
0
p
a
, alors, au voisinage de 0 :
p
p
p
p
p
p
n
n
n
nxaxaxaxaxa ~... 1 1
1
1 
.
On en déduit ensuite les résultats pour les fonctions rationnelles, grâce à la
compatibilité de ~ avec le passage à l’inverse et le produit :
Une fonction rationnelle équivaut, en ou , au rapport des termes non nuls
de plus haut degré.
Une fonction rationnelle non nulle équivaut, au voisinage de 0, au rapport de ses
termes non nuls de plus bas degré.
III Fonction dominée par une autre
Définition :
On dit que f est dominée par g au voisinage de a lorsqu’il existe
Rk
tel que, au
voisinage de a,
gkf 
. On note
)(gOf 
au voisinage de a.
De même que pour les autres comparaisons, on peut aussi noter
))(()( xgOxf 
au
voisinage de a, ce qui signifie qu’il existe un réel positif k et un voisinage V de a tels que
)()(, xgkxfVDx 
.
Définition simplifiée dans des cas courants :
 Si g ne s’annule pas au voisinage de a, alors
g
f
est définie sur
VD
, où V est un
voisinage de a. Et f est dominée par g au voisinage de a si et seulement si
g
f
est
bornée au voisinage de a.
 Si
Da
, et si g s’annule en a, mais en a seulement au voisinage de a, alors
g
f
est
définie sur
aVD \
, où V est un voisinage de a, et f est dominée pas g au
voisinage de a si et seulement si
0)( af
et
g
f
est bornée au voisinage de a.
Exemple :
Au voisinage de ,
)(sin 33 xOxx 
, mais
xx sin
3
n’est pas un
)( 3 xo
.