Research › Codes
A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
M. Gameiro and J.-P. Lessard
SIAM Journal on Applied Dynamical Systems, 16(1): 687–728, 2017
PDF doi:10.1137/16m1073789 Publication [31]
Files
Codes and data accompanying the paper, reproducing the computer-assisted proofs it reports.
- proofs_data.zip (1.6 MB)
proofs_data/ — 15 files (3.4 MB)
- read_and_plot_data.m (2.6 KB)
- x0pt0225.dat (314 KB)
- x0pt0225.txt (314 KB)
- x0pt024.dat (359 KB)
- x0pt024.txt (359 KB)
- x0pt0266.dat (189 KB)
- x0pt0266.txt (189 KB)
- x0pt02991.dat (210 KB)
- x0pt02991.txt (210 KB)
- x0pt032.dat (168 KB)
- x0pt032.txt (168 KB)
- x_0pt111485_gamma_hopf.dat (231 KB)
- x_0pt111485_gamma_hopf.txt (231 KB)
- x_4over150.dat (284 KB)
- x_4over150.txt (284 KB)
The scripts are written in MATLAB; the rigorous parts require the interval arithmetic package INTLAB to be installed and started.