Passer au contenu principal
Tangente
AnalyseNotion · Glossaire

fonctions équivalentes

La notion de fonctions équivalentes n'a de sens qu'au voisinage d'un point ou au voisinage de l'infini. Lorsque f et g sont définies dans un voisinage ponctué d'un point a et que g ne s'y annule pas, elles sont dites équivalentes au voisinage de a, noté f(x)g(x)quand xaf(x) \sim g(x) \quad \text{quand } x \to a, si et seulement si limxaf(x)g(x)=1\lim_{x \to a} \frac{f(x)}{g(x)}=1, ce qui signifie que f et g ont le même comportement local en a, à un facteur tendant vers 1 près. De même, lorsqu'elles sont définies pour x assez grand et que g ne s'y annule pas, f et g sont équivalentes au voisinage de l'infini, noté f(x)g(x)quand xf(x) \sim g(x) \quad \text{quand } x \to \infty, si et seulement si limxf(x)g(x)=1\lim_{x \to \infty} \frac{f(x)}{g(x)}=1. La relation d'équivalence est une relation d'équivalence au sens strict : elle est réflexive, symétrique et transitive. L'équivalence de fonctions est un outil central dans l'étude des développements asymptotiques, des comportements limites et du calcul de limites de formes indéterminées. Il est important de noter que fgf \sim g au voisinage de a n'implique pas que f(x)g(x)0quand xaf(x)-g(x) \to 0 \quad \text{quand } x \to a : les équivalents permettent de comparer les ordres de grandeur, mais pas les différences.
Le quotient de 2x + 1 par 2x se rapproche de 1 La courbe du quotient 1 + 1 sur 2x décroît de 1,5 à 1,0625 entre x égal à 1 et x égal à 8, en restant au-dessus de 1. f(x)/g(x) = 1 + 1/(2x) x 1 1,5 quotient
Le quotient 1 + 1/(2x) reste au-dessus de 1 et s'en rapproche lorsque x grandit.
Sommaire

Ce que vous allez apprendre

  • Identifier l'équivalence par une limite de quotient égale à 1.
  • Vérifier le critère pas à pas sur 2x + 1 et 2x.
  • Distinguer l'équivalence de l'égalité et d'une différence tendant vers zéro.
  • Éviter les remplacements dangereux dans une soustraction.

En clair

Imaginez deux compteurs qui affichent des nombres de plus en plus grands. L'un donne 2x, l'autre 2x + 1. Leur écart reste égal à 1, mais cet écart devient négligeable devant leur taille. Leur quotient se rapproche de 1.
C'est l'idée des fonctions équivalentes : près d'un point précis, ou lorsque la variable part vers l'infini, elles ont la même échelle locale. Elles ne sont pas forcément égales et leur différence ne doit pas forcément disparaître.

Définition

Soient deux fonctions, nommées f et g, et une variable réelle nommée x. On étudie leur comportement lorsque x s'approche d'un point a, ou lorsque x tend vers l'infini. Les fonctions f et g sont équivalentes dans ce voisinage lorsque leur quotient tend vers 1.
Au voisinage du point a, ce critère s'écrit limxaf(x)g(x)=1\lim_{x \to a} \frac{f(x)}{g(x)}=1. On note alors f(x)g(x)quand xaf(x) \sim g(x) \quad \text{quand } x \to a. Le même critère s'applique au voisinage de l'infini, en remplaçant a par la direction considérée vers l'infini. Lorsque x tend vers a, le quotient doit être défini pour les valeurs suffisamment proches de a, éventuellement sauf au point a lui-même. Lorsque x tend vers l'infini, il doit être défini pour tout x suffisamment grand ou suffisamment petit, selon la direction considérée.
Sur l'ensemble des germes représentés par des fonctions qui ne s'annulent pas dans le voisinage considéré, éventuellement privé du point limite, cette relation est réflexive, symétrique et transitive. Elle compare un comportement local et un ordre de grandeur, non une égalité terme à terme. En particulier, l'équivalence f(x)g(x)f(x) \sim g(x) n'impose pas que la différence f(x)g(x)f(x)-g(x) tende vers 0. Elle intervient notamment dans les développements asymptotiques et le calcul de limites présentant une forme indéterminée.

