# Analisi complessa/Derivate

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

## Definizione

La definizione di derivata per una funzione a variabile complessa ricorda formalmente quella per le funzioni reali.
Se $f:\mathbb {C} \rightarrow \mathbb {C}$ è definita in un intorno di $z_{0}$, la derivata è definita come:
    $f'(z_{0})=\lim _{z\rightarrow z_{0}}{\frac {f(z)-f(z_{0})}{z-z_{0}}}$
se il limite esiste. In realtà la derivabilità è una condizione piuttosto restrittiva: anche funzioni apparentemente "innocue", come $f(z)={\bar {z}}$ non sono derivabili.

## Teoremi sulla derivazione
### Continuità di funzione derivabile

Se una funzione è derivabile in un punto è anche continua nello stesso punto.

### Teorema 1.2.10

Siano $f,g:A\subseteq \mathbb {C} \rightarrow \mathbb {C}$ dove:
* A è un insieme aperto
* $z_{0}\in A$
* $f,g\!$ derivabili in $z_{0}\!$
allora
* ${\frac {dc}{dz}}=0$ con c costante
* ${\frac {d(cf)}{dz}}=c{\frac {df}{dz}}$ con c costante
* $f+g\!$ è derivabile e inoltre $(f+g)'(z_{0})=f'(z_{0})+g'(z_{0})\!$
* $fg\!$ è derivabile e $(fg)'(z_{0})=f'(z_{0})g(z_{0})+f(z_{0})g'(z_{0})\!$
* ${\frac {1}{f}}$ è derivabile se $f(z_{0})\neq 0$ e $\left({\frac {1}{f}}\right)'(z_{0})=-{\frac {f'(z)}{f(z)^{2}}}$
* $(z^{n})'=nz^{n-1}\!$
* se $f:A\subseteq \mathbb {C} \rightarrow \mathbb {C} ,g:f(A)\rightarrow \mathbb {C}$, $f$ derivabile in $z_{0}\in A$ e $g$ è derivabile in $f(z_{0})$ allora:
          $(f\circ g)(z_{0})=g'(f(z_{0}))f'(z_{0})$

## Teorema 1.2.11

Sia $f(z=x+iy)=u(x,y)+iv(x,y)\,$, condizione necessaria perché $f$ sia differenziabile in $z_{0}$ è che valgano le condizioni di Cauchy-Riemann:
    $u_{x}=v_{y}\qquad u_{y}=-v_{x}$
Se inoltre $u$ e $v$ hanno derivate in un intorno di $z_{0}$ e tali derivate sono continue in $z_{0}$, allora le condizioni sopra citate sono anche sufficienti, ed esiste la derivata $f'(z_{0})=u_{x}+iv_{x}$

## Funzioni analitiche
### Definizione

Una funzione è analitica o olomorfa in un insieme aperto se ha derivata in ogni punto di tale insieme. Diremo che è analitica in un punto $z_{0}$, e che è intera se è analitica su tutto $\mathbb {C}$. Se $f$ non è derivabile in $z_{0}$, ma è derivabile in qualche punto di ogni intorno di $z_{0}$ diremo che $z_{0}$ è una singolarità. Se esiste un intorno di $z_{0}$ tale che $f$ sia derivabile in tutto l'intorno tranne che in $z_{0}$ diremo che $z_{0}$ è una singolarità isolata.
* Si definisce dominio un insieme D aperto connesso, che possa cioè essere espresso come unione di due aperti disgiunti non vuoti. Si può dimostrare che esiste sempre una poligonale composta da un numero finito di segmenti che unisce qualsiasi coppia di punti contenuti in un dominio.

### Teorema 1.2.13

Se una funzione ha derivata nulla in un dominio D, allora $f(z)=c$ costante in tutto il suo dominio.

## Funzioni armoniche
### Definizione

* Una funzione reale in due variabili $u(x,y)$ si dice armonica se soddisfa l'equazione di Laplace:
       $u_{xx}+u_{yy}=0\!$.
* Una funzione $v$ si dice armonica coniugata di una funzione armonica $u$ se le due funzioni soddisfano le condizioni di Cauchy-Riemann.

### Teorema 1.2.15

La funzione $f(z=x+iy)=u(x,y)+iv(x,y)\!$ è analitica in un dominio D se e solo se $v$ è armonica coniugata di $u$