Analisi complessa

branca dell'analisi matematica

L'analisi complessa (più precisamente, la teoria delle funzioni di variabili complesse) è quella branca dell'analisi matematica che applica le nozioni di calcolo infinitesimale alle funzioni complesse, cioè alle funzioni definite che hanno per dominio e codominio insiemi di numeri complessi.

Rappresentazione della funzione complessa La tonalità rappresenta l'argomento della funzione, mentre l'intensità rappresenta il modulo.

Protagonista dell'analisi complessa è la funzione olomorfa: una funzione complessa per cui è definita una nozione di derivata, in modo identico a quanto fatto per le usuali funzioni reali. Un'estensione di questo concetto è la funzione meromorfa. L'analisi complessa è estremamente utile in numerose branche della matematica, come ad esempio la teoria dei numeri e la geometria algebrica; ha notevoli applicazioni anche in fisica e in ingegneria.

Funzioni olomorfe modifica

  Lo stesso argomento in dettaglio: Funzione olomorfa ed Equazioni di Cauchy-Riemann.

Definizione modifica

L'analisi complessa applica le tecniche del calcolo infinitesimale ai numeri complessi. Per fare questo, è necessario modellizzare i numeri complessi nel piano complesso, dotato della usuale topologia euclidea del piano reale. La topologia permette quindi di parlare di successioni, di limiti, di insiemi aperti e chiusi del piano complesso.

L'analisi complessa studia generalmente funzioni di variabile complessa

 

definite su un aperto   del piano complesso  , a valori complessi. In modo del tutto analogo a quanto fatto nel caso reale, una tale funzione è derivabile in senso complesso in un punto se il rapporto incrementale ha limite in quel punto. Se la funzione è derivabile in senso complesso in ogni punto di  , essa viene definita funzione olomorfa.

Relazione con la differenziabilità modifica

Usando l'identificazione di   con  , la funzione   può essere interpretata come funzione da un aperto di   in  . Una funzione derivabile in senso complesso è necessariamente differenziabile se interpretata in questo modo.

Non è vero però l'opposto: la derivabilità in senso complesso è una condizione molto più restrittiva, che implica notevoli conseguenze sul comportamento della funzione.

Si prenda ad esempio la funzione di variabile complessa  . Su  , essa coincide con la funzione  , che ammette tutte le derivate direzionali (essendo continue,   è differenziabile). Su  , calcolando il limite del rapporto incrementale, si ha invece:

 

dove   è l'argomento di  . Tale limite non esiste, in quanto dipende dalla direzione con cui ci avviciniamo a  . Pertanto la funzione   non è derivabile in senso complesso.

La condizione di derivabilità in senso complesso per una funzione   differenziabile è sintetizzata nelle equazioni di Cauchy-Riemann, che danno un esempio di quanto la condizione di derivabilità complessa sia più restrittiva:

 

dove   e   sono due funzioni di variabile reale e a valori reali, definite su  , considerato come sottoinsieme di  , tali che  

Mappe conformi modifica

  Lo stesso argomento in dettaglio: Mappa conforme e Immagini conformi.
 
La derivata di una funzione olomorfa non costante si annulla solo in alcuni punti isolati. Nel resto del dominio, si comporta come in figura: distorce le curve ma mantiene gli angoli fra queste (nella figura, restano ortogonali).

Un altro esempio delle particolarità di cui gode una funzione derivabile in senso complesso è data dal carattere "conforme" delle funzioni olomorfe con derivata diversa da zero. Infatti, una funzione olomorfa avente derivata ovunque diversa da zero è una mappa conforme: una simile funzione preserva gli angoli, ma non necessariamente le distanze. Questa proprietà è dovuta al fatto che una funzione olomorfa, esattamente come una funzione differenziabile nel caso reale, è localmente approssimabile da una funzione lineare.

