Teorema di Rouché: differenze tra le versioni
m a capo in eccesso |
fix, typog |
||
Riga 25: | Riga 25: | ||
Analogamente |
Analogamente |
||
<math>N_f={1\over 2\pi i}\oint_C {f'(z) \over f(z)}\,dz.</math> |
:<math>N_f={1\over 2\pi i}\oint_C {f'(z) \over f(z)}\,dz.</math> |
||
Osserviamo che dalle ipotesi segue che <math>f</math> non ha zeri su <math>C</math> e che <math>|{h |
Osserviamo che dalle ipotesi segue che <math>f</math> non ha zeri su <math>C</math> e che <math>\left|\frac{h}{f}-1\right| < 1</math> su <math>C</math>. Dunque <math>\left|\frac{h}{f}-1\right| < 1</math> su tutto un aperto <math>\Omega</math> contenuto nel dominio di definizione di <math>f</math> e <math>h</math> e contenente il supporto di <math>C</math>. |
||
Ne consegue che, detta <math>\log</math> la determinazione principale del logaritmo complesso, avendo <math>{h |
Ne consegue che, detta <math>\log</math> la determinazione principale del logaritmo complesso, avendo <math>\left.\frac{h}{f}\right|_\Omega</math> immagine contenuta nel disco aperto di centro 1 e raggio 1, possiamo comporre <math>\log</math> con la restrizione di <math>h \over f</math> a <math>\Omega</math>, ottenendo una funzione olomorfa su <math>\Omega</math>. |
||
Dunque, sfruttando il fatto che l'integrale di linea complesso lungo una curva chiusa di una funzione che ammette primitiva è nullo, otteniamo |
Dunque, sfruttando il fatto che l'integrale di linea complesso lungo una curva chiusa di una funzione che ammette primitiva è nullo, otteniamo |
||
<math>N_h-N_f={1\over 2\pi i}\oint_C {h'(z) \over h(z)}\,dz-{1\over 2\pi i}\oint_C {f'(z) \over f(z)}\,dz</math> |
:<math>N_h-N_f={1\over 2\pi i}\oint_C {h'(z) \over h(z)}\,dz-{1\over 2\pi i}\oint_C {f'(z) \over f(z)}\,dz</math> |
||
<math>={1\over 2\pi i}\oint_C ({h'(z) \over h(z)}-{f'(z) \over f(z)})\,dz</math> |
:<math>={1\over 2\pi i}\oint_C \left({h'(z) \over h(z)}-{f'(z) \over f(z)}\right) \,dz</math> |
||
<math>={1\over 2\pi i}\oint_C ({d \over dz} (\log({h \over f}|_\Omega))\,dz=0.</math> [[QED]]. |
:<math>={1\over 2\pi i}\oint_C \left({d \over dz} \left(\log\left(\left.{h \over f}\right|_\Omega\right)\right)\right) \,dz=0.</math> [[QED]]. |
||
{{Portale|matematica}} |
{{Portale|matematica}} |
Versione delle 22:42, 31 ott 2016
In matematica il teorema di Rouché è un teorema dell'analisi complessa che afferma che, se due funzioni complesse e sono olomorfe su di un contorno chiuso e al suo interno, con su , allora e possiedono lo stesso numero di zeri all'interno di , dove ogni zero deve essere contato con la sua molteplicità. Questo teorema ha come ipotesi il fatto che il contorno deve essere semplice, cioè senza autointersezioni.
Spiegazione geometrica
Si può fornire una dimostrazione informale del teorema di Rouché.
Per prima cosa, occorre riformulare il teorema in un modo leggermente diverso. Sia . Si noti che, dato che e sono olomorfe, anche deve essere olomorfa. Allora, con le condizioni imposte precedentemente, il teorema di Rouché afferma che
- se su allora e hanno lo stesso numero di zeri all'interno di .
Si noti che la condizione su significa che, per ogni , la distanza di dall'origine è maggiore della lunghezza di . Facendo riferimento alla figura, questo significa che, per ogni punto della curva blu, il segmento che unisce tale punto con l'origine è più lungo del segmento verde ad esso associato. Si può dunque affermare che la curva rossa, determinata dalla composizione di con la curva, è sempre più vicina alla curva blu, determinata dalla composizione di con la curva, piuttosto che all'origine. Allora, intuitivamente, tali curve devono avvolgersi attorno all'origine lo stesso numero di volte e poiché, per il principio dell'argomento, il numero di volte con le quali tali curve si avvolgono attorno allo zero restituisce il numero di zeri delle rispettive funzioni, si ha che queste hanno lo stesso numero di zeri.
Dimostrazione
Sia . Per il principio dell'argomento, si ha che
dove e sono rispettivamente il numero di zeri e poli di all'interno di . Dato che è analitica su e al suo interno, si ha che è uguale a zero, e dunque
Analogamente
Osserviamo che dalle ipotesi segue che non ha zeri su e che su . Dunque su tutto un aperto contenuto nel dominio di definizione di e e contenente il supporto di .
Ne consegue che, detta la determinazione principale del logaritmo complesso, avendo immagine contenuta nel disco aperto di centro 1 e raggio 1, possiamo comporre con la restrizione di a , ottenendo una funzione olomorfa su .
Dunque, sfruttando il fatto che l'integrale di linea complesso lungo una curva chiusa di una funzione che ammette primitiva è nullo, otteniamo
- QED.