Funzioni polidrome
Da Wikipedia, l'enciclopedia libera.
Una funzione complessa di variabile complessa è polidroma quando associa ad ogni valore della variabile z più valori della funzione f(z).
Indice |
[modifica] Radice ennesima
La più semplice e immediata funzione polidroma è la potenza ennesima di una variabile complessa:
intesa come inversa della funzione monodroma zn. Ebbene usando la rappresentazione polare z = ρeiθ ricordando che ogni numero complesso espresso in forma polare deve riportare l'intervallo di definizione dell'argomento affinchè il numero sia ben definito (ovviamente ρ > 0):
si vede chiaramente che se è ben definito, viceversa l'argomento della funzione radice ennesima:
è chiaramente non definitivamente determinato. Questo implica che anche se zn è univocamente determinato dalla determinazione principale del suo argomento, la sua inversa non è univocamente determinata, di conseguenza si avranno n valori, in corrispondenza degli n valori dell'argomento di . Per ritornare allo stesso punto bisogna dunque eseguire n giri intorno all'origine. Da notare che la funzione resta monodroma se restringiamo l'intervallo di definizione dell'argomento ad un settore tra n ed n+1.
[modifica] Logaritmo
Consideriamo un'altra tipica funzione polidroma che è anche discontinua su tutta una semiretta uscente dall'origine come:
- Logz = log | z | + iθ + ik2π
cioè la branca principale del logaritmo, dove θ è la fase per che assume gli infiniti valori: . Ovviamente questo discorso vale anche per il logaritmo naturale e il logaritmo su qualsiasi base.
[modifica] Altre caratteristiche della polidromia
Caratteristica di molte funzioni polidrome è l'esistenza di punti di singolarità non isolate che sono detti punti di diramazione di ordine n, se compiendo n + 1 giri nello stesso verso, la funzione assume sempre lo stesso valore iniziale ed è invece un punto di diramazione di ordine infinito, se per quante volte si giri intorno al punto singolare la funzione non torna mai ad assumere lo stesso valore iniziale. A parte i due punti di diramazione in zero e all'infinito la funzione logaritmo è analitica. Ciò significa che si può sviluppare in serie di Taylor entro un cerchio di convergenza di centro z0 di raggio | z0 | :
Un'altra tipica funzione polidroma che ha le stesse caratteristiche del logaritmo:
- zα = eαlnz