Introducción

Hasta ahora hemos visto la definición de función compleja y hemos estudiado los conceptos de límite, continuidad y diferenciabilidad de dicho objeto matemático. En la entrada anterior, a través de las ecuaciones de Cauchy-Riemann, hemos caracterizado la diferenciabilidad compleja y probamos que no basta la diferenciabilidad de las funciones escalares reales para garantizar la diferenciabilidad compleja, aún cuando toda función compleja queda completamente determinada por dos funciones escalares reales a las que llamamos su parte real e imaginaria.

En esta entrada definiremos una de las funciones complejas más elementales, recordando que hemos hecho una extensión de los números reales $\mathbb{R}$ a través de la construcción del campo de los números complejos $\mathbb{C}$, por lo que nos gustaría que la función exponencial compleja preservará las propiedades de su versión real correspondiente. Motivados en este hecho procedemos a deducir una definición para la función exponencial compleja.

Queremos definir una función analítica $f$ tal que si $z_1, z_2\in\mathbb{C}$, entonces: \begin{equation*} f(z_1 + z_2) = f(z_1)f(z_1), \end{equation*} además, que para toda $z=x\in\mathbb{R}$ cumpla que: \begin{equation*} f(z) = f(x) = e^x. \end{equation*}

De acuerdo con estas propiedades, si $z=x+iy\in\mathbb{C}$ se debe cumplir que: \begin{align*} f(z) &= f(x+iy)\\ &= f(x)f(iy)\\ &= e^x f(iy). \end{align*}

Tomando $f(iy) = A(y) + iB(y)$, tenemos: \begin{align*} f(z) &= e^x\left[ A(y) + iB(y) \right]\\ &= e^xA(y) + ie^xB(y), \end{align*} de donde $u(x,y) = e^x A(y)$ y $v(x,y) = e^x B(y)$.

Para que $f$ sea una función analítica se deben satisfacer las ecuaciones de Cauchy-Riemann, es decir: \begin{equation*} u_x(x,y) = e^x A(y) = e^x B'(y) = v_y(x,y) \end{equation*} \begin{equation*} u_y(x,y) = e^x A'(y) = – e^x B(y) = – v_x(x,y), \end{equation*} por lo que las funciones reales $A(y)$ y $B(y)$ deben cumplir que:
\begin{align*} A(y) = B'(y),\\ B(y) = -A'(y), \tag{20.1} \end{align*} de donde: \begin{equation*} A^{‘ ‘}(y) = – A(y), \quad B^{‘ ‘}(y) = – B(y). \end{equation*}

Sean $\alpha,\beta \in\mathbb{R}$. Tomando: \begin{equation*} A(y) := \alpha \operatorname{cos}(y) + \beta \operatorname{sen}(y), \end{equation*} tenemos que: \begin{equation*} A'(y) = – \alpha \operatorname{sen}(y) + \beta \operatorname{cos}(y), \end{equation*} \begin{equation*} A^{‘ ‘}(y) = – \left[\alpha \operatorname{cos}(y) – \beta \operatorname{sen}(y)\right] = – A(y), \end{equation*} de donde: \begin{equation*} B(y) := -\beta \operatorname{cos}(y) + \alpha \operatorname{sen}(y), \end{equation*} \begin{equation*} B^{‘ ‘}(y) = \left[-\beta \operatorname{cos}(y) + \alpha \operatorname{sen}(y)\right] = -B(y). \end{equation*}

Claramente las funciones reales $A(y)$ y $B(y)$ propuestas cumplen (20.1).

Entonces, para $z=x+iy\in\mathbb{C}$ tenemos que: \begin{align*} f(z) & = e^x\left[ A(y) + iB(y) \right]\\ &= e^x\left[ (\alpha-i\beta)\operatorname{cos}(y) + (\beta + i \alpha)\operatorname{sen}(y) \right]. \end{align*} Como $f(z) = e^x$ para $z=x+i0\in\mathbb{R}$, entonces: \begin{align*} f(z) & = e^x \left[(\alpha-i\beta)\operatorname{cos}(0) + (\beta + i \alpha)\operatorname{sen}(0)\right]\\ & = e^x\left(\alpha-i\beta\right)\\ & = e^x, \end{align*} lo cual se cumple si y solo si $\alpha = 1$ y $\beta = 0$.

De acuerdo con lo anterior hemos motivado la siguiente:

Definición 20.1. (Exponencial compleja.)
Si $z=x+iy\in\mathbb{C}$, entonces se define a la función exponencial compleja, denotada por $\operatorname{exp}(z)$, como el número complejo: \begin{equation*} \operatorname{exp}(z) = e^x\left[ \operatorname{cos}(y) + i \operatorname{sen}(y)\right], \end{equation*} donde $e^x$, $\operatorname{cos}(y)$ y $\operatorname{sen}(y)$ corresponden a las funciones reales exponencial, coseno y seno, respectivamente.

Observación 20.1.
La función exponencial compleja extiende a la exponencial real, por lo que se utilizarán de forma indistinta las expresiones $\operatorname{exp}(z)$ y $e^z$ para denotar a dicha función. La justificación de este hecho se dará más adelante al hablar de series de potencias, donde se verá que las definiciones de las funciones más elementales, en particular de la exponencial compleja, que veremos en esta unidad coinciden con las definiciones de nuestros cursos de Cálculo.

Ejemplo 20.1.
Obtengamos el valor de $f(z)= e^z$ para $z=3-i\frac{\pi}{3}$, $z = 2+3\pi i$ y $z = -1+\pi i$.

Solución. De acuerdo con la definición de la función exponencial compleja tenemos que:
a) $f\left(3-i\frac{\pi}{3}\right) = e^{3}\left[\operatorname{cos}\left(-\frac{\pi}{3}\right) + i \operatorname{sen}\left(-\frac{\pi}{3}\right)\right] = e^{3} \left( \frac{1}{2} – i \frac{\sqrt{3}}{2}\right)$.
b) $f(2+3\pi) = e^{2}\left[\operatorname{cos}(3\pi) + i \operatorname{sen}(3\pi)\right] = e^{2}\left(-1\right) = -e^2$.
c) $f(-1+\pi i) = e^{-1}\left[\operatorname{cos}(\pi) + i \operatorname{sen}(\pi)\right] = e^{-1} (-1) = -\dfrac{1}{e}$.

Proposición 20.1. (Analicidad de la exponencial compleja.)
La función exponencial compleja, $f(z) = e^z$, es una función entera y su derivada está dada por: \begin{equation*} \frac{d}{dz} e^z = e^z. \end{equation*}

Demostración.
De acuerdo con la definición de la función exponencial compleja para $z=x+iy\in\mathbb{C}$ tenemos que: \begin{align*} \operatorname{Re}(e^z) = u(x,y) = e^x \operatorname{cos}(y),\\ \operatorname{Im}(e^z) = v(x,y) = e^x \operatorname{sen}(y). \end{align*}

