#
Rigorous computation for infinite dimensional nonlinear dynamics

August 26 to August 30, 2013
at the

American Institute of Mathematics,
Palo Alto, 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.