Archivo de la etiqueta: Rama principal del logaritmo

Variable Compleja I: Funciones inversas de las funciones trigonométricas e hiperbólicas complejas

Por Pedro Rivera Herrera

Introducción

La entrada anterior definimos a las funciones complejas trigonométricas e hiperbólicas, a través de la exponencial compleja y vimos que tanto las funciones trigonométricas como las funciones hiperbólicas son periódicas, puesto que la función exponencial compleja es $2 π i$ -periódica. Al igual que en el caso real, podemos preguntarnos si es que existen las funciones inversas de estas funciones, por lo que nuestro objetivo en esta entrada será responder esa pregunta y en particular deducir y definir a las funciones inversas de dichas funciones.

Durante esta entrada utilizaremos nuevamente al logaritmo complejo para deducir a las funciones inversas. Es importante recordar, entrada 21, que la función logaritmo complejo es una función multivaluada, por lo que las funciones definidas en esta entrada serán también multivaluadas. Recordemos que aunque esta terminología no cumple con la definición habitual de función, desde que asigna más de un valor a cada elemento del dominio, es importante mencionar que cada una de las ramas de dichas funciones multivaluadas sí cumplen con la definición de función con la que estamos familiarizados. Más aún, cada una de las ramas cumple con muchas de las propiedades que conocemos para sus versiones reales.

Observación 23.1.
Como veremos en la entrada 26, la imagen de las funciones $sen (w)$ y $\cos (w)$ es todo el plano complejo $C$ , por lo que dado $w \in C$ siempre existirá $z \in C$ que satisfaga $z = sen (w)$ ó $z = \cos (w)$ .

Proposición 23.1 (Funciones trigonométricas inversas.)

${sen}^{- 1} (z) = - i \log (i z + \sqrt{1 - z^{2}})$ .
$\cos^{- 1} (z) = - i \log (z + i \sqrt{1 - z^{2}})$ .
$\tan^{- 1} (z) = \frac{i}{2} \log (\frac{i + z}{i - z})$ , con $z \neq \pm i$ .
$\cot^{- 1} (z) = - \frac{i}{2} \log (\frac{z + i}{z - i})$ , con $z \neq \pm i$ .
$\sec^{- 1} (z) = \frac{1}{i} \log (\frac{1 + \sqrt{1 - z^{2}}}{z})$ .
$\csc^{- 1} (z) = \frac{1}{i} \log (\frac{1 + \sqrt{z^{2} - 1}}{z})$ .

Demostración.

Sea $z = sen (w)$ . De acuerdo con la definición 22.1 tenemos que:
$z = sen (w) = \frac{e^{i w} - e^{- i w}}{2 i},$ de donde:
$(e^{i w})^{2} - i 2 z (e^{i w}) - 1 = 0.$ Notemos que esta última expresión es una ecuación cuadrática para la variable $e^{i w}$ , por lo que podemos utilizar la fórmula general para resolver dicha ecuación. En este punto es importante que recordemos que la función compleja raíz cuadrada es una función multivaluada, por lo que nos dará dos raíces complejas, entonces:
$e^{i w} = \frac{2 i z + \sqrt{4 (1 - z^{2})}}{2} = i z + \sqrt{1 - z^{2}} .$ Dependiendo de la rama que consideremos, la función $\sqrt{1 - z^{2}}$ nos determina dos raíces cuadradas de $1 - z^{2}$ . Estableciendo la rama de la función multivaluada $\sqrt{1 - z^{2}}$ con la que trabajaremos, podemos utilizar la proposición 20.1(6) obteniendo:
$i w = \log (i z + \sqrt{1 - z^{2}}) + i 2 k π, k \in Z .$ Por lo que, para $k, n \in Z$ :
$\begin{aligned} w & = \frac{1}{i} \log (i z + \sqrt{1 - z^{2}}) + 2 k π \\ = \frac{1}{i} [\ln | i z + \sqrt{1 - z^{2}} | + i (Arg (i z + \sqrt{1 - z^{2}}) + 2 n π)] + 2 k π \\ = \frac{1}{i} [\ln | i z + \sqrt{1 - z^{2}} | + i (Arg (i z + \sqrt{1 - z^{2}}) + 2 m π)] \\ = \frac{1}{i} [\ln | i z + \sqrt{1 - z^{2}} | + i \arg (i z + \sqrt{1 - z^{2}})] \\ = - i \log (i z + \sqrt{1 - z^{2}}), \end{aligned}$ donde $m = k + n \in Z$ .
Se deja como ejercicio al lector
Se deja como ejercicio al lector
Sea $z = \cot (w)$ . De acuerdo con la definición 22.2 sabemos que:
$\cot (w) = \frac{\cos (w)}{sen (w)},$ donde $w \neq k π$ , con $k \in Z$ .

Considerando lo anterior tenemos que:
$z = \cot (w) = i (\frac{e^{i w} + e^{- i w}}{e^{i w} - e^{- i w}}) = i (\frac{e^{i 2 w} + 1}{e^{i 2 w} - 1}),$ de donde:
$- i z = \frac{e^{i 2 w} + 1}{e^{i 2 w} - 1} ⟹ e^{i 2 w} = \frac{i z - 1}{i z + 1} = \frac{z + i}{z - i} .$ De acuerdo con la proposición 20.1(6) tenemos que:
$i 2 w = \log (\frac{z + i}{z - i}) + i 2 k π, k \in Z .$ Entonces, para $k, n \in Z$ :
$\begin{aligned} w & = \frac{1}{2 i} \log (\frac{z + i}{z - i}) + k π \\ = \frac{1}{2 i} [\ln | \frac{z + i}{z - i} | + i (Arg (\frac{z + i}{z - i}) + 2 π n)] + k π \\ = \frac{1}{2 i} [\ln | \frac{z + i}{z - i} | + i (Arg (\frac{z + i}{z - i}) + 2 π m)] \\ = \frac{1}{2 i} [\ln | \frac{z + i}{z - i} | + i \arg (\frac{z + i}{z - i})] \\ = - \frac{i}{2} \log (\frac{z + i}{z - i}), \end{aligned}$ donde $m = n + k \in Z$ .
Se deja como ejercicio al lector.
Se deja como ejercicio al lector

Observación 23.2.
Puesto que todas las funciones inversas, de las funciones trigonométricas, están dadas en términos de la función multivaluada logaritmo, entonces también dichas funciones son multivaluadas. Más aún, de acuerdo con la proposición 23.1, debe ser claro que se puede elegir una rama de alguna de estas funciones eligiendo primero una rama de la función multivaluada raíz cuadrada y luego una rama adecuada del logaritmo de modo que la función en cuestión esté bien definida.

Ejemplo 23.1.
Supongamos que $z$ es un número real en el intervalo $(- 1, 1)$ . Veamos que si utilizamos las ramas principales de las funciones multivaluadas raíz cuadrada y logaritmo complejo entonces obtenemos la rama principal de la función inversa de la función real seno.

Solución. Sean $z = x + i y \in C$ . Consideremos a la funciones multivaluadas:
$F (z) = \log (z) y G (z) = \sqrt{1 - z^{2}} = e^{\frac{1}{2} Log (1 - z^{2})} e^{i k π}, k = 0, 1.$

