Computer-assisted enclosure methods for elliptic differential equations

Linear Algebra and Its Applications

Volumn 324, Issue 1-3, 2001, Pages 147-187

  Plum, Michael ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Elliptic boundary value problem; Enclosure; Existence; Nonlinear

Indexed keywords

EID: 0035587860     PISSN: 00243795     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0024-3795(00)00273-1     Document Type: Article

References (28)

1. Adams R.A. Sobolev Spaces. 1975;Academic Press, New York.
2. H. Behnke, F. Goerisch, Inclusions for eigenvalues of self-adjoint problems, in: J. Herzberger (Ed.), Topics in Validated Computations, Elsevier, Amsterdam, 1994, pp. 277-322.
3. B. Breuer, Lösungseinschließungen bei einem nichtlinearen Randwertproblem mittels eines Fourierreihenansatzes, Diploma thesis, University of Karlsruhe, 1998.
4. F. Brunk, Existenz und Einschließung bei Systemen von Zweipunkt-Randwertaufgaben, Doctoral dissertation, Technical University of Clausthal, 1997.
5. Choi Y.S., McKenna P.J. A mountain pass method for the numerical solution of semilinear elliptic problems. Nonlinear Anal.: Theory, Methods Appl. 20(4):1993;417-437.
6. L. Collatz, Aufgaben monotoner Art, Arch. Math. 3 (1952) 366-376.
7. Collatz L. The Numerical Treatment of Differential Equations. 1960;Springer, Berlin.
8. D. Gilbarg, N.S. Trudinger, Elliptic Partial Differential Equations of Second Order, second ed., Springer, Berlin, 1983.
9. Grisvard P. Elliptic Problems in Nonsmooth Domains. 1985;Pitman, Boston, MA.
10. Heywood J.G., Nagata W., Xie W. A numerically based existence theorem for the Navier-Stokes equations. J. Math. Fluid Mech. 1(1):1999;5-23.
11. Klatte R., Kulisch U., Lawo C., Rauch M., Wiethoff A. C-XSC - A C++ Class Library for Extended Scientific Computing. 1993;Springer, Heidelberg.
12. J. Lahmann, Eine Methode zur Einschließung von Eigenpaaren nichtselbstadjungierter Eigenwertprobleme und ihre Anwendung auf die Orr-Sommerfeld-Gleichung, Doctoral dissertation, University of Karlsruhe, 1999.
13. -1 type residual iteration Computing. (Suppl. 9):1993;161-173.
14. Nakao M.T., Yamamoto N. Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite elements. J. Comput. Appl. Math. 60:1995;271-279.
15. Plum M. Computer-assisted existence proofs for two-point boundary value problems. Computing. 46:1991;19-34.
16. 2 -estimates and pointwise bounds for solutions of second-order elliptic boundary value problems J. Math. Anal. Appl. 165:1992;36-61.
17. Plum M. Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems. Computing. 49:1992;25-44.
18. M. Plum, Enclosures for Weak Solutions of Nonlinear Elliptic Boundary Value Problems, WSSIAA 3, World Scientific, Singapore, 1994, pp. 505-521.
19. Plum M. Enclosures for solutions of parameter-dependent nonlinear elliptic boundary value problems: theory and implementation on a parallel computer. Interval Computat. 3:1994;106-121.
20. Plum M. Existence and enclosure results for continua of solutions of parameter-dependent nonlinear boundary value problems. J. Comput. Appl. Math. 60:1995;187-200.
21. M. Plum, Enclosures for two-point boundary value problems near bifurcation points, in: G. Alefeld, A. Frommer, B. Lang (Eds.), Scientific Computing and Validated Numerics, Akademie, 1996, pp. 265-279.
22. M. Plum, Guaranteed numerical bounds for eigenvalues, in: D. Hinton, P.W. Schaefer (Eds.), Spectral Theory and Computational Methods of Sturm-Liouville Problems, Marcel Dekker, New York, 1997, pp. 313-332.
23. Rump S.M. Validated solution of large linear systems. Computing. (Suppl. 9):1993;191-212.
24. Schröder J. Operator Inequalities. 1980;Academic Press, New York.
25. J. Schröder, Operator inequalities and applications, in: W.N. Everitt (Ed.), Inequalities, Fifty Years On from Hardy, Littlewood and Póyla, Marcel Dekker, New York, 1991, pp. 163-210.
26. U. Storck, An adaptive numerical integration algorithm with automatic result verification for definite integrals, Computing, to appear.
27. Walter W. Differential and Integral Inequalities. 1970;Springer, Berlin.
28. E. Zeidler, Nonlinear Functional Analysis and its Applications I, Springer, Berlin, 1986.