Presentation | 2009-11-11 Numerical Verification Method for Nonlinear Operator Equations Akitoshi TAKAYASU, Shin'ichi OISHI, Takayuki KUBO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A method of estimating operator norm of a class of linear operators is presented. This method is based on numerical computations with result verification. Then, with the use of Kantorovich's theorem for the convergence of the Newton method, a method is presented to prove the existence of a solution for a class of nonlinear operator equations including nonlinear differential equations. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | verified numerical computation / computer assisted proofs / nonlinear differential equations |
Paper # | NLP2009-90 |
Date of Issue |
Conference Information | |
Committee | NLP |
---|---|
Conference Date | 2009/11/4(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Nonlinear Problems (NLP) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Numerical Verification Method for Nonlinear Operator Equations |
Sub Title (in English) | |
Keyword(1) | verified numerical computation |
Keyword(2) | computer assisted proofs |
Keyword(3) | nonlinear differential equations |
1st Author's Name | Akitoshi TAKAYASU |
1st Author's Affiliation | Faculty of Science and Engineering, Major in Mathematics and Applied Mathematics, Waseda University() |
2nd Author's Name | Shin'ichi OISHI |
2nd Author's Affiliation | Faculty of Science and Engineering, Department of Applied Mathematics, Waseda University:JST CREST |
3rd Author's Name | Takayuki KUBO |
3rd Author's Affiliation | Institute of Mathematics, University of Tsukuba |
Date | 2009-11-11 |
Paper # | NLP2009-90 |
Volume (vol) | vol.109 |
Number (no) | 269 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |