simulador de transformaciones en el plano complejo

Una transformación compleja es una "máquina geométrica". Es una función, $f(z)$, que toma un número complejo $z$ de un plano (el Plano Z o Dominio) y lo "mapea" o transforma en un nuevo número complejo $w$ en otro plano (el Plano W o Codominio).

Si $z = x + iy$, la función lo convierte en $w = u + iv$. El simulador te muestra ambos planos, Z y W, uno al lado del otro para que puedas ver esta "deformación" del espacio en tiempo real.

• Plano Z (Dominio): Es el "input" o "antes". Es donde vives tú y dibujas figuras.
• Plano W (Codominio): Es el "output" o "después". Es la "sombra" o imagen deformada de tu figura original.

Un mapeo conforme es una transformación que preserva los ángulos. Si dos curvas se cruzan con un ángulo de 30° en el Plano Z, sus imágenes en el Plano W también se cruzarán con un ángulo de 30°.

Además, un mapeo conforme preserva "formas infinitesimales". Un círculo diminuto en el Plano Z se mapeará a otro círculo diminuto en el Plano W (aunque puede estar rotado o escalado).

La Conexión con la Derivada

Aquí está la magia del análisis complejo: una función $f(z)$ es conforme en un punto $z_0$ si es analítica (holomorfa) en $z_0$ y su derivada $f'(z_0) \neq 0$.

• Analítica/Holomorfa: Significa que la función es derivable en $z_0$ y en un pequeño vecindario a su alrededor. Esto garantiza que la transformación es "suave".
• $f'(z_0) \neq 0$: La derivada $f'(z_0)$ es un número complejo que nos dice el factor de rotación y escala local. Si la derivada es cero, el mapeo "aplasta" la figura y los ángulos se pierden.

Cada función tiene su "personalidad" geométrica única para deformar el plano:

• $f(z) = z^2$ (Potencia): "Dobla" el plano sobre sí mismo. Si $z = r e^{i\theta}$, entonces $w = r^2 e^{i(2\theta)}$. Es decir, cuadra el radio y duplica el ángulo. Por esto, un semiplano (180°) se mapea a un plano completo (360°).
• $f(z) = 1/z$ (Inversión): "Invierte" el plano. Pone "lo de adentro hacia afuera y lo de afuera hacia adentro" del círculo unidad. Tiene una singularidad (explota al infinito) en $z=0$. Mapea líneas y círculos a líneas y círculos.
• $f(z) = e^z$ (Exponencial): Es periódica ($f(z) = f(z + 2\pi i)$). Mapea líneas horizontales en el Plano Z a rayos que salen del origen en el Plano W. Mapea líneas verticales a círculos en el Plano W.

Algunas funciones, como $f(z) = \sqrt{z}$ o $f(z) = \log(z)$, tienen múltiples salidas posibles para una sola entrada. Por ejemplo, $\sqrt{4}$ puede ser 2 o -2. En los complejos, $\sqrt{z}$ siempre tiene dos valores y $\log(z)$ tiene infinitos valores (debido a la naturaleza $2\pi$ periódica del ángulo).

Para que sean "funciones" (una sola salida), debemos elegir una Rama (un valor de $k$). Esto introduce una discontinuidad artificial llamada Corte de Rama (o "Branch Cut"), que el simulador muestra como una línea roja discontinua. Al cruzar esta línea, la función "salta" de una rama a otra.

Esta es una característica avanzada y potente de Aulaquest. Te permite animar la transformación para ver cómo "fluye" el espacio desde su estado original hasta el estado mapeado.

El slider de interpolación $t$ te permite hacer una "transición" visual:

• Cuando $t=0$, ves la figura original en el Plano Z (es como la función Identidad $f(z)=z$).
• Cuando $t=1$, ves la figura final, completamente transformada por $f(z)$ en el Plano W.

Mover el slider de $t$ entre 0 y 1 te permite ver la evolución continua desde el plano original hasta el plano transformado. Es la mejor forma de ganar intuición sobre cómo se "deforma" el espacio.

Aquí es donde el simulador se convierte en un verdadero laboratorio virtual. Tienes dos formas de personalizar:

1. Función Personalizada $f(z)$: Puedes escribir (casi) cualquier función de $z$ que imagines. Esto te permite probar tus propias ideas, como $f(z) = z^3 - z$, o la famosa transformación de Joukowsky $f(z) = z + 1/z$.
2. Curva Paramétrica: En lugar de mapear figuras estándar (círculos, líneas), puedes definir tu propia figura en el Plano Z usando un parámetro $t$. (Nota: este parámetro $t$ define la curva y es distinto del slider de interpolación $t$). Esto te permite dibujar espirales, cardioides, o lo que quieras, y ver cómo se mapean.

¡Esta es una observación excelente y no es un error! Es la consecuencia directa de mapear una curva infinita con un rango de parámetros finito.

El Caso Clásico: Quieres mapear la línea vertical $z(t) = 1 + i \cdot t$ (una línea en $x=1$) con la función $f(z) = 1/z$. Teóricamente, esto debería producir un círculo perfecto centrado en $w=0.5$ con radio $0.5$.

Sin embargo, la línea es infinita (desde $t = -\infty$ hasta $t = +\infty$). Si tus parámetros en el simulador (por defecto) son t_min = 0 y t_max = 6.28, ¡solo estás dibujando un pequeño arco de ese círculo!

Aquí es donde puedes hacer un "stress test" al motor de Aulaquest. Los resultados son matemáticamente precisos. Hemos preparado tres "pruebas de fuego" que demuestran el poder del motor de mapeo. ¡Inténtalas!

Una Transformación de Mobius (también llamada transformación bilineal u homográfica) es una de las funciones más importantes en el análisis complejo. Su forma general es:

Donde $a, b, c, d$ son números complejos que cumplen una condición: $ad - bc \neq 0$. (Si fuera cero, la función sería una constante).

La Propiedad Mágica: Mapeo de "Circulíneas"

Su propiedad más famosa y visualmente impactante es esta: una transformación de Mobius siempre mapea "circulíneas" a "circulíneas".

Una "circulínea" es simplemente "un círculo O una línea recta" (se considera una línea recta como un círculo de radio infinito).

• Un círculo puede mapearse a otro círculo.
• Un círculo puede mapearse a una línea recta.
• Una línea recta puede mapearse a un círculo.
• Una línea recta puede mapearse a otra línea recta.

De hecho, las funciones básicas que ya has usado (Traslación, Rotación e Inversión $1/z$) son tipos especiales de transformaciones de Mobius.