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\pi 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 $\mathrm{sen}(w)$ y $\cos (w)$ es todo el plano complejo $\mathbb{C}$, por lo que dado $w\in \mathbb{C}$ siempre existirá $z\in \mathbb{C}$ que satisfaga $z=\mathrm{sen}(w)$ ó $z=\cos (w)$.

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

1. ${\mathrm{sen}}^{-1}(z)=-i\log (iz+\sqrt{1-z^2})$.
2. ${\cos }^{-1}(z)=-i\log (z+i\sqrt{1-z^2})$.
3. ${\tan }^{-1}(z)={\displaystyle \frac{i}{2}}\log \left({\displaystyle \frac{i+z}{i-z}}\right)$, con $z\ne \pm i$.
4. ${\cot }^{-1}(z)=-{\displaystyle \frac{i}{2}}\log \left({\displaystyle \frac{z+i}{z-i}}\right)$, con $z\ne \pm i$.
5. ${\sec }^{-1}(z)={\displaystyle \frac{1}{i}}\log \left({\displaystyle \frac{1+\sqrt{1-z^2}}{z}}\right)$.
6. ${\csc }^{-1}(z)={\displaystyle \frac{1}{i}}\log \left({\displaystyle \frac{1+\sqrt{z^2–1}}{z}}\right)$.

Demostración.

1. Sea $z=\mathrm{sen}(w)$. De acuerdo con la definición 22.1 tenemos que:
   $$z=\mathrm{sen}(w)=\frac{e^{iw}–e^{-iw}}{2i},$$de donde:
   $$(e^{iw}{)}^2-i2z(e^{iw})–1=0.$$Notemos que esta última expresión es una ecuación cuadrática para la variable $e^{iw}$, 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^{iw}=\frac{2iz+\sqrt{4(1-z^2)}}{2}=iz+\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:
   $$iw=\log (iz+\sqrt{1-z^2})+i2k\pi ,k\in \mathbb{Z}.$$Por lo que, para $k,n\in \mathbb{Z}$:
   $$\begin{array}{rl}w& =\frac{1}{i}\log (iz+\sqrt{1-z^2})+2k\pi \\ & =\frac{1}{i}[\ln |iz+\sqrt{1-z^2}|+i(\mathrm{Arg}(iz+\sqrt{1-z^2})+2n\pi )]+2k\pi \\ & =\frac{1}{i}[\ln |iz+\sqrt{1-z^2}|+i(\mathrm{Arg}(iz+\sqrt{1-z^2})+2m\pi )]\\ & =\frac{1}{i}[\ln |iz+\sqrt{1-z^2}|+i\arg (iz+\sqrt{1-z^2})]\\ & =-i\log (iz+\sqrt{1-z^2}),\end{array}$$donde $m=k+n\in \mathbb{Z}$.
2. Se deja como ejercicio al lector
3. Se deja como ejercicio al lector
4. Sea $z=\cot (w)$. De acuerdo con la definición 22.2 sabemos que:
   $$\cot (w)=\frac{\cos (w)}{\mathrm{sen}(w)},$$donde $w\ne k\pi$, con $k\in \mathbb{Z}$.
   
   Considerando lo anterior tenemos que:
   $$z=\cot (w)=i\left(\frac{e^{iw}+e^{-iw}}{e^{iw}–e^{-iw}}\right)=i\left(\frac{e^{i2w}+1}{e^{i2w}–1}\right),$$de donde:
   $$-iz=\frac{e^{i2w}+1}{e^{i2w}–1}⟹e^{i2w}=\frac{iz–1}{iz+1}=\frac{z+i}{z–i}.$$De acuerdo con la proposición 20.1(6) tenemos que:
   $$i2w=\log \left(\frac{z+i}{z–i}\right)+i2k\pi ,k\in \mathbb{Z}.$$Entonces, para $k,n\in \mathbb{Z}$:
   $$\begin{array}{rl}w& =\frac{1}{2i}\log \left(\frac{z+i}{z–i}\right)+k\pi \\ & =\frac{1}{2i}[\ln \left|\frac{z+i}{z–i}\right|+i(\mathrm{Arg}\left(\frac{z+i}{z-i}\right)+2\pi n)]+k\pi \\ & =\frac{1}{2i}[\ln \left|\frac{z+i}{z–i}\right|+i(\mathrm{Arg}\left(\frac{z+i}{z-i}\right)+2\pi m)]\\ & =\frac{1}{2i}[\ln \left|\frac{z+i}{z–i}\right|+i\arg \left(\frac{z+i}{z-i}\right)]\\ & =-\frac{i}{2}\log \left(\frac{z+i}{z–i}\right),\end{array}$$donde $m=n+k\in \mathbb{Z}$.