Ma una funzione lineare, nel caso complesso, consiste nella composizione di una moltiplicazione complessa e di una traslazione (quest'ultima rappresentata da una somma): la seconda è un'isometria mentre la prima è sempre una roto-omotetia, ossia la composizione di una rotazione nel piano complesso (un'altra isometria) e di una omotetia. Quindi, tutte e tre le trasformazioni che entrano in gioco nell'approssimazione lineare sono omotetie o isometrie che, componendosi tra di loro, conservano, in particolare, gli angoli (è essenziale, in questo caso, l'ipotesi fatta che la derivata complessa sia diversa da zero: in caso contrario il termine moltiplicativo della funzione lineare, responsabile della roto-omotetia, sarebbe nullo e non in grado di conservare gli angoli).

Allo stesso modo si può constatare un'altra conseguenza: una funzione olomorfa conserva localmente i rapporti tra le distanze; in altre parole, su piccola scala essa è approssimativamente una similitudine. Infatti, la funzione lineare con cui è localmente approssimabile, come abbiamo visto, è la composizione di isometrie e omotetie, tutte funzioni che conservano i rapporti tra le distanze (si ritrova qualcosa di già come noto dalla geometria elementare, lo stretto legame tra la conservazione degli angoli e la conservazione dei rapporti tra le distanze).

Esistono peraltro trasformazioni conformi che non sono olomorfe: si veda l'esempio delle cosiddette funzioni antiolomorfe un esempio delle quali, illustrata più oltre, è la coniugazione complessa. In generale, se   è una funzione olomorfa e conforme, la funzione   (dove   è il complesso coniugato di  ) è ancora conforme perché ottenuta da   mediante composizione con un'isometria, ma non è in generale olomorfa (non sono soddisfatte, ad esempio, le condizioni di Cauchy-Riemann).

Funzioni armoniche modifica

  Lo stesso argomento in dettaglio: Funzioni armoniche e Teoria del potenziale.

D'altra parte, la parte reale e la parte immaginaria di una funzione olomorfa sono entrambe funzioni armoniche: alcune proprietà delle funzioni armoniche sono ereditate dalle funzioni olomorfe e, tra queste, quella di non ammettere massimi e minimi locali.

Formula di Cauchy modifica

  Lo stesso argomento in dettaglio: Formula integrale di Cauchy.

L'ingrediente fondamentale dell'analisi complessa, che non ha analogie nell'analisi reale, è la formula di Cauchy. Questa formula mette in relazione il valore   di una funzione olomorfa in un punto con l'integrale di una funzione costruita a partire da   lungo una curva semplice chiusa   che "circonda" il punto  , nel modo seguente:

 

Dalla formula di Cauchy seguono molte proprietà delle funzioni olomorfe, che non hanno analogie nell'ambito dell'analisi reale. Alcune di queste proprietà sono descritte brevemente qui sotto.

Analiticità modifica

Una funzione olomorfa è sempre analitica, ossia è localmente esprimibile come serie di potenze. In altre parole, in ambito complesso l'esistenza della derivata prima è sufficiente a garantire non solo l'esistenza di derivate di ogni ordine, ma anche l'analiticità della funzione. Nessuna delle due conseguenze, in ambito reale, discende dalla sola differenziabilità.

Teorema di Liouville modifica

  Lo stesso argomento in dettaglio: Teorema di Liouville (analisi complessa).

Una funzione olomorfa è intera se è definita su tutto il piano complesso.

Le funzioni intere sono quelle funzioni che in ogni punto hanno una rappresentazione come serie di potenze con raggio di convergenza infinito. Le funzioni intere sono soggette a molte restrizioni. Tra queste, il teorema di Liouville asserisce che una funzione intera non costante non può avere modulo limitato sul piano.

Non esistono quindi in ambito complesso funzioni come l'arcotangente reale, che siano definite su tutto   ma con modulo uniformemente limitato.

Teorema del massimo modulo modifica

  Lo stesso argomento in dettaglio: Teorema del massimo modulo.

Per il teorema del massimo modulo, il modulo   di una funzione olomorfa   definita su un aperto   non può assumere massimo. Se il dominio   è limitato e la funzione   è estendibile con continuità alla chiusura di  , il modulo ammette massimo su uno dei punti del bordo.

Esempi di funzioni olomorfe modifica

Rapporto fra polinomi modifica

Ogni funzione definita a partire dalle quattro operazioni aritmetiche è olomorfa nell'aperto in cui è ben definita. Ad esempio, se   e   sono due polinomi, la funzione

 

è olomorfa sull'aperto   ottenuto rimuovendo da   i punti corrispondenti alle radici di  .

Funzioni analitiche modifica

  Lo stesso argomento in dettaglio: Funzione analitica e Prolungamento analitico.
 
Il prolungamento analitico di una funzione analitica lungo una curva nel piano.

Ogni funzione analitica reale si estende in modo unico a una funzione olomorfa. Il procedimento con cui le funzioni analitiche vengono estese in modo unico è detto prolungamento analitico. In particolare, le funzioni esponenziale, seno, e le altre funzioni trigonometriche sono estensibili in maniera univoca a funzioni olomorfe.

 
La parte reale del seno complesso in un rettangolo del piano.

Il comportamento delle funzioni esponenziale e seno in ambito complesso è più ricco di quello che "esse evidenziano" in ambito reale. Ad esempio, per il teorema di Liouville, la funzione seno non è limitata nel piano complesso (in contrasto con quanto accade sui reali, ove è limitata tra -1 e 1). Anzi, la funzione seno è suriettiva sui complessi.

Serie di Laurent modifica

  Lo stesso argomento in dettaglio: Serie di Laurent.

Una serie di Laurent centrata in un fissato punto   del piano complesso è una serie del tipo

 

La serie è simile ad una serie di Taylor: l'unica differenza sta nella possibile presenza di termini con esponenti negativi. Come le serie di Taylor, una serie di Laurent può essere convergente in una delimitata zona del piano: in questo caso la zona è un disco o, per la presenza di esponenti negativi, un anello centrato in  . Molte funzioni olomorfe sono agevolmente descritte tramite una serie di Laurent (ad esempio, quelle aventi una singolarità isolata in  ).

Funzioni non olomorfe modifica

Esempi di funzioni complesse ma non olomorfe sono la coniugazione complessa, il passaggio alla parte reale (o immaginaria) e la funzione modulo (anche al quadrato).

Funzioni meromorfe modifica

  Lo stesso argomento in dettaglio: Funzione meromorfa.

Singolarità isolate modifica

  Lo stesso argomento in dettaglio: Singolarità isolata.

Un altro concetto centrale dell'analisi complessa è quello di singolarità isolata. Una funzione olomorfa

 

definita su un aperto  , meno un suo punto interno  , ha una singolarità isolata in  . Differentemente da quanto accade per le funzioni reali, il comportamento della funzione vicino   è catalogabile in tre tipologie, determinate dal comportamento del modulo   vicino al punto:

  1. Se   è limitato in un intorno di  , la singolarità è eliminabile: la funzione è estendibile con continuità al punto, e l'estensione è ancora olomorfa.
  2. Se   tende a infinito per   tendente a  , la singolarità è un polo.
  3. In tutti gli altri casi,   non ha limite per   tendente a  , e la singolarità è detta essenziale.

Sfera di Riemann modifica

  Lo stesso argomento in dettaglio: Sfera di Riemann.

Se la funzione ha in   una singolarità eliminabile, questa si estende ad una funzione olomorfa su  . Se ha un polo, è possibile ugualmente estendere la funzione ponendo  . Il risultato di questa operazione è un nuovo tipo di funzione, detta meromorfa.

Le funzioni meromorfe si comportano localmente come le funzioni olomorfe: è sufficiente aggiungere al piano complesso il punto   tramite la proiezione stereografica. Lo spazio che si ottiene è topologicamente equivalente alla sfera, ed è detto sfera di Riemann. Viene spesso identificato con la retta proiettiva complessa  . Una funzione meromorfa è quindi una particolare funzione

 

Con questa costruzione, il punto all'infinito è trattato come tutti gli altri, ed è possibile tradurre molti risultati sulle funzioni olomorfe nel contesto delle funzioni meromorfe. Analoga estensione può essere quindi ammessa sul dominio:   è un qualsiasi aperto di  ; un tale aperto è un usuale aperto di   oppure tutta la sfera.

Ad esempio, una trasformazione di Möbius

 

dove   sono complessi e

 

è una funzione meromorfa

 

Tale funzione è anche una corrispondenza biunivoca.

Biolomorfismi modifica

  Lo stesso argomento in dettaglio: Biolomorfismo e Teorema di uniformizzazione di Riemann.
 
Il fiocco di neve di Koch è un aperto del piano il cui bordo non è una curva ma un più complicato frattale. Per quanto complicato, questo aperto è biolomorfo al disco aperto.

In matematica, ogni categoria ha i suoi isomorfismi. Nell'ambito dell'analisi complessa, un isomorfismo fra due aperti   e   di   (e più generalmente, di  ) è una funzione

 

che sia olomorfa, iniettiva, suriettiva, e la cui inversa sia anch'essa olomorfa. Una tale funzione è detta biolomorfismo.

Una tappa fondamentale dell'analisi complessa, risolta alla fine del XIX secolo, è stata la classificazione degli aperti semplicemente connessi a meno di biolomorfismo. Sorprendentemente, in   ci sono solo tre aperti semplicemente connessi a meno di biolomorfismo (teorema della mappa di Riemann). Questi sono:

  1. il disco aperto  ;
  2. il piano  ;
  3. la sfera di Riemann  .

Questo risultato è una parte importante del teorema di uniformizzazione di Riemann. In particolare, qualsiasi aperto semplicemente connesso di   che non sia tutto il piano è biolomorfo al disco aperto: non soltanto le parti interne di poligoni come il quadrato, ma anche aperti più complicati come il fiocco di neve di Koch sono biolomorfi al disco aperto.

Bibliografia modifica

Voci correlate modifica

Altri progetti modifica

Collegamenti esterni modifica

Controllo di autoritàThesaurus BNCF 27867 · LCCN (ENsh85052356 · GND (DE4018935-1 · J9U (ENHE987007553156205171
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica