Singularité en analyse complexe

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En analyse complexe à une variable, une singularité d'une fonction f est un point z au voisinage épointé duquel la fonction f est définie et holomorphe. Autrement dit, on dispose d'une fonction f d'une variable complexe régulière (= holomorphe) définie sur un ouvert U du plan complexe C ; une singularité de f est un point isolé du bord de U. Le premier paragraphe clarifie la définition.

Les singularités se classent en trois types : singularités effaçables, pôles, et singularités essentielles.

Définition détaillée[modifier | modifier le code]

Une fonction holomorphe est une fonction f d'une variable complexe, définie et dérivable sur un ouvert U. Une telle fonction est développable en série entière au voisinage de chaque point de U : ce premier résultat révèle la rigidité qui caractérise l'analyse complexe. On peut s'intéresser au comportement de f sur le bord de U.

Une singularité de f est un point isolé du bord de U.[Informations douteuses] Étudier les singularités d'une fonction holomorphe, c'est étudier le comportement de f en les points isolés du bord de U.

Un voisinage épointé de Z est un voisinage de Z privé de Z. Cette définition permet de caractériser les points isolés du bord :

Un nombre complexe Z est un point isolé du bord de U si et seulement si U est un voisinage épointé de Z.[Informations douteuses]

On peut donc redéfinir[pas clair] les singularités de f comme les nombres complexes au voisinage épointé desquels f définit une fonction holomorphe. Pour des raisons pratiques et calculatoires, de nombreux auteurs se placent directement sur un « disque épointé ».

Un disque épointé D en Z est un disque centré en Z privé du point Z. Autrement dit, D est l'ensemble des nombres complexes z tels que 0<|z-Z|<rr est le rayon du disque épointé. Bien sûr, un disque épointé est un cas particulier de voisinage épointé.

Classification[modifier | modifier le code]

Singularité effaçable[modifier | modifier le code]

Une singularité Z d'une fonction holomorphe f est dite effaçable si f se prolonge au voisinage de Z en une fonction holomorphe. Autrement dit, on peut « effacer » la singularité Z, l'oublier, et penser f comme une fonction holomorphe définie au voisinage de Z.

Théorème de prolongement de Riemann — Les conditions suivantes sont équivalentes :

  1. La singularité Z de f est effaçable.
  2. f possède un prolongement continu en Z.
  3. Il existe un voisinage épointé de Z sur lequel f est bornée.
  4. \lim_{z\to Z}(z - Z)f(z)=0.

Exemple : 0 est une singularité effaçable de la fonction ℂ*→ℂ, z↦(sin z)/z.

Pôle[modifier | modifier le code]

La singularité Z est appelée un pôle de f si :

  • la singularité est non effaçable et
  • pour n entier suffisamment grand, la fonction \scriptstyle z\mapsto (z-Z)^nf(z) se prolonge en une fonction holomorphe en Z.

Le plus petit entier n possible est appelé l'ordre du pôle Z. Il est donc strictement positif et caractérisé, d'après le théorème précédent, par le fait que quand z tend vers Z, (z-Z)^nf(z) tend vers une limite finie non nulle.

Une singularité Z de f est un pôle si et seulement si f tend vers l'infini en Z.

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.

Singularité essentielle[modifier | modifier le code]

La singularité Z est essentielle dans tous les autres cas. Le comportement de f au voisinage épointé de Z est dans ce cas très compliqué. En particulier, on peut citer le théorème de Weierstrass-Casorati et les deux théorèmes de Picard.

Exemple classique : 0 est une singularité essentielle de la fonction ℂ*→ℂ, z↦exp(1/z).

Série de Laurent[modifier | modifier le code]

Article détaillé : série de Laurent.

Si f est une fonction holomorphe sur un disque épointé D de centre a et de rayon r, il existe une unique suite de complexes (a_n)_{n\in \mathbf{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 an sont nuls pour les indices n<0
Pôle d'ordre k Les coefficients an sont nuls pour les indices n<0, 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[modifier | modifier le code]