Para la primera función tenemos que su corte de rama está dado por los $z = x + i y \in C$ tales que:
$- π < Arg (z) \leq π ⟺ {\begin{cases} Re (z) = x \leq 0, \\ Im (z) = y = 0. \end{cases}$

De manera análoga, para la segunda función tenemos que su corte de rama está dado por los $z = x + i y \in C$ tales que:
${\begin{cases} Re (1 - z^{2}) = 1 - x^{2} + y^{2} \leq 0, \\ Im (1 - z^{2}) = - 2 x y = 0. \end{cases}$

Como trabajaremos con las ramas principales de ambas funciones y $z = x \in R$ , entonces los cortes de rama de cada función, son respectivamente:
${x \in R : x \leq 0} y {x \in R : | x | \geq 1} .$

Para $k = 0$ tenemos de la segunda función que su rama principal es:
$g_{0} (z) := \sqrt{1 - z^{2}} = e^{\frac{1}{2} Log (1 - z^{2})} .$

Como $| z | = | x | < 1$ , entonces la función $g_{0}$ está bien definida, más aún, tenemos que $0 < 1 - z^{2} \leq 1$ , por lo que $Arg (1 - z^{2}) = 0$ , entonces:
$Log (1 - z^{2}) = \ln | 1 - z^{2} | + i Arg (1 - z^{2}) = \ln (1 - z^{2}),$ de donde:
$e^{\frac{1}{2} Log (1 - z^{2})} = \sqrt{1 - x^{2}} \in R^{+} .$

Así, al considerar las ramas principales de ambas funciones tenemos que:
$\begin{aligned} {sen}^{- 1} (z) & = - i Log (i z + \sqrt{1 - z^{2}}) \\ = - i Log (i z + e^{\frac{1}{2} Log (1 - z^{2})}) \\ = - i Log (i x + \sqrt{1 - x^{2}}) . \end{aligned}$

Dado que $i z$ es un número imaginario puro, entonces los valores que toma $i z + e^{\frac{1}{2} Log (1 - z^{2})}$ están en la mitad derecha del plano complejo, por lo que no están en el corte de rama de la función logaritmo. De hecho, dichos valores están sobre la mitad de la circunferencia unitaria que está en la mitad derecha del plano complejo, figura 83, ya que:
$| i z + \sqrt{1 - z^{2}} | = \sqrt{x^{2} + (1 - x^{2})} = 1.$

Por lo tanto:
$\begin{aligned} {sen}^{- 1} (z) & = - i Log (i x + \sqrt{1 - x^{2}}) \\ = - i \ln | i x + \sqrt{1 - x^{2}} | + Arg (i x + \sqrt{1 - x^{2}}) \\ = Arg (i x + \sqrt{1 - x^{2}}), \end{aligned}$

donde $- \frac{π}{2} < Arg (i x + \sqrt{1 - x^{2}}) < \frac{π}{2}$ , entonces:
$- \frac{π}{2} < {sen}^{- 1} (z) < \frac{π}{2},$ para los $z = x \in R$ tales que $| x | < 1$ .

Figura 83: Puntos $i x + \sqrt{1 - x^{2}}$ para $x \in R$ tales que $| x | < 1$ .

Ejemplo 23.2.
Resolvamos la ecuación $\tan (z) = 2$ .

Solución. De acuerdo con la proposición 23.1(3), si elegimos la rama principal del logaritmo tenemos que:
$\begin{aligned} \tan^{- 1} (2) & = \frac{i}{2} \log (\frac{i + 2}{i - 2}) \\ = \frac{i}{2} \log (\frac{- 3 - 4 i}{5}) \\ = \frac{i}{2} [\ln | \frac{- 3 - 4 i}{5} | + i (Arg (\frac{- 3 - 4 i}{5}) + 2 k π)] \\ = \frac{i}{2} [\ln (1) + i (\arctan (\frac{4}{3}) - π + 2 k π)] \\ = \frac{1}{2} [(2 k - 1) π - \arctan (\frac{4}{3})], k \in Z . \end{aligned}$

Observación 23.3.
Dado que las funciones inversas de las funciones trigonométricas complejas son multivaluadas, entonces debemos ser cuidadosos al derivar estas expresiones. En general, una vez establecidas las ramas de las funciones multivaluadas raíz cuadrada y logaritmo, se puede derivar las funciones inversas dentro de su dominio de analicidad mediante la regla de la cadena.

Proposición 23.2. (Derivadas funciones trigonométricas inversas.)

$\frac{d}{d z} {sen}^{- 1} (z) = \frac{1}{\sqrt{1 - z^{2}}}$ , para $z \neq \pm 1$ .
$\frac{d}{d z} \cos^{- 1} (z) = - \frac{1}{\sqrt{1 - z^{2}}}$ , para $z \neq \pm 1$ .
$\frac{d}{d z} \tan^{- 1} (z) = \frac{1}{1 + z^{2}}$ , para $z \neq \pm i$ .
$\frac{d}{d z} \cot^{- 1} (z) = - \frac{1}{1 + z^{2}}$ , para $z \neq \pm i$ .
$\frac{d}{d z} \sec^{- 1} (z) = \frac{1}{z^{2} \sqrt{1 - \frac{1}{z^{2}}}}$ , para $z \neq \pm 1$ y $z \neq 0$ .
$\frac{d}{d z} \csc^{- 1} (z) = - \frac{1}{z^{2} \sqrt{1 - \frac{1}{z^{2}}}}$ , para $z \neq \pm 1$ y $z \neq 0$ .

Demostración.

Una vez elegida una rama de la función multivaluada $\sqrt{1 - z^{2}}$ y una adecuada rama para la función logaritmo, por la regla de la cadena tenemos que:
$\begin{aligned} \frac{d}{d z} {sen}^{- 1} (z) & = \frac{d}{d z} = - i \log (i z + \sqrt{1 - z^{2}}) \\ = - i (\frac{i - \frac{z}{\sqrt{1 - z^{2}}}}{i z + \sqrt{1 - z^{2}}}) \\ = - i (\frac{i \sqrt{1 - z^{2}} - z}{[i z + \sqrt{1 - z^{2}}] \sqrt{1 - z^{2}}}) \\ = \frac{1}{\sqrt{1 - z^{2}}} . \end{aligned}$ Donde la igualdad se mantiene siempre que se utilice la misma rama de $\sqrt{1 - z^{2}}$ tanto en la definición de la función ${sen}^{- 1} (z)$ como en la expresión de su derivada.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.

Ejemplo 23.3.
Consideremos a las ramas principales de la funciones multivaluadas raíz cuadrada y logaritmo y determinemos el valor de la derivada de la función ${sen}^{- 1} (z)$ en el punto $z = i$ .

Solución. De acuerdo con el ejemplo 23.1, sabemos que los cortes de rama de las ramas principales de las funciones multivaluadas $\log (z)$ y $\sqrt{1 - z^{2}}$ son, respectivamente:
$(- \infty, 0] = {z = x + i y \in C : x \leq 0, y = 0} y A := {z = x + i y \in C : | x | \geq 1, y = 0} .$

Figura 84: Cortes de rama de las ramas principales de las funciones multivaluadas $\log (z)$ y $\sqrt{1 - z^{2}}$ .

De acuerdo con lo anterior, es claro que el punto $z = i$ no pertenece al corte de rama, de la rama principal de $\sqrt{1 - z^{2}}$ . Por otra parte, tenemos que $1 - i^{2} = 2$ , entonces:
$i (i) + \sqrt{1 - i^{2}} = - 1 + \sqrt{2},$ el cual no es un punto sobre el corte de rama, de la rama principal del logaritmo. Por lo tanto, de la proposición 23.2(1) se sigue que:
$\begin{aligned} {\frac{d}{d z} {sen}^{- 1} (z) |}_{z = i} & = {\frac{1}{\sqrt{1 - z^{2}}} |}_{z = i} \\ = \frac{1}{\sqrt{1 - i^{2}}} \\ = \frac{1}{\sqrt{2}} . \end{aligned}$

Por último, si utilizamos la rama principal de la función $\sqrt{1 - z^{2}}$ tenemos:
$\begin{aligned} {\sqrt{1 - z^{2}} |}_{z = i} = {e^{\frac{1}{2} Log (1 - z^{2})} |}_{z = i} & = e^{\frac{1}{2} Log (1 - i^{2})} \\ = e^{\frac{1}{2} Log (2)} \\ = e^{\frac{1}{2} [\ln | 2 | + i Arg (2)]} \\ = e^{\ln (\sqrt{2})} \\ = \sqrt{2} . \end{aligned}$

Por lo que la derivada es $\frac{1}{\sqrt{2}}$ , es decir, el resultado coincide con el valor obtenido al utilizar la fórmula de la derivada.

Ejemplo 23.4.
Consideremos ahora el punto $z = \sqrt{5}$ . De acuerdo con el ejemplo anterior, es claro que dicho punto está en el corte de rama, de la rama principal de la función multivaluada $\sqrt{1 - z^{2}}$ , por lo que utilizando dicha rama no podemos obtener el valor de la función ${sen}^{- 1} (z)$ ni de su derivada en $z = \sqrt{5}$ . Entonces procedemos a elegir una nueva rama para la raíz cuadrada de modo que sea posible determinar dichos valores.

Solución. Por simplicidad elegimos a la rama natural de la raíz, es decir:
$\sqrt{1 - z^{2}} = e^{\frac{1}{2} {Log}_{[0, 2 π)} (1 - z^{2})}, 0 \leq Arg (1 - z^{2}) < 2 π .$

El corte de rama de esta función está dado por los $z = x + i y \in C$ tales que:
$\begin{aligned} 0 \leq Arg (1 - z^{2}) < 2 π & ⟺ {\begin{matrix} Re (1 - z^{2}) = 1 + y^{2} - x^{2} \geq 0, \\ Im (1 - z^{2}) = - 2 x y = 0. \end{matrix} \\ ⟺ B := {z = x + i y \in C : | x | \leq 1, y = 0} \cup {z = x + i y \in C : x = 0, y \in R} . \end{aligned}$

Figura 85: Corte de rama, de la rama natural, de la función multivaluada $\sqrt{1 - z^{2}}$ .

Para esta rama es claro que el punto $z = \sqrt{5}$ no está en su corte de rama, por tanto podemos utilizarla. Tenemos que $1 - (\sqrt{5})^{2} = - 4$ , entonces:
$\begin{aligned} {Log}_{[0, 2 π)} (- 4) & = \ln | - 4 | + i {Arg}_{[0, 2 π)} (- 4) \\ = \ln (4) + i π, \end{aligned}$ por lo que:
$\begin{aligned} {\sqrt{1 - z^{2}} |}_{z = \sqrt{5}} & = \sqrt{1 - (\sqrt{5})^{2}} \\ = e^{\frac{1}{2} {Log}_{[0, 2 π)} (- 4)} \\ = e^{\ln (2)} e^{i \frac{π}{2}} \\ = 2 i . \end{aligned}$

Dado que $i \sqrt{5} + 2 i = i (2 + \sqrt{5})$ no es un punto sobre el corte de rama, de la rama principal del logaritmo, entonces utilizaremos de nuevo dicha rama. Por lo que:
$\begin{aligned} {{sen}^{- 1} (z) |}_{z = \sqrt{5}} & = {- i Log (i z + \sqrt{1 - z^{2}}) |}_{z = \sqrt{5}} \\ = - i Log (i (2 + \sqrt{5})) \\ = - i [\ln | i (2 + \sqrt{5}) | + i Arg (i (2 + \sqrt{5}))] \\ = - i [\ln (2 + \sqrt{5}) + i \frac{π}{2}] \\ = \frac{π}{2} - i \ln (2 + \sqrt{5}) . \end{aligned}$

Mientras que:
$\begin{aligned} {\frac{d}{d z} {sen}^{- 1} (z) |}_{z = \sqrt{5}} & = {\frac{1}{\sqrt{1 - z^{2}}} |}_{z = \sqrt{5}} \\ = \frac{1}{\sqrt{- 4}} \\ = \frac{1}{2 i} \\ = - \frac{i}{2} . \end{aligned}$

Procediendo de forma completamente análoga que con la proposición 23.1, es posible establecer las expresiones para las funciones inversas de las funciones hiperbólicas, que al estar definidas en términos de la exponencial compleja, también resultan ser funciones multivaluadas.

Proposición 23.3. (Funciones hiperbólicas inversas.)

${senh}^{- 1} (z) = \log (z + \sqrt{z^{2} + 1})$ .
$\cosh^{- 1} (z) = \log (z + \sqrt{z^{2} - 1})$ .
$\tanh^{- 1} (z) = \frac{1}{2} \log (\frac{1 + z}{1 - z})$ , para $z \neq \pm 1$ .
$\coth^{- 1} (z) = \frac{1}{2} \log (\frac{z + 1}{z - 1})$ , para $z \neq \pm 1$ .
${sech}^{- 1} (z) = \log (\frac{1 + z \sqrt{\frac{1}{z^{2}} - 1}}{z})$ , para $z \neq 0$ .
${csch}^{- 1} (z) = \log (\frac{1 + z \sqrt{\frac{1}{z^{2}} + 1}}{z})$ , para $z \neq 0$ .

Demostración.

Se deja como ejercicio al lector.
Sea $z = \cosh (w)$ . De acuerdo con la definición 22.3 tenemos que:
$z = \cosh (w) = \frac{e^{w} + e^{- w}}{2},$ de donde:
$(e^{w})^{2} - 2 z (e^{w}) + 1 = 0.$ Resolvemos la ecuación cuadrática para $e^{w}$ utilizando la fórmula general, entonces:
$e^{w} = \frac{2 z + \sqrt{4 (z^{2} - 1)}}{2} = z + \sqrt{z^{2} - 1},$ donde la función multivaluada $\sqrt{z^{2} - 1}$ determina dos raíces complejas de $z^{2} - 1$ . Por lo que, una vez establecida la rama de dicha función multivaluada, podemos utilizar la proposición 20.1(6), para $k, n \in Z$ , como sigue:
$\begin{aligned} w & = \log (z + \sqrt{z^{2} - 1}) + i 2 k π \\ = \ln | z + \sqrt{z^{2} - 1} | + i (Arg (z + \sqrt{z^{2} - 1}) + 2 m π) \\ = \ln | z + \sqrt{z^{2} - 1} | + i \arg (z + \sqrt{z^{2} - 1}) \\ = \log (z + \sqrt{z^{2} - 1}), \end{aligned}$ donde $m = k + n \in Z$ .
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.

Ejemplo 23.5.
Veamos que $\tanh^{- 1} (\frac{1}{z}) = \coth^{- 1} (z)$ .

Solución. Sea $z \in C ∖ {- 1, 1, 0}$ , entonces:
$\begin{aligned} \tanh^{- 1} (\frac{1}{z}) & = \frac{1}{2} \log (\frac{1 + \frac{1}{z}}{1 - \frac{1}{z}}) \\ = \frac{1}{2} \log (\frac{z + 1}{z - 1}) \\ = \coth^{- 1} (z) . \end{aligned}$

Proposición 23.4. (Derivadas funciones hiperbólicas inversas.)

$\frac{d}{d z} {senh}^{- 1} (z) = \frac{1}{\sqrt{1 + z^{2}}}$ , para $z \neq \pm i$ .
$\frac{d}{d z} \cosh^{- 1} (z) = \frac{1}{\sqrt{z^{2} - 1}}$ , para $z \neq \pm 1$ .
$\frac{d}{d z} \tanh^{- 1} (z) = \frac{1}{1 - z^{2}}$ , para $z \neq \pm 1$ .
$\frac{d}{d z} \coth^{- 1} (z) = \frac{1}{1 - z^{2}}$ , para $z \neq \pm 1$ .
$\frac{d}{d z} {sech}^{- 1} (z) = - \frac{1}{z^{2} \sqrt{\frac{1}{z^{2}} - 1}}$ , para $z \neq \pm 1$ y $z \neq 0$ .
$\frac{d}{d z} {csch}^{- 1} (z) = - \frac{1}{z^{2} \sqrt{\frac{1}{z^{2}} + 1}}$ , para $z \neq \pm i$ y $z \neq 0$ .

Demostración.

Se deja como ejercicio al lector.
Una vez establecida una rama de la función multivaluada $\sqrt{z^{2} - 1}$ y una adecuada rama para la función logaritmo, procedemos a derivar utilizando la regla de la cadena, entonces:
$\begin{aligned} \frac{d}{d z} \cosh^{- 1} (z) & = \frac{d}{d z} \log (z + \sqrt{z^{2} - 1}) \\ = \frac{1 + \frac{z}{\sqrt{z^{2} - 1}}}{z + \sqrt{z^{2} - 1}} \\ = \frac{z + \sqrt{z^{2} - 1}}{(z + \sqrt{z^{2} - 1}) \sqrt{z^{2} - 1}} \\ = \frac{1}{\sqrt{z^{2} - 1}} . \end{aligned}$ Donde la igualdad se mantiene siempre que se utilice la misma rama de $\sqrt{z^{2} - 1}$ tanto en la definición de la función $\cosh^{- 1} (z)$ como en la expresión de su derivada.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.

Ejemplo 23.6.
Utilizando la rama natural de la función $\sqrt{z^{2} - 1}$ y la rama principal del logaritmo determinemos:
a) $\cosh^{- 1} (\frac{1}{\sqrt{2}})$ .
b) $\frac{d}{d z} \cosh^{- 1} (\frac{1}{\sqrt{2}})$ .

¿Es posible determinar los valores de cada inciso si se considera la rama principal de la función $\sqrt{z^{2} - 1}$ ?

Solución. De acuerdo con el ejercicio 13.15, sabemos que para la función multivaluada $\sqrt{z^{2} - 1}$ los cortes de rama, considerando las ramas principal y natural son, respectivamente:
${z = x + i y \in C : | x | \leq 1, y = 0} y {z = x + i y \in C : | x | \geq 1, y = 0} .$

Dado que $z = \frac{1}{\sqrt{2}}$ y $| z | < 1$ , entonces dicho punto está sobre el corte de rama, de la rama principal de la función $\sqrt{z^{2} - 1}$ , por tanto no podemos utilizar dicha rama para determinar los valores que nos pide cada inciso.

Por otra parte, es claro que $z = \frac{1}{\sqrt{2}}$ no está sobre el corte de rama, de la rama natural de la función $\sqrt{z^{2} - 1}$ , entonces:
$\sqrt{1 - z^{2}} = e^{\frac{1}{2} {Log}_{[0, 2 π)} (z^{2} - 1)}, 0 \leq Arg (z^{2} - 1) < 2 π .$

Tenemos que:
$\begin{aligned} {Log}_{[0, 2 π)} ({(\frac{1}{\sqrt{2}})}^{2} - 1) = {Log}_{[0, 2 π)} (- \frac{1}{2}) & = \ln | - \frac{1}{2} | + i {Arg}_{[0, 2 π)} (- \frac{1}{2}) \\ = - \ln (2) + i π, \end{aligned}$ por lo que:
$\begin{aligned} {\sqrt{z^{2} - 1} |}_{z = \frac{1}{\sqrt{2}}} & = \sqrt{{(\frac{1}{\sqrt{2}})}^{2} - 1} \\ = e^{\frac{1}{2} {Log}_{[0, 2 π)} (- \frac{1}{2})} \\ = e^{- \frac{\ln (2)}{2}} e^{- \frac{π}{2}} \\ = i \frac{1}{\sqrt{2}} . \end{aligned}$

Dado que $\frac{1}{\sqrt{2}} + i \frac{1}{\sqrt{2}} = \frac{1}{\sqrt{2}} (1 + i)$ no es un punto sobre el corte de rama, de la rama principal del logaritmo, entonces utilizaremos de nuevo dicha rama. Por lo que:
$\begin{aligned} {\cosh^{- 1} (z) |}_{z = \frac{1}{\sqrt{2}}} & = {Log (z + \sqrt{z^{2} - 1}) |}_{z = \frac{1}{\sqrt{2}}} \\ = Log (\frac{1}{\sqrt{2}} (1 + i)) \\ = \ln | \frac{1}{\sqrt{2}} (1 + i) | + i Arg (\frac{1}{\sqrt{2}} (1 + i)) \\ = \ln (1) + i \frac{π}{4} \\ = i \frac{π}{4} . \end{aligned}$

Mientras que:
$\begin{aligned} {\frac{d}{d z} \cosh^{- 1} (z) |}_{z = \frac{1}{\sqrt{2}}} & = {\frac{1}{\sqrt{z^{2} - 1}} |}_{z = \frac{1}{\sqrt{2}}} \\ = \frac{1}{\sqrt{- \frac{1}{2}}} \\ = \frac{1}{\frac{i}{\sqrt{2}}} \\ = - i \sqrt{2} . \end{aligned}$

Tarea moral

Completa las demostraciones de las proposiciones de esta entrada.
Sean $w = \cos (z)$ y $ζ = e^{i z}$ . Muestra que:
$\begin{aligned} ζ & = w + \sqrt{w^{2} - 1}, \\ \cos^{- 1} (w) & = - i \log (w \pm \sqrt{w^{2} - 1}) . \end{aligned}$
Muestra que los puntos de ramificación de la función multivaluada ${sen}^{- 1} (z)$ son $z = \pm 1$ .
Demuestra que si $a \in R$ y $a > 1$ , entonces:
$\tanh^{- 1} (a) = Log \sqrt{\frac{a + 1}{a - 1}} + i \frac{2 k + 1}{2} π, k \in Z .$
Muestra que si se usa la misma rama de la función $\sqrt{1 - z^{2}}$ en la definición de las funciones multivaluadas ${sen}^{- 1} (z)$ y $\cos^{- 1} (z)$ , proposición 23.1, entonces:
a) ${sen}^{- 1} (z) + \cos^{- 1} (z) = 2 k π + \frac{π}{2}, k \in Z$ .
b) $\tan^{- 1} (z) + \cot^{- 1} (z) = k π - \frac{π}{2}, k \in Z$ .
Resuelve las siguientes ecuaciones:
a) $senh (5 z + i) = - \sqrt{3} i$ .
b) $\tanh (\frac{z - 3}{2}) = - 1 + i$ .
c) $\cot (z) = 2 i$ .
d) $\cosh^{2} (z) = - 1$ .
Prueba que:
$\tanh^{- 1} (e^{i θ}) = \frac{1}{2} \log (i \cot (\frac{θ}{2})) .$ Determina una expresión similar para $\tan^{- 1} (e^{i θ})$ .
Demuestra que:
$\tan (i \log (\frac{a - i b}{a + i b})) = \frac{2 a b}{a^{2} - b^{2}} .$ Hint: sustituye $z$ por $\frac{2 a b}{a^{2} - b^{2}}$ en la definición de $\tan^{- 1} (z)$ .
Determina los puntos de ramificación de las siguientes funciones:
a) $\cos^{- 1} (z)$ .
b) $\tan^{- 1} (z^{2} + 2 z + 1)$ .