Es claro que las funciones $u(x,y)$ y $v(x,y)$ son continuas en $\mathbb{R}^2$ y que ambas tienen derivadas parciales de primer orden continuas para todo $(x,y)\in\mathbb{R}^2$. Notemos que: \begin{align*} \frac{\partial u}{\partial x} = e^x \operatorname{cos}(y) = \frac{\partial v}{\partial y},\\ \frac{\partial u}{\partial y} = -e^x \operatorname{sen}(y) = -\frac{\partial v}{\partial x}, \end{align*} es decir que $u$ y $v$ satisfacen las ecuaciones de C-R para todo $z=x+iy\in\mathbb{C}$, por lo que de acuerdo con el teorema 18.1 (o el teorema 18.3) concluimos que la función $f(z) = e^z$ es analítica en $\mathbb{C}$, por lo que es una función entera.

Más aún, sabemos que la derivada de $f$ está dada por: \begin{align*} \frac{d}{dz}e^z & = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x}\\ & = e^x \operatorname{cos}(y) + i e^x \operatorname{sen}(y)\\ & =e^x\left[ \operatorname{cos}(y) + i \operatorname{sen}(y)\right]\\ & = e^z. \end{align*} para todo $z=x+iy\in \mathbb{C}$.

$\blacksquare$

Corolario 20.1. (Continuidad de la exponencial compleja.)
La función exponencial compleja, $f(z) = e^z$, es continua en $\mathbb{C}$.

Demostración. Se sigue de la proposición 16.1.

$\blacksquare$

Observación 20.2.
Notemos que utilizando la proposición 20.1 y la regla de la cadena podemos deducir que si $f(z)$ es una función analítica en un dominio $D$, entonces la función $e^{f(z)}$ también será analítica en $D$ y su derivada está dada por: \begin{equation*} \frac{d}{dz}e^{f(z)} = f'(z)e^{f(z)}, \quad \forall z\in D. \end{equation*}

Ejemplo 20.2.
Estudiemos la analicidad de las siguientes funciones y determinemos su derivada.
a) $f(z) = iz^3(z-e^{z^2})$.
b) $f(z) = e^{z^2-(1+i)z+3}$.

Solución.
a) Primeramente notemos que $f$ está dada como el producto de las funciones $h(z) = iz^3$ y $g(z) = z-e^{z^2}$. Claramente la función $h$ es entera pues es un polinomio complejo. Por otra parte, notemos que $h$ está dada como la resta de dos funciones, pero ambas son funciones enteras pues la primera función es un polinomio complejo y la segunda función es una composición entre las funciones $e^z$ y $z^2$ que sabemos son enteras, por tanto la función $f$ es entera y su derivada está dada por la regla del producto, es decir: \begin{align*} f'(z) & = h'(z) g(z) + g'(z)h(z)\\ & = 3iz^2\left(z-e^{z^2}\right) + \left(1-e{z^2}(2z)\right)\left(iz^{3}\right)\\ & = iz^{2}\left(4z – e^{z^2}\left(2z^2+3\right)\right). \end{align*} b) Notemos que $f$ está dada por la composición de las funciones $h(z) = e^z$ y $g(z)= z^2-(1+i)z+3$ las cuales son enteras por tratarse de la exponencial compleja y de un polinomio complejo, por lo que considerando la regla de la cadena tenemos que su derivada es: \begin{align*} f'(z) & = h'(g(z))g'(z)\\ & = e^{z^2-(1+i)z+3}\left(2z-1-i\right). \end{align*}

Ejemplo 20.3.
Veamos que al igual que en el caso real, para la función exponencial compleja se cumple que: \begin{equation*} \lim_{z\to 0} \frac{e^z – 1}{z} = 1. \end{equation*}

Solución. De acuerdo con la proposición 20.1 sabemos que la función $f(z) = e^z$ es entera. En particular notemos que: \begin{equation*} 1 = e^0 = f'(0) = \lim_{z \to 0}\frac{f(z) – f(0)}{z-0} = \lim_{z \to 0}\frac{e^z – 1}{z}. \end{equation*}

Ejemplo 20.4.
Estudiemos la analicidad de las siguientes funciones. Determinemos los puntos donde son al menos diferenciables y de existir obtengamos sus derivadas.
a) $f(z) = e^{|\,z\,|^2}$.
b) $f(z) = \overline{z} e^{-|\,z\,|^2}$.

Solución.
a) De acuerdo con el ejercicio 3(a) de la entrada 17, sabemos que la función $g(z) = |\,z\,|^2$ no es analítica para ningún $z\in\mathbb{C}$, pero que al menos es diferenciable en $z=0$. Considerando la observación 20.2 veamos que esto se mantiene para la función $f$.

Sea $z=x+iy\in\mathbb{C}$, entonces: \begin{equation*} f(z) = e^{|\,z\,|^2} = e^{x^2 + y^2}, \end{equation*} por lo que: \begin{equation*} u(x,y) = e^{x^2 + y^2}, \quad v(x,y) = 0. \end{equation*}

Notemos que para todo $z=x+iy\in\mathbb{C}$ tenemos que: \begin{equation*} u_x(x,y) = 2x e^{x^2 + y^2}, \quad u_y(x,y) = 2y e^{x^2 + y^2}, \end{equation*} \begin{equation*} v_x(x,y) = 0, \quad u_y(x,y) = 0. \end{equation*}

Entonces $ u_x(x,y) = v_y(x,y)$ y $ u_y(x,y) = – v_x(x,y)$ si y solo si $x=0=y$, es decir para $z=0$.

Puesto que las derivadas parciales existen y son continuas para todo $z=x+iy \in\mathbb{C}$, entonces $f$ solo es diferenciable en $z=0$ y como no existe disco abierto alrededor de $z=0$ donde $f$ sea diferenciable, entonces $f$ no es analítica en ningún punto en $\mathbb{C}$.

Por último, tenemos que: \begin{align*} f'(0) & = \lim_{z\to 0}\frac{f(z) – f(0)}{z-0}\\ & = \lim_{z\to 0}\frac{e^{|\,z\,|^2} – 1}{z}\\ & = \lim_{z\to 0} \overline{z} \left(\frac{e^{|\,z\,|^2} – 1}{z \overline{z}}\right)\\ & = \left( \lim_{z\to 0} \overline{z}\right) \left(\lim_{z\to 0}\frac{e^{|\,z\,|^2} – 1}{|\,z\,|^2}\right)\\ & = 0(1)\\ & = 0. \end{align*}

b) Podemos proceder de manera similar que en el inciso anterior, sin embargo considerando los resultados de la entrada anterior, tenemos que: \begin{equation*} f(z) = \overline{z} e^{-|\,z\,|^2} = \overline{z} e^{-z \overline{z}} =g(z,\overline{z}). \end{equation*}

