Lemma del cerchio piccolo

Template:F In analisi complessa, il lemma del cerchio piccolo (o lemma del piccolo arco di cerchio) permette la risoluzione di particolari integrali impropri aventi come integranda una funzione razionale. Tale lemma si divide in due parti.

Primo lemma

Sia $\mathrm{\Omega }$ un insieme aperto del piano complesso $ℂ$. Sia $f(z)$ una funzione olomorfa, tale che:

$\underset{z\to z_0}{\lim }(z-z_0)f(z)=0$

Allora:

$\underset{r\to 0}{\lim }\underset{{\gamma }_r}{\int }f(z)dz=0$

Dimostrazione

Costruzione di una curva regolare a tratti per calcolare l'integrale

So che:

$\mathrm{\exists }\epsilon >0\mathrm{\exists }\delta (\epsilon )>0:\mathrm{\forall }r<\delta \Rightarrow |\underset{{\gamma }_r}{\int }f(z)\cdot dz|<\epsilon$

Riscrivendo il $\underset{z-z_0}{\lim }$:

$\mathrm{\exists }\delta >0:\mathrm{\forall }z,|z-z_0|<\delta \Rightarrow |(z-z_0)\cdot f(z)|<\frac{\epsilon }{{\varphi }_2-{\varphi }_1}$

Mi calcolo quindi il modulo dell'integrale:

$|\underset{{\gamma }_r}{\int }f(z)dz|\le \underset{{\gamma }_r}{\int }|f(z)|dz\le \underset{{\gamma }_r}{\int }\frac{\epsilon }{({\varphi }_2-{\varphi }_1)|z-z_0|}dz=$

Poiché per ipotesi $|z-z_0|=r<\delta$, posso portare fuori tutta la frazione, e risolvere l'integrale che è uguale alla lunghezza dell'arco di circonferenza compresa tra i due angoli ${\varphi }_1,{\varphi }_2$. Quindi:

$=\frac{\epsilon }{({\varphi }_2-{\varphi }_1)r}\cdot r({\varphi }_2-{\varphi }_1)=\epsilon$

Conclusioni

Il primo lemma dimostra che data una $f(z)$ continua in $\mathrm{\Omega }\in ℂ$ con singolarità isolata, precisamente un polo di ordine 1, l'integrale attorno a tale polo risulta nullo. Tale risultato, importante da un punto di vista teorico, è meno importante da un punto di vista risolutivo degli integrali.

Secondo lemma

Sia $f(z)$ con polo semplice. Allora

$\underset{{\gamma }_r}{\int }f(z)dz=({\varphi }_2-{\varphi }_1)i\mathrm{Res}(f,z_0)$

Dimostrazione

Sviluppando tramite serie di Laurent si otterrà:

$f(z)=\frac{a_{-1}}{z-z_0}+g(z)$

$a_{-1}$ rappresenta il primo termine noto della parte singolare della serie di Laurent. Applicando il segno di integrazione ad ambo i membri ottengo:

$\underset{{\gamma }_r}{\int }f(z)dz=\underset{{\gamma }_r}{\int }\frac{a_{-1}}{z-z_0}dz+\underset{{\gamma }_r}{\int }g(z)dz$

La $g(z)$ è una funzione regolare e con il primo lemma, dinnanzi calcolato:

$\underset{z-z_0}{\lim }(z-z_0)\cdot g(z)=0\Rightarrow \underset{{\gamma }_r}{\int }g(z)dz=0$

l'integrale della $g(z)$ si annulla.

Parametrizzo la mia curva chiusa ${\gamma }_r$, $z=z_0+r{e}^{it}$, con ${\varphi }_1\le t\le {\varphi }_2$. Sostituendo nell'integrale avrò:

$a_{-1}\underset{{\varphi }_1}{\overset{{\varphi }_2}{\int }}\frac{1}{r{e}^{it}}ri{e}^{it}dt=a_{-1}({\varphi }_2-{\varphi }_1)i$

di cui il coefficiente $a_{-1}$ rappresenta proprio il $\mathrm{Res}(f,z_0)$.

Conclusioni

Il secondo lemma, rispetto al primo, è molto più utilizzato nella risoluzione di integrali, a patto che il polo presente sia del primo ordine, $n=1$. Per ordini superiori tale lemma non è applicabile alla risoluzione degli integrali.

Voci correlate

• Lemma del cerchio grande
• Teorema di sviluppabilità in serie bilatera
• Serie di Laurent
• Polo (analisi complessa)
• Analisi complessa