Professional Documents
Culture Documents
PRESENTA:
HERMOSILLO, SONORA.
NOVIEMBRE DE 2006.
ndice general
Introduccin 1.1. La duplicacin del perodo 1.2. Intermitencia 1.3. Cuasi-periodicidad Bifurcaciones horquilla y Hopf 2.1. Bifurcacin horquilla 2.2. Bifurcacin de Hopf 3 Anlisis de bifurcaciones en el sistema de Lorenz 3.1. Qu modela el sistema de Lorenz ? 3 2 Anlisis de estabilidad 3.2.1. Introduccin 3.2.2. Puntos de equilibrio 3.2.3. Variedad central y bifurcacin horquilla en el origen 3.2.4. Bifurcacin de Hopf Familia de Sistemas Tipo Lorenz 4.1. Introduccin 4.2. Sistemas tipo Lorenz 4.3. Como encontrar ms sistemas tipo Lorenz. Sistema de Duffing 5.1. Introduccin 5.2. El Oscilador de Duffing Controlado por el Sistema Unificado 6. Conclusiones Teorema de Hartman-Grobman
Teorema de
5 7 7 8
9 9 10 15 15 20 20 21 22 29 45 45 45 54 57 57 58 63 67 69 69 71 75 3
C. Formas de Jordan
4 D.
NDICE GENERAL
77
77
79 81
'1I
NERAL 77 77 79 81
CAPTULO 1 Introduccin
El modelo dominante y casi exclusivo en las ciencias desde su surgimiento en el siglo XVII ha sido el modelo determinisM segn el cual: "Un proceso se dice determinista si todo su futuro y pasado estn unvocamente determinados por su estado en el momento presente", en palabras del matemtico ruso, pionero de las ciencias del caos, V. Arnold. El determinismo puede ser subvertido de dos maneras: una, por el azar, es decir, la indeterminacin de un estado en relacin con los que le han precedido y los que le sucedern; y otra por el caos, es decir el hecho de que a pesar de que un estado est determinado no pueda ser objeto de prediccin por lo que se podra denominar "la sensibilidad a las condiciones iniciales". El azar se opone al determinismo por el hecho de que mientras que la informacin completa acerca de un sistema determinista se reduce a la serie de ecuaciones que definen su evolucin y una serie de condiciones iniciales (valores de sus variables de estado en un momento temporal determinado), un proceso aleatorio no admite tal compresin de la informacin en una ley general, y la nica posibilidad de describirlo es describir todos sus estados o, como mucho, intentar ajustar dichos estados mediante una ley estadstica. Por su parte los sistemas caticos aunque sean deterministas no permiten la prediccin porque trayectorias que surgen juntas divergen rpidamente borrando el recuerdo de dicho inicio comn. En estos casos se separa el determinismo de las ecuaciones que expresa la necesidad de las matemticas y la predictibilidad que es algo fsico dependiente de las limitaciones asociadas con nuestra finitud humana. En los sistemas caticos pequeas diferencias iniciales se amplifican con el tiempo y dan lugar a diferencias macroscpicas. En la naturaleza ciertos fenmenos pueden ser modelados por unas estructuras matemticas que se denominan sistemas dinmicos y cuyo estado viene definido por una serie de variables que dependen del tiempo (variables de estado) y por una serie de leyes, una dinmica, que expresan las variaciones de las variables de estado a lo largo del tiempo, y que en los casos ms sencillos suelen ser un sistema de ecuaciones diferenciales. La representacin de los sistemas dinmicos se lleva a cabo en un espacio denominado espacio de fases en el que cada punto define un estado y cada trayectoria una evolucin del sistema. Los sistemas dinmicos son conservativos o disipativos segn se conserve o no el volumen en el espacio de fases formado por una serie de puntos que evolucionan al mismo tiempo. Los sistemas disipativos suelen contar con atractores'que son zonas del espacio ,de fases que "atraen" las trayectorias que pasan por sus proximidades, contrayendo las reas 5
CAPTULO 1. INTRODUCCIN
en el espacio de fases y haciendo converger las trayectorias, de forma que dichos atractores representan el comportamiento asinttico del sistema, es decir, cmo se comporta ste a largo plazo. Los atractores clsicos son: un punto fijo, que seala un estado de equilibrio final del sistema; una rbita peridica que seala que la configuracin del sistema evoluciona de forma peridica repitiendo sus estados; una rbita cuasi-peridica, que da lugar a un toro en el espacio de fases; un atractor extrao, atractores muy complejos cuya sensibilidad a las condiciones iniciales impide la predictibilidad a pesar del determinismo riguroso debido a que las trayectorias prximas divergen rpidamente, cuya no periodicidad impide que las curvas se cierren sobre s mimas y por tanto hace que no se pueda predecir pero si da informacin sobre el estado inicial, lo que hace que se puedan distinguir situaciones que en el origen casi se confundan, y cuya fractalidad exhibe una invariancia a travs de distintas escalas. Los atractores extraos son el producto de auto-oscilaciones (perturbaciones que no desaparecen sino que se mantienen una vez aparecidas en sistemas no lineales mediante un mecanismo de retroalimentacin) que dan lugar a inestabilidades locales producto de las condiciones de mezcla en que se encuentran los sistemas que presentan dichos atractores. Un conjunto fractal es un conjunto "muy raro" cuya dimensin es intermedia entre una lnea y una superficie o entre una superficie y un volumen. Son volmenes casi huecos, lneas enmaraadas que casi cubren el conjunto del plano pero sin hacerlo del todo o conjunto de puntos, "polvos", productos de la explosin de la recta. Fractales son las curvas que representan una costa en un plano o la representacin geomtrica tridimensional de un copo de nieve. Estas extraas figuras geomtricas gozan de una peculiar invariancia a travs de las escalas que hace que cada fragmento del fractal sea semejante (autosemejante) a cualquier fragmento ms grande e incluso al fractal en su conjunto. La citada autosemejanza es una consecuencia de que el fractal es el resultado de una aplicacin continua que pliega una y otra vez sobre s mismo el espacio de fases, dando lugar a veces a una estructura hojaldrada, en capas, y expresa la continuidad de las fuerzas que producen la dinmica. Los atractores extraos con estructura de fractal que son ejemplos de caos determinista obedecen a dos constricciones: la divergencia de las trayectorias y su confinamiento en un espacio determinado donde dichas trayectorias se reagrupan constantemente sin cortarse; la sensibilidad a las condiciones iniciales son las responsables del estiramiento del fractal y al confinamiento espacial responde el plegado del mismo. Estas dos condiciones slo se pueden cumplir en espacios de al menos tres dimensiones. Orden y caos establecen entre s un juego complejo ms que una simple oposicin. El caos surge del orden y un cierto orden puede surgir del caos cuando se dan una serie de circunstancias que analizaremos a continuacin. Se puede hablar, por tanto, de un borde del caos ya que el mismo surge cuando la complejidad de un sistema (medida por su capacidad computacional, es decir, su capacidad para almacenar y procesar informacin) alcanza un mximo, cosa que sucede en una estrecha zona que separa estados altamente ordenados de estados completamente caticos. Del orden se puede pasar al caos (en sistemas no lineales de al menos tres variables) a travs de tres caminos principales que suponen los tres la desestabilizacin
UCCIN
ttractores te a largo
de regmenes peridicos por perturbaciones que en lugar de amortiguarse y desaparecer se amplifican: por duplicacin de perodo, por intermitencias, o por la cuasi-periodicidad.
:iones inilas tr ayeccurvas se formacin en el ori?. distintas desaparenecanismo liciones de entre una Icos, lneas Dnjunto de e represeno de nieve. las escalas fragmento ,nsecuencia vez sobre m capas, y terminista ento en un cortarse; la fractal y al ) se pueden in. El caos de circundel caos ya computain mximo, de estados de al menos ;tabilizacin
1.2. Intermitencia
La transicin mediante intermitencias hacia el caos se produce cuando perodos de comportamiento regular del sistema se ven interrumpidos por explosiones caticas que aparecen a intervalos de tiempo de duracin aleatoria, intermitencia es la situacin en que lo simple y lo complejo se alternan constantemente. Por ejemplo, incluso en amplificadores electrnicos de gran precisin ocasionalmente se producen cortas descargas de electricidad esttica. Eso no se debe a una interferencia externa sino a los resultados de los efectos no lineales dentro del circuito, producindose perodos de caos. Con la aparicin de relojes atmicos de precisin se descubri que la Tierra sufra alteraciones en su rotacin: el paso del "tiempo"de la tierra no es perfectamente regular porque de vez en cuando aparecen estallidos intermitentes de caos. Tambin el cuerpo humano presenta gran variedad de ejemplos de intermitencia. Uno es que se ha demostrado que un poco de caos es necesario para que el sistema inmunolgico funcione de forma eficiente. Intermitencia no slo significa que el caos surja del orden sino tambin que el orden puede surgir en el caos. Aqu surgen algunas preguntas interesantes: "Aparece el
CAPTULO I. INTRODUCCIN
caos porque la conducta regular se rompe temporalmente? O es el orden regular realmente una ruptura del caos que subyace en la realidad? O bien es esa intermitencia la verdadera manifestacin de la complejidad catica?".
1.3. Cuasi-periodicidad
El caos debido a la cuasi-periodicidad se produce por la interaccin y el acoplamiento no lineal de dos o ms osciladores peridicos que transcurre en el espacio de fase sobre la superficie de un toroide. Este tipo de oscilaciones aparece como resultado de la interaccin de dos osciladores que no acoplan de frecuencias diferentes: un oscilador sera el responsable del movimiento peridico a lo largo del toroide, y el otro en la direccin perpendicular al mismo. Cuando las frecuencias de giro y traslacin alrededor del toroide toman valores suficientemente distintos (nmeros irracionales no divisibles entre s) la rbita puede estar dando vueltas alrededor del toroide sin pasar nunca por el mismo punto. Es decir, se obtiene una dinmica aperidica, donde las rbitas prximas transcurren prximas sin diverger ni converger con el paso del tiempo. El espectro de potencia para este comportamiento dinmico muestra picos a los valores de frecuencias bsicas, los cuales aparecen a nmeros irracionales no divisibles entre s, y tambin se observan las combinaciones lineales con nmeros enteros. El exponente mximo de Lyapunov tiene valor cero lo cual indica que rbitas prximas al evolucionar en el tiempo no divergen ni convergen. El mapa estroboscpico de una rbita cuasiperidica se caracteriza por una curva cerrada. La dimensin de correlacin de un atractor toroidal es igual a 265. Los procesos vitales tambin tienen ejemplos de caos determinista, unos favorables y otros desfavorables para la salud. Por ejemplo, un ritmo cardaco sano implica un cierto carcter errtico, signo quizs de la existencia de un atractor extrao, mientras que una periodicidad regular suele preceder a un paro del msculo cardaco. Pero tambin hay regmenes caticos de dicho ritmo que son fatales, como los que acontecen en el fenmeno de la fibrilacin ventricular en el que aunque las partes del corazn funcionan correctamente el msculo se retuerce descoordinado e incapaz de bombear la sangre.
plamiento sobre la :accin de nsable del al mismo. mtemente lo vueltas dinmica ger con el os valores Intre s, y mximo el tiempo aracteriza 1 a 265. les y otros carcter riodicidad ls caticos n ventricretuerce
Figura 2.1: Bifurcacion horquilla supercrtica, donde la curva continua significa que tiene un comportamiento estable, mientras que la linea punteada indica un comportamiento inestable. 9
10
El siguiente teorema, debido a Sotomayor, da condiciones suficientes pero no necesarias para la bifurcacin horquilla
E Rn,
i) nr-Id posee un valor propio cero, con y un vector propio por la derecha y w por la izquierda. Adems, IlelPF IL posee k valores propios con parte real negativa y n k 1 con parte real positiva (contando multiplicidades).
112 T ( a f ( r o, /20)) = o, a wT
tu T
= 0,
f ( X 01 tto) (v))
axa
Y HOPF
11
los sistemas lineales con el subespacio vectorial generado por los vectores propios asociados a valores propios nulos o con parte real nula. Dicha variedad invariante puede ser representada localmente como la grfica de una funcin de clase C r y para el caso que nos ocupa, una aproximacin cuadrtica (e incluso lineal a veces) a la misma, es suficiente. Cuando el punto de equilibrio es no hiperblico debido a la presencia de al menos un valor propio real simple nulo, la restriccin del sistema original a la variedad central es un sistema de dimensin uno en la forma: f (x, p), x e R, p E RP , (2.1)
y si es consecuencia de la presencia de un par de valores propios imaginarios puros, dicha restriccin es bidimensional, siendo el estudio de las bifurcaciones en los sistemas resultantes ms sencillo que en el de partida, toda vez que los mismos son susceptibles de escribirse bajo cierta forma estndar de expresin (llamada forma normal topolgica) comn a todos los sistemas que poseen un mismo tipo de bifurcacin. En el caso de que el equilibrio estacionario sea no hiperblico debido a la presencia de un par de valores propios imaginarios puros para cierto valor del parmetro del sistema, p = po, la restriccin del sistema original a la variedad central es un sistema bidimensional, el cual presentar una bifurcacin de Hopf para p = po, si se verifica cierta condicin de generacidad, traducible en que los valores propios A(p) que son imaginarios puros en po crucen el eje imaginario con velocidad no nula, esto es: d
dReA(p)
^ 0
(2.2)
En tales circunstancias, el teorema de Hopf asegura la existencia de algunas soluciones peridicas bifurcndose a partir de po. La estabilidad de las mismas viene determinada por una segunda condicin expresada en trminos del llamado primer coeficiente de Lyapunov, 11, el cual se deduce en el clculo de la forma normal topolgica correspondiente que, expresada en coordenadas polares, es el siguiente sistema: = (dp +
+ cp + 67-2
donde d est definido en (2.2), co es la parte imaginaria de los valores propios complejos que son imaginarios puros en po, y b y c han de ser calculados a partir de los parmetros del modelo. En estas circunstancias, una condicin suficiente para la existencia de un ciclo lmite estable es que lr < 0, y si /1 > 0, el ciclo lmite es inestable. En el primer caso estamos ante una bifurcacin de Hopf supercrtica y un ciclo lmite estable surge para cada valor del parmetro p mayor que po y lo suficientemente prximo a l. En el segundo caso, se trata de una bifurcacin de Hopf subcrtica y los ciclos aparecen antes de que el parmetro alcance el valor de bifurcacin. Entonces, dado un sistema n-dimensional con un equilibrio no hiperblico para cierto valor de un parmetro, podemos encontrar una variedad central pasando por ese punto y restringir el sistema original a la misma, con lo que el estudio de las bifurcaciones en los sistemas resultantes de dimensiones uno o dos es menos corrplejo, una vez calculadas las formas normales topolgicas equivalentes. Ahora bien, la realizacin de estos clculos no es
sencilla. En la mayora de los casos un tratamiento simblico del problema resulta inabordable y hay que recurrir a tcnicas numricas de resolucin. Formalicemos lo anterior con el siguiente teorema Teorema 2.2 ( Hopf (1942)). Considere la familia uni-paramtrica de ecuaciones diferenciales. X -= F(x, p), (2.3) con F : ir x R lo suficientemente suave. Con un punto de equilibrio (xo, pe) y A(p) = DxF(xo, p).
ir
Si A(po) posee un nico par de valores propios con parte real cero, entonces existe una curva suave de puntos de equilibrio (x(p), p) con x(pa) = xo. Adems, los valores propios A(p), X(p) de A(p), los cuales se hacen imaginarios en po, varan suavemente con el parmetro p. d = (LIS= o.
t
IP=1-40
Entonces de i) y ) existe una nica variedad central tridimensional, pasando por (x0,1.40) E R" x R y un sistema de coordenadas suave, cuya expansin en serie de Taylor, hasta grado tres sobre la variedad central, est dado, en forma polar, por la siguiente expresin = (da
= (, eiibr2.
Si 11 $ O, entonces existe una superficie de rbitas peridicas en la variedad central, las cuales tienen tangencia cuadrtica con el eigenespacio generado por A(po), X(4 0 ). Si < O las rbitas peridicas son estables (caso supercrtico) mientras que si 1 1 > O son inestables (caso subcrtico). Para calcular el coeficiente 11 , consideremos el siguiente sistema
1 1 i ' 1
f 1 wex2 + fi ( X 15 X2) wx1 f2( X 1, X2) I, 2 que se se obtiene del sistema (2.3) al hacer p = po y hacer un cambio de coordenadas adecuado. Sean Ri fixixixi + flxix2r2 + f2x i x i x2 + f2x2 x2x2 jx=x0
R2
,
i . 1
h l Donde los subndices de las A para i = 1,2 indican derivadas parciales. [ I 1 11' Luego
/1 = 1 6 n, 1 7., [xn. + n2] CO2
HOPF
13
)ordable
Si d > 0, < 0. El origen es estable para p < O, inestable para p > O, y rodeado por una orbita periodica estable para p > O. Esta situacin es mostrada en la figura (2.3).
dijeren(2.3)
Si d < 0, / 1 < 0. El origen es inestable para p < O y estable para p > 0. El origen es rodeado por una orbita periodica estable para p < O.
A(p),
viste una propios e con el
Si d > O, lr > 0. El origen es estable para p < O e inestable para p > O. Adems, el origen es rodeado por una orbita periodica inestable para p < O.
Si d < O, t i > 0. El origen es inestable para p < O, estable para p > O, y rodeado por una orbita periodica inestable para p. > O esto es mostrado en la figura (2.4).
lenadas
Figura 2.3: Bifurcacin de Hopf Supercrtica: Una rbita peridica estable y un punto de equilibrio inestable surgen de un punto de equilibrio estable.
14
Figura 2.4: Bifurcacin de Hopf Subcrtica: Un equilibrio estable y una rbita per'odica inestable se funden en un punto de equilibrio inestable.
A Y HOPF
15
16
3.1. de q se In a la una ente.] hace: tan sera tres georr confc A mue:
diferenciales. Para poder comprender este modelo, resulta conveniente imaginar que cualquier condicin climtica podra ser representada como un punto dentro de un espacio tridimensional. As. por ejemplo, el eje x podra representar la temperatura mientras que el eje y representara la humedad y, sel eje z podra referirse a la presin baromtrica, como se aprecia en la figura (3.1).
Figura 3.1: Condicin climtica representada como un punto dentro de un espacio tridimensional.
En este espacio de fases simplificado, un da soleado estara representado por el punto A, uno lluvioso por el punto B y una nevisca por el punto C. Resulta razonable suponer que el clima de hoy est afectado en gran medida por el clima observado el da de ayer, el de ayer por el del da anterior y as sucesivamente. De acuerdo con esta lnea de razonamiento, es evidente que el clima actual influir en el de maana y ste en el del da siguiente. Ahora bien, si se van trazando los puntos correspondientes a las condiciones meteorolgicas observadas, se obtendra una grfica mostrando la ruta que sigue el sistema a travs del espacio de fases seleccionado y esto, en teora, permitira hacer una proyeccin sobre su comportamiento futuro. Lorenz lleg bsicamente a las mismas conclusiones y al ir ajustando progresivamente la interrelacin entre las variables seleccionadas, mejor substancialmente la capacidad predictiva del modelo que haba desarrollado. Durante algn tiempo, los resultados obtenidos fueron iguales a los esperados; es decir, las predicciones climticas del modelo coincidan con el clima observado. Una maana, sin embargo, Lorenz decidi redondear los resultados obtenidos de la corrida anterior en lugar de introducir las cifras completas a su computadora Royal McBee. El modelo pareci ignorar dicha falta de precisin al principio pero muy pronto comenz a trazar una ruta completamente distinta a la que haba venido siguiendo, como lo ilustra la figura 3.2. Luego de haber descartado las causas ms obvias de estas diferencias, lleg a la conclusin
1 3.4. E tridii para] Lore: de w para E longi que 1 cati Stok, tridii
LORENZ
17
de que se deba haber introducido cifras redondeadas al principio de la corrida, cuyo error se haba magnificado a tal grado que el diagrama segua una ruta completamente distinta a la anterior. Esto planteaba una cuestin muy sera sobre la validez de su modelo, pues si una diferencia de pocas milsimas poda causar que se pronosticaran heladas en pleno verano, entonces un error insignificante al momento de establecer las condiciones iniciales podra hacer que el modelo se equivocara completamente, en sus predicciones a corto plazo seran tan confiables como tirar una moneda al aire para determinar si el clima del da siguiente sera soleado o lluvioso. Para trazar las tres ecuaciones diferenciales se requiere de una computadora que simule tres planos y en donde aparece la figura ya mostrada. En lugar de una simple estructura geomtrica o curva compleja, la estructura conocida como atractor de Lorenz va emergiendo conforme se iteran las ecuaciones. Al proyectarla sobre el plano x - z, este atractor se asemeja a una mariposa, como se muestra a continuacin en la figura 3.2.
tridimen-
Figura 3.2: Mariposa de Lorenz Una proyeccin sobre el plano y - z parece una mascara de bho, como se ve en la figura 3.4. Finalmente, la proyeccin sobre el plano x - y se utiliza principalmente para vislumbrar la tridimensionalidad de la curva, pues parece dos platos de papel sobre planos diferentes pero paralelos que se conectan a travs de una cadena. Conforme se va trazando el atractor de Lorenz, una cadena se va dibujando desde uno de los platos y comienza a trazar el contorno de una de las alas de la mariposa, luego se lanza hacia el extremo opuesto y dibuja el centro para continuar repitiendo este proceso infinitamente. Esto se ilustr en la figura 3.2. En teora, el trazado de la curva debera continuar infinitamente pero en la prctica, la longitud de dgitos que es capaz de manejar con exactitud determinada computadora es lo que limita su definicin y, por lo mismo, su exactitud. Cuando Lorenz intentaba modelar el comportamiento del clima mediante la conducta catica de los gases, tom unas cuantas de las ecuaciones conocidas como el sistema de NavierStokes del campo de la dinmica de fluidos y, al simplificarls, obtuvo el siguiente sistema tridimensional:
onclusin
18
= (y x)
= px y xz = xy bz
En estas ecuaciones, representa el nmero de Prandtl, que es la relacin entre la viscosidad d un fluido y su conductividad trmica, con un valor de 10. El parmetro p representa el nmero de Raleght, que es la diferencia de temperaturas entre la parte inferior y la superior del sistema, con un valor de 28. La variable b representa la relacin entre la longitud y la altura de la caja que se emplea para contener el gas, con un valor de 8/3. La x resultante de esta ecuacin representa la razn de rotacin del cilindro, y seala la diferencia entre temperaturas en los lados opuestos del cilindro, mientras que z representa la desviacin del sistema de la lnea vertical graficada correspondiente a la temperatura
; LORENZ
19
Para enlazar el atractor de Lorenz con la realidad se podra argumentar que cada lbulo representa uno de los regmenes climticos identificados como estable e inestable. Al seleccionar un punto cualquiera sobre la grfica del atractor, se estara seleccionando un clima instantneo que tiene tanto un pasado como un futuro estrictamente determinista. Sin embargo, al magnificar arbitrariamente cualquier seccin de la grfica se descubrir que la trayectoria que sigue el sistema por su espacio de fases es una, slo que nunca se cruza o se encima, aunque definitivamente llena el plano sobre el que se le traza. Esto significa que se pueden seleccionar dos puntos arbitrariamente cercanos a uno de los lbulos del atractor y al recorrer sus trayectorias respectivas, se puede observar cualquiera de los tres comportamientos siguientes, ilustrados en la figura 3.5.
Figura 3.5: Diferencias entre un comportamiento impredecible, debido a la rpida divergencia de rutas, y uno pronosticable, por existir un miniatractor dentro del espacio de face.
(3.1)
(3.2) (3.3)
Del lado izquierdo se presenta el caso en el que ambos puntos evolucionan de manera similar y permanecen dentro del mismo lbulo; al centro se encuentra una evolucin parecida que traslada los puntos hacia el lbulo opuesto y, finalmente, del lado derecho, se ilustra el caso en el que los puntos evolucionan de manera diferente: mientras que un punto permanece en el mismo lbulo, el otro se traslada hacia el lbulo opuesto. Sin importar qu tanto se magnifique la grfica, la incertidumbre sobre qu trayectoria habr de seguir el punto seleccionado permanecer. La figura 3.6 muestra estos dos casos: el primero le permitira a los meteorlogos realizar un pronstico climtico confiable, mientras que el segundo sera totalmente incierto, resultando nuevamente el efecto que puede tener un pequeo error de medicin en las condiciones iniciales. Quiz parecera que lo ms obvio para reducir o eliminar este problema consistira en aumentar la precisin de nuestros instrumentos de medicin, lo que en teora podra incrementar la capacidad predictiva de los modelos elaborados. Sin embargo, los efectos de la no linealidad y
20
Figura 3.6: Distintos comportamientos posibles de dos puntos arbitrariamente cercanos entre s. de la retroalimentacin frustraran todo intento por aumentar significativamente el horizonte de predictibilidad. El modelo de Lorenz nicamente considera tres variables, por lo que se dice que tiene tres grados de libertad, mientras que los modelos climticos actuales poseen hasta un milln de grados de libertad y, sin embargo, su capacidad predictiva tiene un horizonte de poco ms o menos una semana. Curiosamente, el comportamiento generado por el modelo de Lorenz es virtualmente indistinguible de los patrones observados en la naturaleza. Si un especialista revisara ambas grficas, sera incapaz de reconocer cul de ellas es la real y cul la simulada. El trmino sensibilidad a las condiciones iniciales es el concepto que normalmente se emplea para explicar este tipo de conducta irregular. Fue acuado para describir el fenmeno que hace que pequenos cambios en un sistema recursivo se magnifiquen hasta alternar drsticamente los resultados esperados. El mismo Lorenz ide una analoga que ilustra perfectamente este concepto: el efecto Mariposa. Si existiera otro planeta idntico a la Tierra y una mariposa decidiera batir sus alas en uno mientras que en el otro permaneciera quieta, las fluctuaciones creadas se iran magnificando exponencialmente hasta que, eventualmente, los patrones climticos fueran distintos en ambos planetas. De esta analoga naci la idea de que una mariposa en Hong Kong podra causar un tornado en Kansas. Parece ilgico que un efecto tan pequeo pudiera tener consecuencias tan dramticas pero esto es precisamente lo que pretende establecer la teora del caos.
I :
iE LORENZ
21
comprobar dicha conjetura ya que el el sistema de Lorenz no cuenta con trminos de orden tres. Es por ello que dividimos el estudio de los puntos de equilibrio en tres casos, para valores del parmetro p: Cuando 0 < < 1, el origen es el nico equilibrio y es estable. Para p = 1 sigue habiendo un punto de equilibrio, el cual es no-hiperblico y se tiene que calcular la variedad central, demostrndose que el origen es estable.
3. Y
1, grficamente se observa que el (O, O, O) es inestable, mientras surgen otros dos puntos de equilibrio C1,2 = I 2.V2(P-1)2.1 3 ' 1 . Para 3
>
por ltimo, si p
1 < < 4;4 3 se prueba, utilizando el criterio de Routh, que los valores propios son complejos con parte real negativa por lo cual C1 , 2 son estables. Tcanos entre Por tanto, del pasado anlisis y de la observacin de que los otros dos equilibrios se colapsan al (O, O, O), se concluye que en = 1 ocurre una bifurcacin horquilla, con lo cual se termina el anlisis del origen. Posteriormente pasamos a estudiar los otros puntos de equilibrio, de donde slo es suficiente estudiar uno de ellos ya que el sistema de Lorenz bajo la transformacin (x, y, z) -n (-x, -y, z) es simtrico. Se utiliza el criterio de Routh para obtener exactamente los valores dnde cambia de signo la parte real de los valores propios, se ubica el caso para el cual los valores propios pasan de ser reales a complejos. Para la bifurcacin tipo Hopf se encuentra el valor del parmetro para el cual ocurra sta, para lo cual tambin se verifica cundo los valores propios atraviesan el eje imaginario, despus se calcula la variedad central para encontrar el coeficiente de Lyapunov, y se concluye que la rbita peridica es inestable, y ocurre una bifurcacin de Hopf subcrtica.
el horizonte o que se dice )oseen hasta horizonte de !nte indistintas grficas, te se emplea nmeno que minar drstitra perfectatierra y una a quieta, las talmente, los la idea de 5gico que un cisamente lo
x)
(3.4)
(3.5) (3.6)
=
z
pa -
y - Tz
8z 3
xy -
De (3.4) obtenemos que y = x, sustituyendo este resultado en (3.5) obtenemos por un lado que x = O y por otro z = p - 1. Ahora si sustitumos esto en (3.6), obtendramos para x = 0, z = 0. Por lo tanto tendramos que (O, O, O) es un punto de equilibrio. Si sustituimos z = 0 - 1 y x = y en (3.6), encontramos que x = 2V207 1) , entonces tendramos que existen otros dos puntos de equilibrios que son:
C1 , 2=
(2V 2(p
1) , 3
2V2(il
3 -
1) , b
i 1)
22
A -=- Df(0,0,0) =
10 10 0 p 1 0 0 08 5
Entonces, los valores propios son, A1,2 = y A3 = valores propios A1 ,2 para el caso en que O < p < 1. Observe que,
1 11-V122 40(1p)
A2 11,X 1,0
10p =- O
p = (A + 1)(A + 10). 10
Observando la figura 3.7 es fcil concluir que si O < < 1 entonces A1,2 < 0.Comcluimos entonces que
Al < A2 < A3 = 0 O
= R3
Bajo estos argumentos podemos concluir que (0,0,0) es un nodo estable para
< 1.
^IVI
LORENZ
23
Figura 3.7: p =- 1 (A + 1)(A + 10) Ahora bien, si p = 1, de nuevo por la figura 3.7, conclumos que A l = O y A 2 al =
Ay < <
O, por lo tanto,
O } 11 8 5
= R Es =
R2
miente forma
A3 =
Entonces, para p = 1 el origen es un punto de equilibrio no-hiperblico, por lo tanto no se puede utilizar el teorema de Hartman-Grobman (Apndice A). Por tanto, para conocer la estabilidad de (O, O, O) tendremos que calcular la variedad central, lo que nos ocupar ms tiempo, por lo cual haremos un parntesis antes de calcular dicha variedad. Para ver qu ocurre cuando 12 > 1, observemos la figura 3.8 y concluyamos que a estudiar los
0.Comcluimos
24
Al >
0}
8} 5 0
A 2 <
A3 -
Es = R2
Entonces, para p > 1 tenemos que el origen es un punto de equilibrio tipo silla. 0 apndice (B), para Ahora regrsemos al caso = 1, y encontremos la variedad central W/ (0) terminar con el anlisis del origen, dar una conclucin a cerca de su estabilidad y si ocurre alguna bifurcacin. Empezaremos encontrando los vectores propios, para A l = O tenemos Av1 = O de donde, v12 0 ( 10 10 0 v1 1 1 0 0 -1 V13 3 Desarrollando lo anterior tenemos el siguiente sistema de donde obtendremos el vector propio 10v11 10v12 = 0 vil v 12 = 0 3
= 0
(3.7)
(3.8)
(3.9)
O Para encontrar el siguiente vector tomemos en cuenta el siguiente valor propio A2 = 11, de aqu que de (A .\2 .0v2 O obtenemos, /1 10 0 1 10 de donde se obtiene el sistema siguiente
Y21 + 10v22 -= 0
vv2 212
V23
=0
25
Como (3.10) y (3.11) son la misma ecuacin y v 2 3 = 0, otro vector propio sera ( 10
V2 = 1
LORENZ
25
Para tener la matriz P, la cual ser nuestra matriz cambio de base, slo nos falta v 3 , el que obtendremos del valor propio A3 = -N. Entonces, si desarrollamos (A A 3/)v3 = O tenemos, ( 22 10 0 0)(v v3321 ) = 0 5 13 S 0 00 V33 lo cual nos genera el siguiente sistema, 22v31 3 + 10v32 = O (3.13) 5v32 = 0 3 de donde, v33 es libre, escojamos v33 = 1, de (3.14) v31 = haciendo unos clculos sencillos tenemos, v31 + v3 = 0 1) Entonces, la matriz cambio de base es 1 10 0 P = 1 10 O 01 con
10 11 O 1 11 O
11
= 11, de
p-1 =
11
y es tal que 0 O 0) 1 AP = 0 11 0 o I (P o El siguiente cambio de coordenadas nos permitir rotar los espacios E s y Es, ( 1 -10 0 ) ( tul ) = ( wi. -10w2 (x) = p (wi ) y 1 1 0 1 = W 2 0 1 W3 O z W3 W3 Ahora, por otra parte, tenemos W. W2 ( w3
= 1
V? O
1
(x
y = x Ti y
= \
n 0
z 0 1 /
26
= 10w2
tct +
W3
W2
Ahora derivemos w 1 , w2 y w3 , para obtener el sistema en las nuevas coordenadas, sustituyamos primero las derivadas en x, y, z del sistema de Lorenz y de las ecuaciones anteriores para obtener el sistema deseado. Empecemos por derivar w1, de donde obtenemos. 1 10 wi =- 11 x + 11 y dwt 1 dx 10 dy dt .= 11 dt + 11 dt Si sustitumos el valor de = <I y del sistema de Lorenz en la ecuacin anterior y despus dt sustitumos los valores de x,y,z del cambio de coordenadas junto con un poco de lgebra llegamos al siguiente valor de t', 10 100 vil = W 11 1 W 3 w2w3 11 Si realizamos el mismo procedimiento pero ahora para w 2 tenemos que 121 1 10 /b 2 W 2 W W W2W3 1 3 11 11 11 Entonces, para w3 tendramos
w3 z
adt ; dt
dz
'I .:1;ri
de donde si sustitumos i del sistema de Lorenz y simplificamos obtenemos 8 v33 w? 9w 1 w 2 w3 10w22 3 POr lo tanto tenemos el nuevo sistema en trminos de la matriz cambio de base, 10 100 1b1 ilW1W3 W2W3 = 11W2 11 W1 W3 + hOw2w3
= N W3 + W? 9W1W2 10W1
j1,
5 LORENZ
3.2. ANLISIS DE ESTABILIDAD Entonces, el sistema anterior lo podemos reescribir de la siguiente manera 100 10 1.61 = O - wiw3 + w2w3 11 11
U52 ( 2i/3 ) ( -11 O _ _1 wiw3 10w2w3
27
(3.15) (3.16)
ii
ii
(3.17)
Para 5 > 0 donde h1 (0) = 0, h2(0) = 0, Dh 3 (0) = O, Dh2 (0) = O. Hagamos A=0 B instituyamos tenores para
f (wi, w2, Iva) =
( - 11 o
0)
-uwiw 3 +w2w3
[ _ ili w1w3 + 10
lowN
arw? + azwl +
h 2( w 1) = biw? + 62w? + -
Ahora sustituyendo en la ecuacin en derivadas parciales para iii (wi ) y h2 (w 1 ) dada por la ecuacin homolgica o Dh(wi) [Awi + f (tvi, h(w1))1 - Bh(wi) 9(w i, h(wi)) Dhl(wi) [ Awi + f(wi, W2, W3)
IL Dhs(wi) h2(w1) B [ h1(wi)
9 (w i tu s, w a)
O
+ :-=_ O
(11
1 0 1 ) alW12 -1- " ' _ -w1(b1w7+ .) + 1(alla7 . )(bital ...) w? - 9w3 (a l w? + - ) - 10(a i w? + - - )2
O - 3/ kW?
Desarrollando lo anterior y tomando en cuenta slo los trminos de orden tres llegamos a
( llaiw? + 11a2w? + l i ibiw? + O + -0
Ibi w? + 3b2w? - w? - 9a i w? + O +
28
al = O (3.18) 11a2 = 3 = 8 b2 = 0
L
11a2 +
11
= O
11
1 = O
a2 =
W3 =
h2(W1) =
0(4)
Ahora el comportamiento de las soluciones sobre Wfoc (0) del sistema dado por (3.15) y (3.17) est determinada por la ecuacin diferencial sobre Ee. w l = Aw 1 + f(wil Hwi hz(wi) + =
-
h2(w2)), tal E E`
(W1)h2(1)1)
IW1 < E.
(iw?) +10(- wD
+
tv?) +...
Entonces, grficamente se representara como en la figura 3.9. Entonces, concluimos que las soluciones sobre la variedad central son estables, por lo tanto, el origen para el valor de p = 1 es estable. Hagamos un recuento de lo que se hizo en esta seccin para poder dar una conclusin. Para O < p < 1 el origen es un equilibrio estable, pero cuando p > 1 el (O, 0,0) es inestable. Al mismo tiempo que los equilibrios C1,2, antes de colapsarse al origen, para 1 < p < 44 generan valores propios que tienen parte real negativa por lo cual estos equilibrios son estables. Este ltimo argumento es hecho basndose en el criterio de Routh, el cual se desarrolla en la siguiente seccin. Entonces de lo anterior podemos concluir que en el valor de ti = 1 ocurre una bifurcacin horquilla, la cual se muestra en la figura 3.10.
LORENZ
29
(3.21)
Figura 3.9: Comportamiento de las soluciones sobre noc(0) 3.2.4. Bifurcacin de Hopf Ahora pasaremos a estudiar la estabilidad de Cl, el estudio de C2 se omitir ya que, como probaremos lineas abajo, el sistema de Lorenz es simtrico bajo la transformacin (x, y, z) (x, y, z), entonces slo bastar estudiar Cl. Considere la transformacin T : R 3 > R 3 , dada por T(x, y, z) = (x, y, z), y el sistema de Lorenz tb f (w), f1 1: 0) px y f1(w) donde tu = ( y y f (W) = f2 (w) -XX)Z Sea a(t) = (x(t), y(t), z(t)) z xy - 8z f3 (W) solucin del sistema de Lorenz, entonces debemos probar que T(a(t)) tambin es solucin del sistema de Lorenz, es decir, debemos probar que
d (T(a(t))) = f (T(a(t))).
or (3.15) y
dt
Observe que -1 nos que las or de p = 1 usin. Para iestable. Al 470 generan -9 :lables. Este molla en la = 1 ocurre
dt (T(a(t))) = DT(a(t))40 = o O
0 ) ( X -1 o O1
-X = =- -Ma(t))
(M x (t), Y ( t ), z ( t )) ) (
f2 (T(a(t)))
f3(T(a(t)))
f2(-x(t), - y (t), z (t ))
- fi(a(t)) ) - .f2 ( a (t ) )
f3(a(t))
concluimos entonces que el sistema de Lorenz posee la simetra dada por la transformacin T. Observe que el equilibrio Cl = (24/-1 + p, 24/-1 + p, 1 + p) slo est definido para
30
Figura 3.10: Bifurcacin tipo horquilla valores de p > 1. Utilizando el paquete Mathematica se encontr numricamente que para p > 1 pasaba de tener valores propios reales negativos a complejos con parte real negativa y posteriormente complejos con parte real positiva. De lo anterior se sospecha que pudiera tener una bifurcacin tipo Hopf; para obtener exactamente los valores dnde cambia de signo la parte real de los valores propios utilizamos el criterio de Routh Apndice (D). Encontremos P ( A ) para C1 . Empecemos el anlisis evaluando la Jacobiana (-10
D f (x, y, z) = p z
10 1
0
x 8 3
y en C1
S = D f (Ci ) = (
10 1 2A/-1 + p
10 1 2 4\/-1 +
p
O 24V-1 +p
8 3 3
Entonces desarrollando 15 AIj = 0, se tendria que: 0 24V-1 + p =0 8 _ A 24/-1 + p 24V-1 + p I Desarrollando este determinante y con un poco de lgebra obtenemos la ecuacin caracterstica siguiente, 41 80 60 A3+ - A2 + A(- + 8P ) + 3 (p 1) = 3 3 3 De lo cual tenemos que ao = 1, a l = `4, az = s0 1) y como p > 1 as = tenemos que al > 0, para i = O, , 3, y slo nos faltara verificar que b1 , c1 > 0. Para lo cual 10 A 1 10 1 A
LORENZ
31
es suficiente mostrar que a l a2 aoas > 0, para entender mejor el criterio observe el apndice D. Entonces aiaz cinc/3 > 0, lo cual se ve rpidamente del siguiente desarrollo 41 80 (3 3 8/2 160 ) --(p 1) > 0 3
479 cumplen con que aplicando una lgebra adecuada obtenemos que para los valores de p < aia2 apa3 > 0. Entonces con el criterio de Routh encontramos que para 1 < < 47 90 los valores propios tienen parte real negativa, por lo tanto podemos decir que C1 es estable para estos valores de p. Como P(A) es de orden tres tenemos tres races, pero nos interesa saber cundo este polinomio pasa de tener todas sus races reales a tener una real y dos complejas. Para esto O y encontrar sus dos races, que ser donde P(A) alcanza un tenemos que hacer P'(A) mnimo o un mximo. Aunque slo nos interesa donde alcance el mnimo ya que como P(A) es una cbica, el mnimo es el candidato para que toque primero el eje A, por el hecho de que utilizando el paquete Mathematica 4.1 se encontr el resultado anterior, que a continuacin se verificar geomtrica y analticamente. Empecemos con el anlisis, entonces tenemos 7 (A) 3A2 + 832 A
+ 3( 10)
b2 4ac
A 1,2
PVP 4ac 2a
iracterstica
tenemos que
1. Si b2 4ac > O P'(A) tiene dos races reales, lo cual significa que P(A) tiene dos puntos crticos, un mximo y un mnimo que, grficamente, tendramos lo que se observa en la figura 3.11.
32
2. Si b2 4ac = O P' (A) tiene una raz real por lo cual podemos decir que P(A) tiene slo un punto crtico, vase la figura 3.12.
33
Figura 3.13: Ninguna raz Como nos interesa averiguar cundo el polinomio pasa de tener tres races reales a tener una real y dos complejas, grficamente lo que quisieramos encontrar es cundo Ay est sobre el eje A, vase la figura 3.14.
34 Como
82
3 0 31 M (p + 10) A2 L6
1)
igualamos P(A2 ) = O y resolvemos para p, y obtenemos p = 1,34562, que es precisamente el valor de p a partir de el cual los valores propios son uno real y dos complejos. Como lo habamos dicho anteriormente, los valores propios complejos pasaban de tener parte real negativa a tener parte real positiva, entonces poda ocurrir una bifurcacin tipo Hopf, lo cual pasaremos a analizar. Ya conocemos el polinomio caracterstico de D f (C1): 41 80 8p 16 0 + A( T + ) + (ti =o 3 3 3 Del cual nos interesa averiguar el valor del parmetro p para el cual ocurrala bifurcacin fin tipo Hopf, es decir, cuando un par de valores propios tengan la forma A = iw0 . Es decir, los valores propios estn colocados en el eje imaginario como se muestra a continuacin en la figura (3.15).
A 3 - A2
ORENZ
35
B= +
(p - 1) 3 Por lo tanto de C- AB = O con un desarrollo algebraico sencillo obtenemos it = 4, 41 entonces para los valores de 1,34562 < p < 4 41: ) un par de valores propios an no atraviesan el eje imaginario, pero justo en el valor de p = 4 41 un par de valores propios estn en el eje imaginario, y para valores de 1.t mayores un par de valores propios atraviesan el eje imaginario, lo que se haba observado numricamente. A continuacin se verificar analticamente que, en efecto, atraviesan el eje imaginario. Con la frmula para la derivada en los sistemas en R3, <4/0 ) la cual nos dir si los valores propios atraviesan el eje imaginario y en que direccin lo hacen, slo tendremos que ver si oi(po) O. Vase en el Apndice E y la ecuacin E.5 para el clculo de la velocidad de cruce, para ms claridad del siguiente desarrollo. Utilicemos en el sistema de Lorenz dicha frmula. ( X10y pa: 10x y - xz = xy 3z Ya sabemos que los otros dos puntos de equilibrio son 8 C1,2 = (t4P 1 ), -V
C =
/8 3 (P - 1 ),
th - 1)
Si recordamos la matriz de derivadas parciales y la evaluamos en C 1 , recordemos que slo se har para este punto de equilibrio ya que es simtrico al punto C2 , entonces tenemos ( -10
D f (x, y, z)
10
p - z -1 -x x y
A (1) = D f( Pi,P) =
-10 1
-1101 - 1) 8
Ahora definamos
36 donde
1A(p)1 =
130
-2O(3)
Entonces li(p) = 1, de aqu que 2 o/(4) = 7 + A0 (4) - 3 (A0 + 20) (AZ + coZ) 2 (AZ + tog)
3
il
3 + 3
8p.)
160 + 3 (p, 1) =
Entonces Ao =
y wo =
a (/0)
152 9
76 1956
Entonces si p > 1 tenemos que d(po) > O, por lo tanto los valores propios atraviesan el eje imaginario de izquierda a derecha, corno se muestra grficamente a continuacin:
m > 470
19
Figura 3.16: Seguimiento de los valores propios cuando atraviesan el eje imaginario
LORENZ
37
19 tendramos
10 1
902
2 V902 57
I =
10 1
0 2V292 57
8 3
10
A 1 2
10 1 A 2.1f
VI? 4
0 2VW =0
3
_A
Entonces, los valores propios serian uno real y dos imaginarios puros, de donde se verifica el coloca los valores propios en el eje imaginario. Donde dichos hecho de que el valor de p = 4 V11190 = _ 4 1 A la variedad central para calcular el valores son A i. Encontremos coeficiente de Lyapunov, para esto traslademos el punto de equilibrio al origen con el siguiente cambio de coordenadas. /902 x = + 2il
2,3
79
57
y = x2
902 451 19
z = X3 entonces el nuevo sistema est dado por Mesan el eje x2, xs) 92(x1, x , x3)
93( X 1, x 2, x3)
10 (2a -I- x1) + 10 (2V + x2) _2 V902 A 470 (2 902 XI) - X2 - (21W + XI) ( 4 5 1
(
57
19 x 3 )
(41591 + x3)
x2, x3) =
10 1
0 2VW xi
( 2 VW
38
Entonces los valores propios son 41 , 4, 110 , . 110 A2 = q 't V A3 = - 42\/ 3 19 19 de lo.anterior tenemos que los vectores propios son los siguientes. Para A = - s sera =
-15,/a
V1 =
n'y&
2
v2 =
a(288-h/21) 44i4-H/418
1 Para A3 = -4 11 i tendramos
380+110V7070)
123(-44if5+%/418 V3 = A(288-FiVir l 90) -44i4-11418
Ahora sea
P = (Im(v3) Re(v3) vi)
33 1558
P=
351/ 14 9
uva
2
1
20861/615
47779
7041414
47779
3841414
47779
7041414
47779
3841414
47779
6232
ORENZ
39
o o
4 , /no
V
\o
o41 3
de donde wo es el nmero que acompaa a la parte imaginaria, R1, R2 son las derivadas parciales de g i ( / 1., 12, X3), 92 (x 1, X2, X3), 93( 1 1, 1 2, 1 3 ). La variedad central est dada por la siguiente forma
w(t) = h(zi
(t), z2(t))
y por lo tanto
h(z i , z2 ) = a l z i + a 2 .z i .z2 + a 3 .4 + ,
(3.22)
de los cuales slo escojemos los trminos de orden 2. Ahora sea el cambio de base
Z1)
Z =
( z2
Calculemos
21)
P (z2
459 5
16V-a- 1353 17
+ 459 I Z2
10.7 123 1
PZ =
11
33 V 1558,,,,
+ V 123-1 +
W
35 V 5
153 J 22
Z2
40
yl
190PL 1353
459
16V 38
y2 = y3 =
135 3
17
153
22
93(v/5y21y3)
esto, para definir las funciones, en trminos de nuestras nuevas variables , que nos ayudarn a encontrar la variedad central:
hl Z z2, w)
( 11
ORENZ
41
( Z 1, Z2, w)
2055015 VW w2 5904730wz1 106400 n/20904 1958939 17630451 158674059 155200325V1wz2 77149690z1z2 17630451 158674059 38w 284835375w2 32691275 VK5 148879364 35260902
158674059
19 02
fzz(zi , Z2, W) =
46047925z2
+ 1586740591
+ 17630451
158674059
158674059
.f33( zi, Z 2, W)
7920w2 2404~wz i
505400z1 161690wz2
47779
430011
11610297 + 430011
113810 VW-zi zz 88084004 11610297 127713267 sustitumos lo anterior en la ecuacin w = h(z i , z 2 ) = (214 + az zi zz + a3z1 factorizamos el resultado obteniendo ( 505400 41a1 \/1. 19 10 az) zi + +4 11610297 3 113810VW 1 1610297 ( 8808400 127713267 4 /110 V 19
+,y
41a3 ) z 3 1z2
Si resolvemos, obtenemos los valores de a 1 , az, a3 15121479148641 433485190VW 368816564601 267231260800 166336270635051
az
a3 =
42
CAPTULO 3. ANLISIS DE BIFURCACIONES EN EL SISTEMA DE LORENZ
Por lo tanto tenemos que la ecuacin de la variedad central es 433485190 267231260800 2 15121479148641z1 + 368816564601 2122 16633627063505122
3854108200 2
h ( z i, Z2) =
Ahora definimos
01 = fu ( Z1, 2 2, h ( z i, 22)) G2 = f22 ( Z1, Z2, h(zi, z2))
03G1, 93G2 , (93G1 3 , Z2) 2 Vi, Z2) 0302 , 3 (Z1, 22) + kZ/ Z2) 9Z1 0z2 0z2,0zi az3 ' 2 5201 a2c1 0202 8202 82 1(21, 22) a2G1 222) ) + R2(21, n n (21, 22) (21, 22) az2 (z,z az2 UZ2UZ1 1 8z2 2 Gi (9202 0201 82G1 \ 8202 202 , (21 22) (Z1Z2) kz1 22) (Z1Z2) 822 , 8z? aZ2 1 8z2 1 1
16 *4 \/413
(R1+ 4VR2)
110 19
a = 0,00936297 Entonces por lo anterior conclumos que la rbita peridica es inestable, y ocurre una bifurcacin de Hopf Subcrtica, la cual se muestra en el diagrama de la figura 3.17.
.ORENZ
43
2 2
siguiente
Figura 3.17: Bifurcacin de Hopf Subcrtica: Un equilibrio estable y una rbita periodica inestable se funden en un punto de equilibrio inestable.
z2)
una bifur-
44
lil
ENZ
A
o
A3 ) 3x3
0 X ( 0 0
0 0 1
0 1 0
(4.1)
45
^
46 (x1
con x = x2
X3
a21 a22
'
xi ) xi (-03)
= A3 X3 X2
O + ,
Estaramos algo mal si hablramos de Sistemas tipo Lorenz y el sistema de Lorenz no cumpliera con esta definicin, por lo tanto, verifiquemos que efectivamente el sistema de Lorenz cumple con lo anterior, as como el de Chen, el desarrollo para el sistema de L se omitir. Consideremos los siguientes sistemas.
Edward Lorenz(1962)
= a(y x)
= (c a)x xz cy
= xy bz a = 35, b = 3, c = 28
i1 111
Jinhu L(2002)
Id , 1 11!
11,11
a(y x)
xz cy xy bz a = 36, b = 3, c = 15
Recuerde que estos valores de los parmetros son los clsicos donde ocurre el atractor extrao.
ENZ
47 Entonces para los sistemas anteriores verifiquemos que A2 > a l > A3 > O, en nuestro sistema de Lorenz la matriz A sera:
A =
ae 1
Ahora calculemos los valores propios, para esto encontremos el discriminante ayudados de tr(A), lAI y usemslos en la frmula general.
tr(A) =
( a + 1),
JAI =
a ac
nplinenz ,ir.
De donde con un simple desarrollo obtenemos D = ( a 1) 2 + 4ac > O Por lo tanto los valores propios quedaran:
A2
(a + 1) + 2
1)2 + 4ac
>O
<
(a + 1) V(a 1) 2 + 4ac 2
A3
= -- < O
es:
A=
ca c )
tr(A), IAI
Encontremos los valores propios, para esto calculemos el discriminante ayudados de y usmoslo en la frmula general.
tr(A) = c
Entonces el polinomio caracterstico es: A2 (c a)A + (a2 2ac) = O Y el discriminante nos queda: rao.
D = (c
a) 2 4(a2 2ac)
48 desarrollando obtenemos
Por lo tanto los valores propios son de la forma. (e a) + /(c a) 2 4(a2 2ac) > 0 2 A2
2
A3 = 6
<
Y = 3 < O
De esta manera el sistema de Chen cumple con la definicin de sistemas tipo lorenz as como tambin el sistema de L. A continuacin se da una definicin ms para la Familia de sistemas tipo Lorenz, la cual se presenta enseguida. Definicin 4.2 (Forma cannica de los sistemas de Lorenz generalizados). A i o O O Ay 0 O O A3
((
1, 1, 0 ) z)
( 0 0 1 0 O 1 1 r 0
zi donde z = ( z 2
z3
y T E (-1,00)
Diremos que un sistema de Lorenz generalizado es no trivial si tiene al menos una solucin que no converge al origen, ni al infinito ni tampoco a algn cclo lmite.
En el camino que seguimos para encontrar un cambio de coordenadas lineal que transforme el sistema generalizado en una forma cannica, con la suposicin de que a 12 a21 > O (los coeficientes a 12, a21 recuerde que corresponden al bloque A dado en la ecuacin (4.1), cuando dicha ecuacin representa al sistema de Lorenz), por el hecho de tratarse de los sistemas tipo Lorenz, porque por ejemplo si tuviramos a 12 a21 < O tendramos que decir sistemas Tipo Chen. Tendremos que dar los siguientes cuatro lemas para lograr nuestro cometido. Este primer lema es la va para encontrar la parte lineal del sistema cannico, aunque ser indispensable dar un segundo lema para este propsito. Lema 4.1. Sean A = ( aii an y A = an a 22
111 !Il,
AO
0 A3
propios de A con sus respectivos valores propios Al, A2. Demostracin. Sabemos que Av; A i v para i = 1, 2, por demostrar que
Aui = Ajui para i = 1, 2 Ahora como
Aun
= A 0 ) V i
y u 2
v2 )
son vectores
Av i ) =
Vi
Ai
= AiUi
VZ
49
Con el lema siguiente, como se dijo anteriormente, es suficiente para lograr la forma cannica de los Sistemas de Lorenz generalizados en su parte lineal. Lema 4.2. Sea P = (vi , v2) tal que P-1 AP = (A,;. , O J A2 =_ (P O ) O 1 es tal que no as Demostracin. Como P 1
p--1-T, =(
entonces
O A2 0
O O A3
( 13 1
( , (P- 1 A
O
El siguiente lema ser el que nos ayude a encontrar la forma cannica de la parte no lineal. Lema 4.3. Considere el sistema = Jz + kocozMz z E R3 , J, M E M3x3(R), Cij E R3 , !go E IIR, entonces, el cambio de coordenadas w transforma (4.2) en = Jw + (cow)Mw Demostracin. Sea
IV =
(4.2) koz
koz
Este es el ltimo lema que se dar para lograr la demostracin del teorema que se enunciar al final de la demostracin de este lema. Lema 4.4. Si alzan > O, entonces A1 - a11 > O
50 Demostracin. Sea
Calculemos los valores propios, para esto ayudmonos de tr(A), IAI, D tr(A) = a11 + a22 IAI = a11a22 az1a12 Entonces el discriminante se puede encontrar desarrollando D = (tr(A)) 2 41A1 de donde se obtiene D = ( a 22 an) 2 + 4a12a21 por lo tanto los valores propios son Al2 , De aqu que At an
(a22 a11) + 3 (a22 aii) 2 + 4a12a21
(a11+ (122)
3 (a 22 an) 2 + 4a12a21
2 >0
con
A3 E R
0 0 0 O 1 ) x A3 ) 3x3 X + x 1 ( O 1 O
(4.3)
Enseguida se enunciar el teorema que se ha venido mencionando a lo largo de esta seccin Teorema 4.5. Considere el sistema no trivial de Lorenz generalizado (4.3), tal que si alzan > O entonces existe un cambio de coordenadas lineal z=Tx que transforma (4.3) en la siguiente forma cannica.
(0 Al O O i= O A2 O 0 O A3 0 1 0 0 1 Z-E(( 1, 1, 0 ),Z) 1 T O Z
zi donde z = ( z2
Z3
y 7 E (-1, co)
VZ
51
Si sustitumos dado en (4.3) y usamos A y B para facilitar los clculos obtenemos = P1Pz+TrixiSisz Ahora de los lemas (4.1) y (4.2) tenemos que
Al O O T D1 74P = O A2 0 O
Encontremos P = (v1 , v2 ) tal que 0 0 1 r1 T) -1 T3Pz = ( 1, 1, 0)z(0 O 1 1 7- 0 Como buscamos una matriz P entonces Av 1 = ivi, aii a12 a21 a22 Entonces desarrollando tenemos anv12 = (A1 3) 1 Ahora calculemos el otro vector propio. De aqu que -= )
1/1 = :11 ) ( V11 ) V12 A1Vv11
(4.4)
.te
Ave 2v2
a21
a22
ai2 ^ 0
(11(42 \ cri(i
52
Donde al y a 2 son constantes que habremos de determinar para que se cumpla (4.4) Definamos B, P y P-1. 0O O
o -= O O -1 ) =- 0 1 0
donde b1 = I
1,b2=(0 O 1 ). Sea
P O )O1 Y Entonces
p-1 0 )
0
751.T375 _ ( P -1
1
) (P
) O
O 1 de lo cual se obtiene
O1
0 p-1 ) b2 P O
J1
xj, x2 ( x3
z]. P = \ O 1/
z2 =
z3
( z3 )
De lo cual slo nos interesa xi. = alanzi a2 a 12 Z2 = (cel an, a2a12,0)z De lo anterior se puede observar que a 2 = -a1 , esto para que vaya adquiriendo la forma de (4.4). Dejemos lo anterior por un momento, veamos que pasa con P -l bi y b2P. Primero deterP. minemos el
I P I = a1re2a12(A2 - an) - aia2a12(A1 - an)
De donde se tiene
11
11
IPI = cq.a2a1.2(As - Al) = 1 ( a2(2 - an) -a2a12 ctinu - an) IPI Entonces
p-W =
a2(A2 1111)
ipi
an)
-a2a12 ) aial2
0 = 1 ( a2a12
-1 )
IPI
'NZ
= a l( A i n), a2( A2
/
xi .P 1 BP = a l a12, a2a12, O ) z
0
O
2212_12.
IPI
72
\ ( A 1 ali) a2(A2 a li) 0 Como anteriormente tambin se observa que a 2 = ab y entonces podemos factorizar de la siguiente manera.
2 2 = a, - 2 ( 1,
I PI
1, 0 ) z
donde
01 =
jPI(Aran)
al2
a 12- an) I
=1
de er-
(4.5) (A 1 A2)( A1 an) La ecuacin (4.5) est bien definida ya que (A1 A2) > O por la definicin (4.3), (A l a u) > O por el lema (4.4).
02 =
Ct 2/ ik A 2 A l/( A 2 a n) =
(A2 A 1) ( A2 an)
(4.6)
Aran-E Aran
-1+ Al fan
Como
54
= cx - xz - y
Jinhu L(2002)
a(y x) xz cy xy bz a = 36, b = 3, c = 15 Trataremos de encontrar una recta que una el sistema de Lorenz (po) con el sistema de Chen (pi. ), grficamente esto se ve de la siguiente manera.
3_ 58
cr=
0-1(14. 1
Po
PI
'10
35
Figura 4.1: Recta que une al sistema de Lorenz y Citen Entonces la parametrizacin de la recta es q (a) = Po + a (Pi. Po) q(a) = ( 10 ,3) + 9(25, 3)
?NZ
55
.ner los
Cuando estamos en el sistema de Lorenz tenemos po = q(0) = (10, 1) y cuando estamos en el sistema de Chen tenemos yi = q(1) = (35,3) entonces q(a) = (10 + 25a, s+ Ahora los coeficientes en P de x, y para el sistema de Lorenz son (e, 1), entonces (28, 1), para Chen son (e 35, e), (-7, 28). Entonces
x ( a) = Po + a(Pi. Po) x(a) = (28 35a, 1 + 29a)
Sistema en general
9 =
y a E [0, 1] Ahora verifiquemos que el sistema dado por (4.7), (4.8) y (4.9) cumple con la definicin , es decir cumple que es un Sistema tipo Lorenz, adems observe que ste se puede reescribir
COMO:
t de
(p) (
- (10 + 25a) (10 + 25a) 0 x 0 0 0 (28 035a) 35a) (-1 + 29a) 0 ) ( y ) + x ( 0 0 1 z _ ( Ir) 0 O 1 O
y
z)
Para que lo anterior cumpla con la definicin 4.3 solo falta verificar que -A 2 > Al > -A 3 > 0, para lo cual haremos uso del paquete Mathematica, el cual se usar para dar una conclusin geomtrica. De la ecuacin anterior se observa rpidamente que la matriz A es A = (10 + 25a) (10 + 25a) (28 35a) (-1 + 29a) ) Para la cual los valores propios son 1 (-11 + 4a V1201 + 2372a 584a2) A 1,2 = 2 trafiquemos A 2 , A l y A 3 , lo cual se observa en la figura 4.2
56
30 ----------25
--. .
20 y
_
-
15
10-
5-
0.2 alphe
Figura 4.2: Grficas de A 2, A l y A 3 , los cuales aparecen en el mismo orden, de arriba hacia abajo. Entonces grficamente se observa que para a E [0, 1] los valores propios son positivos. Con lo cual se concluye que el sistema en general dado por (4.7), (4.8) y (4.9) es un sistema tipo Lorenz. Lo cual nos lleva a la siguiente pregunta, para toda a, es posible llevar el sistema antes mencionado a la forma cannica?. La respuesta es dada por la figura 4.3 De la figura anterior se observa que para a E [08) el sistema puede ser llevado a la forma
02 alph.
VV
Figura 4.3: a contra (10 + 25a)(28 35a). cannica, mientras que para los valores de a E [,8, 1] esto no es posible.
56
Figura 4.2: Grficas de A 2 , A 1 y A3 , los cuales aparecen en el mismo orden, de arriba hacia abajo. Entonces grficamente se observa que para a E [0, 1] los valores propios son positivos. Con lo cual se concluye que el sistema en general dado por (4.7), (4.8) y (4.9) es un sistema tipo Lorenz. Lo cual nos lleva a la siguiente pregunta, para toda a, es posible llevar el sistema antes mencionado a la forma cannica?. La respuesta es dada por la figura 4.3 De la figura anterior se observa que para a E 108) el sistema puede ser llevado a la forma
Figura 4.3: a contra (10 + 25a)(28 35a). cannica, mientras que para los valores de a E [ 1] esto no es posible.
5.1. Introduccin
1s, le ra
ra
La ecuacin de duffing es una ecuacin diferencial para modelar un oscilador de doble pozo tal como el sistema mecnico magneto-elstico. Este sistema consiste en una viga colocada verticalmente entre dos imanes, con el extremo superior fijo, y el extremo inferior libre para oscilar.
Figura 5.1: Oscilador mecnico de Duffing La viga, ser atrada a uno de los dos imanes, y dada una cierta velocidad oscilar sobre ese imn hasta que la friccin lo pare. Cada uno de los imanes crea un punto fijo donde la viga puede venir a parar sobre ese imn y permanecer en equilibrio. Sin embargo, cuando el sistema entero es sacudido por una fuerza peridica, la viga puede saltar hacia atrs de un imn a otro de una manera aparentemente al azar. Dependiendo de que tan grande sea la fuerza que sacude, no puede haber puntos fijos estables y ningn ciclo fijo estable en el e 57
58
dxd, 2 , )xd (5.1) kEXd - = 1 -UXd dt2 dt con el parmetro p = 11 4a y el controlador dinmico retroalimentado u (ecuacin (5.7)) satisfactorio
d2 xd
du = A3u + 6(4 + 50a + 20)4 A3 (150a 2 - 615a 269) (5.2) dt es un difeomorfismo con el sistema unificado, vz'a la siguiente transformacin lineal:
X Xd
// i
(25a + 10)(y x)
(5.3) (5.4)
11
dxd dt
(5.5)
Alternativamente, el sistema (5.1) puede ser transformado en el sistema unificado usando 1 1-4a y el control dinmico retroalimentado el parmetro p = -7 I-615a1-270 V-150aC du dt A 3 u + (.X3 + 50a + 20)x2d V-150a2 + 615a + 270
(5.8)
5.2. EL OSCILADOR DE DUFFING CONTROLADO POR EL SISTEMA UNIFICADO59 con la siguiente transformacin lineal:
xd
x V2e(-150a2 + 615a + 270) (25a + 10)(y - x) (-150a2 + 615a + 270) (25a + 10)z -1 -150a2 + 615a + 270'
(5.9) (5.10)
dxd dt
(5.11) (5.12)
u=
(5.13)
(5.14)
Demostracin. Lo que haremos para la demostracin de este teorema ser pasar del sistema de Duffing al sistema cannico de Lorenz, es decir, encontrar X, g y z del sistema mencionado
de aqui que
= 2Eid
= (25a + 10)(y - x)
25a + 10 Para simplificar las operaciones hagamos el cambio de variables w = -150a2 + 615a + 269 y a = 25a + 10 entonces de la ecuacin anterior tenemos 1 d g = - (s5c- (-uxd - p xd - (ex% -1)xd)) + a(y - x)
a dt
10'
Sustituyendo u, p, w, a y xd obtenemos
-q Haz - 1 - w)* - 11-4aay-x
(el:
1 ) x2c)
x)
- + t) + a(y - x)
a +
60
De la ecuacin anterior, podemos llegar a y del sistema unificado = xz + (28 35a)x + (29a 1)y Por ltima de (5.7) tenemos
z
T +w a
du _L xdx dt '
a Si sustitumos 5.2 y X del sistema de Lorenz en la ecuacin anterior se tiene 1 = 21/43u + c(A3 + 50a + 20)4/ A3 (w) + xa(y x))
a
x2 2
+ w + xa(y x))
de la ecuacin obtenida se tiene desarrollando = m (aA3z A31 + 150cx2A3 615aA3 269.x3 + 11- + 25ax2 +10x2 150A3a2 + 615a.X3 + 269.X3 + xa(y x)) ij
10. = A3 z
2e dx
25a+10
.2 = u+ rEtu
a
son la inversa, adems es suave y diferenciable concluimos que existe un difeomorfismo entre el oscilador de Duffing y el sistema cannico de Lorenz y Chen. Otra manera de demostrar el teorema es la siguiente. Hagamos el mismo cambio de variables. w = 150a2 + 615a + 270 a Ahora de la ecuacin (5.9) tenemos 25a + 10
= xer/u.,
donde
Xd d9
dx _d a 21x
dt = w de 1
dt
airv(y x) _
ttil
Jw
de aqu que
(ex3 1
1)xd
Ahora si lo sustitumos en
dy dB
g obtenemos
w-Vi v127 [ dxd uxd a dt
2 , (EXI )Xi cl
dx dB
-1) ( x 1ffe74
azx
=
x3
w ,fiEw
2w 12ja
a(11 4a)(y x)
Wir(R)
X3
E x 2
21w )
2Ew
2w 2cw
2w
dO
62
CAPTULO
5. SISTEMA DE DUFFING
(uw +
Entonces
du
TB
tht L dt
a-
1 Asut(A3+50a+20)4
,R1
du
( 1 f.
[A3
x2
du x2 w = Asaz + 50adB 2
d (z) xd;
dB
xa(y x)
Entonces
xy
+x
CAPTULO 6 Conclusiones
Como este trabajo es un poco extenso hay que tener en cuenta que la conclusin se har por captulos. El primer captulo se tom como introducin del presente trabajo de el cual se desprende que el modelo dominante y casi exclusivo en la ciencias desde su surgimiento en el siglo XVII ha sido el modelo mecanicista y determinista. El determinismo puede ser subvertido de dos maneras: una, por el azar, y la otra por el caos Por su parte los sistemas caticos aunque sean deterministas no permiten la prediccin por que trayectorias que surgen juntas divergen rpidamente borrando el recuerdo de dicho inicio comn. En la naturaleza ciertos fenmenos pueden ser modelados por unas estructuras matemticas que se denominan sistemas dinmicos y cuyo estado viene definido por una serie de variables que dependen del tiempo (variables de estado) y por una serie de leyes, una dinmica. La representacin de los sistemas dinmicos se lleva a cabo en un espacio denominado espacio de fases en el que cada punto define un estado y cada trayectoria una evolucin del sistema. Los sistemas dinmicos son conservativos o disipativos, los sistemas disipativos suelen contar con atractores. Los atractores clsicos son: Un punto fijo. Una rbita peridica. Una rbita cuasi-periodica. Un atractor extrao. Un conjunto fractal es un conjunto "muy raro "cuya dimensin es intermedia entre una lnea y una superficie o entre una superficie y un volumen. Los atractores extraos con estructura fractal que son ejemplos de caos determinista obedecen a dos construcciones: La divergencia de las trayectorias y su confinamiento en un espacio determinado, la sensibilidad de las condiciones iniciales son las responsables del estiramiento del fractal y el confinamiento especial responde el plegado del mismo. El caos surge del orden y un cierto orden puede surgir del caos. Del orden se puede pasar al caos a travs de tres caminos principales que suponen los tres la desestabilizacin de regmenes peridicos por perturbaciones que en lugar de amortiguarse y desaparecer se amplifican: Por duplicacin de periodo, por intermitencias, o por la cuasi-periodicidad. En el segundo captulo se abordan los tipos de bifurcaciones que sern utilizadas. La bifurcacin hoquilla es una bifurcacin simtrica, la cual consiste en que un nico punto fijo se bifurca en tres, las bifurcaciones horquilla pueden clasificarse en dos 63
64
CAPTULO 6. CONCLUSIONES
grupos importantes: Subcrticas y supercrticas. Se enuncio un teorema debido a Sotomayor, el cual d condiciones suficientes pero no necesarias para la bifurcacin horquilla.
Teorema 6.1 (Sotomayor). Sea z =
f (x,
que 3 posee un valor propio cero, con v un vector propio por la derecha y w por la i) 2.11 11 izquierda. Adems, 8(721-1 ' posee k valores propios con parte real negativa y n - k - 1 con parte real positiva (contando multiplicidades).
wT
wT
( 8 2 f ( X 05 li)
ax 2
( 33 .f(X 0, PO)
wT
192
aXait (
(v)) ^ 0,
wT
Dx3
d -
dR eA(p) ^ 0 dp ic="
(6.1)
En tales circunstancias, el teorema de Hopf asegura la existencia de algunas soluciones peridicas bifurcndose a partir de pa. La estabilidad de las mismas viene determinado por una segunda condicin expresada en trminos del llamado primer coeficiente de Liapunov, l l , una condicin suficiente para la existencia de un ciclo lmite estable es que l l < 0, y si l l > 0, el ciclo limite es inestable. En el primer caso estamos ante una bifurcacin de Hopf supercrtica, en el segundo caso, se trata de una bifurcacin de Hopf subcrtica, formalicemos lo anterior con el siguiente teorema: Teorema 6.2 ( Hopf (1942)). Considere la familia uni-paramtrica de ecuaciones diferen-
ciales (6.2) = F(x, p), con F : Rn x Il8 -n Rn lo suficientemente suave. Con un punto de equilibrio (xo, Po) y A(p) = D xF (x0 , p).
65
Si A(pe) posee un nico par de valores propios con parte real cero, entonces existe una curva suave de puntos de equilibrio (x(p),p) con x(po) = xo. Adems, los valores propios A(p), X(p) de A(p), los cuales se hacen imaginarios en po, varan suavemente con el parmetro p. Si d = dRe.);(,)itt=im, O, entonces existe una nica variedad central tridimensional, pasando por (xo, po) E R" x IR y un sistema de coordenadas suave, cuya expansin en serie de Taylor, hasta grado tres sobre la variedad central, est dado, en forma polar, por la siguiente expresin = (dp + /1 1.2 )r, = + cp + br2 Si h $ 0 entonces existe una superficie de rbitas peridicas en la variedad central, las cuales tienen tangencia cuadrtica con el eigenespacio generado por (po), X(p0). Si < O las rbitas peridicas son estables (caso supercrtico) mientras que si 1 1 > O son inestables (caso subcrtico).
En el tercer captulo se inicia con el calculo de los puntos de equilibrio, dado por resultado tres equilibrios. Se divide el estudio del punto en tres casos, para valores del parmetro p. Cuando O < p < 1, y se tiene que es un equilibrio estable. Para p = 1 el punto de equilibrio es no-hiperblico y se tiene que calcular la variedad central. Y se obtiene que el origen es estable. 3. Y por ltimo, si p > 1, grficamente se observa que el equilibrio es silla-nodo. Se obsevo que el sistema de Lorenz bajo la transformaci (x, y, z) n (x, y, z) es simtrico, se utiliza el criterio de Routh para obtener exactamente los valores dnde cambia de signo la parte real de los valores propios, se ubica el caso para el cual los valores propios pasan de ser reales a complejos. Para la bifurcacin tipo Hopf se encuentra el valor del parmetro para el cual ocurra sta, se calcula la variedad central para encontrar el coeficiente de Liapunov, y se concluye que la rbita peridica es inestable, y ocurre una bifurcacin de Hopf subcrtica. Gran parte del cuerpo de conocimientos que integra la teora del caos surgi originalmente del estudio de los cambios climticos y, de hecho, uno de los primeros descubrimientos que dan sustento terico a esta rea de estudio se debe a Edward Lorenz Cuando Lorenz intentaba modelar el comportamiento del clima mediante la conducta catica de los gases, tom unas cuantas de las ecuaciones conocidas como el sistema de Navier-Stokes del campo de la dinmica de fluidos y, al simplificarlas, obtuvo el siguiente sistema tridimensional: = 8(y x) = y xz
xy bz
En estas ecuaciones, representa el nmero de Prandtl, con valor de 10. El parmetro p representa la diferencia de temperaturas entre la parte inferior y la superior del sistema, con un valor de 28. La variable b representa la relacin entre la longitud y la altura de la caja que se emplea para contener el gas, con una diferencia entre temperaturas en los lados opuestos del cilindro, mientras que z representa la desviacin del sistema de la lnea vertical
66
CAPTULO 6. CONCLUSIONES
graficada correspondiente a la temperatura. En esta primer subseccin aparte de la pasada introduccin se calcularan los puntos de equilibrios, se estudia la estabilidad del origen como lo sugiere el nombre de la subseccin, para esto se recurrir a argumentos tanto grficos como algebraicos. Despus de todo el anlisis se lleg a la conclusin de que las soluciones sobre la variedadicentral son estables, en la ltima subseccin slo se analiz el punto de equilibrio C1 ya que previamente se verifico la simetra del sistema de Lorenz. El anlisis de dicho punto de equilibrio nos har recurrir al uso de el paquete Mathematica 4.1, para tener una idea numrica acerca de los valores propios, de nueva cuenta recurriremos tanto a lo Geomtrico como a lo algebraico as como a los criterios de Routh y de la derivada (velocidad de cruce en la bifurcacin Flop. Se calcul el coeficiente de Lyapunov de donde se concluir que la rbita peridica es inestable, y ocurre una bifurcacin de Hopf Subcrtica. En el captulo cuatro motivados por la frecuencia con que aparecen los sistemas no lineales en la naturaleza as como en los procesos industriales se empezaron a estudiar dichos sistemas, los investigadores, en su afn de entender a los sistemas no lineales, empezaron a modificar los sistemas ya conocidos para tratar de descubrir otros, tal es el caso del sistema de Lorenz, para el cual dimos una familia de sistemas, a la cual llamamos Familia de sistemas tipo Lorenz. Resumiendo brevemente el ltimo captulo, se dijo que la ecuacin de Duffing es una ecuacin diferencial para modelar un oscilador de doble pozo tal como el sistema mecnico magneto-elstico. Este sistema consiste en una viga colocada verticalmente entre dos imanes, con el extremo superior fijo, y el extremo inferior libre para oscilar. Se demostro que oscilador de Duffing puede ser controlado por el sistema cannico de Lorenz y Chen, para ste teorema se dieron dos demostraciones.A1 fin y al cabo este trabajo slo aborda una parte de todo lo que se puede estudiar acerca de este sistema (Sistema de Lorenz), que es muy estudiado en mucha de la bibliografa existente, por lo que invito a los compaeros lectores a complementar el presente trabajo.
t111'
;I'
f(x)
(A.2)
D f (4)1
Diremos que (A.3) es la linealizacin de (A.2).
(A.3)
Qu podemos establecer acerca de las soluciones de (A.2) basados en nuestro conocimiento de las soluciones de (A.3)?. Los teoremas de Hartman-Grobman y el de la variedad estable,
dos de los resultados ms importantes en la teora local de sistemas dinmicos, responden dicha pregunta. El teorema de Hartman-Grobman es un resultado muy importante en la teora cualitativa local de las ecuaciones diferenciales ordinarias. Establece que, bajo ciertas condiciones, en la vecindad de un punto de equilibrio xo, el sistema no lineal (A.2) tiene la misma estructura cualitativa que su linealizacin (A.3). Diremos que un punto de equilibrio xo del campo vectorial f es hiperblico si D f (xo) no 67
68
tiene valores propios con parte real cero. Considere los sistemas no lineales f(x) y X = g(x). Diremos que son topolgicamente equivalentes si existe un homeomorfismo que manda rbitas de un sistema en el otro, y es tal que preserva el sentido de las mismas. Si adems es tal que preserva la parametrizacin del tiempo, entonces diremos que son topolgicamente conjugados.
Teorema A 1 (Hartman-Grobman). Sea xo un punto de equilibrio hiperblico del campo vectorial f. Entonces el sistema no lineal X = f(x) y su linealizacin e = D f (x 0 )1 son topolgicamente conjugados.
4.
= f(x)
y = f (xo))Y
(B.1)
de (B.1).
Si el equilibrio es hiperblico, el teorema de Hartman-Grobman nos resuelve el problema, ya que el comportamiento de las soluciones cercanas a X0 es topolgicamente equivalente a las del sistema lineal.
= [Df(xo)lu
Sea A = D f (xo)nxx, A l, A 2, estar repetidos).
Teorema B.1.
,
(B.2)
1) Si Re(A i ) < O para cada i = 1,2, - , n entonces el equilibrio xo es asintticarnente estable en forma local. Es tipo atractor local (Sumidero).
irr
Si Re(ai ) > O para cada i = 1, 2, - , n entonces el equilibrio xo es inestable. Es tipo repulsor local (Fuente). Si Re(Ai) > O para algun j, y Re(4) < O para algn lc j entonces el equilibrio xo es inestable. Es un punto tipo silla.
Clasifiquemos ahora los n vectores propios de A, {vi, v2, , xni} son vectores propios (inclusive, generalizados) tales que sus respectivos valores propios tienen parte real negativa, mientras que {ui, u2, - , un2} son vectores propios inclusive generalizados, tales que sus 69
70
vl
1/2
AA2 1
An
Vnl
ul
Uy
Vn2
Sean E' = V2, , vni) -= { s ivi + sru2, , s ni vtal s i, 8 2, , sni E R}, el espacio generado por {v i , v2, ,vn1}E n = (ui , u2 , , uva) -= {siui s2u2 + + s n2tin21 8 1, 8 2, , 8,2 E R} es el espacio generado por {ni, u 2, 7/772}
7
Teorema B 2
para cada t E R.
Si z E E'
4) Si t E EU w(t; z) 4 0 cuando t o.
71
Figura B.1: Es y E" Analizaremos el caso en el que el punto de equilibrio es no-hiperblico. En este caso las cosas se complican pues aparece un nuevo subespacio vectorial invariante en el sistema linealizado y = D f (xo)y, llamado espacio central, E', en donde de entrada, no se sabe cmo es el comportamiento de las soluciones que nacen en E'. Asociado al espacio central existe, para el sistema no lineal = f (x) una variedad invariante, llamada la variedad central, donde el comportamiento de las soluciones que nacen en ella, no es conocido a priori.
B.2.
con x E R", y xo un punto de equilibrio no-hiperblico. Entonces existen variedades invarioc(x0 ) tangentes a Es y E' en x0 , respectivamente. antes, estable e inestable, Wisoc(x0) y Win Ademas existe una variedad invariante central, Wro (xo), tangente a E' en xo. Wis,,e (x0) y jxo) no necesariamente es nica. dim(E") = dim(W"), Wilci,c (x0) son nicas, mientras que Wie donde a = s, u, c.
El teorema de la variedad central nos garantiza la existencia de la variedad central, pero no nos dice como calcularla. Adems no sabemos cmo determinar el comportamiento de las soluciones sobre la variedad central. Para el clculo de la variedad central considere la ecuacin diferencial:
= F(z) F : R" > R", z = O un punto de equilibrio no hiperblico y E" = Q (z W"(zo) = 0). Sean E' = (y 1 , y2, , vni) y E" (114., lo2, , u1/42) donde 711 , y2, , vn l son asociados a z E
72
valores propios con parte real negativa, mientras que a un, w 2 , , wn 2 , los asociados a valores propios con parte real cero.
(B),:xni
donde A n2 xn 2 posee los valores propios con parte real cero y Bn I x. 1 posee los valores propios ; y E Rnl. con parte real negativa. z ), X E Rn2
P 1 z = ( X 4.> J
z=
x t? )) y lt
(piz(t))
dt ((
= p-1 pI (Qz p2(z)+
y
=P 1 Qz+ P-1F2(z)+...
( P )
1F,2 (p ( X \ \ ... j j )
= ( A O \ ( x \ F2(x,y) ...
B )
= ( Ax ) ( f (x, y) \ by ) 9(x, y)
Ax + f (x,
y)
= BY + 9(x , Y)
73
dt
By + g(x, y) = Dh(x) [Ax + f (x, y)] pero y = h(x) Bh(x) + g(x, h(x)) = Dh(x)[Ax + f (x, h(x))] Dh(x)[Ax + f (x, h(4)] Bh(x) g(x, h(x)) (B.5)
La ecuacin anterior tambin es conocida como ecuacin homolgica. El siguiente teorema establece condiciones para determinar la estabilidad sobre la variedad central.
Teorema B 4. El comportamiento de las soluciones sobre W10,(0) del sistema (B.4) est determinado por la ecuacin diferencial sobre E' = Ax + f (x, h(x)), x
E
Ee /xI
<e
Wia (0)
O
EC
74
n
A5 1 A5) donde el tamao del bloque depende de la multiplicidad geomtrica si . Por otro lado, si A5 = a5 + i,33 , entonces aparecen en la forma de Jordan bloques de la forma /D5
I Di
cti
Diremos que y ^ O es un vector propio generalizado de A correspondiente a A5 si, para algn valor de k, con k = 1, 2, ,r 5 , se satisface
(A AiI)kv = O
75
76
P-1 AP tiene uno de los siguientes tipos i)j = (01 A2) Al ^ iii)J = Ao Alo donde Ao, Al, A2, a, fi E R.
A2
ii)j =AO
iv)J = p a
>O
Proposicin C.2. Sea A E 1143(R), entonces existe una ,matriz P no-singular tal que J = P-1 AP tiene uno de los siguientes tipos Al
i)J =
O
A2 O
0 )
O A3
O O
ii)J =
Ao o O O A0 O O O Al Ao O O O A0 O O Ao Ao 1
A0 O
0
Ao
iii)J = ( O
i
; 1
f
1 0 ) A0 O O Al O) 0
Ao
iv)J =
Ao 1 v)J = ( O A0
O O
tn)J = ( O O
1 A0
as a2 a4 al a3 as
b1 b2 b3 b4
el Cy e3 di d2 da d4 -
e l
e2 ea e 4
f2 f3 f4 92 93 94--.
n Donde
n + 1
91
, etc.
d1
cl bz - biez etc. el 77
78
ai > O i = 0,1,2, , n. y th > O,
Teorema D.1. El polinomio P(x) tiene todas sus races con parte real negativa si y slo si
> 0, a l > O.
Ejemplo D.1. 4.
= aiaz = a2 al
Condiciones:
{a0 > O al > O az >
Ejemplo D.2.
4
bl
al =
a i a2 a0a3 al b 2 = O, bia3
Condiciones:
ao
rt
> 0
> 0
al > 0
a2
Ejemplo D.3.
P(x) = a0x 4 + aix 3 + a2x 2 + a3x + a4
1 a0 az a4 2 al a 3 O 3 b i 62 O 4 c l O
5 dl al
bias a1b2
el 1)1 b2
79
el
= u2 =
Condiciones:
0\ o o o
O an/
)(t
Teorema D 2 El polinomio P(x) tiene todas sus races con parte real negativa si y slo si ai > O i = 0,1, , n y Ai > O i = 1,2, ,n 1. Observacin: Los dos criterios son equivalentes.
80
P(A) = A3 A0 A2 + colA A04 Donde ao = bo = w, co = Aocog. Entonces A () = a()4) { A (1,1 0) = tico() Tal que a(120) = O f ta(Po) = eso Ahora P(A(p)) = A3 tr(A(p))A2 + C(p)A det(A(p)) Hagamos
a(p) b(p) = tr(A(p)) = C(p)
c(p) = det(A(p))
81
i A (P-0)1
= Aowl
entonces P(A(1)) = A3 + a(p)A2 + b(p) + c(i1), y as tenemos (a (M) + if3 (P))3 + a (P)(a ( 1) + 414) 2 + Mit)( a (P) + ii3 ( 2)) + c(P) = O donde a(Po) =
b(po
2
c(o) = Aowl Derivando con respecto a p. tenemos 3(cy + i(3)2 (al + ) + a'(+ ifi)2 + 2a(a + ifl)(ni + 43') + bi (a + /3) + b(a' + si ti po, po coloca los valores propios en el eje imaginario. O, c = = Aoiog +=O
wo, d = ? =? =?
a = A0 , b = Entonces tog ,
3(-4)(a' + ifi') + 4-4) + 2(Ao)(iwo)(a' + i( l ) + b' (icoa) + (4)(a' + { 3cold togai + 2A0c0001 + wlai + c' = O 34)3' 2A0woc + b' wo + (4,3' = O 24n1 + 2A0w0/3' = opa' 2A0woni + 2431 = wo
+c=O
nowo
2wo
24 2A0w0
2wo
(V(14)
a (o) (P0)
(EA)
d (tt o) + AoW(po)
2(A8 + col)
(E.5)
Ahora ya tenemos una frmula para calcular la derivada en sistemas de tres dimensiones que nos permitir saber cundo los valores propios atraviesan el eje imaginario.
Bibliografa
T. Kapitaniak, Chaos for Engineers, Theory, Applications, and Control, Springer, Second, Revisad Edition. Pierre Berg, Yves Pomeau, Christian Vidal, Order Within Chaos, A Wiley-Interscience Publication JOHN WILEY & SONS. Guanrong Chen, On a Generalizad Lorenz Canonical Form of Chaotic Systems, International Journal of Bifurcation and Chaos, Vol 12, No. 8 (2002) 1789-1812. Jinhu Lu, Guanrong Chen, Bridge the Gap Between the Lorenz System, and Chen System, International Journal of Bifurcation and Chaos, Vol 12, No. 12 (2002) 2917-2926. Jinhu Lu, Guanrong Chen, A New Chaotic Attractor Coined, International Journal of Bifurcation and Chaos, Vol 12, No.3(2002) 659-661. J.E.Marsden, M.McCracken, The Hopf Bifurcation and it Applications, SpringerVerlag New York 1976. Carmen Chicone, Ordinary Differrential Ecuations with Applications, Springer. Shankar Sastry, Nonlinear Systems Analysis, Stability, and Control, Springer.
[9] Lawrence Perko,
Springer.
85