# Analisi complessa/Integrali nel campo complesso

Analisi complessa
Copertina Tutti i moduli · Sviluppo
* Analisi complessa
** Numeri complessiAnalisi complessa/Numeri complessi
** Funzioni di variabile complessaAnalisi complessa/Funzioni di variabile complessa
** Funzioni elementariAnalisi complessa/Funzioni elementari
** DerivateAnalisi complessa/Derivate
** Integrali nel campo complessoAnalisi complessa/Integrali nel campo complesso
** Serie di potenzeAnalisi complessa/Serie di potenze
** Calcolo dei residuiAnalisi complessa/Calcolo dei residui
* Spazi di Hilbert
** Insiemi finiti, numerabili, non numerabiliAnalisi complessa/Insiemi finiti, numerabili, non numerabili
** Spazi metriciAnalisi complessa/Spazi metrici
** Campi e spazi vettorialiAnalisi complessa/Campi e spazi vettoriali
** Norma e spazi di BanachAnalisi complessa/Norma e spazi di Banach
** Prodotto scalare e spazi di HilbertAnalisi complessa/Prodotto scalare e spazi di Hilbert
** Serie trigonometricheAnalisi complessa/Serie trigonometriche
** Operatori lineari in HAnalisi complessa/Operatori lineari in H
* Trasformata di Fourier
** Definizione e proprietà della trasformata di FourierAnalisi complessa/Definizione e proprietà della trasformata di Fourier
** ConvoluzioneAnalisi complessa/Convoluzione
* Integrale di Lebesgue
** Integrale di RiemannAnalisi complessa/Integrale di Riemann
** Misura di LebesgueAnalisi complessa/Misura di Lebesgue
** Integrale di LebesgueAnalisi complessa/Integrale di Lebesgue
Modifica il sommario

## Integrale

Occorre parlare delle definizioni di integrali nel campo complesso. Conviene cominciare introducendo gli integrali di una funzione di variabile reale con valori complessi,
    $w(t)=u(t)+iv(t)\!$;
Definiamo la derivata di tale funzione come
    $w'(t)=u'(t)+iv'(t)\!$
per la quale valgano formalmente le stesse regole di derivazione del caso a valori reali.
Gli integrali si introducono naturalmente, in questo contesto, come
    $\int _{a}^{b}w(t)dt=\int _{a}^{b}u(t)dt+i\int _{a}^{b}v(t)dt$
in modo da poter trasportare senza problemi le varie regole di integrazione del caso reale.

### Teorema fondamentale del calcolo

Gli integrali sono di sicuro ben definiti se le funzioni $u$ e $v$ sono continue a tratti, e vale il teorema fondamentale del calcolo integrale: se $z'(t)=w(t)\!$, allora
    $\int _{a}^{b}w(t)dt=z(b)-z(a)$
Inoltre vale la disuguaglianza
    $\left|\int _{a}^{b}w(t)dt\right|\leq \int _{a}^{b}|w(t)|dt\qquad (a<b)$

## Curve parametriche
### definizione

Gli integrali di funzioni a variabile complessa vengono definiti lungo dei percorsi di integrazione, in modo analogo agli integrali curvilinei per le funzioni reali di più variabili. Occorre quindi per prima cosa considerare delle curve parametriche in $C$, definibili come
    $z(t)=x(t)+iy(t)\!$;
un arco di curva è un tratto con $z$ definita per $t\in [a,b]\subseteq R$, continua.
* si dice semplice se
       $z(t_{1})=z(t_{2})\iff t_{1}=t_{2}\!$
    (la curva non ha autointersezioni), e chiuso se
       $z(a)=z(b)\!$
Notazioni
* $C^{1}([a,b])\!$
viene indicato l'insieme delle funzioni continue e derivabili, con derivata continua, nell'insieme [a,b]
* Si dice regolare se
       $z\in C^{1}([a,b])$
    e
       $z'(t)\neq 0$
    tranne al più agli estremi.
* È regolare a tratti se è possibile suddividerla in un numero finito di archi regolari.

### Teorema (di Jordan)

Ogni curva semplice e chiusa divide il piano in due regioni aperte, una limitata (interno) ed una non limitata (esterno).

