Campo di Olomorfia di $log(-1+sqrt(z))$
Inviato: 28/08/2015, 11:42
Salve ragazzi!
Come da titolo devo trovare il campo di olomorfia di $log(-1+sqrt(z))$ dove considero la determinazione principale di radice e logaritmo con $arg(z) \in (-\pi, \pi]$.
La prima cosa che faccio è notare che l'insieme di definizione della funzione è $I_{def} = C\\{1}$.
Poi noto che il campo di olomorfia di $sqrt(z)$ è $O(sqrt(z)) = C \\ {z \in C: Im(z) = 0, Re(z) \leq 0}$.
Considero ora $\alpha = -1 + sqrt(z)$.
Pongo $z = R \cdot e^{i\theta}$ quindi $-1 + sqrt(z) = -1 +R^{1/2} \cdot (cos(\theta/2) + i \cdot sin(\theta/2))$.
Quindi $Im(\alpha) = R^{1/2} \cdot sin(\theta/2) = 0 \Leftrightarrow \theta = 0$ (perchè $\theta/2 \in (-\pi/2, \pi/2]$).
Ne segue che $Re(\alpha) = R^{1/2} - 1 \leq 0 \Leftrightarrow R \leq 1$ imponendo la condizione su $\theta$.
Questo vuol dire ${Im(\alpha) = 0, Re(\alpha) \leq 0} = {z \in C: Im(z) = 0, 0 \leq Re(z) \leq 1}$.
Perciò (intersecando i due campi di olomorfia) $O(log(-1+sqrt(z))) = I_{def] \\ {z \in C: Im(z) = 0, Re(z) \leq 1}$.
Il libro però da come soluzione: $O(log(-1+sqrt(z))) = C\\{z \in C: Im(z) = 0, Re(z) \leq 0}$.
Dove sbaglio?
Come da titolo devo trovare il campo di olomorfia di $log(-1+sqrt(z))$ dove considero la determinazione principale di radice e logaritmo con $arg(z) \in (-\pi, \pi]$.
La prima cosa che faccio è notare che l'insieme di definizione della funzione è $I_{def} = C\\{1}$.
Poi noto che il campo di olomorfia di $sqrt(z)$ è $O(sqrt(z)) = C \\ {z \in C: Im(z) = 0, Re(z) \leq 0}$.
Considero ora $\alpha = -1 + sqrt(z)$.
Pongo $z = R \cdot e^{i\theta}$ quindi $-1 + sqrt(z) = -1 +R^{1/2} \cdot (cos(\theta/2) + i \cdot sin(\theta/2))$.
Quindi $Im(\alpha) = R^{1/2} \cdot sin(\theta/2) = 0 \Leftrightarrow \theta = 0$ (perchè $\theta/2 \in (-\pi/2, \pi/2]$).
Ne segue che $Re(\alpha) = R^{1/2} - 1 \leq 0 \Leftrightarrow R \leq 1$ imponendo la condizione su $\theta$.
Questo vuol dire ${Im(\alpha) = 0, Re(\alpha) \leq 0} = {z \in C: Im(z) = 0, 0 \leq Re(z) \leq 1}$.
Perciò (intersecando i due campi di olomorfia) $O(log(-1+sqrt(z))) = I_{def] \\ {z \in C: Im(z) = 0, Re(z) \leq 1}$.
Il libro però da come soluzione: $O(log(-1+sqrt(z))) = C\\{z \in C: Im(z) = 0, Re(z) \leq 0}$.
Dove sbaglio?