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}
}
  • M. Nakao, K. Hashimoto
  • Published 1 August 2008
  • Mathematics, Computer Science
  • Journal of Computational and Applied Mathematics

Figures and Tables from this paper

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
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
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
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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
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
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
...
...