Más adelante…

En esta entrada hemos abordado de manera general las definiciones de las funciones inversas de las funciones trigonométricas e hiperbólicas. Vimos que estas funciones resultan ser funciones multivaluadas, por lo que es importante recordar los conceptos de la entrada 13 referentes a este tipo de funciones, como los conceptos de rama de una función multivaluada, corte de rama y puntos de ramificación, ya que a través de estos conceptos es posible determinar de manera clara los dominios de analicidad de dichas funciones. Así mismo, vimos que una vez definida una rama de alguna de estas funciones inversas, es posible determinar su derivada a través de la regla de la cadena.

La siguiente entrada abordaremos el concepto de transformación, que como hemos visto en nuestros cursos de Geometría y Álgebra Lineal resulta ser una herramienta muy útil para el estudio de funciones de varias variables, en este caso para las funciones complejas, ya que a través de dicho concepto podremos dar una interpretación geométrica del comportamiento de las funciones complejas.

Entradas relacionadas

Ir a Variable Compleja I.
Entrada anterior del curso: Funciones trigonométricas e hiperbólicas complejas.
Siguiente entrada del curso: Transformaciones del plano complejo $C$ .

Variable Compleja I: Logaritmo complejo y potencias complejas

Por Pedro Rivera Herrera

2 respuestas

Introducción

En la entrada anterior definimos a la exponencial compleja y vimos que dicha función extiende a la función exponencial real, por lo que comparten ciertas propiedades. Sin embargo, vimos que esta nueva función cumple propiedades que no se tienen en su versión real, entre ellas la periodicidad, razón por la cual esta función no es inyectiva en $C$ .

Nuestro objetivo en esta entrada será definir a la función logaritmo complejo de tal modo que obtengamos una «función inversa» para la exponencial compleja. Como veremos esta función requerirá cierta sutileza pues será una función multivaluada.

En nuestros cursos de Cálculo y/o Análisis se verifica que para $a > 1$ y para toda $x, y \in R$ se cumple que: $\begin{array}{r} a^{x} a^{y} = a^{x + y}, \\ {(a^{x})}^{y} = a^{x y} . \end{array}$

Además se prueba que la función $f : R \to R^{+}$ dada por $f (x) = a^{x}$ es biyectiva y se define a su inversa como el logaritmo de $y$ en base $a$ , denotado como $\log_{a} (y)$ .

Motivados en esto, nos gustaría definir una función inversa para la función exponencial compleja que extienda la definición de la función logaritmo real. Sin embargo, dado que la función exponencial compleja no es inyectiva en $C$ , debemos dar una definición precisa para la función logaritmo complejo, con el fin de evitar cualquier ambigüedad.

Supongamos que queremos resolver la ecuación $e^{w} = z$ . La primera pregunta que podemos hacernos es si existe solo una solución. Por ejemplo, si planteamos $e^{w} = i$ , no es difícil verificar que $w_{1} = i \frac{π}{2}$ , $w_{2} = i \frac{5 π}{2}$ y $w_{3} = - i \frac{3 π}{2}$ son soluciones de esta ecuación.

De acuerdo con la proposición 20.3 de la entrada anterior, sabemos que la función exponencial compleja es suprayectiva en $C ∖ 0$ , por lo que para $z = 0$ la ecuación planteada no tendrá solución. Supongamos entonces que $z \neq 0$ . Veamos que en tal caso dicha ecuación tiene infinitas soluciones.

Primeramente, recordemos que queremos definir a la función logaritmo complejo, denotada por $\log (z)$ , como la inversa de la función exponencial compleja. Para $z \neq 0$ , si hacemos $w = \log (z)$ , entonces podemos plantear: $w = \log (z) \Leftrightarrow e^{w} = z,$ para determinar a $w$ en términos de $z$ .

Haciendo $w = u + i v$ y $z = r e^{i θ}$ , con $r = | z | > 0$ y $θ = Arg (z)$ , entonces tenemos que: $e^{w} = z ⟺ e^{u + i v} = e^{u} e^{i v} = r e^{i θ} ⟺ {\begin{cases} | e^{w} | = | z | \\ \arg (e^{w}) = \arg (z), \end{cases}$ de donde: $e^{u} = r y v + 2 π n_{1} = θ + 2 π n_{2}, n_{1}, n_{2} \in Z .$

De la primera expresión tenemos que $u = \ln (r)$ , donde $\ln (x)$ denota la función real logaritmo natural, $x \in R^{+}$ .

Por otra parte, de la segunda ecuación tenemos que: $v = θ + 2 π k = Arg (z) + 2 π k, k = n_{2} - n_{1} \in Z,$ es decir $v = \arg (z)$ .

Dado que la función $G (z) = \arg (z)$ es multivaluada, entonces existen infinitas soluciones para la ecuación $e^{w} = z$ , con $z = r e^{i θ} \neq 0$ , las cuales están dadas por: $w = \ln (r) + i \arg (z) .$

Lo anterior nos motiva a dar la siguiente:

Definición 21.1. (Logaritmo complejo.)
Sea $z \in C ∖ {0}$ . Definimos a la función multivaluada logaritmo complejo, denotada por $\log (z)$ , como: $\begin{aligned} \log (z) & = \ln | z | + i \arg (z) \\ = \ln (r) + i (θ + 2 π k), k \in Z, \end{aligned}$ donde $r = | z | > 0$ y $θ = Arg (z)$ .

Observación 21.1.
Notemos que en la definición anterior no es necesario que $θ$ sea el argumento principal, en realidad basta con que sea cualquier argumento que permita representar a $z \neq 0$ en su forma exponencial, es decir $z = r e^{i θ}$ .

Definición 21.2. (Rama principal del logaritmo complejo.)
Sea $z \in C ∖ {0}$ . Definimos a la rama principal del logaritmo complejo, denotada por $Log (z)$ , como: $Log (z) = \ln | z | + i Arg (z),$ la cual es una función univaluada.

Verificar que $Log (z)$ es univaluada es sencillo si recordamos la definición 20.3 y la proposición 13.2, ya que si $z = r e^{i θ} \neq 0$ , con $r = | z |$ y $θ = Arg (z)$ , entonces: $\begin{aligned} Log (z (r, θ + 2 π)) & = Log (r e^{i θ + 2 π}) \\ = \ln (r) + i Arg (r e^{i θ + 2 π}) \\ = \ln (r) + i (θ + 2 π + 2 π (- 1)) \\ = \ln (r) + i θ \\ = Log (r e^{i θ}) \\ = Log (z (r, θ)) . \end{aligned}$

Observación 21.2.
Debe ser claro que $Log (z)$ determina un valor particular de $\log (z)$ , para el cual su parte imaginaria es tal que $Arg (z) \in (- π, π]$ . De acuerdo con la definición 21.1 tenemos que: $\log (z) = Log (z) + i 2 π k, k \in Z,$ es decir que los valores de $\log (z)$ difieren de la rama principal en $i 2 k π$ .

Ejemplo 21.1.
Determinemos los siguientes logaritmos:
a) $\log (i)$ .
b) $\log (5)$ .
c) $\log (- 2)$ .
d) $Log (\sqrt{3} + i)$ .

Solución. De acuerdo con la observación 21.2, en los cuatro incisos basta con determinar la rama principal del logaritmo.

a) Sabemos que para $z = i$ tenemos que $| z | = 1$ y $Arg (z) = \frac{π}{2}$ , por lo que: $Log (i) = \ln (1) + i \frac{π}{2} = 0 + i \frac{π}{2} = i \frac{π}{2} .$

Entonces: $\log (i) = Log (i) + i 2 π k = i \frac{π}{2} + i 2 π k = i (\frac{π}{2} + 2 π k), k \in Z .$

b) Para $z = 5$ tenemos que $| z | = 5$ y $Arg (z) = 0$ , por lo que: $Log (5) = \ln (5) + i 0 = \ln (5) .$

Entonces: $\log (5) = Log (5) + i 2 π k = \ln (5) + i 2 π k, k \in Z .$

c) Sabemos que para $z = - 2$ tenemos que $| z | = - (- 2) = 2$ y $Arg (z) = π$ , por lo que: $Log (- 2) = \ln (2) + i π .$

Entonces: $\begin{aligned} \log (- 2) & = Log (- 2) + i 2 π k \\ = \ln (2) + i π + i 2 π k \\ = \ln (2) + i (π + 2 π k), k \in Z . \end{aligned}$

d) Sea $z = \sqrt{3} + i$ , entonces $| z | = \sqrt{4} = 2$ . Por otra parte: \begin{equation*} \operatorname{Arg}(z) = \operatorname{arctan}\left(\frac{1 {\sqrt{3}}\right) = \frac{\pi}{6}. \end{equation*}

Por lo que: $Log (\sqrt{3} + i) = \ln (2) + i \frac{π}{6} .$

Entonces: $\begin{aligned} \log (\sqrt{3} + i) & = Log (\sqrt{3} + i) + i 2 π k \\ = \ln (2) + i \frac{π}{6} + i 2 π k \\ = \ln (2) + i (\frac{π}{6} + 2 π k), k \in Z . \end{aligned}$

Observación 21.3.
Es interesante notar que si $z \in R^{+}$ , es decir es un número real positivo, la rama principal del logaritmo coincide con la función real logaritmo natural. Sin embargo, el logaritmo complejo de un número real positivo tendrá infinitos valores, como vimos en el ejemplo anterior para $z = 5$ .

Ejemplo 21.2.
Obtengamos todas las soluciones de las siguientes ecuaciones:
a) $e^{w} = - 2 i$ .
b) $e^{w} = 1 + i$ .

