stringtranslate.com

Sistema de Lorenz

Una solución de muestra en el atractor de Lorenz cuando ρ  = 28 , σ  = 10 y β  =  8/3

El sistema de Lorenz es un sistema de ecuaciones diferenciales ordinarias estudiado por primera vez por el matemático y meteorólogo Edward Lorenz . Es notable por tener soluciones caóticas para ciertos valores de parámetros y condiciones iniciales. En particular, el atractor de Lorenz es un conjunto de soluciones caóticas del sistema de Lorenz. El término " efecto mariposa " en los medios populares puede provenir de las implicaciones del mundo real del atractor de Lorenz, es decir, que pequeños cambios en las condiciones iniciales evolucionan a trayectorias completamente diferentes. Esto subraya que los sistemas caóticos pueden ser completamente deterministas y, sin embargo, ser inherentemente imprácticos o incluso imposibles de predecir durante períodos de tiempo más largos. Por ejemplo, incluso el pequeño aleteo de las alas de una mariposa podría hacer que la atmósfera de la Tierra siga una trayectoria muy diferente, en la que, por ejemplo, se produce un huracán donde de otra manera no se habría producido (ver Puntos de silla ). La forma del propio atractor de Lorenz, cuando se representa gráficamente en el espacio de fases , también puede parecerse a una mariposa.

Descripción general

En 1963, Edward Lorenz , con la ayuda de Ellen Fetter , quien fue responsable de las simulaciones numéricas y las figuras, [1] y Margaret Hamilton, quien ayudó en los cálculos numéricos iniciales que condujeron a los hallazgos del modelo de Lorenz, [2] desarrolló un modelo matemático simplificado para la convección atmosférica . [1] El modelo es un sistema de tres ecuaciones diferenciales ordinarias ahora conocidas como ecuaciones de Lorenz:

Las ecuaciones relacionan las propiedades de una capa de fluido bidimensional calentada uniformemente desde abajo y enfriada desde arriba. En particular, las ecuaciones describen la tasa de cambio de tres cantidades con respecto al tiempo: x es proporcional a la tasa de convección, y a la variación horizontal de la temperatura y z a la variación vertical de la temperatura. [3] Las constantes σ , ρ y β son parámetros del sistema proporcionales al número de Prandtl , al número de Rayleigh y a ciertas dimensiones físicas de la propia capa. [3]

Las ecuaciones de Lorenz pueden surgir en modelos simplificados para láseres , [4] dinamos , [5] termosifones , [6] motores de CC sin escobillas , [7] circuitos eléctricos , [8] reacciones químicas, [9] y ósmosis directa . [10] Las ecuaciones de Lorenz también son las ecuaciones que gobiernan en el espacio de Fourier la rueda hidráulica de Malkus . [11] [12] La rueda hidráulica de Malkus exhibe un movimiento caótico donde en lugar de girar en una dirección a una velocidad constante, su rotación se acelerará, desacelerará, se detendrá, cambiará de dirección y oscilará de un lado a otro entre combinaciones de tales comportamientos de manera impredecible.

Desde un punto de vista técnico, el sistema de Lorenz es no lineal , aperiódico, tridimensional y determinista . Las ecuaciones de Lorenz han sido objeto de cientos de artículos de investigación y al menos un estudio extenso. [3]

Análisis

Normalmente se supone que los parámetros σ , ρ y β son positivos. Lorenz utilizó los valores σ = 10 , β = 8/3 y ρ = 28. El sistema exhibe un comportamiento caótico para estos valores (y otros cercanos). [13]

Si ρ < 1 entonces sólo hay un punto de equilibrio, que está en el origen. Este punto corresponde a la ausencia de convección. Todas las órbitas convergen al origen, que es un atractor global , cuando ρ < 1. [ 14]

Se produce una bifurcación en horquilla en ρ = 1 y, para ρ > 1, aparecen dos puntos críticos adicionales en Estos corresponden a una convección constante. Este par de puntos de equilibrio es estable solo si

que sólo puede cumplirse para ρ positivo si σ > β + 1. En el valor crítico, ambos puntos de equilibrio pierden estabilidad a través de una bifurcación de Hopf subcrítica . [15]

