Approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness

Numerical Functional Analysis and Optimization

Volumn 20, Issue 5-6, 1999, Pages 543-565

  Nagatou, K ^a   Yamamoto, N ^a   Nakao, M T ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; EIGENVALUES AND EIGENFUNCTIONS; ERROR ANALYSIS; FINITE ELEMENT METHOD; ITERATIVE METHODS; PROBLEM SOLVING; SET THEORY;

BANACHS FIXED POINT THEOREM; LINEARIZED OPERATOR; NONLINEAR ELLIPTIC PROBLEMS; SOBOLEV SPACE;

NONLINEAR EQUATIONS;

EID: 0033154252     PISSN: 01630563     EISSN: None     Source Type: Journal    
DOI: 10.1080/01630569908816910     Document Type: Article

References (23)

1. R.A. Adams, Sobolev spaces, Academic Press, New York, 1975.
2. H. Behnke and F. Goerisch, Inclusions for Eigenvalues of Selfadjoint Problems, In J. Herzberger, editor, Topics in Validated Computations-Studies in Computational Mathematics, Elsevier, Amsterdam (1994).
3. P. Grisvard, Elliptic problems in nonsmooth domains, Pitman Monographs and Survays in Pure and Applied Mathematics 24 (1985), London.
4. O. Knüppel, PROFIL/BIAS - A fast interval library, Computing 53 (1994), 277-288.
5. M. Křížek, P. Neittaanmäki , Finite Element Approximation of Variational Problems and Applications, Longman Scientific and Technical, Harlow (1990).
6. M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems, Japan Journal of Applied Mathematics 5 (1988) 313-332.
7. M.T. Nakao, A numerical approach to the proof of existence of solutions for elliptic problems II, Japan Journal of Applied Mathematics 7 (1990), 477-488.
8. M.T. Nakao, A numerical verification method for the existence of weak solutions for nonlinear boundary value problems, Journal of Mathematical Analysis and Applications 164 (1992), 489-507.
9. -1 Type Residual Iteration, Computing, Suppl. 9 (1993) 161-173.
10. ∞ residual method, J.Math.Anal.Appl 217 (1998), 246-262.
11. M.T. Nakao, N. Yamamoto and K. Nagatou, Numerical Verifications for eigenvalues of second-order elliptic operators, to appear in Japan Journal of Industrial and Applied Mathematics.
12. M. Plum, Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method, Journal of Applied Mathematics and Physics(ZAMP) 41 (1990) 205-226.
13. M. Plum, Bounds for eigenvalues of second-order elliptic differential operators, Journal of Applied Mathematics and Physics(ZAMP) 42 (1991) 848-863.
14. 2-estimates and pointwise bounds for solutions of second-order elliptic boundary value problems, Journal of Mathematical Analysis and Applications 165 (1992) 36-61.
15. M. Plum, Existence and enclosure results for continua of solutions of parameter-dependent nonlinear boundary value problems, Journal of Computational and Applied Mathematics 60 (1995) 187-200.
16. S.M. Rump, Solving algebraic problems with high accuracy,In:Kulisch, U., Miranker, W.L.(eds.) A new approach to scientific computation, New York: Academic Press (1983).
17. S.M. Rump, New Results on Verified Inclusions, Lecture Notes in Computer Science 235 (1986) 31-69.
18. S.M. Rump, On the Solution of Interval Linear Systems, Computing 47 (1992) 337-353.
19. G. Talenti, Best constant in sobolev inequality, Ann. Math. Pura Appl., 110 (1976) 353-372.
20. Y. Watanabe and M.T. Nakao, Numerical verifications of solutions for nonlinear elliptic equations, Japan Journal of Industrial and Applied Mathematics 10 (1993), 165-178.
21. N. Yamamoto and M.T. Nakao, Numerical verifications for solutions to elliptic equations using residual iterations with a high order finite element, Journal of Computational and Applied Mathematics 60 (1995) 271-279.
22. N. Yamamoto, A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed point theorem, SIAM Journal on Numerical Analysis 35 (1998), 2004-2013.
23. E. Zeidler, Nonlinear Functional Analysis and its Applications I, Springer, New York (1986).