Por los ejercicios 8 y 9 de la entrada anterior tenemos que: \begin{equation*} f_{z} = \frac{\partial g}{\partial z} = 0 + \overline{z}\left(e^{-z \overline{z}} \left(-\overline{z}\right)\right) = – \overline{z}^2 e^{-z \overline{z}} = – \overline{z}^2 e^{-|\,z\,|^2}. \end{equation*} \begin{equation*} f_{\overline{z}} = \frac{\partial g}{\partial \overline{z}} = e^{-z \overline{z}} + \overline{z}\left(e^{-z \overline{z}} \left(-z\right)\right) = e^{-z \overline{z}}\left(1-z\overline{z}\right) = e^{-|\,z\,|^2}\left(1-|\,z\,|^2\right). \end{equation*}

Claramente $f_z$ y $f_{\overline{z}}$ existen y son continuas para todo $z\in\mathbb{C}$, por lo que las derivadas parciales $u_x, u_y, v_x$ y $v_y$ existen y son continuas para todo punto $z=x+iy\in\mathbb{C}$, es decir $f$ es de clase $C^1$.

Notemos que: \begin{equation*} f_{\overline{z}} =0 \quad \Longleftrightarrow \quad e^{-|\,z\,|^2}\left(1-|\,z\,|^2\right) = 0 \quad \Longleftrightarrow \quad 1-|\,z\,|^2 = 0 \quad \Longleftrightarrow \quad |\,z\,| = 1. \end{equation*}

Entonces, las ecuaciones de C-R solo la satisfacen los puntos $z=x+iy\in\mathbb{C}$ tales que $|\,z\,|=1$, es decir los puntos sobre la circunferencia unitaria $C(0,1)$, por lo que al existir y ser continuas las cuatro derivadas parciales en todo $\mathbb{C}$, en particular en $C(0,1)$, concluimos que $f$ solo es diferenciable en los puntos sobre la circunferencia unitaria. Más aún, para $z=x+iy\in C(0,1)$, es decir $|\,z\,|=1$, tenemos que: \begin{align*} f'(z) = f_z(z) & = – \overline{z}^2 e^{-|\,z\,|^2}\\ & = -(\overline{x+iy})^2 e^{-(1^2)}\\ & = -e^{-1}\left(x-iy\right)^2\\ & = -e^{-1}\left(x^2-i2xy-y^2\right)\\ & = -e^{-1}\left(x^2-i2xy-(1-x^2)\right)\\ & = e^{-1}\left(1-2x^2+i2xy\right). \end{align*}

Dado que para ningún $z\in C(0,1)$ existe disco abierto, alrededor de dicho punto, donde $f$ sea diferenciable, entonces $f$ no es analítica en ningún punto en $\mathbb{C}$.

Ejemplo 20.5.
Determinemos dónde es analítica la función $f(z) = \sqrt{1+e^z}$ y obtengamos su derivada.

Solución. Recordemos que la función $F(w) = \sqrt{w}$ es multivaluada, por lo que si elegimos a la rama principal del argumento, es decir $-\pi < \operatorname{Arg}(w) \leq \pi$ obtenemos a la rama principal de $F$, que de acuerdo con el ejemplo 16.5 sabemos que dicha rama es analítica en el dominio: \begin{equation*} D = \mathbb{C} \setminus (-\infty,0] = \mathbb{C} \setminus \left\{w\in\mathbb{C} : \operatorname{Re}(w)\leq 0, \operatorname{Im}(w)=0 \right\}. \end{equation*}

