Introducción

En las dos entradas anteriores hemos definido y obtenido una serie de resultados de las funciones exponencial compleja y logaritmo complejo, mediante las cuales hemos extendido sobre $\mathbb{C}$ a las funciones reales exponencial y logaritmo, respectivamente.

En esta entrada definiremos a las funciones trigonométricas complejas así como a las funciones hiperbólicas complejas y obtendremos para ambas algunas de sus propiedades más elementales, extendiendo sobre $\mathbb{C}$ a sus correspondientes versiones reales.

Notemos que mediante la identidad de Euler podemos relacionar a las funciones trigonométricas reales con la función exponencial compleja. Tenemos que: $$\begin{array}{}\text{(22.1)}& e^{i\theta }=\cos (\theta )+i\mathrm{sen}(\theta ),\end{array}$$ donde $\theta$ es un número real. Sustituyendo $\theta$ por $-\theta$ tenemos que: $$\begin{array}{rl}{e}^{-i\theta }& =\cos (-\theta )+i\mathrm{sen}(-\theta )\\ \text{(22.2)}& & =\cos (\theta )–i\mathrm{sen}(\theta ).\end{array}$$

Sumando (22.1) y (22.2) tenemos que: $$\begin{array}{}\text{(22.3)}& \cos (\theta )=\frac{e^{i\theta }+e^{-i\theta }}{2}.\end{array}$$

Por otra parte, restando a (22.1) la ecuación (22.2) tenemos que: $$\begin{array}{}\text{(22.4)}& \mathrm{sen}(\theta )=\frac{e^{i\theta }–e^{-i\theta }}{2i}.\end{array}$$

Las expresiones obtenidas en (22.3) y (22.4) nos motivan a extender las funciones trigonométricas reales a $\mathbb{C}$ mediante la siguiente:

Definición 22.1. (Funciones seno y coseno complejas.)
Sea $z\in \mathbb{C}$. Definimos a las funciones complejas seno y coseno, respectivamente, como: $$\mathrm{sen}(z):=\frac{e^{iz}–e^{-iz}}{2i},\cos (z):=\frac{e^{iz}+e^{-iz}}{2}.$$

Ejemplo 22.1.
Sea $z\in \mathbb{C}$. Determinemos los ceros de las funciones complejas seno y coseno y veamos que son todos reales.

Solución. Tenemos que: $$\begin{array}{rl}\mathrm{sen}(z)=\frac{e^{iz}–e^{-iz}}{2i}=0& ⟺e^{iz}–e^{-iz}=0,\\ & ⟺e^{iz}=e^{-iz},\\ & ⟺e^{2iz}=1=e^{2k\pi i},k\in \mathbb{Z},\end{array}$$ de donde $2iz=2\pi i(k+n)$ para $k\in \mathbb{Z}$ y para alguna $n\in \mathbb{Z}$ (corolario 20.2), es decir $z=k^{\prime }\pi$ con $k^{\prime }=k+n\in \mathbb{Z}$, por lo que los ceros de la función seno son $z=0,\pm \pi ,\pm 2\pi ,\pm 3\pi ,\dots$.

Procedemos de manera análoga para la función coseno, es decir: $$\begin{array}{rl}\cos (z)=\frac{e^{iz}+e^{-iz}}{2}=0& ⟺e^{iz}+e^{-iz}=0,\\ & ⟺e^{iz}=-e^{-iz},\\ & ⟺e^{2iz}=-1=e^{(2k+1)\pi i},k\in \mathbb{Z},\end{array}$$

entonces $2iz=(2(k+n)+1)\pi i$ para $k\in \mathbb{Z}$ y para alguna $n\in \mathbb{Z}$ (corolario 20.2), es decir $z=(k^{\prime }+\frac{1}{2})\pi$ con $k^{\prime }=k+n\in \mathbb{Z}$, por lo que los ceros de la función coseno son $z=\pm \pi /2,\pm 3\pi /2,\pm 5\pi /2,\dots$.

En ambos casos es claro que los ceros de las funciones seno y coseno son todos reales.

Observación 22.1.
De nuestros cursos de Cálculo sabemos que las funciones reales hipérbolicas seno y coseno se definen, para $x\in \mathbb{R}$, respectivamente como: $$\mathrm{senh}(x)=\frac{e^x–e^{-x}}{2},\cosh (x)=\frac{e^x+e^{-x}}{2}.$$

Al igual que en el caso real, las funciones trigonométricas complejas satisfacen algunas identidades con las que ya estamos familiarizados y que suelen ser de utilidad en la resolución de ciertos problemas.

Proposición 22.1. (Identidades trigonométricas seno y coseno.)
Sean $z,z_1,z_2\in \mathbb{C}$, con $z=x+iy$, entonces las funciones trigonométricas complejas seno y coseno satisfacen:

1. $\mathrm{sen}(-z)=-\mathrm{sen}(z)$ y $\cos (z)=\cos (-z)$.
2. $\mathrm{sen}(z_1\pm z_2)=\mathrm{sen}(z_1)\cos (z_2)\pm \mathrm{sen}(z_2)\cos (z_1)$.
3. $\cos (z_1\pm z_2)=\cos (z_1)\cos (z_2)\mp \mathrm{sen}(z_1)\mathrm{sen}(z_2)$.
4. Son $2\pi$-periódicas.
5. $\mathrm{sen}(z+\frac{\pi }{2})=\cos (z)$ y $\cos (z+\frac{\pi }{2})=-\mathrm{sen}(z)$.
6. Fórmula de Euler para argumentos complejos: $$e^{iz}=\cos (z)+i\mathrm{sen}(z).$$
7. ${\cos }^2(z)+{\mathrm{sen}}^2(z)=1$.
8. ${\mathrm{sen}}^2(z)={\displaystyle \frac{1-\cos (2z)}{2}}$.
9. ${\cos }^2(z)={\displaystyle \frac{1+\cos (2z)}{2}}$.
10. $\mathrm{sen}(z)=\mathrm{sen}(x)\cosh (y)+i\cos (x)\mathrm{senh}(y)$.
11. $\cos (z)=\cos (x)\cosh (y)–i\mathrm{sen}(x)\mathrm{senh}(y)$.

Demostración. Sea $z=x+iy\in \mathbb{C}$, entonces:

