Nsryjdtyk

Rappresentazione della funzione complessa f(z)=(z2−1)(z−2−i)2(z2+2+2i){displaystyle f(z)={frac {(z^{2}-1)(z-2-i)^{2}}{(z^{2}+2+2i)}}} La tonalità rappresenta l'argomento della funzione, mentre l'intensità rappresenta il modulo.

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.

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 |

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

Definizione |

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

f:A→C{displaystyle f:Ato mathbb {C} }

definite su un aperto A{displaystyle A} del piano complesso C{displaystyle mathbb {C} }, 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 A{displaystyle A}, essa viene definita funzione olomorfa.

Relazione con la differenziabilità |

Usando l'identificazione di C{displaystyle mathbb {C} } con R2{displaystyle mathbb {R} ^{2}}, la funzione f{displaystyle f} può essere interpretata come funzione da un aperto di R2{displaystyle mathbb {R} ^{2}} in R2{displaystyle mathbb {R} ^{2}}. 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.

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

{∂u∂x=∂v∂y∂u∂y=−∂v∂x{displaystyle left{{begin{array}{l}displaystyle {partial u over partial x}={partial v over partial y}\displaystyle {partial u over partial y}=-{partial v over partial x}end{array}}right.}

dove u{displaystyle u} e v{displaystyle v} sono due funzioni di variabile reale e a valori reali, definite su A{displaystyle A}, considerato come sottoinsieme di R2{displaystyle mathbb {R} ^{2}}, tali che f=u+iv{displaystyle f=u+iv,!}

Mappe conformi |

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 f(z){displaystyle f(z)} è una funzione olomorfa e conforme, la funzione f(z¯){displaystyle f({bar {z}})} (dove z¯{displaystyle {bar {z}}} è il complesso coniugato di z{displaystyle z}) è ancora conforme perché ottenuta da f{displaystyle f} mediante composizione con un'isometria, ma non è in generale olomorfa (non sono soddisfatte, ad esempio, le condizioni di Cauchy-Riemann).

Funzioni armoniche |

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 |

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 f(z){displaystyle f(z)} di una funzione olomorfa in un punto con l'integrale di una funzione costruita a partire da f{displaystyle f} lungo una curva semplice chiusa γ{displaystyle gamma } che "circonda" il punto z{displaystyle z}, nel modo seguente:

f(z)=12πi⋅∮γ⁡f(w)w−zdw.{displaystyle f(z)={frac {1}{2pi i}}cdot oint _{gamma }{frac {f(w)}{w-z}},mathrm {d} w.}

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à |

Una funzione olomorfa è sempre analitica, ovvero è 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 |

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 C{displaystyle mathbb {C} } ma con modulo uniformemente limitato.

Teorema del massimo modulo |

Lo stesso argomento in dettaglio: Teorema del massimo modulo.

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

Esempi di funzioni olomorfe |

Rapporto fra polinomi |

Ogni funzione definita a partire dalle quattro operazioni aritmetiche è olomorfa nell'aperto in cui è ben definita. Ad esempio, se p(z){displaystyle p(z)} e q(z){displaystyle q(z)} sono due polinomi, la funzione

f(z)=p(z)q(z){displaystyle f(z)={frac {p(z)}{q(z)}}}

è olomorfa sull'aperto A{displaystyle A} ottenuto rimuovendo da C{displaystyle mathbb {C} } i punti corrispondenti alle radici di q{displaystyle q}.

Funzioni analitiche |

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 |

Lo stesso argomento in dettaglio: Serie di Laurent.

Una serie di Laurent centrata in un fissato punto c{displaystyle c} del piano complesso è una serie del tipo

f(z)=∑n=−∞∞an(z−c)n.{displaystyle f(z)=sum _{n=-infty }^{infty }a_{n}(z-c)^{n}.}

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 c{displaystyle c}. Molte funzioni olomorfe sono agevolmente descritte tramite una serie di Laurent (ad esempio, quelle aventi una singolarità isolata in c{displaystyle c}).

Funzioni non olomorfe |

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

Funzioni meromorfe |

Lo stesso argomento in dettaglio: Funzione meromorfa.

Singolarità isolate |

Lo stesso argomento in dettaglio: Singolarità isolata.

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

f:A∖{z0}→C{displaystyle f:Asetminus {z_{0}}to mathbb {C} }

definita su un aperto A{displaystyle A}, meno un suo punto interno z0{displaystyle z_{0}}, ha una singolarità isolata in z0{displaystyle z_{0}}. Differentemente da quanto accade per le funzioni reali, il comportamento della funzione vicino z0{displaystyle z_{0}} è catalogabile in tre tipologie, determinate dal comportamento del modulo |f(z)|{displaystyle |f(z)|} vicino al punto:

1. Se |f(z)|{displaystyle |f(z)|} è limitato in un intorno di z0{displaystyle z_{0}}, la singolarità è eliminabile: la funzione è estendibile con continuità al punto, e l'estensione è ancora olomorfa.


2. Se |f(z)|{displaystyle |f(z)|} tende a infinito per z{displaystyle z} tendente a z0{displaystyle z_{0}}, la singolarità è un polo.


3. In tutti gli altri casi, |f(z)|{displaystyle |f(z)|} non ha limite per z{displaystyle z} tendente a z0{displaystyle z_{0}}, e la singolarità è detta essenziale.

Sfera di Riemann |

Lo stesso argomento in dettaglio: Sfera di Riemann.

Se la funzione ha in z0{displaystyle z_{0}} una singolarità eliminabile, questa si estende ad una funzione olomorfa su A{displaystyle A}. Se ha un polo, è possibile ugualmente estendere la funzione ponendo f(z)=+∞{displaystyle f(z)=+infty }. 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 +∞{displaystyle +infty } 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 P1(C){displaystyle mathbb {P} ^{1}(mathbb {C} )}. Una funzione meromorfa è quindi una particolare funzione

f:A→P1(C).{displaystyle f:Ato mathbb {P} ^{1}(mathbb {C} ).}

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: A{displaystyle A} è un qualsiasi aperto di P1(C){displaystyle mathbb {P} ^{1}(mathbb {C} )}; un tale aperto è un usuale aperto di C{displaystyle mathbb {C} } oppure tutta la sfera.

Ad esempio, una trasformazione di Möbius

f(z)=az+bcz+d{displaystyle f(z)={frac {az+b}{cz+d}}}

dove a,b,c,d{displaystyle a,b,c,d} sono complessi e

det(abcd)≠0{displaystyle det {begin{pmatrix}a&b\c&dend{pmatrix}}neq 0}

è una funzione meromorfa

f:P1(C)→P1(C).{displaystyle f:mathbb {P} ^{1}(mathbb {C} )to mathbb {P} ^{1}(mathbb {C} ).}

Tale funzione è anche una corrispondenza biunivoca.

Biolomorfismi |

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 A{displaystyle A} e B{displaystyle B} di C{displaystyle mathbb {C} } (e più generalmente, di P1(C){displaystyle mathbb {P} ^{1}(mathbb {C} )}) è una funzione

f:A→B{displaystyle f:Ato B,!}

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 P1(C){displaystyle mathbb {P} ^{1}(mathbb {C} )} ci sono solo tre aperti semplicemente connessi a meno di biolomorfismo. Questi sono:

1. Il disco aperto Δ={z∈C | |z|<1}{displaystyle Delta ={zin mathbb {C} | |z|<1}},


2. Il piano C{displaystyle mathbb {C} },


3. La sfera di Riemann P1(C){displaystyle mathbb {P} ^{1}(mathbb {C} )}.

Questo risultato è una parte importante del Teorema di uniformizzazione di Riemann. In particolare, qualsiasi aperto semplicemente connesso di C{displaystyle mathbb {C} } 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 |

• 
  F. Casorati, .mw-parser-output .chiarimento{background:#ffeaea;color:#444444}.mw-parser-output .chiarimento-apice{color:red}
  Teorica delle funzioni di variabili complesse^{[collegamento interrotto]} (Fratelli Fusi, Pavia, 1868)


• Stephen D. Fisher, Complex Variables, 2 ed. (Dover, 1999)


• H. Durège, Elements of the theory of functions of a complex variable with especial reference to the methods of Riemann (G.E. Fisher and I.J. Schwatt, Philadelphia, 1896)


• J. Pierpont, Functions of a complex variable (Ginn & co., Boston, 1914)


• E. J. Townsend, Functions Of a complex variable (Henry Holt And Company, 1915)


• T. M. MacRobert, Functions of a complex variable (London, MacMillan, 1917)


• 
  H. F. Burkhardt, Theory of functions of a complex variable (D. C. Heath, Boston, 1913)


• A. R. Forsyth, Theory of functions of a complex variable (Cambridge University Press, 1918)


• J. Harkness e F. Morley, Introduction ToThe Theory Analytic Functions (Stechert & co., 1898)


• E. T. Whittaker e G. N. Watson, Modern Analysis (Cambridge University Press, 1922)


• 
  E. Goursat, Functions of a complex variable I (Ginn & co. 1916)


• E. Goursat, Functions of a complex variable II (Ginn & co. 1916)


• 
  S. Saks e A. Zygmund, Analytic functions (Polskie Towarzystwo Matematyczne, 1952)


• (FR) J. Hoüel,
  Cours de calcul infinitésimal. Tome troisième^{[collegamento interrotto]} e
  Cours de calcul infinitésimal. Tome troisième deuxième partie^{[collegamento interrotto]} (Gauthier-Villars, 1881)


• (FR) E. Picard, Traité d'Analyse (vol. 2) (Gauthier-Villars, 1893)


• (EN) Lars Ahlfors, Complex Analysis, 3rd, McGraw-Hill, 1979, ISBN 978-0-07-000657-7.
  


• (EN) E. Freitag, R. Busam, Complex Analysis; Springer-Verlag(2005).

Voci correlate |

• Numero complesso


• Piano complesso


• Geometria complessa

Altri progetti |

• 
  Wikibooks contiene testi o manuali di analisi complessa
  


• 
  Wikizionario contiene il lemma di dizionario «analisi complessa»


• 
  Wikimedia Commons contiene immagini o altri file su analisi complessa
  

Collegamenti esterni |

• 
  


• 
  Analisi complessa, su thes.bncf.firenze.sbn.it, Biblioteca Nazionale Centrale di Firenze.
  


• 
  (EN) Analisi complessa, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
  

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica