Numerical verification of solutions for a simplified Signorini problem
type: Item
instance of: scholarly article
title: Numerical verification of solutions for a simplified Signorini problem
zbMATH Open document ID: 0963.65075
DOI: 10.1016/S0898-1221(00)85011-7
author: C. S. Ryoo
publication date: 2001-01-14T00:00:00Z
review text: The author proposes a numerical method for the automatic proof of existence of solutions for variational inequalities, which is based on Nakao's method by using a finite element approximation. The proposed method enables to verify the free boundary of a simplified Signorini problem, which has been impossible so far. The author has prepared a digestible exposition of several current methods for the existence of solutions of problems in the area of variational inequalities.
reviewed by: Akrur Behera
Mathematics Subject Classification ID: 65K10
Mathematics Subject Classification ID: 49J40
Mathematics Subject Classification ID: 49M15
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1550656
zbMATH Keywords: error estimates
zbMATH Keywords: Signorini problem
zbMATH Keywords: finite element method
zbMATH Keywords: numerical verification
zbMATH Keywords: automatic proof
zbMATH Keywords: variational inequalities
zbMATH Keywords: free boundary
MaRDI profile type: Publication
cites work: A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
cites work: Numerical verifications of solutions for elliptic equations with strong nonlinearity
cites work: Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
cites work: Numerical verification of solutions for elasto-plastic torsion problems
cites work: Numerical verification of solutions for variational inequalities
cites work: Q3694624
cites work: Q3745373
cites work: Error estimates for the approximation of some unilateral problems
cites work: Q3730926
cites work: Q4404383
cites work: Q4130918
full work available at URL: s0898-1221(00)85011-7
OpenAlex ID: W2066991766
published in: Computers & Mathematics with Applications
Recommended article: Numerical verification of solutions for Signorini problems using Newton-like method
Recommended article: A numerical algorithm for the solution of Signorini problems
Recommended article: Q4223331
Recommended article: Numerical verification for solutions to partial differential equations
Recommended article: Numerical verification of solutions for some unilateral problems
Recommended article: Q4851662
Recommended article: Numerical solution of a time-dependent Signorini contact problem
Recommended article: Numerical verifications of solutions for nonlinear elliptic equations
Recommended article: NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
Recommended article: Q4271740
description: scientific article; zbMATH DE number 1550656