7.7 Limites infinies en un point

Si aucune des limites

x \to x_{0} lim f (x), x \to x_{0}^{-} lim f (x), x \to x_{0}^{+} lim f (x)

n’existe au sens des définitions précédentes (c’est-à-dire que

f (x)

tend vers un

L \in R

bien défini), alors un des scénarios possibles est que les valeurs de

f (x)

deviennent arbitrairement grandes à l’approche de

x_{0}

, avec un signe bien défini.

Définition 7.4.

Soit

f

définie dans un voisinage de

x_{0}

.
Limite infinie lorsque

x \to x_{0}

$x \to x_{0} lim f (x) = + \infty$ si et seulement si pour tout $M > 0$ il existe $δ > 0$ tel que $f (x) ⩾ M$ dès que $0 < ∣ x - x_{0} ∣ ⩽ δ$ .
$x \to x_{0} lim f (x) = - \infty$ si et seulement si pour tout $m < 0$ il existe $δ > 0$ tel que $f (x) ⩽ m$ dès que $0 < ∣ x - x_{0} ∣ ⩽ δ$

Limite infinie lorsque

x \to x_{0}^{+}

$x \to x_{0}^{+} lim f (x) = + \infty$ si et seulement si pour tout $M > 0$ il existe $δ > 0$ tel que $f (x) ⩾ M$ dès que $x_{0} < x ⩽ x_{0} + δ$ .
$x \to x_{0}^{+} lim f (x) = - \infty$ si et seulement si pour tout $m < 0$ il existe $δ > 0$ tel que $f (x) ⩽ m$ dès que $x_{0} < x ⩽ x_{0} + δ$ .

Limite infinie lorsque

x \to x_{0}^{-}

$x \to x_{0}^{-} lim f (x) = + \infty$ si et seulement si pour tout $M > 0$ il existe $δ > 0$ tel que $f (x) ⩾ M$ dès que $x_{0} - δ ⩽ x < x_{0}$ .
$x \to x_{0}^{-} lim f (x) = - \infty$ si et seulement si pour tout $m < 0$ il existe $δ > 0$ tel que $f (x) ⩽ m$ dès que $x_{0} - δ ⩽ x < x_{0}$ .

Exemple 7.18.

Soit

f (x) = \frac{1}{x ^{2}}

, au voisinage de

x = 0

. Montrons que

x \to 0 lim f (x) = + \infty,

au sens de la définition ci-dessus. En effet, fixons un seuil

M > 0

, et montrons que

f (x) ⩾ M

pour tout

x

suffisamment proche de

0

On remarque que pour un

M > 0

fixé (grand),

f (x) ⩾ M \Leftrightarrow \frac{1}{x ^{2}} ⩾ M \Leftrightarrow x^{2} ⩽ \frac{1}{M} \Leftrightarrow ∣ x ∣ ⩽ \frac{1}{M} .

Définissons donc

δ := \frac{1}{M}

. Comme conséquence de ce qui précède, en prenant un

x

tel que

0 < ∣ x ∣ ⩽ δ

, on garantit que

f (x) ⩾ M

Exemple 7.19.

Considérons ensuite

f (x) = \frac{1}{x}

au voisinage de

x = 0

. Dans ce cas on peut obtenir des limites infinies seulement au sens latéral:

x \to 0^{+} lim \frac{1}{x} = + \infty, x \to 0^{-} lim \frac{1}{x} = - \infty .

Exemple 7.20.

Pour

f (x) = lo g_{a} (x)

, dont le domaine est

R_{+}^{*}

x \to 0^{+} lim lo g_{a} (x) = {- \infty + \infty si a > 1, si 0 < a < 1 .

7.7.1 Propriétés des limites infinies en un point

Comme on sait depuis le chapitre sur les suites, les limites infinies ne se manipulent pas comme leurs analogues finies.
La résultat suivant est l’exact analogue de la proposition donnée pour les suites qui tendent vers l’infini. On ne les formule que dans le cas de la limite

x \to x_{0}

. On laisse au lecteur le soin de formuler les propriétés analogues pour les limites latérales

x \to x_{0}^{\pm}

Proposition 7.2.

Soient

f, g

définies dans un voisinage épointé de

x_{0}

, et où

f

est telle que

lim_{x \to x_{0}} f (x) = + \infty

. Alors

$lim_{x \to x_{0}} \frac{1}{f ( x )} = 0$ .
Si $lim_{x \to x_{0}} g (x) = + \infty$ , alors $x \to x_{0} lim (f (x) + g (x)) = + \infty, et x \to x_{0} lim f (x) g (x) = + \infty .$
Si $g$ est bornée dans un voisinage épointé de $x_{0}$ , alors $x \to x_{0} lim (f (x) + g (x)) = + \infty, et x \to x_{0} lim \frac{g ( x )}{f ( x )} = 0 .$
Si $lim_{x \to x_{0}} g (x) = L \neq = 0$ , alors $x \to x_{0} lim f (x) g (x) = {+ \infty - \infty si L > 0, si L < 0 .$
Si il existe $δ > 0$ tel que $g (x) ⩾ δ$ dans un voisinage épointé de $x_{0}$ , alors $lim_{x \to x_{0}} f (x) g (x) = + \infty$ .
Si $g (x) ⩾ f (x)$ pour tout $x$ dans un voisinage épointé de $x_{0}$ , alors $lim_{x \to x_{0}} g (x) = + \infty$ .

Exemple 7.21.

Parfois, on peut devoir faire une factorisation avant d’utiliser les propriétés ci-dessus:

x \to - 1^{+} lim \frac{x ^{2} - 1}{x ^{2} + 2 x + 1} = x \to - 1^{+} lim \frac{( x - 1 ) ( x + 1 )}{( x + 1 ) ^{2}} = x \to - 1^{+} lim \to - 2 \neq = 0 (x - 1) \to + \infty \frac{1}{x + 1} = - \infty .

Quiz 7.7.1.Vrai ou faux?

Quiz 7.7.2.Soient

f, g

deux fonctions définies au voisinage de

x_{0}

. Quelles affirmations sont toujours vraies?