#### Definizione

    Per ogni arco di curva semplice e regolare $z(t)$ è possibile definirne la lunghezza come l'integrale
       $L=\int _{a}^{b}|z'(t)|dt$

### Teorema

La definizione di lunghezza appena data è indipendente dalla parametrizzazione; considerando la curva parametrica
    ${\tilde {z}}(\tau )=z(\phi (\tau ))$
dove
    $\phi (\tau ):[\alpha ,\beta ]\rightarrow \mathbb {R}$
è una funzione con derivata continua mai uguale a zero (in modo da garantire che mappi in maniera biunivoca $[\alpha ,\beta ]$ su $[a,b]$),
    $L=\int _{a}^{b}|z'(t)|dt=\int _{\alpha }^{\beta }|{\tilde {z}}'(\tau )|d\tau$

## Integrali di contorno

Abbiamo ora gli strumenti necessari per introdurre una definizione conveniente di integrale per una funzione di variabile complessa a valori complessi, lungo un percorso di integrazione $C$ rappresentato da una curva parametrica in $C$.

### Definizione.

    Sia $C$ una curva regolare a tratti con supporto contenuto in un insieme aperto $\Omega$,
       $C=\bigcup _{i}z_{i}(t),\quad z_{i}(t):[a_{i},b_{i}]\rightarrow \mathbb {C} ,\quad a_{i}=b_{i-1},z_{i}\quad b_{i}=z_{i+1}(a_{i+1})$
    Sia $f:\Omega \rightarrow \mathbb {C}$ una funzione continua. Definiamo
       $\int _{C}f(z)dz=\sum \int _{a_{i}}^{b_{i}}f(z_{i}(t))z_{i}'(t)dt$.
Segue da questa definizione che se possiamo scomporre il percorso $C$ come "somma di due percorsi" $C_{1}$ e $C_{2}$ (tali che $z_{1}:[a,c]\rightarrow C$, $z_{2}:[c,b]\rightarrow C$ e $z_{1}(c)=z_{2}(c)\!$)
    $\int _{C}f(z)dz=\int _{C_{1}}f(z)dz+\int _{C_{2}}f(z)dz$
e che se consideriamo il percorso $-C$ identico al percorso $C$ ma con verso di percorrenza opposto,
    $\int _{-C}f(z)dz=-\int _{C}f(z)dz\,$

### Teorema

    Vale la disuguaglianza
       $\left|\int _{C}f(z)dz\right|\leq ML$
dove $M$ è il massimo valore di $|f(z)|$ assunto dalla funzione lungo il percorso, e $L$ la lunghezza del percorso.

## Primitiva
### Definizione

    Esiste una correlazione stretta tra gli integrali di contorno nel campo complesso e quelli in $\mathbb {R} ^{2}$; infatti è possibile usare una definizione di primitiva, che svolge una funzione analoga al potenziale nel caso reale.
Si dice primitiva di una funzione $f:D\subseteq \mathbb {C} \rightarrow \mathbb {C}$ continua una funzione $F$ tale che $F'(z)=f(z)$ in tutto il dominio $D$. La primitiva è unica a meno di una costante additiva.

### Teorema

Sia $f$ una funzione continua su un dominio $D$. Allora ognuna di queste proprietà implica le altre due:
* $f$ ha primitiva $F$ in $D$
* l'integrale di $f$ lungo contorni interamente contenuti in $D$ dipende solo dai punti iniziali e finali del contorno
* l'integrale di $f$ lungo ogni contorno chiuso interamente contenuto in $D$ è nullo.

### Teorema di Cauchy-Goursat

Se una funzione $f$ è analitica all'interno e sui punti di un cammino semplice chiuso $C$, allora
    $\int _{C}f(z)dz=0\!$.