Procedemos a determinar el corte de rama de la función $f$ restringida a la rama principal del argumento, es decir los puntos donde $f$ es discontinua, entonces para $w=1+e^z$ y $z=x+iy\in\mathbb{C}$ tenemos que: \begin{equation*}\left\{ \begin{array}{l} \operatorname{Re}(1+e^z) = 1 + e^x \operatorname{cos}(y)\leq 0,\\ \\ \operatorname{Im}(1+e^z) = e^x\operatorname{sen}(y) = 0. \end{array} \right. \end{equation*}

Dado que para todo $x\in\mathbb{R}$ se cumple que $e^x>0$, entonces de la segunda condición se sigue que $y=k\pi$, con $k\in\mathbb{Z}$.

Notemos que si $k=2n$, con $n\in\mathbb{Z}$, entonces $\operatorname{cos}(2n\pi) =1 $, por lo que de la primera condición se sigue que: \begin{equation*} 1+e^x(1) \leq 0 \quad \Longleftrightarrow \quad e^x \leq -1, \end{equation*} lo cual claramente no es posible desde que $x\in\mathbb{R}$.

Entonces $k=2n+1$, con $n\in\mathbb{Z}$, por lo que de la primera condición se sigue que: \begin{equation*} 1+e^x(-1) \leq 0 \quad \Longleftrightarrow \quad -e^x \leq -1 \quad \Longleftrightarrow \quad e^x \geq 1 \quad \Longleftrightarrow \quad x \geq 0. \end{equation*}

Por lo que ambas condiciones se satisfacen si $z=x+i(2n+1)\pi$, con $x\geq 0$ y $k\in\mathbb{Z}$, es decir que $f$ es una función analítica en el dominio: \begin{equation*} A = \mathbb{C} \setminus \left\{z=x+iy\in\mathbb{C} : x\geq 0, y=(2n+1)\pi, n\in\mathbb{Z}\right\}. \end{equation*}

Por último, para determinar la derivada de $f$ en $A$ procedemos a utilizar la regla de la cadena.

Por el ejemplo 16.5, sabemos que la derivada de la rama principal de la función multivaluada $F(w) = \sqrt{w}$, es decir $f_0(w) =\sqrt{w}$ con $w\in\mathbb{C}\setminus(-\infty, 0]$, es: \begin{equation*} f_0^{‘}(w) = \frac{1}{2\sqrt{w}}. \end{equation*}

Notemos que $f = f_0 \circ g$, con $g(z) = 1+e^z$ una función entera, entonces por la regla de la cadena para $z\in A$ tenemos que: \begin{equation*} f'(z) = f_0′(g(z))g'(z) = \frac{e^z}{2\sqrt{1+e^z}}. \end{equation*}

Proposición 20.2. (Propiedades exponencial.)
La función exponencial compleja satisface las siguientes propiedades:

1. $e^{z_1} \cdot e^{z_2} = e^{z_1 + z_2}$, para todo $z_1,z_2\in\mathbb{C}$.
2. $e^0 = 1$.
3. $\dfrac{e^{z_1}}{e^{z_2}} = e^{z_1 – z_2}$, para todo $z_1,z_2\in\mathbb{C}$. En particular $e^{-z} = \dfrac{1}{e^z}$.
4. $|\,e^z\,| = e^x$ y $e^z \neq 0$, para todo $z=x+iy\in\mathbb{C}$.
5. $e^{i\theta} =\operatorname{cis}(\theta) = \operatorname{cos}(\theta) + i\operatorname{sen}(\theta)$, con $\theta\in\mathbb{R}$, fórmula de Euler.
6. Para todo $\theta \in\mathbb{R}$ se tiene que $|\,e^{i\theta}\,| = 1$, en particular se cumple la identidad de Euler $e^{i \pi} = -1$ y \begin{equation*} e^{\pm i 2\pi} = 1, \quad e^{i \frac{\pi}{2}} = i, \quad e^{i \frac{3\pi}{2}} = -i. \end{equation*}
7. $\left(e^z\right)^n = e^{nz}$, para todo $z\in\mathbb{C}$ y para todo $n\in\mathbb{Z}$.
8. $\overline{e^z} = e^{\overline{z}}$, para todo $z\in\mathbb{C}$.
9. $e^{z+i\pi} = – e^z$, para todo $z\in\mathbb{C}$.
10. $e^z = 1$ si y solo si $z = i 2k\pi$ para algún $k\in\mathbb{Z}$.

Demostración.

1. Sean $z_1, z_2\in\mathbb{C}$ tales que $z_1=x_1+iy_1$ y $z_2=x_2+iy_2$.
   Por definición tenemos que:\begin{align*} e^{z_1} \cdot e^{z_1} & = e^{x_1}\left[ \operatorname{cos}(y_1) + i \operatorname{sen}(y_1)\right] e^{x_2}\left[ \operatorname{cos}(y_2) + i \operatorname{sen}(y_2)\right]\\ & = e^{x_1 + x_2}\left(\left[ \operatorname{cos}(y_1) \operatorname{cos}(y_2) – \operatorname{sen}(y_1) \operatorname{sen}(y_2)\right] \right. \\ & \left. \quad \quad \quad \quad+ i\left[ \operatorname{sen}(y_1)\operatorname{cos}(y_2) + \operatorname{sen}(y_2)\operatorname{cos}(y_1)\right]\right)\\ & = e^{x_1 + x_2} \left[ \operatorname{cos}(y_1 + y_2) + i \operatorname{sen}(y_1 + y_2)\right]\\ & = e^{z_1 + z_2} \end{align*}
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.
4. Sea $z = x+iy \in\mathbb{C}$, entonces: \begin{align*}|\,e^z\,| & = |\, e^x\left[ \operatorname{cos}(y) + i \operatorname{sen}(y)\right] \,|\\ & = |\, e^x \,| |\,\operatorname{cos}(y) + i \operatorname{sen}(y)\,|\\ & = e^x \left[\operatorname{cos}^2(y) + \operatorname{sen}^2(y)\right]\\ & = e^x. \end{align*} Dado que para todo $x\in\mathbb{R}$ se tiene que $e^x > 0$, entonces: \begin{equation*} |\,e^z\,| = e^x \neq 0, \end{equation*} por lo que $e^z \neq 0$ para todo $z\in\mathbb{C}$.
5. Sea $z = iy$, con $y\in\mathbb{R}$, es decir $\operatorname{Re}(z) = x = 0$, entonces: \begin{align*} e^z = e^{0 + iy} & = e^0\left[ \operatorname{cos}(y) + i \operatorname{sen}(y)\right]\\ & = \operatorname{cos}(y) + i\operatorname{sen}(y). \end{align*}
6. Por el inciso anterior sabemos que para $\theta \in\mathbb{R}$ se tiene que: \begin{equation*} e^{i\theta} = \operatorname{cos}(y) + i \operatorname{sen}(y), \end{equation*} por lo que: \begin{equation*} |\,e^{i\theta}\,|^2 = \operatorname{cos}^2(y) + \operatorname{sen}^2(y) = 1, \end{equation*} de donde se sigue el resultado.
   Notemos que: \begin{equation*} e^{\pm i \pi} = \operatorname{cos}\left(\pm \pi\right) + i \operatorname{sen}\left(\pm \pi\right) = -1 + i 0 = -1, \end{equation*} \begin{equation*} e^{\pm i 2\pi} = \operatorname{cos}\left(\pm 2\pi\right) + i \operatorname{sen}\left(\pm 2\pi\right) = 1 + i 0 = 1, \end{equation*} \begin{equation*} e^{i \frac{\pi}{2}} = \operatorname{cos}\left(\frac{\pi}{2}\right) + i \operatorname{sen}\left(\frac{\pi}{2}\right) = 0 + i(1) = i, \end{equation*} \begin{equation*} e^{i \frac{3\pi}{2}} = \operatorname{cos}\left(\frac{\pi}{2}\right) + i \operatorname{sen}\left(\frac{\pi}{2}\right) = 0 + i (-1) = -i. \end{equation*}
7. Se deja como ejercicio al lector.
8. Se deja como ejercicio al lector.
9. Sea $z\in \mathbb{C}$, por (1) y (6) tenemos que: \begin{equation*} e^{z+i\pi} = e^{z} e^{i\pi} = – e^{z}. \end{equation*}
10. $\Rightarrow)$
    Sea $z=x+iy\in\mathbb{C}$. Tenemos que: \begin{equation*} e^{z} = 1 \quad \Longleftrightarrow \quad e^{x}\operatorname{cos}(y) + i e^{x}\operatorname{sen}(y) = 1 \quad \Longleftrightarrow \quad \left\{\begin{array}{l} e^{x}\operatorname{cos}(y) = 1\\ e^{x}\operatorname{sen}(y)=0. \end{array} \right. \end{equation*} Dado que $e^x>0$ para todo $x\in\mathbb{R}$, entonces de la segunda ecuación tenemos que: \begin{equation*} \operatorname{sen}(y)=0 \quad \Longleftrightarrow \quad y = k\pi, \,\,\, \text{para algún} \,\,\, k\in\mathbb{Z}. \end{equation*} Dado que $\operatorname{cos}(k\pi) = (-1)^k$, para $k\in\mathbb{Z}$, entonces: \begin{equation*} e^{x}\operatorname{cos}(k\pi) = 1 \quad \Longleftrightarrow \quad e^{x}(-1)^k =1, \end{equation*} de donde $k = 2n$, con $n\in\mathbb{Z}$. Por lo tanto, tenemos que $e^x = 1$ si y solo si $x= 0$. Entonces $z = x +iy = 0 + i2k\pi = i2k\pi$, para algún $k\in\mathbb{Z}$.
    
    $(\Leftarrow$
    Sea $z = i2k\pi$, con $k\in\mathbb{Z}$. Por (6) y (7) tenemos que: \begin{equation*} e^z = e^{i2k\pi} = \left( e^{i2\pi} \right)^k = \left( 1 \right)^k = 1, \end{equation*} para todo $k\in\mathbb{Z}$.

$\blacksquare$

Observación 20.3.
De acuerdo con el ejercicio 2 de la entrada 15, notemos que la función compleja de variable real $f:\mathbb{R} \to \mathbb{C}$ dada por: \begin{equation*} f(\theta) = e^{i\theta} = \operatorname{cos}(\theta) + i \operatorname{sen}(\theta), \end{equation*} es una función continua desde que las funciones $u(\theta) = \operatorname{cos}(\theta)$ y $v(\theta) = \operatorname{sen}(\theta)$ son continuas en $\mathbb{R}$.

Observación 20.4.
De la fórmula de Euler se sigue que, para $z\in\mathbb{C}$, podemos expresar a la función exponencial compleja como: \begin{equation*} f(z) = e^z = e^x\left[ \operatorname{cos}(y) + i \operatorname{sen}(y)\right] = e^x e^{iy}, \end{equation*} lo cual es consecuente con las propiedades de la exponencial compleja.

De esta última igualdad es claro que si $f(z) = e^z = w$, entonces: \begin{equation*} |\,w\,| = e^x, \quad \operatorname{arg} w = y + 2\pi k, \,\,\, k\in\mathbb{Z}. \end{equation*}

Más aún, la fórmula de Euler resulta de mucha utilidad pues nos permite establecer una relación entre la forma polar de un número complejo $z\neq 0$ y la exponencial compleja, es decir: \begin{equation*} z = r\operatorname{cis}(\theta) = r e^{i\theta}, \end{equation*} donde $r=|\,z\,|$ y $\theta = \operatorname{arg} z$.

Esta última expresión suele llamarse representación exponencial de un número complejo y nos permite aprovechar las propiedades de la exponencial compleja al trabajar con la forma polar de un número complejo, lo cual resulta de mucha utilidad pues simplifica muchos cálculos. Muestra de esto es que dada una función analítica, de acuerdo con la proposición 17.1, podemos obtener su derivada mediante las ecuaciones de C-R en su forma polar.

Ejemplo 20.6.
Sea $\theta\in\mathbb{R}$. Determinemos expresiones para $\operatorname{sen}(3\theta)$ y $\operatorname{cos}(3\theta)$ en términos de $\operatorname{sen}(\theta)$ y $\operatorname{cos}(\theta)$, respectivamente.

Solución. Notemos que: \begin{align*} \operatorname{cos}(3\theta) + i \operatorname{sen}(3\theta) = e^{i3\theta} & = \left(e^{i\theta}\right)^3\\ & = \left(\operatorname{cos}(\theta) + i \operatorname{sen}(\theta)\right)^3\\ & = \operatorname{cos}^3(\theta) + i3\operatorname{cos}^2(\theta)\operatorname{sen}(\theta)-3\operatorname{cos}(\theta)\operatorname{sen}^2(\theta)-i\operatorname{sen}^3(\theta)\\ & = \operatorname{cos}^3(\theta) – 3\operatorname{cos}(\theta)\operatorname{sen}^2(\theta) +i\left(3\operatorname{cos}^2(\theta)\operatorname{sen}(\theta) – \operatorname{sen}^3(\theta)\right). \end{align*}

Igualando las partes real e imaginaria tenemos que: \begin{align*} \operatorname{cos}(3\theta) & = \operatorname{cos}^3(\theta) – 3\operatorname{cos}(\theta)\operatorname{sen}^2(\theta)\\ & = \operatorname{cos}^3(\theta) – 3\operatorname{cos}(\theta)\left[1 – \operatorname{cos}^2(\theta)\right]\\ & = 4\operatorname{cos}^3(\theta) – 3\operatorname{cos}(\theta). \end{align*} \begin{align*} \operatorname{sen}(3\theta) & = 3\operatorname{cos}^2(\theta)\operatorname{sen}(\theta) – \operatorname{sen}^3(\theta)\\ & = 3\left[1 – \operatorname{sen}^2(\theta)\right]\operatorname{sen}(\theta) – \operatorname{sen}^3(\theta)\\ & = 3\operatorname{sen}(\theta) -4\operatorname{sen}^3(\theta). \end{align*}

Ejemplo 20.7.
Sea $\alpha\in\mathbb{R}$ fijo y sea $I=(\alpha, \alpha+2\pi]$. Definimos: \begin{equation*} f(z) = \sqrt[3]{z} = \sqrt[3]{r} \operatorname{exp}\left(i\frac{\theta(z)}{3}\right), \end{equation*} con $z\in \mathbb{C}\setminus L_\alpha$, $r = |\,z\,|$ y $\theta(z) = \operatorname{Arg}_I(z)$, donde $L_\alpha = \left\{ re^{i \alpha} : r\geq 0 \right\}$.

Veamos que la función $f$ corresponde con una rama de la función multivaluada $F(z) = z^{1/3}$. Determinemos dónde es analítica $f$ y obtengamos su derivada.

Solución. Sabemos que el conjunto $L_\alpha$ corresponde con la semirrecta que parte del origen y que forma un ángulo $\alpha$ con el semieje real positivo, figura 77.

De acuerdo con la observación 15.4, sabemos que la función $\theta(z) = \operatorname{Arg}_I(z)$ es continua en el dominio: \begin{equation*} D = \mathbb{C}\setminus L\alpha = \left\{z\in\mathbb{C} : |\,z\,|>0, \,\, \alpha < \operatorname{arg} z < \alpha + 2\pi\right\}, \end{equation*} por lo que la función $f(z)$ es continua en el mismo dominio, es decir para $z \in D$ tenemos que $f$ determina una rama de la función multivaluada $F(z) = z^{1/3}$.

Sea $z \in D$ dado por $z = r e^{i\theta}$, con $r = |\,z\,|$ y $\theta = \operatorname{Arg}_I(z)$ tal que $\alpha<\theta <\alpha+2\pi$, entonces: \begin{equation*} f(z) = \sqrt[3]{r} e^{i\frac{\theta}{3}} = \sqrt[3]{r} \operatorname{cos}\left(\frac{\theta}{3}\right) + i \sqrt[3]{r} \operatorname{cos}\left(\frac{\theta}{3}\right), \end{equation*} de donde:

\begin{equation*} u(r,\theta) = \sqrt[3]{r} \operatorname{cos}\left(\frac{\theta}{3}\right), \quad v(r,\theta) = \sqrt[3]{r}\operatorname{sen}\left(\frac{\theta}{3}\right). \end{equation*}

Es claro que para todo $z\in D$ existen y son continuas las derivadas parciales: \begin{align*} u_r(r,\theta) = \frac{\operatorname{cos}\left(\frac{\theta}{3}\right)}{3 r^{2/3}}, \quad u_\theta(r,\theta) = -\frac{r^{1/3}}{3} \operatorname{sen}\left(\frac{\theta}{3}\right),\\ v_r(r,\theta) = \frac{\operatorname{sen}\left(\frac{\theta}{3}\right)}{3 r^{2/3}}, \quad v_\theta(r,\theta) = \frac{r^{1/3}}{3} \operatorname{cos}\left(\frac{\theta}{3}\right). \end{align*}

Notemos que para todo $z\in D$ se cumple que: \begin{align*} u_r(r,\theta) = \frac{\operatorname{cos}\left(\frac{\theta}{3}\right)}{3 r^{2/3}} = \frac{1}{r} v_\theta(r,\theta),\\ v_r(r,\theta) = \frac{\operatorname{sen}\left(\frac{\theta}{3}\right)}{3 r^{2/3}} = -\frac{1}{r} u_\theta(r,\theta), \end{align*} es decir que se satisfacen las ecuaciones de C-R en su forma polar en $D$, por lo que, de acuerdo con los ejercicios 1 y 2 de la entrada 17 y el teorema 18.1, tenemos que $f$ es una función analítica en $D$. Más aún, por la proposición 17.1 tenemos que la derivada de $f$ está dada por: \begin{align*} f'(z) & = e^{-i\theta} \left[ u_r(r, \theta) + i v_r(r, \theta)\right]\\ & = e^{-i\theta} \left[\frac{\operatorname{cos}\left(\frac{\theta}{3}\right)}{3 r^{2/3}} + i \frac{\operatorname{sen}\left(\frac{\theta}{3}\right)}{3 r^{2/3}}\right]\\ & = \frac{1}{3 r^{2/3}} e^{-i\theta} e^{i \frac{\theta}{3}}\\ & = \frac{1}{3 r^{2/3}e^{i 2/3 \theta}}\\ & = \frac{1}{3\left(\sqrt[3]{r}e^{i \frac{\theta}{3}}\right)^2}\\ & = \frac{1}{3 z^{2/3}}, \end{align*} para todo $z\in D$.

Definición 20.2. (Función periódica.)
Sea $f:S\subset\mathbb{C} \to \mathbb{C}$ una función. Diremos que $f$ es una función periódica con período $T$ si para todo $z\in S$ se tiene que: \begin{equation*} f(z+T) = f(z). \end{equation*}

Observación 20.5.
Una diferencia importante entre la función exponencial real y la exponencial compleja es que la exponencial compleja es periódica. Este hecho se justifica en que la exponencial compleja está definida en términos de las funciones reales trigonométricas seno y coseno, las cuales son periódicas.

Proposición 20.3. (Periodicidad de la función exponencial.)
La función exponencial compleja, $f(z) = e^z$, es periódica con periodo imaginario $2\pi i$. En consecuencia la exponencial compleja no es una función inyectiva. Además es una función suprayectiva en $\mathbb{C}\setminus\{0\}$.

Demostración. Sea $z\in\mathbb{C}$. De acuerdo con la proposición 20.2 tenemos que:
\begin{align*} f(z + 2\pi i) & = e^{z + 2\pi i}\\ & = e^{z} e^{2\pi i}\\ & = e^z\\ & = f(z). \end{align*}

Dado que $z + 2\pi i \neq z$ para todo $z\in\mathbb{C}$, entonces la exponencial compleja no es una función inyectiva.

Por último, veamos que $f(z) = e^z$ es una función suprayectiva en $\mathbb{C}\setminus\{0\}$. Sea $w \in \mathbb{C}\setminus\{0\}$ tal que: \begin{equation*} w = r_0 \operatorname{cis}(\theta_0) = r_0 e^{i\theta_0}, \end{equation*} donde $r_0 = |\,w\,| > 0$ y $\theta_0 = \operatorname{Arg} w$, es decir $\theta_0 \in(-\pi, \pi]$.

Queremos ver que existe $z = x+iy \in \mathbb{C}$ tal que $e^z = w$. Sea $z = \operatorname{ln}(r_0) + i(\theta_0)$, tenemos que: \begin{equation*} e^z = e^{\operatorname{ln}(r_0)}e^{i\theta_0} = r_0 e^{i\theta_0} = w, \end{equation*} donde $\operatorname{ln}(x)$ corresponde con la función real logaritmo natural.

$\blacksquare$

Corolario 20.2.
Sean $z_1, z_2 \in\mathbb{C}$, entonces $e^{z_1} = e^{z_2}$ si y solo si $z_2 = z_1 + i 2\pi n$ para algún entero $n$.

Demostración. Sean $z_1, z_2 \in\mathbb{C}$.

$\Rightarrow)$
Supongamos que $e^{z_1} = e^{z_2}$. Considerando las propiedades de la exponencial, lo anterior implica que: \begin{equation*} \frac{e^{z_2}}{e^{z_1}} = e^{z_2}e^{-z_1} = e^{z_2-z_1} = 1. \end{equation*}

Entonces, de acuerdo con la proposición 20.2(10), tenemos que $z_2 – z_1 = i2\pi n$ para algún $n\in\mathbb{Z}$, de donde se sigue el resultado.

$(\Leftarrow$
Supongamos que $z_2 = z_1 + i2\pi n$, para algún $n\in\mathbb{Z}$, entonces: \begin{equation*} e^{z_2} = e^{z_1 + i2\pi n} = e^{z_1} e^{i2\pi n} = e^{z_1}. \end{equation*}

$\blacksquare$

Debido a la periodicidad de la función exponencial compleja, $f(z) = e^z$, tenemos que:
\begin{equation*} f(z) = e^z = e^{z+i2\pi} = e^{(z+i2\pi)+i2\pi} = f(z + i4\pi). \end{equation*}

Procediendo de manera similar podemos concluir que: \begin{equation*} f(z) = e^z = e^{z+i2\pi n} = f(z + i2\pi n), \quad n\in\mathbb{Z}, \end{equation*} es decir que $\pm i2\pi, \pm i4\pi, \pm i6\pi, \ldots$, son también periodos de la función exponencial compleja.

Más aún, dado que $f$ no es inyectiva, tenemos que si $z\in\mathbb{C}$ es tal que $f(z)=w$, es decir si $z$ se mapea bajo $f$ en un punto $w$, entonces bajo $f$ los puntos $z\pm i2\pi, z\pm i4\pi, z\pm i6\pi, \ldots$, también serán mapeados al punto $w$. Por lo que, podemos restringir los valores de $z$ que toma $f$ a una banda horizontal infinita de ancho $2\pi$ en el plano complejo $z$, figura 78, para garantizar que los valores $w$ que asigna $f$ sean distintos. Es decir, para $y_0\in\mathbb{R}$ fijo, todos los valores $w$ distintos que toma la función exponencial compleja $f$, estarán dados por los $z$ en la banda: \begin{equation*} S_{y_0} = \left\{z = x+iy\in\mathbb{C} : -\infty <x<\infty, y_0 < y \leq y_0 + 2\pi \right\}. \end{equation*}

En la figura 78 hemos divido el plano complejo en bandas horizontales, de ancho $2\pi$, fijando el valor de $y_0$ a múltiplos impares de $\pi$. En general, podemos dividir el plano complejo en bandas horizontales infinitas, de ancho $2\pi$, considerando solo múltiplos de impares de $\pi$, es decir, para $n\in\mathbb{Z}$ definimos a las bandas: \begin{equation*} S_n = \left\{z = x+iy\in\mathbb{C} : -\infty<x<\infty, \,\, (2n-1)\pi < y \leq (2n+1)\pi\right\}. \end{equation*}

En cualquiera de estas bandas la función exponencial compleja tendrá el mismo comportamiento.

Si tomamos $y_0 = -\pi \in\mathbb{R}$ ó $n=0$, entonces obtenemos la banda: \begin{equation*} S_0 = \left\{z\in\mathbb{C} : -\infty<\operatorname{Re}(z)<\infty, -\pi < \operatorname{Im}(z) \leq \pi \right\}, \end{equation*} a la cual llamaremos la región fundamental de la función exponencial compleja y se representa en color azul en la figura 78.

Proposición 20.4.
La función exponencial compleja es inyectiva si se restringe su dominio a la región fundamental.

Demostración. Sea $f(z) = e^z$ definida sobre el dominio $S_0$ y sean $z_1=x_1+iy_1, z_2 =x_2+iy_2 \in S_0$.

Supongamos que $e^{z_1} = e^{z_2}$, entonces: \begin{equation*} |\,e^{z_1}\,| = |\,e^{z_2}\,|, \quad \operatorname{arg}\left(e^{z_1}\right) = \operatorname{arg}\left(e^{z_2}\right). \tag{20.2} \end{equation*}

De acuerdo con la observación 20.4, de (20.2) tenemos que: \begin{equation*} e^{x_1} = e^{x_2}, \quad y_2 = y_1 +2\pi n, \,\,\, n\in\mathbb{Z}. \tag{20.3} \end{equation*}

Como $z_1, z_2 \in S_0$, entonces $x_1,x_2\in\mathbb{R}$ y $y_1,y_2\in(-\pi, \pi]$. Por lo que, se sigue de (20.3) que $x_1 = x_2$ y $y_1 = y_2$, de donde $z_1 = z_2$.

$\blacksquare$

Ejemplo 20.8.
Determinemos las soluciones de la ecuación $e^{z}= i$.

Solución. Sea $z=x+iy\in\mathbb{C}$. Por la observación 20.4 y la proposición 20.2(6) tenemos que: \begin{align*} e^{z}= i \quad \Longleftrightarrow \quad e^x e^{iy} = 1 e^{i\frac{\pi}{2}} \quad & \Longleftrightarrow \quad \left\{ \begin{array}{l} |\,e^z\,| = |i|,\\ \operatorname{arg}\left(e^z\right) = \operatorname{arg}\left(i\right). \end{array} \right. \\ \quad & \Longleftrightarrow \quad \left\{ \begin{array}{l} e^x =1,\\ y +2\pi n_1 = \dfrac{\pi}{2} +2\pi n_2, \,\, n_1, n_2\in\mathbb{Z}. \end{array} \right. \end{align*}

De la primera ecuación es claro que $x=0$. Por otra parte, de la segunda ecuación tenemos que: \begin{equation*} y = \dfrac{\pi}{2} + 2\pi \left(n_2 – n_1\right) = \dfrac{\pi}{2}\left(4k +1\right), \quad k = n_2 – n_1 \in\mathbb{Z}. \end{equation*}

Por lo que, las soluciones de la ecuación $e^{z}= i$ son:
\begin{equation*} z = x + iy = 0 + i\left(4k+1\right)\frac{\pi}{2} = i\frac{\pi}{2} + 2k \pi i, \quad k\in\mathbb{Z}. \end{equation*}

Es interesante notar que todas las soluciones difieren por $2k\pi i$, con $k\in\mathbb{Z}$.

Observación 20.6 (Condición función univaluada.)
Notemos que a través de la representación exponencial de un número complejo podemos caracterizar a las funciones multivaluadas y univaluadas.

Sea $z\in\mathbb{C}\setminus\{0\}$, escribiendo a $z$ en su representación exponencial tenemos: \begin{equation*} z=z(r,\theta)=re^{i\theta}, \end{equation*} donde $r=|\,z\,|$ y $\theta = \operatorname{Arg} z \in(-\pi, \pi]$.

Si aumentamos de $\theta$ a $\theta + 2\pi$, entonces: \begin{align*} z(r,\theta + 2\pi) & = re^{i(\theta+2\pi)}\\ & = re^{i\theta} e^{i2\pi}\\ & = re^{i\theta}\\ & = z(r,\theta), \end{align*} es decir, al aumentar el argumento principal de $z$ en $2\pi$ tenemos que $z$ regresa a su valor original.

Definición 20.3. (Funciones univaluadas y multivaluadas.)
Diremos que una función compleja $f$ es una función univaluada si $f$ es tal que: \begin{align*} f(z)&= f(z(r,\theta))\\ &= f(z(r,\theta + 2\pi)), \end{align*} para todo $z$ en el dominio de $f$. Si $f$ no es univaluada, entonces diremos que $f$ es una función multivaluada.

Ejemplo 20.9.
Sea $f(z) = z^n$, con $z\in\mathbb{C}$, tenemos que:

a) Si $n\in\mathbb{Z}$, entonces $f$ es simple.
Solución. Sabemos que para todo $n\in\mathbb{Z}$ se cumple que: \begin{equation*} e^{i 2\pi n} = 1. \end{equation*} Considerando a $z$ en su representación exponencial, observación 20.4, tenemos que: \begin{align*} f(z(r,\theta+2\pi)) & = \left[ re^{i(\theta + 2\pi)} \right]^n\\ & = r^n e^{in(\theta + 2\pi)}\\ & = r^n e^{in\theta} e^{i 2\pi n}\\ & = r^n e^{in\theta}\\ & = \left[r e^{i\theta}\right]^n\\ & = f(z(r,\theta)). \end{align*}

b) Si $n\notin\mathbb{Z}$, entonces $f$ es multivaluada.
Solución. Dado que $e^{i2\pi n} \neq 1$ para $n\notin\mathbb{Z}$, entonces: \begin{equation*} f(z(r,\theta)) \neq f(z(r,\theta+2\pi)), \end{equation*} por lo que, en tal caso, $f$ es una función multivaluada.

Tarea moral

1. Completa la demostración de la proposición 20.1.
2. Determina las funciones $u(x,y)$ y $v(x,y)$, correspondientes con la parte real e imaginaria, de las siguientes funciones y en cada caso expresa a $f$ como $f(z) = u(x,y)+iv(x,y)$.
   a) $f(z) = e^{2\overline{z} + 1}$.
   b) $f(z) = e^{1/z}$.
   c) $f(z) = z^2e^{z + i}$.
   d) $f(z) = \overline{ie^{z} + 1}$.