1. De acuerdo con la definición 22.1 tenemos que: $$\mathrm{sen}(-z)=\frac{e^{i(-z)}–e^{-i(-z)}}{2i}=\frac{e^{-iz}–e^{iz}}{2i}=–\left(\frac{e^{iz}–e^{-iz}}{2i}\right)=\mathrm{sen}(z),$$ $$\cos (-z)=\frac{e^{i(-z)}+e^{-i(-z)}}{2}=\frac{e^{-iz}+e^{iz}}{2}=\cos (z).$$
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.
4. De acuerdo con la definición 22.1 y la proposición 20.2 tenemos que: $$\mathrm{sen}(z+2\pi )=\frac{e^{i(z+2\pi )}–e^{-i(z+2\pi )}}{2i}=\frac{e^{iz}{e}^{i2\pi }–e^{-iz}{e}^{-i2\pi }}{2i}=\frac{e^{iz}–e^{-iz}}{2i}=\mathrm{sen}(z),$$ $$\cos (z+2\pi )=\frac{e^{i(z+2\pi )}+e^{-i(z+2\pi )}}{2}=\frac{e^{iz}{e}^{i2\pi }+e^{-iz}{e}^{-i2\pi }}{2}=\frac{e^{iz}+e^{-iz}}{2}=\cos (z).$$
5. Se deja como ejercicio al lector.
6. De acuerdo con la definición 22.1 tenemos que: $$\cos (z)+i\mathrm{sen}(z)=\frac{e^{iz}+e^{-iz}}{2}+i\left(\frac{e^{iz}–e^{-iz}}{2i}\right)=\frac{e^{iz}+e^{-iz}+e^{iz}–e^{-iz}}{2}=e^{iz}.$$
7. Considerando los resultados (1) y (6), tenemos que: $$\begin{array}{rl}1=e^{iz}{e}^{-iz}& =[\cos (z)+i\mathrm{sen}(z)][\cos (-z)+i\mathrm{sen}(-z)]\\ & =[\cos (z)+i\mathrm{sen}(z)][\cos (z)–i\mathrm{sen}(z)]\\ & ={[\cos (z)]}^2–{\left[i\mathrm{sen}(z)\right]}^2\\ & ={\cos }^2(z)+{\mathrm{sen}}^2(z).\end{array}$$
8. De acuerdo con (3), para $z=z_1=z_2$ tenemos que: $$\cos (2z)={\cos }^2(z)–{\mathrm{sen}}^2(z).$$ Por otra parte, de (7) tenemos que: $${\cos }^2(z)=1–{\mathrm{sen}}^2(z).$$ Por lo que: $$\cos (2z)=1–{\mathrm{sen}}^2(z)–{\mathrm{sen}}^2(z)=1–2{\mathrm{sen}}^2(z),$$ de donde se sigue el resultado.
9. Se deja como ejercicio al lector.
10. De acuerdo con la proposición 20.2 y la observación 22.1 tenemos que: $$\begin{array}{rl}\mathrm{sen}(z)=\mathrm{sen}(x+iy)& =\frac{e^{i(x+iy)}–e^{-i(x+iy)}}{2i}\\ & =\frac{e^{-y+ix}–e^{y-ix}}{2i}\\ & =\frac{e^{-y}{e}^{ix}–e^y{e}^{-ix}}{2i}\\ & =\frac{e^{-y}[\cos (x)+i\mathrm{sen}(x)]–e^y[\cos (-x)+i\mathrm{sen}(-x)]}{2i}\\ & =\frac{-\cos (x)\left[e^y–e^{-y}\right]+i\mathrm{sen}(x)[e^{-y}+e^y]}{2i}\\ & =\mathrm{sen}(x)\left(\frac{e^y+e^{-y}}{2}\right)+i\cos (x)\left(\frac{e^y–e^{-y}}{2}\right)\\ & =\mathrm{sen}(x)\cosh (y)+i\cos (x)\mathrm{senh}(y).\end{array}$$
11. Se deja como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplo 22.2.
Determina todas las soluciones de la ecuación $\cos (z)=2$.

Solución. Sea $z=x+iy\in \mathbb{C}$, entonces por el resultado anterior tenemos que la ecuación dada se puede reescribir como: $$\cos (z)=\cos (x)\cosh (y)–i\mathrm{sen}(x)\mathrm{senh}(y)=2.$$