5. Se deja como ejercicio al lector.
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">}$

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+iy\in \mathbb{C}$. Consideremos a la funciones multivaluadas:
$$F(z)=\log (z)\text{y}G(z)=\sqrt{1-z^2}=e^{\frac{1}{2}\mathrm{Log}(1-z^2)}{e}^{ik\pi },k=0,1.$$

Para la primera función tenemos que su corte de rama está dado por los $z=x+iy\in \mathbb{C}$ tales que:
$$-\pi <\mathrm{Arg}(z)\le \pi ⟺\{\begin{array}{l}\mathrm{Re}(z)=x\le 0,\\ \\ \mathrm{Im}(z)=y=0.\end{array}$$

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

Como trabajaremos con las ramas principales de ambas funciones y $z=x\in \mathbb{R}$, entonces los cortes de rama de cada función, son respectivamente:
$$\{x\in \mathbb{R}:x\le 0\}\text{y}\{x\in \mathbb{R}:|x|\ge 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}\mathrm{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\le 1$, por lo que $\mathrm{Arg}(1-z^2)=0$, entonces:
$$\mathrm{Log}(1-z^2)=\ln |1-z^2|+i\mathrm{Arg}(1-z^2)=\ln (1-z^2),$$de donde:
$$e^{\frac{1}{2}\mathrm{Log}(1-z^2)}=\sqrt{1-x^2}\in {\mathbb{R}}^{+}.$$

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

Dado que $iz$ es un número imaginario puro, entonces los valores que toma $iz+e^{\frac{1}{2}\mathrm{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:
$$|iz+\sqrt{1-z^2}|=\sqrt{x^2+(1-x^2)}=1.$$

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

donde $-{\displaystyle \frac{\pi }{2}}<\mathrm{Arg}(ix+\sqrt{1-x^2})<{\displaystyle \frac{\pi }{2}}$, entonces:
$$-{\displaystyle \frac{\pi }{2}}<{\mathrm{sen}}^{-1}(z)<{\displaystyle \frac{\pi }{2}},$$para los $z=x\in \mathbb{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{array}{rl}{\tan }^{-1}(2)& ={\displaystyle \frac{i}{2}}\log \left({\displaystyle \frac{i+2}{i-2}}\right)\\ & ={\displaystyle \frac{i}{2}}\log \left({\displaystyle \frac{-3-4i}{5}}\right)\\ & ={\displaystyle \frac{i}{2}}[\ln \left|{\displaystyle \frac{-3-4i}{5}}\right|+i(\mathrm{Arg}\left({\displaystyle \frac{-3-4i}{5}}\right)+2k\pi )]\\ & ={\displaystyle \frac{i}{2}}[\ln \left(1\right)+i(\arctan \left({\displaystyle \frac{4}{3}}\right)-\pi +2k\pi )]\\ & ={\displaystyle \frac{1}{2}}[(2k–1)\pi –\arctan \left({\displaystyle \frac{4}{3}}\right)],k\in \mathbb{Z}.\end{array}$$

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.)

1. ${\displaystyle \frac{d}{dz}}{\mathrm{sen}}^{-1}(z)={\displaystyle \frac{1}{\sqrt{1-z^2}}}$, para $z\ne \pm 1$.
2. ${\displaystyle \frac{d}{dz}}{\cos }^{-1}(z)=-{\displaystyle \frac{1}{\sqrt{1-z^2}}}$, para $z\ne \pm 1$.
3. ${\displaystyle \frac{d}{dz}}{\tan }^{-1}(z)={\displaystyle \frac{1}{1+z^2}}$, para $z\ne \pm i$.
4. ${\displaystyle \frac{d}{dz}}{\cot }^{-1}(z)=-{\displaystyle \frac{1}{1+z^2}}$, para $z\ne \pm i$.
5. ${\displaystyle \frac{d}{dz}}{\sec }^{-1}(z)={\displaystyle \frac{1}{z^2\sqrt{1-\frac{1}{z^2}}}}$, para $z\ne \pm 1$ y $z\ne 0$.
6. ${\displaystyle \frac{d}{dz}}{\csc }^{-1}(z)=–{\displaystyle \frac{1}{z^2\sqrt{1-\frac{1}{z^2}}}}$, para $z\ne \pm 1$ y $z\ne 0$.

Demostración.

1. 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{array}{rl}{\displaystyle \frac{d}{dz}}{\mathrm{sen}}^{-1}(z)& ={\displaystyle \frac{d}{dz}}=-i\log (iz+\sqrt{1-z^2})\\ & =-i\left({\displaystyle \frac{i-{\displaystyle \frac{z}{\sqrt{1-z^2}}}}{iz+\sqrt{1-z^2}}}\right)\\ & =-i\left({\displaystyle \frac{i\sqrt{1-z^2}–z}{[iz+\sqrt{1-z^2}]\sqrt{1-z^2}}}\right)\\ & ={\displaystyle \frac{1}{\sqrt{1-z^2}}}.\end{array}$$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 ${\mathrm{sen}}^{-1}(z)$ como en la expresión de su derivada.
2. Se deja como ejercicio al lector.
3. Se deja como ejercicio al lector.
4. Se deja como ejercicio al lector.
5. Se deja como ejercicio al lector.
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">}$

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 ${\mathrm{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:
$$(-\mathrm{\infty },0]=\{z=x+iy\in \mathbb{C}:x\le 0,y=0\}\text{y}A:=\{z=x+iy\in \mathbb{C}:|x|\ge 1,y=0\}.$$

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{array}{rl}{\frac{d}{dz}{\mathrm{sen}}^{-1}(z)|}_{z=i}& ={{\displaystyle \frac{1}{\sqrt{1-z^2}}}|}_{z=i}\\ & ={\displaystyle \frac{1}{\sqrt{1-i^2}}}\\ & ={\displaystyle \frac{1}{\sqrt{2}}}.\end{array}$$

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

Por lo que la derivada es ${\displaystyle \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 ${\mathrm{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}{\mathrm{Log}}_{[0,2\pi )}(1-z^2)},0\le \mathrm{Arg}(1-z^2)<2\pi .$$

El corte de rama de esta función está dado por los $z=x+iy\in \mathbb{C}$ tales que:
$$\begin{array}{rl}0\le \mathrm{Arg}(1-z^2)<2\pi & ⟺\{\begin{array}{c}\mathrm{Re}(1-z^2)=1+y^2-x^2\ge 0,\\ \\ \mathrm{Im}(1-z^2)=-2xy=0.\end{array}\\ & \\ & ⟺B:=\{z=x+iy\in \mathbb{C}:|x|\le 1,y=0\}\cup \{z=x+iy\in \mathbb{C}:x=0,y\in \mathbb{R}\}.\end{array}$$

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{array}{rl}{\mathrm{Log}}_{[0,2\pi )}(-4)& =\ln |-4|+i{\mathrm{Arg}}_{[0,2\pi )}(-4)\\ & =\ln (4)+i\pi ,\end{array}$$por lo que:
$$\begin{array}{rl}{\sqrt{1-z^2}|}_{z=\sqrt{5}}& =\sqrt{1-(\sqrt{5}{)}^2}\\ & =e^{\frac{1}{2}{\mathrm{Log}}_{[0,2\pi )}(-4)}\\ & =e^{\ln (2)}{e}^{i\frac{\pi }{2}}\\ & =2i.\end{array}$$

Dado que $i\sqrt{5}+2i=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{array}{rl}{{\mathrm{sen}}^{-1}(z)|}_{z=\sqrt{5}}& ={–i\mathrm{Log}(iz+\sqrt{1-z^2})|}_{z=\sqrt{5}}\\ & =-i\mathrm{Log}\left(i(2+\sqrt{5})\right)\\ & =-i[\ln \left|i(2+\sqrt{5})\right|+i\mathrm{Arg}\left(i(2+\sqrt{5})\right)]\\ & =-i[\ln (2+\sqrt{5})+i\frac{\pi }{2}]\\ & =\frac{\pi }{2}-i\ln (2+\sqrt{5}).\end{array}$$

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

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.)

1. ${\mathrm{senh}}^{-1}(z)=\log (z+\sqrt{z^2+1})$.
2. ${\cosh }^{-1}(z)=\log (z+\sqrt{z^2-1})$.
3. ${\tanh }^{-1}(z)={\displaystyle \frac{1}{2}}\log \left({\displaystyle \frac{1+z}{1-z}}\right)$, para $z\ne \pm 1$.
4. ${\coth }^{-1}(z)={\displaystyle \frac{1}{2}}\log \left({\displaystyle \frac{z+1}{z-1}}\right)$, para $z\ne \pm 1$.
5. ${\mathrm{sech}}^{-1}(z)=\log \left({\displaystyle \frac{1+z\sqrt{{\displaystyle \frac{1}{z^2}}-1}}{z}}\right)$, para $z\ne 0$.
6. ${\mathrm{csch}}^{-1}(z)=\log \left({\displaystyle \frac{1+z\sqrt{{\displaystyle \frac{1}{z^2}}+1}}{z}}\right)$, para $z\ne 0$.

Demostración.

1. Se deja como ejercicio al lector.
2. 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-2z(e^w)+1=0.$$Resolvemos la ecuación cuadrática para $e^w$ utilizando la fórmula general, entonces:
   $$e^w=\frac{2z+\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 \mathbb{Z}$, como sigue:
   $$\begin{array}{rl}w& =\log (z+\sqrt{z^2-1})+i2k\pi \\ & =\ln |z+\sqrt{z^2-1}|+i(\mathrm{Arg}(z+\sqrt{z^2-1})+2m\pi )\\ & =\ln |z+\sqrt{z^2-1}|+i\arg (z+\sqrt{z^2-1})\\ & =\log (z+\sqrt{z^2-1}),\end{array}$$donde $m=k+n\in \mathbb{Z}$.
3. Se deja como ejercicio al lector.
4. Se deja como ejercicio al lector.
5. Se deja como ejercicio al lector.
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">}$

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

Solución. Sea $z\in \mathbb{C}\setminus \{-1,1,0\}$, entonces:
$$\begin{array}{rl}{\tanh }^{-1}\left({\displaystyle \frac{1}{z}}\right)& ={\displaystyle \frac{1}{2}}\log \left({\displaystyle \frac{1+{\displaystyle \frac{1}{z}}}{1-{\displaystyle \frac{1}{z}}}}\right)\\ & ={\displaystyle \frac{1}{2}}\log \left({\displaystyle \frac{z+1}{z-1}}\right)\\ & ={\coth }^{-1}\left(z\right).\end{array}$$

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

1. ${\displaystyle \frac{d}{dz}}{\mathrm{senh}}^{-1}(z)={\displaystyle \frac{1}{\sqrt{1+z^2}}}$, para $z\ne \pm i$.
2. ${\displaystyle \frac{d}{dz}}{\cosh }^{-1}(z)={\displaystyle \frac{1}{\sqrt{z^2–1}}}$, para $z\ne \pm 1$.
3. ${\displaystyle \frac{d}{dz}}{\tanh }^{-1}(z)={\displaystyle \frac{1}{1-z^2}}$, para $z\ne \pm 1$.
4. ${\displaystyle \frac{d}{dz}}{\coth }^{-1}(z)={\displaystyle \frac{1}{1-z^2}}$, para $z\ne \pm 1$.
5. ${\displaystyle \frac{d}{dz}}{\mathrm{sech}}^{-1}(z)=-{\displaystyle \frac{1}{z^2\sqrt{{\displaystyle \frac{1}{z^2}}-1}}}$, para $z\ne \pm 1$ y $z\ne 0$.
6. ${\displaystyle \frac{d}{dz}}{\mathrm{csch}}^{-1}(z)=–{\displaystyle \frac{1}{z^2\sqrt{{\displaystyle \frac{1}{z^2}}+1}}}$, para $z\ne \pm i$ y $z\ne 0$.

Demostración.

1. Se deja como ejercicio al lector.
2. 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{array}{rl}{\displaystyle \frac{d}{dz}}{\cosh }^{-1}(z)& ={\displaystyle \frac{d}{dz}}\log (z+\sqrt{z^2-1})\\ & ={\displaystyle \frac{1+{\displaystyle \frac{z}{\sqrt{z^2-1}}}}{z+\sqrt{z^2-1}}}\\ & ={\displaystyle \frac{z+\sqrt{z^2-1}}{(z+\sqrt{z^2-1})\sqrt{z^2-1}}}\\ & ={\displaystyle \frac{1}{\sqrt{z^2-1}}}.\end{array}$$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.
3. Se deja como ejercicio al lector.
4. Se deja como ejercicio al lector.
5. Se deja como ejercicio al lector.
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">}$

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}\left({\displaystyle \frac{1}{\sqrt{2}}}\right)$.
b) ${\displaystyle \frac{d}{dz}}{\cosh }^{-1}\left({\displaystyle \frac{1}{\sqrt{2}}}\right)$.

¿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+iy\in \mathbb{C}:|x|\le 1,y=0\}\text{y}\{z=x+iy\in \mathbb{C}:|x|\ge 1,y=0\}.$$

Dado que $z={\displaystyle \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={\displaystyle \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}{\mathrm{Log}}_{[0,2\pi )}(z^2-1)},0\le \mathrm{Arg}(z^2-1)<2\pi .$$

Tenemos que:
$$\begin{array}{rl}{\mathrm{Log}}_{[0,2\pi )}\left({\left({\displaystyle \frac{1}{\sqrt{2}}}\right)}^2–1\right)={\mathrm{Log}}_{[0,2\pi )}(-{\displaystyle \frac{1}{2}})& =\ln |-{\displaystyle \frac{1}{2}}|+i{\mathrm{Arg}}_{[0,2\pi )}(-{\displaystyle \frac{1}{2}})\\ & =-\ln (2)+i\pi ,\end{array}$$por lo que:
$$\begin{array}{rl}{\sqrt{z^2-1}|}_{z=\frac{1}{\sqrt{2}}}& =\sqrt{{\left({\displaystyle \frac{1}{\sqrt{2}}}\right)}^2–1}\\ & =e^{\frac{1}{2}{\mathrm{Log}}_{[0,2\pi )}(-\frac{1}{2})}\\ & =e^{-\frac{\ln (2)}{2}}{e}^{-\frac{\pi }{2}}\\ & =i\frac{1}{\sqrt{2}}.\end{array}$$

Dado que ${\displaystyle \frac{1}{\sqrt{2}}}+i{\displaystyle \frac{1}{\sqrt{2}}}={\displaystyle \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{array}{rl}{{\cosh }^{-1}(z)|}_{z=\frac{1}{\sqrt{2}}}& ={\mathrm{Log}(z+\sqrt{z^2-1})|}_{z=\frac{1}{\sqrt{2}}}\\ & =\mathrm{Log}\left({\displaystyle \frac{1}{\sqrt{2}}}(1+i)\right)\\ & =\ln \left|{\displaystyle \frac{1}{\sqrt{2}}}(1+i)\right|+i\mathrm{Arg}\left({\displaystyle \frac{1}{\sqrt{2}}}(1+i)\right)\\ & =\ln \left(1\right)+i\frac{\pi }{4}\\ & =i\frac{\pi }{4}.\end{array}$$

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

Tarea moral

1. Completa las demostraciones de las proposiciones de esta entrada.
2. Sean $w=\cos (z)$ y $\zeta =e^{iz}$. Muestra que:
   $$\begin{array}{rl}\zeta & =w+\sqrt{w^2-1},\\ {\cos }^{-1}(w)& =-i\log (w\pm \sqrt{w^2-1}).\end{array}$$
3. Muestra que los puntos de ramificación de la función multivaluada ${\mathrm{sen}}^{-1}(z)$ son $z=\pm 1$.
4. Demuestra que si $a\in \mathbb{R}$ y $a>1$, entonces:
   $${\tanh }^{-1}(a)=\mathrm{Log}\sqrt{\frac{a+1}{a-1}}+i\frac{2k+1}{2}\pi ,k\in \mathbb{Z}.$$
5. Muestra que si se usa la misma rama de la función $\sqrt{1-z^2}$ en la definición de las funciones multivaluadas ${\mathrm{sen}}^{-1}(z)$ y ${\cos }^{-1}(z)$, proposición 23.1, entonces:
   a) ${\mathrm{sen}}^{-1}(z)+{\cos }^{-1}(z)=2k\pi +\frac{\pi }{2},k\in \mathbb{Z}$.
   b) ${\tan }^{-1}(z)+{\cot }^{-1}(z)=k\pi -\frac{\pi }{2},k\in \mathbb{Z}$.
6. Resuelve las siguientes ecuaciones:
   a) $\mathrm{senh}(5z+i)=-\sqrt{3}i$.
   b) $\tanh \left(\frac{z-3}{2}\right)=-1+i$.
   c) $\cot (z)=2i$.
   d) ${\cosh }^2(z)=-1$.
7. Prueba que:
   $${\tanh }^{-1}\left(e^{i\theta }\right)=\frac{1}{2}\log \left(i\cot \left(\frac{\theta }{2}\right)\right).$$Determina una expresión similar para ${\tan }^{-1}\left(e^{i\theta }\right)$.
8. Demuestra que:
   $$\tan \left(i\log \left(\frac{a-ib}{a+ib}\right)\right)=\frac{2ab}{a^2–b^2}.$$Hint: sustituye $z$ por ${\displaystyle \frac{2ab}{a^2–b^2}}$ en la definición de ${\tan }^{-1}(z)$.
9. Determina los puntos de ramificación de las siguientes funciones:
   a) ${\cos }^{-1}(z)$.
   b) ${\tan }^{-1}(z^2+2z+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 $\mathbb{C}$.