Limites de référence

Cette page est une annexe de l'article Limite (mathématiques élémentaires), conçue pour être une liste la plus complète possible des limites des suites usuelles, et des limites des fonctions usuelles partout où il y a lieu d'étudier une limite, c'est-à-dire aux bornes du domaine de définition.

En effet la plupart des fonctions usuelles sont continues sur leur domaine de définition <math>D \,\!</math> donc si <math>a \in D \,\!</math>, on a <math>\lim_{x \to a} f(x) = f(a) \,\!</math>.

Fonctions polynomiales et rationnelles

Fonctions constantes

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & \lambda \\ \end{array} </math> avec <math>\lambda\in\R</math>

<math>\lim_{x \to -\infty} f(x) = \lim_{x \to +\infty} f(x) = \lambda \,\!</math>

Monômes...

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & x^n \\ \end{array} </math> avec <math>n\in\N^*</math>

En <math>+\infty \,\!</math> : <math>\lim_{x \to +\infty} x^n = +\infty \,\!</math> En <math>-\infty \,\!</math> : Pour <math>n</math> pair : <math>\lim_{x \to -\infty} x^n = +\infty\,\!</math> Pour <math>n</math> impair : <math>\lim_{x \to -\infty} x^n = -\infty\,\!</math>

...et leurs inverses

<math> \begin{array}{ccccc} f & : & \R^* & \rightarrow & \R \\ & & x & \mapsto & \cfrac{1}{x^n} \\ \end{array} </math> avec <math>n\in\N^*</math>

En <math>\pm \infty \,\!</math> : <math>\lim_{x \to -\infty} \frac{1}{x^n} = \lim_{x \to +\infty} \frac{1}{x^n} = 0 \,\!</math> En <math>0 \,\!</math> les fonctions ne sont pas définies : Pour <math>n</math> pair : <math>\lim_{x \to 0\atop x \neq 0} \frac{1}{x^n} = +\infty \,\!</math> Pour <math>n</math> impair : <math>\lim_{x \to 0\atop x < 0} \frac{1}{x^n} = -\infty \,\!</math> <math>\lim_{x \to 0\atop x > 0} \frac{1}{x^n} = +\infty \,\!</math>

Polynômes

Les limites en <math>\pm\infty \,\!</math> d'une fonction polynomiale <math>P(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_2 x^2 + a_1 x + a_0 \,\!</math> avec <math>a_n \neq 0 \,\!</math> sont les mêmes que celles du terme de plus haut degré <math>a_n x^n \,\!</math>, dit terme prédominant.

On se rapporte donc à l'étude des monômes, et on conclut selon la parité de <math>n \,\!</math> et le signe de <math>a_n \,\!</math>.

Monômes de puissance quelconque

Puissances positives :

<math> \begin{array}{ccccc} f & : & \R_+ & \rightarrow & \R \\ & & x & \mapsto & x^\alpha \\ \end{array} </math> avec <math>\alpha>0</math>

<math>\lim_{x \to +\infty} x^\alpha = +\infty</math> Cas particulier : <math>\sqrt{x} = x^{\frac{1}{2}}</math>, donc <math>\lim_{x \to +\infty} \sqrt{x} = +\infty</math>

Puissances négatives :

<math> \begin{array}{ccccc} f & : & \R^*_+ & \rightarrow & \R \\ & & x & \mapsto & x^\alpha \\ \end{array} </math> avec <math>\alpha<0</math>

<math>\lim_{x \to 0\atop x > 0} x^\alpha = +\infty</math> <math>\lim_{x \to +\infty} x^\alpha = 0</math>

Fonctions logarithmes, exponentielle et puissances

Logarithmes

Logarithme népérien (ou naturel) :

<math> \begin{array}{ccccc} f & : & \R_+^* & \rightarrow & \R \\ & & x & \mapsto & \ln(x) \end{array} </math>

<math>\lim_{x \to 0 \atop x > 0} \ln(x) = -\infty</math> <math>\lim_{x \to +\infty} \ln(x) = +\infty</math>

Logarithme de base <math>a</math> :

<math> \begin{array}{ccccc} f & : & \R_+^* & \rightarrow & \R \\ & & x & \mapsto & \log_a(x) \end{array} </math> avec <math>a>0</math>

Base <math>a > 1</math> : <math>\lim_{x \to 0 \atop x > 0} \log_a(x) = -\infty \,\!</math> <math>\lim_{x \to +\infty} \log_a(x) = +\infty \,\!</math> Base <math>a < 1</math> : <math>\lim_{x \to 0 \atop x > 0} \log_a(x) = +\infty \,\!</math> <math>\lim_{x \to +\infty} \log_a(x) = -\infty \,\!</math>

Exponentielle et puissance d'un réel positif

La fonction exponentielle :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & {\rm e}^x \end{array} </math>

