Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations

  • Teruya Minamoto
Conference paper


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.


Verification Condition Verification Method Hermite Function Newmark Method Nonlinear Elliptic Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Ablowitz, M.J., Kruskal, M.D., and Ladik, J.F. (1979): Solitary wave collisions. SIAM J. Appl. Math. 36(3):428–437MathSciNetMATHCrossRefGoogle Scholar
  2. Adams, R.A. (1978): Sobolev Spaces. Academic Press, Boston San Diego New York London Sydney Tokyo TorontoGoogle Scholar
  3. Jiménez, S. (1990): Analysis of four numerical schemes for a nonlinear KleinGordon equation. Appl. Math. Comp. 35:61–94MATHCrossRefGoogle Scholar
  4. 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–38MathSciNetMATHCrossRefGoogle Scholar
  5. Li, X. and Guo, B.Y. (1997): A Legendre pseudospectral method for solving non linear Klein-Gordon equation. J. Comput. Math. 15(2):105–126MathSciNetMATHGoogle Scholar
  6. Lions, J.L. (1971): Optimal Control of Systems Govemed by Partial Differential Equations. Springer-Verlag, Berlin Heidelberg New YorkCrossRefGoogle Scholar
  7. Minamoto, T. and Nakao, M.T. (1997): Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case. Reliable Computing 3:137–147MathSciNetMATHCrossRefGoogle Scholar
  8. Minamoto, T. (1997): Numerical verifications of solutions for nonlinear hyperbolic equations. Appl. Math. Lett. 10:91–96MathSciNetMATHCrossRefGoogle Scholar
  9. Minamoto, T.(2000): Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations. J. Comp. Appl. Math.(to appear)Google Scholar
  10. 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–565MathSciNetMATHCrossRefGoogle Scholar
  11. Nakao, M.T. (1993): Solving nonlinear elliptic problems with result verification using an H-1 residual iteration. Computing Suppl. 9:161–173CrossRefGoogle Scholar
  12. Nakao, M.T. (1994): Numerical Verifications of Solutions for Nonlinear Hyperbolic Equations. Interval Computations 4:64–77MathSciNetGoogle Scholar
  13. 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
  14. Quarteroni, A. and Valli, A. (1994): Numerical Approximation of Partial Differential Equations. Springer-Verlag, New York Berlin HeidelbergMATHGoogle Scholar
  15. 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–2013MathSciNetMATHCrossRefGoogle Scholar
  16. Zeidler, E. (1990): Nonlinear Functional Analysis and its Applications II/A. Springer, New York Berlin HeidelbergMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Wien 2001

Authors and Affiliations

  • Teruya Minamoto

There are no affiliations available

Personalised recommendations