Cuando ρ  = 28 , σ  = 10 y β  =  8/3 , el sistema de Lorenz tiene soluciones caóticas (pero no todas las soluciones son caóticas). Casi todos los puntos iniciales tenderán a un conjunto invariante – el atractor de Lorenz – un atractor extraño , un fractal y un atractor autoexcitado con respecto a los tres equilibrios. Su dimensión de Hausdorff se estima a partir de arriba mediante la dimensión de Lyapunov (dimensión de Kaplan-Yorke) como2,06 ± 0,01 , [16] y se estima que la dimensión de correlación es2,05 ± 0,01 . [17] La ​​fórmula exacta de la dimensión de Lyapunov del atractor global se puede encontrar analíticamente bajo restricciones clásicas sobre los parámetros: [18] [16] [19]

El atractor de Lorenz es difícil de analizar, pero la acción de la ecuación diferencial sobre el atractor se describe mediante un modelo geométrico bastante simple. [20] La demostración de que esto es así es el decimocuarto problema de la lista de problemas de Smale . Este problema fue el primero en ser resuelto por Warwick Tucker en 2002. [21]

Para otros valores de ρ , el sistema muestra órbitas periódicas anudadas. Por ejemplo, con ρ = 99,96 se convierte en un nudo toroidal T (3,2) .

Conexión al mapa de tiendas

Una recreación de los resultados de Lorenz creada en Mathematica . Los puntos sobre la línea roja corresponden a los lóbulos de conmutación del sistema.

En la Figura 4 de su artículo, [1] Lorenz trazó el valor máximo relativo en la dirección z alcanzado por el sistema contra el máximo relativo anterior en la dirección z . Este procedimiento más tarde se conoció como un mapa de Lorenz (que no debe confundirse con un diagrama de Poincaré , que traza las intersecciones de una trayectoria con una superficie prescrita). El gráfico resultante tiene una forma muy similar al mapa de tienda . Lorenz también descubrió que cuando el valor máximo de z está por encima de un cierto límite, el sistema cambiará al siguiente lóbulo. Combinando esto con el caos que se sabe que exhibe el mapa de tienda, demostró que el sistema cambia entre los dos lóbulos de manera caótica.

Un sistema de Lorenz generalizado

En los últimos años, una serie de artículos sobre modelos de Lorenz de alta dimensión han producido un modelo de Lorenz generalizado, [22] que se puede simplificar en el modelo de Lorenz clásico para tres variables de estado o el siguiente modelo de Lorenz de cinco dimensiones para cinco variables de estado: [23]

Se ha aplicado una elección del parámetro para que sea coherente con la elección de los demás parámetros. Ver detalles en [22] [23]

Simulaciones

Simulación del sistema Lorenz en Julia
Simulación de Julia

Simulación de Julia

usando gráficos # define el atractor de Lorenz @kwdef estructura mutable Lorenz dt :: Float64 = 0.02 σ :: Float64 = 10 ρ :: Float64 = 28 β :: Float64 = 8 / 3 x :: Float64 = 2 y :: Float64 = 1 z :: Float64 = 1 fin                         función paso! ( l :: Lorenz ) dx = l . σ * ( l . y - l . x ); l . x += l . dt * dx dy = l . x * ( l . ρ - l . z ) - l . y ; l . y += l . dt * dy dz = l . x * l . y - l . β * l . z ; l . z += l . dt * dz fin                                         atractor = Lorenz ()  # inicializa un gráfico 3D con 1 serie vacía plt = plot3d ( 1 , xlim = ( - 30 , 30 ), ylim = ( - 30 , 30 ), zlim = ( 0 , 60 ), title = "Lorenz Attractor" , marker = 2 , )                     # crea un gif animado empujando nuevos puntos al gráfico, guardando cada décimo cuadro @gif para i = 1 : 1500 paso ! ( atractor ) ¡ empuja ! ( plt , attractor.x , attractor.y , attractor.z ) finaliza cada 10         

Simulación de arce

deq := [ diff ( x ( t ) , t ) = 10 * ( y ( t ) - x ( t )) , diff ( y ( t ) , t ) = 28 * x ( t ) - y ( t ) - x ( t ) * z ( t ) , diff ( z ( t ) , t ) = x ( t ) * y ( t ) - 8 / 3 * z ( t )] : con ( DEtools ) : DEplot3d ( deq , { x ( t ) , y ( t ) , z ( t )} , t = 0 .. 100 , [[ x ( 0 ) = 10 , y ( 0 ) = 10 , z ( 0 ) = 10 ]] , tamaño de paso = 0,01 , x = - 20 .. 20 , y = - 25 .. 25 , z = 0 .. 50 , color de línea = sin ( t * Pi / 3 ) , grosor = 1 , orientación = [ - 40 , 80 ] , título = `Atractor caótico de Lorenz` ) ;                                                                     

Simulación de Maxima

[ sigma , rho , beta ] : [ 10 , 28 , 8 / 3 ] $ eq : [ sigma * ( y - x ), x * ( rho - z ) - y , x * y - beta * z ] $ sol : rk ( eq , [ x , y , z ], [ 1 , 0 , 0 ], [ t , 0 , 50 , 1 / 100 ]) $ len : length ( sol ) $ x : makelist ( sol [ k ][ 2 ], k , len ) $ y : makelist ( sol [ k ][ 3 ], k , len ) $ z : makelist ( sol [ k ][ 4 ], k , len ) $ draw3d ( puntos_unidos = verdadero , tipo_punto =- 1 , puntos ( x , y , z ), ejes_proporcionales = xyz )$                                  

Simulación MATLAB

% Resolver sobre el intervalo de tiempo [0,100] con condiciones iniciales [1,1,1] % ''f'' es un conjunto de ecuaciones diferenciales % ''a'' es una matriz que contiene las variables x, y y z % ''t'' es una variable de tiemposigma = 10 ; beta = 8 / 3 ; rho = 28 ; f = @( t , a ) [ - sigma * a ( 1 ) + sigma * a ( 2 ); rho * a ( 1 ) - a ( 2 ) - a ( 1 ) * a ( 3 ); - beta * a ( 3 ) + a ( 1 ) * a ( 2 )]; [ t , a ] = ode45 ( f ,[ 0 100 ],[ 1 1 1 ]); % Solucionador de EDO de Runge-Kutta de 4.º/5.º orden plot3 ( a (:, 1 ), a (:, 2 ), a (:, 3 ))                         

Simulación de Mathematica

Forma estándar:

