Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations

Reliable Computing

Volumn 23, Issue 5, 1998, Pages 115-124

  Nakao, Mitsuhiro T ^a   Yamamoto, Nobito ^a   Watanabe, Yoshitaka ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347686499     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1009979408417     Document Type: Article

References (19)

1. Babuška, I. and Rheinboldt, W. C.: A Posteriori Error Estimates for the Finite Elememt Method, Int. J. Numer. Meth. Eng. 12 (1978), pp. 1597-1615.
2. Bank, R. E. and Welfert, B. D.: A Posteriori Error Estimates for the Stokes Problem, SIAM J. Numer. Anal. 28 (1991), pp. 591-623.
3. Behnke, H.: The Detemination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II, in: Ullrich, C. (ed.), Computer Arithmetic and Self-Validating Numerical Methods, Academic Press, San Diego, 1990.
4. Ciarlet, P. G.: The Finite Element Method for Elliptic Problems, North-Holland, Amsterdam, 1978.
5. Girault, V. and Raviart, P. A.: Finite Element Approximation of the Navier-Stokes Equations, Series in Computational Mathematics, Springer-Verlag, Berlin, Heidelberg, 1986.
6. Grisvard, P.: Elliptic Problems in Nonsmooth Domains, Pitman, Boston, 1985.
7. Morgan, C. O. and Payne, L. E.: On Inequalities of Korn, Friedrichs and Babuška-Aziz, Arch. Rat. Mech. Anal. 82 (1993), pp. 165-179.
8. Knüppel, O.: PROFIL-Programmer's Runtime Optimized Fast Interval Library, Technical Report 93.4, Informatics III, Technical University Hamburg-Harburg, 1993.
9. Mayer, G.: Result Verification for Eigenvectors and Eigenvalues, in: Herzberger, J. (ed.), Topics for Validated Computations, North-Holland, Amsterdam, 1994.
10. -1 Type Residual Iteration, Computing Suppl. 9 (1993), pp. 161-173.
11. Nakao, M. T, Yamamoto, N., and Watanabe, Y.: Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem, in: Proceedings of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, 1996, pp. 258-264.
12. Nakao, M. T, Yamamoto, N., and Watanabe, Y.: A Posteriori and Constructive A Priori Error Bounds for Finite Element Solutions of the Stokes Equations, Preprint Series in Graduate School of Mathematics, Kyushu University, Kyushu-MPS-1997-15, 1997.
13. 1-ojection into Picccwisc Polynomial Spaces, J. Approximation Theory, to appear.
14. Oden, J. T. and Reddy, J. N.: An Introduction to the Mathematical Theory of Finite Elements, John Wiley and Sons, New York, 1976.
15. Schultz, M. H.: Spline Analysis, Prentice-Hall, Englewood Cliffs, New Jergey, 1973.
16. Verfüth, R.: A Review of A Posteriori Error Estimation and Adaptive Mesh-Refinement Techniques, Wiley-Teubner, New York, 1996.
17. Watanabe, Y: Guaranteed Error Bounds for Finite Element Solutions of the Stokes Problem, dissertation, Kyushu University, 1996.
18. Yamamoto, N. and Nakao, M. T.: Numerical Verifications of Solutions for Elliptic Equations in Nonconvex Polygonal Domains, Numer. Math. 65 (1993), pp. 503-521.
19. Yamamoto, N. and Nakao, M. T. Numerical Verifications for Solutions to Elliptic Equations Using Residual Iterations with a Higher Order Finite Element, J. Comput. Appl. Math. 60 (1995), pp. 271-279.