A COMPUTATIONAL VERIFICATION METHOD OF SOLUTION WITH UNIQUENESS FOR OBSTACLE PROBLEMS - Collections

＜journal article＞
A COMPUTATIONAL VERIFICATION METHOD OF SOLUTION WITH UNIQUENESS FOR OBSTACLE PROBLEMS

Creator	Creator Name Ryoo, Cehon Seoung Affiliation Affiliation Name Graduate School of Mathematics, Kyushu University
Language	English
Publisher	Research Association of Statistical Sciences
Publisher	統計科学研究会
Date	1998-03
Source Title	Bulletin of informatics and cybernetics
Vol	30
Issue	1
First Page	133
Last Page	144
Publication Type	Version of Record
Access Rights	open access
Crossref DOI	https://doi.org/10.5109/13475
Related DOI	Bulletin of informatics and cybernetics \|\| 30(1) \|\| p133-144
Related DOI	http://bic.math.kyushu-u.ac.jp/
Related URI	Bulletin of informatics and cybernetics \|\| 30(1) \|\| p133-144
Related URI	http://bic.math.kyushu-u.ac.jp/
Relation	Bulletin of informatics and cybernetics \|\| 30(1) \|\| p133-144
Relation	http://bic.math.kyushu-u.ac.jp/
Abstract	A numerical method for automatic proof of the existence of solutions for variational inequalities is proposed. It is based on the infinite dimensional fixed point theorem and computable error estimate...s for finite element approximations of the original problems. Particularly, in this paper, we consider the method to prove the uniqueness of solution for obstacle problem. Further, some numerical examples are presented.show more

File	FileType	Size	Views	Description
p133	pdf	459 KB	338