TY - CHAP
T1 - Introduction to Rigorous Numerics in Dynamics
T2 - General functional analytic setup and an example that forces chaos
AU - van den Berg, Jan Bouwe
N1 - This volume is based on lectures delivered at the 2016 AMS Short Course “Rigorous Numerics in Dynamics”, held January 4–5, 2016, in Seattle, Washington
PY - 2018
Y1 - 2018
N2 - In this paper some basic concepts of rigorous computing in a dynamical systems context are outlined. We often simulate dynamics on a computer, or calculate a numerical solution to a partial differential equation. This gives very detailed, stimulating information. However, mathematical insight and impact would be much improved if we can be sure that what we see on the screen genuinely represents a solution of the problem. In particular, rigorous validation of the computations allows such objects to be used as ingredients of theorems. The past few decades have seen enormous advances in the development of computer-assisted proofs in dynamics. One approach is based on a functional analytic setup. The goal of this paper is to introduce the ideas underlying this rigorous computational method. As the central example we use the problem of finding a particular periodic orbit in a nonlinear ordinary differential equation that describes pattern formation in fluid dynamics. This simple setting keeps technicalities to a minimum. Nevertheless, the rigorous computation of this single periodic orbit implies chaotic behavior via topological arguments (in a sense very similar to “period 3 implies chaos” for interval maps).
AB - In this paper some basic concepts of rigorous computing in a dynamical systems context are outlined. We often simulate dynamics on a computer, or calculate a numerical solution to a partial differential equation. This gives very detailed, stimulating information. However, mathematical insight and impact would be much improved if we can be sure that what we see on the screen genuinely represents a solution of the problem. In particular, rigorous validation of the computations allows such objects to be used as ingredients of theorems. The past few decades have seen enormous advances in the development of computer-assisted proofs in dynamics. One approach is based on a functional analytic setup. The goal of this paper is to introduce the ideas underlying this rigorous computational method. As the central example we use the problem of finding a particular periodic orbit in a nonlinear ordinary differential equation that describes pattern formation in fluid dynamics. This simple setting keeps technicalities to a minimum. Nevertheless, the rigorous computation of this single periodic orbit implies chaotic behavior via topological arguments (in a sense very similar to “period 3 implies chaos” for interval maps).
UR - https://bookstore.ams.org/psapm-74/
M3 - Chapter
SN - 9781470428143
T3 - Proceedings of Symposia in Applied Mathematics
SP - 1
EP - 25
BT - Rigorous Numerics in Dynamics
A2 - van den Berg, Jan Bouwe
A2 - Lessard, Jean-Philippe
PB - American Mathematical Society
ER -