# Singolarità isolata

In matematica, e più precisamente in analisi complessa, una singolarità isolata è un punto in cui una funzione olomorfa non è definita mentre risulta definita in ogni altro punto vicino. La funzione olomorfa può avere nel punto essenzialmente tre tipi di comportamenti diversi, e a seconda del comportamento la singolarità è detta eliminabile, polo o essenziale.

## Definizione

Sia $z_{0}$ un punto contenuto in un insieme aperto $A$ del piano complesso. Una funzione
    $f:A\setminus \{z_{0}\}\to \mathbb {C}$
ha una singolarità isolata in $z_{0}$ se esiste un intorno $U$ di $z_{0}$ per cui la funzione è olomorfa in $U\setminus \{z_{0}\}$. Quindi la funzione non è definita in $z_{0}$, mentre in ogni altro punto sufficientemente vicino è definita e differenziabile in senso complesso.

## Sviluppo in serie di Laurent

La funzione $f$ ammette uno sviluppo come serie di Laurent nel punto $z_{0}$. La funzione è quindi scrivibile in un intorno del punto come serie
    $f(z)=\sum _{n=-\infty }^{+\infty }a_{n}(z-z_{0})^{n}.$
Si distinguono generalmente tre tipi di comportamento della $f$ vicino al punto di singolarità $z_{0}$. Ciascuno di questi è determinato dallo sviluppo locale in serie di Laurent, oppure dal comportamento del modulo $|f(z)|$ vicino al punto.
Si noti che la tipologia di singolarità dell'intera funzione non è univocamente determinata dalla serie di Laurent locale, se essa ha raggio di convergenza positivo.

### Singolarità eliminabile

La singolarità $z_{0}$ è eliminabile se esiste il limite
    $\lim _{z\to z_{0}}f(z)=L\in \mathbb {C} .$
Le condizioni seguenti sono equivalenti a questa:
* I termini negativi della serie di Laurent sono tutti nulli, cioè $a_{n}=0$ per ogni $n<0$.
* Il modulo $|f(z)|$ è limitato in un intorno di $z_{0}$,
* La funzione si estende ad una funzione continua su tutto $A$,
* La funzione si estende ad una funzione olomorfa su tutto $A$.
Esempio: la funzione $f(z)={\frac {\sin(z)}{z}}$ presenta una singolarità eliminabile in $z=0$.

### Polo

La singolarità $z_{0}$ è un polo se esiste un numero intero positivo $n$ tale che esista il limite
    $\lim _{z\to z_{0}}(z-z_{0})^{n}\cdot f(z)=L\in \mathbb {C} ,$
con $L\neq 0$. Il numero $n$ è l'ordine o molteplicità del polo. Un polo di ordine 1 è detto semplice.
Le condizioni seguenti sono equivalenti a questa:
* Esiste solo un numero finito (diverso da zero) di termini negativi non nulli della serie di Laurent. Cioè, esiste $n<0$ tale che $a_{n}\neq 0$ e $a_{k}=0$ per ogni $k<n$.
* Il modulo $|f(z)|$ tende a $+\infty$ se $z$ tende a $z_{0}$.
* La funzione $g(z)=1/f(z)$ è definita in un intorno di $z_{0}$ ed ha una singolarità eliminabile in $z_{0}$.
Esempio: la funzione $f(z)={\frac {1}{(z-1)^{2}}}$ presenta un polo di ordine 2 ($n=2$), detto anche polo doppio, in $z=1$.

### Singolarità essenziale

Una singolarità essenziale è una singolarità che non rientra nei casi precedenti, cioè che non sia né una singolarità eliminabile né un polo. Le condizioni seguenti sono equivalenti a questa:
* Esiste un numero infinito di termini negativi non nulli della serie di Laurent. Cioè, per ogni $n_{0}<0$ esiste un $n<n_{0}$ con $a_{n}\neq 0$.
* Il modulo $|f(z)|$ non ha limite per $z$ tendente a $z_{0}$
Esempio: la funzione $f(z)={\frac {e^{\frac {1}{z}}}{z^{3}}}$ presenta una singolarità essenziale in $z=0$.

## Esempi

Ogni funzione
    $f(z)={\frac {p(z)}{q(z)}}$
scritta come rapporto di due polinomi è definita nell'aperto $A$ ottenuto rimuovendo da $\mathbb {C}$ le radici $z_{1},\ldots ,z_{k}$ di $q$. Se queste non sono anche radici di $p$, in ogni $z_{i}$ la funzione ha un polo, il cui ordine è pari alla molteplicità della radice.
La funzione
    $f(z)=e^{\frac {1}{z}}$
definita su $\mathbb {C} \setminus \{0\}$ ha una singolarità essenziale in $0$. Infatti lo sviluppo di Laurent è
    $f(z)=\sum _{n=0}^{+\infty }{\frac {\,z^{-n}}{n!}}$
che ha infiniti termini negativi non nulli.
Anche il fatto che la funzione $|f(z)|=|e^{\frac {1}{z}}|$ non ammetta limite (finito o infinito) per $z$ che tende a 0 è sufficiente per dimostrare l'essenzialità della singolarità.

## Proprietà
### Traslazione della serie di Laurent

Sia $k$ un numero intero. Moltiplicando la funzione $f(z)$ per $(z-z_{0})^{k}$, i coefficienti della serie di Laurent centrata in $z_{0}$ vengono traslati di $k$ posti (a sinistra o a destra a seconda del segno di $k$). In questo modo è possibile modificare l'ordine di un polo, trasformare ogni polo in singolarità eliminabile, oppure viceversa creare poli a partire da singolarità eliminabili.
Se la singolarità è essenziale, rimane tale anche dopo la moltiplicazione per $(z-z_{0})^{k}$.

### Singolarità essenziale

Una funzione vicino ad una singolarità essenziale è estremamente discontinua. Per il Teorema di Casorati-Weierstrass, l'immagine $f(U)$ di ogni intorno aperto $U$ di $z_{0}$ è un aperto denso del piano complesso. Il teorema di Picard afferma di più: $f(U)$ è tutto il piano complesso, oppure il piano tranne un punto.
Da questo segue ad esempio che per ogni numero complesso $\lambda$ esiste una successione di punti $z_{i}\to z_{0}$ convergenti a $z_{0}$ tali che $f(z_{i})\to \lambda$. In altre parole, la funzione intorno a $z_{0}$ "converge a qualsiasi cosa".

## Singolarità all'infinito

Per una funzione intera
    $f:\mathbb {C} \to \mathbb {C}$
(o più in generale una funzione olomorfa definita sul complementare di un compatto di $\mathbb {C}$) è possibile parlare di singolarità all'infinito. Questa è la singolarità in $0$ della funzione
    $g:\mathbb {C} \setminus \{0\}\to \mathbb {C}$
definita come $g(z)=f(1/z)$. In particolare, la singolarità all'infinito può essere eliminabile, un polo o essenziale. Si può studiare una singolarità all'infinito di una funzione $f(z)$ cambiando la variabile:
    $z={\frac {1}{\eta }}$
allora il punto all'infinito diventa l'origine e acquisisce il tipo di singolarità della funzione $g(\eta )=f({\frac {1}{z}})$ nel punto $\eta =0$.
Il Teorema di Liouville dice che una funzione intera avente singolarità eliminabile all'infinito è costante.