Solución. Notemos que para cada ecuación, el conjunto de soluciones están dados por el logaritmo complejo, es decir $w = \log (z)$ .

a) Sea $z = - 2 i$ . Tenemos que $| z | = \sqrt{(- 2)^{2}} = 2$ y $Arg (z) = - \frac{π}{2}$ , entonces: $Log (- 2 i) = \ln (2) - i \frac{π}{2} .$

Por lo que las soluciones de la ecuación $e^{w} = - 2 i$ son: $\begin{aligned} w = \log (- 2 i) & = Log (- 2 i) + i 2 π k \\ = \ln (2) - i \frac{π}{2} + i 2 π k \\ = \ln (2) + i (2 π k - \frac{π}{2}), k \in Z . \end{aligned}$

b) Sea $z = 1 + i$ . Tenemos que $| z | = \sqrt{2}$ y: $Arg (z) = \arctan (1) = \frac{π}{4}$

Por lo que: $Log (1 + i) = \ln (\sqrt{2}) + i \frac{π}{4} .$

Entonces, las soluciones de la ecuación $e^{w} = 1 + i$ son: $\begin{aligned} w = \log (1 + i) & = Log (1 + i) + i 2 π k \\ = \ln (\sqrt{2}) + i \frac{π}{4} + i 2 π k \\ = \ln (\sqrt{2}) + i (\frac{π}{4} + 2 π k), k \in Z . \end{aligned}$

De acuerdo con la definición 13.4 y la observación 15.4, debe ser claro que es posible definir diferentes ramas del logaritmo al elegir diferentes intervalos semiabiertos donde tome valores el argumento. Es decir, si tomamos a un número $α \in R$ fijo, entonces podemos trabajar con diferentes ramas de la función multivaluada $G (z) = \arg (z)$ , definidas sobre $C ∖ {0}$ , que tomen valores en intervalos semiabiertos de la forma $I = (α, α + 2 π]$ ó $I = [α, α + 2 π)$ y dadas por ${Arg}_{I} (z) \in I$ .

Definición 21.3. (Rama $I$ del logaritmo complejo.)
Sean $α \in R$ fijo, $z \in C ∖ {0}$ e $I$ un intervalo semiabierto de longitud $2 π$ , es decir de la forma $I = (α, α + 2 π]$ ó $I = [α, α + 2 π)$ . Definimos a la rama $I$ del logaritmo complejo, denotada por ${Log}_{I} (z)$ , como: ${Log}_{I} (z) = \ln | z | + i {Arg}_{I} (z) .$

Observación 21.4.
Al igual que con la rama principal del logaritmo, notemos que una rama $I$ del logaritmo es una función univaluada desde que hemos restringido al argumento de $z \neq 0$ a ser el único argumento tal que $α < \arg z \leq α + 2 π$ .

Además, a través de la rama $I$ del logaritmo podemos obtener al logaritmo complejo como con la rama principal, observación 21.2, es decir: $\log (z) = {Log}_{I} (z) + i 2 π k, k \in Z .$

Ejemplo 21.3.
Obtengamos el valor de las siguientes ramas del logartimo.
a) Sea $α = 0$ . Para $I = [0, 2 π)$ determina ${Log}_{I} (- 2 i)$ .
b) Sea $α = \frac{π}{2}$ . Para $I = (\frac{π}{2}, \frac{5 π}{2}]$ determina ${Log}_{I} (i)$ .
c) Sea $α = \frac{3 π}{2}$ . Para $I = (\frac{3 π}{2}, \frac{7 π}{2}]$ determina ${Log}_{I} (- 2)$ .

Solución.
a) Para $I = [0, 2 π)$ , recordemos que se obtiene el argumento natural de un número complejo, entrada 13, por lo que si $z = - 2 i$ , entonces: $| z | = \sqrt{(- 2)^{2}} = 2, {Arg}_{[0, 2 π)} (z) = \frac{3 π}{2} .$

Por tanto: ${Log}_{[0, 2 π)} (- 2 i) = \ln (2) + i \frac{3 π}{2} .$

De acuerdo con el ejemplo 21.2(a), notemos que: ${Log}_{[0, 2 π)} (- 2 i) \neq Log (- 2 i) .$

b) De acuerdo con la proposición 13.3, para $I = (\frac{π}{2}, \frac{5 π}{2}]$ y $z = i$ tenemos que $| z | = 1$ y: $\begin{aligned} {Arg}_{(\frac{π}{2}, \frac{5 π}{2}]} (z) & = Arg (- i e^{- i \frac{π}{2}}) + \frac{π}{2} + π \\ = Arg (- i (- i)) + \frac{3 π}{2} \\ = Arg (- 1) + \frac{3 π}{2} \\ = π + \frac{3 π}{2} \\ = \frac{5 π}{2} . \end{aligned}$

Por lo que: ${Log}_{(\frac{π}{2}, \frac{5 π}{2}]} (i) = \ln (1) + i \frac{5 π}{2} = i \frac{5 π}{2} .$

De acuerdo con el ejemplo 21.1(a), notemos que: ${Log}_{(\frac{π}{2}, \frac{5 π}{2}]} (i) \neq Log (i) .$

c) Sea $I = (\frac{3 π}{2}, \frac{7 π}{2}]$ . Para $z = - 2$ tenemos que $| z | = 2$ y: $\begin{aligned} {Arg}_{(\frac{3 π}{2}, \frac{7 π}{2}]} (z) & = Arg (- (- 2) e^{- i \frac{3 π}{2}}) + \frac{3 π}{2} + π \\ = Arg (2 (i)) + \frac{5 π}{2} \\ = \frac{π}{2} + \frac{5 π}{2} \\ = 3 π . \end{aligned}$

Por lo que:
${Log}_{(\frac{3 π}{2}, \frac{7 π}{2}]} (- 2) = \ln (2) + i 3 π .$

De acuerdo con el ejemplo 21.1(c), notemos que: ${Log}_{(\frac{3 π}{2}, \frac{7 π}{2}]} (- 2) \neq Log (- 2) .$

Proposición 21.1. (Propiedades del logaritmo.)
Para $z_{1}, z_{2}, z \in C ∖ {0}$ y $n \in Z$ se cumple que:

$\log (z_{1} z_{2}) = \log (z_{1}) + \log (z_{2})$ .
$\log (\frac{z_{1}}{z_{2}}) = \log (z_{1}) - \log (z_{2})$ .
$\log (\frac{1}{z_{1}}) = - \log (z_{1})$ .
$\log (z^{n}) = n \log (z)$ .
$e^{\log (z)} = z$ .
$\log (e^{z}) = z + i 2 k π$ , para $k \in Z$ .

Demostración. Sean $z_{1}, z_{2}, z \in C ∖ {0}$ y $n \in Z$ .

Sabemos que para $r_{1}, r_{2} > 0$ se cumple que: $\ln (r_{1} r_{2}) = \ln (r_{1}) + \ln (r_{2}) .$ Por otra parte, por la observación 13.6, sabemos que: $\arg (z_{1} z_{2}) = \arg (z_{1}) + \arg (z_{2}) .$ De acuerdo con lo anterior tenemos que: $\begin{aligned} \log (z_{1} z_{2}) & = \ln | z_{1} z_{2} | + i \arg (z_{1} z_{2}) \\ = \ln (| z_{1} | | z_{2} |) + i [\arg (z_{1}) + \arg (z_{2})] \\ = \ln | z_{1} | + \ln | z_{2} | + i \arg (z_{1}) + i \arg (z_{2}) \\ = \ln | z_{1} | + i \arg (z_{1}) + \ln | z_{2} | + i \arg (z_{2}) \\ = \log (z_{1}) + \log (z_{2}) . \end{aligned}$
Se deja como ejercicio al lector.
Se deja como ejercicio al lector.
Sabemos que para $r > 0$ se cumple que: $\ln (r^{n}) = n \ln (r) .$ Por otra parte, por la observación 13.6, sabemos que para todo $n \in Z$ se cumple que: $\arg (z^{n}) = n \arg (z) .$ Entonces: $\begin{aligned} \log (z^{n}) & = \ln | z^{n} | + i \arg (z^{n}) \\ = \ln {| z |}^{n} + i n \arg (z) \\ = n \ln | z | + i n \arg (z) \\ = n [\ln | z | + i \arg (z)] \\ = n \log (z) . \end{aligned}$
Sea $z = r e^{i θ}$ , con $r = | z | > 0$ y $θ = \arg (z)$ , entonces: $\log (z) = \ln (r) + i θ,$ por lo que: $e^{\log (z)} = e^{\ln (r) + i θ} = e^{\ln (r)} e^{i θ} = r e^{i θ} = z .$
Sea $z = x + i y$ , entonces $e^{z} = e^{x} e^{i y}$ , por lo que $| e^{z} | = e^{x}$ y $\arg (e^{z}) = y + 2 π k$ , con $k \in Z$ .
Entonces: $\begin{aligned} \log (e^{z}) & = \ln (e^{z}) + i \arg (e^{z}) \\ = \ln (e^{x}) + i (y + 2 π k) \\ = x + i y + i 2 π k \\ = z + i 2 π k, k \in Z . \end{aligned}$

En general, las propiedades anteriores no siempre se cumplen para la rama principal del logaritmo.

Ejemplo 21.5.
a) Si $z_{1} = i$ y $z_{2} = - 1$ , entonces $z_{1} z_{2} = - i$ , por lo que: $\begin{aligned} Log (- i) & = \ln | - i | + i Arg (- i) \\ = \ln (1) + i (- \frac{π}{2}) \\ = - i \frac{π}{2} . \end{aligned}$

Por otra parte: $\begin{aligned} Log (- 1) & = \ln | - 1 | + i Arg (- 1) \\ = \ln (1) + i (π) \\ = i π . \end{aligned}$

Y del ejemplo 21.1(a) sabemos que $Log (i) = i \frac{π}{2}$ , por lo que:
$Log (- i) = - i \frac{π}{2} \neq i \frac{3 π}{2} = Log (i) + Log (- 1) .$

b) Si $z = - 1$ , entonces: $\begin{aligned} Log ((- 1)^{- 1}) & = \ln | (- 1)^{- 1} | + i Arg ((- 1)^{- 1}) \\ = - \ln (1) + i (π) \\ = i π . \end{aligned}$

Mientras que: $\begin{aligned} Log (- 1) & = - \ln | - 1 | - i Arg (- 1) \\ = - \ln (1) - i (π) \\ = - i π . \end{aligned}$

Entonces: $Log ((- 1)^{- 1}) = i π \neq - i π = - Log (- 1) .$

Corolario 21.1. (Propiedades de la rama principal del logaritmo.)
Para $z_{1}, z_{2}, z \in C ∖ {0}$ y $n \in Z$ se cumple que:

$Log (z_{1} z_{2}) = Log (z_{1}) + Log (z_{2}) + i 2 π N_{+}$ ,
$Log (\frac{z_{1}}{z_{2}}) = Log (z_{1}) - Log (z_{2}) + i 2 π N_{-}$ , donde $N_{\pm}$ son números enteros dados por: $N_{\pm} = {\begin{array}{lcc} - 1 & si & Arg (z_{1}) \pm Arg (z_{2}) > π, \\ 0 & si & - π < Arg (z_{1}) \pm Arg (z_{2}) \leq π, \\ 1 & si & Arg (z_{1}) \pm Arg (z_{2}) \leq - π . \end{array}$
$Log (z^{- 1}) = {\begin{array}{lcc} - Log (z) & si & z \in C ∖ R^{-}, \\ - Log (z) + i 2 π & si & z \in R^{-}, \end{array}$ donde $R^{-} = (- \infty, 0)$ .
$Log (z^{n}) = n Log (z) + i 2 π N_{n},$ donde $N_{n}$ es un número entero dado por: $N_{n} = [\frac{1}{2} - \frac{n}{2 π} Arg (z)],$ con $[x]$ la función parte entera de $x$ .

Demostración. Se sigue de la proposición 21.1 y la proposición 13.2, por lo que los detalles se dejan como ejercicio al lector.

Ejemplo 21.6.
Considerando el corolario anterior y el ejemplo 21.4 tenemos lo siguiente.
a) Si $z_{1} = i$ y $z_{2} = - 1$ , entonces $Arg (z_{1}) = \frac{π}{2}$ y $Arg (z_{2}) = π$ , por lo que: $Arg (z_{1}) + Arg (z_{2}) = \frac{π}{2} + π = \frac{3 π}{2} > π .$

Entonces: $Log (z_{1} z_{2}) = - i \frac{π}{2} = i \frac{π}{2} + i π - i 2 π = Log (i) + Log (- 1) + i 2 π N_{+} .$

b) Si $z = - 1$ , entonces $Arg (z) = π$ , por lo que:
$N_{- 1} = [\frac{1}{2} - (\frac{- 1}{2 π}) π] = [1] = 1.$

