Validated continuation over large parameter ranges for equilibria of PDEs

DOI10.1016/j.matcom.2008.03.014zbMath1166.65379MaRDI QIDQ1010060

Konstantin Mischaikow, Jean-Philippe Lessard, Marcio Gameiro

Publication date: 3 April 2009

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.matcom.2008.03.014

zbMATH Keywords

PDE; equilibria; rigorous numerics; validated continuation

Mathematics Subject Classification ID

65M60: Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs

Related Items

Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions, Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I, Existence of secondary bifurcations or isolas for PDEs, Computational fixed-point theory for differential delay equations with multiple time lags, Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs, Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation, Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence, Global smooth solution curves using rigorous branch following

Cites Work

• An efficient estimate based on FFT in topological verification method
• Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
• Validated Continuation for Equilibria of PDEs