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
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
In the last decades, 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 additionally providing accurate quantitative information.
The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for 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 for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.
In this monograph, the authors give a detailed deillegalscription of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of the authors´ methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
|This book is the first publication in the world as a monograph on the concerned research fieldNakao and Plum are pioneers of the numerical verification method of solution for PDEs
This book offers the basic principle of verification techniques for PDEs as well as interested applications for computer assisted proofs of nonlinear problems
1. Basic principle of the verification.- 2. Newton-type approaches in finite dimension.- 3. Infinite dimensional Newton-type method.- 4. Applications to the computer-assisted proof in analysis.- 5. Evolutional equations.- 6. Eigenvalue enclosures for selfadjoint operators.- 7. Abstract formulation F(u) = 0, and the basic theorem.- 8. Strong solutions for second-order problems.- 9. Weak solutions for second-order problems.- 10. Weak solutions for fourth-order problems.- 11. Parameter-dependent problems.- 12. Non-selfadjoint eigenvalue problems.- 13. Some other methods.
"Each chapter of the book is written in an excellent, easy-to-understand way, both in terms of items, proofs, and codes. The reader himself can easily check the simplicity and correctness of the codes.” (Rózsa Horváth-Bokor, zbMATH 1462.65004, 2021)
In the last decades, 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 additionally providing accurate quantitative information.
The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for 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 for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.
In this monograph, the authors give a detailed deillegalscription of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
"Each chapter of the book is written in an excellent, easy-to-understand way, both in terms of items, proofs, and codes. The reader himself can easily check the simplicity and correctness of the codes." (Rózsa Horváth-Bokor, zbMATH 1462.65004, 2021)
Inhaltsverzeichnis
1. Basic principle of the verification.- 2. Newton-type approaches in finite dimension.- 3. Infinite dimensional Newton-type method.- 4. Applications to the computer-assisted proof in analysis.- 5. Evolutional equations.- 6. Eigenvalue enclosures for selfadjoint operators.- 7. Abstract formulation F(u) = 0, and the basic theorem.- 8. Strong solutions for second-order problems.- 9. Weak solutions for second-order problems.- 10. Weak solutions for fourth-order problems.- 11. Parameter-dependent problems.- 12. Non-selfadjoint eigenvalue problems.- 13. Some other methods.
Klappentext
In the last decades, 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 additionally providing accurate quantitative information.
The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for 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 for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.
In this monograph, the authors give a detailed deillegalscription of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors¿ methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
This book is the first publication in the world as a monograph on the concerned research fieldNakao and Plum are pioneers of the numerical verification method of solution for PDEs
This book offers the basic principle of verification techniques for PDEs as well as interested applications for computer assisted proofs of nonlinear problems