Un exemple, pas à pas

Comparons deux fonctions lorsque leur variable devient très grande. La première garde un terme constant que la seconde ne possède pas. Le calcul du quotient dira si ce terme change leur comportement dominant.
Données. La variable réelle x tend vers +∞.
La première fonction est définie par f(x)=2x+1f(x)=2x+1.
La seconde fonction est définie par g(x)=2xg(x)=2x.
1. Formons leur quotient : f(x)g(x)=2x+12x\frac{f(x)}{g(x)}=\frac{2x+1}{2x}.
2. Séparons les termes : 2x+12x=1+12x\frac{2x+1}{2x}=1+\frac{1}{2x}.
3. Lorsque x tend vers +∞, le terme 12x\frac{1}{2x} tend vers 0.
4. Le quotient tend donc vers 1.
On conclut que 2x+12xquand x+2x+1 \sim 2x \quad \text{quand } x \to +\infty. Un contrôle direct confirme le mécanisme : pour x = 100, le quotient vaut 201/200 = 1,005. Pourtant, la différence vaut toujours 1. La courbe du quotient rend visible son rapprochement progressif de la valeur 1.

En pratique

Pour calculer une limite d'un produit ou d'un quotient, on peut remplacer une fonction par un équivalent plus simple lorsque le facteur relatif tend vers 1, à condition que les expressions et les quotients utilisés soient définis dans le voisinage ponctué considéré, notamment avec des dénominateurs non nuls. Si une compensation entre termes intervient ou si une forme indéterminée subsiste après le remplacement, une vérification supplémentaire est nécessaire. Si ces vérifications manquent, un calcul direct ou un encadrement est préférable.
Dans un développement asymptotique, l'équivalent isole le terme qui fixe l'échelle principale. Si l'on a besoin de mesurer l'erreur ou de conserver plusieurs termes, un développement plus précis est nécessaire.
Pour comparer deux croissances, on forme leur quotient. Une limite égale à 1 signale l'équivalence ; une autre limite appelle une comparaison différente plutôt qu'une conclusion forcée.

À ne pas confondre

Égalité de fonctions. Deux fonctions égales prennent la même valeur en chaque point de leur domaine. Deux fonctions équivalentes peuvent différer : 2x + 1 et 2x sont équivalentes quand x tend vers +∞, mais ne sont jamais égales.
Différence tendant vers zéro. Ce critère porte sur l'écart absolu, tandis que l'équivalence porte sur le quotient. Pour 2x + 1 et 2x, la différence vaut 1, mais le quotient tend vers 1 : seul le second critère est satisfait.

Limites et pièges

Quotient non défini. Si la fonction placée au dénominateur s'annule arbitrairement près de la limite, le quotient peut ne pas être défini dans tout voisinage ponctué. Il faut alors revenir au domaine exact ou choisir une formulation locale adaptée.
Soustraction risquée. Remplacer séparément des termes équivalents dans une différence peut effacer l'information dominante par compensation. Il faut étudier la différence elle-même ou conserver un développement asymptotique assez précis.
Confusion entre erreur relative et erreur absolue. Pour 2x + 1 et 2x, l'erreur relative vaut 12x\frac{1}{2x} et tend vers 0, alors que l'erreur absolue reste égale à 1. Le quotient, et non la différence, tranche l'équivalence.

Pour aller plus loin

développement asymptotique — Situer l'équivalent comme premier niveau d'une description plus précise du comportement local.
forme indéterminée — Reconnaître les limites où un remplacement par un équivalent peut simplifier le calcul.
Les équivalents, un outil pour le calcul des limites — Voir l'outil mis en œuvre dans des calculs de limites.
Continuez avec Tangente

Explorez les mathématiques autrement

Retrouvez nos magazines, podcasts et jeux pour explorer les mathématiques autrement.

Découvrir les offres