Introducción
Con las entradas anteriores, ya hemos desarrollado un buen manejo de los números complejos. Sabemos cómo se construyen y cómo hacer operaciones básicas, incluyendo obtener conjugados, la forma polar, sacar normas y elevar a potencias. También hemos aprendido a resolver varias ecuaciones en los complejos: cuadráticas, sistemas lineales y raíces
-ésimas. Todo esto forma parte de los fundamentos algebraicos de
. Ahora hablaremos un poco de la exponencial, el logaritmo y trigonometría en los complejos.
Aunque mencionaremos un poco de las motivaciones detrás de las definiciones, no profundizaremos tanto como con otros temas. Varias de las razones para elegir las siguientes definiciones tienen que ver con temas de ecuaciones diferenciales y de análisis complejo, que no se estudian sino hasta semestres posteriores.
Función exponencial compleja
Recordemos que para un real
, definimos
. La función
y la exponenciación en los reales nos ayudarán a definir la exponencial compleja.
Definición. Definimos la función
como
![Rendered by QuickLaTeX.com \[\exp(x+yi)=e^x\cis(y).\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-638ed467999e305e9edd591baf028832_l3.png)
Ejemplo. Se tiene que
![Rendered by QuickLaTeX.com \[\exp\left(1+\frac{\pi}{2} i\right) = e^1 \cis\left(\frac{\pi}{2}\right) = ei.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-8dd6763b7a4b4394aa381a236043ae11_l3.png)

Ejemplo. Se tiene que
![Rendered by QuickLaTeX.com \[\exp(\pi i) = e^0\cis(\pi) = (1)(-1)=-1.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-29ea0a8d4b347538afdafc96b88386be_l3.png)
Como veremos más abajo, esto lo podemos reescribir como la famosa identidad de Euler
![Rendered by QuickLaTeX.com \[e^{\pi i}+1=0.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-aab2d72e761224346356937a1cea7af3_l3.png)

Ejemplo. Se tiene que
![Rendered by QuickLaTeX.com \[\exp(2+3i)=e^2\cis(3).\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-1a7f48ee4347eeff14488f6a8a606469_l3.png)
Como

y

no tienen ningún valor especial, esta es la forma final de la expresión.

Propiedades de la función exponencial compleja
Una buena razón para definir la exponencial así es que si
, entonces la definición coincide con la definición en los reales:
![Rendered by QuickLaTeX.com \[\exp(x)=e^x\cis(0)=e^x.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-24e8133d30aff2330b344dc7bb45731c_l3.png)
Si

, tenemos que

, de modo que si

tiene norma

y argumento

, podemos reescribir su forma polar como
![Rendered by QuickLaTeX.com \[w=r\exp(\theta i),\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-c7b9bfe165eee44f2451720c82bd4de6_l3.png)
y una forma alternativa de escribir el teorema de De Moivre es
![Rendered by QuickLaTeX.com \[w^n=r^n\exp(n\theta i).\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-d801a00e630d5daa313cbd416107a139_l3.png)
Otra buena razón para definir la exponencial compleja como lo hicimos es que se sigue satisfaciendo que las sumas en la exponencial se abren en productos.
Proposición. Para
y
complejos se tiene que
![Rendered by QuickLaTeX.com \[E(w+z)=E(w)E(z).\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-0329cf585fbe56663a49a5772aedf166_l3.png)
Demostración. Escribamos
y
con
reales. Tenemos que

Por propiedades de la exponencial en
, tenemos que
. Además, por cómo funciona la multiplicación compleja en términos polares, tenemos que
. Usando estas observaciones, podemos continuar con la cadena de igualdades,


Como
extiende a la exponencial real, y se vale abrir las sumas de exponentes en productos, puede ser tentador usar la notación
en vez de
. Hay que tener cuidado con esta interpretación, pues hasta ahora no hemos dicho qué quiere decir «elevar a una potencia». Cuando lo hagamos, veremos que usar la notación
sí tiene sentido, pero por el momento hay que apegarnos a la definición.
Hay otras buenas razones para definir la exponencial compleja como lo hicimos. Una muy importante es que es la solución a una ecuación diferencial muy natural. Más adelante, en tu formación matemática, verás esto.
Función logaritmo complejo
Con el logaritmo natural
en
y la multifunción argumento podemos extender el logaritmo a
.
Definición. Definimos la función
como
![Rendered by QuickLaTeX.com \[L(z)=\ln \Vert z \Vert + \arg(z) i.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-4ed7f8dc2be142d9a3227a5ecb417f78_l3.png)
Hay que ser un poco más precisos, pues
es una multifunción y toma varios valores. Cuando estamos trabajando con logaritmo, lo más conveniente por razones de simetría es que tomemos el argumento en el intervalo
. En cursos posteriores hablarás de «otras» funciones logaritmo, y de por qué ésta es usualmente una buena elección.
Ejemplo. Los logaritmos de
y de
son, respectivamente,

Propiedades del logaritmo complejo
La función
restringida a los números con parte imaginaria en
es invertible, y su inversa es
. Esto justifica en parte la definición de logaritmo. Demostrar esto es sencillo y queda como tarea moral.
La función
restringida a los reales positivos coincide con la función logaritmo natural, pues para
, con
se tiene que
y entonces
![Rendered by QuickLaTeX.com \[L(z)=L(x)=\Vert x\Vert+\arg(x)i=x.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-2b05f9e9eb9a1d3bce1ff3070541bed5_l3.png)
Como en el caso real, la función logaritmo abre productos en sumas, pero con un detalle que hay que cuidar.
Proposición. Para
y
complejos no
, se tiene que
y
difieren en un múltiplo entero de
.
Con la función logaritmo podemos definir potencias de números complejos.
Definición. Para
en
con
, definimos
![Rendered by QuickLaTeX.com \[w^z=\exp(zL(w)).\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-48e45b61f45fe9a9c618565288479f1b_l3.png)
Ejemplo. En particular, podemos tomar
, de donde

de donde ahora sí podemos justificar usar la notación

en vez de

.

Esta definición de exponenciación en
es buena, en parte, porque se puede probar que se satisfacen las leyes de los exponentes.
Proposición. Para
en
, con
, se cumple que
![Rendered by QuickLaTeX.com \[z^{w_1+w_2}=z^{w_1}z^{w_2}\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-82f78f98450622b1fdb0e0efe2623987_l3.png)
y que
![Rendered by QuickLaTeX.com \[(z^{w_1})^{w_2}=z^{w_1w_2}.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-a341cf3e34a33314d2b7573d09bf4070_l3.png)
La demostración es sencilla y se deja como tarea moral.
Funciones trigonométricas complejas
Finalmente, definiremos las funciones trigonométricas en
. Para ello, nos basaremos en la función exponencial que ya definimos.
Definición. Para
cualquier complejo, definimos
![Rendered by QuickLaTeX.com \[\cos(z)=\frac{e^{iz}+e^{-iz}}{2}\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-21ae9654737e46509c08ae3da44c2cdd_l3.png)
y
![Rendered by QuickLaTeX.com \[\sin(z)=\frac{e^{iz}-e^{-iz}}{2}.\]](https://blog.nekomath.com/wp-content/ql-cache/quicklatex.com-4771e1e138542f347c0cf5acb1cb4c61_l3.png)
Una de las razones por las cuales esta definición es buena es que extiende a las funciones trigonométricas reales. En efecto, si
es real, entonces
es

y de manera similar para

.
Las funciones trigonométricas en
siguen cumpliendo varias propiedades que cumplían en
.
Proposición. Para
y
complejos, se tiene que

Demostración. Procedemos por definición. Tenemos que

y que

de modo que

Dividiendo entre
ambos lados de la igualdad, obtenemos la primer identidad. La segunda se demuestra de manera análoga, y queda como tarea moral.

Tarea moral
Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.
- Determina los valores de
y de
. - Muestra que para
con parte imaginaria en
se tiene que
. - Determina el valor de
. - Muestra las leyes de los exponentes para la exponenciación en
. - Determina el valor de
y de
. - Muestra la identidad de seno de la suma de ángulos en
. - Investiga qué otras propiedades de las funciones trigonométricas reales se extienden al caso complejo.