tendencia = 50 ; eq = { x ' [ t ] == σ ( y [ t ] - x [ t ]), y ' [ t ] == x [ t ] ( ρ - z [ t ]) - y [ t ], z ' [ t ] == x [ t ] y [ t ] - β z [ t ]}; inicial = { x [ 0 ] == 10 , y [ 0 ] == 10 , z [ 0 ] == 10 }; pars = { σ -> 10 , ρ -> 28 , β -> 8 / 3 }; { xs , ys , zs } = NDSolveValue [{ eq /. pars , init }, { x , y , z }, { t , 0 , tend }]; ParametricPlot3D [{ xs [ t ], ys [ t ], zs [ t ]}, { t , 0 , tend }]                                                           

Menos verboso:

lorenz = ModeloEspacialDeEstadoNoLineal [{{ σ ( y - x ), x ( ρ - z ) - y , x y - β z }, {}}, { x , y , z }, { σ , ρ , β }]; soln [ t_ ] = RespuestaDeEstado [{ lorenz , { 10 , 10 , 10 }}, { 10 , 28 , 8 / 3 }, { t , 0 , 50 }]; TrazadoParamétrico3D [ soln [ t ], { t , 0 , 50 }]                                     

Simulación de Python

importar  matplotlib.pyplot  como  plt importar  numpy  como  npdef  lorenz ( xyz ,  * ,  s = 10 ,  r = 28 ,  b = 2.667 ): """  Parámetros  ----------  xyz : tipo matriz, forma (3,)  Punto de interés en el espacio tridimensional.  s, r, b : float  Parámetros que definen el atractor de Lorenz.  Devuelve  -------  xyz_dot : matriz, forma (3,)  Valores de las derivadas parciales del atractor de Lorenz en *xyz*.  """  x ,  y ,  z  =  xyz  x_dot  =  s * ( y  -  x )  y_dot  =  r * x  -  y  -  x * z  z_dot  =  x * y  -  b * z  return  np . array ([ x_dot ,  y_dot ,  z_dot ])dt  =  0,01 num_pasos  =  10000xyzs  =  np . empty (( num_steps  +  1 ,  3 ))  # Se necesita uno más para los valores iniciales xyzs [ 0 ]  =  ( 0. ,  1. ,  1.05 )  # Establecer valores iniciales # Recorrer el "tiempo", calculando las derivadas parciales en el punto actual # y usándolas para estimar el siguiente punto para  i  en  el rango ( num_steps ):  xyzs [ i  +  1 ]  =  xyzs [ i ]  +  lorenz ( xyzs [ i ])  *  dt# Trazar ax  =  plt . figure () . add_subplot ( proyección = '3d' )ax . plot ( * xyzs . T ,  lw = 0.6 ) ax . set_xlabel ( " Eje X" ) ax . set_ylabel ( "Eje Y" ) ax . set_zlabel ( "Eje Z" ) ax . set_title ( "Atractor de Lorenz" )plt . mostrar ()
Simulación del sistema de Lorenz en R
Simulación R

Simulación R

biblioteca ( deSolve ) biblioteca ( plotly ) # parámetros prm <- list ( sigma = 10 , rho = 28 , beta = 8 / 3 ) # valores iniciales varini <- c ( X = 1 , Y = 1 , Z = 1 )                      Lorenz <- función ( t , vars , prm ) { con ( como.lista ( vars ), { dX <- prm $ sigma * ( Y - X ) dY <- X * ( prm $ rho - Z ) - Y dZ <- X * Y - prm $ beta * Z return ( lista ( c ( dX , dY , dZ ))) }) }                            veces <- seq ( desde = 0 , hasta = 100 , por = 0.01 ) # llamar al solucionador de ode out <- ode ( y = varini , veces = veces , func = Lorenz , parms = prm )                       # para asignar color a los puntos gfill <- function ( repArr , long ) { rep ( repArr , ceiling ( long / length ( repArr )))[ 1 : long ] }      dout <- as.data.frame ( salida )  dout $ color <- gfill ( arcoiris ( 10 ), nrow ( dout ))   # Producción de gráficos con Plotly: plot_ly ( data = dout , x = ~ X , y = ~ Y , z = ~ Z , tipo = 'scatter3d' , modo = 'lines' , opacidad = 1 , línea = lista ( ancho = 6 , color = ~ color , reverscale = FALSE ) )                              

Aplicaciones

Modelo de convección atmosférica

Como se muestra en el artículo original de Lorenz, [24] el sistema de Lorenz es una versión reducida de un sistema más grande estudiado anteriormente por Barry Saltzman. [25] Las ecuaciones de Lorenz se derivan de la aproximación de Oberbeck-Boussinesq a las ecuaciones que describen la circulación de fluidos en una capa poco profunda de fluido, calentada uniformemente desde abajo y enfriada uniformemente desde arriba. [26] Esta circulación de fluidos se conoce como convección de Rayleigh-Bénard . Se supone que el fluido circula en dos dimensiones (vertical y horizontal) con condiciones de contorno rectangulares periódicas. [27]

Las ecuaciones diferenciales parciales que modelan la función de corriente y la temperatura del sistema se someten a una aproximación espectral de Galerkin : los campos hidrodinámicos se expanden en series de Fourier, que luego se truncan severamente a un solo término para la función de corriente y dos términos para la temperatura. Esto reduce las ecuaciones del modelo a un conjunto de tres ecuaciones diferenciales ordinarias no lineales acopladas. Se puede encontrar una derivación detallada, por ejemplo, en textos de dinámica no lineal de Hilborn (2000), Apéndice C; Bergé, Pomeau y Vidal (1984), Apéndice D; o Shen (2016), [28] Materiales complementarios.

Modelo de la naturaleza del caos y el orden en la atmósfera.

La comunidad científica acepta que las características caóticas encontradas en los modelos de Lorenz de baja dimensión podrían representar características de la atmósfera de la Tierra ( [29] [30] [31] ), lo que da como resultado la afirmación de que "el clima es caótico". En comparación, basándose en el concepto de coexistencia de atractores dentro del modelo de Lorenz generalizado [22] y el modelo de Lorenz original ( [32] [33] ), Shen y sus coautores [31] [34] propusieron una visión revisada de que "el clima posee tanto caos como orden con una previsibilidad distintiva". La visión revisada, que es una acumulación de la visión convencional, se utiliza para sugerir que "las características caóticas y regulares encontradas en los modelos teóricos de Lorenz podrían representar mejor las características de la atmósfera de la Tierra".

Resolución del problema 14 de Smale

El problema 14 de Smale dice: "¿Las propiedades del atractor de Lorenz exhiben las de un atractor extraño ?". El problema fue respondido afirmativamente por Warwick Tucker en 2002. [21] Para probar este resultado, Tucker utilizó métodos numéricos rigurosos como la aritmética de intervalos y las formas normales . Primero, Tucker definió una sección transversal que es cortada transversalmente por las trayectorias de flujo. A partir de esto, se puede definir el mapa de primer retorno , que asigna a cada uno el punto donde la trayectoria de primer retorno interseca .

Luego la prueba se divide en tres puntos principales que se prueban e implican la existencia de un atractor extraño. [35] Los tres puntos son:

Para probar el primer punto, notamos que la sección transversal está cortada por dos arcos formados por . [35] Tucker cubre la ubicación de estos dos arcos con pequeños rectángulos , la unión de estos rectángulos da . Ahora, el objetivo es probar que para todos los puntos en , el flujo traerá de vuelta los puntos en , en . Para hacer eso, tomamos un plan a continuación a una distancia pequeña, luego, tomando el centro de y usando el método de integración de Euler, uno puede estimar dónde traerá el flujo lo que nos da un nuevo punto . Luego, uno puede estimar dónde se mapearán los puntos en en usando la expansión de Taylor, esto nos da un nuevo rectángulo centrado en . Por lo tanto, sabemos que todos los puntos en se mapearán en . El objetivo es hacer este método de forma recursiva hasta que el flujo regrese a y obtengamos un rectángulo en tal que sepamos que . El problema es que nuestra estimación puede volverse imprecisa después de varias iteraciones, por lo tanto, lo que hace Tucker es dividir en rectángulos más pequeños y luego aplicar el proceso de forma recursiva. Otro problema es que a medida que aplicamos este algoritmo, el flujo se vuelve más "horizontal", [35] lo que genera un aumento drástico de la imprecisión. Para evitarlo, el algoritmo cambia la orientación de las secciones transversales, que pasan a ser horizontales o verticales.

Galería

Véase también

Notas

  1. ^abc Lorenz (1963)
  2. ^ Lorenz (1960)
  3. ^ abc Gorrión (1982)
  4. ^ Haken (1975)
  5. ^ Perilla (1981)
  6. ^ Gorman, Widmann y Robbins (1986)
  7. ^ Hematí (1994)
  8. ^ Cuomo y Oppenheim (1993)
  9. ^ Polonia (1993)
  10. ^ Tzenov (2014) [ cita requerida ]
  11. ^ Kolář y Gumbs (1992)
  12. ^ Mishra y Sanghi (2006)
  13. ^ Hirsch, Smale y Devaney (2003), págs. 303-305
  14. ^ Hirsch, Smale y Devaney (2003), págs. 306+307
  15. ^ Hirsch, Smale y Devaney (2003), págs. 307-308
  16. ^ ab Kuznetsov, NV; Mokaev, TN; Kuznetsova, OA; Kudryashova, EV (2020). "El sistema de Lorenz: límite oculto de estabilidad práctica y la dimensión de Lyapunov". Dinámica no lineal . 102 (2): 713–732. doi : 10.1007/s11071-020-05856-4 .
  17. ^ Grassberger y Procaccia (1983)
  18. ^ Leonov y otros (2016)
  19. ^ Kuznetsov, Nikolay; Reitmann, Volker (2021). Estimaciones de la dimensión del atractor para sistemas dinámicos: teoría y computación. Cham: Springer.
  20. ^ Guckenheimer, Juan; Williams, RF (1 de diciembre de 1979). "Estabilidad estructural de los atractores de Lorenz". Publicaciones Mathématiques de l'Institut des Hautes Études Scientifiques . 50 (1): 59–72. doi :10.1007/BF02684769. ISSN  0073-8301. S2CID  55218285.
  21. ^Por Tucker (2002)
  22. ^ abc Shen, Bo-Wen (1 de marzo de 2019). "Retroalimentación negativa agregada en un modelo generalizado de Lorenz". Revista internacional de bifurcación y caos . 29 (3): 1950037–1950091. Bibcode :2019IJBC...2950037S. doi : 10.1142/S0218127419500378 . ISSN  0218-1274. S2CID  132494234.
  23. ^ ab Shen, Bo-Wen (28 de abril de 2014). "Retroalimentación no lineal en un modelo de Lorenz de cinco dimensiones". Revista de ciencias atmosféricas . 71 (5): 1701–1723. Bibcode :2014JAtS...71.1701S. doi :10.1175/jas-d-13-0223.1. ISSN  0022-4928. S2CID  123683839.
  24. ^ Lorenz (1963)
  25. ^ Saltzman (1962)
  26. ^ Lorenz (1963)
  27. ^ Lorenz (1963)
  28. ^ Shen, B.-W. (21 de diciembre de 2015). "Retroalimentación no lineal en un modelo de Lorenz de seis dimensiones: impacto de un término de calentamiento adicional". Procesos no lineales en geofísica . 22 (6): 749–764. Bibcode :2015NPGeo..22..749S. doi : 10.5194/npg-22-749-2015 . ISSN  1607-7946.
  29. ^ Ghil, Michael; Read, Peter; Smith, Leonard (23 de julio de 2010). "Flujos geofísicos como sistemas dinámicos: la influencia de los experimentos de Hide". Astronomía y geofísica . 51 (4): 4.28–4.35. Bibcode :2010A&G....51d..28G. doi :10.1111/j.1468-4004.2010.51428.x. ISSN  1366-8781.
  30. ^ Read, P. (1993). Aplicación del caos a la meteorología y el clima. En The Nature of Chaos; Mullin, T., Ed . Oxford, Reino Unido: Oxford Science Publications. págs. 220–260. ISBN 0198539541.
  31. ^ ab Shen, Bo-Wen; Pielke, Roger; Zeng, Xubin; Cui, Jialin; Faghih-Naini, Sara; Paxson, Wei; Kesarkar, Amit; Zeng, Xiping; Atlas, Robert (12 de noviembre de 2022). "La naturaleza dual del caos y el orden en la atmósfera". Atmósfera . 13 (11): 1892. Bibcode :2022Atmos..13.1892S. doi : 10.3390/atmos13111892 . ISSN  2073-4433.
  32. ^ Yorke, James A.; Yorke, Ellen D. (1979-09-01). "Caos metaestable: La transición a un comportamiento caótico sostenido en el modelo de Lorenz". Journal of Statistical Physics . 21 (3): 263–277. Bibcode :1979JSP....21..263Y. doi :10.1007/BF01011469. ISSN  1572-9613. S2CID  12172750.
  33. ^ Shen, Bo-Wen; Pielke, RA; Zeng, X.; Baik, J.-J.; Faghih-Naini, S.; Cui, J.; Atlas, R.; Reyes, TAL (2021), Skiadas, Christos H.; Dimotikalis, Yiannis (eds.), "¿Es caótico el clima? Atractores caóticos y no caóticos coexistentes dentro de los modelos de Lorenz", 13.ª Conferencia internacional sobre simulación y modelado caótico , Actas de Springer sobre complejidad, Cham: Springer International Publishing, págs. 805–825, doi :10.1007/978-3-030-70795-8_57, ISBN 978-3-030-70794-1, S2CID  245197840 , consultado el 22 de diciembre de 2022
  34. ^ Shen, Bo-Wen; Pielke, Roger A.; Zeng, Xubin; Baik, Jong-Jin; Faghih-Naini, Sara; Cui, Jialin; Atlas, Robert (1 de enero de 2021). "¿Es caótico el clima?: coexistencia de caos y orden dentro de un modelo generalizado de Lorenz". Boletín de la Sociedad Meteorológica Estadounidense . 102 (1): E148–E158. Código Bibliográfico :2021BAMS..102E.148S. doi : 10.1175/BAMS-D-19-0165.1 . ISSN  0003-0007. S2CID  208369617.
  35. ^abc Viana (2000)
  36. ^ Heitmann, S., Breakspear, M (2017-2022) Caja de herramientas de dinámica cerebral. bdtoolbox.org doi.org/10.5281/zenodo.5625923

Referencias

Lectura adicional

Enlaces externos