Validated Continuation for Equilibria of PDEs
From MaRDI portal
Publication:3519426
DOI10.1137/050645968zbMath1151.65074OpenAlexW1968313583MaRDI QIDQ3519426
Jean-Philippe Lessard, Sarah L. Day, Konstantin Mischaikow
Publication date: 14 August 2008
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/050645968
Nonlinear parabolic equations (35K55) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Algorithms with automatic result verification (65G20)
Related Items (80)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Unnamed Item ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Rigorous verification of saddle-node bifurcations in ODEs ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ 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 ⋮ Numerical verification for solutions to partial differential equations ⋮ Validated integration of differential equations with state-dependent delay ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ 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 ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ 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 ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Rigorous numerics for fast-slow systems ⋮ Defects and frustration in the packing of soft balls ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Analytic enclosure of the fundamental matrix solution. ⋮ Validated Computation of Heteroclinic Sets ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ A proof of Wright's conjecture ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ 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 ⋮ 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 ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ Rigorous continuation of periodic solutions for impulsive delay differential equations ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence ⋮ 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 ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ 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 ⋮ Validated continuation over large parameter ranges for equilibria of PDEs ⋮ Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem ⋮ Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter ⋮ Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems ⋮ A posteriori verification of the positivity of solutions to elliptic boundary value problems ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Rigorous validation of stochastic transition paths ⋮ Free Vibrations in a Wave Equation Modeling MEMS ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Rigorous numerical verification of uniqueness and smoothness in a surface growth model ⋮ Blow-up profile for solutions of a fourth order nonlinear equation ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
This page was built for publication: Validated Continuation for Equilibria of PDEs
