Prolongement par continuité d’une fonction

Le prolongement par continuité est l'une des techniques les plus élégantes de l'analyse mathématique. Elle répond à une question simple mais profonde : lorsqu'une fonction n'est pas définie en un point - souvent à cause d'une division par zéro - peut-on lui attribuer une valeur en ce point de façon à la rendre continue ? La réponse est oui, à une condition précise : la fonction doit admettre une limite finie en ce point. Cette notion est incontournable dès la terminale, et revient constamment en classes préparatoires (MPSI, PCSI, PTSI) ainsi qu'en licence de mathématiques.

Dans ce cours, vous trouverez la définition rigoureuse, les conditions d'application, une méthode pas à pas, les exemples classiques dont le célèbre sinus cardinal sinxx\frac{\sin x}{x}.

Définition du prolongement par continuité

Avant d'énoncer la définition, rappelons le cadre. Une fonction continue est une fonction définie sur un intervalle, sans « saut » : on peut tracer sa courbe représentative sans lever le crayon. La discontinuité la plus simple à corriger est la discontinuité surmontable (ou point isolé) : la fonction n'est pas définie en x0x_0, mais sa limite y existe et est finie.

Dans ce cas précis, on peut combler le trou en assignant cette limite comme valeur au point manquant. C'est exactement ce qu'exprime la définition suivante.

Définition. Soit II un intervalle de R\mathbb{R} et x0Ix_0 \in I. Soit ff une fonction définie sur I{x0}I \setminus \{x_0\}.
On dit que ff est prolongeable par continuité en x0x_0 si et seulement si ff admet une limite finie R\ell \in \mathbb{R} en x0x_0 :

limxx0f(x)=R.\lim_{x \to x_0} f(x) = \ell \in \mathbb{R}.

Le prolongement par continuité de ff en x0x_0 est alors la fonction f~\tilde{f} définie sur II par :

