Analisi complessa/Calcolo dei residui: differenze tra le versioni

Wikibooks, manuali e libri di testo liberi.
Contenuto cancellato Contenuto aggiunto
RamaccoloBot (discussione | contributi)
m Bot: Modifico Categoria:Corso di Analisi Complessa
BimBot (discussione | contributi)
m Robot: Changing template: Corso di Analisi Complessa
Riga 1: Riga 1:
{{Corso di Analisi Complessa}}
{{Analisi complessa}}


==Calcolo dei residui==
==Calcolo dei residui==

Versione delle 17:27, 1 feb 2008

Indice del libro

Calcolo dei residui

Definizione 1.6.1. Si rimanda alla definizione di singolarita' isolata; per una singolarita' isolata di una funzione , esiste sempre un Intorno in cui la funzione e' analitica, ed e' quindi esprimibile in serie di Laurent.

Dalla definizione dei coefficienti della serie di Laurent segue che, per un contorno contenuto nell'intorno della singolarita' ,

dove e' il coefficiente del termine nella serie di Laurent. Si e' soliti indicare il termine della serie di Laurent di una funzione , in un intorno di una sua singolarita' isolata , come residuo di in , .

TEOREMA 1.6.3 (dei residui)

Sia

un contorno semplice chiuso orientato positivamente. Se una funzione e' analitica all'interno di tranne che per un numero finito di singolarita' isolate , allora

TEOREMA1.6.4

Se una funzione e' olomorfa in

, eccetto che per un numero finito di punti singolari interni ad un contorno semplice chiuso orientato positivamente, allora

Definizione 1.6.5

E' possibile classificare i punti singolari isolati di una funzione studiando la forma del suo sviluppo di Laurent in un intorno di ciascun punto. Si possono in particolare verificare tre casi:

(1) Tutti i coefficienti

delle potenze negative di sono identicamente uguali a zero. In questo caso si dice singolarita' eliminabile, perché la funzione diventa analitica in ; se si assegna (dove e' il termine di ordine zero nello sviluppo in serie).

(2)

per e . In questo caso si dice essere un polo di ordine ; un polo di ordine si dice polo semplice.

(3)Un numero infinito di

sono diversi da zero. si dice singolarita' essenziale.

Teorema 1.6.6 (di Picard)

In ogni intorno di una singolarita' essenziale, una funzione assume un numero infinito di volte ogni possibile valore, con la possibile eccezione di un unico valore.

Calcolo dei residui

I teoremi sviluppati fino a qui permettono di esprimere in modo semplice integrali lungo contorni che contengano punti singolari. Resta pero' il problema di calcolare il coefficiente della serie di Laurent; un primo approccio prevede la possibilita' di ricavare lo sviluppo in serie della funzione in esame a partire da sviluppi noti, ricavando cos'e' in particolare il residuo; e' anche possibile calcolare esplicita mente il coefficiente con la integrale (ma questo chiaramente svuota di significato il ricorso al teorema dei residui per calcolare un integrale). Sono infine disponibili alcune formule che permettono di calcolare i residui in modo semplice in certi casi particolari.

Una singolarita' isolata di una funzione e' un polo di ordine se e solo se puo' essere scritta nella forma , dove e' analitica in Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "http://localhost:6011/it.wikibooks.org/v1/":): {\displaystyle z_(0)} . Inoltre Definizione Si dice che una funzione e' analitica in un punto ha uno zero di ordine in se per e . Una funzione analitica in ha uno zero di ordine se e solo se esiste una funzione , analitica e non nulla in , tale che </math> in un intorno di .

Se due funzioni e sono analitiche in , e ha in uno zero di ordine , allora ha un polo di ordine in .

Corollario Se e sono analitiche in , . e allora e' un polo semplice e

Definizione. Si dice che una funzione e' analitica in un punto ha uno zero di ordine in se per e . Una funzione analitica in ha uno zero di ordine se e solo se esiste una funzione , analitica e non nulla in , tale che </math> in un intorno di .

Se due funzioni e sono analitiche in , e ha in uno zero di ordine , allora ha un polo di ordine in .

Corollario Se e sono analitiche in , . e allora e' un polo semplice e

Se e' analitica in un dominio , ed e' l'insieme degli zeri di , se ha un punto di accumulazione in , in tutto .

Corollario Una funzione analitica e' univocamente determinata dai suoi valori in un dominio o lungo un segmento.

Se e' analitica in un dominio , ed e' l'insieme degli zeri di , se ha un punto di accumulazione in , in tutto .

Corollario.Una funzione analitica e' univocamente determinata dai suoi valori in un dominio o lungo un segmento.