PROBLEMAS DE TEORIA CUALITATIVA DE ECUACIONES DIFERENCIALES Hoja 2: Flujos en 2D: estabilidad lineal y ciclos l mite Profesor: David Gmez-Ullate

o Fecha l mite de entrega: 5 de abril.

e 1. Determina qu tipo de punto jo tiene el sistema x = y x3 , y = x,

en el origen. Coincide con la linealizacin? o 2. Este ejercicio es una extensin del modelo de ovejas y conejos discutido o en clase, en el que vimos una ilustracin del principio de competencia o exclusiva (una especie lleva a la otra a la extincin). Considera el modelo o de dos poblaciones N1,2 (t) en competicin mutua, cada una con una cierta o capacidad K1,2 , descrito por las siguientes ecuaciones N1 = r1 N1 (1 N1 /K1 ) b1 N1 N2 , N2 = r2 N2 (1 N2 /K2 ) b2 N1 N2 , - Escribe las ecuaciones en forma adimensional. Cuantos parmetros a adimensionales quedan? - Demuestra que existen cuatro tipos diferentes de comportamiento cualitativo para diferentes valores de los parmetros. a a - Existen valores de los parmetros para los cuales las dos especies pueden coexistir de manera estable? (pista: las capacidades Ki reejan competencia intra-especie mientras que los coecientes bi representan competicin entre especies). o 3. Demuestra que los sistemas siguientes no tienen rbitas peridicas. o o a) x = y + x2 y, b) x = y x3 , y = x + 2xy y = x y 3

Pista: intenta encontrar una funcin potencial o una funcin de Lyapunov. o o 4. Utiliza el Teorema de Poincar-Bendixson para probar que el siguiente e sistema x = x y x(x2 + 5y 2 ), y = x + y y(x2 + y 2 ),

tiene algn ciclo l u mite. Pista: utiliza regiones que atrapen el ujo en forma de corona circular 1

5. Este ejercicio amplia lo que hemos visto sobre el oscilador de Van der Pol en clase. Considera el oscilador de Van der Pol con una fuerza constante: x + (x2 1)x + x = a, >0 donde a R puede ser positivo, negativo o cero. o a) Reescribe el sistema en el plano usando la misma transformacin que vimos en clase (plano de Linard). e b) Encuentra y clasica todos los puntos jos del sistema. c) Dibuja las nulclinas en el diagrama de fases y demuestra que si se intersecan en el tramo medio de la cbica, el correspondiente punto u jo es inestable. d) En el l mite >> 1 demuetra que el sistema tiene un ciclo l mite estable si y solo si |a| < ac para un cierto valor ac que has de determinar. e) Dibuja el ujo en el plan de fases para un valor de a ligeramente mayor que ac . Muestra que el sistema es excitable: tiene un punto jo atractor global pero algunas perturbaciones mandan el sistema en un recorrido amplio por el plano de fases antes de volver al punto jo (este tipo de comportamiento aparece tambin en el modelo de e Fitzhugh-Nagumo de actividad neuronal). 6. Tyson propuso el siguiente modelo para explicar el ciclo de la mitosis : u = b(v u)( + u2 ) u, v = c u, donde v es proporcional a la concentracin de ciclina (cyc) y u es proporo cional a la concentracin del complejo activo cdc2-cyc. Los parmetros o a b >> 1 y 0 < << 1 se consideran jos y satisfacen 8b < 1, mientras que c es variable. a) Dibuja las nulcinas. Demuestra que el sistema se comporta como un oscilador de relajacin (ciclo l o mite con fases lentas y rpidas) para a c1 < c < c2 donde c1 y c2 son valores que has de determinar de manera aproximada (ms sencillo si consideras 8b << 1). a b) Muestra que el sistema es excitable si c es ligeramente menor que c1 . J. J. Tyson, Modelling the cell division cycle: cdc2 and cyclin interactions, Proc. Nac. Acad. Sci. 88 (1991), 7328. 7. Para los dos osciladores dbilmente no lineales siguientes: e i) x + x + xx, ii) x + x + (x2 1)x3 , 0 < << 1 a) calcula las ecuaciones promediadas y analiza el comportamiento asinttico o del sistema. mite (en caso de que exista) y la b) Determina la amplitud del ciclo l frecuencia.