3. Para cada una de las siguientes funciones determina su dominio de analicidad y encuentra su derivada.
   a) $f(z) = \dfrac{3e^{2z} – ie^{-z}}{z^3-1+i}$.
   b) $f(z) = i e^{1/z}$.
   c) $f(z) = \dfrac{e^z -1}{e^z + 1}$.
   d) $f(z) = e^{\overline{z}}$.
   e) $f(z) = e^{2\overline{z} + 1}$.
   f) $f(z) = e^{z^2}$.
4. Determina todas las soluciones para las siguientes ecuaciones.
   a) $e^z = 1+i\sqrt{3}$.
   b) $e^{1/z} = -1$.
   c) $e^{2z} = 1+i$.
   d) $(1-i)e^{z} = 1+i$.
5. Considera los siguientes planteamientos, en cada caso da una prueba o un contraejemplo.
   a) Sabemos que la función exponencial real es una función creciente, es decir si $x_1 < x_2$ entonces $e^{x_1} < e^{x_2}$. Considera la función exponencial compleja, ¿si $|\,z_1\,| < |\,z_2\,|$ entonces $|\,e^{z_1}\,| < |\,e^{z_2}\,|$?
   b) Sabemos que la función exponencial real siempre es positiva, es decir si $x\in\mathbb{R}$ entonces $e^{x} > 0$. Considera la función exponencial compleja, ¿siempre es positiva o existe $z\in\mathbb{C}$ tal que $e^z <0$?
