Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ablowitz, M.J., Kruskal, M.D., and Ladik, J.F. (1979): Solitary wave collisions. SIAM J. Appl. Math. 36(3):428–437
Adams, R.A. (1978): Sobolev Spaces. Academic Press, Boston San Diego New York London Sydney Tokyo Toronto
Jiménez, S. (1990): Analysis of four numerical schemes for a nonlinear KleinGordon equation. Appl. Math. Comp. 35:61–94
Johnson, C., Schatz, A.H. and Wahlbin, L.B. (1987): Crosswind Smear and Pointwise Errors in Streamline Diffusion Finite Element Methods. Math. Comp. 49:25–38
Li, X. and Guo, B.Y. (1997): A Legendre pseudospectral method for solving non linear Klein-Gordon equation. J. Comput. Math. 15(2):105–126
Lions, J.L. (1971): Optimal Control of Systems Govemed by Partial Differential Equations. Springer-Verlag, Berlin Heidelberg New York
Minamoto, T. and Nakao, M.T. (1997): Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case. Reliable Computing 3:137–147
Minamoto, T. (1997): Numerical verifications of solutions for nonlinear hyperbolic equations. Appl. Math. Lett. 10:91–96
Minamoto, T.(2000): Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations. J. Comp. Appl. Math.(to appear)
Nagatou, K., Yamamoto, N. and Nakao, M.T. (1999): An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. Numer. Funct. Anal. Optimz. 20(5&6):543–565
Nakao, M.T. (1993): Solving nonlinear elliptic problems with result verification using an H-1 residual iteration. Computing Suppl. 9:161–173
Nakao, M.T. (1994): Numerical Verifications of Solutions for Nonlinear Hyperbolic Equations. Interval Computations 4:64–77
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)
Quarteroni, A. and Valli, A. (1994): Numerical Approximation of Partial Differential Equations. Springer-Verlag, New York Berlin Heidelberg
Yamamoto, N. (1998): A numerical verification method for solutions ofboundary value problems with local uniqueness by Banach’s fixed point theorem. SIAM J. Numer. Anal. 35:2004–2013
Zeidler, E. (1990): Nonlinear Functional Analysis and its Applications II/A. Springer, New York Berlin Heidelberg
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Wien
About this paper
Cite this paper
Minamoto, T. (2001). Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations. In: Alefeld, G., Rohn, J., Rump, S., Yamamoto, T. (eds) Symbolic Algebraic Methods and Verification Methods. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6280-4_17
Download citation
DOI: https://doi.org/10.1007/978-3-7091-6280-4_17
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-83593-7
Online ISBN: 978-3-7091-6280-4
eBook Packages: Springer Book Archive