Validated integration of semilinear parabolic PDEs (Q6586798)

scientific article; zbMATH DE number 7896222

Language	Label	Description	Also known as
default for all languages	No label defined
English	Validated integration of semilinear parabolic PDEs	scientific article; zbMATH DE number 7896222

Statements

instance of

scholarly article

0 references

title

Validated integration of semilinear parabolic PDEs (English)

0 references

author

Jan Bouwe Van den Berg

0 references

Maxime Breden

0 references

Ray Sheombarsing

0 references

published in

Numerische Mathematik

0 references

publication date

13 August 2024

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation

0 references

Integration of dissipative partial differential equations: a case study

0 references

Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation

0 references

Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs

0 references

A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam

0 references

A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB

0 references

Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation

0 references

Q3319163

0 references

Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I

0 references

Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof

0 references

Validated forward integration scheme for parabolic PDEs via Chebyshev series

0 references

Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model

0 references

Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof

0 references

Validated Continuation for Equilibria of PDEs

0 references

Auswertung der Normen von Interpolationsoperatoren

0 references

Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation

0 references

A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE

0 references

Computer-assisted proofs in PDE: a survey

0 references

Constructive error analysis of a full-discrete finite element method for the heat equation

0 references

Numerical verification of solutions for nonlinear parabolic problems

0 references

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

0 references

A numerical approach to the proof of existence of solutions for elliptic problems

0 references

Solving nonlinear parabolic problems with result verification. I: One- space dimensional case

0 references

Numerical verification methods and computer-assisted proofs for partial differential equations

0 references

Numerical verification of existence and inclusion of solutions for nonlinear operator equations

0 references

Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems

0 references

Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation

0 references

Q3997537

0 references

Q4949347

0 references

Rigorous numerics for nonlinear heat equations in the complex plane of time

0 references

Approximation theory and approximation practice

0 references

Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos

0 references

Spontaneous periodic orbits in the Navier-Stokes flow

0 references

Validated numerical approximation of stable manifolds for parabolic partial differential equations

0 references

Rigorous numerics in dynamics

0 references

Validated computations for connecting orbits in polynomial vector fields

0 references

Rigorous numerics for ODEs using Chebyshev series and domain decomposition

0 references

Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions

0 references

Fast construction of the Fejér and Clenshaw-Curtis quadrature rules

0 references

A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line

0 references

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

0 references

Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof

0 references

\(C^1\) Lohner algorithm.

0 references

Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof

0 references

Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs

0 references

Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

10.1007/S00211-024-01415-W

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6586798