Limites de fonctions

Limite à l’infini

Dans cette première partie, nous nous intéressons au comportement des fonctions en $-\infty$ et en $+\infty$ (lorsqu’elles y sont définies).

Limite infinie à l’infini

Soit $A$ un réel et $f$ une fonction définie au moins sur un intervalle $]A\ ;\,+\infty[$.

Définition

Limite infinie à l’infini :

• Une fonction $f$ a pour limite $+\infty$ en $+\infty$ si les images $f(x)$ sont plus grandes que n’importe quel réel $A$ donné, à condition de prendre $x$ assez grand.
• On note alors :

$\lim\limits_{x \to + \infty} f(x)= +\infty$

• Une fonction $f$ a pour limite $-\infty$ en $+\infty$ si les images $f(x)$ sont plus petites que n’importe quel réel $A$ donné, à condition de prendre $x$ assez grand.
• On note alors :

$\lim\limits_{x \to +\infty} f(x)= - \infty$

Regardons la courbe représentative suivante :

Img-01 Ajouter le f en indice.

• La fonction $f$ a pour limite $+\infty$ en $+\infty$.

Regardons maintenant cette courbe représentative :

Img-02

• La fonction $f$ a pour limite $-\infty$ en $+\infty$.

Exemple

La fonction carrée ou la fonction racine carrée ont pour limite $+\infty$ en $+\infty$ :

$\begin{aligned} \lim\limits${x \to +\infty} x^2 &= \lim\limits{x \to +\infty} \sqrt x \ &= +\infty \end{aligned}

• On définit de la même manière les limites infinies en $-\infty$.

Exemple

La fonction carrée a pour limite $+\infty$ en $-\infty$ :

$\lim\limits_{x \to -\infty} x^2=+\infty$

La fonction cube a pour limite $-\infty$ en $-\infty$ :

$\lim\limits_{x \to -\infty} x^3=-\infty$

Limite finie à l’infini et asymptote horizontale

Dans le cours précédent, sur les limites de suites, nous avons vu que la fonction exponentielle, en $-\infty$, avait pour limite $0$, soit une limite finie.

Définition

Limite finie à l’infini :

Soit $f$ une fonction définie sur un intervalle $]a\ ;\,+\infty[$ ($a$ réel).
Dire que $f$ a pour limite le réel $l$ quand $x$ tend vers $+\infty$ signifie que tout intervalle ouvert contenant $l$ contient toutes les images $f(x)$ pour $x$ suffisamment grand.

• On note alors :

$\lim\limits_{x \to + \infty} f(x)=l$

À retenir

On dit, dans ce cas, que la droite d’équation $y=l$ est asymptote horizontale au voisinage de $+\infty$ (ou en $+\infty$) à la courbe représentative de $f$.

De même, on définit une asymptote horizontale, d’équation $y=l$, au voisinage de $-\infty$ (ou en $-\infty$) lorsque :

$\lim\limits_{x \to - \infty} f(x)=l$

Pour définir une asymptote horizontale, il faut calculer ce type de limite.
Inversement, si une limite finie $l$ en l’infini a été calculée et que l’on demande une interprétation graphique, alors on peut dire que la droite d’équation $y=l$ est asymptote horizontale à la courbe représentative de la fonction.

• On peut ainsi dire que la droite d’équation $y=0$ est asymptote horizontale en $-\infty$ à la courbe représentative de la fonction exponentielle.

Exemple

Prenons un autre exemple et intéressons-nous à la fonction inverse.
Soit la fonction $f$ telle que : $f(x) = \dfrac 1x$. Alors :

$\begin{aligned} \lim\limits${x \to +\infty}f(x)=0 \ \lim\limits{x \to - \infty} f(x)=0 \end{aligned}

• On en déduit que la droite d’équation $y=0$ (qui est l’axe des abscisses) est asymptote horizontale à la courbe $\mathscr C_f$ au voisinage de $+\infty$ et de $-\infty$.

Pour déterminer la position relative de la courbe $\mathscr C_f$ par rapport à une asymptote d’équation $y=l$, il faut étudier le signe de la différence $f(x)-l$ :

• si $f(x)-l > 0$, alors $f(x)>l$,
• la courbe $\mathscr C_f$ est au-dessus de l’asymptote sur l’intervalle, ou la réunion d’intervalles, où c’est le cas ;
• si $f(x)-l <0$, alors $f(x)< l$,
• la courbe $\mathscr C_f$ est au-dessous de l’asymptote sur l’intervalle, ou la réunion d’intervalles, où c’est le cas.

Limite infinie en un point et asymptote verticale

Nous venons de voir les limites en l’infini. Intéressons-nous maintenant aux limites en un point.

Soit $a$ un réel et $h$ un réel positif non nul.
Soit $f$ une fonction définie sur une partie de $\mathbb{R}$ contenant un intervalle $]a-h\ ;\,a[$ ou $]a\ ;\,a+h[$.

Définition

Limite infinie en un point :

• $f$ a pour limite $+\infty$ quand $x$ tend vers $a$ si $f(x)$ est aussi grand que l’on veut à condition de prendre $x$ suffisamment proche de $a$.
• On note alors :

$\lim\limits_{x \to a}f(x)= +\infty$

• $f$ a pour limite $-\infty$ quand $x$ tend vers $a$ si $f(x)$ est aussi petit que l’on veut à condition de prendre $x$ suffisamment proche de $a$.
• On note alors :

$\lim\limits_{x \to a}f(x)= -\infty$

• On parle de limite à gauche en $a$ lorsque $x$ tend vers $a$ par valeurs inférieures à $a$.

• On parle de limite à droite en $a$ lorsque $x$ tend vers $a$ par valeurs supérieures à $a$.

À retenir

Dans ces quatre cas, la droite d’équation $x=a$ est asymptote verticale à la courbe représentative de la fonction $f$.

Pour définir une asymptote verticale, il faut calculer ce type de limite.
Inversement, si une limite infinie en un réel $a$ a été calculée et que l’on demande une interprétation graphique, alors on peut dire que la droite d’équation $x=a$ est asymptote verticale à la courbe représentative de la fonction.

Si $\lim\limits_{x \to a} f(x)$ est une valeur réelle, cela ne pose pas de problème.

• Ce cas sera étudié dans un cours prochain, sur la continuité.

Déterminer une limite

Après avoir défini la notion de limite de fonctions, nous allons voir que, de la même manière que pour les suites, nous pouvons déterminer une limite à partir de règles opératoires sur les limites, ainsi que grâce à des théorèmes.

Limites des fonctions usuelles

Tout d’abord, découvrons, ou redécouvrons, les limites des fonctions usuelles.

À retenir

• Fonctions de type $x^n$ :
• pour tout entier naturel $n$ :

$\lim\limits_{x \to +\infty} x^n= +\infty$

• si $n$ est pair :

$\lim\limits_{x \to -\infty} x^n= +\infty$

• si $n$ est impair :

$\lim\limits_{x \to -\infty} x^n= -\infty$

• Fonction inverse :

$\begin{aligned} \lim\limits${x \to +\infty} \dfrac 1x &= \lim\limits{x \to -\infty} \dfrac 1x \ &=0 \ \ \lim\limits{x \to 0 \atop x>0}\dfrac 1x &= +\infty \ \lim\limits{x \to 0 \atop x<0}\dfrac 1x &= -\infty \end{aligned}

• Fonction racine carrée :

$\lim\limits_{x \to +\infty} \sqrt x= +\infty$

• Fonction exponentielle :

$\begin{aligned} \lim\limits${x\to -\infty} \text{e}^x &=\lim\limits{x \to +\infty} \text{e}^{-x} \ &=0 \ \ \lim\limits_{x\to +\infty} \text{e}^x&=+\infty \end{aligned}

Propriétés des opérations sur les limites

Les tableaux suivants donnent les règles d’opération et sont à connaître.

• Ces règles sont toutefois aisément retrouvables grâce à la logique et à la règle des signes.
• Comme pour les suites, il y a des formes indéterminées.

À retenir

Avec $a$ qui peut être un réel, $-\infty$ ou $+\infty$.

Limites de la somme de deux fonctions

$\lim\limits${x \to a} f(x)x→alim​f(x)	$l$	$l$	$l$	$+\infty$	$-\infty$	$+\infty$
$\lim\limits{x \to a} g(x)$	$l^\prime$	$+\infty$	$-\infty$	$+\infty$	$-\infty$	$-\infty$
$\red{\lim\limits_{x \to a} f(x)+g(x)}$	$\red{l+l^\prime}$	$\red{+\infty}$	$\red{-\infty}$	$\red{+\infty}$	$\red{-\infty}$	$\red{\text{FI}}$

Limites du produit de deux fonctions

$\lim\limits${x\to a} f(x)x→alim​f(x)	$l$	$l>0$	$l>0$	$l<0$	$l<0$	$+\infty$	$+\infty$	$-\infty$	$0$
$\lim\limits{x \to a} g(x)$	$l^\prime$	$+\infty$	$-\infty$	$+\infty$	$-\infty$	$+\infty$	$-\infty$	$-\infty$	$\pm\infty$
$\red{\lim\limits_{x \to a} f(x)\times g(x)}$	$\red{ l\times l^\prime}$	$\red {+\infty}$	$\red{-\infty}$	$\red{-\infty}$	$\red{+\infty}$	$\red{+\infty}$	$\red{-\infty}$	$\red{+\infty}$	$\red{\text{FI}}$

Limites du quotient de deux fonctions

$\lim\limits${x\to a} f(x)x→alim​f(x)	$l$	$l$	$+\infty$	$+\infty$	$-\infty$	$-\infty$	$\pm\infty$	$l$	$0$
$\lim\limits{x \to a} g(x)$	$l^\prime\neq0$	$\pm\infty$	$l^\prime>0$	$l^\prime<0$	$l^\prime>0$	$l^\prime<0$	$\pm\infty$	$0^+$-0−+​	$0$
$\red{\lim\limits{x \to a} \dfrac {f(x)}{g(x)}}$	$\red{ \dfrac l {l^\prime}}$	$\red 0$	$\red{+\infty}$	$\red{-\infty}$	$\red{-\infty}$	$\red{+\infty}$	$\red{\text{FI}}$	$\red{\pm\infty}$	$\red{\text{FI}}$

• Il existe donc quatre formes indéterminées :
• $(+\infty) + (-\infty )$ ;
• $0\times \infty$ ;
• $\dfrac {\infty}{\infty}$ ;
• $\dfrac {0}{0}$.

Astuce

Pour lever une indétermination, il suffit très souvent de factoriser l’expression de la fonction, et c’est à voir au cas par cas.

Exemple

Déterminons la limite en $+\infty$ de la fonction $f$, définie sur $\mathbb{R}$ par $f(x)= x^3 - 2x+5$.

• Commençons par chercher la limite par somme :

$\begin{aligned} \lim\limits${x \to +\infty} x^3 = +\infty \ \lim\limits{x \to +\infty} -2x+5=-\infty \end{aligned}

• Une forme indéterminée apparaît, du type $(+\infty) + (-\infty )$.
• Pour lever cette indétermination, transformons l’expression de la fonction en la factorisant par $x$ (nous nous intéressons à $x$ grand, nous le considérons comme non nul) :

$\begin{aligned} f(x)&= x^3 - 2x+5 \ &= x\Big(x^2- 2+\dfrac 5x\Big) \end{aligned}$

• Calculons la limite de cette nouvelle expression :

$\begin{aligned} \lim\limits${x \to +\infty} x^2-2 &= +\infty \ \lim\limits{x \to +\infty} \dfrac 5x& = 0 \end{aligned}

Par somme, nous pouvons calculer :

$\lim\limits_{x \to +\infty} x^2-2+\dfrac{5}{x} =+\infty$

De plus :

$\lim\limits_{x \to +\infty} x= +\infty$

Et donc, par produit :

$\lim\limits_{x \to +\infty} x\Big(x^2-2+\dfrac{5}{x}\Big)=+\infty$

• $\lim\limits_{x \to +\infty} f(x)= +\infty$

Limite d’une fonction composée

Propriété

Soit $a$, $l$ et $L$ trois nombres réels, et $f$ et $g$ deux fonctions définies sur $\mathbb{R}$.

• Si \lim\limits{x \to a} g(x)= l et \lim\limits{x \to l} f(x) = L, alors :

\begin{aligned} \lim\limits{x \to a} f\big(g(x)\big) &= \lim\limits{x \to a} f\circ g(x) \ &= L \end{aligned}

La propriété est aussi valable lorsque $a$, $l$ ou $L$ sont $-\infty$ ou $+\infty$.

Exemple

Nous cherchons à déterminer $\lim\limits_{x \to +\infty} { {\mathrm{e}}^{-x^2}}$.

• Déterminons d’abord la limite de $-x^2$ :

$\lim\limits_{x \to +\infty} { -x^2} = -\infty$

• Soit $g(x)=-x^2$ et $f(x)=e^x$.
• Nous savons donc :

$\begin{aligned} \lim\limits${x \to \blue{+\infty}} g(x) &= \red{-\infty} \ \lim\limits{x \to \red{-\infty}} f(x) &= \green 0 \end{aligned}

• Et donc, selon la propriété vue ci-dessus :

$\begin{aligned} \lim\limits${x \to +\infty} \text e^{-x^2} &= \lim\limits{x \to \blue{+\infty}} f\big(g(x)\big) \ &= \lim\limits_{x \to \red{-\infty}} f(x) \ &= \green 0 \end{aligned}

Limites et comparaison

Nous connaissons, pour les suites, les théorèmes de comparaison et des gendarmes.

• Ces théorèmes peuvent se généraliser aux fonctions, permettant de calculer la limite éventuelle d’une fonction en une valeur finie ou infinie.

Théorème

Théorème de comparaison :

• Soit $f$ et $g$ deux fonctions telles que :
• $f(x)\geq g(x)$ sur un intervalle $[a\ ;\,+\infty[$ ($a$ un réel)
• $\lim\limits_{x \to +\infty} g(x)= +\infty$
• alors : $\lim\limits_{x \to +\infty} f(x)= +\infty$
• Soit $f$ et $g$ deux fonctions telles que :
• $f(x)\leq g(x)$ sur un intervalle $[a\ ;\,+\infty[$ ($a$ un réel) ;
• $\lim\limits_{x \to +\infty} g( x)= -\infty$
• alors : $\lim\limits_{x \to +\infty} f( x)= -\infty$

Ces deux propriétés s’étendent aux limites en $-\infty$, en changeant l’intervalle $[a\ ;\,+\infty[$ en $]-\infty\ ;\,a]$, ou à celles en une valeur finie.

Théorème

Théorème des gendarmes :

Soit $f$, $g$ et $h$ trois fonctions et $l$ un nombre réel tels que :

• $f(x)\leq g(x) \leq h(x)$ sur un intervalle $[a\ ;\,+\infty[$ ($a$ un réel)
• $\lim\limits_{x \to +\infty} f(x)= l$
• $\lim\limits_{x \to +\infty} h( x)= l$
• alors : $\lim\limits_{x \to +\infty} g( x)=l$

Ce théorème s’étend aux limites en $-\infty$, en changeant l’intervalle $[a\ ;\,+\infty[$ en $]-\infty\ ;\,a]$, ou à celles en une valeur finie.

Croissance comparée des fonctions puissances et exponentielle en $+\infty$

Utilisons les limites pour comparer la croissance des fonctions puissances et exponentielle en $+\infty$.

Propriété

Pour entier naturel $n\neq 1$ :

$\lim\limits_{x \to +\infty} \dfrac{\text e^x}{x^n}= +\infty$

• Pour un entier naturel $n \geq 1$, lorsque $x$ devient de plus en plus grand, $\text e^x$ devient beaucoup plus grand que $x^n$.

Exemple

Voici une représentation graphique de la fonction $x\mapsto \dfrac{\text e^x}{x^4}$.

Img-07

Lorsque $x$ devient de plus en plus grand, $\dfrac{\text e^x}{x^4}$ devient de plus en plus grand et diverge vers $+\infty$.

Démonstration

Montrons cette propriété en deux étapes.

• Première étape : montrons que la propriété est vraie pour $n = 1$, c’est-à-dire que :

$\lim\limits_{x \to +\infty} \dfrac{\text{e}^x}x= +\infty$

Pour cela, étudions la fonction $f$ définie sur $\mathbb{R}$ par $f(x) = \text{e}^x - \dfrac{x^2}{2}$.

• $f$ est dérivable sur $\mathbb{R}$ et $f^\prime(x) = \text{e}^x - x$ pour tout $x\in \mathbb{R}$.
• $f^\prime$ est dérivable sur $\mathbb{R}$ et $f^{\prime\prime}(x) = \text{e}^x - 1$ pour tout $x\in \mathbb{R}$.
• Pour $x > 0$, $f^{\prime\prime}(x) = \text{e}^x - 1 > 0$.
• La fonction $f^\prime$ est strictement croissante sur ${\mathbb{R}}^{*+}$.
• De plus, $f^\prime(0) = \text{e}^0 - 0 = 1 > 0$.
• $f^\prime(x) > 0$ pour tout réel $x > 0$.
• La fonction $f$ est strictement croissante sur ${\mathbb{R}}^{*+}$.
• En outre, $f(0) = \text{e}^0 - \dfrac{0^2}{2} = 1$.
• $f(x) > 0$ pour tout réel $x > 0$.
• On en déduit que $\text{e}^x >\dfrac{x^2}{2}$ pour tout réel $x > 0$.
• En divisant par $x\neq 0$ les deux membres de l’inégalité, on obtient, pour tout réel $x>0$ :

$\dfrac{{\mathrm{e}}^x}{x} > \frac{x}{2}$

• Or, $\lim\limits_{x \to +\infty} \dfrac{x}{2}= +\infty$.
• D’après le théorème de comparaison :

$\boxed{\lim\limits_{x \to +\infty} { \frac{{\mathrm{e}}^x}{x} }= +\infty}$

• Deuxième étape : montrons maintenant que la propriété est vraie pour tout $n\geq 1$, c’est-à-dire que :

$\lim\limits_{x \to +\infty} \dfrac{\text{e}^x}{x^n}= +\infty$

Soit $n \geq 1$ un entier naturel.

$\begin{aligned} \dfrac{\text{e}^x}{x^n} &= \dfrac{\big(\text{e}^{\frac{x}{n}}\big)^n }{x^n} \ &= \bigg(\dfrac{\text{e}^{\frac{x}{n}}}{x}\bigg)^n \ &= \bigg(\dfrac {e^{\frac xn}} {\frac xn \times n}\bigg)^n \ &= \bigg(\dfrac {e^{\frac xn}} {\frac xn}\bigg)^n \times \bigg(\dfrac {1} {n}\bigg)^n \ &= \bigg(\dfrac{\text{e}^{\frac{x}{n}}}{ \frac{x}{n}}\bigg)^n \times n^{-n} \ &=\bigg(\dfrac{\text e^X}{X}\bigg)^n \times n^{-n}\ \textcolor{#A9A9A9}{\Big[\text{en posant } X=\dfrac xn\Big]} \end{aligned}$

• Quand $x$ tend vers $+\infty$, $X$ tend vers $+\infty$.
• Or, d’après la première étape :

$\lim\limits_{X \to +\infty} \dfrac{\text{e}^{X}}{X} = +\infty$

• D’après les règles opératoires sur les limites :

$\begin{aligned} \lim\limits${X \to +\infty} \bigg(\dfrac{\text{e}^{X}}{X}\bigg)^n &= +\infty \ \lim\limits{X \to +\infty} \bigg(\dfrac{\text{e}^{X}}{X}\bigg)^n \times n^{-n} &= +\infty\ \textcolor{#A9A9A9}{[\text{car } n\geq 1 \text{ est un entier naturel fixé}]} \end{aligned}

• On en déduit que, pour tout entier naturel $n\geq 1$ :

$\boxed{\lim\limits_{x \to +\infty} \dfrac{\text{e}^{x}}{x^n} = +\infty}$