Singularité éliminable

Singularité éliminable

Singularité en analyse complexe

En analyse complexe à une variable, une singularité d'une fonction f est un point z sur le voisinage apointé 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.

Sommaire

Définition détaillée

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éries entières au voisinage de chaque point de U: ce premier résultat révèle la rigidité qui caractérise l'analyse complexe. Il peut être intéressant de s'intéresser au comportement de f sur le bord de U.

Une singularité de f est un point isolé du bord de U. É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 apointé 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 apointé de Z.

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

Un disque apointé 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 apointé. Bien sûr, un disque apointé est un cas particulier de voisinage apointé.

Classification

Singularité effaçable

Une singularité Z d'une fonction holomorphe est 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.

La singularité Z de f est effaçable si et seulement si f est une fonction bornée sur un voisinage apointé de Z.

En particulier, un prolongement continu g de f en une singularité est nécessairement une fonction holomorphe. En effet, l'existence d'un prolongement continu de f implique que f est bornée sur tout voisinage apointé suffisamment petit de Z. Par conséquent, la singularité Z est effaçable, ce qui signifie que f admet un prolongement holomorphe h en Z. Comme toute fonction holomorphe est continue, la fonction h est aussi un prolongement continu de f en Z et donc coïncide avec g. En particulier, g=h est holomorphe.


L'exemple est la fonction z\in \C^* \mapsto \sin z/z \in \C.

Pôle

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

  • La singularité est non effaçable ;
  • Et pour n suffisamment grand, la fonction 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.

Une singularité Z de f est un pôle si et seulement si f converge en 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

La singularité Z est essentielle dans tous les autres cas. Le comportement de f au voisinage apointé 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.

L'exemple classique est la fonction z \in \C^* \mapsto \exp(1/z).

Série de Laurent

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

Si f est une fonction holomorphe sur un disque apointé 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 compacte du disque apointé D.

On peut lire la nature de la singularité sur les coefficients an:

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
Singularité essentielle Il existe une infinité d'indices négatifs -n pour lesquels a-n est non nul

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Singularit%C3%A9 en analyse complexe ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Singularité éliminable de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”