Entonces: $Log ((- 1)^{- 1}) = i π = - i π + i 2 π (1) = - Log (- 1) + i 2 π N_{- 1} .$

Ejemplo 21.7.
Sean $z_{1}, z_{2}, \dots, z_{n} \in C$ tales que $Re (z_{k}) > 0$ y $Re (z_{1} z_{2} \dots z_{k}) > 0$ , para $1 \leq k \leq n$ . Veamos que: $Log (z_{1} z_{2} \dots z_{n}) = Log (z_{1}) + \dots + Log (z_{n}) .$ ¿Son necesarias las condiciones dadas?

Solución. Dadas las hipótesis, como $Re (z_{k}) > 0$ y $Re (z_{1} z_{2} \dots z_{k}) > 0$ , para $1 \leq k \leq n$ , entonces: $Arg (z_{k}) = arc \tan (\frac{Im (z_{k})}{Re (z_{k})}) \in (- \frac{π}{2}, \frac{π}{2}),$ $Arg (b) = arc \tan (\frac{Im (b)}{Re (b}) \in (- \frac{π}{2}, \frac{π}{2}),$ con $b = z_{1} z_{2} \dots z_{k}$ , para $1 \leq k \leq n$ .

Por lo que: $Log (z_{k}) = \ln | z_{k} | + i Arg (z_{k}),$ $Log (z_{1} z_{2} \dots z_{k}) = \ln | z_{1} z_{2} \dots z_{k} | + i Arg (z_{1} z_{2} \dots z_{k})$ para $1 \leq k \leq n$ .

Procedemos a realizar la prueba por inducción sobre $n$ . Primeramente, consideremos el caso $n = 2$ . Sean $z_{1}, z_{2} \in C$ bajo las condiciones dadas, entonces: $- \frac{π}{2} < Arg (z_{1}) < \frac{π}{2}, - \frac{π}{2} < Arg (z_{1}) < \frac{π}{2}, - \frac{π}{2} < Arg (z_{1} z_{2}) < \frac{π}{2},$

de donde: $- π < Arg (z_{1}) + Arg (z_{2}) < π ⟹ Arg (z_{1} z_{2}) = Arg (z_{1}) + Arg (z_{2}) .$

Entonces:
$\begin{aligned} Log (z_{1} z_{2}) & = \ln | z_{1} z_{2} | + i Arg (z_{1} z_{2}) \\ = \ln | z_{1} | + \ln | z_{2} | + i Arg (z_{1}) + i Arg (z_{2}) \\ = Log (z_{1}) + Log (z_{2}) . \end{aligned}$

Supongamos que el resultado es válido para $n = k - 1$ . Sean $z_{1}, \dots, z_{k} \in C$ bajo las condiciones dadas. Entonces: $\begin{aligned} Log (z_{1} z_{2} \dots z_{k}) & = Log ([z_{1} z_{2} \dots z_{k - 1}] z_{k}) \\ = Log (z_{1} z_{2} \dots z_{k - 1}) + Log (z_{k}) \\ = Log (z_{1}) + \dots + Log (z_{k - 1}) + Log (z_{k}) . \end{aligned}$

Por lo que, el resultado es válido para toda $n \in N^{+}$ tal que los $z_{k} \in C$ , con $1 \leq k \leq n$ , cumplen las condiciones dadas.

Por último veamos que las condiciones dadas son necesarias para que se cumpla el resultado.

Supongamos que no es necesaria la condición $Re (z_{k}) > 0$ , para $1 \leq k \leq n$ . Sean $z_{1} = z_{2} = e^{i \frac{2 π}{3}}$ , entonces: $Arg (z_{1}) = Arg (z_{2}) = arc \tan (- \sqrt{3}) + π = \frac{2 π}{3} .$

Pero: $Arg (z_{1} z_{2}) = arc \tan (\sqrt{3}) - π = - \frac{2 π}{3} .$

Por lo que: $Arg (z_{1} z_{2}) \neq Arg (z_{1}) + Arg (z_{2}),$ entonces $Log (z_{1} z_{2}) \neq Log (z_{1}) + Log (z_{2})$ .

Supongamos ahora que la condición $Re (z_{1} z_{2} \dots z_{k}) > 0$ , para $1 \leq k \leq n$ , no es necesaria.

Sean $z_{1} = \dots = z_{9} = e^{i \frac{π}{4}}$ , entonces: $Arg (z_{1} \dots z_{9}) = arc \tan (1) = \frac{π}{4},$

pero: $Arg (z_{1}) = \dots = Arg (z_{9}) = \frac{π}{4},$

es decir: $Arg (z_{1}) + \dots + Arg (z_{9}) = \frac{9 π}{4} .$

Por lo que: $Arg (z_{1} \dots z_{9}) \neq Arg (z_{1}) + \dots + Arg (z_{9}),$

entonces: $Log (z_{1} \dots z_{9}) \neq Log (z_{1}) + \dots + Log (z_{9}) .$

En este caso la igualdad no se cumple desde que $Re (z_{1} z_{2} z_{3}) < 0$ .

Proposición 21.2. (Continuidad de la rama principal del logaritmo.)
Sea $D = C ∖ (- \infty, 0]$ . La rama principal del logaritmo complejo, $f (z) = Log (z)$ , es una función continua para todo $z \in D$ . Para $z \in (- \infty, 0]$ , las discontinuidades de $Log (z)$ son irremovibles.

Demostración. Tenemos que la rama principal del logaritmo es: $f (z) = Log (z) = \ln | z | + i Arg (z), z \neq 0.$

Es claro que dicha función está dada por la suma de dos funciones, por lo que el dominio donde $f$ es continua dependerá de la continuidad de cada una de las funciones que la conforman.

Primeramente, sabemos que la función $| z |$ determina una función real de variable compleja, la cual es continua para todo $z \in C$ , mientras que la función real logaritmo natural es continua para todo $x > 0$ , por lo que la composición $\ln | z |$ será continua para todo $z \neq 0$ .

Por otra parte, de acuerdo con el ejemplo 15.5, sabemos que la función $Arg (z)$ es continua para todo $z \in C ∖ (- \infty, 0]$ . Además, los $z \in (- \infty, 0]$ son discontinuidades irremovibles, por lo que también serán discontinuidades irremovibles de la función $Log (z)$ .

Por lo tanto, $f (z) = Log (z)$ es una función continua en $C ∖ (- \infty, 0]$ , es decir es una rama de la función multivaluada $F (z) = \log (z)$ .

Observación 21.5.
Notemos que: $L_{- π} = {r e^{- i π} : r \geq 0} = {- r : r \geq 0} = (- \infty, 0],$ es decir que dicha semirrecta representa el corte de rama de la función $Log (z)$ , figura 79.

Observación 21.6.
En general, las ramas definidas en 21.3 serán ramas de la función multivaluada $F (z) = \log (z)$ en el sentido estricto, es decir de acuerdo con la definición 13.2, siempre que se restringa su dominio al conjunto $C ∖ L_{α}$ , con $L_{α} = {r e^{i α} : r \geq 0}$ , pues como vimos en la observación 15.4 la función ${Arg}_{I} (z)$ es discontinua en la semirrecta $L_{α}$ que parte desde el origen y forma un ángulo $α$ con respecto al eje real positivo. Dicha semirrecta corresponde con el corte de rama de la función ${Log}_{I} (z)$ , figura 79.

Figura 79: Cortes de rama de las funciones $Log (z)$ y ${Log}_{I} (z)$ .

Podemos generalizar lo anterior mediante la siguiente:

Definición 21.4. (Rama del logaritmo.)
Si $D \subset C ∖ {0}$ es un dominio y $f : D \to C$ es una función continua tal que $e^{f (z)} = z$ para todo $z \in D$ , entonces diremos que $f$ es una rama del logaritmo en $D$ .

Recordemos que definimos al logaritmo complejo como la solución a la ecuación $e^{w} = z$ , es decir como «la inversa» de la exponencial. Sin embargo, de acuerdo con la proposición 21.1(6), sabemos que en general $\log (e^{z}) = z + i 2 π k$ , para algún $k \in Z$ . Este hecho nos lleva a preguntarnos bajo qué restricciones se cumple que $\log (e^{z}) = z$ .

Proposición 21.3. (Inversa de la función exponencial compleja.)
Sea $α \in R$ fijo. Definimos a la banda abierta: $S_{α} = {z = x + i y \in C : x \in R, α < y < α + 2 π},$ y al plano complejo cortado: $D_{α} = C ∖ L_{α} = {w \in C : | w | > 0, α < \arg (w) < α + 2 π},$ donde $L_{α} = {r e^{i α} : r \geq 0}$ .

Entonces, la función $f : S_{α} \to D_{α}$ , dada por $f (z) = e^{z}$ , es biyectiva.

Demostración. Sea $α \in R$ fijo. Primero probemos la inyectividad.

Sean $z_{1} = x_{1} + i y_{1}, z_{2} = x_{2} + i y_{2} \in S_{α}$ y supongamos que $e^{z_{1}} = e^{z_{2}}$ , entonces: $| e^{z_{1}} | = | e^{z_{2}} |, \arg (e^{z_{1}}) = \arg (e^{z_{2}}) .$

Por lo que $e^{x_{1}} = e^{x_{2}}$ y $y_{2} = y_{1} + 2 π n$ , con $n \in Z$ . Dado que $z_{1}, z_{2} \in S_{α}$ , tenemos que $x_{1}, x_{2} \in R$ y $y_{1}, y_{2} \in (α, α + 2 π)$ . Entonces $x_{1} = x_{2}$ y: $- 2 π < y_{2} - y_{1} < 2 π ⟺ - 2 π < 2 n π < 2 π ⟺ n = 0,$ por lo que $y_{1} = y_{2}$ , es decir $z_{1} = z_{2}$ .

Verifiquemos ahora la supreyectividad. Sea $w = r e^{i θ} \in D_{α}$ , con $r = | w | > 0$ y $θ = {Arg}_{I} (w) \in I$ , donde $I = (α, α + 2 π)$ . Definimos: $z = \ln (r) + i θ .$

Claramente $z \in S_{α}$ y $e^{z} = e^{\ln (r) + i θ} = e^{\ln (r)} e^{i θ} = r e^{i θ} = w$ .

Por lo tanto, $f (z) = e^{z}$ biyecta la banda abierta $S_{α}$ en el plano complejo cortado $D_{α}$ , figura 80.

Observación 21.7.
En la entrada 26 veremos que al considerar a las funciones $f (z) = e^{z}$ y $g (z) = Log (z)$ como mapeos, es posible verificar geométricamente las transformaciones del plano complejo dadas en la figura 80.

Observación 21.8.
Dado que una rama del logaritmo, definida sobre el plano complejo cortado $D_{α}$ , corresponde con una rama de la función multivaluada $F (z) = \log (z)$ , definición 13.2, entonces se sigue del resultado anterior que cualquier rama del logaritmo, bajo dicha restricción, será una inversa de la función exponencial compleja.

Este hecho resulta de suma importancia pues nos dice que la inversa de la función exponencial compleja no es única y que habrá tantas inversas como ramas del logaritmo complejo.

Figura 80: La función exponencial biyecta la banda abierta $S_{α}$ en el plano cortado $D_{α}$ .

Corolario 21.2. (La rama principal del logaritmo es una inversa de la función exponencial.)
La función exponencial compleja, $f (z) = e^{z}$ , definida en la región fundamental:
$S_{- π} = {z = x + i y \in C : x \in R, - π < y < π},$ con valores en el plano complejo cortado $D_{- π} = C ∖ (- \infty, 0]$ , es biyectiva y su inversa es la rama principal del logaritmo.

Demostración. La primera parte del resultado se sigue de la proposición anterior, por lo que solo resta ver que en efecto la rama principal del logaritmo es la inversa de la función exponencial, bajo estas restricciones.

Por la proposición 21.1 es claro que $e^{Log (z)} = z$ . Veamos que $Log (e^{z}) = z$ .

Sea $z = x + i y \in S_{- π}$ , entonces $x \in R$ y $- π < y < π$ . Tenemos que $e^{z} = e^{x} e^{i y}$ , por lo que $| e^{z} | = e^{x}$ y $Arg (e^{z}) = y$ . Entonces: $Log (e^{z}) = \ln (e^{x}) + i Arg (e^{z}) = x + i y = z .$

Proposición 21.4. (Analicidad de la rama principal del logaritmo.)
La rama principal del logaritmo $g (z) = Log (z)$ es analítica en $D_{- π} = C ∖ (- \infty, 0]$ y su derivada es: $\frac{d}{d z} Log (z) = \frac{1}{z}, \forall z \in D_{- π} .$

Demostración. Del corolario 21.2 se sigue que la función $f : S_{- π} \to D_{- π}$ dada por $f (z) = e^{z}$ es biyectiva y su inversa es la función $g : D_{- π} \to S_{- π}$ dada por $g (z) = Log (z)$ , la cual es continua en $D_{- π}$ (proposición 21.2).

Por la proposición 20.1 sabemos que la función $f (z) = e^{z}$ es entera y que su derivada es $f^{'} (z) = e^{z}$ . Más aún, sabemos por la proposición 20.2(4) que $e^{z} \neq 0$ para todo $z \in C$ . Por lo que $f$ es una función analítica en $S_{- π}$ tal que $f^{'} (g (z)) \neq 0$ para todo $z \in D_{- π}$ , con $g$ continua en dicho dominio.

Entonces, por el teorema de la función inversa (proposición 16.6), se sigue que $g$ es analítica en $D_{- π}$ y su derivada es: $g^{'} (z) = \frac{1}{f^{'} (g (z))} = \frac{1}{e^{Log (z)}} = \frac{1}{z}, \forall z \in D_{- π} .$

