Numerical verification of solutions for nonlinear parabolic problems
From MaRDI portal
Abstract: In this paper, we present a numerical verification method of solutions for nonlinear parabolic initial boundary value problems. Decomposing the problem into a nonlinear part and an initial value part, we apply Nakao's projection method, which is based on the full-discrete finite element method with constructive error estimates, to the nonlinear part and use the theoretical analysis for the heat equation to the initial value part, respectively. We show some verified examples for solutions of nonlinear problems from initial value to the neighborhood of the stationary solutions, which confirm us the actual effectiveness of our method.
Recommendations
- scientific article; zbMATH DE number 5785599
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
- scientific article; zbMATH DE number 804656
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
Cites work
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- Best constant in Sobolev inequality
- Constructive a priori error estimates for a full discrete approximation of the heat equation
- Constructive error analysis of a full-discrete finite element method for the heat equation
- scientific article; zbMATH DE number 3520921 (Why is no real title available?)
- scientific article; zbMATH DE number 1173672 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 5785599 (Why is no real title available?)
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- On the best constant in the error bound for the H₀^1-projection into piecewise polynomial spaces
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
Cited in
(15)- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
- Numerical verification of solutions for variational inequalities
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
- Verification of convergence rates of numerical solutions for parabolic equations
- Verified computations for solutions to semilinear parabolic equations using the evolution operator
- scientific article; zbMATH DE number 852355 (Why is no real title available?)
- scientific article; zbMATH DE number 5785599 (Why is no real title available?)
- Verification of a Numerical Solution to a Collocation Problem
- Validated integration of semilinear parabolic PDEs
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Error estimates for the fully-discrete Petrov-Galerkin method of a linear parabolic problem
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier-Chebyshev expansions
This page was built for publication: Numerical verification of solutions for nonlinear parabolic problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5118178)
