Numerical Verification of Solutions for Nonlinear Parabolic Problems
DOI10.1080/01630563.2020.1777159zbMath1450.65121arXiv1811.04261OpenAlexW3034287062MaRDI QIDQ5118178
Takehiko Kinoshita, Mitsuhiro T. Nakao, Kouji Hashimoto
Publication date: 7 September 2020
Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.04261
Nonlinear parabolic equations (35K55) Heat equation (35K05) 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)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
- Best constant in Sobolev inequality
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
- Constructive error analysis of a full-discrete finite element method for the heat equation
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
This page was built for publication: Numerical Verification of Solutions for Nonlinear Parabolic Problems