<math>\lim_{x \to -\infty} {\rm e}^x = 0</math> <math>\lim_{x \to +\infty} {\rm e}^x = +\infty</math>

Fonction exponentielle de base a :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & a^x = {\rm e}^{x\ln a} \end{array} </math> avec <math>a>0</math>

Base <math>a > 1</math> : <math>\lim_{x \to -\infty} a^x = 0 \,\!</math> <math>\lim_{x \to +\infty} a^x = +\infty \,\!</math> Base <math>a < 1</math> : <math>\lim_{x \to -\infty} a^x = +\infty \,\!</math> <math>\lim_{x \to +\infty} a^x = 0 \,\!</math>

Fonctions trigonométriques et hyperboliques

Fonctions trigonométriques

Tangente :

<math> \begin{array}{ccccc} f & : & \R\setminus\left\{\cfrac{\pi}{2}+k\pi, k\in\Z\right\} & \rightarrow & \R \\ & & x & \mapsto & \tan(x) = \cfrac{\sin(x)}{\cos(x)} \end{array} </math> Remarque : <math>\R\setminus\left\{\cfrac{\pi}{2}+k\pi, k\in\Z\right\} = \underset{k \in \Z}{\bigcup} \left]k\pi - \cfrac{\pi}{2}; k\pi + \cfrac{\pi}{2} \right[</math>

Pour tout entier relatif <math>k \in \Z</math> : <math>\lim_{x \to -\frac{\pi}{2} + k \pi \atop x > -\frac{\pi}{2} + k \pi} \tan(x) = -\infty</math> <math>\lim_{x \to +\frac{\pi}{2} + k \pi \atop x < +\frac{\pi}{2} + k \pi} \tan(x) = +\infty</math>

Cotangente :

<math> \begin{array}{ccccc} f & : & \R\setminus\left\{k\pi, k\in\Z\right\} & \rightarrow & \R \\ & & x & \mapsto & \cot(x) = \cfrac{\cos(x)}{\sin(x)} \end{array} </math> Remarque : <math>\R\setminus\left\{k\pi, k\in\Z\right\} = \underset{k \in \Z}{\bigcup} \left]k\pi; (k+1)\pi \right[</math>

Pour tout entier relatif <math>k \in \Z</math> : <math>\lim_{x \to k \pi \atop x > k \pi} \cot(x) = -\infty</math> <math>\lim_{x \to (k + 1) \pi \atop x < (k + 1) \pi} \cot(x) = +\infty</math>

Autres fonctions trigonométriques :

Fonctions hyperboliques

Sinus hyperbolique :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & \operatorname{sinh}(x) = \cfrac{{\rm e}^x-{\rm e}^{-x}}{2} \end{array} </math>

<math>\lim_{x \to -\infty} \operatorname{sinh}(x) = -\infty</math> <math>\lim_{x \to +\infty} \operatorname{sinh}(x) = +\infty</math>

Cosinus hyperbolique :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & \operatorname{cosh}(x) = \cfrac{{\rm e}^x+{\rm e}^{-x}}{2} \end{array} </math>

<math>\lim_{x \to -\infty} \operatorname{cosh}(x) = +\infty</math> <math>\lim_{x \to +\infty} \operatorname{cosh}(x) = +\infty </math>

Tangente hyperbolique :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & \operatorname{tanh}(x) = \cfrac{\operatorname{sinh}(x)}{\operatorname{cosh}(x)} \end{array} </math>

<math>\lim_{x \to -\infty} \operatorname{tanh}(x) = -1</math> <math>\lim_{x \to +\infty} \operatorname{tanh}(x) = 1</math>

Fonctions réciproques

Arc tangente :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & \arctan(x) \end{array} </math>

<math>\lim_{x \to -\infty} \arctan(x) = -\frac{\pi}{2}</math> <math>\lim_{x \to +\infty} \arctan(x) = \frac{\pi}{2}</math>

Argument sinus hyperbolique :

<math> \begin{array}{ccccc} f & : & \R & \rightarrow & \R \\ & & x & \mapsto & \operatorname{arsinh}(x) \end{array} </math>

<math>\lim_{x \to -\infty} \operatorname{arsinh}(x) = -\infty</math> <math>\lim_{x \to +\infty} \operatorname{arsinh}(x) = +\infty</math>

Argument cosinus hyperbolique :

<math> \begin{array}{ccccc} f & : & [1;+\infty[ & \rightarrow & \R \\ & & x & \mapsto & \operatorname{arcosh}(x) \end{array} </math>

<math>\lim_{x \to +\infty} \operatorname{arcosh}(x) = +\infty</math>

Argument tangente hyperbolique :

<math> \begin{array}{ccccc} f & : & ]-1;1[ & \rightarrow & \R \\ & & x & \mapsto & \operatorname{artanh}(x) \end{array} </math>

<math>\lim_{x \to -1} \operatorname{artanh}(x) = -\infty</math> <math>\lim_{x \to 1} \operatorname{artanh}(x) = +\infty</math>

Suites usuelles

Une suite est en général définie terme-à-terme en fonction de n :

<math>\forall n \in \N, \ u_n=f(n) \,\!</math>

ou alors définie par son premier terme <math>u_0 \in \R \,\!</math> et une relation de récurrence :

<math>\forall n \in \N, \ u_{n+1} = \varphi(u_n) \,\!</math>

Dans le premier cas l'étude de la limite est simplement celle de la limite de la fonction <math>f \,\!</math> en <math>+\infty \,\!</math> ; dans le second l'étude est souvent plus difficile. On peut cependant conclure directement dans certains cas particuliers.

Suites arithmétiques

Modèle:Article détaillé <math>\forall n \in \N, \ u_{n+1} = u_n + r \,\!</math>

Dans ce cas <math>\varphi(x)=x+r \,\!</math> et <math>r \in \R \,\!</math> est appelé la raison de la suite <math>u \,\!</math> : on peut donner une expression directe de <math>u_n \,\!</math> : <math>\forall n \in \N, \ u_n=u_0+nr \,\!</math>.

• Si <math>r>0 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = +\infty \,\!</math>

• Si <math>r<0 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = -\infty \,\!</math>

Suites géométriques

Modèle:Article détaillé <math>\forall n \in \N, \ u_{n+1} = q u_n \,\!</math>

Dans ce cas <math>\varphi(x)=q x \,\!</math> et <math>q \in \R \,\!</math> est encore appelé la raison de la suite <math>u \,\!</math> : on peut donner une expression directe de <math>u_n \,\!</math> : <math>\forall n \in \N, \ u_n=q^n u_0 \,\!</math>.

• Si <math>|q|<1 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = 0 \,\!</math>

• Si <math>q=1 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = u_0 \,\!</math>

• Si <math>q>1 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = +\infty \,\!</math>

• Si <math>q<-1 \,\!</math> alors <math>u \,\!</math> n'a pas de limite mais les suites de rangs pairs et de rangs impairs vérifient :

<math>\lim_{n \to +\infty} (u_{2n}) = +\infty \,\!</math>

<math>\lim_{n \to +\infty} (u_{2n+1}) = -\infty \,\!</math>

Suites arithmético-géométriques

Modèle:Article détaillé <math>\forall n \in \N, \ u_{n+1} = q u_n + r \,\!</math>

Dans ce cas <math>\varphi(x)=q x + r \,\!</math> (avec <math>q \neq 1 \,\!</math>) et on peut donner une expression directe de <math>u_n \,\!</math> : <math>\forall n \in \N, \ u_n = q^n u_0 + r \frac{q^n-1}{q-1} \,\!</math>.

• Si <math>|q|<1 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = \frac{r}{1-q} \,\!</math>

• Si <math>q>1 \,\!</math> on a : <math>\lim_{n \to +\infty} (u_n) = +\infty \,\!</math>

• Si <math>q<-1 \,\!</math> alors <math>u \,\!</math> n'a pas de limite mais les suites de rangs pairs et de rangs impairs vérifient :

<math>\lim_{n \to +\infty} (u_{2n}) = +\infty \,\!</math>

<math>\lim_{n \to +\infty} (u_{2n+1}) = -\infty \,\!</math>

Suites homographiques

<math>\forall n \in \N, \ u_{n+1} = \frac{a u_n + b}{c u_n + d} \,\!</math>

Dans ce cas <math>\varphi(x)=\frac{ax+b}{cx+d} \,\!</math> (avec <math>c \neq 0 \,\!</math> et <math>ad-bc \neq 0 \,\!</math>) et on peut déterminer les limites éventuelles selon les valeurs du discriminant <math>\Delta = (a-d)^2 + 4bc \,\!</math> de l'équation<math>\varphi(x) = x \,\!</math>.

• Si <math>\Delta < 0 \,\!</math> la suite ne peut pas avoir de limite.

• Si <math>\Delta = 0 \,\!</math> la seule limite <math>\ell \,\!</math> possible est <math>\frac{a-d}{2c} \,\!</math>.

• Si <math>\Delta > 0 \,\!</math> les seules limites <math>\ell \,\!</math> possibles sont <math>\frac{a-d-\sqrt{\Delta}}{2c} \,\!</math> ou <math>\frac{a-d+\sqrt{\Delta}}{2c} \,\!</math>.

Cependant, dans les deux cas précédents, la convergence n'est pas assurée. Il faut étudier selon les valeurs du terme initial <math>u_0 \,\!</math> la distance <math>|u_n-\ell| \,\!</math> pour chaque valeur éventuelle de <math>\ell \,\!</math>.

Voir aussi

• Opérations sur les limites
• Théorème des croissances comparées