Global smooth solution curves using rigorous branch following

DOI10.1090/S0025-5718-10-02325-2zbMath1206.37045OpenAlexW2093569281MaRDI QIDQ3584839

Jean-Philippe Lessard, Konstantin Mischaikow, Jan Bouwe Van Den Berg

Publication date: 30 August 2010

Published in: Mathematics of Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0025-5718-10-02325-2

zbMATH Keywords

Banach space nonlinear functional differential equation global smooth solution curve rigorous branch following

Mathematics Subject Classification ID

Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20) Approximation methods and numerical treatment of dynamical systems (37M99)

Related Items (41)

Microscopic patterns in the 2D phase-field-crystal model ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Computer-assisted bifurcation diagram validation and applications in materials science ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Validated Computation of Heteroclinic Sets ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Torus knot choreographies in the n-body problem ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Existence of secondary bifurcations or isolas for PDEs ⋮ 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 ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ 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 computations for connecting orbits in polynomial vector fields ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Free Vibrations in a Wave Equation Modeling MEMS ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

Cites Work

This page was built for publication: Global smooth solution curves using rigorous branch following