In this paper, methods for numerical verifications of solutions for elliptic equations in nonconvex polygonal domains are studied. In order to verify solutions using computer, it is necessary to determine some constants which appear in a priori error estimations. We propose some methods for determination of these constants. In numerical examples, calculating these constants for an L-shaped domain, we verify the solution of a nonlinear elliptic equation.
- Mathematics Subject Classification (1991): 65N15, 65N30
ASJC Scopus subject areas
- Computational Mathematics
- Applied Mathematics