Prolungamento analitico

(Reindirizzamento da Estensione analitica)

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[non chiaro], 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

modifica
 
Domini analitici

Sia allora A un dominio entro cui una funzione   è analitica e un dominio B entro cui un'altra funzione   è 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  .

Discussione

modifica

Supponiamo che   sia una funzione analitica su un sottoinsieme aperto   del piano complesso  . Se   è un sottoinsieme aperto di   che contiene  , e   è una funzione analitica definita su   tale che

 

allora   è chiamata prolungamento analitico di  . In altri termini, la restrizione di   ad   è la funzione   da cui siamo partiti.

I prolungamenti analitici sono unici nel seguente senso: se   è connesso e   e   sono due prolungamenti analitici di   definiti su  , allora   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   intorno a un punto   di  , si possono considerare i prolungamenti analitici della serie di potenze, cioè funzioni analitiche   definite su insiemi più grandi del disco aperto di raggio   centrato in  , ovvero, in simboli,  , che coincidono con la serie di potenze data su quell'insieme. Il numero   è massimale nel seguente senso: esiste sempre un numero complesso   tale che

 

e che non possa essere definito alcun prolungamento analitico della serie in  . Dunque, ci sono forti limitazioni al prolungamento analitico ad un disco più grande con lo stesso centro  . 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   distinto da   ma comunque appartenente al disco; se il nuovo raggio di convergenza è maggiore di

 

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

modifica
 
Continuazione analitica a cerchi di convergenza fornita con la serie di Taylor.

Un esempio di continuazione analitica è quello di aggirare una singolarità isolata tramite lo sviluppo in serie di Taylor di una funzione  . Se   è un punto di singolarità isolata, allora la funzione è sviluppabile in serie di Taylor:

 

dove i coefficienti   sono dati da:

 

come in figura, il cerchio di convergenza di questa serie è quello di centro  , in rosso in figura, fino a incontrare la singolarità   in blu in figura. Successivamente si può prendere un nuovo punto   regolare per la funzione e descrivere questa con una serie di Taylor con un altro raggio di convergenza fino a incontrare nuovamente   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   calcolata in   è formalmente diversa da quella   calcolata in   e così per le altre. Ma nonostante ciò le funzioni sono identiche nelle intersezioni dei rispettivi cerchi.

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica