Funciones y límites · Definición

Funciones trigonométricas complejas

análisis complejofunciones 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}\).

\[\sin z=\frac{e^{iz}-e^{-iz}}{2i},\qquad \cos z=\frac{e^{iz}+e^{-iz}}{2}\]

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

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