Validated integration of semilinear parabolic PDEs
From MaRDI portal
Publication:6586798
Cites work
- C^1 Lohner algorithm.
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- 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
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- Approximation theory and approximation practice
- Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
- Auswertung der Normen von Interpolationsoperatoren
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Computer-assisted proofs in PDE: a survey
- Constructive error analysis of a full-discrete finite element method for the heat equation
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- 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
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Fast construction of the Fejér and Clenshaw-Curtis quadrature rules
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- scientific article; zbMATH DE number 3849762 (Why is no real title available?)
- scientific article; zbMATH DE number 48688 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- Integration of dissipative partial differential equations: a case study
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Numerical verification of solutions for nonlinear parabolic problems
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Rigorous numerics in dynamics
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
- Spontaneous periodic orbits in the Navier-Stokes flow
- Validated computations for connecting orbits in polynomial vector fields
- Validated Continuation for Equilibria of PDEs
- Validated forward integration scheme for parabolic PDEs via Chebyshev series
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
Cited in
(1)
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)