Tomando las partes real e imaginaria de esta última igualdad tenemos: $$\begin{array}{}\text{(22.5)}& \{\begin{array}{l}\cos (x)\cosh (y)=2,\\ \mathrm{sen}(x)\mathrm{senh}(y)=0.\end{array}\end{array}$$

Procedemos a resolver este sistema de ecuaciones para las variables $x$ e $y$.

Notemos que si $y=0$, entonces $\cosh (0)=1$, por lo que de la primera ecuación de (22.5) se tiene que: $$\cos (x)=2,$$ lo cual claramente no es posible para ningún valor de $x\in \mathbb{R}$, por tanto concluimos que $y\ne 0$.

Como $y\ne 0$, entonces $\mathrm{senh}(y)\ne 0$, por lo que de la segunda ecuación de (22.5) se tiene que: $$\mathrm{sen}(x)=0,$$ de donde $x=n\pi$, con $n\in \mathbb{Z}$.

Sustituyendo lo anterior en la primera ecuación, para $n\in \mathbb{Z}$ tenemos que: $$\cos \left(n\pi \right)\cosh (y)=2⟺{(-1)}^n\cosh (y)=2,$$ pero como $\cosh (y)>0$ para toda $y\in \mathbb{R}$, entonces $n$ debe ser par, es decir: $$x=2k\pi ,$$ para $k\in \mathbb{Z}$. Por lo que: $$\begin{array}{rl}\cosh (y)=2& ⟺\frac{e^y+e^{-y}}{2}=2,\\ & ⟺e^y+e^{-y}=4,\\ & ⟺e^y{e}^y+e^{-y}{e}^y–4e^y=0,\\ & ⟺{\left(e^y\right)}^2–4e^y+1=0.\end{array}$$

Resolviendo la ecuación cuadrática para $e^y$, tenemos: $$e^y=\frac{-(-4)\pm \sqrt{(-4{)}^2–4(1)(1)}}{2(1)}=\frac{4\pm 2\sqrt{3}}{2}=2\pm \sqrt{3},$$ de donde $y=\ln (2\pm \sqrt{3})$.

Notemos que: $$\ln \left(2–\sqrt{3}\right)=\ln \left(\frac{\left[2–\sqrt{3}\right][2+\sqrt{3}]}{2+\sqrt{3}}\right)=\ln \left(\frac{1}{2+\sqrt{3}}\right)=–\ln (2+\sqrt{3}),$$ por lo que: $$y=\pm \ln (2+\sqrt{3}).$$

Entonces, las soluciones de la ecuación $\cos (z)=2$ son: $$z=2k\pi \pm i\ln (2+\sqrt{3}),k\in \mathbb{Z}.$$

Considerando la definición 22.1 y el hecho de que las funciones complejas seno y coseno son una extensión de las funciones trigonométircas reales, resulta natural definir el resto de las funciones trigonométricas complejas mediante estas dos funciones.

Definición 22.2. (Funciones trigonométricas complejas.)
Sea $z\in \mathbb{C}$. Definimos a las funciones {\bf trigonométricas complejas} como: $$\tan (z):=\frac{\mathrm{sen}(z)}{\cos (z)}=-i\left(\frac{e^{iz}–e^{-iz}}{e^{iz}+e^{-iz}}\right),\cos (z)\ne 0,$$ $$\cot (z):=\frac{\cos (z)}{\mathrm{sen}(z)}=i\left(\frac{e^{iz}+e^{-iz}}{e^{iz}–e^{-iz}}\right),\mathrm{sen}(z)\ne 0,$$ $$\sec (z):=\frac{1}{\cos (z)}=\frac{2}{e^{iz}+e^{-iz}},\cos (z)\ne 0,$$ $$\csc (z):=\frac{1}{\mathrm{sen}(z)}=\frac{2i}{e^{iz}–e^{-iz}},\mathrm{sen}(z)\ne 0.$$

Observación 22.2.
Notemos que las funciones trigonométricas dadas en la definición anterior son funciones racionales, por lo que tanto su dominio natural como su dominio de analicidad dependen de los ceros de las funciones complejas seno y coseno.

Ejemplo 22.3. La función tangente compleja es $\pi$-periódica. Veamos que $\tan (z_1)=\tan (z_2)$ si y solo si $z_1=z_2+k\pi$, con $k\in \mathbb{Z}$.

Solución. De acuerdo con el ejemplo 22.1 tenemos que la función tangente compleja no está definida para los valores de $z=(k+\frac{1}{2})\pi$, con $k\in \mathbb{Z}$, entonces consideremos a $z_1,z_2\in \mathbb{C}$ tales que $z_1,z_2\ne (k+\frac{1}{2})\pi$. Por la proposición 22.1(2) tenemos que: $$\begin{array}{rl}\tan (z_1)=\tan (z_2)& ⟺\frac{\mathrm{sen}(z_1)}{\cos (z_1)}=\frac{\mathrm{sen}(z_2)}{\cos (z_2)}\\ & ⟺\mathrm{sen}(z_1)\cos (z_2)–\mathrm{sen}(z_2)\cos (z_1)=0\\ & ⟺\mathrm{sen}(z_1–z_2)=0\\ & ⟺z_1–z_2=k\pi ,k\in \mathbb{Z},\\ & ⟺z_1=z_2+k\pi ,k\in \mathbb{Z}.\end{array}$$

Es posible deducir una serie de identidades para las funciones trigonométricas complejas con las que ya estamos familiarizados.

Proposición 22.2. (Identidades funciones trigonométricas.)
Sean $z,z_1,z_2\in \mathbb{C}$. Considerando el dominio de definición de cada una de las funciones trigonométricas complejas, tenemos que:

1. $\tan (-z)=-\tan (z)$.
2. $\cot (-z)=-\cot (z)$.
3. $\sec (-z)=\sec (z)$.
4. $\csc (-z)=-\csc (z)$.
5. $1+{\tan }^2(z)={\sec }^2(z)$.
6. $1+{\cot }^2(z)={\csc }^2(z)$.
7. $\tan (z_1\pm z_2)={\displaystyle \frac{\tan (z_1)\pm \tan (z_2)}{1\mp \tan (z_1)\tan (z_2)}}$.
8. $\cot (z_1\pm z_2)={\displaystyle \frac{\cot (z_1)\cot (z_2)\mp 1}{\cot (z_1)\pm \cot (z_2)}}$.

Demostración. Se deja como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplo 22.4.
Determinemos el valor de las siguientes funciones trigonométricas en su forma $a+ib$.
a) $\mathrm{sen}(i)$.
b) $\cos (1+i)$.
c) $\tan (2i–\pi )$.

Solución.
a) Por definición de la función seno complejo y considerando a la función real seno hiperbólico tenemos que: $$\begin{array}{rl}\mathrm{sen}(i)& =\frac{e^{i^2}–e^{-i^2}}{2i}\\ & =-i\left(\frac{e^{-1}–e^1}{2}\right)\\ & =i\left(\frac{e^1–e^{-1}}{2}\right)\\ & =i\mathrm{senh}(1).\end{array}$$ b) Por la definición de la función coseno complejo, de acuerdo con la proposición 20.2, de la entrada 20, y considerando a las funciones reales seno y coseno hiperbólicos tenemos que: $$\begin{array}{rl}\cos (1+i)& =\frac{e^{i(1+i)}+e^{-i(1+i)}}{2}\\ & =\frac{e^{i+i^2}+e^{-i-i^2}}{2}\\ & =\frac{e^{i-1}+e^{1-i}}{2}\\ & =\frac{e^i{e}^{-1}+e^1{e}^{-i}}{2}\\ & =\frac{e^{-1}[\cos (1)+i\mathrm{sen}(1)]+e[\cos (-1)+i\mathrm{sen}(-1)]}{2}\\ & =\frac{\cos (1)[e^1+e^{-1}]}{2}–i\left(\frac{\mathrm{sen}(1)\left[e^1–e^{-1}\right]}{2}\right)\\ & =\cos (1)\cosh (1)–i\mathrm{sen}(1)\mathrm{senh}(1).\end{array}$$ c) De acuerdo con la proposición 22.2(1) sabemos que para $z\ne (k+\frac{1}{2})\pi$, con $k\in \mathbb{Z}$, se cumple que $\tan (-z)=–\tan (z)$, es decir que $\tan (z)$ es una función impar, por lo que considerando la definición de la función tangente compleja, la proposición 20.1, de la entrada 20, y la observación 22.1 tenemos que: $$\begin{array}{rl}\tan (2i-\pi )=–\tan (\pi –2i)& =-(-i)\left(\frac{e^{i\pi -2i^2}–e^{-i\pi +2i^2}}{e^{i\pi -2i^2}+e^{-i\pi +2i^2}}\right)\\ & =i\left(\frac{e^{i\pi }{e}^2–e^{-i\pi }{e}^{-2}}{e^{i\pi }{e}^2–e^{-i\pi }{e}^{-2}}\right)\\ & =i\left(\frac{e^2(-1)–e^{-2}(-1)}{e^2(-1)+e^{-2}(-1)}\right)\\ & =i\left(\frac{e^2–e^{-2}}{e^2+e^{-2}}\right)\\ & =i\tanh (2).\end{array}$$

