Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations
Recently, several methods to the computer-assisted existence proof of solutions for various differential equations have been developed. However, there are very few approaches for partial differential equations. As far as we know, there are only two methods, that is, Nakao’s method (e.g. Nakao 1993) using C 0 finite element and explicit error estimates, and Plum’s method (e.g. Plum 1994) using C 1-class approximate solution with high accuracy and an exact eigenvalue enclosure for a linearized operator. Almost all papers by these authors deal with elliptic equations.
KeywordsVerification Condition Verification Method Hermite Function Newmark Method Nonlinear Elliptic Problem
Unable to display preview. Download preview PDF.
- Adams, R.A. (1978): Sobolev Spaces. Academic Press, Boston San Diego New York London Sydney Tokyo TorontoGoogle Scholar
- Minamoto, T.(2000): Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations. J. Comp. Appl. Math.(to appear)Google Scholar
- Plum, M. (1994): Inclusion Methods for Elliptic Boundary Value Problems. In:Herzberger, J.(eds.):Topics in validated computation. North-Holland, Amsterdam Lausanne New York Oxford Shannon Tokyo, pp.323–379(Studies in Computational Mathematics, vol.5)Google Scholar