Questo teorema può essere provato facilmente, sotto ipotesi leggermente più forti (supponendo anche la continuità di $f'$), ricorrendo al Teorema di Green:

### Teorema di Green

    Se $Q(x,y)$ $P(x,y)$ e le loro derivate parziali sono continue su di un contorno $C$ e sulla regione interna $R$, allora
       $\int _{C}Pdx+Qdy=\iint _{R}(Q_{x}-P_{y})dA$

## Dominio semplicemente connesso
### Definizione

   * Un dominio si dice semplicemente connesso se ogni contorno semplice chiuso contenuto in $D$ ha interno interamente contenuto in $D$.
   * Un dominio che non sia semplicemente connesso si dice molteplicemente connesso.
È un'immediata conseguenza del teorema di Cauchy-Goursat che:

### Teorema

    Se una funzione $f$ è analitica in un dominio semplicemente connesso $D$,
       $\int _{C}f(z)dz=0\!$
    per ogni cammino semplice chiuso $C$ contenuto in $D$.

### Corollario

    Una funzione analitica su un dominio semplicemente connesso ammette antiderivata in quel dominio.

### Teorema

    Consideriamo $f$ analitica in un dominio $D$ molteplicemente connesso. Sia $C$ un cammino semplice chiuso in $D$ percorso in senso antiorario, e $C_{k}:(k=1\ldots n)$ cammini semplici chiusi interamente contenuti interno di $C$, percorsi in senso orario, i cui interni non abbiano punti in comune, e tali che tutti i punti dell'interno di $C$ in cui $f$ non è analitica siano contenuti all'interno di uno dei $C_{k}$, allora
       $\int _{C}f(z)dz+\sum _{k}\int _{C_{k}}f(x)dz=0$

### Corollario

    Se $C_{1}$ e $C_{2}$ sono due cammini semplici chiusi percorsi nello stesso verso, per i quali l'interno di $C_{2}$ è interamente contenuto nell'interno di $C_{1}$, e se una funzione $f$ è analitica nella regione chiusa compresa tra i due contorni, allora
       $\int _{C_{1}}f(z)dz=\int _{C_{2}}f(z)dz.$

## Teorema di rappresentazione di Cauchy

Se una funzione $f$ è analitica all'interno e sul bordo di un contorno semplice chiuso $C$, percorso in senso positivo (antiorario), per ogni punto $z_{0}$ interno al contorno stesso
    $f(z_{0})={\frac {1}{2\pi i}}\int _{C}{\frac {f(z)}{z-z_{0}}}dz.$
Inoltre tutte le derivate della funzione sono analitiche all'interno del contorno, e
    $f^{(n)}(z_{0})={\frac {n!}{2\pi i}}\int _{C}{\frac {f(z)}{(z-z_{0})^{n+1}}}dz$

### Corollario

    Se una funzione è analitica in un punto $z=x+iy$, le sue componenti $u(x,y)$ e $v(x,y)$ hanno derivate parziali continue di ogni ordine in $(x,y)$.

## Teorema di Morera

Se una funzione è continua in un dominio $D$ e
    $\int _{C}f(z)dz=0\!$
per ogni cammino semplice chiuso contenuto in $D$, $f$ è analitica in $D$.

## Teorema di Liouville

    Se $f$ è intera e limitata nel piano complesso, allora $f(z)$ è costante su tutto il piano.

## Teorema fondamentale dell'algebra

    Ogni polinomio
       $P_{N}(z)=\sum _{n=0}^{N}a_{n}z^{n}$
    di ordine $N>0$ ha almeno uno zero.

### Corollario

    Un polinomio di grado $N>0$ può essere fattorizzato come un prodotto di $n$ termini lineari
    $P_{N}(z)=\sum _{n=0}^{N}a_{n}z^{n}=c\prod _{n=1}^{N}(z-z_{n})$

### Teorema

    Se $f$ è analitica in un intorno $|z-z_{0}|<\varepsilon$ di un punto $z_{0}$, e $|f(z)|\leq |f(z_{0})|$ per ogni punto $z$ appartenente all'intorno, allora $f(z)=f(z_{0})$ in tutto l'intorno. Se $f$
è analitica in un dominio $D$ e non è costante, allora non ha massimo modulo in $D$.

### Corollario

    Se $f$ è continua su una regione chiusa e limitata, ed è analitica e non costante all'interno della regione stessa, allora il massimo modulo di $|f(z)|$ si registra sul bordo della regione, e mai all'interno.