An approach to the numerical verification of solutions for obstacle problems

DOI10.1016/j.camwa.2006.03.042zbMath1133.49013MaRDI 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 inequalities; error estimates; finite element method; numerical verification; fixed-point theorem

Mathematics Subject Classification ID

47J20: Variational and other types of inequalities involving nonlinear operators (general)

49J40: Variational inequalities

90C33: Complementarity and equilibrium problems and variational inequalities (finite dimensions) (aspects of mathematical programming)

47H10: Fixed-point theorems

Related Items

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