Systèmes dynamiques
Mercredi, 19 juin
Salle Des Plaines A
10h00
Rigorous computation of connecting orbits
van den Berg, Jan Bouwe
VU University Amsterdam

Connecting orbits describe the paths along which changes occur in deterministic systems. In fact, every such dynamical system can be decomposed into so-called recurrent components and connecting orbits between them. This is most pronounced in gradient systems, where this dichotomy between equilibria and connections leads to the definition of the Morse-Floer complex. While equilibria are relatively manageable objects analytically, one usually has to resort to numerical simulations for studying connecting orbits. And while numerical calculations offer clear pictures of the dynamics, the information the numerics provide is non-rigorous. Strikingly, today's advances in computer speed and algorithm development make it possible to utilize the power and robustness of topological-analytic methods to rigorously validate computational results. Indeed, the past decade has seen enormous advances in the development of computer assisted proofs in dynamics. In this talks we will discuss recent progress in the rigorous computation of connecting orbits, and directions for further research will be outlined.

10h30
(In-)stability of singular equivariant solutions to the Landau-Lifshitz-Gilbert equation
Williams, John Frederick
Simon Fraser University

In this talk I will present formal asymptotic arguments to understand the stability properties of equivariant solutions to the Landau-Lifshitz-Gilbert model for ferromagnets. I will also analyze the limit cases of harmonic map heat flow and the Schrödinger map flow. All asymptotic results are verified by detailed numerical experiments, as well as a robust topological argument. The key result of this paper is that blowup solutions to these problems are co-dimension one and hence both unstable and non-generic. This joint work with Jan Bouwe van den Berg.

11h00
Constructive Banach Space Methods for Studying Invariant Dynamics and Computer Assisted Analysis
Mireles James, Jason
Rutgers University
I will present an overview of several methods for studying invariant sets of dynamical systems which are based on high order BanachSpace approximations and rigorously validated computer assisted error bounds. The key idea is to reformulate dynamical questions into questions about fixed points of certain operator equations.  Then functional analytic methods are used to obtain approximate solutions of the operator equations.  The defect associated with a given approximation is studied using rigorous computer assisted estimates.  If the approximate solution is "good enough'' then it is often possible to conclude the existence of a true solution "nearby''.  I will discuss some applications of these ideas to problems such as computing periodic orbits, invariant manifolds, and connecting orbits for differential equations.
 
11h30
Formation of Animal Groups: The Importance of Communication
de Vries, Gerda
University of Alberta

We investigate the formation and movement of self-organizing collectives of individuals in homogeneous environments.  We review a hyperbolic system of conservation laws based on the assumption that the interactions governing movement depend not only on distance between individuals, but also on whether neighbours move towards or away from the reference individual.  The inclusion of direction-dependent communication mechanisms significantly enriches the model behavior; the model exhibits classical patterns such as stationary pulses and traveling trains, but also novel patterns such as zigzag pulses, breathers, and feathers.  The same enrichment of model behavior is observed when we include direction-dependent communication mechanisms in individual-based models.