# Prolungamento analitico

Nell'ambito dell'analisi matematica, più in particolare in analisi complessa, prolungamento analitico, o continuazione analitica, è una tecnica per estendere il dominio di definizione di una funzione di variabile complessa, definita inizialmente solo in un dominio limitato, creando una funzione analitica, definita anche in altre regioni e che coincida con la funzione originaria nel suo dominio originario. Quando il prolungamento è possibile allora esso è anche unico.
In molti casi si ha un prolungamento analitico definendo ulteriori valori per una funzione in una nuova regione, dove, ad esempio, non avrebbe più senso la rappresentazione in termini di serie infinita attribuita alla funzione iniziale.
In generale nel prolungare analiticamente una funzione si possono incontrare difficoltà che portano a veri e propri casi di inconsistenza (definendo la funzione in più di un modo nello stesso punto, vedi funzione polidroma) o impedimenti globali per la presenza di singolarità.
Il caso di funzioni a più variabili complesse è piuttosto differente, perché allora le singolarità non possono essere isolate: lo studio di questo caso è stato uno dei maggiori motivi che hanno condotto a sviluppare la coomologia dei fasci.

## Ampliamento del dominio

Sia allora A un dominio entro cui una funzione $f_{1}(z)$ è analitica e un dominio B entro cui un'altra funzione $f_{2}(z)$ è analitica e coincide con la prima funzione nel dominio intersezione C. Possiamo allora dire che il prolungamento definisce un'unica funzione che assume i valori della prima funzione in A e della seconda in B e gli stessi valori in C.
Può capitare che le funzioni non assumano gli stessi valori in corrispondenza del dominio C; allora basti considerare il fatto che questo dominio sia costituito da due o più fogli distinti che costituiscono un rivestimento di un aperto del piano complesso $\mathbb {C}$.

## Discussione

Supponiamo che $f$ sia una funzione analitica su un sottoinsieme aperto $U$ del piano complesso $\mathbb {C}$. Se $V$ è un sottoinsieme aperto di $\mathbb {C}$ che contiene $U$, e ${F}$ è una funzione analitica definita su $V$ tale che
    ${F}(z)=f(z),\quad \forall z\in U,$
allora $F$ è chiamata prolungamento analitico di $f$. In altri termini, la restrizione di ${F}$ ad $U$ è la funzione $f$ da cui siamo partiti.
I prolungamenti analitici sono unici nel seguente senso: se $V$ è connesso e ${F}_{1}$ e ${F}_{2}$ sono due prolungamenti analitici di $f$ definiti su $V$, allora ${F}_{1}={F}_{2}$ ovunque.
Questo accade perché la differenza è una funzione analitica che si annulla su un insieme aperto non vuoto, e perciò deve essere identicamente nulla.
Ad esempio, data una serie di potenze con raggio di convergenza $r$ intorno a un punto $a$ di $\mathbb {C}$, si possono considerare i prolungamenti analitici della serie di potenze, cioè funzioni analitiche ${F}$ definite su insiemi più grandi del disco aperto di raggio $r$ centrato in $a$, ovvero, in simboli, $\{z:|z-a|<r\}$, che coincidono con la serie di potenze data su quell'insieme. Il numero $r$ è massimale nel seguente senso: esiste sempre un numero complesso $z$ tale che
    ${|z-a|=r}$
e che non possa essere definito alcun prolungamento analitico della serie in $z$. Dunque, ci sono forti limitazioni al prolungamento analitico ad un disco più grande con lo stesso centro $a$. D'altronde ci può benissimo essere prolungamento analitico a qualche insieme più grande. Ciò dipende dal raggio di convergenza quando si espande intorno a un punto $b$ distinto da $a$ ma comunque appartenente al disco; se il nuovo raggio di convergenza è maggiore di
    $r-|b-a|,$
allora abbiamo il diritto di usare quella espansione su un disco aperto, che giace parzialmente al di fuori del disco originario. Altrimenti, c'è un "confine naturale" sulla circonferenza di bordo.

## Continuazione analitica a cerchi

Un esempio di continuazione analitica è quello di aggirare una singolarità isolata tramite lo sviluppo in serie di Taylor di una funzione $f(z)$. Se $z_{s}$ è un punto di singolarità isolata, allora la funzione è sviluppabile in serie di Taylor:
    $f(z)=\sum _{n=0}^{\infty }a_{n}(z-z_{1})^{n}$
dove i coefficienti $a_{n}$ sono dati da:
    $a_{n}={\frac {f^{(n)}(z_{1})}{n!}}$
come in figura, il cerchio di convergenza di questa serie è quello di centro $z_{1}$, in rosso in figura, fino a incontrare la singolarità $z_{s}$ in blu in figura. Successivamente si può prendere un nuovo punto $z_{2}$ regolare per la funzione e descrivere questa con una serie di Taylor con un altro raggio di convergenza fino a incontrare nuovamente $z_{s}$ e così via. La figura mostra chiaramente che è possibile aggirare la singolarità con un numero finito di sviluppi in serie di Taylor intorno alla singolarità.
Ovviamente tale sviluppo fallirebbe se si incontrassero barriere di singolarità, cioè una infinità di punti di singolarità continui. Da notare che la funzione $f_{1}(z)$ calcolata in $z_{1}$ è formalmente diversa da quella $f_{2}(z)$ calcolata in $z_{2}$ e così per le altre. Ma nonostante ciò le funzioni sono identiche nelle intersezioni dei rispettivi cerchi.