Analisi complessa/Derivate

Wikibooks, manuali e libri di testo liberi.

Indice

[modifica] Definizione

La definizione di derivata per una funzione a variabile complessa ricorda formalmente quella per le funzioni reali.

Se f:\C\rightarrow\C è definita in un intorno di z0, 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.

[modifica] Teoremi sulla derivazione

[modifica] Teorema 1.2.9

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

[modifica] Teorema 1.2.10

Siano f,g:A\subseteq\C\rightarrow\C dove:

  • A è un insieme aperto
  • z_0\in A
  • f,g\! derivabili in z_0\!

allora

  1. \frac{dc}{dz}=0 con c costante
  2. \frac{d (cf)}{dz}=c\frac{df}{dz} con c costante
  3. f+g\! è derivabile e inoltre (f+g)'(z_0)=f'(z_0)+g'(z_0)\!
  4. fg\! è derivabile e (fg)'(z_0)=f'(z_0)g(z_0)+f(z_0)g'(z_0)\!
  5. \frac{1}{f} è derivabile se f(z_0)\ne 0 e \left(\frac{1}{f}\right)'(z_0)=-\frac{f'(z)}{f(z)^2}
  6. (z^n)'=nz^{n-1}\!
  7. se f:A\subseteq\C\rightarrow \C, g: f(A)\rightarrow\C, f derivabile in z_0\in A e g è derivabile in f(z0) allora:
(f\circ g)(z_0)=g'(f(z_0))f'(z_0)

[modifica] Teorema 1.2.11

Sia f(z=x+iy)=u(x,y)+iv(x,y) \,, condizione necessaria perché f sia differenziabile in z0 è 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 z0 e tali derivate sono continue in z0, allora le condizioni sopra citate sono anche sufficienti, ed esiste la derivata f'(z0) = ux + ivx


[modifica] 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 z0, e che è intera se è analitica su tutto \C. Se f non è derivabile in z0, ma è derivabile in qualche punto di ogni intorno di z0 diremo che z0 è una singolarità. Se esiste un intorno di z0 tale che f sia derivabile in tutto l'intorno tranne che in z0 diremo che z0 è 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.

[modifica] Teorema 1.2.13

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

[modifica] Funzioni armoniche

Definzione
  • Una funzione reale in due variabili u(x,y) si dice armonica se soddisfa l'equazione differenziale:
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 Caychy Riemann.

[modifica] Teorema 1.2.15

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

Strumenti personali