Numerical verification of solutions for obstacle problems.

DOI10.1016/j.cam.2003.05.006zbMath1041.65056OpenAlexW2045858185MaRDI QIDQ1421206

Mitsuhiro T. Nakao, Cheon Seoung Ryoo

Publication date: 26 January 2004

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

Full work available at URL: https://doi.org/10.1016/j.cam.2003.05.006

zbMATH Keywords

variational inequalitiesexistenceerror estimatesfinite elementsobstacle problemsnumerical verificationquadratic programminb

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Variational inequalities (49J40) Newton-type methods (49M15)

Related Items

Verification for existence of solutions for some generalized obstacle problems, A numerical verification of solutions of free boundary problems

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computer-assisted existence proofs for two-point boundary value problems
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• On the convergence of some quasi-Newton methods for nonlinear equations with nondifferentiable operators
• Numerical verification of solutions for variational inequalities
• A verification method for solutions of nonsmooth equations
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear 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
• Error Estimates for the Approximation of a Class of Variational Inequalities
• An efficient implementation of the Lemke algorithm and its extension to deal with upper and lower bounds
• Computer-assisted enclosure methods for elliptic differential equations