6. Muestra que para todo $z=x+iy\in\mathbb{C}$ se cumple que:
   a)] $|\,e^z\,|\leq 1$ si y solo si $\operatorname{Re}(z) \leq 0$. ¿Para qué valores se da la igualdad?
   b) $|\,e^z\,|\leq e^{|\,z\,|}$ si y solo si $\operatorname{Re}(z) \leq 0$. ¿Para qué valores se da la igualdad?
   c) $|\,1 + \,e^z\,|\leq 1 + e^x$.
   d) Determina para qué valores se cumple la igualdad en $|\,e^{-iz}\,|\leq 1$.
7. Supón que $f(z)=f(x+iy)=Re^{i\phi}$ es una función analítica. Muestra que: \begin{equation*} \frac{\partial R}{\partial x} = R \frac{\partial \phi}{\partial y}. \end{equation*} Toma $a,b\in\mathbb{R}$ constantes y $z = re^{i\theta}$, con $r=|\,z\,|$ y $\theta = \operatorname{arg} z$. Considera a los dominios: \begin{align*} D_a = \left\{z\in\mathbb{C} : a<|\,z\,|<1 \right\}, \quad D_b = \left\{z\in\mathbb{C} : b<|\,z\,|<1 \right\}. \end{align*} Define la función $f:D_a \to D_b$ dada por: \begin{equation*} f\left(re^{i\theta}\right) = \left[\left(\frac{1-b}{1-a}\right)r + \frac{b-a}{1-a}\right]e^{i\theta}. \end{equation*} Muestra que $f$ es una función biyectiva y prueba que $f$ es analítica si y solo si $a=b$.
8. Verifica que la función: \begin{equation*} f(z) = \left\{ \begin{array}{lcc} e^{-1/z^4} & \text{si} & z \neq 0, \\ 0 & \text{si} & z \neq 0, \end{array} \right. \end{equation*} satisface las ecuaciones de C-R en todo punto del plano complejo $\mathbb{C}$, pero que la función no es analítica en todo $\mathbb{C}$. ¿Cuál es su dominio de analicidad? Donde exista, obtén su derivada.
   Hint: Estudia la continuidad de $f$ en $z=0$.
9. Escribe cada una de las siguientes expresiones considerando su representación exponencial, es decir, en la forma $e^{i\alpha}$, con $\alpha\in\mathbb{R}$.
   a) $\dfrac{\operatorname{cos}(\theta) – i\operatorname{sen}(\theta)}{\operatorname{cos}(3\theta) + i\operatorname{sen}(3\theta)}$.
   b) $\left(\dfrac{1}{\operatorname{cos}(\theta) – i\operatorname{sen}(\theta)}\right)^8$.
   c) $\dfrac{1}{\left(\frac{\sqrt{2}}{2}\operatorname{cos}(\theta) – i\frac{\sqrt{2}}{2}\operatorname{sen}(\theta)\right)^3}$.
   d) $\left[\operatorname{cos}(\theta) + i\operatorname{sen}(\theta)\right] \left[\operatorname{cos}(2\theta) – i\operatorname{sen}(2\theta)\right]$.
