Validated Computation for a Linear Elliptic Problem with a Parameter
Nobito Yamamoto, Mitsuhiro T. Nakao and Yoshitaka Watanabe
This paper proposes an efficient method for validated computing of the solution of linear elliptic problem with a parameter. A numerical method to obtain the k-th eigenvalue of given symmetric matrices is also developed. This paper presents some numerical examples which concern with the problem to determine a constant appearing in error estimation of the Finite Element Method (FEM). 8 pages.
The publisher holds the copyright on this manuscript.