Hartogs Friedrich

Imaginez une fonction complexe observée dans une région où l'on a retiré un petit obstacle fermé. En une variable complexe, cet obstacle peut cacher un comportement impossible à deviner depuis l'extérieur. Avec plusieurs variables complexes, le contour de la région environnante contient souvent assez d'information pour reconstituer la fonction dans l'obstacle.

Le théorème de Hartogs formalise cette idée de prolongement analytique : sous les conditions adaptées, une fonction analytique définie autour d'un compact se prolonge à l'intérieur. Le phénomène appartient à l'analyse complexe en plusieurs variables et n'a pas d'équivalent en une seule variable.

Le théorème de Hartogs est un résultat de théorie des fonctions de plusieurs variables complexes. Une fonction analytique, c'est-à-dire une fonction qui se comporte localement comme une série entière convergente, est considérée sur une région ouverte Ω d'un espace complexe de dimension au moins deux. On retire de Ω un compact K, ensemble fermé et borné dans ce cadre, puis on suppose que la région restante Ω − K est connexe.

Sous ces hypothèses, toute fonction analytique définie sur Ω − K admet un prolongement analytique à Ω. Autrement dit, il existe une fonction analytique sur toute la région Ω qui coïncide avec la fonction initiale partout où celle-ci était définie. Le compact retiré ne constitue donc pas une véritable singularité isolée dans ce contexte à plusieurs variables. La connexité de Ω − K et la dimension complexe au moins égale à deux sont essentielles ; le résultat ne se transpose pas tel quel à une variable complexe.

Prenons une région ouverte Ω du plan complexe à deux coordonnées, noté ${\mathbb{C}}^2\backslash mathbb\{C\}^2$, et un compact K placé à l'intérieur. Une fonction analytique f est connue sur Ω − K. Le but est de savoir si le trou empêche réellement de connaître f dans K.

Données concrètes : prenez Ω = { (z₁,z₂) ∈ ℂ² : |z₁| < 2 et |z₂| < 2 }, K = { (z₁,z₂) ∈ ℂ² : |z₁| ≤ 1 et |z₂| ≤ 1 }, et f(z₁,z₂) = z₁ + z₂ sur Ω − K. Le prolongement attendu est F(z₁,z₂) = z₁ + z₂ sur Ω.

On vérifie d'abord que le cadre comporte deux variables complexes. Le compact K est bien contenu dans Ω, et la région restante Ω − K est connexe. La fonction f est analytique sur cette région car c'est la restriction du polynôme z₁ + z₂. Le théorème de Hartogs fournit alors une fonction analytique F sur Ω, égale à f sur Ω − K : ici, le prolongement annoncé est F(z₁,z₂) = z₁ + z₂.

Le contrôle est refaisable : pour tout point de Ω − K, les deux expressions donnent F(z₁,z₂) = f(z₁,z₂) = z₁ + z₂. On peut aussi évaluer le prolongement dans le trou, par exemple F(0,0) = 0. Le théorème garantit ainsi l'existence de F sur Ω sans modifier les valeurs déjà connues.

En analyse complexe à plusieurs variables, le théorème sert à traiter une fonction définie dans une région trouée. Le geste consiste à examiner la dimension complexe, la nature compacte du trou et la connexité de la région qui l'entoure.

Pour une fonction d'une seule variable complexe, on ne peut pas appliquer directement ce résultat. Il faut alors étudier les singularités et les prolongements avec les outils propres à l'analyse en une variable, car le phénomène de Hartogs n'y existe pas sous cette forme.

Dans l'étude théorique des fonctions de plusieurs variables complexes, le résultat permet de distinguer un trou géométrique d'une véritable obstruction analytique. Cette distinction aide à décider si une fonction peut être considérée sur la région entière.

Le théorème de Hartogs ne doit pas être confondu avec le prolongement analytique en une variable complexe. Le critère qui tranche est la dimension : le résultat présenté ici concerne plusieurs variables complexes, tandis qu'une fonction d'une variable peut avoir une singularité véritable dans le compact retiré.

Il ne s'agit pas non plus d'une simple définition par continuité. Le prolongement fourni est analytique sur toute la région Ω, ce qui est plus exigeant que l'existence d'une valeur continue au point ou dans le compact.

Le premier piège est d'oublier la dimension. La conclusion n'est pas une règle générale de l'analyse complexe : elle repose sur la présence d'au moins deux variables complexes. En une variable, le retrait d'un compact peut laisser une singularité qui interdit le prolongement.

Le deuxième piège est de négliger la région restante. Si Ω − K n'est pas connexe, les valeurs données autour des différentes composantes peuvent ne pas former une seule donnée analytique cohérente. Il faut donc vérifier cette hypothèse avant d'invoquer le théorème.

Enfin, le mot compact ne désigne pas un trou arbitraire. Dans l'énoncé, K est un ensemble fermé et borné contenu dans la région ouverte Ω. Si l'ensemble retiré sort de Ω ou si sa compacité n'est pas établie, le cadre décrit ne permet pas de conclure.

Le prolongement de Hartogs ouvre sur une idée centrale de l'analyse complexe en plusieurs variables : la géométrie globale de la région peut empêcher qu'un compact retiré porte une singularité isolée. Pour approfondir, on peut reprendre l'énoncé en séparant soigneusement la fonction initiale sur Ω − K, le compact K et la fonction prolongée sur Ω.

Cette lecture prépare l'étude des fonctions analytiques de plusieurs variables et des résultats de théorie des ensembles auxquels Friedrich Hartogs a également contribué, sans confondre ces prolongements avec ceux de l'analyse en une variable.