El atractor de Rössler ( / ˈrɒslər / ) es el atractor del sistema de Rössler , un sistema de tres ecuaciones diferenciales ordinarias no lineales estudiado originalmente por Otto Rössler en la década de 1970. [1] [2] Estas ecuaciones diferenciales definen un sistema dinámico de tiempo continuo que exhibe dinámica caótica asociada con las propiedades fractales del atractor. [3] Rössler lo interpretó como una formalización de una máquina para hacer caramelos masticables . [4]
Algunas propiedades del sistema de Rössler se pueden deducir a través de métodos lineales como los vectores propios , pero las características principales del sistema requieren métodos no lineales como los mapas de Poincaré y los diagramas de bifurcación . El artículo original de Rössler afirma que el atractor de Rössler estaba destinado a comportarse de manera similar al atractor de Lorenz , pero también ser más fácil de analizar cualitativamente. [1] Una órbita dentro del atractor sigue una espiral hacia afuera cerca del plano alrededor de un punto fijo inestable. Una vez que el gráfico se extiende lo suficiente, un segundo punto fijo influye en el gráfico, lo que provoca un ascenso y un giro en la dimensión . En el dominio del tiempo, se hace evidente que, aunque cada variable oscila dentro de un rango fijo de valores, las oscilaciones son caóticas. Este atractor tiene algunas similitudes con el atractor de Lorenz, pero es más simple y solo tiene una variedad . Otto Rössler diseñó el atractor de Rössler en 1976, [1] pero las ecuaciones originalmente teóricas luego resultaron ser útiles para modelar el equilibrio en reacciones químicas.
Las ecuaciones definitorias del sistema de Rössler son: [3]
Rössler estudió el atractor caótico con , , y , aunque las propiedades de , , y se han utilizado más comúnmente desde entonces. Se investigó otra línea del espacio de parámetros utilizando el análisis topológico. Corresponde a , , y se eligió como parámetro de bifurcación. [5] Letellier y Messager investigaron cómo descubrió Rössler este conjunto de ecuaciones. [6]
Parte de la elegancia del atractor de Rössler se debe a que dos de sus ecuaciones son lineales; el ajuste , permite examinar el comportamiento en el plano
La estabilidad en el plano se puede encontrar calculando los valores propios del jacobiano , que son . A partir de esto, podemos ver que cuando , los valores propios son complejos y ambos tienen un componente real positivo, lo que hace que el origen sea inestable con una espiral hacia afuera en el plano. Ahora considere el comportamiento del plano dentro del contexto de este rango para . Entonces, mientras sea menor que , el término mantendrá la órbita cerca del plano. A medida que la órbita se acerca a mayor que , los valores de comienzan a subir. Sin embargo, a medida que sube, en la ecuación para detiene el crecimiento en .
Para encontrar los puntos fijos, las tres ecuaciones de Rössler se ponen a cero y las coordenadas ( , , ) de cada punto fijo se determinan resolviendo las ecuaciones resultantes. Esto produce las ecuaciones generales de cada una de las coordenadas de los puntos fijos: [7]
Que a su vez se puede utilizar para mostrar los puntos fijos reales para un conjunto dado de valores de parámetros:
Como se muestra en los gráficos generales del atractor de Rössler anteriores, uno de estos puntos fijos reside en el centro del bucle del atractor y el otro se encuentra relativamente lejos del atractor.
La estabilidad de cada uno de estos puntos fijos se puede analizar determinando sus respectivos valores y vectores propios. Empezando por el jacobiano:
Los valores propios se pueden determinar resolviendo la siguiente ecuación cúbica:
Para el punto fijo ubicado centralmente, los valores de los parámetros originales de Rössler de a=0,2, b=0,2 y c=5,7 producen valores propios de:
La magnitud de un valor propio negativo caracteriza el nivel de atracción a lo largo del vector propio correspondiente. De manera similar, la magnitud de un valor propio positivo caracteriza el nivel de repulsión a lo largo del vector propio correspondiente.
Los vectores propios correspondientes a estos valores propios son:
Estos vectores propios tienen varias implicaciones interesantes. En primer lugar, los dos pares de valores propios/vectores propios ( y ) son responsables del deslizamiento constante hacia afuera que se produce en el disco principal del atractor. El último par de valores propios/vectores propios atrae a lo largo de un eje que pasa por el centro de la variedad y explica el movimiento z que se produce dentro del atractor. Este efecto se demuestra de forma aproximada con la siguiente figura.
La figura examina los vectores propios de punto fijo central. La línea azul corresponde al atractor Rössler estándar generado con , y . El punto rojo en el centro de este atractor es . La línea roja que interseca ese punto fijo es una ilustración del plano repulsivo generado por y . La línea verde es una ilustración del plano de atracción . La línea magenta se genera retrocediendo en el tiempo desde un punto en el vector propio de atracción que está ligeramente por encima ; ilustra el comportamiento de los puntos que se vuelven completamente dominados por ese vector. Nótese que la línea magenta casi toca el plano del atractor antes de ser jalada hacia arriba hacia el punto fijo; esto sugiere que la apariencia y el comportamiento generales del atractor Rössler son en gran medida un producto de la interacción entre el plano de atracción y el de repulsión . Específicamente, implica que una secuencia generada a partir de las ecuaciones de Rössler comenzará a girar alrededor de , comenzará a ser tirada hacia arriba dentro del vector, creando el brazo ascendente de una curva que se dobla ligeramente hacia adentro en dirección al vector antes de ser empujada hacia afuera nuevamente mientras es tirada hacia el plano repulsivo.
Para el punto fijo atípico, los valores de los parámetros originales de Rössler de , y producen valores propios de:
Los vectores propios correspondientes a estos valores propios son:
Aunque estos valores y vectores propios existen en el atractor de Rössler, su influencia se limita a las iteraciones del sistema de Rössler cuyas condiciones iniciales se encuentran en la vecindad general de este punto fijo atípico. Excepto en aquellos casos en los que las condiciones iniciales se encuentran en el plano de atracción generado por y , esta influencia implica efectivamente empujar el sistema resultante hacia el atractor general de Rössler. A medida que la secuencia resultante se acerca al punto fijo central y al propio atractor, la influencia de este punto fijo distante (y sus vectores propios) disminuirá.
El mapa de Poincaré se construye trazando el valor de la función cada vez que pasa por un plano determinado en una dirección específica. Un ejemplo sería trazar el valor cada vez que pasa por el plano donde cambia de negativo a positivo, algo que se hace comúnmente al estudiar el atractor de Lorenz. En el caso del atractor de Rössler, el plano no es interesante, ya que el mapa siempre cruza el plano en debido a la naturaleza de las ecuaciones de Rössler. En el plano para , , , el mapa de Poincaré muestra el aumento de los valores a medida que aumenta, como es de esperar debido a la sección de aumento y giro del gráfico de Rössler. El número de puntos en este gráfico de Poincaré específico es infinito, pero cuando se utiliza un valor diferente, el número de puntos puede variar. Por ejemplo, con un valor de 4, solo hay un punto en el mapa de Poincaré, porque la función produce una órbita periódica de período uno, o si el valor se establece en 12,8, habría seis puntos correspondientes a una órbita de período seis.
El mapa de Lorenz es la relación entre máximos sucesivos de una coordenada en una trayectoria. Consideremos una trayectoria en el atractor, y sea el máximo n-ésimo de su coordenada x. Entonces - diagrama de dispersión es casi una curva, lo que significa que sabiendo que uno puede predecir casi exactamente . [8]
En el artículo original sobre el atractor de Lorenz, [9] Edward Lorenz analizó los máximos locales de contra los máximos locales inmediatamente anteriores. Cuando se visualizó, el gráfico se parecía al mapa de tienda , lo que implica que se puede usar un análisis similar entre el mapa y el atractor. Para el atractor de Rössler, cuando se grafica el máximo local contra el siguiente máximo local, , el gráfico resultante (mostrado aquí para , , ) es unimodal, parecido a un mapa de Hénon sesgado . Sabiendo que el atractor de Rössler se puede usar para crear un pseudo mapa 1-d, se deduce que se deben usar métodos de análisis similares. El diagrama de bifurcación es un método de análisis particularmente útil.
El comportamiento del atractor de Rössler es en gran medida un factor de los valores de sus parámetros constantes , y . En general, la variación de cada parámetro tiene un efecto comparable al hacer que el sistema converja hacia una órbita periódica, un punto fijo o escape hacia el infinito, sin embargo, los rangos específicos y los comportamientos inducidos varían sustancialmente para cada parámetro. Las órbitas periódicas, o "ciclos unitarios", del sistema de Rössler se definen por la cantidad de bucles alrededor del punto central que ocurren antes de que la serie de bucles comience a repetirse.
Los diagramas de bifurcación son una herramienta común para analizar el comportamiento de los sistemas dinámicos , de los cuales el atractor de Rössler es uno. Se crean ejecutando las ecuaciones del sistema, manteniendo constantes todas las variables menos una y variando la última. Luego, se traza un gráfico de los puntos que visita un valor particular de la variable modificada después de que se hayan neutralizado los factores transitorios. Las regiones caóticas se indican mediante regiones rellenas del gráfico.
Aquí, se fija en 0,2, se fija en 5,7 y cambia. El examen numérico del comportamiento del atractor a lo largo del tiempo sugiere que tiene una influencia desproporcionada sobre el comportamiento del atractor. Los resultados del análisis son:
Aquí, se fija en 0,2, se fija en 5,7 y cambia. Como se muestra en el diagrama adjunto, a medida que se acerca a 0, el atractor se acerca al infinito (obsérvese el aumento para valores muy pequeños de ). En comparación con los otros parámetros, la variación genera un rango mayor cuando se producirán órbitas de período 3 y período 6. A diferencia de y , los valores más altos de convergen al período 1, no a un estado caótico.
Aquí, y cambia. El diagrama de bifurcación revela que los valores bajos de son periódicos, pero rápidamente se vuelven caóticos a medida que aumenta. Este patrón se repite a medida que aumenta: hay secciones de periodicidad intercaladas con períodos de caos, y la tendencia es hacia órbitas de períodos más altos a medida que aumenta. Por ejemplo, la órbita de período uno solo aparece para valores de alrededor de 4 y nunca se encuentra nuevamente en el diagrama de bifurcación. El mismo fenómeno se observa con el período tres; hasta que se pueden encontrar órbitas de período tres, pero a partir de entonces, no aparecen.
Una ilustración gráfica del atractor cambiante en un rango de valores ilustra el comportamiento general observado para todos estos análisis de parámetros: las frecuentes transiciones entre periodicidad y aperiodicidad.
El conjunto de imágenes anterior ilustra las variaciones del sistema Rössler post-transitorio a medida que varía en un rango de valores. Estas imágenes se generaron con .
El atractor está densamente lleno de órbitas periódicas : soluciones para las que existe un valor distinto de cero de tal que . Estas interesantes soluciones se pueden derivar numéricamente utilizando el método de Newton . Las órbitas periódicas son las raíces de la función , donde es la evolución en el tiempo y es la identidad. Como la mayoría de la dinámica ocurre en el plano xy, las órbitas periódicas se pueden clasificar por su número de vueltas alrededor del equilibrio central después de la proyección.
A partir de la experimentación numérica, parece que existe una órbita periódica única para todos los números de bobinado positivos. Esta falta de degeneración probablemente se debe a la falta de simetría del problema. El atractor se puede diseccionar en variedades invariantes más fáciles de digerir : órbitas periódicas unidimensionales y variedades estables e inestables bidimensionales de órbitas periódicas. Estas variedades invariantes son un esqueleto natural del atractor, al igual que los números racionales lo son para los números reales .
Para los fines de la teoría de sistemas dinámicos , uno podría estar interesado en los invariantes topológicos de estas variedades. Las órbitas periódicas son copias de incrustadas en , por lo que sus propiedades topológicas se pueden entender con la teoría de nudos . Las órbitas periódicas con números de bobinado 1 y 2 forman un enlace de Hopf , lo que demuestra que ningún difeomorfismo puede separar estas órbitas.
La formación de bandas que se observa en el atractor de Rössler es similar a un conjunto de Cantor rotado sobre su punto medio. Además, la semitorsión que se produce en el atractor de Rössler solo afecta a una parte del atractor. Rössler demostró que su atractor era, de hecho, la combinación de una "banda normal" y una banda de Möbius . [10]
{{cite journal}}
: CS1 maint: multiple names: authors list (link)