论文信息 - Numerical Verification of Solutions for Generalized Obstacle Problems

Numerical Verification of Solutions for Generalized Obstacle Problems

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.

Ravi P. Agarwal | Cheon Seoung Ryoo

[1] R. S. Falk. Error estimates for the approximation of a class of variational inequalities , 1974 .

[2] R. Sargent,et al. An efficient implementation of the Lemke algorithm and its extension to deal with upper and lower bounds , 1978 .

[3] U. Mosco. Error estimates for some variational inequalities , 1977 .

[4] Mitsuhiro T. Nakao,et al. Numerical verification of solutions for variational inequalities , 1998, Numerische Mathematik.

[5] Gilbert Strang,et al. One-sided approximation and variational inequalities , 1974 .

[6] Mitsuhiro Nakao,et al. A numerical verification method for the existence of weak solutions for nonlinear boundary value problems , 1992 .

[7] R. Glowinski,et al. Numerical Methods for Nonlinear Variational Problems , 1985 .