Teorema dei residui

In analisi complessa, il teorema dei residui è uno strumento per calcolare gli integrali di contorno di funzioni olomorfe o meromorfe su curve chiuse. Può essere usato anche per calcolare integrali reali. Esso generalizza il teorema integrale di Cauchy e la formula integrale di Cauchy.

Enunciato

Sia $\Omega$ un insieme aperto del piano complesso $\mathbb {C}$ . Siano $z_{1},\ldots ,z_{n}$ punti di singolarità della funzione $\omega =f(z)$ in $\Omega$ . Sia inoltre $\gamma$ una curva semplice chiusa in $\Omega \setminus \{z_{1},\dots ,z_{n}\}$ tale che $\{z_{1},\dots ,z_{n}\}$ sia contenuto nel sottoinsieme limitato di $\mathbb {C}$ delimitato da $\gamma$ .

Se $f(z)$ è una funzione olomorfa su $\Omega \setminus \{z_{1},\dots ,z_{n}\}$ , allora l'integrale della funzione su $\gamma$ è dato dalla:

\oint _{\gamma }f(z)\,dz=2\pi i\sum _{k=1}^{n}I_{z_{k}}(\gamma )\operatorname {Res} _{z_{k}}(f),

dove $\operatorname {Res} _{z_{k}}(f)$ denota il residuo di $f$ in $z_{k}$ , e $I_{z_{k}}(\gamma )$ è l'indice di avvolgimento della curva $\gamma$ attorno a $z_{k}$ .

L'indice di avvolgimento è un intero che rappresenta intuitivamente il numero di volte con cui la curva $\gamma$ si avvolge attorno ad $z_{k}$ ; esso è positivo se $\gamma$ gira in senso antiorario attorno a $z_{k}$ e negativo viceversa, nullo se non circonda alcun punto singolare.

Dimostrazione

Si consideri il dominio all'interno della curva $\gamma$ . Si considerino $\gamma _{k}$ multiplamente connesso, dove $\gamma _{k}$ sono le curve che circondano i punti di singolarità $z_{k}$ percorsi in senso antiorario. Tenendo conto dei versi positivi dei percorsi, dal teorema integrale di Cauchy (generalizzato ai domini multiplamente connessi) deriva facilmente che:

\oint _{\gamma }f(\xi )\,d\xi =\sum _{k=1}^{n}\oint _{\gamma _{k}}f(\xi )\,d\xi ,

ma dalla definizione di residuo l'ultimo integrale non è altro che il residuo $k$ -esimo, per cui:

\oint _{\gamma }f(\xi )\,d\xi =2\pi i\sum _{k=1}^{n}\operatorname {Res} _{z_{k}}(f).

Da notare che l'indice di avvolgimento è necessario qualora i percorsi vengano eseguiti in sensi opposti o più di una volta.

Somma dei residui

Nel caso in cui $\Omega$ sia il piano complesso, il teorema dei residui ha come applicazione il fatto seguente.

Sia

f:\mathbb {C} \setminus \{z_{1}\ ,z_{2}\ ,.....,z_{k}\}\to \mathbb {C}

una funzione olomorfa. La somma dei residui nei punti $z_{1},\ldots ,z_{k},\infty$ è sempre zero. In altre parole:

\sum \limits _{i=1}^{k}\operatorname {Res} _{z_{i}}f+\operatorname {Res} _{\infty }f=0

dove $\operatorname {Res} _{\infty }f(z)$ è il residuo all'infinito di $f$ .

Lemmi

Per risolvere praticamente gli integrali in forma complessa, sono necessari alcuni lemmi aggiuntivi che permettono di semplificare e risolvere gli integrali stessi.

Voci correlate

Collegamenti esterni

(EN) Eric W. Weisstein, Teorema dei residui, su MathWorld, Wolfram Research.

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