Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
From MaRDI portal
Publication:710895
DOI10.1016/J.JDE.2010.07.002zbMath1256.35196OpenAlexW2010626922MaRDI QIDQ710895
Jean-Philippe Lessard, Marcio Gameiro
Publication date: 22 October 2010
Published in: Journal of Differential Equations (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jde.2010.07.002
Abstract parabolic equations (35K90) A priori estimates in context of PDEs (35B45) Continuation and prolongation of solutions to PDEs (35B60)
Related Items (41)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ 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 ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Numerical verification for solutions to partial differential equations ⋮ 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 ⋮ 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 ⋮ 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. ⋮ 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 ⋮ 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 ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ 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 ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ 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 ⋮ Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations ⋮ Blow-up profile for solutions of a fourth order nonlinear equation ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
Cites Work
- Rigorous numerics for the Cahn-Hilliard equation on the unit square
- Validated continuation over large parameter ranges for equilibria of PDEs
- 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
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Free Energy of a Nonuniform System. I. Interfacial Free Energy
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
This page was built for publication: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
