Computer assisted proofs for stability analysis of nonlinear waves

June 5 to June 9, 2023

at the

American Institute of Mathematics, San Jose, California

organized by

Blake Barker, Emmanuel Fleurantin, and J.D. Mireles James

Original Announcement

This workshop will be devoted to solving open problems regarding the stability of nonlinear waves using computer assisted methods of proof. Some results using computer assisted methods of proof include Hilbert's 18th problem and Smale's 14th problem. Researchers have developed efficient methods for obtaining rigorous error bounds for numerical approximations of heteroclinic and homoclinic connections between fixed points in ODE systems. These rigorous computation methods establish the existence and uniqueness of the solution in addition to providing a tight, completely rigorous error bound. Thus, these rigorous computations can be used to prove Theorems. Similarly, researchers have developed efficient and robust numerical methods for computing quantities that relay information about the spectral stability of one-dimensional traveling wave solutions to PDEs, which in turn yields information regarding the nonlinear stability. This workshop will help researchers identify collaborative opportunities to use rigorous computation to prove theorems regarding open problems in nonlinear wave theory.

Because many of the tools used in studying the stability of one-dimensional waves do not apply in the multi-dimensional setting and because of the computational complexity of the multi-dimensional setting, computer assisted methods of proof may be an especially important resource in this setting. This workshop will bring researchers together to address the following topics:

  1. Computer assisted proofs for stability analysis of nonlinear waves.
  2. Stability of multi-dimensional non-planar traveling waves.
  3. Rigorous computation of center manifolds.

Material from the workshop

A list of participants.

The workshop schedule.

A list of open problems.