A Numerical Verification Method of Solutions for the Navier-Stokes Equations

Reliable Computing

Volumn 5, Issue 3, 1999, Pages 347-357

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

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0003782142     PISSN: 13853139     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1009976505460     Document Type: Article

References (16)

1. Ciarlet, P. G.: The Finite Element Method for Elliptic Problems, North-Holland, Amsterdam, 1978.
2. Girault, V. and Raviart, P. A.: Finite Element Approximation of the Navier-Stokes Equations, Springer-Verlag, Berlin, Heidelberg, 1986.
3. Kearfott, R. B. and Kreinovich, V.: Applications of Interval Computations, Kluwer Academic Publishers, Netherlands, 1996.
4. Knüppel, O.: PROFIL/BIAS - A Fast Interval Library, Computing 53 (1994), pp. 277-287.
5. Kulisch, U. et. al.: C-XSC, A C++ Class Library for Extended Scientific Computing, Springer-Verlag, New York, 1993.
6. Ladyzhenskaya, O.: The Mathematical Theory of Viscous Incompressible Flow, Gordon & Breach, New York, 1969.
7. Nakao, M. T.: A Numerical Verification Method for the Existence of Weak Solutions for Nonlinear Boundary Value Problems, J. Math. Anal. Appl. 164 (1992), pp. 489-507.
8. -1 Type Residual Iteration, Computing, Suppl. 9 (1993), pp. 161-173.
9. 0-projection into Piecewise Polynomial Spaces, J. Approximation Theory 93 (1998), pp. 491-500.
10. Nakao, M. T., Yamamoto, N., and Watanabe, Y: A Posteriori and Constructive A Priori Error Bounds for Finite Element Solutions of the Stokes Equations, J. Comput. Appl. Math. 91 (1998), pp. 137-158.
11. 2 Error Estimates for Finite Element Solutions of the Stokes Equations, Reliable Computing 4 (2) (1998), pp. 115-124.
12. Nakao, M. T., Yamamoto, N., and Watanabe, Y.: Guaranteed Error Bounds for the Finite Element Solutions of the Stokes Problem, in: Alefeld, G., Frommer, A., and Lang, B. (eds): Scientific Computing and Validated Numerics, Proceedings of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics SCAN-95, Mathematical Research 90 (1996), pp. 258-264.
13. Rump, S. M.: On the Solution of Interval Linear Systems, Computing 47 (1992), pp. 337-353.
14. Talenti, G.: Best Constant in Sobolev Inequality, Ann. Math. Pure Appl. 110 (1976), pp 353-372.
15. Watanabe, Y., and Nakao, M. T.: Numerical Verifications of Solutions for Nonlinear Elliptic Equations, Japan J. Indust. Appl. Math. 10 (1993) pp. 165-178.
16. Yamamoto, N.: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-point Theorem, SIAM J. Numer. Anal. 35 (1998) pp. 2004-2013.