國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations/ by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
作者:	Nakao, Mitsuhiro T.
其他作者:	Plum, Michael.
面頁冊數:	XIII, 467 p. 59 illus., 17 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Numerical analysis. -
電子資源:	https://doi.org/10.1007/978-981-13-7669-6
ISBN:	9789811376696

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Nakao, Mitsuhiro T.

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations[electronic resource] /by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe. - 1st ed. 2019. - XIII, 467 p. 59 illus., 17 illus. in color.online resource. - Springer Series in Computational Mathematics,530179-3632 ;. - Springer Series in Computational Mathematics,48.

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.

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 description 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.

ISBN: 9789811376696

Standard No.: 10.1007/978-981-13-7669-6doiSubjects--Topical Terms:

527939
Numerical analysis.

LC Class. No.: QA297-299.4

Dewey Class. No.: 518

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
LDR:04258nam a22004095i 4500 001 1012180
003 DE-He213
005 20200704102950.0
007 cr nn 008mamaa
008 210106s2019 si | s |||| 0|eng d
020 $a 9789811376696 $9 978-981-13-7669-6
024 7 $a 10.1007/978-981-13-7669-6 $2 doi
035 $a 978-981-13-7669-6
050 4 $a QA297-299.4
072 7 $a PBKS $2 bicssc
072 7 $a MAT021000 $2 bisacsh
072 7 $a PBKS $2 thema
082 0 4 $a 518 $2 23
100 1 $a Nakao, Mitsuhiro T. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1306447
245 1 0 $a Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations $h [electronic resource] / $c by Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.
250 $a 1st ed. 2019.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2019.
300 $a XIII, 467 p. 59 illus., 17 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Springer Series in Computational Mathematics, $x 0179-3632 ; $v 53
505 0 $a 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.
520 $a 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 description 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.
650 0 $a Numerical analysis. $3 527939
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Computer mathematics. $3 1199796
650 0 $a Partial differential equations. $3 1102982
650 1 4 $a Numerical Analysis. $3 671433
650 2 4 $a Mathematical Applications in Computer Science. $3 815331
650 2 4 $a Partial Differential Equations. $3 671119
700 1 $a Plum, Michael. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1306448
700 1 $a Watanabe, Yoshitaka. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1306449
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811376689
776 0 8 $i Printed edition: $z 9789811376702
776 0 8 $i Printed edition: $z 9789811376719
830 0 $a Springer Series in Computational Mathematics, $x 0179-3632 ; $v 48 $3 1258881
856 4 0 $u https://doi.org/10.1007/978-981-13-7669-6
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)