10. Muestra que: \begin{align*} \operatorname{cos}(\theta+\beta+\alpha) & = \operatorname{cos}(\theta)\operatorname{cos}(\beta)\operatorname{cos}(\alpha) – \operatorname{cos}(\theta)\operatorname{sen}(\beta)\operatorname{sen}(\alpha)\\ & \quad – \operatorname{cos}(\beta)\operatorname{sen}(\theta)\operatorname{sen}(\alpha) – \operatorname{cos}(\alpha)\operatorname{sen}(\theta)\operatorname{sen}(\alpha). \end{align*} Determina una expresión similar para $ \operatorname{sen}(\theta+\beta+\alpha)$.

Más adelante…

En esta entrada hemos definido la función exponencial compleja, de tal modo que garantizamos que sea una función entera. A través de esta función hemos extendido a la exponencial real y algunas de sus propiedades.

Es importante recordar que esta nueva función tiene propiedades muy particulares que no se cumplen en su versión real, algunas de ellas son que la exponencial compleja puede tomar valores reales negativos y que es una función
periódica. Este último hecho nos llevo a concluir que la función exponencial compleja no es inyectiva, aunque podemos garantizar esta propiedad al restringir el dominio de dicha función a una banda horizontal infinita de ancho $2\pi$.

La función exponencial compleja juega un papel fundamental en el estudio de las funciones complejas, pues además de ser una función elemental, podemos definir al resto de las funciones complejas elementales en términos de la exponencial compleja, hecho que veremos en las siguientes entradas.

La siguiente entrada definiremos al logaritmo complejo, motivados en determinar una solución a la ecuación $e^w = z$, que como veremos nos llevará a concluir que el logaritmo complejo, es decir la solución a esta ecuación, será una función multivaluada. Veremos que a través del concepto de rama podremos definir una función univaluada que corresponda con una de las inversas de la función exponencial compleja y que nos permita caracterizar a la función logaritmo complejo.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Consecuencias de las ecuaciones de Cauchy-Riemann.
• Siguiente entrada del curso: Logaritmo complejo y potencias complejas.