On computational proofs of the existence of solutions to nonlinear parabolic problems

DOI10.1016/0377-0427(94)90316-6zbMath0806.65098OpenAlexW2053974441MaRDI QIDQ1334781

Mitsuhiro T. Nakao, Yoshitaka Watanabe

Publication date: 22 September 1994

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

Full work available at URL: https://doi.org/10.1016/0377-0427(94)90316-6

zbMATH Keywords

numerical examplenonlinear parabolic equationweak solutionerror estimatesfinite elementSchauder fixed point theorem

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

Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations, Finite element approximation of invariant manifolds by the parameterization method

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• Derived eigenvalues of symmetric matrices, with applications to distance geometry
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• 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
• On the Smoothing Property of the Galerkin Method for Parabolic Equations
• Numerical verifications of solutions for elliptic equations with strong nonlinearity