Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Springer Series in Computational Mathematics
cover

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

Authors: Nakao, Mitsuhiro T., Plum, Michael, Watanabe, Yoshitaka

  • Is the first published monograph on computer-assisted proofs
  • Presents pioneering work on the numerical verification method of solution for partial differential equations
  • Provides verification techniques for partial differential equations and applications for computer-assisted proofs
see more benefits

Buy this book

eBook 67,82 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • Due: November 7, 2019
  • ISBN 978-981-13-7669-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover 114,39 €
price for Spain (gross)
  • Due: November 7, 2019
  • ISBN 978-981-13-7668-9
  • Free shipping for individuals worldwide
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

Recently, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable advantage (compared with a “theoretical” proof) of providing accurate quantitative information.The authors have been working more than a quarter century to establish the verified computations of solutions for partial differential equations, mainly to the nonlinear elliptic problems of the form -∆u=f(x,u,∇u) with Dirichlet boundary conditions. Here, by "verified computation" is meant a computer-assisted numerical approach to proving the existence of a solution in a close and explicit neighborhood of an approximate solution. Therefore, the quantitative information by the technique shown here should also be significant from the viewpoint of the a posteriori error estimates for approximate solution of concerned partial differential equations with mathematically rigorous sense.In this monograph, the authors describe a survey on the verified computations or computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by authors Nakao and Watanabe are presented. These methods are based on the finite dimensional projection and the constructive a priori error estimates for the finite element approximation of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the second author, Plum, are explained in detail. The main task of this method consists of eigenvalue bounds for the corresponding nonlinear problems of the linearized operators. Some brief remarks are also given on other approaches in Part III. Each method in Parts I and II is followed by appropriate numerical examples that confirm the actual usefulness of the authors’ methods. Also in some examples the practical computer algorithms are supplied so that readers can easily implement the verification program by themselves.

Buy this book

eBook 67,82 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • Due: November 7, 2019
  • ISBN 978-981-13-7669-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover 114,39 €
price for Spain (gross)
  • Due: November 7, 2019
  • ISBN 978-981-13-7668-9
  • Free shipping for individuals worldwide
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Authors
Series Title
Springer Series in Computational Mathematics
Series Volume
53
Copyright
2019
Publisher
Springer Singapore
Copyright Holder
Springer Nature Singapore Pte Ltd.
eBook ISBN
978-981-13-7669-6
DOI
10.1007/978-981-13-7669-6
Hardcover ISBN
978-981-13-7668-9
Series ISSN
0179-3632
Edition Number
1
Number of Pages
XI, 469
Number of Illustrations
168 b/w illustrations, 12 illustrations in colour
Topics