Proposición 22.3. (Derivadas de las funciones trigonométricas.)
Sea $z\in \mathbb{C}$. Considerando el dominio de definición de cada una de las funciones trigonométricas complejas, tenemos que:

1. $\mathrm{sen}(z)$ y $\cos (z)$ son funciones enteras y sus derivadas son, respectivamente: $$\frac{d}{dz}\mathrm{sen}(z)=\cos (z),\frac{d}{dz}\cos (z)=-\mathrm{sen}(z).$$
2. Para $z\ne (k+\frac{1}{2})\pi$, con $k\in \mathbb{Z}$, las funciones $\tan (z)$ y $\sec (z)$ son analíticas y se tiene que: $$\frac{d}{dz}\tan (z)={\sec }^2(z),\frac{d}{dz}\sec (z)=\sec (z)\tan (z).$$
3. Para $z\ne k\pi$, con $k\in \mathbb{Z}$, las funciones $\cot (z)$ y $\csc (z)$ son analíticas y se tiene que: $$\frac{d}{dz}\cot (z)=–{\csc }^2(z),\frac{d}{dz}\csc (z)=-\csc (z)\cot (z).$$

Demostración.

1. De acuerdo con la definición 22.1, como las funciones $\mathrm{sen}(z)$ y $\cos (z)$ están definidas en términos de las funciones $e^{iz}$ y $e^{-iz}$, las cuales son funciones enteras, entonces ambas funciones trigonométricas son enteras. Más aún, utilizando la regla de la cadena para cada una de las funciones tenemos que: $$\begin{array}{rl}\frac{d}{dz}\mathrm{sen}(z)& =\frac{d}{dz}\left(\frac{e^{iz}–e^{-iz}}{2i}\right)\\ & =\frac{\frac{d}{dz}{e}^{iz}–\frac{d}{dz}{e}^{-iz}}{2i}\\ & =\frac{i{e}^{iz}+i{e}^{-iz}}{2i}\\ & =\frac{e^{iz}+e^{-iz}}{2}\\ & =\cos (z).\end{array}$$ $$\begin{array}{rl}\frac{d}{dz}\cos (z)& =\frac{d}{dz}\left(\frac{e^{iz}+e^{-iz}}{2}\right)\\ & =\frac{\frac{d}{dz}{e}^{iz}+\frac{d}{dz}{e}^{-iz}}{2i}\\ & =\frac{i{e}^{iz}–i{e}^{-iz}}{2}\\ & =i\left(\frac{e^{iz}–e^{-iz}}{2}\right)\\ & =-\left(\frac{e^{iz}–e^{-iz}}{2i}\right)\\ & =-\mathrm{sen}(z).\end{array}$$
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplo 22.5.
Veamos que al igual que en el caso real, para las funciones complejas seno y coseno se cumple que: $$\underset{z\to 0}{lim}\frac{\mathrm{sen}(z)}{z}=1,\underset{z\to 0}{lim}\frac{\cos (z)–1}{z}=0.$$

Solución. De acuerdo con la proposición 22.3 sabemos que las funciones $f(z)=\mathrm{sen}(\mathrm{z})$ y $g(z)=\cos (\mathrm{z})$ son enteras. En particular notemos que: $$1=\cos (0)=f^{\prime }(0)=\underset{z\to 0}{lim}\frac{f(z)–f(0)}{z-0}=\underset{z\to 0}{lim}\frac{\mathrm{sen}(z)}{z},$$ $$0=-\mathrm{sen}(0)=g^{\prime }(0)=\underset{z\to 0}{lim}\frac{g(z)–g(0)}{z-0}=\underset{z\to 0}{lim}\frac{\cos (z)–1}{z}.$$

Ejemplo 22.6.
Determinemos el dominio de analicidad $U$ de la función $f(z)=\tan \left({\displaystyle \frac{\pi z^2}{2}}\right)$ y obtengamos $f^{\prime }(z)$ para $z\in U$.

Solución. Notemos que podemos ver a $f$ como la composición de las funciones $g(z)=\tan (z)$ y $h(z)={\displaystyle \frac{\pi z^2}{2}}$, es decir $f=g\circ h$.

Dado que $h$ es una función polinómica es claro que es una función entera, mientras que $g$ es analítica en: $$V=\mathbb{C}\setminus \{(k+\frac{1}{2})\pi :k\in \mathbb{Z}\}.$$

Entonces, el dominio de analicidad de $f$ es el conjunto abierto: $$U=\{z\in \mathbb{C}:\frac{\pi z^2}{2}\in V\}.$$

Tenemos que para $z\in \mathbb{C}$ se cumple que: $$\frac{\pi z^2}{2}=(k+\frac{1}{2})\pi ⟺z^2=2k+1⟺z^2\text{es un entero impar},$$ por lo que $z\in V$ siempre que $z^2$ no sea un entero impar, entonces: $$U=\mathbb{C}\setminus (\{\pm \sqrt{2k+1}:k\in \mathbb{N}\}\bigcup \{\pm i\sqrt{2k+1}:k\in \mathbb{N}\}).$$

Sea $z\in U$, entonces por la regla de la cadena tenemos que $$f^{\prime }(z)=g^{\prime }(h(z))h^{\prime }\left(z\right)={\sec }^2\left(\frac{\pi z^2}{2}\right)\pi z.$$

Considerando la definición de las funciones hiperbólicas reales, observación 22.1, podemos también extender estas funciones a $\mathbb{C}$ mediante la función exponencial compleja como sigue:

