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

DOI10.1016/0377-0427(91)90179-NzbMath0744.65065MaRDI QIDQ1184131

Mitsuhiro T. Nakao

Publication date: 28 June 1992

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

weak solutionerror estimatesfinite elementfixed point theoremparabolic initial value problemnonlinear parabolic problems with result verification

Mathematics Subject Classification ID

Nonlinear parabolic equations (35K55) 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

On computational proofs of the existence of solutions to nonlinear parabolic problems ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element ⋮ Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation ⋮ Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points ⋮ On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems ⋮ Numerical Verification of Solutions for Nonlinear Parabolic Problems ⋮ On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems ⋮ Constructive error analysis of a full-discrete finite element method for the heat equation ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Numerical verifications of solutions for elliptic equations with strong nonlinearity ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Rigorous numerical inclusion of the blow-up time for the Fujita-type equation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving nonlinear systems with least significant bit accuracy
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical approach to the proof of existence of solutions for elliptic problems
• The Arithmetic of the Digital Computer: A New Approach
• Using Interval Methods for the Numerical Solution of ODE's
• A Posteriori Error Bounds for Two-Point Boundary Value Problems
• On the Smoothing Property of the Galerkin Method for Parabolic Equations
• Structure of the set of stationary solutions of the navier‐stokes equations