Leccion 26 · Secciones de Poincare

Reducir dimensiones

Hasta ahora hemos estudiado sistemas dinamicos continuos: ecuaciones diferenciales que describen como evoluciona un estado en el tiempo de manera fluida e ininterrumpida. El atractor de Lorenz, por ejemplo, vive en un espacio tridimensional y su trayectoria serpentea sin descanso entre las dos alas de la mariposa. Pero visualizar y analizar objetos tridimensionales que evolucionan en el tiempo es inherentemente dificil.

Henri Poincare, el gigante de las matematicas del siglo XIX y padre de la topologia, tuvo una idea brillante: en lugar de intentar comprender todo el flujo continuo a la vez, podemos colocar un plano de corte en el espacio de fases y registrar solo los puntos donde la trayectoria atraviesa ese plano. Este acto aparentemente simple de "rebanar" el flujo transforma un problema continuo en uno discreto, y reduce la dimension del sistema en una unidad.

Un flujo tridimensional se convierte en un mapa bidimensional. Un flujo bidimensional se convierte en un mapa unidimensional. Y los mapas discretos, como veremos en la proxima leccion, son mucho mas faciles de analizar matematicamente. Esta es la magia de la seccion de Poincare: una ventana discreta al comportamiento continuo.

La idea de Poincare

Imaginemos el atractor de Lorenz girando en tres dimensiones. Ahora imaginemos que colocamos un plano vertical en algun lugar del espacio de fases, como una pared de cristal atravesando la trayectoria. Cada vez que la orbita cruza este plano, marcamos un punto. Con el tiempo, estos puntos se acumulan y forman un patron.

La eleccion del plano no es arbitraria. Queremos un plano que sea transversal al flujo, es decir, que la trayectoria lo cruce de manera oblicua, no tangencial. Ademas, nos interesa registrar solo los cruces en una direccion (por ejemplo, cuando $\dot{z} > 0$) para evitar contar el mismo ciclo dos veces. Formalmente, definimos la seccion de Poincare como:

$$\Sigma = \{(x,y,z) : z = z_0, \dot{z} > 0\}$$

donde $z_0$ es la altura del plano de corte y la condicion $\dot{z} > 0$ asegura que solo registramos cruces en una direccion. Para el sistema de Lorenz, una eleccion clasica es $z_0 = \rho - 1 = 27$, que corresponde al nivel de los puntos fijos no triviales.

Lo que obtenemos no es una nube aleatoria de puntos. En un sistema caotico con un atractor extrano, los puntos de interseccion revelan una estructura geometrica rica: curvas, pliegues, patrones fractales. La seccion de Poincare destila la esencia del atractor en una imagen bidimensional.

Mapa de retorno

La seccion de Poincare no solo es una herramienta de visualizacion: es la base para construir un mapa de retorno. Si llamamos $x_n$ al n-esimo punto de interseccion con el plano $\Sigma$, entonces existe una funcion $P$ que relaciona cada punto con el siguiente:

$$P: \Sigma \to \Sigma, \quad x_{n+1} = P(x_n)$$

Esta funcion $P$ se llama el mapa de Poincare o mapa de primer retorno. Es un mapa discreto que captura toda la dinamica relevante del flujo continuo original. Los puntos fijos de $P$ corresponden a orbitas periodicas del flujo. Los puntos periodicos de $P$ (con periodo $n$) corresponden a orbitas que se cierran despues de $n$ cruces con la seccion.

La estabilidad de estos puntos fijos y periodicos se puede analizar con las herramientas clasicas de los sistemas discretos: valores propios de la matriz jacobiana del mapa, multiplicadores de Floquet, exponentes de Lyapunov discretos. Todo el arsenal matematico de los sistemas dinamicos discretos se aplica directamente.

Para el atractor de Lorenz, el mapa de retorno tiene una propiedad notable: si proyectamos los puntos de la seccion sobre una unica variable (por ejemplo, el maximo local de $z$ en cada ciclo), obtenemos un mapa unidimensional con forma de tienda invertida. Este mapa unidimensional captura la esencia del caos del sistema tridimensional original.

De flujo continuo a mapa discreto

