Singularité isolée

Tracé tridimensionnel de la valeur absolue de la fonction gamma complexe

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 $\mathrm{\Omega }$ du plan complexe, $a\in \mathrm{\Omega }$ un point de $\mathrm{\Omega }$ et $f:\mathrm{\Omega }\setminus \{a\}\to ℂ$ 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

Modèle:Ancre 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$. Modèle:Théorème

Modèle:Démonstration/débutLes implications 1⇒2⇒3⇒4 étant immédiates, démontrons 4⇒1. On peut supposer

$a=0$

et se placer sur le disque épointé

$D^{\prime }$

de centre 0 et de rayon r. On considère donc une fonction

$f$

holomorphe sur

$D^{\prime }$

et on suppose que

$\underset{z\to 0}{\lim }zf(z)=0$

. On définit une fonction auxiliaire

$g$

, sur le disque

$D=D^{\prime }\cup \{0\}$

de centre 0 et de rayon r, par :

$g(0)=0\text{et}\mathrm{\forall }z\in D^{\prime },g(z)=z^{2}f(z)$.

D'après les hypothèses,

$g$

est holomorphe sur

$D^{\prime }$

et dérivable en 0 (avec

$g^{\prime }(0)=\underset{z\to 0}{\lim }\frac{g(z)}{z}=0$

). Par conséquent,

$g$

est holomorphe sur

$D$

 ; elle est donc développable en série entière au voisinage de 0 (le rayon de convergence de la série est au moins égal à r) :

$g(z)=\sum _{n=0}^{+\mathrm{\infty }}{a}_n{z}^n$

et les deux premiers coefficients sont $a_0=g(0)=0$ et $a_1=g^{\prime }(0)=0$.

La série entière

$\sum _{n\ge 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. Modèle:Démonstration/fin

Par exemple, la fonction

$z\in {ℂ}^{*}⟼\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 {ℂ}^{*}⟼\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=-\mathrm{\infty }}^{+\mathrm{\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 an sont nuls pour les indices n<0
Pôle d'ordre k	Les coefficients an sont nuls pour les indices n < -k et a-k ≠ 0
Singularité essentielle	Il existe une infinité d'indices négatifs n pour lesquels an est non nul

Voir aussi

• Point de branchement
• Série lacunaire

Liens externes

• Modèle:MathWorld
• Modèle:MathWorld
• Modèle:MathWorld

Modèle:Portail