En matemáticas , el mapa de Hénon , a veces llamado atractor/mapa de Hénon-Pomeau , [1] es un sistema dinámico de tiempo discreto . Es uno de los ejemplos más estudiados de sistemas dinámicos que exhiben un comportamiento caótico . El mapa de Hénon toma un punto ( x n , y n ) en el plano y lo asigna a un nuevo punto
El mapa depende de dos parámetros, a y b , que para el mapa clásico de Hénon tienen valores de a = 1,4 y b = 0,3 . Para los valores clásicos, el mapa de Hénon es caótico. Para otros valores de ayb el mapa puede ser caótico , intermitente o converger a una órbita periódica . A partir de su diagrama de órbita se puede obtener una visión general del tipo de comportamiento del mapa con diferentes valores de parámetros .
El mapa fue presentado por Michel Hénon como un modelo simplificado de la sección Poincaré del modelo de Lorenz . Para el mapa clásico, un punto inicial del avión se acercará a un conjunto de puntos conocido como atractor extraño de Hénon o divergirá hasta el infinito. El atractor de Hénon es un fractal , liso en una dirección y de Cantor en otra. Las estimaciones numéricas arrojan una dimensión de correlación de 1,21 ± 0,01 o 1,25 ± 0,02 [2] (dependiendo de la dimensión del espacio de incrustación) y una dimensión de conteo de cajas de 1,261 ± 0,003 [3] para el atractor del mapa clásico.
El mapa de Hénon mapea dos puntos en sí mismos: estos son los puntos invariantes. Para los valores clásicos de a y b del mapa de Hénon, uno de estos puntos está en el atractor:
Este punto es inestable. Los puntos cercanos a este punto fijo y a lo largo de la pendiente 1,924 se acercarán al punto fijo y los puntos a lo largo de la pendiente -0,156 se alejarán del punto fijo. Estas pendientes surgen de las linealizaciones de la variedad estable y la variedad inestable del punto fijo. La variedad inestable del punto fijo del atractor está contenida en el atractor extraño del mapa de Hénon.
El mapa de Hénon no tiene un atractor extraño para todos los valores de los parámetros a y b . Por ejemplo, al mantener b fijo en 0,3, el diagrama de bifurcación muestra que para a = 1,25 el mapa de Hénon tiene una órbita periódica estable como atractor.
Cvitanović et al. han demostrado cómo la estructura del atractor extraño de Hénon puede entenderse en términos de órbitas periódicas inestables dentro del atractor.
Si se trazan varios mapas de Hénon, para cada mapa variando el valor de b y luego apilando todos los mapas, se produce un diagrama de bifurcación . Un diagrama de bifurcación que se dobla como un taco. De ahí su forma de boomerang cuando se ve en 2D desde arriba.
El mapa de Hénon se puede descomponer en la composición de tres funciones que actúan sobre el dominio una tras otra.
1) una curva que preserva el área:
2) una contracción en la dirección x :
3) una reflexión en la recta y = x :
El mapa de Hénon también se puede deconstruir en un mapa unidimensional, definido de manera similar a la secuencia de Fibonacci .
Aunque el mapa de Hénon se puede trazar en los ejes x e y , al variar a y b , obtenemos dos dimensiones adicionales para trazar. Por lo tanto, el mapa de Hénon se puede trazar en un espacio de cuatro dimensiones . Podemos visualizar un gráfico de este tipo viendo un hiperplano (es decir, un cubo de espacio) a la vez que representa tres ejes y luego moviéndonos a lo largo del cuarto eje a medida que pasa el tiempo.
En el ejemplo de vídeo de la derecha, los tres ejes de cada imagen del vídeo son x , y y b . A medida que pasa el tiempo, es el eje a el que se mueve.
Si se resuelve el mapa unidimensional de Hénon para el caso especial:
Se llega a la cuadrádica simple:
O
La fórmula cuadrática produce:
En el caso especial b=1, esto se simplifica a
Si, además, a tiene la forma, la fórmula se simplifica aún más a
En la práctica, el punto inicial (X,X) seguirá un bucle de 4 puntos en dos dimensiones que pasa por todos los cuadrantes.
En 1976, en Francia, el atractor de Lorenz es analizado por el físico Yves Pomeau , que realiza una serie de cálculos numéricos con JL Ibanez. [4] El análisis produce una especie de complemento al trabajo de Ruelle (y Lanford) presentado en 1975. Es el atractor de Lorenz, es decir, el correspondiente a las ecuaciones diferenciales originales, y su estructura geométrica lo que les interesa. . Pomeau e Ibanez combinan sus cálculos numéricos con los resultados del análisis matemático, basado en el uso de secciones de Poincaré. El estiramiento, el plegamiento y la sensibilidad a las condiciones iniciales se incluyen naturalmente en este contexto en relación con el atractor de Lorenz. Si bien el análisis es, en última instancia, muy matemático, Pomeau e Ibáñez siguen, en cierto sentido, un enfoque físico, experimentando numéricamente con el sistema de Lorenz.
Estas experiencias traen específicamente dos oportunidades. Permiten resaltar un comportamiento singular del sistema de Lorenz: hay una transición, caracterizada por un valor crítico de los parámetros del sistema, durante la cual el sistema pasa de una posición extraña del atractor a una configuración en un ciclo límite. La importancia será revelada por el propio Pomeau (y un colaborador, Paul Manneville) a través del "escenario" de la Intermitencia , propuesto en 1979.
El segundo camino sugerido por Pomeau e Ibáñez es la idea de realizar sistemas dinámicos aún más simples que el de Lorenz, pero que tengan características similares, y que permitirían probar más claramente las "evidencias" aportadas por los cálculos numéricos. Dado que el razonamiento se basa en la sección de Poincaré, propone realizar una aplicación del plano en sí mismo, en lugar de una ecuación diferencial, imitando el comportamiento de Lorenz y su atractor extraño. Construye uno de manera ad hoc que le permite basar mejor su razonamiento.
En enero de 1976, Pomeau presentó su trabajo durante un seminario impartido en el Observatorio de la Costa Azul, al que asistió Michel Hénon. Michel Hénon utiliza la sugerencia de Pomeau para obtener un sistema simple con un atractor extraño. [5] [6]
En un sistema dinámico, el operador de Koopman es un operador lineal natural en el espacio de campos escalares. Para sistemas no lineales generales, las funciones propias de este operador no se pueden expresar de ninguna forma agradable. En lugar de ello, hay que calcularlos numéricamente. Estos modos pueden dar una idea de la dinámica simbólica de mapas caóticos como el mapa de Hénon. [7] En el modo proporcionado, se puede ver claramente la variedad estable del atractor extraño .
Hitz y Zele propusieron una generalización tridimensional para el mapa de Hénon. [8] Está dado por
.
Porque y se puede demostrar que casi todas las condiciones iniciales dentro de la esfera unitaria generan señales caóticas con el mayor exponente de Lyapunov . [8]
En la literatura se han propuesto muchas otras generalizaciones. Se pueden generar, por ejemplo, señales caóticas de banda limitada utilizando filtros digitales en el circuito de retroalimentación del sistema. [9]