Validated continuation over large parameter ranges for equilibria of PDEs
From MaRDI portal
Publication:1010060
DOI10.1016/j.matcom.2008.03.014zbMath1166.65379OpenAlexW1994876152MaRDI QIDQ1010060
Jean-Philippe Lessard, Konstantin Mischaikow, 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
Related Items (23)
Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Rigorous enclosures of solutions of Neumann boundary value problems ⋮ Computer-assisted bifurcation diagram validation and applications in materials science ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Computational fixed-point theory for differential delay equations with multiple time lags ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Existence of secondary bifurcations or isolas for PDEs ⋮ Global smooth solution curves using rigorous branch following ⋮ 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 ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal ⋮ Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems ⋮ Rigorous FEM for One-Dimensional Burgers Equation
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
This page was built for publication: Validated continuation over large parameter ranges for equilibria of PDEs