Proposición 21.5. (Analicidad de una rama $I$ del logaritmo.)
Sean $α \in R$ fijo e $I = (α, α + 2 π)$ . La rama ${Log}_{I} : D_{α} \to S_{α}$ dada por: $Log I (z) = \ln | z | + i {Arg}_{I} (z),$ es una función analítica en $D_{α}$ y su derivada es: $\frac{d}{d z} {Log}_{I} (z) = \frac{1}{z}, \forall z \in D_{α} .$

Demostración. Su prueba es análoga a la de la proposición 21.3, por lo que se deja como ejercicio al lector.

De manera general tenemos que:

Proposición 21.6.
Sean $D \subset C ∖ {0}$ un dominio y $L : D \to C$ una rama del logaritmo en $D$ . Entonces $L$ es analítica en $D$ y $L^{'} (z) = 1 / z$ para todo $z \in D$ .

Demostración. Dadas las hipótesis, como $L$ es una rama del logaritmo en $D$ , entonces por la definición 21.4 tenemos que: $e^{L (z)} = z, \forall z \in D .$

Dado que la función $f (z) = e^{z}$ es entera y $f^{'} (z) = e^{z} \neq 0$ para todo $z \in C$ , entonces si restringimos $f : L (D) \to C$ , es claro que $f$ y $L$ serán inversas, por lo que se sigue del teorema de la función inversa (proposición 16.6) que $L$ es analítica en $D$ y su derivada está dada por: $L^{'} (z) = \frac{1}{f^{'} (L (z))} = \frac{1}{e^{L (z)}} = \frac{1}{z}, \forall z \in D .$

Ejemplo 21.8.
Estudiemos la analicidad de las siguientes funciones y obtengamos su derivada.
a) $f (z) = Log (z - i)$ .
b) $f (z) = \frac{Log (z + 4)}{z^{2} + i}$ .

Solución.
a) Sabemos que la función $g (w) = Log (w)$ es analítica en el dominio $D = C ∖ (- \infty, 0]$ . Procedemos a determinar el corte de rama de $f$ . Sea $w = z - i$ , con $z = x + i y \in C$ , entonces: $w \in (- \infty, 0] = L_{- π} = {- r \in C : r \geq 0} ⟺ w \in {w \in C : Re (w) \leq 0, Im (w) = 0} .$

Por lo que, el corte de rama de $f$ está dado por las condiciones: ${\begin{cases} Re (z - i) = x \leq 0, \\ Im (z - i) = y - 1 = 0, \end{cases} ⟹ {\begin{cases} x \leq 0, \\ y = 1. \end{cases}$

Es decir, el corte de rama de $f$ es el conjunto: $A = {z = x + i y \in C : x \leq 0, y = 1} .$

Entonces, $f$ es analítica en el dominio $D_{1} = C ∖ A$ , figura 81(a).

Dado que $f = g \circ h$ , con $g (z) = Log (z)$ y $h (z) = z - i$ , entonces por la regla de la cadena tenemos que: $\frac{d}{d z} Log (z - i) = g^{'} (h (z)) h^{'} (z) = \frac{1}{z - i}, \forall z \in D_{1} .$

b) Dado que $f$ es una función racional, es claro que los puntos donde el denominador se anule no serán elementos del dominio de analicidad de $f$ . Tenemos que: $z^{2} + i = 0 ⟺ z = \pm \sqrt{1} e^{- i \frac{π}{4}} = \pm \frac{\sqrt{2}}{2} (1 - i) .$

Por otra parte, procediendo como en el inciso anterior, para $w = z + 4$ , con $z = x + i y \in C$ , tenemos que las condiciones que determinan el corte de rama de $f$ son: ${\begin{cases} Re (z + 4) = x + 4 \leq 0, \\ Im (z + 4) = y = 0, \end{cases} ⟹ {\begin{cases} x \leq - 4, \\ y = 0. \end{cases}$

De donde se sigue que el corte de rama de $f$ es el conjunto: $B = {z = x + i y \in C : x \leq - 4, y = 0} .$

Por lo que, al tener los puntos donde $f$ no está definida y el corte de rama del númerador, concluimos que $f$ es analítica en el dominio, figura 81(b): $D_{2} = C ∖ {B \cup {\frac{\sqrt{2}}{2} (1 - i), \frac{\sqrt{2}}{2} (i - 1)}} .$

Procedemos a obtener la derivada de $f$ utilizando las reglas de derivación y la regla de la cadena, entonces: $\begin{aligned} \frac{d}{d z} f (z) & = \frac{[\frac{d}{d z} Log (z + 4)] - [\frac{d}{d z} (z^{2} + i)] Log (z + 4)}{(z^{2} + i)^{2}} \\ = \frac{[\frac{1}{z + 4}] - [2 z] Log (z + 4)}{(z^{2} + i)^{2}} \\ = \frac{z^{2} + i - 2 z (z + 4) Log (z + 4)}{(z^{2} + i)^{2} (z + 4)}, \forall z \in D_{2} . \end{aligned}$

Figura 81: Dominios de analicidad de las funciones del ejemplo 21.8.

(a) Dominio de analicidad $D_{1}$ de la función $Log (z - i)$ .

Proposición 21.7.
Sean $D \subset C ∖ {0}$ un dominio y $f : D \to C$ una función analítica. Entonces $f$ es una rama del logaritmo si y solo si $f^{'} (z) = 1 / z$ para todo $z \in D$ y $e^{f (a)} = a$ para al menos un $a \in D$ .

Demostración. Dadas las hipótesis.

$\Rightarrow)$

Supongamos que $f$ es una rama del logaritmo, entonces por definición: $e^{f (z)} = z, \forall z \in D .$

Claramente $e^{f (a)} = a$ para al menos un $a \in D$ .

Por otra parte, dado que $f$ es analítica en $D$ , tenemos que la función $e^{f (z)}$ es analítica en $D$ , entonces derivando de ambos lados de la igualdad, por la regla de la cadena, tenemos que: $e^{f (z)} \cdot f^{'} (z) = 1 \Rightarrow f^{'} (z) = \frac{1}{e^{f (z)}},$

por lo que: $f^{'} (z) = \frac{1}{z}, \forall z \in D .$

$(\Leftarrow$

Supongamos que $f^{'} (z) = 1 / z$ para todo $z \in D$ y que existe $a \in D$ tal que $e^{f (a)} = a$ . Veamos que $f$ es una rama del logaritmo.

Definimos a la función $g (z) = z \cdot e^{- f (z)}$ . Claramente $g$ es una función analítica en $D$ y por tanto diferenciable. Entonces para todo $z \in D$ se cumple que: $\begin{aligned} g^{'} (z) & = \frac{d}{d z} (z e^{- f (z)}) \\ = e^{- f (z)} \frac{d z}{d z} + z \frac{d}{d z} (e^{- f (z)}) \\ = e^{- f (z)} - z e^{- f (z)} f^{'} (z) \\ = e^{- f (z)} - z e^{- f (z)} (\frac{1}{z}) \\ = e^{- f (z)} - e^{- f (z)} \\ = 0, \end{aligned}$ por lo que $g$ es una función constante, es decir: $g (z) = k, k \in C .$

Procedemos a determinar el valor de dicha constante. Sea $z = a$ , entonces: $g (a) = a \cdot e^{- f (a)} = k .$

Dado que $e^{f (a)} = a$ , tenemos que: $e^{- f (a)} = \frac{1}{a},$

por lo tanto: $k = a \cdot e^{- f (a)} = a (\frac{1}{a}) = 1.$

Se sigue que $g (z) = 1$ , es decir: \begin{equation} z \cdot e^{-f(z)} = 1, \end{equation*} de donde: $e^{f (z)} = z, \forall z \in D,$ por lo que $f$ es una rama del logaritmo.

Proposición 21.8.
Sean $D \subset C ∖ {0}$ un dominio y $L : D \to C$ una rama del logaritmo en $D$ . Entonces, todas las ramas del logaritmo en $D$ son de la forma:
$\begin{matrix} (21.1) & l (z) = L (z) + i 2 π k, k \in Z . \end{matrix}$

Demostración. Dadas las hipótesis, primeramente notemos que para $k \in Z$ la función $l (z)$ dada en (21.1) es continua en $D$ y: $e^{l (z)} = e^{L (z) + i 2 π k} = e^{L (z)} e^{i 2 π k} = e^{L (z)} = z,$ es decir que $l (z)$ define otra rama del logaritmo en $D$ .

Supongamos que $l : D \to C$ es otra rama del logaritmo en $D$ , distinta de $L$ . Entonces para todo $z \in D$ tenemos que: $e^{L (z) - l (z)} = \frac{e^{L (z)}}{e^{l (z)}} = \frac{z}{z} = 1.$

De acuerdo con la proposición 20.2(10), lo anterior implica que $L (z) - l (z) = i 2 k π$ , para algún $k \in Z$ . Notemos que el mismo $k \in Z$ funciona para todo $z \in D$ , ya que si definimos a la función: $k (z) = \frac{L (z) - l (z)}{i 2 π},$ es claro que $k (z)$ es una función continua en $D$ y su imagen es un subconjunto de $Z$ . Dado que $D$ es conexo y $k (z)$ es continua, entonces por la proposición 10.3 tenemos que $k (D)$ es un conjunto conexo, por lo que $k (D) = {k}$ para un único $k \in Z$ tal que $l (z) = L (z) + i 2 k π$ para todo $z \in D$ . Es decir, dos ramas del logaritmo en $D$ difieren a lo más en un múltiplo entero de $2 π i$ , por lo que su diferencia es constante, de donde se sigue el resultado.

Ejemplo 21.9.
Determinemos los puntos de ramificación de la función multivaluada $F (z) = \log (z^{2} - 1)$ .

Solución. Primeramente notemos que la función multivaluada: $G (w) = \log (w) = \ln | w | + i \arg (w),$ no está definida para $w = 0$ , por lo que tiene sentido que dicho punto sea un punto de ramificación de $G$ , lo cual es claro desde que $w = 0$ es un punto de ramificación de la función multivaluada $\arg (w)$ , pues siempre que un punto arbitrario de una vuelta completa alrededor de dicho punto, su argumento habrá aumentado en $2 π$ y por tanto habrá cambiado de rama del argumento.

Notemos que: $\begin{aligned} F (z) & = \log (z^{2} - 1) \\ = \log ((z - 1) (z + 1)) \\ = \log (z - 1) + \log (z + 1) . \end{aligned}$

Entonces, considerando lo anterior, tenemos que los posibles puntos de ramificación son $z = 1$ y $z = - 1$ .

Sean: $\begin{array}{r} z - 1 = r_{1} e^{i θ_{1}}, r_{1} = | z - 1 |, θ_{1} = \arg (z - 1), \\ z + 1 = r_{2} e^{i θ_{2}}, r_{2} = | z + 1 |, θ_{2} = \arg (z + 1), \end{array}$

entonces: $F (z) = \ln (r_{1}) + \ln (r_{2}) + i (θ_{1} + θ_{2}) .$

Procediendo como en el ejemplo 13.15, si tomamos un punto $z_{0}$ sobre una circunferencia con centro en el punto $z = 1$ y de radio lo suficientemente pequeño como para que el punto $z = - 1$ sea exterior a ella, entonces tenemos que: $F (z_{0}) = \ln (r_{1}) + \ln (r_{2}) + i (θ_{1} + θ_{2}) .$

Si el punto $z_{0}$ da una vuelta alrededor de $z = 1$ , entonces solo el argumento de $z_{0} - 1$ se verá modificado, es decir: $F (z_{0}) = \ln (r_{1}) + \ln (r_{2}) + i (θ_{1} + + 2 π + θ_{2}),$ por lo que $F$ cambio de rama. Entonces $z = 1$ es un punto de ramificación de $F$ .

De manera análoga podemos concluir que $z = - 1$ también es un punto de ramificación de $F$ .

A diferencia del ejemplo 13.15, en este caso el punto $z_{\infty} = \infty$ sí será un punto de ramificación de $F$ .

Tenemos que: $\begin{aligned} F (\frac{1}{z}) & = \log (\frac{1}{z^{2}} - 1) \\ = \log (\frac{1 - z^{2}}{z^{2}}) \\ = \log (1 - z^{2}) - \log (z^{2}) \\ = \log (1 - z^{2}) - 2 \log (z) . \end{aligned}$

Entonces, es claro que $z = 0$ es un punto de ramificación de $F (1 / z)$ , por lo que $z_{\infty} = \infty$ será también un punto de ramificación de $F (z)$ .

Al igual que en el caso real, podemos utilizar a las funciones complejas exponencial y logaritmo para definir a las potencias complejas. Recordemos que para todo $a > 0$ y $b \in R$ , definimos a la potencia real de base $a$ y exponente $b$ como $a^{b} = e^{b \ln (a)}$ .

Sabemos que para todo $z \neq 0$ se cumple que: $z = e^{\log (z)},$ pero como la función $\log (z)$ es multivaluada, entonces existen infinitos logaritmos de $z$ , tantos como múltiplos enteros de $i 2 π$ , pues: $\log (z) = Log (z) + i 2 π k, k \in Z .$

Considerando lo anterior, tenemos la siguiente:

Definición 21.5. (Potencias complejas.)
Sean $a \in C$ y $z \in C ∖ {0}$ . Definimos a la potencia compleja, de base $z$ y exponente $a$ , como: $z^{a} = e^{a \log (z)} .$

Observación 21.9.
En general, la potencia compleja de $z \neq 0$ define a una función multivaluada, por lo que, al elegir una rama del logaritmo complejo obtendremos una función univaluada a la cual llamaremos rama de la potencia compleja. En particular, si elegimos a la rama principal del logaritmo entonces obtendremos el valor principal o la rama principal de $z^{a}$ , es decir: $z^{a} = e^{a Log (z)} .$

Por otra parte, si elegimos a una rama $I$ del logaritmo, entonces obtenemos la rama $I$ de $z^{a}$ , es decir: $z^{a} = e^{a {Log}_{I} (z)} .$

Recordemos que para hablar de ramas de una función multivaluada debemos tener funciones continuas, por lo que, de acuerdo con los resultados previos, bastará con tomar intervalos abiertos $I$ de longitud $2 π$ , es decir de la forma $I = (α, α + 2 π)$ , con $α \in R$ fijo, para garantizar que la rama del logaritmo elegida sea en efecto continua.

Ejemplo 21.10.
Determinar todos los valores de las siguientes potencias complejas.
a) $1^{i}$ .
b) $(- 2)^{i}$ .
c) $i^{- 2 i}$ .

Solución.
a) Dado que $| 1 | = 1$ y $Arg (1) = 0$ , entonces: $\begin{aligned} Log (1) & = \ln (1) + i Arg (1) \\ = 0 + i 0 \\ = 0, \end{aligned}$ de donde $\log (1) = Log (1) + i 2 π k = i 2 π k$ , con $k \in Z$ . Entonces: $1^{i} = e^{i \log (1)} = e^{- 2 π k}, k \in Z .$

b) De acuerdo con el ejercicio 21.1(c) sabemos que $\log (- 2) = \ln (2) + i (π + 2 π k)$ , con $k \in Z$ . Entonces: $(- 2)^{i} = e^{i \log (- 2)} = e^{i \ln (2)} e^{- (π + 2 π k)}, k \in Z .$

c) Por el ejercicio 21.1(a) sabemos que $\log (i) = i (\frac{π}{2} + 2 π k)$ , con $k \in Z$ . Entonces: $i^{- 2 i} = e^{- 2 i \log (i)} = e^{2 (\frac{π}{2} + 2 π k)} = e^{(4 k + 1) π}, k \in Z .$

Es interesante notar que las potencias complejas no siempre devuelven valores complejos, como es el caso de los incisos a) y c) del ejemplo anterior, cuyos valores son siempre números reales.

Ejemplo 21.11.
Para $z = - i$ y $a = 1 + i$ , calculemos las siguientes potencias complejas.
a) Si $I = (- π, π)$ , determinar el valor de $z^{a}$ .
b) Si $I = (0, 2 π)$ , determinar el valor de $z^{a}$ .
c) Determinar todos los valores de $z^{a}$ .

Solución.
a) Si $I = (- π, π)$ , entonces estamos considerando a la rama principal del logaritmo. Para $z = - i$ y $a = 1 + i$ , tenemos que $| z | = 1$ y $Arg (z) = - \frac{π}{2}$ , por lo que: $Log (- i) = \ln (1) + i (- \frac{π}{2}) = - i \frac{π}{2} .$

Entonces: $\begin{aligned} (- i)^{1 + i} & = e^{(1 + i) Log (- i)} \\ = e^{(1 + i) (- i \frac{π}{2})} \\ = e^{- i \frac{π}{2}} e^{\frac{π}{2}} \\ = - i e^{\frac{π}{2}} . \end{aligned}$

b) Si $I = (0, 2 π)$ , entonces estamos considerando la rama natural del argumento, por lo que para $z = - i$ tenemos que ${Arg}_{(0, 2 π)} (z) = \frac{3 π}{2}$ . Entonces: ${Log}_{I} (- i) = \ln (1) + i (\frac{3 π}{2}) = i \frac{3 π}{2} .$

Por lo que: $\begin{aligned} (- i)^{1 + i} & = e^{(1 + i) {Log}_{I} (- i)} \\ = e^{(1 + i) (i \frac{3 π}{2})} \\ = e^{i \frac{3 π}{2}} e^{- \frac{3 π}{2}} \\ = - i e^{- \frac{3 π}{2}} . \end{aligned}$

Claramente $- i e^{- \frac{3 π}{2}} \neq - i e^{\frac{π}{2}}$ , por lo que el valor de $(- i)^{1 + i}$ es distinto al considerar estas dos ramas del logaritmo.

c) De acuerdo con el inciso a) tenemos que: $\log (- i) = Log (- i) + i 2 π k = i \frac{π}{2} (4 k - 1), k \in Z .$

Entonces: $(- i)^{1 + i} = e^{(1 + i) \log (- i)} = e^{i \frac{π}{2} (4 k - 1)} e^{- \frac{π}{2} (4 k - 1)}, k \in Z .$

En particular si $k = 1$ obtenemos la rama del inciso b) y si $k = 0$ obtenemos la rama del inciso a).

En la observación 21.8 hemos mencionado que en general la función $z^{a}$ , con $z \neq 0$ , corresponde con una función multivaluada, por lo que podemos preguntarnos bajo qué condiciones no lo es. Para responder esta pregunta notemos que para $z \neq 0$ y $a \in C$ se cumple que: $z^{a} = e^{a \log (z)} = e^{a (Log (z) + i 2 π k)} = e^{a Log (z)} e^{i 2 a π k}, k \in Z .$

Por lo que, para determinar el número de valores distintos que toma $z^{a}$ basta con determinar el número de valores distintos que toma $e^{i 2 a π k}$ , con $k \in Z$ . Planteamos los siguientes casos:

Si $a \in Z$ . Si $a$ es un entero tenemos que la expresión $i 2 a π k$ determina un múltiplo entero de $i 2 π$ . Entonces, por la proposición 20.2(10), se tiene que $e^{i 2 a π k} = 1$ para todo $k \in Z$ , de donde se concluye que $z^{a}$ determina un único valor, es decir es una función univaluada, lo cual es concordante con las funciones de la forma $z^{n}$ , con $n \in Z$ , es decir las potencias enteras.
Si $a \in Q$ . Si $a$ es un número real racional entonces se puede escribir de la forma $a = \frac{p}{q}$ , con $p, q \in Z$ , $q \neq 0$ , coprimos. Por lo que, la expresión $e^{i 2 a π k} = e^{i 2 π \frac{p k}{q}}$ tendrá exactamente $q$ valores distintos para $k = 0, 1, \dots, q - 1$ (observación 5.4, entrada 5). Entonces, para cada valor de $k \in {0, 1, \dots, q - 1}$ obtendremos una potencia compleja distinta, es decir una función de la forma: $z^{\frac{p}{q}} = e^{\frac{p}{q} Log (z)} e^{i 2 π \frac{p k}{q}},$ correspondiente con una rama de la función $z^{\frac{p}{q}}$ . En particular, para $k = 0$ obtendremos la rama principal de la función multivaluada $z^{\frac{p}{q}}$ . Es claro que el caso 1 es un caso particular del caso 2 tomando $q = 1$ .
Si $a \in R ∖ Q$ ó $a \in C ∖ R$ . En este caso tenemos que $a$ puede ser un número real irracional o un número complejo cuya parte imaginaria es distinta de cero. Veamos que en cualquiera de estos casos los valores de la expresión $e^{i 2 a π k}$ serán distintos para todo $k \in Z$ .
Supongamos que $a \in R ∖ Q$ y que: $\begin{matrix} (21.2) & e^{i 2 a π k} = e^{i 2 a π j}, k, j \in Z, \end{matrix}$ entonces: $e^{i 2 a π k - i 2 a π j} = e^{i 2 a π (k - j)} = 1, k, j \in Z,$ pero lo anterior se cumple si y solo si $a (k - j) \in Z$ , lo cual claramente no es posible pues $a$ es un número irracional. Por lo que, la igualdad en (21.2) no se cumple para ningunos enteros $k$ y $j$ , es decir que $z^{a}$ tendrá un número infinito de valores.
Supongamos ahora que $a = x + i y$ , con $y \neq 0$ , entonces: $e^{i 2 a π k} = e^{i 2 π k (x + i y)} = e^{i 2 π k x} e^{- 2 π k y}, k \in Z,$ de donde es claro que la expresión $e^{- 2 π k y}$ determina una infinidad de valores distintos para cada $k \in Z$ , por lo que de nueva cuenta $z^{a}$ tendrá un número infinito de valores.
Al igual que en el caso 2, cada valor de $k$ determina una rama distinta de la función $z^{a}$ , sin embargo en este caso se tendrá una infinidad de ramas distintas.

Observación 21.10.
Notemos que nuestra definición de potencia compleja es inconsistente con nuestra definición de la exponencial compleja $e^{z}$ . Si tomamos $z = e$ y $a = z^{'} \in C$ , entonces: $e^{z^{'}} = e^{z^{'} \log (e)} = e^{z^{'} \ln (e)} e^{i 2 π z^{'} k} = e^{z^{'}} e^{i 2 π z^{'} k}, k \in Z,$ la cual es, en general, una función multivaluada. Por tal motivo, siempre que utilicemos la expresión $e^{z}$ nos referiremos a la función univaluada exponencial compleja.

Para formalizar lo anterior tenemos la siguiente:

Definición 21.6. (Ramas principales de las funciones $b^{z}$ y $z^{a}$ .)
Sean $a \in C$ y $b \in C ∖ {0}$ . Definimos a la función univaluada exponencial compleja de base $b$ como: $\exp_{b} (z) = b^{z} = e^{z Log (b)}, z \in C,$ la cual corresponde con la rama principal de la función multivaluada $b^{z}$ .

Por otra parte, definimos a la función multivaluada potencia compleja, de exponente $a$ , como: $z^{a} = e^{a \log (z)}, z \in C ∖ {0} .$

Observación 21.11.
Es importante mencionar que en general, no todas las propiedades de las potencias reales con las que estamos familiarizados, se cumplen para el caso complejo.

Sean $a, b \in C$ , $z_{1}, z_{2} \in C ∖ {0}$ y $n \in Z$ , en general, no siempre se cumple que:

${(z_{1} z_{2})}^{a} = z_{1}^{a} z_{2}^{a}$ .
${(z_{1})}^{a + b} = z_{1}^{a} z_{1}^{b}$ .
$z_{1}^{a - b} = \frac{z_{1}^{a}}{z_{1}^{b}}$ .
${(z_{1}^{a})}^{n} = z_{1}^{n a}$ .
${(z_{1}^{a})}^{b} = z_{1}^{b a}$ .

Ejemplo 21.12.
a) Sean $z_{1} = z_{2} = - 1$ y $a = 1 / 2$ . Considerando a la rama principal de la función multivaluada $z^{a}$ , tenemos que: $(z_{1} z_{2})^{a} = 1^{1 / 2} = e^{\frac{1}{2} (Log (1))} = e^{0} = 1,$

pero: $z_{1}^{a} = z_{2}^{a} = (- 1)^{1 / 2} = e^{\frac{1}{2} (Log (- 1))} = e^{i \frac{π}{2}} = i,$ de donde $(z_{1} z_{2})^{a} = 1 \neq - 1 = z_{1}^{a} z_{2}^{a}$ .

b) Sean $z_{1} = - 1$ y $a = 1 / 2 = - b$ . Es claro que $z_{1}^{a + b} = (- 1)^{0} = 1$ , pero: $\begin{aligned} z_{1}^{a} = (- 1)^{1 / 2} & = e^{\frac{1}{2} (\log (- 1))} \\ = e^{\frac{1}{2} (Log (- 1) + i 2 π m)} \\ = e^{\frac{1}{2} (i π + i 2 π m)} \\ = e^{i \frac{π}{2}} e^{i π m} \\ = (- 1)^{m} i, m \in Z, \end{aligned}$ $\begin{aligned} z_{1}^{b} = (- 1)^{- 1 / 2} & = e^{- \frac{1}{2} (\log (- 1))} \\ = e^{- \frac{1}{2} (i π + i 2 π n)} \\ = e^{- i \frac{π}{2}} e^{- i π n} \\ = (- 1)^{n} (- i) \\ = (- 1)^{n + 1} i, n \in Z, \end{aligned}$

