Numerical Verification of Solutions for Nonlinear Elliptic Problems Using anL∞Residual Method

Journal of Mathematical Analysis and Applications

Volumn 217, Issue 1, 1998, Pages 246-262

  Nakao, Mitsuhiro T ^a   Yamamoto, Nobito ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000859768     PISSN: 0022247X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jmaa.1997.5712     Document Type: Article

References (20)

1. Alefeld G., Herzberger J. Introduction to Interval Computations. 1983;Academic Press, New York.
2. Babuška I., Rheinboldt W. C. A posteriori error estimates for the finite element method. Internat. J. Numer. Methods Engrg. 12:1978;1597-1615.
3. Eriksson K., Estep D., Hansbo P., Johnson C. Introduction to adaptive methods for differential equations. Acta Numerica. 1995;105-158.
4. Program description and user's guide, SC 33-6164-02. 1986;IBM.
5. O. Knüppel, PROFIL-Programmer's runtime optimized fast interval library, Technical University Hamburg-Harburg, Germany, 1993.
6. Ladyzhenskaya O. A. The Mathematical Theory of Viscous Incompressible Flow. 1963;Gordon and Breach, New York.
7. Nakao M. T. A numerical approach to the proof of existence of solutions for elliptic problems. Japan J. Appl. Math. 5:1988;313-332.
8. Nakao M. T. A numerical verification method for the existence of weak solutions for nonlinear boundary value problems. J. Math. Anal. Appl. 164:1992;489-507.
9. ∞. Agarwal R. P. Contributions in Numerical Mathematics. Series in Applicable Analysis. 2:1993;309-319 World Scientific, Singapore.
10. -1. Computing. Suppl. 9:1993;161-173.
11. 0, Graduate School of Mathematics, Kyushu University, 1996.
12. Nochetto R. H. Pointwise a posteriori error estimates for elliptic problems on highly graded meshes. Math. Comp. 64:1995;1-22.
13. Plum M. Existence proofs in combination with error bounds for approximate solutions of weakly nonlinear second-order elliptic boundary value problems. Z. Angew. Math. Mech. 71:1991;T660-T662.
14. 2. J. Math. Anal. Appl. 165:1992;36-61.
15. Rump S. M. Verification methods for dense and sparse systems of equations. Herzberger J. Topics in Validated Computations. 1994;63-135 North-Holland, Amsterdam.
16. Schultz M. H. Spline Analysis. 1973;Prentice-Hall, Englewood Cliffs.
17. Verfürth R. A posteriori error estimates for nonlinear problems. Finite element discretizations of elliptic equations. Math. Comp. 62:1994;445-475.
18. Watanabe Y., Nakao M. T. Numerical verifications of solutions for nonlinear elliptic equations. Japan J. Indust. Appl. Math. 10:1993;165-178.
19. Yamamoto N., Nakao M. T. Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element. J. Computational Appl. Math. 60:1995;271-279.
20. Watanabe Y., Yamamoto N., Nakao M. T. Verified computation of solutions for nondifferentiable elliptic equations related to MHD equilibria. Nonlinear Anal. 28:1997;577-587.