A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

Computing (Vienna/New York)

Volumn 75, Issue 1 SPEC. ISS., 2005, Pages 1-14

  Nakao, M T ^a   Hashimoto, K ^a   Watanabe, Y ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

Finite element method; Numerical verification; Unique solvability of linear elliptic problem

Indexed keywords

BOUNDARY VALUE PROBLEMS; FINITE ELEMENT METHOD; ITERATIVE METHODS; LINEAR EQUATIONS; MATHEMATICAL MODELS;

LINEAR ELLIPTIC OPERATORS; NONLINEAR PROBLEMS; NUMERICAL VERIFICATION; UNIQUE SOLVABILITY OF LINEAR ELLIPTIC PROBLEMS;

MATHEMATICAL OPERATORS;

EID: 23744514537     PISSN: 0010485X     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00607-004-0111-1     Document Type: Conference Paper

References (14)

1. Alefeld, G.: On the convergence of some interval-arithmetic modifications of Newton's method. SIAM J. Numer. Anal. 21, 363-372 (1984).
2. Nagatou, K., Yamamoto, N., Nakao, M. T.: An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. Numer. Funct. Anal. Optimiz. 20, 543-565 (1999).
3. Nakao, M. T.: A numerical approach to the proof of existence of solutions for elliptic problems. Japan J. Appl. Math. 5, 313-332 (1988).
4. -1 residual iteration. Computing Suppl. 9, 161-173 (1993).
5. ∞ residual method. J. Math. Anal. Appl. 217, 246-262 (1998).
6. Nakao, M. T.: Numerical verification methods for solutions of ordinary and partial differential equations. Numer. Funct. Anal. Optimiz. 22(3-4), 321-356 (2001).
7. Nakao, M. T., Watanabe, Y.: An efficient approach to the numerical verification for solutions of elliptic differential equations. Numer. Algorith. 37 (Special issue for Proc SCAN 2002), 311-323 (2004).
8. 2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems. J. Math. Anal. Appl. 165, 36-61 (1992).
9. Plum, M.: Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. Computing 49, 25-44 (1992).
10. Plum, M.: Computer-assisted enclosure methods for elliptic differential equations. J. Linear Algebra Appl. 527, 147-187 (2001).
11. Rump S. M.: INTLAB-INTerval LABoratory, a Matlab toolbox for verified computations, version 4.1.2. Inst. Infomatik, Technical University of Hamburg - Hamburg, http://www.ti3.tuharburg.de/rump/intlab/index.html/.
12. Rump, S. M.: Solving algebraic problems with high accuracy. In: A new approach to scientific computation (Kulisch, U., and Miranker, W L., eds.). New York: Academic Press 1983.
13. Yamamoto, N., Nakao, M. T.: Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element. J. Comput. Appl. Math. 60, 271-279 (1995).
14. 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, 2004-2013 (1998).