Procédé consistant à étendre une fonction holomorphe d'un domaine initial à un domaine plus grand en recollant de manière unique des séries de puissances ou représentations locales qui se recouvrent, en prolongeant le long de chemins jusqu'à rencontrer une obstruction.

Principe

L'unicité découle du théorème d'identité : deux prolongements analytiques qui coïncident sur un ensemble ayant un point d'accumulation coïncident sur l'intersection de leurs domaines ; le prolongement se fait par chaînes de voisinages analytiques qui se recouvrent (on peut rencontrer du monodromie).

Démonstration

La série de puissances de log(1+z) autour de z=0 se prolonge analytiquement le long de chemins évitant le point-ramification z=-1, donnant le logarithme multi-valué sur le plan privé du point-ramification.

Mauvaise application

Penser que toute singularité est amovible et tenter de prolonger à travers des pôles ou singularités essentielles comme s'il n'y avait pas d'obstruction.

Conséquence

Un prolongement analytique réussi définit des extensions analytiques maximales qui peuvent former une surface de Riemann ou des branches multi-valuées ; le prolongement met en évidence des propriétés globales (monodromie, frontières naturelles).

Inversion

L'impossibilité de prolonger au-delà d'une singularité essentielle ou d'une frontière naturelle révèle des obstructions intrinsèques à l'extension ; le prolongement peut conduire à des branches multiples plutôt qu'à une unique extension simple.

Limite

S'applique aux fonctions complexes analytiques (holomorphes) et aux fonctions réel-analytiques avec des subtilités techniques différentes ; exige des domaines recouvrants en accord analytique et exclut les prolongements arbitraires au sens des distributions ou simplement continus.

Tension sémantique

Souvent confondu avec un 'prolongement par continuité' ou avec le prolongement réel-analytique ; le prolongement analytique est rigide et complètement déterminé par les données locales, contrairement à des notions d'extension plus faibles.

Synthèse

Le prolongement analytique est l'extension unique d'une fonction holomorphe le long de cartes analytiques ou de chemins recouvrants, réalisée jusqu'à ce que des obstructions véritables (singularités, monodromie, frontières naturelles) empêchent la poursuite.