por lo que: $z_{1}^{a} z_{1}^{b} = (- 1)^{m + n + 1} i^{2} = (- 1)^{m + n + 1} (- 1) = (- 1)^{m + n + 2} = (- 1)^{k}, k = m + n + 2 \in Z,$ de donde, $z_{1}^{a + b} = 1 \neq (- 1)^{k} = z_{1}^{a} z_{1}^{b}$ para todo $k \in Z$ impar.

c) Sean $z_{1} = a = b = i$ . Tenemos que: $z_{1}^{a b} = i^{i^{2}} = i^{- 1} = \frac{1}{i} = - i .$

Por otra parte: $i^{i} = e^{i \log (i)} = e^{i^{2} (\frac{π}{2} + 2 π k)} = e^{- (\frac{π}{2} + 2 π k)}, k \in Z .$

Entonces, para toda $k \in Z$ tenemos que: $\begin{aligned} {(z_{1}^{a})}^{b} = {(i^{i})}^{i} = {(e^{- (\frac{π}{2} + 2 π k)})}^{i} & = e^{i \log (e^{- (\frac{π}{2} + 2 π k)})} \\ = e^{i \ln (e^{- (\frac{π}{2} + 2 π k)})} e^{i^{2} \arg (e^{- (\frac{π}{2} + 2 π k)})} \\ = e^{- i \frac{π}{2}} e^{- i 2 π k} e^{- 2 π n} \\ = - i e^{- 2 π n}, n \in Z . \end{aligned}$

De donde se sigue que ${(z_{1}^{a})}^{b} \neq z_{1}^{a b}$ para todo $n \in Z$ , con $n \neq 0$ .

En este caso, notemos que para $a = b = i$ y $z_{1} \neq 0$ , $z_{1}^{a b}$ define una función univaluada, mientras que ${(z_{1}^{a})}^{b}$ determina una función multivaluada.

Proposición 21.9. (Analicidad de las ramas principales de $z^{a}$ y $b^{z}$ .)
Sean $a \in C$ y $b \in C ∖ {0}$ . La rama principal de la función multivaluada $z^{a}$ , es decir: $f (z) = z^{a} = e^{a Log (z)},$ es analítica en $D = C ∖ (- \infty, 0]$ y su derivada es: $\frac{d}{d z} z^{a} = a z^{a - 1}, \forall z \in D .$

Mientras que la rama principal de la función multivaluada $b^{z}$ , es decir: $\exp_{b} (z) = b^{z} = e^{z Log (b)},$ es entera y su derivada es: $\frac{d}{d z} b^{z} = b^{z} Log (b), \forall z \in C .$

Demostración. Dadas las hipótesis, primeramente notemos que la rama principal de la función multivaluada $z^{a}$ está dada como la composición de las funciones $g (z) = e^{z}$ y $h (z) = a Log (z)$ , de las cuales $g$ es una función entera y $h$ es analítica en el dominio $D = C ∖ (- \infty, 0]$ , por lo que $f = g \circ h$ también será analítica en $D$ y podemos obtener su derivada mediante la regla de la cadena, es decir para todo $z \in D$ tenemos que: $\frac{d}{d z} z^{a} = \frac{d}{d z} g (h (z)) = g^{'} (h (z)) h^{'} (z) = e^{a Log (z)} (\frac{a}{z}) = z^{a} (\frac{a}{z}) = a z^{a - 1} .$

Análogamente, notemos que la rama principal de la función multivaluada $b^{z}$ está dada como la composición de las funciones $g (z) = e^{z}$ y $h (z) = z Log (b)$ , las cuales son funciones enteras, por lo que $\exp_{b} = g \circ h$ también es una función entera. Entonces, utilizando la regla de la cadena, para todo $z \in C$ tenemos que: $\frac{d}{d z} b^{z} = \frac{d}{d z} g (h (z)) = g^{'} (h (z)) h^{'} (z) = e^{z Log (b)} (Log (b)) = b^{z} Log (b) .$

Ejemplo 21.13.
Determinemos la rama $f$ de la función multivaluada $F (z) = \sqrt[4]{z - i}$ para la cual $f (1 + i) = 1$ y calculemos $f (0)$ , $f (1)$ , $f (- 1)$ . Veamos donde es analítica $f$ y obtengamos su derivada.

Solución. Notemos que: $F (z) = \sqrt[4]{z - i} = e^{\frac{1}{4} \log (z - i)} = e^{\frac{1}{4} Log (z - i)} e^{i 2 π \frac{k}{4}},$ para $k = 0, 1, 2, 3$ .

Entonces, para cada valor de $k$ obtendremos una rama diferente de $F$ .

Dado que $Log (1) = 0$ , entonces: $f (1 + i) = F_{k} (1 + i) = e^{\frac{1}{4} Log (1)} e^{i 2 π \frac{k}{4}} = 1 ⟺ k = 0,$ por lo que la rama buscada es la función: $f (z) := F_{0} (z) = e^{\frac{1}{4} Log (z - i)} .$

Tenemos que: $f (0) = e^{\frac{1}{4} Log (- i)} = e^{\frac{1}{4} [0 - i \frac{π}{2}]} = e^{- i \frac{π}{8}} .$ $f (1) = e^{\frac{1}{4} Log (1 - i)} = e^{\frac{1}{4} [\ln (\sqrt{2}) - i \frac{π}{4}]} = e^{\frac{\ln (2)}{8}} e^{- i \frac{π}{16}} .$ $f (- 1) = e^{\frac{1}{4} Log (- 1 - i)} = e^{\frac{1}{4} [\ln (\sqrt{2}) - i \frac{3 π}{4}]} = e^{\frac{\ln (2)}{8}} e^{- i \frac{3 π}{16}} .$

Por último, de acuerdo con el ejemplo 21.7(a) sabemos que la función $h (z) = \frac{1}{4} Log (z - i)$ es analítica en el dominio, figura 81(a): $D = C ∖ {z = x + i y \in C : x \leq 0, y = 1} .$

Por lo que, al ser $f = g \circ h$ , es decir la composición de $g (z) = e^{z}$ y $h (z) = \frac{1}{4} Log (z - i)$ , entonces $f$ es analítica en $D$ y por la regla de la cadena su derivada es: $\begin{aligned} \frac{d}{d z} f (z) = g^{'} (h (z)) h^{'} (z) & = (e^{\frac{1}{4} Log (z - i)}) \frac{1}{4} (\frac{1}{z - i}) \\ = \frac{1}{4 (z - i)} (e^{\frac{1}{4} Log (z - i)}) \\ = \frac{1}{4 (z - i)} ({(z - i)}^{1 / 4}) \\ = \frac{1}{4} {(z - i)}^{- \frac{3}{4}} \forall z \in D . \end{aligned}$

En el resultado anterior hemos considerando la rama principal del logaritmo para poder escribir a $f$ como $f (z) = {(z - i)}^{1 / 4}$ , es decir estamos trabajando con la rama principal de la función multivaluada $F (z) = \sqrt[4]{z - i}$ .

Considerando este hecho, podemos utilizar la regla de la cadena y el resultado dado en la proposición 21.8 para obtener la derivada de $f$ de manera directa, es decir: $\frac{d}{d z} f (z) = \frac{1}{4} {(z - i)}^{\frac{1}{4} - 1} = \frac{1}{4} {(z - i)}^{- \frac{3}{4}}, \forall z \in D .$

Tarea moral

Completa las pruebas de las proposiciones de esta entrada.
Determina todas las soluciones para las siguientes ecuaciones.
a) $e^{z} = 4 i$ .
b) $e^{z - 1} = - i e^{3}$ .
c) $e^{2 z} + e^{z} + 1 = 0$ .
d) $e^{z} = 2 - 2 i$
Determina todos los valores de las siguientes potencias complejas.
a) ${(- 1)}^{3 i}$ .
b) ${(- 1 + i \sqrt{3})}^{3 / 2}$ .
c) ${(1 + i)}^{1 - i}$ .
d) ${(- 1)}^{π}$ .
Para cada una de las siguientes funciones determina su dominio de analicidad y encuentra su derivada.
a) $f (z) = \frac{Log (3 z - 1)}{z^{2} + 1}$ .
b) $f (z) = Log (z^{3} + 1)$ .
c) $f (z) = {Log}_{I} (z + 1)$ , con $I = (\frac{π}{2}, \frac{5 π}{2})$ .
d) $f (z) = 3 z^{2} - e^{i 2 z} + i Log (z)$ .
Considera la función multivaluada $F (z) = z + \sqrt[3]{{(z - 1)}^{2}}$ . A partir del corte de rama, figura 82, dado por: $C R = {z = x + i y \in C : x = 1, - \infty < y \leq 0},$ determina la rama $f$ tal que $f (0) = 1$ y calcula $f (1 + i)$ y $f (- i)$ . ¿Dónde es analítica $f$ ? Obtén su derivada.
Hint: Observa que si $z \in C ∖ C R$ , entonces $z - 1 = | z - 1 | e^{i θ}$ , con $| z - 1 | > 0$ y $- \frac{π}{2} < θ < \frac{3 π}{2}$ . En particular, para $z_{0} = 0$ se cumple que $θ_{0} = π$ .

Figura 82: Corte de rama $C R$ ejercicio 5.

Sean $D \subset C ∖ {0}$ un dominio y $n \in Z$ . Supón que $f : D \to C$ es una rama del logaritmo en $D$ . Prueba que: $z^{n} = e^{n f (z)}, \forall z \in D .$
Considera a la función multivaluada $F (z) = \log (i z - 1)$ . Determina sus puntos de ramificación. Después, considera a la rama principal $f (z) = Log (i z - 1)$ . ¿Cuál es el corte de rama de $f$ ? ¿Cuál es el dominio de analicidad de $f$ ? Obtén su derivada.
Muestra que las tres ramas de la función $z^{1 / 3}$ son: $b_{1} (z) = e^{\frac{1}{3} Log (z)}, b_{2} (z) = e^{i \frac{2 π}{3}} e^{\frac{1}{3} Log (z)}, b_{3} (z) = e^{i \frac{4 π}{3}} e^{\frac{1}{3} Log (z)} .$ ¿Cuál es el dominio de analicidad de cada rama? Determina la derivada de cada rama.
Considera la función multivaluada $F (z) = \sqrt[4]{z}$ . Utilizando la rama natural del logaritmo, determina la rama $f$ tal que $f (- 1) = \frac{\sqrt{2}}{2} (1 + i)$ . ¿Cuál es el dominio de analicidad de $f$ ?. Determina el valor de $f^{'} (- i)$ .
Hint: Recuerda que la rama natural del logaritmo es: ${Log}_{(0, 2 π)} (z) = \ln | z | + i {Arg}_{(0, 2 π)} (z),$ la cual es analítica en el dominio $D = C ∖ [0, \infty)$ .
Muestra que las funciones $f_{1} (z) = Log (1 - z)$ y $f_{2} (z) = Log (1 + z)$ son analíticas, respectivamente, en los dominios: $D_{1} = C ∖ A_{1} y D_{2} = C ∖ A_{2},$ donde: $\begin{array}{r} A_{1} = {z \in C : Re (z) \geq 1, Im (z) = 0}, \\ A_{2} = {z \in C : Re (z) \leq - 1, Im (z) = 0} . \end{array}$

Más adelante…

En esta entrada hemos dado una definición para las funciones logaritmo y exponecial complejas. A diferencia de sus versiones reales, vimos que estas funciones son, en general, multivaluadas, por lo que debemos elegir alguna rama para poder estudiar las propiedades de cada una de estas funciones, como la continuidad y analicidad. Por simplicidad es común trabajar con las ramas principales, sin embargo en ciertas ocasiones cambiar de ramas nos permitirá resolver algún problema de manera más sencilla.

De acuerdo con los resultados de esta entrada, vimos que la rama principal del logaritmo extiende al logaritmo natural real y que nos permite obtener logaritmos para número reales negativos. Además de que bajo ciertas restricciones esta rama es una de las inversas de la función exponencial compleja.

Para el caso de las potencias complejas, vimos que, en general, no se cumplen las propiedades de las potencias reales con las que estamos familiarizados. Sin embargo, trabajar con potencias complejas nos facilita el trabajo a la hora de determinar ramas específicas de una función multivaluada.

La siguiente entrada definiremos otras funciones elementales, las funciones trigonométricas e hiperbólicas y estudiaremos algunas de sus propiedades más elementales. Veremos que a través de la exponencial y el logaritmo podremos definir a estas funciones y sus inversas.

Entradas relacionadas

Ir a Variable Compleja I.
Entrada anterior del curso: Exponencial compleja.
Siguiente entrada del curso: Funciones trigonométricas e hiperbólicas complejas.

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: Rama principal del logaritmo

Variable Compleja I: Funciones inversas de las funciones trigonométricas e hiperbólicas complejas

Introducción

Tarea moral

Más adelante…

Entradas relacionadas

Variable Compleja I: Logaritmo complejo y potencias complejas

Introducción

Tarea moral

Más adelante…

Entradas relacionadas