# Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications

@article{Nakao2008GuaranteedEB,
title={Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications},
author={Mitsuhiro T. Nakao and Kouji Hashimoto},
journal={Journal of Computational and Applied Mathematics},
year={2008},
volume={218},
pages={106-115}
}
• Published 1 August 2008
• Mathematics, Computer Science
• Journal of Computational and Applied Mathematics
14 Citations

## Figures and Tables from this paper

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
• Mathematics
Math. Comput.
• 2013
This paper presents constructive a posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (PDEs) on a bounded domain. This type of
Finite Element Approximation of Invariant Manifolds by the Parameterization Method
• Mathematics
• 2019
We combine the parameterization method for invariant manifolds with the finite element method for elliptic PDEs, to obtain a new computational framework for high order approximation of invariant
Infinite-Dimensional Newton-Type Method
• Mathematics
Springer Series in Computational Mathematics
• 2019
This chapter presents two numerical verification methods which are based on some infinite-dimensional fixed-point theorems. The first approach is a technique using sequential iteration. Although this
Development of computer assisted analysis for complicated nonlinear phenomena
The present research aims, based on the existent products for stationary problems, at further development of new verification techniques, including evolutional equations, to establish the computer assisted proof as an important methodology of mathematical analysis in this century.
A new formulation for the numerical proof of the existence of solutions to elliptic problems
• Mathematics
ArXiv
• 2019
This paper represents the inverse operator \${\mathcal L}^{-1} as an infinite-dimensional operator matrix that can be decomposed into two parts, one finite dimensional and one infinite dimensional, enabling a more efficient verification procedure compared with existing methods for the solution of elliptic PDEs.

## References

SHOWING 1-10 OF 16 REFERENCES
A numerical approach to the proof of existence of solutions for elliptic problems
In this paper, we describe a method which proves by computers the existence of weak solutions for linear elliptic boundary value problems of second order. It is shown that we can constitute the
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems
• Mathematics
Computing
• 2004
A numerical method to verify the invertibility of second-order linear elliptic operators by using the projection and the constructive a priori error estimates based upon the existing verification method originally developed by one of the authors is proposed.
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• Mathematics
• 1993
SummaryIn 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
NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
In this article, we describe on a state of the art of validated numerical computations for solutions of differential equations. A brief overview of the main techniques for self-validating numerics
The finite element method and its reliability
• Computer Science
• 2001
This paper proposes a method for guaranteed a-posteriori error estimation, and Guaranteed a-PosterIORi estimation of the pollution error in the finite element method.
On the Best Constant in the Error Bound for theH10-Projection into Piecewise Polynomial Spaces
• Mathematics
• 1998
Explicita priorierror bounds for the approximation by theH10-projection into piecewise polynomial spaces are given. In particular, for the quadratic approximation, the optimal constant is derived,
An introduction to the mathematical theory of finite elements
• Mathematics, Philosophy
• 1976
On Engineering By J T Oden J N Reddy ONLINE SHOPPING FOR NUMBER INTRODUCTION AN INTRODUCTION. MATHEMATICAL LEARNING THEORY R C ATKINSON. AN INTRODUCTION TO THE MATHEMATICAL THEORY OF INVERSE. AN