An efficient approach to the numerical verification for solutions of elliptic differential equations

Numerical Algorithms

Volumn 37, Issue 1-4 SPEC. ISS., 2004, Pages 311-323

  Nakao, Mitsuhiro T ^a   Watanabe, Yoshitaka ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

elliptic equations; fixed point theorem; numerical verification

Indexed keywords

EID: 10044260069     PISSN: 10171398     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:NUMA.0000049477.75366.94     Document Type: Conference Paper

References (13)

1. R.A. Adams, Sobolev Spaces (Academic Press, New York, 1975).
2. P.G. Ciarlet, The Finite Element Method for Elliptic Problems (North-Holland, Amsterdam, 1978).
3. P. Grisvard, Elliptic Problems in Nonsmooth Domains (Pitman, London, 1985).
4. M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems, Japan J. Appl. Math. 5 (1988) 313-332.
5. M.T. Nakao, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, J. Math. Anal. Appl. 164 (1992), 489-507.
6. M.T. Nakao, Numerical verification methods for solutions of ordinary and partial differential equations, Numer. Funct. Anal. Optim. 22 (2001) 321-356.
7. 1-projection into piecewise polynomial spaces, J. Approx. Theory 93 (1998) 491-500.
8. M. Plum, Computer-assisted enclosure methods for elliptic differential equations, Linear Algebra Appl. 324 (2001) 147-187.
9. S.M. Rump, On the solution of interval linear systems, Computing 47 (1992) 337-353.
10. S.M. Rump, Verification methods for dense and sparse systems of equations, in: Topics in Validated Computations, ed. J. Herzberger (Elsevier Science/North-Holland, Amsterdam, 1994) pp. 63-135.
11. Sun Microsystems, Fortran 95 interval arithmetic programming reference, http://docs.sun. com/source/816-2462/index.html.
12. K. Toyonaga, M.T. Nakao and Y. Watanabe, Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators, J. Comput. Appl. Math. 147 (2002) 175-190.
13. Y. Watanabe, N. Yamamoto, M.T. Nakao and T. Nishida, A numerical verification of nontrivial solutions for the heat convection problem, J. Math. Fluid Mech. 6 (2004) 1-20.