Domain Coloring

Visualizando funciones complejas con color

Una función compleja f: ℂ → ℂ toma un número complejo y devuelve otro. ¿Cómo visualizar una transformación de 4 dimensiones (2 de entrada, 2 de salida)? Domain coloring resuelve el problema: el color codifica el argumento (ángulo) y el brillo codifica el módulo (magnitud) del valor de salida.

¿Qué Observarás?

Cada punto del plano complejo se colorea según el valor de f(z) en ese punto. Los patrones de color revelan la estructura de la función: sus ceros, polos, periodicidad y comportamiento asintótico.

Color = Argumento

El tono (hue) representa el ángulo de f(z) en el plano complejo, de 0° a 360°.

Brillo = Módulo

Valores pequeños son oscuros, valores grandes son brillantes (escala logarítmica).

Líneas de nivel

Opcional: contornos donde |f(z)| = constante o arg(f(z)) = constante.

Tracking interactivo

Mueve el cursor para ver z y f(z) en tiempo real.

El Código de Colores

0° (→) 90° (↑) 180° (←) 270° (↓) 360°

Rojo = positivo real, Cian = negativo real, Verde = positivo imaginario, Magenta = negativo imaginario

f(z) = |f(z)| · ei·arg(f(z))
Forma polar: magnitud × dirección

Reconociendo Singularidades

Cero (f(z₀) = 0)

Punto oscuro donde todos los colores convergen. Los colores giran alrededor n veces si es un cero de orden n.

Polo (f(z₀) = ∞)

💥

Punto brillante donde todos los colores convergen. Los colores giran en sentido opuesto a los ceros.

Contando multiplicidad: El número de veces que los colores hacen un ciclo completo alrededor de un punto indica el orden del cero o polo. Un cero simple (orden 1) muestra un arcoíris completo; un cero doble (orden 2) muestra dos arcoíris.

Funciones Disponibles

Función Qué observar
Los colores giran 2 veces alrededor del origen (cero de orden 2)
1/z Polo en el origen; colores invertidos respecto a z
z³ - 1 Tres raíces cúbicas de la unidad, equiespaciadas 120°
ez Periódica en dirección imaginaria (período 2πi); nunca es cero
sin(z) Ceros en z = nπ; crece exponencialmente en dirección imaginaria
tan(z) Polos en z = π/2 + nπ, ceros en z = nπ
log(z) Singularidad de rama en el origen; discontinuidad en eje real negativo
Γ(z) Polos en 0, -1, -2, -3...; generaliza el factorial
ζ(z) Función zeta de Riemann; polos, ceros no triviales en la franja crítica

Experimentos Sugeridos

1. Contar ceros y polos

  1. Selecciona f(z) = z³ - 1
  2. Localiza los 3 puntos donde todos los colores convergen (oscuros)
  3. Verifica: están en e0, e2πi/3, e4πi/3
  4. ¿Cuántas veces giran los colores alrededor de cada cero?

2. Comparar z² con √z

  1. Visualiza z²: colores giran 2 veces
  2. Ahora visualiza √z: colores giran ½ vez
  3. La raíz cuadrada tiene una "rama cortada" - ¿dónde está?
  4. ¿Por qué √z no puede ser continua en todo el plano?

3. La periodicidad de ez

  1. Selecciona ez y expande el rango a ±5
  2. Observa: el patrón se repite verticalmente cada 2π
  3. ¿Por qué? Porque ez+2πi = ez
  4. ¿Hay ceros? ¿Por qué no?

4. Los polos de la función Gamma

  1. Selecciona Γ(z) y ajusta rango a ±5
  2. Localiza los polos: puntos brillantes donde todos los colores convergen
  3. Están en 0, -1, -2, -3... ¿Por qué ahí?
  4. Activa "líneas de nivel" para ver la estructura

Contexto Histórico

1797
Caspar Wessel introduce la representación geométrica de números complejos como puntos en el plano.
1821
Cauchy desarrolla la teoría de funciones complejas, incluyendo el teorema de los residuos y las integrales de contorno.
1850s
Riemann introduce las superficies de Riemann para manejar funciones multivaluadas como √z y log(z).
1980s
Con la computación gráfica, el domain coloring emerge como técnica de visualización. Larry Crone populariza el método.
1998
Frank Farris publica técnicas refinadas de visualización usando esquemas de color perceptualmente uniformes.

Conexiones Interdisciplinarias

🔮 Mandelbrot
Iteración compleja
🌊 Sumas de Riemann
Integración
🔄 Fourier
Series complejas
Campos eléctricos
Potencial complejo

Para Explorar Más