f~(x)={f(x)si xx0,si x=x0.\tilde{f}(x) = \begin{cases} f(x) & \text{si } x \neq x_0, \\ \ell & \text{si } x = x_0. \end{cases}

La fonction f~\tilde{f} est définie et continue sur II tout entier.

Remarque sur la notation. Par abus de notation usuel, on continue souvent à écrire ff pour désigner f~\tilde{f} une fois le prolongement effectué, sans changer de lettre. Dans les énoncés de prépa, l'un ou l'autre usage est courant.

Conditions pour qu’un prolongement par continuité existe

Trois situations peuvent se présenter lorsque l'on tente de prolonger une fonction en un point x0x_0 :

  • La limite est un réel fini \ell : le prolongement existe et est unique. On pose f~(x0)=\tilde{f}(x_0) = \ell. C'est le cas favorable.
  • La limite est ++\infty ou -\infty : aucun prolongement continu n'est possible, car une valeur infinie ne peut pas être assignée à une fonction à valeurs réelles.
  • La limite n'existe pas (limite à gauche \neq limite à droite, ou oscillation sans limite) : aucun prolongement par continuité n'est possible.

Le prolongement, lorsqu'il existe, est toujours unique : il n'y a qu'une seule valeur à attribuer en x0x_0 pour obtenir la continuité. C'est une propriété fondamentale qui repose sur l'unicité de la limite.

⚠️ Piège fréquent : si la fonction est déjà définie en x0x_0 mais n'y est pas continue (discontinuité de saut), on ne parle pas de prolongement par continuité ; la valeur f(x0)f(x_0) est déjà fixée et elle ne coïncide pas avec la limite. Le prolongement par continuité ne s'applique qu'aux points absents du domaine de définition où la limite est finie.

Interprétation graphique et intuition

Imaginez la courbe représentative de ff. En x0x_0, il y a un « trou » : le point de coordonnées (x0,)(x_0,\, \ell) est absent de la courbe, mais la courbe converge vers lui des deux côtés. Prolonger ff par continuité revient simplement à combler ce trou en ajoutant ce point manquant.

Géométriquement : si la courbe « arrive bien à un endroit précis » des deux côtés du point absent, on peut y placer le point manquant. Si au contraire la courbe monte vers l'infini ou oscille indéfiniment, aucun point ne peut boucher le trou.

Méthode pas à pas pour trouver un prolongement par continuité

Voici la démarche à suivre systématiquement dans un exercice ou lors d'une étude de fonction :

  1. Identifier le point problématique x0x_0. C'est généralement un point où le dénominateur s'annule, où une expression logarithmique est indéfinie, ou plus généralement où le domaine de définition DfD_f présente un « trou ».
  2. Calculer limxx0f(x)\displaystyle\lim_{x \to x_0} f(x). Si la limite est une forme indéterminée (00\frac{0}{0}, \frac{\infty}{\infty}, 00 \cdot \infty, etc.), la lever par factorisation, développement limité, règle de L'Hôpital, ou reconnaissance d'un taux d'accroissement.
  3. Vérifier que la limite est finie. Si limxx0f(x)=R\lim_{x \to x_0} f(x) = \ell \in \mathbb{R}, le prolongement existe.
  4. Définir f~(x0)=\tilde{f}(x_0) = \ell et conclure. La nouvelle fonction f~\tilde{f} est continue en x0x_0 ; et même sur II tout entier si ff était déjà continue sur I{x0}I \setminus \{x_0\}.

Exemples classiques de prolongement par continuité

Exemple 1 : le sinus cardinal sinxx\dfrac{\sin x}{x}

C'est l'exemple emblématique, présent dans tous les cours d'analyse. La fonction f:xsinxxf : x \mapsto \dfrac{\sin x}{x} n'est pas définie en 00 (division par zéro). Étudions si elle est prolongeable par continuité en 00.

On reconnaît la définition de la dérivée de sin\sin en 00 :

limx0sinxx=limx0sinxsin0x0=sin(0)=cos(0)=1.\lim_{x \to 0} \frac{\sin x}{x} = \lim_{x \to 0} \frac{\sin x - \sin 0}{x - 0} = \sin'(0) = \cos(0) = 1.

La limite est finie et vaut 11. On définit donc :

sinc(x)={sinxxsi x0,1si x=0.\operatorname{sinc}(x) = \begin{cases} \dfrac{\sin x}{x} & \text{si } x \neq 0, \\[8pt] 1 & \text{si } x = 0. \end{cases}

La fonction sinc\operatorname{sinc} ainsi définie s'appelle le sinus cardinal. Elle est continue sur R\mathbb{R} tout entier. C'est une fonction fondamentale en traitement du signal et en physique.

Exemple 2 : lnxx1\dfrac{\ln x}{x - 1} en x0=1x_0 = 1

La fonction f:xlnxx1f : x \mapsto \dfrac{\ln x}{x-1} est définie sur R+{1}\mathbb{R}_+^* \setminus \{1\}. Étudions le prolongement en 11.

On reconnaît encore un taux d'accroissement, cette fois de la fonction ln\ln en 11 :

limx1lnxx1=limx1lnxln1x1=(ln)(1)=11=1.\lim_{x \to 1} \frac{\ln x}{x - 1} = \lim_{x \to 1} \frac{\ln x - \ln 1}{x - 1} = (\ln)'(1) = \frac{1}{1} = 1.

La limite vaut 11. Le prolongement par continuité en 11 consiste à poser f~(1)=1\tilde{f}(1) = 1.

Exemple 3 : ex1x\dfrac{e^x - 1}{x} en x0=0x_0 = 0

limx0ex1x=limx0exe0x0=exp(0)=e0=1.\lim_{x \to 0} \frac{e^x - 1}{x} = \lim_{x \to 0} \frac{e^x - e^0}{x - 0} = \exp'(0) = e^0 = 1.

On prolonge par continuité en posant f~(0)=1\tilde{f}(0) = 1.

Exemple 4 (contre-exemple) : 1/x en x_0 = 0

La fonction x1xx \mapsto \dfrac{1}{x} n'est pas prolongeable par continuité en 00, car limx0+1x=+\displaystyle\lim_{x \to 0^+} \frac{1}{x} = +\infty. La limite est infinie : aucun prolongement continu n'existe.

⚠️ Attention : lorsque la limite à gauche et la limite à droite existent toutes les deux mais sont différentes, il n'y a pas non plus de prolongement. Par exemple, la fonction signe sgn(x)\operatorname{sgn}(x) a pour limite 1-1 à gauche de 00 et +1+1 à droite : impossible de choisir une valeur en 00 qui rende la fonction continue.

Prolongement par continuité et dérivabilité : quelle différence ?

Une fois que l'on a prolongé ff par continuité en x0x_0 (obtenant f~\tilde{f} continue en x0x_0) on peut se demander si f~\tilde{f} est aussi dérivable en x0x_0. Il faut pour cela étudier le taux d'accroissement :

limxx0f~(x)f~(x0)xx0=limxx0f(x)xx0.\lim_{x \to x_0} \frac{\tilde{f}(x) - \tilde{f}(x_0)}{x - x_0} = \lim_{x \to x_0} \frac{f(x) - \ell}{x - x_0}.

Si cette limite est finie, f~\tilde{f} est dérivable en x0x_0 et sa dérivée est cette limite. Sinon, f~\tilde{f} est continue mais non dérivable en x0x_0 (ce qui est possible et fréquent, comme dans l'exercice 2 ci-dessus).

En prépa, le théorème de prolongement de la dérivée énonce : si ff est continue sur II, dérivable sur I{x0}I \setminus \{x_0\}, et si limxx0f(x)=LR\displaystyle\lim_{x \to x_0} f'(x) = L \in \mathbb{R}, alors ff est dérivable en x0x_0 et f(x0)=Lf'(x_0) = L. Ce théorème est très utile en pratique pour éviter de calculer le taux d'accroissement directement.

Tableau récapitulatif : prolongement par continuité selon le type de limite

Situation en x0x_0Limite en x0x_0Prolongement possible ?Valeur à attribuer
Forme indéterminée 00\frac{0}{0} levableR\ell \in \mathbb{R}✅ Ouif~(x0)=\tilde{f}(x_0) = \ell
Limite infinie ±\pm\infty±\pm\infty❌ NonNon définie
Limites unilatérales différentesN'existe pas❌ NonNon définie
Oscillation sans limiteN'existe pas❌ NonNon définie

Questions fréquentes sur le prolongement par continuité

Qu’est-ce qu’un prolongement par continuité ?

Un prolongement par continuité est une extension du domaine de définition d'une fonction. Si une fonction ff n'est pas définie en un point x0x_0 mais y admet une limite finie \ell, on définit une nouvelle fonction f~\tilde{f} identique à ff en dehors de x0x_0 et valant \ell en x0x_0. La fonction f~\tilde{f} ainsi construite est continue en x0x_0.

Comment savoir si une fonction est prolongeable par continuité ?

Il faut et suffit que ff admette une limite finie en x0x_0. Si la limite est ++\infty, -\infty, ou n'existe pas (oscillation ou sauts différents à gauche et à droite), la fonction n'est pas prolongeable par continuité en ce point.

Quelle est la différence entre prolongement par continuité et dérivabilité ?

Le prolongement par continuité garantit uniquement que la fonction étendue est continue au point ajouté. La dérivabilité est une condition plus forte : elle exige en plus que le taux d'accroissement admette une limite finie en x0x_0. Une fonction peut être continue en un point sans y être dérivable (exemple : la valeur absolue en 00, ou xsin(1/x)x\sin(1/x) prolongée en 00).

Conclusion : maîtriser le prolongement par continuité

Le prolongement par continuité est une technique à la fois simple dans son principe et riche dans ses applications. En résumé : une fonction est prolongeable par continuité en un point x0x_0 absent de son domaine si et seulement si elle y admet une limite finie. Dans ce cas, le prolongement est unique (on attribue cette limite comme valeur en x0x_0) et la nouvelle fonction est continue sur l'intervalle étendu.

Les exemples canoniques à connaître absolument sont sinxx\frac{\sin x}{x}, lnxx1\frac{\ln x}{x-1} et ex1x\frac{e^x-1}{x}, tous prolongeables en 11 ou en 00 avec la valeur 11. La technique clé pour lever les formes indéterminées 00\frac{0}{0} est la factorisation ou la reconnaissance d'un taux d'accroissement.

Enfin, ne confondez jamais continuité et dérivabilité : un prolongement par continuité garantit la continuité au point rajouté, mais la dérivabilité en ce point est une question séparée qui mérite une étude spécifique du taux d'accroissement.