Numerical verification of solutions for generalized obstacle problems

Authors:
C. S. Ryoo;R. P. Agarwal
Affiliations:
Department of Mathematics, Hannam University, Daejeon, 306-791, Korea;Department of Mathematical Sciences, Florida Institute of Technology, Melbourne, Florida
Venue:
Neural, Parallel & Scientific Computations
Year:
2003

Citing 2
Cited 1

Solving algebraic problems with high accuracy

Proc. of the symposium on A new approach to scientific computation
Finite Element Method for Elliptic Problems

Finite Element Method for Elliptic Problems

An approach to the numerical verification of solutions for obstacle problems

Computers & Mathematics with Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose a numerical method to prove the existence of solutions to generalized obstacle problems using computers. In order to verify solutions, it is necessary to determine some constants which appear in a priori error estimations. We describe a method for determination of these constants.