Funciones y límites · Definición
Funciones trigonométricas complejas
Antes de empezar necesitas conocer
Permiten usar seno y coseno con argumentos complejos y muestran que la trigonometría real y la exponencial son dos caras de una misma función.
Definición
El seno \(\sin z\) y el coseno \(\cos z\) de un número complejo \(z\) son las funciones que extienden las reales mediante la exponencial compleja \(e^{iz}\).
La fórmula de Euler \(e^{iy}=\cos y+i\sin y\) y su conjugada \(e^{-iy}=\cos y-i\sin y\) se pueden despejar: sumando y restando se obtienen exactamente las expresiones de la caja. Se toman entonces como definición para cualquier \(z\), y coinciden con las funciones reales cuando \(z\) es real. Las demás funciones se definen como siempre: \(\tan z=\sin z/\cos z\), y así sucesivamente.
Casi todas las identidades reales sobreviven: \(\sin^2z+\cos^2z=1\), \(\sin(z+w)=\sin z\cos w+\cos z\sin w\), \(\sin(z+2\pi)=\sin z\) y \(\sin(z+\pi)=-\sin z\). Se comprueban sustituyendo las exponenciales, y por eso basta conocer las propiedades de \(e^{z}\). Los ceros también son los de siempre: \(\sin z=0\) solo en \(z=k\pi\), y \(\cos z=0\) solo en \(z=\frac{\pi}{2}+k\pi\).
Lo que cambia es el tamaño. Escribiendo \(z=x+iy\) se obtiene \(\sin z=\sin x\cosh y+i\cos x\sinh y\) y \(\cos z=\cos x\cosh y-i\sin x\sinh y\). Como \(\cosh y\) y \(\sinh y\) crecen sin límite, ni el seno ni el coseno están acotados en el plano, y por ejemplo \(\cos(iy)=\cosh y\) toma el valor 2. La desigualdad \(|\sin z|\le1\) es una propiedad solo de la recta real.
Un error común es creer que las funciones hiperbólicas son un tema aparte: en realidad \(\cos(iy)=\cosh y\) y \(\sin(iy)=i\sinh y\), de modo que trigonométricas e hiperbólicas son la misma familia vista en ejes distintos. Esto se usará al estudiar funciones enteras y al resolver ecuaciones como \(\cos z=w\).
Para pensar
¿Por qué \(\cos z=2\) tiene solución en \(\mathbb{C}\) si \(|\cos x|\le 1\) para \(x\) real?
Porque el coseno complejo no está acotado: \(\cos(iy)=\cosh y\) toma todos los valores \(\ge1\), así que \(z=i\ln(2+\sqrt3)\) funciona.
Usa las definiciones para probar que \(\sin(-z)=-\sin z\).
Al cambiar \(z\) por \(-z\) se intercambian \(e^{iz}\) y \(e^{-iz}\), así que el numerador cambia de signo y el denominador \(2i\) no.
Ejercicios 10
- Calcula \(\cos(i)\).
- Para \(y\) real, ¿a qué es igual \(\sin(iy)\)?
- ¿Cuánto vale \(\sin^2 z+\cos^2 z\) para cualquier \(z\in\mathbb{C}\)?
- ¿Cuál es un periodo de \(\sin z\) en \(\mathbb{C}\)?
- Simplifica \(\sin(z+\pi)\).
- Calcula \(\sin\!\left(\dfrac{\pi}{2}+i\ln 2\right)\).
- Para \(y\) real positivo, ¿qué valor de \(y\) cumple \(\cos(iy)=2\)?
- Calcula \(|\sin(i\ln 2)|\).
- ¿Cuáles son todos los ceros de \(\sin z\) en \(\mathbb{C}\)?
- ¿Es \(\sin z\) acotada en \(\mathbb{C}\)?
Referencias
- Elias M. Stein, Rami Shakarchi, Complex Analysis, 1st edition, Princeton University Press, 2003. Cap. 1, §2.3
- James Ward Brown, Ruel V. Churchill, Complex Variables and Applications, 9th edition, McGraw-Hill, 2014. §34–35