Numerical verification of solutions for obstacle problems

Authors:
Cheon Seoung Ryoo;Mitsuhiro T. Nakao
Affiliations:
Department of Mathematics, Hannam University, Daejeon 306-791, South Korea;Faculty of Mathematics, Kyushu University 33, Fukuoka 812-8581, Japan
Venue:
Journal of Computational and Applied Mathematics
Year:
2003

Citing 5
Cited 2

Solving algebraic problems with high accuracy

Proc. of the symposium on A new approach to scientific computation
Computer-assisted existence proofs for two-point boundary value problems

Computing - Special issue on archives for informatics and numerical computation
Existence and enclosure results for continua of solutions of parameter-dependent nonlinear boundary value problems

Proceedings of the international meeting on Linear/nonlinear iterative methods and verification of solution
A verification method for solutions of nonsmooth equations

Computing
Finite Element Method for Elliptic Problems

Finite Element Method for Elliptic Problems

On characterizations and regularity of the solution of bilateral obstacle problems

Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
A numerical verification of solutionsof free boundary problems

Computers & Mathematics with Applications

Quantified Score

Hi-index	7.29

Visualization

Abstract

This article is an extension of the previous paper (Numer. Math. 81 (1998) 305) by the same authors. We propose a method to prove the existence of solutions for more general obstacle problems by numerical computations. The main task in this paper consists of the numerical determination of some constants which appear in a priori error estimations for the finite element approximation of a simple variational inequality. We present a numerical example for verification.