Numerical verification of solutions for variational inequalities

Cheon Seoung Ryoo, Mitsuhiro T. Nakao*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

19 Citations (Scopus)


In this paper, we consider a numerical technique that enables us to verify the existence of solutions for variational inequalities. This technique is based on the infinite dimensional fixed point theorems and explicit error estimates for finite element approximations. Using the finite element approximations and explicit a priori error estimates for obstacle problems, we present an effective verification procedure that through numerical computation generates a set which includes the exact solution. Further, a numerical example for an obstacle problem is presented.

Original languageEnglish
Pages (from-to)305-320
Number of pages16
JournalNumerische Mathematik
Issue number2
Publication statusPublished - 1998 Dec
Externally publishedYes

ASJC Scopus subject areas

  • Computational Mathematics
  • Applied Mathematics


Dive into the research topics of 'Numerical verification of solutions for variational inequalities'. Together they form a unique fingerprint.

Cite this