Numerical verifications of solutions for elliptic equations with strong nonlinearity

DOI10.1080/01630569108816449zbMath0746.35014OpenAlexW1965721914MaRDI QIDQ4711183

Nobito Yamamoto, Mitsuhiro T. Nakao

Publication date: 25 June 1992

Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01630569108816449

zbMATH Keywords

existencelocal uniqueness

Mathematics Subject Classification ID

Nonlinear boundary value problems for linear elliptic equations (35J65) Error bounds for boundary value problems involving PDEs (65N15) Software, source code, etc. for problems pertaining to partial differential equations (35-04)

Related Items

Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, On computational proofs of the existence of solutions to nonlinear parabolic problems, Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element, Numerical verification of solutions for some unilateral boundary value problems., NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Numerical verification of solutions for a simplified Signorini problem

Cites Work

• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
• 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
• Unnamed Item
• Unnamed Item