Definición 22.3. (Funciones hiperbólicas complejas.)
Sea $z\in \mathbb{C}$. Definimos al seno hiperbólico complejo y al coseno hiperbólico complejo, respectivamente, como: $$\mathrm{senh}(z):=\frac{e^z–e^{-z}}{2},\cosh (z):=\frac{e^z+e^{-z}}{2}.$$

De manera natural definimos el resto de las funciones hiperbólicas complejas en términos de estas dos funciones. $$\tanh (z):=\frac{\mathrm{senh}(z)}{\cosh (z)},\cosh (z)\ne 0,$$ $$\coth (z):=\frac{\cosh (z)}{\mathrm{senh}(z)},\mathrm{senh}(z)\ne 0,$$ $$\mathrm{sech}(z):=\frac{1}{\cosh (z)},\cosh (z)\ne 0,$$ $$\mathrm{csch}(z):=\frac{1}{\mathrm{senh}(z)},\mathrm{sen}(z)\ne 0.$$

Observación 22.4.
En el ejercicio 4 de esta entrada se determinan los ceros de las funciones complejas seno y coseno hiperbólicas, es decir $\mathrm{senh}(z)=0$ si y solo si $z=ik\pi$, para $k\in \mathbb{Z}$. Mientras que $\cosh (z)=0$ si y solo si $z=i(k+\frac{1}{2})\pi$, con $k\in \mathbb{Z}$. Por tanto, el dominio natural y el dominio de analicidad de las funciones hiperbólicas, definidas como funciones racionales en términos de las funciones seno y coseno hiperbólicos, dependerán de los ceros de dichas funciones.

Es interesante notar que las funciones complejas trigonométricas e hiperbólicas están relacionadas mediante las siguientes identidades.

Proposición 22.4.
Sea $z=x+iy\in \mathbb{C}$, entonces, considerando el dominio de definición de cada una de las funciones trigonométricas e hiperbólicas, se cumple que:

1. $\mathrm{senh}(iz)=i\mathrm{sen}(z)$ y $\mathrm{sen}(iz)=i\mathrm{senh}(z)$.
2. $\cosh (iz)=\cos (z)$ y $\cos (iz)=\cosh (z)$.
3. $\tanh (iz)=i\tan (z)$ y $\tan (iz)=i\tanh (z)$.
4. $\coth (iz)=-i\cot (z)$ y $\cot (iz)=–i\coth (z)$.
5. $\mathrm{senh}(z)=\mathrm{senh}(x)\cos (y)+i\cosh (x)\mathrm{sen}(y)$.
6. $\cosh (z)=\cosh (x)\cos (y)+i\mathrm{senh}(x)\mathrm{sen}(y)$.

Demostración. Sea $z=x+iy\in \mathbb{C}$, tenemos que:

1. De acuerdo con la definición 22.3 tenemos que: $$\mathrm{senh}(iz)=\frac{e^{iz}–e^{-iz}}{2}=i\left(\frac{e^{iz}–e^{-iz}}{2i}\right)=i\mathrm{sen}(z),$$ $$\mathrm{sen}(iz)=\frac{e^{i^{2}z}–e^{-i^{2}z}}{2i}=-(-i)\left(\frac{e^z–e^{-z}}{2}\right)=i\mathrm{senh}(z).$$
2. De acuerdo con la definición 22.3 tenemos que: $$\cosh (iz)=\frac{e^{iz}+e^{-iz}}{2}=\cos (z),$$ $$\cos (iz)=\frac{e^{i^{2}z}+e^{-i^{2}z}}{2}=\frac{e^z+e^{-z}}{2}=\cosh (z).$$
3. Se deja como ejercicio al lector.
4. Se deja como ejercicio al lector.
5. De acuerdo con la definición 22.3 y la proposición 20.2 tenemos que: $$\begin{array}{rl}\mathrm{senh}(z)=\mathrm{senh}(x+iy)& =\frac{e^{x+iy}–e^{-x-iy}}{2}\\ & =\frac{e^x{e}^{iy}–e^{-x}{e}^{-iy}}{2}\\ & =\frac{e^x[\cos (y)+i\mathrm{sen}(y)]–e^{-x}[\cos (-y)+i\mathrm{sen}(-y)]}{2}\\ & =\frac{e^x[\cos (y)+i\mathrm{sen}(y)]–e^{-x}[\cos (y)–i\mathrm{sen}(y)]}{2}\\ & =\frac{\cos (y)\left[e^x–e^{-x}\right]+i\mathrm{sen}(y)[e^x+e^{-x}]}{2}\\ & =\cos (y)\left(\frac{e^x–e^{-x}}{2}\right)+i\mathrm{sen}(y)\left(\frac{e^x+e^{-x}}{2}\right)\\ & =\mathrm{senh}(x)\cos (y)+i\cosh (x)\mathrm{sen}(y).\end{array}$$
6. Se deja como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Al igual que con las funciones trigonométricas complejas, para las funciones hiperbólicas complejas es posible deducir algunas identidades que resultan útiles al resolver algún problema. Podemos mencionar algunas en la siguiente:

Proposición 22.5. (Identidades funciones hiperbólicas.)
Sean $z,z_1,z_2\in \mathbb{C}$. Considerando el dominio de definición de cada una de las funciones trigonométricas, se cumple que:

1. $\mathrm{senh}(-z)=-\mathrm{senh}(z)$.
2. $\cosh (-z)=\cosh (z)$.
3. $\tanh (-z)=-\tanh (z)$.
4. Las funciones seno y coseno hiperbólicas son $2\pi i$-periódicas, mientras que la función tangente hiperbólica es $\pi i$-periódica.
5. $\mathrm{senh}(z_1\pm z_2)=\mathrm{senh}(z_1)\cosh (z_2)\pm \mathrm{senh}(z_2)\cosh (z_1)$.
6. $\cosh (z_1\pm z_2)=\cosh (z_1)\cosh (z_2)\pm \mathrm{senh}(z_1)\mathrm{senh}(z_2)$.
7. $\tanh (z_1\pm z_2)={\displaystyle \frac{\tanh (z_1)\pm \tanh (z_2)}{1\pm \tanh (z_1)\tanh (z_2)}}$.
8. ${\cosh }^2(z)–{\mathrm{senh}}^2(z)=1$.
9. $1-{\tanh }^2(z)={\mathrm{sech}}^2(z)$.
10. ${\coth }^2(z)–1={\mathrm{csch}}^2(z)$.

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

