# Singularité isolée

En analyse complexe, une singularité isolée (appelée aussi point singulier isolé) d'une fonction holomorphe f est un point a du plan complexe, tel qu'il existe un voisinage ouvert U de a tel que f soit holomorphe sur U \ {a}.
L'étude des singularités isolées d'une fonction holomorphe est fondamentale dans le calcul des résidus, notamment pour le théorème des résidus.
Les singularités isolées sont à distinguer d'autres singularités apparaissant en analyse complexe, comme les points de branchement et les coupures qui sont associées, comme c'est le cas pour les logarithmes complexes et les racines n-ièmes.
Les singularités isolées se classent en trois types : singularités effaçables (parfois appelées singularités apparentes), pôles et singularités essentielles.

## Classification

Considérons un ouvert $\Omega$ du plan complexe, $a\in \Omega$ un point de $\Omega$ et $f\colon \Omega \setminus \{a\}\to \mathbb {C}$ une fonction holomorphe. Le point $a$ est par définition une singularité isolée (ou point singulier isolé). Trois cas peuvent alors se produire.

### Singularité effaçable

La singularité $a$ de $f$ est dite effaçable (ou apparente) si $f$ se prolonge au voisinage de $a$ en une fonction holomorphe. Autrement dit, on peut « effacer » la singularité $a$ et étendre $f$ en une fonction holomorphe définie au voisinage de $a$, que l'on note toujours en général, et de manière abusive, $f$.
Théorème de prolongement de Riemann — Les conditions suivantes sont équivalentes :
* La singularité $a$ de $f$ est effaçable.
* $f$ possède un prolongement continu en $z=a$.
* Il existe un voisinage épointé de $a$ sur lequel $f$ est bornée.
* $\lim _{z\to a}(z-a)f(z)=0$.
$a=0$
$D'$
$f$
$D'$
lim$_{z→0}$zf(z)=0{\textstyle \lim _{z\to 0}zf(z)=0}
$g$
$D=D'\cup \{0\}$
$g(0)=0\quad {\text{et}}\quad \forall z\in D',~g(z)=z^{2}f(z)$
$g$
$D'$
$g'(0)=\lim _{z\to 0}{\frac {g(z)}{z}}=0$
$g$
$D$
$g(z)=\sum _{n=0}^{+\infty }a_{n}z^{n}$
et les deux premiers coefficients sont $a_{0}=g(0)=0$ et $a_{1}=g'(0)=0$.
$\sum _{n\geq 2}a_{n}z^{n-2},$
qui a même rayon de convergence que la précédente, définit alors un prolongement holomorphe de $f$ au voisinage de 0.
Par exemple, la fonction
    $z\in \mathbb {C} ^{*}\longmapsto {\frac {\sin z}{z}}$
admet une singularité effaçable en $z=0$, puisqu'au voisinage de $z=0$, $\sin z\sim z$ donc $f(z)\sim 1$, la fonction $f$ reste bornée au voisinage de l'origine.
Si $a$ est une singularité effaçable, alors le résidu de $f$ en $a$ est nul (la réciproque est fausse).

### Pôle

La singularité $a$ est appelée un pôle de $f$ si d'une part la singularité est non effaçable et d'autre part pour $n$ entier suffisamment grand, la fonction $z\mapsto (z-a)^{n}f(z)$ se prolonge en une fonction holomorphe en $a$. Le plus petit entier $n$ possible est appelé l'ordre du pôle $a$. Il est donc strictement positif et caractérisé, d'après le théorème précédent, par le fait que lorsque $z$ tend vers $a$, $(z-a)^{n}f(z)$ tend vers une limite finie non nulle.
De manière équivalente, $a$ est un pôle si et seulement si $|f|$ tend vers l'infini en $a$.
Les fractions rationnelles sont des exemples typiques de fonctions présentant des pôles. On peut aussi citer les célèbres fonctions gamma d'Euler et zêta de Riemann qui présentent toutes les deux des pôles.
Une fonction holomorphe n'admettant que des pôles comme singularités isolées est appelée une fonction méromorphe.

### Singularité essentielle

Si la singularité $a$ n'est ni une singularité effaçable, ni un pôle, on dit que c'est une singularité essentielle. Si c'est le cas, le comportement de $f$ au voisinage de $a$ est très compliqué. En particulier, on peut citer le théorème de Weierstrass-Casorati et les deux théorèmes de Picard.
Par exemple, la fonction
    $z\in \mathbb {C} ^{*}\longmapsto \exp \left({\frac {1}{z}}\right)$
a une singularité essentielle à l'origine.

## Série de Laurent

Si f est une fonction holomorphe sur un disque épointé D de centre $a$ et de rayon r (c'est-à-dire le disque de centre $a$ et de rayon r privé du point $a$), il existe une unique suite de complexes $(a_{n})_{n\in \mathbb {Z} }$ telle que sur D:
    $f(z)=\sum _{n=-\infty }^{+\infty }a_{n}{(z-a)}^{n}$
où la série converge normalement sur tout compact du disque épointé D.
On peut lire la nature de la singularité sur la suite des coefficients $a_{n}$ d'indice strictement négatif:
Relation série de Laurent/singularité :
| Nature de la singularité | Information sur les coefficients de la série de Laurent |
| Singularité effaçable | Les coefficients a$_n$ sont nuls pour les indices n<0 |
| Pôle d'ordre k | Les coefficients a$_n$ sont nuls pour les indices n < -k et a$_{-k}$ ≠ 0 |
| Singularité essentielle | Il existe une infinité d'indices négatifs n pour lesquels a$_n$ est non nul |