Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof

DOI10.1023/A:1009974824292zbMath0888.65091OpenAlexW199681983MaRDI QIDQ1371168

Marcin Żelawski, Marian Mrozek

Publication date: 4 June 1998

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009974824292

zbMATH Keywords

Kuramoto-Sivashinsky equationConley indexfinite-dimensional approximationheteroclinic connectioncomputer assisted proofhydrodynamical stabilityisolating neighbourhood

Mathematics Subject Classification ID

Nonlinear boundary value problems for ordinary differential equations (34B15) Nonlinear effects in hydrodynamic stability (76E30) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37)

Related Items

On computer-assisted proving the existence of periodic and bounded orbits ⋮ Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields