Validated integration of semilinear parabolic PDEs

Cites Work

Title not available (Why is that?)
A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
Spontaneous periodic orbits in the Navier-Stokes flow
CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
Numerical verification of existence and inclusion of solutions for nonlinear operator equations
Rigorous numerics for nonlinear heat equations in the complex plane of time
Fast construction of the Fejér and Clenshaw-Curtis quadrature rules
Auswertung der Normen von Interpolationsoperatoren
Approximation theory and approximation practice
Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
Title not available (Why is that?)
Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
Title not available (Why is that?)
A numerical approach to the proof of existence of solutions for elliptic problems
A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
\(C^1\) Lohner algorithm.
Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
Validated Continuation for Equilibria of PDEs
Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof
Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
Rigorous numerics for ODEs using Chebyshev series and domain decomposition
Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
Rigorous numerics in dynamics
Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
Integration of dissipative partial differential equations: a case study
Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
Computer-assisted proofs in PDE: a survey
Numerical verification of solutions for nonlinear parabolic problems
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
Validated computations for connecting orbits in polynomial vector fields
Constructive error analysis of a full-discrete finite element method for the heat equation
Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
Numerical verification methods and computer-assisted proofs for partial differential equations
Validated numerical approximation of stable manifolds for parabolic partial differential equations
Validated forward integration scheme for parabolic PDEs via Chebyshev series

Cited In (1)

A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory

This page was built for publication: Validated integration of semilinear parabolic PDEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6586798)