Teoría de la Variable Compleja
Conceptos Fundamentales
La teoría de la variable compleja es una rama de las matemáticas que estudia funciones de
una variable compleja, es decir, funciones cuyos dominios y codominios son subconjuntos
del conjunto de los números complejos. Los números complejos tienen la forma z = x + iy,
donde x e y son números reales, e i es la unidad imaginaria, definida por i^2 = -1.
Números Complejos
Un número complejo se puede representar en forma polar como z = re^{iθ}, donde r es el
módulo y θ es el argumento del número complejo. La representación polar facilita la
multiplicación y división de números complejos.
Funciones de Variable Compleja
Son funciones de la forma f(z), donde z es un número complejo. Ejemplos incluyen f(z) =
z^2, f(z) = e^z, o f(z) = 1/z.
Derivabilidad y Analiticidad
Una función de variable compleja es derivable en un punto si su límite derivado existe en
ese punto. Si una función es derivable en todos los puntos de una región abierta del plano
complejo, se dice que es holomorfa o analítica en esa región. Las funciones holomorfas son
de gran importancia en la teoría de variable compleja, ya que tienen propiedades especiales,
como ser infinitamente diferenciables y cumplir las ecuaciones de Cauchy-Riemann.
Ecuaciones de Cauchy-Riemann
Son condiciones necesarias y suficientes para la diferenciabilidad de una función en el plano
complejo. Si f(z) = u(x,y) + iv(x,y), donde u y v son funciones reales de x e y, las ecuaciones
de Cauchy-Riemann son:
∂u/∂x = ∂v/∂y y ∂u/∂y = -∂v/∂x.
Si estas ecuaciones se cumplen y u y v son diferenciables, entonces la función f(z) es
derivable en el sentido complejo.
Teoremas Importantes
Teorema de Cauchy
Establece que si una función es analítica en un dominio y su integral de línea sobre una
curva cerrada dentro de ese dominio es cero. Esto tiene muchas consecuencias importantes,
como el teorema de Cauchy-Goursat y el teorema integral de Cauchy.
Teorema de la Fórmula Integral de Cauchy
Si f(z) es analítica en una región y C es una curva cerrada en esa región, entonces:
f(z_0) = (1/2πi) ∫_C [f(z)/(z - z_0)] dz.
Esta fórmula es fundamental para el desarrollo de la teoría de variable compleja.
Teorema de Liouville
Afirma que cualquier función analítica y acotada en todo el plano complejo es constante.
Este teorema es una aplicación directa del teorema de Cauchy y tiene implicaciones para la
teoría de funciones meromorfas.
Series y Transformaciones
Series de Potencias
Una función analítica puede representarse localmente por una serie de potencias en el
plano complejo. Si f(z) es analítica en el punto z_0, entonces existe una serie de potencias de
la forma:
f(z) = ∑_{n=0}^{∞} a_n (z - z_0)^n.
Esto es análogo a las series de Taylor en cálculo real.
Transformación Conforme
Una función de variable compleja que es analítica y tiene una derivada no nula en un punto
se dice que es conforme en ese punto, preservando los ángulos en el plano complejo.
Transformación de Möbius
Es un caso particular de transformación conforme dada por:
f(z) = (az + b)/(cz + d),
donde a, b, c y d son números complejos y ad - bc ≠ 0. Estas transformaciones son
importantes en geometría compleja y teoría de funciones.
Círculo Unitario y Relación de Euler
Círculo Unitario
El círculo unitario es el conjunto de todos los números complejos de módulo uno, es decir,
los números complejos que satisfacen |z| = 1. En el plano complejo, se representa como un
círculo de radio 1, centrado en el origen. Cada punto en el círculo unitario se puede expresar
en forma polar como z = e^{iθ}, donde θ es el ángulo medido desde el eje real positivo.
Relación de Euler
La fórmula de Euler conecta la función exponencial con las funciones trigonométricas y se
expresa como:
e^{iθ} = cos(θ) + i*sin(θ).
Esta fórmula muestra cómo el número complejo e^{iθ}, que representa un punto en el
círculo unitario, se descompone en sus componentes reales e imaginarias.
Interpretación Geométrica
En el plano complejo, e^{iθ} representa un punto en el círculo unitario a una distancia de 1
del origen y con un ángulo θ respecto al eje real positivo. Cuando θ varía de 0 a 2π, e^{iθ}
describe un recorrido completo en el círculo unitario.
Importancia de la Relación de Euler
La relación de Euler es fundamental porque conecta funciones exponenciales y
trigonométricas, facilita la representación polar de números complejos, permite obtener la
identidad de Euler e^{iπ} + 1 = 0, y tiene aplicaciones en el análisis de señales.