Numerical verification of solutions for obstacle problems using a Newton-like method

DOI10.1016/S0898-1221(99)00344-2zbMath0956.65052MaRDI QIDQ1570139

Cheon Seoung Ryoo

Publication date: 15 March 2001

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

zbMATH Keywords

algorithmSobolev spaceerror estimatesvariational inequalitynumerical examplesobstacle problemnumerical verificationNewton-like operatorSchauder's fixed-point

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Variational inequalities (49J40) Algorithms with automatic result verification (65G20)

Related Items

Computational proofs of the existence of solutions to elasto-plastic torsion problems

Cites Work

• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Numerical verification of solutions for variational inequalities
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• On the Free Boundary in Heterogeneous Obstacle-Type Problems with Two Phases
• Unnamed Item