# zbMATH — the first resource for mathematics

On very accurate enclosure of the optimal constant in the a priori error estimates for $$H_0^2$$-projection. (English) Zbl 1190.65166
Authors’ abstract: We present constructive a priori error estimates for $$H_0^2$$-projection into a space of polynomials on a one-dimensional interval. Here, “constructive” indicates that we can obtain the error bounds in which all constants are explicitly given or are represented in a numerically computable form. Using the properties of Legendre polynomials, we consider a method by which to determine these constants to be as small as possible. Using the proposed technique, the optimal constant could be enclosed in a very narrow interval with result verification.
Furthermore, constructive error estimates for finite element $$H_0^2$$-projection in one dimension are presented. These types of estimates will play an important role in the numerical verification of solutions for nonlinear fourth-order elliptic problems as well as in the guaranteed a posteriori error analysis for the finite element method or the spectral method.

##### MSC:
 65N15 Error bounds for boundary value problems involving PDEs 65N30 Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs 65N35 Spectral, collocation and related methods for boundary value problems involving PDEs 35J40 Boundary value problems for higher-order elliptic equations
##### Software:
INTERVAL_ARITHMETIC
Full Text:
##### References:
 [1] Watanabe, Y.; Nakao, M.T., Numerical verifications of solutions for nonlinear elliptic equations, Japan journal of industrial and applied mathematics, 10, 1, 165-178, (1993) · Zbl 0784.65082 [2] Hashimoto, K.; Nagatou, K.; Nakao, M.T., A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains, Information, 9, 4, 573-580, (2006) [3] M.T. Nakao, K. Hashimoto, K. Nagatou, A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems, GAKUTO International Series, Mathematical Sciences and Applications 28, Proceedings of the 4th JSIAM-SIMAI Seminar on Industrial and Applied Mathematics, May 26-28, 2005, Hayama, Japan (2008), pp. 139-148 [4] Nakao, M.T., A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Journal of mathematical analysis and applications, 164, 489-507, (1992) · Zbl 0771.65046 [5] Yamamoto, N.; Nakao, M.T., Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, Numerische Mathematik, 65, 503-521, (1993) · Zbl 0797.65081 [6] Yamamoto, N.; Nakao, M.T., Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element, Journal of computational and applied mathematics, 60, 271-279, (1995) · Zbl 0832.65123 [7] Nakao, M.T.; Yamamoto, N., Numerical verification of solutions for nonlinear elliptic problems using $$L^\infty$$ residual method, Journal of mathematical analysis and applications, 217, 246-262, (1998) · Zbl 0893.35006 [8] Schultz, M.H., Spline analysis, (1973), Prentice-Hall · Zbl 0333.41009 [9] Nakao, M.T.; Yamamoto, N.; Kimura, S., On the best constant in the error bound for the $$H_0^1$$-projection into piecewise polynomial spaces, Journal of approximation theory, 93, 491-500, (1998) · Zbl 0907.65100 [10] Kimura, S.; Yamamoto, N., On explicit bounds in the error for the $$H_0^1$$-projection into piecewise polynomial spaces, Bulletin of informatics and cybernetics, 31, 2, 109-115, (1999) · Zbl 1087.41031 [11] Watanabe, Y.; Plum, M.; Nakao, M.T., A computer-assisted instability proof for the orr – sommerfeld problem with Poiseuille flow, Zeitschrift fuer angewandte Mathematik und mechanik (ZAMM), 89, 5-18, (2009) · Zbl 1156.76025 [12] Ciarlet, P.G.; Lions, J.L., Handbook of numerical analysis volume 5: techniques of scientific computing (part 2), (1997), North-Holland Amsterdam · Zbl 0884.65001 [13] Baker Kearfott, R., Algorithm 763: INTERVAL ARITHMETIC: A Fortran 90 module for an interval data type, Association for computing machinery. transactions on mathematical software, 22, 4, 385-392, (1996) · Zbl 0884.65041
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.