Cours : 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, pour tout réel $A$ donné, les images $f(x)$ sont supérieures à $A$ à partir de $x$ assez grand.
• On note alors :

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

• Une fonction $f$ a pour limite $-\infty$ en $+\infty$ si, pour tout réel $A$ donné, les images $f(x)$ sont inférieures à $A$ à partir de $x$ assez grand.
• On note alors :

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

Regardons la courbe représentative suivante :

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

Regardons maintenant cette courbe représentative :

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

Exemple

Les fonctions carré, cube ou racine carrée ont pour limite $+\infty$ en $+\infty$ :

$$\begin{aligned} \lim\limits_{x \to +\infty} x^2 &= \lim\limits_{x \to +\infty} x^3 = \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 ce paragraphe, nous allons voir que des fonctions peuvent avoir une limite finie en $-\infty$ ou $+\infty$.

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$ en $+\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, la droite d’équation $y=l$ est asymptote horizontale 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.
Réciproquement, 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 : celle-ci se rapproche au fur et à mesure de l’asymptote horizontale quand $x$ tend vers $+\infty$ ou $-\infty$.

Exemple

Intéressons-nous à la fonction inverse.
Soit la fonction $f$ telle que : $f(x) = \dfrac 1x$ pour $x \neq 0$ un réel. 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, pour tout réel $A$, les images $f(x)$ sont supérieures à $A$ quand $x$ est 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, pour tout réel $A$, les images $f(x)$ sont inférieures à $A$ quand $x$ est suffisamment proche de $a$.
• On note alors :

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

Attention

Dans certains cas, la limite quand $x$ tend vers $a$ par valeurs inférieures et celle quand $x$ tend vers $a$ par valeurs supérieures sont différentes.

• 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.
Réciproquement, 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 : celle-ci se rapproche au fur et à mesure de l’asymptote verticale quand $x$ tend vers $a$.

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, comme pour les suites, nous pouvons déterminer une limite à partir de règles opératoires sur les limites et de 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 &= 0 \\ \\ \lim\limits_{x\to +\infty} \text{e}^x&=+\infty \end{aligned}$$

Démonstration

Montrons ces derniers résultats qui sont une nouveauté en terminale, à l’aide des suites géométriques.

• Nous cherchons la limite en $+\infty$ de la fonction exponentielle.

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

La suite $(\text{e}^n)$ est une suite géométrique de raison $\text{e}\approx 2,718 > 1$.

• Elle diverge donc vers $+\infty$.

D’où :

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

• Nous cherchons maintenant la limite en $-\infty$ de la fonction exponentielle.

En posant $X = -x$, on a : quand $x$ tend vers $-\infty$, $X$ tend vers $+\infty$.
Par ailleurs, on se souvient de la propriété : $\text{e}^{xy}={(e^x)}^y$.

On obtient :

$$\begin{aligned} \lim\limits_{x \to -\infty} \text{e}^x &= \lim\limits_{x \to +\infty} \text{e}^{-x} \\ &=\lim\limits_{n \to +\infty} \text{e}^{-n} \\ &=\lim\limits_{n \to +\infty} {\big(\text{e}^{-1}\big)}^n \\ &=\lim\limits_{n \to +\infty} \Big(\dfrac 1{\text e}\Big)^n \end{aligned}$$

La suite $\bigg(\Big(\dfrac 1{\text e}\Big)^n\bigg)$ est une suite géométrique de raison $0<\dfrac 1{\text e}\approx 0,37 <1$.

• Elle converge donc vers $0$.

D’où, enfin :

$$\begin{aligned} \lim\limits_{x \to -\infty} \text{e}^x &= \lim\limits_{n \to +\infty} \Big(\dfrac 1{\text e}\Big)^n \\ &=0 \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$, $l$ et $l^{\prime}$ deux réels.

Limites de la somme de deux fonctions

$\lim\limits_{x \to a} 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)$	$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)$	$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$
$\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.

• C’est notamment le cas pour les fonctions polynômiales ou rationnelles, où on factorise par le terme de plus haut degré.

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^3$ (nous nous intéressons à $x$ grand, nous le considérons comme non nul) :

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

• Calculons la limite de cette nouvelle expression :

$$\begin{aligned} \textcolor{#A9A9A9}{\text{Nous avons\ : }}&\lim\limits_{x \to +\infty} x^3 = +\infty \\ \textcolor{#A9A9A9}{\text{et\ : }}&\lim\limits_{x \to +\infty} \dfrac 2{x^2} = \lim\limits_{x \to +\infty} \dfrac 5{x^3} =0 \\ \textcolor{#A9A9A9}{\text{Par somme\ : }}&\lim\limits_{x \to +\infty} 1- \dfrac 2{x^2}+\dfrac 5{x^3} = 1 \\ \\ \textcolor{#A9A9A9}{\text{Enfin, par produit\ : }}&\lim\limits_{x \to +\infty} x^3\left(1- \dfrac 2{x^2}+\dfrac 5{x^3}\right)= +\infty \end{aligned}$$

• $\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 telles que : $g\,:\,I \to J$ et $f\,:\,J \to \mathbb{R}$.

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

$$\lim\limits_{x \to a} f\big(g(x)\big) = \lim\limits_{x \to a} (f\circ g)(x) = L$$

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, avec cette fois un intervalle ouvert contenant $a$.

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, avec cette fois un intervalle ouvert contenant $a$.