La transformacion de un flujo continuo en un mapa discreto es mas que una conveniencia tecnica: es un cambio conceptual profundo. En el flujo continuo, el estado evoluciona de manera suave y continua. En el mapa discreto, damos "saltos" de un cruce al siguiente, ignorando los detalles intermedios.

Este paso tiene consecuencias importantes. Primero, reduce la dimension: un flujo en $\mathbb{R}^3$ se convierte en un mapa en $\mathbb{R}^2$. Segundo, elimina el tiempo como variable continua: el "tiempo" del mapa es simplemente el numero de cruce $n$. Tercero, preserva las propiedades topologicas esenciales: las orbitas periodicas del flujo se convierten en puntos periodicos del mapa, y los atractores extranos del flujo se convierten en atractores extranos del mapa.

Esta correspondencia entre flujos continuos y mapas discretos es uno de los puentes mas fructiferos de la matematica. Permite aplicar herramientas algebraicas, topologicas y computacionales del mundo discreto al estudio de ecuaciones diferenciales. Poincare intuyo este puente a finales del siglo XIX, pero su verdadero poder solo se revelo con la llegada del caos y los computadores un siglo despues.

Estructura en la seccion

Cuando observamos la seccion de Poincare de un atractor extrano, lo primero que llama la atencion es que los puntos no llenan uniformemente la region del plano. En su lugar, se concentran en estructuras filamentosas, curvas que se pliegan y bifurcan, formando patrones que recuerdan a los fractales que estudiamos en modulos anteriores.

Esto no es coincidencia. La seccion de Poincare de un atractor extrano es, en general, un conjunto fractal. Su dimension no es un numero entero: esta entre 1 y 2 para la seccion de un flujo tridimensional. Esta dimension fractal esta directamente relacionada con la dimension fractal del atractor original, reducida en una unidad por el corte transversal.

Para el atractor de Lorenz, la seccion de Poincare en $z = 27$ muestra dos ramas curvas que corresponden a las dos alas del atractor. La trayectoria alterna entre estas ramas de manera aparentemente aleatoria, pero con una estructura estadistica bien definida. Cada rama tiene un espesor infinitesimal pero no nulo: si hacemos zoom, encontramos sub-ramas, y dentro de estas mas sub-ramas, en una cascada fractal infinita.

Idea clave

Poincare convirtio el estudio de flujos continuos en el estudio de mapas discretos. Una idea de 1889 que se convirtio en la piedra angular de la teoria moderna del caos, conectando el mundo continuo de las ecuaciones diferenciales con el mundo discreto de las iteraciones.

Sistemas y sus secciones

Sistema	Plano de seccion	Estructura revelada	Dimension
Lorenz	z = 27	Dos ramas curvadas (ala izq/der)	~1.06
Rossler	y = 0, dy/dt < 0	Bandas plegadas	~1.01
Henon-Heiles	y = 0, py > 0	Islas KAM + caos	2 (Hamiltoniano)
Duffing forzado	t mod T = 0	Fractal en (x, dx/dt)	~1.4
Orbita periodica	Cualquier transversal	Punto fijo unico	0

Ejercicios

01.

¿Por que se elige $z = \rho - 1 = 27$ como plano de seccion para el atractor de Lorenz? Pista: investiga donde estan los puntos de equilibrio no triviales del sistema de Lorenz y que significado fisico tiene ese nivel.
02.

Si un punto en la seccion de Poincare es un punto fijo del mapa de retorno $P$, ¿que significa esto para la orbita del flujo continuo original? ¿Y si es un punto periodico de periodo 2?
03.

En el LAB de abajo, observa como se acumulan los puntos en la seccion. ¿Cuantas intersecciones con el plano ocurren por cada "vuelta" completa del atractor (una oscilacion entre las dos alas)? ¿Que nos dice la densidad de puntos sobre la dinamica?

LAB: Seccion de Poincare del atractor de Lorenz

Atractor de Lorenz en 3D con un plano semi-transparente en z = 27. Los puntos rojos marcan donde la trayectoria cruza el plano (con z creciente). Observa como los puntos forman la seccion transversal del atractor.

chaos-lab::poincare-section

Puntos: 0