Rigorous computation for infinite dimensional nonlinear dynamics

August 26 to August 30, 2013

at the

American Institute of Mathematics, San Jose, California

organized by

Jan-Bouwe van den Berg, Rafael de la Llave, and Konstantin Mischaikow

Original Announcement

This workshop will focus on the extension of the rigorous computational tools used in finite dimensional dynamical systems to the infinite case.

The existence of chaotic dynamics was first demonstrated by Poincare more than a century ago. Its relevance to science and engineering exploded 50 years ago with the advent of the computer and the ability to simulate concrete nonlinear systems. This in turn stimulated the development of the very rich and beautiful theory of dynamical systems. And yet, given a particular nonlinear system of differential equations or a particular nonlinear map any comprehensive understanding of the associated dynamics is typically obtained through numerical methods which are not rigorous and may be misleading in some critical cases of particular interest. Motivated in part by this quandary the past few decades have seen substantial advances in the development of computer assisted proofs in finite dimensional dynamics. The majority of these techniques are based on either the contraction mapping theorem or algebraic topology. The choice of strategy has profound implications on the numerical methods that should be employed.

This workshop will focus on the extension of these rigorous computational tools to infinite dimensional dynamical system (in particular evolutionary partial differential equations). The following general questions will be used to frame the technical challenges facing this project.

Where do our current algorithms fail in the infinite dimensional setting and how should we proceed to improve them?
Which classes of infinite dimensional systems are most amenable to current methods? What needs to be done to expand the classes?
What types of dynamical structures of phenomena, e.g. fixed points, periodic orbits, connecting orbits, invariant manifolds, bifurcations, can be verified using rigorous computing in the near future? What needs to be done to expand these types?
Are there problems that can serve as grand challenges to focus the development of these methods?

Material from the workshop

A list of participants.

The workshop schedule.

A report on the workshop activities.