An approach to the numerical verification of solutions for obstacle problems

DOI10.1016/J.CAMWA.2006.03.042zbMath1133.49013OpenAlexW2089113488MaRDI QIDQ2459626

Cheon Seoung Ryoo

Publication date: 7 November 2007

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

Full work available at URL: https://doi.org/10.1016/j.camwa.2006.03.042

zbMATH Keywords

variational inequalitieserror estimatesfinite element methodnumerical verificationfixed-point theorem

Mathematics Subject Classification ID

Variational and other types of inequalities involving nonlinear operators (general) (47J20) Variational inequalities (49J40) Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming) (90C33) Fixed-point theorems (47H10)

Related Items (3)

VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS ⋮ An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory ⋮ A numerical approach to the proof of existence of solutions for some generalized obstacle problems

Uses Software

• INTLAB

Cites Work

• Error Estimates for the Approximation of a Class of Variational Inequalities
• One-sided approximation and variational inequalities
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An approach to the numerical verification of solutions for obstacle problems