1. Por la definición 22.3 tenemos que: $$\mathrm{senh}(-z)=\frac{e^{-z}–e^{-(-z)}}{2}=-\left(\frac{e^z–e^{-z}}{2}\right)=-\mathrm{senh}(z).$$
2. Por la definición 22.3 tenemos que: $$\cosh (-z)=\frac{e^{-z}+e^{-(-z)}}{2}=\frac{e^{-z}+e^z}{2}=\cosh (z).$$
3. Se deja como ejercicio al lector.
4. Considerando la definición 22.3 y la proposición 20.2, de la entrada 20, tenemos que: $$\mathrm{senh}(z+2\pi i)=\frac{e^{z+2\pi i}–e^{-(z+2\pi i)}}{2}=\frac{e^z{e}^{2\pi i}–e^{-z}{e}^{-2\pi i}}{2}=\frac{e^z–e^{-z}}{2}=\mathrm{senh}(z),$$ $$\cosh (z+2\pi i)=\frac{e^{z+2\pi i}+e^{-(z+2\pi i)}}{2}=\frac{e^z{e}^{2\pi i}+e^{-z}{e}^{-2\pi i}}{2}=\frac{e^z+e^{-z}}{2}=\cosh (z).$$ Si $z\ne i(k+\frac{1}{2})\pi$, con $k\in \mathbb{Z}$, entonces: $$\tanh (z+\pi i)=\frac{\mathrm{senh}(z+\pi i)}{\cosh (z+\pi i)}=\frac{e^z{e}^{\pi i}–e^{-z}{e}^{-\pi i}}{e^z{e}^{\pi i}+e^{-z}{e}^{-\pi i}}=\frac{e^z–e^{-z}}{e^z+e^{-z}}=\tanh (z).$$
5. Se deja como ejercicio al lector.
6. De acuerdo con la proposición 22.4 y la proposición 22.1(3), tenemos que: $$\begin{array}{rl}\cosh (z_1\pm z_2)& =\cos (i{z}_1\pm i{z}_2)\\ & =\cos (i{z}_1)\cos (i{z}_2)\mp \mathrm{sen}(i{z}_1)\mathrm{sen}(i{z}_2)\\ & =\cos (i{z}_1)\cos (i{z}_2)\pm [-i\mathrm{sen}(i{z}_1)][-i\mathrm{sen}(i{z}_2)]\\ & =\cosh (z_1)\cosh (z_2)\pm \mathrm{senh}(z_1)\mathrm{senh}(z_2).\end{array}$$
7. Se deja como ejercicio al lector.
8. De acuerdo con la definición 22.3 tenemos que: $$\begin{array}{rl}{\cosh }^2(z)–{\mathrm{senh}}^2(z)& ={\left(\frac{e^z+e^{-z}}{2}\right)}^2–{\left(\frac{e^z–e^{-z}}{2}\right)}^2\\ & =\frac{e^{2z}+2e^z{e}^{-z}+e^{-2z}–e^{2z}+2e^z{e}^{-z}–e^{-2z}}{4}\\ & =\frac{4e^{z-z}}{4}\\ & =\frac{4}{4}\\ & =1.\end{array}$$
9. Se deja como ejercicio al lector.
10. Se deja como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Observación 22.5.
Recordemos que las funciones reales seno y coseno cumplen que: $$|\mathrm{sen}(x)|\le 1,|\cos (x)|\le 1,\mathrm{\forall }x\in \mathbb{R},$$ es decir son funciones acotadas.

Es interesante notar que en el caso complejo las funciones seno y coseno no son acotadas. De acuerdo con la proposición 22.1 y la proposición 22.5 tenemos que: $$\begin{array}{rl}|\mathrm{sen}(z)|& =\sqrt{{\mathrm{sen}}^2(x){\cosh }^2(y)+{\cos }^2(x){\mathrm{senh}}^2(y)}\\ & =\sqrt{{\mathrm{sen}}^2(x)[1+{\mathrm{senh}}^2(y)]+{\cos }^2(x){\mathrm{senh}}^2(y)}\\ & =\sqrt{{\mathrm{sen}}^2(x)+[{\cos }^2(x)+{\mathrm{sen}}^2(x)]{\mathrm{senh}}^2(y)}\\ & =\sqrt{{\mathrm{sen}}^2(x)+{\mathrm{senh}}^2(y)}.\end{array}$$

Análogamente tenemos que: $$|\cos (z)|=\sqrt{{\cos }^2(x)+{\mathrm{senh}}^2(y)}.$$

Como la función real seno hiperbólico no es acotada, se tiene que si $y\to \mathrm{\infty }$, entonces $\mathrm{senh}(y)\to \mathrm{\infty }$, por lo que no existe constante real $M>0$ tal que $|\mathrm{sen}(z)|<M$ ó $|\cos (z)|<M$ para todo $z\in \mathbb{C}$.

Ejemplo 22.7.
Muestra que para todo $z=x+iy\in \mathbb{C}$ se cumple que: $$|\mathrm{senh}(y)|\le |\mathrm{sen}(z)|\le \cosh (y),|\mathrm{senh}(y)|\le |\cos (z)|\le \cosh (y).$$

Solución. Sea $z=x+iy\in \mathbb{C}$. Por la observación anterior tenemos que: $$|\mathrm{sen}(z){|}^2={\mathrm{sen}}^2(x)+{\mathrm{senh}}^2(y),|\cos (z){|}^2={\cos }^2(x)+{\mathrm{senh}}^2(y),$$ de donde: $${\mathrm{senh}}^2(y)=|\mathrm{sen}(z){|}^2–{\mathrm{sen}}^2(x)\le |\mathrm{sen}(z){|}^2.$$

Por otra parte, de la proposición 22.4 se sigue que: $$\begin{array}{rl}|\mathrm{sen}(z){|}^2& ={\mathrm{sen}}^2(x)+{\mathrm{senh}}^2(y)\\ & ={\mathrm{sen}}^2(x)+({\cosh }^2(y)-1)\\ & ={\cosh }^2(y)–(1–{\mathrm{sen}}^2(x))\\ & ={\cosh }^2(y)–{\cos }^2(x)\\ & \le {\cosh }^2(y).\end{array}$$

Considerando lo anterior es claro que: $${\mathrm{senh}}^2(y)\le |\mathrm{sen}(z){|}^2\le {\cosh }^2(y).$$

