English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

In this paper, we describe a numerical method to verify the existence of solutions for a unilateral boundary value problems for second order equation governed by the variational inequalities. It is based on Nakao’s method by using finite element approximation and its explicit error estimates for the problem. Using the Riesz representation theory in Hilbert space, we first transform the iterative procedure of variational inequalities into a fixed point form. Then, using Schauder fixed point theory, we construct a high efficiency numerical verification method that through numerical computation generates a bounded, closed, convex set which includes the approximate solution. Finally, a numerical example is illustrated.

An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory