Le procédé consistant à étendre une fonction holomorphe depuis son domaine initial vers une région connexe plus large en tirant parti des propriétés d'unicité des fonctions analytiques complexes, généralement en prolongeant des séries entières ou des valeurs le long de chemins.

Principe

Règle organisatrice : le théorème d'identité et la monodromie : une fonction holomorphe déterminée sur un ensemble avec point d'accumulation se prolonge de façon unique le long des chemins jusqu'à rencontre de singularités ou d'obstructions ; le prolongement se fait par chaînes de disques recouvrants et tient compte des coupures de branche lorsque la multi-valuée apparaît.

Démonstration

Partir d'une série entière centrée en z0 convergeant sur un disque. Si sur le bord un point z1 admet une série locale convergente coïncidant sur le recouvrement, on étend au disque autour de z1 et on itère. Exemple concret : la série de log(1+z) autour de 0 se prolonge le long de chemins évitant le point de branchement z = −1, donnant les différentes branches du logarithme.

Mauvaise application

Supposer que le prolongement analytique traverse toujours n'importe quel point du bord ; tenter d'étendre au-delà d'une frontière naturelle ou d'une singularité essentielle sans tenir compte des branchements ou de la divergence conduit à des erreurs.

Conséquence

Lorsqu'il est applicable, le prolongement analytique fournit une extension holomorphe unique sur chaque région simplement connexe atteignable et met en évidence les singularités et la structure de branchement ; il permet de déduire des informations globales (pôles, coupures) à partir de données locales.

Inversion

La vue inverse est la restriction : donnée une fonction analytique maximale, la restreindre à un ouvert plus petit supprime des informations sur la monodromie et les singularités et peut cacher des comportements multi-valués qui n'apparaissent qu'en prolongeant.

Limite

S'applique aux fonctions holomorphes sur des ouverts connexes ; ne s'applique pas aux fonctions continues, différentiables réelles ou distributions qui ne sont pas analytiques complexes. Exclut les prolongements formels sans convergence ou validité analytique.

Tension sémantique

Tension entre prolongement analytique et prolongement formel ou algébrique : une série formelle prolongeant localement peut ne pas converger ; de même, les prolongements au sens des distributions diffèrent car ils ne préservent pas la différentiabilité complexe.

Synthèse

Le prolongement analytique consiste à suivre les représentations holomorphes locales vers l'extérieur en utilisant le théorème d'identité et les développements recouvrants pour construire l'extension holomorphe maximale sur les domaines atteignables, en respectant singularités et monodromie.