Dado que para todo $x\in \mathbb{R}$ se cumple que $\cosh (x)>0$, entonces tomando raíz cuadrada en la desigualdad anterior tenemos que: $$|\mathrm{sen}(y)|\le |\mathrm{sen}(z)|\le \cosh (y).$$

De manera análoga, como: $${\mathrm{senh}}^2(y)=|\cos (z){|}^2–{\cos }^2(x)\le |\cos (z){|}^2$$ y $$\begin{array}{rl}|\cos (z){|}^2& ={\cos }^2(x)+{\mathrm{senh}}^2(y)\\ & ={\cos }^2(x)+({\cosh }^2(y)-1)\\ & ={\cosh }^2(y)–(1–{\cos }^2(x))\\ & ={\cosh }^2(y)–{\mathrm{sen}}^2(x)\\ & \le {\cosh }^2(y),\end{array}$$ entonces: $${\mathrm{senh}}^2(y)\le |\mathrm{sen}(z){|}^2\le {\cosh }^2(y),$$ de donde se sigue el resultado al tomar raíz cuadrada en la desigualdad anterior.

Ejemplo 22.8.
Determina todas las soluciones de la ecuación $\cosh (z)=-2$.

Solución. Podemos resolver este problema mediante un planteamiento similar al del ejemplo 22.2, sin embargo, a fin de mostrar otra alternativa procedemos mediante la definición de la función coseno hiperbólico.

Sea $z\in \mathbb{C}$, entonces: $$\begin{array}{rl}\cosh (z)=-2& ⟺\frac{e^z+e^{-z}}{2}=-2,\\ & ⟺e^z+e^{-z}=-4,\\ & ⟺e^z{e}^z+e^{-z}{e}^z+4e^z=0,\\ & ⟺{\left(e^z\right)}^2+4e^z+1=0.\end{array}$$

Resolvemos la ecuación cuadrática para $e^z$, entonces: $$e^z=\frac{-4\pm \sqrt{4^2-4(1)(1)}}{2(1)}=\frac{-4\pm \sqrt{3}}{2}=-2\pm \sqrt{3}.$$

Para determinar los valores de $z$ que satisfacen esta última igualdad utilizaremos el logaritmo complejo. Dado que las raíces obtenidas son ambas reales y negativas, tenemos que: $$\mathrm{Arg}(-2\pm \sqrt{3})=\pi ,$$ entonces: $$\arg (-2\pm \sqrt{3})=\pi +2\pi n=\pi (2n+1),n\in \mathbb{Z}.$$

Consideremos a la primera raíz, es decir $e^z=-2+\sqrt{3}$, entonces: $$z=\log (-2+\sqrt{3})=\ln \left(|-2+\sqrt{3}|\right)+i\arg (-2+\sqrt{3}).$$

Notemos que: $$\ln \left(|–2+\sqrt{3}|\right)=\ln \left(\left|\frac{[-2+\sqrt{3}][2+\sqrt{3}]}{2+\sqrt{3}}\right|\right)=\ln \left(\left|\frac{1}{2+\sqrt{3}}\right|\right)=–\ln \left(|2+\sqrt{3}|\right)=–\ln (2+\sqrt{3}),$$ por lo que: $$z=\log (-2+\sqrt{3})=–\ln (2+\sqrt{3})+i\pi (2n+1),n\in \mathbb{Z}.$$

Consideremos ahora a la segunda raíz, es decir $e^z=-2-\sqrt{3}$, entonces: $$z=\log (-2-\sqrt{3})=\ln \left(|-2-\sqrt{3}|\right)+i\arg (-2-\sqrt{3}).$$

Pero tenemos que:
$$\ln \left(\left|–2–\sqrt{3}\right|\right)=\ln \left(|2+\sqrt{3}|\right)=\ln (2+\sqrt{3}),$$ de donde: $$z=\log (-2-\sqrt{3})=\ln (2+\sqrt{3})+i\pi (2n+1),n\in \mathbb{Z}.$$

Por lo tanto, las soluciones de la ecuación $\cosh (z)=-2$ son: $$z=\pm \ln (2+\sqrt{3})+i\pi (2n+1),n\in \mathbb{Z}.$$

Proposición 22.4. (Derivadas de las funciones hiperbólicas.)
Considerando el dominio de definición de cada una de las funciones hiperbólicas complejas, tenemos que:

1. $\mathrm{senh}(z)$ y $\cosh (z)$ son funciones enteras y sus derivadas son, respectivamente: $$\frac{d}{dz}\mathrm{senh}(z)=\cosh (z),\frac{d}{dz}\cosh (z)=\mathrm{senh}(z).$$
2. Para $z\ne i(k+\frac{1}{2})\pi$, con $k\in \mathbb{Z}$, las funciones $\tanh (z)$ y $\mathrm{sech}(z)$ son analíticas y se tiene que: $$\frac{d}{dz}\tanh (z)={\sec }^2(z),\frac{d}{dz}\mathrm{sech}(z)=\sec (z)\tan (z).$$
3. Para $z\ne ik\pi$, con $k\in \mathbb{Z}$, las funciones $\coth (z)$ y $\mathrm{csch}(z)$ son analíticas y se tiene que: $$\frac{d}{dz}\coth (z)=–{\mathrm{csch}}^2(z),\frac{d}{dz}\mathrm{csch}(z)=-\mathrm{csch}(z)\coth (z).$$

Demostración.

1. Como las funciones $\mathrm{senh}(z)$ y $\cosh (z)$ están definidas en términos de la función exponencial compleja, la cual es una función entera, entonces es claro que ambas funciones son enteras. Considerando la regla de la cadena para cada una de las funciones tenemos que: $$\begin{array}{rl}\frac{d}{dz}\mathrm{senh}(z)& =\frac{d}{dz}\left(\frac{e^z–e^{-z}}{2}\right)\\ & =\frac{\frac{d}{dz}{e}^z–\frac{d}{dz}{e}^{-z}}{2}\\ & =\frac{e^z+e^{-z}}{2}\\ & =\cosh (z).\end{array}$$ $$\begin{array}{rl}\frac{d}{dz}\cosh (z)& =\frac{d}{dz}\left(\frac{e^z+e^{-z}}{2}\right)\\ & =\frac{\frac{d}{dz}{e}^z+\frac{d}{dz}{e}^{-z}}{2}\\ & =\frac{e^z–e^{-z}}{2}\\ & =\mathrm{senh}(z).\end{array}$$
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Ejemplo 22.9.
Analicemos la analicidad de la función $f(z)=\cosh (iz+e^{iz})$ y obtengamos $f^{\prime }(z)$.

