This paper presents three computer-assisted procedures for verifying the invertibility of second-order linear elliptic operators and for computing a bound on the norm of its inverse. One of these procedures is an improvement of a theorem by Nakao et al. (Computing 75:1–14, 2005) that uses projection and constructive a priori error estimates and was proposed by two of the authors of this paper. Results verifying these procedures are presented for several numerical examples.
|Number of pages||13|
|Journal||Japan Journal of Industrial and Applied Mathematics|
|Publication status||Published - Jan 1 2015|
All Science Journal Classification (ASJC) codes
- Applied Mathematics