<学術雑誌論文>
A COMPUTATIONAL VERIFICATION METHOD OF SOLUTION WITH UNIQUENESS FOR OBSTACLE PROBLEMS

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
Crossref DOI
関連DOI
関連URI
関連情報
概要 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.続きを見る

本文ファイル

pdf p133 pdf 459 KB 301  

詳細

PISSN
EISSN
NCID
レコードID
査読有無
タイプ
登録日 2009.04.22
更新日 2020.10.22

この資料を見た人はこんな資料も見ています