Solución. Notemos que si consideramos a $g(z)=\cosh (z)$ y $h(z)=iz+e^{iz}$, entonces $f=g\circ h$.

Es claro que $h$ y $g$ son ambas funciones enteras, por lo que $f$ es también una función entera. Más aún, para $z\in \mathbb{C}$, por la regla de la cadena tenemos que: $$f^{\prime }(z)=g^{\prime }(h(z))h^{\prime }(z)=\mathrm{senh}(iz+e^{iz})(i+i{e}^{iz}).$$

Tarea moral

1. Completa las demostraciones de la proposiciones de esta entrada.
2. Determina el valor de cada una de las siguientes funciones trigonométricas e hiperbólicas en su forma $a+ib$.
   a) $\tan (2i)$.
   b) $\sec (\frac{\pi }{2}-i)$.
   c) $\csc (1+i)$.
   d) $\cosh (1+\frac{\pi }{6}i)$.
   e) $\mathrm{senh}\left(\frac{\pi }{2}i\right)$.
   f) $\tanh (2+3i)$.
3. Muestra que para todo $z\in \mathbb{C}$ se cumple que: $$\cos \left(\bar{z}\right)=\overline{\cos (z)},\mathrm{sen}\left(\bar{z}\right)=\overline{\mathrm{sen}(z)}.$$
4. Sea $z\in \mathbb{C}$, muestra que: $$\begin{array}{r}\mathrm{senh}(z)=0⟺z=ik\pi ,k\in \mathbb{Z},\\ \cosh (z)=0⟺z=i(k+\frac{1}{2})\pi ,k\in \mathbb{Z}.\end{array}$$ Hint: Utiliza la proposición 22.3.
5. Para cada inciso prueba lo que se te pide.
   a) Para $z\in \mathbb{C}$, con $z\ne 1$, y para $n\in \mathbb{N}$, muestra que: $$1+z+z^2+\cdots +z^n=\frac{1–z^{n+1}}{1-z}.$$ b) Considera a $z=e^{i\theta }$, para $\theta \in \mathbb{R}$ tal que $\theta \ne 2\pi k$, con $k\in \mathbb{Z}$ y muestra que: $$1+e^{i\theta }+e^{i2\theta }+\cdots +e^{in\theta }=\frac{i}{2}\frac{\left(1–e^{i(n+1)\theta }\right)e^{-i\frac{\theta }{2}}}{\mathrm{sen}\left(\frac{\theta }{2}\right)}.$$ Hint: Sustituye en (a) $z=e^{i\theta }$, después multiplica y divide por $e^{-i\frac{\theta }{2}}$ y utiliza (22.4).
   c) Toma la parte real e imaginaria de la identidad obtenida en (b) y concluye que: $$\frac{1}{2}+\cos (\theta )+\cos (2\theta )+\cdots +\cos (n\theta )=\frac{\mathrm{sen}\left([n+\frac{1}{2}]\theta \right)}{2\mathrm{sen}\left(\frac{\theta }{2}\right)},$$ $$\mathrm{sen}(\theta )+\mathrm{sen}(2\theta )+\cdots +\mathrm{sen}(n\theta )=\frac{\cos \left(\frac{\theta }{2}\right)–\cos \left([n+\frac{1}{2}]\theta \right)}{2\mathrm{sen}\left(\frac{\theta }{2}\right)}.$$ La suma $D_n(\theta )=1+2\cos (\theta )+2\cos (2\theta )+\cdots +2\cos (n\theta )$ es llamada el núcleo de Dirichlet y juega un papel importante en la teoría de las series de Fourier.
6. Obtén la parte real e imaginaria de las siguientes funciones:
   a) $f(z)=\mathrm{sen}(2z)$.
   b) $f(z)=z\cos (z)$.
   c) $f(z)=\cos (z^2)$.
   d) $f(z)=\tan (z)$.
7. Determina el dominio de analicidad de las siguientes funciones y obtén su derivada.
   a) $f(z)=z\tan \left(\frac{1}{z}\right)$.
   b) $f(z)=\cos \left(i{e}^z\right)$.
   c) $f(z)=\sec \left(z^2\right)$.
   d) $f(z)=\mathrm{sen}(z)\mathrm{senh}(z)$.
   e) $f(z)=\tanh (iz-2)$.
8. Resuelve las siguientes ecuaciones.
   a) $\cos (z)=i\mathrm{sen}(z)$.
   b) $\cosh (z)=i$.
   c) $\cos (z)=4$.
   d) $\mathrm{senh}(z)=-1$.
9. ¿Dónde son diferenciables las siguientes funciones? ¿Son analíticas?
   a) $f(z)=\mathrm{sen}\left(|z{|}^2\right)$.
   b) $f(z)={\displaystyle \frac{e^z}{\cos (z)}}$.
10. Prueba que la función: $$f(z)=\{\begin{array}{lcc}1& \text{si}& z=0,\\ \\ z^{-1}\mathrm{sen}(z)& \text{si}& z\ne 0,\end{array}$$ es una función continua en $\mathbb{C}$.

Más adelante…

En esta entrada hemos extendido a $\mathbb{C}$ las funciones trigonométricas e hiperbólicas reales a través de la función exponencial compleja. Es interesante notar que a diferencia del caso real, para el caso complejo es posible definir a las funciones elementales a través de las funciones complejas exponencial y logaritmo, mediante las cuales es claro que muchas de las propiedades como continuidad, diferenciabilidad y analicidad, entre otras, se heredan de manera natural a las funciones elementales.

Vimos que muchas de las propiedades con las que estamos familiarizados para el caso real, se cumplen también para el caso complejo. Sin embargo, a diferencia del caso real, las funciones trigonométricas complejas no son acotadas, mientras que las funciones hiperbólicas complejas son periódicas y tienen una infinidad de ceros.

La siguiente entrada analizaremos a las funciones inversas de las funciones complejas trigonométricas e hiperbólicas vistas en esta sección, recordando nuevamente el concepto de función multivaluada.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Logaritmo complejo y potencias complejas.
• Siguiente entrada del curso: Funciones inversas de las funciones trigonométricas e hiperbólicas complejas.